Mathématiques 2 MP - Concours Centrale
Transcription
Mathématiques 2 MP - Concours Centrale
MP 4 heures Calculatrices autorisées 2015 Mathématiques 2 Autour des sommes dβEuler uοΏ½ Dans tout le problème, on note pour tout entier π β©Ύ 1, π»uοΏ½ = β +β uοΏ½=1 1 1 1 =1+ +β―+ . π 2 π 1 On note π la fonction définie pour π₯ > 1 par π(π₯) = β uοΏ½ . π uοΏ½=1 Le but du problème est dβétudier des séries faisant intervenir la suite (π»uοΏ½ ) et notamment dβobtenir une relation +β π»uοΏ½ due à Euler qui exprime, pour π entier naturel supérieur ou égal à 2, β à lβaide de valeurs de la (π + 1) uοΏ½ uοΏ½=1 fonction π en des points entiers. I Représentation intégrale de sommes de séries I.A β uοΏ½ 1 dπ‘ ββ« converge. π π‘ uοΏ½β1 I.A.1) Justifier que la série de terme général πuοΏ½ = I.A.2) Montrer quβil existe une constante réelle π΄ telle que π»uοΏ½ = ln π + π΄ + π(1). En déduire que π»uοΏ½ βΌ ln π. I.B β Soit π un entier naturel. +β π»uοΏ½ est-elle convergente ? (π + 1) uοΏ½ uοΏ½β©Ύ1 Pour quelles valeurs de π, la série β +β π»uοΏ½ lorsque la série converge. (π + 1) uοΏ½ uοΏ½=1 Dans toute la suite on notera πuοΏ½ = β I.C β 1 I.C.1) Donner sans démonstration les développements en série entière des fonctions π‘ β¦ ln(1βπ‘) et π‘ β¦ 1βπ‘ ainsi que leur rayon de convergence. I.C.2) En déduire que la fonction π‘β¦β ln(1 β π‘) 1βπ‘ est développable en série entière sur ]β1, 1[ et préciser son développement en série entière à lβaide des réels π»uοΏ½ . I.D β Pour tout couple dβentiers naturels (π, π) et pour tout π β ]0, 1[, on note 1 et πΌuοΏ½,uοΏ½ = β« π‘ uοΏ½ (ln π‘) uοΏ½ dπ‘ 0 1 uοΏ½ πΌuοΏ½,uοΏ½ = β« π‘ uοΏ½ (ln π‘) uοΏ½ dπ‘ uοΏ½ I.D.1) Montrer que lβintégrale πΌuοΏ½,uοΏ½ existe pour tout couple dβentiers naturels (π, π). I.D.2) Montrer que, βπ β β, βπ β ββ , βπ β ]0, 1[, I.D.4) π π uοΏ½+1 (ln π) uοΏ½ uοΏ½ πΌuοΏ½,uοΏ½β1 β . π+1 π+1 π En déduire que lβon a βπ β β, βπ β ββ , πΌuοΏ½,uοΏ½ = β πΌ . π + 1 uοΏ½,uοΏ½β1 En déduire une expression de πΌuοΏ½,uοΏ½ en fonction des entiers π et π. I.E β Soit π un entier naturel non nul et π une fonction développable en série entière sur ]β1, 1[. I.D.3) uοΏ½ πΌuοΏ½,uοΏ½ =β +β πuοΏ½ converge absolument. (π + 1) uοΏ½ uοΏ½β©Ύ0 On suppose que pour tout π₯ dans ]β1, 1[, π(π₯) = β πuοΏ½ π₯ uοΏ½ et que β 1 uοΏ½=0 +β πuοΏ½ . (π + 1) uοΏ½ uοΏ½=0 Montrer que β« (ln π‘)uοΏ½β1 π(π‘) dπ‘ = (β1)uοΏ½β1 (π β 1)! β 0 2015-02-03 09:35:07 Page 1/4 I.F β I.F.1) Déduire des questions précédentes que pour tout entier π β©Ύ 2, +β 1 π»uοΏ½ (β1) uοΏ½ ln(1 β π‘) = β« (ln π‘)uοΏ½β1 dπ‘ uοΏ½ (π + 1) (π β 1)! 1βπ‘ 0 uοΏ½=1 πuοΏ½ = β I.F.2) Établir que lβon a alors πuοΏ½ = I.F.3) En déduire que π2 = 1 (β1) uοΏ½ (ln π‘)uοΏ½β2 (ln(1 β π‘))2 β« dπ‘. 2(π β 2)! 0 π‘ 1 1 (ln π‘)2 β« dπ‘ 2 0 1βπ‘ puis trouver la valeur de π2 en fonction de π(3). II La fonction π½ II.A β La fonction Ξ II.A.1) Soit π₯ > 0. Montrer que π‘ β¦ π‘ uοΏ½β1 π βuοΏ½ est intégrable sur ]0, +β[. Dans toute la suite, on notera Ξ la fonction définie sur β+β par Ξ(π₯) = β« +β π‘ uοΏ½β1 π βuοΏ½ dπ‘. 0 On admettra que Ξ est de classe πβ sur son ensemble de définition, à valeurs strictement positives et quβelle vérifie, pour tout réel π₯ > 0, la relation Ξ(π₯ + 1) = π₯Ξ(π₯). II.A.2) Soit π₯ et πΌ deux réels strictement positifs. Justifier lβexistence de β« π‘ uοΏ½β1 π βuοΏ½uοΏ½ dπ‘ et donner sa valeur 0 en fonction de Ξ(π₯) et πΌ uοΏ½ . II.B β +β La fonction π½ et son équation fonctionnelle 1 Pour (π₯, π¦) dans (β+β )2 , on définit π½(π₯, π¦) = β« π‘ uοΏ½β1 (1 β π‘)uοΏ½β1 dπ‘. 0 II.B.1) Justifier lβexistence de π½(π₯, π¦) pour π₯ > 0 et π¦ > 0. II.B.2) Montrer que pour tous réels π₯ > 0 et π¦ > 0, π½(π₯, π¦) = π½(π¦, π₯). π₯ II.B.3) Soient π₯ > 0 et π¦ > 0. Établir que π½(π₯ + 1, π¦) = π½(π₯, π¦). π₯+π¦ π₯π¦ II.B.4) En déduire que pour π₯ > 0, π¦ > 0, π½(π₯ + 1, π¦ + 1) = π½(π₯, π¦). (π₯ + π¦)(π₯ + π¦ + 1) II.C β Relation entre la fonction π½ et la fonction Ξ Ξ(π₯)Ξ(π¦) On veut montrer que pour π₯ > 0 et π¦ > 0, π½(π₯, π¦) = relation qui sera notée (β). Ξ(π₯ + π¦) II.C.1) Expliquer pourquoi il suffit de montrer la relation (β) pour π₯ > 1 et π¦ > 1. Dans toute la suite de cette question on suppose π₯ > 1 et π¦ > 1. +β π’ uοΏ½β1 II.C.2) Montrer que π½(π₯, π¦) = β« dπ’. (1 + π’)uοΏ½+uοΏ½ 0 π’ On pourra utiliser le changement de variable π‘ = . 1+π’ II.C.3) On note πΉuοΏ½,uοΏ½ la primitive sur β+ de π‘ β¦ π βuοΏ½ π‘ uοΏ½+uοΏ½β1 qui sβannule en 0. Montrer que βπ‘ β β+ , πΉuοΏ½,uοΏ½ (π‘) β©½ Ξ(π₯ + π¦) II.C.4) Soit πΊ(π) = β« 0 +β π’ uοΏ½β1 πΉ ((1 + π’)π) dπ’. (1 + π’)uοΏ½+uοΏ½ uοΏ½,uοΏ½ Montrer que πΊ est définie et continue sur β+ . II.C.5) Montrer que lim πΊ(π) = Ξ(π₯ + π¦)π½(π₯, π¦). uοΏ½β+β II.C.6) Montrer que πΊ est de classe π1 sur tout segment [π, π] inclus dans β+β , puis que πΊ est de classe π1 sur β+β . II.C.7) Exprimer pour π > 0, πΊβ²(π) en fonction de Ξ(π₯), π βuοΏ½ et π uοΏ½β1 II.C.8) Déduire de ce qui précède la relation (β). 2015-02-03 09:35:07 Page 2/4 III La fonction digamma On définit la fonction π (appelée fonction digamma) sur β+β comme étant la dérivée de π₯ β¦ ln(Ξ(π₯)). Ξβ²(π₯) Pour tout réel π₯ > 0, π(π₯) = . Ξ(π₯) 1 III.A β Montrer que pour tout réel π₯ > 0, π(π₯ + 1) β π(π₯) = . π₯ III.B β Sens de variation de π III.B.1) À partir de la relation (β), justifier que βπ½ est définie sur (β+β )2 . βπ¦ βπ½ (π₯, π¦) = π½(π₯, π¦)(π(π¦) β π(π₯ + π¦)). βπ¦ III.B.2) Soit π₯ > 0 fixé. Quel est le sens de variation sur β+β de la fonction π¦ β¦ π½(π₯, π¦) ? Établir que pour tous réels π₯ > 0 et π¦ > 0, III.B.3) Montrer que la fonction π est croissante sur β+β . III.C β Une expression de π comme somme dβune série de fonctions III.C.1) Montrer que pour tout réel π₯ > β1 et pour tout entier π β©Ύ 1 uοΏ½ 1 1 π(1 + π₯) β π(1) = π(π + π₯ + 1) β π(π + 1) + β ( β ) π π+π₯ uοΏ½=1 III.C.2) Soit π un entier β©Ύ 2 et π₯ un réel > β1. On pose π = πΈ(π₯) + 1, où πΈ(π₯) désigne la partie entière de π₯. Prouver que 0 β©½ π(π + π₯ + 1) β π(π) β©½ π»uοΏ½+uοΏ½ β π»uοΏ½β1 β©½ π+1 π III.C.3) En déduire que, pour tout réel π₯ > β1, +β π(1 + π₯) = π(1) + β ( uοΏ½=1 1 1 β ) π π+π₯ III.D β Un développement en série entière On note π la fonction définie sur [β1, +β[ par +β π(π₯) = β ( uοΏ½=2 1 1 β ) π π+π₯ III.D.1) Montrer que π est de classe πβ sur [β1, +β[. Préciser notamment la valeur de π (uοΏ½) (0) en fonction de π(π + 1) pour tout entier π β©Ύ 1. III.D.2) Montrer que pour tout entier π et pour tout π₯ dans ]β1, 1[ uοΏ½ β£π(π₯) β β uοΏ½=0 π (uοΏ½) (0) uοΏ½ π₯ β£ β©½ π(2)|π₯|uοΏ½+1 π! Montrer que π est développable en série entière sur ]β1, 1[. III.D.3) Prouver que pour tout π₯ dans ]β1, 1[, +β π(1 + π₯) = π(1) + β(β1)uοΏ½+1 π(π + 1)π₯ uοΏ½ uοΏ½=1 2015-02-03 09:35:07 Page 3/4 IV Une expression de πuοΏ½ en fonction de valeurs entières de π Dans cette partie, on note π΅ la fonction définie sur β+β par π΅(π₯) = β2 π½ (π₯, 1). βπ¦ 2 IV.A β Une relation entre π΅ et π Justifier que π΅ est définie sur β+β . À lβaide de la relation trouvée au III.B.1 établir que pour tout réel π₯ > 0 π₯π΅(π₯) = (π(1 + π₯) β π(1))2 + (πβ²(1) β πβ²(1 + π₯)) En déduire que π΅ est πβ sur β+β . IV.B β Expression de πuοΏ½ à lβaide de la fonction π΅ 1 IV.B.1) Montrer que pour tout réel π₯ > 0, π΅(π₯) = β« (ln(1 β π‘))2 π‘ uοΏ½β1 dπ‘. 0 IV.B.2) Donner sans justification une expression, à lβaide dβune intégrale, de π΅ (uοΏ½) (π₯), pour tout entier naturel π et tout réel π₯ > 0. (β1) uοΏ½ IV.B.3) En déduire que pour tout entier π β©Ύ 2, πuοΏ½ = lim π΅ (uοΏ½β2) (π₯). 2(π β 2)! uοΏ½β0+ IV.B.4) Retrouver alors la valeur de π2 déjà calculée au I.F.3. IV.C β Soit π la fonction définie ]β1, +β[ par π(π₯) = (π(1 + π₯) β π(1))2 + (πβ²(1) β πβ²(1 + π₯)). IV.C.1) Montrer que π est πβ sur son ensemble de définition et donner pour tout entier naturel π β©Ύ 2 la valeur de π (uοΏ½) (0) en fonction des dérivées successives de π au point 1. IV.C.2) Conclure que, pour tout entier π β©Ύ 3, uοΏ½β2 2πuοΏ½ = ππ(π + 1) β β π(π + 1)π(π β π) uοΏ½=1 β’ β’ β’ FIN β’ β’ β’ 2015-02-03 09:35:07 Page 4/4