arxiv: v1 [math.fa] 15 Aug 2018

Transcription

1 VARIABLE EXPONENT TRIEBEL-LIZORKIN-MORREY SPACES arxiv: v [math.fa] 5 Aug 208 ANTÓNIO CAETANO AND HENNING KEMPKA Abstract. We introduce variable exponent versions of Morreyfied Triebel- Lizorkin spaces. After proving an important convolution inequality we give characterizations by means of Peetre maximal functions, atoms and molecules. For quite restrictive assumptions on some of the exponents, such spaces are covered also by different approaches by other authors, as explained in the Introduction. On the contrary, with our more direct method we can get rid of such undesirable restrictions. We also show that in some cases the number of zero moments needed for molecules, in order that an infinite linear combination of them with coefficients in a natural sequence space converges in the space of tempered distributions, is much smaller than what is usually required. A Sobolev type theorem for related sequence spaces, which might have independent interest, is also established.. Introduction In this paper we introduce and present some properties of spaces which mix two recent trends in the literature: starting from the Besov and Triebel-Lizorkin spaces B s p,q Rn and F s p,q Rn, on one hand, one tries in some way to Morreyfy them, that is, to replace the L p R n spaces in their construction by Morrey spaces M u p Rn ; 2 on the other hand, one tries to make the parameters s, p and q variable. The first trend started with Kozono and Yamazaki [KY94] for the Besov scale in connection with the study of Navier-Stokes equations, giving rise to spaces which we denote by Np,q s,urn. The corresponding Triebel-Lizorkin scale with spaces denoted here by Ep,qR s,u n was introduced by Tang and Xu [TaXu05]. Meanwhile, related so-called Besov-type and Triebel-Lizorkin-type spaces Bp,q s,τrn and Fp,q s,τrn were introduced by El Baraka [ElBar02, ElBar06], at least in the Banach case, and Yang and Yuan [YY08, YY0], at least in the homogeneous case. For more details on these spaces and corresponding literature see [YSY0], the surveys [Sic2, Sic3] and also [Ros3]. Be aware, as stressed in [Sic2, Sic3], that the order in which the parameters show in the notation for the N and E spaces above can change with the Date: August 7, Mathematics Subject Classification. 46E35, 46E30, 42B25. Key words and phrases. Variable exponents, Triebel-Lizorkin-Morrey spaces, convolution inequalities, atomic characterization, molecular characterization. This research was partially supported by the project Smoothness Morrey spaces with variable exponents approved under the agreement Projektbezogener Personenaustausch mit Portugal Ações Integradas Luso-Alemãs / DAAD-CRUP. It was also supported by FCT through CIDMA - Center for Research and Development in Mathematics and Applications, within project UID/MAT/0406/203. c 208. Licensed under the CC-BY-NC-ND 4.0 license

2 2 A. CAETANO AND H. KEMPKA authors. Also, usually only the smoothness s is written as superscript, so here we add a little bit to the chaos by moving another parameter to superscript. But our idea is the following: as subscripts we have only left the parameters with the roles correspondingto pand q in the let ussay standardbesovand Triebel-Lizorkin scales; as superscripts we start by writing the smoothness parameter s and then join in the new parameter. We followed the same philosophy as for the Besov-type and Triebel-Lizorkin-type spaces, though the roles of the new parameters τ and u differ. The second trend is more difficult to trace, so we opt to mention [DHR09, AH0] where the spaces F s p,q Rn and B s p,q Rn with all the three parameters variable were introduced and refer to those papers for some history on the subject and its connection with the study of PDEs. These spaces are build up for variable p on the variable Lebesgue spaces L p, which can be traced back to Orlicz [Orl3] and Kováčik and Rákosník [KoRa9]. Since our results in this paper are only concerned with a Morreyfication of the variable Triebel-Lizorkin scale, from now on we will omit references to possible ways of Morreyfying the variable Besov scale. As in the case of B s p,q Rn, this poses different challenges see [AC8]. Once Morrey spaces M u p Rn with variable exponents were introduced by Almeida, Hazanov and Samko[AHS08], Kokilashvili and Meskhi[KM08] and Mizuta and Shimomura [MS08], the way was open to try to mix the two trends mentioned above. A first step was done by Fu and Xu [FX] by considering Triebel-Lizorkin- Morrey spaces E s,u p,q Rn so, still keeping s and q fixed. However, there are some flaws in the proofs of some results in that paper. We point out one in Remark 3.5 below, but for a more detailed analysis see [Ros3, Remarks 3.2 and 4.20]. Later Ho [Ho2] considered E s,u p,q Rn as a particular case of a more general framework. Although Ho considered all four parameters variable, he had imposed on the other hand some not so natural technical restrictions on s, p and u, e.g. sup x R n px < ux supp see [Ho2, Definition 6.6]. Variable exponent versions of the Triebel-Lizorkin-type spaces Fp,q s,τrn were also recently considered by Yang, Yuan and Zhuo [YYZ5] and Drihem [Dri]. It is not clear how they compare with each other, but the former is closer to our intentions here. Actually, Yang, Yuan and Zhuo replaced the τ by some more general structure, but under suitable conditions, in particular above see [YYZ5, Theorem 3.2i], their spaces cover the Triebel-Lizorkin-Morrey spaces E s,u p,q Rn. In the present paper we get rid of the restriction, our other conditions on p and u are quite natural for u we don t even impose any smoothness property and we are able to prove atomic and molecular representations for such spaces. Actually, we even consider 2-microlocal versions E w,u p,q Rn, building on the knowledge we have acquired in [Ke0] and [AC6b] in the non-morrey situation. After this work was essentially complete, we learned that 2-microlocal versions of the variable exponent Triebel-Lizorkin-type spaces mentioned above were also recently considered in [WYYZ8]. However, in the part that covers our 2-microlocal variable exponent

3 VARIABLE EXPONENT TRIEBEL-LIZORKIN-MORREY SPACES 3 Triebel-Lizorkin-Morrey spaces the undesirable restrictions mentioned above are still assumed see [WYYZ8, Theorem 4.7iii]. Our main results are the convolution inequality in Theorem 3.4, the Peetre maximal function characterization of E w,u p,q Rn in Theorem 4.5 and the atomic and molecular characterizations of those spaces given together by Theorems 5.5 and 5.2. The latter was proved after proving several crucial results, in particular Theorem 5.6, to which we would also like to draw the attention here. The reason is that it gives a result which is new even if one reduces it to the constant exponent case. It gives sufficient conditions for an infinite linear combination of so-called [K,L,M]-molecules to converge in S R n. In connection with constant exponent Triebel-Lizorkin-Morrey spaces Ep,q s,urn, the usual condition imposed on L which controls the number of zero moments of the molecules is 2 L > σ p s see, e.g., [Ros3, Lemma 2.32], where σ p := n/min{,p}. However, reading our Theorem 5.6 for such spaces, a different condition is imposed: 3 L > n u s. We recover condition 2 in our Theorem 5.4 under the extra assumption p/u < p, which is really only an extrarestriction when p. So, it is natural to ask which oneisweaker: 2or3? Asitiseasilyseenthat p/u pifandonlyifσ p n/u, weconcludethat ournew sufficient condition 3 isweakerifand onlyif p/u > p. This holds if and only if the distance between /p and /u is greater than, since we are also assuming p u here. On the other hand, we would also like to draw the reader s attention to the fact that the proof of the counterpart of Theorem 5.6 for the variable version of condition 2, established in Theorem 5.4, partly relies on a result which might have independent interest, namely the Sobolev type embedding theorem given in Lemma 5.9 for corresponding sequence spaces. We have already advised the reader to check carefully the notation before comparing results coming from different sources. In the comparison made above we have translated everything into our notation. The reader should also be aware that even the very notion of Morrey space with variable exponents, and not only its notation, might differ from work to work. 2. Preliminaries 2.. General notation. Here we introduce some of the general notation we use throughoutthepaper. N,N 0,Z, RandChavetheusualmeaningassetsofnumbers, as well as their n-th powers for n N. The Euclidean norm in R n is denoted by, though this notation is also used for the norm of a multi-index, and for Lebesgue measure when it is being applied to measurable subsets of R n. By and we mean the usual floor and ceiling functions respectively. The symbol SR n stands for the usual Schwartz space of infinitely differentiable rapidly decreasing complex-valued functions on R n. We take for the seminorms generating its locally convex topology the functionals p N, for N N, defined by p N φ := sup+ x N D β φx, φ SR n. x R n β N

4 4 A. CAETANO AND H. KEMPKA By ˆφ we denote the Fourier transform of φ SR n in the version ˆφx := e ix ξ φξdξ, x R n, 2π n/2 R n and by φ we denote the inverse Fourier transform of φ. These transforms are topological isomorphisms in SR n which extend in the usual way to the space S R n of tempered distributions, the dual space of SR n, which we endow with the weak topology. For two complex or extended real-valued measurable functions f,g on R n the convolution f g is given, in the usual way, by f gx := fx ygydy, x R n, R n whenever it makes sense a.e.. By c,c,c φ,... > 0 we denote constants which may change their value from one line to another. Further, f g means that there exists a constant c > 0 such that f cg holds for a set of variables on which f and g may depend on and which shall be clear from the context. If we write f g then there exists constants c,c 2 > 0 with c f g c 2 f. And we shall then say that the expressions f and g are equivalent across the considered set of variables. By Q ν,m R n, with ν Z and m Z n, we denote the dyadic closed cube in R n which is centered at 2 ν m and has sides parallel to the axes and of length 2 ν. Given d > 0, dq ν,m stands for the cube concentric with Q ν,m and with side length d2 ν. Furthermore, we denote by B r x R n the open ball in R n with center x R n and radius r > 0, and by Q r x R n the open cube in R n with center x R n and sides parallel to the axes and of length 2r > 0. The characteristic function χ ν.m of a cube Q ν,m is, as usual, given by {, for x Q ν,m χ ν,m x :=. 0, for x / Q ν,m The characteristic function χ A of any other subset A of R n is defined in an analogous way. Given topological vector spaces A and B, the notation A B will be used to mean that the space A is continuously embedded into the space B. Finally, the following standard shortcuts are used for r,s 0, ]: σ r := n min{,r} and σ r,s := n min{,r,s} Variable exponent Lebesgue spaces. The set of variable exponents PR n isthecollectionofallmeasurablefunctionsp : R n 0, ]withp := ess-inf x R n px > 0. Further, we set p + := ess-sup x R n px. For exponents with px and complexorextendedreal-valuedmeasurablefunctions f onr n asemimodularisdefined by 4 p f := φ px fx dx, R n

5 VARIABLE EXPONENT TRIEBEL-LIZORKIN-MORREY SPACES 5 where t px if px 0,, φ px t := 0 if px = and t [0,], if px = and t, ], and the variable exponent Lebesgue space L p R n is given by L p R n := {f : there exists a λ > 0 with p f/λ < }, with their elements being taken in the usual sense of equivalence classes of a.e. coincident functions. This space is complete and normed, hence a Banach space, with the norm f L p R n := inf{λ > 0 : p f/λ }. It shares many properties with the usual Lebesgue spaces, see for a wide overview [KoRa9], [DHHR], [CUFi3], but there are also some differences, e.g. it is not translation invariant. By the property 5 f Lp R n f = t L p R n /t for any t > 0 t it is also possible to extend the definition of the spaces L p R n to all exponents p PR n. In such more general setting the functional Lp R n need not be a norm, although it is always a quasi-norm. Many theorems for variable Lebesgue spaces L p R n are only valid for exponents p within a subclass of PR n where they satisfy certain regularity conditions. An appropriate subclass in this sense is the set P log R n defined below. Definition 2.. Let g : R n R. i We say that g is locally log Hölder continuous, g C log loc Rn, if there exists a constant c log g > 0 with 6 gx gy c log g loge+ x y for all x,y R n. ii We say that g is globally log Hölder continuous, g C log, if it is locally log Hölder continuous and there exist a g R and a constant c g > 0 with gx g c g loge+ x for all x R n. iii We write g P log R n if 0 < g gx g + with /g C log R n. Since a control of the quasi-norms of characteristic functions of balls in variable exponent spaces will be crucial for our estimates, we present below a result in that direction and which is an adapted version of [DHHR, Corollary 4.5.9] to the case 0 < p p +. It can easily be obtained from that result by exploring the property 5 above. Lemma 2.2. Let p P log R n. Then for all x 0 R n and all r > 0 we have that χbrx 0 Lp R n χqrx 0 Lp R n {r n px, if r and x B r x 0. r n p, if r Here we denote p := p which is given by 6.

6 6 A. CAETANO AND H. KEMPKA 3. Variable exponent Morrey spaces Now, we can define the Morrey spaces which we are interested in. Definition 3.. Let p,u PR n with p u. Then the Morrey space M u p Rn is the collection of all complex or extended real-valued measurable functions f on R n with quasi-norm given by f M u p Rn := sup x R n,r>0 r n ux px f Lp B r x <. For future reference we state and prove the following result giving easy examples of functions belonging to the above Morrey spaces, as long as p satisfies a convenient regularity property. Lemma 3.2. Let u PR n, p P log R n, p u and A be a measurable and bounded subset of R n. Then χ A M u p Rn. Proof. Let x R n and r > 0, as in the supremum of the quasi-norm in Definition 3.. If 0 < r we estimate, using Lemma 2.2, r n ux px χ A L p B r x = r n ux px χ A χ Brx L p R n r n ux px χbrx Lp R n r n ux r n px r n px r n ux. In the case of r > we use r n/ux n/px and Lemma 2.2 again to obtain r n ux px χ A L p B r x χ A χ Brx L p R n χa L p R n n R p <, wherer > waschosensuchthata B R x. Altogetherweget χ A M u p Rn <, as required. Next we state the convolution inequality from [DHR09], which is heavily used as a replacement of the Hardy-Littlewood maximal inequality in the variable setting, wherel p l q standsforthesetofallsequencesf ν ν N0 ofcomplexorextended real-valuedmeasurablefunctionsonr n suchthat f ν q /q Lp R n is finite. Lemma 3.3. Let η ν,m x := 2 νn +2 ν x m for ν N 0 and m > 0. Let p,q P log R n with < p p + < and < q q + <. Then for every m > n there exists a constant c > 0 such that for all sequences f ν ν L p l q /q η ν,m f ν q L p R n c /q f ν q L p R n. Now, we are able to formulate and prove the corresponding result with Morrey spaces instead of Lebesgue spaces, where M u p l q shall stand for the set of all sequences f ν ν N0 of complex or extended real-valued measurable functions on R n such that f ν q /q u M p Rn is finite.

7 VARIABLE EXPONENT TRIEBEL-LIZORKIN-MORREY SPACES 7 Such a result will be the main tool in further results to be presented in this paper. As above, the functions η ν,m are given for ν N 0 and m > 0 by 7 η ν,m x := 2 νn +2 ν x m. Theorem 3.4. Let p,q P log R n and u PR n with < p px ux supu < and q,q +,. For every m > n+nmax 0, sup x R n px 8 ux p there exists a c > 0 such that for all f ν ν M u p l q /q η ν,m f ν q p Rn c /q f ν q Mu p Rn. Mu Proof. First step: We take an arbitraryx 0 R n and r > 0 and decompose for every ν N 0 f ν x = fνx+ 0 fνx, i where fν 0 := f ν χ B2rx 0 and fν i := f ν χ B2 i+ r x 0\B 2 i r x 0. Now we have, using triangle inequalities, /q η ν,m f ν q L 9 p B r x 0 /q q η ν,m fν i i=0 L p B r x 0 /q = q η ν,m fν i i=0 L p B r x 0 ην,m fν i /q q L p B r x 0 where i=0 I +II, i= I := ην,m fν 0 /q q L p B r x 0, /q II := ην,m fν i q L p B r x 0. i= We shall show that, under the given hypotheses, both terms above are 0 cr n px 0 /q ux 0 f ν q Mu p Rn

8 8 A. CAETANO AND H. KEMPKA with c > 0 independent of the f ν ν, x 0 and r considered, so that dividing 9 by r n px 0 ux 0 and taking the supremum over all x 0 R n and r > 0 gives the desired inequality and finishes the proof. Second step: We get the estimate 0 for I with the help of Lemma 3.3 using the hypothesis m > n: /q I ην,m fν 0 q L p R n /q fν 0 q L p R n = 2r n px 0 ux 0 2r n ux 0 /q px 0 f ν q L p B 2r x 0 2 n p r n px 0 ux 0 /q f ν q p Rn. Mu Third step: First, we show a size estimate to tackle II. We observe that for x B r x 0 and y B 2 i+ rx 0 \B 2 i rx 0 we have the following inequality: x y x x 0 y x 0 y x 0 x x 0 2 i r r c2 i r. Now, we can use this and estimate with x B r x 0 for every i N /qx ην,m fν i x qx /qx qx = 2 νn +2 ν x y m fν i y dy R n 2 νn +2 ν 2 i r m fνy dy i R n = 2 νn +2 ν 2 i r m f i ν y 2 dy, B 2 i+ r x 0 where we have used l l qx and Beppo-Levi s theorem. Forth step: We use 2 to handle II. By applying Hölder s inequality in the integral with p > we get II χbrx 0 Lp R n i= i= 3 χbrx 0 Lp R n B 2 i+ r x 0 χ B2 i+ r x 0 2 νn +2 ν 2 i r m f i ν y dy L p R n 2 νn +2 ν 2 i r m f i ν L p R n.

9 VARIABLE EXPONENT TRIEBEL-LIZORKIN-MORREY SPACES 9 We estimate the last norm with Hölder s inequality in the sum with q > and use afterwards l l q to obtain 2 νn +2 ν 2 i r m f i ν L p R n /q 2 νnq +2 ν 2 i r mq f i ν /q q L p R n 2 νn +2 ν 2 i r m f i ν /q q L p R n 2 νn +2 ν 2 i r 2 m i+ n px r 0 n ux i+ n ux r 0 n px 0 /q f ν q L p B 2 i+ rx 0 2 νn +2 ν 2 i r 2 m i+ r n px 0 n ux 0 /q f ν q p Rn. Mu Therefore, connecting 3 and 4, we obtain 0 for the term II if we can show that III := χbrx 0 Lp R n χ B2 i+ r x 0 L p R n 2 νn +2 ν 2 i r 2 m i+ n px r 0 n ux 0 5 cr n px 0 n ux 0, i= with c > 0 independent of r > 0 and x 0 R n. In order to show 5 we concentrate on two cases. Case 0 < r < : We choose J N so that 2 J r < 2 J+ r if such a J exists, choose J = otherwise and split the summation with respect to i N in two sums J i= and i=j. Of course, when J = the sum J i= does not exist. Denote by III and III 2 the corresponding splitting of III. We obtain with Lemma 2.2 that J III r n px 0 2 i+ n p r x 0 2 i+ r n px 0 ux 0 2 νn +2 ν 2 i r m 6 = r n i= px 0 J ux 0 2 i+ n i= r n px 0 J ux 0 i= 2 i n ux 0 2 i+ r n px 0 + p x 0 2 νn +2 ν 2 i r m supu 2 i r n 2 νn +2 ν 2 i r m.

10 0 A. CAETANO AND H. KEMPKA Now, we look at the last term in 6. We denote by V N the unique number with 2 V 2 i r < 2 V+ and get with m > n V 2 νn +2 ν 2 i r m = 2 νn +2 ν 2 i r m + 2 νn +2 ν 2 i r m ν=v+ V 2 νn + 2 νn m 2 i r m ν=v + V = 2 Vn 2 V νn +2 i r m ν=v+ 2 νn m 2 i r n 2 kn +2 i r m 2 V+n m k=0 2 i r n 2 n +2i r m 2 i r m n = c2 i r n, k=0 2 n m 2 km n where c > 0 only depends on m and n. Plugging this now into 6 we obtain 5 for the term III of III. Now, we handle the term III 2, where it holds 2 i+ r > for i J. We get, using Lemma 2.2, the estimate 2 νn +2 ν 2 i r m 2 νn m 2 i r m and the hypothesis 8 on m, that III 2 r n px 0 ux 0 r n = r n r n = r n r n r n px 0 2 i+ r n p 2 i+ n px 0 ux 0 2 i r m i=j px 0 n ux 0 p r + n px 0 m 2 i+ n p + n px 0 n ux 0 m px 0 n ux 0 r n p + n i=j px 0 m 2 i+ n n p + n px 0 n ux 0 m i=j px 0 n ux 0 r n p + n px 0 m 2 J+ n n p + n px 0 n ux 0 m px 0 ux 0 2 J+ n r n p + n px 0 n ux 0 m r n ux 0 px 0 ux 0, so the estimate 5 also holds for the term III 2 of III, and this finishes the case 0 < r <.

11 VARIABLE EXPONENT TRIEBEL-LIZORKIN-MORREY SPACES Case r : To ensure that 5 holds we use again Lemma 2.2, the estimate 2 νn +2 ν 2 i r m 2 νn m 2 i r m and the hypothesis 8 on m and get III r n r n = r n px 0 ux 0 r p 2 n i+ r n i= p 2 i+ n px 0 ux 0 2 i r m i= px 0 ux 0 r n p + n p m 2 i+ n p + n px 0 n ux 0 m px 0 ux 0 r n m i= 2 i+ n n p + n px 0 n ux 0 m r n px 0 ux 0. Remark 3.5. As stated before, this convolution inequality is the basis for all the main results on the Triebel-Lizorkin-Morrey spaces which we prove in this paper, as a replacement for the vector valued Hardy-Littlewood maximal inequality [FeSt7]. Part of the proof relies on ideas used in [TaXu05] and [FX] to deal with a corresponding maximal inequality in the context of Triebel-Lizorkin-Morrey spaces, respectively with constant exponents or with variable p and u, keeping the other exponents fixed. There is, however, a problem with the proof in [FX, Theorem 2.2]: the authors always used χbrx Lp R n n r px. Although this is correct in the case 0 < r, for r > one has to use the second case in Lemma 2.2. Which in the end means that the mentioned maximal inequality was not proved. Here we also do not prove such an inequality, but were able to correctly use Lemma 2.2 in order to prove the convolution inequality in the above Theorem. Moreover, we could allow all exponents to vary. Remark 3.6. We would like to discuss the somewhat complicated condition 8 on m, namely m > n+nmax 0, sup x R n px. ux p The Theorem above holds also with the shorter condition 7 m > n+c /p instead, where c /p is the constant from 6 with g = /p. It is easily seen that condition 8 is sharper than 7. Both conditions on m seem to have their advantages and disadvantages. It is clear that in the case of variable Lebesgue spaces, i.e. when px = ux, condition 8 recovers the condition m > n of Lemma 3.3. Condition 7 does not enjoy such a property. On the other hand, 7 looks nicer and in the case p = p constant reduces to m > n no matter how u p is chosen. The same behaviour can also be observed with condition 8. To make our results more accessible we introduce the following abbreviation, which we shall use in the rest of the paper: 8 c /p,/u := max 0, sup x R n px. ux p It is easily seen that c /p,/u = 0 if p = u or when p = p constant.

12 2 A. CAETANO AND H. KEMPKA Finally, we state and prove some results regarding the quasi-norm in the variable exponent Morrey spaces which will prove useful later on. Lemma 3.7. Let p,u PR n with p u and infp > 0. Then M u p Rn can be equivalently defined as the collection of all complex or extended real-valued measurable functions f on R n with f D := sup 2 jn ux px f Lp Q j,k <, j,x,k where the supremum runs over all j Z, x R n and k Z n with x 2 j k j. Moreover, M u p Rn and D are indeed equivalent expressions in M u p Rn. Proof. First step: Here we show that M u p Rn can be equivalently defined by the finiteness of f Q := sup r n ux px f Lp Q r x. x R n,r>0 Since y y, then B r x Q r x and f M u p Rn f Q. On the other hand, since y n y, then Q r x B nrx and, for any x R n and r > 0, r n ux px f Lp Q r x n n px ux nr n ux px f Lp B nrx n n inf p f M u p Rn. Second step: Here we show that f D f Q, which, together with the first step, finishes the proof. Given j Z, x R n and k Z n with x 2 j k j, define the positive number r := 2 j. Notice that Q j,k Q 2r x, therefore 2 jn ux px f Lp Q j,k r n ux px f Lp Q 2r x 2 n inf p f Q, hence f D f Q. Let s prove now the opposite estimate: Given x R n and r > 0, let j Z be chosen such that 2 j 2 < r 2 j and pick k r,x Z n such that 2 j x k r,x 2. Clearly, Q r x Q 2 j x k Q j,k, where the union runs over all k Z n with k k r,x. Notice that the number of cubes in the union above depends only on n; let s denote by N such a number. We have that fχ Qrx L p R n fχ L p R n k Q j,k = f χ L p R n Qj,k k c p,n fχ Qj,k L p R n, k

13 VARIABLE EXPONENT TRIEBEL-LIZORKIN-MORREY SPACES 3 where c p,n > 0 depends only on p and n and the sum runs also over all k Z n with k k r,x. Hence r n ux px f Lp Q r x c p,n c p,n k k c p,n2 2n inf p N f D, r n ux px f Lp Q j,k using also the fact that, for each considered k, Remark 3.8. If p 2 2n px ux 2 jn ux px f Lp Q j,k x 2 j k x 2 j k r,x + 2 j k r,x 2 j k j. is also locally log-hölder continuous, then for the terms with j 0 we can, equivalently, use, in f D, 2 p2 j jn k instead of 2 px. In fact, 2 jn p2 j k 2 jn px 2 jn p2 j k 2 jn px c jn log /p log e+ 2 j k x 2 c jn log /p log e+ 2 3 n 2j 2 Defining j 0 N such that 3 3 > j n 2j0 0 > log n 2 2, we can proceed, for j j 0 +, with 2 jn c log /p log 2 3 n 2j 2 jn c log /p log 2j j 0 2 j0nc log /p log 2, which is a positive constant. The remaining cases j [0,j 0 + [ being in finite number can also be bounded above by a positive constant. Analogously, and we can proceed as before. 2 2 jn px jn p2 j k p2 j k, 2 jn px Lemma 3.9. Let u PR n and p P log R n with p u. Let f be of the form m Z n h ν,m χ ν,m, for ν N 0 and h ν,m C. Up to equivalence constants independent of ν, we have that in the calculation of f D we need only consider j Z such that j ν. Proof. Clearly, the new expression, restricting j Z so that j ν, is bounded from above by f D. On the other hand, we are going to show that for f of the form given, all the terms with j > ν of the supremum defining f D are bounded from above by a suitable constant times a corresponding term for j = ν, which shall conclude the proof..

14 4 A. CAETANO AND H. KEMPKA Given j Z with j > ν, x R n and k Z n with x 2 j k j, the corresponding term in the sup defining f D is 9 2 jn ux px h ν,m χ ν,m χ j,k L p R n. m Z n Since necessarily here j > 0, we can use the preceding remark and instead of 2 jn px jn we use 2 p2 j k in the above expression. Notice that, by the dyadic structure, either Q j,k Q ν,m or Q j,k Q ν,m =. The first situation occurs just for one m Z n, which we shall denote by m j,k. So, 9 turns out to be equivalent to 20 2 jn ux 2 jn p2 j k 2 jn ux hν,mj,k 2 νn ux 2 hν,mj,k χ j,k Lp R n νn p2 ν m j,k h ν,mj,k 2 n p χ ν,mj,k L p R n. We have used Lemma 2.2 to establish the two preceding inequalities. Observe now that 2 ν m j,k 2 j k 2 ν 2 j, hence x 2 ν m j,k x 2 j k + 2 j k 2 ν m j,k < ν, and using Remark 3.8 we get that 20 can be estimated by 2 νn ux px hν,mj,k χ ν,mj,k χ ν,mj,klp R n px 2 νn ux h ν,m χ ν,m L p Q ν,mj,k. m Z n 4. 2-microlocal Triebel-Lizorkin-Morrey spaces and their Peetre maximal function characterization We need admissible weight sequences and so called admissible pairs in order to define the spaces under consideration. Definition 4.. A pair ˇϕ, ˇΦ of functions in SR n is called admissible if with suppϕ {x R n : 2 x 2} and suppφ {x Rn : x 2} ϕx c > 0 on {x R n : 3 5 x 5 3 }, Φx c > 0 on {x R n : x 5 3 }. Further, we set ϕ j x := ϕ2 j x for j and ϕ 0 := Φ. Then ϕ j j N0 SR n and suppϕ j {x R n : 2 j x 2 j+ }. Definition 4.2. Let α α 2 and α 0 be real numbers. The class of admissible weight sequences W α α,α 2 R n is the collection of all sequences w = w j j N0 of measurable functions w j on R n such that

15 VARIABLE EXPONENT TRIEBEL-LIZORKIN-MORREY SPACES 5 i There exists a constant C > 0 such that 0 < w j x Cw j y+2 j x y α for x,y R n and j N 0 ; ii For all x R n and j N 0 2 α w j x w j+ x 2 α2 w j x. Now, we can give the definition of 2-microlocal Triebel-Lizorkin-Morrey spaces. Definition 4.3. Let ϕ j j N0 be constructedas in Definition 4. and w Wα α,α 2 R n be admissible weights. Let p,q P log R n and u PR n with 0 < p px ux supu < and q,q + 0,. Then E w,u p,q Rn := { f S R n : f E w,u } p,q Rn < where f E w,u p,q Rn := w j ϕ j ˆf M u j p l q /q := w j ϕ j ˆf q j=0 p Rn. M u Remark 4.4. i Some properties for E w,u p,q Rn directly carry over from the spaces they are built up from. So it is easily seen that E w,u p,q Rn are quasi-normed spaces. In particular, the verification thatf E w,u p,q Rn = 0 implies f = 0 almost everywhere can be reduced to the observation that f E w,u p,q Rn = 0 f Fp,q w Rn = 0 f = 0 a.e.. 2 Furthermore, since L p R n are normed spaces for p, we have that M u p Rn are normed spaces if p. And since also l q spaces are normed in the case q, we finally get that E w,u p,q Rn are normed spaces when minp,q. ii On the other hand, to show that SR n E w,u p,q Rn S R n we refer to Corollaries 5.22 and 5.7 below. The proofs come as by-products of the arguments leading to the atomic/molecular characterization of the spaces E w,u p,q Rn. So, it can be considered an interesting application of the tools developed in this paper and constitutes an approach different from the one classically used, see, e.g., the proof of [Tri83, 2.3.3/]. iii It is known that SR n is not dense even in the constant exponent Morrey space MpR u n when p < u, see [Ros3, Proposition 2.7]. So we can not expect that SR n be dense in E w,u p,q Rn in general. iv As regards the completeness of E w,u p,q Rn, it follows by standard arguments once the second embedding in 2 is clear: see Corollary 5.8.

16 6 A. CAETANO AND H. KEMPKA Our main results in this section are the Peetre maximal function characterization of these spaces and the consequence that their definition does not depend on the admissible pair considered, up to equivalent quasi-norms. To that end, we start by defining the Peetre maximal function. It was introduced by Jaak Peetre in [Pe75]. Given a system {ψ j } j N0 SR n we set Ψ j = ˆψ j SR n and define the Peetre maximal function of f S R n for every j N 0 and a > 0 as Ψ j f Ψ j fy 22 ax := sup y R n + 2 j y x a, x Rn. We start with two given functions ψ 0,ψ SR n and define 23 ψ j x := ψ 2 j+ x, for x R n and j N\{}. Furthermore, for all j N 0 we write, as mentioned, Ψ j = ˆψ j. Now, we state the main theorem. Theorem 4.5. Let w = w j j N0 W α α,α 2 R n. Assume p,q P log R n and u PR n with 0 < p px ux supu < and q,q + 0,. Let R N 0 with R > α 2 and let further ψ 0,ψ belong to SR n with 24 and D β ψ 0 = 0, for 0 β < R, ψ 0 x > 0 on {x R n : x kε}, ψ x > 0 on {x R n : ε x 2kε} for some ε > 0 and k,2]. For a > n minp,q +c /p,/u +α we have that 27 p,q Rn Ψ j fw j j M u f E w,u holds for all f S R n. p l q Ψ j f aw j jm u p l q The proof relies on [Ryc99] and [Ull2] and it will briefly be given after some preparations. We outline the necessary changes to the proof in [Ke09] cf. also [AC6], where the version with the k was introduced, which are small, since the proof technique works mainly with pointwise estimates. Notice that Theorem 4.5 contains the conclusion that the 2-microlocal Morreyfied spaces of variable exponents given in Definition 4.3 are independent of the admissible pair considered. Before proving the theorem we state some useful lemmas. The first one essentially states that the spaces M u p Rn satisfy the lattice property, this being an easy consequence of the corresponding property for the spaces L p. Lemma 4.6. Let f and g be two measurable functions with 0 fx gx for a.e. x R n. Then it holds f M u p Rn g M u p Rn. The next easy lemma shows some homogeneity in the exponents of the spaces.

17 VARIABLE EXPONENT TRIEBEL-LIZORKIN-MORREY SPACES 7 Lemma 4.7. Let p,q,u PR n with p u and 0 < t <. Then for any sequence f ν ν N0 of measurable functions it holds f ν t u νm t p l q = t/q f ν q t t M u t p R n t = f ν ν M u t, with the usual modification every time qx =. p l q The proof of the next lemma works exactly as in [Ke09, Lemma 4.2] using now the lattice property of M u p Rn. Lemma 4.8. Let p,q,u PR n with p u. For any sequence g j j N0 of non negative measurable functions we denote, for δ > 0, G k x = 2 k j δ g j x, x R n, k N 0. Then it holds j=0 G k k M u p l q cδ,q g j j M u p l q, where cδ,q = max 2 j δ, j Z j Z 2 j δq /q. Now, we are ready to prove Theorem 4.5. As with the non-morreyfied spaces, we divide the proof into two separate assertions, from which we can then conclude. The first one compares two different Peetre maximal functions with two sets of start functions ψ 0,ψ SR n and φ 0,φ SR n. As before we introduce the dilations as well as ψ j x = ψ 2 j+ x and φ j x = φ 2 j+ x, x R n, j N\{}, Ψ j = ˆψ j and Φ j = ˆφ j for all j N 0. Theorem 4.9. Let w = w j j N0 W α α,α 2 R n and p,q,u PR n with p u. Let a > 0 and R N 0 with R > α 2. Let further ψ 0,ψ belong to SR n with and φ 0,φ belong to SR n with for some ε > 0 and k,2]. Then Ψ j f aw j jm u holds for every f S R n. D β ψ 0 = 0, 0 β < R φ 0 x > 0 on {x R n : x kε}, φ x > 0 on {x R n : ε x 2kε} p l q cφ j f aw j jm u p l q.

18 8 A. CAETANO AND H. KEMPKA Proof. Theprooffollowsthelinesoftheproofof[Ke09, Theorem3.6]uptoequation 2 of that paper, except that, because of the k considered above, a different sequenceλ j j N0 should be used there, similarly asin the proofof [AC6, Theorem 3.]. Since this was not detailed in the latter paper, for the convenience of the reader we explain here how the modified λ j j N0 to be used in the proof of [Ke09, Theorem 3.6] is constructed. Consider a function Θ 0 SR n such that for some fixed δ [0,, and Θ 0 x = if x +δ, Θ 0 x = 0 if x +δ 2, for some fixed δ 2 δ,], radially strictly decreasing for x [ + δ, + δ 2 ]. Defining Θ x := Θ 0 2 x Θ 0 x, x R n, one has that suppθ {x R n : +δ x 2+δ 2 } actually, Θ x = 0 iff x +δ x 2+δ 2. Further, we set Θ j x := Θ 2 j+ x = Θ 0 2 j x Θ 0 2 j+ x, x R n, j N\{}, and obtain Θ j x = for all x R n. j=0 For each k,2], we are going to consider such a function Θ 0 for δ and δ 2 above chosen in such a way that k = +δ2 +δ notice that the range of +δ2 +δ, for δ,δ 2 as mentioned, is precisely the set,2] and then define the sequence of functions λ j SR n in the following way: j = 0 : λ 0 x := 0 if x kε; λ 0 x := Θ0 +δ ε x if x < kε. φ 0x j N : λ j x := 0 if 2 j+ x ε 2 j+ x 2kε; λ j x := Θj+δ ε x if ε < 2 j+ x < 2kε. φ jx Notice that this makes sense, in view of the hypotheses on φ 0,φ. Notice also that, by construction, 28 suppλ 0 {x R n : x kε}, suppλ {x R n : ε x 2kε}, 29 λ j x = λ 2 j+ x, x R n, j N, and 30 λ j xφ j x =, x R n. j=0 This corresponds to 7, 6 and 5 in the proof of [Ke09, Theorem 3.6]. One gets exactly the mentioned expressions in that paper by particularizing k to 2 and by making our ε > 0 here equal to half the ε > 0 used there. We can then essentially follow the remainder of the proof of [Ke09, Theorem 3.6], with the more

19 VARIABLE EXPONENT TRIEBEL-LIZORKIN-MORREY SPACES 9 general sequence λ j j N0 considered above, up to the derivation of formula 2 in that paper, namely Ψ νf a xw ν x c 2 j ν δ Φ jf a xw j x, x R n, j=0 with δ := min,r α 2. Now, we apply Lemma 4.8and the theorem is proved. Now for the second assertion needed in order to prove Theorem 4.5. We use the same notation introduced before. Theorem 4.0. Let w = w j j N0 W α α,α 2 R n. Assume p,q P log R n and u PR n with 0 < p px ux supu < and q,q + 0,. Let ψ 0,ψ belong to SR n with 3 32 ψ 0 x > 0 on {x R n : x kε}, ψ x > 0 on {x R n : ε x 2kε} for some ε > 0 and k,2]. If a > n minp,q +c /p,/u +α, then Ψ j f aw j jm u 33 cψ j fw j j M u holds for all f S R n. p l q p l q Proof. As in the last proof, we find functions λ j SR n, j N 0, satisfying 28, 29 and instead of 30 λ j xψ j x =, x R n. j=0 So, now we are using ψ j in place of φ j of the preceding theorem, observing that ψ 0,ψ now satisfy the conditions assumed for φ 0,φ there. With the λ j s above replacing the functions with the same names in the proof of [Ke09, Theorem 3.8], we can essentially follow that proof up to the derivation of formula 27 of that paper, where we can also replace the a by the M at our disposal. For the next key estimate in this proof we prefer to follow now [Ull2], as the original approach of Rychkov [Ryc99], followed in [Ke09], is known to have some issues solved in subsequent papers by the same author. This is well reported by Ullrich [Ull2], to which we refer the reader. So, adapting Subset.2 in the proof [Ull2, Theorem 2.6] to our context, we get, for every t > 0 and every N N 0, Ψ ν fy t c 2 jnt 2 j+νn j=0 R n Ψ j+ν fz t + 2 ν y z N t dz, for all y R n, where c is independent of f S R n, ν N 0 and y R n. This corresponds to [Ull2, 2.48]. Then we can get, similarly as [Ull2, 2.66], for 0 < a N, that 34 Ψ νf a x t c 2 jnt 2 j+νn j=0 R n Ψ j+ν fz t + 2 ν x z a t dz, for all x R n, where here c is independent of f S R n, ν N 0 and x R n.

20 20 A. CAETANO AND H. KEMPKA Now we proceed as in the proof of [AC6, Theorem 3.]. However, since the details are not given in the latter paper, for the convenience of the reader we write them down here: multiplying formula 34 by w ν x t and using the easy estimate and the estimate + 2 ν x z a 2 ja + 2 j+ν x z a 2 ja + 2 j+ν x z a w ν x 2 jα w j+ν z+ 2 j+ν x z α, which is an easy consequence of Definition 4.2, we obtain for a > α that Ψ νf a x t w ν x t 35 = 2 jn a+αt 2 j+νn j=0 Ψ j+ν fz t w j+νz t dz R + 2 j+ν x z a αt n 2 j νn a+αt η j,a αt Ψ j f w j t x, j=ν where the constant involved in the estimate above is independent of f S R n, ν N 0 and x R n. So, up to nowweobtained pointwiseestimates whichhavenothing todo with the considerationoftheparametersp,q,u. Considernowa > α+n minp,q +c /p,/u, N > a+ α and t 0,minp,q such that still a > α+n t +c /p,/u. Then applying first Lemma 4.8 with δ := N a+α t and afterwards Theorem 3.4 with m := a αt we get from 35 Ψ ν f a w ν t u ν M t p t l q t ηj,a αt Ψ j f w j t t j t Ψj f w j t jm u t p. t l q t M u p l q t The conclusion 33 now follows by application of Lemma 4.7. Proof of Theorem 4.5. Assume the hypotheses stated. The second estimate in 27 comes immediately from Theorem 4.0. Considering, besides ψ 0,ψ as in Theorem 4.5, also φ 0,φ satisfying the formulas corresponding to 24, 25 and 26, possibly with different ε and k than the ones used for ψ 0,ψ, the estimate Ψ j fw j j M u p l q Φ j fw j j M u p l q followseasilybyapplication oftheorems4.9and 4.0. So, the proofoftheorem4.5 will be finished if one shows that each construction of ˇϕ j j N0 as in Definition 4.3 coincides with one of the possibilities for Φ j j N0 above for some choice of ε > 0 and k,2]. This is indeed the case: given an admissible pair ˇϕ, ˇΦ according to Definition 4., define φ 0 := ϕ 0 := Φ and φ := ϕ := ϕ2 ; it is easy to see that this produces Schwartz functions satisfying 24, 25 and 26 with φ 0,φ instead of ψ 0,ψ and for ε = > 0 and k = 8,2]; and that, moreover, ˇϕ j = Φ j for all j N 0.

21 VARIABLE EXPONENT TRIEBEL-LIZORKIN-MORREY SPACES 2 5. Atomic and molecular characterizations In this section we show a characterization of the spaces E w,u p,q Rn by atoms and molecules. First of all we need to introduce the corresponding sequence spaces. Definition 5.. Let p,q,u PR n with p u and w = w k k N0 W α α,α 2 R n. Then for all complex valued sequences λ = {λ ν,m : ν N 0,m Z n } we define e w,u p,q {λ := : λ e w,u where λ e w,u p,q p,q } < /q := w ν 2 ν mλ ν,m χ ν,m q Mu p m Z Rn n with the usual modification every time qx equals. We also define } n w,u p, {λ := : λ n w,u < where λ n w,u p, p, := sup w ν 2 ν mλ ν,m χ ν,m ν N 0 m Z n p Rn. Mu Remark 5.2. i Using an approach as in Remark 4.4i it is easily seen that the above sequence spaces are quasi-normed and that the quasi-norm is a norm when minp,q. ii The following embeddings hold trivially: e w,u p,q ew,u p, nw,u p,. Now it is time to define atoms, which are one of the building blocks we consider here. Definition 5.3. Let K,L N 0 and d >. For each ν N 0 and m Z n a C K -function a ν,m is called a [K,L,d]-atom supported near Q ν,m if and suppa ν,m dq ν,m, sup D γ a ν,m x 2 γ ν x R n for 0 γ K R n x γ a ν,m xdx = 0 for ν and 0 γ < L. We also give the definition of molecules, where in contrast to atoms the compact support condition is replaced by a decay condition.

22 22 A. CAETANO AND H. KEMPKA Definition 5.4. Let K,L N 0 and M > 0. For each ν N 0 and m Z n a C K - function µ ν,m C K R n is called a [K,L,M]-molecule concentrated near Q ν,m if and 36 D β µ ν,m x 2 β ν +2 ν x 2 ν m M for 0 β K R n x β µ ν,m xdx = 0 for ν and 0 β < L. In the first direction for the atomic characterization we show that any function in our function spaces can be written as a linear combination of atoms. Theorem 5.5. Let w Wα α,α 2 R n, p,q P log R n and u PR n with 0 < p px ux supu < and q,q + 0,. Further, let K,L N 0 and d >. For each f E w,u p,q Rn there exist [K,L,d]-atoms a ν,m SR n and λf e w,u p,q such that f = λ ν,m fa ν,m, convergence in S R n, m Z n and there exists a constant c > 0 independent of f such that λf e w,u cf E w,u 37 p,q Rn. p,q Proof. Since, by definition, f S R n, we have by [AC6b, Theorem 4.2a] that there exist [K,L,d]-atoms a ν,m SR n and λf := λ ν,m ν,m C such that 38 f = m Z n λ ν,m fa ν,m with the inner sum taken pointwisely and the outer sum converging in S R n. Afterwards, looking to the proof of [AC6b, Theorem 4.2] we see in [AC6b, 7.3, Step 2] that the following pointwise estimate holds for a.e. x R n : 39 w ν xλ ν,m fχ ν,m x c aw ν xθν f ax, m Z n with a > 0 at our disposal and c a > 0 independent of x R n, ν N 0 and f S R n. Here θ ν = 2 νn θ2 ν, ν N, where θ 0, θ fit, for some k,2] and ε > 0, in the requirements of Theorem 3. of [AC6] for the ψ 0, ψ in that theorem and D βˆθ 0 = 0 for any β N n 0. Defining now ψ 0 := ˆθ 0 and ψ := ˆθ 2, it is easy to see that these ψ 0, ψ satisfy the conditions of our Theorem 4.5 for the same k and ε as above. We can then apply that theorem with R > α 2 and a > n minp,q +c /p,/u +α and get f E w,u p,q Rn θ νf a w ν ν M u p l q.

23 VARIABLE EXPONENT TRIEBEL-LIZORKIN-MORREY SPACES 23 Combining this with 39 we get, also with the help of Lemma 4.6, λf e w,u p,q w ν λ ν,m fχ ν,m Mu p l f E q w,u p,q Rn. m Z n Using now the hypothesis f E w,u p,q Rn we conclude that λf e w,u p,q together with the estimate 37. On the other hand, having now λf e w,u p,q, the proofthat the innersum in38alsoconvergesin S R n forthe regulardistribution given by the pointwise sum can be done by adapting the argument in the second step of the proof of Theorem 5.6 below to our situation here, where we have atoms a ν,m instead of molecules µ ν,m : on one hand the mentioned argument does not use the assumption on L in that theorem; on the other hand, in the present situation we can choose M fitting the hypotheses of that theorem, since, given any M > 0, +d n/2 M a ν,m are [K,L,M]-molecules concentrated near Q ν,m cf. [AC6b, Remark 4.3]. Beforecomingto the otherdirection in the characterizationsofe w,u p,q Rn with atoms and molecules, we clarify the convergence of the sums. Since every [K,L,d]- atom supported near Q ν,m is up to a constant factor a [K,L,M]-molecule concentrated near Q ν,m, it is enough to show the convergence with molecules. Our first theorem in this direction is proved by mixing some ideas from the proofs of [Ke0, Lemma 3.] and [AC6b, Proposition 4.6]. Theorem 5.6. Let w Wα α,α 2 R n, p P log R n and q,u PR n with p u. Let λ n w,u p, and µ ν,m ν,m be [K,L,M]-molecules with L > α + n infu and M > L+2n+2α. Then 40 λ ν,m µ ν,m m Z converges in S R n and the convergence in S R n of the inner sum gives the regular distribution obtained by taking the corresponding pointwise convergence. Moreover, the sum ν,m N 0 Z n λ ν,m µ ν,m converges also in S R n to the same distribution as the iterated sum in 40. Proof. First step: We start by proving an important inequality, which we need in the sequel. We have, for any ν N 0 and m Z n and with the help of Lemma 2.2, λ ν,m w ν 2 ν mχ ν,mm u p Rn = λ ν,m w ν 2 ν m χ ν,m M u p Rn = λ ν,m w ν 2 ν m sup r n ux px χ ν,m L p B r x x R n,r>0 λ ν,m w ν 2 ν m2 ν n u2 ν m p2 ν m χb2 ν 2 νm L p R n λ ν,m w ν 2 ν m2 ν n λ ν,m w ν 2 ν m2 ν n inf u, u2 ν m p2 ν m 2 ν n p2 ν m

24 24 A. CAETANO AND H. KEMPKA therefore 4 λ ν,m w ν 2 ν m 2 ν n inf u 2 ν n inf u λ ν,m w ν 2 ν mχ ν,m M u p Rn. λ n w,u p, Second step: We show the convergence of the inner sum in 40 both pointwisely a.e. and in S R n to the same distribution. Actually, we only have to essentially repeat the arguments of [AC6b, 7., Step ] with ν instead of j and using estimate 4 instead of [AC6b, 7. and 2.2]. So instead of [AC6b, 7.2] one gets here for any integer κ > α+n using M > α+n 42 λ ν,m µ ν,m xφx dx c2 να n inf u λ n w,u p, p κ φ, R n m Z n where c > 0 is independent of ν N 0, λ n w,u p, and φ SRn and where we have, in particular, used the following easy consequence of the properties of a weight sequence: 43 2 να w ν 2 ν m+ x α +2 ν x 2 ν m α, with the involved constant independent of x R n, ν N 0 and m Z n. As in [AC6b, 7., Step ], this shows that the inner sum in 40 is absolutely convergent a.e.. The rest follows as in [AC6b, 7., Step ]. Third step: Here we show the convergence in S R n of the outer sum in 40. This follows if we show that there exists N N and c > 0 such that 44 λ ν,m µ ν,m xφxdx R cp Nφ n m Z n for all φ SR n. Consider ν N. By the convergence of the inner sum in S R n and by the moment conditions 36 of µ ν,m, λ ν,m µ ν,m xφxdx R n m Z n λ ν,m µ ν,m x φx D β φ2 ν m x 2 ν m β dx m Z n R β! n β <L λ ν,m +2 ν x 2 ν m M m Z n R n β =L D β φξ x 2 ν m L dx, β! where in the last line we have used the controlled decay of µ ν,m cf. Definition 5.4 and Taylor s formula, where ξ lays on the line segment joining x and 2 ν m. Now we proceed by using 43, the easy estimate 45 + ξ κ +2 ν x 2 ν m κ + x κ

25 VARIABLE EXPONENT TRIEBEL-LIZORKIN-MORREY SPACES 25 for some κ > 0 at our disposal and 4: λ ν,m µ ν,m xφxdx R n m Z n λ ν,m +2 ν x 2 ν m M 2 νl +2 ν x 2 ν m L p max{ κ,l} φ m Z n R n 46 + ξ κ 2 να w ν 2 ν m+ x α +2 ν x 2 ν m α dx 2 νl+α n inf u λ n w,u p, p max{ κ,l} φ +2 ν x 2 ν m M+L+κ+α + x α κ dx R n m Z n 2 νl+α n inf u λ n w,u p max{ κ,l} φ, p, where in the last line we have chosen κ such that κ > α+n and M > L+κ+α+n and have used the estimate +2 ν x 2 ν m M+L+κ+α = + 2 ν x m M+L+κ+α m Z n m Z n 47 + m M+L+κ+α <. m Z n From 46 in the case ν N and 42 in the case ν = 0 the conclusion 44 follows easily, due to our hypothesis on L. Forth step: The proof of the last statement of the theorem follows similarly as in [AC6b, 7., Step 3]. An easy consequence of the considerations above is the following embedding. Corollary 5.7. Let w W α α,α 2 R n, p,q P log R n and u PR n with 0 < p px ux supu < and q,q + 0,. Then it holds E w,u p,q Rn S R n. Proof. Given any φ SR n we want to prove that there exists a c φ > 0 such that f E w,u f,φ c φ p,q Rn for any f E w,u p,q Rn. Let K,L,M be as in Theorem 5.6 and consider arbitrary φ SR n and f E w,u p,q Rn. Use such K,L and some d in Theorem 5.5 and write, as there and for appropriate coefficients and atoms, 48 f = λ ν,m fa ν,m, convergence in S R n m Z n with 49 λf e w,u p,q f E w,u c p,q Rn, where c > 0 is independent of f. Set µ ν,m := +d n/2 M a ν,m, thus obtaining [K,L,M]-molecules concentrated near Q ν,m. Using these molecules and the above

26 26 A. CAETANO AND H. KEMPKA coefficients λf in Theorem 5.6, we get from the arguments in the third step of its proof and from Remark 5.2ii that λ ν,m fµ ν,m xφxdx R c 2λf n w,u p, p N φ n m Z n λf e w,u 50 c 3 p N φ, p,q where c 3 > 0 and N N are independent of λf and φ. Now, we use the convergence of 48 in S R n and also the fact that the inner sum converges in S R n to the corresponding pointwise sum and obtain from 50 and 49 that f,φ λ ν,m fa ν,m xφxdx R n m Z n = +d n/2 M λ ν,m fµ ν,m xφxdx R n m Z n c 3 +d n/2 M λf e w,u p,q p N φ c c 3 +d n/2 M p N φ λf E w,u p,q Rn, which gives the desired estimate with c φ = c c 3 +d n/2 M p N φ. NowwecanprovethecompletenessofE w,u p,q Rn byusingstandardarguments. Corollary 5.8. The spaces E w,u p,q Rn according to Definition 4.3 are complete. Proof. Let f m m N be a Cauchy sequence in E w,u p,q Rn. By the previous corollaryandthecompletenessofs R n, thereexistsf S R n suchthatlim m f m = f in S R n. Given any ε > 0, let m 0 N be such that, for l,m m 0, 5 /q px sup r n ux x R n,r>0 w j ϕ j f l f m q j=0 χ Brx L p R n < ε. Clearly, given m m 0, x R n, r > 0 and J N, we have, pointwisely, /q J J w j ϕ j f l f m q χ Brx w j ϕ j f f m q l j=0 j=0 /q χ Brx. On the other hand, from 5 and the lattice property of L p R n, for l m 0 the L p R n -quasi-normoftheleft-handsideaboveisboundedabovebyr n px ux ε. Since L p R n satisfies Fatou s lemma see [DHHR, after Lemma 3.2.0] for the case p and play with the property 5 to extend it to all values of p, then also /q J w j ϕ j f f m q j=0 χ Brx L p R n r n px ux ε.

27 VARIABLE EXPONENT TRIEBEL-LIZORKIN-MORREY SPACES 27 Applying again the just mentioned Fatou s lemma, but now considering J, we get the above inequality with J replaced by, and finally, multiplying both members by r n ux px and applying the supremum for all x R n and r > 0, we get f f m E w,u p,q Rn ε. So f = f f m +f m E w,u p,q Rn and lim m f m = f in E w,u p,q Rn. In some cases it is possible to weaken the hypothesis on L in Theorem 5.6, at the expense of strengthening the hypothesis on M. As a preparatory result, we first prove some kind of Sobolev embedding for the sequence spaces. Lemma 5.9. Let w 0 W α α,α 2 R n, p 0,p P log R n with p 0 p and q,u 0,u PR n with p 0 u 0 and 52 u 0 x p 0 x = u x p x, x Rn. Let w be defined by 53 w ν x = w0 ν x2 νn Then p 0 x p x 54 n w0,u 0 p 0, nw,u p,., x R n, ν N 0. Proof. By 52 and the hypothesis p 0 u 0, it is clear that also p u. On the other hand, from the fact that w 0 is an admissible weight sequence and the definition 53 it is not difficult to see that w is also an admissible weight sequence possibly for different parameters. So, both spaces in 54 are well defined. Observe that, by Lemmas 3.7 and 3.9 and hypothesis 52, we have that 55 λ n w,u p, sup sup 2 jn u 0 x p 0 x wν2 ν mλ ν,m χ ν,m χ Qj,k ν N 0 j ν,x,k L p R n, m Z n where the inner supremum runs over all j Z with j ν, x R n and k Z n with x 2 j k j. Given ν N 0 and such j, x and k, by the dyadic structure we have either Q ν,m Q j,k or Q ν,m Q j,k =. Define γ j,k µ,m := { λµ,m if Q µ,m Q j,k 0 otherwise,, µ N 0, m Z n, and notice that γ j,k µ,mχ µ,m = λ µ,m χ µ,m χ Qj,k for µ j.

28 28 A. CAETANO AND H. KEMPKA We have then, also with the help of [Ke0, Prop. 3.9], that w ν2 ν mλ ν,m χ ν,m χ Qj,k L p R n m Z n sup w µ N 0 µ2 µ mγµ,mχ j,k µ,m L p R n γ = j,k b w p, m Z n γ j,k b p w0 0, = sup wµ 0 µ j 2 µ mγµ,m j,k χ µ,m L p 0 R n m Z n sup w 0 µ µ N 0 2 µ mλ µ,m χ µ,m L p 0 Q j,k. m Z n Resuming from 55, taking the above and Lemma 3.7 into consideration, we finally get, with sup j,x,k meaning supremum running over all j Z, x R n and k Z n with x 2 j k j, λ n w,u p, sup 2 jn u 0 x p 0 x sup j,x,k µ N 0 = sup sup µ N 0 j,x,k λ n w0,u 0 p 0, 2 jn u 0 x p 0 x. w 0 µ2 µ mλ µ,m χ µ,m L p 0 Q j,k m Z n wµ2 0 µ mλ µ,m χ µ,m L p 0 Q j,k m Z n The interchange of the suprema above is possible, since they are taken with respect to distinct sets of parameters. Remark 5.0. Given p 0,p,u 0 as in the lemma above, it is not always possible to find u PR n with 52. That is, there are times when the lemma cannot be used. We can always define an extended real-valued measurable function u in R n by means of the following equation equivalent to 52: 56 u x = u 0 x p 0 x + p x, x Rn. Actually, if there is an u satisfying the lemma it should be defined in this way. However, such an u satisfies the lemma if and only if the right-hand side of 56 is non-negative for every x R n. Remark 5.. Since later on we would like to apply the above lemma when p 0 and p x = p0x t, for some choice of t 0,p 0, let us explore a little bit the implications of the necessary and sufficient condition for the existence of u according to the lemma, following the considerations from Remark 5.0. In this particular case we have u 0 x p 0 x + t p 0 x 0, x Rn, and it is not difficult to see that a choice of t 0,p 0 is possible if and only if 57 sup p 0x < p 0 x R n u 0 x.