24.02.2014 Views

Partial Differential Equations - Modelling and ... - ResearchGate

Partial Differential Equations - Modelling and ... - ResearchGate

Partial Differential Equations - Modelling and ... - ResearchGate

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.

Numerical Analysis of a Finite Element/Volume Penalty Method 171<br />

Proof. This is a direct consequence of the identity which we obtain by subtracting<br />

(4) <strong>and</strong> (2):<br />

〈ξ,v〉− 1 ε b(uε ,v)=a(u − u ε ,v)<br />

∀v ∈ V<br />

which yields ‖ξ − ξ ε ‖ V ′ ≤ C |u − u ε |.<br />

Let us now establish the first order convergence, provided an extra compatibility<br />

condition between b(·, ·) <strong>and</strong>ξ is met.<br />

Proposition 3. Under the assumptions (1), we assume, in addition, that<br />

there exists ˜ξ ∈ V such that<br />

Then |u ε − u| = O(ε).<br />

〈ξ,v〉 = b(˜ξ,v) ∀v ∈ V.<br />

Proof. First of all, notice that it is possible to pick ˜ξ in K ⊥ (if not, we project<br />

it onto K ⊥ ). Now following the idea which is proposed in [Bab73] in a slightly<br />

different context (see the proof of Theorem 3.2 therein), we introduce<br />

<strong>and</strong> we develop<br />

R ε (v) = 1 2 a(u − v, u − v)+ 1 2ε b(ε˜ξ − v, ε˜ξ − v)<br />

R ε (v) = 1 2 a(u, u)+ ε 2 b(˜ξ, ˜ξ)+ 1 2 a(v, v)+ 1 b(v, v) − a(u, v) − b(˜ξ,v).<br />

2ε<br />

As b(˜ξ,v) =〈ξ,v〉 <strong>and</strong> −a(u, v)−〈ξ,v〉 = −〈ϕ, v〉, the functional R ε is equal to<br />

J ε up to a constant. Therefore, minimizing R ε or minimizing J ε are equivalent<br />

tasks. Let us now introduce w = ε˜ξ + u. It comes<br />

R ε (w) = ε2<br />

2 a(˜ξ, ˜ξ) + 0 because u ∈ K =kerb,<br />

so that |R ε (w)| ≤Cε 2 .Asu ε minimizes R ε ,<br />

0 ≤ R ε (u ε )= 1 2 a(u − uε ,u− u ε )+ 1 2ε b(ε˜ξ − u ε ,ε˜ξ − u ε ) ≤ Cε 2 ,<br />

from which we deduce, as a(·, ·) is elliptic, |u − u ε | = O(ε).<br />

Corollary 1. Under the assumptions (1), we assume, in addition, that b(·, ·)<br />

can be written b(u, v) =(Bu,Bv), where B is a linear continuous operator<br />

onto a Hilbert space Λ, with closed range. Then |u ε − u| = O(ε).

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

Saved successfully!

Ooh no, something went wrong!