02.12.2012 Views

Quasilinear parabolic problems with nonlinear boundary conditions

Quasilinear parabolic problems with nonlinear boundary conditions

Quasilinear parabolic problems with nonlinear boundary conditions

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!