Centrale Maths 1 PC 2002

Thème de l'épreuve Fonction définie par une série de Fourier lacunaire
Principaux outils utilisés analyse de Fourier, géométrie, suites numériques, suites et séries de fonctions, suites définies par récurrence
Mots clefs séries de Fourier lacunaires, fonction continue mais nulle part dérivable, dérivabilité, suites de fonctions, séries de fonctions

Corrigé

(c'est payant, sauf le début): - - - - - - - - - - - - - - - - - - - - - - - - - -

Extrait gratuit du corrigé

(télécharger le PDF)
           

Énoncé complet

(télécharger le PDF)
           

Rapport du jury

(télécharger le PDF)
     

Énoncé obtenu par reconnaissance optique des caractères


MA Sujets 2002180n à tirerzPC Math ] 9.10.0l--10 version du 26 mars 2002 16:41

Oo:oo=OE OOE:ËOE - OEËmÊn NËN

...eëæ z>Ëmz>jocmoe _

bm @woeBäwoe ......ËÊm %... om È.oËwBoe mmæ 85mæoäoe w 5 ammoïwûow a:Ëoe 
Ë.oooe@Ëô
mmoëmaäncoe QE m......oää D...äE.oe:oeBoeË @... ...m ooboefidoæäb %:boe 
woboeüob 85395
a ... 5%... ..v 5 as...... ...du ®...:&oe m053æ...meoeä... M... EUR OE:Êoe =. 
bm S.o...oe...wBoe ......mïuoe
83355 Km ......wo©äwâoe aoe a......ä . Os mEë©moe ......oeoefiæooe :......N BGE % mm mfidoËÊ oe:oe:&oebboe 
oæb©bfi£oe. Ob
QOE...EOE % ... 5... IV 5... cm.... ...
fiîsx...3 " C?æ...3...
Ëaë...ï " Ax_...æ_...m_v @@ x_ u Q 9... Q....mg mm_... 5 ©wo...mnûob oïïooeo5&m 
am
3313 mE. ? &.oäm ©oeoeoeoe...ä cm.... î...3 &... Ç...ï m... î...æ... & u 
î...æ...3.

H>.C OS mEë©moe au? muc @@ ......ob ©ooeoe.> " ?...8... m " Q...mï Q " Cs|mï
% " î....3... m: " Q....|mf @ " Ç_...N_V @@ î_ë_...m_v " Êæë...mY

@:oe «m@âoembâbæ ...oeoe ©o...b$ > _... oe \... 01 UE; woeË...oï... m: 
E&oebm...oe ËwO ...»

H>.Ë Ëoîwmw ca...... m» îë...ï u î...æ...8 m...oä

w w w
%.lR. H ! NN AYIRV N. " NAYIRV IN

AQ...Rm+N... Aæ-am+N...

....OE.Wofi. ...më...ä c: @cmoe N....Ê " 3L...88: & a» o: %...msä cm....

wwnfiawoebom @cE. : m...2 ...» mfi?æ N=3 " î:3...æ=3...u=î: wæ.
N:+...S " HAN:QË.
....OE.C Mor... ; m 9? ...m En...... . Ëobîoew a:? m... ...du m 93 n o ... 
m...oä mÎ ...3 n o

9... æ=+À$|R=+XS " @.

mo? Zm ...Z* ...ou mÇË5moe as...... ...m 83 moeæ $... 85 93 a o m... o m : m ?| 
... .
& ËoEHOE. n:oe... ......oE. omoe <&9Ëm % : ... $...3 .. 3%: 93 EUR 05 mEë©moe moe ËÇm @ ËA...oem...ä n:oe 3<3 " o . Ëobfi.æw 95 ... AwBÆwwwwumÿ...u_...aeæoaszsuo. ZI... " Si......5. ....w.5 Ëobü.oew as...... <= N ? <... ...... 53... $... + Ë à: + ...3 " |N8m...sâçsî Lîê . ....w.oev OEb ÊQEÊ ... .w : <=wo... $m...Pî... aî...@Täî " T:......Ëoe. N &: A3 ....OE.Ê Os @ooem defi. : wo 53 " a:...3â3. Ëobîmw as...... ? mÇäoe Ê...L oob . OmË:--OE. Âä\Ë ... îä\$ ... îä\5 ...Ëobfi.oew QÇoe îä|$

=.w .
E.OE.C

î$... ...mfiovî.

05 comm @oE. : w ... ... Nm En...?

833 " »M...ÎÇwNæ m...:NA...WV .

tm©m ïm

MA Sujets 2002180n à tirerzPC Math ] 9.10.0l--10 version du 26 mars 2002 16:41

Oo:oo=OE OOE:ËOE - OEËmÊn NËN

...eëæ z>Ëmz>jocmoe _

bm @woeBäwoe ......ËÊm %... om È.oËwBoe mmæ 85mæoäoe w 5 ammoïwûow a:Ëoe 
Ë.oooe@Ëô
mmoëmaäncoe QE m......oää D...äE.oe:oeBoeË @... ...m ooboefidoæäb %:boe 
woboeüob 85395
a ... 5%... ..v 5 as...... ...du ®...:&oe m053æ...meoeä... M... EUR OE:Êoe =. 
bm S.o...oe...wBoe ......mïuoe
83355 Km ......wo©äwâoe aoe a......ä . Os mEë©moe ......oeoefiæooe :......N BGE % mm mfidoËÊ oe:oe:&oebboe 
oæb©bfi£oe. Ob
QOE...EOE % ... 5... IV 5... cm.... ...
fiîsx...3 " C?æ...3...
Ëaë...ï " Ax_...æ_...m_v @@ x_ u Q 9... Q....mg mm_... 5 ©wo...mnûob oïïooeo5&m 
am
3313 mE. ? &.oäm ©oeoeoeoe...ä cm.... î...3 &... Ç...ï m... î...æ... & u 
î...æ...3.

H>.C OS mEë©moe au? muc @@ ......ob ©ooeoe.> " ?...8... m " Q...mï Q " Cs|mï
% " î....3... m: " Q....|mf @ " Ç_...N_V @@ î_ë_...m_v " Êæë...mY

@:oe «m@âoembâbæ ...oeoe ©o...b$ > _... oe \... 01 UE; woeË...oï... m: 
E&oebm...oe ËwO ...»

H>.Ë Ëoîwmw ca...... m» îë...ï u î...æ...8 m...oä

w w w
%.lR. H ! NN AYIRV N. " NAYIRV IN

AQ...Rm+N... Aæ-am+N...

....OE.Wofi. ...më...ä c: @cmoe N....Ê " 3L...88: & a» o: %...msä cm....

wwnfiawoebom @cE. : m...2 ...» mfi?æ N=3 " î:3...æ=3...u=î: wæ.
N:+...S " HAN:QË.
....OE.C Mor... ; m 9? ...m En...... . Ëobîoew a:? m... ...du m 93 n o ... 
m...oä mÎ ...3 n o

9... æ=+À$|R=+XS " @.

mo? Zm ...Z* ...ou mÇË5moe as...... ...m 83 moeæ $... 85 93 a o m... o m : m ?| 
... .
& ËoEHOE. n:oe... ......oE. omoe <&9Ëm % : ... $...3 .. 3%: 93 EUR 05 mEë©moe moe ËÇm @ ËA...oem...ä n:oe 3<3 " o . Ëobfi.æw 95 ... AwBÆwwwwumÿ...u_...aeæoaszsuo. ZI... " Si......5. ....w.5 Ëobü.oew as...... <= N ? <... ...... 53... $... + Ë à: + ...3 " |N8m...sâçsî Lîê . ....w.oev OEb ÊQEÊ ... .w : <=wo... $m...Pî... aî...@Täî " T:......Ëoe. N &: A3 ....OE.Ê Os @ooem defi. : wo 53 " a:...3â3. Ëobîmw as...... ? mÇäoe Ê...L oob . OmË:--OE. Âä\Ë ... îä\$ ... îä\5 ...Ëobfi.oew QÇoe îä|$

=.w .
E.OE.C

î$... ...mfiovî.

05 comm @oE. : w ... ... Nm En...?

833 " »M...ÎÇwNæ m...:NA...WV .

tm©m ïm

MA Sujets 2002180n à tirerzPC Math ] 9.10.0l--10 version du 26 mars 2002 16:41

Oo:oo=OE OOE:ËOE - OEËmÊn NËN

...eëæ z>Ëmz>jocmoe _

bm @woeBäwoe ......ËÊm %... om È.oËwBoe mmæ 85mæoäoe w 5 ammoïwûow a:Ëoe 
Ë.oooe@Ëô
mmoëmaäncoe QE m......oää D...äE.oe:oeBoeË @... ...m ooboefidoæäb %:boe 
woboeüob 85395
a ... 5%... ..v 5 as...... ...du ®...:&oe m053æ...meoeä... M... EUR OE:Êoe =. 
bm S.o...oe...wBoe ......mïuoe
83355 Km ......wo©äwâoe aoe a......ä . Os mEë©moe ......oeoefiæooe :......N BGE % mm mfidoËÊ oe:oe:&oebboe 
oæb©bfi£oe. Ob
QOE...EOE % ... 5... IV 5... cm.... ...
fiîsx...3 " C?æ...3...
Ëaë...ï " Ax_...æ_...m_v @@ x_ u Q 9... Q....mg mm_... 5 ©wo...mnûob oïïooeo5&m 
am
3313 mE. ? &.oäm ©oeoeoeoe...ä cm.... î...3 &... Ç...ï m... î...æ... & u 
î...æ...3.

H>.C OS mEë©moe au? muc @@ ......ob ©ooeoe.> " ?...8... m " Q...mï Q " Cs|mï
% " î....3... m: " Q....|mf @ " Ç_...N_V @@ î_ë_...m_v " Êæë...mY

@:oe «m@âoembâbæ ...oeoe ©o...b$ > _... oe \... 01 UE; woeË...oï... m: 
E&oebm...oe ËwO ...»

H>.Ë Ëoîwmw ca...... m» îë...ï u î...æ...8 m...oä

w w w
%.lR. H ! NN AYIRV N. " NAYIRV IN

AQ...Rm+N... Aæ-am+N...

....OE.Wofi. ...më...ä c: @cmoe N....Ê " 3L...88: & a» o: %...msä cm....

wwnfiawoebom @cE. : m...2 ...» mfi?æ N=3 " î:3...æ=3...u=î: wæ.
N:+...S " HAN:QË.
....OE.C Mor... ; m 9? ...m En...... . Ëobîoew a:? m... ...du m 93 n o ... 
m...oä mÎ ...3 n o

9... æ=+À$|R=+XS " @.

mo? Zm ...Z* ...ou mÇË5moe as...... ...m 83 moeæ $... 85 93 a o m... o m : m ?| 
... .
& ËoEHOE. n:oe... ......oE. omoe <&9Ëm % : ... $...3 .. 3%: 93 EUR 05 mEë©moe moe ËÇm @ ËA...oem...ä n:oe 3<3 " o . Ëobfi.æw 95 ... AwBÆwwwwumÿ...u_...aeæoaszsuo. ZI... " Si......5. ....w.5 Ëobü.oew as...... <= N ? <... ...... 53... $... + Ë à: + ...3 " |N8m...sâçsî Lîê . ....w.oev OEb ÊQEÊ ... .w : <=wo... $m...Pî... aî...@Täî " T:......Ëoe. N &: A3 ....OE.Ê Os @ooem defi. : wo 53 " a:...3â3. Ëobîmw as...... ? mÇäoe Ê...L oob . OmË:--OE. Âä\Ë ... îä\$ ... îä\5 ...Ëobfi.oew QÇoe îä|$

=.w .
E.OE.C

î$... ...mfiovî.

05 comm @oE. : w ... ... Nm En...?

833 " »M...ÎÇwNæ m...:NA...WV .

tm©m ïm

È Ëmä> 10cmm ...

Ëobîoew n:æ... vos...- 3 w _ ...

<...m...Ê... :@ - ?ËËîâê. E.w.5 ËobîOE. as...... 5 mE$ EURï oob.C Ëobîoew as...... ... 5... m ... |ä ... a 23 ... b23 "
A ... m...UAWV
...... = &: AZ+MV......

EH>.5 ËcbîOE. as...... ... NZ w ...... |...... -I-|m...-ll:&

oe...n @: Êa:ä.oe ......oeämâbooe a......Ëoe ooboe...Ëä...m @ v @ ...8:...... 
DE... <2 N o ... NZ w OZ... . Um--5 ....cfiä _» mfiïä @@ ? ...--uË.Ë@ --=... a " 3% mm.... ::.... mfiïä @@ BaB--33m ocBfi--mNoeoe ....oe:oe as...... M _a=_ A +8 . ==... . _ ...... -... ----N: E....w.C fioE. : wo ... ...m 5 ob @ooem 53 " m@=8oewfi. ËobîOE- n:oe :... m@äoe M e: oob 10cmm ...

Ëobîoew n:æ... vos...- 3 w _ ...

<...m...Ê... :@ - ?ËËîâê. E.w.5 ËobîOE. as...... 5 mE$ EURï oob.C Ëobîoew as...... ... 5... m ... |ä ... a 23 ... b23 "
A ... m...UAWV
...... = &: AZ+MV......

EH>.5 ËcbîOE. as...... ... NZ w ...... |...... -I-|m...-ll:&

oe...n @: Êa:ä.oe ......oeämâbooe a......Ëoe ooboe...Ëä...m @ v @ ...8:...... 
DE... <2 N o ... NZ w OZ... . Um--5 ....cfiä _» mfiïä @@ ? ...--uË.Ë@ --=... a " 3% mm.... ::.... mfiïä @@ BaB--33m ocBfi--mNoeoe ....oe:oe as...... M _a=_ A +8 . ==... . _ ...... -... ----N: E....w.C fioE. : wo ... ...m 5 ob @ooem 53 " m@=8oewfi. ËobîOE- n:oe :... m@äoe M e: oob 

Extrait du corrigé obtenu par reconnaissance optique des caractères



Centrale Maths 1 PC 2002 -- Corrigé
Ce corrigé est proposé par Walter Appel (professeur en CPGE) ; il a été relu par
David Lecomte (Université de Stanford) et Thomas Chomette (Professeur en CPGE).

Ce sujet est composé de quatre parties d'intérêt et de difficulté variables.
· La première partie nous permet de définir par récurrence trois suites de 
fonctions obtenues d'après un raisonnement géométrique (dans la tradition des
écrits de Centrale). L'une de ces trois suites de fonctions est au coeur du 
sujet.
On montre sa convergence (simple) vers une fonction x définie sur ] 0 ;  [ et
continue en tous points, puis on étudie (modulo la multiplication par une 
fonction sin2 ) sa série de Fourier.
· La deuxième partie est indépendante de la suite. On y établit quelques 
propriétés de la fonction x et, notamment, on montre que ses variations sont 
extrêmement rapides au voisinage de 0.
· La troisième partie, la plus intéressante, permet d'étudier des fonctions 
définies par des séries de Fourier lacunaires, en l'occurrence des fonctions 
dont
les fréquences représentatives sont de la forme 2n , pour n  N. On y établit
(à la suite de quelques calculs et raisonnements parfois lourds à rédiger) le 
joli
P
résultat suivant : si an est une série absolument convergente, si l'on pose
v(t) =

P

2 an cos 2n t

n=0

pour tout t  R et si v est dérivable en au moins un point de R, alors on a
an = o (2-n ).
· La quatrième partie, composée d'une unique question, clôt le problème en 
montrant que la fonction x de la première partie n'est dérivable en aucun point
de ] 0 ;  [, même si elle est partout continue.

Indications
Partie I
I.A.2 Se souvenir des techniques de projection orthogonale sur un sous-espace
affine.
I.B.1 Séparer les cas xn (t) = yn (t) et xn (t) 6= yn (t).
I.B.1.a Effectuer une récurrence.

+ k avec
I.B.1.b Traduire la condition tan2 (2N-1 t) = 1 sous la forme 2N t =
2
k  Z.
I.B.2 Allier la formule obtenue aux questions I.B.I.a et I.A.2.
I.B.3 Effectuer une récurrence.
I.B.4 Poser wn = un+1 - un et montrer la convergence uniforme de la série

P

wn .

I.B.5 Effectuer le prolongement pour chaque terme de la série définie 
précédemment. Montrer qu'une série trigonométrique est égale à sa série de 
Fourier
lorsqu'elle converge uniformément.
I.B.6 Utiliser la formule établie à la question I.B.1.a.
Partie II
II.B.2 Étudier la convergence normale de la série de fonctions définissant , 
ainsi
que la convergence normale de la série des dérivées.
II.C.1 Noter que la série définissant (/2) est alternée.
II.C.2 Utiliser le théorème des valeurs intermédiaires.
Partie III
III.A.2 Se souvenir que

sin 
tend vers 1 quand  tend vers 0.

b n0 (k) en fonction de vb(2n0 + k). Dresser la liste des ordres m  Z
III.B.3 Exprimer H
pour lesquels vb(m) 6= 0.

III.C.1 Ne pas abuser de la combinatoire, mais relier a0 à la série de Fourier 
de gN .

III.D.1 Commencer par montrer la continuité en 0, le fait que K est bornée 
s'ensuit.
Ne pas s'occuper de la note entre parenthèses.
2
III.D.2 Utiliser le résultat de la question III.A.2, puis la minoration | sin | 
> ||

h  i
valable sur - ;
.
2 2
III.D.3 Appliquer le théorème de convergence dominée de Lebesgue.

I.

Définition de la fonction x

I.A.1 Voici une figure faisant apparaître les points A, B, C et A , B , C .
B(y, z)

C (y  , z  )
A (x , 0)

0
A(x, 0)

B (y  , -z  )

C(y, -z)

A (resp. B , resp C ) est la base de la hauteur issue de A (resp. B, resp C).

I.A.2 On suppose que (x, y, z) 6= (x, x, 0). Alors x = y. Notons -
u le vecteur
-
unitaire dirigé selon AB. Alors

1
y-x

-
u =p
z
(y - x)2 + z 2

C est la projection orthogonale de C sur la droite engendrée par -
u et passant par A,
--
-  -
AC = AC · -
u 
u

(y - x)2 - z 2 y - x
y
x
=
+
z
0
z
(y - x)2 + z 2

soit

ce qui donne déjà

z = z

On trouve également

(y - x)2 - z 2
(y - x)2 + z 2

y  = x + (y - x)

(1)

(y - x)2 - z 2
(y - x)2 + z 2

donc, en notant que y  - x = y  - y et en réduisant au même dénominateur :
y  - x = -

2z 2 (y - x)
(y - x)2 + z 2

(2)

On pouvait, et il semblerait que de nombreux candidats soient passés par là,
trouver les équations des diverses droites utiles et obtenir les coordonnées au
moyen de manipulations algébriques et de substitutions. On obtient les bons
résultats mais au prix de beaucoup plus de sueur.

I.B.1 On suppose que zn (t) = 0. Deux cas se présentent alors.
· Si xn (t) 6= yn (t) : alors la formule (1) est valable et nous permet 
d'obtenir
immédiatement zn+1 (t) = 0 ; la formule (2) donne yn+1 (t) - xn+1 (t) = 0.
· Si xn (t) = yn (t) : alors, par définition de T,

T xn (t), yn (t), 0 = xn (t), yn (t), 0

ce qui nous donne immédiatement zn+1 (t) = 0 et yn+1 (t) - xn+1 (t) = 0.

I.B.1.a Montrons par récurrence finie que la propriété P(n) définie par
P(n) :

yn (t) - xn (t)
= tan(2n t)
zn (t)

(3)

est vraie pour tout n  [[ 1 ; N - 1 ]].
· P(0) vient de la définition de X0 (t).
· P(n) = P(n + 1) : on suppose que n  [[ 0 ; N - 2 ]] et que P(n) est vraie.
Les relations (1) et (2) nous donnent

2zn (t) yn (t) - xn (t)
yn+1 (t) - xn+1 (t)
=-
2
zn+1 (t)
yn (t) - xn (t) - zn (t)2
yn (t) - xn (t)
zn (t)
= -
2
yn (t) - xn (t)
-1
zn (t)
2

2 tan(2n t)
yn+1 (t) - xn+1 (t)
=
= tan(2 × 2n t) = tan(2n+1 t)
zn+1 (t)
1 - tan2 (2n (t))

Nous avons ici utilisé la formule de trigonométrie classique :
tan a + tan b
1 - tan a tan b
que vous connaissez bien sûr par coeur, ou que vous avez encadrée
au-dessus de votre lit pour la connaître par coeur le jour des concours. . .
tan(a + b) =

· Conclusion : la propriété est vraie pour tout n  [[ 0 ; N - 1 ]].
n  {0, . . . , N - 1}

yn (t) - xn (t)
= tan 2n t
zn (t)

I.B.1.b On a zN-1 (t) 6= 0, donc la relation
2
yN-1 (t) - xN-1 (t) - zN-1 (t)2
zN (t) = zN-1 (t)
=0
2
yN-1 (t) - xN-1 (t) + zN-1 (t)2

nous permet de conclure que

2
2
yN-1 (t) - xN-1 (t) = zN-1 (t)