IINEAR DECOMPOSITIONS FOR THE PRODUCT SPACE H MO UONG DANG KY arxiv:204.304v [math.ca] 3 Apr 202 Abstract. In this paper, we improve a recent result by i and Peng on products of functions in H (Rd and MO (, where = + V is a Schrödinger operator with V satisfying an appropriate reverse Hölder ineuality. More precisely, we prove that such products may be written as the sum of two continuous bilinear operators, one from H (Rd MO ( into (, the other one from H (Rd MO ( into H log (, where the space H log ( is the set of distributions f whose grand maximal function Mf satisfies Mf(x dx <. log(e+ Mf(x +log(e+ x. Introduction Products of functions in H and MO have been firstly considered by onami, Iwaniec, Jones and Zinsmeister in [2]. Such products make sense as distributions, and can be written as the sum of an integrable function and a function in a weighted Hardy-Orlicz space. To be more precise, for f H ( and g MO(, we define the product (in the distribution sense f g as the distribution whose action on the Schwartz function ϕ S( is given by (. f g,ϕ := ϕg,f, where the second bracket stands for the duality bracket between H ( and its dual MO(. It is then proven in [2] that (.2 f g ( +H Ξ (. Here H(R Ξ d is the weighted Hardy-Orlicz space related to the Orlicz function t (.3 Ξ(t := log(e+t and with weight (x := log(e+ x. et = +V beaschrödinger operatoron, d 3, wherev isanonnegative potential, V 0, and belongs to the reverse Hölder class RH d/2. In [3] and [4], Dziubański et al. introduced two kinds of function spaces associated with. One is 200 Mathematics Subject Classification. 35J0, 4235. Key words and phrases. Schrödinger operator, Hardy-Orlicz space, bilinear operator, MO.
THE PRODUCT SPACE H MO 2 the Hardy space H (Rd, the other is the space MO (. They established in [3] that the dual space of H (Rd is just MO (. Unfortunately, as for the classical spaces H ( and MO(, the pointwise products fg of functions f H (Rd and functions g MO ( maybe not integrable. However, similarly to the classical setting, i and Peng showed in [8] that such products can be defined in the sense of distributions which action on the Schwartz function ϕ S( is (.4 f g,ϕ := ϕg,f, where the second bracket stands for the duality bracket between H (Rd and its dual MO (. Moreover, they proved that f g can be written as the sum of two distributions, one in (, the other in H, Ξ (Rd the weighted Hardy-Orlicz space associated with related to the Orlicz function Ξ(t (x, see Definition 2.3. log(e+ x More precisely, in [8], the authors proved the following. t log(e+t and the weight Theorem. For each f H (Rd, there are two bounded linear operators f : MO ( ( and H f : MO ( H Ξ, (Rd such that for every g MO (, we have (.5 f g = f (g+h f (g and the uniform bound (.6 f (g + H f (g H Ξ, C f H g MO +, where g MO + = g MO + g, g denotes the mean value of g over the unit ball. Our main theorem is as follows. Theorem 2. There are two bounded bilinear operators S : H (Rd MO ( ( and T : H (Rd MO ( H log ( such that for every (f,g H (Rd MO (, we have (.7 f g = S (f,g+t (f,g and the uniform bound (.8 S (f,g + T (f,g H log C f H g MO. Here H log ( is a new kind of Hardy-Orlicz space consisting of all distributions f such that Mf(x dx < with the norm log(e+mf(x+log(e+ x Mf(x f H log = inf λ > 0 : ( λ dx log +log(e+ x. e+ Mf(x λ Recall that the grand maximal operator M is defined by (.9 Mf(x = sup sup φ A y x <t f φ t (y,
THE PRODUCT SPACE H MO 3 where A = {φ S( : φ(x + φ(x (+ x 2 (d+ } and φ t ( := t d φ(t. Note that H log ( H, Ξ (Rd with continuous embedding, see Section 3. Compared with the main result of [8] (Theorem, our main result makes an essential improvement in two directions. The first one consists in proving that the space H, Ξ (Rd can be replaced by a smaller space H log (. Secondly, we give the bilinear decomposition (.7 for the product space H (Rd MO ( instead of the linear decomposition (.5 depending on f H (Rd. Moreover, we just need the MO -norm (see (.8 instead of the MO + -norm as in (.6. InapplicationstononlinearPDEs, thedistributionf g S ( isusedtojustify weak continuity properties of the pointwise product f g. It is therefore important to recover fg from the action of the distribution f g on the test functions. An idea that naturally comes to mind is to look at the mollified distributions (.0 (f g ǫ = (f g φ ǫ, and let ǫ 0. Here φ S( with φ(xdx =. In the classical setting of f H ( and g MO(, onami et al. proved in [2] that the limit (.0 exists and euals fg almost everywhere. An analogous result is also true for the Schrödinger setting. Namely, the following is true. Theorem 3. et f H (Rd and g MO (. Then, for almost every x, lim (f g ǫ(x = f(xg(x. ǫ 0 Throughout the whole paper, C denotes a positive geometric constant which is independent of the main parameters, but may change from line to line. The paper is organized as follows. In Section 2, we present some notations and preliminaries about Hardy type spaces associated with. Section 3 is devoted to prove that H log ( H Ξ, (Rd with continuous embedding. Finally, the proofs of Theorem 2 and Theorem 3 are given in Section 4. Acknowledgements. The author would like to thank Aline onami and Sandrine Grellier for many helpful suggestions and discussions. 2. Some preliminaries and notations In this paper, we consider the Schrödinger differential operator = +V on, d 3, where V is a nonnegative potential, V 0. As in the works of Dziubański et al [3, 4], we always assume that V belongs to the reverse Hölder class RH d/2. Recall that a nonnegative locally integrable function V is said to belong to a reverse Hölder class RH, < <, if there exists C > 0 such that ( / (V(x C dx V(xdx holds for every balls in.
THE PRODUCT SPACE H MO 4 et{t t } t>0 bethesemigroupgeneratedbyandt t (x,ybetheirkernels. Namely, T t f(x = e t f(x = T t (x,yf(ydy, f 2 (, t > 0. We say that a function f 2 ( belongs to the space H (Rd if f H := M f <, where M f(x := sup t>0 T t f(x for all x. The space H (Rd is then defined as the completion of H (Rd with respect to this norm. In [3] it was shown that the dual of H (Rd can be identified with the space MO ( which consists of all functions f MO( with f MO := f MO + sup f(y dy <, ρ(x r (x, r (x,r where ρ is the auxiliary function defined as in [9], that is, { } (2. ρ(x = sup r > 0 : V(ydy, r d 2 (x,r x. Clearly, 0 < ρ(x < for all x, and thus = n Z n, where the sets n are defined by (2.2 n = {x : 2 (n+/2 < ρ(x 2 n/2 }. The following proposition is due to Shen [9]. Proposition 2. (see [9], emma.4. There exist C 0 > and k 0 such that for all x,y, ( C0 ρ(x + x y k0 ρ(y C0 ρ(x( + x y k 0 k 0 +. ρ(x ρ(x Here and in what follows, we denote by C the -constant (2.3 C = 8.9 k 0 C 0 where k 0 and C 0 are defined as in Proposition 2.. Definition 2.. Given <. A function a is called a (H,-atom related to the ball (x 0,r if r C ρ(x 0 and i supp a (x 0,r, ii a (x 0,r /, iii if r C ρ(x 0 then a(xdx = 0. ThefollowingatomiccharacterizationofH (Rd isduetodziubańskiandzienkiewicz [4].
THE PRODUCT SPACE H MO 5 Theorem A. et <. A function f is in H (Rd if and only if it can be written as f = j λ ja j, where a j are (H,-atoms and j λ j <. Moreover, there exists C > such that for every f H (Rd, we have { C f H inf λ j : f = } λ j a j C f H. j j et <. A nonnegative locally integrable function w belongs to the Muckenhoupt class A, say w A, if there exists a positive constant C so that ( (2.4 w(xdx (w(x dx /( C, if < <, and (2.5 w(xdx Cess-infw(x, if =, x for all balls in. We say that w A if w A for some [,. Remark 2.. The weight (x log(e+ x belongs to the class A. It is well known that w A p, p <, implies w A for all > p. For a measurable set E, we note w(e = w(xdx its weighted measure. E Definition 2.2. et 0 < p. A function Φ is called a growth function of order p if it satisfies the following properties: i The function Φ is a Orlicz function, that is, Φ is a nondecreasing function with Φ(t > 0,t > 0, Φ(0 = 0 and lim t Φ(t =. ii The function Φ is of lower type p, that is, there exists a constant C > 0 such that for every s (0,] and t > 0, Φ(st Cs p Φ(t. iii The function Φ is of upper type, that is, there exists a constant C > 0 such that for every s [, and t > 0, Φ(st CsΦ(t. We will also say that Φ is a growth function whenever it is a growth function of some order p <. Remark 2.2. i et Φ be a growth function. Then, there exists a constant C > 0 such that ( Φ t j C Φ(t j j= for every seuence {t j } j of nonnegative real numbers. See emma 4. of [6]. ii The function Ξ(t is a growth function of order p for any p (0,. t log(e+t j=
THE PRODUCT SPACE H MO 6 Now, let us define weighted Hardy-Orlicz spaces associated with. Definition 2.3. Given w A and Φ a growth function. We say that a function f 2 ( belongs to H Φ,w (Rd if Φ(M f(xw(xdx <. The space H,w Φ (Rd is defined as the completion of H Φ,w (Rd with respect to the norm ( f H Φ,w := inf λ > 0 : M f(x w(xdx λ. Φ Remark that when w(x and Φ(t t, the space H Φ,w (Rd is just H (Rd. We refer the reader to the recent work of D. Yang and S. Yang [0] for a complete study of the theory of weighted Hardy-Orlicz spaces associated with operators. 3. The inclusion H log ( H Ξ, (Rd The purpose of this section is to establish the following embedding. Proposition 3.. H log ( H Ξ, (Rd and the inclusion is continuous. Recall (see [6] that the weighted Hardy-Orlicz space H(R Ξ d is defined as the space of all distributions f such that Mf(x dx < with the norm log(e+mf(x log(e+ x Mf(x f H Ξ = inf λ > 0 : λ log(e+ x dx. ( log e+ Mf(x λ Clearly, H log ( H Ξ (Rd and the inclusion is continuous. Conseuently, the proof of Proposition 3. can be reduced to showing that for every f H Ξ (Rd, (3. f H Ξ, C f H Ξ. et <. Recall (see [6] that a function a is called a (H Ξ,-atom related to the ball if i supp a, ii a ( / Ξ ((, where Ξ is the inverse function of Ξ, iii a(xdx = 0. In order to prove Proposition 3., we need the following lemma. emma 3.. et < <. Then, (3.2 Ξ(M f(x(xdx C(Ξ(( / f for every f multiples of (H Ξ,-atom related to the ball = (x 0,r, To prove emma 3., let us recall the following.
THE PRODUCT SPACE H MO 7 emma 3.2 (see [8], emma 2. et V RH d/2. Then, there exists δ > 0 depends only on, such that for every y z < x y /2 and t > 0, we have ( y z δt T t (x,y T t (x,z C d 2 e x y 2 t t y z δ C x y d+δ. Proof of emma 3.. First, note that A and Ξ is a growth function of order p for any p (0,, see Remark 2. and Remark 2.2. Denote by M the classical Hardy-ittlewood maximal operator. Then, the estimate M f CMf, the - boundedness of M and Hölder ineuality give Ξ(M f(x(xdx C (x 0,2r Ξ(Mf(x+( / f (xdx (3.3 C (x 0,2r (x 0,2r ( Mf(x+( / f Ξ(( / f ( / f (xdx C(Ξ(( / f, where we used the facts that t Ξ(t is nonincreasing and ((x t 0,2r C(. et x / (x 0,2r and t > 0. y emma 3.2 and (2.4, T t f(x = T t (x,yf(ydy = (T t (x,y T t (x,x 0 f(ydy C y x 0 δ x x 0 d+δ f(y dy r d+δ C( / f x x 0 d+δ Therefore, as Ξ is of lower type 2d+δ 2(d+δ <, (3.4 ((x 0,2r c Ξ(M f(x(xdx CΞ(( / f ((x 0,2r c C(Ξ(( / f, ( r d+δ 2d+δ 2(d+δ (xdx x x 0 d+δ
THE PRODUCT SPACE H MO 8 where we used (see [5], page 42 r d+δ/2 x x 0 d+δ/2(xdx C((x 0,2r C(. ((x 0,2r c Then, (3.2 follows from (3.3 and (3.4. This completes the proof. Proof of Proposition 3.. As mentioned above, it is sufficient to show that f H Ξ, C f H Ξ for every f H Ξ (Rd. y Theorem 3. of [6], there are multiples of (H Ξ,2-atoms b j, j =,2,..., related to balls j such that f = j= b j and (3.5 Λ 2 ({b j } C f H Ξ, where Λ 2 ({b j } := inf { λ > 0 : j= } (j ( j Ξ( /2 b j 2. λ On the other hand, the estimate M f j= M (b j, Remark 2.2 and emma 3. give Ξ ( M f(x (xdx C Λ 2 ({b j } C C, Ξ j= j= ( M (b j (x Λ 2 ({b j } (xdx ( j Ξ( (j /2 b j Λ 2 ({b j } which implies that f H Ξ, CΛ 2 ({b j }. Therefore, (3.5 yields f H Ξ, C f H Ξ, which completes the proof of Proposition 3.. 4. Proof of Theorem 2 and Theorem 3 et P(x = (4π d/2 e x 2 /4 be the Gauss function. For n Z, following [4], the space h n (Rd denotes the space of all integrable functions f such that M n f(x = sup P t f(x = sup (, 0<t<2 n 0<t<2 n p t (x,yf(ydy where the kernel p t is given by p t (x,y = (4πt d/2 e x y 2 4t. We euipped this space with the norm f h n := M n f. For convenience of the reader, we list here some lemmas used in our proofs.
THE PRODUCT SPACE H MO 9 emma 4. (see [4], emma 2.3. There exists a constant C > 0 and a collection of balls = (x,2 n/2, n Z,k =,2,..., such that x n, n k, and card{(n,k : (x,r2 n/2 (x n,k,r2 n/2 } R C for all and R 2. emma 4.2 (see [4], emma 2.5. There are nonnegative C -functions ψ, n Z,k =,2,..., supported in the balls (x,2 n/2 such that ψ = and ψ C2 n/2. emma 4.3 (see (4.7 in [4]. For every f H (Rd, we have ψ f h n C f H. In this section, we fix a non-negative function ϕ S( with supp ϕ (0, and ϕ(xdx =. Then, we define the linear operator H by H(f = ( ψ f ϕ 2 n/2 (ψ f. In order to prove Theorem 2, we need two key lemmas. emma 4.4. The operator H maps continuously H (Rd into H (. The proof of emma 4.4 can be found in [7] (see emma 5. of [7]. emma 4.5. There exists a constant C = C(ϕ,d > 0 such that for all ( Z Z +, g MO ( and f h n (Rd with supp f (x,2 n/2, we have (ϕ 2 n/2 fg C f H h n g MO. To prove emma 4.5, we need the following. emma 4.6 (see [7], emma 6.5. et <, n Z and x n. Suppose that f h n (Rd with supp f (x,2 n/2. Then, there are (H,-atoms a j related to the balls (x j,r j such that (x j,r j (x,2 2 n/2 and f = λ j a j, λ j C f h n j j with a positive constant C independent of n and f. Hereandinwhatfollows, forany aballin andf alocallyintegrablefunction, we denote by f the average of f on.
THE PRODUCT SPACE H MO 0 Proof of emma 4.5. Asx n, itfollowsfromemma4.6thatthereare(h,2- atoms a j related to the balls (x j,r j (x,2 2 n/2 such that (4. f = λ j a j and λ j C f h n, j j where the positive constant C is independent of f,. Now, let us establish that ϕ 2 n/2 a j is C times a (H,2-atom related to the ball (x,5.2 n/2. Indeed, it is clear that C ρ(x < 5.2 n/2 < C ρ(x since x n ; and supp ϕ 2 n/2 a j (x,5.2 n/2 since supp ϕ (0, and supp (x,2 2 n/2. In addition, a j ϕ 2 n/2 a j 2 ϕ 2 n/2 2 a j (2 n/2 d/2 ϕ 2 C (x,5.2 n/2 /2. These prove that ϕ 2 n/2 a j is C times a (H,2-atom related to (x,5.2 n/2. yananalogousargument, itiseasytocheck that(ϕ 2 n/2 a j (g g (x,5.2 n/2 is C g MO times a (H,3/2-atom related to (x,5.2 n/2. Therefore, (4. yields (ϕ 2 n/2 fg C λ H j (ϕ 2 n/2 a j (g g (x,5.2 n/2 H j +C j λ j ϕ 2 n/2 a j H g (x,5.2 n/2 C f h n g MO, where we used g (x,5.2 n/2 g MO since ρ(x 5.2 n/2. Our main results are strongly related to the recent result of onami, Grellier and Ky []. In [], the authors proved the following. Theorem 4. There exists two continuous bilinear operators on the product space H ( MO(, respectively S : H ( MO( ( and T : H ( MO( H log ( such that f g = S(f,g+T(f,g. eforegivingtheproofofthemaintheorems, weshouldpointoutthatthebilinear operator T in Theorem 4 satisfies (4.2 T(f,g H log C f H ( g MO + g Q where Q := [0, d is the unit cube. To prove this, the authors in [] used the generalized Hölder ineuality (see also [2] fg log C f g Exp
THE PRODUCT SPACE H MO and the fact that g g Q Exp C g MO. Here, log ( denotes the space of all measurable functions f such that f(x dx < with the norm log(e+ f(x +log(e+ x f(x f log = inf λ > 0 : λ log(e+ f(x +log(e+ x dx λ and Exp( denotes the space of all measurable functions f such that (e f(x dx < with the norm (+ x 2d ( f Exp = inf λ > 0 : e f(x /λ (+ x 2ddx. In fact, Ineuality (4.2 also holds when we replace the unit cube Q by (0,r for every r > 0 since g g (0,r Exp C g MO. More precisely, there exists a constant C > 0 such that (4.3 fg log C f ( g MO + g (0,ρ(0 C f g MO for all f ( and g MO (. As a conseuence, we obtain (4.4 T(f,g H log C f H g MO for all f H ( and g MO (. Now, we are ready to give the proof of the main theorems. Proof of Theorem 2. We define two bilinear operators S and T by S (f,g = S(H(f,g+ ( ϕ 2 n/2 (ψ f g and T (f,g = T(H(f,g for all (f,g H (Rd MO (. Then, it follows from Theorem 4, emma 4.3, emma 4.4 and emma 4.5 that S (f,g S(H(f,g +C ( ϕ 2 n/2 (ψ f g H C g MO H(f H +C g MO ψ f h n and as (4.4, C f H g MO, T (f,g H log = T(H(f,g H log C H(f H g MO C f H g MO.
THE PRODUCT SPACE H MO 2 Furthermore, in the sense of distributions, we have = = S (f,g+t (f,g ( ( ψ f ϕ 2 n/2 (ψ f g + ( ψ f g = f g, which ends the proof of Theorem 2. ( ϕ 2 n/2 (ψ f g Proof of Theorem 3. ytheproofoftheorem2, thefunction ( (ϕ 2 n/2 (ψ fg belongs to H (Rd (. This implies that (ϕ 2 (ψ n/2 fg φ ǫ tends to (ϕ 2 (ψ fg almost everywhere, as ǫ 0. Therefore, applying n/2 Theorem.8 of [2], we get ( lim (f g ǫ(x = lim(h(f g ǫ (x+lim (ϕ 2 n/2 (ψ fg φ ǫ (x ǫ 0 ǫ 0 ǫ 0 ( = H(f(xg(x+ (ϕ 2 n/2 (ψ f(x g(x = f(xg(x for almost every x, which completes the proof of Theorem 3. References [] A. onami, S. Grellier and. D. Ky, Paraproducts and products of functions in MO(R n and H (R n through wavelets, J. Math. Pure Appl. 97 (202, 230 24. [2] A. onami, T. Iwaniec, P. Jones and M. Zinsmeister, On the product of functions in MO and H. Ann. Inst. Fourier (Grenoble. 57 (2007, no. 5, 405 439. [3] J. Dziubański, G. Garrigós, T. Martínez, J. Torrea and J. Zienkiewicz, M O spaces related to Schrödinger operators with potentials satisfying a reverse Hölder ineuality. Math. Z. 249 (2005, 329 356. [4] J. Dziubański and J. Zienkiewicz, Hardy space H associated to Schrödinger operator with potential satisfying reverse Hölder ineuality. Rev. Mat. Iberoamericana. 5 (999, 279 296. [5] J. García-Cuerva and J.. Rubio de Francia, Weighted norm ineualities and related topics. NorthHolland Math. Stud. 6, 985. [6]. D. Ky, New Hardy spaces of Musielak-Orlicz type and boundedness of sublinear operators, arxiv:03.3757. [7]. D. Ky, Endpoint estimates for commutators of singular integrals related to Schrödinger operators, arxiv:203.6335. [8] P. i and. Peng, The decomposition of product space H MO. J. Math. Anal. Appl. 349 (2009, 484 492.
THE PRODUCT SPACE H MO 3 [9] Z. Shen, p estimates for Schrödinger operators with certain potentials, Ann. Inst. Fourier. 45 (995, no. 2, 53 546. [0] D. Yang and S. Yang, Musielak-Orlicz Hardy Spaces Associated with Operators and Their Applications, arxiv:20.552. MAPMO-UMR 6628, Département de Mathématiues, Université d Orleans, 45067 Orléans Cedex 2, France Email: dangky@math.cnrs.fr