E3A 2011 - Mathmatiques A MP e Partie I tn 1.

Le rapport tend vers 0 quand n tend vers + si |t| < 1, et diverge si |t| > 1 : le rayon de convergence n+1 de la srie enti`re est donc 1. e e + (1)k+1 tk . 2. Lgalit est claire pour t = 0. Dautre part, on sait que, pour tout t ] 1, 1[, ln(1 + t) = e e k
k=1

ln(1 t) t = pour t non nul dans ] 1, 1[, ce qui donne le rsultat demand en e e t k k=1 posant n = k 1. On peut aussi driver tS(t) pour obtenir le rsultat. e e 3. En tant que somme dune srie enti`re, la fonction f = S est de classe C sur ] 1, 1[. Les thor`mes e e e e usuels montrent que f est de classe C sur ] , 0[. Lintersection de ces deux intervalles ntant pas e rduite ` un point, cela montre que f est de classe C sur la runion des deux, soit sur ] , 1[. e a e 4. On a ln(1 t) > 0 sur ] , 0[ et ln(1 t) < 0 sur ]0, 1[. Dans tous les cas (y compris en 0), on a donc f (t) < 0. On en dduit e Partie II 1. Puisque f est de classe C donc continue sur ] , 1[, les rsultats sur lintgrale fonction de sa borne e e x e e suprieure montrent que L : x 0 f (t) dt est de classe C 1 sur cet intervalle, et que sa drive est f . e Puisque cette drive est de classe C , L est elle aussi de classe C . e e 2. Montrons que f est intgrable sur [0, 1[. On e sait dj` quelle est continue sur cet intervalle. Dautre ea e part, f (t) 1 t a pour limite 0 en 1 (puisque u ln u tend vers 0 en 0), donc f (t) est ngligeable devant 1 au voisinage de 1. Puisque g est positive et intgrable sur [0, 1[, f est donc bien intgrable e e g(t) = 1t sur [0, 1[. 1 Par suite, L(x) a pour limite 0 f (t) dt quand x tend vers 1 par valeurs infrieures. e 3. On a vu que L a pour drive f sur ] , 1[ (question II-1), et que f est strictement positive sur e e cet intervalle (question I-4.). Puisque L est de plus continue en 1, elle est donc strictement croissante sur ] , 1]. 4. Puisque f est la somme dune srie enti`re sur ] 1, 1[, on sait que la primitive de f qui sannule en 0 est la e e somme de la srie enti`re obtenue en primitivant terme ` terme celle de f , et que le rayon de convergence e e a de cette nouvelle srie enti`re est le mme que celui de la srie de f , cest-`-dire ici 1. e e e e a + n + x xn+1 On en dduit x ] 1, 1[ L(x) = e = . (n + 1)2 n2 n=0 n=1 5. Soit x ] 1, 1[. On peut appliquer la relation du II-4 ` x et x, donc a Dans cette somme, les termes de rang impair sont tous nuls ; donc L(x) + L(x) = 2x2p 1 (x2 )p 1 = = L(x2 ) 2 2 (2p) 2 p=1 p 2 p=1
+ +

+ k1

L(x)+L(x) =

xn + (1)n xn . n2 n=1

Puisque L est en particulier continue en 1 et en 1, on peut faire tendre x vers 1 dans cette relation pour obtenir L(1) + 2L(1) = 0. xn 1 1 xn 6. Pour tout x [0, 1], on a 2 2 , et la srie numrique e e converge. La srie enti`re e e converge 2 n n n n2 en fait normalement, donc uniformment, sur [0, 1]. On peut donc lui appliquer le thor`me dinterversion e e e de limites : compte tenu de la continuit de L en 1, on a e xn xn 1 L(1) = lim L(x) = lim = lim = n2 n2 x1 x1 x1 n2 n=1 n=1 n=1 1
+ + +

Partie III 1. Il faut en fait supposer ici n 2. Posons a = 2n1 ; soit : m m + a. Alors, a est pair (puisque n 1 1. . . ) et 2n1 + a = 2n , donc transforme les entiers impairs entre 0 et 2n1 1 en entiers impairs entre a = 2n1 et 2n 1. De plus, chaque entier impair b entre 2n1 et 2n 1 a un unique antcdent par , b a, qui est de e e mme un entier impair entre 0 et 2n1 1, do` le rsultat. e u e 2. Puisque x est dans ]0, /2[, il en est de mme pour x/2 et (x + )/2 ; les dirents sinus apparaissant dans e e la formule sont donc bien non nuls. De plus, puisque sin(u + /2) = cos u pour tout u, on a 1 sin2 ( x ) 2 en utilisant sin(2u) = 2 sin u cos u. 3. Pour n = 1, la relation ` dmontrer est 2 = a e 1 , donc est bien vrie. e e sin2 (/4)
2n1 1

1 sin2 ( x+ ) 2

cos2 ( x ) + sin2 ( x ) 4 2 2 = sin2 ( x ) cos2 ( x ) sin2 x 2 2

Supposons tabli ` un rang n 1 la relation e a

2n1

=
k=0

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

. Multiplions par 4 et

appliquons la question prcdente, en utilisant de plus sin( u) = sin u pour la deuxi`me somme : e e e
2n1 1

22n+1 =
k=0

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

2n1 1

+
k=0

1 sin
2 (2n+1 2k1) 2n+2

On vrie alors que les nombres 2n+1 2k 1 sont les entiers impairs entre 2n et 2n+1 1, donc les 2k + 1 e quand k dcrit lintervalle dentiers [2n1 , 2n 1]. On obtient donc bien la formule cherche au rang n + 1. e e 4. (a) On a sin (x) = sin x 0 sur [0, /2], donc la fonction sinus est concave sur cet intervalle. En particulier, la courbe est donc au-dessus de la corde passant par les points dabscisses 0 et /2, qui est la droite dquation y = 2x/ ; cela fournit la relation demande. e e (b) Si 0 k 2n1 1, alors (2k + 1)/2n+1 est dans [0, /2], on peut donc lui appliquer le (a). Puisque tout est positif : sin2 (2k + 1) 2n+1 4 (2k + 1)2 2 2 (2n+1 )2 soit 2n+1
2

1 sin2
(2k+1) 2n+1

1 2 4 (2k + 1)2

qui constitue le rsultat demand avec C = 2 /4. e e (c) Il semble que le concepteur du sujet ait eu dans lide dutiliser un thor`me de convergence domine e e e e pour les sries (hors programme) : on transforme la somme du 3. en somme innie en rajoutant des termes e + 2 nuls et on multiplie par (/2n+1 )2 pour obtenir = ak,n . On remplace ensuite chaque ak,n par sa 8 k=0 limite quand n tend vers +, la majoration du (b) fournissant lhypoth`se de domination qui autorise ce e passage ` la limite. a ` A partir de 3., on peut dterminer la somme de la srie de mani`re plus conforme au programme, de la e e e 1 1 mani`re suivante : on vrie aisment que la fonction x e e e 2 est prolongeable par continuit en e 2 sin x x 0, donc borne sur ]0, /2]. Soit K majorant sa valeur absolue sur ]0, /2]. e Soit n 1. Notons An la somme donne en 3. (qui vaut 22n1 ). En posant xk = (2k + 1)/2n+1 , on a e alors 2n1 1 2n1 1 2n+1 2 1 1 1 An 2 K.2n1 (2k + 1)2 xk sin2 xk
k=0 k=0

Multiplions tout par (/2n+1 )2 ; en tenant compte de la valeur de An , on obtient 2 8

2n1 1

k=0

K 2 1 n+3 (2k + 1)2 2

On vient donc de trouver une suite extraite de la suite des sommes partielles de la srie e 1/(2k + 1)2 , qui converge vers 2 /8 ; sachant que la srie converge, 2 /8 est donc la limite de la suite des sommes partielles, e donc la somme de la srie. e 5. Classiquement, on a L(1) = 1 = n2 n=1
+

1 + (2p)2 p=1

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

1 . La derni`re e (2p + 1)2 p=0

somme valant 2 /8, on en dduit que L(1) = 2 /6. e La question II-5 donne alors L(1) = 2 /12. 6. Pour tout x ]0, 1[, posons M (x) = L(1 x) + L(x) + ln x ln(1 x). Puisque L est drivable sur ]0, 1[, de e drive f , et que 1 x est dans cet intervalle, M est drivable sur ]0, 1[, et, pour tout x ]0, 1[, e e e M (x) = L (1 x) + L (x) + ln(1 x) ln x ln x ln(1 x) ln(1 x) ln x = + =0 x 1x 1x x x 1x

La fonction M est donc constante sur ]0, 1[ ; en prenant la limite en 0, compte tenu de la continuit de L en e 1, on voit que cette constante vaut L(1), do` le rsultat. u e 7. En prenant x = 1/2 dans la relation prcdente, on obtient 2L(1/2) = L(1) (ln 2)2 do` L(1/2) = e e u (ln 2)2 2 . 12 2 8. Notons I lintgrale propose. On eectue le changement de variable u = 1 et : e e
1/2

I=
0

ln(1 u) du = u 1u

1/2 0

ln(1 u) ln(1 u) + du u 1u

` A ce stade, on peut justier lexistence de I : la derni`re forme est bien dnie, puisque la fonction intgre e e e e est prolongeable par continuit au segment [0, 1/2] ; et le changement de variable eectu ralisait un C 1 e e e diomorphisme entre les intervalles ouverts considrs. e ee Le calcul est maintenant immdiat. La fonction u ln(1u) est la drive de u ln2 (1 u)/2, e e e (1u) donc ln2 2 2 I = L(1/2) + = 2 12 Partie IV 1. Eectuons le changement de variable u = t dans lintgrale dnissant L(x), pour viter les probl`mes de e e e e x ln(1 + u) signes ; on obtient L(x) = du. u 0 y On a ln(1 + u)/u 1/u pour u e 1, et, pour tout a > 0, a du/u a pour limite + quand y tend vers +. Donc, L(x) a pour limite quand x tend vers . 2. La fonction x 11/x est continue et strictement croissante sur ]0, 1[. Lintervalle image est donc louvert born par les limites, cest-`-dire ] , 0[. e a 3. (a) Les fonctions x 1 x et x 1 1/x sont drivables sur ]0, 1[, ` valeurs respectivement dans ]0, 1[ e a et ] , 0[ ; puisque L est en particulier drivable sur ces deux intervalles, h2 est drivable sur ]0, 1[. Pour e e tout x ]0, 1[ : h2 (x) = L (1 x) + 1 ln x 1 x ln x L (1 1/x) = + ln x = x2 1 x x2 x 1 x 3

(b) Puisque x ln2 x/2 a pour drive x ln x/x sur ]0, 1[, il existe un rel C tel que, pour tout e e e x ]0, 1[, h2 (x) = ln2 x/2 + C. En prenant la limite en 1, on obtient C = 0, do` le rsultat demand. u e e 4. Dans la relation prcdente, posons u = 1 1/x. Plus prcisment, pour tout u < 0, le nombre x = 1/(1 u) e e e e est dans ]0, 1[ ; on peut donc lui appliquer la relation prcdente, do`, en divisant par u, e e u u < 0 L(u) 1 1 1 1 1 + L 1 = ln2 = ln2 (1 u) u 1u u 2u 1u 2u

Dans cette relation, le membre de gauche a pour limite 0 en par croissances compares. Dans le membre e de droite, le terme L(1 1/(1 u)) a pour limite L(1) quand u tend vers ; le premier terme a donc pour limite 0 en . Par suite, L(u)/u a pour limite 0 en . 5. Puisque L tend vers en , mais que L(x)/x y a pour limite 0, la courbe a une branche parabolique de direction horizontale. Partie V 1. Lquation homog`ne associe quivaut ` xy + y = 0 sur J ; ses solutions sont les fonctions f vriant e e e e a e xf (x) = K pour une certaine constante K, ce sont les fonctions de la forme x K/x o` K est une u constante relle. e Lensemble des solutions est donc la droite vectorielle engendre par la fonction x 1/x. e 2. On applique la mthode de variation des constantes : on cherche les solutions sous la forme x K(x)/x, e o` K est une fonction drivable sur J. Apr`s calculs, on obtient lquation (1 x)K (x) = 1. u e e e C ln(1 x) C + = f (x) + o` C u Les solutions sur J sont donc les fonctions de la forme x x x x est un rel quelconque. e On peut remarquer quil est bien plus rapide de rsoudre en rcrivant d`s le dpart lquation sous la e ee e e e 1 . forme xy + y = 1x 3. Les solutions de (FJ ) sont videmment les primitives des solutions de (EJ ), ce qui conduit directement ` la e a formule donne. e 4. Pour obtenir une solution sur ] , 1[, il faut raccorder une solution sur ] , 0[ ` une solution sur ]0, 1[ a en 0. Puisque L a une limite nie en 0, la seule mani`re dobtenir une limite nie en 0 pour une telle solution e est de choisir la constante A nulle ; puis, pour que les deux solutions aient la mme limite en 0, il faut e prendre la mme valeur de B de part et dautre de 0. e Rciproquement, toute fonction de la forme L + B, o` B est un rel, est de classe C sur ] , 1[ et e u e vrie lquation sur cet intervalle (puisquen particulier L (0) = f (0) = 1). Les solutions cherches sont e e e donc les fonctions de la forme L + B, qui forment une droite ane.