arXiv:1908.06786v2 [math.PR] 16 Jun 2020 f oprbewt [ with comparable ouin fannierCuh rbe ihabtay(rcinl p (fractional) arbitrary with problem Cauchy the ( of nonlinear Laplacian uniqueness a and existence of the on solutions 3.5] Theorem [1, Schmeißer & 11 fw take we if (1.1) raTiblLzri space Triebel–Lizorkin a or C enti ucin n eetrslsb ase&Sheßr[1 Schmeißer & Baaske by results recent and function, Bernstein a ti functions stein where (1.2) semigroup in3 yia xmlsare examples Typical 3. tion h aiyo prtr hc sdfie hog h ore transf Fourier the through defined is which operators of family the semigroup), a eqatfidtruhieulte ftefloigform following the of th inequalities of through effect smoothing quantified the be to can refers smoothing” “Caloric 2. Section hr h function the where (1.1) 0 mohn f(h xeso f ( of) extension (the of smoothing 60G51. subordination. ( f,d < α < OHE’ UODNTO N RCINLCALORIC FRACTIONAL AND SUBORDINATION BOCHNER’S x ewl s ohe’ uodnto ehiu opoe(.)frarb for (1.2) prove to technique subordination Bochner’s use will We eut fti yeaekonfrteGu–eesrßsemigroup Gauß–Weierstraß the for known are type this of Results e ( Let 2010 e od n phrases. and words Key MOHN NBSVADTIBLLZRI SPACES TRIEBEL–LIZORKIN AND BESOV IN SMOOTHING = ) ( t ) d ahmtc ujc lsicto.Primary: Classification. Subject Mathematics re eeaie aßWirta eirus xesost ot are semigroups to general Extensions more and hybrid) semigroups. (homogeneous, estimat spaces Cauchy–Poiss Gauß–Weierstraß new Gauß–Weierstraß, generalized Our the order for spaces. results Triebel–Lizorkin smoothing and known Besov- in estimates ing Abstract. → W x wihlast h tbesmgop) nti oew rv h c the prove we note this In semigroups). stable the to leads (which 1 ≥ t seTibl[5 hoe .5)adfrtegnrlzdGauß–Weie generalized the for and 3.35]) Theorem [15, Triebel (see f as 0 ) W − C t sarbitrary, is 0 ≥ f f,d ∆) t ( 0 ( m t x ethe be f ( f ) β = ) t → ( ( ) , where x f x k eueBcnrssbriaintcnqet banclrcsmooth- caloric obtain to technique subordination Bochner’s use We ITRY NPV N REN AND KNOPOVA VICTORIYA β n rirr powers arbitrary and ) W = ) − ;tesymbol the 0; f F √ 1 ≥ t (1 f ( f x (0 : u W 1. x /t sbriae aßWirta eiru;b hsw mean we this by semigroup; Gauß–Weierstraß -subordinated m wihgvsteCuh–oso eiru)or semigroup) Cauchy–Poisson the gives (which m | ucinsae,clrcsotig aßWirta semigroup, Gauß–Weierstraß smoothing, caloric spaces, Function t f )] , A f 1,Rmr .7,btnt htfor that note but 3.37], Remark [15, cf. , u ∈ ∞ − C p,q s )( F d/ + N ) f,d ξ p,q d s 2 f k ≤ k = ) sa plcto egnrlz h euto Baaske of result the generalize we application an As . hs prtr r logvntruhterelation the through given also are operators these ; → ( ( ( 1. x t R sacntn eedn nyon only depending constant a is ) A W = ) (0 n e p,q s Introduction ). − t f u , tf ) ∞ x = t | ( ≥ | A sas-aldBrsenfnto,seSec- see function, Bernstein so-called a is ) ξ 0 wihgvstecasclGauß–Weierstraß classical the gives (which | A 2 p,q s 1 nBsvadTiblLzri pcs see spaces, Triebel–Lizorkin and Besov in ) f p,q s F k ( ( x u R = ) ( o l 0 all for ξ n 63;60J35. 46E36; ) tnsfraBsvspace Besov a for stands ) u , x .SCHILLING L. E ´ β , > β ∈ t < S .Teconstant The 0. ( R ≤ Secondary: n and 1 ) sketched. , nadhigher- and on eiru which semigroup e e function her > m hoe 3.5]. Theorem , orm idadstrong and mild u sextend es f ∈ 52;35K55; 35K25; wr fthe of owers tayBern- itrary hsi not is this 1 and A W f p,q s ( t C B x ..for i.e. , , f,d = ) p,q s d rstraß aloric and , ( ( t R is ) x n α ) , 2 V.KNOPOVAANDR.L.SCHILLING

2. Function spaces n Let us briefly recall some notation. Lp(R ), resp., ℓq(N0) denote the spaces of pth order integrable functions on Rn, resp., qth order summable sequences indexed n by N0; we admit 0 < p,q . Since we are always working in R , we will usually n≤∞ write Lp instead of Lp(R ). If p,q < 1 these spaces are quasi-Banach spaces, their (quasi-)norms are denoted by L and ℓ , respectively. We write k· | pk k· | qk u(k, x) L ℓ (N ) resp. u(k, x) ℓ (N ) L k | p | q 0 k k | q 0 | pk h i to indicate that we take first the Lp-norm and then the ℓq(N0)-norm [resp. first the ℓq(N0)-norm and then the Lp-norm]. Throughout, we use j, k, m for discrete and x, y, z for continuous variables, so there should be no confusion as to which variable is used for the ℓq(N0)-norm or Lp-norm. We follow Triebel [15, Definition 1.1 and Remark 1.2 (1.14), (1.15)] for the defini- tion of the scales of Besov- and Triebel–Lizorkin spaces. Let u denote the Fourier transform of a function u; the extension to the space of temperedF distributions ′ Rn ∞ 1 1 S ( ) is again denoted by . Fix some φ0 C0 such that B(0,1) φ0 B(0,3/2) F ∈ ∞ ≤ ≤ and set φ (x) := φ (2−kx) φ (2−(k+1)x). Since φ (x) = 1, the sequence k 0 − 0 k=0 k (φk)k≥0 is a dyadic resolution of unity. By P φ (D)u(x) := −1(φ u)(x) k F kF we denote the pseudo-differential operator (Fourier multiplier operator) with −J −J n symbol φk. We will also need the dyadic cubes QJ,M =2 M +2 (0, 1) , where J Z, M Zn and (0, 1)n is the open unit cube in Rn. ∈ ∈ Definition 2.1. Let (φk)k≥0 be any dyadic resolution of unity. R s a) Let p (0, ], q (0, ] and s . The Besov space Bp,q is the family of all u ∈S′(R∞n) such∈ that∞ the following∈ (quasi-)norm is finite: ∈ u Bs := 2ksφ (D)u(x) L ℓ (N ) . k | p,qk k k | p | q 0 k R s b) Let p (0, ), q (0, ] and s . The Triebel–Lizorkin space Fp,q is the family∈ of∞ all f∈ S′(∞Rn) such∈ that the following (quasi-)norm is finite ∈ u F s := 2ksφ (D)u(x) ℓ (N ) L . k | p,qk k k | q 0 | pk R s c) Let p = , q (0, ) and s . The Triebel–Lizorkin space F∞,q is the family of∞ all f∈ S′(∞Rn) such∈ that the following (quasi-)norm is finite ∈ ∞ 1/q s Jn/q ksq q u F∞,q := sup 2 2 φk(D)u(x) dx . N Zn ˆ k | k J∈ 0,M∈ QJ,M | | ! Xk=J R s d) Let p = q = and s . The Triebel–Lizorkin space F∞,∞ is the family of all f S′(∞Rn) such∈ that the following norm is finite ∈ s ks u F∞,∞ := sup sup sup 2 φk(D)u(x) . n k | k J∈N0,M∈Z x∈QJ,M k≥J | | s s R Note that F∞,∞ = B∞,∞ for all s and that the norms appearing in Def- inition 2.1.d) and 2.1.a) coincide if p∈= q = : u F s = u Bs . ∞ k | ∞,∞k k | ∞,∞k Definition 2.1 does not depend on the choice of (φk)k≥0 since different resolutions of unity lead to equivalent (quasi-)norms. Various properties of these spaces as well as SUBORDINATION AND FUNCTION SPACES 3 their relation to other classical function spaces can be found in Triebel [15], see also [13] and [14]. Consider the heat kernel (Gaussian probability density) related to the Laplace operator on Rn

1 2 (2.1) g (x) := e−|x| /(4t), t> 0, x Rn. t (4πt)n/2 ∈

We can use gt(x) to define a convolution operator on the space Bb of bounded Borel functions u : Rn R → (2.2) Wtu(x) := gt u(x)= gt(y x)u(y) dy. ∗ ˆRn −

For positive u 0 the above integral always exists in [0, ] and extends Wt to all positive Borel≥ functions. It is not difficult to see that g∞ = g g , i.e. (W ) t+s t ∗ s t t≥0 is a semigroup. The operators are positivity preserving (Wtu 0 if u 0) and −t|ξ|2 ≥ ≥ conservative (Wt1 1). If u S, then (Wtu)(ξ)= e u(ξ). We will need the following simple lemma.≡ We provide∈ theF short proof for theF readers’ convenience.

Lemma 2.2. Let (Wt)t≥0 be the Gauß–Weierstraß semigroup. a) W : L L , p [1, ] is a contraction, i.e. t p → p ∈ ∞ W u L u L . k t | pk≤k | pk n b) Let ψk( ) be a sequence of positive measurable functions on R such that (ψ (x)) · ℓ (N ) for some q [1, ] and all x Rn. Then k k≥0 ∈ q 0 ∈ ∞ ∈ W ψ (x) ℓ (N ) W ψ ( ) ℓ (N ) (x). k t k | q 0 k ≤ tk k · | q 0 k Proof. Part a) follows immediately from Jensen’s inequality, see [10, Theorem 13.13], for the probability measure gt(y) dy: p p p Wtu Lp = u(x y)gt(y) dy dx u(x y) gt(y) dy dx k | k ˆRn ˆRn − ≤ ˆRn ˆRn | − |

p p = u Lp gt(z) dz = u Lp . k | k ˆRn k | k If 0

′ In order to prove Part b), we fix x and pick a sequence (ak)k∈N0 from ℓq where ′ q q = 1−q . We have W ψ ( ), a W ψ ( ) , a W ψ ( ) ℓ a ℓ ′ . |h t k · ki| ≤ th| k · | | k|i ≤ tk k · | qk·k k | q k In the estimate we use the fact that Wt is linear and positivity preserving, implying that u W u is monotone. Taking the supremum over all sequences such that 7→ t a ℓ ′ = 1 gives k k | q k Wtψk(x) ℓq = sup Wtψk(x), ak Wt ( ψk( ) ℓq )(x).  ′ k | k kak|ℓq k=1 |h i| ≤ k · | k

Lemma 2.2 is the key ingredient for our proof that Wt is a contraction in the scales of Besov- and Triebel–Lizorkin spaces. The next theorem is well-known for indices 1 p, q . Our elementary proof also covers 0

s s a) Wtu Bp,q u Bp,q for all p [1, ] and q (0, ]. b) kW u | F s k≤ku | F s kfor all p, q∈ [1∞, ]. ∈ ∞ k t | p,qk≤k | p,qk ∈ ∞ Proof. We use Definition 2.1 to introduce the respective (quasi-)norms. Note that the operators Wt and φk(D) commute since their symbols (Fourier multipliers) do not depend on x. a) Fix p [1, ], q (0, ] and s R and let u Bs . Note that φ (D)u L . ∈ ∞ ∈ ∞ ∈ ∈ p,q k ∈ p Since Wt is a contraction in Lp—see Lemma 2.2.a)—, we get W u Bs = 2ksW φ (D)u(x) L ℓ (N ) k t | p,qk k t k | p | q 0 k 2ksφ (D)u(x) L ℓ (N ) = u Bs . ≤k k | p | q 0 k k | p,qk The calculation above uses only p 1 and does not impose any restriction on q > 0 and s R. ≥ ∈ b) Fix p [1, ), q [1, ], s R, and let u F s (R). Note that φ (D)u is ∈ ∞ ∈ ∞ ∈ ∈ p,q k measurable. Using the contractivity properties of Wt from Lemma 2.2, we get W u F s = 2ksW φ (D)u(x) ℓ (N ) L k t | p,qk k t k | q 0 | pk 2ksW ( φ (D)u )(x) ℓ (N ) L ≤k t | k | | q 0 | pk W ( 2ks φ (D)u ℓ (N ) )(x) L ≤k t k | k || q 0 k | pk 2ksφ (D)u(x) ℓ (N ) L = u F s . ≤k k | q 0 | pk k | p,qk We will now consider the case p = and q [1, ). As before, we write QJ,M for the open cube in Rn with side-length∞ 2−J and∈ “lower∞ left corner” 2−J M Zn. −1 ∈ Below we use the notation Q u(x) dx to denote Leb(Q) Q u(x) dx. We can rewrite s the norm for F∞,q as ffl ´ 1/q s ksq q (2.3) u F∞,q = sup 2 φk(D)u dx . N Zn k | k J∈ 0,M∈ QJ,M | |  Xk≥J  s In order to estimate the norm Wtu F∞,q , we begin with an auxiliary estimate. Fix J N and M Zn. By Jensen’sk | inequality,k ∈ 0 ∈ q q Wtw(x) dx gt(x y) w(y) dy dx ˆ n QJ,M | | ≤ QJ,M R − | |

q = gt(y) w(x y) dxdy ˆ n R QJ,M | − |

q sup w(x y) dx gt(y) dy Rn ˆ n ≤ y∈ QJ,M | − | · R = sup w(x) q dx. Rn y∈ y+QJ,M | |

The shifted cube Q := y + QJ,M does, in general, not coincide with any of the QJ,N , n −J n N Z . Since Q has side-length 2 it intersects at most 2 of the QJ,N , N Z. Define∈ ∈ q Q∩Q w(x) dx λ := J,N | | , Q,J,N ´ w(x) q dx QJ,N ´ | | SUBORDINATION AND FUNCTION SPACES 5

n and observe that λ 0 and n λ = 1; the sum contains at most 2 Q,J,N ≥ N∈Z Q,J,N non-zero elements. Since Leb(Q) = Leb(QJ,N ), we get P 1 w(x) q dx = w(x) q dx = λ w(x) q dx. | | Leb(Q) ˆ | | Q,J,N | | Q N∈Zn Q∩QJ,N N∈Zn QJ,N X X Moreover, observing that Q = y + QJ,M , we have

q q Wtw(x) dx sup λQ,J,N w(x) dx . Rn QJ,M | | ≤ y∈ Zn QJ,N | | ! NX∈ ksq Now take w = φk(D)u, multiply by 2 and sum over k J. Since we have only positive terms, the summation and integration signs can≥ be freely interchanged. Thus,

ksq q ksq q 2 Wtφk(D)u(x) dx sup λQ,J,N 2 φk(D)u(x) dx | | ≤ y∈Rn | | QJ,M N∈Zn QJ,N Xk≥J X Xk≥J s q s q sup λQ,J,N u F∞,q = u F∞,q . ≤ y∈Rn k | k k | k N∈Zn X Finally, for p = q = , the estimate is immediate using Lemma 2.2 and Defini- tion 2.1.d). ∞  Remark 2.4. In the proof of Theorem 2.3 and Lemma 2.2 we only use the following properties of the semigroup (Wt)t≥0: 0 u 1 = 0 W u 1 and φ (D)W = W φ (D). ≤ ≤ ⇒ ≤ t ≤ k t t k This means that Theorem 2.3 holds for every positivity preserving, Markovian semigroup Tt which is given by a convolution: Ttu = u πt where (πt)t≥0 is a convolution semigroup of probability measures on Rn. These∗ semigroups can be completely characterized using the Fourier transform. One has, see [7, Section 3.6]

(T u)(ξ)= e−tψ(ξ) u(ξ), t> 0, ξ Rn F t F ∈ where ψ : Rn C is a continuous, negative definite function (in the sense of Schoenberg)→ such that ψ(0) = 0. All such ψ are uniquely characterized by their L´evy–Khintchine representation

1 iy·ξ ψ(ξ)= iℓ ξ + ξ Qξ + 1 e + iy ξ1(0,1)( y ) ν(dy) · 2 · ˆy6=0 − · | |
such that ℓ Rn, Q Rn×n is positive semidefinite and ν is a Radon measure on Rn 0 such∈ that ∈ min y 2, 1 ν(dy) < . Typical examples are ψ(ξ) = ξ 2 \{ } y6=0 {| | } ∞ | | (leading to the Gauß–Weierstraß´ semigroup), ψ(ξ) = ξ (leading to the Cauchy– Poisson semigroup), ψ(ξ) = ξ α, 0 <α< 2 (leading| | to the symmetric stable semigroups), but also ψ(ξ) =| | log(1 + ξ ) and many others. These semigroups appear in the study of L´evy processes, see| | e.g. [8, 7, 9]. It is worth noting that ψ(ξ) can grow at most like ξ 2 as ξ . Although β | | | |→∞ the multipliers e−t|ξ| , β > 2, will lead to semigroups, these semigroups are not any longer positivity preserving. 6 V.KNOPOVAANDR.L.SCHILLING

3. Bochner’s subordination In the paper [4] S. Bochner started to study initial-value problems of the form ∂ u(t, x)= f( ∆ )u(t, x), t> 0, x Rn, (3.1) ∂t − − x ∈  u(0, x)= u (x), t =0, x Rn,  0 ∈ Rn where ∆x denotes the Laplace operator on and f : [0, ) [0, ) is a Bernstein function (see Theorem 3.1 below). Typical examples∞ are→ f(λ∞) = λα, 0 <α< 1 or f(λ)= √λ + c √c. We may study the problem (3.1) in any of the − Banach spaces Lp, 1 p < or C∞ = u C : lim|x|→∞ u(x)=0 ; throughout this section we write≤ just .∞ { ∈ } From Bochner’s representationX theorem for positive definite functions we know f that there is a family of probability measures (µt )t≥0 on [0, ) such that φt is their Laplace transform: ∞ ∞ −λr f −tf(λ) (3.2) e µt (dr)= e , t> 0, λ 0. ˆ0 ≥ −tf −(t+s)f −tf −sf f Since t e is continuous and satisfies e = e e , it is clear that (µt )t≥0 is a semigroup7→ w.r.t. convolution of measures on [0, ) which is vaguely (i.e. in the weak- sense) continuous in the parameter t> 0. Notice∞ that all vaguely continuous convolution∗ semigroups are uniquely determined by their exponent f. We may even characterize all such exponents. Theorem 3.1 (Schoenberg). A function f : (0, ) (0, ) such that f(0+) = 0 is the characteristic exponent of a vaguely continuous∞ → convolution∞ semigroup if, and only if, one of the following equivalent conditions hold a) f is a Bernstein function, i.e. f C∞(0, ), f 0 and ( 1)n−1f (n) 0, n N; ∈ ∞ ≥ − ≥ b) e−∈tf is for each t> 0 a positive definite function; c) f has the following L´evy–Khintchine representation ∞ f(λ)= bλ + (1 e−λr) ν(dr), λ> 0, ˆ0 − ∞ with b 0 and a measure ν on (0, ) such that 0 min r, 1 ν(dr) < . ≥ ∞ ´ { } ∞ This is a standard result, see e.g. [11, Chapter 3] or Jacob [7, Sections 3.9.2–3.9.7]. Notice that Bernstein functions are automatically strictly increasing.

Bochner showed that the problem (3.1) is solved by the semigroup ∞ f f (3.3) Wt u0(x) := Wru0(x) µt (dr) ˆ0 t∆ where (Wt)t≥0, Wt = e , is the Gauß–Weierstraß semigroup generated by the Lapla- cian ∆. The integral appearing in (3.3) is understood in a pointwise sense. More- f over, the family (Wt )t≥0 inherits many properties of the semigroup (Wt)t≥0: it is a semigroup on the same Banach space as (Wt)t≥0, it is again strongly continuous, contractive, positivity preserving andX conservative. The infinitesimal generator of f (Wt )t≥0 is a function of the Laplacian f( ∆), e.g. in the sense of spectral calculus, see [11, Chapter 13]. − − SUBORDINATION AND FUNCTION SPACES 7

Remark 3.2. The formula (3.3) still makes sense for general strongly continuous contraction semigroups (Tt)t≥0 on abstract Banach spaces ( , ). The resulting f X k·k subordinate semigroup (Tt )t≥0 inherits all essential properties of (Tt)t≥0 such as strong continuity and contractivity and—if applicable—it preserves positivity and is conservative whenever (Tt)t≥0 is. Using the L´evy–Khintchine representation of f f it is possible to give an explicit formula of the infinitesimal generator of (Tt )t≥0 as a function of the generator of (Tt)t≥0, see [11, Theorem 13.6]. Let us return to the Gauß–Weierstraß semigroup. Recall from (2.1) and (2.2) that

2 (W u)(ξ)= e−t|ξ| u(ξ) F t F and

−n/2 −(x−y)2/(4t) Wtu(x)= gt u(x)=(4πt) e u(y) dy ∗ ˆRn whenever these expressions make sense, e.g. if u S (for the first formula) and u L or u 0 and measurable (for the second). ∈ ∈ p ≥ Lemma 3.3. Let f : (0, ) (0, ) be a Bernstein function. The semigroup f ∞ → ∞ (Wt )t≥0 subordinate to the heat semigroup (Wt)t≥0 satisfies

2 (W f u)(ξ)= e−tf(|ξ| ) u(ξ), t> 0, u S, F t F ∈ f ∞ f ∞ −n/2 −x2/(4r) f and if gt (x) := 0 gr(x) µt (dr) = 0 (4πr) e µt (dr) is the generalized heat kernel, ´ ´ ∞ f f −n/2 −(x−y)2/(4t) f Wt u(x)= gt u(x)= (4πr) e u(y) µt (dr) dy, t> 0, u Lp. ∗ ˆRn ˆ0 ∈ Proof. Taking Fourier transforms on both sides of (3.3) with u = u S gives 0 ∈ ∞ ∞ f f −r|ξ|2 f −tf(|ξ|2) (Wt u)(ξ)= (Wru)(ξ) µt (dr)= e µt (dr) u(ξ)= e u(ξ) F ˆ0 F ˆ0 F F where we use Theorem 3.1. The second assertion follows from a similar Fubini- argument. 

α Example 3.4. Let f(λ) = fα(λ) = λ for λ 0 and 0 <α< 1. In this case we (α) (α) f f ≥ write W and gt instead of Wt and gt . The L´evy–Khintchine representation of fα is α ∞ λα = (1 e−λr)r−α−1 dr Γ(1 α) ˆ − − 0 and the Fourier transform of the generalized heat kernel is

2α (2π)n/2 g(α)(ξ)= e−t|ξ| . F t (α) 1 It is obvious, that gt (y) is a function, but only for α = 2 there seems to be a closed representation with elementary functions Γ n+1 t g(1/2)(x)= 2 . t π(n+1)/2 (t2 + x 2)(n+1)/2
| | 8 V.KNOPOVAANDR.L.SCHILLING

Remark 3.5. It is possible to associate with every vaguely continuous convolution semigroup of measures (µf ) on [0, ) a random process (Sf ) such that t t≥0 ∞ t t≥0 P(Sf A)= µf (A), A B[0, ). t ∈ t ∈ ∞ f The processes (St )t≥0 are called subordinators. One can show that a subordi- nator is a random process with stationary and independent increments and right- continuous trajectories t St (L´evy process) such that S0 = 0 and t St is increasing. This allows us7→ to write for any bounded or positive Borel function7→ g ∞ f E f g(r) µt (dr) as an expected value g(St ) ; ˆ0 h i this will be useful later on, in order to calculate certain constants. α (α) If f(λ) = λ , the corresponding process (St )t≥0 is usually called an α-stable subordinator.

4. Fractional caloric smoothing R s s s Let s and 0 < p,q . Denote by Ap,q one of the spaces Bp,q or Fp,q and write∈ u As for its (quasi-)norm.≤ ∞ As before, (W ) is the heat semigroup. k | p,qk t t≥0 We have seen in Theorem 2.3 that Wt is a contraction in the B-scale if s R, 1 p , 0 < q and in the F -scale if s R, 1 p, q . The following∈ caloric≤ ≤ smoothing ∞ estimate≤ ∞ can be found in [15,∈ Theorem≤ 3.35]:≤ ∞For every d 0 there is a constant c> 0 such that ≥ (4.1) W u As+d ct−d/2 u As for all 0 < t 1 and u As . k t | p,q k ≤ k | p,qk ≤ ∈ p,q

(α) If we want to prove the analogous result for the semigroup Wt generated by the α (α) fractional Laplacian ( ∆) , 0 <α< 1, it is not clear how to define Wt u for u S′ since ξ e−t|−ξ|α −is not smooth at the origin, hence it is no multiplier on S. ∈ 7→ (α) If we can restrict ourselves, however, to u S or u Lp, Wt is well defined, as it is a convolution semigroup on all spaces L∈, 1 p ∈ . p ≤ ≤∞ (α) (α) −t(−∆)α Theorem 4.1. Denote by (Wt )t≥0, Wt = e the ‘fractional’ heat semi- group of order α (0, 1) generated by the fractional Laplace operator ( ∆)α. Let s R and 1 p,q∈ < . − − ∈With the constant≤ c>∞ 0 from (4.1) one has for all d 0, t> 0 and u As ≥ ∈ p,q Γ(1+ d/(2α)) (4.2) W (α)u As+d c t−d/(2α) +1 u As . k t | p,q k ≤ Γ(1+ d/2) k | p,qk   ′ ′ In particular, the fractional counterpart of (4.1) holds for some constant c = cp,q,s,α (4.3) W (α)u As+d c′t−d/(2α) u As , 0 < t 1. k t | p,q k ≤ k | p,qk ≤ s Proof. Since p,q < , the Schwartz functions S are dense in Ap,q. This means that we have to prove (4.3)∞ only for u S. Using Bochner’s subordination we can write ∈ ∞ (α) (α) Wt u(x)= Wru(x) µt (dr), t> 0. ˆ0 SUBORDINATION AND FUNCTION SPACES 9

(α) Since the measures µt (dr) are probability measures, we can use the vector-valued triangle inequality for the norm u As to deduce k | p,qk 1 ∞ (α) s+d s+d (α) s+d (α) Wt u Ap,q Wru Ap,q µt (dr)+ Wru Ap,q µt (dr) k | k ≤ ˆ0 k | k ˆ1 k | k 1 ∞ s+d (α) s+d (α) = Wru Ap,q µt (dr)+ W1Wr−1u Ap,q µt (dr). ˆ0 k | k ˆ1 k | k Using first (4.1) for both terms (with t = 1 in the second term), and then Theo- rem 2.3 for the second term, yields

1 ∞ (α) s+d −d/2 (α) s s (α) Wt u Ap,q c r µt (dr) u Ap,q + c Wr−1u Ap,q µt (dr) k | k ≤ ˆ0 ·k | k ˆ1 k | k 1 ∞ −d/2 (α) s (α) s c r µt (dr) u Ap,q + c µt (dr) u Ap,q . ≤ ˆ0 ·k | k ˆ1 ·k | k (α) In order to estimate the integral expressions we recall that µt (dr) is the transition (α) semigroup of an α-stable subordinator (St )t≥0. Therefore, 1 ∞ −d/2 (α) −d/2 (α) E (α) −d/2 −d/(2α) Γ(1+ d/(2α)) r µt (dr) r µt (dr)= St = t , ˆ0 ≤ ˆ0 Γ(1+ d/2) h i see Lemma 7.1 in the appendix. Since
∞ (α) P (α) µt (dr)= (St > 1) 1, ˆ1 ≤ we get (4.2); the estimate (4.3) is now obvious.  s Observe that Ap,q Lp if s > 0. If we use in the proof of Theorem 4.1 u Lp, 1 p , instead of⊂u S, we immediately get the following result. ∈ ≤ ≤∞ ∈ (α) (α) −t(−∆)α Corollary 4.2. Denote by (Wt )t≥0, Wt = e the ‘fractional’ heat semi- group of order α (0, 1) generated by the fractional Laplace operator ( ∆)α. The estimates (4.2) and∈ (4.3) of Theorem 4.1 remain valid if s> 0 and 1− −p, q . ≤ ≤∞ s In order to treat the remaining cases Ap,q where s 0 and max p, q = we use a lifting trick; we are grateful to H. Triebel for≤ pointing this{ out} to∞ us (private communication), see also the discussion in [15, p. 104]. Recall that the lifting operator (1 ∆)r/2 is a bijection between As and As−r for all 0 < p,q − p,q p,q ≤∞ and s R. On the Schwartz space S the lifiting operator and W (α) commute, ∈ t W (α)u = (1 ∆)−r/2W (α)(1 ∆)r/2u for all u S. t − t − ∈ R (α) −r/2 (α) r/2 Let s and pick r with s>r. The operator W t := (1 ∆) Wt (1 ∆) is ∈ s (α) − − well-defined on Ap,q, extends Wt and makes the following diagram commutative:

(1−∆)r/2 As As−r p,q −−−−−−−−−−−−−−−−−→ p,q

(α) (α) W t Wt    −r/2  s+d (1−∆) s−r+d A A  yp,q ←−−−−−−−−−−−−−−−−− p,qy 10 V.KNOPOVAANDR.L.SCHILLING

(α) It is not hard to see that, for any fixed s R, the extension W onto As does not ∈ t p,q (α) −∞ s depend on r 0 and 1 p, q or s R and 1∈ p,q < ≤, these≤∞ estimates are true ≤ ≤ ∞ ∈ (α) ≤ ∞ for the original semigroup operators Wt .

5. Two extensions of the subordination technique The subordination technique which we have developed in the previous Section 4 can be extended into two directions: (i) We may give up the concept of fractional powers in favour of general Bernstein functions, or (ii) we may look at higher-order (β) ‘fractional’ semigroups Wt where β > 0. The extension from fractional powers λ λα to arbitrary Bernstein functions λ f(λ), see Section 3, is straightforward.7→ Using general subordinate semigroups 7→f (α) (Wt )t≥0 instead of the fractional heat semigroup (Wt )t≥0, the arguments of Sec- f tion 4 go through almost literally. As before, W t denotes the ‘extension by lifting’ of f f f 2 Wt . Note that W t = Wt if ξ f( ξ ) is smooth at the origin. Typical examples are the ‘relativistic’ semigroups7→ of the| | form f(λ)=(λ + 1)α 1 for 0 <α< 1. − Theorem 5.1. Let (Wt)t≥0 be as in Lemma 4.1, let f be a Bernstein function, f f (St )t≥0 the corresponding subordinator, and denote by (W t )t≥0 the subordinate semi- group extended by lifting. For the constant c = cp,q,s appearing in (4.1) and s R, 1 p, q and d 0 we have ∈ ≤ ≤∞ ≥ f (5.1) W u As+d c E Sf )−d/2 + P(Sf > 1) u As , t> 0. k t | p,q k ≤ t t k | p,qk  h ′i ′  In particular, there exists some constant c = cp,q,s,f such that for d> 0

f (5.2) W u As+d c′E Sf )−d/2 u As , 0 < t 1. k t | p,q k ≤ t k | p,qk ≤ If s 0 and 1 p, q or s Rhand 1 ip,q < , these estimates remain valid ≥ ≤ ≤∞ ∈ f ≤ ∞ for the non-extended semigroup (Wt )t≥0. Proof. The estimate (5.1) follows just as in the proof of Lemma 4.1. In order to see f (5.2) observe that by monotone convergence and the fact that S0 =0 E f −d/2 P f  lim St ) = and, trivially, (St > 1) 1. t→0 ∞ ≤ h i Using Lemma 7.2 we can control the growth of the expectation appearing in (5.2). Corollary 5.2. If, in the setting of Corollary 5.1, the Bernstein function f satisfies ′ ′ lim inf f(2λ)/f(λ) > 1, there is some constant C = Cp,q,s,f such that λ→0 f (5.3) [f −1(1/t)]−d/2 W u As+d C′ u As , 0 < t 1. ·k t | p,q k ≤ k | p,qk ≤ SUBORDINATION AND FUNCTION SPACES 11

Remark 5.3. Bochner’s subordination is an abstract technique that works in all Banach spaces. The essential ingredient in the proof of Theorem 4.1 is the general- ized triangle inequality which allows us to estimate the norm of an integral ... by the integral of the norm ... . This shows that our results can be extendedk ´ k k k ∗ ´ s Rn to (tempered) homogeneous spaces of the form Ap,q( ) as well as hybrid s,τ Rn r s −1 −1 spaces Ap,q( ) = L Ap,q, τ = p + rn . The admissible parameters should be p, q [1, ), s R and np−1 r < . As standard reference of these spaces we refer∈ to [15,∞ Section∈ 4.1,− Section≤ 1.1.2]∞ and the literature given there. Let us now discuss higher-order generalized heat equations. In a series of papers, (m) N Baaske & Schmeißer [1, 2, 3] studied semigroups (Wt )t≥0, m , which are defined via ∈ 2m W (m)u(ξ) := e−t|ξ| u(ξ), u S, ξ Rn, t> 0. F t F ∈ ∈ (m) It is clear that (Wt )t≥0 is a semigroup which is given by a convolution kernel, (m) −n/2 −1 −|ξ|2m Wt u = Kt,m u, but while Kt,m(x) = (2π) ξ7→xe is from S, it may ∗ (m) F have arbitrary sign; in particular, Wt is a uniformly bounded semigroup on Lp, 1 p < , but it is not positivity preserving. This means, in particular, that ≤ ∞ (m) there is no Markov process which has Wt as a transition semigroup. Nevertheless, Bochner’s subordination formula (3.3) is still applicable; if we use f(λ)= λα for some α (0, 1), we get a (in general, not positivity preserving) subordinate semigroup ∈(m),(α) (Wt )t≥0. The calculation used in the proof of Lemma 3.3 shows that 2mα W (m),(α)u(ξ)= e−t|ξ| u(ξ)= W (αm)u(ξ) for all 0 <α< 1, m N. F t F F t ∈ A key result of Baaske & Schmeißer [1, Theorem 3.5] is the following caloric (m) smoothing estimate for the operators Wt : Let 1 p, q (p < for the F -scale), s R, d 0 and m N. There is a constant≤ c> ≤0 such ∞ that ∞ ∈ ≥ ∈ (5.4) W (m)u As+d ct−d/(2m) u As for all t (0, 1]. k t | p,q k ≤ k | p,qk ∈ If we use (5.4) instead of (4.1) and write β := αm, we get immediately the following corollary to Theorem 4.1.

(β) (β) −t(−∆)β Corollary 5.4. Denote by (Wt )t≥0, Wt = e the generalized ‘fractional’ heat semigroup of order β > 0 generated by the higher-order fractional Laplace operator ( ∆)β . Let s R and 1 p,q < . With the− − constant c> ∈0 from (5.4)≤ one has∞ for every d 0, t> 0 and u As ≥ ∈ p,q Γ(1+ d/(2β)) (5.5) W (β)u As+d c t−d/(2β) +1 u As . k t | p,q k ≤ Γ(1+ d/2) k | p,qk   ′ ′ In particular, the fractional counterpart of (4.1) holds for some constant c = cp,q,s,α (5.6) W (β)u As+d c′t−d/(2β) u As , 0 < t 1. k t | p,q k ≤ k | p,qk ≤ The cases p = , 1 q < (for the F -scale) and max(p, q) = (for the ∞ ≤ ∞ (β) ∞ B-scale) are special and require the ‘extension by lifting’ W t explained at the end of Section 5. The analogues of (5.5) and (5.6) should be clear. If ξ ξ 2β is smooth, i.e. if β N, there is no need for an extension. At the moment, there7→ | | is no ∈ s subordination version for the spaces Fp,∞, since in these cases (5.4) is yet unknown. 12 V.KNOPOVAANDR.L.SCHILLING

6. An application of the caloric smoothing estimate The result (5.4) was used in [1] to prove the existence and uniqueness of a mild solution to the non-linear equation

m 2 n ∂tu(x, t)+( ∆x) u(x, t) = div[u ](x, t), x R , t (0, T ] (6.1) − ∈ ∈ u(x, 0) = u (x), x Rn, 0 ∈ 2 n ∂ 2 where div[u ]= u is the divergence, ∆x the Laplacian and m N. A mild i=1 ∂xi ∈ solution is an element u S′(Rn+1), which is a fixed point for the operator P ∈ t (m) (m) (m) 2 Rn Q u(x, t)= Wt u0(x)+ Wt−τ div[u ] (x, τ) dτ, x , t (0, T ) ˆ0 ∈ ∈
in the space

T L (0, T ), b, As := u : (0, T ) As , tab u( , t) As a dt < a p,q → p,q ˆ k · | p,qk ∞  0 
with some a,b > 0 (and the usual modification of the norm if a = ). A solution s∞0 is called strong, if it is mild and if for any initial value u0 Ap,q it belongs to α0 ∈ C [0, T ), Ap,q for some α0. For suitable parameters a,b,p,q,s, a mild solution will be a strong solution, see [1, Theorem 3.8.(ii)]. The caloric
estimate (5.4) was used in the proof of the existence of the mild solution, in order to show the contractivity of Q(m) and to apply a fixed point argument. Corollary 5.4 enables us to follow the same procedure for the fractional equation

β 2 n ∂tu(x, t)+( ∆x) u(x, t) = div[u ](x, t), x R , t (0, T ] (6.2) − ∈ ∈ u(x, 0) = u (x), x Rn, 0 ∈ where β = mα where m = 1, 2, 3,... and α (0, 1); the solution is understood −∞ s ∈ as an element of the space Ap,q = s∈R Ap,q. To do so, we extend the notion of a mild solution in the following way: u(x, t) is a mild solution if u( , t) A−∞, S · ∈ p,q u(x, ) C∞(0, T ), and u is a fixed point of Q(β). Note that Q(β) corresponds to the · ∈ (m),(α) (mα) (m) semigroup Wt = Wt , t 0, obtained by subordination from (Wt )t≥0. Corollary 5.4 allows us to extend≥ the result of Baaske & Schmeißer from m N to all real β 1. We state this result without proof; the proof of [1, Theorem∈ 3.8] transfers literally≥ to the new situation. The only change is at the very end of the n proof in [1, Eq. (3.79)]. Here we establish the continuity first for u0 S(R ) and (β) s−β+δ s−β+δ ∈ argue then by density. Notice that Wt u Ap,q c u Ap,q by (5.4) with d = 0 and s s β + δ for all uk S(R| n) withk a ≤ uniformk | constantk c. This is −β ∈ necessary since e−|ξ| is, in general, not a multiplier on S(Rn). The restriction β 1 is needed in the proof of the contraction property [1, proof of Theorem 3.8, Step≥ 1], while all other steps do work for β > 0. Theorem 6.1. Let n 2, β [1, ), 1 p, q (p < for the F -scale) and s R is such that As ≥(Rn) is∈ a multiplication∞ ≤ algebra.≤ ∞ Let ∞ ∈ p,q a = β 1 βλ, where 2 < v , 0 <λ<ǫ 1, − v − β ≤∞ ≤ SUBORDINATION AND FUNCTION SPACES 13

s−β+βǫ Rn and u0 Ap,q ( ) be the initial data. There exists some T > 0 such that (6.2) has a unique∈ mild solution u L (0, T ), a , As (Rn) C∞((0, T ) Rn). ∈ 2βv 2β p,q ∩ × The mild solution is a strong solution if, in addition,
p,q < and 1 ǫ λ < ǫ 1 ∞ 2 ≤ ≤ (if v < ), resp., 1 ǫ<λ<ǫ 1 (if v = ). ∞ 2 ≤ ∞ 7. Appendix – some moment estimates We need the following moment estimate for α-stable subordinators. Although the result is well-known, see e.g. Sato [8, Eq. (25.5), p. 162], we include the proof for our readers’ convenience. The short argument given below seems to be new.

(α) Lemma 7.1. Let (St )t≥0 be a stable subordinator with Bernstein function f(λ)= α (α) E (α) κ λ , 0 <α< 1, and transition semigroup (µt )t≥0. The moments St exist for any κ ( ,α) and t> 0. Moreover, h i ∈ −∞
κ (α) κ Γ 1 α κ E S = − t α , t> 0. t Γ(1 κ) h i −

(α) (α) Proof. In this proof we write St and µt instead of St and µt . Recall that the ∞ α E −xSt −xs −tx Laplace transform of St is e = 0 e µt(ds) = e , x,t > 0. Substituting λ = St in the well-known formula [11,´ p. vii] 1 ∞ λ−r = e−λxxr−1 dx, λ> 0, r> 0, Γ(r) ˆ0 and taking expectations yields, because of Tonelli’s theorem, ∞ ∞ 1 1 α dx E −r E −xSt r−1 −tx r (7.1) St = e x dx = e x . Γ(r) ˆ0 Γ(r) ˆ0 x Now we change variables according to y = txα, and get ∞ r 1 1 r r dy r 1 r r r Γ 1+ E −r − α −y α − α − α α St = t e y = t Γ = t . Γ(r) α ˆ0 y rΓ(r) · α α Γ(1 + r)  
Setting κ = r proves the assertion for κ ( , 0). This formula extends (an- alytically) to− r = κ<α. Alternatively,∈ we−∞ use a similar calculation and the L´evy–Khintchine− formula from Example 3.4 r ∞ λr = 1 e−λx x−r−1 dx, λ> 0, r (0, 1), Γ(1 r) ˆ − ∈ − 0 to get the assertion for κ (0,α).
 ∈ The upper bound of the following lemma appears in the proof of [6, Theorem 2.1].

f Lemma 7.2. Let (St )t≥0 be a subordinator with Bernstein function f and transition f semigroup (µt )t≥0. Assume that limλ→∞ f(λ)= and that the inverse of f satisfies lim sup f −1(2t)/f −1(t) < , (1) respectively.∞ t→∞ ∞ 1One can show, cf. [6, Lemma 2.2], that these two conditions are equivalent to lim infλ→0 f(2λ)/f(λ) > 1. 14 V.KNOPOVAANDR.L.SCHILLING

E (f) −r Under these assumptions, the moments St exist for any r > 0 and t> 0. Moreover, h
i r −r r 1 f −1 1 E Sf C f −1 1 , 0 < t 1. 3Γ(1+r) t ≤ t ≤ Γ(1+r) t ≤ 
 h
f i f 
 Proof. We write St and µt instead of St and µt . Using the argument from the proof of Lemma 7.1, we get the following analogue of (7.1) ∞ −r 1 −tf(x) r dx E (St) = e x . Γ(r) ˆ0 x Changing variables according toy = f(x)—observe that f is strictly monotone, f(0) = 0 and f( ) = —and using the fact that f −1(2y) cf −1(y) for, say, y 1, we get for∞ all t (0∞, 1] ≤ ≥ ∈ 1/t ∞ 2n+1/t −r 1 −ty −1 r E (St) = + e dy[f (y)] . rΓ(r) ˆ ˆ n 0 n=0 2 /t !   X Since rΓ(r)=Γ(r + 1), this implies ∞ n e−1[f −1(1/t)]r Γ(r + 1)E (S )−r [f −1(1/t)]r + e−2 [f −1(2n+1/t)]r ≤ t ≤ n=0   ∞ X n 1+ e−2 c(n+1)r [f −1(1/t)]r.  ≤ n=0 ! X Acknowledgement. We thank Hans Triebel from Jena for his encouragement, helpful comments and the possibility to use the preprint of his new monograph [15].

References [1] F. Baaske and H.-J. Schmeißer, On a generalized nonlinear heat equation in Besov and Triebel– Lizorkin spaces, Math. Nachr. 290, 2111 (2017). [2] F. Baaske and H.-J. Schmeißer, On the Cauchy problem for a generalized nonlinear heat equation, Georgian Math. J. 25, 169 (2018). [3] F. Baaske and H.-J. Schmeißer, On the existence and uniqueness of mild and strong solutions of a generalized nonlinear heat equation, Z. Anal. Appl. 38, 287 (2019). [4] S. Bochner, Diffusion equation and stochastic processes, Proc. Natl. Acad. Sci. U.S.A. 35, 368 (1949). [5] S. Bochner, Harmonic Analysis and The Theory of Probability (University of California Press, Berkeley (CA) 1955). [6] C.-S. Deng, R.L. Schilling, and Y.-H. Song, Subgeometric rates of convergence for Markov processes under subordination, Adv. Appl. Probab. 49, 162 (2017). [7] N. Jacob, Pseudo Differential Operators and Markov Processes, vol. 1 (Imperial College Press, London 2001). [8] K. Sato, L´evy Processes and Infinitely Divisible Distributions, 2nd. ed. (Cambridge University Press, Studies in Advanced Mathematics vol. 68, Cambridge 2013). [9] R.L. Schilling, An introduction to L´evy and Feller processes, in: From L´evy-Type Processes to Parabolic SPDEs, edited by D. Khoshnevisan and R.L. Schilling (Birkh¨auser, Advanced Courses in Mathematics CRM Barcelona, Cham 2016). [10] R.L. Schilling, Measures, Integrals and Martingales, 2nd. ed. (Cambridge University Press, Cambridge 2017) [11] R.L. Schilling, R. Song, and Z. Vondraˇcek, Bernstein Functions. Theory and Applications, 2nd. ed. (De Gruyter, Berlin 2012). SUBORDINATION AND FUNCTION SPACES 15

[12] J.C. Miao, B. Yuan, and B. Zhang, Well–posedness of the Cauchy problem for the fractional power dissipative equations, Nonlinear Anal. 68, 461 (2008). [13] H. Triebel, Theory of Function Spaces (Birkh¨auser, Monographs in Mathematics vol. 78, Basel 1983). [14] H. Triebel, Theory of Function Spaces II (Birkh¨auser, Monographs in Mathematics vol. 84, Basel 1992). [15] H. Triebel, Theory of Function Spaces IV (Birkh¨auser, Monographs in Mathematics vol. 107, Basel 2020).

(V. Knopova) TU Dresden, Fakultat¨ Mathematik, Institut fur¨ Mathematische Stochastik, 01062 Dresden, Germany E-mail address: [email protected]

(R.L. Schilling) TU Dresden, Fakultat¨ Mathematik, Institut fur¨ Mathematische Stochastik, 01062 Dresden, Germany E-mail address: [email protected]