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

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

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

1.3 Alternative equivalent formulations 7<br />

Proof Let u ∈ K be the solution to the minimization problem (1.1.1). Then for<br />

t ∈ [0,1] : u+t(v−u) ∈ K ∀v ∈ K. Function defined by φ(t) = J(u+t(v−u)), t ∈<br />

[0,1] attains its minimum at the point t = 0, i.e.<br />

φ(0) ≤ φ(t) ∀t ∈ [0,1].<br />

Then<br />

∫<br />

φ(t) − φ(0)<br />

0 ≤ lim<br />

= ∇u∇(v − u)dω − 〈 f ,v − u〉.<br />

t→0+ t<br />

Ω<br />

∫<br />

Let u ∈ K be such that ∇u∇(v − u)dω ≥ 〈 f ,v − u〉 ∀v ∈ K. Then for any<br />

Ω<br />

v ∈ K it holds :<br />

∫<br />

J(v)−J(u) = φ(1)−φ(0) = ∇u∇(v−u)dω −〈 f ,v−u〉+ 1 ∫<br />

Ω 2<br />

<br />

The next theorem states about the well-posedness of the problem:<br />

Ω<br />

|∇(v−u)| 2 dω ≥ 0.<br />

Theorem 1.3.3 There exist unique solution to the problem (1.3.1). In addition,<br />

the mapping f → u is Lipschitz, that is, if u 1 ,u 2 are solutions to the problem<br />

(1.3.1) corresponding to f 1 , f 2 ∈ H −1 , then<br />

where L > 0 constant.<br />

‖u 1 − u 2 ‖ ≤ L‖ f 1 − f 2 ‖ H −1, (1.1)<br />

Proof Existence of the unique solution results from the previous discussions,<br />

namely, from the equivalence of the variational inequality (1.3.1) to the minimization<br />

problem (1.1.1).<br />

We demonstrate validity of (1.1). We set v = u 2 in the variational inequality<br />

for the solution u 1 and v = u 1 in the inequality for u 2 . Upon adding we obtain:<br />

∫<br />

|∇(u 1 − u 2 )| 2 dω ≤ 〈 f 1 − f 2 ,u 1 − u 2 〉.<br />

Ω<br />

From the coercitivity of the form a(u,v) = ∫ Ω ∇u∇vdω, it follows that<br />

C(Ω)‖u 1 − u 2 ‖ 2 ≤ 〈 f 1 − f 2 ,u 1 − u 2 〉 ≤ ‖ f 1 − f 2 ‖ H −1‖u 1 − u 2 ‖.

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

Saved successfully!

Ooh no, something went wrong!