TSI

4 heures

Calculatrices autorises

2014

Mathmatiques 1
I Polynmes et nombres de Bernoulli

Dans lespace [] des polynmes coecients rels, on considre le -espace vectoriel dni par
1

= []; () d = 0
0

Dans tout le problme, on confond les polynmes et les fonctions polynmes.

On note lapplication linaire de dans [] qui tout polynme associe son polynme driv
( ) =

,
On identiera polynme constant et nombre rel.
I.A
I.A.1)

Soit [].
1

laide de lgalit = () d+ () d, montrer quil existe un unique couple (, )

0

tel que = + .
I.A.2) En dduire que est surjectif.

I.A.3) Montrer que est un isomorphisme.

On note = 1 , lisomorphisme rciproque. Ainsi, si [], le polynme tel que = () est lunique
polynme dans tel que = .
I.A.4) Soit []. On note la fonction dnie par
,

() = () d + ( 1) () d
0

On pourra considrer une primitive de .

a) Montrer que .
b) Vrier que = ( ).
I.B

On considre la suite de polynmes ( ) dnie par 0 = 1 et par la relation de rcurrence

,

+1 = ( )

Le polynme est le -ime polynme de Bernoulli.

I.B.1) Calculer 1 et 2 .
I.B.2)
I.C

Dmontrer que pour tout entier 2, (0) = (1).

Soit , on dnit le polynme par
,

I.C.1)
I.C.2)
I.C.3)
I.C.4)

() = (1) (1 )

Pour tout , exprimer +1

laide de .

Montrer que pour tout , +1 = ( ).

En dduire que pour tout et tout , (1 ) = (1) ().

Pour tout , montrer que les nombres 2+1 (0) et 2+1 (1) sont nuls.

I.D
crire une procdure Bern qui prend en argument un nombre entier et un nombre rel et qui
ache la valeur de lexpression (). On utilisera le langage de programmation associ au logiciel de calcul
formel usuellement utilis.

2014-01-27 09:57:38

Page 1/3

II Dveloppement de Fourier
On pose pour tout , = (0). Le nombre est le -ime nombre de Bernoulli.
Pour tout polynme , on dsigne par la fonction priodique de priode 1 dnie par
]0, 1[,

() = ()

et (0) =

(0) + (1)
2

II.A
II.A.1) Tracer le graphe de 2 sur lintervalle [1, 2].

II.A.2) La fonction 2 est-elle continue sur ? Est-elle de classe C1 sur ? De classe C1 par morceaux sur ?
II.A.3) La fonction 1 est-elle continue ?
II.B

Soit [].

II.B.1) Prouver que la fonction est C1 par morceaux sur . quelle condition est-elle continue sur ?
II.B.2) Montrer que, pour tout , on a
+

() = 0 + ( cos(2) + sin(2))
=1

o les nombres 0 , 1 , et 1 , 2 , sont les coecients de Fourier de (), dont on donnera les expressions
sous forme dintgrales.
II.C laide de la partie I, montrer que pour tout , la fonction 2 () est paire et continue
sur .
II.D Pour tout et tout , on pose
1

() = 2 () cos(2) d
0

II.D.1) Pour tout , calculer 0 ().

II.D.2) Pour tout et tout , trouver une relation de rcurrence entre ( + 1) et ().
II.D.3) Pour tout , calculer (1).

II.D.4) Soit . Montrer que pour tout 0, 1, on a

+

2 () = 2(1)1
=1

II.D.5) Pour , on pose 2 =

=1

1
cos(2)
(2)2

1
. Justier lexistence de ce nombre et montrer que
2
2 =

II.D.6) Dterminer la valeur de 2 =

=1

(1)1
(2)2 2
2

1
.
2

III La formule dEuler - Mac Laurin

Le nombre est un entier naturel non nul et une fonction de classe C2 sur [0, 1] et valeurs dans .
Pour tout entier compris entre 1 et 2, on note () la drive dordre de la fonction .
1

III.A On pose = 2 () (2) () d.

0

Pour 2, dmontrer la relation

= 2 (21) (1) (21) (0) + 1
III.B Montrer que
1

() d =
0

2014-01-27 09:57:38

(0) + (1)
2 ( (1) (0)) + 1
2

Page 2/3

III.C En dduire que

1

() d =
0

(1) + (0)
2 (21) (1) (21) (0) +
2
=1

III.D Soit une fonction de classe C2 sur un intervalle [, ] avec < .

En considrant la fonction ((1 ) + ) dnie sur [0, 1], montrer que lon obtient la formule dEuler Mac Laurin :

() d =

(() + ()) ( )2 2 (21) () (21) () +

2
=1

o = ( )2+1 2 () (2) ((1 ) + ) d.

0

IV La formule de Stirling pour la fonction

Soit la fonction de la variable relle dnie par () =

1 d.

IV.A Justier que lensemble de dnition de la fonction est + .

IV.B
IV.B.1) Montrer que pour tout > 0, ( + 1) = ().
IV.B.2) En dduire ( + 1) pour tout .
IV.C Montrer que la fonction est de classe C1 sur + .
On admet quelle est de classe C sur + .
IV.D Soit la fonction dnie par :

+ ,

() = ln (())

IV.D.1) Justier que pour tout , la fonction est de classe C2 sur + .

IV.D.2) Pour tout rel > 0, calculer ( + 1) ().

IV.D.3) Dmontrer quil existe une constante tel que

> 0,

+1

() d = ln() +

IV.D.4) Soit un entier strictement positif.

Montrer que, pour tout > 0, on a

ln (( + 1)) + ln (())
(2 2)!
= ln() + +
()
2
21 2
=1
1

o () = 2 () (2) ( + ) d.
0

La relation prcdente permet dtablir la formule de Stirling pour la fonction

( + 1) 2
+

aprs avoir prouv que

lim () = 0

FIN

2014-01-27 09:57:38

Page 3/3