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.
provided that κ < 1, that is, if the numbers ε and δ are selected sufficiently small.<br />
The symbol Ξi+1(Viv i ) in (4.15) has to be understood like the corresponding one for Z<br />
defined in (4.3).<br />
We still have to show that v i+1 = Qi+1f indeed solves (4.1) on [0, Ti+1], i.e. that<br />
Vi+1 is a surjection. To this purpose we define the linear operator Ki+1 : Ξi+1 → 0Ξi+1<br />
by<br />
Ki+1g = k ∗<br />
N�<br />
j=0<br />
[A#(·, x, Dx), ψj](I − S ij )| −1<br />
Zi+1(ϕjV −1<br />
i g)hij (g, Qi+1g).<br />
The commutators [A#(t, x, Dx), ψj] are differential operators of order ≤ 1. Thus for<br />
δ sufficiently small, we see that the mapping g ↦→ f − Ki+1g is a strict contraction<br />
in the space {g ∈ Ξi+1 : ∂ m t g|t=0 = ∂ m t f|t=0, if α > m + 1/p, m = 0, 1}. That<br />
means for such δ, there exists g ∈ Ξi+1 satisfying g + Ki+1g = f. We apply now<br />
V#, i+1 := I + k ∗ A#(·, x, Dx) to v = Qi+1g in (4.11) <strong>with</strong> f replaced by g. This gives<br />
V#, i+1Qi+1g =<br />
=<br />
N�<br />
j=0<br />
V#, i+1ψj(I − S ij )| −1<br />
Zi+1(ϕjV −1<br />
i g)hij (g, Qi+1g)<br />
N�<br />
ψj(ϕjg + k ∗ Cj(·, x, Dx)Qi+1g) + Ki+1g.<br />
j=0<br />
From �<br />
j ϕj = 1 we infer that �<br />
j [A#(t, x, Dx), ϕj] = 0. Using this, together <strong>with</strong> the<br />
fact that ψj ≡ 1 on supp ϕj, we see that<br />
Therefore<br />
N�<br />
ψj(ϕjg + k ∗ Cj(·, x, Dx)Qi+1g) = g − k ∗ AR(·, x, Dx)Qi+1g.<br />
j=0<br />
Vi+1Qi+1g = g + Ki+1g = f. (4.16)<br />
Hence Vi+1 is surjective, provided that δ is sufficiently small.<br />
Concluding, we have proven that (4.1) admits a unique solution v ∈ Z.<br />
It remains to prove Claim 2. Let w ∈ Zi+1(0). Thanks to Claim 1 we may estimate<br />
|S ij w|Zi+1<br />
= |Lij<br />
i+1 k ∗ (Aj # (Ti, xj, Dx) − A j<br />
# (·, x, Dx))w|Zi+1<br />
≤ C|(A j<br />
# (t, x, Dx) − A j<br />
# (Ti, xj, Dx))w|Xi+1<br />
≤ C |(a j (·, ·) − a(Ti, xj)) : ∇ 2 xw| Lp([Ti,Ti+1];Lp(R n ))<br />
≤ Cη |∇ 2 xw|<br />
Xn2 i+1<br />
≤ 1<br />
Cη |w|Zi+1 ≤ |w|Zi+1 2 , (4.17)<br />
provided that η ≤ η0 := 1/2C. This shows (a). Suppose now that w ∈ Zi+1(0) and<br />
w0 = (I − S ij )w. Then in view of (a)<br />
Hence (b) holds.<br />
|w|Zi+1 ≤ |Sij w|Zi+1<br />
1<br />
+ |w0|Zi+1 ≤ |w|Zi+1 2 + |w0|Zi+1 .<br />
62