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.

Let u1 be the restriction of v1 to y ∈ R+. Then clearly u1 ∈ Z, and u1 satisfies (3.39).<br />

Next we put φ1 := u1|y=0. Due to the necessity part of Theorem 3.5.1 (<strong>conditions</strong><br />

(ii),(iv),(vi)), we see that<br />

φ1 ∈ B<br />

1<br />

α(1− 2p )<br />

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

2p , p)),<br />

and f|t=0, y=0 = φ1|t=0, if α > 2<br />

2p−1 , as well as ∂tf|t=0, y=0 = ˙<br />

φ1|t=0, in case α ><br />

1 + 3/(2p − 1). Therefore we deduce that<br />

φ − φ1 ∈ 0B<br />

1<br />

α(1− 2p )<br />

pp<br />

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

Consider now the problem<br />

� v − a ∗ ∂ 2 yv + a ∗ Av = 0, t ∈ J, y > 0,<br />

v(t, 0) = φ − φ1, t ∈ J.<br />

2p<br />

(3.41)<br />

Define this time A as the natural extension of A to Y1 := Lp(J; X). Let further B ∈<br />

BIP(Lp(J; X)) be the inverse Volterra operator from Corollary 2.8.1 associated <strong>with</strong> the<br />

kernel a. Then B is invertible, A and B belong to BIP(Y1), their resolvents commute,<br />

and θA + θB ≤ θA + θa < π. Therefore, by Theorem 2.3.1, the operator B + A <strong>with</strong><br />

domain D(B) ∩ D(A) = 0H α p (J; X) ∩ Lp(J; DA) is invertible and contained in BIP(Y1)<br />

<strong>with</strong> power angle θB+A ≤ max{θa, θA}. Moreover, the operator F1 := √ B + A is also<br />

invertible and belongs to BIP(Y1) <strong>with</strong> power angle θF1 ≤ max{θa, θA}/2 < π/2. We<br />

can now rewrite (3.41) as<br />

−v ′′ (y) + F 2 1 v(y) = 0, y > 0, v(0) = φ − φ1. (3.42)<br />

In the same way as above for the operator F , one can show that<br />

and<br />

1<br />

DF1 (1 − p , p) = 0B<br />

1<br />

DF1 (2 − p , p) = 0B<br />

1 1<br />

α( − 2 2p )<br />

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

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

1<br />

α(1− 2p )<br />

pp<br />

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

Compare this <strong>with</strong> (3.33) and (3.34). Thus we have φ − φ1 ∈ DF1 (2 − 1/p, p), which<br />

implies existence of a solution u2 of (3.41) in the space<br />

0H α p (J; Lp(R+; X)) ∩ Lp(J; H 2 p(R+; X)) ∩ Lp(J; Lp(R+; DA)),<br />

by virtue of Theorem 3.4.2.<br />

Finally let u := u1 + u2. Then u ∈ Z, and by construction u is a solution of problem<br />

(3.27).<br />

Uniqueness follows from Theorem 3.4.2. To see this, rewrite (3.27) <strong>with</strong> zeros on the<br />

right-hand side as (3.42) <strong>with</strong> initial value zero. This completes the proof of Theorem<br />

3.5.1. �<br />

There is a corresponding result for the problem<br />

� u − a ∗ ∂ 2 yu + a ∗ Au = f, t ∈ J, y > 0,<br />

−∂yu(t, 0) + Du(t, 0) = φ(t), t ∈ J.<br />

52<br />

2p<br />

(3.45)

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

Saved successfully!

Ooh no, something went wrong!