Monotonluğu Koruyan Matrisler. Monotonicity Preserving Matrices

Similar documents
Journal of Inequalities in Pure and Applied Mathematics

HE DI ELMONSER. 1. Introduction In 1964 H. Mink and L. Sathre [15] proved the following inequality. n, n N. ((n + 1)!) n+1

SOME GENERAL NUMERICAL RADIUS INEQUALITIES FOR THE OFF-DIAGONAL PARTS OF 2 2 OPERATOR MATRICES

arxiv: v1 [math.co] 6 Mar 2008

Results on the Commutative Neutrix Convolution Product Involving the Logarithmic Integral li(

Asymptotically Lacunary Statistical Equivalent Sequence Spaces Defined by Ideal Convergence and an Orlicz Function

ON LACUNARY INVARIANT SEQUENCE SPACES DEFINED BY A SEQUENCE OF MODULUS FUNCTIONS

Chapter 3: Theory of Modular Arithmetic 38

Complex Eigenvalues. Prepared by Vince Zaccone For Campus Learning Assistance Services at UCSB

Math 301: The Erdős-Stone-Simonovitz Theorem and Extremal Numbers for Bipartite Graphs

THE CONE THEOREM JOEL A. TROPP. Abstract. We prove a fixed point theorem for functions which are positive with respect to a cone in a Banach space.

THE JEU DE TAQUIN ON THE SHIFTED RIM HOOK TABLEAUX. Jaejin Lee

A generalization of the Bernstein polynomials

PROBLEM SET #1 SOLUTIONS by Robert A. DiStasio Jr.

Solution to HW 3, Ma 1a Fall 2016

Miskolc Mathematical Notes HU e-issn Tribonacci numbers with indices in arithmetic progression and their sums. Nurettin Irmak and Murat Alp

Introduction Common Divisors. Discrete Mathematics Andrei Bulatov

A Crash Course in (2 2) Matrices

SOME SOLVABILITY THEOREMS FOR NONLINEAR EQUATIONS

Auchmuty High School Mathematics Department Advanced Higher Notes Teacher Version

Method for Approximating Irrational Numbers

Numerical approximation to ζ(2n+1)

CENTRAL INDEX BASED SOME COMPARATIVE GROWTH ANALYSIS OF COMPOSITE ENTIRE FUNCTIONS FROM THE VIEW POINT OF L -ORDER. Tanmay Biswas

A proof of the binomial theorem

A Multivariate Normal Law for Turing s Formulae

On the Quasi-inverse of a Non-square Matrix: An Infinite Solution

Introduction to Mathematical Statistics Robert V. Hogg Joeseph McKean Allen T. Craig Seventh Edition

15.081J/6.251J Introduction to Mathematical Programming. Lecture 6: The Simplex Method II

f h = u, h g = v, we have u + v = f g. So, we wish

The Archimedean Circles of Schoch and Woo

Chromatic number and spectral radius

(n 1)n(n + 1)(n + 2) + 1 = (n 1)(n + 2)n(n + 1) + 1 = ( (n 2 + n 1) 1 )( (n 2 + n 1) + 1 ) + 1 = (n 2 + n 1) 2.

Construction and Analysis of Boolean Functions of 2t + 1 Variables with Maximum Algebraic Immunity

Chapter 5 Linear Equations: Basic Theory and Practice

Lecture 28: Convergence of Random Variables and Related Theorems

arxiv: v1 [math.co] 1 Apr 2011

3.1 Random variables

MAC Module 12 Eigenvalues and Eigenvectors

Berkeley Math Circle AIME Preparation March 5, 2013

Appendix A. Appendices. A.1 ɛ ijk and cross products. Vector Operations: δ ij and ɛ ijk

MODULE 5a and 5b (Stewart, Sections 12.2, 12.3) INTRO: In MATH 1114 vectors were written either as rows (a1, a2,..., an) or as columns a 1 a. ...

Fractional Zero Forcing via Three-color Forcing Games

Physics 2A Chapter 10 - Moment of Inertia Fall 2018

Available online through ISSN

A STUDY OF HAMMING CODES AS ERROR CORRECTING CODES

Problem Set #10 Math 471 Real Analysis Assignment: Chapter 8 #2, 3, 6, 8

Math 124B February 02, 2012

A NOTE ON VERY WEAK SOLUTIONS FOR A CLASS OF NONLINEAR ELLIPTIC EQUATIONS

STUDY OF SOLUTIONS OF LOGARITHMIC ORDER TO HIGHER ORDER LINEAR DIFFERENTIAL-DIFFERENCE EQUATIONS WITH COEFFICIENTS HAVING THE SAME LOGARITHMIC ORDER

Stanford University CS259Q: Quantum Computing Handout 8 Luca Trevisan October 18, 2012

Prerna Tower, Road No 2, Contractors Area, Bistupur, Jamshedpur , Tel (0657) ,

On absence of solutions of a semi-linear elliptic equation with biharmonic operator in the exterior of a ball

NOTE. Some New Bounds for Cover-Free Families

MATH 220: SECOND ORDER CONSTANT COEFFICIENT PDE. We consider second order constant coefficient scalar linear PDEs on R n. These have the form

18.06 Problem Set 4 Solution

H.W.GOULD West Virginia University, Morgan town, West Virginia 26506

9.1 The multiplicative group of a finite field. Theorem 9.1. The multiplicative group F of a finite field is cyclic.

On the ratio of maximum and minimum degree in maximal intersecting families

Brief summary of functional analysis APPM 5440 Fall 2014 Applied Analysis

Divisibility. c = bf = (ae)f = a(ef) EXAMPLE: Since 7 56 and , the Theorem above tells us that

6 Matrix Concentration Bounds

RADIAL POSITIVE SOLUTIONS FOR A NONPOSITONE PROBLEM IN AN ANNULUS

On the ratio of maximum and minimum degree in maximal intersecting families

Journal of Number Theory

DonnishJournals

Lacunary I-Convergent Sequences

THE NUMBER OF TWO CONSECUTIVE SUCCESSES IN A HOPPE-PÓLYA URN

Rigid Body Dynamics 2. CSE169: Computer Animation Instructor: Steve Rotenberg UCSD, Winter 2018

( ) [ ] [ ] [ ] δf φ = F φ+δφ F. xdx.

EM Boundary Value Problems

Lecture 16 Root Systems and Root Lattices

OLYMON. Produced by the Canadian Mathematical Society and the Department of Mathematics of the University of Toronto. Issue 9:2.

KOEBE DOMAINS FOR THE CLASSES OF FUNCTIONS WITH RANGES INCLUDED IN GIVEN SETS

arxiv: v1 [math.nt] 12 May 2017

Suborbital graphs for the group Γ 2

A Bijective Approach to the Permutational Power of a Priority Queue

n 1 Cov(X,Y)= ( X i- X )( Y i-y ). N-1 i=1 * If variable X and variable Y tend to increase together, then c(x,y) > 0

q i i=1 p i ln p i Another measure, which proves a useful benchmark in our analysis, is the chi squared divergence of p, q, which is defined by

Quasi-Randomness and the Distribution of Copies of a Fixed Graph

Application of Fractional Calculus Operators to Related Areas

Pascal s Triangle (mod 8)

Research Article On Alzer and Qiu s Conjecture for Complete Elliptic Integral and Inverse Hyperbolic Tangent Function

working pages for Paul Richards class notes; do not copy or circulate without permission from PGR 2004/11/3 10:50

Measure Estimates of Nodal Sets of Polyharmonic Functions

On the Poisson Approximation to the Negative Hypergeometric Distribution

ON INDEPENDENT SETS IN PURELY ATOMIC PROBABILITY SPACES WITH GEOMETRIC DISTRIBUTION. 1. Introduction. 1 r r. r k for every set E A, E \ {0},

Integral operator defined by q-analogue of Liu-Srivastava operator

Almost Convergent Sequence Space Derived by Generalized Fibonacci Matrix and Fibonacci Core

ON SPARSELY SCHEMMEL TOTIENT NUMBERS. Colin Defant 1 Department of Mathematics, University of Florida, Gainesville, Florida

Fixed Point Results for Multivalued Maps

A THREE CRITICAL POINTS THEOREM AND ITS APPLICATIONS TO THE ORDINARY DIRICHLET PROBLEM

Failure Probability of 2-within-Consecutive-(2, 2)-out-of-(n, m): F System for Special Values of m

ON THE ASYMPTOTIC BEHAVIO R OF SOLUTIONS OF LINEAR DIFFERENCE EQUATION S

HOW TO TEACH THE FUNDAMENTALS OF INFORMATION SCIENCE, CODING, DECODING AND NUMBER SYSTEMS?

GROWTH ESTIMATES THROUGH SCALING FOR QUASILINEAR PARTIAL DIFFERENTIAL EQUATIONS

A POWER IDENTITY FOR SECOND-ORDER RECURRENT SEQUENCES

Bounds for the Density of Abundant Integers

Mean Curvature and Shape Operator of Slant Immersions in a Sasakian Space Form

PDF Created with deskpdf PDF Writer - Trial ::

arxiv: v1 [math.ca] 31 Aug 2009

Transcription:

SAKARYA ÜNİVERSİTESİ FEN BİLİMLERİ ENSTİTÜSÜ DERGİSİ SAKARYA UNIVERSITY JOURNAL OF SCIENCE e-issn: 2147-835X Degi sayfası: http://degipa.gov.t/saufenbilde Geliş/Received 15.02.2016 Kabul/Accepted 27.03.2017 Doi 10.16984/saufenbilde.292334 Monotonluğu Kouyan Matisle Fatma Aydin Agun *, Billy E. Rhoades, 2 Sameeah Mahmood Mohammad 3 ÖZ Negatif olmayan üçgensel matis dönüşümleinin ço geniş bi ailesi için, monoton azalan dizilein monoton azalan dizilee dönüşebilmesi oşullaını elde etti. Anahta Kelimele: monoton azalan dizile, genelleştiilmiş Hausdoff matislei, Üst üçgen matisle, toplanabilme matislei ABSTRACT Monotonicity Peseving Matices We obtain the conditions fo a lage class of nonnegative tiangula matix tansfomations to map positive monotone deceasing sequences into positive monotone deceasing sequences. Keywods: monotone deceasing sequences, genealized Hausdoff matices, Uppe taingula matices, summability matices. * Yıldız Teni Ünivesitesi, Matemati Mühendisliği. Yıldız Kampüsü - fagun@yildiz.edu.t

F. Aydın Agun, B. E. Rhoades, S. M. Mohammad Monotonicity Peseving Matices 1. INTRODUCTION A positive sequence x = {x n } is a monotone deceasing sequence, o simply deceasing, if x n x fo each n 0.A matix A is called tiangula if a n = 0 fo each >n, and a tiangle if it is tiangula and a nn 0 fo each n. We shall say that a matix peseves monotonicity if it maps evey monotone deceasing sequence into a monotone deceasing sequence. Bennett [1] pove the following theoem. Theoem 1. Let A = (a n ) be a matix with nonnegative enties, and conside the associated tansfom x y, given by y n = a n x. Then the following conditions ae equivalent. (i) y 0 y 1 0 wheneve x 0 x 1 x n (ii) a n a,, n, = 0,1,2, This theoem yields a numbe of coollaies fo some well-nown summability matices. Bennett has noted that the positive Hausdoff matices map deceasing sequences into deceasing sequences. As ou fist esult we shall show that the same is tue fo genealized Hausdoff matices. 2. PRELIMINARIES An odinay Hausdoff matix H is a tiangula matix with nonzeo enties ( n ) n μ (1) whee μ n is a eal o complex sequence and is the fowad diffeence opeato defined by μ = μ μ +1 and μ = n μ n μ +1. Thee ae seveal genealizations of Hausdoff matices. One of this is called the H-J matices. A sequence (λ n ) is called acceptable sequence if it satisfies the following popeties: 0 λ 0 < λ 1 < < λ n, with λ n, but slowly enough so that 1 λ n =. n=1 The nonzeo enties of an H-J matix H(μ; λ) ae defined by h(μ; λ) n =λ +1 λ n [μ,, μ n ], 0 n whee μ n is a eal o complex sequence, [.] is the divided diffeence opeato defined by and [μ, μ +1 ] = 1 λ +1 λ [μ μ +1 ] 1 [μ,, μ n ] = ([μ λ n λ,.., μ n 1 ] [μ +1,, μ n ]) and whee it is undestood that λ +1 λ +2 λ n = 1 when = n. Hausdoff [5] defined this genealization fo λ 0 = 0, and, Jaimovsi [6] extended this class fo λ 0 > 0. 3. MAIN THEOREMS Theoem 2. A positive H-J matix, with λ 0 = 0, maps deceasing sequences into deceasing sequences. Poof: Using (ii) of Bennett's theoem h n h, = λ +1 λ n [μ,, μ n ] λ +1 λ [μ,, μ ]. (2) Fom the definition of divided diffeences, (λ λ )[μ, μ ] = [μ, μ n ] [μ +1, μ ] Substituting into (2), we have h n h, = λ +1 λ n (λ λ λ )[μ,, μ ] + λ +1 λ n [μ +1,, μ ] = λ λ n [μ,, μ ] +1 + λ λ n [μ,, μ ] =1 = λ +1 λ n [μ +1,, μ ] λ 0 λ n [μ 0,, μ ]. Since λ 0 = 0 and the matix is positive, Saaya Ünivesitesi Fen Bilimlei Enstitüsü Degisi, vol. 21, no. 3: pp. 522-526, 2017 523

F. Aydın Agun, B. E. Rhoades, S. M. Mohammad Monotonicity Peseving Matices h n h, = λ +1 λ n [μ +1,, μ ] 0. (3) The E-J genealized Hausdoff matices, denoted by H α μ = (h (α) n ), wee defined independently by Endl [2] and Jaimovsi [6], with nonzeo enties h (α) n =( n ) n μ (α), 0 n, fo any α 0. Fo α = 0, the E-J matices educe to the odinay Hausdoff matices. Coollay 1. Fo 0 α < 1, a positive E-J genealized Hasudoff matix maps deceasing seuences into deceasing sequences. Poof. h n h, n ) n μ n + 1 + α ( n + 1 ) μ. Since μ = n μ n μ +1, h n h, n ) { μ + n μ +1 } n + 1 + α ( n + 1 ) μ n + 1 + α ) (1 n n + 1 ) μ + ( n ) n μ +1 (4) n + 1 ) μ +1 + ( n + 1 ) μ. =1 Fo 0 α < 1, the binomial fom ( ), will vanish, n + 1 so the above equality will be h n h, = ( n ) n μ +1 0. Coollay 2. Evey positive Hausdoff matix maps deceasing sequences into deceasing sequences. Poof: Odinay Hausdoff matices ae the special case of H-J matices obtained by setting λ n = n, o by using an E-J matices with α = 0. Let {p n } be a nonnegative sequence with p 0 > 0. A Nölund matix is a tiangula matix B with enties b n = p n, whee n = p n. Coollay 3. Evey Nölund matix, with deceasing sequence {p n }, peseves deceasing sequences. Poof: Using (ii) of Bennett's theoem b n b, = p n p +1 Since {p n } is deceasing, p n p, we can wite the above equation as p n p p n p n +1 +1 = ( 1 1 ) p = p p. Since (p ) is nonnegative sequence, Saaya Ünivesitesi Fen Bilimlei Enstitüsü Degisi, vol. 21, no. 3: pp. 522-526, 2017 524

F. Aydın Agun, B. E. Rhoades, S. M. Mohammad Monotonicity Peseving Matices b n b, p p 0. Thee ae also some non-summability matices that peseve deceasing sequences. A factoable matix is a lowe tiangula matix with enties a n = a n b, whee a n depends only upon n and b depends only upon. Theoem 3. Let A be a positive factoable matix. If a n is non-inceasing the A peseves deceasing sequences. Poof: a n a, = a n b a b = (a n a ) b 0. Let (p ) be a nonnegative sequence with p 0 > 0, and n define = p. A weighted mean matix (N, p) is a tiangula matix with enties p /. A weighted mean matix is the special case of the factoable matix. Coollay 4. Evey nonnegative weighted mean matix peseves deceasing sequences. Poof: The poof is easy to veify since is noninceasing. It is clea that evey uppe tiangula matices ae monotonicity peseving matices if they have deceasing in columns; i.e., a n a,. The following theoem gives anothe appoach fo evey uppe tiangula matices. Theoem 4. Let A be positive uppe tiangula matix with enties c n c,+1, fo = n, n + 1, then A is a monotonicity peseving matix. Poof: y n y = c n x =n = c, x = c n x c,+1 x +1. =n =n Since {x n } is a positive deceasing sequence and and A is a positive matix with c n c,+1, then y n y 0 whee x n x 0. An infinite matix will be called a band matix if it has only a finite numbe of nonzeo diagonals. The width of a band matix efes to the numbe of nonzeo diagonals. An uppe band matix A has finite numbe of the diagonals on o above the main diagonal. Coollay 5. Let A be an uppe banded matix with enties a j a j+1,+1 0. Then A is a monotonicity peseving matix. In [1] Bennett emaed that matices of the fom a 1 a 2... a n 0... 0 a ( 1 a 2... a n 0.. 0 0 a 1 a 2... a n 0.),.......... (8) with a 1, a 2,..., a n 0, ae monotonicity-peseving. Coollay 6. Let A be an uppe banded matix with enties a ij = a j i+1, whee j = i, i + 1,..., n + i 1, and a 1, a 2,..., a n 0, is monotonicity-peseving. Coollay 7. Bidiagonal matices ae monotonicity deceasing if each a n a,+1. Poof: Let y = Ax whee A is a bidiagonal matix with two nonzeo diagonals a nj and a n. Then, y n y = a ni x i +1 a,i x i +1 = a ni x i a,i+1 x i+1 a ni x i a,i+1 x i = (a ni a,i+1 )x i 0. We shall call a matix D an fold weighted shift if, fo some positive intege, it has enties d n = { a = n, n + 1,, n +, 0 othewise whee a is a positive sequence. Saaya Ünivesitesi Fen Bilimlei Enstitüsü Degisi, vol. 21, no. 3: pp. 522-526, 2017 525

F. Aydın Agun, B. E. Rhoades, S. M. Mohammad Monotonicity Peseving Matices Coollay 8. A fold weighted shift D matix peseves deceasing sequences if {a } is a deceasing sequences. REFERENCES [1] G. Bennett, Monotonicity peseving Matices, Analysis, Vol. 24, No. 4, pp. 317-327, Dec. 2004. [2] E. Endl, Untesuchungen ube Momentpobleme bei Vefahen vom Hausdoffschen typus, Math. Anal. Vol. 139, pp. 403-422, Oct. 1960. [3] G. H. Hady, Divegent seies, Vol. 334, Ameican Mathematical Soc., 2000. [4] F. Hausdoff, Summationsmethoden und Momentfolgen, I, Math. Z. Vol. 9, pp. 74-109, Feb. 1921. [5] F. Hausdoff, Summationsmethoden und Momentfolgen, II, Math. Z. Vol. 9, pp. 280-299, Sep. 1921. [6] A. Jaimovsi, The poduct of summability methods; new classes of tansfomations and thei popeties, Tech. Note, Contact No. AF61, pp. 052-187, 1959. Saaya Ünivesitesi Fen Bilimlei Enstitüsü Degisi, vol. 21, no. 3: pp. 522-526, 2017 526