Partial Differential Equations - Modelling and ... - ResearchGate

Partial Differential Equations - Modelling and ... - ResearchGate Partial Differential Equations - Modelling and ... - ResearchGate

24.02.2014 Views

174 B. Maury Proof. By the definition of u ε , J ε (u ε )= 1 2 a(uε ,u ε ) −〈ϕ, u ε 〉 + 1 2ε b(uε ,u ε ) ≤ J ε (u) = 1 a(u, u) −〈ϕ, u〉, 2 so that 0 ≤ 1 2ε b(u ε,u ε ) ≤ 1 2 a(u, u) − 1 2 a(uε ,u ε )+〈ϕ, u ε − u〉 ≤ 1 2 a(u + uε ,u− u ε )+〈ϕ, u ε − u〉, which yields the estimate by continuity of a(·, ·) andϕ. Proposition 6. Under the assumptions (1), we denote by u ε h the solution to the problem (6). Then ( |u ε h − u| ≤C min |v h − u| + √ ) |u ε − u| . v h ∈V h ∩K Proof. As u ε h minimizes a(v − uε ,v− u ε )+b(v − u ε ,v− u ε )/ε over V h , α |u ε h − u ε | 2 ≤ a(u ε h − u ε ,u ε h − u ε ) ≤ a(u ε h − u ε ,u ε h − u ε )+ 1 ε b(uε h − u ε ,u ε h − u ε ) ( ≤ min a(v h − u ε ,v h − u ε )+ 1 v h ∈V h ε b(v h − u ε ,v h − u ε ) ≤ min v h ∈V h ∩K ( a(v h − u ε ,v h − u ε )+ 1 ε b(v h − u ε ,v h − u ε ) As v h is in K, the second term is b(u ε ,u ε )/ε, which is bounded by C |u ε − u| (by Lemma 1). Finally, we get ( |u ε h − u ε |≤C min |v h − u ε | + √ ) |u ε − u| , v h ∈V h ∩K from which we conclude. Proposition 7. Under the assumptions (1), it holds |u ε h − u| ≤ C √ ε inf v h ∈V h |u ε − v h | + |u ε − u| , ) ) . where u ε h is the solution to (6). Proof. One has |u ε h − u| ≤|u ε h − u ε | + |u ε − u| , and we control the first term by Céa’s lemma applied to the bilinear form a + b/ε, whose ellipticity constant behaves like 1/ε.

Numerical Analysis of a Finite Element/Volume Penalty Method 175 Example 2. The simplest example of penalty formulation one may think about is the following: the constraint to vanish on a subdomain O⊂⊂Ω is handled by minimizing the functional J ε (v) = 1 ∫ ∫ |∇v| 2 − fv + 1 ∫ u 2 . (7) 2 Ω Ω 2ε O Example 1 (which is a one-dimensional version of this situation) suggests that |u ε − u| behaves like ε 1/4 . If we admit this convergence rate, Proposition 6 provides an estimate in h 1/2 + ε 1/8 . This estimate is optimal in h: the natural space discretization order is obtained if ε is small enough (ε = h 4 in the present case). Symmetrically, the natural order in ε can be recovered if h is small enough. Indeed, if we admit that u ε can be approximated at the same order as u over Ω, which is 1/2, then the choice ε = h 4/3 in Proposition 7 gives |u ε h − u| ≤ C ε 1/2 ε3/4 + ε 1/4 = O(ε 1/4 ). Notice that if we replace u 2 by u 2 + |∇u| 2 in the integral over O in (7), the assumptions of Corollary 1 are fulfilled, so that convergence holds at the first order in ε. As a consequence, |u − u ε h | is bounded by C(h1/2 + ε 1/2 )(by Proposition 6), which suggests the choice ε = h. 3 Model Problem This section is dedicated to a special situation, which can be seen as a scalar version of the rigidity constraint in a Stokes flow. We introduce a domain Ω ⊂ R 2 (smooth, or polygonal and convex), and O⊂⊂Ω which we suppose circular (see Remark 4, at the end of this paper, for extensions to more general situations). We consider the following problem: ⎧ −△u = f in Ω \ O, ⎪⎨ u =0 on∂Ω, u = U on ∂O, (8) ∫ ∂u ⎪⎩ ∂n =0, ∂O where U is an unknown constant, and f ∈ L 2 (Ω \ O). The scalar field u can be seen as a temperature, and O as a zone with infinite conductivity. Definition 1. We say that u is a weak solution to (8) if u ∈ V = H0 1 (Ω), there exists U ∈ R such that u = U almost everywhere in O, and ∫ ∫ ∇u ·∇v = fv ∀v ∈ D(Ω). Ω Ω

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

Example 2. The simplest example of penalty formulation one may think about<br />

is the following: the constraint to vanish on a subdomain O⊂⊂Ω is h<strong>and</strong>led<br />

by minimizing the functional<br />

J ε (v) = 1 ∫ ∫<br />

|∇v| 2 − fv + 1 ∫<br />

u 2 . (7)<br />

2 Ω<br />

Ω 2ε O<br />

Example 1 (which is a one-dimensional version of this situation) suggests that<br />

|u ε − u| behaves like ε 1/4 . If we admit this convergence rate, Proposition 6<br />

provides an estimate in h 1/2 + ε 1/8 . This estimate is optimal in h: the natural<br />

space discretization order is obtained if ε is small enough (ε = h 4 in the<br />

present case).<br />

Symmetrically, the natural order in ε can be recovered if h is small enough.<br />

Indeed, if we admit that u ε can be approximated at the same order as u over<br />

Ω, which is 1/2, then the choice ε = h 4/3 in Proposition 7 gives<br />

|u ε h − u| ≤ C<br />

ε 1/2 ε3/4 + ε 1/4 = O(ε 1/4 ).<br />

Notice that if we replace u 2 by u 2 + |∇u| 2 in the integral over O in (7),<br />

the assumptions of Corollary 1 are fulfilled, so that convergence holds at the<br />

first order in ε. As a consequence, |u − u ε h | is bounded by C(h1/2 + ε 1/2 )(by<br />

Proposition 6), which suggests the choice ε = h.<br />

3 Model Problem<br />

This section is dedicated to a special situation, which can be seen as a scalar<br />

version of the rigidity constraint in a Stokes flow.<br />

We introduce a domain Ω ⊂ R 2 (smooth, or polygonal <strong>and</strong> convex), <strong>and</strong><br />

O⊂⊂Ω which we suppose circular (see Remark 4, at the end of this paper,<br />

for extensions to more general situations). We consider the following problem:<br />

⎧<br />

−△u = f in Ω \ O,<br />

⎪⎨ u =0 on∂Ω,<br />

u = U on ∂O,<br />

(8)<br />

∫<br />

∂u ⎪⎩<br />

∂n =0,<br />

∂O<br />

where U is an unknown constant, <strong>and</strong> f ∈ L 2 (Ω \ O). The scalar field u can<br />

be seen as a temperature, <strong>and</strong> O as a zone with infinite conductivity.<br />

Definition 1. We say that u is a weak solution to (8) if u ∈ V = H0 1 (Ω),<br />

there exists U ∈ R such that u = U almost everywhere in O, <strong>and</strong><br />

∫<br />

∫<br />

∇u ·∇v = fv ∀v ∈ D(Ω).<br />

Ω<br />

Ω

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

Saved successfully!

Ooh no, something went wrong!