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.
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)