09.01.2015 Views

Recueil d'Examens Analyse Fonctionnelle - lamsin

Recueil d'Examens Analyse Fonctionnelle - lamsin

Recueil d'Examens Analyse Fonctionnelle - lamsin

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Examen Session de rattrapage – <strong>Analyse</strong> <strong>Fonctionnelle</strong> 22 Mai 2009<br />

II.1.— Soit la semi-norme<br />

|v| ∆ = ‖∆v‖ L 2 (Ω), ∀v ∈ H0 2 (Ω),<br />

établir que<br />

|v| H 2 (Ω) ≤ ‖∆v‖ L 2 (Ω) ≤ 2|v| H 2 (Ω), ∀v ∈ H0 2 (Ω).<br />

Raisonner par densité.<br />

II.2.– Montrer que | · | ∆ détermine en fait une norme sur H0 2 (Ω) qui est équivalente à la norme<br />

‖ · ‖ H 2 (Ω).<br />

Pour tout g ∈ H0 1(Ω) on considère le problème variationnel : chercher u ∈ H2 0 (Ω) tel que<br />

∫<br />

∫<br />

(1)<br />

∆u∆v dx = ∇g · ∇v dx, ∀v ∈ H0 2 (Ω).<br />

Ω<br />

Ω<br />

II.3.— Montrer que l’application R : g ↦→ u, (u est solution de (1)) est bien définie de H0 1 (Ω) dans<br />

H0 2 (Ω), justifier rigoureusement votre réponse. Montrer qu’elle est continue. En déduire qu’elle est<br />

compacte et auto-adjointe de H0 1 (Ω) dans lui même.<br />

II.4.— Montrer par le théorème de Hilbert-Schmidt, qu’il existe une base Hilbertienne (e k ) k de<br />

(H 1 0 (Ω), | · | H 1 (Ω)), et une suite de réels (λ k ) k ⊂]0, +∞[ telles que<br />

∆ 2 e k = −λ k ∆e k , dans Ω<br />

∂ n e k = 0, sur ∂Ω<br />

avec ∆ 2 (·) = ∆∆(·), ∂ n désigne la dérivée normale et ∂Ω est le bord de Ω. Vérifier que λ k → ∞.<br />

A-t-on ∆e k = −λ k e k <br />

II.5.— Établir que (e k) k est une famille orthogonale qui est dense dans H 2 0 (Ω).<br />

II.6.— On se place dans le cas où Ω =]0, 1[. Construire (e k ) k ⊂ H 2 0 (]0, 1[) et (λ k) k ⊂ R. En déduire<br />

la plus petite constante γ vérifiant<br />

|v| H 1 (Ω) ≤ γ|v| ∆ , ∀v ∈ H 2 0 (]0, 1[).<br />

□<br />

Mastère de Mathématiques Appliquées 2/2

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!