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.

<strong>with</strong> ψ1 ∈ Y, ψ2 ∈ Yκ and<br />

where<br />

Thus<br />

ψ2 − γp1 ∈ 0Yκ , 1<br />

2 ψ1 + 1<br />

3 ψ2 + γ∂yw1 ∈ 0Y,<br />

0Yκ := 0B<br />

δb2 (1− 1<br />

p )+κ<br />

pp<br />

δb2 (1−<br />

q0 ∈ 0B<br />

1<br />

p )<br />

pp<br />

(J; Lp(R n )) ∩ H κ p (J; B<br />

(J; Lp(R n )) ∩ Lp(J; B<br />

1<br />

1− p<br />

pp (R n )).<br />

1<br />

1− p<br />

pp (R n )),<br />

which entails K(a∗q0) ∈ 0Yκ. In view of L −1 ∈ B(0Yκ) and 2K(a∗q0) = Lp0, it therefore<br />

follows that p0 ∈ 0Yκ. Observe now that<br />

p0 ∈ 0Yκ ⇔ e −Gy δb2 +κ<br />

p0 ∈ 0Hp<br />

(J; Lp(R n+1<br />

+ )) ∩ Hκ p (J; H 1 p(R n+1<br />

+ )).<br />

Concerning p1, we proceed as in the case δa ≤ δb. According to Theorem 3.1.4, it<br />

follows from (5.13),(5.53),(5.54) that (5.27) admits a unique solution φp in the space<br />

which is embedded into<br />

H δa<br />

p (J; H −1<br />

p (R n+1 )) ∩ H κ p (J; H 1 p(R n+1 )),<br />

δb2 +κ<br />

Hp<br />

(J; Lp(R n+1<br />

+ )) ∩ Hκ p (J; H 1 p(R n+1<br />

+ )),<br />

by the mixed derivative theorem. Consequently, due to (5.30),<br />

as well as γp ∈ Yκ. From<br />

we then deduce<br />

δb2 +κ<br />

p ∈ Hp<br />

(J; Lp(R n+1<br />

+ )) ∩ Hκ p (J; H 1 p(R n+1<br />

+ )),<br />

δb<br />

2<br />

δa (1− 2<br />

Yκ ↩→ B<br />

1<br />

p )<br />

pp<br />

(1 − 1<br />

p<br />

δa 1<br />

) + κ > 2 (1 − p )<br />

(J; Lp(R n )) ∩ Lp(J; B<br />

1<br />

1− p<br />

pp (R n )).<br />

Hence, p and γp lie in the right regularity classes when (5.21) is solved for (v, w). Using<br />

this fact, together <strong>with</strong> (5.13),(5.14),(5.15),(5.16), and (5.17), Theorem 3.5.2 yields<br />

(v, w) ∈ Z.<br />

Theorem 5.3.2 Let 1 < p < ∞, and suppose that the kernels a �= 0 and b are of<br />

type (E). Let δa and δb denote the regularization order of a and b, respectively, and<br />

assume that 0 < κ := δa − δb < 1/p. Suppose further that δa /∈ { 2 1<br />

p−1 , 1 + p } as well as<br />

p(2δa − δb) �= 2 + δb. Then (5.12) has a unique solution (v, w) ∈ Z satisfying (5.49) if<br />

and only if the data are subject to the <strong>conditions</strong> (N2).<br />

5.3.4 The case δa − δb > 1/p<br />

Let κ > 1/p. Suppose that (v, w) ∈ Z solves (5.12) and satisfies in addition (5.49). Then<br />

the latter implies<br />

in particular<br />

p ∈ C(J; H 1 p(R n+1<br />

+ )),<br />

p|t=0 = −∇x · v0 − ∂yw0 ∈ H 1 p(R n+1<br />

+ ), (5.55)<br />

92

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

Saved successfully!

Ooh no, something went wrong!