arxiv: v4 [math.fa] 28 Jun 2016

Transcription

1 OPTIMAL EXPONENTS FOR HARDY LITTLEWOOD INEQUALITIES FOR m-linear OPERATORS R M ARON, D NÚÑEZ-ALARCÓN, D M PELLEGRINO, AND D M SERRANO-RODRÍGUEZ axiv: v4 [mathfa] 28 Jun 206 Abstact The Hady Littlewood inequalities on l p spaces povide optimal exponents fo some classes of inequalities fo bilinea foms on l p spaces In this pape we investigate in detail the exponents involved in Hady Littlewood type inequalities and povide seveal optimal esults that wee not achieved by the pevious appoaches Ou fist main esult assets that fo q,,q m > 0 and an infinite-dimensional Banach space Y attaining its cotype cot Y, if ++ < p coty, then the following assetions ae equivalent: (a) Thee is a constant Cp Y,, such that ( 2 m ) A(e,,e m ) fo all continuous m linea opeatos A : l p l Y (b) The exponents q,,q m satisfy whee, fo k,,m, q q2 q λ p,, m,coty,q2 λp 2,, m,coty,, λ,coty, λ,, m k+,coty : ( coty )coty ++ q C Y p,, A As an application of the above esult we genealize to the m-linea setting one of the classical Hady Littlewood inequalities fo bilinea foms Ou esult is shap in a vey stong sense: the constants and exponents ae optimal, even if we conside mixed sums Intoduction Let K be the eal o complex scala field In 934 Hady and Littlewood poved thee theoems (Theoems, 2, 3, below) on the summability of bilinea foms on l p l q (hee, and hencefoth, when p we conside c 0 instead of l ) Fo any function f we shall conside f( ) : lim s f(s) and fo any s we denote the conugate index of s by s, ie, s + s Fo all p,q (, ], such that p + q <, let us define pq λ : pq p q, and µ 4pq 3pq 2p 2q 200 Mathematics Subect Classification 47B37, 47B0 Key wods and phases Absolutely summing opeatos; multilinea foms; multilinea opeatos; Hady Littlewood inequality R Aon is suppoted in pat by MINECO MTM C2-2-P and Pometeo II/203/03, D Núñez is suppoted by Capes Gant /205-06, D Pellegino is suppoted by CNPq and D M Seano is suppoted by CAPES Gant /205-02

2 2 ARON, NÚÑEZ, PELLEGRINO, AND SERRANO If p and q ae simultaneously, then λ and µ ae and 4/3 espectively Fom now on, (e k ) k denotes the sequence of canonical vectos in l p Theoem (See Hady and Littlewood [3, Theoem ]) Let p,q [2, ], with p + q 2 Thee is a constant C p,q such that () A(e,e 2 ) 2 2 λ 2 λ C p,q A, and (2), 2 A(e,e 2 ) µ µ C p,q A, fo all continuous bilinea foms A : l p l q K It is well known that the exponents λ and µ ae optimal Also, in () the positions of the exponents 2 and λ can be intechanged Futhemoe, 2 and λ can be eplaced by a,b [λ,2] povided that a + b 3 ( 2 p + ) q Theoem 2 (See Hady and Littlewood [3, Theoem 2]) Let p,q [2, ], with 2 < p + q < Thee is a constant C p,q such that (3) A(e,e 2 ) 2 2 λ 2 λ C p,q A, and (4), 2 A(e,e 2 ) λ λ C p,q A, fo all continuous bilinea foms A : l p l q K The exponent λ above is also optimal Howeve, contay to what happens in Theoem, now, in (3) the exponents 2 and λ cannot be intechanged (see [0]) Theoem 3 (See Hady and Littlewood [3, Theoem 3]) Let < q < 2 < p, with p + q < Thee is a constant C p,q such that (5), 2 A(e,e 2 ) λ fo all continuous bilinea foms A : l p l q K The optimal exponent in (5) was impoved in [6]: λ C p,q A,

3 OPTIMAL EXPONENTS FOR HARDY LITTLEWOOD INEQUALITIES FOR m-linear OPERATORS 3 Theoem 4 (See Osikiewicz and Tonge [6]) Let < q 2 < p, with p + q < If A : l p l q K is a continuous bilinea fom, then (6) A(e,e 2 ) q 2 λ q λ A Hady Littlewood type inequalities wee extensively investigated in ecent yeas, but despite much pogess thee ae still seveal open questions concening the optimality of exponents and constants One of the main nuances on the optimality of exponents that appaently has been ovelooked in the past is that esults of optimality of exponents fo expessions like s A(e,e m ) s C A,, m ae in some sense sub-optimal The main point is that the above inequality can be viewed as sm (7) s s m s m A(e,e m ) sm C A m m fo s s m s, and this is the way that the optimality of the exponents can be investigated with moe accuacy A simple illustation of this fact is that the exponent λ of (4) is optimal, but a quick look at (3) shows that the optimality of (4) is ust appaent An extensive investigation of the Hady Littlewood inequalities in light of multiple sums like (7) was initiated in [3, 4, 5], but thee ae still some subtle issues not encompassed by pevious wok One of the main technical obstacles is to develoethods to find optimal exponents in situations in which the optimal exponents of each sum cannot be intechanged This is the case of ou fist main esult (fo definition of cotype, see the next section): Theoem (See Theoem 22, below) Let q,,q m > 0 and Y be an infinite-dimensional Banach space attaining its cotype coty If p ++ < coty, then the following assetions ae equivalent: (a) Thee is a constant C Y p,, such that A(e,,e m ) 2 m q m fo all continuous m-linea opeatos A : l p l Y (b) The exponents q,,q m satisfy q q q2 C Y p,, A q λ p,, m,coty, q 2 λ p 2,, m,coty,, q m λ, 2,cotY, q m λ,coty,

4 4 ARON, NÚÑEZ, PELLEGRINO, AND SERRANO whee, fo k,,m, λ,, m k+,coty : coty ( ++ )coty Despite the widegeneality of theesults of [3, 4, 2], the esults of this papedonot follow fom the techniques developed in these ealie papes We illustate, by means of a concete example, how the above Theoem povides moe pecise infomation than peviously known esults Example 5 Suppose that m 3, p p 2 p 3 0, and Y l 3 The above Theoem implies that thee is a univesal constant C such that (8) A(e,e 2,e 3 ) q q 2 q q q2 q3 fo all continuous 3-linea foms A : l 0 l 0 l 0 l 3 if and only if q 30, q 2 5 2, C A q , while the best peviously known estimates (fom [2, Poposition 43] and [3, Theoem 5]) ust give that (8) is valid fo q 30 fo all,2,3 and that we cannot have simultaneously q q 2 q 3 < 30 Ou second main esult, stated and poved in Section 3, is an application of this Theoem, genealizing Theoems 3 and 4 with optimal exponents, to the multilinea setting In Section 4 we show that the optimal constant fo the scala-valued case is pecisely, and finally we emak how ou esults can be tanslated to the theoy of multiple summing opeatos 2 Optimal exponents: vecto-valued case Let 2 q < and 0 < s < Recall that (see []) a Banach space X has cotype q if thee is a constant C > 0 such that, no matte how we select finitely many vectos x,,x n X, q s /s (9) x q C (t)x dt, [0,] whee denotes the -th Rademache function It is well known that if (9) is satisfied fo a cetain s > 0, then it is satisfied fo all s > 0 Fo a fixed s, the smallest of these constants will be denoted by C q,s (X) and the infimum of the cotypes of X is denoted by cotx By convention we denote C q,2 (X) by C q (X) The following simple lemma will be useful

5 OPTIMAL EXPONENTS FOR HARDY LITTLEWOOD INEQUALITIES FOR m-linear OPERATORS 5 Lemma 2 Let Y be a Banach space, m 2, p,, [, ], and q,,q m, 2,, m (0, ) Assume that if A(e 2,,e m ) 2 3 m q m q 2 q q3 2 fo all continuous (m )-linea opeatos A : l p2 l Y, then q i i fo all i {2,,m} Then B(e,,e m ) 2 m q m q q q2 fo all continuous m-linea opeatos B : l p l Y implies that q i i fo all i {2,,m} Poof Let A : l p2 l Y be a continuous (m )-linea opeato and conside the continuous m-linea opeato B : l p l Y given by B (x (),,x (m) ) x () A (x (2),,x (m)) Clealy B (e,e 2,,e m ) A(e 2,,e m ), and since B (e,,e m ) 2 m q m < < q q q2 B (e,e 2,,e m ) 2 2 m A(e 2,,e m ) m q m q m q 2, q 2 the poof is done Fom now on, let 2, and let p,, (, ] be such that ++ < p Fo k,,m, we define λ,, m k+, : ( ++ ) Fo a Banach space Y and s, let l s (Y) be the Banach space of Y valued sequences (y i ) i with the nom ( ) (y i ) i l (Y) y i s s Y, i

6 6 ARON, NÚÑEZ, PELLEGRINO, AND SERRANO (the usual modification is equied if s ) When thee is no ambiguity, fo a vecto y Y, we denote the nom y Y by y We now state and pove ou fist main theoem As we mentioned befoe, it impoves [2, Poposition 43] and [3, Theoem 5], by poviding the exact optimal exponents Theoem 22 Let q,,q m > 0, and Y be an infinite-dimensional Banach space with cotype coty If ++ < p coty, then the following assetions ae equivalent: (a) Thee is a constant Cp Y,, such that A(e,,e m ) 2 m q m fo all continuous m-linea opeatos A : l p l Y (b) The exponents q,,q m satisfy q q q2 C Y p,, A q λ p,, m,coty,q 2 λ p 2,, m,coty,,q m λ, 2,cotY,q m λ,coty Poof Fom now on, we shall denote coty The poof of the case m can be veified by using a shot agument fom the theoy of absolutely summing opeatos, but we pefe to pesent a self contained agument It suffices to note that λ p,coty coty coty p p p, and A(e ) p p ) A ( A(e ) p e 2 2 C (Y) (t) A(e ) p A(e ) dt 0 C (Y) sup (t) A(e ) p A(e ) t [0,] C (Y) sup ϕ ( A(e ) p A(e )) ϕ B Y C (Y) sup A(e ) p p p ϕ(a(e )) p ϕ B Y C (Y) A(e ) p p p A p

7 OPTIMAL EXPONENTS FOR HARDY LITTLEWOOD INEQUALITIES FOR m-linear OPERATORS 7 So, if (b) is tue, then (a) holds Assume (a) By the Mauey-Pisie factoization esult (see [5] and [, pg 286,287]) the infinite-dimensional Banach space Y finitely factos the fomal inclusion l l, ie, thee ae constants C,C 2 > 0 such that fo all n thee ae vectos z,,z n Y satisfying (a C ) n a z C 2 a fo all sequences of scalas (a ) n Conside the continuous linea opeato A n : l p Y given by A n (x) x z Since + p λ p,, we have, using the Hölde inequality, A n sup x z x C 2n On the othe hand, thee is a constant C Y p C, such that λ p, q C A n A n (e ) q C n q Since n is abitay, q λ p, (ie (b) holds), and this concludes the poof of the case m / The poof of the geneal case is pefomed by induction on m We know that the esult is valid fo m and we shall pove that it is valid fo a cetain m wheneve it is valid fo m (a) (b) Let us suppose that A fotioi, ++ < p p 2 ++ < and, by ou induction hypothesis, if thee is a constant C Y p 2,, such that A(e 2,,e m ) 2 3 m q m q 2 q q3 2 C Y p 2,, A

8 8 ARON, NÚÑEZ, PELLEGRINO, AND SERRANO fo all continuous (m )-linea opeatos A : l p2 l Y, then by Lemma2 we conclude that (a) implies q 2 λ p 2,, m,, q m λ, 2,, q m λ, So, we must only show that q λ p,, m, As fo the m case, thee ae constants C,C 2 > 0 such that fo all n thee ae vectos z,,z n Y satisfying (a (0) C ) n / a z C 2 a fo all sequences of scalas (a ) n Conside the continuous multilinea opeato A n : l p l Y given by A n (x (),,x (m) ) x () x (2) x (m) z Since x (), x (m) λ p,, + m, by the Hölde inequality we obtain A n sup x () x (m) sup C 2 x (),, x (m) C 2 n λ p m,,, On the othe hand, by (0) and, since n is abitay, k z m 2 m k x (k) m A n (e,,e ) q, sup x (),, x (m) / A n (e,,e m ) q q λ p,, m, C 2 λp m,,, q m x () x (m) q z q C n q, λ p m,,, q q q2 /

9 OPTIMAL EXPONENTS FOR HARDY LITTLEWOOD INEQUALITIES FOR m-linear OPERATORS 9 (b) (a) Let A : l p l Y be a continuous m-linea opeato and define, fo all positive integes n, A n,e : l p l l λ, (Y) by ( ( )) n A n,e (x (),,x (m ) ) A x (),,x (m ),e We asset that A n,e C (Y) A To see this, since Y has cotype and using the Hölde inequality, ) A (x (),,x (m ),e ) ) (x A (),,x (m ), A (x (),,x (m ),e e C (Y) (t) A 0 C (Y) sup (t) A t [0,] ( A ( C (Y) sup ϕ ϕ B Y C (Y) sup ϕ B Y (x (),,x (m ),e ) A (x (),,x (m ),e ) A x (),,x (m ),e ) ) A (x (),,x (m ),e ) (x (),,x (m ),e ) (x (),,x (m ),e ( ) ) A x (),,x (m ),e ) ( C (Y) A (x (),,x (m ),e A x (),,x, ) (m ) Theefoe, and thus as equied ) A (x (),,x (m ),e A n,e sup x (),, x (m ) sup x (),, x (m ) C (Y) A, 2 dt ( ( )) ϕ A x (),,x (m ) p m,e C (Y) A x () x (m ) A n,e (x (),,x (m )) ) A (x (),,x (m ),e 2 p m

10 0 ARON, NÚÑEZ, PELLEGRINO, AND SERRANO On the othe hand, since X l λ, (Y) has cotype λ, : R (because λ, > coty) and ++ < p coty cotx, we can use the induction hypothesis (with the (m )-linea opeato A n,e ), and conclude that if then q λ p,, m,r 2 m,q 2 λ p 2,, m 2,R,,q m λ,r, m A(e,,e m ) R q m R q m 2 q m q q q2 2 m An,e (e,,e m ) q m X q m 2 q m q q q 2 C X p,, A n,e C X p,, C (Y) A Now, the poof is almost done, since λ,, m k,r R ) R( ( λ, λ, ) ( ) λ,, m k+, fo each k {,,m } To conclude the poof we ust need to emak that A(e,,e m ) 2 m m q m q m 2 q m q q q2 2 m m A(e,,e m ) R q m R q m 2 q m q q q 2 povided q m R λ,

11 and OPTIMAL EXPONENTS FOR HARDY LITTLEWOOD INEQUALITIES FOR m-linear OPERATORS Since λ p,, m, λ p,, m, λ p 2,, m, λ, 2, λ, ) ( p + p 2 ++ ( + ++ ), p p 2 the pevious theoem genealizes Poposition 43 fom [2] and Theoem 5 of [3], now with optimal exponents in a stonge sense Coollay 23 Let Y be an infinite-dimensional Banach space with cotype coty and p,, > coty, such that ++ < p coty Then thee is a constant B Y p,, such that,, m A(e,,e m ) λp,, m,cot Y λ p,, m,cot Y fo all continuous m-linea opeatos A : l p l Y B Y p,, A In the case that we do not know if Y attains the infimum of its cotypes, using the pevious aguments, it is possible to pove the following: Theoem 24 Let q,,q m > 0 and Y be an infinite-dimensional Banach space with finite cotype If ++ < p coty, then the following assetions ae equivalent: (a) Thee is a constant C Y,ε p,, such that A(e,,e m ) +ε 2 m q m +ε +ε q +ε q 2 +ε q +ε C Y,ε p,, A fo all continuous m-linea opeatos A : l p l Y, and all ε > 0 (b) The exponents q,,q m satisfy q λ p,, m,coty,q 2 λ p 2,, m,coty,,q m λ, 2,cotY,q m λ,coty Remak 25 Analogous esults obtained by pemuting the indices in Theoems 22 and 24 hold with suitable modifications on the conditions fo the exponents

12 2 ARON, NÚÑEZ, PELLEGRINO, AND SERRANO 3 Optimal exponents: scala-valued case In this section we pove a (shap) multilinea genealization of Theoems 3 and 4 Let p,, >, such that p + p 2 ++ < Fo all positive integes m and k,,m, let us define δ,, m k+ : ) ( ++ As we will see, the poof of the following lemma is simila to the poof of (a) (b) of Theoem 22 In fact, it is somewhat simple hee, since no appeal to the Mauey-Pisie factoization esult is needed Lemma 3 Let m be a positive intege, q,,q m > 0, and p,, >, with If thee is a constant C p,, such that 2 m p + p 2 ++ < A(e,,e m ) q m q q q2 C p,, A fo all continuous m-linea opeatos A : l p l K, then the exponents q,,q m satisfy q δ p,, m,q 2 δ p 2,, m,,q m δ, 2,q m δ Poof Let p > and q > 0 It is well known that if thee is a constant C p such that ( A(e ) q) q C p A fo all continuous linea opeatos A : l p K, then q δ p ; thus the case m, is done Let us suppose the case m and pove the case m by induction By assumption if thee is a constant C p2,, such that A(e 2,,e m ) 2 3 m q m q 2 q q3 2 C p2,, A fo all continuous (m )-linea foms A : l p2 l K, then by Lemma 2, (a) implies q 2 δ p 2,, m q m δ, 2 q m δ Itemainstoestimate q Fo eachnconsidethecontinuousmultilinea foma n : l p l K given by A n (x (),,x (m) ) x () x (2) x (m)

13 Since OPTIMAL EXPONENTS FOR HARDY LITTLEWOOD INEQUALITIES FOR m-linear OPERATORS 3 δ p,, m we use the Hölde inequality and obtain A n sup x () x (2) x (),, x (m) m sup x (),, x (m) k + m k x (m) x (k), / δp m δ p m,, n On the othe hand δ p m,, 2 m A n (e,,e m ) q m q q q2 n q, and, since n is abitay, q δ p,, m The next theoem is the main esult of this section It is a consequence of ou Theoem 22, and genealizes Theoems 3 and 4 The eade should note that the hypothesis < 2 < p,, is quite natual, along the lines of a genealization of these Theoems In fact, if we had p i,p 2 fo some i,, then we would have + ++, p p 2 and this is not the envionment of a genealization of Theoems 3 and 4 Theoem 32 Let m 2, q,,q m > 0, and < 2 < p,,, with + ++ < p p 2 The following assetions ae equivalent: (a) Thee is a constant C p,, such that A(e,,e m ) 2 m q m fo all continuous m-linea opeatos A : l p l K (b) The exponents q,,q m > 0 satisfy q δ p,, m q q q2 C p,, A,q 2 δ p 2,, m,,q m δ, 2,q m δ

14 4 ARON, NÚÑEZ, PELLEGRINO, AND SERRANO Poof (a) (b) is a paticula case of Lemma 3 (b) (a) Let A : l p l K be a continuous m-linea opeato and define, fo all positive integes n, by A n,e : l p l l δ A n,e (x (),,x (m ) ) ( ( )) n A x (),,x (m ),e Note that In fact, we obviously have ) A (x (),,x (m ),e A n,e A A x () x (m ) Theefoe A n,e sup x () x (m ) sup x () x (m ) A A n,e (x (),,x (m )) ) A (x (),,x (m ),e On the othe hand, since l δ has cotype δ : (because 2) and p ++ <, we can invoke Theoem 22 fo (m )-linea opeatos Thus, if we have q λ p,, m, 2 m,q 2 λ p 2,, m 2,,,q m λ,, m A(e,,e m ) q m q m 2 q m q q q2 2 m An,e (e,,e m ) q m l δ q m 2 q m q q q2 C l δ p,, A n,e C l δ p,, A

15 Since OPTIMAL EXPONENTS FOR HARDY LITTLEWOOD INEQUALITIES FOR m-linear OPERATORS 5 fo each k {,,m }, and λ,, m k, 2 m δ δ,, m k+ m δ ( ) A(e,,e m ) q m q m 2 q m q q q 2 2 m m A(e,,e m ) q m q m 2 q m q q q2 povided q m δ, the poof is done and Since δ p,, m δ p 2,, m δ p,, m δ, 2 δ, ), ( p + p 2 ++ then the pevious theoem genealizes Theoems 3 and 4, with optimal exponents fo the multilinea fom case Coollay 33 Let m 2, < 2 < p,,, with Then thee is a constant C p,, such that (),, m A(e,,e m ) ++ < p ( p ++ ) ( ) ++ p fo all continuous m-linea opeatos A : l p l K C p,, A In the final section we show that the optimal constant C p,, of Theoem 32 and Coollay 33 is pecisely

16 6 ARON, NÚÑEZ, PELLEGRINO, AND SERRANO 4 Optimal constants The Banach spaces in this section ae consideed ( ove ) the complex scala field Let us begin by ecalling that the Rademache matices R n (n) i, i,,2 n,,,n, ae the 2 n n matices defined ecusively as follows: R, R n+ fo n N Note that (n) i ( 2i 2 n+ ), whee denotes the -th Rademache function Let p 2 and 0 < s < Recall that a Banach space X has type p (see [4]) if thee is a constant C > 0 such that, no matte how we select finitely many vectos x,,x n X, (2) ( [0,] k k R n R n, sdt) /s ( ) p k (t)x k C x k p, whee k denotes the k-th Rademache function It is well known that if (2) is satisfied fo a cetain s > 0, then it is satisfied fo all s > 0 Fo a fixed s, the smallest of all constants C will be denoted by T p,s (X) In the following esult of [4], type and cotype popeties ae descibed via the linea opeatos induced by the Rademache matices and thei tansposes: Poposition 4 (See [4, Poposition 23]) Let X be a Banach space (i) Let < p 2 Then X has type p if and only if thee exist some s, s <, and a constant M such that R n : l n p (X) l2n s (X) M2 n s, fo all n N Moeove, T p,s (X) M (ii) Let 2 q <, and t Rn be the tansposed matix of R n Then X has cotype q if and only if thee exist some s, s <, and a constant M such that trn : l 2n s (X) ln q (X) n M2 s, fo all n N Moeove, C q,s (X) M Lemma 42 (See [4, Lemma 23]) Let H be a Hilbet space Then fo all n N 2 n 2 Rn : l n 2 (H) l 2n 2 (H) trn : l 2n 2 (H) l n 2 (H),

17 OPTIMAL EXPONENTS FOR HARDY LITTLEWOOD INEQUALITIES FOR m-linear OPERATORS 7 Let us intoduce the following notation: fo p < and p 2, we denote by l p (l p2 ) the Banach space of the sequences x (x i,i 2 ) i,i 2 such that ( ) x lp (l p2 ) : (x i,i 2 ) p p i 2 < + i and by l (l p2 ) the Banach space of the sequences x (x i,i 2 ) i,i 2 such that x l (l p2 ) : sup(x i,i 2 ) i 2 <, i lp2 Inductively, fo p (p,, ) [,+ ] m, we can define the Banach space l p by l p2 l p : l p (l p2 ( (l ) )) Namely, a vecto x (x i,,i m ) i,,i m l p if, and only if, i i 2 i m ( i m ) x i,,i m 2 p 2 p p p p 2 3 < +, (the usual modification is equied if some p ) The next esult is based on ideas boowed fom [4, Theoem 32] We use standad notation and notions fom intepolation theoy, as pesented eg in [7] Theoem 43 Let p (p,, ) (,+ ) m, and let t : min{p,,,p,,p m} Then, (3) Rn : l n t (l p ) l 2n s (l p ) n 2 s fo any s, s t and all n N In othe wods, l p is of type t and T t,s (l p ), fo all s t Poof It is enough to show (3) fo s t By Lemma 42 we know that fo all n N, (4) Rn : l n 2 (l 2 ) l 2n 2 (l 2 ) n 2 2, because l 2 : l 2 (l 2 ( (l 2 ) )) is a Hilbet space Suppose that p,, ae not all 2 As a fist step, let us show (5) Rn : l n t (l p ) l 2n t (l p) n 2 t If t fo some k {,,m} (obviously < 2), put θ 2 p k fo all i {,,m}, i k Then, since p 0 i : /p i /p k / /p k θ + θ 2, θ + θ 2, p i p 0 i (0,) and fo all i {,,m}, i k, we have by [7, Theoem 5 and Theoem 52] (l p0,l 2 ) [θ] l p with equal noms, whee p 0 (p 0,,p0 k,,p0 k+,,p0 m )

18 8 ARON, NÚÑEZ, PELLEGRINO, AND SERRANO With the same notation, since θ + θ 2 p, k we have by [7, Theoem 42, Theoem 5 and Theoem 52] (6) [l n (l p0 ),l n 2 (l 2 )] [θ] l n (l p ) and (7) with equal noms Computing, (8) [ l 2 n (l p 0 ),l 2n 2 (l 2) ] [θ] l2n p k (l p) Rn : l n (l p0 ) l 2n (l p0 ) and intepolating (4) and (8) (by using 6, and 7) we have ( ) R n : l n (l p ) l 2n p (l p) 2 n θ n 2 2 p k, k and then (5) is tue if t fo some k {,,m} If t p k fo some k {,,m}, (obviously > 2), put θ 2 (0,) and fo all i {,,m}, i k Then, since fo all i {,,m}, i k, we have p i : /p i / /p k / θ + θ 2, θ p + θ i 2, p i (l p,l 2 ) [θ] l p with equal noms, whee p (p,,,,+,, ) Keeping the notation, since θ + θ 2 p, k we have by [7, Theoem 42, Theoem 5 and Theoem 52] (9) [l n (l p ),l n 2 (l 2)] [θ] l n (l p ) and (20) with equal noms, and (2) [ l 2 n (l p ),l 2n 2 (l 2 ) ] [θ] l2n p k (l p) Rn : l n (l p ) l 2n (l p ) By using (9), (20), and intepolating (4) and (2) we have ( ) R n : l n p (l p) l 2n k (l p ) 2 n θ n 2 2 Theefoe, the inequality (5) is tue To show R n : l n t (l p) l 2n t (l p) 2 n t,

19 OPTIMAL EXPONENTS FOR HARDY LITTLEWOOD INEQUALITIES FOR m-linear OPERATORS 9 it is enough to see that the equality is attained with (x,0,,0) l n t (l p ), 0 x (x i,,i m ) i,,i m l p, and the poof is done The following esult is a diect consequence of the above theoem and Poposition 4, using duality and the eflexivity of l p : Coollay 44 Let p (p,, ) (,+ ) m, and let t : min{p,,,p,,p m } Then, fo any s with t s <, we have trn : l 2n s (l p) l n t (l p) n 2 s fo all n N Hence, l p is of cotype t and (22) C t,s(l p ), fo all t s < Remak 45 The above coollay was poved by using complex intepolation, fo the case of complex scalas but fom the vey definition of cotype it is obvious that (22) also holds fo eal Banach spaces Remak 46 (Optimal constants fo Theoems 22 and 32) () Fom the pevious esults we conclude that in Theoem 22, when Y l (ove the eal o complex field) with [2, ), if (b) is tue, then the optimal constant in the inequality (a) satisfies Cp l,, In fact, the case m is immediate Fo m 2, note that l p (l λ 2 ) has cotype λ p 2,, : R > 2 (by Coollay 44) with C R (l R (l )), and thus, following the poof of Theoem 22, Cp l,p 2 C R (l R (l ))C (l ) Fo the case m 3, following the poof of Theoem 22, we have ( ( )) ( ) Cp l,p 2,p 3 C p λ 2,p 3 l p 2, λ 2,p 3 l p (l 2, λ 3 ) C p, λ 3 l p (l, λ 3 ) C (l ), by Coollay 44 and the poof follows inductively (2) If (b) is tue in Theoem 32 the optimal constat C p,, in (a) is, because the (m )- linea opeato used in the agument of the poof of (b) (a) has ange l δ l () and ( ) 2 By the fist item of this emak, we know that C l δ p,, Remak 47 All the above esults can be tanslated to the setting of multiple summing opeatos (fo ecent esults on multiple summing opeatos we efe to [5, 6, 8, 8, 20] and efeences theein) In fact, we ust need to conside the moe geneal concept of multiple summing opeatos intoduced in [2] and ecall how to tanslate coincidence situations like the Bohnenblust Hille inequality and Hady Littlewood inequalities to multiple summing opeatos (see, fo instance, [2] and [7, Coollay 320]) Acknowledgement Much of this wok was done while the second and fouth authos wee visitos to the Depatment of Mathematics of Kent State Univesity These authos offe thei thanks to this Depatment, and also to Manuel Maeste, fo making thei visit poductive

20 20 ARON, NÚÑEZ, PELLEGRINO, AND SERRANO Refeences [] F Albiac, N Kalton, Topics in Banach Space Theoy, Gaduate Texts in Mathematics 233, Spinge-Velag 2005 [2] N Albuqueque, G Aaúo, D Núñez-Alacón, D Pellegino, P Rueda, Bohnenblust Hille and Hady Littlewood inequalities by blocks, axiv: v6 [mathfa] 26 Oct 205 [3] N Albuqueque, F Bayat, D Pellegino, J B Seoane-Sepúlveda, Optimal Hady-Littlewood type inequalities fo polynomials and multilinea opeatos, Isael J Math 2 (206), [4] N Albuqueque, F Bayat, D Pellegino, J B Seoane-Sepúlveda, Shap genealizations of the multilinea Bohnenblust-Hille inequality J Funct Anal 266 (204), no 6, [5] N Albuqueque, D Núñez-Alacón, J Santos, D M Seano-Rodíguez, Absolutely summing linea opeatos via intepolation, J Funct Anal, 269 (205), [6] G Badea, DPopa, Swatztypeesults fonucleaandmultiple-summingbilinea opeatos onc 0(X) c 0(Y) Positivity 9 (205), no 3, [7] J Begh, J Löfstöm, Intepolation spaces, Spinge-Velag, Belin-Heidelbeg-New Yok, 976 [8] O Blasco, G Botelho, D Pellegino, P Rueda, Summability of multilinea mappings: Littlewood, Olicz and beyond Monatsh Math 63 (20), no 2, 3 47 [9] D Caando, V Dimant, S Muo, D Pinasco, An integal fomula fo multiple summing noms of opeatos Linea Algeba Appl 478 (205), [0] W Cavalcante, D Núñez-Alacón, Remaks on an Inequality of Hady and Littlewood To appea in Quaest Mathematicae [] J Diestel, H Jachow, A Tonge, Absolutely summing opeatos, Cambidge Univ Pess, Cambidge, 995 [2] V Dimant, P Sevilla Peis, Summation of coefficients of polynomials on l p spaces, to appea in Publ Mathematiques [3] G Hady, J E Littlewood, Bilinea foms bounded in space [p,q], Quat J Math 5 (934), [4] M Kato, K Miyazaki, Y Takahashi, Type, cotype constants fo L p(l q) noms of the Rademache matices and intepolation, Nihonkai Math J 6 (995), 8-95 [5] B Mauey, G Pisie, Séies de vaiables aléatoies vectoielles indépendants et popiétés géométiques des éspaces de Banach, Studia Math, 58 (976), [6] B Osikiewicz, A Tonge, An intepolation appoach to Hady Littlewood inequalities fo noms of opeatos on sequence spaces, Linea Algeba Appl 33 (200), 9 [7] D Péez-Gacía, I Villanueva, Multiple summing opeatos on C(K) spaces, Ak Mat 42 (2004), no, 53 7 [8] D Popa, Multiple summing opeatos on lp spaces Studia Math 225 (204), no, 9 28 [9] T Paciano-Peeia, On bounded multilinea foms on a class of l p spaces J Math Anal Appl 8 (98), [20] P Rueda, E A Sánchez-Péez, Factoization of p-dominated polynomials though Lp-spaces Michigan Math J 63 (204), no 2, Depatment of Mathematical Sciences, Kent State Univesity, Kent, Ohio 44242, USA addess: aon@mathkentedu Depatamento de Matemática, Univesidade Fedeal de Penambuco, Recife, Bazil, & Depatment of Mathematical Sciences, Kent State Univesity, Kent, Ohio 44242, USA addess: danielnunezal@gmailcom Depatamento de Matemática, Univesidade Fedeal da Paaíba,, João Pessoa, Bazil addess: pellegino@pqcnpqb and dmpellegino@gmailcom Depatamento de Matemática, Univesidade Fedeal de Penambuco, Recife, Bazil, & Depatment of Mathematical Sciences, Kent State Univesity, Kent, Ohio 44242, USA addess: dmseano0@gmailcom