99 MATH.

I - MP COLE NATIONALE DES PONTS ET CHAUSSES, COLES NATIONALES SUPRIEURES DE L'ARONAUTIQUE ET DE L'ESPACE, DE TECHNIQUES AVANCES, DES TLCOMMUNICATIONS, DES MINES DE PARIS, DES MINES DE SAINT-ETIENNE, DES MINES DE NANCY, DES TLCOMMUNICATIONS DE BRETAGNE COLE POLYTECHNIQUE (FILIRE TSI)

CONCOURS D'ADMISSION 1999 MATHMATIQUES PREMIRE PREUVE FILIRE 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. . Les candidats sont pris de mentionner de faon apparente sur la premire page de la copie : MATHMATIQUES I - MP. L'nonc 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 composition en expliquant les raisons des initiatives qu'il est amen prendre.

Soit I le segment [0, 1] ; une fonction relle f, dfinie sur l'intervalle I, est continue par morceaux s'il existe une subdivision finie de I : 0 = x0 < x1 < x2 << xn = 1, telle que la restriction de la fonction f chacun des intervalles ouverts ]xi1, xi[, 1 i n, est continue et se prolonge en une fonction continue sur l'intervalle ferm [xi1, xi]. Il est admis qu'une fonction f continue par morceaux sur I est borne. La borne suprieure des valeurs prises par la fonction |f| est dsigne par ||f||, (||f|| = sup |f(x)|).
0 x 1

Soit E l'espace vectoriel des fonctions relles dfinies et continues par morceaux sur I. Il est admis que (E, ||.||) 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)n N* . Suite qui-rpartie dans I : une suite A = (an)n N* de rels an, n N*, appartenant l'intervalle I, (0 an 1) est qui-rpartie dans I, 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 an, 1nN, est convergente et de limite l'intgrale de la fonction f tendue l'intervalle I : N 1 1 f(a n ) = f(x) dx . lim N N 0

n=1

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

- 2/4 -

o [rn] est la partie entire du rel rn ([rn] est un entier tel que [rn]rn<[rn]+1). La suite (rn)n N* est qui-rpartie modulo I, si et seulement si la suite des rels an, n N*, est quirpartie dans I. 1) Un critre d'qui-rpartition : Soit A = (an)n N* une suite de rels an, n N*, appartenant l'intervalle I. Soit FA le sous-ensemble des fonctions de l'espace E pour lesquelles la relation ci-dessous a lieu : N 1 1 lim f(a n ) = f(x) dx . N N 0

n=1

a.

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 f1 et f2 appartenant au sous-espace vectoriel FA telles que la fonction g soit comprise entre f1 et f2 et l'intgrale de la fonction g tendue I soit comprise prs entre les intgrales des fonctions f2 et f1 : pour tout rel x de I, f1(x) g(x) f2(x),

f2 (x) dx

g(x) dx

f (x) dx + .
1 0 1

Dmontrer que la fonction g appartient au sous-espace vectoriel FA. c. Dmontrer que, pour que la suite A soit qui-rpartie dans I, il suffit que le sousespace vectoriel FA contienne une partie P de E dense dans E. Une condition ncessaire et suffisante d'qui-rpartition : Soit A = (an)n N* une suite de rels an, n N*, appartenant l'intervalle I = [0, 1]. Soit J un intervalle, contenu dans l'intervalle I, d'extrmits c et d ; soit hJ la fonction gale 1 sur l'intervalle J et 0 sur le complmentaire de J dans I : 1, si x appartient J contenu dans I, hJ(x) = 0, si x appartient I sans appartenir J. a. Dmontrer que, pour que la suite A soit qui-rpartie dans I, il suffit que, pour tout intervalle J de I, la fonction hJ appartienne au sous-espace FA de E. Soit J un intervalle dont les extrmits c et d vrifient les ingalits : 0 < c < d < 1. tant donn un rel positif donn, ( > 0), dterminer, deux fonctions continues f1 et f2 vrifiant les relations : f1(0) = f1(1) , f2(0) = f2(1) , pour tout rel x de I, f1(x) hJ(x) f2(x),

2)

b.

- 3/4 -

f2 (x) dx

h J (x) dx

f (x) dx + .
1 0 1

La construction claire des graphes des deux fonctions f1 et f2 tient lieu de rponse. Il est admis que la conclusion prcdente est valable pour tout intervalle J, contenu dans l'intervalle I, sans que la condition 0 < c < d < 1 sur ses extrmits soit ralise. En dduire : pour que la suite A = (an)n N* soit qui-rpartie dans I, il suffit que toutes les fonctions continues prenant mmes valeurs aux extrmits 0 et 1 de l'intervalle I appartiennent au sous-espace vectoriel FA de E. c. tant donn un entier N (N > 0), soit N(J) le nombre de termes an de la suite A qui appartiennent l'intervalle J et dont les indices n sont infrieurs ou gaux N ; dmontrer que, pour que la suite A soit qui-rpartie dans I, il faut et il suffit que, N(J) pour tout intervalle J, la suite des rels , N N*, soit convergente et de limite N N(J) = d c. dc, lorsque l'entier N crot vers l'infini : lim N N 3) Un critre d'qui-rpartition modulo I ; thorme de Bohl : tant donns une suite de rels R = (rn)n N* et deux entier naturels k et N strictement positifs, soit C(R, k, N) le nombre complexe dfini par la relation suivante : N 1 C(R, k, N) = exp(2 i k rn ) . N

n=1

a.

Dmontrer que, si la suite R = (rn)n N* est qui-rpartie modulo I, pour tout entier k strictement positif, la limite de l'expression C(R, k, N), lorsque l'entier N N 1 exp(2 i k rn ) = 0 . crot indfiniment, est nulle : lim N N

n=1

b.

Dmontrer rciproquement, qu'une suite de rels (rn)n N* est qui-rpartie modulo I, si, pour tout entier k strictement positif, la limite, lorsque l'entier N crot vers l'infini, de l'expression C(R, k, N) est nulle. Exemple : soit un rel donn. Dmontrer que la suite des rels n, n N*, est qui-rpartie mudulo I si et seulement si le rel est irrationnel.

c.

Dans les questions suivantes le rsultat classique de Cesaro est admis et peut tre utilis : si une suite relle (xn)n N* est convergente et de limite , la suite de terme gn1 ral N

x
n=1

, N N*, est convergente et de limite .

- 4/4 -

4) Exemples de suites qui-rparties modulo I : Dans cette question la suite R = (rn)n N* considre est dfinie partir d'une fonction relle dfinie sur la demi-droite ferme [1, [ : pour tout entier n (n 1) rn=(n). Soient rn, An les nombres complexes dfinis par les relations suivantes : dn = rn+1 rn , An = exp(2irn) , La fonction , dfinie sur la demi-droite [1, [, est suppose valeurs positives, de classe C2, concave ( 0). En outre, dans un voisinage de l'infini, sa drive est ngligeable devant 1 et la fonction 1/t devant (t) ((t) = o(1), 1/t = o((t))). a. tablir que les rels dn, n N*, sont strictement positifs et que les deux suites de 1 , n N*, tendent vers 0 lorsque l'entier n crot vers l'infini. rels dn et n dn Soient Bn les nombres complexes dfinis par la relation : Bn =
1 A n+1 n (d A ). dn 2i n +1

Il est admis que, pour tout entier n strictement positif, l'ingalit ci-dessous a lieu :

|An Bn| Erreur!|

b.

1 d n+1

1 | + |dn| . dn

Dmontrer, lorsque l'entier N crot vers l'infini, la convergence vers 0 de la suite des N N 1 1 rels An , N N* : lim An = 0. N N N

n=1

n=1

c.

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

5) Suites (ln(n))n N* : tant donn un rel suprieur ou gal 1 ( 1), soient A la suite des rels (ln(n)), n N* et la fonction, dfinie sur la demi-droite [1, [ : x-ln(x). a. Pour quelles valeurs du rel , les rsultats de la question 4 permettent d'affirmer que la suite A est qui-rpartie ? Soit f la fonction dfinie sur la demi-droite ]0, [ : x-exp(2i ln(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 : N 1 1 N LN = exp( 2i ln(n)) ; IN = exp(2i ln(x)) dx. N N 1

b.

n=1

- 5/4 -

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