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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Discontinuous Galerkin Methods 11<br />

3 DG Approximation of an Elliptic Problem<br />

Let Ω be a polygon in dimension d = 2 or a Lipschitz polyhedron in dimension<br />

d = 3, with boundary ∂Ω partitioned into two disjoint parts: ∂Ω = Γ D ∪ Γ N ,<br />

with polygonal boundaries if d = 3. For simplicity, we assume that |Γ D | is<br />

positive. Consider the continuity equation for Darcy flow in pressure form<br />

in Ω:<br />

− div(K∇p) =f, in Ω, (24)<br />

p = g 1 , on Γ D , (25)<br />

K∇p · n Ω = g 2 , on Γ N , (26)<br />

where n Ω is the unit normal vector to ∂Ω, exterior to Ω, <strong>and</strong> the permeability<br />

K is a uniformly bounded, positive definite symmetric tensor, that is allowed<br />

to vary in space. For f ∈ L 2 (Ω), g 1 ∈ H 1/2 (Γ D )<strong>and</strong>g 2 ∈ L 2 (Γ N ), system<br />

(24)–(26) has a unique solution p ∈ H 1 (Ω) <strong>and</strong> we assume that p is sufficiently<br />

regular to guarantee the consistency of the schemes below.<br />

Let E h be a regular family of triangulations of Ω consisting of triangles (or<br />

tetrahedra if d =3)E of maximum diameter h, <strong>and</strong> such that no face or side<br />

of ∂E intersects both Γ D <strong>and</strong> Γ N . It is regular in the sense of Ciarlet [Cia91]:<br />

There exists a constant γ>0, independent of h, such that<br />

∀E ∈E h ,<br />

h E<br />

ϱ E<br />

= γ E ≤ γ, (27)<br />

where h E denotes the diameter of E (bounded above by h) <strong>and</strong>ϱ E denotes<br />

the diameter of the ball inscribed in E.<br />

To simplify the discussion, we assume that E h is conforming, but most<br />

results in this section remain valid for non-conforming grids as well as for<br />

quadrilateral (or hexahedral if d = 3) grids. We denote by Γ h the set of all<br />

interior edges (or faces if d =3)ofE h <strong>and</strong> by Γ h,D (resp. Γ h,N ) the set of<br />

all edges or faces of E h that lie on Γ D (resp. Γ N ). The elements E of E h are<br />

numbered <strong>and</strong> denoted by E i ,sayfor1≤ i ≤ P h . With any edge or face e<br />

of Γ h shared by E i <strong>and</strong> E j with i

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

Saved successfully!

Ooh no, something went wrong!