29.04.2014 Views

Diploma thesis as pdf file - Johannes Kepler University, Linz

Diploma thesis as pdf file - Johannes Kepler University, Linz

Diploma thesis as pdf file - Johannes Kepler University, Linz

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

2.1 The central path 13<br />

By virtue of lower semicontinuity of F(u):<br />

Then it holds that<br />

so u = ū is the solution to the problem.<br />

lim F(u n) ≥ F(ū).<br />

n→∞<br />

F(ū) ≤ inf<br />

u∈V F(u),<br />

Let now u 1 ,u 2 ∈ V be two solutions to the problem. Then 1 2 (u 1 + u 2 ) ∈ V. If<br />

F(u) is strictly convex function, then<br />

( )<br />

1<br />

F<br />

2 (u 1 + u 2 )<br />

< min<br />

u∈V F(u),<br />

so only one solution exists for the strictly convex F(u). <br />

We make an <strong>as</strong>sumption (A1):<br />

∃ũ ∈ H 1 0 (Ω) :<br />

∫<br />

− ln(ũ − ψ)dω < ∞.<br />

Ω<br />

Theorem 2.1.3 With the <strong>as</strong>sumption (A1) for each κ > 0 the problem (2.1.1) h<strong>as</strong><br />

a unique solution u κ .<br />

Proof Let κ > 0 be an arbitrary fixed number. We apply theorem 2.1.2 with<br />

V = H0 1(Ω) and F(u) = J κ(u). J κ (u) is the sum of the strictly convex continuous<br />

∫<br />

function J(u) and the function φ(u) = − ln(u − ψ)dω. It’s clear that φ(u) is a<br />

convex function and consequently J κ (u) is strictly convex. Using the inequality<br />

lnz ≤ z for z > 0 we obtain<br />

∫<br />

φ(u) ≥ − max{u − ψ,0} ≥ −‖u − ψ‖ L 2 (Ω) µ(Ω) 1 2 .<br />

Ω<br />

Since ‖u − ψ‖ ≥ ‖u − ψ‖ L 2 (Ω), together with the <strong>as</strong>sumption (A1) it follows that<br />

φ and hence also J κ is proper. Moreover, we obtain<br />

J κ (u) ≥ c‖u‖ 2 − ‖ f ‖‖u‖ − κ‖u − ψ‖µ(Ω) 1 2<br />

Ω

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

Saved successfully!

Ooh no, something went wrong!