Quasilinear parabolic problems with nonlinear boundary conditions
Quasilinear parabolic problems with nonlinear boundary conditions Quasilinear parabolic problems with nonlinear boundary conditions
x := f(0) ∈ X exists and we are led to ask under what conditions on x ∈ X the solution of the problem u(t) + (a ∗ Au)(t) = x, t ≥ 0, (3.4) lies in the space Z = Hα+κ p (J; X) ∩ Hκ p (J; DA). In case α + κ > 1 + 1/p we even have to take into account the trace y := ˙ f(0). Thus we also have to examine the problem u(t) + (a ∗ Au)(t) = ty, t ≥ 0, (3.5) with given y ∈ X. Observe that the solution u of (3.4) is given by u(t) = S(t)x, t ≥ 0, while that of (3.5) equals (1 ∗ S)(·)y. This follows immediately from the variation of parameters formula (2.27). The next theorem gives conditions on the traces which ensure that the solutions of (3.4) and (3.5), respectively, are contained in Z. Take notice of the fact that here the operator A is only assumed to be sectorial. Theorem 3.1.2 Let X be a Banach space of class HT , J = [0, T ] a compact timeinterval, p ∈ (1, ∞), and A a sectorial operator in X with spectral angle φA. Suppose that κ ∈ [0, 1/p), a ∈ K 1 (α, θa) with α ∈ (1/p − κ, 2), α + κ �= 1 + 1/p. Further suppose that θa + φA < π. Then x ∈ DA(1 + κ 1 α − pα , p) ⇒ S(·)x ∈ Z = Hα+κ p (J; X) ∩ Hκ p (J; DA), (3.6) and if α + κ > 1 + 1/p, y ∈ DA(1 + κ 1 1 α − α − pα , p) ⇒ (1 ∗ S)(·)y ∈ Z. (3.7) Proof. We first show (3.6). In case 0 < κ < 1/p we let Bκ ∈ S(Lp(J; X)) be the inverse convolution operator associated with the kernel b(t) = t κ−1 /Γ(κ), t > 0. If κ = 0, we set Bκ = I. Suppose x ∈ D(A). Letting u(·) = S(·)x our goal is to show that |BκAu| Lp(J;X) is bounded above by the DA(1 + κ/α − 1/pα, p)-norm of x. Since D(A) is densely embedded into DA(1 + κ/α − 1/pα, p), the assertion then follows by an approximation argument. To establish the desired estimate we use the representation of the resolvent S via Laplace transform. Recall that ˆ S is given by ˆS(λ) = 1 λ (1 + â(λ)A)−1 , Reλ > 0. Let Γ denote a contour γ + i(−∞, ∞) with some γ > 0. We have With �tBκS(λ) = − d dλ � BκS(λ) = − d � λ dλ κ · 1 � (1 + â(λ)A)−1 λ = 1 − κ λ 2−κ (1 + â(λ)A)−1 + 1 λ 1−κ â′ (λ)A (1 + â(λ)A) −2 . φ(λ) = 1 − κ + λâ′ (λ) â(λ) · â(λ)A (1 + â(λ)A)−1 , Reλ > 0, (3.8) 36
and Gκ(λ) = λ κ A(1 + â(λ)A) −1 , Reλ > 0, (3.9) we then obtain (tBκAS)ˆ(λ) = φ(λ) λ2 Gκ(λ), Reλ > 0. Inversion of the Laplace transform now yields for t > 0 tBκAS(t)x = 1 � e 2πi Γ λt = (tBκAS)ˆ(λ)x dλ 1 � ∞ e 2π (γ+iρ)t dρ φ(γ + iρ) Gκ(γ + iρ)x (γ + iρ) 2 = 1 2π −∞ � ∞ −∞ e γt+iσ φ(γ + i σ t ) Gκ(γ + i σ t )x t dσ , (γt + iσ) 2 where we used the change of variables σ = tρ. By 1-regularity of a and parabolicity of (3.4) we get a bound |φ(λ)| ≤ C, for all Re λ > 0. Using this estimate and choosing γ = 1 t we obtain � ∞ dσ |BκAS(t)x|X ≤ C |Gκ((1 + iρ)/t)x|X , t > 0. 1 + σ2 −∞ Taking the Lp-norm on the interval J = [0, T ] and applying the continuous version of Minkowski’s inequality yields � ∞ � T |BκAS(·)x| Lp(J;X) ≤ C ( |Gκ((1 + iρ)/t)x| p dσ X dt)1/p . 1 + σ2 −∞ 0 Now we employ the change of variables s = √ 1 + σ2 /t for the inner integral and enlarge its interval of integration to get � ∞ � ∞ 2 − |BκAS(·)x| Lp(J;X) ≤ C ( (s p |Gκ( (1+iσ)s √ 1+σ2 )x|X) p ds) 1/p dσ −∞ ≤ C sup {( σ∈R 1 T � ∞ (s 1 T − 1 √ 1+σ 2 p |Gκ( (1+iσ)s (1 + σ2 1 1− ) 2p p ds )x|X) s )1/p }. This shows that BκAS(·)x ∈ Lp(J; X) whenever � ∞ 1 κ− η := sup {( (s p |â( σ∈R (1+iσ)s √ 1+σ2 )|−1 |A(1/â( (1+iσ)s √ 1+σ2 ) + A)−1 p ds x|X) s )1/p } < ∞. (3.10) 1 T Now we have by the resolvent equation � �−1 1 A + A â(λ) = A(|λ| α + A) −1 + for Re λ > 0, thus using the parabolicity of (3.4) |A(1/â(λ) + A) −1 x| ≤ |A(|λ| α + A) −1 x| + � + |λ| α − 1 � � �−1 1 + A A(|λ| â(λ) â(λ) α + A) −1 , +| |λ| α â(λ) − 1| |(1 + â(λ)A) −1 | |A(|λ| α + A) −1 x| ≤ (C1 + C2|â(λ)| |λ| α ) |A(|λ| α + A) −1 x|, 37
- Page 1 and 2: Gutachter: Quasilinear parabolic pr
- Page 3 and 4: Contents 1 Introduction 3 2 Prelimi
- Page 5 and 6: Chapter 1 Introduction The present
- Page 7 and 8: to assume that m, c are bounded fun
- Page 9 and 10: We give now an overview of the cont
- Page 11 and 12: conditions of order ≤ 1. Sections
- Page 13 and 14: Chapter 2 Preliminaries 2.1 Some no
- Page 15 and 16: Clearly, φA ∈ [0, π) and φA
- Page 17 and 18: Definition 2.2.3 Let X and Y be Ban
- Page 19 and 20: µ ∈ Σφα }. Let N ∈ N, Tj
- Page 21 and 22: We remark that a theorem of the Dor
- Page 23 and 24: Here f(A, ·) ∈ H0(Σ π 2 +η; B
- Page 25 and 26: Further, K ∞ (α, θa) := {a ∈
- Page 27 and 28: Using (2.19) for aω and bω yields
- Page 29 and 30: 2.7 Evolutionary integral equations
- Page 31 and 32: Example 2.8.1 For J = [0, T ] and a
- Page 33: We conclude this section by illustr
- Page 36 and 37: kernel a. The operator B is inverti
- Page 40 and 41: with two positive constants C1, C2
- Page 42 and 43: with two positive constants C1 and
- Page 44 and 45: derivative theorem to this pair of
- Page 46 and 47: 3.2 A general trace theorem Let X b
- Page 48 and 49: 3.3 More time regularity for Volter
- Page 50 and 51: Theorem 3.4.2 Suppose X is a Banach
- Page 52 and 53: Our next objective is to show neces
- Page 54 and 55: Let u1 be the restriction of v1 to
- Page 56 and 57: Proof. We begin with the necessity
- Page 59 and 60: Chapter 4 Linear Problems of Second
- Page 61 and 62: The strategy for solving (4.1) is n
- Page 63 and 64: Since ψj ≡ 1 on supp ϕj, we may
- Page 65 and 66: Turning to (c), let g ∈ Ξi+1 and
- Page 67 and 68: endowed with the norm | · | Y T 2
- Page 69 and 70: We remark that the constant C2 stem
- Page 71 and 72: One can then construct functions a
- Page 73 and 74: analogous to (4.17), shows that S i
- Page 75 and 76: Apply now V#, i+1 := I + k ∗ A#(
- Page 77 and 78: Given a function v ∈ H 2 p(R n+1
- Page 79 and 80: v is a solution of (4.40) on Ji+1 :
- Page 81 and 82: Chapter 5 Linear Viscoelasticity In
- Page 83 and 84: where δij denotes Kronecker’s sy
- Page 85 and 86: problem ⎧ ⎪⎨ ⎪⎩ ∂tv −
- Page 87 and 88: To see the converse direction, supp
x := f(0) ∈ X exists and we are led to ask under what <strong>conditions</strong> on x ∈ X the solution<br />
of the problem<br />
u(t) + (a ∗ Au)(t) = x, t ≥ 0, (3.4)<br />
lies in the space Z = Hα+κ p (J; X) ∩ Hκ p (J; DA). In case α + κ > 1 + 1/p we even have<br />
to take into account the trace y := ˙ f(0). Thus we also have to examine the problem<br />
u(t) + (a ∗ Au)(t) = ty, t ≥ 0, (3.5)<br />
<strong>with</strong> given y ∈ X.<br />
Observe that the solution u of (3.4) is given by u(t) = S(t)x, t ≥ 0, while that of (3.5)<br />
equals (1 ∗ S)(·)y. This follows immediately from the variation of parameters formula<br />
(2.27).<br />
The next theorem gives <strong>conditions</strong> on the traces which ensure that the solutions of<br />
(3.4) and (3.5), respectively, are contained in Z. Take notice of the fact that here the<br />
operator A is only assumed to be sectorial.<br />
Theorem 3.1.2 Let X be a Banach space of class HT , J = [0, T ] a compact timeinterval,<br />
p ∈ (1, ∞), and A a sectorial operator in X <strong>with</strong> spectral angle φA. Suppose<br />
that κ ∈ [0, 1/p), a ∈ K 1 (α, θa) <strong>with</strong> α ∈ (1/p − κ, 2), α + κ �= 1 + 1/p. Further suppose<br />
that θa + φA < π. Then<br />
x ∈ DA(1 + κ 1<br />
α − pα , p) ⇒ S(·)x ∈ Z = Hα+κ p (J; X) ∩ Hκ p (J; DA), (3.6)<br />
and if α + κ > 1 + 1/p,<br />
y ∈ DA(1 + κ 1 1<br />
α − α − pα , p) ⇒ (1 ∗ S)(·)y ∈ Z. (3.7)<br />
Proof. We first show (3.6). In case 0 < κ < 1/p we let Bκ ∈ S(Lp(J; X)) be the inverse<br />
convolution operator associated <strong>with</strong> the kernel b(t) = t κ−1 /Γ(κ), t > 0. If κ = 0, we set<br />
Bκ = I. Suppose x ∈ D(A). Letting u(·) = S(·)x our goal is to show that |BκAu| Lp(J;X)<br />
is bounded above by the DA(1 + κ/α − 1/pα, p)-norm of x. Since D(A) is densely<br />
embedded into DA(1 + κ/α − 1/pα, p), the assertion then follows by an approximation<br />
argument.<br />
To establish the desired estimate we use the representation of the resolvent S via<br />
Laplace transform. Recall that ˆ S is given by<br />
ˆS(λ) = 1<br />
λ (1 + â(λ)A)−1 , Reλ > 0.<br />
Let Γ denote a contour γ + i(−∞, ∞) <strong>with</strong> some γ > 0. We have<br />
With<br />
�tBκS(λ) = − d<br />
dλ � BκS(λ)<br />
= − d<br />
�<br />
λ<br />
dλ<br />
κ · 1<br />
�<br />
(1 + â(λ)A)−1<br />
λ<br />
= 1 − κ<br />
λ 2−κ (1 + â(λ)A)−1 + 1<br />
λ 1−κ â′ (λ)A (1 + â(λ)A) −2 .<br />
φ(λ) = 1 − κ + λâ′ (λ)<br />
â(λ) · â(λ)A (1 + â(λ)A)−1 , Reλ > 0, (3.8)<br />
36