• Keine Ergebnisse gefunden

Embedding conditions (4.16) and (4.17)

[L[℘](∇(%)+,µ)]|H(%)= [Lµ[℘](∇(%)+ )]|H(%)∈LIsom(H(%),F(%)), µ≥µ0. According to Theorem 4.12 and Theorem 2.47 (iii) we then derive

hL[℘](∇(%+µ)+ )i

|H(%+µ)=h

Mµ−1Lµ[℘](∇(%)+ )Mµ

i

|H(%+µ). Thus, we obtain

hL[℘](∇(%+µ)+ )i

|H(%+µ) ∈ LIsom(H(%+µ),F(%+µ)), hL[℘](∇(%+µ)+ )i−1

|H(%+µ)

= h

Mµ−1(Lµ−1)[℘](∇(%)+ )Mµ

i

|F(%+µ)

due to Remark 2.21. In generalL−1[℘](∇(%+µ)+ )is not well-defined because we only have detL[℘](λ, z)6= 0

for sufficiently large|λ|.

4.3 Embedding conditions (4.16) and (4.17)

The next pages are devoted to illuminate the requirements (4.16) and (4.17). In most cases this is only a condition on the position of the regularity tuples(ηji(`, κ, s), σji(`, κ, s))and(ηji(`, κ, t), σji(`, κ, t))for i, j= 1, . . . , mand`, κ= 0, . . . , M.

First, we investigate (4.16) and (4.17) for non-mixed scales. The next proposition clarifies this situa-tion.

Proposition 4.14 (Embedding condition I). If (F`,K`) = (F,K) for all ` ∈ {0, . . . , M} in the situation of Theorem 4.12, then the assumptions (4.16) and (4.17) are always fulfilled.

Proof. Letsj+ti be increasing. We defineO1(γ) :=OFi(γ) +β1, O2(γ) := (sj+ti)(γ) +αγ+β2 with β1:=βin(OFi),α:=αin(sj+ti), andβ2:=βin(sj+ti). Note that we have

OHi(γ) = OFj(γ) + (sj+ti)(γ)

= (O1+O2)(γ)−αγ−(β12).

For fixed`, κ∈ {0, . . . , M} we define

σ := σji(`, κ, t) =m`(OFj) +mκ(sj+ti), η := ηji(`, κ, t) =b`(OFj) +bκ(sj+ti).

Thenσ+α=m`(O1) +mκ(O2)and η+β12 =b`(O1) +bκ(O2) hold. Lemma 3.41 directly yields (η+β12, σ+α)∈N(O1+O2). Using Lemma 4.5 we get

\

`=0,...,M

WF,K,%m`(O1+O2),b`(O1+O2)(Rn+1+ , X),→WF,K,%σ+α,η+β12(Rn+1+ , X).

Due to (4.15) we havem`(O1+O2)>0 for `= 0, . . . , M if F =Bp0,q0. LetN0 :=N({(α, β12)}).

Then the isomorphismΦN0(∇(%)+ )yieldsHi,→WF,K,%σ,η (Rn+1+ , X)and thereforeHi,→Hij. The embeddingFj ,→Fij follows in the same way.

In contrast to Proposition 4.14 we are also interested in spaces like

0Bp,%s (R+, Lp(Rn))∩Lp,%(R+, B2sp (Rn)), s >0, p∈(1,∞)

to handle boundary value problems where the mixed order system acts on the trace spaces. To get analog results on the assumptions (4.16) and (4.17) as in Proposition 4.14 we have to provide analog results as in Lemma 4.5 (i) of the form

WF,K,%s0+s,r0(Rn+1+ , X)∩WL,M,%s0,r0+r(Rn+1+ , X),→WJs0,I,%+σs,r0+(1−σ)r(Rn+1+ , X).

To obtain further embeddings as in Lemma 4.5 (i) we need the compatibility of the real interpolation method with the intersection of Banach spaces. There are several results for the so-called ’intersection problem’ if the underlying Banach spaces are quasi-linearizable, see in [Pee71], [Pee74], [Tri78]. The next result goes back to P. Grisvard and can be found in [Gri72]. J. Peetre showed in [Pee74] that Grisvard’s result is a special case of the more general result in [Pee74]. P. Grisvard’s result on the intersection problem works without the concrete assumption of quasi-linearizability.

Remark 4.15 (Intersection problem [Gri72]). Let Z andY be Banach spaces withY ,→Z and let A: D(A)⊆Z→Z

be a linear closed unbounded operator. Let the following conditions be fulfilled:

(i) It holds that(−∞,0)⊆ρ(A)and there exists aC0>0 such that kt(t−A)−1ukZ ≤C0kukZ, t <0, u∈Z.

(ii) The resolvent(t−A)−1 isY-invariant for all t <0 and there existsC1>0 such that kt(t−A)−1ukY ≤C1kukY, t <0, u∈Y.

Then we obtain

(Z, Y ∩D(A))θ,p= (Z, Y)θ,p∩(Z, D(A))θ,p

with equivalent norms for allθ∈(0,1)and p∈(1,∞).

Lemma 4.16. Let X be a Banach space of class HT with property (α). For all s0, s, r ≥0, r0 ∈ R, p0, p1∈(1,∞), and%≥0we have

WF,K,%s0,r0 (Rn+1+ , X), WF,K,%s0+s,r0(Rn+1+ , X)∩WF,K,%s0,r0+r(Rn+1+ , X)

θ,p

=

WF,K,%s0,r0 (Rn+1+ , X), WF,K,%s0+s,r0(Rn+1+ , X)

θ,p

WF,K,%s0,r0 (Rn+1+ , X), WF,K,%s0,r0+r(Rn+1+ , X)

θ,p

where(F,K) = (Hp0, Hp1),θ∈(0,1), andp∈(1,∞).

Proof. We use the abbreviationFα(Kβ) :=WF,K,%α,β (Rn+1+ , X). Fors= 0orr= 0the assertion is trivial.

Lets, r >0,Z :=Hps0

0(Hpr0

1),Y :=Hps0+s

0 (Hpr0

1), andA:= Λr(∇Z+). According to Proposition 2.49 we have D(A) =Hps00(Hpr10+r)with equivalent norms. In the following we show that we can apply Remark 4.15.

(i) There exists δ0(r) > 0 and τ(r) > 0 such that for all t < 0, δ ≤ δ0(r), and z ∈ Σnδ we have t−Λr(z)∈ −(τ(r)+Sπ/2). In particular, this yieldsϕt:= (t−Λr)−1∈Hnδ). With Theorem 1.19 we then obtaint∈ρ(A)and(t−A)−1t(∇Z+)for allt <0. Using a homogeneity argument we derive the boundedness of the function

χ(t, z) :=tϕt(z), (t, z)∈(−∞,0)×Σnδ.

Therefore, there exists C > 0such thatkχ(t,·)k≤C for allt <0. We get kχ(t,∇Z+)kL(Z)≤C for all t < 0. Altogether we obtain kt(t−A)−1ukZ =kχ(t,∇Z+)ukZ ≤CkukZ for all t < 0 and u∈Z.

4.3: Embedding conditions (4.16) and (4.17) 95 (ii) The assertion of (i) is also true for the operatorB := Λr(∇Y+)and due to the pointwise definition of the natural extension, cf. Definition 2.40, we easily get(t−A)−1|Y = (t−B)−1∈L(Y). Altogether we getkt(t−A)−1ukY ≤CkukY for allt <0and u∈Y.

Special cases of the next embedding result can be found in [EPS03, Remark 5.3] and [MS11, Proposi-tion 3.2], for example. However, the authors of [MS11] consider spaces with a type of polynomial weight in the time domain. In [MS11, Proposition 3.2] the authors have the additional restriction s ∈ (0,2), which appears because they consider powers of the time derivative(1−∂t)s. These powers cannot be controlled for larges. Some arguments of the proofs given there are related to arguments used here but we use the abstract interpolation result of Remark 4.15, respectively Lemma 4.16, instead of powers of the time derivative. With this approach we can drop the restriction ons.

Proposition 4.17 (Embedding result II). Let X be a Banach space of class HT with property(α).

For alls0≥0,r0∈R,s, r >0,%≥0, andσ∈(0,1) we have the embedding Proposi-tion 2.24 and Remark 2.17 (iii) we obtain

h (cf. Remark A.9) and the reiteration theorem (cf. Theorem A.10) we get

h

Using Lemma 4.16, Remark 2.17 (iii), and Proposition 2.24 we get

With these embeddings and (4.19) we obtain which yields the first claimed embedding.

The second embedding can be obtained in the same way by using (4.19) and the embeddings Hps0+s−ε

It attracts attention that we have a linking between the outer scale L = Hp0 and the inner scale M=Bp1p0 due to the occurrence of p0 in Bp1p0. This coupling always appears if we apply Proposi-tion 2.24.

Proposition 4.18 (Embedding result III). Let X be a Banach space of classHT with property (α).

For alls0 >0,r0∈R,s, r≥0,%≥0,1< p0, p1<∞, andσ∈(0,1) we have the embedding Using (4.21), Proposition 2.24, and the embeddings

Hps00+s−ε(Hpr10)∩Hps00−ε(Hpr10+r) ,→ Hps00+σs(Hpr10+(1−σ)r−δ), Hps00+s+ε(Hpr10)∩Hps00(Hpr10+r) ,→ Hps00+σs(Hpr10+(1−σ)r+δ)

4.3: Embedding conditions (4.16) and (4.17) 97 from Lemma 4.5 (i) we obtain

Bps0+s

0 (Hpr0)∩Bps0

0(Hpr0+r

1 ) ,→

Hps0+σs

0 (Hpr0+(1−σ)r−δ

1 ), Hps0+σs

0 (Hpr0+(1−σ)r+δ

1 )

1/2,p0

= Hps00+σs(Brp01+(1−σ)rp0 ), which proves the first assertion.

(ii) We omit the proof of the second assertion because it follows the same idea as in (i).

The embeddings which we have proven in this section are very useful for the application of the main result on mixed order systems but they are also of their own interest. Therefore, we also want to state these results for spaces with more general domains in the space variable.

Remark 4.19 (Further embeddings). Let X be a Banach space of class HT with property (α). Let Ω⊆ Rn be sufficiently smooth (e.g. Ω satisfies a strong local Lipschitz condition) such that there exist bounded extension and restriction operators in the Bessel-potential and Besov scale. All embeddings in Lemma 4.5, Proposition 4.17, and Proposition 4.18 remain valid if we replace Rn by Ω, i.e. replace WF,K,%σ,η (R+×Rn, X)by the spaceWF,K,%σ,η (R+×Ω, X). This can be obtained by Lemma 2.7 and Lemma 2.4.

Before we give a sufficient condition for the embeddings (4.16) and (4.17) we introduce a useful definition for this context.

Definition 4.20(Admissible scale). Let O1 andO2 be positive order functions such that O1− O2 is a monotone order function. Let the scale

(F`,K`)∈ {(Hp0, Bp1p0),(Bp0, Hp1)}, `= 0, . . . , M be given such that there existτ ∈ {0, . . . , M−1} with

(F`,K`) = (Hp0, Bp1p0), `∈ {0, . . . , τ}, (F`,K`) = (Bp1p0, Hp0), `∈ {τ+ 1, . . . , M}.

The scale(F`,K`)`=0,...,M is then called (O1,O2)-admissible if we have

(bτ(O2), mτ(O2)) 6= (bτ+1(O2), mτ+1(O2)), if O1− O2 is increasing, (bτ(O1), mτ(O1)) 6= (bτ+1(O1), mτ+1(O1)), if O1− O2 is decreasing.

Note that this definition is also meaningful ifO1− O2 has trivial index, i.e. there exists α, β∈ Rsuch that(O1− O2)(γ) =αγ+β for all γ >0 and thereforeO1− O2 is increasing as well as decreasing.

Proposition 4.21 (Embedding condition II). Consider the situation of Theorem 4.12 with (F`,K`)∈ {(Hp0, Bp1p0),(Bp0, Hp1)}, `= 0, . . . , M.

If the scale(F`,K`)`=0,...,M is(OHi,OFj)-admissible for alli, j= 0, . . . , M, then the embedding conditions (4.16) and (4.17) are fulfilled. In this sense the scales(Hp0, Bp1p0)and(Bp0, Hp1)are compatible.

Proof. Let sj+ti be increasing. As in the proof of Proposition 4.14 we set O1(γ) := OFi(γ) +β1 and O2(γ) := (sj+ti)(γ) +αγ+β2whereβ1:=βin(OFi),α:=αin(sj+ti), andβ2:=βin(sj+ti). Note that we haveOHi(γ) =OFj(γ) + (sj+ti)(γ) = (O1+O2)(γ)−αγ−(β12). For fixed`, κ∈ {0, . . . , M}we define

σ := σji(`, κ, t) =m`(OFj) +mκ(sj+ti), η := ηji(`, κ, t) =b`(OFj) +bκ(sj+ti)

and getσ+α=m`(O1) +mκ(O2)andη+β12=b`(O1) +bκ(O2). Lemma 3.41 already yields that (η+β12, σ+α)∈ N(O1+O2). Compared to the proof of Proposition 4.14 we have to determine the position of the tuple (η+β12, σ+α) more precisely. Here we can benefit from the results of Lemma 3.42. LetΓ = Γ(O1+O2)have the same meaning as in Lemma 3.42 and defineN :=N(O1+O2).

(i) Let(η+β12, σ+α)∈N\Γ. This case is clear by an application of Lemma 4.5 (i), Proposition 4.17, Proposition 4.18, and the trivial embeddings

0Hps

0(R+, Y), 0Bps

0(R+, Y) ,→ 0Hpt

0(R+, Y)∩0Bpt

0(R+, Y), Hsp1(Rn, X), Bsp1p0(Rn, X) ,→ Htp1(Rn, X)∩Btp1p0(Rn, X) fors > t.

(ii) Let(η+β12, σ+α)∈Γ\NV andς ∈ {0, . . . , I(O1)} with

iς(O1) =iς(OFj)≤` < iς+1(O1) =iς+1(OFj).

Due to Lemma 3.42 we may assume without loss of generality µ16= 0, iµ1(O2) =iς(O1) =:j,

andiµ1−1(O2)≤κ < iµ1(O2). Then(bj(O1+O2), mj(O1+O2))and(bj−1(O1+O2), mj−1(O1+O2)) are the endpoints of the edge including (η+β12, σ+α). The assumption on the scales then yields

M

\

µ=0

WFmµ(O1+O2), bµ(O1+O2)

µ,Kµ,% (Rn+1+ , X)

,→ WFmj(O1+O2), bj(O1+O2)

j,Kj,% (Rn+1+ , X)∩WFmj−1(O1+O2),bj−1(O1+O2)

j−1,Kj−1,% (Rn+1+ , X) ,→ WFσ+α, η+β12

`,K`,% (Rn+1+ , X)

due to Lemma 4.5 (i), Proposition 4.17, Proposition 4.18, and (F`,K`) = (Fj,Kj). Note that τ /∈(iς(O1), iς+1(O1))forτas in Definition 4.20. DefiningN0:=N({(α, β12)})the isomorphism ΦN0(∇(%)+ )then yieldsHi,→WFσ,η

`,K`,%(Rn+1+ , X).

(iii) Let(η+β12, σ+α)∈NV andς ∈ {0, . . . , I(O1)}with

iς(O1) =iς(OFj)≤` < iς+1(O1) =iς+1(OFj).

According to Lemma 3.42 we then have iµ1(O2) ≤ κ < iµ2(O2) where iµ1(O2) and iµ2(O2) are given as in Lemma 3.42. Due to Lemma 3.42 we derive

(η+β12, σ+α) = (bj(O1+O2), mj(O1+O2))∈NV

where

j:=





iς(O1), κ < iς(O1),

κ, iς(O1)≤κ < iς+1(O1), iς+1(O1)−1, κ≥iς+1(O1).

Due to our assumptions we have(F`,K`) = (Fj,Kj). Note thatτ /∈(iς(O1), iς+1(O1)). This yields

M

\

µ=0

WFmµ(O1+O2), bµ(O1+O2)

µ,Kµ,% (Rn+1+ , X) ,→ WFmj(O1+O2), bj(O1+O2)

j,Kj,% (Rn+1+ , X)

= WFσ+α, η+β12

`,K`,% (Rn+1+ , X).

As in part (ii) the operatorΦN0(∇(%)+ )then showsHi,→WF,K,%σ,η (Rn+1+ , X).

The embeddingsFj ,→Fij can be proved in exactly the same way if sj+ti is decreasing.

At last we want to state a corollary in which we present a condensed version of Theorem 4.12 which is sufficient for many applications.

4.3: Embedding conditions (4.16) and (4.17) 99 Corollary 4.22. LetXbe a Banach space of classHT with property(α). LetL ∈[HP[K](Sθ×Σnδ)]m×m, θ > π/2, be an N-parabolic mixed order system such that for eachi, j= 1, . . . , mthe order functionsj+ti is positive or negative. Let%≥0,s0`≥0,r`0 ∈R,`= 0, . . . , M, such that

OHi(γ) := max

` {[s0`+m`(ti)]γ+r`0+b`(ti)}, γ >0, OFj(γ) := max

` {[s0`−m`(sj)]γ+r`0−b`(sj)}, γ >0, i, j= 1, . . . m are positive order functions. Furthermore, let the scale

(F`,K`)∈ {(Bp, Hp),(Hp, Bp)}, 1< p <∞, `= 0, . . . , M be(OHi,OFj)-admissible for all i, j= 1, . . . mand let

s0`>max{max{−m`(ti), m`(si)}:i= 1, . . . , m} (4.22) for all`∈ {0, . . . , τ}whereτis taken from Definition 4.20. Using the same notation as in Definition 2.25 we define fori, j= 1, . . . mthe spaces

Hi:=

M

\

`=0

Ws

0

`+m`(ti), r0`+b`(ti)

F`,K`,% (Rn+1+ , X), Fj:=

M

\

`=0

Ws

0

`−m`(sj), r0`−b`(sj)

F`,K`,% (Rn+1+ , X).

Then there existsµ0>0 such that for all µ≥µ0

[Lµ[℘](∇(%)+ )]|H∈LIsom(H,F), ([Lµ[℘](∇(%)+ )]|H)−1= [Lµ−1[℘](∇(%)+ )]|F whereH:=Qm

i=1Hi andF:=Qm

i=1Fi. In particular, we have the boundedness of the mappings K→L(H,F), ℘7→[Lµ[℘](∇(%)+ )]|H, K→L(F,H), ℘7→([Lµ[℘](∇(%)+ )]|H)−1.

Proof. The order functionssj+ti are positive or negative so we haveαin(sj+ti) = 0orαde(sj+ti) = 0, respectively. This yieldsδi,1 = δj,2 = 0 for all i, j = 1, . . . , m. The embeddings (4.16) and (4.17) are fulfilled due to Proposition 4.21. Assumption (4.22) ensures that the time-regularity is positive for the Besov scales. Hence the assertion follows from Theorem 4.12.

Remark 4.23(Possible extensions). It should be possible to extend the theory to general order func-tions such that we can drop the assumption that the order funcfunc-tions(sj+ti)ij have to be monotone. In this case we also have to introduce more general weight functions, i.e. we have to allow arbitrary quotients of the formΞν1ν2 in Definition 3.25 (vi). Up to now, from the view of applications, there is no reason to generalize the theory in this direction.

Chapter5

Some results on Triebel-Lizorkin spaces

In this chapter we want to generalize the results of Chapter 4 on mixed order systems to the scale of Triebel-Lizorkin spaces. Triebel-Lizorkin spaces naturally appear in parabolic Lp-Lq-theory as the trace spaces of the solution. This fact was independently noted in [Ber87a], [Wei05], and [DHP07]. In Chapter 7 we will show that we are able to establish anLp-Lq-theory for free boundary value problems by using mixed order systems on Triebel-Lizorkin spaces. We explicitly consider the Lp-Lq two-phase Stefan problem with Gibbs-Thomson correction in Section 7.8.

Our philosophy to treat vector-valued Triebel-Lizorkin spaces is to present them as a complex inter-polation spaceFpqs = [Hps0, Bsp1]θ. This representation holds in the scalar-valued case but fails in general in the vector-valued case. Therefore we prove a related representation by ourselves in Corollary 5.11, which reads as follows

Fpqs(Rm,[H, X]θ) = [Hps0(Rm, H), Bps1(Rm, X)]θ (5.1) for a Banach spaceX and a Hilbert space H. Using (5.1) we can transfer the results in Chapter 2 and Chapter 4 to vector-valued Triebel-Lizorkin spaces. So we explicitly derive that∇+ admits a bounded jointH-calculus on vector-valued Triebel-Lizorkin spaces. Moreover, we get the analog result of Theo-rem 4.12 for vector-valued Triebel-Lizorkin spaces.

To establish compatibility embeddings as in Proposition 4.17 we need the concepts of scalar-valued anisotropic Triebel-Lizorkin spaces with mixed norms. Literature concerning these spaces is rare and therefore we only want to restrict ourselves on scalar-valued mixed order systems.

In the next sections we give the basic definition of several types of Triebel-Lizorkin spaces and state some results on them. The presented approach to Triebel-Lizorkin spaces on half spaces is rather the same as in Section 2.2, where we have used the concepts of retractions.

5.1 Vector-valued Triebel-Lizorkin spaces and interpolation

Here we follow the work of H. Triebel [Tri97], respectively H.J. Schmeißer and W. Sickel [SS05], for the definition of vector-valued Triebel-Lizorkin spaces by the so-called decomposition method.

Definition 5.1([Tri97, Definition 15.4], [SS05, Definition 1]). Letψ∈D(Rm)withψ(x)∈[0,1],x∈Rm, andψ(x) = 1if |x| ≤ A, and ψ(x) = 0 if |x| > B for0 < A < B <∞. We define the smooth dyadic decomposition of unity by

ϕ0:=ψ, ϕ1(x) :=ϕ0(x/2)−ϕ0(x), ϕj(x) :=ϕ1(2−j+1x), j≥2.

For s ≥ 0, 1 < p, q < ∞, and any Banach space X we define the X-valued Triebel-Lizorkin space Fp,qs (Rm, X)as the set of allu∈S0(Rm, X)with

kukFs

p,q(Rm,X):=

(2sjF−1jFf])j∈N0

`

q(X)

L

p(Rm)<∞.

101

Remark 5.2. In [RS96, Proposition 6] one can find a characterization of vector-valued Triebel-Lizorkin spaces by differences.

It is astonishing that the Banach space valued Triebel-Lizorkin scale does not cover the Bessel-potential scale in general. This statement is based on some results in Littlewood-Paley theory and will be clarified with the next remark.

Remark 5.3. (i) LetX be a Banach space ands≥0,1< p <∞. We then have Hps(Rm, X) =Fp,2s (Rm, X)

if and only ifX can be renormed as a Hilbert space. This result can be found in [RdFT87, p. 283], [SS05, Remark 5], [Ama09, Remark 4.5.3], and the references given therein.

(ii) For all Banach spacesX,s >0, and1< p <∞ we have Bps(Rm, X) =Fp,ps (Rm, X).

This observation is obvious due to the parallel definitions of Besov and Triebel-Lizorkin spaces (cf.

Definition 2.16) and Fubini’s theorem.

In Section 2.2 we defined all Besov and Bessel-potential spaces on half spaces by retractions. In the next lines we want to generalize these concepts to vector-valued Triebel-Lizorkin spaces. As in Section 2.2 we use the mappingsr+,r+0,e+, ande+0, which were introduced in Definitions 2.11 and 2.13.

Definition 5.4. LetX be a Banach space of classHT ands≥0,1< p, q <∞. Following the approach of [Ama09] for Bessel-potential and Besov spaces, we defineX-valued Triebel-Lizorkin spaces on the half space by

Fp,qs (Rm+, X) := r+ Fp,qs (Rm, X) ,

0Fp,qs (Rm+, X) := r+0 Fp,qs (Rm, X) with the quotient norms

kukFp,qs (Rm+,X):= inf{kfkFp,qs (Rm,X): f ∈Fp,qs (Rm, X)withr+(f) =u}, kuk0Fp,qs (Rm+,X):= inf{kfkFp,qs (Rm,X):f ∈Fp,qs (Rm, X)with r+0(f) =u}.

The operatorsr+ andr+0 were introduced in Definitions 2.11 and 2.13.

Similar to Definition 2.20 we define Triebel-Lizorkin spaces with exponential weights.

Definition 5.5 (Triebel-Lizorkin spaces with exponential weights). LetX be a Banach space of classHT and1< p, q <∞. Fors >0 and exponential weight%≥0 we define

0Fp,q,%s (R+, X) := M−% 0Fp,qs (R+, X) with norm

kfk0Fs

p,q,%(R+,X) := kM%fk0Fs

p,q(R+,X), f ∈0Fp,q,%s (R+, X).

Remark 5.6 (Properties of Triebel-Lizorkin spaces with exponential weights). Let X be a Banach space of classHT,s >0,%≥0, and1< p, q <∞. From the definitions we already derive

[M%]|0Fs

p,q,%(R+,X)∈LIsom 0Fp,q,%s (R+, X),0Fp,qs (R+, X) . Proposition 5.7. For each Banach space X of classHT we have the embeddings

Fpqs0+s(Rm, X) ,→ Hps0(Rm, X),

0Fpqs0+s(Rm+, X) ,→ 0Hps0(Rm+, X),

0Fpq,%s0+s(R+, X) ,→ 0Hp,%s0 (R+, X) fors0≥0,s >0,1< p, q <∞, and%≥0.

5.1: Vector-valued Triebel-Lizorkin spaces and interpolation 103 Proof. Using [SS01, Proposition 2 (ii)] we derive

Fpqs0+s(Rm, X),→Bp,max{p,q}s0+s (Rm, X).

Employing (2.6) there existsθ∈(0,1) such that Bp,max{p,q}s0+s (Rm, X) =

Hps0(Rm, X), Hps0+s+1(Rm, X)

θ,max{p,q},→Hps0(Rm, X).

An usual retraction argument, cf. Lemma 2.7, and the exponential weight isomorphisms then also yield the other claimed embeddings.

Remark 5.8. (i) The vector-valued spaceFp,qs (Rm, X) (s >0) is a retract ofLp(Rm, `sq(X))where

`sq(X) :=

(

(xk)k∈N0 ⊆X:

X

k=0

2skq|xk|q <∞ )

, k(xk)k∈N0k`s q(X):=

X

k=0

2skq|xk|q

!1/q

. This is well-known in the scalar case (cf. [Tri78, Theorem 2.4.2]) and the proof can be lifted to the vector-valued case (cf. [SS01, Proof of Proposition 12]). See also [Ama00, Theorem 3.1] for a similar proof and a corresponding result for vector-valued Besov spaces.

(ii) For an arbitrary interpolation couple {X0, X1},s0, s1>0,1< p0, p1, q0, q1<∞, andθ∈(0,1)we obtain

Fps00,q0(Rm, X0), Fps11,q1(Rm, X1)

θ = Fpsθθ,qθ(Rm,[X0, X1]θ), (5.2) with1/pθ= (1−θ)/p0+θ/p1,1/qθ= (1−θ)/q0+θ/q1, andsθ= (1−θ)s0+θs1. The equality in (5.2) immediately follows from (i), Lemma 2.5, Theorem A.11, and Theorem A.12.

Remark 5.9. Fors >0,1< p, q <∞, and any Banach spaceX we have

D(R+, X),→d 0Fpqs(R+, X). (5.3) The embedding S(R, X) ,→d Fpqs(R, X) can be proved by a retraction argument similar to the proof for Besov spaces in [Ama09, p. 52]. Another retraction argument then yields0S(R+, X),→d 0Fpqs(R+, X).

UsingD(R, X),→d S(R, X)(cf. [Ama03, Lemma 4.1.4]) we obtain (5.3).

The next proposition is our starting-point for a transfer of the results in Chapter 2 and Chapter 4 to the Triebel-Lizorkin scale. More precisely, it allows to transfer results by complex interpolation.

Proposition 5.10. Let {X, H} be an interpolation couple whereX is a Banach space of classHT and H is a Hilbert space. Let1< p <∞,s >0,%≥0, and

q∈ 2p

p+ 1,2p

(5.4) (cf. Figure 5.1). Then there exist1 < p0, p1<∞and θ∈(0,1) such that1/p= (1−θ)/p0+θ/p1 and 1/q= (1−θ)/2 +θ/p1. With this we obtain

Fp,qs (Rm,[H, X]θ) =

Hps00(Rm, H), Bsp11(Rm, X)

θ, (5.5)

Fp,qs (Rm+,[H, X]θ) =

Hps00(Rm+, H), Bsp11(Rm+, X)

θ, (5.6)

0Fp,qs (Rm+,[H, X]θ) =

0Hps00(Rm+, H),0Bps11(Rm+, X)

θ, (5.7)

0Fp,q,%s (R+,[H, X]θ) =

0Hps0

0,%(R+, H),0Bsp1

1,%(R+, X)

θ (5.8)

for alls0, s1>0 withs= (1−θ)s0+θs1.

1

Figure 5.1: Illustration of the set of tuples(p, q)satisfying (5.4)

Proof. (I) The spaceH is a Hilbert space and therefore we obtain for allp0, p1∈(1,∞)ands0, s1>0 Using Remark 5.8 (ii) we directly obtain

Hps0

(II) According to Remark 2.19 we have the retraction respectively coretraction

r+ ∈ L(Hps00(Rm, H), Hps00(Rm+, H))∩L(Bps11(Rm, X), Bps11(Rm+, X)), e+ ∈ L(Hps00(Rm+, H), Hps00(Rm, H))∩L(Bps11(Rm+, X), Bps11(Rm, X)).

Thus, (5.5) and Lemma 2.5 yield

Fp,qs (Rm+,[H, X]θ) = r+Fp,qs (Rm,[H, X]θ) of (5.8) then follows from Proposition 5.6, Lemma 2.6, and (5.7).

5.1: Vector-valued Triebel-Lizorkin spaces and interpolation 105 The next corollary is very useful because it gives the possibility to obtain the Bessel-valued Triebel-Lizorkin spaces by complex interpolation of the tame pure Bessel-potential scale and the Bessel-valued Besov scale. If (5.4) is fulfilled, then we can lift results to the Bessel-valued Triebel-Lizorkin scale by simple interpolation arguments.

Corollary 5.11. Let 1< p <∞,s >0,r∈R, and%≥0. Then for all q∈

2p p+ 1,2p

there existθ∈(0,1) and1< p0, p1<∞such that 1/p= (1−θ)/p0+θ/p1 and1/q= (1−θ)/2 +θ/p1. With this we obtain

Fp,qs (Rm, Hqr(Rn)) =

Hps00(Rm, H2r(Rn)), Bsp11(Rm, Hpr1(Rn))

θ, (5.9)

Fp,qs (Rm+, Hqr(Rn)) = Hps0

0(Rm+, H2r(Rn)), Bsp1

1(Rm+, Hpr

1(Rn))

θ, (5.10)

0Fp,qs (Rm+, Hqr(Rn)) =

0Hps0

0(Rm+, H2r(Rn)),0Bps1

1(Rm+, Hpr

1(Rn))

θ, (5.11)

0Fp,q,%s (R+, Hqr(Rn)) =

0Hps00,%(R+, H2r(Rn)),0Bsp11,%(R+, Hpr1(Rn))

θ (5.12)

for alls0, s1>0 withs= (1−θ)s0+θs1.

Proof. Let p0, p1, and θ be as in Proposition 5.10. Defining H := H2r(Rn) and X := Hpr

1(Rn) we get [H, X]θ=Hqr(Rn). Hence Proposition 5.10 yields the claim.

Corollary 5.12. Let 1< p <∞,s >0,r∈R, andq∈ 2p

p+1,2p

. Then we have

e+∈L(Fp,qs (Rm+, Hqr(Rn)), Fp,qs (Rm, Hqr(Rn))), r+∈L(Fp,qs (Rm, Hqr(Rn)), Fp,qs (Rm+, Hqr(Rn))), e+0 ∈L(0Fp,qs (Rm+, Hqr(Rn)), Fp,qs (Rm, Hqr(Rn))), r+0 ∈L(Fp,qs (Rm, Hqr(Rn)),0Fp,qs (Rm+, Hqr(Rn))).

Hence r+, r0+, e+, and e+0, which are introduced in Definitions 2.11 and 2.13, are retractions and co-retractions on the spaceFp,qs (Rm, Hqr(Rn)).

Proof. This follows immediately by an interpolation argument from Remark 2.19 and Corollary 5.11 with s0=s1=s.

Corollary 5.11 shows that we can reach all Bessel-potential space valued isotropic Triebel-Lizorkin spacesFp,qs (Rm, Hqr(Rn))by interpolation of the scalesHp(H2)andBp(Hp)ifpand qfulfill (5.4). This representation is used frequently to derive results for the Bessel-valued Triebel-Lizorkin scale. For example we can show that the definition of0Fp,qs (Rm+, Hqr(Rn))is equivalent to the definition by vanishing traces.

In order to do this we need the following abstract interpolation result, which can be found in [LM68] or [KMM07, Theorem 7.10].

Remark 5.13. Let{X0, X1},{Z0, Z1}, and{Y0, Y1} be interpolation couples with X0∩X1

,→d Xi, Z0∩Z1

,→d Zi, Yi,→Zi, i= 0,1

and suppose that there exists an operatorD:X0+X1→Z0+Z1 such thatD|Xi∈L(Xi, Zi)fori= 0,1.

Define the spaces

Xi(D) :={u∈Xi: Du∈Yi}, kukXi(D):=kukXi+kDukYi, u∈Xi(D), i= 0,1.

If there exist operators G: Z0+Z1 → X0+X1 and K: Z0+Z1 → Y0+Y1 with G|Zi ∈ L(Zi, Xi), K|Zi ∈L(Zi, Yi)fori= 0,1 and

DGu=u+Ku, u∈Zi, i= 0,1, then we derive

[X0(D), X1(D)]θ={u∈[X0, X1]θ:Du∈[Y0, Y1]θ}, θ∈(0,1).

Proposition 5.14. Let s >0,r∈R, andk∈N0 such that k+ 1/p < s < k+ 1 + 1/p. Then we have

0Fp,qs (R+, Hqr(Rn)) =n

u∈Fp,qs (R+, Hqr(Rn)) : u(j)(0) = 0, for all 0≤j≤ko for all p∈(1,∞)andq∈(2p/(1 +p),2p). Due to Proposition 5.7 the traces are classical.

Proof. According to Corollary 5.11 there exist constantsp0, p1∈(1,∞)andθ∈(0,1)such that we have 1/p= (1−θ)/p0+θ/p1and1/q= (1−θ)/2 +θ/p1. Forsj :=s+ 1/pj−1/p,j = 0,1, we derive

s0∈(k+ 1/p0, k+ 1 + 1/p0), s1∈(k+ 1/p1, k+ 1 + 1/p1), ands= (1−θ)s0+θs1. Corollary 5.11 then yields

0Fp,qs (R+, Hqr(Rn)) =

0Hps00(R+, H2r(Rn)),0Bps11(R+, Hpr1(Rn))

θ.

Here it is crucial that we can chooses0 ands1 such that the Bessel-potential space as well as the Besov space possess the same number of vanishing traces. This is necessary to apply Remark 5.13.

In order to apply Remark 5.13 we define X0:=Hps0

0(R+, H2r(Rn)), Z0:=

k

Y

j=0

H2r(Rn),

X1:=Bsp11(R+, Hpr1(Rn)), Z1:=

k

Y

j=0

Hpr1(Rn),

Y0:=Y1 :={0}, and the trace operatorDu := (u(j)(0))j=0,...,k with the corresponding extension oper-atorG. These operators are well-defined and possess the requested boundedness according to [Ama09, Theorem 4.5.4, Theorem 4.6.3]. Additionally, we getDGu =ufor all u∈X0+X1 why we can define K:= 0. The density assumptions of Remark 5.13 are obvious. We then have

X0(D) = {u∈Hps0

0(R+, H2r(Rn)) : Du= 0}

= 0Hps00(R+, H2r(Rn)), kukX0(D)=kuk0Hs0

p0(R+,H2r(Rn)), X1(D) = {u∈Bps11(R+, Hpr1(Rn)) :Du= 0}

= 0Bps1

1(R+, Hpr

1(Rn)), kukX1(D)=kuk

0Bsp11(R+,Hpr

1(Rn))

by Remark 2.17 (iv). Hence we obtain

0Fp,qs (R+, Hqr(Rn))) =

0Hps00(R+, H2r(Rn))),0Bsp11(R+, Hpr1(Rn))

θ

= {u∈[X0, X1]θ:Du= 0}

= n

u∈Fp,qs (R+, Hqr(Rn))) : (u(j)(0))j=0,...,k= 0o by (5.10) and (5.11).

5.2 Anisotropic Triebel-Lizorkin spaces and representation by