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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Examen – <strong>Analyse</strong> <strong>Fonctionnelle</strong> 11 Février 2011<br />

Exercice III :<br />

Soit µ > 0, a ∈ R et ϕ ∈ L 2 (I) avec I =]0, π[ . On considère l’équation sur I,<br />

∂ t z µ − µ∂ 2 xxz µ + a∂ x z µ = 0, dans ]0, ∞[×I<br />

z µ (t, 0) = z µ (t, π) = 0, sur ]0, ∞[<br />

z µ (0, ·) = ϕ, sur I.<br />

III.1.— Ecrire la formulation variationnelle de ce problème.<br />

Dans la suite, on suppose que ce problème variationnel admet une solution unique z µ ∈ C([0, ∞[, L 2 (I)) ∩<br />

L 2 ([0, T ], H 1 (I)), pour tout T > 0.<br />

III.2.— Soit γ un fonction dérivable et strictement positive dans [0, ∞[ qui vérifie<br />

γ ′ (t) ≤ −λγ(t),<br />

∀t.<br />

On suppose que λ > 0. Vérifier que<br />

γ(t) ≤ γ(0)e −λt ,<br />

∀t.<br />

III.3.– Montrer que<br />

1<br />

2 ∂ t(‖z µ ‖ 2 L 2 (I) ) + µ‖∂ xz µ ‖ 2 L 2 (I) = 0, ∀t > 0.<br />

III.4.– En déduire qu’il existe une constant β > 0 telle que<br />

∂ t (‖z µ ‖ 2 L 2 (I) ) ≤ −2βµ‖z µ‖ 2 L 2 (I), ∀t > 0.<br />

III.5.– Calculer les limites suivantes dans L 2 (I), (utiliser III.2.)<br />

lim ‖z µ(t, ·)‖ L<br />

t→+∞ 2 (I), (∀µ > 0)) et lim ‖z µ(t, ·)‖ L<br />

µ→+∞ 2 (I), (∀t > 0)).<br />

III.6.– En déduire qu’en fait z µ ∈ L 2 ([0, +∞[, H 1 (I)).<br />

III.7.– Montrer que qu’il existe une constante C > 0 indépendante de µ qui vérifie<br />

‖z µ ‖ L2 ([0,T ]×I) ≤ C.<br />

En déduire que z µ converge faiblement vers une fonction z dans L 2 ([0, T ] × I) lorsque µ → 0. Vérifer<br />

qu’on a au sens des distributions :<br />

∂ t z + a∂ x z = 0,<br />

dans ]0, T [×I<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!