• Aucun résultat trouvé

Probl` eme Soit Ω un ouvert born´ e r´ egulier de IR 3 de bord ∂Ω.

N/A
N/A
Protected

Academic year: 2022

Partager "Probl` eme Soit Ω un ouvert born´ e r´ egulier de IR 3 de bord ∂Ω."

Copied!
2
0
0

Texte intégral

(1)

Examen de Calcul Scientifique et Optimisation , janvier 2011 Cours non autoris´ e

Probl` eme Soit Ω un ouvert born´ e r´ egulier de IR 3 de bord ∂Ω.

On fixe f ∈ (L 2 (Ω)) 3 , λ ∈ L 2 (Ω), ρ > 0. Pour u ∈ (H 1 (Ω)) 3 , on pose : J (u) = 1

2 Z

ρ|u| 2 + |∇u| 2 dx − Z

f · u dx. (1)

Dans tout le probl` eme, on note K l’ensemble

K = {u ∈ (H 1 (Ω)) 3 / div u = λ}.

On d´ esigne par k.k indiff´ eremment la norme de L 2 (Ω) et (L 2 (Ω)) 3 . L’objectif de ce probl` eme est de caract´ eriser le minimum du probl` eme inf K J puis de l’approcher.

I. Probl` eme approch´ e par p´ enalisation

Soit ε > 0. Pour u ∈ (H 1 (Ω)) 3 , on pose :

J ε (u) = J (u) + 1 2ε

Z

| div u − λ| 2 dx (2)

1. Justifier rapidement que J ε est continue sur (H 1 (Ω)) 3 et strictement convexe.

2. En d´ eduire que J ε admet un unique minimum sur (H 1 (Ω)) 3 . 3. Caract´ eriser le minimum (ie donner l’´ equation d’Euler).

Dans ce qui suit, on note u ε l’unique minimum de J ε sur (H 1 (Ω)) 3 . II. Passage ` a la limite ε → 0.

4. Montrer que la famille (u ε ) 1>ε>0 est born´ ee dans (H 1 (Ω)) 3 , uniform´ ement par rapport ` a ε ∈]0, 1[.

5. Montrer que pour une sous-suite div u ε tend fortement vers λ dans (L 2 (Ω)) 3 .

6. Soit π ε = 1 ε ( div u ε − λ). Montrer que (∇π ε ) ε est born´ ee dans le dual de (H 1 (Ω)) 3 . En d´ eduire que (π ε ) ε est born´ ee dans ˙ L 2 (Ω) en admettant que

∃c > 0, ∀q ∈ L 2 (Ω) 3 , ( Z

|q| 2 dx)

12

≤ c|

Z

q dx| + ck∇qk H

−1

(Ω) .

7. En d´ eduire l’´ equation aux d´ eriv´ ees partielles v´ erifi´ ee par u et π les limites d’une sous-suite des suites (u ε ) ε et (π ε ) ε . Pr´ eciser la condition limite en u.

8. Montrer que u est solution du probl` eme de minimisation inf K J.

9. Montrer que u, solution du probl` eme de minimisation inf K J, est unique.

1

(2)

III. Algorithme

On cherche un algorithme destin´ e ` a converger vers le point (u, π) caract´ eris´ e ci-dessus.

On consid` ere l’algorithme suivant :

1. On choisit π 0 ∈ (H 1 (Ω)) 3 quelconque.

2. Connaissant π n , on trouve u n+1 ∈ (H 1 (Ω)) 3 qui minimise u 7→ J (u)+ < ∇π n , u > H

−1

,H

1

sur (H 1 (Ω)) 3 .

3. On d´ efinit π n+1 qui minimise p 7→ G n (p) sur H 1 (Ω) o` u G n (p) = 1

2 Z

|p − π n | 2 + ρ|∇(p − π n )| 2 dx + α Z

( div u n+1 − λ)p dx, avec α > 0.

10. V´ erifier que l’algorithme est bien d´ efini et ´ ecrire les ´ equations d’Euler.

11. En ´ ecrivant les ´ equations v´ erifi´ ees par v n = u n − u et q n = π n − π, montrer que kq n+1 k 2 − kq n k 2 + ρ(k∇q n+1 k 2 − k∇q n k 2 ) + α

Z

div v n+1 (q n+1 − q n + 2q n ) dx = 0.

12. Montrer que

ρkv n+1 k 2 + k∇v n+1 k 2 = Z

div v n+1 q n dx.

13. Montrer que

−α Z

div v n+1 (q n+1 − q n ) dx = kq n+1 − q n k 2 + ρk∇(q n+1 − q n )k 2 . En d´ eduire que

kq n+1 − q n k 2 + ρk∇(q n+1 − q n )k 2 ≤ αkv n+1 kk∇(q n+1 − q n )k et que

kq n+1 − q n k 2 + ρk∇(q n+1 − q n )k 2 ≤ α 2

ρ kv n+1 k 2 .

14. D´ eduire des deux derni` eres questions que α

Z

div v n+1 (q n+1 − q n + 2q n ) dx ≥ (2αρ − α 2

ρ )kv n+1 k 2 + 2αk∇v n+1 k 2 .

15. A l’aide des questions pr´ ec´ edentes, ´ etablir une condition de petitesse sur α assurant la d´ ecroissante de la suite (kq n k 2 + ρk∇q n k 2 ) n .

16. En d´ eduire la convergence de la suite (v n ) n , puis celle de (q n ) n . Conclure.

2

Références

Documents relatifs

La principale (dont les autres d´ ecoulent) est la suivante : Pour deux arˆ etes parall` eles, la diff´ erence de cotes entre les extr´ emit´ es est la mˆ eme (pour une

la derni`ere in´egalit´e r´esultant de

´ Enoncer le th´eor`eme de la limite monotone pour les suites, puis d´emontrer l’un des quatre r´esultats (au

[r]

Donner la d´efinition de la borne sup´erieure de A ainsi qu’une condition n´ecessaire et suffisante pour son existence. En particulier, on peut faire la seconde partie en admettant

(la dynamique de f sur I correspond au carr´ e en gras dans le dessin ci-dessous)3. Calculer

Montrer qu’il existe une solution d´ efinie sur R +∗ et la calculer..

Donn´ ee: une machine de Turing M , qui ne revient jamais en d´ ebut de ruban, ne revient jamais dans l’´ etat initial, n’´ ecrit jamais de blancs?. Question: M ne s’arrˆ ete