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.

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

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

Saved successfully!

Ooh no, something went wrong!