Partial Differential Equations - Modelling and ... - ResearchGate
Partial Differential Equations - Modelling and ... - ResearchGate
Partial Differential Equations - Modelling and ... - ResearchGate
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(ε).