113 2 2 PDF

tude lmentaire de la convergence
des sries de Fourier

Alain Pommellet
Membre du comit de rdaction de la RMS.
On dcrit dans cet article, dans un but essentiellement pdagogique, quelques lments
permettant de mieux saisir - au-del des rsultats basiques - les problmes de convergence lis
aux sries de Fourier. Certains points pourront intresser les agrgatifs, notamment la
minimisation des normes des oprateurs de projection, et le thorme de convergence uniforme
des sries de Fourier de module de continuit convenable, dont l'expos est un peu simplifi. On
suppose le lecteur averti des buts et motivations premiers de la synthse de Fourier des fonctions
priodiques.

Partie I
INTRODUCTION
Partie II
DEUX CRITRES DE CONVERGENCE UNIFORME
DES SRIES DE FOURIER
Bibliographie

Partie I
INTRODUCTION
Dans la suite, on note l'espace vectoriel des fonctions -priodiques localement
intgrables valeurs complexes.
une fonction de on associe :
- la suite de ses coefficients de Fourier , ;
- sa srie de Fourier , dont les sommes partielles sont toujours values
symtriquement : ;
- les coefficients de Fourier dits rels dfinis pour entier par :

ces derniers sont rels ds que est valeurs relles, et lis aux par les relations :
Page 1sur 17 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=318&Type=enonce&Num=0&Mode=...

Dans la suite, on note l'espace vectoriel des fonctions -priodiques localement
intgrables valeurs complexes.
1 Le noyau de Dirichlet
Il s'agit, pour dans , de la somme , que l'on somme explicitement pour
dans en :

sortant les demi-arguments : au numrateur, au dnominateur, il vient :

Ce noyau apparat immdiatement ds que l'on crit les sommes partielles d'une srie de Fourier
sous forme intgrale ; en effet, lorsque et , on a :

Ceci met dj en vidence deux particularits remarquables des sommes partielles des sries de
Fourier :
- en tant que sries trigonomtriques, leurs sommes partielles admettent des reprsentations
intgrales ;
- l'intgrale donnant est le produit de convolution de et d'un noyau non positif. Les
premires consquences de ce dfaut de positivit seront examines dans le paragraphe suivant.
Les constantes de Lebesgue
On appelle ainsi les intgrales .
Proposition Lorsque tend vers , on a l'estimation asymptotique : .

Dmonstration.
La manipulation utilise pour prouver l'estimation ci-dessus est souvent utilise en thorie des
sries de Fourier ; on crit :

La premire intgrale est borne puisque possde un prolongement continu en
zro (un prolongement analytique, en fait) ; pour estimer la deuxime intgrale on exploite le fait
que est invariante par homothtie, d'o :

o le vient de l'intgration sur et de borne par ; on
intgre alors l'ingalit sur pour obtenir
l'encadrement :

d'o la conclusion compte-tenu du dveloppement classique :

2 Le noyau de Fejer
et la convergence en moyenne de Cesaro
Par dfinition, le noyau de Fejer d'ordre est la moyenne de Cesaro des premiers noyaux
de Dirichlet. Ces moyennes possdent des proprits remarquables, notamment d'tre positives et
de constituer une famille de noyaux de convolution i.e. une approximation de l'identit. Nous en
rsumons les proprits les plus importantes dans le thorme ci-dessous :

Thorme Soit, pour dans et dans , . Alors :
(1) pour , , et donc est positive ;
(2) ;
(3) pour tout , la suite tend uniformment vers sur
;
(4) si , on a pour tout l'galit :

et, en tout point de continuit de , converge vers ;
(5) la convergence vers des moyennes de Cesaro des sommes partielles de la srie de Fourier
de est uniforme ds que est continue.

Dmonstration
La dmonstration de ces proprits figure dans tout cours de MP ou de licence dcent, nous la
redonnons donc trs rapidement.

(1) Les formules trigonomtriques lmentaires amnent :

(2) vient de la dfinition de comme moyenne de fonctions d'intgrales 1.
(3) Sur , on a l'ingalit :

d'o la conclusion.
(4) La premire formule rsulte immdiatement d'une combinaison linaire. Pour obtenir ensuite
la convergence annonce, on crit :

puis l'on utilise une classique mthode de dcoupe : soit , on choisit tel que
entrane . On coupe alors en deux, soit :

Clairement, , et tend vers avec , par convergence domine,
d'o la conclusion.
(5) Il suffit d'observer que la continuit de la fonction continue -priodique est uniforme,
donc que est indpendant de , enfin que l'estimation :

est elle aussi uniforme en .

Les sommes de Fejer convergent pour toutes les normes intgrales :

Thorme Soit un nombre rel appartenant , et soit (ce qui entrane
que ). Les sommes de Fejer de convergent vers dans .

Dmonstration
Ce rsultat est vrai pour les polynmes trigonomtriques qui constituent une partie dense de
. Selon le principe d'interversion des limites pour les familles d'applications linaires
continues, il suffit de montrer que l'application est borne sur la boule unit de
. Or, selon l'ingalit de J ensen applique la fonction convexe dfinie sur par
, il vient :


On intgre alors les deux membres pour obtenir, moyennant Fubini :

ce qui montre que les sont des normes uniformment bornes, et achve la preuve.

Corollaire Si et sont deux fonctions de dont les suites de coefficients de Fourier
sont gales, et concident presque partout.

Dmonstration
Les fonctions et donnent naissance la mme suite de sommes de Fejer, et cette suite
converge vers et vers pour la norme 1.
En utilisant un moyen bien classique ds qu'il s'agit de l'approximation de fonctions par une
famille d'oprateurs linaires, nous allons montrer qu'en gnral au sens de Baire, la srie de
Fourier d'une fonction continue diverge en un point au moins.

3 Banach-Steinhauss et la divergence des sries de Fourier
Dans le cadre des sries de Fourier, o l'valuation des sommes partielles en un point peut tre
considr comme une application linaire, le thorme de Banach-Steinhauss se rvle
particulirement adapt la dtermination de la convergence des sries de Fourier associes aux
objets d'un espace fonctionnel donn . Plus prcisment, puisque l'on dispose de la
convergence vidente des sries de Fourier sur l'espace des polynmes trigonomtriques, en
gnral dense dans , il suffit pour obtenir la convergence simple des oprateurs sur que
la suite des normes d'oprateurs soit borne ; le raisonnement est alors celui que l'on met
en vidence dans plusieurs situations usuelles de l'analyse : preuve du lemme de Riemann-
Lebesgue, quirpartition, etc. Nous le reprendrons en dtail dans un article ultrieur, en
introduisant aussi la notion de conjugaison, en vue de donner la preuve de la convergence des
sommes partielles symtriques de la srie de Fourier d'une fonction de pour la norme
intgrale lorsque , .
Lorsque muni de - cas dans lequel nous nous plaons dsormais - la
rponse est hlas ngative. En fait, on a le

Thorme (1) Soit dans . L'application est une forme linaire
continue sur muni de , dont la norme d'oprateur est exactement la
constante de Lebesgue .
(2) Le nombre tant fix, il existe un dense de fonctions de , soit tel que, pour tout
, la suite soit non borne.

Dmonstration
(1) Pour fixer les ides et simplifier les notations, nous prendrons .
Les identits tablies dans le I. amnent alors, pour tout ,

.

Il est clair que :

d'o dj .
En vue d'obtenir l'ingalit inverse, introduisons la fonction dfinie sur par
; on convient que . La fonction continue s'annule en un
nombre fini de points - les zros non nuls de sur - est donc une
fonction en escalier et l'on peut trouver une suite de fonctions affines par morceaux :
telles que :
* ;
* la mesure de est
Il vient alors, pour tout de :

et l'intgrale de droite converge visiblement vers (directement, ou par
convergence domine vidente). Ainsi, la norme d'oprateur de est exactement .
(2) L'espace ambiant tant complet, le thorme de Banach-Steinhauss s'applique et montre
qu'il existe un dense de sur lequel la suite n'est pas borne, d'o la divergence de la
srie de Fourier.
Amlioration
Soit une partie dnombrable dense de . Nous avons montr qu' chaque point
correspond un -dense de fonctions continues -priodiques dont la srie de Fourier
diverge en . L'intersection (dnombrable) des divers fournit alors un rsiduel dense de
fonctions dont la srie de Fourier diverge en tout point d'un ensemble dense de nombres rels.
La projection de Fourier est de norme minimale
Au vu de l'absence de convergence simple des sries de Fourier, on peut se demander si d'autres
projecteurs de sur l'espace vectoriel

ne feraient pas mieux l'affaire. Le thorme suivant montre qu'en fait on ne peut esprer mieux
que ce qui est donn par la srie de Fourier.

Thorme Soit un projecteur continu de muni de sur son sous-espace . La
norme d'oprateur de est au moins gale celle de : .

Lemme Pour appartenant et appartenant , on note la fonction
. Alors l'application de dans muni de donne par est
continue.

Dmonstration du lemme
On a en effet qui tend vers avec
puisque est uniformment continue.

Remarque
Les oprateurs sont videmment continus de dans ; cependant l'application
n'est pas continue. En effet, la continuit de cette dernire application
donnerait, en particulier, le fait que tend vers avec , et donc que l'on a,
pour toute de borne par 1, l'ingalit :

Ceci signifierait que la boule unit de est uniformment quicontinue : le thorme d'Ascoli
amne alors la compacit de , et le thorme de Riesz dit enfin que est de dimension finie,
ce qui n'est pas.

Preuve du thorme
L'ide est d'effectuer la moyenne des oprateurs obtenues en conjugant et les . Fixons
dans . L'application est continue d'aprs le lemme ci-dessus. On
peut donc l'intgrer sur , et obtenir l'application :

(noter qu'il s'agit d'une intgrale de fonction continue valeurs dans l'espace de Banach ). On
fait alors les observations suivantes.
(1) est linaire.
(2) Pour toute dans , on a les ingalits :


ce qui donne aprs intgration :

c'est--dire .
(3) Si et , et d'o :

et .

(4) Si et , et est une combinaison linaire
, d'o :

et comme , aucun des n'est nul, ce qui fait que la moyenne de ces termes pour
est nulle : .
En conclusion, est une projection continue de sur nulle sur les fonctions pour
; par densit des polynmes trigonomtriques pour , est la -ime somme de
Fourier, d'aprs (2), .

Partie II
DEUX CRITRES DE CONVERGENCE UNIFORME
DES SRIES DE FOURIER
Nous avons donc que la srie de Fourier d'une fonction continue peut diverger en tout point d'un
ensemble dense. On peut mme construire, d'aprs Kahane et Katznelson, (Katznelson, [4], page
58), une fonction continue dont la srie de Fourier diverge sur un ensemble de mesure nulle
donn.
Un tel rsultat est optimal d'aprs le thorme de Carlson-Hunt : si , et , la srie
de Fourier de converge presque partout, ncessairement vers (cf. I.). Enfin, Kolmogorov a
construit un exemple de fonction de dont la srie de Fourier diverge partout.
Pour obtenir des rsultats effectifs de convergence en un point donn, ou encore de convergence
globale, il faut donc ajouter des conditions de rgularit la fonction tudie. Les mieux connues
sont les suivantes.
* La condition de Dirichlet : s'il existe un nombre tel que
( pris en zro), la srie de Fourier de en converge
vers . En particulier, si est de classe par morceaux, la srie de Fourier de converge
simplement vers ; si de plus est continue, on vrifie que la
convergence obtenue est normale.
* La condition de Jordan : si est variation borne, la srie de Fourier de converge
simplement vers .
Pour ces deux rsultats, on peut consulter le cours de mathmatiques d'Arnaudis et Fraysse,
tome III, Dunod.
1 Test de Dini
Thorme Soit , et soit . On suppose qu'il existe un nombre tel que la
fonction soit sommable. Alors, la suite converge
vers .
Notons que ce rsultat gnralise celui de Dirichlet.

Dmonstration
Repartons de l'expression usuelle de l'aide du noyau de Dirichlet :

o est le noyau de Dirichlet : , par priodicit et parti de , il
vient :


et du fait que , nous obtenons :

La fonction est sommable et
avec borne sur , le lemme de Riemann-
Lebesgue s'appplique et donne la convergence vers de .
Lorsque est continue, on peut aller plus loin et obtenir un test de convergence uniforme (d
semble-t-il de la Valle-Poussin).

Dfinition Soit une fonction borne : . Le module de continuit de est la fonction
dfinie pour par :

Puisqu'une fonction continue -priodique est uniformment continue, si ,
tend vers 0 en 0.

Thorme Soient , et . Si la fonction est sommable sur ,
converge uniformment vers .

Dmonstration
Reprenons l'identit (*) obtenue lors de la preuve du thorme prcdent ; avec nous
obtenons :

(**)

o admet un prolongement .
Soit . L'intgrabilit de nous donne tel que ; coupons alors
l'intgrale du membre de droite en , il vient :

La majoration montre que :

.

Reste traiter le cas de :

Introduisons le compact et la fonction dfinie sur par
; et choisissons une fonction , de classe sur , et
telle que .
D'une part, pour tout entier :

D'autre part, une intgration par partie fournit :


et comme et sont bornes sur le compact , on a peut trouver tel que, pour tout
:

Rassemblons les rsultats obtenus. Pour tout de et tout entier , nous avons :

ce qui amne bien la convergence uniforme souhaite.

Corollaire Soit . Si est holdrienne, c'est--dire s'il existe et tels
que :

la srie de Fourier de converge uniformment vers .

Preuve
Dans ce cas, avec , ce qui assure l'intgrabilit de

Remarque
On peut, de plus, montrer que, pour , la srie de Fourier de est normalement
convergente. Voir par exemple Willem [8], page 102.
tudions pour finir un deuxime critre de convergence uniforme portant sur le module de
continuit.
2 Le critre de Dini-Lipschitz
Thorme Soit . Si tend vers lorsque tend vers , les sommes
partielles de la srie de Fourier de convergent uniformment vers .
Notons que l'on retrouve ainsi le rsultat concerant les fonctions holdriennes ; cependant, les
champs d'application des deux critres sont bien distincts.
Pour dmontrer le thorme ci-dessus, nous aurons besoin d'une estimation de la rapidit
d'approximation d'une fonction par les polynmes trigonomtriques de degr
faisant intervenir le module de continuit .
3 Noyau de Jackson
Introduisons, pour entier , la fonction :

o est choisi de sorte que .
On a :

d'o l'existence d'une constante telle que :

Par la mme mthode, on trouve qu'il existe une constante telle que :

Enfin, nous aurons besoin du

Lemme Pour tout ,

Preuve
Soit un entier tel que . La croissance et la sous-additivit videntes de
donnent :

Thorme de J ackson
Il existe une constante universelle telle que, pour toute fonction et tout entier
on ait :

Dmonstration
Soit et ; est proportionnel (carr du noyau de Fejer) et de ce
fait .
La convole est un polynme trigonomtrique de
degr , et l'on a, par une transformation dsormais usuelle pour les noyaux pairs, l'identit :

d'o il rsulte :

On utilise alors le lemme prliminaire sous la forme suivante : pour tout
, ce qui permet d'obtenir la majoration :

L'estimation (1) prouve enfin que la suite est majore, ce qui achve la preuve.
Fin de la dmonstration du critre de Dini-Lipschitz
On reprend les notations du thorme de J ackson (existence d'une constante M...).
Soit, pour dans , un polynme de meilleure approximation uniforme de , le -
ime oprateur de sommation de Fourier. On rappelle (cf. I.) que , -ime
constante de Lebesgue, et que . De l :

le nombre de droite tend vers , puisque par hypothse et que
.

suivre...

Bibliographie
1 E.W. Cheney, Approximation Theory, Chelsea.
2 De Vorre-Lorentz, Constructive Approximation, Springer.
3 K. Hoffman, Banach Spaces of Analytic Functions, Prentice-Hall.
4 Y. Katznelson, An Introduction to Harmonic Analysis, Dover.
5 P.J . Laurent, Approximation et Optimisation, Hermann.
6 T. Rivlin, An Introduction to the Approximation of Functions, Dover.
7 W. Rudin, Real and Complex Analysis, Mac-Graw Hill.
8 M. Willem, Analyse Harmonique Relle, Hermann.
9 A. Zigmund, Trigonomtric Series, Cambridge University Press.


113 2 2 PDF

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

113 2 2 PDF

Transféré par

Droits d'auteur :

Formats disponibles

tude lmentaire de la convergence

des sries de Fourier

Vous aimerez peut-être aussi