Formulation Variationnelle

Introduction la mthode
des lments finis

Les formulations variationnelles
Sonia Fliss
Thorme de trace (1) Rappel
Premier thorme de trace

Lapplication trace : ( ) ( )= { | | <+ }
( )= = |
vrifie , ( ), ( ) ( )
Comme ( ) est dense dans ( ) , lapplication se prolonge par

continuit en : ( ) ( ) qui vrifie
= |
, ( ), ( ) ( )
Remarques : Lingalit suivante est fausse

, ( ), ( ) ( )
On ne peut pas parler de la trace dune fonction de ( )
nest pas surjective de ( ) dans ( )
Limage de est un sous-espace strict de ( ), constitu de
fonctions plus rgulires. Cet espace est dense dans ( ) .
Cet espace est not /
( ).
Premier thorme de trace

Lapplication trace : ( ) ( )= { | | <+ }
( )= = |
vrifie , ( ), ( ) ( )

= |
, ( ), ( ) ( )
Proposition
Le noyau de est ( ) . Autrement dit
( )={ ( ), | = }
Thorme de trace (1)
Exemple en 2D :
La fonction v: ( , ) ln(ln(
+
))
elle appartient ( )
(0,0)
mais elle nappartient pas ( )
puisquelle nest pas continue en (0,0).
On ne peut donc pas dfinir v(0,0)!
Elle appartient ( ) ( faire en exercice)

donc daprs le thorme de trace, on peut
dfinir sa trace sur le bord et cest une
fonction de ( ) .
Gnralisation des formules de Green (1)
Thorme
Pour toute fonction ( )
(G0 bis) =
Vous trouverez les notations suivantes : ou | ou
Corollaire 1
Pour toutes fonctions , ( )
(G1 bis) + =
Vous trouverez les notations suivantes : ou | | ou

Peut on gnraliser la Formule de Green dordre 2?
C ( ) C ( ), C( ) C ( )
(G2) + =
Lintgrale volumique stend aux fonctions ( ), ( )

1 /2 1 /2
| u v d| | u|2 d |v|2 d u L2 v L2 u H2 v H1
C.S.
1/2 1 /2
| u v d| | u|2 d | v|2 d u H1 v H1 u H2 v H1
C.S.
Peut on tendre lintgrale surfacique ces fonctions ?

Cest le deuxime thorme de trace.
Rappel: ( )={ ( ) ( ) , { ,..., } }

n 2
2 2 v 2
v H 2 ( ) = v H 1 ( ) + | | d
xi xj
i,j=1
Deuxime thorme de trace

Lapplication trace : ( ) ( ) ={ | | <+ }
= |
vrifie , ( ), ( ) ( )

= |
, ( ), ( ) ( )
Remarques : Lingalit suivante est fausse

, ( ), ( ) ( )
On ne peut pas parler de la trace normale dune fonction de ( )

C ( ) C ( ), C( ) C ( )
(G2) + =
=
Lintgrale volumique stend aux fonctions ( ), ( )
| uv + u v d| u H 2 ( ) v H 1 ( )

Lintgrale surfacique stend aux fonctions ( ), ( )

car dans ce cas et sont dans ( ).
| u nvd | 1 u L2 ( ) 0 v L2 ( ) C u H2 ( ) v H1 ( )
C.S.
daprs les 1er et 2me
thormes de trace
Thorme
Pour toutes fonctions ( ), ( )
(G2 bis) + =
Vous trouverez les notations suivantes : ou | | ou
Proposition
Soient w H2 () et ( )
( ), | = | =
Preuve : On rappelle que w n| g est dans L2 ( ) ,

w n| g, 0 v L2 ( ) = 0, v H1 ( ) w n| g, L2 ( )
= 0, Im 0
comme est dense dans L2 ( )

w n| g, L2 ( )
= 0, L2 ( )
(
Une petite parenthse (hors programme)
On vient de voir que pour tout ( ), ( )
(G2) + =
Peut on tendre la formule aux fonctions ( , ), ( )?

Pourquoi cette question?
On rappelle que ( ) ( , )
mais il ny a pas galit...
n 2
2 2 v 2
Rappel: ( , )={ ( ) ( )} v H1 (, = v H 1 ( ) + | 2| d
)
i, j =1
xi
(G2) + =

On peut tendre lintgrale volumique
1 /2 1 /2
| u v d| | u|2 d |v|2 d u L2 v L2 u H1 ( , ) v H 1 ( )
C.S.
1/2 1 /2
| u v d| | u|2 d | v|2 d u H1 v H1 u H 1 ( , ) v H 1 ( )
C.S.
Quant lintgrale surfacique

Si v est dans ( , ) mais pas dans ( ) , / ( ) mais on
peut lui donner un sens plus faible. Il faudrait remplacer
n 2
v 2
Rappel: ( , ) = { u n( v )d }
( )(Im
0) H (, )u= n
2
v< v ,Hv(>
2
) +Im 0 | 2| d 1 1
x i
i, j =1
(G2) + =
La rponse est OUI mais cest plus compliqu !
Dans ce cours, ds quune fonction est dans H1 (, ), on fera

lhypothse quelle est dans H2 () pour pouvoir appliquer la
formule de Green avec des intgrales.
On admettra que tout stend au cas o H2 () H1 ( , ) , les preuves sont

seulement un peu plus techniques.
)
Formulations variationnelles
Dans cet amphi, nous nous intressons la rsolution des problmes
Trouver ( ) telle que + =
+conditions aux limites
avec ( ).
1) avec conditions de Dirichlet homognes
=
2) avec conditions de Dirichlet non homognes
= avec ...
3) avec conditions de Neumann (non) homognes
= avec ( ).
4) Le cas des conditions de Fourier + = avec ( )
sera tudi dans lexercice 1 (TD2).
Les conditions aux limites jouent un rle crucial !

Conditions aux limites de type Dirichlet
homognes
Soit ( ).
=
On multiplie lquation volumique par une fonction test ( )
et on intgre sur
+ =
u H1 () et u=u f L 2 ( ) ( , )
On suppose u H2 () et on a ( ) , on peut donc appliquer
la formule de Green
| | + = (daprs
G2 bis)
Rappel Pour toutes fonctions u H2 (), v H 1 ( )
(G2 bis) + = | |
homognes
Soit ( ).
=
Pour toute fonction test ( )
| | + = (daprs
G2 bis)
Si on considre {Que faire de ce terme?

( ), lintgrale surfacique disparat
+ =
Comme ( ) et = , on a galement ( ).
Rappel.
( ) est dfini come ladhrence de D( ) dans ( ). On montre de plus que
( )={ ( ), | = }
homognes
Soit ( ).
=
Trouver ( ) telle que

( ) + =
Remarques :
La solution u et les fonctions test v appartiennent au mme
espace ( ) , un espace de Hilbert (cest un sous espace ferm de ( ))
La condition aux limites apparat dans la dfinition de lespace

(ici ( )) . On parle de condition aux limites essentielle.
homognes
Soit ( ).
=

( ) + =
Remarques : La F.V. admet au plus une solution.

Si et sont solutions alors
( ) ( ) + ( ) =
En particulier pour = ( ),
( ) +| | = ( ) =
=
homognes
Soit ( ).
=

( ) + =
Remarques : La solution u de la F.V. est unique.

La solution du problme de dpart est donc galement unique.
Dpendance continue par rapport la donne f
Si on choisit v = u dans la F.V.
| | +| | = ( ) ( ) ( )
C.S.
( ) ( ) ( )
homognes
Soit ( ).
=

( ) + =

Dpendance continue par rapport la donne f
( ) ( )
La F.V. et le problme de dpart sont quivalents. En effet...

homognes
Soit ( ).
( ) + =
1) On cherche u dans ( ) donc =
On a donc retrouv la condition aux limites du problme de dpart.
Rappel de lamphi 1.
( ) est dfini come ladhrence de D( ) dans ( ). On montre de plus que
( )={ ( ), | = }
homognes
Soit ( ).
( ) + =
2) On choisit ensuite D( ) ( )
D( ) : v support compact + ( ), ( ) ( )
+ | = ( )
On aimerait appliquer la formule (G2 bis) mais on ne sait pas a

priori que u H2 () ou au moins que ( , )
On passe par une drivation au sens des distributions
= = < , >= < , >

= = =
( ) D( ) dr. au sens des distrib.

= < , >
homognes
Soit ( ).
( ) + =
2) On choisit ensuite D( ) ( )
= < , >
et en utilisant galement
=< , > , =< , > car , ( ) D( )
< u+u f, v >= 0, v D()

u+u f=0 dans D ()
u+u=f dans L2 () car ( )
+ =
homognes
Soit ( ).
( ) + =

=
Il y a donc quivalence entre les 2 problmes. Qua-t-on gagn?
On verra la prochaine sance que la F.V. est un problme

bien pos ( existence, unicit dune solution et continuit par rapport aux
donnes ) en utilisant le thorme de Lax Milgram.
Lapproximation de la F.V. par la mthode des lments finis

sera lobjet des sances suivantes.
Conditions aux limites de type Dirichlet non
homognes
Soient ( ) et ...
=
A quel espace doit appartenir la donne g ?

Est ce quune donne surfacique dans ( ) suffit? NON !
Comme on cherche ( ), pour que la condition aux

limites ait un sens, il faut que
( )( /
( ))
Rappel Lapplication trace : ( ) ( ) nest pas surjective. Limage de est

= |
un sous-espace strict de ( ), constitu de fonctions plus rgulires .
homognes
Soient ( ) et ( )
=
et on intgre sur
+ =
u H1 () et u=u f L 2 ( ) ( , )
la formule de Green
| | + = (daprs
G2 bis)
Si on considre ( ), lintgrale surfacique disparat
+ =
homognes
Soient ( ) et ( )
=
Trouver ( ) telle que = et

( ) + =
Remarques : La F.V. admet au plus une solution..

( ) ( ) + ( ) =
En particulier pour = ( ), ( puisque u1 | = u2 | = g)
( ) +| | = ( ) =
=
homognes
Soient ( ) et ( )
=

( ) + =

La F.V. et le problme de dpart sont quivalents.

Cest exactement la mme dmonstration que dans le cas des conditions de Dirichlet
homognes.
homognes
Soient ( ) et ( )
=

( ) + =
Remarques : La solution u et les fonctions test v

nappartiennent pas au mme espace.
Comme est surjective de ( ) dans ( ), on sait que
( ), | = est un relvement de g.
On montre facilement que = est dans ( ) et vrifie
( ) + =
homognes
Soient ( ) et ( )
( ) + =
Trouver ( ) avec = + o
( ), | =
( ) est telle que
( ) + =
Remarques : La solution est indpendante du choix du relvement!
Pour tout ( ) , comment construire un ?
Exemple simple : pour g=C (une constante), il suffit de choisir =C.
Dans le cas gnral, on verra quon aura simplement besoin de le
faire au niveau discret et que cest relativement simple.
homognes
Soient ( ) et ( )
Trouver ( ) avec = + o
( ), | =
( ) est telle que
( ) + =
Cest ce problme dont on tudiera le caractre bien pos

(grce au thorme de Lax Milgram) et que lon pourra
discrtiser par la mthode des lments finis.
Conditions aux limites de type Neumann
Soient ( ) et ( ).
=
et on intgre sur
+ =
u H1 () et u=u f L 2 ( ) ( , )
la formule de Green
| | + = (daprs
G2 bis)
+ = + | (daprs
la cond. aux lim.)

Soient ( ) et ( ).
=

( ), + = + |
Remarques :
La solution u et les fonctions test v appartiennent au mme
espace ( ), un espace de Hilbert.
La conditions aux limites napparat pas dans la dfinition de

lespace (ici ( )) mais directement dans la F.V.
On parle de condition aux limites naturelle.
Soient ( ) et ( ).
=

( ), + = + |
Remarques : La F.V. admet au plus une solution.

( ), ( ) + ( ) =
En particulier pour = ( ),
( ) +| | = ( ) =
=
Soient ( ) et ( ).
=

( ), + = + |
Remarques : La solution u de la F.V. est unique

et donc la solution du problme dpart est aussi unique.
La F.V. et le problme de dpart sont quivalents. En effet...

Soient ( ) et ( ).
( ), + = + |
1) On commence par choisir D( ) ( )

D( ) : v support compact + ( ), ( ) ( )
Comme | = , dans la F.V. il reste
+ =
On aimerait appliquer la formule (G2 bis) mais on ne sait pas a
priori que u H2 () ou au moins que ( , )
comme au transparent 25
= = < , >= < , >= < , >

= = =
( ) D( ) der. au sens des distrib.

Soient ( ) et ( ).
( ), + = + |
1) On commence par choisir D( ) ( )

= < , >
et en utilisant galement
=< , > , =< , > car , ( ) D( )
< u+u f, v >= 0, v D()

u+u f=0 dans D ()
u+u=f dans L2 () car ( )
+ =
Soient ( ) et ( ).
( ), + = + |
2) On choisit ensuite ( )
On sait maintenant que = ( ) donc ( , ). On
suppose u H2 () et on peut appliquer la formule (G2 bis)
La F.V. devient ( ),
+ | | + = + |
On vient de dmontrer que + = ( ) donc il reste

( ), | | =
Rappel
Soient w H2 () et ( )
( ), | = | =
Soient ( ) et ( ).
( ), + = + |
2) On choisit ensuite ( )
On sait maintenant que = ( ) donc ( , ). On
suppose u H2 () et on peut appliquer la formule (G2 bis)
La F.V. devient ( ),
+ | | + = + |
On vient de dmontrer que + = ( ) donc il reste

( ), | | =
ce qui implique | = ( )
ou encore | =
Soient ( ) et ( ).
( ), + = + |

=
Il y a donc quivalence entre les 2 problmes. Qua-t-on gagn?
On verra la prochaine sance que la F.V. est un problme

bien pos ( existence et unicit dune solution ) en utilisant le
thorme de Lax Milgram.
Lapproximation de la F.V. par la mthode des lments finis
sera lobjet des sances suivantes.
Comparaison entre les conditions aux limites
Faire pareil pour la condition de
Dirichlet en laissant le terme surfacique
essentielles et naturelles
ou en prenant u dans H^2..
Soit ( ).
Trouver ( ) telle que Trouver ( ) telle que
( ) + = ( ), + =
Trouver ( ) telle que Trouver ( ) telle que

+ = + =
= =
La condition aux limites intervient La condition aux limites intervient

dans lespace: C.L. essentielle. naturellement dans la F.V.: C.L. naturelle
Il est impossible de prendre en Dans la F.V. pourquoi ne pas chercher

compte cette condition directement u dans ...
dans la F.V. { ( ), = }
pour une fonction de , na pas de sens.
{ ( ), = }
la forme bilinaire nest pas coercive sur cet
espace : on ne peut pas appliquer le
thorme de Lax Milgram.
Introduction la mthode
des lments finis
Les formulations variationnelles
Sonia Fliss

Formulation Variationnelle

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Formulation Variationnelle

Transféré par

Droits d'auteur :

Formats disponibles

Introduction la mthode

des lments finis

Premier thorme de trace

Comme ( ) est dense dans ( ) , lapplication se prolonge par

Remarques : Lingalit suivante est fausse

Premier thorme de trace

Comme ( ) est dense dans ( ) , lapplication se prolonge par

Elle appartient ( ) ( faire en exercice)

Vous trouverez les notations suivantes : ou | ou

Vous trouverez les notations suivantes : ou | | ou

Lintgrale volumique stend aux fonctions ( ), ( )

Peut on tendre lintgrale surfacique ces fonctions ?

Rappel: ( )={ ( ) ( ) , { ,..., } }

Deuxime thorme de trace

Comme ( ) est dense dans ( ) , lapplication se prolonge par

Remarques : Lingalit suivante est fausse

On ne peut pas parler de la trace normale dune fonction de ( )

Lintgrale surfacique stend aux fonctions ( ), ( )

Vous trouverez les notations suivantes : ou | | ou

Preuve : On rappelle que w n| g est dans L2 ( ) ,

comme est dense dans L2 ( )

Peut on tendre la formule aux fonctions ( , ), ( )?

Peut on tendre la formule aux fonctions ( , ), ( )?

Quant lintgrale surfacique

Peut on tendre la formule aux fonctions ( , ), ( )?

La rponse est OUI mais cest plus compliqu !

Dans ce cours, ds quune fonction est dans H1 (, ), on fera

On admettra que tout stend au cas o H2 () H1 ( , ) , les preuves sont

Les conditions aux limites jouent un rle crucial !

Si on considre {Que faire de ce terme?

Trouver ( ) telle que

La condition aux limites apparat dans la dfinition de lespace

Trouver ( ) telle que

Remarques : La F.V. admet au plus une solution.

Trouver ( ) telle que

Remarques : La solution u de la F.V. est unique.

Trouver ( ) telle que

Remarques : La solution u de la F.V. est unique.

La F.V. et le problme de dpart sont quivalents. En effet...

1) On cherche u dans ( ) donc =

On a donc retrouv la condition aux limites du problme de dpart.

On aimerait appliquer la formule (G2 bis) mais on ne sait pas a

On passe par une drivation au sens des distributions

= = < , >= < , >

( ) D( ) dr. au sens des distrib.

< u+u f, v >= 0, v D()

Trouver ( ) telle que + =

Il y a donc quivalence entre les 2 problmes. Qua-t-on gagn?

On verra la prochaine sance que la F.V. est un problme

Lapproximation de la F.V. par la mthode des lments finis

A quel espace doit appartenir la donne g ?

Comme on cherche ( ), pour que la condition aux

Rappel Lapplication trace : ( ) ( ) nest pas surjective. Limage de est

Trouver ( ) telle que = et

Remarques : La F.V. admet au plus une solution..

Trouver ( ) telle que = et

Remarques : La solution u de la F.V. est unique.

La F.V. et le problme de dpart sont quivalents.

Trouver ( ) telle que = et

Remarques : La solution u et les fonctions test v

Cest ce problme dont on tudiera le caractre bien pos

la cond. aux lim.)

Trouver ( ) telle que

La conditions aux limites napparat pas dans la dfinition de