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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Our next objective is to show necessity of (ii). For this purpose we choose an extension<br />

of the solution u ∈ Z w.r.t. t to all of R (again denoted by u) which lies in the<br />

regularity class<br />

Z1 := H α p (R; Lp(R+; X)) ∩ Lp(R; H 2 p(R+; X)) ∩ Lp(R; Lp(R+; DA)). (3.31)<br />

Set A1 = I +A <strong>with</strong> domain D(A1) = D(A) and let A1 be the natural extension of A1 to<br />

Y := Lp(R; X). Then the operator A1 is invertible, and by Theorem 2.3.1 it belongs to<br />

the class BIP(X) <strong>with</strong> power angle θA1 ≤ θA; thus A1 is invertible as well and contained<br />

in BIP(Y ) <strong>with</strong> power angle θA1 ≤ θA. Further let B ∈ BIP(Y ) be the inverse Volterra<br />

operator from Theorem 2.8.1. Then the resolvents of A1 and B commute, and we have<br />

θB + θA1 ≤ θa + θA < π. This allows us to apply Theorem 2.3.1 to the pair (B, A1) in<br />

the space Y yielding that B + A1 <strong>with</strong> domain D(B) ∩ D(A1) = H α p (R; X) ∩ Lp(R; DA)<br />

is invertible and contained in BIP(Y ) <strong>with</strong> power angle θB+A1 ≤ max{θa, θA}. The<br />

function u ∈ Z1 now satisfies a problem of the form<br />

Bu − ∂ 2 yu + A1u = g, y > 0, t ∈ R,<br />

u(t, 0) = ϕ(t), t ∈ R,<br />

<strong>with</strong> g ∈ Lp(R; Y ) and some ϕ, which is an extension of φ to all of R. To determine the<br />

regularity of ϕ, we apply Theorem 3.4.2 to the invertible operator<br />

F := � B + A1, (3.32)<br />

which belongs again to BIP(Y ) and has power angle θF ≤ max{θa, θA}/2 < π/2. This<br />

results in ϕ ∈ DF (2 − 1/p, p). Due to Theorem 2.2.2 and Proposition 2.3.1, we have<br />

γ<br />

DF (γ, p) = D (B+A1) 1/2(γ, p) = DB+A1 (<br />

Therefore<br />

which implies<br />

DF (1 − 1<br />

1<br />

2<br />

p , p) = Bα( pp<br />

1<br />

− 2p )<br />

DF (2 − 1<br />

1<br />

p , p) = Bα(1− pp<br />

Here we employ the embeddings<br />

B<br />

B<br />

1<br />

α(1− 2p )<br />

pp<br />

1<br />

α(1− 2p )<br />

pp<br />

2p )<br />

(R; X) ∩ Lp(R; DA(1 − 1<br />

(R; X) ∩ Lp(R; DA(1 − 1<br />

2<br />

, p) = DB( γ<br />

2<br />

(R; X) ∩ Lp(R; DA( 1<br />

γ<br />

, p) ∩ DA1 ( 2 , p), γ ∈ (0, 1).<br />

2<br />

1 − 2p , p)), (3.33)<br />

(R; X) ∩ Lp(R; DA(1 − 1<br />

2p , p)). (3.34)<br />

1 1<br />

− 2 2p<br />

2p , p)) ↩→ Bα( )<br />

pp (R; D 1 ), (3.35)<br />

A 2<br />

2p<br />

α<br />

2<br />

, p)) ↩→ Hp (R; DA( 1 1<br />

2 − 2p , p)), (3.36)<br />

which follow from the mixed derivative theorem and real interpolation. Hence, we have<br />

shown that<br />

1<br />

α(1− 2p<br />

ϕ ∈ B )<br />

(R; X) ∩ Lp(R; DA(1 − 1 , p)).<br />

pp<br />

By restriction to J, we see that the second condition in Theorem 3.5.1 is necessary.<br />

To derive condition (iv), we notice that u ∈ Z satisfies<br />

u ∈ H αs<br />

p (J; H 2(1−s)<br />

p (R+; X)), (3.37)<br />

50<br />

2p

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

Saved successfully!

Ooh no, something went wrong!