SESSION 1992

SAINT-CYR
MATHEMATIQUES 1 - Epreuve commune
Options M, P, T, TA
PREMIERE PARTIE
1) a) Pour x R et n N

, |u
n
(x)|
1
n
2
. Donc, n N

, u
n

1
n
2
. Comme la srie de terme gnral
1
n
2
converge,
la srie de fonctions de terme gnral u
n
converge normalement et donc uniformment et simplement sur R.
f est dnie sur R.
b) Chaque fonction u
n
est continue sur R, et la srie de fonctions de terme gnral u
n
converge uniformment vers f
sur R. Par suite, f est continue sur R.
Pour x R,
f(x) =
+

n=1
cos(nx)
n
2
=
+

n=1
cos(nx)
n
2
= f(x)
et
f(x +2) =
+

n=1
cos(nx +2n)
n
2
=
+

n=1
cos(nx)
n
2
= f(x).
f est donc paire et 2-priodique.
f est dnie et continue sur R, paire et 2-priodique.
c) f est continue sur le segment [0, ] et donc I existe. De plus, puisque la srie de terme gnral u
n
converge uniformment
vers f sur ce segment, le thorme dintgration terme terme sur un segment permet dcrire :
I =
+

n=1
1
n
2

0
cos(nx) dx =
+

n=1
1
n
2
_
sin(nx)
n
_

0
= 0.

0
f(x) dx = 0.
d) Soit p N

.
Puisque pour tout rel x et tout entier non nul n, on a |u
n
(x) cos(px)|
1
n
2
, la srie de fonctions de terme gnral
x u
n
(x) cos(px) est aussi uniformment convergente sur [0, ] et donc,
I
p
=
+

n=1
1
n
2

0
cos(nx) cos(px) dx =
+

n=1
1
2n
2

0
(cos((n + p)x) + cos((n p)x) dx.
Mais, si n = p,

0
(cos((n + p)x) + cos((n p)x) dx = 0, et si n = p,

0
(cos((n + p)x) + cos((n p)x) dx =

0
(1 +
cos(2nx)) dx = . Ainsi,
I
p
=
+

n=1

2n
2

n,p
=

2p
2
.
p N

0
f(x) cos(px) dx =

2p
2
.
http ://www.maths-france.fr 1 c Jean-Louis Rouget, 2007. Tous droits rservs.
e) f est continue sur R, 2-priodique et paire. Donc, pour n = 0, b
n
(f) = 0 puis a
0
(f) =
2
I
= 0 et pour n 1,
a
n
(f) =
2
I n
=
1
n
2
. La srie
+

n=1
cos(nx)
n
2
est donc la srie de Fourier de f.
2) a) Soit n N

et x [, ].
sin
x
2
s
n
(x) =
n

k=1
sin
x
2
sin(kx) =
1
2
n

k=1
_
cos((k
1
2
)x) cos((k +
1
2
)x
_
=
1
2
_
cos
x
2
cos((n +
1
2
)x)
_
(somme tlescopique)
= sin
nx
2
sin
(n +1)x
2
.
Comme
x
2
[

2
,

2
] ]0,

2
], on a sin
x
2
= 0 et donc,
n N

, x [, ], s
n
(x) =
sin
nx
2
sin
(n+1)x
2
sin
x
2
.
On en dduit que
n N

, x [, ], |s
n
(x)|
1
sin(/2)
.
b) Soient n 2 et x [, ].
n

k=1
sin(kx)
k
= sin(x) +
n

k=2
s
k
(x) s
k1
(x)
k
= sin(x) +
n

k=2
s
k
(x)
k

n

k=2
s
k1
(x)
k
=
n

k=1
s
k
(x)
k

n1

k=1
s
k
(x)
k +1
=
n1

k=1
s
k
(x)
_
1
k

1
k +1
_
+
s
n
(x)
n
=
n1

k=1
s
k
(x)
k(k +1)
+
s
n
(x)
n
.
c) Pour k 1 et x [, ],

s
k
(x)
k(k +1)

1
sin(/2)k
2
. Comme la srie de terme gnral
1
sin(/2)k
2
converge, la srie de
fonctions de terme gnral
s
k
k(k +1)
converge normalement et donc uniformment sur [, ].
d) Pour n N

et x [, ],

s
n
(x)
n

1
nsin(/2)
, et donc
s
n
n

, [,]

1
nsin(/2)
0 quand n tend vers +.
Ainsi, la suite de fonctions
_
s
n
n
_
converge uniformment vers la fonction nulle sur [, ].
Daprs c), la srie de fonctions de terme gnral
s
k
k(k +1)
converge uniformment sur [, ], ou encore, la suite des sommes
partielles
_
n1

k=1
s
k
k(k + 1)
_
n2
converge uniformment sur [, ]. Comme la suite (
s
n
n
) converge aussi uniformment sur
[, ], la suite des sommes partielles de la srie de fonctions x
sin(kx)
k
converge uniformment sur [, ], ou encore la
srie de fonctions de terme gnral x
sin(nx)
n
converge uniformment sur [, ].
e) Pour ]0, ] donn, la srie de fonctions de terme gnral u
n
converge simplement vers f sur [, ], chaque u
n
est
drivable sur [, ] et, daprs d), la srie de fonctions de terme gnral u

n
converge uniformment sur [, ].
http ://www.maths-france.fr 2 c Jean-Louis Rouget, 2007. Tous droits rservs.
Daprs le thorme de drivation terme terme, f est drivable sur [, ], et ceci pour tout ]0, ]. f est donc drivable
sur ]0, ] et sa drive sobtient par drivation terme terme :
x ]0, ], f

(x) =
+

n=1
sin(nx)
n
.
En particulier, f

() = 0.
f ) Soit x ]0, ]. La srie de terme gnral u

n
(x) = cos(nx) est grossirement divergente. En eet, supposons par
labsurde que cos(nx) tende vers 0, alors sin
2
(nx) = 1 cos
2
(nx) tend vers 1 puis | cos(nx)| =
| sin(2nx)|
2| sin(nx)|
tend vers
1
2
ce
qui est absurde. Donc
f nest pas deux fois drivable terme terme sur ]0, ].
3) a) Soit > 0. Il existe n
0
1 tel que, pour n n
0
, |u
n
L|

2
. Pour n n
0
+1, on a alors
|v
n
L| =

_
1
n
n

k=1
u
k
_
L

=
1
n

k=1
(u
k
L)

1
n

n
0

k=1
(u
k
L)

+
1
n
n

k=n
0
+1
|u
k
L|

1
n

n
0

k=1
(u
k
L)

+
1
n
n

k=n
0
+1

2

1
n

n
0

k=1
(u
k
L)

+
1
n
n

k=1

2
=
1
n

n
0

k=1
(u
k
L)

+

2
.
Mais lexpression

n
0

k=1
(u
k
L)

est constante quand n varie. Par suite,

1
n

n
0

k=1
(u
k
L)

tend vers 0 quand n tend vers

+. Il existe donc n
1
n
0
+1 tel que, pour n n
1
,
1
n

n
0

k=1
(u
k
L)

<

2
. Pour n n
1
, on a alors |v
n
L| <

2
+

2
= .
On a montr que n N

, n
1
N

/ n N

, (n n
1
|v
n
L| < ), et donc
la suite (v
n
) converge vers L.
b) Soient n N

et x R \ 2Z.
2 sin
x
2

n
(x) =
n

k=1
2 sin
x
2
cos(kx) =
n

k=1
_
sin((k +
1
2
)x) sin((k
1
2
)x)
_
= sin((n +
1
2
)x) sin
x
2
,
et donc,
x R \ 2Z,

n
(x) =
1
2
+
sin(
(2n +1)x
2
)
2 sin
x
2
.
c) Soient n N

et x R \ 2Z.
2 sin
x
2
n

k=1
sin
(2k + 1)x
2
=
n

k=1
(cos(kx) cos(k +1)x) = cos(x) cos((n +1)x) = 2 sin
nx
2
sin
(n +2)x
2
.
Donc,
x R \ 2Z,
n

k=1
sin
(2k +1)x
2
=
sin
nx
2
sin
(n + 2)x
2
sin
x
2
.
http ://www.maths-france.fr 3 c Jean-Louis Rouget, 2007. Tous droits rservs.
d) Soient n N

et x R \ 2Z.

n
(x) =
1
n
n

k=1

k
(x) =
1
n
n

k=1
(
1
2
+
sin(
(2k+1)x
2
)
2 sin
x
2
) (daprs b)
=
1
2
+
1
2nsin
x
2
n

k=1
sin
(2k +1)x
2
=
1
2
+
sin
nx
2
sin
(n+2)x
2
2nsin
x
2
Mais alors, pour x [, ],

n
(x) +
1
2

1
2nsin(/2)
. Par suite,

n
+
1
2

,[,]

1
2nsin(/2)
0 quand n tend vers
+. Ainsi,
la suite de fonctions (

n
) converge uniformment vers la fonction constante
1
2
sur [, ].
e) Sur [, ], la suite (
n
) converge simplement vers f

. Daprs 3)a), il en est de mme de la suite (

n
). De plus, chaque

n
est drivable sur [, ] et la suite des drives converge uniformment vers
1
2
sur [, ] et ceci pour tout ]0, ].
On en dduit que f

est drivable sur ]0, ] et que f

= lim

n
=
1
2
.
f est deux fois drivable sur ]0, ] et x ]0, ], f

(x) =
1
2
.
f ) Pour x ]0, ], f

(x) = f

() +

(t) dt =
x
2
. Par suite, il existe un rel a tel que pour tout x de ]0, ],
f(x) =
1
4
(x )
2
+a. Lgalit

0
f(x) dx = 0 fournit
a =
1
4

0
(t )
2
dt =
1
4

3
3
=

2
12
.
Ainsi, x ]0, ], f(x) =
x
2
4

x
2
+

2
6
. Cette galit reste valable pour x = 0 par continuit de f en 0. Si maintenant,
x [, 0], f(x) = f(x) = f(|x|) =
x
2
4

|x|
2
+

2
6
. Ainsi,
x [, ], f(x) =
x
2
4

|x|
2
+

2
6
.
Enn, si x est un rel quelconque, il existe un unique entier relatif k tel que +2k x < +2k savoir k = E
_
x +
2
_
.
Mais alors, f tant 2-priodique, f(x) = f(x 2k) =
(x 2k)
2
4

|x 2k|
2
+

2
6
. Finalement,
x R, f(x) =
1
4
_
x 2E
_
x +
2
_

_
2

1
2

x 2E
_
x +
2
_

+

2
6
.
1 2 3 4 5 6 7 1 2 3 4 5 6 7
1
2
1
2
C
f
http ://www.maths-france.fr 4 c Jean-Louis Rouget, 2007. Tous droits rservs.
4) a)
+

n=1
1
n
2
= f(0) =

2
6
puis
+

n=1
(1)
n
n
2
= f() =

2
4


2
2
+

2
6
=

2
12
.
+

n=1
1
n
2
=

2
6
et
+

n=1
(1)
n
n
2
=

2
12
.
b) Les sries considres convergent uniformment sur les segments considrs. On peut donc intgrer terme terme.
Pour x [0, ],
+

n=1
sin(nx)
n
3
=

x
0
f(t) dt =
x
3
12

x
2
4
+

2
x
6
, puis
+

n=1
1 cos(nx)
n
4
=
x
4
48

x
3
12
+

2
x
2
12
.
x = fournit

4
48
=
+

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

p=0
1
(2p +1)
4
et
+

p=0
1
(2p + 1)
4
=

4
96
. Mais alors,
S =

+
n=1
1
n
4
=

=
p=1
1
(2p)
4
+

+
p=0
1
(2p+1)
4
=
1
16
S +

4
96
.
Par suite, S =
16
15

4
96
=

4
90
.
+

n=1
1
n
4
=

4
90
.
On en dduit aussi que
x [0, ],
+

n=1
cos(nx)
n
4
=
x
4
48
+
x
3
12


2
x
2
12
+

4
90
.
On recommence.
+

n=1
sin(nx)
n
5
=
x
5
240
+
x
4
48


2
x
3
36
+

4
x
90
, puis
+

n=1
1 cos(nx)
n
6
=
x
6
1440
+
x
5
240


2
x
4
144
+

4
x
2
180
.
x = fournit 2
+

p=0
1
(2p +1)
6
=
6
(
1
1440
+
1
240

1
144
+
1
180
) et donc
+

p=0
1
(2p +1)
4
=

6
960
. Mais alors,
S =
+

n=1
1
n
6
=

p=1
1
(2p)
6
+
+

p=0
1
(2p +1)
6
=
1
64
S +

6
960
.
Par suite, S =
64
63

6
960
=

6
945
.
+

n=1
1
n
6
=

6
945
.
DEUXIEME PARTIE
1) f
a
est continue sur R et 2-priodique. On peut donc calculer ses coecients de Fourier. f
a
est paire. Par suite,
pour n N

, b
n
(f
a
) = 0. Puis,
a
0
(f
a
) =
2

0
a
2
(x )
2
dx = a
2
2

3
3
=
2a
2

2
3
http ://www.maths-france.fr 5 c Jean-Louis Rouget, 2007. Tous droits rservs.
et pour n 1,
a
n
(f) =
2a
2

0
(x )
2
cos(nx) dx =
2a
2

__
(x )
2
sin(nx)
n
_

2
n

0
(x ) sin(nx) dx
_
=
4a
2
n

0
(x )(sin(nx)) dx =
4a
2
n
__
(x )
cos(nx)
n
_

1
n

0
cos(nx) dx
_
=
4a
2
n
2
f
a
est continue sur R et de classe C
1
par morceaux sur R. Daprs le thorme de Dirichlet, la srie de Fourier de f
a
converge vers f sur R, ce qui permet dcrire
x R, f
a
(x) = 4a
2
_

2
12
+
+

n=1
cos(nx)
n
2
_
.
2) Pour x R et n N

cos(nx)
n
2
+a
2

1
n
2
+a
2
, terme gnral dune srie numrique convergente. Ainsi, la srie de
fonctions de terme gnral x
cos(nx)
n
2
+a
2
converge normalement et donc uniformment sur R. Puisque chaque fonction
x
cos(nx)
n
2
+a
2
est continue sur R, on en dduit que h
a
est continue sur R.
Dautre part, h
a
est clairement paire et 2-priodique.
a R, h
a
est continue sur R, paire et 2-priodique.
3) a) Pour x R, (f
a
h
a
)(x) = 4a
2
_

2
12
+
+

n=1
_
1
n
2

1
n
2
+a
2
_
cos(nx)
_
= 4a
2
_

2
12
+a
2
+

n=1
cos(nx)
n
2
(n
2
+ a
2
)
_
.
b) Pour x R, posons
0
(x) =
a
2

2
3
et pour n 1,
n
(x) =
4a
4
cos(nx)
n
2
(n
2
+a
2
)
. La srie de fonctions de terme gnral

n
converge simplement vers f
a
h
a
sur R et chaque fonction
n
est de classe C
2
sur R. De plus, pour x R et
n N

, |

n
(x)| =

4a
4
sin(nx)
n(n
2
+a
2
)

4a
4
n(n
2
+a
2
)
et |

n
(x)| =

4a
4
cos(nx)
n
2
+a
2

4a
4
n
2
+ a
2
, termes gnraux de sries
numriques convergentes. Ainsi, les sries de fonctions de termes gnraux

n
et

n
sont normalement et donc uniform-
ment convergentes sur R. f
a
h
a
est donc de classe C
2
sur R, (f
a
h
a
)

et (f
a
h
a
)

sobtenant par drivation terme

terme.
c) Pour x [0, ], (f
a
h
a
)

(x) =
+

n=1
4a
4
sin(nx)
n(n
2
+a
2
et donc pour x ]0, [, h

a
(x) = f

a
(x) +4a
4
+

n=1
sin(nx)
n(n
2
+a
2
)
. Comme
la fonction x 4a
4
+

n=1
sin(nx)
n(n
2
+ a
2
)
est continue sur R, cette fonction admet pour limites en 0 droite et en gauche
ses valeurs respectives en 0 et savoir 0. Pour x ]0, [, f

a
(x) = 2a
2
(x ) et donc f

a
tend vers 2a
2
en 0 et 0 en .
Il en est de mme de h

a
.
En rsum,
h
a
est continue sur [0, ],
de classe C
1
sur ]0, [
h

a
a une limite relle en 0 et en .
Daprs un thorme classique danalyse, h
a
est de classe C
1
sur [0, ] et en particulier, admet une drive droite en 0
gale h

a
(0
+
) = 2a
2
et une drive gauche en gale h

a
(

) = 0.
h
a
est de classe C
1
sur [0, ]. h

a
(0
+
) = 2a
2
et h

a
(

) = 0.
d) Pour x R, (f
a
h
a
)

(x) =
+

n=1
4a
4
cos(nx)
n
2
+a
2
= a
2
h
a
(x) et donc
(f
a
h
a
)

= a
2
h
a
.
http ://www.maths-france.fr 6 c Jean-Louis Rouget, 2007. Tous droits rservs.
e) Puisque f
a
et f
a
h
a
sont de classe C
2
sur ]0, [, h
a
(= f
a
(f
a
h
a
)) est de classe C
2
sur ]0, [ et pour x ]0, [,
f

a
(x) h

a
(x) = a
2
h
a
(x), ou encore h

a
(x) a
2
h
a
(x) = 2a
2
.
h
a
est solution sur ]0, [ de lquation direntielle y

a
2
y = 2a
2
, (E).
La fonction x 2 est une solution particulire de (E) sur ]0, [. Dautre part, les deux fonctions x ch(ax) et x sh(ax)
sont deux solutions indpendantes de lquation homogne associe y

a
2
y = 0 (puisque a = 0). Les solutions de (E)
sur R sont donc les fonctions de la forme x 2 + Ach(ax) + Bsh(ax), (A, B) R
2
. Par suite, il existe deux rels A et
B tels que, pour x ]0, [, h
a
(x) = 2 + Ach(ax) + Bsh(ax), ce qui reste vrai pour x = 0 ou x = par continuit de h
a
en 0 et en .
(A, B) R
2
/ x [0, ], h
a
(x) = Ach(ax) +Bsh(ax) 2.
f ) Pour x [0, ], h

a
(x) = a(Ash(ax) + Bch(ax)). x = 0 fournit aB = 2a
2
et donc B = 2a. Puis x = fournit
Ash(a) 2ach(a) = 0 et donc, A =
2ach(a)
sh(a)
.
x [0, ], h
a
(x) = 4a
2
+

n=1
cos(nx)
n
2
+a
2
= 2 +
2ach(a)
sh(a)
ch(ax) 2ash(ax).
4) x = 0 fournit 2 +
2ach(a)
sh(a)
= 4a
2
+

n=1
1
n
2
+a
2
et donc,
a > 0,
+

n=1
1
n
2
+ a
2
=
1
4a
2
_
2 +
2ach(a)
sh(a)
_
.
et x = fournit
a > 0,
+

n=1
(1)
n
n
2
+a
2
=
1
4a
2
_
2 +
2a
sh(a)
_
.
La srie de fonctions de terme gnral a
1
n
2
+a
2
est normalement et donc uniformment convergente sur [0, ]
(|
1
n
2
+ a
2
|
1
n
2
). Comme chacune de ces fonctions est continue sur [0, ], la somme lest encore. En particulier, la somme
est continue en 0. Par suite,
+

n=1
1
n
2
= lim
a0
+

n=1
1
n
2
+a
2
= lim
a>0
1
4a
2
_
2 +
2ach(a)
sh(a)
_
. Or, quand a tend vers 0,
1
4a
2
_
2 +
2ach(a)
sh(a)
_
=
2(a +
a
3

3
6
) +2a(1 +
a
2

2
2
) +o(a
3
)
4a
2
(a + o(a))
=
2
3
a
3
3
+o(a
3
)
4a
3
+ o(a
3
)
=

2
6
+ o(1),
et on retrouve
+

n=1
1
n
2
=

2
6
.
5) Soit A > 0. Pour a [0, A],
d
da

(
1
n
2
+a
2
)

2a)
(n
2
+a
2
)
2

2A
n
2
... On peut donc driver terme terme sur [0, +[
et on obtient pour a > 0
+

n=1
1
(n
2
+a
2
)
2
=
1
2a
d
da
_
1
4a
2
(2 +
2ach(a)
sh(a)
)
_
=
1
2a
_
2
4a
3
(2 +
2ach(a)
sh(a)
) +
1
4a
2
2[(ch(a) + a
2
sh(a)) sh(a) a
2
ch
2
(a)]
sh
2
(a)
_
.
http ://www.maths-france.fr 7 c Jean-Louis Rouget, 2007. Tous droits rservs.