Leçon 241 - Suites et séries de fonctions. Exemples et contre-exemples. Les fonctions seront définies sur X un espace métrique, à valeurs dans K = R ou C. Une série de fonctions de terme général f

Leçon 241 - Suites et séries de fonctions. Exemples et contre-exemples.

Les fonctions seront définies sur X un espace métrique, à valeurs dans K=RouC. Une série de fonctions de terme généralf_n est la suite des (Pn

k=0f_k)n.

1. Etudes des suites et séries de fonctions. — 1. Différentes convergences. —

– Def : Convergence simple d’une suite de fonctions. Convergence uniforme.

– Rem : CV unif implique CV simple. Contre-exemple : fn(x) =xⁿ, gn =χ_[n,n+1]

qui ne convergent pas uniformément.

– Théorème de Cauchy uniforme : La suite (fn)n converge uniformément ssi elle est uniformément de Cauchy. La topologie de la convergence uniforme est celle de la normek.k_∞.

– Def : Convergence normale. Une série de fonctions est normalement convergente ssi P

nkfnk∞est convergente. (on majore uniformément chaque|fn|par une constante an dont la série est convergente)

– Pro : La convergence normale d’une série de fonctions implique sa convergence uniforme.

– Contre-ex : P

n 1

n+1χ_[n,n+1[ est une série de fonctions qui CV unif sur Rmais pas normalement.

2. Propriétés de la limite. —

– Thm : Une limite uniforme d’une suite de fonctions continues est continue.

– Thm : Si lesfn : [a, b]→Ksont C¹, convergent simplement en un x0, et si lesf_n⁰ convergent uniformément sur [a, b] vers g, alorsfn converge vers f une fonction de classeC¹ telle quef⁰=g.

– Ex : P

n xⁿ

n! est une série normalement convergente sur tout compact deR, ainsi que toutes ses séries dérivées. Sa limite, noté exp, est donc une fonctions de classeC^∞ surRtout entier, qui vérifie de plus exp⁰=exp.

– Contre-ex : Suite de fonctionsC¹qui CV unif et dont la limite n’est pasC¹. – Théorèmes de Dini : Soitfn : [a, b] →R suite de fonctions continues convergeant

simplement vers une fonction f continue. Si la suite desfn est croissante, alors la convergence est uniforme.

Ou bien, si lesf_nsont des fonctions croissantes et f est continue, alors la convergence est uniforme.

– Ex : f_n(x) = (1 +_n^x)ⁿ converge uniformément vers exp(x).

– Contre-ex : f_n(x) = 1−xⁿ sur [0,1]. Les f_n sont une suite croissante de fonctions croissantes qui cv simplement, mais leur limite n’est pas continue et la cv ne peut donc pas être uniforme.

– Contre-ex : fn=_nx¹ converge simplement vers 0 surR^∗+ mais pas uniformément.

– Théorème de Weierstrass (Résultat de densité)

– Théorème de sélection de Helly : Pour E un sous-ensemble dénombrable de R et fn suite de fonctions sur E bornées par 1, il existe une suite extraite qui converge simplement sur E.

3. Quelques liens avec l’intégration. —

– Théorème de Beppo-Lévi : Une suite croissante f_n de fonctions mesurables sur un espace (E, A, µ) à valeurs dans [0,+∞] est de limite simple f mesurable, et on a : R

Ef dµ= limn(R

Efndµ).

– Cor : SiR

Efndµest majorée, alors f est intégrable. A la place d’une suite croissante fn on peut se donner une sérieP

ngn de fonctions positives ou nulles.

– Appli : Lemme de Fatou : Pour fn mesurables à valeurs réelles, R

E(lim inffn) ≤ lim inf(R

Efn).

– Théorème de convergence dominée : Si, pour une suite fn à valeurs complexes convergeant simplement vers une fonction f, on a|fn−x)| ≤g(x) avec g intégrable, alors lesfn sont intégrables etR

E|fn−f|dµ→0, càd : R

Ef dµ=limn(R

Efndµ).

– Appli : Pour f intégrable, et x_n → x, on montre que fb(x_n) → fb(x). Donc la transformée de Fourier de f est continue.

– Contre-ex du Hauchecorne.

– Définition deDN,FN. – Ex : lim(Rn

0(1−^x_n)^ln(x)dx) =R

Rexp(−x)ln(x)dx.

– Dev : Théorème de Féjer : La suite des FN est une approximation de l’unité et FN∗f = _N¹ PN−1

n=0 Sn(f) converge uniformément vers f pour tout f 2π−périodique continue.

Si f admet juste une limite à droite et à gauche en tout point, alorsFN∗f(x)→N 1

2(f(x⁺) +f(x⁻)) ponctuellement.

Les polynômes trigonométriques sont denses dans C⁰(T) pour k.k∞, donc denses dans lesL^p(T), carC⁰(T) y est dense pour la normeL^p.

2. Séries entières et holomorphie. — 1. Définition, rayon de convergence. —

– Def : On appelle série entière une série de fonctions de la forme P

nanzⁿ avec an∈C,z∈C.

– Def : Rayon de convergence : R= sup(r >0 tq P

n|an|rⁿ) converge.

– Def : Convergence normale d’une série : La sérieP

nbnCV normalement ssiP

n|bn| CV.

– Lemme d’Abel : Pour tout r < R, P

nanrⁿ converge normalement. Pour tout r > R, P

nanrⁿ diverge grossièrement.

– Ex : Poura_n = 1, R= 1 et on ne converge pas enr= 1. Poura_n = _n¹₂, R= 1 et on converge enR= 1.

– Ex : P

nn^azⁿ a un rayon de convergence de 1. P

nn!zⁿ a un rayon de convergence nul.

1

– Commeexp(x) =P

n zⁿ

n! est de rayon de convergenceR= +∞, on peut alors définir cos et sin comme des séries entières.

– Théorème d’Abel angulaire. Théorème taubérien faible.

2. Régularité des séries entières. —

– La somme d’une série entière est analytique sur son disque de convergence (égale à la somme d’une série entière localement en tout point du disque de convergence).

Elle est ainsi holomorphe, càdC-dérivable.

– Thm : Les fonctions holomorphes sont analytiques.

– Rem : Pour une fonction holom donnée par la somme d’une série entière, on cherche souvent à la prolonger sur un domaine plus grand. Ex : P

nzⁿ=_1−z¹ .

– Il y a au moins un point du bord du disque de convergence en lequel la somme d’une série entière ne se prolonge pas holomorphiquement.

– Pro : Théorème des lacunes de Hadamard : PourP

na_nz^λn lacunaire avec ^λ_λⁿ⁺¹

n >

α >1, il n’y a aucun point du bord du disque de convergence en lequel la somme de la série se prolonge holomorphiquement.

– Ex : P

n 1

n²z²ⁿ se prolonge continûment à D mais n’admet aucun prolongement analytique.

3. Séries de Fourier. —

– Def : Série trigonométrique : une série de fonctions de la formec_ne^int+c_+ne^−int – Pro : Critère de convergence : Si les suites (c_n)_n et (c_−n)_n sont réelles et décrois-

santes vers 0, alors la série trigonométrique converge simplement surR/2πZet uni- formément sur tout [ε,2π−ε].

– Def : Pour f de carré intégrable et 2π-périodique, la série de Fourier de f est la série trigonométriqueP

ncn(f)en(t), oùcn(f) =_2π¹ R2π

0 f(t)e^−intdt.

– Pro : Les (en)n forment une famille orthonormée pour< f, g >= _2π¹ R2π

0 f(t)g(t)dt, elle cette famille est dense dansL²(R/2πZ). C’est donc une base orthonormée de cet espace de Hilbert.

– Thm : Egalité de Parseval : P

n|cn(f)|² = _2π¹ R2π

0 |f(t)|²dt, si f est de carré inté- grable.

– Théorème de Jordan-Dirichlet : Pour f continue par morceaux et 2π-périodique, admettant une lim à gauche et à droite en tout point,P

ncn(f)e^int→ ^f(t+)+f(t₂ ⁻⁾. – Théorème : Si f est continue, 2π-périodique, et C¹ par morceaux, alors la série de

Fourier de f converge normalement vers f.

– Dev : Equation de la chaleur sur le cercle : Pour u0 ∈ L²(R/2πZ), l’équation différentielle∂tu−∂x(∂xu) = 0 sur ]0,+∞[×R/2πZadmet une unique solution f de classeC² telle quef(t, .)→_t→0⁺u0 dansL²(R/2πZ).

C’est pour résoudre des équations de cette forme que la théorie de Fourier a été inventée.

– Ex : Pour f 2−π-périodique, paire, telle quef(x) =χ_[0,π/2[−χ_]π/2,π] sur[0, π] , la formule de Parseval donne : P

k 1

(2k+1)² =^π₈². On en déduitP

k 1 k² = ^π₆².

– Ex : Pour f 2−π-périodique, paire, telle quef(x) =|x|sur ]−π, π[, la formule de Parseval nous donne : P

k 1

(2k+1)⁴ = ^π₉₆⁴. On en déduitP

k 1 k⁴ =^π₉₀⁴.

– App : Formule sommatoire de Poisson : Soit f de classe C¹ telle telle que f(x) = O(_x¹₂) etf⁰(x) =O(_x¹₂).

Alors la fonctionS(t) =P+∞

n=−∞f(t+n) est bien définie, continue, et 1-périodique, et la fonctionf^∗(n) =R

Rf(x).e^−2iπnxdxest bien définie, et l’on a : S(t) = ¹_aP+∞

m=−∞f^∗(n)e^im2πt – Corollaire du Gourdon.

4. Séries de Dirichlet. —

– Définition d’une série de Dirichlet.

– Def : Abscisse de convergenceσc, de convergence absolueσac.

– Pro : σ_c≤σac

– Holomorphie d’une série de Dirichlet sur{Re(z)> σ_ac}.

– Ex : Fonctionζ de Riemann : ζ(z) =P

n 1

n^z, avecσ_ac= 1.

– Multiplication de séries de Dirichlet.

– App : _ζ(s)¹ =P

n µ(n)

n^s . Références

Gourdon : Modes de convergence. Séries entières. Séries de Fourier. Exemples.

Hauchecorne : Contre-Exemple de suites,séries ayant des problèmes.

Zuily, Queffélec : Théorème de Weierstrass.. Séries de Dirichlet. Théorème de Féjer(Dev).

Candelpergler : Equation de la chaleur sur le cercle(Dev).

Briane, Pagès : Beppo-Lévi et Fatou et CV dominée.

Francinou,Gianella, Analyse 2 : Théorème de sélection de Helly.

May 9, 2017

Vidal Agniel,École normale supérieure de Rennes

2