• 検索結果がありません。

We improve on and provide correct proofs of the results of the first author (1990)

N/A
N/A
Protected

Academic year: 2022

シェア "We improve on and provide correct proofs of the results of the first author (1990)"

Copied!
13
0
0

読み込み中.... (全文を見る)

全文

(1)

B. E. RHOADES AND PALI SEN

Received 8 March 2006; Revised 6 June 2006; Accepted 22 June 2006

We determine the lower bounds for classes of Rhaly matrices, considered as bounded linear operators onp. We improve on and provide correct proofs of the results of the first author (1990).

Copyright © 2006 Hindawi Publishing Corporation. All rights reserved.

The following conjecture was posed by Axler and Shields. Let{xn}be a monotone de- creasing sequence of nonnegative numbers,Cthe Ces´aro matrix of order one. What is the best constantKfor whichCx2Kx2for all such sequences{xn}? Lyons [3] de- termined that the best constant isπ/6. This result was extended topspaces forp >1 by Bennett [1]. In [1], Bennett established the following result, whereB(p) denotes the set of bounded linear operators onp.

Theorem 1. Let{xn}be a monotone decreasing nonnegative sequence, letAB(p) with nonnegative entries, and 1< p <. Then

AxpLxp, (1) where

Lp:=infr (r+ 1)1 j=0

r

k=o

ajk

p

=infr f(r), say. (2)

ForA=C, the minimum occurs atf(0), which is the sum of thepth power of the first column ofC. The proof of the result of Bennett is relatively easy, when contrasted with the task of findingLpfor a particular matrix, or class of matrices.

A factorable matrix is a lower triangular matrix whose nonzero entries ank can be written in the formanbk, whereandepends only onnandbk depends only onk. Rhaly [4–6] defined three classes of matrices, all of which are factorable.

Hindawi Publishing Corporation

International Journal of Mathematics and Mathematical Sciences Volume 2006, Article ID 76135, Pages1–13

DOI 10.1155/IJMMS/2006/76135

(2)

In [8], Rhoades investigated the lower bounds question for the Rhaly matrices, and obtained some partial results. In this paper, we return to the study of the Rhaly matrices, as special cases of factorable matrices. This paper differs from [8] in three important respects. First, one general result is proved, and the theorems of [8] then follow as special cases. Second, the results of [8] are extended to allp >1. Third, as an application of the general procedure developed here, we are able to provide a new proof of [7, Theorem 1]

as well as to verify the conjecture that, for the weighted mean methods withpn=(n+ 1)α, α1,Lp=f(0).

For any sequence{xn}, the forward difference operatorΔis defined byΔxn=xnxn+1, andΔm+1xn=Δ(Δmxn).

Theorem 2. LetAbe a factorable matrix with positive entries, row sumstn, and{an}mono- tone decreasing. Then sufficient conditions for f(0)=Lpare that

Δyrp<0, Δ2yrp>0, (3) Δ2

1 Δyrp

0, (4)

whereyr=tr/ar,

rlim→∞

ar+1p Δyr+1p

Δ2yrp 0, (5)

t0+ 2Δy0p

j=1

apj0. (6)

Proof. With

tn=an

n k=0

bk, yn= tn

an, f(r)= 1

r+ 1 j=0

r

k=0

ajk

p

= 1 r+ 1

r

j=0

j

k=0

ajk

P

+ j=r+1

r

k=0

ajk

p

= 1 r+ 1

r

j=0

tpj +yrp

j=r+1

apj

, f(r)f(r+ 1)= 1

(r+ 1)(r+ 2) r j=0

tpj tr+1p

r+ 2+ yrpapr+1

r+ 1 +Δ yrp

r+ 1

j=r+2

apj. (7)

Note that

tr+1p

r+ 2+yrpar+1p r+ 1 =

yrpar+1p r+ 1

ar+1yr+1p

r+ 2 =ar+1p Δ yrp

r+ 1

. (8)

(3)

Thus

f(r)f(r+ 1)= 1 (r+ 1)(r+ 2)

r j=0

tpj yrp

r+ 1

j=r+1

apj. (9)

Define

g(r)=(r+ 1)(r+ 2)f(r)f(r+ 1)

= r j=0

tpj+ (r+ 1)(r+ 2)Δ yrp

r+ 1

j=r+2

apj. (10)

Then

g(r)g(r+ 1)= −tr+1p + (r+ 2)

(r+ 1)Δ yrp

r+ 1

(r+ 3)Δ yr+1p

r+ 2

j=r+2

apj

+ (r+ 1)(r+ 2)Δ yrp

r+ 1

ar+1p .

(11)

But

(r+ 1)Δ yrp

r+ 1

(r+ 3)Δ yr+1p

r+ 2

=(r+ 1) yrp

r+ 1 yr+1p

r+ 2

(r+ 3) yr+1p

r+ 2 yr+2p

r+ 3

=yrp(r+ 1)yr+1p

r+ 2

(r+ 3)yr+1p

r+ 2 +yr+2p =Δ2yrp,

tr+1p + (r+ 1)(r+ 2)Δ yrp

r+ 1

apr+1

= − ar+1yr+1p+ (r+ 1)(r+ 2) yrp

r+ 1 yr+1p

r+ 2 ar+1p

=ar+1p yr+1p + (r+ 2)yrp(r+ 1)yr+1p =ar+1p (r+ 2)Δyrp.

(12)

Thus

g(r)g(r+ 1)=(r+ 2)apr+1 Δyr+1p+ (r+ 2)Δ2yrp

j=r+1

apj. (13)

(4)

Define

h(r)=g(r)g(r+ 1)

(r+ 2)Δ2yrp =ar+1p Δyrp

Δ2yrp + j=r+2

apj,

h(r)h(r+ 1)=ar+1p Δyrp Δ2yrp +ar+2p

1 Δyr+1p

Δ2yr+1p

= 1

Δ2yrpΔ2yr+1p

ar+1p Δ2yr+1p Δyrp+apr+2Δ2yrp Δyr+2p

= ΔyrpΔyr+2p

Δ2yrpΔ2yr+1p

ar+1p Δ2yr+1p Δyr+2p apr+2

1Δyr+1p

Δyrp

,

(14)

andh(r)h(r+ 1)0 if and only if ar+1p

Δyr+1p

Δyr+2p 1

ar+2p

1Δyr+1p

Δyrp

0. (15)

Since{ar}is monotone decreasing, it is sufficient to have Δyr+1p

Δyr+2p 11Δyr+1p

Δyrp ; (16)

that is,

Δyr+1p

1 Δyrp+ 1

Δyr+2p

2. (17)

Using (3),Δyr+1p > Δyr+2p andΔyr+1p < Δyrp. SinceΔyrp<0, the above inequality is equiv- alent to (4). Thushis monotone decreasing inr. From (5), his nonnegative, so g is monotone decreasing inr. From (6),g(0) is negative, so that f is monotone increasing

inr.

Lemma 3. Define sequences {u(r)} and{v(r)} byu(r)=1/Δv(r). ThenΔ2u(r) can be written in the form

Δ2u(r)= 1 Δv(r)

2v(r)Δ2v(r+ 1) Δv(r+ 1)Δv(r+ 2)

Δ3v(r) Δv(r+ 2)

. (18)

Proof. The equationu(r)=1/Δv(r) implies that

Δu(r)Δv(r) +u(r+ 1)Δ2v(r)=0, (19)

(5)

or

Δu(r)= −u(r+ 1)Δ2v(r)

Δv(r) . (20)

Hence

Δ2u(r)Δv(r) + 2Δu(r+ 1)Δ2v(r) +u(r+ 2)Δ3v(r)=0, (21) or

Δ2u(r)= 1 Δv(r)

2v(r)u(r+ 2)Δ2v(r+ 2) Δv(r+ 1)

Δ3v(r) Δv(r+ 2)

. (22) Lemma 4. Suppose thatvC3[0,). If, for all 0< t <1,p >1, one has

(a)v >0, (b)v >0,

(c) 2(v )2vv >0, thenΔ2v(r)0.

Proof. Conditions (a) and (b) imply thatΔv(r)<0 andΔ2v(r)>0. Therefore, from (18),

Δ2u(r)0.

The Rhaly generalized Ces´aro matrices [4] are factorable matrices with nonzero entries an=tn/(n+ 1),bk=tk, where 0< t <1. Ift=1, the matrix reduces toC.

Theorem 5. Letp >1. Then, for the Rhaly generalized Ces´aro matrices,Lp=f(0) fort0 t <1, wheret0satisfies

12

1 +t0

t0

p

1

j=1

t0j

j+ 1 p

=0. (23)

Proof. First, we will show that conditions (a)–(c) ofLemma 4are satisfied.

Clearly

tn= 1tn+1

(n+ 1)(1t), yn= 1tn+1

tn(1t). (24)

Thus

v(r)= 1 (1t)p

1tr+1 tr

p

, v(r)= ptrlog(1/t)

(1t)p trtp1,

v (r)=p(1t)p trtp2 pt2rtr+1

log 1

t 2

,

(25)

(6)

and (a) and (b) are satisfied.

v (r)=p(1t)p

log 1

t 2

(p2) trtp3 trlogt pt2rtr+1

+ trtp2 2pt2rlogt+tr+1logt

=p(1t)p trtp3t3r

log 1

t 3

×

(p2) ptr+1+ trt 2ptrt2r+1.

(26)

It then follows that

2(v )2vv =2

p(1t)p trtp2 pt2rtr+1

log 1

t 22

p(1t)ptrlog 1

t

trtp1

×p(1t)p trtp3t3r

log 1

t 3

×

p2(3p1)tr+1+t2r+2

=p2t4r(1t)2p

log 1

t 4

trt2p4w(r,p),

(27)

where

w(r)=p2(p+ 1)tr+1+t2r+2. (28)

Note thatw(r)>0 forp1. Therefore,wis monotone increasing inr. Sincew(0)>

0,w is positive for 0< t <1,r0, and condition (4) is satisfied. Thus his monotone decreasing inr:

rlim→∞h(r)=rlim

→∞

tr+1 r+ 2

p

= 1/(1t)p 1tr+2/tr+1p 1tr+3/tr+2p

1/(1t)p 1tr+1/trp2 1tr+2/tr+1p+ 1tr+3/tr+2p. (29)

(7)

Since the limit of the quantity in brackets is (tp1)/(tp1)2, limr→∞h(r)=0, and condition (5) ofTheorem 2is satisfied; that is,gis monotone decreasing inp,

g(0)=t0p+ 2y0py1p

j=1

apj

=12 1 +t

t p

1

j=1

tj j+ 1

p

=q(t,p), say,

∂q

∂t = −2p1 +t t

p1

1 t2

j=1

tj j+ 1

p

2 1 +t

t p

1p

j=1

p jtj1 (j+ 1)p

=2p

j=1

tj j+ 1

p1 +t t

p11 t2

1 +t t

p

1 j

t .

(30)

Since the coefficient of jis negative, the quantity in brackets is monotone decreasing in j. Forj=1, it becomes

1 t2

1 +t t

p1

+tt1 +t t

p

= 1 t2

1 +t t

p1

(11t) +t=1 t

1 1 +t

t p1

<0,

(31)

andqis monotone decreasing int.

q(1,p)=122p1 j=1

1

(j+ 1)p. (32)

The function in brackets is convex inpforp >1. So also is the series. Therefore, so is the product. Multiplying by1 yields a concave function. Since 1 is also concave,q(1,p) is a concave function ofpforp >1. Since

plim→∞q(1,p)=0, (33)

g(0) is negative for those values oft > t0, wheret0satisfies (23); that is, (6) ofTheorem 2,

andLp=f(0).

The Rhaly s-Ces´aro matrices [5] are factorable matrices with nonzero entriesan= (n+ 1)s,s >1, and eachbk=1. Thustn=(n+ 1)s1andyn=n+ 1.

Theorem 6. For the Rhalys-Ces´aro matrices,Lp=f() forp,s >1.

(8)

Proof. First, we will show that conditions (a)–(c) ofLemma 4are satisfied, v(r)=(r+ 1)p, v(r)=p(r+ 1)p1,

v (r)=p(p1)(r+ 1)p2, (34) and conditions (a) and (b) are satisfied,

v (r)=p(p1)(p2)(r+ 1)p3. (35) Therefore

2(v )2vv =2 p(p1)(r+ 1)p22p(r+ 1)p1q(p1)(p2)(r+ 1)p3

=p2(p1)(r+ 1)2p42(p1)(p2)

=p3(p1)(r+ 1)2p4>0,

(36)

and condition (c) is satisfied,

0h(r) j=r+1

1

(j+ 1)sp. (37)

Therefore limr→∞h(r)=0 and condition (5) ofTheorem 2is satisfied. Thusgis mono- tone decreasing inr,

g(r)= r j=0

1

(j+ 1)(s1)p+ (r+ 1)(r+ 2)(r+ 1)s1(r+ 2)s1 j=r+1

1

(j+ 1)ps. (38) It then follows that

rlim→∞g(r)=

j=0

1

(j+ 1)(p1)s>0, (39)

and soLp=f().

The Rhaly terraced matrices [6] are factorable matrices with eachbk=1 andan=an, where{an}is a monotone decreasing positive sequence such that lim(n+ 1)an exists.

Clearlytn=(n+ 1)anandyn=n+ 1.

Theorem 7. For the Rhaly terraced matrices,Lp=f(0) forp >1.

Proof. Sinceyn=n+ 1, the first part of the proof ofTheorem 6applies andhis monotone decreasing inr,

h(r)= ar+1p (r+ 2)p(r+ 3)p (r+ 1)p2(r+ 2)p+ (r+ 3)p+

j=r+1

apj j=r+1

apj, (40)

(9)

and limh(r)=0, so thatgis monotone decreasing inr, g(0)=a0p+ 212p1

j=1

apj

=a0p2 2p11a1p2 2p11 j=2

apj <0,

(41)

since{an}is monotone decreasing. ThereforeLp=f(0).

A weighted mean matrix is a factorable matrix withan=1/Pn,bk=pk, where{pk}is a nonnegative sequence withp0>0 andPn:=n

k=0pk.

Theorem 8. Let (N,pn) be a weighted mean method with the{pn}nondecreasing. Then 1 + (r+ 1)

Pr+1

Pr

p

(r+ 2) Pr+2

Pr+1

p

0 for eachr0, p >1, (42) is a sufficient condition forLp=f(0).

Proof. Since a weighted mean matrix has row sums one, from (9), f(r)f(r+ 1)= 1

r+ 2+Δ Prp

r+ 1

j=r+1

1

Ppj. (43)

Thus

g(r)= f(r)f(r+ 1) Δ Prp/(r+ 1) =

1

(r+ 2)Δ Prp/(r+ 1)+ j=r+1

1

Ppj, (44)

g(r)g(r+ 1)= 1

(r+ 2)Δ Prp(r+ 1)

1

(r+ 3)Δ Pr+1p /(r+ 2)+ 1 Pr+1p

= 1

Pr+1p (r+ 2)(r+ 3)Δ Prp/(r+ 1)Δ Pr+1p /(r+ 2)m(r),

(45)

where

m(r)=Pr+1p (r+ 3)Δ Pr+1p

r+ 2

Pr+1p (r+ 2)Δ Prp

r+ 1

+ (r+ 2)(r+ 3)Δ Prp

r+ 1

Δ Pr+1p

r+ 2

=Pr+1p

(r+ 3) Pr+1p

r+ 2 Pr+2p

r+ 3

(r+ 2) Prp

r+ 1 Pr+1p

r+ 2

+ (r+ 2)(r+ 3) Prp

r+ 1 Pr+1p

r+ 2 Pr+1p

r+ 2 Pr+2p

r+ 3

(10)

=Pr+1p r+ 3 r+ 2

Pr+1p Pr+2p r+ 2 r+ 1

Prp+Pr+1p

+ r+ 3

r+ 1

PrpPr+1p r+ 3

r+ 2 Pr+1p 2

PrpPr+2p

r+ 2 r+ 1

+Pr+1p Pr+2p

=Pr+1p

r+ 3 r+ 2

Pr+1p Pr+2p r+ 2

r+ 1

Prp+Pr+1p + r+ 3

r+ 1

Prp r+ 3

r+ 2

Pr+1p +Pr+2p

r+ 2

r+ 1

PrpPr+2p

=Pr+1p

1

r+ 1Prp+Pr+1p

r+ 2

r+ 1

PrpPr+2p

= 1 r+ 1

PrpPr+1p + (r+ 1) Pr+1p 2

(r+ 2)PrpPr+2p

=PrpPr+1p r+ 1

1 + (r+ 1) Pr+1

Pr

p

(r+ 2) Pr+2

Pr+1

p

0,

(46) which is [7, Theorem 1, condition (1)] without any monotonicity condition on the{pn}. Thusgis monotone decreasing inr.

Since{pn}is nondecreasing,Pr(r+ 1)pr; that is,pr/Pr(r+ 1)1. Thus Pr+1

Pr =1 +pr+1

Pr 1 + pr

Pr r+ 2

r+ 1, (47)

andPr+1/Pr(r+ 2)Pr(r+ 1).

Using (44), sincep >1,

limg(r)=lim

(r+ 1)Prp

Pr+1p

(r+ 2)Prp(r+ 1)Pr+1p

=lim

r+ 1 Pr+1p

(r+ 2)(r+ 1) Pr+1/Prp

=lim (r+ 1) Pr+1p

(r+ 1) Pr+1/Prp

(r+ 2).

(48)

Using the fact that (1 +x)p1 +pxforp >1,x >1, limg(x)lim (r+ 1)

Pr+1p

(r+ 1) 1 +ppr+1/Pr

(r+ 2)

=lim r+ 1 Pr

p(r+ 1)pr+1/Pr1

lim r+ 1 Pr(p1)=0.

(49)

(11)

Therefore limg(r)=0 andg is positive for allr. From (44), sinceΔ(Prp/(r+ 1))<0,

Lp= f(0).

Corollary 9. Suppose (N,p) is a weighted mean method withpn=(n+ 1)α1. Then Lp= f(0).

Proof. To show that (42) is satisfied, it is sufficient to show that (r+ 1)

Pr+1

Pr

p

(50) is convex. The functionr=1 is trivially convex. Sincep >1, it will be enough to show thatPr+1/Pris convex.

Define

n(r)=1 +pr+1

Pr =1 +(r+ 2)α

rk=0(k+ 1)α. (51)

Then

Δ2n(r)= (r+ 2)α r

k=0(k+ 1)α

2(r+ 3)α r+1

k=0(k+ 1)α+ (r+ 4)α r+2

k=0(k+ 1)α

= n(r)

rk=0(k+ 1)α r+1k=0(k+ 1)α r+2k=0(k+ 1)α,

(52)

where

n(r)=(r+ 2)α r+1

k=0

(k+ 1)α r+2

k=0

(k+ 1)α

2(r+ 3)α r

k=0

(k+ 1)α r+2

k=0

(k+ 1)α

+ (r+ 4)α r

k=0

(k+ 1)α r+1

k=0

(k+ 1)α

=(r+ 2)α r

k=0

(k+ 1)α+ (r+ 2)α

× r

k=0

(k+ 1)α+ (r+ 2)α+ (r+ 3)α

2(r+ 3)α r

k=0

(k+ 1)α r

k=0

(k+ 1)α+ (r+ 2)α+ (r+ 3)α

+ (r+ 4)α r

k=0

(k+ 1)α r

k=0

(k+ 1)α+ (r+ 2)α

= r

k=0

(k+ 1)α 2

(r+ 2)α2(r+ 3)α+ (r+ 4)α

(12)

+(r+ 2)+ (r+ 2)+ (r+ 2)(r+ 3)α

2 (r+ 2)(r+ 3)α2(r+ 3)+ (r+ 4)(r+ 2)α

× r

k=0

(k+ 1)α

+ (r+ 2)+ (r+ 2)(r+ 3)α.

(53) Sinceα1, (r+ 2)αis convex, so the first quantity in brackets is positive. The second quantity in brackets can be written in the form

(r+ 2)α(r+ 2)α2(r+ 3)α+ (r+ 4)α+ (r+ 2)α+ (r+ 3)α (r+ 2)α2, (54) which is positive. Thereforen(r) is convex and (42) is satisfied.

Corollary 10. Let 1< p <,Hthe Hausdorffmatrix generated byμn=a/(n+a),a1.

ThenLp=f(0).

Proof. His also a weighted mean matrix withpn=p0Γ(n+a)/Γ(a+ 1)Γ(n+ 1) andPn= p0Γ(n+a+ 1)/Γ(a+ 1)Γ(n+ 1). Substituting in (42), one obtains

1 + (r+ 1)

r+a+ 1 r+ 1

p

(r+ 2)

r+a+ 2 r+ 2

p

, (55)

and it is sufficient to prove that (r+a+ 1)/(r+ 1) is convex, which it is.

The Ces´aro matrix of order one, written (C, 1), is a Hausdorffmatrix with generating sequenceμn=(n+ 1)1.

Corollary 11. For (C, 1),Lp= f(0).

Proof. UseCorollary 10witha=1.

Remarks 12. (1) The condition that the{pn}be nondecreasing is not a necessary con- dition forLp= f(0). For example, take pn=2/(n+ 1)(n+ 2). Then{pn} is monotone decreasing and satisfies (42) and

Δ Pr

r+ 1

<0. (56)

(2) Bennett [1] proved thatLp=f(0) for the Hilbert matrix.

(3) In [2], Bennett has shown thatLp=f(0) for each HausdorffmatrixHB(p) with nonnegative entries.

(4) No results have been established for N¨orlund matrices.

An interesting open question is the following. If{pn} is nondecreasing, must{pn} satisfy (42)?

(13)

References

[1] G. Bennett, Lower bounds for matrices, Linear Algebra and Its Applications 82 (1986), 81–98.

[2] , Lower bounds for matrices. II, Canadian Journal of Mathematics 44 (1992), no. 1, 54–

74.

[3] R. Lyons, A lower bound on the Ces`aro operator, Proceedings of the American Mathematical Society 86 (1982), no. 4, 694.

[4] H. C. Rhaly Jr., Discrete generalized Ces`aro operators, Proceedings of the American Mathematical Society 34 (1986), 225–232.

[5] ,p-Ces`aro matrices, Houston Journal of Mathematics 15 (1989), no. 1, 137–146.

[6] , Terraced matrices, The Bulletin of the London Mathematical Society 21 (1989), no. 4, 399–406.

[7] B. E. Rhoades, Lower bounds for some matrices, Linear and Multilinear Algebra 20 (1987), no. 4, 347–352.

[8] , Lower bounds for some matrices. II, Linear and Multilinear Algebra 26 (1990), no. 1-2, 49–58.

B. E. Rhoades: Department of Mathematics, Indiana University, Bloomington, IN 47405-7106, USA E-mail address:[email protected]

Pali Sen: Department of Mathematics and Statistics, University of North Florida, Jacksonville, FL 32224, USA

E-mail address:[email protected]

参照

関連したドキュメント

Keywords: Convex order ; Fréchet distribution ; Median ; Mittag-Leffler distribution ; Mittag- Leffler function ; Stable distribution ; Stochastic order.. AMS MSC 2010: Primary 60E05

SAS ∗ with some invertible bounded linear or conjugate-linear operator S on H pre- serves Lebesgue decompositions in both directions, we see that the transformation in (2.5) is

This is the well-known Hahn-Banach theorem, that is, the extension theorem for bounded lin- ear functionals on normed linear spaces.. The following theorem is Hahn’s result

The channel assignement problem is to assign a channel to each radio transmitter so that close transmitters do not interfer and such that we use the minimum span of frequency..

We introduce a new regularity condition, of a qualitative type, under which we prove a version of Littlewood’s theorem for tangential approach whose shape may vary from point to

As we have mentioned in the introduction, the aim of this work is to derive a high- order topological asymptotic expansion for the shape function j with respect to the presence of

Chebyshev, Th´ eorie des mecanismes connus sous le nom de parall´ elogrammes , M´em.. Lanczos, Tables of Chebyshev

Motivated by the work of He and Wang [9], we obtain weak type regularity condition with respect to the space variables only for the gradient of the velocity field.. Sub- stituting