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
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 />
Ω