Département de Mathématiques

Epreuve …nale
de
Méthodes de résolution des problèmes elliptiques

Exercice1
Soit le problème suivant (1)
8 Z Z
>
< Aru(x)rv(x)dx = f (x; u(x))v(x)dx; pour tout v 2 H01 ( )
; (1)
>
:
u2 H01 ( )

où est un ouvert borné régulier de R3 ; A = (aij )1 i;j 3 est une matrice dont les
coe¢ cients aij 2 L1 ( ) pour tout 1 i; j 3 , A coercive et f 2 L1 ( R)
positive:

1. Que représente (1), préciser le problème di¤erentiel auquel il est associé.

2. Peut on montrer l’existence de solution pour (1) par minimisation de fonc-
tionnelle.
3. Si cette solution existe peut on décider de son signe.
4. En utilisant le théorème de point …xe de Schauder, montrer l’existence de
solution de (1).

Exercice2

1. L’a¢ rmation suivante est vraie ou fausse .Justi…er votre réponse

u solution de (2) () u est une sur solution et une sous solution de (2)

u + u + u3 = 0 sur
(2)
u=0 sur @

où > 0; est un ouvert borné régulier de Rn :

2. Soit '1 la fonction propre associée à la première valeur propre 1 de
l’opérateur - sous condition de Dirichlet. Pour quelle valeur de 2 R;
u = '1 est une sous solution ou une sur solution de (2).
3. Etudier l’existence de solutions positive et négative de (2).

_________________________________________________

www.mathonec.com
 ________

Université de Tlemcen A.U 2017-2018

Département de Mathématiques

Corrigé de l’épreuve …nale

de
Méthodes de résolution des problèmes elliptiques

Exercice1 (12pts)
Soit le problème suivant (1)
8 Z Z
>
< A (x) ru(x):rv(x)dx = f (x; u(x))v(x)dx , pour tout v 2 H 1 ( )
0
>
:
u 2 H01 ( )

où est un ouvert borné régulier de R3 ; A = (aij )1 i;j 3 est une matrice

dont les coe¢ cients aij 2 L1 ( ) pour tout 1 i; j 3 , A coercive et
f 2 L1 ( R) ; positive :

1. 1.5 pt (1) est la formulation faible du problème di¤erentiel suivant

div (Aru) (x) = f (x; u(x)) sur

u=0 sur @

Où A = (aij ) véri…e une condition de coercivité qui assure que l’edp est
de type elliptique :9 > 0 tel que
3
X 2
A (x) : = aij i j j j p.p tout x 2 et tout 2 R3
i;j=1

2. 4ptsOn peut montrer l’existence de solution pour (1) par minimisation de

fonctionnelle d’énergie dé…nie sur H01 ( ) par
Z Z
1
J(u) = A (x) ru(x):ru(x)dx F (x; u(x))dx;
2

Zs
où F (x; s) := f (x; t)dt;
0
Alors on peut véri…er que J est une fonction convexe de classe C1 sur
H01 ( ) à condition que f soit continue en u.
puisque f 2 L1 ( R), alors jF (x; s)j C: jsj (avec C= kf kL1 ) ;par
suite en utilisant la coercivité de A , et l’inegalité de Holder on obtient
Z p
2
J(u) jru(x)j dx C mes ( ) kukL2
2

www.mathonec.com
 étant borné, l’inégalité de Poincaré entraine l’existence d’une constante
K = K ( ) > 0,
Z p
2
J(u) jru(x)j dx K:C mes ( ) krukL2
2

Cela montre que si kukH 1 ( ) tend vers l’in…ni, alors J(u) ! +1.
0
J est alors convexe s.c.i et coercive elle est bornée inferieurement et atteint
son minimum.
3. 1.5 ptSi cette solution existe , par le principe du maximum , on peut
décider de son signe puisque f est positive.
4. 5pts En utilisant le théorème de point …xe de Schauder ( enoncé 0.5pt),
montrons l’existence de solution de (1).
Pour w2 L2 ( ) ;considérons
Z Z
A (x) ru(x):rv(x)dx = f (x; w(x))v(x)dx , pour tout v 2 H01 ( )

u 2 H01 ( )

qui est la formulation faible du problème linéaire

div (Aru) (x) = f (x; w(x)) sur

u=0 sur @

qui admet une solution unique (par application du th. de Lax Milgram)
puisque f (:; w(:)) 2 L2 ( ) :On pose T(w)=u. L’application T est donc
une application de L2 ( )dans L2 ( ) et un point …xe de T est une solution
de (1) , on utilise le théorème de Schauder pour montrer l’existence de
point …xe.
Tout d’abord, en utilisant la coercivité de A, l’inégalité de Poincaré et
la borne L1 de f, on montre facilement que l’image de T est dans un
borné de H01 ( ) et donc (par le théorème de Rellich) dans un compact de
L2 ( ). En prenant R assez grand, l’application T envoie donc BR = fv 2
L2 ( ); kvkL2 Rgdans BR et fT (w); w 2 BR g est relativement compacte
dans L2 ( ).
la continuité de T.
Soit (wn )n2IN une suite de L2 ( ) t.q. wn ! w dans L2 ( ), quand n !
+1. On pose un = T (wn ). Après extraction d’une sous suite, on peut
supposer que wn ! w p.p. et qu’il existe u 2 H01 ( ) t.q. un * u
(f aiblement) dans H01 ( ) (et donc aussi un ! u dans L2 ( )). On va
montrer que u est solution de (1). En e¤et, Soit v 2 H01 ( ), on a
8
<Z Z
A (x) run (x)rv(x)dx = f (x; wn (x))v(x)dx , pour tout v 2 H01 ( )
:

www.mathonec.com
 En passant à la limite quand n ! +1 (en utilisant la convergence dominée
et le passage à la limite sur le produit d’une convergence faible et d’une
convergence forte dans L2 ), on obtient
8
<Z Z
A (x) ru (x):rv(x)dx = f (x; w(x))v(x)dx , pour tout v 2 H01 ( )
:

Ceci prouve que u = T (w). On a donc prouvé, après extraction d’une sous
suite, que T (wn ) ! T (w) dans L2 ( ). Par un raisonnement par l’absurde
on peut montrer que cette convergence reste vraie sans extraction de sous
suite. On a ainsi démontrer la continuité de T. On peut donc appliquer le
théorème de Schauder et conclure à l’existence d’un point …xe de T .

Exercice2 (8pts)

1. 2ptsL’a¢ rmation est vraie par de…nition de sur solution et une sous solu-
tion (les dé…nitions sont à préciser!).
2. 4pts
u + u + u3 = 0 sur
(3)
u=0 sur @
où > 0; est un ouvert borné régulier de Rn :
Si '1 est la fonction propre associée à la première valeur propre 1 de
l’opérateur - sous condition de Dirichlet, on a '1 > 0 et véri…e
'1 = 1 '1 sur
'1 = 0 sur @
( h i
2
u + u + u3 = '1 ( 1 + ) + ( '1 ) sur
u = '1 est tq:
h i u=0 sur @
2
et signe '1 ( 1 + ) + ( '1 ) = signe ( )
donc si > 0; u = '1 est une sur solution et si < 0; u = '1 est une
sous solution de (2).
3. 2pts En considérant la solution triviale u 0 comme sous solution ou en-
core comme sur solution , on obtient des solutions positives et des solutions
négatives.(+1pt pour l’énoncé du th. utilisé)
a) u = 0 et u= '1 avec < 0 les sous et sur solution sont bien ordonnées
¯
, il existe alors une solution de (2) dans (u; u; ) :
¯
b)u = '1 avec > 0 et u= 0; les sous et sur solution sont bien or-
¯
données , il existe alors une solution de (2) dans (u; u; )
¯
_________________________________________________________

www.mathonec.com