ANALYSE FONCTIONNELLE : séance 2
ANALYSE FONCTIONNELLE : séance 2
ANALYSE FONCTIONNELLE : séance 2
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