Methode des ELEMENTS

FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Module MCI16
A.U. 2010-2011
Methode des ELEMENTS FINIS
Mustapha GHILANI
UMI, ENSAM, Mekn`es
26 septembre 2010
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 1 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Modelisation Physique dun probl`eme de
transfert thermique
Lois physiques :
On note par q(x) le vecteur ux de chaleur au point x.
La loi ou le principe de la conservation de lenergie :
divq(x) =

f (x), x
Lois de comportement :
q(x) = K(x)T(x), x
K(x) est un tenseur dordre 3 decrivant la facilite ou la
diculte qua la chaleur `a se propager dans le materiau du
domaine . T est la temperature.
K(x) =
_
_
k
11
(x) k
12
(x) k
13
(x)
k
12
(x) k
22
(x) k
23
(x)
k
13
(x) k
23
(x) k
33
(x)
_
_
K(x) est symetrique.
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 2 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Modelisation Physique dun probl`eme de
transfert thermique
Lois physiques :
On note par q(x) le vecteur ux de chaleur au point x.
La loi ou le principe de la conservation de lenergie :
divq(x) =

f (x), x
Lois de comportement :
q(x) = K(x)T(x), x
K(x) est un tenseur dordre 3 decrivant la facilite ou la
diculte qua la chaleur `a se propager dans le materiau du
domaine . T est la temperature.
K(x) =
_
_
k
11
(x) k
12
(x) k
13
(x)
k
12
(x) k
22
(x) k
23
(x)
k
13
(x) k
23
(x) k
33
(x)
_
_
K(x) est symetrique.
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 2 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Modelisation Physique dun probl`eme de
transfert thermique
Lois physiques :
On note par q(x) le vecteur ux de chaleur au point x.
La loi ou le principe de la conservation de lenergie :
divq(x) =

f (x), x
Lois de comportement :
q(x) = K(x)T(x), x
K(x) est un tenseur dordre 3 decrivant la facilite ou la
diculte qua la chaleur `a se propager dans le materiau du
domaine . T est la temperature.
K(x) =
_
_
k
11
(x) k
12
(x) k
13
(x)
k
12
(x) k
22
(x) k
23
(x)
k
13
(x) k
23
(x) k
33
(x)
_
_
K(x) est symetrique.
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 2 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Modelisation Physique dun probl`eme de
transfert thermique
Lois physiques :
On note par q(x) le vecteur ux de chaleur au point x.
La loi ou le principe de la conservation de lenergie :
divq(x) =

f (x), x
Lois de comportement :
q(x) = K(x)T(x), x
K(x) est un tenseur dordre 3 decrivant la facilite ou la
diculte qua la chaleur `a se propager dans le materiau du
domaine . T est la temperature.
K(x) =
_
_
k
11
(x) k
12
(x) k
13
(x)
k
12
(x) k
22
(x) k
23
(x)
k
13
(x) k
23
(x) k
33
(x)
_
_
K(x) est symetrique.
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 2 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Modelisation Physique dun probl`eme de
transfert thermique
Lois physiques :
On note par q(x) le vecteur ux de chaleur au point x.
La loi ou le principe de la conservation de lenergie :
divq(x) =

f (x), x
Lois de comportement :
q(x) = K(x)T(x), x
K(x) est un tenseur dordre 3 decrivant la facilite ou la
diculte qua la chaleur `a se propager dans le materiau du
domaine . T est la temperature.
K(x) =
_
_
k
11
(x) k
12
(x) k
13
(x)
k
12
(x) k
22
(x) k
23
(x)
k
13
(x) k
23
(x) k
33
(x)
_
_
K(x) est symetrique.
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 2 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Modelisation Physique dun probl`eme de
transfert thermique
Lois physiques :
On note par q(x) le vecteur ux de chaleur au point x.
La loi ou le principe de la conservation de lenergie :
divq(x) =

f (x), x
Lois de comportement :
q(x) = K(x)T(x), x
K(x) est un tenseur dordre 3 decrivant la facilite ou la
diculte qua la chaleur `a se propager dans le materiau du
domaine . T est la temperature.
K(x) =
_
_
k
11
(x) k
12
(x) k
13
(x)
k
12
(x) k
22
(x) k
23
(x)
k
13
(x) k
23
(x) k
33
(x)
_
_
K(x) est symetrique.
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 2 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Modelisation Physique dun probl`eme de
transfert thermique
Lois physiques :
On note par q(x) le vecteur ux de chaleur au point x.
La loi ou le principe de la conservation de lenergie :
divq(x) =

f (x), x
Lois de comportement :
q(x) = K(x)T(x), x
K(x) est un tenseur dordre 3 decrivant la facilite ou la
diculte qua la chaleur `a se propager dans le materiau du
domaine . T est la temperature.
K(x) =
_
_
k
11
(x) k
12
(x) k
13
(x)
k
12
(x) k
22
(x) k
23
(x)
k
13
(x) k
23
(x) k
33
(x)
_
_
K(x) est symetrique.
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 2 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Modelisation Physique dun probl`eme de
transfert thermique
Suppositions simplicatrices :
En supposant que le materiau est homog`ene.
K(x) = K; x
Comme K est symetrique il est alors diagonalisable.
Notons x
1
, x
2
, x
3
une base des vecteurs propres de K.

K(x) =
_
_

k
11
0 0
0

k
22
0
0 0

k
33
_
_
On suppose en plus que le milieu est isotrope.

k
11
=

k
22
=

k
33
=
K(x) = I
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 3 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Modelisation Physique dun probl`eme de
transfert thermique
Suppositions simplicatrices :
En supposant que le materiau est homog`ene.
K(x) = K; x
Comme K est symetrique il est alors diagonalisable.
Notons x
1
, x
2
, x
3
une base des vecteurs propres de K.

K(x) =
_
_

k
11
0 0
0

k
22
0
0 0

k
33
_
_
On suppose en plus que le milieu est isotrope.

k
11
=

k
22
=

k
33
=
K(x) = I
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 3 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Modelisation Physique dun probl`eme de
transfert thermique
Suppositions simplicatrices :
En supposant que le materiau est homog`ene.
K(x) = K; x
Comme K est symetrique il est alors diagonalisable.
Notons x
1
, x
2
, x
3
une base des vecteurs propres de K.

K(x) =
_
_

k
11
0 0
0

k
22
0
0 0

k
33
_
_
On suppose en plus que le milieu est isotrope.

k
11
=

k
22
=

k
33
=
K(x) = I
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 3 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Modelisation Physique dun probl`eme de
transfert thermique
Suppositions simplicatrices :
En supposant que le materiau est homog`ene.
K(x) = K; x
Comme K est symetrique il est alors diagonalisable.
Notons x
1
, x
2
, x
3
une base des vecteurs propres de K.

K(x) =
_
_

k
11
0 0
0

k
22
0
0 0

k
33
_
_
On suppose en plus que le milieu est isotrope.

k
11
=

k
22
=

k
33
=
K(x) = I
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 3 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Modelisation Physique dun probl`eme de
transfert thermique
Suppositions simplicatrices :
En supposant que le materiau est homog`ene.
K(x) = K; x
Comme K est symetrique il est alors diagonalisable.
Notons x
1
, x
2
, x
3
une base des vecteurs propres de K.

K(x) =
_
_

k
11
0 0
0

k
22
0
0 0

k
33
_
_
On suppose en plus que le milieu est isotrope.

k
11
=

k
22
=

k
33
=
K(x) = I
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 3 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Modelisation Physique dun probl`eme de
transfert thermique
Suppositions simplicatrices :
En supposant que le materiau est homog`ene.
K(x) = K; x
Comme K est symetrique il est alors diagonalisable.
Notons x
1
, x
2
, x
3
une base des vecteurs propres de K.

K(x) =
_
_

k
11
0 0
0

k
22
0
0 0

k
33
_
_
On suppose en plus que le milieu est isotrope.

k
11
=

k
22
=

k
33
=
K(x) = I
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 3 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Modelisation Physique dun probl`eme de
transfert thermique
Suppositions simplicatrices :
En supposant que le materiau est homog`ene.
K(x) = K; x
Comme K est symetrique il est alors diagonalisable.
Notons x
1
, x
2
, x
3
une base des vecteurs propres de K.

K(x) =
_
_

k
11
0 0
0

k
22
0
0 0

k
33
_
_
On suppose en plus que le milieu est isotrope.

k
11
=

k
22
=

k
33
=
K(x) = I
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 3 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Modelisation Physique dun probl`eme de
transfert thermique
Suppositions simplicatrices :
En supposant que le materiau est homog`ene.
K(x) = K; x
Comme K est symetrique il est alors diagonalisable.
Notons x
1
, x
2
, x
3
une base des vecteurs propres de K.

K(x) =
_
_

k
11
0 0
0

k
22
0
0 0

k
33
_
_
On suppose en plus que le milieu est isotrope.

k
11
=

k
22
=

k
33
=
K(x) = I
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 3 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Modelisation Physique dun probl`eme de
transfert thermique
Lecriture du ux de chaleur q dans la base des valeurs propres
permet davoir :
q(x) = T(x), x
Principe de
conservation
de lenergie
+
Loi de
comportement
du materiau
_

_
=
Syst`eme dequations
decrivant le
phenom`ene physique
div (T(x)) =

f (x)

, x
T(x) = f (x), x
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 4 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Modelisation Physique dun probl`eme de
transfert thermique
Lecriture du ux de chaleur q dans la base des valeurs propres
permet davoir :
q(x) = T(x), x
Principe de
conservation
de lenergie
+
Loi de
comportement
du materiau
_

_
=
Syst`eme dequations
decrivant le
phenom`ene physique
div (T(x)) =

f (x)

, x
T(x) = f (x), x
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 4 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Modelisation Physique dun probl`eme de
transfert thermique
Lecriture du ux de chaleur q dans la base des valeurs propres
permet davoir :
q(x) = T(x), x
Principe de
conservation
de lenergie
+
Loi de
comportement
du materiau
_

_
=
Syst`eme dequations
decrivant le
phenom`ene physique
div (T(x)) =

f (x)

, x
T(x) = f (x), x
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 4 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Modelisation Physique dun probl`eme de
transfert thermique
Lecriture du ux de chaleur q dans la base des valeurs propres
permet davoir :
q(x) = T(x), x
Principe de
conservation
de lenergie
+
Loi de
comportement
du materiau
_

_
=
Syst`eme dequations
decrivant le
phenom`ene physique
div (T(x)) =

f (x)

, x
T(x) = f (x), x
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 4 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Modelisation Physique dun probl`eme de
transfert thermique
Lecriture du ux de chaleur q dans la base des valeurs propres
permet davoir :
q(x) = T(x), x
Principe de
conservation
de lenergie
+
Loi de
comportement
du materiau
_

_
=
Syst`eme dequations
decrivant le
phenom`ene physique
div (T(x)) =

f (x)

, x
T(x) = f (x), x
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 4 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Modelisation Physique dun probl`eme de
transfert thermique
Equation mod`ele :
T(x) = f (x), x
Cest une equation aux derivees partielles (EDP) appelee
equation de type elliptique dordre 2.
Les conditions aux limites :
_

_
u(x) = 0, x C. L. de type
Dirichlet homog`ene
u(x) = g(x), x C. L. de type
Dirichlet non homog`ene
T(x) n(x) = 0, x C. L. de type
Neumann homog`ene
T
n
= T(x) n(x) = h(x), x C. L. de type
Neumann non homog`ene
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 5 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Modelisation Physique dun probl`eme de
transfert thermique
Equation mod`ele :
T(x) = f (x), x
Cest une equation aux derivees partielles (EDP) appelee
equation de type elliptique dordre 2.
Les conditions aux limites :
_

_
u(x) = 0, x C. L. de type
Dirichlet homog`ene
u(x) = g(x), x C. L. de type
Dirichlet non homog`ene
T(x) n(x) = 0, x C. L. de type
Neumann homog`ene
T
n
= T(x) n(x) = h(x), x C. L. de type
Neumann non homog`ene
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 5 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Modelisation Physique dun probl`eme de
transfert thermique
Equation mod`ele :
T(x) = f (x), x
Cest une equation aux derivees partielles (EDP) appelee
equation de type elliptique dordre 2.
Les conditions aux limites :
_

_
u(x) = 0, x C. L. de type
Dirichlet homog`ene
u(x) = g(x), x C. L. de type
Dirichlet non homog`ene
T(x) n(x) = 0, x C. L. de type
Neumann homog`ene
T
n
= T(x) n(x) = h(x), x C. L. de type
Neumann non homog`ene
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 5 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Modelisation Physique dun probl`eme de
transfert thermique
Equation mod`ele :
T(x) = f (x), x
Cest une equation aux derivees partielles (EDP) appelee
equation de type elliptique dordre 2.
Les conditions aux limites :
_

_
u(x) = 0, x C. L. de type
Dirichlet homog`ene
u(x) = g(x), x C. L. de type
Dirichlet non homog`ene
T(x) n(x) = 0, x C. L. de type
Neumann homog`ene
T
n
= T(x) n(x) = h(x), x C. L. de type
Neumann non homog`ene
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 5 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Probl`emes aux limites mod`eles
Dirichlet homog`ene :
_
_
_
Trouver T :
T(x) = f (x), x
T = 0, x
Dirichlet non homog`ene :
_
_
_
Trouver T :
T(x) = f (x), x
T = g(x), x
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 6 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Probl`emes aux limites mod`eles
Dirichlet homog`ene :
_
_
_
Trouver T :
T(x) = f (x), x
T = 0, x
Dirichlet non homog`ene :
_
_
_
Trouver T :
T(x) = f (x), x
T = g(x), x
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 6 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Probl`emes aux limites mod`eles
Dirichlet homog`ene :
_
_
_
Trouver T :
T(x) = f (x), x
T = 0, x
Dirichlet non homog`ene :
_
_
_
Trouver T :
T(x) = f (x), x
T = g(x), x
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 6 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Probl`emes aux limites mod`eles
Neumann homog`ene :
_
_
_
Trouver T :
T(x) = f (x), x
T
n
= 0, x
Neumann non homog`ene :
_
_
_
Trouver T :
T(x) = f (x), x
T
n
= h(x), x
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 7 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Probl`emes aux limites mod`eles
Neumann homog`ene :
_
_
_
Trouver T :
T(x) = f (x), x
T
n
= 0, x
Neumann non homog`ene :
_
_
_
Trouver T :
T(x) = f (x), x
T
n
= h(x), x
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 7 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Probl`emes aux limites mod`eles
Neumann homog`ene :
_
_
_
Trouver T :
T(x) = f (x), x
T
n
= 0, x
Neumann non homog`ene :
_
_
_
Trouver T :
T(x) = f (x), x
T
n
= h(x), x
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 7 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Le bord dun ouvert
1D : une dimension
= I =]a, b[, ouvert borne de IR.
1
Bord :
= a, b
2
La normale exterieure :
n(a) = 1, n(b) = 1
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 8 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Le bord dun ouvert
1D : une dimension
= I =]a, b[, ouvert borne de IR.
1
Bord :
= a, b
2
La normale exterieure :
n(a) = 1, n(b) = 1
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 8 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Le bord dun ouvert
1D : une dimension
= I =]a, b[, ouvert borne de IR.
1
Bord :
= a, b
2
La normale exterieure :
n(a) = 1, n(b) = 1
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 8 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Le bord dun ouvert
2D : Dimension 2
, ouvert borne de IR
2
de bord .
1
Parametrisation du bord :
: [0, 1[ IR
2
t
_

1
(t)

2
(t)
_
() = . est dit regulier si il existe une
parametrisation reguli`ere.
2
La tangente au bord :
t [0, 1], (t) =
_

1
(t)

2
(t)
_
3
La normale exterieure `a :
n(t) =
_

2
(t)

1
(t)
_
ou n(t) =
_

2
(t)

1
(t)
_
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 9 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Le bord dun ouvert
2D : Dimension 2
, ouvert borne de IR
2
de bord .
1
Parametrisation du bord :
: [0, 1[ IR
2
t
_

1
(t)

2
(t)
_
() = . est dit regulier si il existe une
parametrisation reguli`ere.
2
La tangente au bord :
t [0, 1], (t) =
_

1
(t)

2
(t)
_
3
La normale exterieure `a :
n(t) =
_

2
(t)

1
(t)
_
ou n(t) =
_

2
(t)

1
(t)
_
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 9 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Le bord dun ouvert
2D : Dimension 2
, ouvert borne de IR
2
de bord .
1
Parametrisation du bord :
: [0, 1[ IR
2
t
_

1
(t)

2
(t)
_
() = . est dit regulier si il existe une
parametrisation reguli`ere.
2
La tangente au bord :
t [0, 1], (t) =
_

1
(t)

2
(t)
_
3
La normale exterieure `a :
n(t) =
_

2
(t)

1
(t)
_
ou n(t) =
_

2
(t)

1
(t)
_
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 9 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Le bord dun ouvert
2D : Dimension 2
, ouvert borne de IR
2
de bord .
1
Parametrisation du bord :
: [0, 1[ IR
2
t
_

1
(t)

2
(t)
_
() = . est dit regulier si il existe une
parametrisation reguli`ere.
2
La tangente au bord :
t [0, 1], (t) =
_

1
(t)

2
(t)
_
3
La normale exterieure `a :
n(t) =
_

2
(t)

1
(t)
_
ou n(t) =
_

2
(t)

1
(t)
_
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 9 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Le bord dun ouvert
Dimension 3 (3D)
, ouvert borne de IR
3
de bord . Parametrisation du bord :
: [0, 1] [0, 1] IR
3
(u, v)
_
_

1
(u, v)

2
(u, v)

3
(u, v)
_
_
() = . est dit regulier si il existe une parametrisation
reguli`ere.
Tangentes au bord de
Soit (u, v) [0, 1] [0, 1]

1
(u, v) =

u
_
_

3
_
_
(u, v) ,
2
(u, v) =

v
_
_

3
_
_
(u, v)
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 10 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Le bord dun ouvert
Dimension 3 (3D)
, ouvert borne de IR
3
de bord . Parametrisation du bord :
: [0, 1] [0, 1] IR
3
(u, v)
_
_

1
(u, v)

2
(u, v)

3
(u, v)
_
_
() = . est dit regulier si il existe une parametrisation
reguli`ere.
Tangentes au bord de
Soit (u, v) [0, 1] [0, 1]

1
(u, v) =

u
_
_

3
_
_
(u, v) ,
2
(u, v) =

v
_
_

3
_
_
(u, v)
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 10 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Le bord dun ouvert
Dimension 3 (3D)
, ouvert borne de IR
3
de bord . Parametrisation du bord :
: [0, 1] [0, 1] IR
3
(u, v)
_
_

1
(u, v)

2
(u, v)

3
(u, v)
_
_
() = . est dit regulier si il existe une parametrisation
reguli`ere.
Tangentes au bord de
Soit (u, v) [0, 1] [0, 1]

1
(u, v) =

u
_
_

3
_
_
(u, v) ,
2
(u, v) =

v
_
_

3
_
_
(u, v)
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 10 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
La normale exterieure `a :
n(u, v) =
1
(u, v)
2
(u, v)
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 11 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Formulation forte dun Pb. aux limites :
Remarques :
1
Un probl`eme aux limites est constitue de deux blocs :
1 Bloc dEDP,
2 Bloc dequations aux limites.
2
Pour que le probl`eme admette une solution il faut que u
verie les deux blocs dequations.
Exemple : Probl`eme (T)
Trouver u :
u(x) = f (x)x ( EDP ) (1)
u() = g() ( C.L. ) (2)
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 12 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Formulation forte dun Pb. aux limites :
Remarques :
1
Un probl`eme aux limites est constitue de deux blocs :
1 Bloc dEDP,
2 Bloc dequations aux limites.
2
Pour que le probl`eme admette une solution il faut que u
verie les deux blocs dequations.
Exemple : Probl`eme (T)
Trouver u :
u(x) = f (x)x ( EDP ) (1)
u() = g() ( C.L. ) (2)
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 12 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Formulation forte dun Pb. aux limites :
Remarques :
1
Un probl`eme aux limites est constitue de deux blocs :
1 Bloc dEDP,
2 Bloc dequations aux limites.
2
Pour que le probl`eme admette une solution il faut que u
verie les deux blocs dequations.
Exemple : Probl`eme (T)
Trouver u :
u(x) = f (x)x ( EDP ) (1)
u() = g() ( C.L. ) (2)
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 12 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Formulation forte dun Pb. aux limites :
Remarques :
1
Un probl`eme aux limites est constitue de deux blocs :
1 Bloc dEDP,
2 Bloc dequations aux limites.
2
Pour que le probl`eme admette une solution il faut que u
verie les deux blocs dequations.
Exemple : Probl`eme (T)
Trouver u :
u(x) = f (x)x ( EDP ) (1)
u() = g() ( C.L. ) (2)
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 12 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Formulation forte dun Pb. aux limites :
Remarques :
1
Un probl`eme aux limites est constitue de deux blocs :
1 Bloc dEDP,
2 Bloc dequations aux limites.
2
Pour que le probl`eme admette une solution il faut que u
verie les deux blocs dequations.
Exemple : Probl`eme (T)
Trouver u :
u(x) = f (x)x ( EDP ) (1)
u() = g() ( C.L. ) (2)
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 12 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Formulation forte dun Pb. aux limites :
Remarques :
1
Un probl`eme aux limites est constitue de deux blocs :
1 Bloc dEDP,
2 Bloc dequations aux limites.
2
Pour que le probl`eme admette une solution il faut que u
verie les deux blocs dequations.
Exemple : Probl`eme (T)
Trouver u :
u(x) = f (x)x ( EDP ) (1)
u() = g() ( C.L. ) (2)
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 12 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Formulation forte dun Pb. aux limites :
Remarques :
1
Un probl`eme aux limites est constitue de deux blocs :
1 Bloc dEDP,
2 Bloc dequations aux limites.
2
Pour que le probl`eme admette une solution il faut que u
verie les deux blocs dequations.
Exemple : Probl`eme (T)
Trouver u :
u(x) = f (x)x ( EDP ) (1)
u() = g() ( C.L. ) (2)
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 12 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Formulation forte dun Pb. aux limites :
Denition : Solution forte
Supposons que le domaine est regulier.
On appelle solution forte dun probl`eme aux limites toute
solution :
1
qui verie toutes les equations du bloc des EDP en tout
point interieur du domaine,
2
qui verie toutes les equations du bloc des conditions aux
limites en tout point du bord.
Consequences : Cas du Pb. mod`ele
Supposons que u est la solution forte du probl`eme mod`ele.
u(x) = f (x)x = u (
2
()
= f (
0
()
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 13 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Formulation forte dun Pb. aux limites :
Denition : Solution forte
Supposons que le domaine est regulier.
On appelle solution forte dun probl`eme aux limites toute
solution :
1
qui verie toutes les equations du bloc des EDP en tout
point interieur du domaine,
2
qui verie toutes les equations du bloc des conditions aux
limites en tout point du bord.
Consequences : Cas du Pb. mod`ele
Supposons que u est la solution forte du probl`eme mod`ele.
u(x) = f (x)x = u (
2
()
= f (
0
()
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 13 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Formulation forte dun Pb. aux limites :
Denition : Solution forte
Supposons que le domaine est regulier.
On appelle solution forte dun probl`eme aux limites toute
solution :
1
qui verie toutes les equations du bloc des EDP en tout
point interieur du domaine,
2
qui verie toutes les equations du bloc des conditions aux
limites en tout point du bord.
Consequences : Cas du Pb. mod`ele
Supposons que u est la solution forte du probl`eme mod`ele.
u(x) = f (x)x = u (
2
()
= f (
0
()
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 13 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Formulation forte dun Pb. aux limites :
Denition : Solution forte
Supposons que le domaine est regulier.
On appelle solution forte dun probl`eme aux limites toute
solution :
1
qui verie toutes les equations du bloc des EDP en tout
point interieur du domaine,
2
qui verie toutes les equations du bloc des conditions aux
limites en tout point du bord.
Consequences : Cas du Pb. mod`ele
Supposons que u est la solution forte du probl`eme mod`ele.
u(x) = f (x)x = u (
2
()
= f (
0
()
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 13 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Formulation forte dun Pb. aux limites :
Denition : Solution forte
Supposons que le domaine est regulier.
On appelle solution forte dun probl`eme aux limites toute
solution :
1
qui verie toutes les equations du bloc des EDP en tout
point interieur du domaine,
2
qui verie toutes les equations du bloc des conditions aux
limites en tout point du bord.
Consequences : Cas du Pb. mod`ele
Supposons que u est la solution forte du probl`eme mod`ele.
u(x) = f (x)x = u (
2
()
= f (
0
()
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 13 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Nouvelle problematique
Remarques :
f , (
(0)
() = u , (
(2)
()

T nadmet pas de solution forte

Questions :
Ce type de probl`eme Oui,
est il courant ?
Ce type de probl`eme Oui, mais sous certaines
admet il des solutions ? conditions,
Si oui Comment les Formulation(s)
chercher ? faible(s).
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 14 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Nouvelle problematique
Remarques :
f , (
(0)
() = u , (
(2)
()

T nadmet pas de solution forte

Questions :
Ce type de probl`eme Oui,
est il courant ?
Ce type de probl`eme Oui, mais sous certaines
admet il des solutions ? conditions,
Si oui Comment les Formulation(s)
chercher ? faible(s).
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 14 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Nouvelle problematique
Remarques :
f , (
(0)
() = u , (
(2)
()

T nadmet pas de solution forte

Questions :
Ce type de probl`eme Oui,
est il courant ?
Ce type de probl`eme Oui, mais sous certaines
admet il des solutions ? conditions,
Si oui Comment les Formulation(s)
chercher ? faible(s).
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 14 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Approche par minimisation de lenergie :
Exemple 1 :
(T)
_
u = f sur
u
|

= 0
Fonctionelle denergie associee au syst`eme
Soit v : IR.
J
(P)
: E??? IR
v
1
2
_

v(x) v(x) dx
_

f (x)v(x) dx
1
2
_

|v(x)|
2
dx
_

f (x)v(x) dx
J
(P)
est appelee fonctionnelle denergie associee au syst`eme T.
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 15 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Approche par minimisation de lenergie :
Exemple 1 :
(T)
_
u = f sur
u
|

= 0
Fonctionelle denergie associee au syst`eme
Soit v : IR.
J
(P)
: E??? IR
v
1
2
_

v(x) v(x) dx
_

f (x)v(x) dx
1
2
_

|v(x)|
2
dx
_

f (x)v(x) dx
J
(P)
est appelee fonctionnelle denergie associee au syst`eme T.
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 15 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Approche par minimisation de lenergie :
Exemple 1 :
(T)
_
u = f sur
u
|

= 0
Fonctionelle denergie associee au syst`eme
Soit v : IR.
J
(P)
: E??? IR
v
1
2
_

v(x) v(x) dx
_

f (x)v(x) dx
1
2
_

|v(x)|
2
dx
_

f (x)v(x) dx
J
(P)
est appelee fonctionnelle denergie associee au syst`eme T.
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 15 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Approche par minimisation de lenergie :
Identication de E espace de denition de J
(P)
J
(P)
(v) existe J
(P)
(v) <
Pour que J
(P)
(v) < soit nie il sut que :
1
_

|u(x)|
2
dx < ,
2
[
_

f (x)u(x) dx[ < .

Inegalite de Cauchy-schwarz permet :
[
_

f (x)u(x) dx[ <

f
2
(x) dx

u
2
(x) dx.
Il sut alors, que :
_

u
2
(x) dx < et
_

f
2
(x) dx < .
La fonctionnelle J
(P)
peut etre denie (ait un sens) sur
lensemble :
E =
_
u :
_

u
2
(x) dx < et
_

|u(x)|
2
dx <
_
=
_
u : u L
2
() et u
_
L
2
()
_
d
_
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 16 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Approche par minimisation de lenergie :
Identication de E espace de denition de J
(P)
J
(P)
(v) existe J
(P)
(v) <
Pour que J
(P)
(v) < soit nie il sut que :
1
_

|u(x)|
2
dx < ,
2
[
_

f (x)u(x) dx[ < .

Inegalite de Cauchy-schwarz permet :
[
_

f (x)u(x) dx[ <

f
2
(x) dx

u
2
(x) dx.
Il sut alors, que :
_

u
2
(x) dx < et
_

f
2
(x) dx < .
La fonctionnelle J
(P)
peut etre denie (ait un sens) sur
lensemble :
E =
_
u :
_

u
2
(x) dx < et
_

|u(x)|
2
dx <
_
=
_
u : u L
2
() et u
_
L
2
()
_
d
_
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 16 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Approche par minimisation de lenergie :
Identication de E espace de denition de J
(P)
J
(P)
(v) existe J
(P)
(v) <
Pour que J
(P)
(v) < soit nie il sut que :
1
_

|u(x)|
2
dx < ,
2
[
_

f (x)u(x) dx[ < .

Inegalite de Cauchy-schwarz permet :
[
_

f (x)u(x) dx[ <

f
2
(x) dx

u
2
(x) dx.
Il sut alors, que :
_

u
2
(x) dx < et
_

f
2
(x) dx < .
La fonctionnelle J
(P)
peut etre denie (ait un sens) sur
lensemble :
E =
_
u :
_

u
2
(x) dx < et
_

|u(x)|
2
dx <
_
=
_
u : u L
2
() et u
_
L
2
()
_
d
_
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 16 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Approche par minimisation de lenergie :
Identication de E espace de denition de J
(P)
J
(P)
(v) existe J
(P)
(v) <
Pour que J
(P)
(v) < soit nie il sut que :
1
_

|u(x)|
2
dx < ,
2
[
_

f (x)u(x) dx[ < .

Inegalite de Cauchy-schwarz permet :
[
_

f (x)u(x) dx[ <

f
2
(x) dx

u
2
(x) dx.
Il sut alors, que :
_

u
2
(x) dx < et
_

f
2
(x) dx < .
La fonctionnelle J
(P)
peut etre denie (ait un sens) sur
lensemble :
E =
_
u :
_

u
2
(x) dx < et
_

|u(x)|
2
dx <
_
=
_
u : u L
2
() et u
_
L
2
()
_
d
_
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 16 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Approche par minimisation de lenergie :
Identication de E espace de denition de J
(P)
J
(P)
(v) existe J
(P)
(v) <
Pour que J
(P)
(v) < soit nie il sut que :
1
_

|u(x)|
2
dx < ,
2
[
_

f (x)u(x) dx[ < .

Inegalite de Cauchy-schwarz permet :
[
_

f (x)u(x) dx[ <

f
2
(x) dx

u
2
(x) dx.
Il sut alors, que :
_

u
2
(x) dx < et
_

f
2
(x) dx < .
La fonctionnelle J
(P)
peut etre denie (ait un sens) sur
lensemble :
E =
_
u :
_

u
2
(x) dx < et
_

|u(x)|
2
dx <
_
=
_
u : u L
2
() et u
_
L
2
()
_
d
_
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 16 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Approche par minimisation de lenergie :
Identication de E espace de denition de J
(P)
J
(P)
(v) existe J
(P)
(v) <
Pour que J
(P)
(v) < soit nie il sut que :
1
_

|u(x)|
2
dx < ,
2
[
_

f (x)u(x) dx[ < .

Inegalite de Cauchy-schwarz permet :
[
_

f (x)u(x) dx[ <

f
2
(x) dx

u
2
(x) dx.
Il sut alors, que :
_

u
2
(x) dx < et
_

f
2
(x) dx < .
La fonctionnelle J
(P)
peut etre denie (ait un sens) sur
lensemble :
E =
_
u :
_

u
2
(x) dx < et
_

|u(x)|
2
dx <
_
=
_
u : u L
2
() et u
_
L
2
()
_
d
_
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 16 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Notations : Espaces energitiques
L
2
() =
_
v :
_

v
2
dx <
_
Espace des syst`emes denergie interne nie,
H
1
0
() =
_
v :
_

|v|
2
dx <
_
Espace des syst`emes denergie cinetique nie,
H
1
() =
_
v :
_

v
2
dx +
_

|v|
2
dx <
_
Espace des syst`emes denergie totale (interne + cinetique) nie.
(
2
_

_
E = H
1
0
()
Solution du Pb. (T) par methode de minimisation :
On cherche u H
1
0
qui realise lenergie minimale du systeme
(T) :
J(u) = min
vH
1
0
()
J(v)
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 17 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Notations : Espaces energitiques
L
2
() =
_
v :
_

v
2
dx <
_
Espace des syst`emes denergie interne nie,
H
1
0
() =
_
v :
_

|v|
2
dx <
_
Espace des syst`emes denergie cinetique nie,
H
1
() =
_
v :
_

v
2
dx +
_

|v|
2
dx <
_
Espace des syst`emes denergie totale (interne + cinetique) nie.
(
2
_

_
E = H
1
0
()
Solution du Pb. (T) par methode de minimisation :
On cherche u H
1
0
qui realise lenergie minimale du systeme
(T) :
J(u) = min
vH
1
0
()
J(v)
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 17 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Notations : Espaces energitiques
L
2
() =
_
v :
_

v
2
dx <
_
Espace des syst`emes denergie interne nie,
H
1
0
() =
_
v :
_

|v|
2
dx <
_
Espace des syst`emes denergie cinetique nie,
H
1
() =
_
v :
_

v
2
dx +
_

|v|
2
dx <
_
Espace des syst`emes denergie totale (interne + cinetique) nie.
(
2
_

_
E = H
1
0
()
Solution du Pb. (T) par methode de minimisation :
On cherche u H
1
0
qui realise lenergie minimale du systeme
(T) :
J(u) = min
vH
1
0
()
J(v)
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 17 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Notations : Espaces energitiques
L
2
() =
_
v :
_

v
2
dx <
_
Espace des syst`emes denergie interne nie,
H
1
0
() =
_
v :
_

|v|
2
dx <
_
Espace des syst`emes denergie cinetique nie,
H
1
() =
_
v :
_

v
2
dx +
_

|v|
2
dx <
_
Espace des syst`emes denergie totale (interne + cinetique) nie.
(
2
_

_
E = H
1
0
()
Solution du Pb. (T) par methode de minimisation :
On cherche u H
1
0
qui realise lenergie minimale du systeme
(T) :
J(u) = min
vH
1
0
()
J(v)
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 17 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Caracterisation des espaces energetiques
mathematiquement
Soit un ouvert regulier de IR
d
, d = 1, 2 ou 3.
L
2
() :
L
2
() =
_
f :
_

f
2
(x) dx <
_
1
< u, v >
0
=
_

u(x)v(x) dx, produit scalaire dans L

2
(),
2
|u|
0
=
__

u(x)
2
dx
_
1/2
est la norme associee au
produit scalaire <, >
0
,
3
L
2
() est un espace dHilbert pour la norme |.|
0
,
4
Inegalite de Cauchy-schwarz : [ < u, v >
0
[ |u|
0
|v|
0
5
Relation de densite :
L
2
() = (

()
.
0
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 18 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Caracterisation des espaces energetiques
mathematiquement
Soit un ouvert regulier de IR
d
, d = 1, 2 ou 3.
L
2
() :
L
2
() =
_
f :
_

f
2
(x) dx <
_
1
< u, v >
0
=
_

u(x)v(x) dx, produit scalaire dans L

2
(),
2
|u|
0
=
__

u(x)
2
dx
_
1/2
est la norme associee au
produit scalaire <, >
0
,
3
L
2
() est un espace dHilbert pour la norme |.|
0
,
4
Inegalite de Cauchy-schwarz : [ < u, v >
0
[ |u|
0
|v|
0
5
Relation de densite :
L
2
() = (

()
.
0
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 18 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Caracterisation des espaces energetiques
mathematiquement
Soit un ouvert regulier de IR
d
, d = 1, 2 ou 3.
L
2
() :
L
2
() =
_
f :
_

f
2
(x) dx <
_
1
< u, v >
0
=
_

u(x)v(x) dx, produit scalaire dans L

2
(),
2
|u|
0
=
__

u(x)
2
dx
_
1/2
est la norme associee au
produit scalaire <, >
0
,
3
L
2
() est un espace dHilbert pour la norme |.|
0
,
4
Inegalite de Cauchy-schwarz : [ < u, v >
0
[ |u|
0
|v|
0
5
Relation de densite :
L
2
() = (

()
.
0
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 18 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Caracterisation des espaces energetiques
mathematiquement
Soit un ouvert regulier de IR
d
, d = 1, 2 ou 3.
L
2
() :
L
2
() =
_
f :
_

f
2
(x) dx <
_
1
< u, v >
0
=
_

u(x)v(x) dx, produit scalaire dans L

2
(),
2
|u|
0
=
__

u(x)
2
dx
_
1/2
est la norme associee au
produit scalaire <, >
0
,
3
L
2
() est un espace dHilbert pour la norme |.|
0
,
4
Inegalite de Cauchy-schwarz : [ < u, v >
0
[ |u|
0
|v|
0
5
Relation de densite :
L
2
() = (

()
.
0
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 18 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Caracterisation des espaces energetiques
mathematiquement
Soit un ouvert regulier de IR
d
, d = 1, 2 ou 3.
L
2
() :
L
2
() =
_
f :
_

f
2
(x) dx <
_
1
< u, v >
0
=
_

u(x)v(x) dx, produit scalaire dans L

2
(),
2
|u|
0
=
__

u(x)
2
dx
_
1/2
est la norme associee au
produit scalaire <, >
0
,
3
L
2
() est un espace dHilbert pour la norme |.|
0
,
4
Inegalite de Cauchy-schwarz : [ < u, v >
0
[ |u|
0
|v|
0
5
Relation de densite :
L
2
() = (

()
.
0
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 18 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Caracterisation des espaces energetiques
mathematiquement
Soit un ouvert regulier de IR
d
, d = 1, 2 ou 3.
L
2
() :
L
2
() =
_
f :
_

f
2
(x) dx <
_
1
< u, v >
0
=
_

u(x)v(x) dx, produit scalaire dans L

2
(),
2
|u|
0
=
__

u(x)
2
dx
_
1/2
est la norme associee au
produit scalaire <, >
0
,
3
L
2
() est un espace dHilbert pour la norme |.|
0
,
4
Inegalite de Cauchy-schwarz : [ < u, v >
0
[ |u|
0
|v|
0
5
Relation de densite :
L
2
() = (

()
.
0
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 18 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Caracterisation des espaces energetiques
mathematiquement
Soit un ouvert regulier de IR
d
, d = 1, 2 ou 3.
L
2
() :
L
2
() =
_
f :
_

f
2
(x) dx <
_
1
< u, v >
0
=
_

u(x)v(x) dx, produit scalaire dans L

2
(),
2
|u|
0
=
__

u(x)
2
dx
_
1/2
est la norme associee au
produit scalaire <, >
0
,
3
L
2
() est un espace dHilbert pour la norme |.|
0
,
4
Inegalite de Cauchy-schwarz : [ < u, v >
0
[ |u|
0
|v|
0
5
Relation de densite :
L
2
() = (

()
.
0
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 18 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Caracterisation des espaces energetiques
mathematiquement
Soit un ouvert regulier de IR
d
, d = 1, 2 ou 3.
L
2
() :
L
2
() =
_
f :
_

f
2
(x) dx <
_
1
< u, v >
0
=
_

u(x)v(x) dx, produit scalaire dans L

2
(),
2
|u|
0
=
__

u(x)
2
dx
_
1/2
est la norme associee au
produit scalaire <, >
0
,
3
L
2
() est un espace dHilbert pour la norme |.|
0
,
4
Inegalite de Cauchy-schwarz : [ < u, v >
0
[ |u|
0
|v|
0
5
Relation de densite :
L
2
() = (

()
.
0
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 18 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Caracterisation des espaces energetiques
mathematiquement
H
1
() =
_
f L
2
() :
f
x
i
L
2
(), 1 i d
_
1
Produit scalaire :
< u, v >
1
=
_

u(x)v(x) dx +
d

i =1
_

u
x
i
v
x
i
dx
2
Norme associee :
|u|
1
=
_
|u|
2
0
+
d

i =1
u
x
i
2
_
1/2
=
_
|u|
2
0
+|u|
2
0
_
1/2
3
Lespace de Sobolev H
1
() muni du produit scalaire
<, >
1
est un espace dHilbert,
4
Densite
H
1
() = (

()
.
1
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 19 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Caracterisation des espaces energetiques
mathematiquement
H
1
() =
_
f L
2
() :
f
x
i
L
2
(), 1 i d
_
1
Produit scalaire :
< u, v >
1
=
_

u(x)v(x) dx +
d

i =1
_

u
x
i
v
x
i
dx
2
Norme associee :
|u|
1
=
_
|u|
2
0
+
d

i =1
u
x
i
2
_
1/2
=
_
|u|
2
0
+|u|
2
0
_
1/2
3
Lespace de Sobolev H
1
() muni du produit scalaire
<, >
1
est un espace dHilbert,
4
Densite
H
1
() = (

()
.
1
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 19 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Caracterisation des espaces energetiques
mathematiquement
H
1
() =
_
f L
2
() :
f
x
i
L
2
(), 1 i d
_
1
Produit scalaire :
< u, v >
1
=
_

u(x)v(x) dx +
d

i =1
_

u
x
i
v
x
i
dx
2
Norme associee :
|u|
1
=
_
|u|
2
0
+
d

i =1
u
x
i
2
_
1/2
=
_
|u|
2
0
+|u|
2
0
_
1/2
3
Lespace de Sobolev H
1
() muni du produit scalaire
<, >
1
est un espace dHilbert,
4
Densite
H
1
() = (

()
.
1
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 19 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Caracterisation des espaces energetiques
mathematiquement
H
1
() =
_
f L
2
() :
f
x
i
L
2
(), 1 i d
_
1
Produit scalaire :
< u, v >
1
=
_

u(x)v(x) dx +
d

i =1
_

u
x
i
v
x
i
dx
2
Norme associee :
|u|
1
=
_
|u|
2
0
+
d

i =1
u
x
i
2
_
1/2
=
_
|u|
2
0
+|u|
2
0
_
1/2
3
Lespace de Sobolev H
1
() muni du produit scalaire
<, >
1
est un espace dHilbert,
4
Densite
H
1
() = (

()
.
1
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 19 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Caracterisation des espaces energetiques
mathematiquement
H
1
() =
_
f L
2
() :
f
x
i
L
2
(), 1 i d
_
1
Produit scalaire :
< u, v >
1
=
_

u(x)v(x) dx +
d

i =1
_

u
x
i
v
x
i
dx
2
Norme associee :
|u|
1
=
_
|u|
2
0
+
d

i =1
u
x
i
2
_
1/2
=
_
|u|
2
0
+|u|
2
0
_
1/2
3
Lespace de Sobolev H
1
() muni du produit scalaire
<, >
1
est un espace dHilbert,
4
Densite
H
1
() = (

()
.
1
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 19 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Caracterisation des espaces energetiques
mathematiquement
H
1
() =
_
f L
2
() :
f
x
i
L
2
(), 1 i d
_
1
Produit scalaire :
< u, v >
1
=
_

u(x)v(x) dx +
d

i =1
_

u
x
i
v
x
i
dx
2
Norme associee :
|u|
1
=
_
|u|
2
0
+
d

i =1
u
x
i
2
_
1/2
=
_
|u|
2
0
+|u|
2
0
_
1/2
3
Lespace de Sobolev H
1
() muni du produit scalaire
<, >
1
est un espace dHilbert,
4
Densite
H
1
() = (

()
.
1
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 19 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Theor`eme de trace
Theorem
Soit un ouvert regulier. Lapplication denie par :

0
: H
1
() L
2
()
u
o
(u) = u
|

est lineaire et continue.

Remarques :

0
nest pas surjective. Toute fonction de L
2
() nadmet
pas necessairement un rel`evement.

0
(H
1
()) = H
1/2
().
On note
1
0
0 = H
1
0
().
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 20 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Theor`eme de trace
Theorem
Soit un ouvert regulier. Lapplication denie par :

0
: H
1
() L
2
()
u
o
(u) = u
|

est lineaire et continue.

Remarques :

0
nest pas surjective. Toute fonction de L
2
() nadmet
pas necessairement un rel`evement.

0
(H
1
()) = H
1/2
().
On note
1
0
0 = H
1
0
().
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 20 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Theor`eme de trace
Theorem
Soit un ouvert regulier. Lapplication denie par :

0
: H
1
() L
2
()
u
o
(u) = u
|

est lineaire et continue.

Remarques :

0
nest pas surjective. Toute fonction de L
2
() nadmet
pas necessairement un rel`evement.

0
(H
1
()) = H
1/2
().
On note
1
0
0 = H
1
0
().
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 20 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Theor`eme de trace
Theorem
Soit un ouvert regulier. Lapplication denie par :

0
: H
1
() L
2
()
u
o
(u) = u
|

est lineaire et continue.

Remarques :

0
nest pas surjective. Toute fonction de L
2
() nadmet
pas necessairement un rel`evement.

0
(H
1
()) = H
1/2
().
On note
1
0
0 = H
1
0
().
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 20 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Theor`eme de trace
Theorem
Soit un ouvert regulier. Lapplication denie par :

0
: H
1
() L
2
()
u
o
(u) = u
|

est lineaire et continue.

Remarques :

0
nest pas surjective. Toute fonction de L
2
() nadmet
pas necessairement un rel`evement.

0
(H
1
()) = H
1/2
().
On note
1
0
0 = H
1
0
().
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 20 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Inegalite de Poincare
Theorem
Si est borne et regulier, il existe une constante C() > 0
telle que :
v H
1
0
(), |v|
0
C()|v|
0
Theorem
H
1
0
() muni du produit scalaire << u, v >>=< u, v >
0
est un espace de Hilbert.
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 21 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Inegalite de Poincare
Theorem
Si est borne et regulier, il existe une constante C() > 0
telle que :
v H
1
0
(), |v|
0
C()|v|
0
Theorem
H
1
0
() muni du produit scalaire << u, v >>=< u, v >
0
est un espace de Hilbert.
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 21 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
Inegalite de Poincare
Theorem
Si est borne et regulier, il existe une constante C() > 0
telle que :
v H
1
0
(), |v|
0
C()|v|
0
Theorem
H
1
0
() muni du produit scalaire << u, v >>=< u, v >
0
est un espace de Hilbert.
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 21 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
H
1
0
() :
H
1
0
() =
_
f H
1
() : f
|

= 0
_
1
Produit scalaire :
<< u, v >>
1
=
d

i =1
_

u
x
i
v
x
i
dx
2
Norme associee :
|[u[|
1
=
_
d

i =1
u
x
i
2
_
1/2
=
_
|u|
2
0
_
1/2
3
Lespace de Sobolev H
1
0
() muni du produit scalaire
<<, >>
1
est un espace dHilbert,
4
Densite :
H
1
0
() = (

c
()
|.|
1
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 22 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
H
1
0
() :
H
1
0
() =
_
f H
1
() : f
|

= 0
_
1
Produit scalaire :
<< u, v >>
1
=
d

i =1
_

u
x
i
v
x
i
dx
2
Norme associee :
|[u[|
1
=
_
d

i =1
u
x
i
2
_
1/2
=
_
|u|
2
0
_
1/2
3
Lespace de Sobolev H
1
0
() muni du produit scalaire
<<, >>
1
est un espace dHilbert,
4
Densite :
H
1
0
() = (

c
()
|.|
1
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 22 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
H
1
0
() :
H
1
0
() =
_
f H
1
() : f
|

= 0
_
1
Produit scalaire :
<< u, v >>
1
=
d

i =1
_

u
x
i
v
x
i
dx
2
Norme associee :
|[u[|
1
=
_
d

i =1
u
x
i
2
_
1/2
=
_
|u|
2
0
_
1/2
3
Lespace de Sobolev H
1
0
() muni du produit scalaire
<<, >>
1
est un espace dHilbert,
4
Densite :
H
1
0
() = (

c
()
|.|
1
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 22 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
H
1
0
() :
H
1
0
() =
_
f H
1
() : f
|

= 0
_
1
Produit scalaire :
<< u, v >>
1
=
d

i =1
_

u
x
i
v
x
i
dx
2
Norme associee :
|[u[|
1
=
_
d

i =1
u
x
i
2
_
1/2
=
_
|u|
2
0
_
1/2
3
Lespace de Sobolev H
1
0
() muni du produit scalaire
<<, >>
1
est un espace dHilbert,
4
Densite :
H
1
0
() = (

c
()
|.|
1
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 22 / 22
Methode des ELEMENTS
FINIS
Mustapha GHILANI
Cadre mathematique et
fonctionnel
Modelisation
Probl`emes aux limites
Resoluton des probl`emes aux
limites
Methode de minimisation
appliquee au probl`eme
modele
Espaces fonctionnels
energetiques
H
1
0
() :
H
1
0
() =
_
f H
1
() : f
|

= 0
_
1
Produit scalaire :
<< u, v >>
1
=
d

i =1
_

u
x
i
v
x
i
dx
2
Norme associee :
|[u[|
1
=
_
d

i =1
u
x
i
2
_
1/2
=
_
|u|
2
0
_
1/2
3
Lespace de Sobolev H
1
0
() muni du produit scalaire
<<, >>
1
est un espace dHilbert,
4
Densite :
H
1
0
() = (

c
()
|.|
1
Mustapha GHILANI (UMI, ENSAM, Mekn`es) Methode des ELEMENTS FINIS 26 septembre 2010 22 / 22