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.

1.2 Existence and uniqueness of the solution 3<br />

here and in the following µ stays for the Lebesgue me<strong>as</strong>ure. Then the total energy<br />

is:<br />

J(v) = 1 2<br />

∫<br />

Ω<br />

∫<br />

| ∇v | 2 dω − f vdω.<br />

Ω<br />

The ”obstacle problem” consists in finding the equilibrium state of the membrane,<br />

i.e. in minimizing the energy functional J(v), when the deflection of the<br />

membrane is restricted from below by the obstacle. Then the set of admissible<br />

deflections is given <strong>as</strong> :<br />

K = {v ∈ H 1 0 (Ω)|v ≥ ψ a.e. in Ω}.<br />

We see that the K is not a linear set. Throughout this work we <strong>as</strong>sume that ψ ∈<br />

L 2 (Ω) and f ∈ H −1 (Ω).<br />

Thus, we come up with the following:<br />

Problem 1.1.1 Given a bounded domain Ω ⊂ R 2 and functions f ∈ H −1 andψ ∈<br />

L 2 (Ω), find a solution u ∈ H 1 0<br />

such that<br />

J(u) = minJ(v) ∀v ∈ K,<br />

v∈K<br />

where the functional J(v) : H0 1 → R is represented by :<br />

J(v) = 1 ∫<br />

|∇v| 2 dω − 〈 f ,v〉.<br />

2<br />

1.2 Existence and uniqueness of the solution<br />

Ω<br />

For the existence and uniqueness of the solution of the problem (1.1.1) we bring<br />

here the following statement for more general problem:<br />

Theorem 1.2.1 Let H be a Hilbert space, K ⊂ H be closed and convex, the continuous<br />

bilinear form a(·,·) : H × H → R be symmetric and coercive, i.e.<br />

∃α > 0 : a(v,v) ≥ α‖v‖ 2 v ∈ H,

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

Saved successfully!

Ooh no, something went wrong!