Vous êtes sur la page 1sur 4

MP

4 heures

Calculatrices autorises

2015

Mathmatiques 2
Autour des sommes dEuler
u

Dans tout le problme, on note pour tout entier 1, u =


+

u=1

1
1
1
=1+ ++ .

1
On note la fonction dfinie pour > 1 par () = u .

u=1

Le but du problme est dtudier des sries faisant intervenir la suite (u ) et notamment dobtenir une relation
+
u
due Euler qui exprime, pour entier naturel suprieur ou gal 2,
laide de valeurs de la
( + 1) u
u=1
fonction en des points entiers.

I Reprsentation intgrale de sommes de sries


I.A
u
1
d

converge.

u1

I.A.1)

Justifier que la srie de terme gnral u =

I.A.2)

Montrer quil existe une constante relle telle que u = ln + + (1). En dduire que u ln .

I.B

Soit un entier naturel.

u
est-elle convergente ?
( + 1) u
u1

Pour quelles valeurs de , la srie

u
lorsque la srie converge.
( + 1) u
u=1

Dans toute la suite on notera u =


I.C

1
I.C.1) Donner sans dmonstration les dveloppements en srie entire des fonctions ln(1) et
1
ainsi que leur rayon de convergence.
I.C.2) En dduire que la fonction

ln(1 )
1

est dveloppable en srie entire sur ]1, 1[ et prciser son dveloppement en srie entire laide des rels u .
I.D
Pour tout couple dentiers naturels (, ) et pour tout ]0, 1[, on note
1

et

u,u = u (ln ) u d
0

u
u,u
= u (ln ) u d
u

I.D.1)

Montrer que lintgrale u,u existe pour tout couple dentiers naturels (, ).

I.D.2)

Montrer que, , , ]0, 1[,

I.D.4)

u+1 (ln ) u
u
u,u1

.
+1
+1

En dduire que lon a , , u,u =

.
+ 1 u,u1
En dduire une expression de u,u en fonction des entiers et .

I.E

Soit un entier naturel non nul et une fonction dveloppable en srie entire sur ]1, 1[.

I.D.3)

u
u,u
=

u
converge absolument.
(
+
1) u
u0

On suppose que pour tout dans ]1, 1[, () = u u et que


1

u=0
+

u
.
(
+
1) u
u=0

Montrer que (ln )u1 () d = (1)u1 ( 1)!


0

2015-02-03 09:35:07

Page 1/4

I.F
I.F.1)

Dduire des questions prcdentes que pour tout entier 2,


+

1
u
(1) u
ln(1 )
=
(ln )u1
d
u
(
+
1)
(

1)!
1
0
u=1

u =
I.F.2)

tablir que lon a alors u =

I.F.3)

En dduire que 2 =

1
(1) u
(ln )u2 (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 u1 u est intgrable sur ]0, +[.
Dans toute la suite, on notera la fonction dfinie sur + par () =

u1 u d.

On admettra que est de classe sur son ensemble de dfinition, valeurs strictement positives et quelle
vrifie, pour tout rel > 0, la relation ( + 1) = ().
II.A.2) Soit et deux rels strictement positifs. Justifier lexistence de

u1 uu d et donner sa valeur

en fonction de () et u .
II.B

La fonction et son quation fonctionnelle


1

Pour (, ) dans (+ )2 , on dfinit (, ) = u1 (1 )u1 d.


0

II.B.1) Justifier lexistence de (, ) pour > 0 et > 0.


II.B.2) Montrer que pour tous rels > 0 et > 0, (, ) = (, ).

II.B.3) Soient > 0 et > 0. tablir que ( + 1, ) =


(, ).
+

II.B.4) En dduire 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 note ().
( + )
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.
+
u1
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+u1 qui sannule en 0. Montrer que
+ , u,u () ( + )
II.C.4) Soit () =
0

u1
((1 + )) d.
(1 + )u+u u,u

Montrer que est dfinie 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 u1
II.C.8) Dduire de ce qui prcde la relation ().

2015-02-03 09:35:07

Page 2/4

III La fonction digamma


On dfinit la fonction (appele fonction digamma) sur + comme tant la drive de ln(()).
()
Pour tout rel > 0, () =
.
()
1
III.A Montrer que pour tout rel > 0, ( + 1) () = .

III.B Sens de variation de


III.B.1) partir de la relation (), justifier que

est dfinie sur (+ )2 .

(, ) = (, )(() ( + )).

III.B.2) Soit > 0 fix. Quel est le sens de variation sur + de la fonction (, ) ?
tablir que pour tous rels > 0 et > 0,

III.B.3) Montrer que la fonction est croissante sur + .


III.C Une expression de comme somme dune srie de fonctions
III.C.1) Montrer que pour tout rel > 1 et pour tout entier 1
u
1
1
(1 + ) (1) = ( + + 1) ( + 1) + (
)
+
u=1

III.C.2) Soit un entier 2 et un rel > 1. On pose = () + 1, o () dsigne la partie entire de .


Prouver que
0 ( + + 1) () u+u u1

+1

III.C.3) En dduire que, pour tout rel > 1,


+

(1 + ) = (1) + (
u=1

1
1

)
+

III.D Un dveloppement en srie entire


On note la fonction dfinie sur [1, +[ par
+

() = (
u=2

1
1

)
+

III.D.1) Montrer que est de classe sur [1, +[.


Prciser 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 dveloppable en srie entire 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 entires de


Dans cette partie, on note la fonction dfinie sur + par () =

2
(, 1).
2

IV.A Une relation entre et


Justifier que est dfinie sur + .
laide de la relation trouve au III.B.1 tablir que pour tout rel > 0
() = ((1 + ) (1))2 + ((1) (1 + ))
En dduire que est sur + .
IV.B Expression de u laide de la fonction
1

IV.B.1) Montrer que pour tout rel > 0, () = (ln(1 ))2 u1 d.


0

IV.B.2) Donner sans justification une expression, laide dune intgrale, de (u) (), pour tout entier naturel
et tout rel > 0.
(1) u
IV.B.3) En dduire que pour tout entier 2, u =
lim (u2) ().
2( 2)! u0+
IV.B.4) Retrouver alors la valeur de 2 dj calcule au I.F.3.
IV.C Soit la fonction dfinie ]1, +[ par () = ((1 + ) (1))2 + ((1) (1 + )).
IV.C.1) Montrer que est sur son ensemble de dfinition et donner pour tout entier naturel 2 la
valeur de (u) (0) en fonction des drives successives de au point 1.
IV.C.2) Conclure que, pour tout entier 3,
u2

2u = ( + 1) ( + 1)( )
u=1

FIN

2015-02-03 09:35:07

Page 4/4