• 검색 결과가 없습니다.

Discrete multiple Hilbert type inequality with non-homogeneous kernel

N/A
N/A
Protected

Academic year: 2022

Share "Discrete multiple Hilbert type inequality with non-homogeneous kernel"

Copied!
10
0
0

로드 중.... (전체 텍스트 보기)

전체 글

(1)

J. Korean Math. Soc. 47 (2010), No. 3, pp. 537–546 DOI 10.4134/JKMS.2010.47.3.537

DISCRETE MULTIPLE HILBERT TYPE INEQUALITY WITH NON-HOMOGENEOUS KERNEL

Biserka Draˇsˇci´c Ban, Josip Peˇcari´c, Ivan Peri´c, and Tibor Pog´any

Abstract. Multiple discrete Hilbert type inequalities are established in the case of non-homogeneous kernel function by means of Laplace integral representation of associated Dirichlet series. Using newly derived integral expressions for the Mordell-Tornheim Zeta function a set of subsequent special cases, interesting by themselves, are obtained as corollaries of the main inequality.

1. Introduction

Let `pbe the space of all complex sequences x = (xn)n=1with the finite norm kxkp := (P

n=1|xn|p)1/p endowed. Let a = (an)n=1∈ `p, b = (bn)n=1∈ `q be nonnegative sequences and 1/p + 1/q = 1, p > 1. Then

(1) X

m,n∈N

ambn

m + n < π

sin(π/p)kakpkbkq, where constant π/ sin(π/p) is the best possible [3, p. 253].

This is the famous discrete Hilbert double series theorem or Hilbert inequality, a topic of interest of many mathematicians now-a-days too. The accustomary approach to deriving Hilbert’s inequality is by applying the H¨older inequality to suitably transformed Hilbert type double sum expression, i.e., to the bilinear form

(2) Ha,bK := X

m,n∈N

K(m, n) ambn,

where a, b are nonnegative and K(·, ·) is the kernel function (of the double series (2)).

Received August 1, 2008.

2000 Mathematics Subject Classification. Primary 26D15; Secondary 40B05, 40G99.

Key words and phrases. discrete Hilbert type inequality, discrete multiple Hilbert type inequality, Dirichlet-series, non-homogeneous kernel, homogeneous kernel, multiple H¨older inequality, Tornheim’s double sum, Witten Zeta function, Mordell-Tornheim Zeta function.

The authors were supported in parts by the Ministry of Sciences, Education and Sports of Croatia under Research Project No. 112-2352818-2814 (Draˇsˇci´c Ban & Pog´any), 117- 1170889-0888 (Peˇcari´c) and 058-1170889-1050 (Peri´c).

c

°2010 The Korean Mathematical Society 537

(2)

For p > 1, p−1 + q−1 = 1; r ∈ (3 − min{p, q}, 3], r−1 + s−1 = 1 and n(2−r)/par := ¡

n(2−r)/parn¢

n≥1 ∈ `p, n(2−r)/qbr ∈ `q, Pog´any [7] recently de- duced

(3) X

m,n∈N

ambn

m+ ρn)µ ≤ Cλ,ρkn(2−r)/park1/rp kn(2−r)/qbrk1/rq , where the constant

Cλ,ρ= Cλ,ρ(p, q, r, s, µ) :=

µµs + 1 2

1/s B1/r¡

1 + (r − 3)/p, 1 + (r − 3)/q¢

× Ã Z

λ1

Z

ρ1

−1(x)][ρ−1(y)]¡

−1(x)] + [ρ−1(y)] + 2¢

(x + y)sµ+2 dx dy

!1/s

is the best possible. The conditions (4)

Z

λ1

¡λ−1(x)¢2

xsµ/2+1 dx < ∞,

Z

ρ1

¡ρ−1(x)¢2

xsµ/2+1 dx < ∞

secure the finiteness of Cλ,ρ [7, Theorem 1], B(·, ·) denotes the Euler Beta- function and λ, ρ : R+ 7→ R+ are monotone increasing positive functions such that

(5) lim

x→∞λ(x) = lim

x→∞ρ(x) = ∞ , and their restrictions are λ¯

¯N= λ = (λn)n=1, ρ¯

¯N= ρ = (ρn)n=1.

Let us define more general Hilbert type series. Let m ∈ N2:= {2, 3, . . .}, aj, j = 1, m be nonnegative sequences and let λ1, . . . , λm: R+7→ R+be monotone increasing positive functions such that

(6) lim

x→∞λj(x) = ∞ ¡

j = 1, m¢ , and their restrictions are λj

¯¯

N = λj = (λj(nj))nj=1. Let us denote n :=

(n1, . . . , nm) an m-dimensional positive integer index (running on Nm). Then the multiple Hilbert-type series reads

(7) Hm(ρ, a, λ) := X

n∈Nm

Qm

j=1anj

1(n1) + · · · + λm(nm) + ρ)µ

¡ρ, µ > 0¢ . Our main goal is to derive a sharp upper bound to (7).

Here, and in what follows, I(x) = x denotes the identity function, f−1(x) stands for the inverse of some f (x) and [X], {X} are the integer part and the fractional part of some X. Furthermore, Dλ(x) will stand for the Laplace integral expression of the Dirichlet series [8, §5]

(8) Dλ(x) =X

n∈N

ane−λ(n)x= x Z

0

e−xt

Ã−1X(t)]

n=1

an

! dt

(3)

for positive monotone increasing (λ(n))n=1satisfying (6). The internal sum we find using the Euler-Maclaurin summation formula given in the form [8, §6]

(9)

X` j=k+1

aj= Z `

k

dxa(x) dx (k, ` ∈ Z),

where the differential operator dx:= 1 + {x}∂x .

2. The main result

Theorem 1. Assume m ∈ N2, p−11 + · · · + p−1m + q−1 ≥ 1, µ > 0, Φ =1, . . . , Φm), Φi, j = 1, m positive monotone increasing functions and let aj, j = 1, m be nonnegative sequences such that

¡Φ1/qj (nj)anj

¢

nj=1∈ `pj

¡j = 1, m¢

while λ = (λ1, . . . λm) and all λj satisfies (5). Then we have (10) Hm(ρ, a, λ) ≤ Cµ,qΦ(a, λ)ka1Φ1/q1 kp1· · · kamΦ1/qm kpm, where the constant factor equals

(11)

Cµ,qΦ(a, λ) =

õµq + 1 2

¶ Z

λ(1)

Z −1(t)]

0

Qm

j=1duj(1/Φj(uj)) (t1+ · · · + tm+ ρ)µq+2dtdu

!1/q .

Here R

λ(1) :=R

λ1(1)· · ·R

λm(1); R−1(t)]

0 :=R−1

1 (t1)]

0 · · ·R−1

m(tm)]

0 stand as the

suitable abbreviations for m-tuple integrals, while dx := dx1· · · dxm. Proof. Assume q > 1 and rewrite the m-tuple sum into the form:

Hm(ρ, a, λ) = X

n∈Nm

Φ1/q1 (n1) · · · Φ1/qm (nm) an1· · · anm

Φ1/q1 (n1) · · · Φ1/qm (nm)(λ1(n1) + · · · + λm(nm) + ρ)µ. Then, making use of the generalized H¨older inequality with p−11 + · · · + p−1m + q−1≥ 1 ([4], [6]), we get

Hm(ρ, a, λ) ≤³ X

n1∈N

apn11Φp11/q(n11/p1

· · ·³ X

nm∈N

anrΦpmm/q(nm1/pm

×

à X

n∈Nm

1

Φ1(n1) · · · Φm(nm)(λ1(n1) + · · · + λm(nm) + ρ)µq

!1/q := R .

(4)

Transforming the general term of the multiple series by the Gamma function, we conclude

R = Ym j=1

kajΦ1/qj kpj

à X

n∈Nm

1 Φ1(n1) · · · Φm(nm)(ρ +Pm

j=1λj(nj))µq

!1/q (12)

= Qm

j=1kajΦ1/qj kpj

Γ1/q(µq)

à Z

0

xµq−1e−ρ x Ym j=1

à X

nj∈N

e−λj(nj)x Φj(nj)

! dx

!1/q

. (13)

Now, we apply the Laplace integral result (8) to all Dirichlet series

Dλj(x) = X

nj∈N

e−λj(nj)x Φj(nj) = x

Z

λj(1)

e−xtj Ã−1

j (tj)]

X

nj=1

1 Φj(nj)

! dtj,

and calculate the inner-most counting sum by the Euler-Maclaurin summation formula (9). We conclude

Dλj(x) = x Z

λj(1)

e−xtj

à Z −1

j (tj)]

0

duj

¡1/Φj(ujduj

! dtj

= x Z

λj(1)

Z −1

j (tj)]

0

e−xtjduj

¡1/Φj(uj

dtjduj. Therefore, we easily get

Hm(ρ, a, λ) ≤ ka1Φ1/q1 kp1· · · kamΦ1/qm kpm

Γ1/q(µq)

× Ã Z

λ(1)

Z −1(t)]

0

du1

¡ 1

Φ1(u1)

¢· · · dum

¡ 1

Φm(um)

¢

× Ã Z

0

e−(t1+···+tm+ρ)xxµq+1dx

!

dt1· · · dtmdu1· · · dum

!1/q .

Now, the right hand bound becomes R = Γ1/q(µq + 2)

Γ1/q(µq) ka1Φ1/q1 kp1· · · kamΦ1/qm kpm

× Ã Z

λ(1)

Z −1(t)]

0

Qm

j=1duj

¡1/Φj(uj

(t1+ · · · + tm+ ρ)µq+2dt du

!1/q . (14)

Since all above involved series are convergent, the associated integral expres- sions are convergent as well. So, all interchanges of integration order are en- abled. Reducing the last expression, we finish the proof. ¤

(5)

3. Integral representation of Mordell-Tornheim Zeta-function In 1950 Tornheim [10] introduced the double series

(15) T (p, q, r) = X

n∈N2

1 np1nq2(n1+ n2)r

¡p, q, r > 0, r + min{p, q} > 1¢ . In honor to the author it is called Tornheim double series, also known in liter- ature as Witten Zeta function or Mordell series. Later, a various continuations of the domain for the function T (p, q, r) are given, but here we are interested in the case p > 1, q > 1, r > 0, see, for example, [1], [2], [9], [11], [12].

Matsumoto [5] introduced the related, so-called Mordell-Tornheim m-tuple Zeta-function in the form

(16) ζM T,m(r; s) = X

n∈Nm

1

nr11· · · nrmm(n1+ · · · + nm)s,

where r := (r1, . . . , rm); rj, s ∈ C. The series (16) is absolutely convergent for

<{rj} > 1, j = 1, m and <{s} > 0. It is obvious that taking m = 2 and real parameters (16) one reduces to (15).

Our goal is here to obtain an integral representation for the real parameter Mordell-Tornheim Zeta ζM T,m. We give two different kind integral expressions for this special function.

Theorem 2. Let r1 > 1, . . . , rm> 1, s > 0. Then the series ζM T,m(r; s) has the following integral representation:

(17)

ζM T,m(r; s) = 1 2mΓ(s)Qm

j=1Γ(rj) Z

Rm+1+

xs−1 emx+t1+···+tm

2

Ym j=1

trjj−1

sinhx+t2j dxdt . Proof. First, let us rewrite ζM T,minto

ζM T,m(r1, . . . , rm; s) = 1 Γ(s)

Z

0

xs−1 Ym j=1

à X

nj∈N

e−njx nrjj

! dx . Then the inner sums become

X

nj∈N

e−njx nrjj = 1

Γ(rj) Z

0

trjj−1 X

nj∈N

e−(tj+x)njdtj

= 1

Γ(rj) Z

0

trjj−1 ex+tj− 1dtj

= 1

2Γ(rj) Z

0

ttj−1ex+tj2 sinhx + tj

2 dtj.

Since all above series are convergent, their integral expressions converge simul- taneously. The integration order interchanges are legitimate. Thus, straight- forward steps result in the desired relation (17). ¤

(6)

Now, taking m = 2 we get the integral representation for the Tornheim- Witten Zeta function.

Corollary 1. Let p > 1, q > 1, r > 0. Then the series T (p, q, r) possesses the integral representation:

(18)

T (p, q, r) = 1 4Γ(p)Γ(q)Γ(r)

Z

0

Z

0

Z

0

xr−1tp−11 tq−12 e−x−t1+t22

sinhx+t21 sinhx+t22 dxdt1dt2. Another kind integral expression can be given specifying Φj(nj) = nrjj, λj(nj) = nj, j = 1, m; µq = s in (12). Then, by means of (13)-(14) we deduce the following result.

Theorem 3. Let the situation be the same as then in the previous theorem.

Then we have

(19) ζM T,m(r1, . . . , rm; s) = s(s + 1) 2

Z

1

Z [t]

0

Qm

j=1duj(u−rj j) (t1+ · · · + tm)s+2dtdu where the notations coincide with the ones in (10).

If we recall the proof of Theorem 3 and specify m = 2, we get a new integral representation of the Tornheim series T (p, q, r).

Corollary 2. Let p, q, r > 0, r + min{p, q} > 1. Then the series (15) possesses the following integral expression

(20)

T (p, q, r) = µr + 1

2

¶ Z

1

Z

1

Z [t1]

0

Z [t2]

0

du1(u−p1 )du2(u−q2 )

(t1+ t2)r+2 dt1dt2du1du2. 4. Special cases

In this chapter we return to our multiple Hilbert-type series in which spec- ifying step-by-step the functions Φj, λj, j = 1, m we get various special cases for Hm(ρ, a, λ) and its upper bounds.

4.1. Φj(nj) = nrjj, rj > 1

Following the proving procedure of Theorem 1, we conclude Hm(ρ, a, λ)

³ X

n1∈N

an1np11r1/q´1/p1

· · ·³ X

nm∈N

anmnpmmrm/q´1/pm

×

à X

n∈Nm

1

nr11· · · nrmm1(n1) + · · · + λm(nm) + ρ)µq

!1/q

(7)

= Ym j=1

kajnrjj/qkpj

à X

n∈Nm

1

nr11· · · nrmm1(n1) + · · · + λm(nm) + ρ)µq

!1/q

= Qm

j=1kajnrjj/qkpj

Γ1/q(µq)

à Z

0

xµq−1e−ρx à m

Y

j=1

X

nj∈N

e−λj(nj)x nrjj

! dx

!1/q .

Now, as

Dλj(x) = X nj=1

e−λj(nj)x nrjj = x

Z

λj(1)

e−xtj Ã−1

j (tj)]

X

nj=1

n−rj j

! dtj,

by (9) we have

Dλj(x) = x Z

λj(1)

Z −1

j (tj)]

0

e−xtjduj(u−rj j)dtjduj. So, we easily deduce the subsequent result.

Corollary 3. Assume m ∈ N2, q > 1, p−11 + · · · + p−1m + q−1 ≥ 1, µ > 0 and let aj be nonnegative sequences such that

¡nrji/qanj

¢

nj∈N∈ `pj

¡j = 1, m¢

with a conveniently chosen r := (r1, . . . , rm). When λ1, . . . , λm: R+7→ R+ are positive monotone increasing functions such that satisfy (5), we have

(21) X

n∈Nm

an1· · · anm

(ρ +Pm

j=1λj(nj))µ ≤ Cµ,qNm(a, λ)ka1nr11/qkp1· · · kamnrmm/qkpm, where the constant factor equals

(22) Cµ,qNm(a, λ) =

õµq + 1 2

¶ Z

λ(1)

Z −1(t)]

0

Qm

j=1duj(u−pj j) (ρ +Pm

j=1tj)µq+2dtdu

!1/q , making use of abbreviations from Theorem 1.

4.2. Φj(nj) = nrjj, rj > 0, λj(x) = I(x) = x, ρ = 0 In this case we get

Hm(0, a, I) ≤

à X

n∈Nm

1

nr11· · · nrmm(n1+ · · · + nm)µq

!1/q m Y

j=1

kajnrjj/qkpj

= ka1nr11/qkp1· · · kamnrmm/qkpmM T,r(r1, . . . , rm; µq))1/q. (23)

Now, there are two possible approaches to estimate the series Hm(0, a, I). First, we apply the integral expression (17) for the Mordell-Tornheim Zeta function ζM T,r achieved by Theorem 2.

(8)

Corollary 4. Let m ∈ N2, q > 1, p−11 + · · · + p−1m + q−1 ≥ 1, µ > 0, aj be nonnegative sequences such that ¡

nrjj/qanj

¢

nj∈N ∈ `pj, j = 1, m where µq + min1≤j≤m{rj} > 1. Then we have

(24) Hm(0, a, I) = X n∈Nm

an1· · · anm

(n1+ · · · + nm)µ ≤ CNµ,qm(a, I) Ym j=1

kajnrjj/qkpj,

where

CNµ,qm(a, I) =

à 2−m

Γ(µq)Qm

j=1Γ(rj) Z

Rm+1+

xµq−1 emx+t1+···+tm

2

Ym i=1

tpii−1

sinhx+t2i dxdt

!1/q

with the use of notations from Theorem 1.

Second, we can apply the calculated integral representation (21) for ζM T, m

exposed in Theorem 3.

Corollary 5. Suppose m ∈ N2, q > 1, p−11 + · · · + p−1m + q−1≥ 1, µ > 0, aj are nonnegative sequences such that kajnrjj/qkpj ∈ `pj, j = 1, m. Then we have

(25) Hm(0, a, I) = X n∈Nm

an1· · · anm

(n1+ · · · + nm)µ ≤ KNµ,qm(a, I) Ym j=1

kajnrjj/qkpj,

where the constant factor equals

(26) KNµ,qm(a, I) =

õµq + 1 2

¶ Z

1

Z [t]

0

Qm

j=1duj(u−pj j)

(t1+ · · · + tm)µq+2 dtdu

!1/q

with the use of abbreviations analogous to ones in Theorem 1.

Proof. Consider the starting inequality (23). Now, we have

Hm(0, a, I) ≤ ka1nr11/qkp1· · · kamnrrm/qkpm

Γ1/q(µq)

× Ã Z

0

xµq−1³ X

n1∈N

e−n1x nr11

´

· · ·³ X

nm∈N

e−nmx nrmm

´ dx

!1/q .

Summing the associated Dirichlet series, having on mind their Laplace integral representations, by means of (9) we get

X

nj∈N

e−njx nrjj = x

Z

1

e−xtj à [t

j]

X

nj=1

nrjj

! dtj= x

Z

1

Z [tj]

0

e−xtjduj(u−rj j) dtjduj.

Now, obvious transformations lead to the desired inequality. ¤

(9)

4.3. Two-dimensional Theorem 1

Taking m = 2 in Theorem 1 we deduce the following result.

Corollary 6. Suppose p−11 + p−12 + q−1 ≥ 1, µ > 0 and ai, i = 1, 2 are non- negative sequences such that

¡Φ1/qi (ni)ani

¢

ni=1∈ `pi

¡i = 1, 2¢ . Then

(27) X

n1,n2∈N

an1an2

1(n1) + λ2(n2))µ ≤ Cµ,qΦ(a, λ)ka1Φ1/q1 kp1ka2Φ1/q2 kp2. Here the constant CΦµ,q(a, λ) takes the value

õµq + 1 2

¶ Z

λ1(1)

Z

λ2(1)

dt1dt2

(t1+ t2)µq+2

× Z −1

1 (t1)]

0

Z −1

2 (t2)]

0

du1(1/Φ1(u1))du2(1/Φ2(u2)) du1du2

!1/q .

4.4. m = 2, Φi(ni) = nrii, λi = I

Corollary 7. Suppose p−11 + p−12 + q−1 ≥ 1, µ > 0, Φi, i = 1, 2 positive mono- tone increasing functions, ai, i = 1, 2 are nonnegative sequences such that

¡Φ1/qi (ni)arnii/q¢

ni=1∈ `pi

¡i = 1, 2¢

and λ1, λ2 are positive monotone increasing functions satisfying (5). Then (28)

X n1,n2=1

an1an2

(n1+ n2)µ ≤ CNµ,q2(a, I)ka1nr11/qkp1ka2nr22/qkp2, where the inequality’s constant factor CNµ,q2(a, I) equals

õµq + 1 2

¶ Z

1

Z

1

Z [t1]

0

Z [t2]

0

du1(u−p1 1)du2(u−p2 2)

(t1+ t2)µq+2 dt1dt2du1du2

!1/q .

References

[1] J. M. Borwein, Hilbert’s inequality and Witten’s zeta-function, Amer. Math. Monthly 115 (2008), no. 2, 125–137.

[2] O. Espinosa and V. H. Moll, The evaluation of Tornheim double sums. I, J. Number Theory 116 (2006), no. 1, 200–229.

[3] G. H. Hardy, J. E. Littlewood, and Gy. P´olya, Inequalities, Cambridge University Press, Cambridge, 1934.

[4] J. L. W. V. Jensen, Sur les fonctions convexes et les in´egalit´es entre les valeurs moyennes, Acta Math. 30 (1906), no. 1, 175–193.

(10)

[5] K. Matsumoto, On Mordell-Tornheim and other multiple zeta-functions, Proceedings of the Session in analytic number theory and Diophantine equations (Bonn, January–June 2002.) D.R. Heath-Brown and B. Z. Moroz (eds.), Bonner Mathematische Schriften Nr.

360 (Bonn, 2003), no. 25, 17pp.

[6] D. S. Mitrinovi´c, Analitiˇcke nejednakosti, Grad¯evinska knjiga, Beograd, 1970.

[7] T. K. Pog´any, Hilbert’s double series theorem extended to the case of non–homogeneous kernels, J. Math. Anal. Appl. 342 (2008), no. 2, 1485–1489.

[8] T. K. Pog´any, H. M. Srivastava, and ˇZ. Tomovski, Some families of Mathieu a-series and alternating Mathieu a-series, Appl. Math. Comput. 173 (2006) 69–108.

[9] M. V. Subbarao and R. Sitaramachandra Rao, On some infinite series of L. J. Mordell and their analogues, Pacific J. Math. 119 (1985), no. 1, 245–255.

[10] L. Tornheim, Harmonic double series, Amer. J. Math. 72 (1950), 303–314.

[11] H. Tsumura, On certain polylogarithmic double series, Arch. Math. (Basel) 88 (2007), no. 1, 42–51.

[12] , On functional relations between the Mordell-Tornheim double zeta functions and the Riemann zeta function, Math. Proc. Cambridge Philos. Soc. 142 (2007), no. 3, 395–405.

Biserka Draˇsˇci´c Ban Faculty of Maritime Studies University of Rijeka

51000 Rijeka, Studentska 2, Croatia E-mail address: [email protected] Josip Peˇcari´c

Faculty of Textile Technology University of Zagreb

10000 Zagreb, Pierottijeva 6, Croatia E-mail address: [email protected] Ivan Peri´c

Faculty of Food Technology and Biotechnology University of Zagreb

10000 Zagreb, Pierottijeva 6, Croatia E-mail address: [email protected]

Tibor Pog´any

Faculty of Maritime Studies University of Rijeka

51000 Rijeka, Studentska 2, Croatia E-mail address: [email protected]

참조

관련 문서

 This highly important theorem holds for homogeneous linear ODEs only but does not hold for nonhomogeneous linear or nonlinear ODEs.. 2.1 Homogeneous Linear ODEs

⚫ User-level tools cannot monitor kernel level performance issues.. Performance

Development of the Most Appropriate Algorithm for Estimating Personal Dose of Radiation Workers under High Exposure Rate and Non-homogeneous Radiation Field in Nuclear

 Kernel 1, which has an arithmetic intensity of 0.5 FLOPs/byte, is limited by memory bandwidth to no more than 8 GFLOPS/sec.  Kernel 2, which has an arithmetic intensity of

If some active participating site does not contain a &lt;ready T&gt; record in its log, then the failed coordinator C i cannot have decided to commit T.. If none of the

2.2 Homogeneous Linear ODEs with Constant Coefficients 2.3 Differential

19.. 4.6 The homogeneous nucleation rate as a function of undercooling ∆T. ∆T N is the critical undercooling for homogeneous nucleation.. → critical value

Trends in age-standardized smoking prevalence difference (PD), prevalence ratio (PR), slope index of inequality (SII) and relative index of inequality (RII) by