Vous êtes sur la page 1sur 5

Une preuve du thorme d'approximation

trigonomtrique de Weierstrass
Dominique Hoareau
Agrg de mathmatiques, professeur au lyce Mermoz, Montpellier.

Partie 1
RSULTATS PRLIMINAIRES
Partie II
LA PREUVE

Partie 1
RSULTATS PRLIMINAIRES

1. Densit de dans
Pour dans et dans , on envisage l'application ,
lment de et via l'uniforme continuit de , on prouve que converge
uniformment vers sur .
On obtient en cascades la densit de ( ) dans pour la
norme uniforme.

2. propos du noyau de Gibbs
Pour et , on pose : est appel noyau de Gibbs d'ordre
.

Proprit 1 La suite est borne, prcisment :


Par -priodicit, imparit et continuit de ( ), on peut se limiter . On
coupe ; on majore par ; pour grer la tranche , on
Page 1sur 5 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=317&Type=enonce&Num=0&Mode=...
utilise l'ingalit classique :


obtenue par transformation d'Abel et l'ingalit de convexit valable pour
.

Proprit 2 Pour , la suite de fonction converge uniformment sur
vers la fonction
La convergence uniforme compacte de sur s'obtient par le critre de Cauchy
uniforme grce l'ingalit . Pour le calcul de ( ), on peut considrer
l'objet correctement dfini :


driver terme terme ( bon droit) fix. On reconnat la drive de
et avec , on a :


fix dans , puisque converge, par le thorme d'Abel radial,


Par ailleurs, car
. D'o l'galit :


Page 2sur 5 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=317&Type=enonce&Num=0&Mode=...

Partie II
LA PREUVE
Avec la densit de dans , il suffit de montrer qu'un lment de
est limite uniforme des sommes partielles de sa srie de Fourier. Quitte remplacer
par , on suppose que :


Pour et , on pose :


Soit . On a :


Par intgration par parties justifie par le caractre de , on a :


Le crochet est nul par -priodicit, donc : .
On rappelle que : avec et on remarque que ,
lment de , est borne. Pour :


tant borne et convergeant uniformment sur vers
Page 3sur 5 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=317&Type=enonce&Num=0&Mode=...
la suite converge simplement sur
vers . La convergence de vers est mme uniforme ;
en effet :


et le membre de droite de l'ingalit, via la convergence uniforme de vers sur
, tend vers quand tend vers , indpendamment de la variable .
Pour et , on crit :


On pose :




On contrle le terme mdian en crivant :


Par ailleurs :


tant et -priodique, le terme est nul. On intgre par parties le
deuxime terme, ce qui donne :


Page 4sur 5 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=317&Type=enonce&Num=0&Mode=...
Il vient :


On choisit dans tel que On choisit tel que :


Dans les circonstances dites, . cqfd


Remarque
On vient de prouver le thorme de convergence de Dirichlet pour les lments de .

Page 5sur 5 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=317&Type=enonce&Num=0&Mode=...