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