Professional Documents
Culture Documents
com/
ROYAUME DU MAROC
Ministre de l'ducation National, de l'Enseignement
Suprieur, de la Formation des Cadres
et de la Recherche Scientifique
Prsidence du Concours National Commun 2011
Institut National des Postes et Tlcommunications
INPT
PREUVE DE MATHEMATIQUES I
Dure 4 heures
Filire MP
http://al9ahira.com/
preuve de Mathmatiques I
Lnonc de cette preuve, particulire aux candidats de la filire MP,
comporte 4 pages.
Lusage de la calculatrice est interdit.
Les candidats sont informs que la prcision des raisonnements ainsi que le soin apport la rdaction et
la prsentation des copies seront des lments pris en compte dans la notation. Il convient en particulier
de rappeler avec prcision les rfrences des questions abordes.
Si, au cours de lpreuve, un candidat repre ce qui lui semble tre une erreur dnonc, il le
signale sur sa copie et poursuit sa composition en expliquant les raisons des initiatives quil est
amen prendre.
tude de la somme dune srie de Fourier lacunaire quadratique
La fonction q dfinie, pour tout x R, par
q(x) =
X
ein x
n=1
in2
est tudie par Riemann il y a environ 150 ans, avec lide que cette fonction est continue sur
R mais nulle part drivable. Ltude est poursuivie par Hardy qui prouve en 1916 que cette
fonction est non drivable en tout x R\{Q}. Il reste tudier la drivabilit en x rationnel et
cest Gerver qui en 1970 russit trouver le rsultat assez inattendu : la fonction est drivable
en tout x Q. Depuis, dautres proprits de cette fonction ont t tudies, proprits qui
analysent plus finement la rgularit de cette fonction : en particulier son ordre de Holder local
et son spectre multifractal.
Le sujet a pour objet dtablir la drivabilit de la fonction q au point 1 ; il utilise des outils de
lanalyse complexe.
Le problme est compos de cinq parties ; les deux premires parties ont pour objectif dtablir
la formule (2) qui sera utile dans la cinquime partie. Les trois dernires parties du problme
senchanent entre elles.
1re partie
Formule sommatoire de Poisson
Soit g : R C une application de classe C 1 telle que les applications t 7 t2 g(t) et t 7
t2 g 0 (t), dfinies sur R, soient bornes linfini, ce qui revient dire que
1
1
0
g(t) = O 2 et g (t) = O 2
t
t
t
t
On lui associe la suite (gn )nN de fonctions dfinies par
g0 (t) = g(t),
t R, n N
1. Montrer que pour tout rel x, la fonction t 7 g(t)eixt est intgrable sur R.
Par dfinition, la transforme de Fourier de g est la fonction note b
g dfinie sur R par
Z +
gb(x) =
g(t)eixt dt, x R.
1/5
nN
3. On note e
g la fonction dfinie, pour tout t R, par ge(t) =
gn (t).
n=0
g(2n) =
X
nZ
nZ
g (n).
b
2me partie
Application de la formule sommatoire de Poisson
2 2
Pour tout rel > 0, on note h la fonction dfinie, pour tout t R, par h (t) = e t .
1. Vrifier que, pour tout rel > 0, la fonction h satisfait les hypothses faites sur la
fonction g dans la partie prcdente.
c la transforme de Fourier de h , > 0 ; on admettra que hb1 (0) = .
Dans la suite, on notera h
2. Montrer que la fonction hb1 est drivable sur R et quelle satisfait lquation diffrentielle
x
y0 + y = 0
2
(1)
x2
e 4
a 1+2
X
n=1
n2 a
= 1+2
n2
a
(2)
n=1
3me partie
Un rsultat gnral sur les fonctions holomorphes
Si a et b sont des nombres complexes, a,b dsigne le chemin du plan complexe C dfini, pour
tout t [0, 1], par a,b (t) = (1 t)a + tb ; son image a,b [0, 1]) = {(1 t)a + tb, 0 t 1} est
note [a, b] ; cest le segment du complexe dextrmits a et b.
Pour la suite du problme, on notera la partie de C dfinie par
= {z C, Im(z) > 0}
2/5
(a, b) =
a,b
f (z)dz := (b a)
2. Soit a fix dans ; montrer que lapplication a : C, b 7 a (b) = (a, b), est
continue sur .
3. Soit la fonction dfinie, pour tout z , par (z) = z ; soient a et b deux lments
distincts de . Montrer que lensemble des c tels que
Z
Z
Z
(z)dz +
(z)dz =
(z)dz
a,c
c,b
a,b
est soit une droite soit une demi-droite du plan complexe prciser.
4. Dans la suite de cette partie, f est suppose holomorphe sur . Si x et y sont des rels tels
que x + iy , on pose
P (x, y) = Re(f (x + iy)),
P
Q
P
Q
et
puis
et
.
x
y
y
x
(b) Soit (a, b, c) Z3 . Montrer laide
Z des rsultats du programme sur les formes diff(a) Rappeler les relations reliant les drives partielles
rentielles que
P dxQdy =
T +
T +
2
dans le sens direct, de la plaque triangulaire
sont les
Z dont les sommets
Z
Z T du plan R
f (z)dz +
a,c
f (z)dz =
c,b
f (z)dz.
a,b
(c) Soit a fix ; dduire de ce qui prcde que la fonction a est holomorphe sur
et que sa drive au sens complexe, not 0a , vrifie 0a (b) = f (b) pour tout b ; on
rappelle que
a (c) a (b)
0a (b) = lim
cb
cb
c\{b}
(d) On suppose que, pour tout b , la fonction r 7 (ir, b), dfinie sur ]0, +[, admet
une limite dans C lorsque r tend vers 0+ ; on note F (b) cette limite. Montrer que, pour
tout (b, c) 2 , F (c) F (b) = (b, c), puis en dduire que F est holomorphe sur et
que F 0 = f sur .
4me partie
tude dun exemple
On note exp la fonction exponentielle complexe. Si z C\R , on note Arg(z) llment de
lintervalle ] , [ tel que z = |z| exp(iArg(z)) ; on pose alors Log(z) = ln(|z|) + iArg(z) et, pour
tout R,
z = exp(Log(z))
3/5
z C.
Soit un rel fix dans lintervalle ] 1, 0[ ; on note f la fonction dfinie, pour tout z C\R ,
par
i
f (z) = z exp( ).
z
1. Justifier que f est holomorphe sur .
2. Soit b unZcomplexe fix dans . On note J,b la fonction, dfinie pour tout r > 0, par
f (z)dz. Montrer que la fonction J,b admet une limite, note F,b , lorsque r
J,b (r) =
ir,b
+
+1
F (b) = b
t exp(i tb)dt.
]0,1]
On pourra utiliser le thorme de convergence domine aprs en avoir vrifi les conditions de
validit.
3. On note G la fonction, dfinie pour tout z C, par G (z) = z 2 exp zi F (z).
(a) Justifier que les fonctions F et G sont holomorphes sur et que F0 = f sur .
Z +
1
i
iu
2
(b) Montrer que, pour tout z , G (z) = exp
u
exp
du.
z
z
z
1
3
(c) Montrer que, pour tout z , |G (z)| 2 et que |F1/2 (z)| 2|z| 2 .
5me partie
Dmonstration de la proprit propose
Pour tout entier naturel non nul n, on note un la fonction dfinie, pour tout z C, par
un (z) = exp(in2 z).
1. Soit z C ; montrer que la srie
Dans la suite, on pose u(z) =
n=1
X
n1
un (z), z .
n1
nk u
en converge normalement
5.
6.
7.
8.
1/2 X
i
in2
in2
1
En dduire que, pour tout z , u(1+z)+ =
exp(
) exp
.
2
z
4z
z
n=1
X un
Montrer que la srie de fonctions
converge normalement sur {z C, Im(z) 0}
2
in
n1
et que sa somme, note v, est continue sur cette ensemble.
z
X
est convergente, o
Montrer que, pour tout z et tout > 0, la srie
nF1/2
n2
n1
F1/2 est la fonction dfinie dans la quatrime partie.
Pour tout z , on pose
v1 (z) =
X
un (z)
n=1
in2
et
z
(i)1/2 X
4z
w(z) =
nF1/2
2nF1/2
.
2 n=1
n2
n2
9. Montrer quil existe une constante c positive telle que, pour tout z , on ait
z
v(z + 1) v(1) + c|z|3/2 .
2
F IN
x
=
2 x0
DE L PREUVE
5/5
Al9ahira
En 3 clics seulement, on livre, tu tudies
en ligne