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.

sufficiently small, say T ≤ T1 ≤ T0, we have φ(t, x) ∈ U0 and ∇φ(t, x) ∈ U1 for all t ∈ J<br />

and x ∈ Ω. So for such T we may define operators B◦ K (φ) and Rφ<br />

K , K = D, N, by means<br />

of<br />

and<br />

B ◦ D(φ)u(t, x) = b D ξ (t, x, φ(t, x))u(t, x), t ∈ J, x ∈ ΓD,<br />

B ◦ N(φ)u(t, x) = b N ξ (t, x, φ(t, x), ∇φ(t, x))u(t, x)<br />

+ b N η (t, x, φ(t, x), ∇φ(t, x)) · ∇u(t, x), t ∈ J, x ∈ ΓN,<br />

R φ<br />

K (u) = BK(u) − BK(φ) − B ◦ K(φ)(u − φ), K = D, N.<br />

Obviously, (6.1) restricted to J is equivalent to<br />

⎧<br />

⎪⎨<br />

⎪⎩<br />

∂tu + dk ∗ A0 : ∇2u = F (u) + dk ∗ G(u)<br />

+dk ∗ ((A0 − A(u)) : ∇2u) (J × Ω)<br />

B◦ D (φ)u = −BD(φ) + B◦ D (φ)φ − Rφ<br />

D (u)<br />

B<br />

(J × ΓD)<br />

◦ N (φ)u = −BN(φ) + B◦ N (φ)φ − Rφ<br />

N (u) (J × ΓN)<br />

(Ω).<br />

u|t=0 = u0<br />

In other words, u ∈ Z T solves a problem of the form<br />

⎧<br />

⎪⎨<br />

⎪⎩<br />

∂tv + dk ∗ A0 : ∇ 2 v = h (J × Ω)<br />

B ◦ D (φ)v = ψD (J × ΓD)<br />

B◦ N (φ)v = ψN (J × ΓN)<br />

(Ω).<br />

v|t=0 = v0<br />

(6.7)<br />

(6.8)<br />

<strong>with</strong> certain functions on the right-hand side. Given data h, ψD , ψN and v0, (6.8) is<br />

a linear problem. For our construction, it is essential to understand this problem, in<br />

particular, one needs a precise characterization of unique solvability of (6.8) in ZT in<br />

terms of regularity and compatibility <strong>conditions</strong> for the data.<br />

Let us assume for the moment that we have such a result at our disposal - possibly<br />

on a yet smaller time-interval - and that the right-hand sides of the following both<br />

<strong>problems</strong> (6.9) and (6.11), which are of the form (6.8), fulfill the <strong>conditions</strong> needed to<br />

get a unique solution in ZT in either case. Then it makes sense to define the reference<br />

function w ∈ ZT as solution of the linear problem<br />

⎧<br />

⎪⎨<br />

∂tw + dk ∗ A0 : ∇<br />

⎪⎩<br />

2w = F (φ) + dk ∗ G(φ) (J × Ω)<br />

B◦ D (φ)w = −BD(φ) + B◦ D (φ)φ (J × ΓD)<br />

B◦ N (φ)w = −BN(φ) + B◦ (6.9)<br />

N (φ)φ (J × ΓN)<br />

(Ω).<br />

Given ρ > 0, let<br />

w|t=0 = u0<br />

Σ(ρ, T, φ) = {v ∈ Z T : v|t=0 = u0, ∂tv|t=0 = u1 (if α > 1/p), |v − w| Z T ≤ ρ},<br />

which is a closed subset of Z T . Since Z T ↩→ C(J; C 1 (Ω)), we may further put<br />

µw(T ) = max{|w(t, x) − u0(x)| + |∇w(t, x) − ∇u0(x)| : t ∈ J, x ∈ Ω}.<br />

Apparently, µw(T ) → 0 as T → 0, due to w|t=0 = u0.<br />

97

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

Saved successfully!

Ooh no, something went wrong!