Quasilinear parabolic problems with nonlinear boundary conditions
Quasilinear parabolic problems with nonlinear boundary conditions
Quasilinear parabolic problems with nonlinear boundary conditions
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Chapter 3<br />
Maximal Regularity for Abstract<br />
Equations<br />
3.1 Abstract <strong>parabolic</strong> Volterra equations<br />
In this section we study the abstract Volterra equation<br />
u + a ∗ Au = f, t ≥ 0, (3.1)<br />
on a Banach space X. Here A is an R-sectorial operator in X, the kernel a belongs to the<br />
class K1 (α, θa) <strong>with</strong> α ∈ (0, 2), and we assume the <strong>parabolic</strong>ity condition θa + φR A < π.<br />
Our aim is to find <strong>conditions</strong> on the given function f which are necessary and sufficient<br />
for the existence of a unique solution u of (3.1) in the space<br />
H α+κ<br />
p (J; X) ∩ H κ p (J; DA),<br />
where J is R+ or a compact time-interval [0, T ], DA denotes the domain of A equipped<br />
<strong>with</strong> the graph norm of A, and κ is a real parameter belonging to the interval [0, 1/p).<br />
We begin <strong>with</strong> the special case of vanishing traces at t = 0.<br />
Theorem 3.1.1 Let X be a Banach space of class HT , p ∈ (1, ∞), and A an R-sectorial<br />
operator in X <strong>with</strong> R-angle φR A . Further let J be R+ or a compact time-interval [0, T ].<br />
Suppose that a belongs to K1 (α, θa) <strong>with</strong> α ∈ (0, 2) and that in addition a ∈ L1(R+)<br />
in case J = R+. Further let κ ∈ [0, 1/p), α + κ /∈ {1/p, 1 + 1/p}, and suppose the<br />
<strong>parabolic</strong>ity condition θa + φR A < π.<br />
Then (3.1) has a unique solution in Z := 0H α+κ<br />
p (J; X) ∩ Hκ p (J; DA) if and only if<br />
f ∈ 0H α+κ<br />
p (J; X).<br />
Proof. Suppose that u ∈ Z is a solution of (3.1). This clearly implies Au ∈ Hκ p (J; X) =<br />
0H κ p (J; X). From Corollary 2.8.1 we then deduce that a ∗ Au ∈ 0H α+κ<br />
p (J; X). This,<br />
together <strong>with</strong> u ∈ 0H α+κ<br />
p (J; X), entails f ∈ 0H α+κ<br />
p (J; X). Hence, the necessity part is<br />
established.<br />
To prove the converse, we first consider the case κ = 0. Suppose f ∈ 0H α p (J; X)<br />
is given. From Section 2.7 we know that equation (3.1) is <strong>parabolic</strong> and admits a<br />
resolvent S(·), <strong>with</strong> the aid of which the mild solution u of (3.1) can be represented<br />
by the variation of parameters formula (2.27). According to Corollary 2.8.1 it makes<br />
sense to define B ∈ S(Lp(J; X)) as the inverse convolution operator associated <strong>with</strong> the<br />
33