• Sonuç bulunamadı

Monotonicity Preserving Matrices

N/A
N/A
Protected

Academic year: 2021

Share "Monotonicity Preserving Matrices"

Copied!
5
0
0

Yükleniyor.... (view fulltext now)

Tam metin

(1)

Dergi sayfası: http://dergipark.gov.tr/saufenbilder

Geliş/Received

15.02.2016

Kabul/Accepted

27.03.2017

Doi

10.16984/saufenbilder.292334

Monotonluğu Koruyan Matrisler

Fatma Aydin Akgun

*

, Billy E. Rhoades,

2

Sameerah Mahmood Mohammad

3

ÖZ

Negatif olmayan üçgensel matris dönüşümlerinin çok geniş bir ailesi için, monoton azalan dizilerin monoton azalan dizilere dönüşebilmesi koşullarını elde ettik.

Anahtar Kelimeler: monoton azalan diziler, genelleştirilmiş Hausdorff matrisleri, Üst üçgen matrisler, toplanabilme

matrisleri

Monotonicity Preserving Matrices

ABSTRACT

We obtain the conditions for a large class of nonnegative triangular matrix transformations to map positive monotone decreasing sequences into positive monotone decreasing sequences.

Keywords: monotone decreasing sequences, generalized Hausdorff matrices, Upper traingular matrices, summability

matrices.

(2)

Sakarya Üniversitesi Fen Bilimleri Enstitüsü Dergisi, vol. 21, no. 3: pp. 522-526, 2017 523 1. INTRODUCTION

A positive sequence 𝑥 = {𝑥𝑛} is a monotone decreasing

sequence, or simply decreasing, if 𝑥𝑛≥ 𝑥𝑛+1 for each

𝑛 ≥ 0.A matrix 𝐴 is called triangular if 𝑎𝑛𝑘= 0 for each

k>n, and a triangle if it is triangular and 𝑎𝑛𝑛≠ 0 for each

𝑛. We shall say that a matrix preserves monotonicity if it maps every monotone decreasing sequence into a monotone decreasing sequence.

Bennett [1] prove the following theorem.

Theorem 1. Let 𝐴 = (𝑎𝑛𝑘) be a matrix with nonnegative

entries, and consider the associated transform 𝑥 → 𝑦, given by

𝑦𝑛= ∑ 𝑎𝑛𝑘𝑥𝑘 ∞

𝑘=0

.

Then the following conditions are equivalent.

(𝑖) 𝑦0≥ 𝑦1≥ ⋯ ≥ 0 whenever 𝑥0≥ 𝑥1≥ ⋯ ≥ 𝑥𝑛

(𝑖𝑖) ∑𝑟𝑘=0𝑎𝑛𝑘≥∑𝑟𝑘=0𝑎𝑛+1,𝑘, 𝑛, 𝑟 = 0,1,2, …

This theorem yields a number of corollaries for some well-known summability matrices. Bennett has noted that the positive Hausdorff matrices map decreasing sequences into decreasing sequences. As our first result we shall show that the same is true for generalized Hausdorff matrices.

2. PRELIMINARIES

An ordinary Hausdorff matrix 𝐻 is a triangular matrix with nonzero entries

(𝑛𝑘) ∆𝑛−𝑘𝜇

𝑘 (1)

where 𝜇𝑛 is a real or complex sequence and ∆ is the

forward difference operator defined by

∆𝜇𝑘 = 𝜇𝑘− 𝜇𝑘+1 and ∆𝑛+1𝜇𝑘 = ∆𝑛𝜇𝑘− ∆𝑛𝜇𝑘+1.

There are several generalizations of Hausdorff matrices. One of this is called the H-J matrices. A sequence (𝜆𝑛) is

called acceptable sequence if it satisfies the following properties:

0 ≤ 𝜆0< 𝜆1< ⋯ < 𝜆𝑛…,

with 𝜆𝑛→ ∞, but slowly enough so that

∑ 1 𝜆𝑛

= ∞.

𝑛=1

The nonzero entries of an H-J matrix 𝐻(𝜇; 𝜆) are defined by

ℎ(𝜇; 𝜆)𝑛𝑘=𝜆𝑘+1… 𝜆𝑛[𝜇𝑘, … , 𝜇𝑛], 0 ≤ 𝑘 ≤ 𝑛

where 𝜇𝑛 is a real or complex sequence, [.] is the divided

difference operator defined by

[𝜇𝑘, 𝜇𝑘+1] = 1 𝜆𝑘+1− 𝜆𝑘 [𝜇𝑘− 𝜇𝑘+1] and [𝜇𝑘, … , 𝜇𝑛] = 1 𝜆𝑛− 𝜆𝑘 ([𝜇𝑘, . . , 𝜇𝑛−1] − [𝜇𝑘+1, … , 𝜇𝑛])

and where it is understood that 𝜆𝑘+1𝜆𝑘+2… 𝜆𝑛= 1 when

𝑘 = 𝑛.

Hausdorff [5] defined this generalization for 𝜆0= 0,

and, Jakimovski [6] extended this class for 𝜆0> 0.

3. MAIN THEOREMS

Theorem 2. A positive H-J matrix, with 𝜆0= 0, maps

decreasing sequences into decreasing sequences.

Proof: Using (ii) of Bennett's theorem

∑ ℎ𝑛𝑘 𝑟 𝑘=0 − ∑ ℎ𝑛+1,𝑘 𝑟 𝑘=0 = ∑ 𝜆𝑘+1… 𝜆𝑛[𝜇𝑘, … , 𝜇𝑛] 𝑟 𝑘=0 − ∑ 𝜆𝑘+1… 𝜆𝑛+1[𝜇𝑘, … , 𝜇𝑛+1]. (2) 𝑟 𝑘=0

From the definition of divided differences,

(𝜆𝑛+1− 𝜆𝑘)[𝜇𝑘, … 𝜇𝑛+1] = [𝜇𝑘, … 𝜇𝑛] − [𝜇𝑘+1, … 𝜇𝑛+1]

Substituting into (2), we have

∑ ℎ𝑛𝑘 𝑟 𝑘=0 − ∑ ℎ𝑛+1,𝑘 𝑟 𝑘=0 = ∑ 𝜆𝑘+1… 𝜆𝑛(𝜆𝑛+1− 𝜆𝑘− 𝜆𝑛+1)[𝜇𝑘, … , 𝜇𝑛+1] 𝑟 𝑘=0 + ∑ 𝜆𝑘+1… 𝜆𝑛[𝜇𝑘+1, … , 𝜇𝑛+1] 𝑟 𝑘=0 = − ∑ 𝜆𝑘… 𝜆𝑛[𝜇𝑘, … , 𝜇𝑛+1] 𝑟 𝑘=0 + ∑ 𝜆𝑘… 𝜆𝑛[𝜇𝑘, … , 𝜇𝑛+1] 𝑟+1 𝑘=1 = 𝜆𝑟+1… 𝜆𝑛[𝜇𝑘𝑟+1, … , 𝜇𝑛+1] − 𝜆0… 𝜆𝑛[𝜇0, … , 𝜇𝑛+1].

(3)

Sakarya Üniversitesi Fen Bilimleri Enstitüsü Dergisi, vol. 21, no. 3: pp. 522-526, 2017 524 ∑ ℎ𝑛𝑘 𝑟 𝑘=0 − ∑ ℎ𝑛+1,𝑘 𝑟 𝑘=0 = 𝜆𝑟+1… 𝜆𝑛[𝜇𝑟+1, … , 𝜇𝑛+1] ≥ 0. (3) ⎕

The E-J generalized Hausdorff matrices, denoted by 𝐻𝜇𝛼 = (ℎ𝑛𝑘

(𝛼)

), were defined independently by Endl [2] and Jakimovski [6], with nonzero entries

𝑛𝑘(𝛼)=(𝑛 + 𝛼 𝑛 − 𝑘) ∆ 𝑛−𝑘𝜇 𝑘 (𝛼) , 0 ≤ 𝑘 ≤ 𝑛,

for any 𝛼 ≥ 0. For 𝛼 = 0, the E-J matrices reduce to the ordinary Hausdorff matrices.

Corollary 1. For 0 ≤ α < 1, a positive E-J generalized Hasudorff matrix maps decreasing seuences into decreasing sequences. Proof. ∑ ℎ𝑛𝑘 𝑟 𝑘=0 − ∑ ℎ𝑛+1,𝑘 𝑟 𝑘=0 = ∑ (𝑛 + 𝛼 𝑛 − 𝑘) ∆ 𝑛−𝑘𝜇 𝑘 𝑟 𝑘=0 − ∑ (𝑛 + 1 + 𝛼 𝑛 + 1 − 𝑘) ∆ 𝑛+1−𝑘𝜇 𝑘. 𝑟 𝑘=0 (4) Since ∆𝑛+1−𝑘𝜇 𝑘= ∆𝑛−𝑘𝜇𝑘− ∆𝑛−𝑘𝜇𝑘+1, ∑ ℎ𝑛𝑘 𝑟 𝑘=0 − ∑ ℎ𝑛+1,𝑘 𝑟 𝑘=0 = ∑ (𝑛 + 𝛼 𝑛 − 𝑘) {∆ 𝑛+1−𝑘𝜇 𝑘+ ∆𝑛−𝑘𝜇𝑘+1} 𝑟 𝑘=0 − ∑ (𝑛 + 1 + 𝛼 𝑛 + 1 − 𝑘) ∆ 𝑛+1−𝑘𝜇 𝑘 𝑟 𝑘=0 = ∑ (𝑛 + 𝛼 𝑛 − 𝑘) (1 − 𝑛 + 1 + 𝛼 𝑛 + 1 − 𝑘) ∆ 𝑛+1−𝑘𝜇 𝑘 𝑟 𝑘=0 + ∑ (𝑛 + 𝛼 𝑛 − 𝑘) ∆ 𝑛−𝑘𝜇 𝑘+1 𝑟 𝑘=0 = ∑ ( 𝑛 + 𝛼 𝑛 + 1 − 𝑘) ∆ 𝑛+1−𝑘𝜇 𝑘 𝑟 𝑘=0 + ∑ (𝑛 + 1 − 𝑘𝑛 + 𝛼 ) ∆𝑛+1−𝑘𝜇𝑘. 𝑟+1 𝑘=1

For 0 ≤ α < 1, the binomial form (𝑛 + 𝛼

𝑛 + 1), will vanish, so the above equality will be

∑ ℎ𝑛𝑘 𝑟 𝑘=0 − ∑ ℎ𝑛+1,𝑘 𝑟 𝑘=0 = (𝑛 + 𝛼 𝑛 − 𝑟) ∆ 𝑛−𝑟𝜇 𝑟+1≥ 0. ⎕

Corollary 2. Every positive Hausdorff matrix maps

decreasing sequences into decreasing sequences.

Proof: Ordinary Hausdorff matrices are the special case

of H-J matrices obtained by setting 𝜆𝑛= 𝑛, or by using

an E-J matrices with α = 0.

⎕ Let {𝑝𝑛} be a nonnegative sequence with 𝑝0> 0. A

Nörlund matrix is a triangular matrix B with entries 𝑏𝑛𝑘= 𝑝𝑛−𝑘 𝑃𝑛 , where 𝑃𝑛= ∑ 𝑝𝑛−𝑘. 𝑛 𝑘=0

Corollary 3. Every Nörlund matrix, with decreasing

sequence {𝑝𝑛}, preserves decreasing sequences.

Proof: Using (ii) of Bennett's theorem

∑ 𝑏𝑛𝑘− 𝑟 𝑘=0 ∑ 𝑏𝑛+1,𝑘 𝑟 𝑘=0 = ∑𝑝𝑛−𝑘 𝑃𝑛 𝑟 𝑘=0 − ∑𝑝𝑛+1−𝑘 𝑃𝑛+1 𝑟 𝑘=0

Since {𝑝𝑛} is decreasing, 𝑝𝑛−𝑘 ≥ 𝑝𝑛+1−𝑘, we can write

the above equation as

∑𝑝𝑛−𝑘 𝑃𝑛 𝑟 𝑘=0 − ∑𝑝𝑛+1−𝑘 𝑃𝑛+1 𝑟 𝑘=0 ≥ ∑𝑝𝑛−𝑘 𝑃𝑛 𝑟 𝑘=0 − ∑𝑝𝑛−𝑘 𝑃𝑛+1 𝑟 𝑘=0 = (1 𝑃𝑛 − 1 𝑃𝑛+1 ) ∑ 𝑝𝑛−𝑘 𝑟 𝑘=0 = 𝑝𝑛+1 𝑃𝑛𝑃𝑛+1 ∑ 𝑝𝑛−𝑘 𝑟 𝑘=0 .

(4)

Sakarya Üniversitesi Fen Bilimleri Enstitüsü Dergisi, vol. 21, no. 3: pp. 522-526, 2017 525 ∑ 𝑏𝑛𝑘− 𝑟 𝑘=0 ∑ 𝑏𝑛+1,𝑘 𝑟 𝑘=0 ≥ 𝑝𝑛+1 𝑃𝑛𝑃𝑛+1 ∑ 𝑝𝑛−𝑘 𝑟 𝑘=0 ≥ 0. ⎕ There are also some non-summability matrices that preserve decreasing sequences.

A factorable matrix is a lower triangular matrix with entries 𝑎𝑛𝑘= 𝑎𝑛𝑏𝑘, where 𝑎𝑛 depends only upon 𝑛 and

𝑏𝑘 depends only upon 𝑘.

Theorem 3. Let 𝐴 be a positive factorable matrix. If 𝑎𝑛 is

non-increasing the 𝐴 preserves decreasing sequences.

Proof: ∑ 𝑎𝑛𝑘− 𝑟 𝑘=0 ∑ 𝑎𝑛+1,𝑘= ∑ 𝑎𝑛𝑏𝑘− 𝑟 𝑘=0 ∑𝑎𝑛+1𝑏𝑘 𝑟 𝑘=0 𝑟 𝑘=0 = (𝑎𝑛− 𝑎𝑛+1) ∑ 𝑏𝑘 𝑟 𝑘=0 ≥ 0. ⎕ Let (𝑝𝑘) be a nonnegative sequence with 𝑝0> 0, and

define 𝑃𝑛= ∑𝑛𝑘=0𝑝𝑘. A weighted mean matrix (𝑁̃, 𝑝) is

a triangular matrix with entries 𝑝𝑘/𝑃𝑛. A weighted mean

matrix is the special case of the factorable matrix.

Corollary 4. Every nonnegative weighted mean matrix

preserves decreasing sequences.

Proof: The proof is easy to verify since 𝑃𝑛 is

non-increasing.

⎕ It is clear that every upper triangular matrices are monotonicity preserving matrices if they have decreasing in columns; i.e., 𝑎𝑛𝑘≥ 𝑎𝑛+1,𝑘. The following theorem

gives another approach for every upper triangular matrices.

Theorem 4. Let 𝐴 be positive upper triangular matrix with entries 𝑐𝑛𝑘 ≥ 𝑐𝑛+1,𝑘+1, for 𝑘 = 𝑛, 𝑛 + 1, … then 𝐴

is a monotonicity preserving matrix.

Proof: 𝑦𝑛− 𝑦𝑛+1= ∑ 𝑐𝑛𝑘𝑥𝑘− ∞ 𝑘=𝑛 ∑ 𝑐𝑛+1,𝑘 𝑥𝑘 ∞ 𝑘=𝑛+1 = ∑ 𝑐𝑛𝑘𝑥𝑘− ∞ 𝑘=𝑛 ∑ 𝑐𝑛+1,𝑘+1 𝑥𝑘+1. ∞ 𝑘=𝑛

Since {𝑥𝑛} is a positive decreasing sequence and and 𝐴 is

a positive matrix with 𝑐𝑛𝑘≥ 𝑐𝑛+1,𝑘+1, then

𝑦𝑛− 𝑦𝑛+1≥ 0

where 𝑥𝑛− 𝑥𝑛+1≥ 0.

⎕ An infinite matrix will be called a band matrix if it has only a finite number of nonzero diagonals. The width of a band matrix refers to the number of nonzero diagonals. An upper band matrix 𝐴 has finite number of the diagonals on or above the main diagonal.

Corollary 5. Let 𝐴 be an upper banded matrix with entries 𝑎𝑗𝑘≥ 𝑎𝑗+1,𝑘+1≥ 0. Then 𝐴 is a monotonicity

preserving matrix.

In [1] Bennett remarked that matrices of the form

( 𝑎1 𝑎2 0 𝑎1 . . 𝑎2 . 0 0 . . 𝑎1 𝑎2 . . .. 𝑎.𝑛 𝑎0 . 𝑛 0 .. .. . 𝑎𝑛 . . . . . . 0 . . . ), (8)

with 𝑎1, 𝑎2, . . . , 𝑎𝑛≥ 0, are monotonicity-preserving.

Corollary 6. Let 𝐴 be an upper banded matrix with entries 𝑎𝑖𝑗 = 𝑎𝑗−𝑖+1, where 𝑗 = 𝑖, 𝑖 + 1, . . . , 𝑛 + 𝑖 − 1,

and 𝑎1, 𝑎2, . . . , 𝑎𝑛≥ 0, is monotonicity-preserving.

Corollary 7. Bidiagonal matrices are monotonicity

decreasing if each 𝑎𝑛𝑘≥ 𝑎𝑛+1,𝑘+1.

Proof: Let 𝑦 = 𝐴𝑥 where 𝐴 is a bidiagonal matrix with two nonzero diagonals 𝑎𝑛𝑗 and 𝑎𝑛𝑘. Then,

𝑦𝑛− 𝑦𝑛+1= ∑ 𝑎𝑛𝑖𝑥𝑖− 𝑘 𝑖=𝑗 ∑ 𝑎𝑛+1,𝑖 𝑥𝑖 𝑘+1 𝑖=𝑗+1 = ∑ 𝑎𝑛𝑖𝑥𝑖− 𝑘 𝑖=𝑗 ∑ 𝑎𝑛+1,𝑖+1 𝑥𝑖+1 𝑘 𝑖=𝑗 ≥ ∑ 𝑎𝑛𝑖𝑥𝑖− 𝑘 𝑖=𝑗 ∑ 𝑎𝑛+1,𝑖+1 𝑥𝑖 𝑘 𝑖=𝑗 = ∑(𝑎𝑛𝑖− 𝑎𝑛+1,𝑖+1)𝑥𝑖≥ 0. 𝑘 𝑖=𝑗 ⎕ We shall call a matrix 𝐷 an 𝑟 − 𝑓𝑜𝑙𝑑 weighted shift if, for some positive integer 𝑟, it has entries

𝑑𝑛𝑘 = {𝑎0 𝑜𝑡ℎ𝑒𝑟𝑤𝑖𝑠𝑒 𝑘 𝑘 = 𝑛, 𝑛 + 1, … , 𝑛 + 𝑟,

(5)

Sakarya Üniversitesi Fen Bilimleri Enstitüsü Dergisi, vol. 21, no. 3: pp. 522-526, 2017 526 Corollary 8. A 𝑟 − 𝑓𝑜𝑙𝑑 weighted shift 𝐷 matrix

preserves decreasing sequences if {𝑎𝑘} is a decreasing

sequences.

REFERENCES

[1] G. Bennett, “Monotonicity preserving Matrices”, Analysis, Vol. 24, No. 4, pp. 317-327, Dec. 2004.

[2] E. Endl, “Untersuchungen ¨uber Momentprobleme bei Verfahren vom Hausdorffschen typus”, Math. Anal. Vol. 139, pp. 403-422, Oct. 1960.

[3] G. H. Hardy, Divergent series, Vol. 334, American Mathematical Soc., 2000.

[4] F. Hausdorff, “Summationsmethoden und Momentfolgen, I”, Math. Z. Vol. 9, pp. 74-109, Feb. 1921.

[5] F. Hausdorff, “Summationsmethoden und Momentfolgen, II”, Math. Z. Vol. 9, pp. 280-299, Sep. 1921.

[6] A. Jakimovski, “The product of summability methods; new classes of transformations and their properties”, Tech. Note, Contract No. AF61, pp. 052-187, 1959.

Referanslar

Benzer Belgeler

Whenever you are writing programs that take a while to execute (e.g. you are inverting some crazy matrix, etc), saving your code as a source-able script only is not a good

Hence the effective barrier electrons see (figure 5.22) is thinner than for the hot electrons excited to lower energy levels by the green or red light. Hence

In one of the sets, regular rectangular PC lattice borders (. It calculates the diffraction intensity and near-zone diffraction field for 2 dimensional problems with given

Both covariance matrices and co-difference matrices are ex- tracted from randomly selected regions and added to the training set. Then the same procedure is also applied in the

As mentioned earlier, in the present study, students ’ overall beliefs about English language learning are considered as a combination of several variables; therefore, another

Total Internal Reflection Microscopy (TIRM) [1, 2] is a fairly new technique to optically mea- sure the interactions between a single colloidal particle and a surface using

Abstract- The purpose of this paper is to give a proof of the results announced by the author [7] in 1982 on the algebraic independence over a field k of any non-degenerate

Si on agit sur la matrice au moyen d’une piece conique (a=90°) avec une force egale â la force d’emboutissage, la matrice se trouve dans des conditions de contrainte semblables