Vous êtes sur la page 1sur 4

J.

6446
Y9

MATH. 1 - MI'
f-('Ol,l- N 4 I I O N A I E DES PONTS ET CHAUSSfhS.
! ('01,ES NA1 IONAIES SIJPG,RIHJKI-,S DE L'ARONAUTIQIJh h1 DE, I,'ESI'ACI-,,
Dt:TE('HN1QUES AVANCES. DES TLCOMMI JNIC'ATIONS,
Dk,S MINhS Dh PARIS, D t S MINE,S DE, SAINI-ETIENNE, DES MINbS III= NANCY,
DE,S 16I.h('OMMUNICAIlONS DE BRETAGNE
t('OLE. POLYI WHNIQIJE (FILIRE TSI)

MATHfiMAI'IQLJhS
P K 1 M 1i-:K E fi PREUVE
FILIBRE MP
(Dure de l'preuve : 3 heures)

L'emploi de la calculette est interdit.


Sujet mis la disposition du concours E.N.T.P.E. .
l.es candidats sont pris de mentionner de faon apparente sur la premire page de la copie :
MATh'kh4ATlQUE.S I - MP.
L'6nnonc.de cette preuve, particulire aux candidats de la.filire MP, comporte 4 pages.
Si un candidat repre ce qui lui semble tre une erreur d'nonc, il le signale sur sa copie et poursuit sa cornposition en expliquant les raisons des initiatives qu'il est amen prendre.

Soit 1 le segment [O, 1 ] : une fonction relle f, dfinie sur l'intervalle 1, est continue par
morceaux s'il existe une subdivision finie de 1 : O = xg < X I < x2 <.. .< Xn = 1, telle que la
restriction de la fonction f chacun des intervalles ouverts Ixi-1, Xi[, 1( i ( n, est continue et
se prolonge en une fonction continue sur l'intervalle ferm [Xi-], xi]. II est admis qu'une
fonction f continue par morceaux sur 1 est borne. La borne suprieure des valeurs prises par
la fonction If1 est dsigne par Ilfll, (llfll = sup If(x)l).
OSXSl

Soit E l'espace vectoriel des fonctions relles dfinies et continues par morceaux sur 1.
Il est admis que (E, 11.11) est un espace vectoriel norm.
Les suites considres dans ce problme sont des suites de nombres rels indexs par
des entiers strictement positifs : A = (an)nEH* .
Suite aui-rpartie dans 1 : une suite A = (an)nEH* de rels an, nEM*, appartenant I'intervalle 1, (O( a, 1) est qui-rpartie dans 1, si et seulement si, pour toute fonction f de E, la
suite des moyennes arithmtiques des valeurs prises par la fonction f aux N points a,,
1 (n(N, est convergente et de limite l'intgrale de la fonction f tendue l'intervalle 1 :

<

2
N
1

Iim -

N-X

f(a,) = Q(x) dx .

n=l

Suite aui-rpartie modulo 1 : tant donne une suite de rels (rn)nEM* ; soit (an)nEH*, la
suite des rels dfinis par la relation : pour tout entier n strictement positif an = rn - [ rn], o

Tournez la page S.V.P.

Ir,)] zst la partie entikre du rel rn (Irn]est un entier tel que [rn]<rn<[rn]+l). La suite (rn)nEH*
est qui-rpartie modulo 1, si et seulement si la suite des rels an, nEM*, est qui-rpartie
dans 1.
Un critre d'mi-rpartition :

1")

une suite de rels an, nEN*, appartenant l'intervalle 1. Soit FA le

Soit A =

sous-ensemble des fonctions de l'espace E pour lesquelles la relation ci-dessous a lieu :


N

1
lim 1 E f ( a n ) =sof(x)
dx .

N-x

a.

n= 1

Dmontrer que le sous-ensemble FA de E est un sous-espace vectoriel de E et que


toutes les fonctions constantes de E appartiennent au sous-espace vectoriel FA.

b.

Soit g une fonction de l'espace E telle que, pour tout

positif donn, il existe deux

fonctions fi et f2 appartenant au sous-espace vectoriel FA telles que la fonction g


soit comprise entre f l et f2 et l'intgrale de la fonction g tendue i soit comprise ri
E prs entre les intgrales des fonctions f 2 et fl :
pour tout rel x de 1, fl(x)
1

L-

< g(x) < f;?(x),


1

f , ( x ) d x - & < L g ( x ) d x < Sof'(x)dx+t.

Dmontrer que la fonction g appartient au sous-espace vectoriel FA.


c.

Dmontrer que, pour que la suite A soit qui-rpartie dans 1, il suffit que le sousespace vectoriel FA contienne une partie P de E dense dans E.
Une condition ncessaire et suffisante d'qui-rhartition :

2")

Soit A = (an)nEH* une suite de rels an, nEW*, appartenant l'intervalle 1 = [O, 11.
Soit J un intervalle. contenu dans l'intervalle 1, d'extrmits c et d ; soit hj la fonction
gale 1 sur l'intervalle J et O sur le complmentaire de J dans 1 :
1, si x appartient J contenu dans 1 ,
hJ(x) = O, ' si x appartient 1 sans appartenir J .

a.

Dmontrer que, pour que la suite A soit qui-rpartie dans 1, il suffit que, pour tout
intervalle J de 1, la fonction hj appartienne au sous-espace FA de E.

b.

Soit J un intervalle dont les extrmits c et d vrifient les ingalits : O < c < d < 1.
tant donn un rel positif E donn, (E > O), dterminer, deux fonctions continues fi
et f 2 vrifiant les relations :

<

*fi(()) = fl(1) , f2(O) = f2(1) , pour tout rel x de 1, fl(x) ( hJ(X) f2(x),

La construction claire des graphes des deux fonctions fi et f2 tient lieu de rponse.
II est admis que la conclusion prcdente est valable pour tout intervalle J, contenu

dans l'intervalle 1, sans que la condition O < c < d < 1 sur ses extrmits soit ralise.

En dduire : pour que la suite A =

soit qui-rpartie dans 1, il suffit que

toutes les fonctions continues prenant mmes valeurs aux extrmits O et 1 de I'intervalie 1 appartiennent au sous-espace vectoriel FA de E.
G.tarn donne un entier N (N > O), soit N(J) le nombre de termes a, de la suite A qui

c.

appartiennent 2 l'intervalle J et dont les indices n sont infrieurs o u gaux N ; dmontrer que, pour que la suite A soit qui-rpartie dans 1, il faut et il suffit que,
pour tout intervalle J, la suite des rels
ci+.

N( J) , NEW*, soit convergente et de limite


N

lorsque l'entier N crot vers l'infini :

lim

N+=

N(J)
=d-c.

3") Un critre d'aui-rpartition modulo 1 ; thorme de Bohl :


tant donns une suite de rels R = (rn)nEW* et deux entier naturels k et N strictement
positifs, soit C(K, k. N) le nombre complexe dfini par la relation suivante :
N

C(K, k, N) =

exp(2 i n k rn)

n=l

Dmontrer que, si la suite R = (rn),N* est qui-rpartie modulo 1, pour tout entier

a.

k strictement positif, la limite de l'expression C(K, k, N), lorsque l'entier N croit in-

dfiniment, est nulle :

lim I

N-2

exp(2 i x k r,) = O

Dmontrer rciproquement, qu'une suite de rels (rn)nEN+est qui-rpartie modulo

b.

1, si, pour tout entier k strictement positif, la limite, lorsque l'entier N crot vers

l'infini, de i'expression C(K, k, N ) est nulle.


Exemple : soit 8 un rel donn. Dmontrer que la suite des rels ne, nEN*, est

c.

qui-rpartie mudulo I si et seulement si le rel fl est irrationnel.


Dans les questions suivantes le rsultat classique de Cesaro est admis et peut tre
utilis : si une suite relle ( Y ~ ) ~ ~ E West. +convergente et de limite 1,la suite de terme gnral

- x , ~. NEN*, est conve:gznte et de limite 1.


N Il=)

Tournez la page S.V.P.

4OO) Exemples de suite:; mi-rparties modulo 1 :

Dans cette question la suite R = (rn)nEH* considre est dfinie partir d'une fonction
qi relle dfinie sur la demi-droite ferme [ l , a[ : pour tout entier n (n 21) rn=cr/(n).
Soient rn, An les nombres complexes dfinis par les relations suivantes :
dn = r,+l - rn , An = exp(2inrn) ,
La fonction rp, dfinie sur la demi-droite [ l , m[, est suppose ri valeurs positives, de
classe C2, concave (4" 4 O). En outre, dans un voisinage de l'infini, sa drive qi' est
ngligeable devant 1 et la fonction l/t devant rp'(t) (cp'(t) = o(l), l/t = o(cp'(t))).
a.

hblir que les rels dn, nEN*, sont strictement positifs et que les deux suites de
1
rels d, et -, nEM*, tendent vers O lorsque l'entier n crot vers l'infini.
d"
Soient BI, les nombres complexes dfinis par la relation : B n =

An+1

-( --

2).
II

2in dn+l
dn
est admis que, pour tout entier n strictement positif, l'ingalit ci-dessous a lieu :
1
I A ~ - B ~ I &I--I1 + T CIdnI .
2~ dn+l drl
Dmontrer, lorsque l'entier N crot vers l'infini, la convergence vers O de la suite des
b.
rels
c.

A,, NEW* : ~ i mN+m

n=l

A n = O.
n=l

Est-ce que la suite des rels rn = cp(n), nEM*, est qui-rpartie modulo 1 ?

5") Suites (lnU(n)),EH* :


tant donn un rel cc suprieur ou gal 1 ( a 2 l), soient A, la suite des rels
(InQ(n)), nEM* et qcx
la fonction, dfinie sur la demi-droite [ 1, "[ : xHIn"(x).
a.

Pour quelles valeurs du rel a , les rsultats de la question 4 permettent d'affirmer


que la suite A,, est qui-rpartie ?

b.

Soit f la fonction dfinie sur la demi-droite ]O, a[ : xHexp(2in In(x)). Dterminer


une primitive de cette fonction.

c.

tant donn un entier N, strictement positif, soient LN et IN les deux nombres


complexes dfinis par les relations suivantes :

'

LN = N

e x p ( 2 i ~ ~ l n ( n ;) IN
) =
n=l

Dterminer les limites, lorsque l'entier N crot vers l'infini, du module l I ~de
l IN et
de la diffrence LN - IN . Est-ce que la suite A l , dfinie ci-dessus, est qui-rpartie
modulo 1 '?
FIN DU PROBLME
FIN DE L'PREUVE