Académique Documents
Professionnel Documents
Culture Documents
Théorème de Lax-Milgram
Projection dans un sous espace V h : Méthode de Galerkin
Exemple 1d
Rappel d’optimisation
Eléments-finis
ESIX2A – Mécatronique
Daniel CHOÏ
Février 2023
Chapitre 2 : Cadre théorique de la méthode des éléments-finis
Définition
Un espace de Hilbert est un espace vectoriel muni d’un produit
scalaire (., .)H et qui est complet pour la norme induite, k.kH .
Espaces L2
Soit Ω ⊂ Rd , en identifiant les fonctions égales presque partout, on
définit l’espace des fonctions de carré intégrable
Z
2 2
L (Ω) = f mesurable sur Ω / |f (x)| dx < ∞ / ∼
Ω
Théorème
Soit Ω un domaine ouvert de Rn , l’espace des fonctions continues
infiniment dérivable à support compact D = Cc∞ (Ω) est dense
dans L2 (Ω) a :
Espaces de Sobolev
Z Z
(u, v )H 1 = uv + u,i v,i
Ω Ω
Z
kuk2H 1 = (u, u)H 1 . = |u|2 + |∇ (u)|2
Ω
Théorème
Représentation de Riesz – Soit L une forme linéaire continue
définie sur un Hilbert H. Il existe un unique u ∈ H tel que
(u, v ∗ )H = L(v ∗ ) ∀v ∗ ∈ H.
L(u) ≤ C kuk ∀u ∈ V .
h∇J(u), v ∗ − ui = 0 ∀v ∗ ∈ Vadm
Pour tout u, u ∗ ∈ V :
a(u, v ∗ − u) − L(v ∗ − u) = 0
a(u, u ∗ ) = L(u ∗ ) ∀u ∗ ∈ V0
Théorème
Soit u ∈ V0 la solution de (3)) satisfaisant aux hypothèses du
théorème de lax-Milgram
a(u, u ∗ ) = L(u ∗ ) ∀u ∗ ∈ V0
ku − uh ka ≤ ku − u ∗ ka ∀u ∗ ∈ Vadm
h
où
kuk2a = a(u, u)
Daniel CHOÏ Eléments-finis
Analyse fonctionnelle : Espaces de Hilbert
Théorème de Lax-Milgram Version vectorielle
Projection dans un sous espace V h : Méthode de Galerkin Version affine
Exemple 1d Cas où V0h est de dimension finie
Rappel d’optimisation
Théorème
Soit u ∈ Vadm la solution de (4) satisfaisant aux hypothèses du
théorème de lax-Milgram
a(u, u ∗ ) = L(u ∗ ) ∀u ∗ ∈ V0
ku − uh ka ≤ ku − u ∗ ka ∀u ∗ ∈ Vadm
h
Théorème
Si V0h est de dimension finie, et si φi en constitue une base, les
composantes dans cette base de la solution de Galerkin satisfait à
un problème matriciel
AU = L
où
Aij = a(φi , φj )
Li = L(φi )
uh = Ui φi
V h = vect{sin πx}
cela se réduit à
(
chercher α ∈ R tel que :
a(α sin πx, sin πx) = L(sin πx)
si on choisit
V h = vect{sin 2πx)}
on obtient K = 4π 2 et R = 0.
On trouve
α = 0!
(
chercher u = α1 sin πx + α2 sin 3πx, α ∈ R2 tels que :
a(α1 sin πx + α2 sin 3πx, u ∗ ) = L(u ∗ ) ∀u ∗ ∈ V0h = V h
2
chercher (α1 , α2 ) ∈ R tel que :
α1 a(sin πx, sin πx) + α2 a(sin 3πx, sin πx) = L(sin πx)
α1 a(sin πx, sin 3πx) + α2 a(sin 3πx, 3 sin πx) = L(sin 3πx)
a(sin πx, sin πx) a(sin 3πx, sin πx) α1 L(sin πx)
=
a(sin πx, sin 3πx) a(sin 3πx, 3 sin πx) α2 L(sin 3πx)
| {z } | {z }
K R
x0 x1 x2 x3 x4 x5
E1 E2 E3 E4 E5
de même, pour tout u ∗ ∈ V0h , il existe α1∗ , α2∗ , α3∗ , α4∗ tels que
4
X
∗
u = αi∗ ϕi
i=1
Trouver αi , i = 1, 2, . . . , 4 tels que
4
(8)
Z X Z
0 0
[0,1] αi ϕi ϕj (x)dx = f (x)ϕj dx ∀j = 1, 2, . . . , 4
i=1 [0,1]
K α̂ = R
avec
α1
α2
α̂ =
α3
α4
Z Z
Kij = ϕ0i ϕ0j dx Ri = f (x)ϕj dx
[0,1] [0,1]
)
∇J(u) = Au − b
∀u ∈ Rn
∇2 J(u) = A
h∇J(U), u ∗ − Ui ≤ 0 ∀u ∗ ∈ K
h∇J(U), u ∗ − Ui = 0 ∀u ∗ ∈ K
ou encore
hAu − b, u ∗ i = 0 ∀u ∗ ∈ K0 = Ker (C )