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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Letting gη(λ) = âη(λ)/(1 + ωâη(λ)), Reλ > 0, we thus obtain |gη(λ)| ≤ C0|λ| −α for all<br />

λ ∈ C+, where C0 > 0 is independent of λ. Here, we also made use of (2.19) for the<br />

kernel aη. Observe that<br />

λg ′ η(λ) = gη(λ) λâ′ η(λ)<br />

âη(λ)<br />

·<br />

1<br />

, Re λ > 0.<br />

1 + ωâη(λ)<br />

Thanks to (2.24) and 1-regularity of aη, we therefore get an estimate<br />

|λg ′ η(λ)| + |gη(λ)| ≤ C<br />

, Re λ > 0, (2.25)<br />

|λ| α<br />

which, together <strong>with</strong> α > 0 and holomorphy of gη in C+, implies existence of uη ∈<br />

C(0, ∞) ∩ L1, loc(R+) satisfying ûη(λ) = gη(λ), Re λ > 0, by Proposition 2.1.1. (2.2)<br />

entails that uη is of subexponential growth. By inversion of the Laplace transform we<br />

then obtain uη + ωaη ∗ uη = aη, hence u + ωa ∗ u = a, where u(t) := uη(t)eηt , t > 0. As<br />

in the proof of (iv), we see that the construction of u is independent of η > 0, and that<br />

u is of subexponential growth. From û = â/(1 + ωâ) and ω > 0 one deduces that u is<br />

θa-sectorial. Furthermore, the function h(λ) := 1 + ωâ(λ) defined on C+ satisfies (2.23)<br />

<strong>with</strong> a suitable constant C > 0 for k = 1, . . . , r. In fact,<br />

|λ kˆ<br />

� �<br />

�<br />

(k) k k (k)<br />

h (λ)| = ω |λ â (λ)| ≤ C|â(λ)| ≤ C| h(λ)| ˆ �<br />

1 �<br />

�<br />

�ω<br />

+ 1/â(λ) � ≤ C1| ˆ h(λ)|<br />

for all λ ∈ C+ and k = 1, . . . , r, in virtue of θa < π and r-regularity of a. By the<br />

considerations in the proof of (iv), that property of h is passed on to the function<br />

¯h(λ) := 1/h(λ), λ ∈ C+, which is well-defined in view of (2.24). Then û = â ¯ h, and as<br />

above, <strong>with</strong> the aid of Leibniz’ formula, we see that u is r-regular. Concerning (K3), the<br />

assumption ζ := lim infµ→0 |â(µ)| > 0 implies lim infµ→0 |û(µ)| > 0, since<br />

lim inf<br />

µ→0<br />

|û(µ)| ≥ lim inf<br />

µ→0 (ω + |1/â(µ)|)−1 = (ω + 1/ζ) −1 .<br />

Besides, by (2.24), lim sup µ→∞ |â(µ)|µ α < ∞, and (2.19) applied to a1, we have<br />

as well as<br />

lim sup<br />

µ→∞<br />

lim inf<br />

µ→∞ |û(µ)|µα ≥ lim inf<br />

µ→∞<br />

|û(µ)|µ α ≤ c −1 lim sup |û(µ)|µ<br />

µ→∞<br />

α < ∞,<br />

(µ + 1) α<br />

≥ lim inf<br />

ω + |1/â(µ + 1)| µ→∞<br />

(µ + 1) α<br />

> 0.<br />

ω + C(µ + 1) α<br />

Hence, the kernel ξ := u satisfies ξ + ωa ∗ ξ = a and belongs to K r (α, θa). Uniqueness<br />

follows again from the unique inverse of the Laplace transform. Thus (v) is shown.<br />

It remains to prove (vi). Suppose a ∈ K r (α, θa) ∩ L1(R+), ω > 0, and ɛ :=<br />

ω|a| L1(R+) < 1. We proceed as in the previous part. Fix an arbitrary η > 0 and<br />

define gη(λ) := âη(λ)/(1 − ωâη(λ)), Reλ > 0. This time the assumption ɛ < 1 ensures<br />

that the denominator in the definition of gη is bounded away from zero. Using this and<br />

1-regularity of aη yields (2.25) in a similar fashion as above. With the aid of Proposition<br />

2.1.1, existence of u ∈ L1, loc(R+) <strong>with</strong> u − ωa ∗ u = a can then be seen. By the<br />

same line of arguments as in the previous part one further shows that u is r-regular.<br />

Validity of the <strong>conditions</strong> in (K3) <strong>with</strong> exponent α can be proved for u similarly as<br />

above. By elementary trigonometry, |arg (1 − ωâ(λ))| ≤ arcsin(ɛ) for all λ ∈ C+, i.e.<br />

u is (θa + arcsin(ɛ))-sectorial. Last but not least, u ∈ L1(R+) follows from ɛ < 1 and<br />

a ∈ L1(R+) by the Paley-Wiener theorem. Hence, ξ := u possesses all properties claimed<br />

in (vi), uniqueness being evident as above. �<br />

26

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

Saved successfully!

Ooh no, something went wrong!