arxiv: v2 [math.ca] 23 Feb 2018

Transcription

1 MULTI-PAAMETE EXTENSIONS OF A THEOEM OF PICHOIDES ODYSSEAS BAKAS, SALVADO ODÍGUEZ-LÓPEZ, AND ALAN SOLA arxiv: v2 [math.ca] 23 Feb 218 Abstract. Extending work of Pichorides and Zygmund to the d-dimensional setting, we show that the supremum of L p -norms of the Littlewood-Paley square function over the unit ball of the analytic Hardy spaces H p A ptd q blows up like pp 1q d as p Ñ 1`. Furthermore, we obtain an Llog d L-estimate for square functions on H 1 A ptd q. Euclidean variants of Pichorides s theorem are also obtained. 1. Introduction Given a trigonometric polynomial f on T, we define the classical Littlewood- Paley square function S T pfq of f by S T pfqpxq ` ÿ k pfqpxq 2 1{2, where for k P N, we set k pfqpxq 2ÿ k 1 n 2 k 1 p fpnqe i2πnx kpz and k pfqpxq 2 ÿ k 1 n 2 k`1 pfpnqe i2πnx and for k we take pfqpxq p fpq. A classical theorem of J.E. Littlewood and.e.a.c. Paley asserts that for every 1 ă p ă 8 there exists a constant B p ą such that }S T pfq} L p ptq ď B p }f} L p ptq (1) for every trigonometric polynomial f on T, see, e.g., [5] or [19]. The operator S T is not bounded on L 1 ptq, and hence, the constant B p in (1) blows up as p Ñ 1`. In [2], J. Bourgain obtained the sharp estimate B p pp 1q 3{2 as p Ñ 1`. (2) For certain subspaces of L p ptq, however, one might hope for better bounds. In [12], S. Pichorides showed that for the analytic Hardy spaces H p ApTq (1 ă p ď 2), we have sup }f} L p ptq ď1 fph p A ptq 1 }S T pfq} LppTq pp 1q as p Ñ 1`. (3) Higher-dimensional extensions of Bourgain s result (2) were obtained by the first author in [1]. In particular, given a dimension d P N, if f is a trigonometric polynomial on T d, we define its d-parameter Littlewood-Paley square function by S T dpfqpxq ` ÿ k1,,k d pfqpxq 2 1{2, k 1,,k d PZ 21 Mathematics Subject Classification. 42B15, 42B25, 42B3. Key words and phrases. Square function, Marcinkiewicz multipliers, L p estimates. The second author is partially supported by the Spanish Government grant MTM P. 1

2 2 BAKAS, ODÍGUEZ-LÓPEZ, AND SOLA where for k 1,,k d P Z we use the notation k1,,k d pfq k1 b b kd pfq, where the direct product notation indicates the operator kj in the j-th position acting on the j-th variable. As in the one-dimensional case, for every 1 ă p ă 8, there is a positive constant B p pdq such that }S T dpfq} L p pt d q ď B p pdq}f} L p pt d q for each trigonometric polynomial f on T d. It is shown in [1] that B p pdq d pp 1q 3d{2 as p Ñ 1`. (4) A natural question in this context is whether one has an improvement on the limitingbehaviourofb p pdqasp Ñ 1` whenrestrictingtothe analytichardyspaces H p A ptd q. In other words, one is led to ask whether the aforementioned theorem of Pichorides can be extended to the polydisc. However, the proof given in [12] relies on factorisation of Hardy spaces, and it is known, see for instance [14, Chapter 5] and [13], that canonical factorisation fails in higher dimensions. In this note we obtain an extension of (3) to the polydisc as a consequence of a more general result involving tensor products of Marcinkiewicz multiplier operators on T d. ecall that, in the periodic setting, a multiplier operator T m associated to a function m P l 8 pzq is said to be a Marcinkiewicz multiplier operator on the torus if m satisfies 2k`1 ÿ B m sup mpn `1q mpnq ` kpn n 2 k 1 2ÿ k`1 Our main result in this paper is the following theorem. mpn `1q mpnq ă 8. (5) n 2 k`1 Theorem 1. Let d P N be a given dimension. If T mj is a Marcinkiewicz multiplier operator on T pj 1,,dq, then for every f P H p A ptd q one has }pt m1 b bt md qpfq} L p pt d q À Cm1,,C md pp 1q d }f} L p pt d q as p Ñ 1`, where C mj }m j } l8 pzq `B mj, B mj being as in p5q, j 1,,d. To prove Theorem 1, we use a theorem of T. Tao and J. Wright [16] on the endpoint mapping properties of Marcinkiewicz multiplier operators on the line, transferred to the periodic setting, with a variant of Marcinkiewicz interpolation for Hardy spaces which is due to S. Kislyakov and Q. Xu [8]. Since for every choice of signs the randomised version ř kpz k of S T is a Marcinkiewicz multiplier operator on the torus with corresponding constant B m ď 2, Theorem 1 and Khintchine s inequality yield the following d-parameter extension of Pichorides s theorem (3). Corollary 2. Given d P N, if S T d denotes the d-parameter Littlewood-Paley square function, then one has sup }f} L p pt d q ď1 fph p A ptd q }S T dpfq} L p pt d q d pp 1q d as p Ñ 1`. The present paper is organised as follows: In the next section we set down notation and provide some background, and in Section 3 we prove our main results. Using the methods of Section 3, in Section 4 we extend a well-known inequality due to A. Zygmund [18, Theorem 8] to higher dimensions. In the last section we obtain a Euclidean version of Theorem 1 by using the aforementioned theorem of Tao and Wright [16] combined with a theorem of Peter Jones [7] on a Marcinkiewicz-type decomposition for analytic Hardy spaces over the real line.

3 EXTENSIONS OF A THEOEM OF PICHOIDES 3 2. Preliminaries 2.1. Notation. We denote the set of natural numbers by N, by N the set of nonnegative integers and by Z the set of integers. Let f be a function of d-variables. Fixing the first d 1 variables px 1,,x d 1 q, we write fpx 1,,x d q f px1,,x d 1 qpx d q. The sequence of the Fourier coefficients of a function f P L 1 pt d q will be denoted by ˆf. Given a function m P L 8 p d q, we denote by T m the multiplier operator corresponding to m, initially defined on L 2 p d q, by pt m pfqq p pξq mpξq p fpξq, ξ P d. Given µ P l 8 pz d q, one defines (initially on L 2 pt d q) the corresponding periodic multiplier operator T µ in an analogous way. Ifλis a continuousand bounded function on the real line and T λ is as above, T λ Z denotestheperiodicmultiplieroperatorsuchthatt λ Z pfqpxq ř npz λpnq p fpnqe i2πnx (x P T) for every trigonometric polynomial f on T. Given two positive quantities X and Y and a parameter α, we write X À α Y (or simply X À Y) whenever there exists a constant C α ą depending on α so that X ď C α Y. If X À α Y and Y À α X, we write X α Y (or simply X Y) Hardy spaces and Orlicz spaces. Let d P N. For ă p ă 8, let H p A pdd q denote the space of holomorphic functions F on D d, D tz P C : z ă 1u, such that }F } p H p A pdd q sup F pr 1 e i2πx1,,r d e i2πx d q p dx 1 dx d ă 8. ďr 1,,r d ă1 T d For p 8, H 8 A pdd q denotes the class of bounded holomorphic functions on D d. It is well-known that for 1 ď p ď 8, the limit f of F P H p A pdd q as we approach the distinguished boundary T d of D d, namely fpx 1,,x d q lim F pr 1 e i2πx1,,r d e i2πx d q r 1,,r d Ñ1 exists a.e. in T d and }F } H p A pdd q }f} Lp pt q. For 1 ď p ď 8, we define the analytic d Hardy space H p A ptd q on the d-torus as the space of all functions in L p pt d q that are boundary values of functions in H p A pdd q. Moreover, it is a standard fact that H p A ptd q tf P L p pt d q: supppfq p Ă N d u. Hardy spaces are discussed in Chapter 7 in [4], where the case d 1 is treated, and in Chapter 3 of [14]. If f P L 1 pt d q is such that supppfq p is finite, then f is said to be a trigonometric polynomial on T n, and if moreover supppfq p Ă N d, then f is said to be analytic. It is well-known [4, 14] that for 1 ď p ă 8, the class of trigonometric polynomials on T d is a dense subspace of L p pt d q and analytic trigonometric polynomials on T d are dense in H p A ptd q. We define the real Hardy space H 1 ptq to be the space of all integrable functions f P L 1 ptq such that H T pfq P L 1 ptq, where H T pfq denotes the periodic Hilbert transform of f. One sets }f} H1 ptq }f} L1 ptq ` }H T pfq} L1 ptq. Note that HA 1 ptq can be regarded as a proper subspace of H 1 ptq and moreover, }f} H1 ptq 2}f} L1 ptq when f P HA 1 ptq. Given d P N, for ă p ă 8, let H p A pp2`qd q denote the space of holomorphic functions F on p 2`qd, where 2` tx `iy P C : y ą u, such that }F } p H p A pp2`qd q sup F px 1 `iy 1,,x d `iy d q p dx 1 dx d ă 8. y 1,,y d ą d For p 8, H 8 A pp2`q d q is defined as the space of bounded holomorphic functions in p 2`q d. For 1 ď p ď 8, for every F P H p A pp2`q d q its limit f as we approach the

4 4 BAKAS, ODÍGUEZ-LÓPEZ, AND SOLA boundary d, namely fpx 1,,x d q lim F px 1 `iy 1,,x d `iy d q, y 1,,y d Ñ` exists for a.e. px 1,,x d q P d and, moreover, }F } H p A pp2`qd q }f} L p p d q. Hence, as in the periodic setting, for 1 ď p ď 8 we may define the d-parameter analytic Hardy space H p A pd q to be the space of all functions in L p p d q that are boundary values of functions in H p A pp2`q d q. The real Hardy space H 1 pq on the real line is defined as the space of all integrable functions f on such that Hpfq P L 1 pq, where Hpfq is the Hilbert transform of f. Moreover, we set }f} H1 pq }f} L1 pq ` }Hpfq} L1 pq. We shall also consider the standard Orlicz spaces Llog r LpT d q. For r ą, one may ş define Llog r LpT d q as the space of measurable functions f on T d such that T fpxq log r p1 ` fpxq qdx ă 8. For r ě 1, we may equip Llog r LpT d q with a d norm given by }f} Llog r LpT d q inf λ ą : fpxq log r `1 ` fpxq ( dx ď 1. T λ λ d For more details on Orlicz spaces, we refer the reader to the books [9] and [19]. 3. Proof of Theorem 1 ecall that a function m P L 8 pq is said to be a Marcinkiewicz multiplier on if it is differentiable in every dyadic interval r2 k,2 k`1 q, k P Z and A m sup m 1 pξq dξ ` m 1 pξq dξ ă 8 (6) kpz r2k,2k`1q p 2 k`1, 2 k s If m P L 8 pq satisfies (6), then thanks to a classical result of J. Marcinkiewicz 1, see e.g. [15], the corresponding multiplier operator T m is bounded on L p pq for all 1 ă p ă 8. In [16], Tao and Wright showed that every Marcinkiewicz multiplier operator T m is bounded from the real Hardy space H 1 pq to L 1,8 pq, namely }T m pfq} L 1,8 pq ď C m }f} H 1 pq, (7) where the constant C m depends only on }m} L8 pq `A m, with A m as in (6). For the sake of completeness, let us recall that L 1,8 pmq stands for the quasi-banach space of measurable functions on a measure space M endowed with the quasinorm }f} L 1,8 pmq : supt dx. tą txpm: fpxq ątu Either by adapting the proof of Tao and Wright to the periodic setting or by using a transference argument, see Subsection 3.2, one deduces that every periodic Marcinkiewicz multiplier operator T m satisfies }T m pfq} L 1,8 ptq ď D m }f} H1 ptq, (8) where D m depends on }m} l 8 pzq ` B m, B m being as in (5). Therefore, it follows that for every f P HA 1 ptq one has }T m pfq} L 1,8 ptq ď D 1 m }f} L 1 ptq, (9) where one may take D 1 m 2D m. We shall prove that for every Marcinkiewicz multiplier operator T m on the torus one has 1 sup }T m pfq} LppTq À Bm pp 1q }f} L p ptq ď1 fph p A ptq (1) 1 Marcinkiewicz originally proved the theorem in the periodic setting, see [1].

5 EXTENSIONS OF A THEOEM OF PICHOIDES 5 as p Ñ 1`. To do this, we shall make use of the following lemma due to Kislyakov and Xu [8]. Lemma 3 (Kislyakov and Xu, [8] and [11]). If f P H p A ptq p ă p ă 8q and λ ą, then there exist functions h λ P HA 8pTq, g λ P H p A ptq and a constant C p ą depending only on p such that h λ pxq ď C λmintλ 1 p fpxq, fpxq 1 λu for all x P T, }g λ } p L p ptq ď C p dx, and ştxpt: fpxq ąλu fpxq p f h λ `g λ. We remark that by examining the proof of Lemma 3, one deduces that when 1 ď p ď 2 the constant C p in the statement of the lemma can be chosen independent of p. To prove the desired inequality (1) and hence Theorem 1 in the onedimensional case, we argue as in [11, Theorem 7.4.1]. More precisely, given a 1 ă p ă 2, if f is a fixed analytic trigonometric polynomial on T, we first write }T m pfq} p L p ptq p ş 8 λp 1 tx P T : T m pfqpxq ą λu dλ and then by using Lemma 3 for p 1 we obtain }T m pfq} p L p ptq ď I 1 `I 2, where and I 1 p I 2 p λ p 1 tx P T : T m pg λ qpxq ą λ{2u dλ λ p 1 tx P T : T m ph λ qpxq ą λ{2u dλ. To handle I 1, we use the boundedness of T m from HA 1 ptq to L1,8 ptq and Fubini s theorem to deduce that I 1 À pp 1q 1 fpxq p dx. To obtain appropriate bounds for I 2, we use the boundedness of T m from HA 2 ptq to L 2 ptq and get I 2 À λ p 3 p fpxq 2 dxqdλ ` λ p`1 p fpxq 2 dxqdλ. txpt: fpxq ąλu txpt: fpxq ďλu Hence, by applying Fubini s theorem to each term, we obtain I 2 À p2 pq 1 fpxq p dx ` pp `2q 1 fpxq p dx. T Combining the estimates for I 1 and I 2 and using the density of analytic trigonometric polynomials in ph p A ptq, } } L p ptqq, (1) follows. To prove the d-dimensional case, take f to be an analytic trigonometric polynomial on T d and note that if T mj are periodic Marcinkiewicz multiplier operators (j 1,,d), then for fixed px 1,,x d 1 q P T d 1 one can write where T md pg px1,,x d 1 qqpx d q T m1 b bt md pfqpx 1,,x d q, g px1,,x d 1 qpx d q T m1 b bt md 1 pf px1,,x d 1 qqpx d q. Hence, by using (1) in the d-th variable, one deduces that }T mn pg px1,,x d 1 qq} p L p ptq ď Cp m d pp 1q p }g px1,,x d q} p L p ptq where C md ą is the implied constant in (1) corresponding to T md. By iterating this argument d 1 times, one obtains }T m1 b bt md pfq} p L p pt d q ď rc m 1 C md s p pp 1q dp }f} p L p pt d q and this completes the proof of Theorem 1. T T

6 6 BAKAS, ODÍGUEZ-LÓPEZ, AND SOLA 3.1. Proof of Corollary 2. We shall use the multi-dimensional version of Khintchine s inquality: if pr k q kpn denotes the set of ademacher functions indexed by N over a probability space pω,a,pq, then for every finite collection of complex numbers pa k1,,k d q k1,,k d PN one has ÿ a k1,,k d r k1 b br kd ` ÿ p a k1,,k L k 1,,k d PN p pω d d 2 1{2 q k 1,,k d PN for all ă p ă 8. The implied constants do not depend on pa k1,,k d q k1,,k d PN, see e.g. Appendix D in [15], and do not blow up as p Ñ 1. Combining Theorem 1, applied to d-fold tensor products of periodic Marcinkiewicz multiplier operators of the form ř kpz k, with the multi-dimensional Khintchine s inequality as in [1, Section 3] shows that the desired bound holds for analytic polynomials. Since analytic trigonometric polynomials on T d are dense in ph p A ptd q, } } L p pt d qq, we deduce that sup }f} L p pt d q ď1 fph p A ptd q }S T dpfq} L p pt d q À d pp 1q d as p Ñ 1`. It remains to prove the reverse inequality. To do this, for fixed 1 ă p ď 2, choose an f P H p ApTq such that }S T pfq} L p ptq ě Cpp 1q 1 }f} L p ptq, where C ą is an absolute constant. The existence of such functions is shown in [12]. Hence, if we define g P H p A ptd q by for px 1,,x d q P T d, then gpx 1,,x d q fpx 1 q fpx d q }S T dpgq} Lp pt d q }S T pfq} L p ptq }S T pfq} L p ptq and this proves the sharpness of Corollary 2. ě C d pp 1q d }f} d L p ptq Cd pp 1q d }g} Lp pt d q emark 4. For the subspace H p A,diag ptd q of L p pt d q consisting of functions of the form fpx 1,...,x d q F px 1 ` `x d q for some one-variable function F P H p A ptq, we have the improved estimate sup }f} L p pt d q ď1 fph p A,diag ptd q }S T dpfq} p pp 1q 1, p Ñ 1`. This follows from invariance of the L p -norm and Fubini s theorem which allow us to reduce to the one-dimensional case. On the other hand, the natural inclusion of H p A ptk q in H p A ptd q yields examples of subspaces with sharp blowup of order pp 1q k for any k 1,...,d 1. Both the original proof of Pichorides s theorem and the extension in this paper rely on complex-analytic techniques, via canonical factorisation in [12] and conjugate functions in [11]. However, a complex-analytic structure is not necessary in order for an estimate of the form in Corollary 2 to hold. For instance, the same conclusion remains valid for g P H p ptd q, the subset of L p pt d q consisting of functions with supppˆfq Ă p Nq d. Moreover, for functions of the form f ` g, where f P H p A ptd q and g P H p ptd q with }f} p }g} p ď 1{2, we then have }f ` g} p ď 1 and }S T npf `gq} p ď }S T dpfq} p ` }S T dpgq} p À pp 1q d as p Ñ 1`. (11)

7 EXTENSIONS OF A THEOEM OF PICHOIDES A transference theorem. In this subsection, we explain how one can transfer the aforementioned result of Tao and Wright on boundedness of Marcinkiewicz multiplier operators from H 1 pq to L 1,8 pq to the periodic setting. To this end, let us first recall the definition of the local Hardy space h 1 pq introduced by D. Goldberg [6], which can be described as the space of L 1 -functions for which the high-frequency part belongs to H 1 pq. Namely, if we take φ to be a smooth function supported in r 1,1s and such that φ r 1{2,1{2s 1, and set ψ 1 φ, one has that f P h 1 pq if, and only if, }f} h1 pq }f} L1 pq ` }T ψ pfq} H1 pq ă `8. The desired transference result is a consequence of D. Chen s [3, Thm. 29]. Theorem 5. If λ is a continuous and bounded function on such that then }T λ pfq} L 1,8 pq ď C 1 }f} h 1 pq, }T λ Z pgq} L 1,8 ptq ď C 2 }g} H1 ptq. Observe that given a Marcinkiewicz multiplier m on the torus, one can construct a Marcinkiewicz multiplier λ on such that λ Z m. Indeed, it suffices to take λ to be continuous such that λpnq mpnq for every n P Z and affine on the intervals of the form pn,n `1q, n P Z. In order to use Theorem 5, let ψ be as above and consider the high-frequency part λ` of λ given by λ` ψλ. Note that for every Schwartz function f we may write T λ`pfq T λ p r fq, where r f T ψ pfq. We thus deduce that }T λ`pfq} L 1,8 pq }T λ p r fq} L 1,8 pq À } r f} H1 pq À }f} h1 pq, and hence, Theorem 5 yields that T λ` Z is bounded from H 1 ptq to L 1,8 ptq. Since for every trigonometric polynomial g we can write T m pgq T pgq `T λ` Z pgq, where T pgq mpqpgpq, and we have that }T pgq} L 1,8 ptq mpq pgpq ď }m} l8 pzq}g} L1 ptq ď }m} l8 pzq}g} H1 ptq, it follows that }T m pgq} L 1,8 ptq À }g} H 1 ptq. 4. A higher-dimensional extension of an inequality due to Zygmund In [18], Zygmund showed that there exists a constant C ą such that for every f P H 1 A ptq, we have }S T pfq} L 1pTq ď C}f} LlogLpTq. (12) Note that if one removes the assumption that f P HA 1 ptq, then the Orlicz space LlogLpTq must be replaced by the smaller space Llog 3{2 LpTq, see [1]. Zygmund s proof again relies on canonical factorisation in H p ApTq, but a higherdimensional extension of(12) can now be obtained from the methods of the previous section. Proposition 6. Given d P N, there exists a constant C d ą such that for every analytic trigonometric polynomial g on T d one has }S T dpgq} L1 pt d q ď C d }g} Llog d LpT d q. (13) The exponent r d in the Orlicz space Llog d LpT d q cannot be improved.

8 8 BAKAS, ODÍGUEZ-LÓPEZ, AND SOLA Proof. By using Lemma 3 and a Marcinkiewicz-type interpolation argument analogous to the one presented in Section 3, one shows that if T is a sublinear operator that is bounded from HA 1 ptq to L1,8 ptq and bounded from HA 2 ptq to L2 ptq, then for every r ě one has T pfqpxq log r p1 ` T pfqpxq qdx ď C r r1 ` fpxq log r`1 p1 ` fpxq qdxs (14) T for every analytic trigonometric polynomial f on T, where C r ą is a constant depending only on r. If T ωj ř kpz r kpω j q j denotes a randomised version of S T, j 1,,d, then T ωj mapsh 1 A ptqtol1,8 ptqandh 2 A ptqtol2 ptqandso,byusing(14)anditeration, one deduces that T }pt ω1 b bt ωd qpfq} L 1 pt d q ď A d }f} Llog d LpT d q (15) for every analytic polynomial f on T d. Hence, the proof of (13) is obtained by using (15) and (11). To prove sharpness for d 1, let N be a large positive integer to be chosen later and take V 2 N 2K 2 N `1 K 2 N to be the de la Vallée Poussin kernel of order 2 N, where K n denotes the Fejér kernel of order n, K n pxq ř j ďn r1 j {pn`1qsei2πjx. Consider the function f N by f N pxq e i2π2n `1x V 2 N pxq. Then, one can easily check that f N P H 1 A ptq, N`1pf N qpxq ř 2 N `1 1 k 2 N ei2πkx and }f N } Llog r LpTq À N r. Hence, if we assume that (12) holds for some Llog r LpTq, then we see that we must have N À } N`1 pf N q} L1 ptq ď }S T pf N q} L1 ptq À }f N } Llog r LpTq À N r and so, if N is large enough, it follows that r ě 1, as desired. To prove sharpness in the d-dimensional case, take g N px 1,,x d q f N px 1 q f N px d q, f N being as above, and note that N d À } N`1 pf N q} d L 1 ptq ď }S T dpg Nq} L 1 pt d q À }g N } Llog r LpT d q À N r. Hence, by taking N Ñ 8, we deduce that r ě d. emark 7. Note that, by using (14) and (11), one can actually show that there exists a constant B d ą, depending only on d, such that }S T dpfq} L 1,8 pt d q ď B d }f} Llog d 1 LpT d q (16) for every analytic trigonometric polynomial f on T d. Notice that if we remove the assumption that f is analytic, then the Orlicz space Llog d 1 LpT d q in (16) must be replaced by Llog 3d{2 1 LpT d q, see [1]. 5. Euclidean variants of Theorem 1 In this section we obtain an extension of Pichorides s theorem to the Euclidean setting. Our result will be a consequence of the following variant of Marcinkiewicztype interpolation on Hardy spaces. Proposition 8. Assume that T is a sublinear operator that satisfies: }T pfq} L 1,8 pq ď C}f} L 1 pq for all f P HA 1 pq and }T pfq} L 2 pq ď C}f} L 2 pq for all f P HA 2 pq, where C ą is an absolute constant. Then, for every 1 ă p ă 2, T maps H p A pq to L p pq and moreover, }T } H p A pqñlp pq À rpp 1q 1 ` p2 pq 1 s 1{p.

9 EXTENSIONS OF A THEOEM OF PICHOIDES 9 Proof. Fix 1 ă p ă 2 and take an f P H p Apq. From a classical result due to Peter Jones[7, Theorem2]itfollowsthatforeveryλ ą onecanwritef F λ`f λ, where F λ P HA 1 pq, f λ P HA 8pq and, moreover, there is an absolute constant C ą such that ş F λpxq dx ď C ştxp:npfqpxqąλunpfqpxqdx and }f λ } L 8 pq ď C λ. Here, Npfq denotes the non-tangential maximal function of f P H p Apq given by Npfqpxq sup pf P t qpx 1 q, x x 1 ăt where, for t ą, P t psq t{ps 2 ` t 2 q denotes the Poisson kernel on the real line. Hence, by using the Peter Jones decomposition of f, we have where and }T pfq} p L p pq pλ p 1 tx P : T pfqpxq ą λ{2u dλ ď I 1 `I 2, I 1 p I 2 p λ p 1 tx P : T pf λ qpxq ą λ{2u dλ λ p 1 tx P : T pf λ qpxq ą λ{2u dλ. We shall treat I 1 and I 2 separately. To bound I 1, using our assumption on the boundedness of T from HA 1 pq to L1,8 pq together with Fubini s theorem, we deduce that there is an absolute constant C 1 ą such that I 1 ď C 1 pp 1q 1 rnpfqpxqs p dx. (17) To bound the second term, we first use the boundedness of T from HA 2 pq to L2 pq as follows I 2 ď C pλ p 3` f λ pxq 2 dx dλ and then we further decompose the right-hand side of the last inequality as I 2,α ` I 2,β, where I 2,α C pλ p 3` f λ pxq 2 dx dλ and I 2,β C pλ p 3` txp:npfqpxqąλu txp:npfqpxqďλu f λ pxq 2 dx dλ. The first term I 2,α can easily be dealt with by using the fact that }f λ } L 8 pq ď C λ, I 2,α ď C 1 pλ p 1 tx P : Npfqpxq ą λu dλ C 1 rnpfqpxqs p dx, where C 1 C C. To obtain appropriate bounds for I 2,β, note that since f λ 2 f F λ 2 ď 2 f 2 `2 F λ 2, one has I 2,β ď I2,β 1 `I2 2,β, where I2,β 1 2C pλ p 3` fpxq 2 dx dλ and I 2 2,β 2C pλ p 3` txp:npfqpxqďλu txp:npfqpxqďλu F λ pxq 2 dx dλ.

10 1 BAKAS, ODÍGUEZ-LÓPEZ, AND SOLA To handle I2,β 1, note that since f P Hp Apq (1 ă p ă 2) one has fpxq ď Npfqpxq for a.e. x P and hence, by using this fact together with Fubini s theorem, one obtains I2,β 1 ď Cp2 pq 1 rnpfqpxqs p dx. Finally, for the last term I2,β 2, we note that for a.e. x in tnpfq ď λu one has and hence, I2,β 2 ď C2 λ p 2` F λ pxq ď fpxq ` f λ pxq ď Npfqpxq ` f λ pxq ď p1 `C qλ ď C 2 λ p 2` F λ pxq dx dλ txp:npfqpxqąλu Npfqpxqdx dλ ď C 2 pp 1q 1 rnpfqpxqs p dx, where C 2 4p1 `C q and in the last step we used Fubini s theorem. Since I 2 ď I 2,α `I2,β 1 `I2 2,β, we conclude that there is a C 2 ą such that I 2 ď C 2 rpp 1q 1 ` p2 pq 1 s rnpfqpxqs p dx. (18) It thus follows from (17) and (18) that }T pfq} L p pq À rpp 1q 1 ` p2 pq 1 s 1{p }Npfq} L p pq. To complete the proof of the proposition note that one has }Npfq} Lp pq ď C p }f} Lp pq pf P H p Apqq, (19) where one can take C p A 1{p, A ě 1 being an absolute constant, see e.g. p in vol.i in [19], where the periodic case is presented. The Euclidean version is completely analogous. Hence, if 1 ă p ă 2, one deduces that the constant C p in (19) satisfies C p ď A and so, we get the desired result. Using the above proposition and iteration, we obtain the following Euclidean version of Theorem 1. Theorem 9. Let d P N be a given dimension. If T mj is a Marcinkiewicz multiplier operator on pj 1,,dq, then }T m1 b bt md } H p A pd qñl p p d q À Cm1,,C md pp 1q d as p Ñ 1`, where C mj }m j } L8 pq `A mj, A mj is as in p6q, j 1,,d. A variant of Pichorides s theorem on d now follows from Theorem 9 and (11). To formulate our result, for k P Z, define the rough Littlewood-Paley projection P k to be a multiplier operator given by {P k pfq rχ r2k,2 k`1 q `χ p 2 k`1, 2 k ss p f. For d P N, define the d-parameter rough Littlewood-Paley square function S d on d by ÿ S dpfq P k1 b bp kd pfq 2 1{2 k 1,,k d PZ for f initially belonging to the class of Schwartz functions on d. Arguing as in Subsection 3.1, we get a Euclidean version of Corollary 2 as a consequence of Theorem 9.

11 EXTENSIONS OF A THEOEM OF PICHOIDES 11 Corollary 1. For d P N, one has as p Ñ 1`. }S d} H p A pd qñl p p d q d pp 1q d emark 11. The multiplier operators covered in Theorem 9 are properly contained in the class of general multi-parameter Marcinkiewicz multiplier operators treated in Theorem 6 1 in Chapter IV of [15]. For a class of smooth multi-parameter MarcinkiewiczmultipliersM.Wojciechowski[17]provesthattheirL p p d q Ñ L p p d q operator norm is of order pp 1q d and that they are bounded on the d-parameter Hardy space H p p ˆ ˆ q for all 1 ď p ď 2. Note that the multi-parameter Littlewood-Paley square function is not covered by this result; see also [1] for more refined negative statements. eferences [1] Bakas, Odysseas. Endpoint Mapping properties of the Littlewood-Paley square function. preprint arxiv: (216). [2] Bourgain, Jean. On the behavior of the constant in the Littlewood-Paley inequality. In: Geometric Aspects of Functional Analysis ( ), pp Lecture notes in math. 1376, Springer Berlin, [3] Chen, Danin. Multipliers on certain function spaces. PhD thesis, University of Winsconsin-Milwaukee, [4] Duren, Peter L. Theory of H p spaces. Vol. 38. New York: Academic press, 197. [5] Edwards, obert E., and Garth Ian Gaudry. Littlewood-Paley and multiplier theory. Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 9. Springer- Verlag Berlin-New York, [6] Goldberg, David. A local version of real Hardy spaces. PhD thesis, Princeton University, [7] Jones, PeterWilcox. L 8 estimates for the B problem in a half-plane. Acta Math. 15, no.1-2 (1983): [8] Kislyakov, Serguei Vital evich, and Quanhua Xu. eal interpolation and singular integrals. Algebra i Analiz 8, no. 4 (1996): [9] Krasnosel skii, Mark Aleksandrovich, and Iakov Bronislavovich utitskii. Convex functions and Orlicz spaces. P. Noordhoff, Groningen, [1] Marcinkiewicz, Józef. Sur les multiplicateurs des séries de Fourier. Studia Math. 8 (1939): [11] Pavlović, Miroslav. Introduction to function spaces on the disk. Posebna Izdanja [Special editions] 2, Matematicki Institut SANU, Belgrade, 24. [12] Pichorides, Stylianos K. A remark on the constants of the Littlewood-Paley inequality. Proc. Amer. Math. Soc. 114, no. 3 (1992): [13] ubel, Lee A. and Allen L. Shields. The failure of interior-exterior factorization in the polydisc and the ball. Tohoku Math. J. 24 (1972): [14] udin, Walter. Function theory in polydiscs. W.A. Benjamin, New York and Amsterdam, [15] Stein, Elias M. Singular integrals and differentiability properties of functions (PMS-3). Vol. 3. Princeton university press, 216. [16] Tao, Terence, and James Wright. Endpoint multiplier theorems of Marcinkiewicz type. ev. Mat. Iberoam. 17, no. 3 (21): [17] Wojciechowski, Micha l. A Marcinkiewicz type multiplier theorem for H 1 spaces on product domains. Studia Math. 14, no. 3 (2): [18] Zygmund, Antoni. On the convergence and summability of power series on the circle of convergence (I). Fundamenta Math. 3 (1938):

12 12 BAKAS, ODÍGUEZ-LÓPEZ, AND SOLA [19] Zygmund, Antoni. Trigonometric series. Vol. I, II. Cambridge University Press, 22. Department of Mathematics, Stockholm University, Stockholm, Sweden address: