arxiv: v1 [math.fa] 8 Sep 2016

Transcription

1 arxiv: v1 [math.fa] 8 Sep 2016 INTRINSIC CHARACTERIZATION AND THE EXTENSION OPERATOR IN VARIABLE EXPONENT FUNCTION SPACES ON SPECIAL LIPSCHITZ DOMAINS HENNING KEMPKA Abstract. We study 2-microlocal Besov and Triebel-Lizorkin spaces ith variable exponents on special Lipschitz domains Ω. These spaces are as usual defined by restriction of the corresponding spaces on R n. In this paper e give to intrinsic characterizations of these spaces using local means and the Peetre maximal operator. Further e construct a linear and bounded extension operator folloing the approach done by Rychkov in [12], hich at the end also turns out to be universal. 1. Introduction In this paper e study BesovBp( ),q( )(Ω) and Triebel-Lizorkin spacesf ith variable exponents on special Lipschitz domains Ω R n, here Ω = {(x,x n ) R n : x n > ω(x )} p( ),q( )(Ω) for a Lipschitz continuous function ω : R n 1 R. Here the variable integrability is defined ith measurable functions p( ) and q( ) and the variable smoothness is defined in the 2-microlocal sense using admissible eight sequences = ( j ) j N0, see Section 2 for details. Spaces of this type onr n have first been considered by Diening, Hästö and Roudenko in [3] by the author in [9]. With also q( ) variable in the B-case they have been studied by Almeida and Hästö in [1] and by the author and Vybiral in [11]. In this paper e obtain intrinsic characterizations of Bp( ),q( )(Ω) and Fp( ),q( )(Ω) using local means and the Peetre maximal operator. Furthermore, a linear and bounded extension operator from the spaces on Ω to the spaces on R n is constructed. In the hole ork e rely very much on the paper of Rychkov [12] here the same results have been shon for fixed exponents, i.e. p( ) = p, q( ) = q as constants and j (x) = 2 js ith s R. Surprisingly, all results remain also true in the variable setting. We refer again to [12] on an exhaustive history of such results. For variable exponents there are not so many results on intrinsic characterizations and on the extension operator knon. An intrinsic characterization for our spaces has been provided in [8] ith the help of non smooth atomic characterizations. This approach also orks for more general domains than special Lipschitz domains. If p( ) = p and q( ) = q are constants, then intrinsic characterizations and an extension operator has been presented by Tyulenev in [19] in the Besov space scale. This ork also modified the proofs from Rychkov [12], but the focus in [19] lies on more general domains and on more general eight sequences here also Muckenhoupt Date: September 10,

2 2 HENNING KEMPKA eights are alloed as variable smoothness functions. Further, in [4] Diening and Hästö constructed ith mollifiers an extension operator for the Sobolev spaces Wp( ) 1 = F1 p( ),2 from the halfspace to Rn. The paper is structured as follos. We introduce in Section 2 the necessary notation and the Besov and Triebel-Lizorkin spaces Bp( ),q( )(R n ) and Fp( ),q( )(R n ) ith variable exponents on R n. Further, e present there the important local means characterization for these spaces. In Section 3, e introduce special Lipschitz domains and introduce the spaces Bp( ),q( )(Ω) and Fp( ),q( )(Ω) as usual by restrictions from the corresponding spaces on R n. Section 4 contains the main results of this paper. Here e prove an intrinsic characterization using local means and define a linear and bounded extension operator onbp( ),q( )(Ω) and Fp( ),q( )(Ω). This is complemented by Section 5, here an universal extension operator E u is constructed. Here the operator is not depending on the functions p( ), q( ) and the paramters of the eight sequence α,α 1 and α Preliminaries First of all, e introduce all necessary notation. As usual, e denote by R n the n-dimensional Euclidean space, N denotes the set of natural numbers and e set N 0 = N {0}. We rite η ξ if there exist to constants c 1,c 2 > 0 ith c 1 η ξ c 2 η. Please be aare that c > 0 is an universal constant and can change its value from one line to another but is never depending on any variables used in the estimates, except it is clearly noted. The Schartz space S(R n ) is the set of all infinitely often differentiable functions on R n ith rapid decay at infinity. Its topology is generated by the seminorms Φ k,l = sup(1+ x ) k D β Φ(x). x R n β l For a function Φ S(R n ) e denote by L Φ R the number moment conditions the function provides, i.e. L Φ is the highest number ith (1) x β Φ(x)dx = 0 ith β < L Φ. R n Please note, that for L Φ 0 the function Φ does not have any moment condition. If not otherise stated, e define for a function Φ S(R n ) the dyadic dilates by Φ j (x) = 2 jn Φ(2 j x) for j N and any x R n. We remark that Φ 0 is not covered by the construction above because it is usually realized ith a different function Φ 0 hich has different properties compared to Φ Besov and Triebel-Lizorkin spaces ith variable exponents. Here e introduce the spaces hich e are interested in. We study Besov and Triebel- Lizorkin spaces ith variable integrability and variable smoothness. We take advantage of the concept of admissible eight sequences to define the variable smoothness. Definition 1. For fixed real numbers α 0 and α 1 α 2 the class of admissible eights W α α 1,α 2 is the collection of all positive eight sequences = ( j ) j N0 on R n ith:

3 INTRINSIC CHARACTERIZATION AND THE EXTENSION OPERATOR 3 (i) There exists a constant C > 0 such that for fixed j N 0 and arbitrary x,y R n 0 < j (x) C j (y)(1+2 j x y ) α ; (ii) For any x R n and any j N 0 e have 2 α1 j (x) j+1 (x) 2 α2 j (x). Before introducing the function spaces under consideration e still need to recall some notation. By S(R n ) e denote the Schartz space of all complex-valued rapidly decreasing infinitely differentiable functions on R n and by S (R n ) the dual space of all tempered distributions on R n. For f S (R n ) e denote by f the Fourier transform of f and by f the inverse Fourier transform of f. Let ϕ 0 S(R n ) be such that (2) ϕ 0 (x) = 1 if x 1 and suppϕ 0 {x R n : x 2}. No define ϕ(x) := ϕ 0 (x) ϕ 0 (2x) and set ϕ j (x) := ϕ(2 j x) for all j N. Then the sequence (ϕ j ) j N0 forms a smooth dyadic decomposition of unity, hich means ϕ j (x) = 1 for all x R n. For an open set Ω R n e denote by P(Ω) the class of exponents, hich are measurable functions p : Ω (c, ] for some c > 0. Let p P(Ω), then p + := ess-sup x Ω p(x) andp := ess-inf x Ω p(x). The setl p( ) (Ω) is the variable exponent Lebesgue space, hich consists of all measurable functions f such that for some λ > 0 the modular p( ) (f/λ) is finite. The modular is defined by p( ) (f) := f(x) p(x) dx+ess-sup x Ω f(x). Ω 0 HereΩ denotes the subset ofωherep(x) = andω 0 = Ω\Ω. The Luxemburg (quasi-)norm of a function f L p( ) (Ω) is given by f Lp( ) (Ω) { ( ) } f := inf λ > 0 : p( ) 1. λ In order to define the mixed spaces l q( ) (L p( ) (Ω)), e need to define another modular. For p,q P(Ω) and a sequence (f ν ) ν N0 of complex-valued Lebesgue measurable functions on Ω, e define (3) lq( ) (L p( ) )(f ν ) = inf ν=0 { λ ν > 0 : p( ) ( fν λ 1/q( ) ν If q + <, then e can replace (3) by the simpler expression lq( ) (L p( ) )(f ν ) = f ν q( ) (4) L p( ) (Ω). q( ) ν=0 ) } 1. The (quasi-)norm in the l q( ) (L p( ) (Ω)) spaces is defined as usual by { ( ) } fν f ν l q( ) (L p( ) (Ω)) = inf µ > 0 : lq( ) (L p( ) ) 1. µ

4 4 HENNING KEMPKA For the sake of completeness, e state also the definition of the spacel p( ) (l q( ) (Ω)). At first, one just takes the norm l q( ) of (f ν (x)) ν N0 for every x Ω and then the L p( ) -norm ith respect to x Ω, i.e. fν L p( ) (l q( ) (Ω)) ( ) 1/q(x) = f ν (x) q(x) L p( ) (Ω). ν=0 Finally, e also give the definition of smoothness spaces for the exponents. To prove results for the spaces under consideration, like characterizations or the independence of the decomposition of unity, e need this extra regularity for the exponents. Definition 2. Let g C(Ω) be a continuous function on Ω. (i) We say that g is locally log-hölder continuous, abbreviated g C log loc (Ω), if there exists c log (g) > 0 such that g(x) g(y) c log (g) log(e+1/ x y ) holds for all x,y Ω. (ii) We say that g is globally log-hölder continuous, abbreviated g C log (Ω), if g is locally log-hölder continuous and there exists g R such that holds for all x Ω. g(x) g c log log(e+ x ) The logarithmic Hölder regularity classes turned out to be sufficient to have the boundedness of the Hardy-Littleood maximal operator on L p( ) (Ω) and for further properties e refer to [6] for details. We denote by p P log any exponent p P(Ω) ith 0 < p p + and 1/p( ) C log (Ω). Remark 1. The class P log is denoted ithout underlying class Ω. Having an exponent in P(R n ) ith 1/p C log (R n ), e can alays restrict it to an exponent on Ω. Further by [6, Proposition 4.1.7] e can alays extend an exponent p P(Ω) ith 1/p C log (Ω) to an exponent p P(R n ) ith 1/ p C log (R n ) ithout changing the numbers p +,p,p and c log (1/p). So, in abuse of notation e alays rite p P log and mean either the exponent on R n or on Ω, hich share in any case the same properties. No, e are ready to give the definition of the variable exponent spaces hich e are interested in. Definition 3. Let p,q P log, ( j ) j N0 W α α 1,α 2 and (ϕ j ) j N0 a smooth decomposition of unity. (i) The variable Besov space Bp( ),q( )(R n ) is the collection of all f S (R n ) ith f B p( ),q( ) (R n ) ( ) ) := ( j ( ) ϕ j ˆf ( ) l q( )(L p( ) (R n )) <. j N 0

5 INTRINSIC CHARACTERIZATION AND THE EXTENSION OPERATOR 5 (ii) For p +,q + < the variable Triebel-Lizorkin space Fp( ),q( )(R n ) is the collection of all f S (R n ) ith f F p( ),q( )(R n ) := = ( ) j ( ) ϕ j ˆf ( ) q( ) ( ( ) ) j ( ) ϕ j ˆf ( ) j N 0 1/q( ) L p( ) (R n ) L p( )(l q (R n )). For brevity e rite Ap( ),q( )(R n ) here either A = B or A = F. First definitions of these spaces have been given in [9] and ith q( ) also variable in the Besov case in [11]. Furthermore, there already exist a lot of characterizations of these scales of spaces: namely by local means in [9], by atoms, molecules and avelets in [10] and [5], by ball means of differences in [11] and recently by nonsmooth atoms in [7]. If one chooses 0 < p,q as constants and sets j (x) = 2 js ith s R then one recovers the usual Besov and Triebel-Lizorkin spaces Bpq(R s n ) and Fpq s (Rn ) studied in great detail in [15], [16] and [18]. Furthermore, by choosing the eight sequence as j (x) = 2 js(x) ith s C log loc (Rn ) e obtain the scales of Besov and Triebel-Lizorkin spaces ith variable smoothness and integrability Bp( ),q( )(R s( ) n ) and Fp( ),q( )(R s( ) n ) hich have been studied in [3] and [1] Local means characterization. Our approach to obtain intrinsic characterizations and an extension operator for Bp( ),q( )(Ω) and Fp( ),q( )(Ω) for an special Lipschitz domain Ω R n heavily relies on the characterization by local means. To this end, e repeat this characterization for our spaces under consideration from [9] and [11]. The crucial tool ill be the Peetre maximal operator hich assigns to each system (Ψ k ) k N0 S(R n ), to each distribution f S (R n ) and to each number a > 0 the folloing quantities (5) (Ψ (Ψ k f)(y) kf) a (x) := sup y R n (1+ 2 k (y x) ) a, x Rn and k N 0. We start ith to given functions Ψ 0,Ψ 1 S(R n ). We define Ψ j (x) = 2 (j 1)n Ψ 1 (2 (j 1) x), for x R n and j N. The local means characterization for Bp( ),q( )(R n ) and Fp( ),q( )(R n ) from [11] and [9] then reads. Proposition 1. Let = ( k ) k N0 Wα α 1,α 2, p,q P log and let a > 0, R N 0 ith R > α 2. Further, let Ψ 0,Ψ 1 belong to S(R n ) ith (6) and x β Ψ 1 (x)dx = 0, R n for 0 β < R, (7) (8) for some ε > 0. ˆΨ 0 (x) > 0 on {x R n : x < ε} ˆΨ 1 (x) > 0 on {x R n : ε/2 < x < 2ε}

6 6 HENNING KEMPKA (i) For a > n+c log(1/q) p +α and all f S (R n ) e have f B p( ),q( ) (R n ) (Ψk f) k l q( ) (L p( ) (R n )) (Ψ k f) a k l q( ) (L p( ) (R n )). n (ii) For a > min(p,q ) +α and all f S (R n ) e have f F p( ),q( ) (R n ) k (Ψ k f) L p( ) (l q( ) (R n )) k (Ψ kf) a L p( ) (l q( ) (R n )). The local means characterization above easily gives that the norms in Definition 3 are independent of the chosen decomposition of unity (ϕ j ) j N0. Remark 2. (i) One can rerite (6) also in D βˆψ1 (0) = 0 for all β < R or, using our notation, in L Ψ1 = R. (ii) Later assertions are done ith only one startfunction Φ 0 D(Ω) ith Φ R n 0 (x)dx 0. From that function one constructs Φ(x) = Φ 0 (x) 2 n Φ(x/2) and sets Φ 1 (x) = 2 n Φ(2x). Since Φ 0 D(Ω) S(R n ) is smooth, e can find an ε > 0 such that ˆΦ 0 (x) > 0 on {x R n : x < ε} is satisfied. Further, also Φ 1 S(R n ) fulfills ˆΦ 1 (x) > 0 on {x R n : ε/2 < x < 2ε} and therefore (7) and (8) are fulfilled ith Φ 0 and Φ 1 instead of the Ψ 0 and Ψ 1. This also shos, that e can take the functions Φ j (x) = 2 jn Φ(2 j x) = 2 (j 1)n Φ 1 (2 j 1 x) and Φ 0 as basic functions in Proposition Function spaces on special Lipschitz domains We say that Ω R n ith n 2 is a special Lipschitz domain if it is open and there exists a constant A > 0 ith and ω : R n 1 R is Lipschitz continuous Ω = {(x,x n ) R n : x n > ω(x )} ω(x ) ω(y ) A x y. The function spaces from Section 2.1 can be used to define them on domains ith the help of Definition 3 by restriction. As ususal D(Ω) = C0 (Ω) stands for the space of infinitely often differentiable functions ith compact support in Ω. Let D (Ω) be the dual space of distributions on Ω. For g S (R n ) e denote by g Ω its restriction to Ω, g Ω : (g Ω)(ϕ) = g(ϕ) for all ϕ D(Ω). Definition 4. Let Ω R n be a special Lipschitz domain as above. Let p,q P log, ( j ) j N0 W α α 1,α 2 and (ϕ j ) j N0 a smooth decomposition of unity. (i) The variable Besov space Bp( ),q( )(Ω) on Ω is the collection of all f D (Ω) such that there exists a g Bp( ),q( )(R n ) ith g Ω = f. Furthermore f B p( ),q( ) (Ω) { := inf g B p( ),q( ) (R n ) : g Ω = f }. (ii) For p +,q + < the variable Triebel-Lizorkin space Fp( ),q( )(Ω) on Ω is the collection of all f D (Ω) such that there exists a g Fp( ),q( )(R n ) ith g Ω = f. Furthermore f F p( ),q( ) (Ω) { := inf g F p( ),q( ) (R n ) : g Ω = f }.

7 INTRINSIC CHARACTERIZATION AND THE EXTENSION OPERATOR 7 Remark 3. Usually, one defines function spaces on bounded Lipschitz domains Ω. Then one reduces the proofs and assertions by the localization procedure to special Lipschitz domains. This is done by covering Ω by finitely many balls B j and using a decomposition of unity Φ j hich is adapted to the balls B j. Finally, using pointise multipliers and rotations (diffeomorphisms) all occurring tasks can be reduced to the case of special Lipschitz domains as described above, see [12] and [17] for details. To the best of the authors knoledge there are no results on diffeomorphisms knon if the exponents p( ), q( ) are not constant. So e concentrate our studies only on special Lipschitz domains as above, and leave the case of bounded Lipschitz domains for further research. 4. Intrinsic characterizations and the extension operator In this section e prove our main results. We give an intrinsic characterization of the spaces from Definition 4 ith the help of an adapted Peetre maximal operator (9) (Φ kf) Ω (Φ k f)(y) a(x) := sup y Ω (1+ 2 k (y x) ) a, x Ω and k N 0. Here Ω R n ith n 2 is a special Lipschitz domain i.e. Ω = {(x,x n ) R n : x n > ω(x )} here ω(x ) ω(y ) A x y for all x,y R n 1. By K e denote the cone adapted to the special Lipschitz domain ith (10) K = {(x,x n ) R n : x < A 1 x n }. This cone has the property that x + K Ω for all x Ω and e denote by K = { x : x K} the reflected cone. The crucial property is no that for all γ D( K) and all f D (Ω) the convolution (γ f)(x) = γ(x ),f is ell defined in Ω, since suppγ(x ) Ω for all x Ω. Before coming to the intrinsic characterization and the extension operator e state to useful results hich are needed later on. First e need a version of Calderon reproducing formula hich as proved in [12, Proposition 2.1]. Lemma 1. Let Φ 0 D( K) ith Φ R n 0 (x)dx 0 be given. Further assume that Φ(x) = Φ 0 (x) 2 n Φ(x/2) fulfills (11) x β Φ(x)dx = 0 for β < L Φ. R n Then for any given L Ψ R there exist functions Ψ 0,Ψ D( K) ith (12) x β Ψ(x)dx = 0 for β < L Ψ R n and for all f D (Ω) e have the identity (13) f = Ψ j Φ j f in D (Ω). The second lemma is a Hardy type inequality for the mixed variable spaces. Its proof can be found in [11, Lemma 9].

8 8 HENNING KEMPKA Lemma 2. Let p,q P(R n ) and δ > 0. For a sequence (h j ) j N0 of measureable functions e denote H l (x) = 2 j l δ h j (x). Then there exist constants C 1,C 2 > 0 depending on p( ),q( ) and δ ith H l l q( ) (L p( ) ) C 1 h l l q( ) (L p( ) ) Hl L p( ) (l q( ) ) C2 hl L p( ) (l q( ) ). No e are ready to formulate our first main theorem about a linear extension operator. Theorem 1. Let p,q P log (ith p +,q + < in the F-case) and ( j ) Wα α 1,α 2. Further, let Φ 0 D( K) ith Φ 0 (x)dx 0 be given. The function Φ(x) = Φ 0 (x) 2 n Φ(x/2) should satisfy L Φ > α 2. Construct Ψ 0,Ψ D( K) ith L Ψ > n+c log(1/q) min(p,q ) +α α 1 as in Lemma 1 ith f = Ψ j Φ j f in D (Ω). For any g : Ω R denote by g Ω its extension from Ω to R n by zero. Then the map E : D (Ω) S (R n ) ith (14) f Ψ j (Φ j f) Ω is a linear and bounded extension operator from A p( ),q( )(Ω) to A p( ),q( )(R n ). In more detail, the theorem claims that the series (14) converges in S (R n ) for any f Ap( ),q( )(Ω) to an Ef ith: Ef Ω = f in the sense of D (Ω); Ef A p( ),q( ) (R n ) cf A p( ),q( ) (Ω) for any f A p( ),q( ) (Ω). The theorem above is directly connected to the question of an intrinsic characterization of the spaces Ap( ),q( )(Ω), ich ill be solved in the next theorem. Theorem 2. Let Φ 0 D( K) be given ith Φ 0 (x)dx 0 and L Φ > α 2. Further, let p,q P log and ( j ) W α α 1,α 2. For every f D (Ω) e define for k N 0 (i) For a > n+c log(1/q) p (Φ kf) Ω (Φ k f)(y) a(x) := sup y Ω (1+ 2 k (y x) ) a, x Ω. f B p( ),q( )(Ω) n +α and any f D (Ω) ( k (Φ k f)ω a ( )) k N 0 lq( ) (L p( ) (Ω)) (ii) For a > min(p,q ) +α, p+,q + < and any f D (Ω) f F p( ),q( ) (Ω) ( k (Φ kf) Ω a( ) ) k N 0 Lp( ) (l q( ) (Ω)) ( ) 1/q( ) (15) = k ( )(Φ kf) Ω a( ) q( ) L p( )(Ω). k=0

9 INTRINSIC CHARACTERIZATION AND THE EXTENSION OPERATOR 9 Proof. The Theorems 1 and 2 are so closely connected that they ill both be proved in one proof. As usual e restrict to the F-case and outline the necessary modifications for the B-case. By Remark 2 e have the local means characterization from Proposition 1 ith the functions Φ 0 and Φ j constructed from Φ 0. First step: We sho f F p( ),q( ) (Ω) ( c k=0 k( )(Φ k f)ω a( ) q( )) 1/q( ) Lp( ) (Ω). This is an easy consequence of the characterization from Proposition 1 using (Φ k f)ω a (x) (Φ k g) a(x) on Ω if g Ω = f. Second step: We denote the right hand side of (15) by f. We sho if the Ψ D( K) from Lemma 1 satisfies L Ψ > a α 1, then for every f D (Ω) ith f < the series in (14) converges in S (R n ). Furthermore, the limit Ef satisfies Ef Ω = f, Ef F p( ),q( )(R n ) and Ef F p( ),q( ) (R n ) c f. Having this proven, e see that this step actually proves Theorem 1 and gives us the estimate in (15) and therefore finishes the proof of Theorem 2 as ell. Substep 2.1: We denote by X = X,a p( ),q( ) the space of all sequences (gj ) j N0 of mea- ( surable functionsg j : R n C ith (g j ) X = ) 1/q( ) jg j q( ) L p( ) (R n ), here G j g j (y) (x) = sup y R n (1+2 j x y ) a. We claim that if L Ψ > a α 1, then the series Ψ j g j converges in S (R n ) and e can find a constant c > 0 such that for any sequence (g j ) X (16) Ψ j g j F p( ),q( )(R n ) c (gj ) X. To prove (16) e can use the same pointise estimates as in the proof in [12]. By using the moment conditions on Φ and Ψ e get using Taylors formula and the compact support of Φ and Ψ ith (17) Φ l Ψ j g j (x) I a l,jg j (x) I a j,l = R n (Φ l Ψ j )(z) (1+2 j z ) a dz c We use the properties of admissible eight sequences and get { 2 α1(j l), for j l l (x) c j (x) 2 α2(l j), for j l and obtain ith δ = min(l Ψ a+α 1,L Φ α 2 ) > 0 { 2 (l j)(lψ a), for j l 2 (j l)lφ, for j l. (18) l (x) Φ l Ψ j g j (x) c j (x)2 j l δ G j (x). No e use the same arguments as in [12] to finish the proof. If (g j ) X <, then eachg j is a function of most polynomial groth. Therefore e haveψ j g j S (R n )

10 10 HENNING KEMPKA and ith l (x) = 2 l2δ l (x) e obtain from (18) ψ j g j ( F p( ),q( ) (R n ) 1/q( ) ) c 2 2lδ 2 j l δ j ( )G j ( ) q( ) l=0 L p( )(R n ) ( ) 1/q c 2 2lδ 2 j l δ q j ( )G j ( ) Lp( )(R n ) l=0 c2 jδ j ( )G j ( ) Lp( ) (R n ) c2 jδ (g j ) X, here e used l j j l and l q l q( ). Hence, Ψ j g j converges in S (R n ) due to Fp( ),q( )(R n ) S (R n ) and e get from (18) the estimate l (x) Φ (19) l Ψ j g j (x) c 2 j l δ j (x)g j (x). No, using Lemma 2 ith h j (x) = j (x)g j (x) e conclude from (19) (20) Ψ j g j F p( ),q( )(R n ) c (gj ) X. Substep 2.2: Finally, e argue as follos to apply our general result (16) to the (Φ extension operator from Theorem 1. If x Ω, then e have sup j f)(y) y Ω (1+2 j x y ) = a (Φ j f)ω a f(x) by definition. If x / Ω e can construct a point x = (x,2ω(x ) x n ) Ω hich is symmetric to x / Ω ith respect to Ω in the sense x n ω(x ) = ω(x ) x n. Then, by x y B x y for all y Ω, ith B depending on the (Φ Lipschitz constant A, e obtain sup j f)(y) y Ω (1+2 j x y ) c(φ a j f)ω a f( x) for x / Ω. So e have the estimate ( ) 1/q( ) (Φ j f) Ω X c k ( )(Φ k f)ω a ( ) q( ) L p( )(Ω) for all f D (Ω). k=0 Combining this ith (16), e have for allf D (Ω) ith f < thatef S (R n ) and Ef F p( ),q( )(R n ) ( ) 1/q( ) c k ( )(Φ k f)ω a ( ) q( ) L p( )(Ω). k=0 Finally, the supports of Ψ 0 and Ψ lie ithin K and therefore e obtain using Lemma 1 Ef Ω = Ψ j Φ j f = f, hich completes the proof in the F-case. Third step: We can use the same reasoning as above for the B-case. The only difference is in the use of Proposition 1, here the condition on a > 0 is different in the B-case. This also explains no the condition on L Ψ in Theorem 1, here e have just taken a maximal value for a > 0.

11 INTRINSIC CHARACTERIZATION AND THE EXTENSION OPERATOR 11 It is also possible to get an intrinsic characterization of A p( ),q( )(Ω) by using just the convolutions Φ j f instead of the maximal functions (Φ j f)ω a as in the local means characterization in Proposition 1. To that end, e introduce the space S (Ω) as subspace of D (Ω) by restriction as here S (Ω) := {f D (Ω) : c f,m f > 0 ith f,γ c f γ Mf γ D(Ω)} γ Mf = sup y Ω, β M f D β γ(y) (1+ y ) M f. From [12, Proposition 3.1] e have the folloing characterization of this class. Proposition 2. We have f S (Ω) if and only if there exists a g S (R n ) such that g Ω = f. Remark 4. Since all appearing function spaces Ap( ),q( )(Ω) are also defined by restriction e have Ap( ),q( )(Ω) S (Ω). Therefore, the proposition above shos that it is no restriction to use f S (Ω) instead of f D (Ω). Furthermore, e also need another lemma hich can be seen as the replacement for the boundedness of the Hardy-Littleood maximal operator hich is of no use in our variable exponent spaces. We refer to [3] and [1] for the proofs of this lemma. Lemma 3. Let p,q P log and η ν,m (x) = 2 nν (1+2 ν x ) m. (i) If p 1 and m > n+c log (1/q), then there exists a constant c > 0 such that for all sequences (f ν ) ν N0 l q( ) (L p( ) (R n )) fν η ν,m l q( ) (L p( ) (R n )) c fν l q( ) (L p( ) (R n )). (ii) If 1 < p p + < and 1 < q q + < and m > n, then there exists a constant c > 0 such that for all sequences (f ν ) ν N0 L p( ) (l q( ) (R n )) f ν η ν,m L p( ) (l q( ) (R n )) c f ν L p( ) (l q( ) (R n )). No, the local means intrinsic characterization for the spaces A p( ),q( )(Ω) reads as follos. Theorem 3. Let Φ 0 D( K) be given ith Φ 0 (x)dx 0 and L Φ > α 2. Further, let p,q P log and ( j ) W α α 1,α 2. (i) For all f S (Ω) e have f B p( ),q( ) (Ω) (k (Φ k f)( )) k N0 lq( ) (L p( ) (Ω)) (ii) For p +,q + < and all f S (Ω) e have f F p( ),q( ) (Ω) ( ) 1/q( ) k ( )(Φ k f)( ) q( ) L p( )(Ω). k=0 Proof. Clearly, e ant to take the intrinsic norm given in Theorem 2 as a starting point. To use this characterization e need L Φ > α 2 and choose suitable functions Ψ 0,Ψ hich fulfill (1) ith L Ψ > a α 1. Furthermore, e take the a > 0 as large as needed in Theorem 2. First step: The inequality folls easily by observing (Φ k f)ω a(x) (Φ k f)(x). Second step: One ay to prove the inequality ould be to consult the proof of

12 12 HENNING KEMPKA [11, Theorem 13] and to modify everything from R n to Ω. Instead e use formula (3.4) in [12] (Φ j f)(x) r c 2 (j k)lψr 2 kn (Φ k f)(y) r (21) (1+2 j x y ) ardy k=j hich as obtained by pointise manipulations only. Here r > 0 and the constant c > 0 is independent of f S (Ω), x Ω and j N 0. No, dividing (21) by (1+2 j x z ) ar and using on the left hand side 1+2 j y z (1+2 j x z )(1+2 j x y ) gives us by taking the supremum ith respect to x Ω ( (Φ j f) Ω a (z)) r c 2 (j k)lψr 2 kn (Φ k f)(y) r (1+2 j y z ) ardy k=j We multiply ith j (z) r and use the estimates (1 + 2 k y z ) ar 2 (k j)ar (1 + 2 j y z ) ar and j (z) C2 (j k)α1 k (y)(1+2 k y z ) α and obtain ( j (z)(φ j f)ω a (z)) r c 2 (j k)(lψ a+α1)r 2 kn k r(y) (Φ k f)(y) r (1+2 k y z ) (a α)rdy k=j hich can be reritten ith δ = L Ψ a+α 1 > 0 in (22) ( χω (z) j (z)(φ j f)ω a (z)) r c 2 (j k)δr [ (χ Ω k (Φ k f)) r ] η k,(a α)r (z). k=j No, e use the usual procedure to end the proof. In the F-case e choose r > 0 ith n a α < r < min(p,q ). This is possible due to the conditions of the theorem and e get p/r,q/r P log ith 1 < p /r p + /r <, 1 < q /r q + /r <. Applying the L p( )/r (l q( )/r (R n )) norm on (22) e conclude by using Lemmas 2 and 3 j (z)(φ j f)ω a (z) L p( ) (l q( ) (Ω)) r = Ω Ω Ω ( χ Ω (z) j (z)(φ j f)ω a (z)) r Lp( )/r (l q( )/r (R n )) c (χω k (Φ k f)) r η k,(a α)r Lp( )/r (l q( )/r (R n )) c (χω k (Φ k f)) r L p( )/r (l q( )/r (R n )) = c k (Φ k f) L p( ) (l q( ) (Ω)) r. This finishes the proof in the F-case using Theorem 2. In the B-case the same reasoning by taking the l q( )/r (L p( )/r (R n )) norm of (22) orks; only the parameter r > 0 has to be chosen as n+c log (1/q) a α < r < p. 5. A universal extension operator The extension operator E from Theorem 1 has the serious draback that it only orks for special values of p( ),q( ) and α 1,α 2,α. This is due to the fact that all conditions depend on the number of moments e have for the functions Φ and Ψ.

13 INTRINSIC CHARACTERIZATION AND THE EXTENSION OPERATOR 13 More precisely, e kno that for fixed numbers of moments L Φ,L Ψ the extension operator orks for L Φ > α 2 and L Ψ > n+c log(1/q) min(p,q ) +α α 1. A good try to iden this region ould be to chooseφ,ψ D( K) ith L Ψ = L Φ =, but clearly this is impossible. Fortunately, this can be done if Φ,Ψ S(R n ) hich are not compactly supported in K, but have support in K and rapid decay at infinity. Theorem 4. (i) There exist functions Φ 0,Φ,Ψ 0,Ψ S(R n ) ith supports in K = {(x,x n ) R n : x < A 1 x n } ith L Ψ = L Φ = and f = Ψ k Φ k f holds for all f S (Ω). k=0 (ii) The map E u : S (Ω) S (R n ) defined ith the functions from (i) by f Ψ k (Φ k f) Ω k=0 yields a linear bounded extension operator from Ap( ),q( )(Ω) to A for all admissible exponents p( ),q( ) and ( j ) Wα α 1,α 2. p( ),q( )(R n ) The proof of this theorem can be copied ord by ord from the proof of [12, Theorem 4.1]. The crucial part there is to construct the needed functions Φ 0,Φ,Ψ 0,Ψ S(R n ) ith supports in K = {(x,x n ) R n : x < A 1 x n } ith L Ψ = L Φ = hich consists in a modification of Stein s function[14, VI.3]. Finally, ith that functions satisfying Calderon s reproducing formula one has to revisit the proof of Theorem 1. Actually, there is only one difficulty to overcome: e estimated in (17) by using the compact support of the functions Φ 0,Φ,Ψ 0,Ψ S(R n ). Since e do not have any compact support of these functions anymore e have to use [2, Lemma 2.1] and the same estimate (17) can be achieved. References [1] A. Almeida and P. Hästö, Besov spaces ith variable smoothness and integrability. J. Funct. Anal. 258 no. 5, (2010), [2] H.-Q. Bui, M. Paluszyński and M.H. Taibleson, A maximal function characterization of eighted Besov-Lipschitz and Triebel-Lizorkin spaces. Studia Math. 119 no. 3, (1996), [3] L. Diening, P. Hästö and S. Roudenko, Function spaces of variable smoothness and integrability. J. Funct. Anal. 256 no. 6, (2009), [4] L. Diening and P. Hästö, Variable exponent trace spaces. Studia Math. 183 no.2, (2007), [5] D. Drihem, Atomic decomposition of Besov spaces ith variable smoothness and integrability. J. Math. Anal. Appl. 389 (2012), [6] L. Diening, P. Harjulehto, P. Hästö and M. Ružička, Lebesgue and Sobolev Spaces ith Variable Exponents. Springer, Lecture Notes in Mathematics 2017, Springer (2011). [7] H. Gonçalves and H. Kempka, Non-smooth atomic decomposition of 2-microlocal spaces and application to pointise multipliers. J. Math. Anal. Appl. 434 no. 2, (2016), [8] H. Gonçalves and H. Kempka, Intrinsic atomic characterization of 2-microlocal spaces on domains. online available: arxiv: [math.fa]. [9] H. Kempka, 2-microlocal Besov and Triebel-Lizorkin spaces of variable integrability. Rev. Mat. Complut. 22 no. 1, (2009),

14 14 HENNING KEMPKA [10] H. Kempka, Atomic, molecular and avelet decomposition of 2-microlocal Besov and Triebel- Lizorkin spaces ith variable integrability. Funct. Approx. Comment. Math. 43 no. 2, (2010), [11] H. Kempka and J. Vybíral, Spaces of variable smoothness and integrability: Characterizations by local means and ball means of differences. J. Fourier Anal. Appl. 18 no. 4, (2012), [12] V. S. Rychkov, On restrictions and extensions of the Besov and Triebel-Lizorkin spaces ith respect to Lipschitz domains. J. London Math. Soc. (2) 60 no 1, (1999), [13] V. S. Rychkov, On a theorem of Bui, Paluszyński, and Taibleson. Tr. Mat. Inst. Steklova 227, (1999), [14] E. M. Stein: Singular integrals and differentiabilty properties of functions. Princeton University Press, (1970). [15] H. Triebel, Theory of function spaces. Basel, Birkhäuser, (1983). [16] H. Triebel, Theory of function spaces II. Basel, Birkhäuser, (1992). [17] H. Triebel, Function spaces on Lipschitz domains and on Lipschitz manifolds. Characteristic functions as pointise multpliers. Rev. Mat. Complut. 15 no. 2, (2002), [18] H. Triebel, Theory of function spaces III. Basel, Birkhäuser, (2006). [19] A. I. Tyulenev, Besov-type spaces of variable smoothness on rough domains. online available: arxiv: [math.fa].