Exo 6

Télécharger au format pdf ou txt
Télécharger au format pdf ou txt
Vous êtes sur la page 1sur 1

Exercice 6 (Problème avec condition aux limites de Fourier) Soit Ω un ouvert borné de R3 , dont la

frontière ∂Ω est "régulière". On considère le problème aux limites suivant :


Trouver u ∈ H 1 (Ω) tel que

u − ∆u = f dans Ω,
(P) :
∇u · n + λu = g sur ∂Ω,

avec λ ≥ 0, f ∈ L2 (Ω), g ∈ L2 (∂Ω), Im γ0 ⊂ L2 (∂Ω) et Im γ0 est dense dans L2 (∂Ω).


1. Construire la formulation variationnelle (FV) associée au problème P.
2. Prouver l’unicité de la solution de (FV). Que se passe-t-il si λ < 0 ?
3. Établir l’équivalence entre les problèmes (P) et (FV).
Correction
Corrigé de la question 1 : En multipliant la première équation de (P) par v ∈ H 1 (Ω) et en intégrant sur
Ω, on obtient Z Z Z
uv dΩ − ∆u v dΩ = f v dΩ, ∀v ∈ H 1 (Ω).
Ω Ω Ω
Comme u ∈ H 1 (Ω)
et ∆u = u − f ∈ L2 (Ω), on a u ∈ H 2 (Ω). En appliquant la formule de Green au
deuxième terme, on obtient
Z Z Z Z
∂u
uv dΩ + ∇u · ∇v dΩ − v dΓ = f v dΩ, ∀v ∈ H 1 (Ω).
Ω Ω ∂Ω ∂n ∂Ω ∂Ω Ω

Enfin, en utilisant la deuxième équation de (P), on obtient la formulation variationnelle associée : Trou-
ver u ∈ H 1 (Ω) tel que
Z Z Z
uv dΩ + ∇u · ∇v dΩ + λ u v dΓ
Ω Ω ∂Ω ∂Ω ∂Ω
Z Z
= f v dΩ + gv dΓ, ∀v ∈ H 1 (Ω).
Ω ∂Ω ∂Ω

Corrigé de la question 2 : Soient u1 , u2 deux solutions de (FV), alors


Z Z Z
(u1 − u2 ) v dΩ + ∇(u1 − u2 ) · ∇v dΩ + λ (u1 |∂Ω − u2 |∂Ω ) v dΓ = 0, ∀v ∈ H 1 (Ω).
Ω Ω ∂Ω ∂Ω

En choisissant la fonction test v = u1 − u2 , on obtient


∥u1 − u2 ∥2H 1 (Ω) + λ∥ u1 |∂Ω − u2 |∂Ω ∥2L2 (∂Ω) = 0.
Comme λ ≥ 0, on conclut que ∥u1 − u2 ∥H 1 (Ω) = 0 et donc u1 = u2 . Si λ < 0, le raisonnement n’est
pas aussi direct, mais sous certaines conditions sur λ et C0 , on peut encore conclure à l’unicité.
Corrigé de la question 3 : D’après ce que l’on vient de voir, si u est solution de (P), alors u vérifie la
formulation variationnelle (FV). Examinons la réciproque. Dans (FV), en choisissant v ∈ H 1 (Ω), on a
Z Z
(uv + ∇u · ∇v) dΩ = f v dΩ,
Ω Ω

puisque v = 0 sur ∂Ω. En manipulant les intégrales, on obtient


3
X ∂u ∂v
⟨f, v⟩ = ⟨u, v⟩ + ⟨ , ⟩ = ⟨u, v⟩ − ⟨∆u, v⟩.
∂xi ∂xi
i=1

Cela implique que


⟨u − ∆u, v⟩ = ⟨f, v⟩, ∀v ∈ D(Ω),
ce qui montre que u − ∆u = f au sens des distributions. Puisque u et f appartiennent à L2 (Ω) et ∆u ∈
L2 (Ω), on a u − ∆u = f presque partout dans Ω, et donc
Z Z
(u − ∆u)v dΩ = f v dΩ, ∀v ∈ H 1 (Ω).
Ω Ω

Vous aimerez peut-être aussi

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy