Cours d'Analyse 4 - Faculté des Sciences Rabat
Cours d'Analyse 4 - Faculté des Sciences Rabat
Cours d'Analyse 4 - Faculté des Sciences Rabat
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
84 Z. ABDELALI<br />
Corollaire 5.1. Soit <br />
fn une série de fonctions positives et continues par morceaux<br />
n<br />
sur I. Si de plus ∞<br />
fn est Riemann-intégrable sur I, alors<br />
n=0<br />
<br />
∞<br />
fn(x)dx =<br />
I n=0<br />
∞<br />
<br />
n=0<br />
I<br />
fn(x)dx.<br />
Théorème 5.2. (Convergence dominée) Soit (fn)n une suite de fonctions définie sur<br />
un intervalle I, telle que :<br />
1) pour tout n ∈ N, fn continue par morceaux sur un intervalle I,<br />
2) (fn)n est dominée par une fonction g Riemann-intégrable sur I,<br />
3) (fn)n converge simplement vers une fonction f continue par morceaux sur tout<br />
ségment de I.<br />
Alors<br />
<br />
<br />
f(x)dx = lim<br />
I<br />
n→∞<br />
fn(x)dx.<br />
I<br />
Corollaire 5.2. Soit <br />
fn une série de fonctions continues par morceaux sur I telle<br />
n<br />
que la somme existe est continue par morceaux sur tout ségment de I. Supposons de plus que<br />
( n<br />
fk)n est dominée par une fonction g Riemann-intégrable sur I.<br />
k=0<br />
Alors<br />
∞<br />
∞<br />
<br />
fn(x)dx = fn(x)dx.<br />
I n=0<br />
n=0<br />
3. Série n o 5.<br />
Exercice 1. Soient f la fonction 2π-périodique paire définie sur [0, π] par f(x) = sin(x).<br />
1) Donner la série de Fourier de la fonction f.<br />
2) Déduire une décomposition de sin, sur [0, π] en une série donnée par cos(nx).<br />
3) En considérant l’intégrale x<br />
sin(t)dt, x ∈ [0, π], déduire une décomposition de<br />
0<br />
cos(x) + 2 x, sur [0, π] en une série donnée par sin(nx) (Justifier la permutation intégrale-<br />
π<br />
somme).<br />
Exercice 2. Soit f l’application 2π-périodique définie sur [−π, π[ par f(x) = x3 −π 2 x<br />
12 .<br />
1) Calculer les coefficients de Fourier de f.<br />
2) i) Donner S(f) la série de Fourier de f,<br />
ii) Montrer que f = S(f).<br />
iii) Montrer sans calcul que S(f) converge uniformément vers f sur [−π, π].<br />
I