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.

3.3 Error estimate for Finite Element solution 29<br />

3.2.2 Predictor step<br />

At the predictor step we need to solve for p the following variational problem:<br />

Writing explicitly,<br />

find p ∈ V :<br />

∫<br />

Ω<br />

J ′′<br />

κ(u + )(p,v) = −J ′ (u + )v ∀v ∈ V.<br />

∫<br />

∇p∇vdω + κ<br />

Ω<br />

pv<br />

(u + − ψ)<br />

∫Ω<br />

2 dω = −<br />

∫<br />

∇u + ∇vdω + f vdω.<br />

Ω<br />

Discretization by using piecewise linear functions leads to the system:<br />

A + p h = b + ,<br />

where A + ∈ R N×N : V h → R N h<strong>as</strong> components:<br />

A + i j = ∫<br />

b + ∈ R N with components<br />

b + i<br />

Ω<br />

= −∑u + j<br />

j<br />

and p h ∈ R N with components p j .<br />

∫<br />

φ i φ j<br />

∇φ i ∇φ j dω + κ<br />

Ω (u + h − , ψ)2<br />

∫<br />

Ω<br />

∫<br />

∇φ i ∇φ j dω + f φ i dω,<br />

Ω<br />

3.3 Error estimate for Finite Element solution<br />

First we bring the theorem about the error estimate for the approximation which<br />

is valid for a general cl<strong>as</strong>s of approximations schemes for variational inequalities.<br />

We consider in the Hilbert space V the problem :<br />

find u ∈ K : a(u,v − u) ≥ 〈 f ,v − u〉 ∀v ∈ K, (3.3)<br />

where K ⊂ V is a convex set, a(·,·) is continuous bilinear form, f ∈ V ∗ .

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

Saved successfully!

Ooh no, something went wrong!