extended finite element methods: a brief introduction
TRANSCRIPT
![Page 1: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/1.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
Extended finite element methods:a brief introduction
Janos Karatson
Dept. Appl. Anal. & Numnet Research Group; ELTE Univ.& Dept. Anal., Technical Univ.; Budapest, Hungary
November 22, 2018
J. Karatson Budapest, Hungary
Extended FEMs
![Page 2: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/2.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
Outline of the talk
Preliminaries
The classical FEMWhy and how to extend it?
Extended (or generalized) FEMs:
XFEM (”extended finite element method”)VEM (”virtual element method”)CutFEMTraceFEM
J. Karatson Budapest, Hungary
Extended FEMs
![Page 3: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/3.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The classical finite element method (FEM)
Model problem: linear elliptic BVP in weak form. Find u ∈ H:
a(u, v) = `v (∀v ∈ H).
FEM: for a given finite element subspace Vh ⊂ H, find uh ∈ Vh:
a(uh, vh) = `vh (∀vh ∈ Vh).
We seek uh =∑n
j=1 cjϕj where ϕ1, . . . , ϕn is a basis in Vh.
Typical properties of Vh and ϕ1, . . . , ϕn:
J. Karatson Budapest, Hungary
Extended FEMs
![Page 4: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/4.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The classical finite element method (FEM)
Model problem: linear elliptic BVP in weak form. Find u ∈ H:
a(u, v) = `v (∀v ∈ H).
FEM: for a given finite element subspace Vh ⊂ H, find uh ∈ Vh:
a(uh, vh) = `vh (∀vh ∈ Vh).
We seek uh =∑n
j=1 cjϕj where ϕ1, . . . , ϕn is a basis in Vh.
Typical properties of Vh and ϕ1, . . . , ϕn:
J. Karatson Budapest, Hungary
Extended FEMs
![Page 5: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/5.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The classical FEM
Typical properties:
The degrees of freedom (e.g. nodal values) come from aconforming (fitted) mesh:
Ω =M⋃s=1
Ts
(or Ω ≈ Ωh =M⋃s=1
Ts)
T1, . . . ,TM are triangles/tetrahedra or rectangles/bricks
uh ∈ C (Ω) such that all ϕi |Tsare polynomials
J. Karatson Budapest, Hungary
Extended FEMs
![Page 6: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/6.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The classical FEM
Convergence:
|u − uh|1 ≤ chk |u|k+1 i.e. O(hk)
where |u|k := |u|Hk := ‖Dku‖L2(Ω).
Conditions: u ∈ Hk+1(Ω), polynomials Pk , regular mesh.
The simplest case (k = 1): |u − uh|1 ≤ ch|u|2.
J. Karatson Budapest, Hungary
Extended FEMs
![Page 7: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/7.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The classical FEM
Convergence:
|u − uh|1 ≤ chk |u|k+1 i.e. O(hk)
where |u|k := |u|Hk := ‖Dku‖L2(Ω).
Conditions: u ∈ Hk+1(Ω), polynomials Pk , regular mesh.
The simplest case (k = 1): |u − uh|1 ≤ ch|u|2.
J. Karatson Budapest, Hungary
Extended FEMs
![Page 8: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/8.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The classical FEM
Why and how to extend it?
Considered in this talk: extensions motivated by specialdifficulties to overcome in the physical/enginering problems
Not considered in this talk: extensions to simplifyimplementation, such as
”partition of unity” (PUFEM) → meshfree methodsdiscontinuous Galerkin methods (DG)
J. Karatson Budapest, Hungary
Extended FEMs
![Page 9: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/9.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The classical FEM
Why and how to extend it?
Considered in this talk: extensions motivated by specialdifficulties to overcome in the physical/enginering problems
Not considered in this talk: extensions to simplifyimplementation, such as
”partition of unity” (PUFEM) → meshfree methodsdiscontinuous Galerkin methods (DG)
J. Karatson Budapest, Hungary
Extended FEMs
![Page 10: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/10.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The ”extended finite element method” (XFEM)
Motivation: problematic parts for the FEM solution, e.g.
1 discontinuities (e.g. at fractures, cracks)
2 singularities (e.g. at corners)
3 boundary layers (e.g. convection equations)
Traditional ways to handle these:
local refinement of the mesh,
stabilization (modified bilinear form), ...
J. Karatson Budapest, Hungary
Extended FEMs
![Page 11: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/11.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The ”extended finite element method” (XFEM)
Motivation: problematic parts for the FEM solution, e.g.
1 discontinuities (e.g. at fractures, cracks)
2 singularities (e.g. at corners)
3 boundary layers (e.g. convection equations)
Traditional ways to handle these:
local refinement of the mesh,
stabilization (modified bilinear form), ...
J. Karatson Budapest, Hungary
Extended FEMs
![Page 12: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/12.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The ”extended finite element method” (XFEM)
Basic idea of the XFEM:
enrichment of the basis,
i.e. including additional (non-polynomial) basis functions, adjustedto the problem.
(XFEM sometimes called: ”enriched FEM”)
→ uh =n∑
i=1ciϕi +
n0∑i=1
diψi︸ ︷︷ ︸a few terms,
supported in the region of interest
→ no need to refine the mesh locally
J. Karatson Budapest, Hungary
Extended FEMs
![Page 13: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/13.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The ”extended finite element method” (XFEM)
Basic idea of the XFEM:
enrichment of the basis,
i.e. including additional (non-polynomial) basis functions, adjustedto the problem.
(XFEM sometimes called: ”enriched FEM”)
→ uh =n∑
i=1ciϕi +
n0∑i=1
diψi︸ ︷︷ ︸a few terms,
supported in the region of interest
→ no need to refine the mesh locally
J. Karatson Budapest, Hungary
Extended FEMs
![Page 14: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/14.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The ”extended finite element method” (XFEM)
Basic idea of the XFEM:
enrichment of the basis,
i.e. including additional (non-polynomial) basis functions, adjustedto the problem.
(XFEM sometimes called: ”enriched FEM”)
→ uh =n∑
i=1ciϕi +
n0∑i=1
diψi︸ ︷︷ ︸a few terms,
supported in the region of interest
→ no need to refine the mesh locally
J. Karatson Budapest, Hungary
Extended FEMs
![Page 15: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/15.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The ”extended finite element method” (XFEM)
Basic idea of the XFEM:
enrichment of the basis,
i.e. including additional (non-polynomial) basis functions, adjustedto the problem.
(XFEM sometimes called: ”enriched FEM”)
→ uh =n∑
i=1ciϕi +
n0∑i=1
diψi︸ ︷︷ ︸a few terms,
supported in the region of interest
→ no need to refine the mesh locally
J. Karatson Budapest, Hungary
Extended FEMs
![Page 16: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/16.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The ”extended finite element method” (XFEM)
Basic idea of the XFEM:
enrichment of the basis,
i.e. including additional (non-polynomial) basis functions, adjustedto the problem.
(XFEM sometimes called: ”enriched FEM”)
→ uh =n∑
i=1ciϕi +
n0∑i=1
diψi︸ ︷︷ ︸a few terms,
supported in the region of interest
→ no need to refine the mesh locally
J. Karatson Budapest, Hungary
Extended FEMs
![Page 17: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/17.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The ”extended finite element method” (XFEM)
Some examples of such new shape functions:
J. Karatson Budapest, Hungary
Extended FEMs
![Page 18: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/18.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The ”extended finite element method” (XFEM)
A ”kink shape function”
[Inst. Comput. Mech., TU Munich]
J. Karatson Budapest, Hungary
Extended FEMs
![Page 19: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/19.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The ”extended finite element method” (XFEM)
”Jump shape functions”
[Inst. Comput. Mech., TU Munich] [A. Legay, IJNME (2015)]
J. Karatson Budapest, Hungary
Extended FEMs
![Page 20: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/20.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The ”extended finite element method” (XFEM)
-1
-0.5
0
0.5
1
0
-1
0.2
0.4
0.6
0.8
1
-0.5
0
0.5
1
A ”corner function”: rβ sin(βθ) for some 0 < β < 1 [Cai, SINUM (2001)]
Around cracks:√r sin(θ/2),
√r sin(θ/2) sin θ etc. [Loehnert et al (2014)]
J. Karatson Budapest, Hungary
Extended FEMs
![Page 21: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/21.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The ”extended finite element method” (XFEM)
Enrichment functions in a boundary layer [T-P. Fries et al., WCCM (2008)]
in an 1D model, ψi (x) ≈ eni x−1eni−1
J. Karatson Budapest, Hungary
Extended FEMs
![Page 22: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/22.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The ”extended finite element method” (XFEM)
A ”wall function” (turbulent flow near a wall/boundary) [Tominaga (2000)]
Exponential formula [Krank et al., Comp Fluids (2018)]
J. Karatson Budapest, Hungary
Extended FEMs
![Page 23: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/23.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The ”extended finite element method” (XFEM)
Typical new basis functions: from the standard ones,ψi := φi · u0
Advantages of the XFEM:
1 no need to refine in the problematic subdomain
2 represents well the solution (but behaviour must be known)
J. Karatson Budapest, Hungary
Extended FEMs
![Page 24: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/24.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The ”extended finite element method” (XFEM)
Typical new basis functions: from the standard ones,ψi := φi · u0
Advantages of the XFEM:
1 no need to refine in the problematic subdomain
2 represents well the solution (but behaviour must be known)
J. Karatson Budapest, Hungary
Extended FEMs
![Page 25: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/25.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The ”extended finite element method” (XFEM)
Convergence:
1 Original idea (already in [Strang-Fix]):
if u = ureg + using , we may only approximate ureg .
(If even uh = uregh + using , then u − uh = ureg − uregh !)
2 A typical theorem: for linear elements for the Poisson orelasticity problem, using Heaviside and corner functions,
|u − uh|1 ≤ ch |ureg |2 .
[Nicaise et al., Int J Numer Meth Engrg 2011]
J. Karatson Budapest, Hungary
Extended FEMs
![Page 26: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/26.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The ”extended finite element method” (XFEM)
Convergence:
1 Original idea (already in [Strang-Fix]):
if u = ureg + using , we may only approximate ureg .
(If even uh = uregh + using , then u − uh = ureg − uregh !)
2 A typical theorem: for linear elements for the Poisson orelasticity problem, using Heaviside and corner functions,
|u − uh|1 ≤ ch |ureg |2 .
[Nicaise et al., Int J Numer Meth Engrg 2011]
J. Karatson Budapest, Hungary
Extended FEMs
![Page 27: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/27.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The ”extended finite element method” (XFEM)
Convergence:
1 Original idea (already in [Strang-Fix]):
if u = ureg + using , we may only approximate ureg .
(If even uh = uregh + using , then u − uh = ureg − uregh !)
2 A typical theorem: for linear elements for the Poisson orelasticity problem, using Heaviside and corner functions,
|u − uh|1 ≤ ch |ureg |2 .
[Nicaise et al., Int J Numer Meth Engrg 2011]
J. Karatson Budapest, Hungary
Extended FEMs
![Page 28: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/28.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The ”extended finite element method” (XFEM)
Some important papers:
Chessa, Jack; Smolinski, Patrick; Belytschko, Ted, The extended finiteelement method (XFEM) for solidification problems, Internat. J. Numer.Methods Engrg. 53 (2002), no. 8, 1959-1977.
Chahine, Elie; Laborde, Patrick; Renard, Yves A quasi-optimalconvergence result for fracture mechanics with XFEM. C. R. Math.Acad. Sci. Paris 342 (2006), no. 7, 527-532.
Fries, Thomas-Peter; Belytschko, Ted, The extended/generalized finiteelement method: an overview of the method and its applications,Internat. J. Numer. Methods Engrg. 84 (2010), no. 3, 253-304.
Nicaise, Serge; Renard, Yves; Chahine, Elie, Optimal convergenceanalysis for the extended finite element method. Internat. J. Numer.Methods Engrg. 86 (2011), no. 4-5, 528-548.
J. Karatson Budapest, Hungary
Extended FEMs
![Page 29: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/29.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The virtual element method (VEM)
Basic idea: usepolygonal elements
instead of only triangular/rectangular ones in 2D(and similarly, use polyhedral elements in 3D)
1 Various versions and names:Voronoi cell FEM, Polygonal FEM,...
Related FDM: the Mimetic FDM
2 A general framework: VEM [B. da Veiga et al. (2013)]
J. Karatson Budapest, Hungary
Extended FEMs
![Page 30: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/30.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The virtual element method (VEM)
Basic idea: usepolygonal elements
instead of only triangular/rectangular ones in 2D(and similarly, use polyhedral elements in 3D)
1 Various versions and names:Voronoi cell FEM, Polygonal FEM,...
Related FDM: the Mimetic FDM
2 A general framework: VEM [B. da Veiga et al. (2013)]
J. Karatson Budapest, Hungary
Extended FEMs
![Page 31: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/31.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The virtual element method (VEM)
Motivation for allowing polygonal/polyhedral elements:
1 useful flexibility for generating meshes,e.g. Voronoi cells for heterogeneous materials
2 no problems with hanging nodes
J. Karatson Budapest, Hungary
Extended FEMs
![Page 32: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/32.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The virtual element method (VEM)
A polygonal mesh A polyhedral meshwith Voronoi cells [UC Davis]
J. Karatson Budapest, Hungary
Extended FEMs
![Page 33: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/33.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The virtual element method (VEM)
No problem with a hanging node: quadrangle → pentagon
J. Karatson Budapest, Hungary
Extended FEMs
![Page 34: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/34.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The virtual element method (VEM)
No problem with a hanging node: quadrangle → pentagon
J. Karatson Budapest, Hungary
Extended FEMs
![Page 35: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/35.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The virtual element method (VEM)
Construction: implicitly. E.g., for the Poisson equation:
In an element T :
1 for k = 1: v|e is linear (∀ edge e), ∆v = 0 in T
2 for k ≥ 2: v|e ∈ Pk (∀ edge e), ∆v ∈ Pk−2 in T(in 3D: also on the faces)
”Virtual” element = we don’t use v in T explicitly
J. Karatson Budapest, Hungary
Extended FEMs
![Page 36: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/36.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The virtual element method (VEM)
Construction: implicitly. E.g., for the Poisson equation:
In an element T :
1 for k = 1: v|e is linear (∀ edge e), ∆v = 0 in T
2 for k ≥ 2: v|e ∈ Pk (∀ edge e), ∆v ∈ Pk−2 in T(in 3D: also on the faces)
”Virtual” element = we don’t use v in T explicitly
J. Karatson Budapest, Hungary
Extended FEMs
![Page 37: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/37.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The virtual element method (VEM)
Construction: implicitly. E.g., for the Poisson equation:
In an element T :
1 for k = 1: v|e is linear (∀ edge e), ∆v = 0 in T
2 for k ≥ 2: v|e ∈ Pk (∀ edge e), ∆v ∈ Pk−2 in T(in 3D: also on the faces)
”Virtual” element = we don’t use v in T explicitly
J. Karatson Budapest, Hungary
Extended FEMs
![Page 38: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/38.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The virtual element method (VEM)
Construction: degrees of freedom:
1 values of v at the vertices(and, for k ≥ 2, at k − 1 points on the edges)
2 for k ≥ 2: interior moments∫T xαv for all xα ∈ Pk−2
J. Karatson Budapest, Hungary
Extended FEMs
![Page 39: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/39.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The virtual element method (VEM)
Construction: degrees of freedom:
1 values of v at the vertices(and, for k ≥ 2, at k − 1 points on the edges)
2 for k ≥ 2: interior moments∫T xαv for all xα ∈ Pk−2
k = 1 k = 2 k = 3
[da Veiga, 2014]
J. Karatson Budapest, Hungary
Extended FEMs
![Page 40: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/40.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The virtual element method (VEM)
Construction: how to form the stiffness matrix?
1 For polynomials p ∈ Pk−2:∫T∇p · ∇v = −
∫T
∆p v︸ ︷︷ ︸known from
moments
+
∫∂T∂νp v︸ ︷︷ ︸
known fromedge DOFs
2 For any virtual functions u, v : additional terms involvingRhu := u − Πhu, where Πhu ∈ Pk is a projection.
E.g. for k = 1 : letting ϕi = pi + ri (where pi := Πhϕi ),
a(ϕi , ϕj) =∫T
∇pi · ∇pj+mT∑=1
ri (x`)rj(x`)
J. Karatson Budapest, Hungary
Extended FEMs
![Page 41: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/41.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The virtual element method (VEM)
Construction: how to form the stiffness matrix?
1 For polynomials p ∈ Pk−2:∫T∇p · ∇v = −
∫T
∆p v︸ ︷︷ ︸known from
moments
+
∫∂T∂νp v︸ ︷︷ ︸
known fromedge DOFs
2 For any virtual functions u, v : additional terms involvingRhu := u − Πhu, where Πhu ∈ Pk is a projection.
E.g. for k = 1 : letting ϕi = pi + ri (where pi := Πhϕi ),
a(ϕi , ϕj) =∫T
∇pi · ∇pj+mT∑=1
ri (x`)rj(x`)
J. Karatson Budapest, Hungary
Extended FEMs
![Page 42: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/42.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The virtual element method (VEM)
Convergence: as for the standard FEM, for kth order elements,
|u − uh|1 ≤ chk |u|k+1 if u ∈ Hk+1(Ω).
Some important papers:
B. da Veiga, L., Brezzi, F., Cangiani, A., Manzini, G., Marini, L.D.,Russo, A., Basic principles of Virtual Element Methods, Math. ModelsMethods Appl. Sci. 23 (2013), 199–214.
B. da Veiga, L., Brezzi, F., Marini, L. D., Russo, A., The hitchhiker’sguide to the virtual element method, Math. Models Methods Appl. Sci.24 (2014), no. 8, 1541-1573.
Sutton, O., The virtual element method in 50 lines of MATLAB, Numer.Algorithms 75 (2017), no. 4, 1141-1159.
J. Karatson Budapest, Hungary
Extended FEMs
![Page 43: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/43.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The virtual element method (VEM)
Convergence: as for the standard FEM, for kth order elements,
|u − uh|1 ≤ chk |u|k+1 if u ∈ Hk+1(Ω).
Some important papers:
B. da Veiga, L., Brezzi, F., Cangiani, A., Manzini, G., Marini, L.D.,Russo, A., Basic principles of Virtual Element Methods, Math. ModelsMethods Appl. Sci. 23 (2013), 199–214.
B. da Veiga, L., Brezzi, F., Marini, L. D., Russo, A., The hitchhiker’sguide to the virtual element method, Math. Models Methods Appl. Sci.24 (2014), no. 8, 1541-1573.
Sutton, O., The virtual element method in 50 lines of MATLAB, Numer.Algorithms 75 (2017), no. 4, 1141-1159.
J. Karatson Budapest, Hungary
Extended FEMs
![Page 44: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/44.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
Motivation:
The standard FEM adjusts the mesh to the domain, i.e. usesboundary-fitted meshes.
This may be complicated in many situations:
1 complex geometry
2 evolving geometry: moving domains,maybe even with topological changes
3 several BVPs(e.g. looking for an optimally located object)
J. Karatson Budapest, Hungary
Extended FEMs
![Page 45: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/45.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
Main idea of CutFEM:
1 boundary-unfitted mesh: create a mesh for a larger (usuallyfixed and simpler) domain Ω∗ containing Ω
2 ”cut” shape functions: define shape functions first on Ω∗ andthen restrict them to Ω
On figures:
J. Karatson Budapest, Hungary
Extended FEMs
![Page 46: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/46.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
Main idea of CutFEM:
1 boundary-unfitted mesh: create a mesh for a larger (usuallyfixed and simpler) domain Ω∗ containing Ω
2 ”cut” shape functions: define shape functions first on Ω∗ andthen restrict them to Ω
On figures:
J. Karatson Budapest, Hungary
Extended FEMs
![Page 47: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/47.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
A standard FEM mesh (boundary-fitted): [Ins. Comp. Mech., TU Munich]
J. Karatson Budapest, Hungary
Extended FEMs
![Page 48: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/48.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
A CutFEM mesh (boundary-unfitted): [Ins. Comp. Mech., TU Munich]
J. Karatson Budapest, Hungary
Extended FEMs
![Page 49: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/49.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
A CutFEM shape function:
[Inst. Comput. Mech., TU Munich]
J. Karatson Budapest, Hungary
Extended FEMs
![Page 50: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/50.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
Construction. How to work with ”cut” functions?
Some typical issues:
1 level set method to describe the geometry
2 weak Dirichlet b.c. (Nitsche’s approach)
3 stabilization: ghost penalty
J. Karatson Budapest, Hungary
Extended FEMs
![Page 51: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/51.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
1. The level set method to describe the geometry
→ computer geometry (CAD)[Burman et al., IJNME (2014)]
J. Karatson Budapest, Hungary
Extended FEMs
![Page 52: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/52.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
2. Weak Dirichlet boundary conditions (Nitsche’s approach)
Problem: how to enforce Dirichlet b.c. with ”cut” functions?
Example: consider a Poisson equation−∆u = f
u|∂Ω = g .
J. Karatson Budapest, Hungary
Extended FEMs
![Page 53: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/53.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
2. Weak Dirichlet boundary conditions (Nitsche’s approach)
Problem: how to enforce Dirichlet b.c. with ”cut” functions?
Example: consider a Poisson equation−∆u = f
u|∂Ω = g .
J. Karatson Budapest, Hungary
Extended FEMs
![Page 54: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/54.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
Consistent weak form for v ∈ H1(Ω∗):∫Ω∇u·∇v−
∫∂Ω∂νu v−
∫∂Ωu ∂νv +
∫∂Ω
γ
huv =
∫Ωfv−
∫∂Ωg ∂νv +
∫∂Ω
γ
hgv
Using u|∂Ω = g :
(where γ, h > 0 are parameters)
J. Karatson Budapest, Hungary
Extended FEMs
![Page 55: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/55.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
Consistent weak form for v ∈ H1(Ω∗):∫Ω∇u·∇v−
∫∂Ω∂νu v−
∫∂Ωu ∂νv +
∫∂Ω
γ
huv =
∫Ωfv−
∫∂Ωg ∂νv +
∫∂Ω
γ
hgv
Using u|∂Ω = g :
(where γ, h > 0 are parameters)
J. Karatson Budapest, Hungary
Extended FEMs
![Page 56: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/56.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
Consistent weak form for v ∈ H1(Ω∗):∫Ω∇u·∇v−
∫∂Ω∂νu v−
∫∂Ωu ∂νv+
∫∂Ω
γ
huv =
∫Ωfv−
∫∂Ωg ∂νv+
∫∂Ω
γ
hgv
Using u|∂Ω = g :
(where γ, h > 0 are parameters)
J. Karatson Budapest, Hungary
Extended FEMs
![Page 57: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/57.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
Consistent weak form for v ∈ H1(Ω∗):∫Ω∇u·∇v−
∫∂Ω∂νu v−
∫∂Ωu ∂νv+
∫∂Ω
γ
huv =
∫Ωfv−
∫∂Ωg ∂νv+
∫∂Ω
γ
hgv
Using u|∂Ω = g :
(where γ, h > 0 are parameters)
J. Karatson Budapest, Hungary
Extended FEMs
![Page 58: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/58.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
Consistent weak form for v ∈ H1(Ω∗):∫Ω∇u · ∇v −
∫∂Ω∂νu v −
∫∂Ωu ∂νv +
∫∂Ω
γ
huv︸ ︷︷ ︸
a(u, v)
=
∫Ωfv −
∫∂Ωg ∂νv +
∫∂Ω
γ
hgv︸ ︷︷ ︸
`v
FEM problem: a(uh, vh) = `vh (∀vh ∈ Vh).
Role of the two new terms for a(uh, vh):
symmetrystability (coercivity)
J. Karatson Budapest, Hungary
Extended FEMs
![Page 59: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/59.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
Consistent weak form for v ∈ H1(Ω∗):∫Ω∇u · ∇v −
∫∂Ω∂νu v −
∫∂Ωu ∂νv +
∫∂Ω
γ
huv︸ ︷︷ ︸
a(u, v)
=
∫Ωfv −
∫∂Ωg ∂νv +
∫∂Ω
γ
hgv︸ ︷︷ ︸
`v
FEM problem: a(uh, vh) = `vh (∀vh ∈ Vh).
Role of the two new terms for a(uh, vh):
symmetrystability (coercivity)
J. Karatson Budapest, Hungary
Extended FEMs
![Page 60: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/60.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
Consistent weak form for v ∈ H1(Ω∗):∫Ω∇u · ∇v −
∫∂Ω∂νu v −
∫∂Ωu ∂νv +
∫∂Ω
γ
huv︸ ︷︷ ︸
a(u, v)
=
∫Ωfv −
∫∂Ωg ∂νv +
∫∂Ω
γ
hgv︸ ︷︷ ︸
`v
FEM problem: a(uh, vh) = `vh (∀vh ∈ Vh).
Role of the two new terms for a(uh, vh):
symmetrystability (coercivity)
J. Karatson Budapest, Hungary
Extended FEMs
![Page 61: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/61.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
Proof of coercivity: [P. Hansbo, GAMM-Mitt. (2005)]:
a(uh, uh) =
∫Ω|∇uh|2 − 2
∫∂Ω∂νuh uh +
∫∂Ω
γ
hu2h
≥ −2‖h1/2 ∂νuh‖L2(∂Ω)‖h−1/2 uh‖L2(∂Ω) γ‖h−1/2 uh‖2L2(∂Ω)
≥ −1
ε‖h1/2 ∂νuh‖2
L2(∂Ω) − ε‖h−1/2 uh‖2
L2(∂Ω)
J. Karatson Budapest, Hungary
Extended FEMs
![Page 62: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/62.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
Proof of coercivity:
a(uh, uh) =
∫Ω|∇uh|2 − 2
∫∂Ω∂νuh uh +
∫∂Ω
γ
hu2h︸ ︷︷ ︸
≥ −2‖h1/2 ∂νuh‖L2(∂Ω)‖h−1/2 uh‖L2(∂Ω) γ‖h−1/2 uh‖2L2(∂Ω)
≥ −1
ε‖h1/2 ∂νuh‖2
L2(∂Ω) − ε‖h−1/2 uh‖2
L2(∂Ω)
J. Karatson Budapest, Hungary
Extended FEMs
![Page 63: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/63.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
Proof of coercivity:
a(uh, uh) =
∫Ω|∇uh|2 − 2
∫∂Ω∂νuh uh︸ ︷︷ ︸+
∫∂Ω
γ
hu2h︸ ︷︷ ︸
≥ −2‖h1/2 ∂νuh‖L2(∂Ω)‖h−1/2 uh‖L2(∂Ω) γ‖h−1/2 uh‖2L2(∂Ω)
≥ −1
ε‖h1/2 ∂νuh‖2
L2(∂Ω) − ε‖h−1/2 uh‖2
L2(∂Ω)
J. Karatson Budapest, Hungary
Extended FEMs
![Page 64: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/64.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
Proof of coercivity:
a(uh, uh) =
∫Ω|∇uh|2 − 2
∫∂Ω∂νuh uh︸ ︷︷ ︸+
∫∂Ω
γ
hu2h︸ ︷︷ ︸
≥ −2‖h1/2 ∂νuh‖L2(∂Ω)‖h−1/2 uh‖L2(∂Ω) γ‖h−1/2 uh‖2L2(∂Ω)
≥ −1
ε‖h1/2 ∂νuh‖2
L2(∂Ω) − ε‖h−1/2 uh‖2
L2(∂Ω)
J. Karatson Budapest, Hungary
Extended FEMs
![Page 65: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/65.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
Proof of coercivity:
a(uh, uh) =
∫Ω|∇uh|2 − 2
∫∂Ω∂νuh uh︸ ︷︷ ︸+
∫∂Ω
γ
hu2h︸ ︷︷ ︸
≥ −2‖h1/2 ∂νuh‖L2(∂Ω)‖h−1/2 uh‖L2(∂Ω) γ‖h−1/2 uh‖2L2(∂Ω)
≥ −1
ε‖h1/2 ∂νuh‖2
L2(∂Ω) −ε ‖h−1/2 uh‖2
L2(∂Ω)
J. Karatson Budapest, Hungary
Extended FEMs
![Page 66: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/66.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
a(uh, uh) ≥∫
Ω|∇uh|2−
1
ε‖h1/2 ∂νuh‖2
L2(∂Ω)+(γ − ε)‖h−1/2 uh‖2L2(∂Ω)
Inverse inequality: ‖h1/2 ∂νuh‖2L2(∂Ω) ≤ CI‖∇uh‖2
L2(Ω)
⇒ a(uh, uh) ≥(1− CI
ε
)‖∇uh‖2
L2(Ω) + (γ − ε)‖h−1/2 uh‖2L2(∂Ω)
Choose γ > ε > CI :
J. Karatson Budapest, Hungary
Extended FEMs
![Page 67: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/67.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
a(uh, uh) ≥∫
Ω|∇uh|2 −
1
ε‖h1/2 ∂νuh‖2
L2(∂Ω)︸ ︷︷ ︸≥ ?
+(γ−ε)‖h−1/2 uh‖2L2(∂Ω)
Inverse inequality: ‖h1/2 ∂νuh‖2L2(∂Ω) ≤ CI‖∇uh‖2
L2(Ω)
⇒ a(uh, uh) ≥(1− CI
ε
)‖∇uh‖2
L2(Ω) + (γ − ε)‖h−1/2 uh‖2L2(∂Ω)
Choose γ > ε > CI :
J. Karatson Budapest, Hungary
Extended FEMs
![Page 68: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/68.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
a(uh, uh) ≥∫
Ω|∇uh|2 −
1
ε‖h1/2 ∂νuh‖2
L2(∂Ω)︸ ︷︷ ︸≥ ?
+(γ−ε)‖h−1/2 uh‖2L2(∂Ω)
Inverse inequality: ‖h1/2 ∂νuh‖2L2(∂Ω) ≤ CI‖∇uh‖2
L2(Ω)
⇒ a(uh, uh) ≥(1− CI
ε
)‖∇uh‖2
L2(Ω) + (γ − ε)‖h−1/2 uh‖2L2(∂Ω)
Choose γ > ε > CI :
J. Karatson Budapest, Hungary
Extended FEMs
![Page 69: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/69.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
a(uh, uh) ≥∫
Ω|∇uh|2 −
1
ε‖h1/2 ∂νuh‖2
L2(∂Ω)︸ ︷︷ ︸≥ ?
+(γ−ε)‖h−1/2 uh‖2L2(∂Ω)
Inverse inequality: ‖h1/2 ∂νuh‖2L2(∂Ω) ≤ CI‖∇uh‖2
L2(Ω)
⇒ a(uh, uh) ≥(1− CI
ε
)‖∇uh‖2
L2(Ω) + (γ − ε)‖h−1/2 uh‖2L2(∂Ω)
Choose γ > ε > CI :
J. Karatson Budapest, Hungary
Extended FEMs
![Page 70: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/70.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
a(uh, uh) ≥∫
Ω|∇uh|2 −
1
ε‖h1/2 ∂νuh‖2
L2(∂Ω)︸ ︷︷ ︸≥ ?
+(γ−ε)‖h−1/2 uh‖2L2(∂Ω)
Inverse inequality: ‖h1/2 ∂νuh‖2L2(∂Ω) ≤ CI‖∇uh‖2
L2(Ω)
⇒ a(uh, uh) ≥(1− CI
ε
)‖∇uh‖2
L2(Ω) + (γ − ε)‖h−1/2 uh‖2L2(∂Ω)
Choose γ > ε > CI :
J. Karatson Budapest, Hungary
Extended FEMs
![Page 71: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/71.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
a(uh, uh) ≥∫
Ω|∇uh|2 −
1
ε‖h1/2 ∂νuh‖2
L2(∂Ω)︸ ︷︷ ︸≥ ?
+(γ−ε)‖h−1/2 uh‖2L2(∂Ω)
Inverse inequality: ‖h1/2 ∂νuh‖2L2(∂Ω) ≤ CI‖∇uh‖2
L2(Ω)
⇒ a(uh, uh) ≥(1− CI
ε
)︸ ︷︷ ︸> 0
‖∇uh‖2L2(Ω) + (γ − ε)︸ ︷︷ ︸
> 0
‖h−1/2 uh‖2L2(∂Ω)
Choose γ > ε > CI :
J. Karatson Budapest, Hungary
Extended FEMs
![Page 72: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/72.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
a(uh, uh) ≥∫
Ω|∇uh|2 −
1
ε‖h1/2 ∂νuh‖2
L2(∂Ω)︸ ︷︷ ︸≥ ?
+(γ−ε)‖h−1/2 uh‖2L2(∂Ω)
Inverse inequality: ‖h1/2 ∂νuh‖2L2(∂Ω) ≤ CI‖∇uh‖2
L2(Ω)
⇒ a(uh, uh) ≥(1− CI
ε
)︸ ︷︷ ︸> 0
‖∇uh‖2L2(Ω) + (γ − ε)︸ ︷︷ ︸
> 0
‖h−1/2 uh‖2L2(∂Ω)
Choose γ > ε > CI :
J. Karatson Budapest, Hungary
Extended FEMs
![Page 73: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/73.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
Remarks:
Similar to a penalty method in DG.
The inverse inequality on a cell K for linear FEM:
Goal: he∫e |∂νuh|
2 ≤ CI
∫K |∇uh|
2
≤ he |∇uh|2m
h2e ≤ CI |K | , i.e. h2
e|K | ≤ CI .
J. Karatson Budapest, Hungary
Extended FEMs
![Page 74: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/74.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
Remarks:
Similar to a penalty method in DG.
The inverse inequality on a cell K for linear FEM:
Goal: he∫e |∂νuh|
2 ≤ CI
∫K |∇uh|
2
≤ he |∇uh|2m
h2e ≤ CI |K | , i.e. h2
e|K | ≤ CI .
J. Karatson Budapest, Hungary
Extended FEMs
![Page 75: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/75.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
Remarks:
Similar to a penalty method in DG.
The inverse inequality on a cell K for linear FEM:
Goal: he
∫e|∂νuh|2︸ ︷︷ ︸
= he |∂νuh|2
≤ CI
∫K|∇uh|2︸ ︷︷ ︸
= |K ||∇uh|2
≤ he |∇uh|2m
h2e ≤ CI |K | , i.e. h2
e|K | ≤ CI .
J. Karatson Budapest, Hungary
Extended FEMs
![Page 76: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/76.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
Remarks:
Similar to a penalty method in DG.
The inverse inequality on a cell K for linear FEM:
Goal: he
∫e|∂νuh|2︸ ︷︷ ︸
= he |∂νuh|2
≤ CI
∫K|∇uh|2︸ ︷︷ ︸
= |K ||∇uh|2
≤ he |∇uh|2m
h2e ≤ CI |K | , i.e. h2
e|K | ≤ CI .
J. Karatson Budapest, Hungary
Extended FEMs
![Page 77: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/77.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
Remarks:
Similar to a penalty method in DG.
The inverse inequality on a cell K for linear FEM:
Goal: he
∫e|∂νuh|2︸ ︷︷ ︸
= he |∂νuh|2
≤ CI
∫K|∇uh|2︸ ︷︷ ︸
= |K ||∇uh|2
≤ he |∇uh|2m
h2e ≤ CI |K | , i.e. h2
e|K | ≤ CI .
J. Karatson Budapest, Hungary
Extended FEMs
![Page 78: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/78.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
Remarks:
Similar to a penalty method in DG.
The inverse inequality on a cell K for linear FEM:
Goal: he
∫e|∂νuh|2︸ ︷︷ ︸
= he |∂νuh|2
≤ CI
∫K|∇uh|2︸ ︷︷ ︸
= |K ||∇uh|2
≤ he |∇uh|2m
h2e ≤ CI |K |, i.e. h2
e|K | ≤ CI .
J. Karatson Budapest, Hungary
Extended FEMs
![Page 79: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/79.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
Remarks:
The constant CI in the inverse inequality:∃ computable bounds, but CI depends on the shape regularityof the ”cut” elements K ∩ Ω.
Hard to ensure in advance → ”small cell problem”.
Also suitable for interface problemswhen the jump [[u]]|Γ := u+
|Γ − u−|Γ = g on some Γ ⊂ Ω
J. Karatson Budapest, Hungary
Extended FEMs
![Page 80: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/80.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
Remarks:
The constant CI in the inverse inequality:∃ computable bounds, but CI depends on the shape regularityof the ”cut” elements K ∩ Ω.
Hard to ensure in advance → ”small cell problem”.
Also suitable for interface problemswhen the jump [[u]]|Γ := u+
|Γ − u−|Γ = g on some Γ ⊂ Ω
J. Karatson Budapest, Hungary
Extended FEMs
![Page 81: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/81.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
3. The ”small cell problem”:the ”cut” elements K ∩ Ω may be not regular
Consequences:
(i) CI becomes large, non-uniform
Further stabilization: ghost penalty (GP), i.e. we add
j(uh, vh) := γ∑e∈ET
∫eh [[∂νuh]] [[∂νvh]]
where ET := edges adjacent to ∂Ω (”ghost edges”).
(ii) Ill-conditioned linear systems
→ cell agglomeration [Kummer et al., IJNME, 2018]
J. Karatson Budapest, Hungary
Extended FEMs
![Page 82: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/82.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
3. The ”small cell problem”:the ”cut” elements K ∩ Ω may be not regular
Consequences:
(i) CI becomes large, non-uniform
Further stabilization: ghost penalty (GP), i.e. we add
j(uh, vh) := γ∑e∈ET
∫eh [[∂νuh]] [[∂νvh]]
where ET := edges adjacent to ∂Ω (”ghost edges”).
(ii) Ill-conditioned linear systems
→ cell agglomeration [Kummer et al., IJNME, 2018]
J. Karatson Budapest, Hungary
Extended FEMs
![Page 83: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/83.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
3. The ”small cell problem”:the ”cut” elements K ∩ Ω may be not regular
Consequences:
(i) CI becomes large, non-uniform
Further stabilization: ghost penalty (GP)
⇒ j(uh, uh) = γ‖h1/2 [[∂νuh]] ‖2L2(E)
where E := ∪e∈ET e.
(ii) Ill-conditioned linear systems
→ cell agglomeration [Kummer et al., IJNME, 2018]
J. Karatson Budapest, Hungary
Extended FEMs
![Page 84: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/84.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
3. The ”small cell problem”:the ”cut” elements K ∩ Ω may be not regular
Consequences:
(i) CI becomes large, non-uniform
Further stabilization: ghost penalty (GP)
⇒ j(uh, uh) = γ‖h1/2 [[∂νuh]] ‖2L2(E)
where E := ∪e∈ET e.
(ii) Ill-conditioned linear systems
→ cell agglomeration [Kummer et al., IJNME, 2018]
J. Karatson Budapest, Hungary
Extended FEMs
![Page 85: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/85.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
Convergence for linear elements: as for the standard FEM,
|u − uh|1 ≤ ch |u|2 if u ∈ H2(Ω)
[Burman–Hansbo (2012)].
For higher order elements: ∼ O(hk) holds,with more complicated formulations
[Massing et al. (2018): Oseen eq.]
[Lehrenfeld (2018): Poisson eq, isoparametric FEM]
J. Karatson Budapest, Hungary
Extended FEMs
![Page 86: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/86.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
Convergence for linear elements: as for the standard FEM,
|u − uh|1 ≤ ch |u|2 if u ∈ H2(Ω)
[Burman–Hansbo (2012)].
For higher order elements: ∼ O(hk) holds,with more complicated formulations
[Massing et al. (2018): Oseen eq.]
[Lehrenfeld (2018): Poisson eq, isoparametric FEM]
J. Karatson Budapest, Hungary
Extended FEMs
![Page 87: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/87.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
Implementation:
1 Multigrid works: with additional smoothing around Γ⇒ convergence independent of Γ [Gross et al. (2017)])
2 Advanced software: open source library libCutFEM(described in [Burman et al., IJNME (2014)])
J. Karatson Budapest, Hungary
Extended FEMs
![Page 88: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/88.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The CutFEM
Important papers:
Hansbo, P., Nitsche’s method for interface problems in computationalmechanics, GAMM-Mitt. 28 (2005), no. 2, 183-206.
Burman, E.; Hansbo, P., Fictitious domain finite element methods usingcut elements: II. A stabilized Nitsche method, Appl. Numer. Math. 62(2012), no. 4, 328-341.
Burman, E.; Claus, S.; Hansbo, P.; Larson, M. G.; Massing, A., CutFEM:discretizing geometry and partial differential equations, Int. J. Numer.Methods Engrg. 104 (2015), no. 7, 472-501.
Massing, A.; Schott, B.; Wall, W. A., A stabilized Nitsche cut finite
element method for the Oseen problem, Comput. Methods Appl. Mech.
Engrg. 328 (2018), 262300.
J. Karatson Budapest, Hungary
Extended FEMs
![Page 89: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/89.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The TraceFEM
TraceFEM = special CutFEM: for PDEs posed on a surface Γ
Main ideas similar to those of CutFEM:
1 surface-unfitted mesh: create a mesh for a ”bulk” domain Ω∗
containing Γ
2 ”cut=trace” shape functions: define shape functions first onΩ∗ and then restrict them to Γ
Typical motivation: when Γ is moving → the mesh is the same
J. Karatson Budapest, Hungary
Extended FEMs
![Page 90: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/90.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The TraceFEM
TraceFEM = special CutFEM: for PDEs posed on a surface Γ
Main ideas similar to those of CutFEM:
1 surface-unfitted mesh: create a mesh for a ”bulk” domain Ω∗
containing Γ
2 ”cut=trace” shape functions: define shape functions first onΩ∗ and then restrict them to Γ
Typical motivation: when Γ is moving → the mesh is the same
J. Karatson Budapest, Hungary
Extended FEMs
![Page 91: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/91.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The TraceFEM
TraceFEM = special CutFEM: for PDEs posed on a surface Γ
Main ideas similar to those of CutFEM:
1 surface-unfitted mesh: create a mesh for a ”bulk” domain Ω∗
containing Γ
2 ”cut=trace” shape functions: define shape functions first onΩ∗ and then restrict them to Γ
Typical motivation: when Γ is moving → the mesh is the same
J. Karatson Budapest, Hungary
Extended FEMs
![Page 92: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/92.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The TraceFEM
[Burman et al., CMAME (2016)]
J. Karatson Budapest, Hungary
Extended FEMs
![Page 93: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/93.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The TraceFEM
Typical PDEs:
1 Elliptic model PDE on a closed surface Γ:
−∆Γu = f on Γ
where ∆Γ is the Laplace-Beltrami operator;
2 coupled ”bulk-surface” equations:
a PDE on Ω + a PDE on Γ
e.g. cell + membrane (Γ := ∂Ω);
medium + fracture.
J. Karatson Budapest, Hungary
Extended FEMs
![Page 94: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/94.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The TraceFEM
Typical PDEs:
1 Elliptic model PDE on a closed surface Γ:
−∆Γu = f on Γ
where ∆Γ is the Laplace-Beltrami operator;
2 coupled ”bulk-surface” equations:
a PDE on Ω + a PDE on Γ
e.g. cell + membrane (Γ := ∂Ω);
medium + fracture.
J. Karatson Budapest, Hungary
Extended FEMs
![Page 95: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/95.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The TraceFEM
Construction. Level sets: x ∈ Γ ⇔ φ(x) = 0
Stabilization: ghost penalty or other gradient terms
Convergence: for linear elements: as for the standard FEM,
|u − uh|H1(Γ) ≤ ch |u|H2(Γ) if u ∈ H2(Γ)
where c > 0 is independent of Γ and how it cuts the mesh[Olshanskii–Reusken (2017)].
Higher order: also depending on the approximation of the surfaceand the stabilization term
J. Karatson Budapest, Hungary
Extended FEMs
![Page 96: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/96.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The TraceFEM
Construction. Level sets: x ∈ Γ ⇔ φ(x) = 0
Stabilization: ghost penalty or other gradient terms
Convergence: for linear elements: as for the standard FEM,
|u − uh|H1(Γ) ≤ ch |u|H2(Γ) if u ∈ H2(Γ)
where c > 0 is independent of Γ and how it cuts the mesh[Olshanskii–Reusken (2017)].
Higher order: also depending on the approximation of the surfaceand the stabilization term
J. Karatson Budapest, Hungary
Extended FEMs
![Page 97: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/97.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The TraceFEM
Important papers:
Burman, E.; Hansbo, P.; Larson, M. G.; Massing, A.; Zahedi, S., Fullgradient stabilized cut finite element methods for surface partialdifferential equations, Comput. Methods Appl. Mech. Engrg. 310(2016), 278-296
Olshanskii, M. A.; Reusken, A., Trace finite element methods for PDEson surfaces, Lect. Notes Comput. Sci. Eng., 121, Springer, 2017.
Massing, A., A cut discontinuous Galerkin method for coupledbulk-surface problems, Lect. Notes Comput. Sci. Eng., 121, Springer,2017.
Grande, J.; Lehrenfeld, Ch.; Reusken, A., Analysis of a high-order tracefinite element method for PDEs on level set surfaces, SIAM J. Numer.Anal. 56 (2018), no. 1, 228-255.
J. Karatson Budapest, Hungary
Extended FEMs
![Page 98: Extended finite element methods: a brief introduction](https://reader031.vdocuments.net/reader031/viewer/2022020620/61e3d1767c1c5731bf4810b1/html5/thumbnails/98.jpg)
Preliminaries XFEM VEM CutFEM TraceFEM
The TraceFEM
Thank you for your attention!
J. Karatson Budapest, Hungary
Extended FEMs