Finite Element Exterior Calculus. Douglas N. Arnold, University of Minnesota The 41st Woudschoten Conference 5 7 October 2016
|
|
- Arabella Montgomery
- 6 years ago
- Views:
Transcription
1 Finite Element Exterior Calculus Douglas N. Arnold, University of Minnesota The 41st Woudschoten Conference 5 7 October 2016
2 The Hilbert complex framework Discretization of Hilbert complexes Finite element differential forms FEDF on cubical meshes New complexes from old
3 The Hilbert complex framework
4 Short closed Hilbert complex W 0 (d0,v 0 ) W 1 (d1,v 1 ) W 2 d i are closed, densely-defined w/ closed range, d 1 d 0 = 0 Null space & range: Z i := N (d i ), B i := R(d i 1 ), B 1 Z 1 Dual complex: W 0 (d 1,V 1 ) W 1 (d 2,V 2 ) W 2 Harmonic forms: Hodge decomposition: H = Z 1 Z 1 = (B1 ) Z 1 = B 1 /Z 1 (homology) Z {}}{ Z {}}{ W 1 = B 1 H B1 }{{}}{{} Z Z Poincaré inequality: u C P du, u V Z 3 / 40
5 Hodge Laplacian d 0 W 0 W 1 W 2 L = dd + d d : W 1 W 1, D(L) = {u V V du V, d u V} d 1 L = L, N (L) = R(L) = H Strong form: Given f W find u D(L) s.t. Lu = f (mod H), u H Primal weak form: Find u V V H s.t. d 1 d 2 du, dv + d u, d v = f, v, v V V H Mixed weak form: Find σ V 0, u V 1, p H s.t. σ, τ u, dτ = 0, τ V 0, dσ, v + du, dv + p, v = f, v, v V 1, u, q = 0, q H. 4 / 40
6 Well-posedness THEOREM Let W 0 d W 1 d W 2 be a closed H-complex. Then 1. f W 1! (σ, u, p) V 0 V 1 H solving the weak mixed form. 2. c depending only on the Poincaré constant for the complex s.t. σ V + u V + p c f 3. u D(L) and satisfies Lu = f (mod H), u H. (weak strong) To show: inf-sup cond n for σ, τ u, dτ + dσ, v + du, dv + p, v + u, q. So we need to bound σ V + u V + p by bounded choice of τ, v, q. Easy to bound σ, dσ, p, du, but... what about u? Hodge decomp of W 1 : u = u B + u H + u B. Easy to bound u H. To bound u B take τ V 0 Z with dτ = u B and use Poincaré s inequality in V 0. Finally u B C P du B = C P du by Poincaré s inequality in V 1. 5 / 40
7 Examples Ex 0. Ω R 3 0 L 2 (Ω) (grad,h1 ) L 2 (Ω) R 3 Mixed=Primal: Find u H 1, p R s.t. grad u, grad v = f p, v, v H 1, u = 0. std. Poisson Neumann bc 6 / 40
8 Examples Ex 0. Ω R 3 0 L 2 (Ω) (grad,h1 ) L 2 (Ω) R 3 Mixed=Primal: Find u H 1, p R s.t. grad u, grad v = f p, v, v H 1, Ex 0a. 0 L 2 (Ω) (grad, H 1 ) L 2 (Ω) R 3 u = 0. std. Poisson Neumann bc Find u H 1 s.t. grad u, grad v = f, v, v H 1. 6 / 40
9 Examples Ex 0. Ω R 3 0 L 2 (Ω) (grad,h1 ) L 2 (Ω) R 3 Mixed=Primal: Find u H 1, p R s.t. grad u, grad v = f p, v, v H 1, Ex 0a. 0 L 2 (Ω) (grad, H 1 ) L 2 (Ω) R 3 u = 0. std. Poisson Neumann bc Find u H 1 s.t. grad u, grad v = f, v, v H 1. Ex 3. Mixed: L 2 (Ω) R 3 (div,h(div)) L 2 (Ω) 0 Find σ H(div), u L 2 s.t. σ, τ u, div τ = 0, τ H(div), div σ, v = f, v, v L 2. mixed Poisson 6 / 40
10 The de Rham complex in 3D 0 L 2 grad,h 1 L 2 R 3 curl,h(curl) L 2 R 3 div,h(div) L / 40
11 The de Rham complex in 3D grad,h 1 0 L 2 L 2 R 3 L 2 R 3 L 2 0 div, H(div) curl,h(curl) curl, H(curl) div,h(div) grad, H 1 7 / 40
12 The de Rham complex in 3D grad,h 1 0 L 2 L 2 R 3 L 2 R 3 L 2 0 div, H(div) curl,h(curl) curl, H(curl) div,h(div) grad, H 1 Ex 1. dd + d d = grad div + curl curl Natural magnetic b.c.: u n = 0, curl u n = 0 σ = div u Ex 2. dd + d d = curl curl grad div Natural electric b.c.: u n = 0, div u = 0 σ = curl u The dimensions of the homology groups (harmonic forms) are the Betti numbers of Ω. 7 / 40
13 The Hodge wave equation Ü + (dd + d d)u = 0, U(0) = U 0, U(0) = U 1 Then σ := d U, ρ := du, u := U satisfy σ 0 d 0 σ u + d 0 d u = 0 ρ 0 d 0 ρ Find (σ, u, ρ) : [0, T] V 0 V 1 W 2 s.t. σ, τ u, dτ = 0, τ V 0, u, v + dσ, v + ρ, dv = 0, v V 1, ρ, η du, η = 0, η W 2. strong weak THEOREM Given initial data (σ 0, u 0, ρ 0 ) V 0 V 1 W 2,! solution (σ, u, ρ) C 0 ([0, T], V 0 V 1 W 2 ) C 1 ([0, T], W 0 W 1 W 2 ). Proof: Uniqueness: (τ, v, η) = (σ, u, ρ). Existence: Hille Yosida. 8 / 40
14 Example: Maxwell s equations Ḋ = curl H div D = 0 D = ɛe Ḃ = curl E div B = 0 B = µh W 0 = L 2 (Ω) W 1 = L 2 (Ω, R 3, ɛ dx) W 2 = L 2 (Ω, R 3, µ 1 dx) W 0 grad W 1 curl W 2 (σ, E, B) : [0, T] Ω R R 3 R 3 solves σ, τ ɛe, grad τ = 0 τ, ɛė, F + ɛ grad σ, F µ 1 B, curl F = 0 F, µ 1 Ḃ, C + µ 1 curl E, C = 0 C. THEOREM If σ, div ɛe, and div B vanish for t = 0, then they vanish for all t, and E, B, D = ɛe, and H = µ 1 B satisfy Maxwell s equations. 9 / 40
15 Simulation of radar scattering off building Stowell Fassenfass White, IEEE Trans. Ant. & Prop Solved time-dependent Maxwell equations using Q 1 Λ1 for E and Q 1 Λ2 for B (Nédélec elements of the first kind on bricks) 10,114,695,855 brick elements ( 1 cm resolution) 60, 000, 000, 000 unknowns 12, 000 time steps of 14 picoseconds concrete walls cinder block/rebar walls 10 / 40
16 Some other complexes sym grad curl T curl div 0 L 2 R 3 L 2 S 3 L 2 S 3 L 2 R 3 0 displacement strain stress load 0 L 2 R3 sym grad L 2 S 3 L 2 S 3 div L 2 R 3 0 primal method for elasticity mixed method for elasticity 11 / 40
17 Some other complexes sym grad curl T curl div 0 L 2 R 3 L 2 S 3 L 2 S 3 L 2 R 3 0 displacement strain stress load 0 L 2 R3 sym grad L 2 S 3 L 2 S 3 div L 2 R 3 0 primal method for elasticity mixed method for elasticity R 3 3 trace-free 0 L 2 grad grad L 2 S 3 curl L 2 div T L 2 R L2 grad grad L 2 S 3 primal method for plate equation L2 grad grad L 2 S 3 curl L 2 V Einstein Bianchi eqs (GR) 11 / 40
18 Discretization of Hilbert complexes
19 Discretization Choose finite dimensional spaces V 0 h V0, V 1 h V1. Of course they must have reasonable approximation: lim inf u v W = 0, u W. h 0 v V h Let d h = d Vh, Z h = N (d h ), B h = R(d h ), H h = Z h Bh Galerkin s method: Find (σ h, u h, p h ) Vh 0 V1 h Hh s.t. σ h, τ u h, dτ = 0, τ Vh 0, dσ h, v + du h, dv + p h, v = f, v, v Vh 1, u h, q = 0, q H h. When is this approximation stable, consistent, and convergent? 12 / 40
20 Assumptions on the discretization Besides approximation, there are two key requirements: Subcomplex assumption: d V k h Vk+1 h Bounded Cochain Projection assumption: V k π k h V k h d k V k+1 π k+1 h d k V k+1 h π k h : Vk V k h πh k is bounded, uniformly in h π k h preserves Vk h π k+1 h d k = d k πh k 13 / 40
21 Consequences of the assumptions The subcomplex property implies that Vh 0 V 1 h W 2 is itself an H-complex. So it has its own harmonic forms, Hodge decomposition, and Poincaré inequality. The Hodge Laplacian for the discrete complex is the Galerkin method for the original problem. THEOREM Given the approximation, subcomplex, and BCP assumptions: H = H h and gap ( H, H h ) 0. The Galerkin method is consistent. The discrete Poincaré inequality ω c dω, ω Zh k, holds with c independent of h. The Galerkin method is stable. The Galerkin method is convergent with the error estimate: σ σ h V + u u h V + p p h V c[ E(σ) + E(u) + E(p) + ɛ ] where ɛ E(P B u) sup E(r). r H k, r =1 d h d h 14 / 40
22 Finite element differential forms
23 Differential forms on a domain Ω R n Differential k-forms are functions Ω Alt k R n 0-forms: functions; 1-forms: covector fields; k-forms: ( n k ) components u = f σ dx σ := f σ1 σ k dx σ 1 dx σ k σ 1 σ 1 < <σ k n The wedge product of a k-form and an l-form is a (k + l)-form The exterior derivative du of a k-form is a (k + 1)-form A k-form can be integrated over a k-dimensional subset of Ω Given F : Ω Ω, a k-form on Ω can be pulled back to a k-form on Ω. The trace of a k-form on a submanifold is the pull back under inclusion. Stokes theorem: du = tr u, u Λ k 1 (Ω) Ω Ω The exterior derivative can be viewed as a closed, densely-defined op L 2 Λ k L 2 Λ k+1 with domain HΛ k (Ω) = { u L 2 Λ k du L 2 Λ k+1 }. If Ω has a Lipschitz boundary, it has closed range. 15 / 40
24 The L 2 de Rham complex and its discretization 0 L 2 Λ 0 d L 2 Λ 1 d d L 2 Λ n 0 Our goal is to define spaces V k h HΛk satisfying the approximation, subcomplex, and BCP assumptions. In the case k = 0, V k h H1 will just be the Lagrange elements. It turns out that for k > 0 there are two distinct generalizations. 16 / 40
25 The Lagrange finite element space P r Λ 0 (T h ) nothing new (but notation) Elements: A triangulation T h consisting of simplices T Shape functions: V(T) = P r Λ 0 (T) = P r (T), some r 1 Degrees of freedom (unisolvent): v 0 (T): u u(v) e 1 (T): u e (tr e u)q dt, q P r 2 (e) f 2 (T): u f (tr f u)q ds, q P r 3 (f ). u (tr f u) q, q P r d 1 Λ d (f ), f d (T), d 0 f The resulting finite element space belongs to HΛ 0 = H 1. In fact, it equals { u HΛ 0 (Ω) : u T V(T) T T h } 17 / 40
26 The P r Λ k (T h ) and P r Λ k (T h ) finite element spaces Elements: A triangulation T h consisting of simplices T to be defined Shape functions: V(T) = P r Λ k (T) or Pr Λ k (T), some r 1 Degrees of freedom for P r Λ k (unisolvent): u (tr f u) q, q P r d+k Λd k (f ), f d (T), d k f Degrees of freedom for Pr Λ k (unisolvent): u (tr f u) q, q P r d+k 1 Λ d k (f ), f d (T), d k f Hiptmair 99 The resulting finite element spaces belongs to HΛ k. In fact, they equal { u HΛ 0 (Ω) : u T V(T) T T h } 18 / 40
27 The Koszul differential κ is a simple algebraic operation take k-forms to k 1-forms. It takes polynomial forms to polynomial forms of 1 degree higher. κ(dx i ) = x i, κ(u v) = (κu) v + ( ) k u (κv) κ(f dx σ 1 dx σk ) = k i=1 ( )i f x σ i dx σ 1 dx σ i dx σk In R 3 : P r Λ 3 x P r+1 Λ 2 x P r+2 Λ 1 x P r+3 Λ 0 Two basic properties: κ is a differential: κ κ = 0 Homotopy property: (dκ + κd)u = (r + k)u, u H r Λ k e.g., curl( x v) + x (div v) = (deg v + 2) v Consequences: homog. deg. r The Koszul complex 0 H r Λ n κ H r+1 Λ n 1 κ is exact. H r Λ k = κ H r 1 Λ k+1 d H r+1 Λ k 1 κ H r+n Λ 0 0 Definition: P r Λ k = P r 1 Λ k + κh r 1 Λ k+1 19 / 40
28 Finite element discretizations of the de Rham complex P r 1 Λ k P r Λ k P r Λ k except P r Λ 0 = P r Λ 0, P r Λ n = P r 1 Λ n ) The DOFs given above for P r Λ k and P r Λ k are unisolvent. The DOFs define cochain projections for the complexes 0 P r Λ 0 (T h ) 0 P r Λ 0 (T h ) d P r 1 Λ 1 (T h ) d P r Λ 1 (T h ) d d d P r n Λ n (T h ) 0 d P r Λ n (T h ) 0 decreasing degree constant degree This leads to four stable discretizations of the mixed k-form Laplacian: P r Λ k 1 (T h ) P r 1 Λ k (T h ) P r Λ k 1 (T h ) P r Λ k (T h ) P r Λ k 1 (T h ) P r 1 Λ k (T h ) P r Λ k 1 (T h ) P r Λ k (T h ) 20 / 40
29 P r Λ k k = 0 k = 1 k = 2 k = 3 n = 1 r = 2 n = 2 r = 2 n = 3 r = 2
30 P r Λ k k = 0 k = 1 k = 2 k = 3 n = 1 r = 2 n = 2 r = 2 Lagrange n = 3 r = 2
31 P r Λ k k = 0 k = 1 k = 2 k = 3 n = 1 r = 2 n = 2 r = 2 Lagrange DG n = 3 r = 2
32 P r Λ k k = 0 k = 1 k = 2 k = 3 n = 1 r = 2 n = 2 r = 2 Lagrange Raviart- Thomas 75 DG n = 3 r = 2
33 P r Λ k k = 0 k = 1 k = 2 k = 3 n = 1 r = 2 n = 2 r = 2 Lagrange Raviart- Thomas 75 DG n = 3 r = 2 Nedelec face elts 80
34 P r Λ k k = 0 k = 1 k = 2 k = 3 n = 1 r = 2 n = 2 r = 2 Lagrange Raviart- Thomas 75 DG n = 3 r = 2 Nedelec edge elts 80 Nedelec face elts 80
35 P r Λ k k = 0 k = 1 k = 2 k = 3 n = 1 r = 2 Whitney 57 n = 2 r = 2 Lagrange Raviart- Thomas 75 DG n = 3 r = 2 Nedelec edge elts 80 Nedelec face elts 80
36 P r Λ k k = 0 k = 1 k = 2 k = 3 n = 1 r = 2 n = 2 r = 2 n = 3 r = 2
37 P r Λ k k = 0 k = 1 k = 2 k = 3 n = 1 r = 2 n = 2 r = 2 Lagrange n = 3 r = 2
38 P r Λ k k = 0 k = 1 k = 2 k = 3 n = 1 r = 2 n = 2 r = 2 Lagrange DG n = 3 r = 2
39 P r Λ k k = 0 k = 1 k = 2 k = 3 n = 1 r = 2 n = 2 r = 2 Lagrange BDM 85 DG n = 3 r = 2
40 P r Λ k k = 0 k = 1 k = 2 k = 3 n = 1 r = 2 n = 2 r = 2 Lagrange BDM 85 DG n = 3 r = 2 Nedelec face elts, 2nd kind 86
41 P r Λ k k = 0 k = 1 k = 2 k = 3 n = 1 r = 2 n = 2 r = 2 Lagrange BDM 85 DG n = 3 r = 2 Nedelec edge elts, 2nd kind 86 Nedelec face elts, 2nd kind 86
42 P r Λ k k = 0 k = 1 k = 2 k = 3 n = 1 r = 2 Sullivan 78 n = 2 r = 2 Lagrange BDM 85 DG n = 3 r = 2 Nedelec edge elts, 2nd kind 86 Nedelec face elts, 2nd kind 86
43 Finite element differential forms on cubical meshes
44 The tensor product construction DNA Boffi Bonizzoni 2012 Suppose we have a de Rham subcomplex V on an element S R m : V k d V k+1 V k HΛ k (S) and another, W, on another element T R n : W k d W k+1 The tensor-product construction produces a new complex V W, a subcomplex of the de Rham complex on S T. 23 / 40
45 The tensor product construction DNA Boffi Bonizzoni 2012 Suppose we have a de Rham subcomplex V on an element S R m : V k d V k+1 V k HΛ k (S) and another, W, on another element T R n : W k d W k+1 The tensor-product construction produces a new complex V W, a subcomplex of the de Rham complex on S T. Shape fns: DOFs: (V W) k = i+j=k (η ρ)(πs v π Tw) := η(v)ρ(w) π S Vi π T Wj (π S : S T S) 23 / 40
46 Finite element differential forms on cubes: the Q r Λ k family Start with the simple 1-D degree r finite element de Rham complex, V r : 0 P r Λ 0 (I) d P r 1 Λ 1 (I) 0 Take tensor product n times: u(x) u (x) dx Q r Λ 0 = Q r, Q r Λ 1 = Q r 1,r,r,... dx 1 + Q r,r 1,r,... dx 2 +, Q r Λ 2 = Q r 1,r 1,r,... dx 1 dx 2 +,... Q r Λ k (I n ) := (V r V r ) k Q 2 Λ0 Q 2 Λ1 Q 2 Λ2 constant degree 24 / 40
47 Qr Λk n=1 k=0 r=1 r=2 r=3 r=1 n=2 r=2 r=3 r=1 n=3 r=2 r=3 k=1 k=2 k=3
48 The 2nd family on cubes: 0-forms DNA Awanou 2011 The Q r Λ k family reduces to Q r when k = 0. For the second family, we get the serendipy space S r. 26 / 40
49 The 2nd family on cubes: 0-forms DNA Awanou 2011 The Q r Λ k family reduces to Q r when k = 0. For the second family, we get the serendipy space S r. 2-D shape fns: S r (I 2 ) = P r (I 2 ) span[x r 1 x 2, x 1 x r 2 ] DOFs: u f tr f u q, q P r 2d (f ), f d (I n ) 26 / 40
50 The 2nd family on cubes: 0-forms DNA Awanou 2011 The Q r Λ k family reduces to Q r when k = 0. For the second family, we get the serendipy space S r. 2-D shape fns: S r (I 2 ) = P r (I 2 ) span[x r 1 x 2, x 1 x r 2 ] DOFs: u f tr f u q, q P r 2d (f ), f d (I n ) n-d shape fns: S r (I n ) = P r (I n ) l 1 H r+l,l (I n ) H r,l (I n ) = span of monomials of degree r, linear in l variables 26 / 40
51 The 2nd family of finite element differential forms on cubes DNA Awanou 2012 The S r Λ k (I n ) family of FEDFs, uses the serendipity spaces for 0-forms, and serendipity-like DOFs. DOFs: u f tr f u q, q P r 2(d k) Λ d k (f ), f d (I n ), d k Shape fns: S r Λ k (I n ) = P r Λ k (I n ) [κh r+l 1,l Λ k+1 (I n ) dκh r+l,l Λ k (I n )] }{{} l 1 deg=r+l H r,l Λ k (I n ) = span of monomials x α i 1 xα n n dx σ1 dx σk, α = r, linear in l variables not counting the x σi Unisolvence holds for all n 1, r 1, 0 k n. 27 / 40
52 The 2nd cubic family in 2-D S 2 Λ 0 S 1 Λ 1 S 0 Λ 2 decreasing degree S 3 Λ 0 S 2 Λ 1 S 1 Λ 2 S r Λ k (I 2 ) k Q r Λ k (I 2 ) k / 40
53 The 3D shape functions in traditional FE language S r Λ 0 : polynomials u such that deg u r + ldeg u S r Λ 1 : (v 1, v 2, v 3 ) + (x 2 x 3 (w 2 w 3 ), x 3 x 1 (w 3 w 1 ), x 1 x 2 (w 1 w 2 )) + grad u, v i P r, w i P r 1 independent of x i, deg u r + ldeg u + 1 S r Λ 2 : (v 1, v 2, v 3 ) + curl(x 2 x 3 (w 2 w 3 ), x 3 x 1 (w 3 w 1 ), x 1 x 2 (w 1 w 2 )), v i, w i P r (I 3 ) with w i independent of x i S r Λ 3 : v P r 29 / 40
54 Dimensions and low order cases S r Λ k (I 3 ) k Qr Λ k (I 3 ) k S 1 Λ 1 (I 3 ) new element S 1 Λ 2 (I 3 ) corrected element 30 / 40
55 Approximation properties On cubes the Q r Λ k and S r Λ k spaces provide the expected order of approximation. Same is true on parallelotopes, but accuracy is lost by non-affine distortions, with greater loss, the greater the form degree k. The L 2 approximation rate of the space Q r = Q r Λ 0 is r + 1 on either affinely or multilinearly mapped elements. The rate for S r = S r Λ 0 is r + 1 on affinely mapped elements, but only max(2, r/n + 1) on multilinearly mapped elements. The rate for Q r Λ k, k > 0, is r on affinely mapped elements, r k + 1 on multilinearly mapped elements. The rate for P r Λ n = S r Λ n is r + 1 for affinely mapped elements, r/n n + 2 for multilinearly mapped. DNA-Boffi-Bonizzoni / 40
56 Sr Λk n=1 k=0 r=1 r=2 r=3 r=1 n=2 r=2 r=3 r=1 n=3 r=2 r=3 k=1 k=2 k=3
57
58 printed copies available upon request
59 New complexes from old
60 Elasticity with weak symmetry The mixed formulation of elasticity with weak symmetry is more amenable to discretization than the standard mixed formulation. Fraeijs de Veubeke 75 p = skw grad u, Aσ = grad u p Find σ L 2 (Ω) R n n, u L 2 (Ω) R n, p L 2 (Ω) R n n skw s.t. Aσ, τ + u, div τ + p, τ = 0, div σ, v = f, v, σ, q = 0, τ L 2 (Ω) R n n v L 2 (Ω) R n q L 2 (Ω) R n n skw This is exactly the mixed Hodge Laplacian for the complex: L 2 ( div, skw) A (Ω) Rn n [L 2 (Ω) R n ] [L 2 (Ω) R n n skw ] 0 34 / 40
61 Well-posedness L 2 ( div, skw) A (Ω) Rn n [L 2 (Ω) R n ] [L 2 (Ω) R n n skw ] 0 Well-posedness depends on the exactness of the complex. This can be shown by relating the complex to two de Rham complexes: S L 2 (Ω) R n R n n skw skw div L 2 (Ω) R n n skw 0 L 2 (Ω) R n n curl L 2 (Ω) R n n div L 2 (Ω) R n 0 Sτ = τ T tr(τ)i (invertible) 35 / 40
62 Well-posedness L 2 ( div, skw) A (Ω) Rn n [L 2 (Ω) R n ] [L 2 (Ω) R n n skw ] 0 Well-posedness depends on the exactness of the complex. This can be shown by relating the complex to two de Rham complexes: S L 2 (Ω) R n R n n skw skw div q L 2 (Ω) R n n skw 0 L 2 (Ω) R n n curl L 2 (Ω) R n n div L 2 (Ω) R n 0 v Sτ = τ T tr(τ)i (invertible) 35 / 40
63 Well-posedness L 2 ( div, skw) A (Ω) Rn n [L 2 (Ω) R n ] [L 2 (Ω) R n n skw ] 0 Well-posedness depends on the exactness of the complex. This can be shown by relating the complex to two de Rham complexes: S L 2 (Ω) R n R n n skw skw div q L 2 (Ω) R n n skw 0 L 2 (Ω) R n n curl L 2 (Ω) R n n div L 2 (Ω) R n 0 ρ v Sτ = τ T tr(τ)i (invertible) 35 / 40
64 Well-posedness L 2 ( div, skw) A (Ω) Rn n [L 2 (Ω) R n ] [L 2 (Ω) R n n skw ] 0 Well-posedness depends on the exactness of the complex. This can be shown by relating the complex to two de Rham complexes: S L 2 (Ω) R n R n n skw skw div q+ skw ρ L 2 (Ω) R n n skw 0 L 2 (Ω) R n n curl L 2 (Ω) R n n div L 2 (Ω) R n 0 ρ v Sτ = τ T tr(τ)i (invertible) 35 / 40
65 Well-posedness L 2 ( div, skw) A (Ω) Rn n [L 2 (Ω) R n ] [L 2 (Ω) R n n skw ] 0 Well-posedness depends on the exactness of the complex. This can be shown by relating the complex to two de Rham complexes: S ψ L 2 (Ω) R n R n n skw skw div q+ skw ρ L 2 (Ω) R n n skw 0 L 2 (Ω) R n n curl L 2 (Ω) R n n div L 2 (Ω) R n 0 ρ v Sτ = τ T tr(τ)i (invertible) 35 / 40
66 Well-posedness L 2 ( div, skw) A (Ω) Rn n [L 2 (Ω) R n ] [L 2 (Ω) R n n skw ] 0 Well-posedness depends on the exactness of the complex. This can be shown by relating the complex to two de Rham complexes: S ψ L 2 (Ω) R n R n n skw skw div q+ skw ρ L 2 (Ω) R n n skw 0 L 2 (Ω) R n n curl L 2 (Ω) R n n div L 2 (Ω) R n 0 φ ρ v Sτ = τ T tr(τ)i (invertible) 35 / 40
67 Well-posedness L 2 ( div, skw) A (Ω) Rn n [L 2 (Ω) R n ] [L 2 (Ω) R n n skw ] 0 Well-posedness depends on the exactness of the complex. This can be shown by relating the complex to two de Rham complexes: S ψ L 2 (Ω) R n R n n skw skw div q+ skw ρ L 2 (Ω) R n n skw 0 L 2 (Ω) R n n curl L 2 (Ω) R n n div L 2 (Ω) R n 0 φ curl φ+ ρ v Sτ = τ T tr(τ)i (invertible) 35 / 40
68 Discretization To discretize we select discrete de Rham subcomplexes with commuting projs Ṽ 0 h curl Ṽh 1 div Ṽh 2 0, V1 h div V 2 h 0 to get the discrete complex Ṽ 1 h Rn ( div, skw) (Ṽ 2 h Rn ) (V 2 h Rn n skw ) 0 We get stability if we can carry out the diagram chase on: π 1 h S curl V 1 h Rn n skw V 2 h Rn n skw 0 Ṽ 0 h Rn Ṽ 1 h Rn Ṽ 2 h Rn 0 div π 2 h skw div This requires that π 1 h S : Ṽ0 h Rn V 1 h Rn n skw is surjective. 36 / 40
69 Stable elements The requirement that πh 1S : Ṽ0 h Rn Vh 1 Rn n skw can be checked by looking at DOFs. The simplest choice is is surjective P r+1 Λ n 2 curl P r Λ n 1 div P r 1 Λ n 0, P r Λ n 1 div P r Λ n 0 which gives the elements of DNA Falk Winther 07 σ u p Other elements: Cockburn Gopalakrishnan Guzmán, Gopalakrishnan Guzmán, Stenberg, / 40
70 More complexes from complexes 0 V 1 d W 2 S D 0 Γ W 2 0 Ṽ 1 d W 2 where Γ = {(v, τ) V 1 Ṽ 1 dv = Sτ }, D(v, τ) = dτ. 0 Vh 1 d Vh 2 πh 2S D 0 Γ h W 2 0 Ṽh 1 d W 2 where Γ h = {(v, τ) Vh 1 Ṽ1 h dv = π2 hsτ }. Find u h V 1 h, σ h Ṽ 1 h, λ h V 2 h s.t. dσ h, dτ + λ h, dv π h Sτ = f, v, v V 1 h, τ Ṽ1 h, du h π h Sσ h, µ = 0, µ V 2 h. 38 / 40
71 FEEC discretization of the biharmonic grad 0 H 1 (Ω) L 2 (Ω; R n ) I 0 H 1 (Ω; R n ) grad L 2 C (Ω; Rn n ) grad 0 P r Λ 0 P r Λ 1 π h 0 P r+1 Λ 0 R n grad L 2 C (Ω; Rn n ) Find u h P r Λ 0, σ h P r+1 Λ 0, λ h P r Λ 1 s.t. C grad σ h, grad τ + λ h, grad v π h τ = f, v, v P r Λ 0, τ P r+1 Λ 0, grad u h π h σ h, µ = 0, µ P r Λ 1. u σ λ 39 / 40
72 References DNA, Falk, Winther, Finite element exterior calculus, homological techniques, and applications. Acta Numerica 2006, p DNA, Falk, Winther, Finite element exterior calculus: from Hodge theory to numerical stability. AMS Bulletin 2010, p everything at arnold/publications.html 40 / 40
Finite Element Exterior Calculus and Applications Part V
Finite Element Exterior Calculus and Applications Part V Douglas N. Arnold, University of Minnesota Peking University/BICMR August 15 18, 2015 De Rham complex 0 H 1 (Ω) grad H(curl, Ω) curl H(div, Ω) div
More informationIntroduction to finite element exterior calculus
Introduction to finite element exterior calculus Ragnar Winther CMA, University of Oslo Norway Why finite element exterior calculus? Recall the de Rham complex on the form: R H 1 (Ω) grad H(curl, Ω) curl
More informationOutline. 1 Motivating examples. 2 Hilbert complexes and their discretization. 3 Finite element differential forms. 4 The elasticity complex 1 / 25
Outline 1 Motivating examples Hoge theory, Hilbert complexes, an finite element ifferential forms Douglas N. Arnol 2 Hilbert complexes an their iscretization 3 Finite element ifferential forms 4 The elasticity
More informationMotivations. Outline. Finite element exterior calculus and the geometrical basis of numerical stability. References. Douglas N.
Outline Finite element exterior calculus and the geometrical basis of numerical stability Douglas N. Arnold joint with R. Falk and R. Winther School of Mathematics University of Minnesota April 009 Motivations
More informationFinite element exterior calculus: A new approach to the stability of finite elements
Finite element exterior calculus: A new approach to the stability of finite elements Douglas N. Arnold joint with R. Falk and R. Winther Institute for Mathematics and its Applications University of Minnesota
More informationFinite element exterior calculus
Finite element exterior calculus Douglas N. Arnold School of Mathematics, University of Minnesota NSF/CBMS Conference, ICERM, June 11 15, 2012 collaborators: R. Falk, R. Winther, G. Awanou, F. Bonizzoni,
More informationA primer on Numerical methods for elasticity
A primer on Numerical methods for elasticity Douglas N. Arnold, University of Minnesota Complex materials: Mathematical models and numerical methods Oslo, June 10 12, 2015 One has to resort to the indignity
More informationSpaces of Finite Element Differential Forms
Spaces of Finite Element Differential Forms Douglas N. Arnold Abstract We discuss the construction of finite element spaces of differential forms which satisfy the crucial assumptions of the finite element
More informationMixed Finite Element Methods. Douglas N. Arnold, University of Minnesota The 41st Woudschoten Conference 5 October 2016
Mixed Finite Element Methods Douglas N. Arnold, University of Minnesota The 41st Woudschoten Conference 5 October 2016 Linear elasticity Given the load f : Ω R n, find the displacement u : Ω R n and the
More informationAn abstract Hodge Dirac operator and its stable discretization
An abstract Hodge Dirac operator and its stable discretization Paul Leopardi Mathematical Sciences Institute, Australian National University. For presentation at ICCA, Tartu,. Joint work with Ari Stern,
More informationSmoothed projections in finite element exterior calculus
Smooted projections in finite element exterior calculus Ragnar Winter CMA, University of Oslo Norway based on joint work wit: Douglas N. Arnold, Minnesota, Ricard S. Falk, Rutgers, and Snorre H. Cristiansen,
More informationPublished in Computer Methods in Applied Mechanics and Engineering 198 (2009)
Published in Computer Methods in Applied Mechanics and Engineering 198 (2009) 1660 1672 GEOMETRIC DECOMPOSITIONS AND LOCAL BASES FOR SPACES OF FINITE ELEMENT DIFFERENTIAL FORMS DOUGLAS N. ARNOLD, RICHARD
More informationA posteriori error estimates in FEEC for the de Rham complex
A posteriori error estimates in FEEC for the de Rham complex Alan Demlow Texas A&M University joint work with Anil Hirani University of Illinois Urbana-Champaign Partially supported by NSF DMS-1016094
More informationA POSTERIORI ERROR ESTIMATES FOR FINITE ELEMENT EXTERIOR CALCULUS: THE DE RHAM COMPLEX
A POSTERIORI ERROR ESTIMATES FOR FINITE ELEMENT EXTERIOR CALCULUS: THE DE RHAM COMPLEX ALAN DEMLOW 1 AND ANIL N. HIRANI 2 Abstract. Finite element exterior calculus (FEEC) has been developed over the past
More informationAposteriorierrorestimatesinFEEC for the de Rham complex
AposteriorierrorestimatesinFEEC for the de Rham complex Alan Demlow Texas A&M University joint work with Anil Hirani University of Illinois Urbana-Champaign Partially supported by NSF DMS-1016094 and a
More informationNew Model Stability Criteria for Mixed Finite Elements
New Model Stability Criteria for Mixed Finite Elements Andrew Gillette Department of Mathematics Institute of Computational Engineering and Sciences University of Texas at Austin http://www.math.utexas.edu/users/agillette
More informationDivergence-free or curl-free finite elements for solving the curl-div system
Divergence-free or curl-free finite elements for solving the curl-div system Alberto Valli Dipartimento di Matematica, Università di Trento, Italy Joint papers with: Ana Alonso Rodríguez Dipartimento di
More informationFinite Element Methods for Linear Elasticity
Finite Element Metods for Linear Elasticity Ricard S. Falk Department of Matematics - Hill Center Rutgers, Te State University of New Jersey 110 Frelinguysen Rd., Piscataway, NJ 08854-8019 falk@mat.rutgers.edu
More informationMaxwell s equations in Carnot groups
Maxwell s equations in Carnot groups B. Franchi (U. Bologna) INDAM Meeting on Geometric Control and sub-riemannian Geometry Cortona, May 21-25, 2012 in honor of Andrey Agrachev s 60th birthday Researches
More informationA SECOND ELASTICITY ELEMENT USING THE MATRIX BUBBLE WITH TIGHTENED STRESS SYMMETRY
A SECOND ELASTICITY ELEMENT USING THE MATRIX BUBBLE WITH TIGHTENED STRESS SYMMETRY J. GOPALAKRISHNAN AND J. GUZMÁN Abstract. We presented a family of finite elements that use a polynomial space augmented
More informationMIXED FINITE ELEMENT APPROXIMATION OF THE VECTOR LAPLACIAN WITH DIRICHLET BOUNDARY CONDITIONS
MIXED FINITE ELEMENT APPROXIMATION OF THE VECTOR LAPLACIAN WITH DIRICHLET BOUNDARY CONDITIONS DOUGLAS N. ARNOLD, RICHARD S. FALK, AND JAY GOPALAKRISHNAN Abstract. We consider the finite element solution
More informationH(div) and H(curl)-conforming Virtual Element Methods
Noname manuscript No. (will be inserted by the editor) H(div) and H(curl)-conforming Virtual Element Methods L. Beirão da Veiga F. Brezzi L. D. Marini A. Russo the date of receipt and acceptance should
More informationMixed Finite Elements Method
Mixed Finite Elements Method A. Ratnani 34, E. Sonnendrücker 34 3 Max-Planck Institut für Plasmaphysik, Garching, Germany 4 Technische Universität München, Garching, Germany Contents Introduction 2. Notations.....................................
More informationFinite Element Methods for Maxwell Equations
CHAPTER 8 Finite Element Methods for Maxwell Equations The Maxwell equations comprise four first-order partial differential equations linking the fundamental electromagnetic quantities, the electric field
More informationSolving the curl-div system using divergence-free or curl-free finite elements
Solving the curl-div system using divergence-free or curl-free finite elements Alberto Valli Dipartimento di Matematica, Università di Trento, Italy or: Why I say to my students that divergence-free finite
More informationA Generalization for Stable Mixed Finite Elements
A Generalization for Stable Mixed Finite Elements Andrew Gillette joint work with Chandrajit Bajaj Department of Mathematics Institute of Computational Engineering and Sciences University of Texas at Austin,
More informationGeometric Decomposition of Serendipity Finite Element Spaces
Geometric Decomposition of Serendipity Finite Element Spaces Andrew Gillette Department of Mathematics University of California, San Diego http://ccom.ucsd.edu/ agillette/ Joint Mathematics Meetings 2013
More informationA Mixed Nonconforming Finite Element for Linear Elasticity
A Mixed Nonconforming Finite Element for Linear Elasticity Zhiqiang Cai, 1 Xiu Ye 2 1 Department of Mathematics, Purdue University, West Lafayette, Indiana 47907-1395 2 Department of Mathematics and Statistics,
More informationA Second Elasticity Element Using the Matrix Bubble
Portland State University PDXScholar Mathematics and Statistics Faculty Publications and Presentations Fariborz Maseeh Department of Mathematics and Statistics 2011 A Second Elasticity Element Using the
More informationSerendipity Finite Element Methods for Cardiac Electrophysiology Models
Serendipity Finite Element Methods for Cardiac Electrophysiology Models Andrew Gillette Department of Mathematics University of California, San Diego http://ccom.ucsd.edu/ agillette/ Andrew Gillette -
More informationMath 225B: Differential Geometry, Final
Math 225B: Differential Geometry, Final Ian Coley March 5, 204 Problem Spring 20,. Show that if X is a smooth vector field on a (smooth) manifold of dimension n and if X p is nonzero for some point of
More informationFinite Element Clifford Algebra: A New Toolkit for Evolution Problems
Finite Element Clifford Algebra: A New Toolkit for Evolution Problems Andrew Gillette joint work with Michael Holst Department of Mathematics University of California, San Diego http://ccom.ucsd.edu/ agillette/
More informationNumerische Mathematik
Numer. Math. (2015) 129:1 20 DOI 10.1007/s00211-014-0631-3 Numerische Mathematik Finite element differential forms on curvilinear cubic meshes and their approximation properties Douglas N. Arnold Daniele
More informationDISCRETE EXTENSION OPERATORS FOR MIXED FINITE ELEMENT SPACES ON LOCALLY REFINED MESHES
DISCRETE EXTENSION OPERATORS FOR MIXED FINITE ELEMENT SPACES ON LOCALLY REFINED MESHES MAR AINSWORTH, JOHNNY GUZMÁN, AND FRANCISCO JAVIER SAYAS Abstract. The existence of uniformly bounded discrete extension
More informationQUADRILATERAL H(DIV) FINITE ELEMENTS
QUADRILATERAL H(DIV) FINITE ELEMENTS DOUGLAS N. ARNOLD, DANIELE BOFFI, AND RICHARD S. FALK Abstract. We consider the approximation properties of quadrilateral finite element spaces of vector fields defined
More informationarxiv: v2 [math.na] 8 Sep 2015
OMPLEXES OF DISRETE DISTRIBUTIONAL DIFFERENTIAL FORMS AND THEIR HOMOLOGY THEORY MARTIN WERNER LIHT arxiv:1410.6354v2 [math.na] 8 Sep 2015 Abstract. omplexes of discrete distributional differential forms
More informationApproximation of fluid-structure interaction problems with Lagrange multiplier
Approximation of fluid-structure interaction problems with Lagrange multiplier Daniele Boffi Dipartimento di Matematica F. Casorati, Università di Pavia http://www-dimat.unipv.it/boffi May 30, 2016 Outline
More informationNumerical approximation of output functionals for Maxwell equations
Numerical approximation of output functionals for Maxwell equations Ferenc Izsák ELTE, Budapest University of Twente, Enschede 11 September 2004 MAXWELL EQUATIONS Assumption: electric field ( electromagnetic
More informationFrom point cloud data to the continuum model of geometry
From point cloud data to the continuum model of geometry J. Harrison University of California, Berkeley July 22, 2007 Continuum model of geometry By the continuum model of geometry we refer to smooth manifolds
More informationNONCONFORMING MIXED ELEMENTS FOR ELASTICITY
Mathematical Models and Methods in Applied Sciences Vol. 13, No. 3 (2003) 295 307 c World Scientific Publishing Company NONCONFORMING MIXED ELEMENTS FOR ELASTICITY DOUGLAS N. ARNOLD Institute for Mathematics
More informationIs a dual mesh really necessary?
Is a dual mesh really necessary? Paul Leopardi Mathematical Sciences Institute, Australian National University. For presentation at ICIAM, Vancouver, 2011. Joint work with Ari Stern, UCSD. 19 July 2011
More informationb i (x) u + c(x)u = f in Ω,
SIAM J. NUMER. ANAL. Vol. 39, No. 6, pp. 1938 1953 c 2002 Society for Industrial and Applied Mathematics SUBOPTIMAL AND OPTIMAL CONVERGENCE IN MIXED FINITE ELEMENT METHODS ALAN DEMLOW Abstract. An elliptic
More informationMixed finite elements for elasticity on quadrilateral meshes
Adv Comput Math (2015) 41:553 572 DOI 10.1007/s10444-014-9376-x Mixed finite elements for elasticity on quadrilateral meshes Douglas N. Arnold Gerard Awanou Weifeng Qiu Received: 28 June 2013 / Accepted:
More informationMIXED FINITE ELEMENTS FOR PLATES. Ricardo G. Durán Universidad de Buenos Aires
MIXED FINITE ELEMENTS FOR PLATES Ricardo G. Durán Universidad de Buenos Aires - Necessity of 2D models. - Reissner-Mindlin Equations. - Finite Element Approximations. - Locking. - Mixed interpolation or
More informationModeling, Structure and Discretization of Mixed-dimensional Partial Differential Equations
Modeling, Structure and Discretization of Mixed-dimensional Partial Differential Equations J. M. Nordbotten and W. M. Boon Department of Mathematics University of Bergen Norway Abstract Mixed-dimensional
More informationMultigrid Methods for Maxwell s Equations
Multigrid Methods for Maxwell s Equations Jintao Cui Institute for Mathematics and Its Applications University of Minnesota Outline Nonconforming Finite Element Methods for a Two Dimensional Curl-Curl
More informationMIXED FINITE ELEMENT METHODS FOR PROBLEMS WITH ROBIN BOUNDARY CONDITIONS
MIXED FINITE ELEMENT METHODS FOR PROBLEMS WITH ROBIN BOUNDARY CONDITIONS JUHO KÖNNÖ, DOMINIK SCHÖTZAU, AND ROLF STENBERG Abstract. We derive new a-priori and a-posteriori error estimates for mixed nite
More informationSpline Element Method for Partial Differential Equations
for Partial Differential Equations Department of Mathematical Sciences Northern Illinois University 2009 Multivariate Splines Summer School, Summer 2009 Outline 1 Why multivariate splines for PDEs? Motivation
More informationA new approach for Kirchhoff-Love plates and shells
A new approach for Kirchhoff-Love plates and shells Walter Zulehner Institute of Computational Mathematics JKU Linz, Austria AANMPDE 10 October 2-6, 2017, Paleochora, Crete, Greece Walter Zulehner (JKU
More informationDivergence-conforming multigrid methods for incompressible flow problems
Divergence-conforming multigrid methods for incompressible flow problems Guido Kanschat IWR, Universität Heidelberg Prague-Heidelberg-Workshop April 28th, 2015 G. Kanschat (IWR, Uni HD) Hdiv-DG Práha,
More informationSurvey on exterior algebra and differential forms
Survey on exterior algebra and differential forms Daniel Grieser 16. Mai 2013 Inhaltsverzeichnis 1 Exterior algebra for a vector space 1 1.1 Alternating forms, wedge and interior product.....................
More informationSome New Elements for the Reissner Mindlin Plate Model
Boundary Value Problems for Partial Differential Equations and Applications, J.-L. Lions and C. Baiocchi, eds., Masson, 1993, pp. 287 292. Some New Elements for the Reissner Mindlin Plate Model Douglas
More informationA MULTIGRID METHOD FOR THE PSEUDOSTRESS FORMULATION OF STOKES PROBLEMS
SIAM J. SCI. COMPUT. Vol. 29, No. 5, pp. 2078 2095 c 2007 Society for Industrial and Applied Mathematics A MULTIGRID METHOD FOR THE PSEUDOSTRESS FORMULATION OF STOKES PROBLEMS ZHIQIANG CAI AND YANQIU WANG
More informationHEXAHEDRAL H(DIV) AND H(CURL) FINITE ELEMENTS
HEXAHEDRAL H(DIV) AND H(CURL) FINITE ELEMENTS RICHARD S. FAL, PAOLO GATTO, AND PETER MON Abstract. We study the approximation properties of some finite element subspaces of H(div; Ω) and H(curl ; Ω) defined
More informationLECTURE # 0 BASIC NOTATIONS AND CONCEPTS IN THE THEORY OF PARTIAL DIFFERENTIAL EQUATIONS (PDES)
LECTURE # 0 BASIC NOTATIONS AND CONCEPTS IN THE THEORY OF PARTIAL DIFFERENTIAL EQUATIONS (PDES) RAYTCHO LAZAROV 1 Notations and Basic Functional Spaces Scalar function in R d, d 1 will be denoted by u,
More informationSymmetric Matrix Fields in the Finite Element Method
Symmetry 2010, 2, 1375-1389; doi:10.3390/sym2031375 OPEN ACCESS symmetry ISSN 2073-8994 www.mdpi.com/journal/symmetry Review Symmetric Matrix Fields in the Finite Element Method Gerard Awanou Northern
More informationStability, Consistency, and Convergence: A 21st Century Viewpoint. Convergence, consistency, and stability of discretizations
Stability, Consistency, and Convergence: A 1st Century Viepoint Douglas N. Arnold Scool of Matematics, University of Minnesota Society for Industrial and Applied Matematics Feng Kang Distinguised Lecture
More informationKey words. Incompressible magnetohydrodynamics, mixed finite element methods, discontinuous Galerkin methods
A MIXED DG METHOD FOR LINEARIZED INCOMPRESSIBLE MAGNETOHYDRODYNAMICS PAUL HOUSTON, DOMINIK SCHÖTZAU, AND XIAOXI WEI Journal of Scientific Computing, vol. 40, pp. 8 34, 009 Abstract. We introduce and analyze
More informationInequalities of Babuška-Aziz and Friedrichs-Velte for differential forms
Inequalities of Babuška-Aziz and Friedrichs-Velte for differential forms Martin Costabel Abstract. For sufficiently smooth bounded plane domains, the equivalence between the inequalities of Babuška Aziz
More informationDiscontinuous Petrov-Galerkin Methods
Discontinuous Petrov-Galerkin Methods Friederike Hellwig 1st CENTRAL School on Analysis and Numerics for Partial Differential Equations, November 12, 2015 Motivation discontinuous Petrov-Galerkin (dpg)
More informationModel Reduction via Discretization : Elasticity and Boltzmann
Model Reduction via Discretization : Elasticity and Boltzmann Joachim Schöberl Computational Mathematics in Engineering Institute for Analysis and Scientific Computing Vienna University of Technology IMA
More informationSolutions of M3-4A16 Assessed Problems # 3 [#1] Exercises in exterior calculus operations
D. D. Holm Solutions to M3-4A16 Assessed Problems # 3 15 Dec 2010 1 Solutions of M3-4A16 Assessed Problems # 3 [#1] Exercises in exterior calculus operations Vector notation for differential basis elements:
More informationTHE L 2 -HODGE THEORY AND REPRESENTATION ON R n
THE L 2 -HODGE THEORY AND REPRESENTATION ON R n BAISHENG YAN Abstract. We present an elementary L 2 -Hodge theory on whole R n based on the minimization principle of the calculus of variations and some
More informationA local-structure-preserving local discontinuous Galerkin method for the Laplace equation
A local-structure-preserving local discontinuous Galerkin method for the Laplace equation Fengyan Li 1 and Chi-Wang Shu 2 Abstract In this paper, we present a local-structure-preserving local discontinuous
More informationENERGY NORM A POSTERIORI ERROR ESTIMATES FOR MIXED FINITE ELEMENT METHODS
ENERGY NORM A POSTERIORI ERROR ESTIMATES FOR MIXED FINITE ELEMENT METHODS CARLO LOVADINA AND ROLF STENBERG Abstract The paper deals with the a-posteriori error analysis of mixed finite element methods
More informationAn introduction to Isogeometric Analysis
An introduction to Isogeometric Analysis A. Buffa 1, G. Sangalli 1,2, R. Vázquez 1 1 Istituto di Matematica Applicata e Tecnologie Informatiche - Pavia Consiglio Nazionale delle Ricerche 2 Dipartimento
More informationA Locking-Free MHM Method for Elasticity
Trabalho apresentado no CNMAC, Gramado - RS, 2016. Proceeding Series of the Brazilian Society of Computational and Applied Mathematics A Locking-Free MHM Method for Elasticity Weslley S. Pereira 1 Frédéric
More informationLecture Note III: Least-Squares Method
Lecture Note III: Least-Squares Method Zhiqiang Cai October 4, 004 In this chapter, we shall present least-squares methods for second-order scalar partial differential equations, elastic equations of solids,
More informationNedelec elements for computational electromagnetics
Nedelec elements for computational electromagnetics Per Jacobsson, June 5, 2007 Maxwell s equations E = jωµh () H = jωεe + J (2) (εe) = ρ (3) (µh) = 0 (4) J = jωρ (5) Only three of the equations are needed,
More informationFINITE ENERGY SOLUTIONS OF MIXED 3D DIV-CURL SYSTEMS
FINITE ENERGY SOLUTIONS OF MIXED 3D DIV-CURL SYSTEMS GILES AUCHMUTY AND JAMES C. ALEXANDER Abstract. This paper describes the existence and representation of certain finite energy (L 2 -) solutions of
More informationA posteriori error estimates for Maxwell Equations
www.oeaw.ac.at A posteriori error estimates for Maxwell Equations J. Schöberl RICAM-Report 2005-10 www.ricam.oeaw.ac.at A POSTERIORI ERROR ESTIMATES FOR MAXWELL EQUATIONS JOACHIM SCHÖBERL Abstract. Maxwell
More informationFinite element exterior calculus framework for geophysical fluid dynamics
Finite element exterior calculus framework for geophysical fluid dynamics Colin Cotter Department of Aeronautics Imperial College London Part of ongoing work on UK Gung-Ho Dynamical Core Project funded
More informationHybrid Discontinuous Galerkin Methods for Fluid Dynamics and Solid Mechanics
Hybrid Discontinuous Galerkin Methods for Fluid Dynamics and Solid Mechanics Joachim Schöberl Computational Mathematics in Engineering Institute for Analysis and Scientific Computing Vienna University
More informationMORTAR MULTISCALE FINITE ELEMENT METHODS FOR STOKES-DARCY FLOWS
MORTAR MULTISCALE FINITE ELEMENT METHODS FOR STOKES-DARCY FLOWS VIVETTE GIRAULT, DANAIL VASSILEV, AND IVAN YOTOV Abstract. We investigate mortar multiscale numerical methods for coupled Stokes and Darcy
More informationBasic Principles of Weak Galerkin Finite Element Methods for PDEs
Basic Principles of Weak Galerkin Finite Element Methods for PDEs Junping Wang Computational Mathematics Division of Mathematical Sciences National Science Foundation Arlington, VA 22230 Polytopal Element
More informationNonstandard finite element de Rham complexes on cubical meshes arxiv: v1 [math.na] 12 Apr 2018
Nonstandard inite element de Rham complexes on cubical meshes arxiv:184.439v1 [math.na] 12 Apr 218 Andrew Gillette aibo Hu Shuo Zhang Abstract We propose two general operations on inite element dierential
More informationAnalysis and Applications of Polygonal and Serendipity Finite Element Methods
Analysis and Applications of Polygonal and Serendipity Finite Element Methods Andrew Gillette Department of Mathematics University of California, San Diego http://ccom.ucsd.edu/ agillette/ Andrew Gillette
More informationc 2016 Society for Industrial and Applied Mathematics
SIAM J. NUMER. ANAL. Vol. 54, No. 6, pp. 3332 3356 c 2016 Society for Industrial and Applied Mathematics TWO FAMILIES OF H(div) MIXED FINITE ELEMENTS ON QUADRILATERALS OF MINIMAL DIMENSION TODD ARBOGAST
More informationNumerische Mathematik
Numer. Math. (2012) 122:61 99 DOI 10.1007/s00211-012-0456-x Numerische Mathematik C 0 elements for generalized indefinite Maxwell equations Huoyuan Duan Ping Lin Roger C. E. Tan Received: 31 July 2010
More informationETNA Kent State University
Electronic Transactions on Numerical Analysis. Volume 11, pp. 1-24, 2000. Copyright 2000,. ISSN 1068-9613. ETNA NEUMANN NEUMANN METHODS FOR VECTOR FIELD PROBLEMS ANDREA TOSELLI Abstract. In this paper,
More informationNitsche-type Mortaring for Maxwell s Equations
Nitsche-type Mortaring for Maxwell s Equations Joachim Schöberl Karl Hollaus, Daniel Feldengut Computational Mathematics in Engineering at the Institute for Analysis and Scientific Computing Vienna University
More informationWeak Galerkin Finite Element Scheme and Its Applications
Weak Galerkin Finite Element Scheme and Its Applications Ran Zhang Department of Mathematics Jilin University, China IMS, Singapore February 6, 2015 Talk Outline Motivation WG FEMs: Weak Operators + Stabilizer
More informationDouble Complexes and Local Cochain Projections
Double Complexes and Local Cochain Projections Richard S. Falk, 1 Ragnar Winther 2 1 Department o Mathematics, Rutgers University, Piscataway, New Jersey 08854 2 Centre o Mathematics or Applications and
More informationHigh Order Differential Form-Based Elements for the Computation of Electromagnetic Field
1472 IEEE TRANSACTIONS ON MAGNETICS, VOL 36, NO 4, JULY 2000 High Order Differential Form-Based Elements for the Computation of Electromagnetic Field Z Ren, Senior Member, IEEE, and N Ida, Senior Member,
More informationA DECOMPOSITION RESULT FOR BIHARMONIC PROBLEMS AND THE HELLAN-HERRMANN-JOHNSON METHOD
Electronic ransactions on Numerical Analysis. Volume 45, pp. 257 282, 2016. Copyright c 2016,. ISSN 1068 9613. ENA A DECOMPOSIION RESUL FOR BIHARMONIC PROBLEMS AND HE HELLAN-HERRMANN-JOHNSON MEHOD WOLFGANG
More informationUnified A Posteriori Error Control for all Nonstandard Finite Elements 1
Unified A Posteriori Error Control for all Nonstandard Finite Elements 1 Martin Eigel C. Carstensen, C. Löbhard, R.H.W. Hoppe Humboldt-Universität zu Berlin 19.05.2010 1 we know of Guidelines for Applicants
More informationEXISTENCE AND REGULARITY OF SOLUTIONS FOR STOKES SYSTEMS WITH NON-SMOOTH BOUNDARY DATA IN A POLYHEDRON
Electronic Journal of Differential Equations, Vol. 2017 (2017), No. 147, pp. 1 10. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE AND REGULARITY OF SOLUTIONS FOR
More informationAn Equal-order DG Method for the Incompressible Navier-Stokes Equations
An Equal-order DG Method for the Incompressible Navier-Stokes Equations Bernardo Cockburn Guido anschat Dominik Schötzau Journal of Scientific Computing, vol. 40, pp. 188 10, 009 Abstract We introduce
More informationFoundations of finite element methods for wave equations of Maxwell type
Dept. of Math./CMA Univ. of Oslo Pure Mathematics No 5 ISSN 0806 2439 February 2009 Foundations of finite element methods for wave equations of Maxwell type Snorre H. Christiansen Abstract The first part
More informationWEAK GALERKIN FINITE ELEMENT METHODS ON POLYTOPAL MESHES
INERNAIONAL JOURNAL OF NUMERICAL ANALYSIS AND MODELING Volume 12, Number 1, Pages 31 53 c 2015 Institute for Scientific Computing and Information WEAK GALERKIN FINIE ELEMEN MEHODS ON POLYOPAL MESHES LIN
More informationarxiv:physics/ v2 [physics.comp-ph] 14 Nov 2005
Geometric Finite Element Discretization of Maxwell Equations in Primal and Dual Spaces arxiv:physics/0503013v2 [physics.comp-ph] 14 Nov 2005 Bo He and F. L. Teixeira ElectroScience Laboratory and Department
More informationSome Elliptic and Subelliptic Complexes from Geometry
Geometric and Nonlinear Partial Differential Equations, Xi An Jiaotong University p. 1/14 Some Elliptic and Subelliptic Complexes from Geometry Michael Eastwood [ based on joint work with Robert Bryant,
More informationA Concise Course on Stochastic Partial Differential Equations
A Concise Course on Stochastic Partial Differential Equations Michael Röckner Reference: C. Prevot, M. Röckner: Springer LN in Math. 1905, Berlin (2007) And see the references therein for the original
More informationTime domain boundary elements for dynamic contact problems
Time domain boundary elements for dynamic contact problems Heiko Gimperlein (joint with F. Meyer 3, C. Özdemir 4, D. Stark, E. P. Stephan 4 ) : Heriot Watt University, Edinburgh, UK 2: Universität Paderborn,
More informationA PROJECTION-BASED ERROR ANALYSIS OF HDG METHODS BERNARDO COCKBURN, JAYADEEP GOPALAKRISHNAN, AND FRANCISCO-JAVIER SAYAS
A PROJECTION-BASED ERROR ANALYSIS OF HDG METHODS BERNARDO COCBURN, JAYADEEP GOPALARISHNAN, AND FRANCISCO-JAVIER SAYAS Abstract. We introduce a new technique for the error analysis of hybridizable discontinuous
More informationA note on discontinuous Galerkin divergence-free solutions of the Navier-Stokes equations
A note on discontinuous Galerkin divergence-free solutions of the Navier-Stokes equations Bernardo Cockburn Guido anschat Dominik Schötzau June 1, 2007 Journal of Scientific Computing, Vol. 31, 2007, pp.
More informationPOLYNOMIAL APPROXIMATIONS OF REGULAR AND SINGULAR VECTOR FIELDS WITH APPLICATIONS TO PROBLEMS OF ELECTROMAGNETICS
POLYNOMIAL APPROXIMATIONS OF REGULAR AND SINGULAR VECTOR FIELDS WITH APPLICATIONS TO PROBLEMS OF ELECTROMAGNETICS Alex Besalov School of Mathematics The University of Manchester Collaborators: Norbert
More informationNew DPG techniques for designing numerical schemes
New DPG techniques for designing numerical schemes Jay Gopalakrishnan University of Florida Collaborator: Leszek Demkowicz October 2009 Massachusetts Institute of Technology, Boston Thanks: NSF Jay Gopalakrishnan
More informationTranscendental L 2 -Betti numbers Atiyah s question
Transcendental L 2 -Betti numbers Atiyah s question Thomas Schick Göttingen OA Chennai 2010 Thomas Schick (Göttingen) Transcendental L 2 -Betti numbers Atiyah s question OA Chennai 2010 1 / 24 Analytic
More informationMIXED FINITE ELEMENT METHODS FOR LINEAR VISCOELASTICITY USING WEAK SYMMETRY
MIXED FINITE ELEMENT METHODS FOR LINEAR VISCOELASTICITY USING WEAK SYMMETRY MARIE E. ROGNES AND RAGNAR WINTHER Abstract. Small deformations of a viscoelastic body are considered through the linear Maxwell
More information