04.01.2015 Views

ANALYSE FONCTIONNELLE : séance 2

ANALYSE FONCTIONNELLE : séance 2

ANALYSE FONCTIONNELLE : séance 2

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

Analyse Fonctionnelle 1<br />

<strong>ANALYSE</strong> <strong>FONCTIONNELLE</strong> : séance 2<br />

ECP 3 ème année<br />

Option Mathématiques appliquées<br />

Introduction aux espaces de Hilbert.<br />

Objectifs<br />

Programme de la séance 2<br />

• Espace normé, espace préhilbertien, espace de Banach et de Hilbert.<br />

• Le théorème de projection sur un convexe fermé. Projection sur un sous espace fermé ; si V ⊂ H<br />

est fermé, alors H = V ⊕ V ⊥ .<br />

• Le théorème de Riesz, l’existence d’une base dans un espace de Hilbert séparable.<br />

• Introduction à la convergence faible.<br />

Exercices corrigés en cours<br />

Question 1<br />

Théorème de Riesz : version constructive.<br />

Soit H un espace de Hilbert séparable et L(v) une forme linéaire continue sur H. On veut montrer<br />

qu’il existe u ∈ H, unique, tel que<br />

∀v ∈ H 〈u, v〉 = L(v)<br />

• En utilisant l’existence d’une base orthonormée (e k , k = 1, ..., ∞), montrer que<br />

u = ∑ k<br />

L(e k )e k<br />

si la série converge.<br />

• Montrer ł’inégalité de Bessel : si u N = ∑ N<br />

k=1 L(e k)e k alors<br />

En déduire<br />

et donc la convergence de la série ∑ k L(e k)e k .<br />

‖u N ‖ ≤ ‖L‖<br />

∑<br />

L(e k ) 2 < +∞<br />

k<br />

ECP 2009-2010<br />

Option Mathématiques Appliquées


Analyse Fonctionnelle 2<br />

Question 2<br />

Convergence faible des séries de Fourier<br />

Soit V 0 l’espace des fonctions continue 2π périodiques et V 1 = C 1 (R) ∩ V 0 , ces deux espaces étant<br />

muni du produit scalaire de L 2 ([0, 2π])<br />

〈u, v〉 =<br />

∫ 2π<br />

0<br />

uv dx<br />

On définit pour u ∈ V 0<br />

c k (u) = 1 ∫ 2π<br />

2π 0<br />

Et<br />

Rappel : pour u ∈ V 1 on montre que<br />

S N (u)(x) =<br />

u(x) exp (−ikx) dx<br />

N∑<br />

k=−N<br />

c k exp (ikx)<br />

lim ‖S N(u) − u‖ ∞ = 0<br />

N→∞<br />

mais ce résultat est faux pour u ∈ V 0 .<br />

• Montrer que pour u ∈ V 0 et v ∈ V 1 , 〈S N (u), v〉 converge vers 〈u, v〉.<br />

• Montrer que pour u ∈ V 0 que la suite S n (u) est bornée (pour produit le scalaire de L 2 ([0, 2π])) et<br />

en déduire que S n (u) converge faiblement vers u dans l’espace préhilbertien V 0 .<br />

(En fait il serait plus simple de se placer dans L 2 ([0, 2π]), mais nous ne l’avons pas encore introduit !)<br />

Exercices<br />

Question 3<br />

Base orthogonale<br />

On considère l’espace préhilbertien V des fonctions continues C 1 par morceaux sur [0, 1] muni du<br />

produit scalaire<br />

〈u, v〉 =<br />

∫ 1<br />

0<br />

u ′ v ′ dx<br />

On considère la fonction φ(x) définie sur R par φ(x) = 1 − |x| si x ∈ [−1, 1] et 0 sinon. Nous<br />

définissons sur [0, 1] les fonctions ψ k,n pour n ∈ N et 0 ≤ k ≤ 2 n − 1 par<br />

ψ k,n (x) = φ(2 n+1 (x − 2k + 1 ))<br />

2n+1 • Montrer que les fonctions ψ k,n forment une base orthogonale de V .<br />

ECP 2009-2010<br />

Option Mathématiques Appliquées


Analyse Fonctionnelle 3<br />

Question 4<br />

Théorème de Lax-Milgram<br />

On veut démontrer<br />

Théorème 1 Soit H un espace de Hilbert, de produit scalaire 〈·, ·〉. Soit a(u, v) une forme bilinéaire<br />

continue (i.e. ∃M / |a(u, v)| ≤ M‖u‖‖v‖) et coercive (i.e. ∃α < 0 / |a(u, u)| ≥ α‖u‖ 2 ), L(v) une<br />

forme linéaire continue. Il existe u ∈ H unique tel que<br />

• Montrer que il existe b ∈ H tel que<br />

∀v ∈ H a(u, v) = L(v)<br />

∀v ∈ H 〈b, v〉 = L(v)<br />

• Montrer qu’il existe une application linéaire T (u) de H dans lui-même telle que<br />

∀u, v ∈ H a(u, v) = 〈T (u), v〉<br />

Pour achever la démonstration nous allons montrer que l’équation T (u) = b admet une solution,<br />

autrement dit que T est surjective. On va utiliser un argument de point fixe appliqué à<br />

u → f(u) = u − ρ(T (u) − b)<br />

• Montrer que l’application u → T (u) est continue et fortement monotone<br />

∀u ∈ H 〈T (u), u〉 ≥ α‖u‖ 2<br />

• Calculer 〈f(u) − f(v), f(u) − f(v)〉 et en déduire que, pour ρ assez petit, l’application f(u) est<br />

lipschitzienne de constante k < 1 pour la norme ‖v‖ = √ 〈v, v〉. En déduire le résultat.<br />

• Application (résumée) : L’équation de convection diffusion<br />

{<br />

−k ∆u + c ∇ . (uV ⃗ ) = f sur Ω<br />

u = 0<br />

sur ∂Ω<br />

(1)<br />

On pose ⎧⎪ ⎨<br />

⎪ ⎩<br />

a 0 (u, v) =<br />

b(u, v) =<br />

L(v) =<br />

L’équation de convection diffusion est équivalente 1 à<br />

∫<br />

∫<br />

∫<br />

Ω<br />

Ω<br />

Ω<br />

k ∇u ∇v dΩ<br />

c ∇ . (u ⃗ V )v dΩ<br />

fv dΩ<br />

u ∈ H 1 0 (Ω) et ∀v ∈ H 1 0 (Ω) a 0 (u, v) + b(u, v) = L(v) (3)<br />

On montre par Stokes que b(v, v) = 0. Les conditions d’application du théorème de Lax-Milgram<br />

sont vérifiées sur H 1 0 (Ω) avec a(u, v) = a 0(u, v) + b(u, v).<br />

1. Rappel : Tout est simple dans le cadre de C 1 0 (Ω), mais comme cet espace n’est pas complet pour la norme ‖v‖ H 1<br />

0<br />

=<br />

‖∇v‖ 2, il faut se placer dans le complété H 1 0 (Ω) de C 1 0 (Ω) pour cette norme, espace beaucoup plus problématique que<br />

nous définirons à la séance 4. Pour la continuité de b(u, v) on a besoin de l’inégalité de Poincaré : ‖v‖ 2 ≤ Cte‖∇v‖ 2.<br />

(2)<br />

ECP 2009-2010<br />

Option Mathématiques Appliquées


Analyse Fonctionnelle 4<br />

Question 5<br />

Une interprétation de la convergence faible<br />

Soit H un espace de Hilbert muni de la norme du produit scalaire. Rappelons que, par définition, si<br />

r n est une suite de nombres réels<br />

lim inf r n = lim inf r n<br />

p n>p<br />

Soit x n ∈ H une suite qui converge faiblement vers un point x.<br />

• Soit V i une suite croissante de sous-espaces dont la réunion est dense dans H et Π i la projection<br />

orthogonale sur V i . Montrer que x est la limite forte de Π i (x) quand i → ∞ et que Π i (x) est la limite<br />

forte de la suite Π i (x n ) quand n → ∞.<br />

• Montrer que si une suite x n ∈ H converge faiblement, sa limite faible x est caractérisée par la<br />

propriété<br />

∀y ∈ H, lim inf ‖x − x n ‖ < lim inf ‖y − x n ‖<br />

(Indic. : Exprimer ‖y − x n ‖ 2 ).<br />

Pour une application voir le contrôle 2006, question 3.<br />

ECP 2009-2010<br />

Option Mathématiques Appliquées

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

Saved successfully!

Ooh no, something went wrong!