Finite Element Method
Finite Element Method
METHOD
Annie Fournier-Gagnoud
Phelma 2016-2017
FINITE ELEMENT METHOD
● Galerkin method
e e f f
Hexahedron
Triangle
Tetrahedron
Quadrilateral
Prism
2 1 2 1
3 4 3
T1 a x1 b y1 c
T(x,y)
3 T2 a x 2 b y 2 c
T a x b y c
3 3 3
1
x x1 y1 1 a T1
x
y 2 1 b T2
2
x 3 y 3 1 c T3
A. Fournier-Gagnoud FINITE ELEMENT METHOD (16-17) 9
FINITE ELEMENT METHOD
Polynomial interpolation
x1 y1 1 a T1
x
y 2 1 b T2
2
x 3 y 3 1 c T3
x 2 y 3 x 3 y 2 x 3 y1 x1 y 3 x1 y 2 x 2 y1
1
a y 2 y 3 T1 y 3 y1 T2 y1 y 2 T3
1
b x 3 x 2 T1 x1 x 3 T2 x 2 x1 T3
c 1 x y x y T x y x y T x y x y T
2 3 3 2 1 3 1 1 3 2 1 2 2 1 3
T ( x, y ) ax by c
1
1 ( x, y ) y 2 y 3 x x3 x 2 y x 2 y 3 x3 y 2
1
2 ( x, y ) y 3 y1 x x1 x 3 y x 3 y1 x1 y 3
1
3 ( x, y ) y1 y 2 x x 2 x1 y x1 y 2 x 2 y1
x 2 y 3 x 3 y 2 x 3 y1 x1 y 3 x1 y 2 x 2 y1
T ( x, y ) 1 ( x, y ) T1 2 ( x, y ) T2 3 x, y T3
T ( x, y ) 1 ( x, y ) T1 2 ( x, y ) T2 3 x, y T3
T ( x, y ) 1 ( x, y ) T1 2 ( x, y ) T2 3 x, y T3
●
Reference element : polynomials are known.
It is not necessary to calculate the coefficients to
have the polynomial functions.
y η
3
+1 3
2
1 2 ξ
1
0 +1
x
y
4 3 η
4 1 3
1 -1 1
ξ
2
1 -1 2
Node i i ,
1 1
2
3
Node i
i ,
η
1 1
1 1 1 3
4 4
2 1
1 1
4 -1 1
ξ
3 1
1 1 1 -1 2
4
4 1
1 1
4 Reference element
Node i i ,
1 ( ) * (2 1)
2 * (2 1)
6 5
3 * (2 1)
4 4 4
5 4
6 4 1
A. Fournier-Gagnoud FINITE ELEMENT METHOD (16-17) 23
FINITE ELEMENT METHOD
Galerkin method
● Static heat transfer equation on Ω
div(k gradT ) Q
● Find the function T(x, y, z)
● T on a vector space of functions (Sobolev space)
● βi the basis functions of the space.
● Scalar product of two functions f and g by the
following relation:
f .g f g d
●
is not zero , depends on T
● Only one vector is orthogonal to all βi: vector 0
∀i ∭ ⃗ ( −k ∇
βi ∇⋅ ⃗ T ) d Ω−∭ β Q d Ω=0
i
Ω Ω
i i
∀i ∭ ⃗ ( −k ∇
αi ∇⋅ ⃗ T ) d Ω−∭ α Q d Ω=0
i
Ω Ω
∀i ∭ ⃗ ( −k ∇
αi ∇⋅ ⃗ T ) d Ω−∭ α Q d Ω=0
i
Ω Ω
∭ ⃗ (−α k ∇
∇⋅ ⃗ T ) d Ω=∭ α ∇⋅
⃗ ( −k ∇
⃗ T ) d Ω−∭ k ∇
⃗ α ⋅∇
⃗ T dΩ
i i i
Ω Ω Ω
∭ ⃗ (−k ∇
α i ∇⋅ ⃗ T ) d Ω=∭ ∇⋅
⃗ (−α k ∇
⃗ T ) d Ω+∭ k ∇
⃗ α ⋅∇⃗ T dΩ
i i
Ω Ω Ω
∭ ⃗ (−α k ∇
∇⋅ ⃗ T ) d Ω=−∬ α k ∇
⃗ T⋅⃗n d Γ
i i
Ω Γ
∀i ∭ ⃗ ( −k ∇
αi ∇⋅ ⃗ T ) d Ω−∭ α Q d Ω=0
i
Ω Ω
∭ ⃗ (−k ∇
α i ∇⋅ ⃗ T ) d Ω=∭ ∇⋅
⃗ (−α k ∇
⃗ T ) d Ω+∭ k ∇
⃗ α ⋅∇⃗ T dΩ
i i
Ω Ω Ω
∭ ⃗ (−α k ∇
∇⋅ ⃗ T ) d Ω=−∬ α k ∇
⃗ T⋅⃗n d Γ
i i
Ω Γ
Weak formulation
⃗ T⋅⃗n d Γ+∭ k ∇
∀ i −∬ αi k ∇ ⃗ α ⋅∇⃗ T d Ω−∭ α Q d Ω=0
i i
Γ Ω Ω
⃗ T⋅⃗n d Γ+∭ k ∇
∀ i −∬ αi k ∇ ⃗ α ⋅∇⃗ T d Ω−∭ α Q d Ω=0
i i
Γ Ω Ω
⃗ T⋅⃗n =h ( T−T ) +ε σ ( T 4 −T 4 )
−k ∇ r SB r
∀i ∬ i ( r ) ∬ i SB (
α h T −T d Γ+ α ε σ T
4
−T )r d Γ+∭ k ∇⃗ αi⋅∇⃗ T d Ω
4
Γ Γ Ω
−∭ αi Q d Ω=0
Ω
∀i ∭ ⃗ α ⋅∇
k∇ ⃗ T d Ω+∬ α h (T −T ) d Γ+∬ α ε σ ( T 4 −T 4 ) d Γ
i i r i SB r
Ω Γ Γ
−∭ αi Q d Ω=0
Ω
∭ ⃗ ⃗ ∬ i ( r ) ∬ i SB ( 4 4
∀i k ∇ α ⋅
i ∇ T d Ω+ α h T−T d Γ+ α ε σ T −T r )d Γ
Ω Γ Γ
−∭ αi Q d Ω=0
Ω
N
T = ∑ j , , ⋅T j
e e f f j=1
N N
∂T ∂j
=∑ , , ⋅T j ∇ T =∑
∇ j , , ⋅T j
∂ x j=1 ∂ x j =1
N
N
T =∑ α j ( ξ , η, ζ )⋅T j ⃗
∇ T =∑ ⃗
∇ α j ( ξ , η , ζ )⋅T j
e e f f j=1 j=1
N N
∀i ∑e ∭
ω
⃗ α⋅
k∇ i
e
∑
j=1
⃗α T
∇ j j ( ) d Ω+∑ ∬ αi h
f γf (∑ )
j=1
αj T j d Γ
N
+ ∑ ∬ αi ε σ SB T 3
f γf (∑ )
j=1
α j T j d Γ=∑ ∬ α i hT r d Γ
f γf
+ ∑ ∬ αi ε σ SB T 4r d Γ+ ∑ ∭ αi Q d Ω
f γf e ωe
N
3
+∑ ∑ ∬ i SB α j d Γ ⋅T j=∑ ∬ α i hT r d Γ
f j=1
( α ε σ
γf
T
) f γf
+ ∑ ∬ α i ε σ SB T 4r d Γ+ ∑ ∭ αi Q d Ω
f γf e ωe
Calculation of grad : i
i i i i i
x
x x x x
i i
y
i , , , , , , , ,
x x x y y y z z z
z
Reverse matrix J
[ ]
∂ ∂ ∂
∂x ∂y ∂z
−1
J =
∂ ∂ ∂ i
∂x ∂y ∂z
∂ ∂ ∂
∂x ∂y ∂z
21 22 23 24 25
13 14 15 16
16 17 18 19 20
9 10 11 12 4 3
11 12 13 14 15
5 6 7 8
1 2
6 7 8 9 10
1 2 3 4
Local numbering
1 2 3 4 5 of nodes
6
1
7
2
8
3
9
4
10
e6,7,10,11
13Q d
1 2 3 4 5
16 17 18 19 20
9 10 11 12
N 6 7 8 9 10
∑ ∑ ∭ ⃗ α ⋅∇
⃗ α d Ω ⋅T
e=1,2 j=1 ( ω
k∇
e
2 j
) j
1
1
2
2
3
3
4
4
5
N
+∑ ∑ (∬
f =1,2 j=1γ f
)
α2 h α j d Γ ⋅T j
N
+∑ ∑(∬ α 2 ε σ SB T α j d Γ )⋅T j = ∑ ∬ α2 h T r d Γ
3
γ
f =1,2 j=1 f =1,2 γ f =1,2 f
+ ∑ ∬ α2 ε σ SB T 4r d Γ+ ∑ ∭ α2 Q d Ω
f γ f =1,2 e=1,2 ωe
T
i
i CP
t
(k T) Q 0
i
i
T Tn Tn1 N N
T = ∑ j , , ⋅T j
∇ T =∑
∇ j , , ⋅T j
t n t j=1 j =1
T n−T n−1 ⃗ α ⋅( ∇
⃗ T) dΩ
∭ Ω
αi ρC P
Δt
d Ω+∭ k ∇
Ω
i n
4 4
+∬ α i h (T n −T r ) d Γ+∬ αi ε σ SB ( T n −T r ) d Γ−∭ αi Q n d Ω=0
Γ Γ Ω
∭ αi ρ C P T n d Ω+ Δ t⋅∭ k ∇ ⃗ α ⋅( ∇
⃗ T) dΩ
i n
Ω Ω
Stable scheme
● Important advantages :
Well adapted to take in account Neumann
boundary condition,
Well adapted to complex geometry,
Well adapted to multi domain geometry,
Adapted to different physical problems,
General software : Flux-expert, Comsol