Quasilinear parabolic problems with nonlinear boundary conditions

Quasilinear parabolic problems with nonlinear boundary conditions Quasilinear parabolic problems with nonlinear boundary conditions

busch.felix24
from busch.felix24 More from this publisher
02.12.2012 Views

and ψ1, ψ2 are subject to the compatibility conditions and ψ1|t=0 = 2 3 γ∇x · v0 − 4 3 γ∂yw0, (5.62) ψ2|t=0 = −γ∇x · v0 − γ∂yw0, (5.63) ∂tψ2|t=0 = −(∇x · hv + ∂yhw)|t=0, if η > 0. (5.64) All in all we have established necessity of (N3) (5.14), (5.16), (5.17), (5.55), (5.57) − (5.64). That these conditions are also sufficient for the existence of a unique pair (v, w) ∈ Z solving (5.12) and satisfying (5.49), is shown in the following. Suppose that (N3) is fulfilled. We first investigate the regularity of q0. Using assumptions (5.61)-(5.64) we see that with ψ1 ∈ Y, ψ2 ∈ Yκ and where Therefore q0 = 1 2 2A(b − 3a) ∗ (ψ2 − γp1) + ( 1 2ψ1 + 1 3ψ2 + γ∂yw1), 0Yκ := 0B ψ2 − γp1 ∈ 0Yκ , 1 2 ψ1 + 1 3 ψ2 + γ∂yw1 ∈ 0Y, δb2 (1− 1 p )+κ pp δb2 (1− q0 ∈ 0B 1 p ) pp (J; Lp(R n )) ∩ 0H κ p (J; B (J; Lp(R n )) ∩ Lp(J; B 1 1− p pp (R n )). 1 1− p pp (R n )), and so, by the same conclusions as in the previous case, we find that e −Gy δb2 +κ p0 ∈ 0Hp (J; Lp(R n+1 + )) ∩ 0H κ p (J; H 1 p(R n+1 + )). Next we look at p1. From (5.14),(5.55),(5.57),(5.58), and (5.60) it follows by Theorem 3.3.1 that (5.27) has a unique solution φp in the space H δa p (J; H −1 p (R n+1 )) ∩ H κ p (J; H 1 p(R n+1 )). So we can argue as in the case κ ∈ (0, 1/p) to see that (5.12) admits a unique solution (v, w) ∈ Z with (5.49). Theorem 5.3.3 Let 1 < p < ∞, and suppose that the kernels a �= 0 and b are of type (E). Let δa and δb denote the regularization order of a and b, respectively, and assume that κ = δa−δb > 1/p. Suppose further that δa �= 2 p−1 as well as p(2δa−δb) �= 2+δb+2p.Then (5.12) has a unique solution (v, w) ∈ Z satisfying (5.49) if and only if the data are subject to the conditions (N3). 94

Chapter 6 Nonlinear Problems 6.1 Quasilinear problems of second order with nonlinear boundary conditions Let Ω be a bounded domain in R n with C 2 boundary Γ which decomposes as Γ = ΓD∪ΓN with dist(ΓD, ΓN) > 0. Let further J0 = [0, T0] be a compact time-interval and U0 ⊂ R, U1 ⊂ R n be nonempty open convex sets. With the functions a : J0×Ω×U0×U1 → R n×n , f, g : J0 × Ω × U0 × U1 → R, b D : J0 × ΓD × U0 → R, and b N : J0 × ΓN × U0 × U1 → R, we put A(u)(t, x) = −a(t, x, u(t, x), ∇u(t, x)), t ∈ J0, x ∈ Ω, F (u)(t, x) = f(t, x, u(t, x), ∇u(t, x)), t ∈ J0, x ∈ Ω, G(u)(t, x) = g(t, x, u(t, x), ∇u(t, x)), t ∈ J0, x ∈ Ω, BD(u)(t, x) = b D (t, x, u(t, x)), t ∈ J0, x ∈ ΓD, BN(u)(t, x) = b N (t, x, u(t, x), ∇u(t, x)), t ∈ J0, x ∈ ΓN, where ∇ = ∇x refers to the spatial variables, and u : J0 × Ω → R is a C(J0; C 1 (Ω)) function subject to u(t, x) ∈ U0 and ∇u(t, x) ∈ U1, for all t ∈ J0, x ∈ Ω. Let further k ∈ BVloc(R+) ∩ K 1 (1 + α, θ) with k(0) = 0, θ < π and α ∈ [0, 1). Then the problem under consideration reads as ⎧ ⎪⎨ ⎪⎩ ∂tu + dk ∗ (A(u) : ∇ 2 u) = F (u) + dk ∗ G(u), t ∈ J0, x ∈ Ω BD(u) = 0, t ∈ J0, x ∈ ΓD BN(u) = 0, t ∈ J0, x ∈ ΓN u|t=0 = u0, x ∈ Ω. (6.1) Our goal is to prove unique existence of a local strong solution, more precisely, we are looking for an interval J = [0, T ] with 0 < T ≤ T0 and a unique solution u of (6.1) on J in the space Z T := H 1+α p (J; Lp(Ω)) ∩ Lp(J; H 2 p(Ω)). This will be achieved under appropriate assumptions by means of maximal Lp-regularity of a linear problem related to (6.1) and the contraction mapping principle. To fix notation, we denote the independent variables by t ∈ J0, x ∈ Ω, ξ ∈ U0, and η ∈ U1. For what is to follow we need the spaces X T = Lp(J; Lp(Ω)), X T 1 = H α p (J; Lp(Ω)), (6.2) 95

Chapter 6<br />

Nonlinear Problems<br />

6.1 <strong>Quasilinear</strong> <strong>problems</strong> of second order <strong>with</strong> <strong>nonlinear</strong><br />

<strong>boundary</strong> <strong>conditions</strong><br />

Let Ω be a bounded domain in R n <strong>with</strong> C 2 <strong>boundary</strong> Γ which decomposes as Γ = ΓD∪ΓN<br />

<strong>with</strong> dist(ΓD, ΓN) > 0. Let further J0 = [0, T0] be a compact time-interval and U0 ⊂ R,<br />

U1 ⊂ R n be nonempty open convex sets. With the functions a : J0×Ω×U0×U1 → R n×n ,<br />

f, g : J0 × Ω × U0 × U1 → R, b D : J0 × ΓD × U0 → R, and b N : J0 × ΓN × U0 × U1 → R,<br />

we put<br />

A(u)(t, x) = −a(t, x, u(t, x), ∇u(t, x)), t ∈ J0, x ∈ Ω,<br />

F (u)(t, x) = f(t, x, u(t, x), ∇u(t, x)), t ∈ J0, x ∈ Ω,<br />

G(u)(t, x) = g(t, x, u(t, x), ∇u(t, x)), t ∈ J0, x ∈ Ω,<br />

BD(u)(t, x) = b D (t, x, u(t, x)), t ∈ J0, x ∈ ΓD,<br />

BN(u)(t, x) = b N (t, x, u(t, x), ∇u(t, x)), t ∈ J0, x ∈ ΓN,<br />

where ∇ = ∇x refers to the spatial variables, and u : J0 × Ω → R is a C(J0; C 1 (Ω))<br />

function subject to u(t, x) ∈ U0 and ∇u(t, x) ∈ U1, for all t ∈ J0, x ∈ Ω.<br />

Let further k ∈ BVloc(R+) ∩ K 1 (1 + α, θ) <strong>with</strong> k(0) = 0, θ < π and α ∈ [0, 1). Then<br />

the problem under consideration reads as<br />

⎧<br />

⎪⎨<br />

⎪⎩<br />

∂tu + dk ∗ (A(u) : ∇ 2 u) = F (u) + dk ∗ G(u), t ∈ J0, x ∈ Ω<br />

BD(u) = 0, t ∈ J0, x ∈ ΓD<br />

BN(u) = 0, t ∈ J0, x ∈ ΓN<br />

u|t=0 = u0, x ∈ Ω.<br />

(6.1)<br />

Our goal is to prove unique existence of a local strong solution, more precisely, we are<br />

looking for an interval J = [0, T ] <strong>with</strong> 0 < T ≤ T0 and a unique solution u of (6.1) on J<br />

in the space<br />

Z T := H 1+α<br />

p (J; Lp(Ω)) ∩ Lp(J; H 2 p(Ω)).<br />

This will be achieved under appropriate assumptions by means of maximal Lp-regularity<br />

of a linear problem related to (6.1) and the contraction mapping principle.<br />

To fix notation, we denote the independent variables by t ∈ J0, x ∈ Ω, ξ ∈ U0, and<br />

η ∈ U1. For what is to follow we need the spaces<br />

X T = Lp(J; Lp(Ω)), X T 1 = H α p (J; Lp(Ω)), (6.2)<br />

95

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

Saved successfully!

Ooh no, something went wrong!