![Arxiv:1703.05527V1 [Math.CA]](http://data.docslib.org/img/2edba39f4b36ffb13a38a678ab6d5361-1.webp)
arXiv:1703.05527v1 [math.CA] 16 Mar 2017 osdrterda pcsadtebuddeso iglri singular of boundedness the and spaces dual their consider hyetbihdteaoi hrceiain of characterizations atomic the established they ae,Swn 2]etne n mrvdteaoi charact atomic the improved and extended [28] Sawano Later, n hoe l 3]gv hi qiaetcharacterization equivalent their gave [36] al. et Zhuo and aao[4 with [24] Sawano p space 1]o a n hoa ela 7 fCu-rb n 1]o Die of [11] and Cruz-Uribe conditions growth references). of nonstandard [7] with analysi as integrals harmonic variational well into applications as for [22] Zhao interest work [25] intrinsic and early Orlicz Fan the since to of study back [14] intensive traced more of be subject can the spaces Lebesgue variable of 5) ealta h aibeLbsu space Lebesgue variable the examp for that (see, Recall developed 35]). rapidly been have space, Lebesgue Introduction 1 rjc sas upre yteNtoa aua cec Fo Science Natural National the 11471042). by and supported 11671185 also is project tion. ( neplto between Interpolation e od n phrases. and words Key h rtato sspotdb h osrc rga fteK the of Program Construct the by supported is author first The · 2010 ∗ : ) sagnrlzto ftecasclHryspace Hardy classical the of generalization a As nrcn er,tere fsvrlvral ucinspac function variable several of theories years, recent In orsodn uhr/Jnay1 2017. 1, January / author Corresponding eopsto o n itiuino h aibewa ad space the interpolation Hardy real weak following space the variable prove Hardy then variable the and of author parts “bad” the distribution and article, any this for In decomposition condition. log-H¨older continuous globally h aibewa ad space Hardy weak variable the where Abstract rvdt oniewt h aibeLbsu space Lebesgue variable the with coincide to proved L R ahmtc ujc Classification Subject Mathematics p n ( · → ) ( R WH (0 n ,tevral ad spaces Hardy variable the ), , ∞ p ( Let · ,i eeaiaino h lsia eegespace Lebesgue classical the of generalization a is ), ) ( / p H (1 ( iin ho ahnYang Dachun Zhuo, Ciqiang · − p p aifigtegoal o-¨le otnosconditio log-H¨older continuous globally the satisfying ) ( ( θ · wa)Hrysae wa)Lbsu pc,vral expone variable space, Lebesgue (weak) space, Hardy (weak) ) · ) : ) ( ( R R H n n ) eoe h aibewa ad pc.A napplication, an As space. Hardy weak variable the denotes ) R p L , ( n · ) ∞ ( → R ( n R n h space the and ) (0 n H WH )) rmr 23;Scnay4B5 46B70. 42B35, Secondary 42B30; Primary . , ∞ θ, p ∞ eavral xoetfnto aifigthe satisfying function exponent variable a be ) ( p · ( ) · = ) ( ( R R H WH 1 n n p L with ) ) ( · p p ) ( ( ( and · · H L R ) ) / ( ∞ (1 n p R ∗ ( eefis netgtdb aa and Nakai by investigated first were ) ( − p · n R ) naino hn GatNs 11571039, Nos. (Grant China of undation n e Yuan Wen and − θ H ,wt aibeepnn function exponent variable a with ), ( ) WL n R ,prildffrnileutosand equations differential partial s, L ( =esinf ess := ): p R n ( ∞ yDsiln nHnnPoic.This Province. Hunan in Discipline ey n i itisc qaefunctions square (intrinsic) via s ,wihwr ute ple to applied further were which ), R p seas 1 ,2,3]adtheir and 32] 20, 2, [1, also (see ) ( tga prtr on operators ntegral ( · n θ , ) R e 3 ,1,1,2,3,3,34, 31, 30, 24, 13, 10, 4, [3, le, fKov´aˇcikof R´akosn´ık and and n h aibeLebesgue variable the and ) ( R rzto of erization oevr hyhv been have they moreover, , n n s ae ntevariable the on based es, ) ). ∈ x ∈ elMethod Real : (0 R n ig eas ftheir of because ning, rmbtenthe between orem , p 1) rtoti a obtain first s ( L x , ) p no“good” into ( H ∈ R t elinterpola- real nt, p n (1 ( .Testudy The ). · ) , ( .I [24], In n. ∞ R H is ) n p n[24] in ) ( · ) ( R n ). 2 Ciqiang Zhuo, Dachun Yang and Wen Yuan including the (intrinsic) Lusin-area function, the (intrinsic) Littlewood-Paley g-function ∗ or gλ-function. Independently, Cruz-Uribe and Wang [10] also studied the variable Hardy spaces Hp(·)(Rn) with p( ) satisfying some conditions slightly weaker than those used in · [24], and established their equivalent characterizations by means of radial or non-tangential maximal functions or atoms. However, the atomic characterization of Hp(·)(Rn) obtained in [10] is very different from the classical case, which, in spirit, is closer to the atomic characterization for weighted Hardy spaces due to Str¨omberg and Torchinsky [29]. In addition, the characterizations of Hp(·)(Rn) via Riesz transforms with p( ) satisfying the · same conditions as in [10] were presented in [33]. Very recently, motivated by the well-known fact that, when studying the boundedness of some singular integral operators in the critical case, the weak Hardy space WHp(Rn), with any p (0, 1], naturally appears as a proper substitute of the Hardy space Hp(Rn) ∈ (see [16, 23]), Yan et al. [31] introduced the variable weak Hardy space WHp(·)(Rn) and characterized these spaces via the radial or the non-tangential maximal functions, atoms, ∗ molecules, the Lusin-area function, the Littlewood-Paley g-function or gλ-function. As an application, the authors in [31] established the boundedness of some convolutional δ-type and non-convolutional γ-order Calder´on-Zygmund operators from Hp(·)(Rn) to p(·) Rn n n WH ( ) including the critical case when p− = n+δ or p− = n+γ , where
(1.1) p− := ess inf p(x), x∈Rn which implies that the space WHp(·)(Rn) is a suitable substitute of the space Hp(·)(Rn) in the study of boundedness of some singular integral operators in the critical case on Hp(·)(Rn). As was well known, Fefferman et al. [15] found that the weak Hardy space WHp(Rn) naturally appears as the intermediate space of the classical Hardy space Hp(Rn) and the space L∞(Rn) under the real interpolation, which is another main motivation to develop the real-variable theory of WHp(Rn). Therefore, it is natural and interesting to ask whether or not the variable weak Hardy space serves as the intermediate space between the variable Hardy space Hp(·)(Rn) and the space L∞(Rn) via the real interpolation. On the other hand, it is well known that, when p (1, ), ∈ ∞ (1.2) WHp(Rn)= WLp(Rn) with equivalent quasi-norms (see [15]), where WLp(Rn) denotes the classical weak Lebesgue space. Thus, it is also interesting to know whether or not this coincidence (1.2) remains true in the variable setting under some restriction on the variable exponent function. In this article, we give positive answers to the above two questions. Indeed, in Theorem 1.5 below, we prove that the real interpolation space between the variable Hardy space and the space L∞(Rn) is just the variable weak Hardy space introduced in [31], via first establishing a useful decomposition for any distribution of the variable weak Hardy space into “good” and “bad” parts (see Proposition 2.1 below). As an application, we conclude that, when p (1, ), the variable weak Hardy space WHp(·)(Rn) coincides with the − ∈ ∞ variable weak Lebesgue space WLp(·)(Rn). Interpolation between Hp(·)(Rn) and L∞(Rn): Real Method 3
To state the main result of this article, we first recall some basic notions about the theory of real interpolation (see [5]). Let (X0, X1) be a compatible couple of quasi-normed spaces, namely, X0 and X1 are two quasi-normed linear spaces which are continuously embedded into some large topological vector space. Let
X + X := f + f : f X and f X . 0 1 { 0 1 0 ∈ 0 1 ∈ 1} For any t (0, ), the Peetre K-functional K(t,f; X , X ) on X + X is defined by ∈ ∞ 0 1 0 1 setting, for any f X + X , ∈ 0 1 K(t,f; X , X ) := inf f + t f : f = f + f , f X and f X . 0 1 {k 0kX0 k 1kX1 0 1 0 ∈ 0 1 ∈ 1} Then, for any θ (0, 1) and q (0, ], the real interpolation space (X , X ) between ∈ ∈ ∞ 0 1 θ,q X0 and X1 is defined as (X , X ) := f X + X : f < , 0 1 θ,q { ∈ 0 1 k kθ,q ∞} where, for any f X + X , ∈ 0 1 ∞ q dt 1/q t−θK(t,f; X , X ) if q (0, ), 0 1 t ∈ ∞ f θ,q := 0 k k Z n −θ o sup t K(t,f; X0, X1) if q = . t∈(0,∞) ∞ We also recall some notation about variable Lebesgue spaces. For a detailed exposition of these concepts, we refer the reader to the monographs [8, 12]. Denote by (Rn) the P collection of all variable exponent functions p( ) : Rn (0, ) satisfying · → ∞ 0 p(x) ̺p(·)(f) := f(x) dx Rn | | Z and the Luxemburg (also known as the Luxemburg-Nakano) quasi-norm is given by setting f p(·) Rn := inf λ (0, ) : ̺ (f/λ) 1 . k kL ( ) ∈ ∞ p(·) ≤ Definition 1.1. Let p( ) (Rn). · ∈ P (i) The variable Lebesgue space Lp(·)(Rn) is defined to be the set of all measurable n functions f on R such that the (quasi-)norm f p(·) Rn is finite. k kL ( ) (ii) The variable weak Lebesgue space WLp(·)(Rn) is defined to be the set of all measurable functions f on Rn such that f p(·) n := sup α χ Rn < . WL (R ) {x∈ : |f(x)|>α} Lp(·)(Rn) k k α∈(0,∞) ∞ 4 Ciqiang Zhuo, Dachun Yang and Wen Yuan Remark 1.2. Let p( ) (Rn) and s (0, ). · ∈ P ∈ ∞ p(·) n s s (i) It is easy to see that, for any f L (R ), f p(·) Rn = f . Moreover, ∈ k| | kL ( ) k kLsp(·)(Rn) p(·) n for any λ C and f, g L (R ), λf p(·) Rn = λ f p(·) Rn and ∈ ∈ k kL ( ) | |k kL ( ) p p p f + g f + g , k kLp(·)(Rn) ≤ k kLp(·)(Rn) k kLp(·)(Rn) here and hereafter, (1.3) p := min p , 1 { − } with p as in (1.1). Particularly, when p [1, ), Lp(·)(Rn) is a Banach space (see − − ∈ ∞ [12, Theorem 3.2.7]). p(·) n s s (ii) For any f WL (R ), we have f p(·) Rn = f (see [31, Lemma ∈ k| | kWL ( ) k kWLsp(·)(Rn) 2.11]) and it was proved in [31, Lemma 2.9] that, for any λ (0, ) and f, g p(·) n ∈ ∞ ∈ WL (R ), λf p(·) Rn = λ f p(·) Rn and k kWL ( ) | |k kWL ( ) p p p f + g 2p f + g . k kWLp(·)(Rn) ≤ k kWLp(·)(Rn) k kWLp(·)(Rn) h i A function p( ) (Rn) is said to satisfy the globally log-H¨older continuous condition, · ∈ P denoted by p( ) Clog(Rn), if there exist positive constants C (p) and C , and p R · ∈ log ∞ ∞ ∈ such that, for any x, y Rn, ∈ C (p) p(x) p(y) log | − |≤ log(e + 1/ x y ) | − | and C p(x) p ∞ . | − ∞|≤ log(e + x ) | | In what follows, denote by (Rn) the space of all Schwartz functions on Rn equipped S with the well-known classical topology and ′(Rn) its topological dual space equipped with S the weak- topology. For any N N, let ∗ ∈ n n N β N (R ) := ψ (R ) : sup (1 + x ) D ψ(x) 1 , Rn F ∈ S Zn x∈ | | | | ≤ β∈ +X, |β|≤N h i n β ∂ β1 ∂ βn where, for any β := (β1,...,βn) Z , β := β1 + + βn and D := ( ) ( ) . ∈ + | | · · · ∂x1 · · · ∂xn Then, for any f ′(Rn), the radial grand maximal function f ∗ of f is defined by ∈ S N,+ setting, for any x Rn, ∈ (1.4) f ∗ (x) := sup f ψ (x) : t (0, ) and ψ (Rn) , N,+ {| ∗ t | ∈ ∞ ∈ FN } where, for any t (0, ) and ξ Rn, ψ (ξ) := t−nψ(ξ/t). ∈ ∞ ∈ t Interpolation between Hp(·)(Rn) and L∞(Rn): Real Method 5 Remark 1.3. For any a (0, ), N N, f ′(Rn) and x Rn, let ∈ ∞ ∈ ∈ S ∈ ∗ Rn fN,▽,a(x):= sup sup f ψt(y) : y , t (0, ), y x < at . n ψ∈FN (R ) {| ∗ | ∈ ∈ ∞ | − | } Then, by an argument similar to that used in the proof of [36, Proposition 2.1], we know that f ∗ f ∗ with the equivalent positive constants independent of f. N,+ ∼ N,▽,a Now we recall the definitions of both the variable Hardy space from Nakai and Sawano [24] and the variable weak Hardy space from Yan et al. [31]. Definition 1.4. Let p( ) Clog(Rn) and N ( n + n + 1, ) be a positive integer, where · ∈ ∈ p ∞ p is as in (1.3). (i) The variable Hardy space Hp(·)(Rn) is defined to be the set of all f ′(Rn) such ∈ S that f ∗ Lp(·)(Rn), equipped with the (quasi-)norm N,+ ∈ ∗ f p(·) Rn := f p(·) Rn . k kH ( ) k N,+kL ( ) (ii) The variable weak Hardy space WHp(·)(Rn) is defined to be the set of all f ′(Rn) ∈ S such that f ∗ WLp(·)(Rn), equipped with the quasi-norm N,+ ∈ ∗ f p(·) Rn := f p(·) Rn . k kWH ( ) k N,+kWL ( ) The main result of this article is stated as follows. Theorem 1.5. Let p( ) Clog(Rn) and θ (0, 1). Then it holds true that · ∈ ∈ p(·) n ∞ n pe(·) n (1.5) (H (R ),L (R ))θ,∞ = WH (R ), 1 1−θ where pe(·) = p(·) . As a consequence of Theorem 1.5 and [24, Lemma 3.1], we immediately obtain the following conclusion. Corollary 1.6. Let p( ) Clog(Rn). If p (1, ), then WHp(·)(Rn)= WLp(·)(Rn) with · ∈ − ∈ ∞ equivalent quasi-norm. Remark 1.7. (i) When p( ) p (0, 1), Theorem 1.5 goes back to [15, Theorem 1], · ≡ ∈ which states that (Hp(Rn),L∞(Rn)) = WHp/(1−θ)(Rn), θ (0, 1). θ,∞ ∈ (ii) When p( ) 1, (1.5) becomes · ≡ (H1(Rn),L∞(Rn)) = WH1/(1−θ)(Rn)= WL1/(1−θ)(Rn), θ (0, 1), θ,∞ ∈ which was presented in [26, (2)]. 6 Ciqiang Zhuo, Dachun Yang and Wen Yuan (iii) When p( ) p (1, ), (1.5) is a special case of [26, Theorem 7], namely, · ≡ ∈ ∞ (Lp(Rn),L∞(Rn)) = WLp/(1−θ)(Rn), θ (0, 1). θ,∞ ∈ The proofs of Theorem 1.5 and Corollary 1.6 are presented in Section 3. The main and key step in the proof of Theorem 1.5 is to decompose any distribution f from the variable weak Hardy space WHpe(·)(Rn) into “good” and “bad” parts (see Propo- sition 2.1 below). The vector-valued inequality of the Hardy-Littlewood maximal function on the variable Lebesgue space, obtained by Cruz-Uribe and Fiorenza [9, Corollary 2.1] (see also Lemma 2.3 below), and the atomic characterization of Hp(·)(Rn) via (p( ), )- · ∞ atoms established by Nakai and Sawano [24, Theorem 4.5] (see also Lemma 2.5 below), play the key roles in the proof of Proposition 2.1. By using this proposition and some ideas from the proof of [21, Theorem 4.1], we further prove that e (1.6) WHp(·)(Rn) (Hp(·)(Rn),L∞(Rn)) , ⊂ θ,∞ where θ, p( ) and p( ) are as in Theorem 1.5. The converse part of (1.6) is proved by · · ∗ applying the sublinear operator T (f) := fN,+, where N is as in Definition 1.4, to the real interpolation propertye between Lp(·)(Rn) and L∞(Rn), which is a special case of [21, Theorem 4.1] of Kempka and Vyb´ıral when p( ) = q ( ) and q = (see also Lemma 3.1 · 0 · ∞ below). Applying this last real interpolation property, between Lp(·)(Rn) and L∞(Rn), and Theorem 1.5, we immediately obtain Corollary 1.6. Here we point out that the approach used in the proof of (1.6) is quite different from that used in the proof of [15, Theorem 1] (see Remark 1.7(i) below). Indeed, in [15, Theorem 1], it seems to be only proved that the embedding e WHp(Rn) (Rn) (Hp(Rn),L∞(Rn)) ∩ S ⊂ θ,∞ h e i holds true instead of WHp(Rn) (Hp(Rn),L∞(Rn)) , since the proof of [15, Theorem ⊂ θ,∞ 1] strongly depends on the decomposition obtained in [15, Lemma A] (see also Remark 2.2 below), which was proved only for any f (Rn) instead of all distributions and, more ∈ S e importantly, the Schwartz class is not dense in the space WHp(Rn) (see, for example, [18, 19]). To overcome this gap and difficulty, in this article, we establish a decomposition of any distribution of f WHpe(·)(Rn) into “good” and “bad” parts in Proposition 2.1 ∈ via a modification of technique due to Calder´on [6] and some ideas from the proof of [31, Theorem 4.4] in which the atomic characterizations of variable weak Hardy spaces were obtained. Finally, we make some conventions on notation. Let N := 1, 2,... , Z := N 0 { } + ∪ { } and Rn+1 := Rn (0, ). We denote by C a positive constant which is independent of + × ∞ the main parameters, but may vary from line to line. The symbol f . g means f Cg. ≤ If f . g and g . f, we then write f g. If E is a subset of Rn, we denote by χ its ∼ E characteristic function and by E∁ the set Rn E. For any x Rn and r (0, ), denote \ ∈ ∈ ∞ by Q(x, r) the cube centered at x with side length r, whose sides are parallel to the axes of coordinates. For each cube Q Rn, we use x to denote its center and ℓ(Q) its side ⊂ Q length and, for any a (0, ), denote by aQ the cube concentric with Q having the side ∈ ∞ length aℓ(Q). We use ~0 to denote the origin of Rn. For any a R, let a be the maximal n ∈ ⌊ ⌋ integer not bigger than a. Interpolation between Hp(·)(Rn) and L∞(Rn): Real Method 7 2 A key decomposition In this section, we aim to establish a decomposition of any distribution f belonging to WHp(·)/(1−θ)(Rn) into “good” and “bad” parts in Proposition 2.1 below, which plays a key role in the proofs of Theorem 1.5 and Corollary 1.6 in Section 3. We begin with some notation. For any p( ) (Rn), let ψ (Rn) be such that · ∈ P ∈ S supp ψ B(~0 , 1), ψ(x)xγ dx = 0 for any γ Zn with γ s , where ⊂ n Rn ∈ + | |≤ 0 (2.1) R s := n(1/p 1) with p as in (1.1). 0 ⌊ − − ⌋ − Then there exists φ (Rn) satisfying that φ has compact support away from the origin n ∈ S and, for any x R ~0n , ∈ \{ } ∞ b dt ψ(tx)φ(tx) = 1; t Z0 see, for example, [6, (3.1)]. Define a functionb b η on Rn by setting, for any x Rn ~0 , ∈ \{ n} ∞ dt η(x) := ψ(tx)φ(tx) t Z1 b b and η(~0n) := 1. Then η is infinitelyb differentiable, has compact support and equals 1 near the origin (see [6, p. 219]). Moreover, for any t , t (0, ) and x Rn ~0 , 0 1 ∈ ∞ ∈ \{ n} b t1 dt (2.2) ψ(tx)φ(tx) = η(t x) η(t x). t 0 − 1 Zt0 n times b b b b Let x := (2, ... , 2) Rn and f WHp(·)(Rn). For any x Rn, let 0 ∈ ∈ ∈ z }| { φ(x) := φ(x x ), ψ(x) := ψ(x + x ) − 0 0 and, for any t (0, ), ∈ ∞ e e (2.3) F (x,t) := f φ (x), G(x,t) := f η (x). ∗ t ∗ t Then, using (2.2), we have, for any t , t (0, ) and x Rn ~0 , 0 e 1 ∈ ∞ ∈ \{ n} t1 dydt (2.4) F (y,t)ψ(x y) = G(x,t0) G(x,t1), Rn − t − Zt0 Z and, by [6, p. 220] and the fact thate f ′(Rn), we know that ∈ S δ dydt f = lim F (y,t)ψ( y) ǫ →0 ǫ Rn ·− t δ→∞ Z Z e converges in ′(Rn). Now, for any x Rn, let S ∈ (2.5) M▽(f)(x):= sup [ F (y,t) + G(y,t) ]. t∈(0,∞), |y−x|≤3(|x0|+1)t | | | | 8 Ciqiang Zhuo, Dachun Yang and Wen Yuan Then M▽(f) is lower semi-continuous and, by Remark 1.3 and [31, Corollary 3.8], we p(·) n further know that M▽(f) WL (R ) and, moreover, ∈ (2.6) M▽(f) p(·) Rn f p(·) Rn k kWL ( ) ∼ k kWH ( ) with the implicit equivalent positive constants independent of f. Now we have the following decomposition for elements of the variable weak Hardy space. Proposition 2.1. Assume that θ (0, 1), p( ) and p( ) are as in Theorem 1.5. Let pe(·) n ∈ · · ∞ n ′ n f WH (R ) and α (0, ). Then there exist gα L (R ) and bα (R ) such ∈ ′ ∈n ∞ ∈ ∈ S that f = g + b in (R ), g ∞ Rn C α and α α S k αkL ( ) ≤ 1 e (2.7) b p(·) Rn C M▽(f)χ Rn ▽ p(·) Rn < , k αkH ( ) ≤ 2k {x∈ : M (f)(x)>α}kL ( ) ∞ where C1 and C2 are two positive constants independent of f and α. In what follows, to simplify the presentation of this article, for any measurable function g and α, β (0, ) with α < β, we always write χ Rn or χ Rn ∈ ∞ {x∈ : g(x)>α} {x∈ : α b p Rn C M▽(f)χ ▽ p Rn , e k kH ( ) ≤ 2k {M (f)>α}kL ( ) where C1 and C2 are two positive constants independent of α and f. Comparing with [15, Lemma A], Proposition 2.1 presents ae decomposition of any distribution from WHpe(·)(Rn) and, in this sense, it is a very useful improvement of [15, Lemma A]. To prove Proposition 2.1, we need the following vector-valued inequality of the Hardy- Littlewood maximal operator on the variable Lebesgue space, which was obtained by M Cruz-Uribe and Fiorenza [9, Corollary 2.1]. Here and hereafter, the operator is defined M by setting, for any locally integrable function f on Rn and x Rn, ∈ 1 (f)(x) := sup f(y) dy, M B | | B∋x | | ZB where the supremum is taken over all balls B of Rn containing x. Lemma 2.3. Let r (1, ). Assume that p( ) Clog(Rn) satisfies 1 < p p < . ∈ ∞ · ∈ − ≤ + ∞ Then there exists a positive constant C such that, for any sequence f N of measurable { j}j∈ functions, 1/r 1/r [ (f )]r C f r . M j ≤ | j| j∈N j∈N p n p n X L (·)(R ) X L (·)(R ) p(·) Rn The atomic characterization of H ( ), obtained by Nakai and Sawano [24], also plays a key role in the proof of Proposition 2.1. The following notions of (p( ), )-atoms · ∞ p(·),∞ Rn and the atomic Hardy space Hatom ( ) come from [24, Definition 1.4] and [24, Definition 1.5] of Nakai and Sawano, respectively. Interpolation between Hp(·)(Rn) and L∞(Rn): Real Method 9 Definition 2.4. Let p( ) Clog(Rn). · ∈ (i) A measurable function a on Rn is called a (p( ), )-atom if there exists a cube · ∞ Q Rn such that supp a Q, ⊂ ⊂ 1 a L∞(Rn) k k ≤ χ p(·) Rn k QkL ( ) α Zn 1 and Rn a(x)x dx = 0 for any α with α n( 1) . ∈ + | | ≤ ⌊ p− − ⌋ R p(·),∞ Rn ′ Rn (ii) The variable atomic Hardy space Hatom ( ) is defined as the space of all f ( ) ′ n ∈ S such that f = N λ a in (R ), where λ N is a sequence of non-negative j∈ j j S { j}j∈ numbers and a N is a sequence of (p( ), )-atoms, associated with cubes Q N { Pj}j∈ · ∞ { j}j∈ of Rn. Moreover, for any f Hp(·),∞(Rn), let ∈ atom p 1/p λjχQj f p(·),∞ := inf , H (Rn) k k atom χQ p(·) Rn j∈N ( j L ( ) ) k k p n X L (·)(R ) where p is as in (1.3) and the infimum is taken over all admissible decompositions of f as above. The following atomic characterization of Hp(·)(Rn) by means of (p( ), )-atoms is a · ∞ part of [24, Theorem 4.5] of Nakai and Sawano. Lemma 2.5. Let p( ) Clog(Rn). Then Hp(·)(Rn) = Hp(·),∞(Rn) with equivalent quasi- · ∈ atom norms. Now we can show Proposition 2.1 by using Lemmas 2.3 and 2.5 as follows. Proof of Proposition 2.1. Let f WHpe(·)(Rn) and, for any i Z, ∈ ∈ n i Ω := x R : M▽(f)(x) > 2 . i ∈ Then Ωi is open and, by (2.6), we find that i sup 2 χΩi Lp(·)(Rn) M▽(f) WLp(·)(Rn) f WHp(·)(Rn). i∈Z k k ≤ k k ∼ k k By the Whitney decomposition (see, for example, [17, p. 463]), we know that, for any i Z, there exists a sequence Q N of cubes such that ∈ { i,j}j∈ (i) N Q =Ω and Q N have disjoint interiors; j∈ i,j i { i,j}j∈ (ii) forS any j N, √n l dist (Q , Ω∁) 4√n l , where l denotes the side ∈ Qi,j ≤ i,j i ≤ Qi,j Qi,j length of the cube Q and dist (Q , Ω∁) := inf x y : x Q , y Ω∁ ; i,j i,j i {| − | ∈ i,j ∈ i } l N 1 Qi,j (iii) for any j, k , if the boundaries of cubes Qi,j and Qi,k touch, then 4 l 4; ∈ ≤ Qi,k ≤ 10 Ciqiang Zhuo, Dachun Yang and Wen Yuan (iv) for any given j N, there exist at most 12n different cubes Q that touch Q . ∈ i,k i,j For any i Z, j N and x Rn, let ∈ ∈ ∈ dist x, Ω∁ := inf x y : y Ω∁ , i | − | ∈ i n o Ω := (x,t) Rn+1 : 0 < 2t( x + 1) < dist (x, Ω∁) , i ∈ + | 0| i n o eQ := (x,t) Rn+1 : x Q , (x,t) Ω Ω , i,j ∈ + ∈ i,j ∈ i\ i+1 and, for any ǫ (0, ), n o ∈ e∞ e e ∞ ǫ dt e bi,j(x) := χQ (y,t)F (y,t)ψt(x y) dy Rn i,j − t Zǫ Z e and ∞ ǫ dt ∗ bi (x) := χΩi (y,t)F (y,t)ψt(x y) dy , Rn − t Zǫ Z where e Ω∗ := (y,t) Rn+1 : y Ω , (y,t) Ω Ω . i { ∈ + ∈ i ∈ i\ i+1} ∁ It is easy to see that, for any x Rn, dist (x, Ω ) Z is decreasing in i, since Ω Z is ∈ { i }i∈ e e { i}i∈ decreasing in i. Next we finish the proof of this proposition by fours steps. Step 1) In this step, we show that, for any ǫ (0, ) and i Z, ∈ ∞ ∈ ǫ i (2.8) b ∞ Rn . 2 k i kL ( ) with the implicit positive constant independent of ǫ, i and f. To this end, we first observe that, for any given (x,t) Rn+1, ∈ + supp(ψ (x )) B(x,t[ x + 1]). t − · ⊂ | 0| For any i Z, let Ω∗,1 := (y,t) Rn+1 : y Ω , (y,t) Ω and ∈ i { ∈e + ∈ i ∈ i} Ω∗,2 := (y,t) Rn+1 : y Ω , (y,t) e(Ω )∁ . i ∈ + ∈ i ∈ i+1 n o Then χΩ∗ = χ ∗,1 χ ∗,2 . e i Ωi Ωi ∁ dist (x,Ωi ) n+1 If t , then, for any (y,t) R with y B(x,t[ x0 + 1]), ≥ |x0|+1 ∈ + ∈ | | dist y, Ω∁ dist x, Ω∁ + x y < dist x, Ω∁ + t( x + 1) 2t( x + 1), i ≤ i | − | i | 0| ≤ | 0| which implies that (y,t) / Ωi and hence χ ∗,1 (y,t)ψt(x y) = 0. Ωi ∁ ∈ − dist (x,Ωi ) n+1 If t< , then, for any (y,t) R with y B(x,t[ x0 + 1]), 3(|x0|+1) e ∈ + e ∈ | | (2.9) dist y, Ω∁ dist x, Ω∁ x y > dist x, Ω∁ t( x + 1) i ≥ i − | − | i − | 0| Interpolation between Hp(·)(Rn) and L∞(Rn): Real Method 11 > 2t( x + 1), | 0| which implies that (y,t) Ωi, y Ωi and hence χ ∗,1 (y,t)ψt(x y)= ψt(x y). Ωi ∁ ∈ ∈ − − dist (x,Ωi+1) n+1 If t , then, for any (y,t) R with y B(x,t[ x0 + 1]) Ωi, ≥ |x0|+1 e ∈ + ∈ e | | e ∩ (2.10) dist y, Ω∁ dist x, Ω∁ + x y < dist x, Ω∁ + t( x + 1) i+1 ≤ i+1 | − | i+1 | 0| 2t( x + 1), ≤ | 0| which implies that (y,t) / Ωi+1 and hence χΩ∗,2 (y,t)ψt(x y)= ψt(x y). ∈ i+1 − − ∁ dist (x,Ωi+1) n+1 If t< , then, for any (y,t) R with y B(x,t[ x0 + 1]), 3(|x0|+1) e ∈ + e∈ | e| dist y, Ω∁ dist x, Ω∁ x y > dist x, Ω∁ t( x + 1) > 2t( x + 1), i+1 ≥ i+1 − | − | i+1 − | 0| | 0| which implies that (y,t) Ωi+1 and hence χΩ∗,1 (y,t)ψt(x y) = 0. ∈ i+1 − From the above arguments, we deduce that, for any given (x,t) Rn+1, if e e ∈ + dist (x, Ω∁ ) dist (x, Ω∁) t / i+1 , i , ∈ 3( x + 1) x + 1 " | 0| | 0| # then, for any y Rn, it holds true that ∈ (2.11) χΩ∗ (y,t)ψt(x y)= χ ∗,1 (y,t)χ ∗,2 (y,t)ψt(x y) = 0. i − Ωi Ωi − Z Rn ǫ Next, for any given i e and x , we estimate bi (xe) in two cases. ∁ ∈dist (x,Ω∁ )∈ | | Case 1.1) dist (x,Ωi ) i+1 . 3(|x0|+1) ≤ |x0|+1 In this case, we have dist (x, Ω∁ ) dist (x, Ω∁) dist (x, Ω∁ ) dist (x, Ω∁) i+1 i i+1 i . 3( x + 1) ≤ 3( x + 1) ≤ x + 1 ≤ x + 1 | 0| | 0| | 0| | 0| Then, by (2.11), we know that ∁ ∁ dist (x,Ω ) i+1 dist (x,Ωi ) ǫ |x0|+1 dt |x0|+1 (2.12) b (x) ∁ χ ∗ (y,t) F (y,t) ψ (x y) dy + ∁ . i dist (x,Ω ) Ωi t dist (x,Ω ) | |≤ i+1 Rn | || − | t i · · · Z 3(|x0|+1) Z Z 3(|x0|+1) e i+1 Since χ ∗ (y,t) = 0 implies that (y,t) / Ω , it follows that F (y,t) 2 , where Ωi 6 ∈ i+1 | | ≤ F is as in (2.3). By this, (2.12) and the fact that, for any t (0, ) and x Rn, ∈ ∞ ∈ ψ (x y) dy . 1, we conclude that e Rn | t − | ∁ ∁ R dist (x,Ω ) e i+1 dist (x,Ωi ) ǫ i |x0|+1 dt |x0|+1 dt i ∁ ∁ (2.13) bi (x) . 2 dist (x,Ω ) + x, . 2 | | i+1 t dist ( Ωi ) t Z 3(|x0|+1) Z 3(|x0|+1) 12 Ciqiang Zhuo, Dachun Yang and Wen Yuan with the implicit positive constants independent of ǫ, i and x. ∁ dist (x,Ω∁ ) Case 1.2) dist (x,Ωi ) > i+1 . 3(|x0|+1) |x0|+1 In this case, we have dist (x, Ω∁ ) dist (x, Ω∁) dist (x, Ω∁) i+1 < i < i . x + 1 3( x + 1) x + 1 | 0| | 0| | 0| Then, by (2.9), (2.10) and (2.11), we obtain ∁ ∁ dist (x,Ω ) i+1 dist (x,Ωi ) ǫ |x0|+1 dt |x0|+1 ∁ ∗ ∁ bi (x) dist (x,Ω ) χΩi (y,t) F (y,t) ψt(x y) dy + dist (x,Ω ) | |≤ i+1 Rn | || − | t i · · · Z 3(|x0|+1) Z Z 3(|x0|+1) ∁ dist (x,Ωi ) e 3(|x0|+1) dt ∁ + dist (x,Ω ) F (y,t)ψt(x y) dy i+1 Rn − t Z |x0|+1 Z e =: I1 +I2 +I3. By the argument same as that used in the proof of (2.13), we have i I1 +I2 . 2 . For I3, by (2.4), we find that ∁ ∁ dist (x, Ωi+1) dist (x, Ωi ) (2.14) I3 = G x, G x, . x0 + 1 ! − 3( x0 + 1) ! | | | | ∁ ∁ dist (x,Ωi+1) dist (x,Ωi ) ∁ On the other hand, if t [ , ], then dist (x, Ω ) t( x0 + 1). Thus, ∈ |x0|+1 3(|x0|+1) i+1 ≤ | | there exists x∗ Ω∁ such that x x∗ 3t( x + 1), which, together with (2.5), further ∈ i+1 | − |≤ | 0| implies that ∗ i G(x,t) . M▽(f)(x ) . 2 . | | By this and (2.14), we find that I 2i. Therefore, in this case, we also have bǫ(x) . 2i, 3 ≤ | i | which, combined with (2.13), implies that (2.8) holds true. This finishes the proof of Step 1). Step 2) In this step, we construct g for any α (0, ). α ∈ ∞ By (2.8) of Step 1), we conclude that, for any i Z, bǫ is bounded in L∞(Rn) ∈ { i }ǫ∈(0,∞) uniformly with respect to ǫ (0, ). Thus, by the Alaoglu theorem (see, for example, ∈ ∞ [27, Theorem 3.17]) and the well-known diagonal rule, we find that there exist b Z { i}i∈ ⊂ L∞(Rn) and ǫ N (0, ) such that ǫ 0 as k and, for any i Z and { k}k∈ ⊂ ∞ k → → ∞ ∈ g L1(Rn), ∈ ǫk (2.15) lim bi , g = bi, g ; k→∞h i h i moreover, for any i Z, ∈ i (2.16) b ∞ Rn . 2 . k ikL ( ) Interpolation between Hp(·)(Rn) and L∞(Rn): Real Method 13 Next, we claim that, for any i Z, 0 ∈ i0 i0 ǫk ′ Rn (2.17) lim bi = bi in ( ). k→∞ S i=X−∞ i=X−∞ Indeed, by (2.8), we know that, for any ǫ (0, ), ∈ ∞ i0 i0 ǫ i i0 (2.18) b ∞ Rn . 2 . 2 , k i kL ( ) i=X−∞ i=X−∞ and, by (2.16), we have i0 i0 i i0 (2.19) b ∞ Rn . 2 . 2 . k ikL ( ) i=X−∞ i=X−∞ Thus, both i0 bǫ and i0 b converge in L∞(Rn) and, for any g (Rn), i=−∞ i i=−∞ i ∈ S Pi0 P i0 ǫk ǫ [ b , g + b , g ] g 1 Rn [ b ∞ Rn + b ∞ Rn ] |h i i| |h i i| ≤ k kL ( ) k i kL ( ) k ikL ( ) i=X−∞ i=X−∞ i0 . 2 g 1 Rn < . k kL ( ) ∞ Therefore, for any δ (0, ), there exists N N [ i , ), depending on δ and n, such ∈ ∞ ∈ ∩ | 0| ∞ that −N ǫk [ b , g + b , g ] < δ g 1 Rn /4. |h i i| |h i i| k kL ( ) i=X−∞ On the other hand, by (2.15), we find that, for any given i Z and g (Rn), there ∈ ∈ S exists K N, depending on i and g, such that, when k > K , i ∈ i δ bǫk , g b , g < . |h i i − h i i| 2( i + N) | 0| Let K := max K , K ,...,K . Then, for any given i Z and g (Rn), by { −N+1 −N+2 i0 } ∈ ∈ S (2.18) and (2.19), we know that, for any k > K, i0 i0 ǫk bi , g bi, g * + − * + i=−∞ i=−∞ X X i0 i0 ǫk = bi , g bi, g h i− h i i=−∞ i=−∞ X X −N i0 [ bǫk , g + b , g ]+ bǫk , g b , g ≤ |h i i| |h i i| |h i i − h i i| i=X−∞ i=X−N+1 14 Ciqiang Zhuo, Dachun Yang and Wen Yuan δ δ g 1 Rn /4 + ( i + N) . δ, ≤ k kL ( ) | 0| 2( i + N) | 0| where the implicit positive constant depends on i and g. This implies that (2.17) holds true. Now, for any given α (0, ), we choose i Z such that 2i0 α< 2i0+1. Let ∈ ∞ 0 ∈ ≤ i0 gα := bi. i=X−∞ Then, by the above claim and (2.19), we conclude that g L∞(Rn) and α ∈ i0 g ∞ Rn . 2 α, k αkL ( ) ∼ which completes the proof of Step 2). Step 3) In this step, we construct b for any α (0, ). α ∈ ∞ From an argument similar to that used in the proof of [31, Theorem 4.4], we deduce that there exist b N L∞(Rn) and a subsequence ǫ N ǫ N such that { i,j}i>i0,j∈ ⊂ { kl }l∈ ⊂ { k}k∈ ǫ 0 as l and, for any i > i , j N and g L1(Rn), kl → →∞ 0 ∈ ∈ ǫkl lim bi,j , g = bi,j, g , l→∞h i h i i γ supp b c Q for some constant c (1, ), b ∞ Rn . 2 and b (x)x dx = 0 i,j ⊂ 1 i,j 1 ∈ ∞ k i,jkL ( ) Rn i,j for any γ Zn with γ s , where s is as in (2.1). Moreover, ∈ + | |≤ 0 0 R ∞ ∞ ǫ kl ′ Rn lim bi,j = bi,j in ( ). l→∞ N N S i=Xi0+1 Xj∈ i=Xi0+1 Xj∈ Let ∞ bα := bi,j. N i=Xi0+1 Xj∈ Next, we show that bα satisfies (2.7). By the construction of bi,j, we know that there exists c (0, ) such that 1 ∈ ∞ ∞ ∞ e i bi,j (2.20) bα = c12 χc1Qi,j Lp(·)(Rn) i =: λi,jbi,j N k k c12 χc1Qi,j Lp(·)(Rn) i=Xi0+1 Xj∈ h i k k i=Xi0+1 e e is a linear combination of (p( ), )-atoms (see Definitione 2.4(i)). Then, by Lemma 2.3, · ∞ the fact that χ . (χ ) and property (i) of the previous Whitney decomposition c1Qi,j M Qi,j presented in this proof, we find that 1 ∞ p p λi,jχc1Qi,j (2.21) χc1Qi,j Lp(·)(Rn) i=i0+1 j∈N " # k k p n X X L (·)(R ) Interpolation between Hp(·)(Rn) and L∞(Rn): Real Method 15 1 1 ∞ p ∞ p . 2ip (χ ) . 2ipχ M Qi,j Qi,j i=i0+1 j∈N i=i0+1 j∈N p n p n X X L (·)(R ) X X L (·)(R ) 1 1 ∞ p ∞ p . 2ipχ [2iχ ]p Ωi ∼ Ωi\Ωi+1 (i=i0+1 ) p n (i=i0+1 ) p n X L (·)(R ) X L (·)(R ) 1 ∞ p . M▽(f) χΩ \Ω M▽(f)χΩi +1 i i+1 ∼ 0 Lp(·)(Rn) (i=i0+1 ) p n X L (·)(R ) . M (f)χ , ▽ {M▽(f)>α} Lp(·)(Rn) pe(·) n where p is as in (1.3). On the other hand, by the definition of WL (R ) and (2.6), we know that, for θ (0, 1), ∈ (2.22) M (f)χ ▽ {M▽(f)>α} Lp(·)(Rn) 1 ∞ p p [M▽(f)] χ{2iα . M (f)χ . ▽ {M▽(f)>α } Lp(·)(Rn) This finishes the proof of Step 3). Step 4) In this step, we prove that f = g + b in ′(Rn). α α S We first claim that, for any given i Z, ǫ (0, ) and x Rn, ∈ ∈ ∞ ∈ ǫ ǫ (2.23) bi,j(x)= bi (x). N Xj∈ 16 Ciqiang Zhuo, Dachun Yang and Wen Yuan n Indeed, since, for any (y,t) R (0, ) and all x B(y, 3[ x +1]t), F (y,t) M▽(f)(x), ∈ × ∞ ∈ | 0| ≤ it follows that −1 F (y,t) χ M▽(f) p(·) , | | ≤ k B(y,3[|x0|+1]t)kLp(·)(Rn)k kL (B(y,3[|x0|+1]t)) which, together with the fact that, for any measurable subset E Rn, ⊂ 1 1 p p χ p(·) Rn min E − , E + , k EkL ( ) ≥ | | | | implies that n n − p − p (2.24) F (y,t) max t − ,t + M▽(f) p(·) Rn . | |≤ { }k kL ( ) Thus, by (2.24), N χ e = χΩ∗ 1 and the Lebesgue dominated convergence theorem, j∈ Qi,j i ≤ we conclude that P ∞ ǫ dt b (x)= χ e (y,t)F (y,t)ψ (x y) dy i,j Qi,j t N N ǫ Rn − t Xj∈ Xj∈ Z Z N e ∞ dt e = lim χQ (y,t)F (y,t)ψt(x y) dy N→∞ Rn i,j − t Zǫ Z j=1 ∞ X e dt ǫ ∗ = χΩi (y,t)F (y,t)ψt(x y) dy = bi(x). Rn − t Zǫ Z Therefore, (2.23) holds true. e Now, by the argument same as that used in [31, p. 2855], (2.17) and (2.23), we find that i0 ∞ ǫkl ǫkl ǫkl f = lim bi,j = lim bi,j + lim bi,j l→∞ l→∞ l→∞ Z N N N Xi∈ Xj∈ i=X−∞ Xj∈ i=Xi0+1 Xj∈ i0 ∞ i0 ∞ ǫkl ǫkl = lim bi + lim bi,j = bi + bi,j = gα + bα, l→∞ l→∞ N N i=X−∞ i=Xi0+1 Xj∈ i=X−∞ i=Xi0+1 Xj∈ where all above summations converge in ′(Rn). This finishes the proof of Step 4) and S hence the proof of Proposition 2.1. 3 Proofs of Theorem 1.5 and Corollary 1.6 In this section, we prove Theorem 1.5 and Corollary 1.6 by using Proposition 2.1. To this end, we need the following known real interpolation result, which is [21, Theorem 4.1] of Kempka and Vyb´ıral in the case when p( )= q ( ) and q = . · 0 · ∞ Lemma 3.1. Let p( ) (Rn) and θ (0, 1). Then it holds true that · ∈ P ∈ p(·) n ∞ n p(·)/(1−θ) n (L (R ),L (R ))θ,∞ = WL (R ). Interpolation between Hp(·)(Rn) and L∞(Rn): Real Method 17 Using Proposition 2.1 and Lemma 3.1, we now show Theorem 1.5 as follows. Proof of Theorem 1.5. We first prove that e (3.1) WHp(·)(Rn) (Hp(·)(Rn),L∞(Rn)) . ⊂ θ,∞ Let f WHpe(·)(Rn). Then we show f (Hp(·)(Rn),L∞(Rn)) by two steps. ∈ ∈ θ,∞ Step 1) In this step, we estimate K(t,f; Hp(·)(Rn),L∞(Rn)) for any t (0, ). ∈ ∞∞ n By Proposition 2.1, we know that, for any α (0, ), there exist gα L (R ) and p(·) n ′ n ∈ ∞ ∈ b H (R ) such that f = g + b in (R ), g ∞ Rn . α and b satisfies (2.7). α ∈ α α S k αkL ( ) α Then, by Proposition 2.1, we find that, for any t (0, ), ∈ ∞ K(t,f; Hp(·)(Rn),L∞(Rn)) p(·) n ∞ n = inf f p(·) Rn + t f ∞ Rn : f = f + f , f H (R ) and f L (R ) k 0kH ( ) k 1kL ( ) 0 1 0 ∈ 1 ∈ n o inf bα Hp(·)(Rn) + t gα L∞(Rn) : bα and gα are as in Proposition 2.1 ≤ α∈(0,∞) k k k k n o . inf M▽(f)χ{M▽(f)>α} p(·) Rn + tα α∈(0,∞) L ( ) n o ∞ inf M▽(f) χ{2j α which, together with Remark 1.2(i), implies that (3.2) K(t,f; Hp(·)(Rn),L∞(Rn)) 1 ∞ p p . inf M▽(f)χ{2j α h(λ) := χ p(·) Rn . k {M▽(f)>λ}kL ( ) For any t (0, ), let ∈ ∞ 1 ∞ p p α := α(t) := inf µ (0, ) : 2jh(2j µ) t . ∈ ∞ ≤ j=0 X 18 Ciqiang Zhuo, Dachun Yang and Wen Yuan Observe that the function h is decreasing on (0, ). Then it is easy to see that ∞ 1 ∞ p p 2jh(2j α(t)) t. ≤ j=0 X From this and (3.2), we deduce that (3.3) K(t,f; Hp(·)(Rn),L∞(Rn)) . tα(t). Step 2) In this step, we estimate I:= sup t−θK(t,f; Hp(·)(Rn),L∞(Rn)). t∈(0,∞) By (3.3), we find that (3.4) I . sup t1−θα(t) sup sup t1−θ2k. t∈(0,∞) ∼ k∈Z t∈(0,∞) 2k<α(t)≤2k+1 Notice that, when 2k < α(t), 1 ∞ p [2jh(2j 2k)]p t, ≥ Xj=0 which, combined with (3.4), implies that 1−θ ∞ p I . sup 2k [2jh(2j 2k)]p . k∈Z Xj=0 If 1−θ 1 with p as in (1.3), then, by the well-known inequality that, for any d (0, 1] p ≤ ∈ and ai i∈N C, { } ⊂ d d ai ai , N | |! ≤ N | | Xi∈ Xi∈ we know that ∞ ∞ (3.5) I . sup 2k [2jh(2j+k)]1−θ . sup 2−θj2j+k[h(2j+k)]1−θ k∈Z k∈Z Xj=0 Xj=0 ∞ −θj l l 1−θ l l 1−θ l 1−θ . 2 sup 2 [h(2 )] . sup 2 [h(2 )] sup 2 χ l {M▽(f)>2 } Lp(·)(Rn) l∈Z l∈Z ∼ l∈Z k k Xj=0 l e e sup 2 χ{M▽(f)>2l} Lp(·)(Rn) . M▽(f) WLp(·)(Rn). ∼ l∈Z k k k k Interpolation between Hp(·)(Rn) and L∞(Rn): Real Method 19 1−θ If p > 1 with p as in (1.3), then, by the H¨older inequality, we find that, for any ǫ (0, θ ), ∈ 1−θ ∞ (3.6) I . sup 2k 2j(1+ǫ)(1−θ)[h(2j+k)]1−θ . sup 2l[h(2l)]1−θ k∈Z l∈Z Xj=0 l e e . sup 2 χ{M▽(f)>2l} Lp(·)(Rn) . M▽(f) WLp(·)(Rn). l∈Z k k k k Now, by (3.5) and (3.6), we conclude that −θ p(·) Rn ∞ Rn sup t K(t,f; H ( ),L ( )) . M▽(f) WLpe(·)(Rn) f WHpe(·)(Rn), t∈(0,∞) k k ∼ k k which completes the proof of Step 2). Therefore, f (Hp(·)(Rn),L∞(Rn)) and hence ∈ θ,∞ (3.1) holds true. Conversely, we need to show that e (3.7) (Hp(·)(Rn),L∞(Rn)) WHp(·)(Rn). θ,∞ ⊂ To prove (3.7), let T be a sublinear operator defined by setting, for any f ′(Rn), ∗ ∗ ∈ S T (f) := fN,+, where N is as in Definition 1.4 and fN,+ is as in (1.4). p(·) n ∞ n We claim that the operator T is bounded from the space (H (R ),L (R ))θ,∞ to the space (Lp(·)(Rn),L∞(Rn)) . Indeed, let g (Hp(·)(Rn),L∞(Rn)) . Then, by θ,∞ ∈ θ,∞ the definition of (Hp(·)(Rn),L∞(Rn)) , we know that there exist g Hp(·)(Rn) and θ,∞ 0 ∈ g L∞(Rn) such that 1 ∈ −θ (3.8) sup t [ g p(·) n + t g ∞ Rn ] . g p(·) n ∞ n . 0 H (R ) 1 L ( ) (H (R ),L (R ))θ,∞ t∈(0,∞) k k k k k k Moreover, observe that T (g) T (g )+ T (g ). Notice that T is bounded from L∞(Rn) ≤ 0 1 to L∞(Rn) and also from Hp(·)(Rn) to Lp(·)(Rn). It follows that T (g ) Lp(·)(Rn) and 0 ∈ T (g ) L∞(Rn). Let 1 ∈ 1 1 E := x Rn : T (g)(x) T (g )(x) and E := x Rn : T (g)(x) T (g )(x) . 0 ∈ 2 ≤ 0 1 ∈ 2 ≤ 1 Then Rn = [E E ] = [E (E E )]. Thus, we have 0 ∪ 1 0 ∪ 1\ 0 T (g)= T (g)χ + T (g)χ Lp(·)(Rn)+ L∞(Rn). E0 E1\E0 ∈ From this and (3.8), we deduce that −θ T (g) p(·) n ∞ n sup t T (g)χ p(·) n + t T (g)χ ∞ Rn (L (R ),L (R ))θ,∞ E0 L (R ) E1\E0 L ( ) k k ≤ t∈(0,∞) k k k k h i −θ . sup t T (g0) Lp(·)(Rn) + t T (g1) L∞(Rn) t∈(0,∞) k k k k h i 20 Ciqiang Zhuo, Dachun Yang and Wen Yuan −θ . sup t g0 Hp(·)(Rn) + t g1 L∞(Rn) t∈(0,∞) k k k k h i . g p(·) Rn ∞ Rn . k k(H ( ),L ( ))θ,∞ Therefore, the above claim holds true. p(·) n ∞ n By this claim and Lemma 3.1, we conclude that, if f (H (R ),L (R ))θ,∞, then e e ∈ T (f) belongs to WLp(·)(Rn), namely, f WHp(·)(Rn). Thus, (3.7) holds true. This finishes ∈ the proof of Theorem 1.5. We end this section by giving the proof of Corollary 1.6 via using Theorem 1.5 and Lemma 3.1. Proof of Corollary 1.6. Since p (1, ), it follows from [24, Lemma 3.1] that − ∈ ∞ (3.9) Hp(·)(Rn)= Lp(·)(Rn) with equivalent norms. Moreover, there exists θ (0, 1) such that (1 θ)p (1, ). By ∈ − − ∈ ∞ this, (3.9), Theorem 1.5 and the fact that (1−θ)p(·) n ∞ n p(·) n (L (R ),L (R ))θ,∞ = WL (R ) (see Lemma 3.1), we conclude that p(·) n (1−θ)p(·) n ∞ n WH (R ) = (H (R ),L (R ))θ,∞ (1−θ)p(·) n ∞ n p(·) n = (L (R ),L (R ))θ,∞ = WL (R ). This finishes the proof of Corollary 1.6. References [1] E. Acerbi and G. Mingione, Regularity results for stationary electro-rheological flu- ids, Arch. Ration. Mech. Anal. 164 (2002), 213-259. [2] E. Acerbi and G. Mingione, Gradient estimates for the p(x)-Laplacean system, J. Reine Angew. Math. 584 (2005), 117-148. [3] A. Almeida and A. Caetano, Atomic and molecular decompositions in variable ex- ponent 2-microlocal spaces and applications, J. Funct. Anal. 270 (2016), 1888-1921. [4] A. Almeida and P. H¨ast¨o, Besov spaces with variable smoothness and integrability, J. Funct. Anal. 258 (2010), 1628-1655. [5] J. Bergh and J. L¨ofstr¨om, Interpolation Spaces. An introduction, Grundlehren der Mathematischen Wissenschaften, No. 223. Springer-Verlag, Berlin-New York, 1976. [6] A.-P. Calder´on, An atomic decomposition of distributions in parabolic Hp spaces, Adv. Math. 25 (1977), 216-225. [7] D. Cruz-Uribe, The Hardy-Littlewood maximal operator on variable-Lp spaces, in: Seminar of Mathematical Analysis (Malaga/Seville, 2002/2003), 147-156, Colecc. Abierta, 64, Univ. Sevilla Secr. Publ., Seville, 2003. Interpolation between Hp(·)(Rn) and L∞(Rn): Real Method 21 [8] D. V. Cruz-Uribe and A. Fiorenza, Variable Lebesgue Spaces. Foundations and Har- monic Analysis, Applied and Numerical Harmonic Analysis, Birkh¨auser/Springer, Heidelberg, 2013. [9] D. Cruz-Uribe, A. Fiorenza, J. M. Martell and C. P´erez, The boundedness of classical operators on variable Lp spaces, Ann. Acad. Sci. Fenn. Math. 31 (2006), 239-264. [10] D. Cruz-Uribe and L.-A. D. Wang, Variable Hardy spaces, Indiana Univ. Math. J. 63 (2014), 447-493. [11] L. Diening, Maximal function on generalized Lebesgue spaces Lp(·)(Rn), Math. In- equal. Appl. 7 (2004), 245-253. [12] L. Diening, P. Harjulehto, P. H¨ast¨oand M. R˚uˇziˇcka, Lebesgue and Sobolev Spaces with Variable Exponents, Lecture Notes in Math. 2017, Springer, Heidelberg, 2011. [13] L. Diening, P. H¨ast¨oand S. Roudenko, Function spaces of variable smoothness and integrability, J. Funct. Anal. 256 (2009), 1731-1768. [14] X. Fan and D. Zhao, On the spaces Lp(x)(Ω) and W m,p(x)(Ω), J. Math. Anal. Appl. 263 (2001), 424-446. [15] C. Fefferman, N. M. Rivi`ere and Y. Sagher, Interpolation between Hp spaces: the real method, Trans. Amer. Math. Soc. 191 (1974), 75-81. [16] R. Fefferman and F. Soria, The space weak H1, Studia Math. 85 (1986), 1-16. [17] L. Grafakos, Classical Fourier Analysis, Third edition, Graduate Texts in Math. 249, Springer, New York, 2014. [18] L. Grafakos and D. He, Weak Hardy spaces. Some topics in harmonic analysis and applications, 177-202, Adv. Lect. Math. (ALM), 34, Int. Press, Somerville, MA, 2016. [19] D. He, Square function characterization of weak Hardy spaces, J. Fourier Anal. Appl. 20 (2014), 1083-1110. [20] M. Izuki, E. Nakai and Y. Sawano, Function spaces with variable exponents–an introduction–, Sci. Math. Jpn. 77 (2014), 187-315. [21] H. Kempka and J. Vyb´ıral, Lorentz spaces with variable exponents, Math. Nachr. 287 (2014), 938-954. [22] O. Kov´aˇcik and J. R´akosn´ık, On spaces Lp(x) and W k,p(x), Czechoslovak Math. J. 41 (116) (1991), 592-618. [23] H. Liu, The weak Hp spaces on homogenous groups, in: Harmonic Analysis (Tianjin, 1988), 113-118, Lecture Notes in Math. 1494, Springer, Berlin, 1991. [24] E. Nakai and Y. Sawano, Hardy spaces with variable exponents and generalized Campanato spaces, J. Funct. Anal. 262 (2012), 3665-3748. [25] W. Orlicz, Uber¨ konjugierte Exponentenfolgen, Studia Math. 3 (1931), 200-211. [26] N. M. Rivi`ere and Y. Sagher, Interpolation between L∞ and H1, the real method, J. Funct. Anal. 14 (1973), 401-409. [27] W. Rudin, Functional Analysis. Second edition, International Series in Pure and Applied Mathematics, McGraw-Hill, Inc., New York, 1991. [28] Y. Sawano, Atomic decompositions of Hardy spaces with variable exponents and its application to bounded linear operators, Integral Equations Operator Theory 77 (2013), 123-148. 22 Ciqiang Zhuo, Dachun Yang and Wen Yuan [29] J.-O. Str¨omberg and A. Torchinsky, Weighted Hardy Spaces, Lecture Notes in Math. 1381, Springer-Verlag, Berlin, 1989. [30] J. Xu, Variable Besov and Triebel-Lizorkin spaces, Ann. Acad. Sci. Fenn. Math. 33 (2008), 511-522. [31] X. Yan, D. Yang, W. Yuan and C. Zhuo, Variable weak Hardy spaces and their applications, J. Funct. Anal. 271 (2016), 2822-2887. [32] D. Yang, W. Yuan and C. Zhuo, A survey on some variable function spaces, in: Function Spaces and Inequalities, Springer, 2017 (to appear). [33] D. Yang, C. Zhuo and E. Nakai, Characterizations of variable exponent Hardy spaces via Riesz transforms, Rev. Mat. Complut. 29 (2016), 245-270. [34] D. Yang, C. Zhuo and W. Yuan, Triebel-Lizorkin type spaces with variable expo- nents, Banach J. Math. Anal. 9 (2015), 146-202. [35] D. Yang, C. Zhuo and W. Yuan, Besov-type spaces with variable smoothness and integrability, J. Funct. Anal. 269 (2015), 1840-1898. [36] C. Zhuo, D. Yang and Y. Liang, Intrinsic square function characterizations of Hardy spaces with variable exponents, Bull. Malays. Math. Sci. Soc. 39 (2016), 1541-1577. Ciqiang Zhuo Key Laboratory of High Performance Computing and Stochastic Information Process- ing (HPCSIP) (Ministry of Education of China), College of Mathematics and Computer Science, Hunan Normal University, Changsha, Hunan 410081, P. R. China E-mail: [email protected] (C. Zhuo) Dachun Yang (Corresponding author) and Wen Yuan School of Mathematical Sciences, Beijing Normal University, Laboratory of Mathematics and Complex Systems, Ministry of Education, Beijing 100875, People’s Republic of China E-mails: [email protected] (D. Yang) [email protected] (W. Yuan)