Vous êtes sur la page 1sur 77

Resume

On choisit les series de Fourier comme decor, et on presente, autour du


th`eme retenu, des methodes danalyse instructives et essentielles pour mener
`a bien quelques probl`emes classiques ou parfois originaux. La transforma-
tion dAbel et le raisonnement par densite-fermeture sont, pour exemples,
maintes fois illustres, voire decortiques. Des techniques plus subtiles, comme
la decoupe-variable lorsquon estime certaines sommes, trouvent aussi leur
place.
On a tout au long du texte le souci dillustrer, et an de donner `a
lensemble une certaine unite, on evite trop de dispersions dans le choix des
exemples. Ainsi un resultat est souvent reinvesti ou sert de tremplin pour
illustrer un autre outil ; legalite

n=1
sin nt
n
=
t
2
valable pour 0 < t < 2
est etablie par la methode de sommation dAbel-Poisson et est reobtenue un
peu plus tard par le lemme de Riemann-Lebesgue. On retrouve cette serie
de sinus (et sa convergence uniforme compacte sur ]0, 2[) lorsquon justie
la curieuse egalite

n=1
sin n
n
=

n=1
sin
2
n
n
2
, qui par ailleurs tombe apr`es
une utilisation du theor`eme de Dirichlet. Cette egalite est dautant plus
amusante quon rencontre sa version integrale
_
+
0
sin t
t
dt =
_
+
0
sin
2
t
t
2
dt.
Autre objectif du texte, mettre en parall`ele le discret et le continu. Cest
loccasion de montrer quelques analogies entre les series enti`eres et les trans-
formees de Laplace, detablir

N
n=1
|sin n|
n

+
2

ln N (question posee dans


RMS4-2002) avec en tete le tr`es classique
_
X
1
|sin t|
t
dt
+
2

ln X...
Enn, certains resultats importants sont approches sous plusieurs angles ;
la densite des polynomes trigonometriques dans ((
2
(R, C), | |

) est par
exemple prouvee par densite-fermeture, envisagee dieremment en annexe
(point de vue de Korovkin), et etablie de facon originale (page 22) grace au
noyau de Gibbs.
Premi`ere partie
Vers le developpement de Fourier
1 Des polynomes aux polynomes trigonometriques
A] coecients dun polynome
On consid`ere un polynome P(X) de C[X] qui secrit

n
k=0
c
k
X
k
.
La fonction t P(e
it
) de R dans C est continue sur R et :
0 k n
_
2
0
P(e
it
)e
ikt
dt =
n

l=0
_
2
0
c
l
e
i(lk)t
dt =
n

l=0
2c
l

k,l
donc chaque coecient c
k
est donne par la relation :
1
2
_
2
0
P(e
it
)e
ikt
dt = c
k
(0 k n)
En particulier, on a :
P(0) =
1
2
_
2
0
P(e
it
)dt (= c
0
)
corollaire pour a C et R

+
,
P(a) =
1
2
_
2
0
P(a + e
it
)dt
(appliquer legalite precedente au polynome P(a +X))
Cette relation exprime que la valeur dun polynome P(X) au centre dun
disque est egale `a la valeur moyenne de P(X) sur le cercle-fronti`ere.
On dit que les polynomes de C[X] poss`edent la propriete de la moyenne.
Remarque : par linearite de lapplication partie reelle Re, la fonction
Re(P) (qui est `a valeurs reelles) poss`ede aussi la propriete de la moyenne.
application : principe du maximum Un polynome de C[X] non constant
na pas de maximum local sur C.
Par labsurde, a C r > 0 z D(a, r) [ P(a) [[ P(z) [ avec
[ P(a) [ necessairement non nul (Sinon, la fonction polynomiale P sannule
sur D(a, r) et est donc identiquement nulle)
1
Quitte `a remplacer P par
1
|P(a)|
P(a +rX),
on peut supposer : a = 0 ; r = 1 ; [ P [ 1 =[ P(0) [ sur

D = D(0, 1).
Enn, en multipliant au besoin P par un complexe de module 1, on se ra-
m`ene au cas o` u P(0) = 1
On envisage lapplication g : z Re(1P(z)) = 1Re(P(z)) de

D dans R.
g 0 sur

D car g = 1 Re(P) 1 [ P [
Pour z

D, g(z) = 0 Re(P(z)) = 1
[ P(z) [= Re(P(z)) = 1 car 1 [ P(z) [ Re(P(z))
P(z) = 1
Autrement dit, la fonction g detecte les endroits o` u P(X) prend la
valeur 1.
Puisque g poss`ede la propriete de la moyenne,
1
2
_
2
0
g(e
it
)dt = g(0) = 0
Par continuite et positivite de t g(e
it
) sur [0, 2], on a :
t [0, 2] g(e
it
) = 0 ie P(e
it
) = 1
Le polynome P 1 a donc une innite de racines, donc P(X) est le polynome
constant 1. Contradiction.
exercice Soit : a
1
, a
2
, ..., a
n
n nombres complexes.
Montrer quil existe un complexe z
0
de S
1
tel que la distance de z
0
`a lorigine
soit inferieure `a la moyenne des distances de z
0
aux a
k
.
a) On pose : P(X) =

1kn
(X a
k
). P(X) secrit aussi

n
k=0
c
k
X
k
.
La fonction [ P [, continue sur le compact S
1
, est bornee et atteint son
maximum M en un certain z
0
de S
1
.
Pour tout 0 k n, [ c
k
[
1
2
_
2
0
[ P(e
it
) [ dt M.
En particulier, c
n
= 1 M =[ P(z
0
) [
b) Par croissance de x x
1
n
sur [1, +[, on a : 1

1kn
[ z
0
a
k
[
1
n
et
par linegalite arithmetico-geometrique,
1 =[ z
0
0 [
1
n
n

k=1
[ z
0
a
k
[
2
B ] formule de Parseval
Pour dans R, on a : [ P(e
i
) [
2
= P(e
i
)P(e
i
) =

n
k=0

n
j=0
c
k
c
j
e
i(kj)
donc :
_
2
0
[ P(e
i
) [
2
d = 2

n
k=0

n
j=0
c
k
c
j

k,j
= 2

n
k=0
[ c
k
[
2
do` u la formule de Parseval :
1
2
_
2
0
[ P(e
i
) [
2
d =
n

k=0
[ c
k
[
2
exercice Soit : P(X) =

n
k=0
c
k
X
k
un polynome unitaire de C[X] tel
que : P(S
1
) S
1
. Montrer que : P(X) = X
n
Retrouver le principe du maximum pour les polynomes unitaires.
On a :
1
2
_
2
0
[ P(e
i
) [
2
d = 1 car [0, 2] [ P(e
i
) [
2
= 1
donc :

n1
k=0
[ c
k
[
2
+ 1 = 1. Ceci impose : c
k
= 0 pour 0 k n 1
ie P(X) = X
n
Pourquoi ne peut-on pas avoir : [ P [[ P(0) [= 1 sur

D?
On raisonne par labsurde. Il vient :
1
2
_
2
0
[ P(e
it
) [dt [ P(0) [
Par ailleurs, legalite P(0) =
1
2
_
2
0
P(e
it
)dt donne
_
2
0
[ P(e
it
) [dt [ P(0) [
On a alors :
_
2
0
[1 [ P(e
it
) []
. .
int egrande nulle car continue positive
dt = 0
donc : P(S
1
) S
1
, donc : P(X) = X
n
.
Impossible car [ P(0) [= 1
exercice Soit : P(X) =

n
k=0
a
k
X
k
C[X] tel que P(0) = 1 et P(1) = 0.
Alors il existe S
1
tel que : [ P() [
_
1 +
1
n
On a : a
0
= 1 et 1 +a
1
+... + a
n
= 0
Par Cauchy-Scharwz, 1 =[ a
1
+... + a
n
[
2
n[[ a
1
[
2
+...+ [ a
n
[
2
]
do` u : 1 +
1
n
[ a
0
[
2
+ [ a
1
[
2
+...+ [ a
n
[
2
=
1
2
_
2
0
[ P(e
i
) [
2
d
Par la formule de la moyenne appliquee `a la fonction reelle continue
[ P(e
i
) [
2
, on choisit
0
[0, 2] tel que :
1
2
_
2
0
[ P(e
i
) [
2
d =[ P(e
i
0
) [
2
Do` u le resultat.
3
remarque : cette formule de Parseval nest pas equilibree ; le membre
de droite est donne par les n + 1 coecients c
0
, ..., c
n
qui denissent P(X)
alors que le membre de gauche necessite la connaissance continue de P(X)
sur S
1
. On peut en fait discretiser S
1
par les racines (n + 1)
` eme
de 1 et
remplacer
1
2
_
2
0
[ P(e
i
) [
2
d par
1
n+1

n
l=0
[ P(
l
n
) [
2
o` u
n
= e
i
2
n+1
.
(

n
l=0
[ P(
l
n
) [
2
=

n
k=0

n
j=0
c
k
c
j

n
l=0

(kj)l
n
= (n+1)

n
k=0

n
j=0
c
k
c
j

k,j
)
2 Des series enti`eres aux series trigonometriques
A ] coecients dune serie enti`ere
Soit :

a
n
z
n
une serie enti`ere de rayon de convergence R
(R dans R

+
+) et soit : 0 < r < R.
On note f lapplication z

n=0
a
n
z
n
de D(0, R) dans C (continue sur
le disque ouvert de convergence) et g
r
lapplication f(re
i
) continue
sur R.
1] Egalites de Cauchy
Pour p xe dans N, pour n 0 et [0, 2], on a :
[ a
n
r
n
e
i(np)
[ [ a
n
[ r
n
et

[ a
n
[ r
n
converge
donc

a
n
r
n
e
i(np)
converge normalement en sur [0, 2].
Il vient par interversion des signes de sommation :
_
2
0
g
r
()e
ip
d =
_
2
0
f(re
i
)e
ip
d =

n=0
a
n
r
n
_
2
0
e
i(np)
d = 2a
p
r
p
c.a.d :
1
2
_
2
0
f(re
i
)e
ip
d = a
p
r
p
(p 0)
exercice : theor`eme de LIOUVILLE On suppose : R = +
et f bornee sur C. Alors f est constante sur C.
n 1 r > 0 [ a
n
[
1
r
n
1
2
_
2
0
| f |

d
| f |

r
n
On fait tendre r vers + et on obtient :
n 1 a
n
= 0
4
exercice : controle polyn omial de [ f [ On suppose : R = +
On suppose aussi :
(M, C) ]0, +[
2
) (k N) [ [ z [> C =[ f(z) [ M [ z [
k
]
Alors f est un polynome.
Pour r > C et n N, on a :
2 [ a
n
[ r
n
=[
_
2
0
f(re
i
)e
in
d [
_
2
0
[Mr
k
]d = 2 Mr
k
Le membre de gauche est equivalent en + `a 2 [ a
n
[ r
n
et le membre de
droite `a 2Mr
k
. Linegalite impose : a
n
= 0 pour n > k.
2] Et la partie reelle sen mele
On note P la partie reelle de f. Pour R > r > 0 et R, on ecrit :
2 P(re
i
) =
+

p=0
r
p
(a
p
e
ip
+ a
p
e
ip
)
Par convergence normale en sur [0, 2], on a :
n N

a
n
=
1
r
n
_
2
0
P(re
i
) e
in
d ; 2Re(a
0
) =
1

_
2
0
P(re
i
)d
exercice : controle polyn omial discret de Re(f) Donnee : R = +
On suppose quil existe une suite (r
j
)
jN
de reels positifs, croissante vers
+, et quil existe 2 reels strictement positifs C et k tels que :
( R) (j N) P(r
j
e
i
) C r
k
j
(Autrement dit, sur chaque cercle ((0, r
j
), la partie reelle de f est dominee
par le monome Cz
k
)
Alors f est un polynome de degre inferieur `a k.
Pour n dans N

et pour j dans N, a
n
=
1
r
n
j
_
2
0
[P(r
j
e
i)
) Cr
k
j
]e
in
d
donc :
[ a
n
[
1
r
n
j
_
2
0
[Cr
k
j
P(r
j
e
i)
)]d =
1
r
n
j
[2Cr
k
j
2Re(a
0
)].
Pour n xe superieur strictement `a k, on obtient : a
n
= 0 en faisant tendre
j vers +.
5
exercice On suppose : R 1. Si P = Re(f) est `a valeurs positives,
alors : n N

[ a
n
[ 2 Re(a
0
).
Pour 0 < r < 1 et 1 n, on a : a
n
=
1
r
n
_
2
0
P(re
i
) e
in
d
donc r
n
[ a
n
[
_
2
0
P(re
i
)d = 2Re(a
0
), do` u le resultat en faisant
tendre r vers 1.
remarque Si on note Q la partie imaginaire de f, on a Q = Re(if)
donc :
0 < r < R n N

a
n
=
i
r
n
_
2
0
Q(re
i
)e
in
d
exercice On suppose que R est superieur ou egal `a 1, que (a
n
) est une
suite de reels avec a
0
= 0, a
1
= 1. Si f est injective, alors n N [ a
n
[ n.
Pour z D, les coecients a
n
etant reels, on a : f( z) = f(z).
z R z = z f(z) = f( z) (f est injective) f(z) = f(z) f(z) R.
Q = Im(f), continue sur le connexe (convexe) = D Im(z) > 0, ne
sannule pas sur donc Q y garde un signe constant. Or, pour t > 0,
Q(it) =

n=0
(1)
n
a
n
t
2n+1

0
+ t, donc pour t voisin de 0
+
, Q(it) et t ont
le meme signe, do` u : Q > 0 sur .
Soit `a present r ]0, 1[.
On verie facilement que Q(re
i
) est impaire, donc pour n N

,
le reel a
n
secrit : a
n
=
2
r
n
_

0
Q(re
i
) sin n d. Avec Q(re
i
) > 0 sur
]0, [, [ a
n
[
2
r
n
_

0
Q(re
i
) [ sin n [ d. Enn, par recurrence sur n :
[ sin n [ nsin , ce qui donne : [ a
n
[
na
1
r
n1
=
n
r
n1
. Do` u le resultat en
faisant tendre r vers 1.
3] Noyer le Poisson ?
En multipliant au besoin f par un complexe de module 1,
on peut supposer a
0
R.
Pour [ z [< r et t [0, 2] , on a :
[ P(re
it
) (
z
re
it
)
n
[ (
[ z [
r
)
n
| t [ P(re
it
) [ |

donc, par convergence normale en t, on a :


f(z) = a
0
+

n=1
[
1

_
2
0
P(re
it
)
(re
it
)
n
dt]z
n
=
1
2
_
2
0
P(re
it
)[1 + 2

n=1
(
z
re
it
)
n
]dt
Or : 1 + 2

n=1
(
z
re
it
)
n
=
re
it
+z
re
it
z
6
do` u :
f(z) =
1
2
_
2
0
P(re
it
)[
re
it
+ z
re
it
z
]dt
En prenant la partie reelle des 2 membres, on obtient la formule de Poisson :
P(z) =
1
2
_
2
0
P(re
it
)
r
2
[ z [
2
[ re
it
z [
2
dt ([ z [< r < R)
qui secrit aussi :
x R 0 < r P(e
ix
) =
1
2
_
2
0
P(re
i(tx)
)
r
2

2
r
2
2r cos t +
2
. .
noyaude Poisson
dt
Cette formule integrale exprime la fonction P dans le disque D(0, r) `a laide
de P sur le bord du disque .
Diverses expressions du noyau de Poisson.
On pose :
T

() =
r
2

2
r
2
2r cos +
2
( R)
A xe dans [0, r[, T

(.) est une fonction 2-periodique continue et `a va-


leurs positives sur R.
T

() = Re[
1+

r
e
i
1

r
e
i
] = Re[(1+

r
e
i
)

n=0
(

r
)
n
e
in
] = Re[1+2

n=1
(

r
)
n
e
in
]
donc :
T

() = 1 + 2

n=1
(

r
)
n
cos(n)
Voici un portrait interessant du noyau de Poisson : cette fonction des 2 va-
riables et est un objet hybride mi-serie enti`ere mi-serie trigonometrique.
Par convergence normale en sur [0, 2], on a :
1
2
_
2
0
T

()d = 1
On a aussi :
T

() = 1 + 2Re[

n=1
(

r
)
n
e
in
] = 1 +

n=1
(

r
)
n
e
in
+

n=1
(

r
)
n
e
in
donc :
T

() =

r
)
|n|
e
in
7
B ] formule de Parseval
Soit : 0 < r < R. Pour dans R, les 2 series numeriques

a
n
r
n
e
in
et

a
n
r
n
e
in
sont absolument convergentes donc leur serie produit converge
absolument et le theor`eme de Cauchy assure que :

n=0

p+q=n
a
p
r
p
a
q
r
q
e
i(pq)
=

p0
a
p
r
p
e
ip

q0
a
q
r
q
e
iq
=[ f(re
i
) [
2
[

p+q=n
a
p
r
p
a
q
r
q
e
i(pq)
[ est majore independemment de par
u
n
=

p+q=n
[ a
p
r
p
[[ a
q
r
q
[ et, puisque

u
n
converge (produit de Cauchy
de la serie absolument convergente

[ a
p
[ r
p
par elle-meme), la serie de
fonctions

p+q=n
a
p
r
p
a
q
r
q
e
i(pq)
converge normalement sur [0, 2].
On ecrit alors :
_
2
0
[ f(re
i
) [
2
d =

n0
r
n

p+q=n
a
p
a
q
2
pq,0
=

n=0
[ a
n
[
2
r
2n
2
ie :
1
2
_
2
0
[ f(re
i
) [
2
d =

n=0
[ a
n
[
2
r
2n
(0 < r < R)
exercice : principe du maximum Si f nest pas constante, f ne peut
admettre un maximum local en 0.
On a :
[ f(0) [
2
=[ a
0
[
2

1
2
_
2
0
[ f(re
i
) [
2
d (0 < r < R)
donc : [ f(0) [
2
M
2
r
o` u M
r
= Max
[0,2]
[ f(re
i
) [.
Si f admet un maximum local en 0, on choisit r dans ]0, R[
tel que [ f(0) [
2
= M
2
r
. Ceci impose : [ a
n
[
2
r
2n
= 0 pour n 1
do` u a
n
= 0 d`es que n 1.
exercice comportement litigieux dune serie enti`ere au bord
On suppose : R 1
a) Si f est bornee (par M) sur D(0, 1), alors

[ a
n
[
2
converge.
(un theor`eme de Fejer)
b) Si on suppose de plus que (a
n
) est `a valeurs dans Z, alors f est un
polynome.
c) application : on envisage la serie enti`ere

e
in

z
n
avec les conditions
0 < < 1 ; 1 < <
1
2
. On peut montrer que sa fonction somme f,
continue sur le disque ouvert de convergence D(0, 1), est denie sur le disque
8
ferme D(0, 1) et poss`ede donc des limites radiales en tout point de S
1
.
(cf annexe 1 p.67 et RMS-6 fevrier 1994). Et pourtant, a) assure que f nest
pas bornee sur D(0, 1) ; Il en resulte que f nest pas continue sur D(0, 1).
Pour a) et b)
Pour 0 < r < 1 et N 1,
N

k=0
[ a
n
[
2
r
2n

1
2
_
2
0
[ f(re
i
) [
2
d M
2
On fait : r 1

et on obtient :

N
n=0
[ a
n
[
2
M
2
(pour tout N 1)
donc la serie `a termes positifs

[ a
n
[
2
converge.
En particulier : [ a
n
[
2
0. Si on suppose que (a
n
) est `a valeurs dans Z,
necessairement a
n
est nul `a partir dun certain rang.
C ] la fonction balayage au creneau
On veut etudier la serie trigonometrique

sin(nu)
n
. Pour u dans R et n N

,
on pose : G
n
(u) =

n
k=1
sin ku
k
(G
n
est appele noyau de Gibbs)
1) convergence simple sur R
Pour u / 2Z, k dans N

, on pose :
k
(u) =

k
n=0
sin(nu)

k
(u) = Im[

k
n=0
e
inu
] = Im[
1e
i(k+1)u
1e
iu
]
donc : [
k
(u) [[
1e
i(k+1)u
1e
iu
[
2
|1e
iu
|
.
On peut aussi calculer
k
(u) :

k
(u) = Im[
e
i(k+1) u
2
e
i
u
2
e
i(k+1)
u
2 e
i(k+1)
u
2
e
i
u
2 e
i
u
2
2i
2i
]
= Im[e
ik
u
2
sin((k+1)
u
2
)
sin(
u
2
)
]
=
sin((k+1)
u
2
) sin(k
u
2
)
sin(
u
2
)
et on obtient linegalite : [
k
(u) [
1
|sin(
u
2
)|
On regarde, pour p q dans N

, la tranche de Cauchy
C
p,q
(u) =

q
n=p
sin(nu)
n
. Par transformation dAbel :
C
p,q
(u) =
sin(pu)
p
+ ... +
sin(qu)
q
=

p
(u)
p1
(u)
p
+

p+1
(u)
p
(u)
p+1
+ ... +

q1
(u)
q2
(u)
q1
+

q
(u)
q1
(u)
q
= (
1
p

1
p+1
)
p
(u) +... + (
1
q1

1
q
)
q1
(u) +
1
q

q
(u)
1
p

p1
(u)
Chaque
k
(u) est borne par
1
|sin(
u
2
)|
, do` u :
[ C
p,q
(u) [
1
[ sin(
u
2
) [
[(
1
p

1
p + 1
)+...+(
1
q 1

1
q
)+
1
q
+
1
p
]
2
p [ sin(
u
2
) [

9
Pour > 0 xe, on choisit N dans N (qui depend de u) tel que :
2
p|sin(
u
2
)|
d`es que p N. Pour p, q N, on a : [ C
p,q
(u) [ .
La serie

sin(nu)
n
verie donc le crit`ere de Cauchy dans R complet
donc converge.
2) expression de

n=1
sin(nt)
n
(0 < t < 2)
Pour u R, on consid`ere la serie enti`ere reelle

sin(nu)
n
x
n
.
( u R) ( 1 < x < 1) [
sin(nu)
n
x
n
[
|x|
n
n
donc, par comparaison,

sin(nu)
n
x
n
converge absolument et on note S(x, u) sa somme.
Pour determiner une expression simple de S(x, u), on fixe x dans [0, 1[ et
on regarde la fonction S(x, .) denie sur R.
La convergence normale en u de

cos(nu) x
n
assure la derivabilite de
S(x, .) sur R et pour u R, on a :
(S(x, .))

(u) =

n=1
cos(nu)x
n
= Re(

n=1
(xe
iu
)
n
) = Re(
xe
iu
1xe
iu
)
=
xcos(u)(1xcos(u))x
2
sin
2
(u)
(1x cos(u))
2
+(x sin(u))
2
donc : (S(x, .))

(u) =
1
1+(
xsin(u)
1xcos(u)
)
2
x cos u(1x cos u)x
2
sin
2
u
(1x cos u)
2
On reconnait la derivee de f : u arctan(
x sin(u)
1x sin(u)
),
do` u, avec S(x, 0) = f(0) = 0,
S(x, u) = arctan(
xsin(u)
1 xcos(u)
) (1 < x < 1 ; u R)
En particulier, on a, pour 0 < t < 2, S(x, t) = arctan(
x sin(t)
1x cos(t)
)
A t fix e dans ]0, 2[, puisque la serie numerique

sin(nt)
n
converge, par le
theor`eme dAbel radial (cf annexe 1 page 67), on a :
lim
x1
S(x, t) =

n=1
sin(nt)
n
On fait tendre x vers 1 dans legalite ci-dessus et on obtient :

n=1
sin(nt)
n
= arctan(
sin(t)
1cos(t)
) = arctan(
2 sin(
t
2
) cos(
t
2
)
2 sin
2
(
t
2
)
) = arctan(tan(

t
2
)).
Comme

2
<

2

t
2
<

2
, on a legalite :

n=1
sin(nt)
n
=
t
2
(0 < t < 2)
10
remarque 1
On peut etablir de meme que pour 0 < t < 2,

n=1
cos(nt)
n
= ln(2 sin
t
2
)
remarque 2
La methode utilisee pour calculer

n=1
sin(nt)
n
rappelle le calcul de lintegrale
oscillante
_

0
sin v
v
dv par la transformee de Laplace ( cf page 34) et illustre
les analogies entre la dite tranformee et les series enti`eres.
3) pas de convergence uniforme sur [0, 2]
Pour n N

, on pose : x
n
=

6n
.
Pour n > 0,

2n
k=n
sin kxn
k

1
2

2n
k=n
1
k

1
2
1
2n
n
1
4
donc le crit`ere de Cauchy
uniforme nest pas satisfait et la convergence nest pas uniforme sur [0, 2].
Autre vision de laaire ; on suppose que (G
n
) converge uniformement
vers b sur [0, 2]. Par inegalites triangulaires,
| b |

| b G
n
|

| G
n
|

| G
n
b |

+ | b |

et par le theor`eme des gendarmes, | G


n
|

| b |

=

2
= 1, 57..
Or : | G
n
|

G
n
(

n
) =

n

n
k=1
sin k

n
k

n
avec, par sommes de Riemann de
lapplication contin ument prolongee t
sin t
t
sur [0, ],
lim
n+
G
n
(

n
) =
_

0
sin t
t
dt =
..
admis
1, 85..
En passant `a la limite dans linegalite ci-dessus, il vient :

2
1, 85..
Contradiction.
4) convergence uniforme compacte sur ]0, 2[
Soit : 0 < < . Linegalite donne :
u [, 2 ] p q [ C
p,q
(u) [
2
p [ sin(
u
2
) [

2
p [ sin(

2
) [
.
Soit : > 0. On choisit N dans N tel que : p N
2
p|sin(

2
)|
.
On a alors : [ C
p,q
(u) [ d`es que : N p q et u [, 2 ]
donc la serie de sinus est uniformement de Cauchy sur [, 2 ],
donc converge uniformement sur [, 2 ].
Ce resultat est obtenu dune autre facon page 38.
11
5) G
n
(x) =

n
k=1
sin kx
k
bornee independemment de n et x
On veut majorer | G
n
|

par une quantite independante de n. G


n
etant 2-
periodique, impaire, continue en 0 et en , il sut de trouver une constante
K telle que :
n N

x ]0, [ [ G
n
(x) [ K
Soit n N

et x ]0, [. On decoupe G
n
(x) arbitrairement :
pour 1 m n,

n
k=1
1
k
sin kx =

m
k=1
1
k
sin kx +

n
k=m+1
1
k
sin kx.
On g`ere ensuite la tranche de Cauchy C
m,n
=

n
k=m+1
1
k
sin kx.
[ C
m,n
[
1
m+1
2
|sin
x
2
|
dapr`es
Par ailleurs, [

m
k=1
1
k
sin kx [ x

m
k=1
[
sin kx
kx
[ mx
Par inegalite triangulaire, [

n
k=1
1
k
sin kx [ mx +
2
(m+1) sin
x
2
Linegalite de Jordan sin u
2

u (u [0,

2
]) donne alors
[
n

k=1
1
k
sin kx [ mx +
2
(m+ 1)
x

On choisit m = min (E(

x
), n). (Decoupe dependant de la variable x)
Si m = E(

x
), mx E(

x
)x

x
x et (m+ 1)
x

x
1 + 1)
x

1
do` u :
[
n

k=1
1
k
sin kx [ + 2
Si m = n, m = n

x
et [

m
k=1
1
k
sin kx [

x
x =
bilan : | G
n
|

+ 2
6) pour tester les techniques precedentes :

n=2
cos nx
nln n

x0
ln(ln x)
Les verications sont laissees au lecteur.
Pour x ]0, 2[ et N 2, [

N
n=2
cos nx [
2
|1e
ix
|
et (
1
ln n
)
n2
decroit
vers 0, donc par transformation dAbel,

cos nx
nln n
converge. On note f(x) sa
somme.
La serie de fonctions

cos nx
nln n
converge uniformement sur tout segment du
type [, 2 ] ( arbitraire dans ]0, [), ce qui assure la continuite de f
sur ]0, 2[.
Pour x ]0, 2[ et N = E(
1
x
), on ecrit (selon une decoupe variable) :
f(x) =

N
n=2
1
nln n

N
n=2
1cos nx
nln n
+

n=N+1
cos nx
nln n
.
Chaque tranche de Cauchy

p
n=N+1
cos nx
nln n
(p > N) est majoree en
valeur absolue par
4
|1e
ix
|
1
(N+1) ln(N+1)
o` u :
4
|1e
ix
|
1
(N+1) ln(N+1)

x0
4
x
1
1
x
ln
1
x

4
ln x
donc le reste

n=N+1
cos nx
nln n
tend vers 0 quand x tend vers 0.
12
On a : 0

N
n=2
1cos nx
nln n
= 2

N
n=2
sin
2 nx
2
nln n
2

N
n=2
(
nx
2
)
2
nln n
=
x
2
2

N
n=2
n
ln n

x
2
2
N
N
ln N
. Comme 0 x
2
N
2
1, la somme nie

N
n=2
1cos nx
nln n
tend vers
0 quand x tend vers 0.
Par comparaison serie-integrale,

N
n=2
1
nln n

N+
_
N
2
dt
t ln t
ln (ln N)
ln (ln x).
En denitive, f(x)
0
ln (ln x)
13
Deuxi`eme partie
Le decor
On veut mettre des hypoth`eses de regularite sur f : R C pour representer
f comme somme de serie trigonometrique.
Si une serie de fonction du type

a
n
cos(nx) +b
n
sin(nx) ou

c
n
e
inx
converge simplement en x
0
, elle converge aussi pour x
0
+ 2 et les sommes
sont egales. Il est donc necessaire de choisir f 2-periodique.
1 espace de Dirichlet
On appelle Espace de Dirichlet le C-espace vectoriel note T des fonctions
de R dans C, 2-periodiques, continues par morceaux et veriant pour tout
reel x , f(x) =
1
2
[f(x+) +f(x)]
Pour f dans T, on pose :
| f |

= sup
xR
[ f(x) [ et | f |
1
=
1
2
_
2
0
[ f(t) [ dt
| |

et | |
1
sont des normes sur T.
2 completude de (
2
(R, C) muni de la norme | |

On pose : E = f (([0, 2], C)f(0) = f(2).


On consid`ere lapplication de ((([0, 2], C), | |

) dans C qui `a u
associe le complexe u(2) u(0).
est une forme lineaire continue (facile !) de noyau E donc E , sous-espace
ferme du Banach ((([0, 2], C), | |

), est complet.
L application u u
| [0,2]
de (
2
(R, C) dans E est une bijection lineaire
isometrique donc (
2
(R, C) est un Banach.
3 norme hermitienne sur T
(f, g) (f [ g) =
1
2
_
2
0

fg est un produit scalaire hermitien sur T et on


note | |
2
la norme associee.
Pour k dans Z, on note e
k
lapplication x e
ikx
de R dans C.
La famille (e
k
) est orthonormale pour ( [ ), et donc libre dans T.
A-t-on : (e
k
) base de T?
Non ! Sinon tout element de T, combinaison lineaire nie des e
k
, est
continue. Penser `a une fonction creneau.
A-t-on : (e
k
) base de (
2
(R, C) ?
Non ! Sinon tout element de (
2
(R, C) est de classe C
1
sur R. Penser
`a une fonction dent de scie continue.
14
exercice : la boule unite fermee de ((
2
(R, C), | |
2
) nest pas
compacte. On prouve le resultat sans evoquer la dimension de (
2
(R, C).
Pour p ,= q dans Z, pour x dans R, [ e
p
(x) e
q
(x) [
2
= 2 2Re(e
i(qp)x
).
On a alors : | e
p
e
q
|
2
2
= 2. Si la boule unite fermee de ((
2
(R, C), | |
2
)
est compacte, la suite (e
k
)
kN
admet une valeur dadherence donc une sous
suite de Cauchy. Ce qui nest pas.
On veut `a present savoir si ((
2
(R, C), | |
p
) (p = 1, 2) est complet.
Ce probl`eme revient `a etudier lequivalence des normes | |
p
et | |

.
En eet, si | |
p
et | |

sont equivalentes, alors toute suite de Cau-


chy pour | |
p
lest aussi pour | |

, converge donc dans le Banach


((
2
(R, C), | |

) et par inegalite des normes, converge vers la meme limite


pour | |
p
. Reciproquement, si ((
2
(R, C), | |
p
) est complet, lapplication
id : ((
2
(R, C), | |

) ((
2
(R, C), | |
p
) est une bijection lineaire
continue entre espaces de Banach et, dapr`es le theor`eme de lapplication
ouverte (cf annexe 2 page 71), sa reciproque est aussi continue, ce qui donne
alors lequivalence de normes.
exercice : ((
2
(R, C), | |
p
) (p = 1, 2) nest pas complet. Le but
est dexhiber une suite de Cauchy de ((
2
(R, C), | |
p
) qui ny converge
pas. Pour n dans N, on denit la fonction f
n
sur R par :
1. f
n
est 2-periodique.
2. f
n
est paire.
3. f
n
(x) = n si 0 x (
1
n
)
p+1
.
4. f
n
(x) = (
1
x
)
1
p+1
si (
1
n
)
p+1
x
(f
n
) est de Cauchy dans ((
2
(R, C), | |
p
).
Pour n < m dans N,
| f
m
f
n
|
p
p
=
1
2
2
_
(
1
n
)
p+1
0
[ f
m
(t) f
n
(t) [
p
dt

_
(
1
n
)
p+1
0
[(
1
t
)
1
p+1
n]
p
dt
. .
convergente en 0

_
(
1
n
)
p+1
0
t
p
p+1
dt

p+1
n
.
Do` u le resultat.
(f
n
) nest pas convergente dans ((
2
(R, C), | |
p
).
Si (f
n
) converge vers f dans ((
2
(R, C), | |
p
),
15
on a : > 0
_

[ f
n
(t) f(t) [
p
dt 0. ()
Pour n tel que (
1
n
)
p+1
< , f
n
(x) =
1
x
1
p+1
sur [, ]
donc, avec (),
_

[
1
t
1
p+1
f(t) [
p
dt = 0.
Par continuite et positivite de lintegrande,
on obtient : f
1
x
1
p+1
sur [, ] et ce pour tout > 0.
f coincide donc avec x
1
x
1
p+1
sur ]0, ].
Impossible car x
1
x
1
p+1
nest pas continue en 0.
On a meme verie que (f
n
) ne converge pas dans (T, | |
p
), ce qui assure
que (T, | |
p
) nest pas complet.
exercice : | |
p
(p = 1, 2) nest pas equivalente `a | |

dans
(
2
(R, C). Resultat acquis avec lexercice precedent et la completude de
((
2
(R, C), | |

). Voici toutefois une preuve directe.


On raisonne par labsurde.
On suppose : C > 0 f (
2
(R, C) | f |
p
C | f |

.
Pour n dans N

, on denit la fonction f
n
sur R par :
1. f
n
est 2-periodique.
2. f
n
est paire.
3. la restriction de f
n
`a [0,
1
n
] est lapplication ane (0 1,
1
n
0).
4. f
n
(x) = 0 si
1
n
x
On a : | f
n
|

= 1
On a : | f
n
|
p
p

1
2
_

[ f
n
(t) [ dt car f
n
est `a valeurs dans [0, 1]
donc : | f
n
|
p
p

1
2
2
1
2n
donc : | f
n
|
p
(
1
2n
)
1
p

2n
Lhypoth`ese de depart donne : n N
1

2n
C. Absurde !
exercice : (
2
(R, C) est dense dans (T, | |
2
)
4 sous-espace T des polyn omes trigonometriques
On note T le sous-espace de T engendre par la famille orthonormale (e
k
)
kZ
et, pour p dans N, on pose : T
p
= V ect(e
k
, p k p).
16
T ferme dans ((
2
(R, C), | |

) ?
on suppose que T est ferme dans le Banach (
2
(R, C). T est donc complet
et verie la propriete de Baire (cf annexe 2 page 71) ; chaque S.e.v T
p
etant
ferme (S.e.v de dimension nie) et dinterieur vide dans T (sinon T
p
contient
une boule ouverte, et donc T par invariance par homothetie), la reunion

pN
T
p
est dinterieur vide dans T . Absurde car
pN
T
p
= T
coecients de Fourier
Dans le prehilbertien complexe T , tout element x secrit

q
k=p
x
k
e
k
(p, q Z) avec x
k
= (e
k
[ x). Si y dans T secrit

q
k=p
y
k
e
k
, on a :
(x [ y) =

q
k=p
x
k
y
k
. Ces relations simples dans un prehilbertien muni
dune base orthonormee justient, pour une tentative de generalisation,
linteret dintroduire les coecients (e
k
[ f) lorsque f appartient `a T.
d efinition : pour f dans T et n dans Z, on pose :
c
n
(f) = (e
n
[ f) =
1
2
_
2
0
f(u)e
inu
du
c
n
(f) est appele coecient exponentiel de f et la serie de fonction

c
n
(f)e
n
serie de Fourier complexe de f.
remarque 1 :

c
n
(f)e
n
est dite convergente (en un sens `a preciser) quand
la suite des sommes partielles centrees S
p
(f) =

p
k=p
c
k
(f)e
k
converge en
ce sens.
remarque 2 : pour t dans R et pour n dans N

, on peut ecrire :
c
n
(f)e
n
(t) +c
n
(f)e
n
(t) = a
n
(f) cos(nt) +b
n
(f) sin(nt)
o` u on a pose :
a
n
(f) =
1

_
2
0
f(u) cos(nu)du ; b
n
(f) =
1

_
2
0
f(u) sin(nu)du
On pose aussi : a
0
(f) =
1

_
2
0
f(u)du.
Lorsque f est `a valeurs reelles, les a
n
(f) (n 0) et b
n
(f) (n 1) sont
reels. On les appelle coecients de Fourier reels de f et la serie de fonctions
a
0
2
+

a
n
(f) cos(n.) +b
n
(f) sin(n.) est appelee serie de Fourier reelle de f.
Le terme a
1
cos t +b
1
sin t, de meme periode que le signal f, porte le nom de
terme fondamental. Le terme a
n
cos nt + b
n
sin nt n N

, de periode
2
n
,
est appele harmonique de rang n.
premier exemple :
si
a
0
2
+

nN
a
n
cos nx + b
n
sin nx est une serie trigonometrique uniforme-
ment convergente, de somme f, alors necessairement f est dans (
2
(R, C),
et sa serie de Fourier coincide avec
a
0
2
+

nN

a
n
cos nx +b
n
sin nx.
17
exercice a) Montrer que :
p N

S
p
(f) =
1
2
_
2
0
f(. t)
p

k=p
e
ikt
. .
noyaude Dirichlet D
p
dt =
1
2
_
2
0
f(t)

p
k=p
e
ik(.t)
dt
b) Montrer que D
p
est pair, 2-periodique et continue sur R avec :
t ]0, ] D
p
(t) =
sin(p +
1
2
)t
sin
t
2
et D
p
(0) = 2p + 1
c) Verier que :
1
2
_
2
0
D
p
(t)dt = 1
5 unicite des developpements...premi`ere...action
Soit f non nulle dans (
2
(R, R).
Alors les coecients de Fourier de f ne sont pas tous nuls.
preuve : on raisonne par labsurde en supposant que : n Z c
n
(f) = 0
Quitte `a remplacer f par f, on choisit c R tel que : f(c) > 0. On
verie sans peine, que pour n Z, c
n
(f(. c)) = e
inc
c
n
(f) (cf infra). En
remplacant au besoin f par f(. c), on fait : c = 0. Par continuite de f en
0, on choisit 0 < h <

2
; a > 0 tels que : f a > 0 sur ] h, h[.
Pour n N

et x R, on pose : v(x) = 1 + cos x cos h ; P


n
(x) = (v(x))
n
.
_

f(x)P
n
(x)dx =
_
h
h
+
_
[,]
\]h,h[
2a
_
h
0
P
n
(x)dx | f |

_
[,]
\]h,h[
[ P
n
[
v est impaire, decroit sur [0, ], est bornee par 1 sur [h, ]
De l`a :
_

f(x)P
n
(x)dx 2a
_
h
0
P
n
(x)dx 2 | f |

La fonction cosinus est concave sur [0, h] (0 < h <



2
)
donc, pour x [0, h], cos x 1
1cos h
h
x 0
do` u :
_
h
0
P
n
(x)dx
_
h
0
(2 cos h
1 cos h
h
x)
n
dx =
h
1 cos h
1
n + 1
[(2cos h)
n+1
1]
Il vient : 0 =
_

f(x)P
n
(x)dx
2ah
1cos h
1
n+1
[(2 cos h)
n+1
1] 2 | f |

Or le membre de droite de linegalite tend vers + quand n tend vers +.


Contradiction !
18
6 regularite des elements de (
2
(R, C)
propri et e : toute fonction f continue 2-periodique de R dans C est unifor-
mement continue.
preuve : la justication repose sur le theor`eme de Heine et sur une technique
de debordement.
f est uniformement continue sur le segment [0, 4] (Heine)
Si 2 reels u, v (u < v) sont 2-proches, u 2E(
u
2
) et v 2E(
v
2
)
sont simultanement dans [0, 4].
Soit > 0. On choisit dans ]0, 2] tel que :
x, y [0, 4] [ y x [ [ f(y) f(x) [ .
Si 2 reels u et v (u < v) sont -proches, ils sont 2-proches et leurs
translates x = u 2E(
u
2
), y = v 2E(
v
2
) sont -proches dans
[0, 4] do` u, par periodicite de f, [ f(v) f(u) [=[ f(y) f(x) [
exercice : compacite de K
f
= f(.+) R Soit : : f(.+)
de [0, 2] dans K
f
.
est continue sur [0, 2].
Soit
0
dans [0, 2] et (
n
)
nN
une suite de reels de [0, 2] qui converge
vers
0
. Soit : > 0. Par uniforme continuite de f sur R, on choisit
> 0 tel que : u, v R [ u v [< [ f(u) f(v) [ .
On choisit N dans N tel que : n N [
n

0
[< .
n N x R [ f(x +
n
) f(x +
0
) [
do` u n N | f(. +
n
) f(. +
0
) |

.cqfd.
est surjective.
Soit :

f = f(. +) K
f
. On pose : = 2E(

2
). On a

f = ( )
avec [0, 2].
A-t-on injective ?
NON ! (0) = (2) ! Il ne faut pas rever : si tel etait le cas, K
f
serait homeomorphe `a [0, 2].
exercice : convergence simple et uniforme de (
1
n

n1
k=0
f(. +
2k
n
))
pour f (
2
(R, C)
Soit : x R.
2
n

n1
k=0
f(x +
2k
n
) est la somme de Riemann de f
associee `a la subdivision (x, x+
2
n
, ..., x+
2(n1)
n
, x+2) et au pointage
((x, x+
2
n
, ..., x+
2(n1)
n
). Comme f est continue,
1
n

n1
k=0
f(x +
2k
n
)
tend vers
1
2
_
x+2
x
f(t)dt = c
0
(f)e
0
(x) quand n +.
19
Soit : > 0.
Pour x R, n N

, on pose :

n
(x) =[
1
n
n1

k=0
f(x +
2k
n
) c
0
(f)e
0
(x) [

n
(x) =[
1
n

n1
k=0
f(x +
2k
n
)
1
2
_
x+2
x
f(t)dt [
On compare facilement des objets de meme allure do` u lidee decrire :
_
x+2
x
f(t)dt =

n1
k=0
_
x+
2(k+1)
n
x+
2k
n
f(t)dt.
Il vient :

n
(x)
1
2

n1
k=0
[
2
n
f(x +
2k
n
)
_
x+
2(k+1)
n
x+
2k
n
f(t)dt [

1
2

n1
k=0
[
_
x+
2(k+1)
n
x+
2k
n
(f(x +
2k
n
) f(t))dt [

1
2

n1
k=0
_
x+
2(k+1)
n
x+
2k
n
[ f(x +
2k
n
) f(t) [ dt
Soit > 0 tel que u, v R [ u v [ =[ f(u) f(v) [
On choisit N
0
N tel que n N
0
2
n

Pour n N
0
, [ f(x+
2k
n
) f(t) [ d`es que t [x+
2k
n
, x+
2(k+1)
n
].
Pour x R,
n
(x)
1
2
n
2
n
. Do` u le resultat.
exercice : x R S
n
(f)(x) f(x) = (lnn) (f (
2
(R, C))
Quitte `a remplacer f par f f(x), on peut supposer : f(x) = 0.
S
n
(f)(x) =
1
2
_
0

f(x t)D
n
(t)dt +
1
2
_

0
f(x t)D
n
(t)dt
=
1
2
_

0
f(u)D
n
(x u)du+
1
2
_

0
f(x t)D
n
(t)dt (changement de variable)
=
1
2
_

0
f(u)D
n
(u x)du +
1
2
_

0
f(x t)D
n
(t)dt (D
n
pair)
=
1
2
_

0
f(x + t)D
n
(t)dt+
1
2
_

0
f(x t)D
n
(t)dt (changement de variable)
donc :
S
n
(f)(x) =
1
2
_

0
[f(x +t) +f(x t)]D
n
(t)dt
La seule diculte dans le contr ole de cette integrale se situe au voisinage
de 0. Y cohabitent en eet le noyau D
n
proche de 2n + 1 et le crochet
uniformement (par rapport `a t) proche de f(x) = 0.
Soit > 0. On choisit > 0 tel que :
u, v R [ u v [ [ f(u) f(v) [
20
[ S
n
(f)(x) [
2
2
_

0
[ D
n
(t) [ dt +
2 | f |

2
_

1
[ sin
t
2
[
dt
. .
constante K

0
|sin (n+
1
2
)t|
sin
t
2
dt + K

0

|sin (n+
1
2
)t|
t
dt + K (x [0,

2
] sin x
2

x)

_
(n+
1
2
)
0
|sin u|
u
du +K
Or :
_
(n+
1
2
)
0
|sin u|
u
du
_
(n+1)
0
|sin u|
u
du

0
|sin u|
u
du +

n
k=1
_
(k+1)
k
|sin u|
u
du

0
|sin u|
u
du +

n
k=1
1
k
_
(k+1)
k
[ sin u [ du

0
|sin u|
u
du +
2

n
k=1
1
k
do` u : [ S
n
(f)(x) [
2

n
k=1
1
k
+
_

0
|sin u|
u
du +K
Do` u le resultat.
application : densite de (
1
2
(R, C) dans (
2
(R, C) Pour f dans (
2
(R, C),
considerer la suite de fonctions f
n
: x n
_
x+
1
n
x
f(t)dt et montrer grace `a
luniforme continuite de f que (f
n
) converge uniformement vers f.
Au passage, on obtient en cascade la densite de (
k
2
(R, C) dans (
2
(R, C)
pour 1 k < +.
On peut aussi noter que ce resultat nest pas etranger `a la convolution ;
si on pose, pour u R et n N

,
n
(u) = n
[0,1]
(nu), f
n
est la convolee
de f par
n
. Il est assez rare pour noter que f nest que continue et que le
noyau
n
nest meme pas continu alors que f
n
= f
n
est C
1
sur R.
7 Densite de T dans (
2
(R, C)
1
enonc e : la famille (e
k
)
kZ
a, en plus detre orthonormale dans (T, [), une
autre qualite remarquable : le sous-espace T (des polynomes trigonome-
triques) quelle engendre est dense dans ((
2
(R, C), | |

).
remarque : les inegalites | |
1
| |
2
| |

donnent la densite de
T dans ((
2
(R, C), | |
i
). Enn, la densite de (
2
(R, C) dans (T, | |
2
)
assure la densite de T dans (T, | |
2
).
preuve : voici une demonstration originale ( ?) du theor`eme trigono-
metrique dapproximation de Weierstrass. Elle repose sur la densite de
21
(
1
2
(R, C) dans (
2
(R, C) et sur les proprietes des G
n
(noyau de Gibbs)
Lidee est de montrer quune fonction g de (
1
2
(R, C) est limite uniforme
des sommes partielles de sa serie de Fourier (cas particulier du theor`eme de
convergence uniforme de Dirichlet), et donc limite uniforme de polynomes
trigonometriques. Maintenant une fonction f de (
2
(R, C) peut etre ap-
prochee uniformement par un element g de (
1
2
(R, C) do` u, en 2 temps, la
densite de T dans (
2
(R, C).
Quitte `a remplacer g par g c
0
(g), on peut supposer
1
2
_
2
0
g = 0
Pour n N

et x R, on pose :
n
(x) = S
n
(g)(x) g(x).
on ecrit : S
n
(g)(x) =
1
2
_
2
0
[1 + 2

n
k=1
cos(k(x t))]g(t)dt
=
1
2
_
2
0
[2

n
k=1
cos(k(x t))]g(t)dt car c
0
(g) = 0
Les fonctions g et t 2

n
k=1
cos(k(x t)) sont de classe C
1
, donc par
integration par parties :
S
n
(g)(x) =
1
2
[
n

k=1
2 sin(k(x t))
k
g(t)]
2
0
. .
=0 parp eriodicit e
+
_
2
0

n
k=1
2
k
sin(k(x t)) g

(t)dt
=
1
2
_
2
0

n
k=1
2
k
sin kt g

(x t)dt
= 2 g

G
n
(x)
On rappelle que n N

t R [ G
n
(t) [ M avec M = + 2 et on
remarque que la fonction g

, element de (
2
(R, C), est bornee.
Pour 0 < < ,
S
n
(g)(x) =
1

_
2
0
g

(x t)G
n
(t)dt =
1

_

0
+
1

_
2
2
. .
born e par 2

M
+
1

_
2

. .
not e r
n
(x)
g

(
2
(R, C) etant bornee et (G
n
) convergeant uniformement sur [, 2]
vers b : t
t
2
, la suite de fonctions r
n
: x
1

_
2

(x t)G
n
(t)dt
converge simplement vers r : x
1
2
_
2

(x t)( t)dt.
La convergence de r
n
vers r est meme uniforme ; en eet, x [, 2 ]
n N

[ r
n
(x) r(x) [
1

| g

(2 2) sup
t[,2]
[ G
n
(t) b(t) [
et le membre de droite de linegalite, via la convergence uniforme de (G
n
)
vers b sur [, 2 ], tend vers 0 quand n tend vers + independemment
de la variable x.
Pour n N

et x R, [
n
(x) [
2M g

+ [ r
n
(x) g(x)
. .

n
(x)
[
[
n
(x) [[ r
n
(x) r(x) [ + [ r(x)
1
2
_
2
0
g

(x t)( t)dt [ +
22
[
1
2
_
2
0
g

(x t)( t)dt g(x) [


Le dernier terme de la somme vaut : [
1
2
_
2
0
[g

(x t)] t dt g(x) [ car


avec la 2-periodicite et le caract`ere C
1
de g,
_
2
0
g

(x t) dt = 0. Par
integration par parties,
_
2
0
[g

(x t)] t dt = 2g(x) donc ce dernier terme


est nul.
Le terme median est borne par

2
| g

+
[2(2)]
2
| g

ie
| g


Soit > 0. On choisit N
0
N tel que :
x R n N n N
0
[ r
n
(x) r(x) [

2
.
Avec choisi dans ]0, [ tel que (1 +
2M

) | g



2
, on a :
x R n N
0
[
n
(x) [
exercice Unicite des developpements en serie de Fourier dans (
2
(R, C).
Si un element h de (
2
(R, C) a tous ses coecients de Fourier nuls, alors
h est lapplication nulle. Ce resultat est le point de vue trigonometrique
de la version elementaire (version continue) du theor`eme des moments. Il
signie que lorthogonal de T dans (
2
(R, C) est trivial.
preuve : on envisage une suite (P
k
)
kN
de polynomes trigonometriques
qui converge uniformement vers

h (
2
(R, C). h est bornee donc (hP
k
)
converge uniformement sur R, vers [ h [
2
.
Do` u lim
k+
_
2
0
hP
k
=
_
2
0
[ h [
2
.
Or : k N
_
2
0
hP
k
= 0 car n Z c
n
(h) = (h [ e
n
) = 0.
Il vient
_
2
0
[ h [
2
= 0 et par continuite et positivite de [ h [
2
, h = 0.
application : pour f (
2
(R, C), si

[ c
n
(f) [ converge, alors la serie de
Fourier de f converge uniformement sur R vers f.
La convergence uniforme sur R de la serie de fonctions continues

c
n
e
n
est
assuree par convergence normale. Soit g sa somme, element de (
2
(R, C).
Dans le c
n
(g) (n Z), on peut intervertir les signes
_
et

et obtenir :
n Z c
n
(g) = c
n
(f).
h = f g appartient `a (
2
(R, C) et a ses coecients de Fourier nuls donc h
est lapplication nulle. cqfd.
exercice Pour f (
2
(R, C) et n N

, on pose : u
n
(f) =
1
n

n1
k=0
f(k).
montrer (P(f)) : (u
n
(f))
nN
converge vers I(f) =
1
2
_
2
0
f(t)dt.
Autrement dit, la suite (f(n))
nN
converge en moyenne de Cesaro vers la
valeur moyenne de f.
n N

u
n
(e
0
) = 1 =
1
2
_
2
0
e
0
23
n N

u
n
(e
1
) =
1
n

n1
k=0
e
ik
=
1
n
1e
in
1e
i1
donc : [ u
n
(e
1
) [
2
n |1e
i1
|
donc (u
n
(e
1
)) converge vers 0 =
1
2
_
2
0
e
1
.
Lorsquon enroule N autour de S
1
, la repartition obtenue sur S
1
montre
une certaine symetrie par rapport `a lorigine.
Y-a-t-il des zones de concentration ?
On remplace e
1
par e
p
(p Z

) et on enroule pN autour de S
1
.
Ces changements dechelle visent `a faire exploser les zones de concentration
eventuelles.
p Z

n N

[ u
n
(e
p
) [=
1
n
[
1e
ipn
1e
ip
[
1
n
2
|1e
ip
|
donc (u
n
(e
p
)) converge vers 0 =
1
2
_
2
0
e
p
Les changements dechelle ne perturbent pas la symetrie par rapport `a 0.
Do` u une certaine uniformite de la repartition. Ce phenom`ene nest pas
trop surprenant si on a en tete que N + 2Z est proche du sous-groupe
additif Z + 2Z de R, dense dans R.
Par linearite de u
n
(.) (n N

) et de I(.), (P(.)) est stable par combinai-


sons lineaires donc valable pour les polynomes de T .
stabilite de (P(.)) par convergence uniforme.
Soit f (
2
(R, C). On consid`ere une suite (P
n
) de polynomes trigonome-
triques qui convergent uniformement vers f sur R.
Pour n N

et k N,
u
n
(f) I(f) = u
n
(f P
k
) +u
n
(P
k
) I(P
k
) +I(P
k
f)
donc : [ u
n
(f) I(f) [ 2 | f P
k
|

+ [ u
n
(P
k
) I(P
k
) [
par continuite des formes lineaires u
n
et I pour la norme | |

Soit > 0 et k

N tels que : | f P
k
|


On a alors : [ u
n
(f) I(f) [ M
n
= 2+ [ u
n
(P
k

) I(P
k

) [
et k

etant xes, on a : M
n
2.
On choisit alors N
0
dans N tel que : n N
0
M
n
3.
Do` u le resultat.
Autre point de vue :
on consid`ere le sous-espace de (
2
(R, C) : = f (
2
(R, C)(P(f)) est vraie
et on prouve par densite-fermeture que est (
2
(R, C).
application :
N

k=1
[ sin k [
k

2

k=1
1
k

2

ln N (en +)
24
Pour N N

, on evalue

N
=
N

k=1
[ sin k [
k

2

k=1
1
k
Pour 1 k N, on pose : u
k
=[ sin k [
2

et
k
=

k
p=1
u
p

N
=

N
N


1
2
+

N1
k=2

k
k(k+1)
par transformation dAbel
Pour 1 k N,
k
= k [
1
k

k
p=1
[ sin p [
2

] donc, dapr`es lexercice


(avec f : t [ sin t [),
k
est negligeable devant k.
1.

N
N
0 (N +)
2.

k
k(k+1)
= (
1
k
)
La serie harmonique est une serie `a termes positifs divergente
donc par sommation de la relation ,

N1
k=2

k
k(k+1)
= (lnN)
On a prouve que
N
est negligeable devant ln N.
Do` u le resultat.
remarque : on a montre que la suite
n
= n(2), dense dans [0, 2], verie :
f (
2
(R, C)
1
n
n1

k=0
f(
k
)
n
1
2
_
2
0
f(t)dt.
Ce type de propriete est lie `a la repartition des termes de la suite dans
lintervalle mais nest pas une consequence de la densite. Pour sen convaincre,
on consid`ere la suite
n
=[ sin n [, dense dans [0, 1]. Si f est la fonction 1-
periodique denie sur [0, 1] par f(x) = x(1 x), on a :
1
1
_
1
0
f =
1
6
et
pourtant,
1
n

n1
k=0
f(
k
) =
1
n

n1
k=0
[ sin k [
1
2
+
1
2n

n1
k=0
cos 2k tend vers
2


1
2
,=
1
6
.
exercice Soit : f (
2
(R, C). On rappelle : K
f
= f(. +) R.
On suppose : p Z c
p
(f) ,= 0. Alors H
f
= V ect(K
f
) est dense dans
((
2
(R, C), | |

).
Il sut de verier que : p Z e
p


H
f
.
On pose : = fe
p
. Dapr`es lexercice page 19, la suite de fonctions
(
1
n

n1
k=0
(. +
2k
n
) = [
1
n

n1
k=0
e
ip
2k
n
f(. +
2k
n
)]e
p
) converge uniforme-
ment sur R vers c
0
()e
0
= c
p
(f)e
0
ie :
> 0 N > 0 n N x R [
1
n
n1

k=0
e
ip
2k
n
f(x +
2k
n
)e
p
(x)c
p
(f)e
0
(x) [
25
Or :
[
1
n

n1
k=0
e
ip
2k
n
f(x +
2k
n
)e
p
(x) c
p
(f)e
0
(x) [
= [ e
p
(x) [
. .
=1
[
1
n

n1
k=0
e
ip
2k
n
f(x +
2k
n
) c
p
(f)e
p
(x) [
On a alors : c
p
(f)e
p


H
f
. Puisque c
p
(f) ,= 0 et

H
f
S.e.v de (
2
(R, C), on
a enn : e
p


H
f
.
2 theor`eme de Fejer :
pour f dans (
2
(R, C), la suite de fonctions
n
(f) =
1
n+1

n
k=0
S
k
(f) converge
uniformement sur R vers f.
outils pour la preuve ; exercice a) Montrer que :
n N

n
(f) =
1
2
_
2
0
f(. t)
1
n + 1
n

k=0
k

l=k
e
ilt
. .
noyaude Fejer F
n
dt =
1
2
_
2
0
f(t)F
n
(. t)dt
On ecrit :
n
(f) = f F
n
b) Montrer que F
n
=
1
n+1

n
k=0
D
k
est pair, 2-periodique, positif et continu
sur R avec :
t ]0, ] F
n
(t) =
1
n + 1
sin
2
(n + 1)
t
2
sin
2 t
2
et F
n
(0) = n + 1
c) Verier que :
1
2
_
2
0
F
n
(t)dt = 1
d) Verier que : F
n
=

n
k=n
(1
|k|
n+1
)e
k
=
1
n+1

n
k=n
(n + 1 [ k [)e
k
puis que F
2n+1
=
1
2n+1
D
2
n
e) Noyau de Fejer au service du noyau de Gibbs
Pour x [0, 1[ et t R, on pose de facon licite : S(x, t) =

n=1
sin nt
n
x
n
et on rappelle que : S(x, t) = arctan(
xsin t
1x cos t
)
Montrer : S(x, .) F
n
(t) =

n
k=1
sin kt
k
x
k

1
n

n
k=1
sin kt x
k
En deduire : [

n
k=1
sin kt
k
x
k
[

2
+ 1
conclure que (| G
n
|

) est bornee.
La preuve du theor`eme de Fejer est donnee en annexe 3 page 72.
application 1 On retrouve lunicite des developpements en series de
Fourier dans (
2
(R, C).
Si f, g appartiennent `a (
2
(R, C) et si k Z c
k
(f) = c
k
(g),
alors n N
n
(f) =
n
(g) et en passant `a la limite dans
| f g |

| f
n
(f) |

+ |
n
(g) g |

,
on obtient | f g |

0 ie f = g.
26
application 2 Pour f (
2
(R, C) et x
0
R, si (S
n
(f)(x
0
))
nN
converge,
alors S
n
(f)(x
0
) f(x
0
).
utiliser le fait que la convergence usuelle dune suite numerique implique
la convergence en moyenne vers la meme limite, puis le theor`eme de Fejer.
application 3 Soit B la partie de (
2
(R, C) formee des fonctions dont
tous les coecients de Fourier complexes dindices strictement negatifs sont
nuls.
B nest pas dense dans ((
2
(R, C), | |

).
Par labsurde, soit (P
k
)
kN
une suite de B qui converge uniformement sur
R vers e
1
. Puisque e
1
est borne sur R, (e
1
P
k
) converge uniformement vers
x 1. Il vient 2 =
_
2
0
1 = lim
k+
_
2
0
e
1
P
k
= 0. Contradiction.
B est fermee dans (
2
(R, C).
Soit (f
p
)
pN
une suite de points de B qui converge uniformement sur R vers
un element f (
2
(R, C). Pour n < 0 dans Z, e
n
etant bornee, (f
p
e
n
)
converge uniformement vers fe
n
do` u :
0 = lim
p+
c
n
(f
p
)
. .
=0
=
1
2
_
2
0
fe
n
= c
n
(f)
cad : f B.
B est ladherence des fonctions polynomes en e
1
.
B, fermee dans (
2
(R, C), contient les polynomes en e
1
, donc contient
ladherence des polynomes en e
1
. Reciproquement, pour f B et n N,
chaque S
k
(f) (0 k n) se decompose sur (e
0
, ..., e
n
) donc
n
(f) egal `a
1
n+1

n
k=0
S
k
(f) est un polynome trigonometrique en e
1
. Reste `a conclure
avec Fejer.
application 4 Soit f : R R une fonction continue, 2-periodique et
impaire. On suppose que sa serie de Fourier

b
n
sin nx est `a coecients
positifs. Alors (S
n
(f)) converge uniformement sur R vers f.
Le theor`eme de Fejer sugg`ere decrire :
| S
n
(f) f |

| S
n
(f)
n
(f) |

+ |
n
(f) f |

et il sagit alors devaluer | S


n
(f)
n
(f) |

.
x R
n
(x) = S
n
(f)(x)
n
(f)(x)
=
1
n+1
(n + 1)(b
1
sin x +... + b
n
sin nx)
[b
1
sin x + (b
1
sin x +b
2
sin 2x) +... + (b
1
sin x + ... +b
n
sin nx)]
27
=
1
n+1
[b
1
sin x + 2b
2
sin2x + ... +nb
n
sin nx]
donc : x R
n
(x)
1
n+1

n
k=0
kb
k
(b
k
0)
Il sut `a present de prouver que (nb
n
)
nN
converge en moyenne vers 0.
premi`ere etape :
n
(f)(

2(n+1)
) tend vers 0 en +.
Soit > 0. On ecrit :
n 0 [
n
(f)(

2(n + 1)
) [[
n
(f)(

2(n + 1)
)f(

2(n + 1)
) [ + [ f(

2(n + 1)
) [
On choisit N entier tel que :
n N [
n
(f)(

2(n + 1)
) f(

2(n + 1)
) [|
n
(f) f |


2
Comme f est impaire et continue sur R, f est nulle et continue en 0.
On peut donc choisir N
1
N tel que : n N
1
[ f(

2(n+1)
) [

2
On a alors facilement : [
n
(f)(

2(n+1)
) [ si n N
1
deuxi`eme etape :
1
(n+1)
2

n
k=0
(n + 1 k)kb
k
tend vers 0 en +.
n 0
n
(f)(

2(n+1)
) =
1
n+1

n
k=1
(n + 1 k)b
k
sin k

2(n+1)
donc
n
(f)(

2(n+1)
)
1
n+1

n
k=1
(n + 1 k)b
k
2

k

2(n+1)
avec linegalite de convexite sin x
2

x (x [0,

2
])
do` u
n
(f)(

2(n+1)
)
1
n+1

n
k=1
(n + 1 k)kb
k
0
cqfd avec le theor`eme des gendarmes.
troisi`eme etape :
1
n+1

n
k=0
kb
k
tend vers 0 en .
1
(2n+2)
2

2n+1
k=1
(2n + 2 k)kb
k

1
4(n+1)
2

n+1
k=1
(2n + 2 k)kb
k

1
4(n+1)
2
(n + 1)

n+1
k=1
kb
k

1
4(n+1)

n
k=1
kb
k
0
et par le theor`eme des gendarmes on a le resultat voulu.
28
Troisi`eme partie
coecients de Fourier en modes
reel et complexe
Lecriture c
n
(f) `a 2 entrees n Z et f T sugg`ere letude des 2 objets
c
n
(.) (n fix e) et (c
n
(f))
nZ
(ffix ee)
1-coecients de Fourier de 2 transformees
Soit f dans T et n dans Z.
coecients de Fourier de

f : x f(x) : c
n
(

f) = c
n
(f)
coecients de Fourier de
a
f : x f(x +a) : c
n
(
a
f) = e
ina
c
n
(f)
exercice On xe a dans R.
f
a
f de T dans T est lineaire continue pour | |

, | |
2
, | |
1
.
exercice On xe f dans T.
a
a
f est continue pour | |
2
, | |
1
2- n xe dans Z, application c
n
de T dans C
c
n
est clairement lineaire.
Pour f T, on a : [ c
n
(f) [
1
2
_
2
0
[ f [ =| f |
1
| f |
2
| f |

donc c
n
est continue de ((
2
(R, C), | |
p
) dans C (p = 1, 2, ).
De plus, f = e
n
realise legalite dans les inegalites precedentes
do` u : [| c
n
|[
p
= 1.
exercice On demontre le resultat suivant :
si f dans (
2
(R, C) a un coecient de Fourier nul, alors H
f
= V ect(K
f
) =
V ect(f(. + ); R) nest pas dense dans ((
2
(R, C), | |

).
On choisit n dans Z tel que c
n
(f) = 0.
On a : R c
n
(f

) = e
in
c
n
(f) = 0 donc : g H
f
c
n
(g) = 0.
c
n
etant continue sur ((
2
(R, C), | |

), il vient : h

H
f
c
n
(h) = 0.
Or : c
n
(e
n
) = 1, donc e
n
nappartient pas `a

H
f
.
Do` u le resultat.
29
3- f xee dans T, suite des coecients de f dans l

0
, l
2
, l
1
A] un lemme de Riemann-Lebesgue quon decline
Soit a < b dans R. Pour f continue par morceaux sur [a, b] et R, on
pose : I

=
_
b
a
f(t)e
it
dt.
proposition 1 Si f est C
1
sur [a, b], alors on a :
lim
+
I

= 0
Pour > 0, apr`es une integration par parties justiee par le caract`ere C
1
de f, on ecrit : I

=
i

[f(b)e
ib
+ f(a)e
ia
+
_
b
a
f

(t)e
it
dt]
donc : [ I

[
1

[2 | f |

+(b a) | f

]. Do` u le resultat.
remarque (valable aussi pour les propositions suivantes)
Par utilisation de

f : x f(x), on deduit : lim
+
I

= 0,
puis par combinaisons lineaires,
lim
+
_
b
a
f(t) cos(t)dt = 0 ; lim
+
_
b
a
f(t) sin(t)dt = 0.
application Soit : R Z. c

designe lapplication 2-periodique


denie sur [, ] par c

(x) = cos(x) et

a
k
cos kx sa serie de Fourier.
La serie numerique

a
k
converge et

k=1
a
k
= 1
sin

Pour x dans [0, ] et n dans N

, on pose : C
n
(x) =

n
k=0
cos(kx).
Pour x ,= 0,
sin(
x
2
)C
n
(x)
=
1
2

n
k=0
[sin((k +
1
2
)x) sin((k
1
2
)x)]
=
1
2
[sin((n +
1
2
)x) + sin(
x
2
)] par telescopage
donc :
x ]0, ] C
n
(x) =
sin((n +
1
2
)x)
2 sin(
x
2
)
+
1
2
(On remarque que C
n
est continue en 0.)
Pour n N

n
k=1
a
k
=
1

(cos(x) 1)

n
k=1
cos kx dx car
_

n
k=1
cos kxdx = 0
=
2

0
(cos(x) 1)(C
n
(x) 1) dx par parit e
=
2

0
cos(x)1
2 sin(
x
2
)
sin((n +
1
2
)x)dx
1
2
2

0
(cos(x) 1)dx
=
2

0
cos(x)1
2 sin(
x
2
)
sin((n +
1
2
)x)dx
1
2
2

[
sin

]
30
=
2

0
cos(x)1
2 sin(
x
2
)
sin((n +
1
2
)x)dx + 1
sin

On pose : (x) =
cos(x)1
2 sin(
x
2
)
pour x ]0, ]
est C
1
sur ]0, ] avec

(x) =
2sin(
x
2
) sin(x) + (1 cos(x)) cos(
x
2
)
4 sin
2
(
x
2
)


2
2
admet un (unique) prolongement continu sur [0, ] (Ecrire que

est bor-
nee au voisinage de 0, puis avec linegalite des accroissements nis, etablir
que verie le crit`ere de Cauchy en 0)
A present, est continue sur [0, ], derivable sur ]0, ] donc pour x ]0, ],
(x)(0)
x0
=

(c
x
) avec c
x
]0, x[. Lorsque x 0
+
, c
x
0
+
aussi et

(c
x
)

2
2
do` u la derivabilite de en 0 et la continuite de

en 0.
Dapr`es la proposition 1,
2

0
cos(x)1
2 sin(
x
2
)
sin((n +
1
2
)x)dx tend vers 0 quand
n tend vers +. Do` u les resultats.
proposition 2 Si f est continue sur [a, b] et C
1
sur ]a, b], alors on a :
lim
+
I

= 0
On decoupe, par Chasles, I

en 2 integrales, lune petite par le choix dun


petit intervalle dintegration (surlequel f continue est bornee), et lautre
quon contr ole grace `a la version precedente de Riemann-Lebesgue.
application : cf
_
+
0
sin t
t
dt
proposition 3 Si f est continue sur [a, b], alors on a :
lim
+
I

= 0
remarque : quitte `a separer Re et Im, on suppose f `a valeurs reelles.
lemme (
1
([a, b], R) est dense dans ((([a, b], R), | |

)
Soit g dans ((([a, b], R). On veut construire une suite de fonctions C
1
sur
[a, b] qui converge uniformement vers g. On commence par prolonger g en
une fonction continue sur [a, b + 1] en posant, pour x b, g(x) = g(b).
Soit G une primitive de g sur [a, b + 1].
Soit pour n N

, G
n
: x n[G(x +
1
n
) G(x)]. G
n
est C
1
sur [a, b] et, par
le theor`eme des accroissements nis applique `a G (G `a valeurs reelles), pour
x [a, b], [ G
n
(x) g(x) [ secrit : [ g(x
n
) g(x) [ avec x
n
]x, x +
1
n
[.
On conclut `a present grace `a luniforme continuite de g sur [a, b + 1]
31
preuve Soit > 0. On a :
[ I

[[
_
b
a
f(t)e
it
dt
_
b
a
g(t)e
it
dt [ + [
_
b
a
g(t)e
it
dt [
o` u g a ete choisie dans (
1
([a, b], R) telle que | f g |

.
On a alors : [ I

[ (b a) | f g |

+ [
_
b
a
g(t)e
it
dt [ . Do` u le resultat
puisque, avec la proposition 1, lim
+
_
b
a
g(t)e
it
dt = 0.
application 1 Soit f : D(0, 1) C une application continue. On sup-
pose quil existe une serie enti`ere

a
n
z
n
de rayon de convergence superieur
`a 1 telle que : z D(0, 1) f(z) =

n=0
a
n
z
n
Alors (a
n
) converge vers 0.
n N r ]0, 1[ a
n
r
n
=
1
2
_
2
0
f(re
i
)e
in
d
Le membre de gauche tend vers a
n
quand r tend vers 1 ; Le membre de
droite est une integrale dependant du param`etre r. (r, ) f(re
i
)e
in
est
globalement continue de [0, 1] [0, 2] dans C, donc :
lim
r1

1
2
_
2
0
f(re
i
)e
in
d =
1
2
_
2
0
f(e
i
)e
in
d.
Puisque f(e
i
) est continue sur [0, 2], on a :
lim
n+
1
2
_
2
0
f(e
i
)e
in
d = 0
Do` u le resultat.
application 2 (verications laissees au lecteur) Soit (a, b) ]0, 2[
2
.
La suite (I
n
)
n1
denie par I
n
=
_
b
a

n
k=1
e
ikt
dt = i(

n
k=1
e
ikb
k

n
k=1
e
ika
k
)
converge par Riemann-Lebesgue, vers
_
b
a
e
it
e
it
1
dt =
i
2
_
b
a
cotan(
t
2
) dt
ba
2
.
Pour b = , la serie

e
inb
n
converge (serie harmonique alternee), donc pour
tout a ]0, 2[,

e
ina
n
et donc

sin na
n
convergent. On retrouve par ailleurs
pour 0 < a < 2,

n=1
sin na
n
=
a
2
.
proposition 4 Si f est continue par morceaux sur [a, b], alors on a :
lim
+
I

= 0
Soit (a
k
)
0kN
une subdivision adaptee `a f. On ecrit : I

N1
k=0
_
a
k
+1
a
k
f(t)e
it
dt.
On consid`ere separement chaque
_
a
k
+1
a
k
f(t)e
it
dt. On ne change pas la
valeur de cette integrale en remplacant f par sa prolongee continue sur
[a
k
, a
k+1
] et on peut conclure grace `a la proposition 3 sur chaque [a
k
, a
k+1
].
32
proposition 5
f T (c
n
(f))
nZ
l

0
f (c
n
(f)) est lineaire continue de (T, | |
1
) dans l

0
muni de la
norme innie.
B]
`
A propos de
_
+
0
sin t
t
dt
enonce
Lintegrale impropre
_
+
0
sin t
t
dt converge et on a :
_
+
0
sin t
t
dt =

2
.
preuve
Lintegrale oscillante
_
+
0
sin t
t
dt est faussement impropre en 0
(borne 0 nie et prolongement par continuite de t
sin t
t
en 0) ;
Pour u > 1, on a :
_
u
1
sin t
t
dt = cos 1
cos u
u

_
u
1
cos t
t
2
dt apr`es une integration
par parties ; On a : [
cos u
u
[
1
u
donc
cos u
u
tend vers 0 quand u 0. Par
ailleurs, on a : [
cos t
t
2
[
1
t
2
donc, par comparaison,
_

1
cos t
t
2
dt est absolument
convergente.
_
u
1
sin t
t
dt poss`ede donc une limite nie lorsque u tend vers +.
Pour n N

, on pose :
u
n
=
_

0
C
n
(x)dx =

2
+
_

0
sin((n +
1
2
)x)
2 sin(
x
2
)
dx
. .
faussement impropre en 0
; v
n
=
_

0
[
1
x

1
2 sin(
x
2
)
] sin((n +
1
2
)x)dx
. .
faussement impropre en 0
u
n
= donc
_

0
sin((n+
1
2
)x)
2 sin(
x
2
)
dx =

2
Soit lapplication de [0, ] dans R denie par
(0) = 0 et (x) =
2 sin(
x
2
)x
2x sin(
x
2
)
(x ,= 0)
est continue sur ]0, ].
On a :
2 sin(
x
2
)x
2x sin(
x
2
)

0
x
24
donc est continue en 0.
De plus, est derivable sur ]0, ], avec pour x ]0, ],

(x) =
1
x
2
+
cos
x
2
4 sin
2 x
2
donc est C
1
sur ]0, ].
Par Riemann-Lebesgue, on a : lim
n+
v
n
= 0
33
do` u : lim
n+
_

0
sin((n+
1
2
)x)
x
dx =

2
.
Or :
_

0
sin((n+
1
2
)x)
x
dx =
_
(n+
1
2
)
0
sin t
t
dt do` u legalite :
_

0
sin t
t
dt =

2
Voici une egalite amusante au passage ; t
sin
2
t
t
2
est clairement integrable
sur [0, +[ et, apr`es integration par parties sous forme propre et passage `a
la limite, on obtient :
_

0
sin
2
t
t
2
dt =
_

0
sin2t
t
dt =
_

0
sin t
t
dt
Remarque 0
_

0
sin t
t
dt et les transformees de Laplace (br`eve de preuve)
On appelle h lapplication continue sur [0, +[ denie par : h(t) =
sin t
t
si
t > 0, h(0) = 1. Pour 0, on pose `a bon droit : F() =
_

0
e
t sin t
t
dt.
En posant F
n
() =
_
n
0
e
t
h(t) dt, on a une fonction continue en , derivable
sur [0, +[, de derivee F

n
() =
_
n
0
e
t
sin t dt.
Pour 0 < a , [ F() F
n
() [=[
_
+
n
e
t
h(t)dt [| h |

_
+
n
e
ta
dt
donc (F
n
) converge uniformement vers F sur [a, +[, do` u la continuite de
F sur lintervalle ]0, +[.
Pour 0 < ,
_
+
0
e
t
sin t dt converge et pour 0 < a , on peut ecrire :
[
_
+
0
e
t
sin t dt F

n
() [
_
+
n
e
ta
dt donc F

n
converge uniformement
sur tout [a, +[ vers
_
+
0
e
t
sin t dt. De l`a, F est derivable sur
]0, +[ avec F

() =
_
+
0
e
t
sin t dt.
Par deux integrations par parties, on a : F

() =
1
1+
2
et de ce fait :
F() = C arctan . Or : [ F() [
_
+
0
e
t
| h |

dt =
h

, > 0
donc lim

F() = 0 do` u : C =

2
.
Pour conclure, on peut utiliser lequivalent dAbel radial pour les transfor-
mees de Laplace (cf agregation interne session 2001) : on sait que
_

0
sin t
t
dt
converge donc F() tend vers
_

0
sin t
t
dt quand tend vers 0
+
. Do` u legalite :
_

0
sin t
t
dt =

2
.
On peut aussi prouver `a la main que F est continue en 0.
Pour 0, on ecrit : F() =lim
n
_
n
0
e
t
h(t)dt () , puis
_
n
0
e
t
h(t)dt =

n1
k=0
_
(k+1)
k
e
t
h(t)dt =

n1
k=0
(1)
k
_

0
e
(k+u)
sin u
k +u
du
. .
0u
k
()
1
k
Pour 0,

(1)
k
u
k
() est une serie alternee, convergente dapr`es
(),donc on a la majoration uniforme en 0 :
[ F()
n1

k=0
(1)
k
u
k
() [[ (1)
n
u
n
() [
1
n
.
34
F, limite uniforme sur [0, +[ de la serie de fonctions continues

(1)
k
u
k
,
est elle-meme continue sur [0, +[.
Remarque 1 t
sin t
t
nest pas integrable sur [1, +[.
Sinon, t
sin
2
t
t
=
1cos(2t)
2t
lest aussi par comparaison
(0
sin
2
t
t

|sin t|
t
; t 1). Puisque
_

1
cos(2t)
t
dt converge
(integration par parties), par dierence,
_

1
dt
t
converge. Faux !
Lencadrement
sin
2
t
t

|sin t|
t

1
t
valable pour t 1 et la convergence de
_

1
cos(2t)
t
dt assurent que
_
X
1
|sin t|
t
dt est en ln X au voisinage de +.
Remarque 2 comportement de la tranche de Cauchy C
n
=
_
2n
n
|sin t|
t
dt
lemme : Soit E un Revn, A une partie dense de E, (l
n
) une suite bornee
(par M) de (E

, [| |[) qui converge simplement sur A.


Alors (l
n
) converge simplement sur E.
Soit x E, (x
n
) une suite de points de A qui converge vers x.
Il sut de montrer que la suite reelle (l
n
(x)) est de Cauchy.
Pour p q dans N

et n N,
[ l
q
(x) l
p
(x) [ 2M | x
n
x | + [ l
q
(x
n
) l
p
(x
n
) [ .
On choisit N N

tel que 2M | x
N
x |

2
.
Puisque la suite convergente (l
n
(x
N
)))
nN
est de Cauchy, on choisit n
0
tel
que q p n
0
[ l
q
(x
N
) l
p
(x
N
) [

2
. Dans les circonstances dites,
[ l
q
(x) l
p
(x) [ cqfd
complements la fonction limite simple notee l est une forme lineaire
Puisque chaque l
n
E

est M-lipschitzienne, par convergence simple, l est


aussi M-lipschitzienne.
retour au probleme : pour n N

, C
n
=
_
2
1
|sin(nt)|
t
dt.
Pour f E = (([1, 2], R), on pose : l
n
(f) =
_
2
1
f(t) [ sin(nt) [ dt
Via linegalite [ l
n
(f) [| f |

valable pour n N

, (l
n
) est une suite de
formes lineaires continues bornee par 1 dans (E

, [| |[).
Soit le sev dense de (E, | |

) forme des fonctions en escalier sur [1, 2].


Pourquoi (l
n
) converge-t-elle simplement sur ?
Par linearite de l
n
, on se limite `a une fonction caracteristique
(a,b)
o` u 1 a < b 2
_
b
a
[ sin(nx) [ dx =
1
n
_
nb
na
[ sin u [ du =
1
n
[
_
p
n

na
+
_
q
n

p
n

+
_
nb
q
n

] o` u on a pose :
35
p
n
= E(
na

) + 1 et q
n
= E(
nb

)
Les termes bordants sont nuls `a linni car les nombres positifs
_
p
n

na
et
_
nb
q
n

sont majores par laire sous arche


2

.
Le terme median vaut :
1
n
_
qn
p
n

=
1
n
2

[q
n
p
n
] o` u q
n
p
n
represente un
nombre entier darches. Puisque n
ba

2 q
n
p
n
n
ba

, ce terme
median tend vers
2(ba)

quand n tend vers +. cqfd


En vertu du lemme, (l
n
) converge simplement sur E vers une forme lineaire
continue notee l. Avec (E, | |

) complet, la continuite de l peut aussi


etre justiee par le theor`eme de Banach-Steinhaus (cf annexe 2 p.71). Or l
et

l : f
2

_
2
1
f, toutes les deux continues, coincident sur la partie dense
de E, donc l

l par le principe de prolongement des identites.
consequence : C
n
=
_
2n
n
[ sin t [
t
dt
n+
2

ln 2
Le principe de prolongement des identites est un argument type densite-
fermeture. Proposer une variante en posant
= f E l
n
(f)
n+
2

_
2
1
f
et en montrant que est un sev dense et sequentiellement ferme dans
(E, | |

).
Remarque 3 Equivalent en + de
_
X
1
|sin t|
t
dt
Lidee est de montrer que :
_
X
1
[ sin t [
t
dt
_
X
1

t
dt = ln X
o` u =
2

est la valeur moyenne de t [ sin t [.


Lapplication s : t [ sin t [ , qui a un coecient de Fourier c
0
(s) nul,
admet une primitive G : x
_
x
0
s(t)dt 2-periodique. En eet, pour x R,
G(x + 2) G(x) =
_
x+2
x
s(t)dt = 2c
0
(s) = 0
On a par integration par parties :
_
X
1
s(t)
t
dt =
_
X
1
[ sin t [
t
dt = G(1)
G(X)
X
2
+
_
X
1
G(t)
t
2
dt
G continue et 2-periodique est bornee donc
G(X)
X
2
et
_
X
1
G(t)
t
2
dt ont une
limite nie quand X tend vers +. On a montre que
_
X
1
|sin t|
t
dt
_
X
1

t
dt
a une limite nie en + do` u lequivalence souhaitee.
On pourra comparer ce resultat `a lexercice page 24.
36
Remarque 4 On retrouve le resultat classique relatif au noyau de
Gibbs : M > 0 n N

t [0, ] [ G
n
(t) [ M
Pour t [0, ] et n N

,
G
n
(t) =

n
k=1
sin kt
k
=
_
t
0
[C
n
(x) 1]dx
=
t
2
+
_
t
0
sin(n +
1
2
)x (
1
2 sin
x
2

1
x
)dx +
_
t
0
sin(n+
1
2
)x
x
dx
donc : [ G
n
(t) [

2
+
_

0
[ [ + [
_
t
0
sin(n+
1
2
)x
x
dx [
Dans le dernier terme, on ram`ene les 2 entrees n et t aux bornes par le chan-
gement de variable u = (n+
1
2
)x. X
_
X
0
sin u
u
du est continue sur ]0, +[,
poss`ede des limites nies en 0 et en +, donc est bornee sur [0, +[.
Do` u le resultat.
exercice 1 Pour k N

, on pose : W
k
=
_
k
0
sin t
t
dt.
1) Montrer que W
k
=

k1
l=0
w
l
avec w
l
= (1)
l
_

0
sin u
u+l
(0 l k 1).
2) Verier que : l N w
l
,= 0.
3) Montrer que les W
k
sont alternativement strictement superieurs et stric-
tement inferieurs `a

2
.
1) Pour k N

, W
k
=
_
k
0
sin t
t
dt =

k1
l=0
_
(l+1)
l
sin t
t
dt =

k1
l=0
(1)
l
_

0
sin u
u+l
du
apr`es le changement de variable t = u +l.
2) Pour l N, u
sin u
u+l
de [0, ] dans R est continue, positive et non iden-
tiquement nulle donc
_

0
sin u
u+l
du > 0.
3) Pour l N, on a : [ w
l
[=
_

0
sin u
u+l
du
1
l
donc [ w
l
[
l+
0.
Par ailleurs, l N u ]0, [
sin u
u+(l+1)
<
sin u
u+l
donc par continuite de
u
sin u
u+(l+1)
et u
sin u
u+l
sur [0, ], w
l+1
< w
l
. Par le theor`eme des series
alternees (cf annexe 3 page 69),

w
l
est convergente (de somme

2
) et le
reste

2
W
k
(k N

) est du signe de son premier terme, non nul, et donc


alternativement strictement positif et strictement negatif. En particulier,
on retrouve linegalite

2
W
1
=

2

_

0
sin t
t
dt < 0 (cf page 11)
exercice 2 On rappelle que :
n N

x [0, ] G
n
(x) =

n
k=1
sin kx
k
=
x
2
+
_
x
0
sin(n+
1
2
)t
2 sin
t
2
dt
(G
n
) converge simplement sur ]0, ] vers b : x
x
2
.
On pose : R
n
(x) = G
n
(x) b(x) (n N

; x ]0, ]).
Pour n N

, etudier les variations de R


n
.
Par continuite de t
sin(n+
1
2
)t
2 sin
t
2
sur ]0, ], R
n
est derivable sur ]0, ] avec
R

n
(x) =
sin(n+
1
2
)x
2 sin
1
2
. Les zeros de R

n
sont donc les x
k,n
=
k
n+
1
2
=
2k
2n+1
avec
1 k n. Pour 0 < x , 2 sin
x
2
> 0 donc le signe de R

n
(x) sur ]0, ] est
37
donne par celui de sin(n+
1
2
)x; R
n
est positif sur ]0, x
1,n
], du signe de (1)
k
sur [x
k,n
, x
k+1,n
] (1 k n 1), et du signe de (1)
n
sur [x
n,n
, ].
R
n
oscille donc sur ]0, ] entre des extrema atteints en x
k,n
, maxima locaux
aux x
2p+1,n
(0 p E(
n
2
)) et minima en x
2p,n
(1 p E(
n
2
)).
exercice 3 Soit k N

. Comparer, pour n grand, le signe des ex-


trema consecutifs R
n
(x
k,n
) et R
n
(x
k+1,n
) de R
n
.
Soit

= denie sur [0, ] par

(0) = 0,

(x) =
1
2 sin
x
2

1
x
. On rappelle
que

est continue sur [0, ], C
1
sur ]0, ] et on peut verier que

est C
1
sur [0, ]. Pour x ]0, ], on ecrit :
R
n
(x) =
_
x
0

(t) sin(n +
1
2
)t dt
. .
J
n
(x)
+
_
(n+
1
2
)x
0
sin t
t
dt

2
.
On int`egre `a bon droit J
n
(x) par parties :
J
n
(x) =
1
n + 1
[

(x) cos(n +
1
2
)x +
_
x
0

(t) cos(n +
1
2
)t dt].

et

, continues sur [0, ], sont bornees donc on peut choisir M > 0 tel que :
x ]0, ] [ J
n
(x) [
M
n+
1
2
. Soit k xe dans N

. Avec la remarque ci-dessus,


les suites (R
n
(x
k,n
))
n>k
et (R
n
(x
k+1,n
))
n>k+1
convergent vers
_
k
0
sin t
t
dt

2
et
_
(k+1)
0
sin t
t
dt

2
, limites non nulles et de signes contraires. On peut donc
choisir un rang (moralement grand) au del`a duquel les extrema consecutifs
R
n
(x
k,n
) et R
n
(x
k+1,n
) ont le meme signe que leur limite respective.
On appelle (R
n
(x
k,n
))
n>k
suite des k
` emes
bosses vraies et
_
k
0
sin t
t
dt

2
bosse ideale associee.
exercice 4 Soit x
0
]0,

2
[. Montrer que (R
n
) converge uniformement
vers 0 sur [x
0
,

2
].
Soit > 0 et x
0
]0,

2
[. Lidee est de ne garder sur [x
0
,

2
] que les bosses
ideales damplitudes inferieures `a

2
et les bosses vraies damplitudes infe-
rieures `a . On commence par choisir k
0
N

tel que :
k k
0
[
_
k
0
sin t
t
dt

2
[

2
, puis n
0
N

tel que : x
k
0
,n
0
=
2k
0

2n
0
+1
< x
0
.
Ces manipulations visent `a faire glisser les bosses contre laxe des abscisses.
On canalise ensuite les bosses vraies (R
n
(x
k,n
))
nN

,1kn
dans un tube
depaisseur

2
autour des bosses ideales. Quitte `a remplacer n
0
par un en-
tier qui lui est superieur, on suppose que :
M
n
0
+
1
2


2
.
que se passe -t-il `a droite de x
0
?
38
Soit x [x
0
,

2
]. Pour n n
0
, x
k
0
,n
< x
k
0
,n
0
< x
0
x. On choisit
k > k
0
tel que : x
k,n
x x
k+1,n
. Par monotonie de R
n
sur [x
k,n
, x
k+1,n
],
[ R
n
(x) [ Max[ R
n
(x
k,n
) [; [ R
n
(x
k+1,n
) [
Max[ J
n
(x
k,n
) [ + [
_
k
0
sin t
t
dt

2
[;
[ J
n
(x
k+1,n
) [ + [
_
(k+1)
0
sin t
t
dt

2
[
M
n+
1
2
+

2
.
Puisque le rang n
0
ne depend pas de x, on a prouve que (R
n
) converge
uniformement vers 0 sur [x
0
,

2
].
C] projection orthogonale de f sur T
p
(p N)
Pour f element de T,
le vecteur S
p
(f) (p
` eme
somme de Fourier de f) appartient `a T
p
.
pour p k p,
(e
k
[ f S
p
(f)) = (e
k
[ f) (e
k
[ S
p
(f))
= c
k
(f) (e
k
[

p
j=p
c
j
(f)e
j
)
= c
k
(f) c
k
(f) = 0
donc f S
p
(f) appartient `a T

p
.
(La decomposition f = S
p
(f) + (f S
p
(f)) est unique car on a clairement
T
p
T

p
= 0)
Avec Pythagore, on a : | f |
2
2
=| S
p
(f) |
2
2
+ | f S
p
(f) |
2
2
donc | S
p
(f) |
2
2
| f |
2
2
. (egalite dans cette inegalite si f T
p
)
Bilan : pour tout p dans N, S
p
est loperateur de projection orthogonale
dimage T
p
, continu pour la norme | |
2
et on a [| S
p
|[
2
= 1.
remarque : pour q T
p
, ecrivant que f q = f S
p
(f) + S
p
(f) q et
remarquant que S
p
(f) q T
p
, on a :
| f q |
2
2
=| f S
p
(f) |
2
2
+ | S
p
(f) q |
2
2
et sans surprises : | f q |
2
2
| f S
p
(f) |
2
2
Autrement dit, S
p
(f) est le polynome trigonometrique de T
p
le plus proche
de f pour la norme | |
2
.
inegalite de Bessel-Parseval Linegalite | S
p
(f) |
2
2
| f |
2
2
secrit
aussi : [ c
0
[
2
+

p
k=1
[[ c
k
[
2
+ [ c
k
[
2
]
1
2
_
2
0
[ f(t) [
2
dt. La serie `a
termes positifs

[[ c
k
[
2
+ [ c
k
[
2
] a ses sommes partielles majorees donc
converge, et on a linegalite de Bessel-Parseval :
[ c
0
[
2
+

k=1
[[ c
k
[
2
+ [ c
k
[
2
]
1
2
_
2
0
[ f(t) [
2
dt
Avec la dite inegalite , la famille de reels positifs ([ c
n
[
2
) est sommable et

nZ
[ c
n
[
2
=[ c
0
[
2
+

k=1
[[ c
k
[
2
+ [ c
k
[
2
]
1
2
_
2
0
[ f(t) [
2
dt
39
remarque Serie trigonometrique vs serie de Fourier.

sin nx
ln n
est une serie trigonometrique qui converge simplement sur R par
Abel. Existe-t-il un element f de T dont la serie de Fourier est

sin nx
ln n
?
Si tel est le cas, la serie de Bertrand

1
ln
2
n
converge. Faux !
theor`eme : f (c
n
(f))
nZ
est lineaire continue de (T, | |
2
) dans l
2
.
exercice Montrer que la suite (S
p
(f))
pN
des projetes orthogonaux de f
sur T
p
est de Cauchy dans (T, | |
2
).
Pour p < q dans N, | S
q
(f)S
p
(f) |
2
2
=|

q|k|>p
c
k
e
k
|
2
2
=

q|k|>p
[ c
k
[
2
Soit > 0. Avec

[ c
k
[
2
convergente, on choisit N N tel que :
p N

|k|>p
[ c
k
[
2

Pour p, q N, | S
q
(f) S
p
(f) |
2
2
do` u le resultat.
D] coecients de Fourier dune derivee
denition Si k N , (
k
pm
designe le sev de T des fonctions de
classe C
k
par morceaux ; f de R dans C est C
k
par morceaux si elle est C
k
par morceaux sur chaque segment de R, et g de [a, b] dans R est C
k
par
morceaux lorsquil existe une subdivision S = x
0
= a, ..., x
n
= b de [a, b]
et, pour chaque j dans 0, ..., n 1, g
j
dans (
k
([x
k
, x
k+1
], C) de facon que
g
|]x
k
,x
k+1
[
= g
j
|]x
k
,x
k+1
[
Pour f dans (
1
pm
, on choisit S = x
0
= 0, ..., x
p
= 2 et (g
k
)
0kp1
dans
(
1
([x
k
, x
k+1
], C) adaptees `a f sur le segment [0, 2].
f est C
1
sur chaque ]x
k
, x
k+1
[ et on pose :
f

(x
0
) = g

0
(x
0
) ; f

(x
p
) = g

p1
(x
p
) ; f

(x
k
) =
1
2
(g

k1
(x
k
)+g

k
(x
k
)) (1 k p1)
lemme Soit f (
1
pm
(
2
(R, C).
Pour n dans Z, on a :
_
2
0
f

(t)e
int
dt = in
_
2
0
f(t)e
int
dt ou c
n
(f

) = inc
n
(f)
Vite dit, la serie de Fourier de la derivee de f sobtient en derivant terme `a
terme la serie de Fourier de f.
remarque : la continuite de f est essentielle ; considerer un signal carre...
40
preuve : par Chasles et fonctions integrandes dierant sur des nis, on a :
_
2
0
f

(t)e
int
dt =
p1

k=0
_
x
k+1
x
k
g

k
(t)e
int
dt =
p1

k=0
[g
k
(t)e
int
]
x
k+1
x
k
+in
_
x
k+1
x
k
g
k
(t)e
int
dt
Or : g
k
(x
k
) = f(x
k
) et g
k
(x
k+1
) = f(x
k+1
) car f est continue
donc :

p1
k=0
[g
k
(t)e
int
]
x
k+1
x
k
= f(2) f(0) = 0.
Chaque
_
x
k+1
x
k
g
k
(t)e
int
dt vaut
_
x
k+1
x
k
f(t)e
int
dt et la preuve est compl`ete.
exercice Pour f (
2
(R, C), montrer lequivalence :
f est C

ssi k N c
n
(f) = (
1
n
k
).
Si f est C

, c
n
(f) = (1) par Riemann-Lebesgue ; pour k 1, k integrations
par parties successives donnent : c
n
(f) =
1
(in)
k
1
2
_
2
0
f
(k)
(t)e
int
dt. De l`a :
[ n
k
c
n
(f) [=[ c
n
(f
(k)
) [ . Par Riemann-Lebesgue applique `a f
(k)
, n
k
c
n
(f)
tend vers 0 quand n tend vers +. cette premi`ere etape montre que plus
le signal decrit par f est lisse, plus les harmoniques de rang eleve sont
negligeables.
Reciproquement, si k N c
n
(f) = (
1
n
k
), alors pour toute valeur de p N
la serie

c
n
(f)(in)
p
e
inx
est normalement convergente ([ n
p
c
n
(f) [= (
1
n
2
)).
En particulier,

c
n
(f)e
inx
converge normalement ; on a alors, puisque f
est continue, f(x) =

c
n
(f)e
inx
pour tout reel x (cf page 23). Par
reccurence, on peut deriver terme `a terme grace aux convergences normales
et conclure que f est C

.
propriete Si f est 2-periodique, continue et C
1
par morceaux, alors
(c
n
(f))
nZ
est un element de l
1
.
On ecrit : n Z

[ c
n
(f) [=
1
|n|
[ c
n
(f

) [
et on remarque :
1
|n|
[ c
n
(f

) [
1
2
[
1
n
2
+ [ c
n
(f

) [
2
]
avec : (
1
|n|
) et (c
n
(f

)) elements de l
2
41
Quatri`eme partie
Un theor`eme de Riemann
1-enonce
Si la serie de fonctions
a
0
2
+

a
n
cos nx + b
n
sin nx converge simplement sur
R vers une fonction f continue, alors la serie de Fourier de f coincide avec
la serie trigonometrique qui la denit, ie les coecients de Fourier de f sont
donnes par (a
n
)
n0
et (b
n
)
n1
.
2-preuve
a) strategie : on resume en partie lidee par integrer pour deriver ;
on ne peut intervertir directement les signes
_
2
0
et

n=1
dans le calcul des
coecients a
n
(f) et b
n
(f), faute de convergence uniforme. On transite par
une primitive seconde de f dont on determine facilement les coecients de
Fourier, et on revient ensuite `a f.
f est un element de (
2
(R, C), donc : x
_
x
0
f est C
1
sur R. Maintenant
: x
_
x
0
est de classe C
2
sur R et

= f.
Pour n N

et x R, on pose :
n
(x) = a
n
cos nx+b
n
sin nx, et on envisage
la serie de fonction
a
0
4
x
2

1
n
2

n
(x) obtenue en primitivant formellement
deux fois la serie qui denit f. A x xe dans R, (
n
(x)) a ses sommes
partielles bornees et (
1
n
2
) decroit vers 0 donc par Abel,

1
n
2

n
(x) converge.
On pose : F(x) =
a
0
4
x
2

n=1
1
n
2

n
(x).
b) lemme de Cantor-Lebesgue : (a
n
) et (b
n
) tendent vers 0
La preuve qui suit vient dune note de B. Rande (RMS mai-juin 1998)

n
(0) ou

a
n
, converge donc (a
n
) tend vers 0. Pour x R, (
n
(x)) tend
vers 0 car

n
(x) converge, et (a
n
cos nx) tend aussi vers 0 car (a
n
) tend
vers 0 et (cos nx) est bornee , donc par dierence, (b
n
sin nx) tend vers 0.
Si on suppose que la suite (b
n
) ne converge pas vers 0, on choisit > 0 et
une suite extraite (b
(n)
) de (b
n
) tels que : n N

[ b
(n)
[ . Il vient :
n N

0 [ sin((n)x) [[ b
(n)
sin((n)x) [ .
Par le theor`eme des gendarmes, (sin((n)x)) et (sin
2
((n)x)) convergent
vers 0, et ce pour tout x R. La suite de fonctions continues x sin
2
((n)x),
qui converge simplement vers lapplication nulle, est dominee en valeur ab-
solue par lapplication constante 1, donc par le theor`eme de convergence
dominee, lim
n
_
2
0
sin
2
((n)t)dt = 0.
Absurde puisque n N

_
2
0
sin
2
((n)t)dt =
_
2
0
1
2
[1 cos(2(n)t)]dt = .
42
consequence : (a
n
) et (b
n
) sont bornees donc on peut choisir M > 0
tel que : x R [
1
n
2

n
(x) [
M
n
2
. Ceci montre que la serie de fonctions de-
nissant F converge normalement sur R. De l`a, x F(x)
a
0
4
x
2
appartient
`a (
2
(R, C) et ses coecients de Fourier sont donnes par (
a
n
n
2
) et (
b
n
n
2
).
remarque : on ne peut armer que F est C
2
(avec F

= f), on sen
approche en introduisant la pseudo-derivee seconde.
c) derivee seconde au sens de Schwarz
lemme
Soit g ((R, R). On suppose que :
pour tout reel x le quotient
2
g(h, x) =
g(x+h)+g(xh)2g(x)
h
2
poss`ede une
limite reelle (notee g
(

)
(x)) quand h tend vers 0.
g
(

)
0
Alors g est une application ane.
remarques : g
(

)
est appelee derivee seconde au sens de Schwarz ou pseudo-
derivee seconde de g. On voit facilement que les fonctions deux fois pseudo-
derivables sur R forment un sous-espace vectoriel de ((R, R) sur lequel
loperateur
(

)
est lineaire. On verie aussi avec la formule de Taylor-Young
que toute fonction g C
2
sur R est pseudo-derivable deux fois avec g
(

)
= g

.
preuve du lemme : soit a < b dans R, lapplication ane denie par
(a) = g(a) et (b) = g(b). On veut : = g sur [a, b]. On envisage pour
> 0 lapplication P : x g(x)(x)+(xa)(xb) (interpolation para-
bolique). P est comme g pseudo-derivable deux fois sur [a, b] et P
(

)
2.
P est aussi, comme g, continue sur [a, b]. Soit c [a, b] tel que P(c) est
le maximum de P sur [a, b]. Si c ]a, b[, alors, pour tout h > 0 tel que
[c h, c +h] [a, b], on a :
2
P(h, c) 0 donc P
(

)
(c) 0. Absurde !
Bilan : c = a ou c = b. Il vient : x [a, b] P(x) P(a) = P(b) = 0, ce
qui donne en faisant tendre vers 0
+
g(x) (x). Le meme raisonnement
avec < 0 donne g sur [a, b].
g, ane sur [a, b], est C
2
sur ]a, b[ avec g

= 0, et ce pour tout a < b dans


R, donc g est C
2
sur R avec g

= 0. g est bien une application ane.


lemme
F est deux fois pseudo-derivable sur R avec : F
(

)
= f.
preuve : Soit x xe dans R. Pour h R

, on ecrit :

2
F(h, x) =
a
0
2

1
h
2

n=1
1
n
2
a
n
Re(Z
n,h,x
) +
1
n
2
b
n
Im(Z
n,h,x
) o` u :
Z
n,h,x
= e
in(x+h)
+e
in(xh)
2e
inx
= e
inx
[2 cos nh 2] = 4 sin
2 nh
2
e
inx
.
43
Il vient :
2
F(h, x) =
a
0
2
+

n=1
sin
2 nh
2
[
nh
2
]
2

n
(x)
On pose :
u(t) =
sin
2 t
2
t
2
2
pour t R

, u(0) = 1.
S
n
(t) =
a
0
2
+

n
k=1

k
(t), S
0
(t) =
a
0
2
, pour n N

, t R.
On verie que u est C
1
sur [0, +[ avec :
u

(t) =
2t sin t 4(1 cos t)
t
3
; u

(0) = 0.
Pour p N

, par transformation dAbel, on a :


a
0
2
+

p
n=1
u(nh)
n
(x)
=
a
0
2

a
0
2
u(h) +u(ph)S
p
(x) +

p1
n=1
(u(nh) u((n + 1)h)S
n
(x)
= u(ph)S
p
(x) +

p1
n=0
(u(nh) u((n + 1)h)S
n
(x)
(S
p
(x))
pN
converge vers f(x) et on a : 0 u(ph)
4
p
2
h
2
donc lim
p+
S
p
(x)u(ph) = 0, et donc

(u(nh) u((n + 1)h)S


n
(x) converge.

2
F(h, x) secrit alors :

2
F(h, x) =

n=0
(u(nh) u((n + 1)h)S
n
(x)
et puisque

(u(nh) u((n + 1)h) converge de somme u(0) = 1, on a :

2
F(h, x) f(x) =

n=0
(u(nh) u((n + 1)h)(S
n
(x) f(x))
On verie que

(u(nh) u((n + 1)h)(S


n
(x) f(x)) est absolument conver-
gente. Puisque (S
n
(x)f(x))
n0
est bornee, Il sut de voir que (u(nh))
nN
est `a variation bornee, ie que la serie

[ u(nh) u((n + 1)h) [ converge.


Pour n N, [ u(nh) u((n + 1)h) [
_
(n+1)h
nh
[ u

[. Or : [ u

(t) [= _(
1
t
2
) en
+, donc
_

0
[ u

[ converge en + et par comparaison :

[ u(nh) u((n + 1)h) [ converge.


Soit > 0.
On choisit p N tel que : n p + 1 [ S
n
(x) f(x) [ .
Il vient : [

n=p+1
(u(nh) u((n + 1)h)(S
n
(x) f(x)) [

n=p+1
[ u(nh) u((n + 1)h) [
_

0
[ u

[.
On g`ere `a present le terme `a distance ni ; pour n = 0, 1, .., p, et pour
h R, par accroissements nis : (u(nh) u((n + 1)h)) = u

(c
h
) avec
nh c
h
(n + 1)h. On verie que : u

(t) = _(t) en 0, ce qui donne :


lim
h0
(u(nh) u((n + 1)h))(S
n
(x) f(x)) = 0, et ce pour tout 0 n p.
En denitive : lim
h0

2
F(h, x) = f(x).
44
d) conclusion On a montre que : F
(,,)
= f et :
(,,)
=

= f donc :
(F )
(,,)
= 0 ce qui prouve que F est ane. Ceci permet de dire que
F est, comme , de classe C
2
avec F

= f. A present, la serie de Fourier


de x F(x)
a
0
4
x
2
est

an
n
2
cos nx +
bn
n
2
sin nx donc la serie de Fourier
de sa derivee seconde x f(x)
a
0
2
, obtenue par derivation terme `a terme,
est

a
n
cos nx +b
n
sin nx. cqfd
45
Cinqui`eme partie
Theor`eme de Poisson et
applications
Pour h (
2
(R, C), [0, 1[ et x R, on pose :
h T

(x) =
1
2
_
2
0
h(t)T

(x t)dt =
1
2
_
2
0
h(x t)T

(t)dt
avec, pour t R, T

(t) =

|n|
e
int
Puisque h est bornee sur R et

nZ

|n|
e
int
converge normalement en t sur
[0, 2], on peut ecrire apr`es interversion des signes de sommation :
h T

(x) =
+

|n|
c
n
(h)e
inx
1-theor`eme de Poisson
Enonc e : h T

() converge uniformement vers h quand tend vers 1

.
Autrement dit : lim
1
| h T

h |

= 0
D emonstration : en annexe
2-approximation de Weierstrass
Le but est de construire un polynome trigonometrique uniformement et ar-
bitrairement proche de h (
2
(R, C).
Soit > 0. On choisit 0 < < 1 tel que
x R [ h(x) h T

(x) [

2
etant xe, x R n Z [
|n|
c
n
(h)e
inx
[
|n|
| h |

avec

|n|
convergente independemment de x, donc

|n|
c
n
(h)e
inx
converge
uniformement sur R et h T

est limite uniforme des sommes partielles cen-


trees. On choisit N N tel que
x R [

nZ

|n|
c
n
(h)e
inx

|n|N

|n|
c
n
(h)e
inx
[

2
Par inegalite triangulaire : x R [ h(x)

|n|N

|n|
c
n
(h)e
inx
[
cqfd.
46
3-prolongement dune fonction de (
2
(R, R)
Probl` eme : on se donne une fonction reelle continue sur S
1
ou de facon equi-
valente une fonction h de (
2
(R, R). Comment prolonger h en une fonction
continue sur

D?
La formule de Poisson et son interpretation (page 7) sugg`erent de poser :
H(z) =
1
2
_
2
0
h(t)
1 [ z [
2
[ e
it
z [
2
dt ([ z [< 1)
H est la partie reelle de z
1
2
_
2
0
h(t)(1 + 2

n=1
e
int
z
n
)dt
et comme on a : t [0, 2] [ h(t)e
int
z
n
[| h |

[ z [
n
,
H est la partie reelle de z
1
2
_
2
0
h(t)dt +

n=1
[
1

_
2
0
h(t)e
int
dt]z
n
,
ce qui assure la continuite de H sur D.
Reste `a voir pouquoi : R H(z) h() quand (z e
i
[ z [< 1)
Soit : > 0 et R. Par continuite de h en , on choisit > 0 tel que :
x ] , + [ [ h(x) h() [

2
On utilise ensuite le theor`eme de Poisson.
On choisit en eet > 0 tel que :
]1 , 1[ x R [ h T

(x) h(x) [

2
Pour tout z = e
ix
z C < Arg(z) < + et 1 <[ z [< 1,
[ H(z) h() [=[ h T

(x) h() [ h T

(x) h(x) [ + [ h(x) h() [


do` u le resultat.
4-un resultat de convergence
Soit f (
2
(R, R) et

a
n
cos nx +b
n
sin nx sa serie de Fourier.
On suppose que

[ a
n
[ et

[ b
n
[ convergent.
Alors

a
n
cos nx + b
n
sin nx converge uniformement sur R vers f.
preuve : x R [ a
n
cos nx+b
n
sin nx [[ a
n
[ + [ b
n
[ et

[ a
n
[ + [ b
n
[
converge donc la convergence uniforme de la serie de Fourier de f est assuree
par convergence normale. Reste `a determiner la fonction-limite.
Lidee de la preuve, rencontree pour letude de

sin nt
t
, illustre la methode
de sommation dAbel-Poisson. On regarde lobjet correctement deni :
S
,x
=

n=0
(a
n
cos nx + b
n
sin nx)
n
(x R, [0, 1])
47
A x xe, on a : [0, 1] [ a
n
cos nx + b
n
sin nx [
n
[ a
n
[ + [ b
n
[
donc la serie enti`ere

(a
n
cos nx +b
n
sin nx)
n
converge normalement, et
par suite uniformement en sur [0, 1], donc S
,x
=

n=0
(a
n
cos nx +b
n
sin nx)
n
,
limite uniforme de fonctions continues, lest aussi sur [0, 1].
(cas particulier du theor`eme dAbel radial)
Bilan : S
,x
tend vers S
1,x
=

n=0
a
n
cos nx +b
n
sin nx quand 1.
Par ailleurs, `a x xe dans R et pour [0, 1[, on a :
S
,x
=
1
2
_
2
0
f(t)dt +

n=1
1

_
2
0
f(t)
n
(cos nxcos nt + sin nx sin nt)dt
On a : t [0, 2] [ f(t)
n
cos n(x t) [ | f |


n
donc, par convergence normale en t sur [0, 2], on peut ecrire :
S
,x
=
1
2
_
2
0
f(t)(1 + 2

n=1

n
cos n(x t))dt = f T

(x)
Lorsque tend vers 1

, S
,x
tend vers f(x) (theor`eme de Poisson).
conclusion : pour tout reel x,

n=0
a
n
cos nx + b
n
sin nx = f(x)
5-Parseval dans (
2
(R, C)
enonce Pour h (
2
(R, C), on a :
1
2
_
2
0
[ h [
2
=

[ c
n
(h) [
2
preuve Linegalite [ [ h T

(x) [
2
[ h(x) [
2
[= [[ h T

(x) [ [ h(x) []
[[ hT

(x) [ + [ h(x) [] 2 | h |

[ hT

(x)h(x) [ valable pour tout reel x


et le theor`eme de Poisson assurent que [ h T

(x) [
2
converge uniformement
vers [ h(x) [
2
quand tend vers 1

. Ainsi, `a bon droit,


lim
1

_
2
0
[ h T

[
2
=
_
2
0
[ h [
2
Pour x R et 0 < < 1, les series

|n|
c
n
(h)e
inx
et

|n|
c
n
(h)e
inx
indexees sur Z convergent absolument donc leur serie-produit de Cauchy
converge (absolument) aussi et :
+

p+q=n

|p|+|q|
c
p
(h)c
q
(h)e
i(pq)x
=[ h T

(x) [
2
48
Pour x R et n Z,
[

p+q=n

|p|+|q|
c
p
(h)c
q
(h)e
i(pq)x
[| h |
2

p+q=n

|p|+|q|
et

p+q=n

|p|+|q|
, terme general de la serie-produit de

|n|
par elle-meme,
est le terme general dune serie convergente independante de la variable x.
Ainsi, par convergence normale en x,
1
2
_
2
0
[ h T

[
2
=

nZ

p+q=n

|p|+|q|
c
p
(h)c
q
(h)
1
2
_
2
0
e
i(pq)x
dx =

nZ

|2n|
[ c
n
(h) [
2
Pour N N

,
1
2
_
2
0
[ h T

[
2


N
n=N

|2n|
[ c
n
(h) [
2
. Les 2 membres
ont une limite en 1

et par passage `a la limite, il vient :


1
2
_
2
0
[ h [
2

n=N
[ c
n
(h) [
2
Ceci montre que (c
n
(h)) est un element de l
2
(inegalite de Bessel-Parseval).
Puisque [0, 1] n Z
|2n|
[ c
n
(h) [
2
[ c
n
(h) [
2
et (c
n
(h)) l
2
, par
convergence normale en ,

|2n|
[ c
n
(h) [
2
est continue sur [0, 1]
do` u :
lim
1

|2n|
[ c
n
(h) [
2
=

[ c
n
(h) [
2
Par unicite de la limite, on obtient legalite de Parseval pour h (
2
(R, C).
49
Sixi`eme partie
convergence en moyenne
quadratique
theor`eme
Pour f T, (S
p
(f))
pN
converge dans (T, | |
2
) vers f
(en moyenne quadratique).
Soit > 0. T est dense dans (T, | |
2
) donc on choisit y

N
k=N

k
e
k
tel que | f y

|
2
. La suite (T
p
)
p1
est croissante pour linclusion donc
la suite (| f S
p
(f) |
2
) des distances de f `a T
p
decroit.
Ainsi, p N | f S
p
(f) |
2
| f S
N
(f) |
2
| f y

|
2
.
exercice Soit f (
2
(R, C) non constante et invariante par la translation
x x +h (cad x R f(x + h) = f(x))
Alors necessairement
h

est rationnel.

h
(f) = f donc n Z (e
inh
1)c
n
(f) = 0.
Puisque f nest pas constante, on peut choisir n
0
Z

tel que c
n
0
(f) ,= 0.
(Sinon la suite (S
p
(f))
pN
est la suite constante (c
0
(f)) qui converge en
moyenne quadratique vers la fonction constante x c
0
(f).
Impossible : par unicite de la limite, f serait constante)
On a alors : e
in
0
h
1 = 0 ; ce qui donne : n
0
h = 0 (2) cad h = 0 (
2
n
0
) do` u
h

Q
formule de Parseval
Avec la convergence de (S
p
(f))
pN
vers f en moyenne quadratique et la
continuite de | |
2
2
, | S
p
(f) |
2
2
=[ c
0
[
2
+

p
n=1
([ c
n
[
2
+ [ c
n
[
2
) tend vers
| f |
2
2
=
1
2
_
2
0
[ f(t) [
2
dt quand p tend vers +.
Do` u la formule de Parseval :
[ c
0
[
2
+

n=1
([ c
n
[
2
+ [ c
n
[
2
) =
1
2
_
2
0
[ f(t) [
2
dt
ou :
[ a
0
[
2
4
+
1
2

n=1
([ a
n
[
2
+ [ b
n
[
2
) =
1
2
_
2
0
[ f(t) [
2
dt
Cette egalite exprime la facon dont lenergie correspondant au signal perio-
dique f se repartit entre les dierentes harmoniques.
50
application : unicite pour les developpements en serie de Fourier
: f (c
n
(f))
nZ
est lineaire de T dans l
2
. Si f est dans ker(), dapr`es
Parseval, on a :
1
2
_
2
0
[ f(t) [
2
dt = 0. Soit (a
k
)
0kN
une subdivision
adaptee `a f, et pour chaque k dans 0, ..., N 1, g
k
continue sur [a
k
, a
k+1
]
telle que g
|]a
k
,a
k+1
[
= f
|]a
k
,a
k+1
[
. Chaque
_
a
k+1
a
k
[ g
k
[
2
est nulle, et avec [ g
k
[
2
continue positive, g
k
est nulle sur [a
k
, a
k+1
]. f est donc nulle sur [a, b] sauf
eventuellement en les a
k
. Comme f prend en chaque a
k
la valeur demi-
somme des limites `a droite et `a gauche, f est identiquement nulle sur [a, b].
Do` u linjectivite de et le resultat.
remarque Soit (c
n
)
nZ
l
2
. La suite (S
p
=

p
k=p
c
k
e
k
)
pN
est de Cau-
chy dans (T, | |
2
) (ecrire pour m < q, | S
q
S
m
|
2
2
=

m<kq
[ c
k
[
2
,..),
mais le caract`ere non complet de (T, | |
2
) ne permet pas darmer que
(S
p
) converge. Ce qui laisse penser que nest pas surjective.
exercice Une egalite ultra-classique :

n=1
1
n
2
=

2
6
On evalue les coecients de Fourier de la fonction f : x x sur ] , [, de
valeur 0 aux bornes et 2-periodique. On remarque que c
0
(f) = 0 et pour
k ,= 0, c
k
(f) = i
(1)
k
k
(integration par parties). Legalite de Parseval donne
alors :

2
3
= 2

n=1
1
n
2
do` u le resultat.
exercice Une inegalite classique - Wirtinger
enonc e : si f : R C est 2-periodique, continue, C
1
par morceaux et de
valeur moyenne nulle, alors on a :
_
2
0
[ f(x) [
2
dx
_
2
0
[ f

(x) [
2
dx .
preuve : On sait que c
n
(f

) = inc
n
(f) pour tout n Z. Via legalite de Par-
seval,
1
2
_
2
0
[ f [
2
=

nZ

[ c
n
(f) [
2
et
1
2
_
2
0
[ f

[
2
=

nZ

n
2
[ c
n
(f) [
2
do` u le resultat.
51
Septi`eme partie
c
n
et la convolution dans (
2
(R, C)
1-denition
Pour f, g dans (
2
(R, C) et x R, on pose :
f g(x) =
1
2
_
2
0
f(x t)g(t)dt
On denit ainsi correctement une application f g de R dans C
appelee convolee de f par g.
2-premi`eres proprietes
est une loi de composition interne de (
2
(R, C), commutative par change-
ment de variable et integrale de periode, et bilineaire continue pour la norme
| |

(On verie facilement que | f g |

| f |

| g |
1
| f |

| g |

)
On a aussi par changement de variables et integrale de periode,
| f g |
1
| f |
1
| g |
1
.
3-associativite de
On peut demontrer lassociativite de avec Fubini puis, grace au jeu decritures
c
n
(.) = . e
n
(0) , e
n
e
n
= e
n
, . e
n
= c
n
(.)e
n
et `a la commutativite de ,
montrer que c
n
(f g) = c
n
(f)c
n
(g).
On proc`ede ici dieremment : on prouve par densite-fermeture que
c
n
(f g) = c
n
(f)c
n
(g) et on recup`ere en corollaire lassociativite de .
Soit g xe dans (
2
(R, C) et V = f (
2
(R, C) c
0
(f g) = c
0
(f)c
0
(g)
V est le noyau de la forme lineaire : f c
0
(f g) c
0
(f)c
0
(g) donc V est
un sev de (
2
(R, C). V contient la famille (e
k
)
kZ
donc V est dense dans
((
2
(R, C), | |

).
Pour f (
2
(R, C), [ c
0
(f g)c
0
(f)c
0
(g) [[ c
0
(f g) [ + [ c
0
(f) [ [ c
0
(g) [
[| c
0
|[ | f |

| g |

+ [| c
0
|[ | f |

[ c
0
(g) [
[[| c
0
|[ | g |

+ [ c
0
(g) [] | f |

donc la forme lineaire est continue, donc le sev dense V est ferme dans
((
2
(R, C), | |

), do` u V = (
2
(R, C).
On ecrit : c
n
(.) = c
0
(. e
n
) et f ge
n
= fe
n
ge
n
donc
c
n
(f g) = c
0
(f ge
n
) = c
0
(fe
n
)c
0
(ge
n
) = c
n
(f)c
n
(g)
corollaire : pour f, g et h dans (
2
(R, C), (f g) h et f (g h) ont
les memes coecients de Fourier complexes donc, dapr`es Parseval, on a
(f g) h = f (g h).
52
4-unite et idempotent dans ((
2
(R, C), )
Si est une unite de (
2
(R, C) pour , pour tout n N, on a : e
n
= e
n
donc c
n
(e
n
)c
n
() = c
n
(e
n
) = 1, donc c
n
() = 1. Impossible car dapr`es
Riemann-Lebesgue, c
n
() 0 en +
Si est un idempotent de (
2
(R, C), la suite (c
n
() est `a valeurs dans
0, 1 donc toujours par Riemann-Lebesgue, S
p
()
p0
est stationnaire. Par
unicite de la limite dans (T, | |
2
), apparait comme un polynome trigo-
nometrique `a coecients dans 0, 1. Reciproquement, toute somme nie
de e
k
est un idempotent.
5-convolution associee `a un noyau
On se donne dans (
2
(R, C) une fonction paire `a valeurs reelles notee k.
Lapplication K : f fk est un endomorphisme de (
2
(R, C) et linegalite
| K(f) |

| k |
1
| f |

valable pour tout f de (


2
(R, C) montre que
loperateur K est continu pour la norme uniforme avec : [| K |[ | k |
1
.
On se propose de montrer : [| K |[=| k |
1
On essaie dexhiber un element f
0
de (
2
(R, C) pour lequel
| K(f
0
) |

=| k |
1
| f
0
|

. On a envi de poser : f
0
= sg(k) o` u sg(k) est
lapplication signe de k. Le probl`eme de la continuite se pose.
Pour n N

, on pose : f
n
=
k
|k|+
1
n
(f
n
) est une suite de points de (
2
(R, C) qui converge simplement vers sg(k).
On a : K(f
n
)(0) =
1
2
_
2
0
f
n
(t)k(t)dt =
1
2
_
2
0
k
2
(t)
|k(t)|+
1
n
dt car k est paire
et K(f
n
)(0) | K(f
n
) |

[| K |[ | f
n
|

[| K |[
On veut prouver que K(f
n
)(0) tend vers | k |
1
en +.
On aura alors linegalite | k |
1
[| K |[ et le resultat.
Il sut de verier que (
k
2
|k|+
1
n
) converge uniformement vers [ k [ sur [0, 2].
Pour t [0, 2] tel que k(t) ,= 0,

n
(t) =[
k
2
(t)
|k(t)|+
1
n
[ k(t) [[=[
k
2
(t)
|k(t)|+
1
n

k
2
(t)
|k(t)|
[
|
1
n
k
2
(t)|
|k(t)|(|k(t)|+
1
n
)

1
n
|k(t)|
|k(t)|+
1
n

1
n
Linegalite
n
(t)
1
n
est aussi valable pour t zero de k, do` u le resultat.
a) loperateur
n
[|
n
|[=| F
n
|
1
= 1
53
Fejer par densite-fermeture On pose :
W = f (
2
(R, C) |
n
(f) f |

0
W est un sev de (
2
(R, C).
Pour p Z, n N

n
(e
p
) = e
p
F
n
=
1
n+1

n
k=0
e
p
D
k
=
1
n+1

n
k=0

k
m=k

p,m
e
m

n
(e
p
) =
1
n+1
e
p

|p|kn
1 =
n|p|+1
n+1
e
p
donc |
n
(e
p
) e
p
|


|p|
n+1
, donc e
p
W
donc W contient T , donc W est dense dans (
2
(R, C).
On consid`ere une suite (f
p
) de W qui converge uniformement sur R vers
un element de (
2
(R, C) note f. Pourquoi a-t-on : f W ?
On choisit p N

tel que | f
p
f |


3
.
On choisit ensuite N N

tel que n N |
n
(f
p
) f
p
|


3
.
On remarque que : |
n
(f
p
)
n
(f) |

[|
n
|[ | f
p
f |



3
et on
conlut enn par une decoupe en trois.
W est un sev de (
2
(R, C), dense et ferme dans (
2
(R, C)
donc W = (
2
(R, C).
remarque : un argument incontournable de cette preuve est le caract`ere
borne de ([|
n
|[). On retrouve la meme idee avec :
b) loperateur T

[| T

|[=| T

|
1
= 1
Poisson par densite-fermeture Remarquer que
p Z e
p
T

=
|p|
e
p
de sorte que e
p
T

(x) tend vers e


p
(x) uniformement
par rapport `a x quand tend vers 1, puis reprendre la preuve ci-dessus.
c) loperateur 5
n
[| S
n
|[=| D
n
|
1

2
ln n
transformation decritures
2 | D
n
|
1
=
_

[
sin(2n+1)
t
2
)
sin(
t
2
)
[ dt = 4
_

2
0
[
sin(2n+1)u
sin u
[ du
par parite et changement de variable.
enlever `a lintegrande sa partie principale.
54
Soit la fonction denie sur [0,

2
] par (u) =
1
sin u

1
u
si u ,= 0 et (0) = 0.
est continue positive sur [0,

2
].
_

2
0
[
sin(2n+1)u
sin u
[ du =
_
2
0
(u) [ sin(2n + 1)u [ du
. .

+
_
2
0
[ sin(2n + 1)u [
u
du
. .
=
n
encadrer
n
=
_
(n+
1
2
)
0
|sin v|
v
dv pour en obtenir un equivalent.
On ecrit :
n

_
(n+1)
0
|sin v|
v
dv
et :
n

_
n
0
|sin v|
v
dv =
_
(n+1)
0
|sin v|
v
dv
_
(n+1)
n
|sin v|
v
dv
On a :
_
(n+1)
0
|sin v|
v
dv =
_

0
|sin v|
v
dv +

n
k=1
_
(k+1)
k
|sin v|
v
dv

0
|sin v|
v
dv +

n
k=1
1
k
_
(k+1)
k
[ sin v [ dv

_

0
[ sin v [
v
dv +
n

k=1
2
k
. .

ln n
et :
_
(n+1)
0
|sin v|
v
dv

n
k=1
1
(k+1)
_
(k+1)
k
[ sin v [ dv
2

ln n
donc :
_
(n+1)
0
|sin v|
v
dv
2

ln n
Avec 0
_
(n+1)
n
|sin v|
v
dv
2
n
et donc avec
_
(n+1)
n
|sin v|
v
dv = O(
1
n
),
on a aussi :
_
n
0
|sin v|
v
dv
2

ln n.
bilan :
n

2

ln n (cf page 36) et | D


n
|
1

2
ln n
un peu de Baire (cf annexe 2 page 71)
On se pose les deux questions suivantes ;
probl` eme 1 : : f (c
n
(f)) de ((
2
(R, C), | |

) dans (l

0
, N

) est
lineaire, continue et injective (unicite des developpements en serie de Fourier
dans (
2
(R, C)). A-t-on surjective ?
La reponse est NON ; Si tel est le cas, par le theor`eme de lapplication
ouverte,
1
est continue do` u : | |
1
| |

c N

avec c R. En
particulier, pour n N

, avec D
n
(
2
(R, C), | D
n
|
1
c. Contradiction !
probl` eme 2 : pour f (
2
(R, C), la serie de Fourier de f converge-t-elle
vers f(x) en tout point x ?
La reponse est NON; Pour n N

, l
n
: f S
n
(f)(0) est une forme lineaire
continue sur le Banach ((
2
(R, C), | |

) et [| l
n
|[=| D
n
|
1
(cf page 53).
Par le theor`eme de Banach-Steinhaus, puisque ([| l
n
|[) est non bornee, on
peut trouver f (
2
(R, C) telle que : M > 0 n N

[ S
n
(f)(0) [> M.
(S
n
(f)(0)) nest pas bornee donc ne converge pas.
55
Huiti`eme partie
convergence simple
A - un resultat de convergence, une jolie preuve
enonce Soit f T et a R. Si f est derivable en a, alors la suite
(S
n
(f)(a) converge vers f(a).
preuve Quitte `a remplacer f par
a
f, puis f par f f(a), on peut
supposer : f(a) = a = 0. On envisage la fonction g denie sur [, ] par
g(x) =
i f(x)
e
ix
1
si x ,= 0, g(0) = f

(0). g est continue en 0 et continue par


morceaux sur [, 0[]0, ]. On prolonge g par 2-periodicite, g est alors un
element de T. Pour x [, ], i f(x) = g(x)e
ix
g(x) donc pour k Z,
ic
k
(f) = c
k1
(g) c
k
(g).
Pour n N

, S
n
(f)(0) =

n
k=n
c
k
(f) =
1
i

n
n
c
k1
(g) c
k
(g) donc :
S
n
(f)(0) =
1
i
[c
n1
(g) c
n
(g)]. Par Riemann-Lebesgue, le second membre
tend vers f(0) = 0 quand n tend vers +.
La derivabilite est, comme on vient de le voir, une condition susante pour
la convergence simple. Ce nest pas une condition necessaire.
B - une fonction non derivable en 0 avec lim
n
S
n
(f)(0) = f(0)
La serie de fonctions

sin nx
n
2
converge normalement sur R. On en deduit :
La fonction-somme notee f est continue sur R.
f, par ailleurs 2-periodique comme chaque somme partielle de la serie, a
les coecients de Fourier : b
n
=
1
n
2
n N

En vertu du resultat 4 page 27 ou de lapplication 4 page 47, la serie de


Fourier de f converge uniformement sur R vers f, ce qui assure largement :
lim
n
S
n
(f)(0) = f(0).
Reste `a voir que f nest pas derivable en 0. La strategie consiste `a mino-
rer le quotient
f(x)
x
pour x ]0,

2
[ par une quantite qui diverge vers +
lorsque x tend vers 0
+
. La minoration repose sur une decoupe-variable,
une transformation dAbel, et une inegalite de convexite ultra-classique .
Pour x ]0,

2
[ et N N

, on ecrit :
f(x)
x
=

N
n=1
sin nx
nx
1
n
+
1
x

n=N+1
sin nx
n
2
Si on choisit N = E(

2x
), grace `a linegalite de Jordan sin u
2

u sur [0,

2
],
le terme `a distance nie

N
n=1
sin nx
nx
1
n
est minore par
2

N
n=1
1
n
Pour la gestion du reste, une transformation dAbel donne :

n=N+1
sin nx
n
2
=

n=N+1

n
(x)[
1
n
2

1
(n+1)
2
] o` u
n
(x) =

n
k=0
sin kx est
majore en valeur absolue par [
1e
i(n+1)x
1e
ix
[, par
1
sin
x
2
, et donc avec Jordan,
56
par

x
. En denitive :
f(x)
x

2

N
n=1
1
n


N
2
x
2
.

N
n=1
1
n
tend vers + quand x tend vers 0, et lencadrement
N

2x
N + 1 donne : N
2
x
2

0
+

2
4
, ce qui termine la preuve de la
non-derivabilite de f en 0.
C - theor`eme de Dirichlet
enonce Soit f 2-periodique et C
1
par morceaux de R dans C.
Alors, pour x R, (S
n
(f)(x))
n1
converge vers
1
2
[f(x + 0) +f(x 0)]
preuve On rappelle que :
1
2
_

D
n
(u)du =
1

0
sin(n+
1
2
)u
sin
u
2
du = 1
et : S
n
(f)(x) =
1
2
_

0
[f(x + u) +f(x u)]
sin(n+
1
2
)u
sin
u
2
du ( n N

, x R)
Soit x R. Pour n N

n
(x) = S
n
(f)(x)
1
2
[f(x + 0) +f(x 0)]
=
1
2
_

0
[f(x+u)f(x+0)+f(xu)f(x0)]
sin
u
2
sin(n +
1
2
)udu.
On denit lapplication g de [0, ] dans C comme suit :
g(u) =
[f(x+u)f(x+0)+f(xu)f(x0)]
sin
u
2
si u ]0, ] et, `a bon droit puisque f
est C
1
par morceaux, g(0) = 2 [f

(x + 0) +f

(x 0)]
g est comme f C
1
par morceaux sur ]0, ], donc en particulier continue par
morceaux sur ]0, ]. Par ailleurs, pour u ,= 0,
[f(x+u)f(x+0)+f(xu)f(x0)]
sin
u
2
= 2
f(x+u)f(x+0)
u
+
f(xu)f(x0)
u

u
2
sin
u
2
donc
g(u) tend vers 2 [f

(x+0)+f

(x0)] quand u tend vers 0. g est donc continue


en 0, et par Riemann-Lebesgue demploi justie puisque g est maintenant
continue par morceaux sur [0, ],
n
(x) tend vers 0 quand n tend vers +.
remarque 1 Lorsque f est un element de (
1
2
(R, C), la serie de Fourier de
f converge uniformement sur R vers f (cf page 22).
remarque 2 On pourrait multiplier les exercices qui consistent `a calculer,
pour une fonction C
1
par morceaux de T, les a
n
, b
n
, c
n
an dobtenir avec
Dirichlet des egalites amusantes. En voici deux exemples.
exercice - formule dEuler Pour R
\2Z
, c

designe lapplication
2-periodique denie sur ] , [ par c

(x) = cos(x).
A laide du developpement en serie de Fourier de c

, montrer que :
R
\Z
cotan() =
2

1
2
2
+

n=1
1

2
n
2

57
puis que :
x ] 1, 1[
\{0}
(x)cotan(x) = 1 2

p=0
(2p + 2)x
2p+2
Pour R
\2Z
, c

est paire. Ses coecients de Fourier a


n
(n N)
sobtiennent soit par linearisation des produits trigonometriques, soit par
double integration par parties. En tout cas : a
n
=
1

2(1)
n
sin

2
n
2
pour
n N

et a
0
=
2 sin

. c

est C
1
par morceaux donc la formule de Dirichlet
appliquee en donne : cos =
sin

+ 2
sin

n=1
1

2
n
2
donc : cotan() =
2

1
2
2
+

n=1
1

2
n
2

Pour x ] 1, 1[, x ,= 0, cotan(x) =


2

x
1
2x
2

n=1

p=0
x
2p
n
2p+2
.
Pour k N

, on ecrit :

n=1

p=0
x
2p
n
2p+2
=

n=1

k
p=0
+

n=1

p=k+1
=

k
p=0
(2p + 2)x
2p
+

n=1

p=k+1
. .
r
k
(x)
Linegalite [ r
k
(x) [

n=1
1
n
2

p=k+1
x
2p
= (2)
x
2k+2
1x
2
donne :
lim
k+
r
k
(x) = 0. Par ailleurs, pour p N, 0 (2p + 2)x
2p
(2)x
2p
,
donc par comparaison,

(2p + 2)x
2p+2
converge. On fait tendre k vers
+, on obtient :

n=1

p=0
x
2p
n
2p+2
=

p=0
(2p + 2)x
2p+2
et la conclusion
est aisee.
remarque : par division suivant les puissances croissantes des developpe-
ments limites en 0 de t t cos t et t sin t `a lordre 9 (par exemple),
on obtient : t cotan(t) = 1
t
2
3

t
4
45

2t
6
945

2t
8
9450
+ (t
8
) ce qui donne :
(2) =

2
6
, (4) =

4
90
, (6) =

6
945
, (8) =

8
9450
.
exercice Soit g 2-periodique, impaire denie sur [0, ] par
g(x) =
1
2
x si x [0, 1], g(x) =
x
2
si x [1, ]. Etablir avec g :

n=1
sin n
n
=

n=1
sin
2
n
n
2
Pour n N

, b
n
(g) =
2

0
g(t) sin nt dt =
1

_
1
0
( 1)t sin nt dt+
1

1
( t) sin nt dt.
Par integrations par parties, il vient :
b
n
(g) =
1


cos n
n
+
sin n
n
+
1

( 1)
cos n
n
+
sin n
n
2
=
sin n
n
2
.
g etant C
1
par morceaux, par Dirichlet : x R g(x) =

n=1
sin n
n
2
sin nx.
En particulier : g(1) =

n=1
sin n
n
2
=
1
2
cqfd.
remarque : voici pour le plaisir une autre facon dobtenir legalite.
58
On sait que :

n=1
sin nx
n
=
1
2
( x) si 0 < x < 2 avec convergence uni-
forme compacte de la serie de sinus sur ]0, 2[. (cf page 11)
Si C designe lapplication x

n=1
cos nx
n
2
de R dans C, C est paire,
2-periodique et continue par convergence uniforme (normale) sur R; Par
derivation terme `a terme licite, on a : C

(x) =

n=1
sin nx
n
=
1
2
(x )
sur ]0, 2[. Do` u lexistence de K R telle que : C(x) = K +
x
2
4


2
x si
0 < x < 2. On a : K = C(0 + 0) = C(0) = (2) =

2
6
do` u pour 0 < x < 2, C(x) =

2
6
+
x
2
4


2
x.
En particulier, C(2) =

n=1
cos 2n
n
2
=

n=1
12 sin
2
n
n
2
=

2
6
+ 1
donc

+
n=1
sin
2
n
n
2
=
1
2
=

+
n=1
sin n
n
egalite dans linegalite de Wirtinger (cf p.51)
Pour f : R C continue, 2-periodique, C
1
par morceaux, de valeur
moyenne nulle, il y a egalite dans
_
2
0
[ f [
2

_
2
0
[ f

[
2
ssi (a, b) C
2
x R f(x) = a cos x + b sin x.
preuve : linegalite de Wirtinger ne peut devenir une egalite que si c
n
(f)
est nul pour [ n [ 2. Or, avec f C
1
par morceaux et donc avec le theo-
r`eme de Dirichlet, on a : x R f(x) =

c
n
(f)e
inx
, ce qui laisse ici :
f(x) = a cos x +b sin x, (a, b) R
2
.
application : soit : [0, 1] R
2
un arc geometrique (confusion entre
et sa trace ([0, 1]) dans R
2
), ferme ((0) = (1)), simple (pas d auto-
intersection, injective), C
1
et regulier (v [0, 1]

(v) ,= 0), de longueur


l =
_
1
0
[

(v) [ dv.
Theor`eme des isoperim`etres : si designe laire du domaine interieur, on
a linegalite :
l
2
4
, avec egalite lorsque est un cercle. Autrement dit,
`a perim`etre xe et sous certaines hypoth`eses de regularite, le cercle est la
boucle delimitant laire maximale.
On denit s : v
_
v
0
[

(u) [ du de [0, 1] dans [0, l] (s est une abscisse


curviligne sur ). s est derivable de derivee [

[ (continuite de [

[),
strictement croissante de [0, 1] dans R ([

[> 0) et s

ne sannule pas sur


[0, 1] donc s est un C
1
-dieomorphisme strictement croissant de [0, 1] dans
[0, l] avec (s
1
)

=
1
s

s
1
=
1
|

|s
1
. Pour se ramener au segment [0, 2], on
introduit un nouveau param`etre h2
l
: s t =
2
l
s de [0, l] dans [0, 2], de
bijection reciproque h
1
2
l
= h l
2
. A present, pour le meme arc, on dispose de
3 parametrages , = s
1
, = h l
2
.
On munit R
2
dun rep`ere orthonorme. Le point courant (t) (t [0, 2])
de larc a pour coordonnees (x(t), y(t)). On admet que :
2 =[
_
2
0
(xy

yx

)(t)dt [
59
On a : 2 (
_
2
0
x
2
+y
2
)
1
2
(
_
2
0
x

2
+ y

2
)
1
2
avec Cauchy-Scharwz. Quitte `a
eectuer une translation, precisement remplacer x par x
1
2
_
2
0
x et y par
y
1
2
_
2
0
y, on ram`ene le centre de gravite de la surface delimitee par en
lorigine du rep`ere, ie on suppose que :
_
2
0
x =
_
2
0
y = 0. Grace `a Wirtin-
ger, 2
_
2
0
(x

2
+y

2
)(t)dt avec
_
2
0
(x

2
+y

2
)(t)dt =
_
2
0
[

(t) [
2
dt
=
_
2
0
[

[h l
2
(t)] (h l
2
)

(t) [
2
dt =
_
2
0
[

[s
1
(h l
2
(t))](s
1
)

[h l
2
(t)]
l
2
[
2
dt
=
l
2
4
2
_
2
0
dt =
l
2
2
Si on veut une egalite, il faut : x = a cos t + b sin t ; y = cos t + sin t et
x
2
+ y
2
= (x

2
+ y

2
) (egalite dans Cauchy-Scharwz) avec = 1 an que :
_
2
0
x
2
+y
2
=
_
2
0
x

2
+ y

2
. cela donne : a
2
+
2
= b
2
+
2
et ab + = 0
et nalement : x
2
+y
2
= C , C = a
2
+
2
. cqfd.
60
Neuvi`eme partie
convergence normale, uniforme
Quelles hypoth`eses de regularite raisonnables mettre sur f T pour que
(S
n
(f))
nN
converge uniformement versf sur R?
La convergence uniforme entrainant la convergence simple, on peut rai-
sonnablement imposer `a f detre C
1
par morceaux (cf Dirichlet)
Les S
n
(f) etant continues, leur eventuelle limite uniforme lest aussi, do` u
lidee dimposer `a f detre continue.
A]propriete
1-enonce Si f : R C est 2-periodique, continue et de classe C
1
par
morceaux sur R, alors la serie de Fourier de f converge normalement sur R
et a pour somme f.
preuve : on sait dej` a que (c
n
(f)) est un element de l
1
, ce qui assure la conver-
gence normale de la serie de Fourier de f sur R. Soit g la fonction somme.
g est 2-periodique et continue sur R donc appartient `a T. Linegalite
| |
2
| |

montre que (S
p
(f)) converge en moyenne quadratique vers g.
Par unicite de la limite dans (T, | |
2
), on a f = g.
2-condition susante vs condition necessaire
f : x

n=1
sin nx
n
2
(cf page 56) denit sur R une fonction 2-periodique,
continue, mais non C
1
par morceaux et pour laquelle cependant la serie de
Fourier de f converge normalement sur R vers f.
Justification rapide : la serie de fonctions

cos nx
n
converge uniformement
sur tout intervalle du type [, ] avec 0 < < , donc f est derivable sur
]0, ], sa derivee en tout x de ]0, ] etant f

(x) =

n=1
cos nx
n
. Or pour
x ]0, ],

n=1
cos nx
n
= ln(2 sin
x
2
) (cf page 11). Il vient :
f

(x)
0
+ ln x. ce qui donne : lim
x0
+f

(x) = + et assure que f nest


pas C
1
par morceaux sur R. On pourrait prouver lequivalence

n=1
cos nx
n

0
+ ln x, comme `a la page 12, en posant N = E(
1
x
) et en
ecrivant

n=1
cos nx
n
=

N
n=1
1
n

N
n=1
1cos nx
n
+

n=N+1
cos nx
n
.
3-quelques normes sur lespace des fonctions de classe C
1
.
On dispose dej`a sur (
1
2
(R, C) des normes | |

, | |
1
, | |
2
, avec les
inegalites : | |
1
| |
2
| |

Pour 1, 2, et f (
1
2
(R, C), N

(f) designe la norme de (c


n
(f))
element de l

. Les N

sont des normes sur (


1
2
(R, C). En eet, par unicite
des developpements de Fourier, la propriete [ N

(f) = 0 f = 0 ] est
61
veriee alors que lhomogeneite et linegalite triangulaire pour N

reposent
sur la linearite des c
n
.
La formule de Parseval donne N
2
=| |
2
Pour f (
1
2
(R, C) et n Z, on a : [ c
n
(f) [| f |
1
donc : N

| |
1
Pour f (
1
2
(R, C) et n Z, on a | S
n
(f) |

n
k=n
[ c
k
(f) [ N
1
(f).
f etant continue et C
1
par morceaux, la serie de Fourier de f converge
normalement, donc uniformement sur R et a pour somme f. On fait tendre
n vers + et on obtient | |

N
1
Pour f (
1
2
(R, C), on pose : N(f) =| f |
1
+ | f

|
1
. N est clairement
une norme sur (
1
2
(R, C). On propose de montrer que | |

2( + 2)N.
Linegalite souhaitee peut sobtenir en controlant les sommes de Fourier,
puis en passant `a la limite. Sa forme montre quil faut faire intervenir la
derivee f

, element de (
2
(R, C).
Pour n N

et x R, on a : S
n
(f)(x) = c
0
(f) + 2 f

G
n
(x) ( page 22)
donc [ S
n
(f)(x) [| f |
1
+2 | G
n
|

| f

|
1
2( + 2)[ | f |
1
+ | f

|
1
]
Par convergence uniforme de S
n
(f) vers f sur R, on obtient en passant `a la
limite :
| |

2( + 2)N
B]forme des (2l), l N

lemme On a vu (page 59) : x [0, ]

n=1
cos(nx2

2
)
n
2
=

2
6
+

2
x
x
2
4
.
On veut :
k N, k ,= 0, k ,= 1, x [0, ]

n=1
cos(nx k

2
)
n
k
=
k

i=0
a
i,k

ki
x
i
o` u les a
i,k
sont des nombres rationnels.
preuve On suppose la propriete vraie au rang k. Pour x [0, ], la serie
de fonctions continues

cos(nxk

2
)
n
k
converge normalement, donc uniforme-
ment sur [0, x] donc :
_
x
0

n=1
cos(ntk

2
)
n
k
dt =

n=1
[
sin(nxk

2
n
k+1
+
sin k

2
n
k+1
]
=

n=1
sin k

2
n
k+1
+

n=1
cos[nx(k+1)

2
]
n
k+1
Par ailleurs,
_
x
0

n=1
cos(ntk

2
)
n
k
dt =

k+1
i=1
a
i,k+1

k+1i
x
i
avec : a
1,k+1
= a
0,k
et a
i,k+1
=
a
i1,k
i
(2 i k + 1).
De l`a :

n=1
cos[nx(k+1)

2
]
n
k+1
=

k+1
i=0
a
i,k+1

k+1i
x
i
o` u : a
0,k+1
=
1

k+1

n=1
sin k

2
n
k+1
.
Pour 1 i k + 1, a
i,k+1
=
a
i1,k
i
Q.
Reste `a voir que a
0,k+1
est un rationnel.
Si k est pair, a
0,k+1
= 0. On suppose k impair, k = 2l 1.
62
Pour x [0, ],

n=1
sin k

2
n
k+1
+

n=1
cos[nx(k+1)

2
]
n
k+1
=

k+1
i=1
a
i,k+1

k+1i
x
i
donc en particulier pour x = ,

n=1
sin k

2
n
k+1
+

n=1
(1)
n
cos(k+1)

2
n
k+1
=
k+1

avec : =

k+1
i=1
a
i,k+1
Q. En separant dans la deuxi`eme somme les indices
pairs et impairs :

n=1
sin k

2
n
k+1

p=1
sin k

2
2
k+1
p
k+1
+

p=0
sin k

2
(2p+1)
k+1
=
k+1

donc :

n=1
sin k

2
n
k+1
2

p=1
sin k

2
2
k+1
p
k+1
+

p=1
sin k

2
2
k+1
p
k+1
+

p=0
sin k

2
(2p+1)
k+1
=
k+1
.
De l`a : (2
2
2
k+1
)

n=1
sin k

2
n
k+1
=
k+1
. Ainsi, a
0,k+1
=

2
2
2
k+1
Q.
au passage En remplacant k par 2l 1, il vient : (2l) = (1)
l
a
0,2l
. .
Q

2l
63
Dixi`eme partie
A propos des fonctions
harmoniques (cf RMS5-1995)
U designe un ouvert non vide de C, identie `a R
2
, H est une fonction C
2
de U dans R. Pour (x, y) U, on pose :

H
(x, y) =

2
H

2
x
(x, y) +

2
H

2
y
(x, y)

H
est appele laplacien de H sur U.
On dit que H est harmonique sur U lorsque
H
est nul sur U.
Pour a U et > 0 tel que D(a, ) U, on denit lapplication G de
[0, [R dans R par : G(r, ) = H(a +re
i
)
A] deux lemmes.
Laplacien en coordonnees polaires Pour (r, ) ]0, [,

H
(a + re
i
) =

2
G

2
r
(r, ) +
1
r
G
r
(r, ) +
1
r
2

2
G

On verie :
G
r
(r, ) =
H
x
(a +re
i
) cos +
H
y
(a +re
i
) sin
G

(r, ) = r[
H
x
(a + re
i
) sin +
H
y
(a +re
i
) cos ]

2
G

2
r
(r, ) =

2
H

2
x
(a+re
i
) cos
2
+2

2
H
xy
(a+re
i
) cos sin +

2
H

2
y
(a+re
i
) sin
2

2
G

(r, ) = r
2
[

2
H

2
x
(a + re
i
) sin
2
2

2
H
xy
(a +re
i
) cos sin
+

2
H

2
y
(a +re
i
) cos
2
] r[
H
x
(a + re
i
) cos +
H
y
(a +re
i
) sin ]
do` u le resultat.
Equation dierentielle dEuler Soit 0, R > 0. (E

) designe
lequation dierentielle r
2
u

(r) +ru

(r)
2
u(r) = 0, u (
2
(]0, R[, R).
Le plan des solutions de (E

) admet pour base (1, ln r) si = 0, et (r

, r

)
si > 0
B] propriete de la moyenne
enonce Si H est harmonique sur U, alors H verie la propriete de la
moyenne :
a U r > 0 , D(a, r) U H(a) =
1
2
_
2
0
H(a + re
i
)d
64
preuve Soit a U et > 0 tel que D(0, ) U.
Pour 0 r < , on pose : u(r) =
1
2
_
2
0
H(a + re
i
)d
(r, ) H(a + re
i
) est globalement continue sur [0, [[0, 2], admet des
derivees partielles dordre 1 et 2 par rapport `a r continues du couple (r, )
sur [0, [[0, 2]. u est donc C
2
sur [0, [. Par derivation sous le signe
integral sur ]0, [ et en utilisant lexpression du Laplacien en polaires, on
voit que u verie (E
0
). u continue sur [0, [ est bornee au voisinage de 0,
donc u est constante sur ]0, [, sur [0, [ par continuite en 0. u est bien
constante de valeur u(0) = H(a)
C] probl`eme de Dirichlet sur le disque unite
enonce On se donne une fonction reelle continue sur S
1
, ie une fonction
h de (
2
(R, R). Comment prolonger h en une fonction continue sur D(0, 1)
et harmonique sur D(0, 1) ?
analyse du probl`eme Si H convient, on dispose pour 0 r < 1 de la
fonction C
2
, 2-periodique h
r
: H(re
i
) dont les coecients de Fourier
sont : c
n
(r) =
1
2
_
2
0
H(re
i
)e
in
d (n Z).
Pour n Z, (r, ) H(re
i
)e
in
est globalement continue sur [0, 1][0, 2],
admet des derivees partielles dordre 1 et 2 par rapport `a r continues du
couple (r, ) sur [0, 1[[0, 2]. Par derivation sous le signe integral, compte
tenu de lexpression du Laplacien en coordonnees polaires et de la condition

H
= 0, les c
n
verient sur ]0, 1[ la relation (E
n
).
Pour n ,= 0, c
n
continue sur [0, 1[ (et meme sur [0, 1]), est bornee au voisinage
de 0, donc il existe une constante
n
telle que :
r [0, 1[ c
n
(r) =
n
r
|n|
c
0
est constante sur [0, 1[ de valeur
0
= H(0) (cf B]).
h
r
de classe C
2
est somme de sa serie de Fourier (Dirichlet), ce qui donne :
r [0, 1[ R h
r
() =

n0

n
r
n
e
in
+

n1

n
r
n
e
in
.
Par continuite de (r, ) H(re
i
)e
in
sur [0, 1] [0, 2], c
n
est continue
en 1 et : lim
r1
c
n
(r) = c
n
(h) do` u :
n
= c
n
(h)
En denitive : 0 r < 1 h
r
= h T
r
ou :
z D(0, 1) H(z) =

n0
c
n
(h)z
n
+

n1
c
n
(h) z
n
synth`ese du probl`eme On se donne h (
2
(R, R).
Linegalite [ c
n
(h)z
|n|
[| h |

[ z [
|n|
valable pour n Z, z C assure que
les rayons de convergence des series enti`eres

c
n
(h)z
n
et

c
n
(h)z
n
sont
superieurs `a 1.
65
Pour z D(0, 1) et w = e
i
S
1
, on pose :
H(z) =

n0
c
n
(h)z
n
+

n1
c
n
(h) z
n
et H(w) = h().
H est continue sur D(0, 1).(continuite des sommes de series enti`eres sur le
disque ouvert de convergence et continuite de z z)
H est continue sur D(0, 1). (cf p.47)
Soit (x
0
, y
0
) D(0, 1)
On choisit > 0, > 0 tels que le rectangle [x
0
, x
0
+] [y
0
, y
0
+]
soit contenu dans D(0, 1). [x
0
, x
0
+] [(y
0
+), (y
0
)] est aussi
inclus dans D(0, 1). On envisage H
y
0
correctement denie sur [x
0
, x
0
+]
par :
H
y
0
(x) =

n0
c
n
(h)(x + iy
0
)
n
+

n1
c
n
(h)(x iy
0
)
n
.
On rappelle que pour (a
n
) C
N
, les deux series enti`eres

a
n
z
n
et

na
n
z
n1
ont le meme rayon de convergence. Avec la convergence absolue des series
de terme general
c
n
(h)n(x
0
+ + i(y
0
+))
n1
c
n
(h)n(x
0
+ i(y
0
+))
n1
c
n
(h)n(n 1)(x
0
+ + i(y
0
+))
n2
c
n
(h)n(n 1)(x
0
+ i(y
0
+))
n2
les series de fonctions


c
n
(h)n(x + iy
0
)
n1


c
n
(h)n(x iy
0
)
n1


c
n
(h)n(n 1)(x +iy
0
)
n2


c
n
(h)n(n 1)(x iy
0
)
n1
convergent normalement sur [x
0
, x
0
+] donc H
y
0
est C
2
sur lintervalle
[x
0
, x
0
+] et, par derivation terme `a terme, on a :
H

y
0
(x
0
) =

n2
c
n
(h)n(n 1)(x
0
+ iy
0
)
n
+

n2
c
n
(h)n(n 1)(x
0
iy
0
)
n
On montre de meme que :

2
H

2
y
(x
0
, y
0
) =

n2
c
n
(h)n(n 1)(x
0
+ iy
0
)
n

n2
c
n
(h)n(n 1)(x
0
iy
0
)
n
De l`a :
H
(x
0
, y
0
) = 0. H est bien harmonique sur D(0, 1).
66
Onzi`eme partie
Annexes
1 Theor`emes dAbel. Series de Hardy
Loutil essentiel est la transformation dAbel appelee aussi sommation par
parties. On travaille par ailleurs dans K = R ou C complet, ce qui permet
devoquer constamment le crit`ere de Cauchy.
A-Un theor`eme pour les series numeriques
a) Version variation bornee
Si (
n
)
nN
est une suite dans K telle que (
n
) tend vers 0 en + et

[
n+1

n
[ converge, et si (u
n
)
nN
est une suite dans K `a sommes par-
tielles bornees (par M), alors la serie

n
u
n
est convergente.
Lorsque la condition

[
n+1

n
[ < + est veriee, on dit que la suite
(
n
) est `a variation bornee.
preuve : pour n, p dans N

n+p
k=n

k
u
k
=

n+p
k=n

k
(U
k
U
k1
) o` u pour
k N

, U
k
=

k
j=0
u
j
. De l`a :
n+p

k=n

k
u
k
=
n
U
n1
+
n+p
U
n+p
+
n+p1

k=n
(
k

k+1
)U
k
et : [

n+p
k=n

k
u
k
[ M[[
n
[ + [
n+p
[ +

n+p1
k=n
[
k+1

k
[].
Soit > 0. On choisit n
0
N

tel que : n n
0
q N

[
n
[ et

n+q
k=n
[
k+1

k
[ . Dans ces conditions, [

n+p
k=n

k
u
k
[ 3M ;

n
u
n
verie le crit`ere de Cauchy dans K donc converge.
b) Version usuelle
Si (
n
) est une suite reelle qui tend vers 0 en decroissant et si (u
n
) est une
suite dans K `a sommes partielles bornees, alors

n
u
n
est convergente.
(
n
) tend vers 0 et

N
k=0
[
k+1

k
[ =

N
k=0

k

k+1
=
0

N+1
valable pour tout N N prouve que

[
n+1

n
[ < +. On est ainsi
ramene au theor`eme dAbel version variation bornee.
application : etude des series de Hardy La demarche retenue est
issue dun article de J.M Exbrayat et A. Pommelet (RMS-6 fevrier 1994)
On etudie les series trigonometriques du type

e
in

o` u 0 1 et 0 < .
67
= 0 : convergence ssi > 1 (series de Riemann)
= 1 : convergence par lusuel Abel.
0 < < 1
Si > 1,

e
in

converge absolument.
Si 0 < 1, convergence ssi > 1 .
lemme
Si (u
n
) et (v
n
) sont deux suites dans K telles que :
v
n
= u
n
[1 +
c
1
n

1
+ ... +
c
r
n

r
+_(
1
n

r+1
)]
o` u :
1
, ...,
r
> 0 et
r+1
> 1,
alors pour tout > 0,

u
n
n

et

v
n
n

sont de meme nature.


preuve du lemme
Soit > 0. Si

u
n
n

converge,

u
n
n

1
n

k
(1 k r) converge par
lusuel Abel et

un
n

_(
1
n

r+1
) converge (absolument). De l`a :

vn
n

converge.
Reciproquement, on suppose que

v
n
n

converge.
On ecrit : u
n
= v
n
[1 +
c
1
n

1
+ ... +
c
r
n

r
+_(
1
n

r+1
)]
1
donc
u
n
= v
n
[1
c
1
n

1
...
cr
n

r
+_(
1
n

r+1
) +
c
2
1
n
2
1
+ ...] o` u on ne garde que les
puissances de n dexposant strictement inferieur `a
r+1
. u
n
secrit alors :
u
n
= v
n
[1 +
e
1
n

1
+... +
e
s
n

s
+_(
1
n

r+1
)] o` u :
1
, ...,
s
> 0. Par symetrie des
r oles,

u
n
n

converge.
retour aux s eries de Hardy
Pour n N

, on pose : d
n
= e
i(n+1)

e
in

.
On a : d
n
= e
in

[e
i((n+1)

)
1].
Or : (n + 1)

= n

[(1 +
1
n
)

1] = n

[1 +

n
+
(1)
2n
2
+_(
1
n
3
) 1]
ie : (n + 1)

=

n
1
+
(1)
2n
2
+_(
1
n
3
).
De l`a : d
n
= e
in

[e
i
n
1
+
i(1)
2n
2
+(
1
n
3
)
1]
= e
in
[1 +
i
n
1
+
i(1)
2n
2
+_(
1
n
3
) +

2
n
22
+... 1] (on ne garde que les
exposants strictement inferieurs `a 3 ) donc
d
n
= e
in
[
i
n
1
+
k
2
n

2
+... +
k
r
n

r
+_(
1
n
3
)] avec
2
, ...,
r
> 1 . Il vient :
d
n
=
ie
in

n
1
[1 +
c
2
n

2
+... +
c
r
n

r
+_(
1
n
2
)]
o` u :
k
=
k
(1 ) > 0 pour 2 k r.
68
premier cas : > 1 ; = 1 + ( > 0)
On a :
d
n
n

=
ie
in

[1 +
c
2
n

2
+ ... +
c
r
n
r
+ _(
1
n
2
)] avec

d
n
1
n

convergente
(Abel usuel) donc

e
in

converge en vertu du lemme.


deuxi` eme cas : = 1
Comme

d
n
diverge,

e
in

diverge aussi. On peut preciser :

d
n
a ses
sommes partielles (e
in

1)
nN
bornees, chaque

e
in

n
1+
k
et

e
in

n
1
_(
1
n
2
)
convergent donc ont aussi leurs sommes partielles bornees, de l`a on conclut
que la serie divergente

e
in

a ses sommes partielles bornees.


troisi` eme cas : < 1 ; = 1 ( > 0)
on a : n

d
n
=
ie
in

[1 +
c
2
n

2
+ ... +
c
r
n

r
+ _(
1
n
2
)]. Comme

d
n
diverge,

e
in

diverge aussi. Pourquoi ses sommes partielles ne sont-elles pas bor-


nees ?
(n

d
n
) a ses sommes partielles non bornees. (Sinon avec d
n
= n

d
n
1
n

d
n
converge...). Maintenant, par labsurde, si

e
in

a ses sommes partielles


bornees, chaque

e
in

1
n

k
converge et a ses sommes partielles bornees. De
l`a,

d
n
a ses sommes partielles bornees. Ce qui nest pas.
c) Theor`eme des series alternees-contr ole du reste
Soit

u
n
une serie alternee (n N u
n
u
n+1
< 0) telle que ([ u
n
[) tend
vers 0 en decroissant et ce, d`es le premier terme. Alors

u
n
converge et sa
somme est strictement du signe de u
0
. Si R
n
=

k=n+1
u
k
designe le reste
dordre n, alors R
n
est du signe de u
n+1
et : [ R
n
[[ u
n+1
[ (reste majore
par le premier terme neglige).
d) Un exemple dutilisation de la version variation bornee
On envisage la serie de Hardy convergente

e
in

(0 < < 1, > 1 ),


et la serie enti`ere associee

e
in

z
n
. Donner une condition susante pour
que

e
in

z
n
converge simplement sur le cercle-unite S
1
.
On est amene `a etudier les series

e
in
n

e
in
( R). Le cas = 0(2)
ne pose pas de probl`eme. Soit `a present ]0, 2[. La suite (e
in
) est `a
sommes partielles bornees. On cherche donc une condition susante pour
que (
e
in

), qui tend vers 0, soit `a variation bornee.


: x
e
ix

de [1, +[ dans C est derivable (et meme C


1
) sur [1, +[
avec pour x 1,

(x) =
ie
ix

x
1+

e
ix

x
1+
. Sur chaque [k, k + 1] (k N

),
69
[

(x) [

k
1+
+

k
1+
donc par accroissements nis :
[
e
i(k+1)

(k + 1)


e
ik

[

k
1+
+

k
1+
.
Pour avoir (
e
in

) `a variation bornee, il sut dimposer :


1 + > 2(1 ) > 1 ie : 0 < <
1
2
.
B-Un theor`eme pour les series enti`eres
enonce dAbel radial
Si (a
n
) est une suite dans K telle que

a
n
converge, alors

a
n
x
n
converge
uniformement sur [0, 1]. En particulier :
lim
1

,R

n=0
a
n

n
=

n=0
a
n
.
preuve
Cest une application du crit`ere de Cauchy qui repose de plus sur une trans-
formation dAbel avec reste. Soit > 0. On choisit n
0
N

tel que :
n n
0
[ R
n
[=[

k=n+1
a
k
[ . Pour [0, 1], n n
0
, p N,

n+p
k=n
a
k

k
=

n+p
k=n
(R
k
R
k+1
)
k
= R
n1

n
R
n+p

n+p
+

n+p1
k=n
R
k
(
k+1

k
)
donc : [

n+p
k=n
a
k

k
[ 2
n
2 et le crit`ere de Cauchy uniforme est verie.
La fonction somme de

a
n
x
n
est continue sur [0, 1] et donc en 1.
cas particulier :

a
n
serie alternee convergente
A x xe,

a
n
x
n
est une serie alternee convergente et son reste dordre n1
(

k=n
a
k
x
k
) est majore en module par le premier terme neglige. Del`a :
x [0, 1] [

k=n
a
k
x
k
[[ a
n
x
n
[[ a
n
[, ce qui assure la convergence
uniforme de

a
n
x
n
sur [0, 1].
exercice Autre illustration de la transformation dAbel avec reste.
montrer que pour la serie enti`ere

a
n
z
n
, les enonces (i) convergence uni-
forme sur D(0, 1), (ii) convergence uniforme sur D(0, 1) et (iii) convergence
uniforme sur S
1
sont equivalents.
70
2 Un peu de Baire
Cet appendice presente, sans demonstrations, la propriete de Baire et deux
resultats relatifs aux espaces de Banach (Theor`eme de lapplication ouverte
et theor`eme de Banach-Steinhaus). Les preuves se trouvent par exemple
dans Analyse fonctionnelle de Brezis ou les maths en t ete de Gourdon.
a-propriete de Baire
Dans un espace de Banach E, toute suite de fermes de E sans interieur a une
reunion (en general non fermee) dinterieur vide ; ou de facon equivalente :
toute suite douverts denses dans E a une intersection encore dense dans E.
utilisation courante
Si (F
n
) est une suite de fermes du Banach E telle que

n=1
F
n
= E, alors
il existe n
0
N

tel que F
n
0
soit dinterieur non vide dans E.
Par exemple, en considerant dans R[X] les sous-espaces (de dimension nie)
F
n
= V ect(1, X, .., X
n
), on montre quaucune norme ne rend R[X] complet.
b-theor`eme de lapplication ouverte
Une application lineaire continue surjective entre espaces de Banach trans-
forme tout ouvert de la source en ouvert du But.
corollaire
Si E et F sont 2 espaces de Banach et si T est un operateur lineaire continu
et bijectif de E sur F, alors T
1
est continu de F sur E.
c-theor`eme de Banach-steinhaus
Soit E un espace de Banach, F un espace vectoriel norme et (T
i
)
iI
une
famille doperateurs lineaires continus de E dans F. Si, `a chaque fois quon
xe x dans E, la famille (T
i
(x))
iI
est bornee dans F, alors (T
i
(x))
iI
) est
uniformement bornee sur B(0, 1)
E
.
Precisement avec E, F et (T
i
) comme ci dessus :
x E M
x
R i I | T
i
(x) |
F
M
x
M R x B(0, 1)
E
i I | T
i
(x) |
F
M.
Resultat faux si E nest pas complet : envisager sur R[X] la norme
|

n
i=1
a
i
X
i
|= max
1in
[ a
i
[ et, pour n N

, T
n
: P P
(n)
(0).
application
La limite simple dune suite dapplications lineaires continues entre un es-
pace de Banach E et un espace vectoriel norme F est (lineaire) continue de
E dans F.
71
3 Trois en Un
objectif On peut obtenir le theor`eme de Bernstein sur I = [0, 1], le theo-
r`eme de Poisson et le theor`eme de Fejer `a partir dun meme squelette de
demonstration. On etudie larticulation commune de ces 3 preuves, puis on
demontre le theor`eme de Korovkin-Schaeer qui unie ces 3 resultats.
enonces Pour f : [0, 1] R, le n
eme
polynome de Bernstein associe `a f
est deni sur I = [0, 1] par B
n
(f)(x) =

n
k=0
f(
k
n
)C
k
n
x
k
(1 x)
nk
th eor` eme de Bernstein : la suite de fonctions (B
n
(f)) converge uniforme-
ment sur [0, 1] vers f d`es que f est dans (([0, 1], R).
th eor` eme de Fejer : pour g dans (
2
(R, R),
n
(g) =
1
n+1

n+1
k=0

k
p=k
c
p
(g)e
p
converge uniformement sur R vers g.
th eor` eme de Poisson : soit h (
2
(R, R). Pour [0, 1[ et x R, on
pose : h T

(x) =
1
2
_
2
0
h(t)T

(x t)dt =
1
2
_
2
0
h(x t)T

(t)dt.
Alors : lim
1
| h T

h |

= 0.
notations On consid`ere les applications de R dans R : 1 : x 1, c : x
cos x, s : x sin x, et pour i = 1, 2 f
i
: x x
i
.
A) les 3 preuves
Il sagit de majorer [ f(x) B
n
(f)(x) [ pour x [0, 1], [
n
(g)(x) g(x) [
pour x R et [ h T

(x) h(x) [ pour x R par des quantites qui peuvent


etre rendues arbitrairement petites independemment de x. On compare fa-
cilement des objets de meme allure ; il est donc naturel de commencer les
preuves par :
pour x [0, 1], n N, [ B
n
(f)(x)f(x) [=[

n
k=0
[f(
k
n
) f(x)]C
k
n
x
k
(1 x)
nk
[

n
k=0
[ f(
k
n
) f(x) [ C
k
n
x
k
(1 x)
nk
pour x R, n N

, [
n
(g)(x)g(x) [=[
1
2
_

[g(t) g(x)]F
n
(x t)dt [

1
2
_

[ g(t) g(x) [ F
n
(x t)dt
pour x R, [0, 1[, [ hT

(x)h(x) [=[
1
2
_

[h(t) h(x)]T

(x t)dt [

1
2
_

[ h(t) h(x) [ T

(x t)dt
Les membres de droite des inegalites ci-dessus vont etre majores en 2 temps.
On fait apparaitre un terme `a distance nie petit grace `a luniforme conti-
nuite de f, g, et h, puis un reste sur lequel les fonctions nont pas de
72
contr ole. On utilise quand meme le fait que f, g et h sont bornees pour
gerer ce reste.
Soit > 0. On choisit > 0 tel que :
(x, x

) I I [ x x

[ [ f(x) f(x

) [
[ B
n
(f)(x) f(x) [

k\|
k
n
x|
[ f(
k
n
) f(x) [ C
k
n
x
k
(1 x)
nk
+

k\|
k
n
x|>
[ f(
k
n
) f(x) [ C
k
n
x
k
(1 x)
nk
+ 2 | f |

k\|
k
n
x|>
(
k
n
x)
2

2
C
k
n
x
k
(1 x)
nk
+
2f

2
B
n
(f
2
)(x) 2xB
n
(f
1
)(x) +x
2
B
n
(1)(x)
+
2f

2
[B
n
(f
2
)(x) x
2
] [2xB
n
(f
1
)(x) 2x
2
] + [x
2
B
n
(1)(x) x
2
]
+
2f

2
[ B
n
(f
2
)(x)x
2
[ +2 [ B
n
(f
1
)(x)x [ + [ B
n
(1)(x)1 [
Avec les memes notations pour g,
[
n
(g)(x) g(x) [
1
2
_
|tx|
[ g(t) g(x) [ F
n
(x t)dt
+
1
2
_
|tx|>
[ g(t) g(x) [ F
n
(x t)dt
+ 2 | g |

1
2
_
|tx|>
F
n
(x t)dt
+ 2 | g |

1
2
_
|tx|>
1cos(xt)
1cos

2
F
n
(x t)dt
+
2g

1cos

2

n
(1)(x)1cos(x)[
n
(c)(x)cos x]sin(x)[
n
(s)(x)sin x]
+
2g

1cos

2
[
n
(1)(x) 1 [ + [
n
(c)(x) cos x [ + [
n
(s)(x) sin x [

De meme :
[ h T

(x) h(x) [
+
2h

1cos

2
[ 1T

(x) 1 [ + [ c T

(x) cos x [ + [ sT

(x) sin x [

prouve que la convergence uniforme sur I de B


n
(f) vers f pour les trois
fonctions 1, f
1
et f
2
implique la convergence uniforme de B
n
(f) vers f pour
f quelconque dans ((I, R). De meme, avec

, la convergence uniforme sur


R de
n
(f) vers f pour les fonctions-test 1, c, s assure le theor`eme de Fejer.
Remarque analogue avec

.
exercice 1) Determiner les polynomes B
n
(1), B
n
(f
1
), B
n
(f
2
)
2) Montrer que : n N
n
(1) = 1,
n
(c) =
n
n+1
c,
n
(s) =
n
n+1
s
3) Verier que : I c T

= c, s T

= s
4) Conclure.
73
B) theor`eme de Korovkin-Schaeer
enonce I designe un intervalle compact de R. On note 1 lapplication de
I dans R constante de valeur 1. Soit Q = 1, f
1
, .., f
k
une partie nie de
((I, R) et p une application denie sur I I, `a valeurs positives, nulle sur
la diagonale de I I et de la forme p(t, x) =

k
j=1
a
j
(t)f
j
(x) o` u chaque a
j
est continue sur I. Le couple (Q, p) est appele ensemble-test.
Pour h : I I R, on pose : Z(h) = (t, x) I I h(t, x) = 0, pour
f : I R, df : (t, x) f(x) f(t).
Soit S R, S et (L
s
)
sS
une famille dendomorphismes monotones (ou
positifs) de ((I, R).
Si, pour f Q, lim
s
| L
s
(f) f |

= 0, alors lim
s
| L
s
(f) f |

= 0
pour tout f de ((I, R) veriant Z(p) Z(df).
preuve Voici le principe de la demonstration :
on ram`ene le probl`eme portant sur f `a un probl`eme portant sur df.
on exploite Z(p) Z(df) pour se ramener `a un probl`eme sur p.
on conclut grace `a la forme de p.
Soit f ((I, R) veriant Z(p) Z(df). Pour (t, x) I I,
on a :f(x) = df(t, x) +f(t) donc L
s
(f) = L
s
(df(t, )) +f(t)L
s
(1) pour tout
s S et tout t I.
En particulier : L
s
(f)(t) f(t) = L
s
(df(t, ))(t) +f(t)[L
s
(1) 1(t)]. De l`a :
| L
s
(f) f |

sup
tI
[ L
s
(df(t, ))(t) [ + | f |

| L
s
(f
1
) f
1
|

.
Puisque lim
s
| L
s
(f
1
) f
1
|

= 0, il sut de montrer que


sup
tI
[ L
s
(df(t, ))(t) [ tend vers 0 quand s tend vers .
Soit > 0. Par continuite de df sur I I, on choisit un ouvert de I I
tel que : Z(df) et (t, x) [ df(t, x) [ . On note K = I
2
(ferme
dans le compact I
2
). p est continue et strictement positive sur le compact K
donc p atteint sa borne inferieure sur K et on a : > 0. Pour (t, x) ,
[ df(t, x) [ et pour (t, x) K, on a :
[ df(t, x) [| df |

p(t,x)

donc [ df(t, x) [ + | df |

p(t,x)

sur I
2
.
Par monotonie des L
s
, [ L
s
(df(t, )) [ L
s
([ df(t, ) [) donc
sup
tI
[ L
s
(df(t, ))(t) [ | L
s
(1) |

+
| df |

sup
tI
L
s
(p(t, ))(t).
Puisque (| L
s
(1) |

) est bornee, il sut pour conclure davoir


lim
s
sup
tI
L
s
(p(t, ))(t) = 0.
74
On peut ecrire : (t, x) I
2
p(t, x) =

k
j=1
a
j
(t)[f
j
(x) f
j
(t)] donc :
t I L
s
(p(t, ))(t) =

k
j=1
a
j
(t)[L
s
(f
j
)(t) f
j
(t) +f
j
(t) f
j
(t)L
s
(f
1
)(t)]
Il vient pour s S :
0 sup
tI
L
s
(p(t, ))(t) M
k

j=1
| L
s
(f
j
) f
j
|

+ | f
j
|

| L
s
(1) 1 |

o` u M = max
1jk
| a
j
|

. Avec lim
s
| L
s
(f
j
) f
j
|

= 0 pour
1 j k, on conclut que lim
s
sup
tI
L
s
(p(t, ))(t) existe et vaut 0. Do` u
le resultat.
exercice Retrouver les 3 theor`emes convoites en utilisant lapplication
(t, x) (x t)
2
de [0, 1] [0, 1] dans R et l application reelle denie sur
[, ] [, ] par (t, x) 1 cos(x t).
75
References
Analyse reelle et complexe.
Rudin, Masson
Cours danalyse.
A. Pommelet, Ellipse
Du ni `a linni.
P. Meunier, IREM Montpellier
Elements danalyse pour lagregation.
Zuilly, Queffelec, Masson
Fonctions analytiques.
H. Cartan, Hermann
Les maths en tete.
X. Gourdon, Ellipse
Revue de Mathematiques speciales (RMS), Vuibert
RMS6-fevrier1994, RMS5-janvier1995, RMS-mai-juin1998,
Epreuves orales parues dans divers numeros.
Th`emes danalyse pour lagregation.
J.M Exbrayat, M.Alessandri, Masson
76