2)Onadoncpourx2]0;2¼[
jfn(x)¡fp(x)j·2¯p+1
sin(x=2)
lasuite2¯p+1
sin(x=2)estunesuitemajorante, indépendantedenetquitend verszérosiptend vers+1:Lasuite(fn(x)) est
doncunesuitedeCauchy.Elle estdonc convergente.
pourx=0oux=2¼onadefaçonévidentef(0)=f(2¼)=0
Rq:lesnotationsnesontpascellesducoursdansce problèmepestlepetitindice etn=p+rle grand.
D’aprèslamajoration précédenteonasur[®;2¼¡®]enminorantledénominateurparsin(®=2)
jfn(x)¡fp(x)j·2¯p+1
sin(®=2)
Sionfait tendrenvers+1:
jf(x)¡fp(x)j·2¯p+1
sin(®=2)
lasuite2¯p+1
sin(®=2)estunesuitemajorante, indépendantedexetdelimitenulle.Onen déduitaconvergence uniformesur
[®;2¼¡®].
fnconvergesimplementsur[0;2¼]avec convergence uniformesur[®;2¼¡®]
Onen déduitquefestcontinuesur]0;2¼[.Ene¤etsix2]0;¼]laconvergence uniformesurun intervalle contenantx(par
exemple[x=2;2¼¡x=2])assurelacontinuité enx.Demêmesix2]¼;2¼[on peut trouverun segmentdu type[®;2¼¡®]
contenantxenchoisissant®telquex<2¼¡®<2¼
festcontinuesur]0;2¼[
Rq:l’exempledela premièrepartiemontre qu’ilpeutnepasyavoircontinuité en0:
Rq:Lafonctionfpeutmêmenepasêtre continueparmorceaux.ExemplePsin(kx)
pk.Preuve 5/2:silafonctionestcontinue
parmorceauxlescoe¢cientsdeFouriersontles1
pketd’aprèsParsevalP³1
pk´2converge
absurde
TROISIEME PARTIE
1)Onad’aprèsapremièrepartie:
S(x)=½0six=0ou2¼
x¡¼
2sur]0;¼[
LafonctionSn’estpascontinue enzéro.Parcontre elle estcontinueparmorceauxsur[0;2¼]carsarestrictionà]0;2¼[est
continue etadmetdeslimitesen0+et2¼¡.
2a)Del’inégalité classiquesurR+:sin(u)·uon déduit:
p
X
k=1
sin(kx)
k·
p
X
k=1
x=px·¼pardé…nition dep
2b)D’aprèsarelationduII1bavec ¯n=1
nona
¯¯¯¯¯¯
n
X
k=p+1
sin(kx)
k¯¯¯¯¯¯
=jfn(x)¡fp(x)j·2¯p+1
sin(x=2)=2
(p+1)sin(x=2)
Orpardé…nition depona:p+1¸¼
xdonc(p+1)sin(x=2)¸¼
xsin(x=2):
Orlafonctionsinestconcavesur[0;¼=2]legraphedesinestdoncau dessusdelacordejoignant(0;0)à(¼=2;1)d’équation
y=2
¼xdoncpourx2]0;¼[sin(x=2)¸x
¼.Onadonc(p+1)sin(x=2)¸1:Etdonc commeledénominateurestminoré:
¯¯¯¯¯¯
n
X
k=p+1
sin(kx)
k¯¯¯¯¯¯
·2
2c)Enajoutantlesdeuxinégalités¯¯¯Pn
k=1
sin(kx)
k¯¯¯·2+¼:
Larelationestévidentesix=0ou¼:0·2+¼::
Elle estalorsévidentesur[¡¼;0]parimparitédu sin
Elle estalorsévidentesurRparpériode.
8x2R,¯¯¯Pn
k=1
sin(kx)
k¯¯¯·2+¼
3