Partial Differential Equations - Modelling and ... - ResearchGate
Partial Differential Equations - Modelling and ... - ResearchGate Partial Differential Equations - Modelling and ... - ResearchGate
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(Ω). Ω Ω
- Page 125 and 126: 118 R. Sanders and A.M. Tesdall alo
- Page 127 and 128: 120 R. Sanders and A.M. Tesdall (a)
- Page 129 and 130: 122 R. Sanders and A.M. Tesdall D C
- Page 131 and 132: 124 R. Sanders and A.M. Tesdall 8.6
- Page 133 and 134: 126 R. Sanders and A.M. Tesdall 0.3
- Page 135 and 136: 128 R. Sanders and A.M. Tesdall [TR
- Page 137 and 138: 132 S. Lapin et al. Ω R γ Ω 2 Γ
- Page 139 and 140: 134 S. Lapin et al. ∫ ∂ 2 ∫
- Page 141 and 142: 136 S. Lapin et al. Ω R γ Fig. 3.
- Page 143 and 144: 138 S. Lapin et al. 4 Energy Inequa
- Page 145 and 146: 140 S. Lapin et al. 5 Numerical Exp
- Page 147 and 148: 142 S. Lapin et al. Fig. 6. Contour
- Page 149 and 150: 144 S. Lapin et al. Fig. 9. Obstacl
- Page 151 and 152: Domain Decomposition and Electronic
- Page 153 and 154: Domain Decomposition Approach for C
- Page 155 and 156: Domain Decomposition Approach for C
- Page 157 and 158: Domain Decomposition Approach for C
- Page 159 and 160: Domain Decomposition Approach for C
- Page 161 and 162: Domain Decomposition Approach for C
- Page 163 and 164: Domain Decomposition Approach for C
- Page 165 and 166: Domain Decomposition Approach for C
- Page 167 and 168: Domain Decomposition Approach for C
- Page 169 and 170: Numerical Analysis of a Finite Elem
- Page 171 and 172: Numerical Analysis of a Finite Elem
- Page 173 and 174: Numerical Analysis of a Finite Elem
- Page 175: Numerical Analysis of a Finite Elem
- Page 179 and 180: Numerical Analysis of a Finite Elem
- Page 181 and 182: so that |u| 2 1,ω h ≤ 2 Numerica
- Page 183 and 184: Numerical Analysis of a Finite Elem
- Page 185 and 186: Numerical Analysis of a Finite Elem
- Page 187 and 188: Numerical Analysis of a Finite Elem
- Page 189 and 190: 188 A. Bonito et al. of the model a
- Page 191 and 192: 190 A. Bonito et al. Fig. 1. The sp
- Page 193 and 194: 192 A. Bonito et al. 3 1 16 4 1 1 1
- Page 195 and 196: 194 A. Bonito et al. ∫ v n+1 h
- Page 197 and 198: 196 A. Bonito et al. −pn +2µD(v)
- Page 199 and 200: 198 A. Bonito et al. each of its pa
- Page 201 and 202: 200 A. Bonito et al. The normal vec
- Page 203 and 204: 202 A. Bonito et al. with initial c
- Page 205 and 206: 204 A. Bonito et al. Fig. 8. Jet bu
- Page 207 and 208: 206 A. Bonito et al. References [AM
- Page 209 and 210: 208 A. Bonito et al. [Set96] J. A.
- Page 211 and 212: 210 J. Hao et al. due to shear flow
- Page 213 and 214: 212 J. Hao et al. The backward reac
- Page 215 and 216: 214 J. Hao et al. where u and p den
- Page 217 and 218: 216 J. Hao et al. * * * * * * * * *
- Page 219 and 220: 218 J. Hao et al. and solve for V n
- Page 221 and 222: 220 J. Hao et al. Table 2. The calc
- Page 223 and 224: 222 J. Hao et al. References [ASS80
- Page 225 and 226: Computing the Eigenvalues of the La
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 />
Ω