06.04.2014 Views

Rapport sur l'agrégation interne et le CAERPA de mathématiques ...

Rapport sur l'agrégation interne et le CAERPA de mathématiques ...

Rapport sur l'agrégation interne et le CAERPA de mathématiques ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

4.2 Deuxième épreuve écrite<br />

4.2.1 Énoncé <strong>de</strong> la <strong>de</strong>uxième épreuve écrite<br />

Introduction <strong>et</strong> notations<br />

Dans ce problème, on note N l’ensemb<strong>le</strong> <strong>de</strong>s nombres entiers, R <strong>le</strong> corps <strong>de</strong>s nombres réels.<br />

On dit qu’un endomorphisme T d’un espace vectoriel est nilpotent s’il existe un nombre entier s 0<br />

tel que T s = 0 .<br />

Si f est une fonction <strong>de</strong> classe C ∞ <strong>de</strong> la variab<strong>le</strong> réel<strong>le</strong> x <strong>et</strong> n un entier 0 , on note f (n) ou<br />

d n f<br />

la dérivée n-ième <strong>de</strong> la fonction f .<br />

dxn Si g est une fonction <strong>de</strong> classe C ∞ <strong>de</strong> la variab<strong>le</strong> x = (x 1 , . . . , x n ) définie dans une partie ouverte<br />

<strong>de</strong> R n , on note<br />

∂g la dérivée partiel<strong>le</strong> <strong>de</strong> g par rapport à la variab<strong>le</strong> x i , pour 1 i n .<br />

∂x i<br />

Pour <strong>de</strong>s entiers p <strong>et</strong> n tels que 0 p n , on définit <strong>le</strong>s coefficients binomiaux par<br />

( ( ( n n! n (n − 1) . . . (n − p + 1)<br />

n n<br />

=<br />

= pour 0 < p < n, = = 1.<br />

p)<br />

p! (n − p)! p!<br />

0)<br />

n)<br />

L’un <strong>de</strong>s obj<strong>et</strong>s <strong>de</strong> ce problème est la démonstration <strong>et</strong> l’application <strong>de</strong> la formu<strong>le</strong> <strong>de</strong> réversion <strong>de</strong><br />

Lagrange qui perm<strong>et</strong> <strong>de</strong> calcu<strong>le</strong>r, dans certains cas, la dérivée n-ième d’une fonction réciproque.<br />

On étudie d’abord la suite (u n ) n1<br />

(E n ) x n + x n−1 + · · · + x − 1 = 0.<br />

dont <strong>le</strong> terme général est l’unique solution 0 <strong>de</strong> l’équation<br />

Dans un premier temps, on établit directement une expression explicite <strong>de</strong> u n<br />

convergente (parties I <strong>et</strong> II).<br />

On établit ensuite la formu<strong>le</strong> <strong>de</strong> réversion <strong>de</strong> Lagrange (partie III).<br />

comme somme d’une série<br />

On applique enfin c<strong>et</strong>te formu<strong>le</strong> pour obtenir une autre démonstration <strong>de</strong> l’expression <strong>de</strong> u n<br />

(partie IV).<br />

On rappel<strong>le</strong> <strong>le</strong>s résultats suivants qui pourront être utilisés sans démonstration :<br />

A) Lorsque l’entier n tend vers +∞ , on a l’équiva<strong>le</strong>nce (formu<strong>le</strong> <strong>de</strong> Stirling) :<br />

n! ∼ n n e −n √ 2πn .<br />

B) Pour tout entier q 1 , la série entière<br />

∑<br />

( ) n + q − 1<br />

(−1) n n<br />

n0<br />

a un rayon <strong>de</strong> convergence égal à 1 <strong>et</strong>, pour −1 < x < 1 , sa somme est éga<strong>le</strong> à 1/(1 + x) q .<br />

C) Le théorème <strong>de</strong>s fonctions implicites pour une fonction F <strong>de</strong> classe C ∞ , définie <strong>sur</strong> R 3 , peut s’énoncer<br />

ainsi :<br />

x n<br />

On suppose qu’en un point (x 0 , y 0 , z 0 ) <strong>de</strong> R 3 , on a<br />

∂F<br />

F(x 0 , y 0 , z 0 ) = 0 <strong>et</strong><br />

∂z (x 0, y 0 , z 0 ) ≠ 0.<br />

Il existe alors un voisinage ouvert U <strong>de</strong> (x 0 , y 0 ) dans R 2 , un voisinage ouvert V <strong>de</strong> z 0<br />

fonction ϕ : U → V caractérisée par la condition<br />

La fonction ϕ est <strong>de</strong> classe C ∞<br />

∀(x, y) ∈ U, ∀z ∈ V,<br />

(F(x, y, z) = 0 ⇐⇒ z = ϕ(x, y)).<br />

<strong>sur</strong> U <strong>et</strong> pour tout point (a, b) <strong>de</strong> U , on a<br />

F(a, b, ϕ(a, b)) = 0 ,<br />

dans R <strong>et</strong> une<br />

46

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!