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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

1) a) En utilisant <strong>le</strong>s rappels du Préliminaire, démontrer qu’il existe un voisinage U <strong>de</strong> (0, 0) dans R 2<br />

<strong>et</strong> une fonction ϕ : U → R <strong>de</strong> classe C ∞ , tel<strong>le</strong> que ϕ(0, 0) = 0 , <strong>et</strong> F(x, t, ϕ(x, t)) = 0 pour (x, t) ∈ U .<br />

b) Démontrer que l’on a dans U l’égalité<br />

∂ϕ ∂ϕ<br />

= (Φ ◦ ϕ)<br />

∂x ∂t ·<br />

2) On définit la fonction u dans U par u = f ◦ ϕ .<br />

a) Vérifier que la fonction u est <strong>de</strong> classe C ∞ <strong>et</strong> satisfait à l’égalité<br />

∂u ∂u<br />

= (Φ ◦ ϕ)<br />

∂x ∂t ·<br />

b) Plus généra<strong>le</strong>ment, démontrer, par récurrence <strong>sur</strong> l’entier n 1 , que l’on a<br />

∂ n u<br />

(<br />

∂x n = ∂n−1<br />

∂t n−1 (Φ ◦ ϕ) n ∂u )<br />

·<br />

∂t<br />

c) En déduire que l’on a, pour tout entier n 1 <strong>et</strong> pour (0, t) ∈ U , l’égalité<br />

∂ n n−1<br />

u d<br />

(0, t) =<br />

∂xn dt n−1 (Φ(t)n f ′ (t)).<br />

3) Soit g : R → R une fonction <strong>de</strong> classe C ∞ tel<strong>le</strong> que g(0) = 0 <strong>et</strong> g ′ (0) ≠ 0 .<br />

a) Justifier que l’on peut définir une fonction σ dans un voisinage <strong>de</strong> 0 dans R par<br />

σ(s) =<br />

s<br />

g(s)<br />

si s ≠ 0,<br />

σ(0) = 1<br />

g ′ (0)·<br />

b) Démontrer que la fonction σ est <strong>de</strong> classe C 1 au voisinage <strong>de</strong> 0 .<br />

c) Plus précisément, démontrer que la fonction σ est <strong>de</strong> classe C ∞ au voisinage <strong>de</strong> 0 dans R . [Pour<br />

cela, on pourra calcu<strong>le</strong>r <strong>et</strong> utiliser l’intégra<strong>le</strong><br />

∫ 1<br />

0<br />

g ′ (st) dt .]<br />

4) Dans la fin <strong>de</strong> c<strong>et</strong>te partie du problème, on conserve la fonction g <strong>de</strong> la question (III.3). Expliquer<br />

l’existence d’un interval<strong>le</strong> J , voisinage <strong>de</strong> 0 dans R , <strong>et</strong> d’une fonction h , <strong>de</strong> classe C ∞<br />

soit réciproque <strong>de</strong> la restriction g|J .<br />

<strong>sur</strong> g(J) , qui<br />

5) Les résultats <strong>de</strong>s questions (III.1) <strong>et</strong> (III.2) restent valab<strong>le</strong>s lorsque la fonction Φ n’est définie que<br />

dans un voisinage <strong>de</strong> 0 dans R car d’emblée on n’a utilisé que <strong>de</strong>s propriétés loca<strong>le</strong>s <strong>de</strong> la fonction Φ .<br />

On pourra utiliser ces résultats dans ce cadre plus étendu.<br />

Dans c<strong>et</strong>te question, on prend pour fonction f la fonction i<strong>de</strong>ntique (caractérisée par f(x) = x ) <strong>et</strong><br />

pour fonction Φ la fonction σ définie dans la question (III.3).<br />

a) Démontrer que l’on a alors ϕ(x, 0) = h(x) pour x voisin <strong>de</strong> 0 .<br />

b) Démontrer que, pour tout entier n 1 , <strong>le</strong>s fonctions dn h<br />

dx n <strong>et</strong> dn−1 (σ n )<br />

dt n−1<br />

au point 0 , c’est-à-dire<br />

d n h<br />

dx n (0) = dn−1 (σ n )<br />

dt n−1 (0).<br />

C<strong>et</strong>te relation constitue la formu<strong>le</strong> <strong>de</strong> réversion <strong>de</strong> Lagrange.<br />

prennent la même va<strong>le</strong>ur<br />

6) Plus généra<strong>le</strong>ment, démontrer, pour tout entier n 1 <strong>et</strong> pour toute fonction f <strong>de</strong> classe C ∞ <strong>sur</strong> R ,<br />

la relation<br />

d n (f ◦ h)<br />

dx n (0) = dn−1 (σ n f ′ )<br />

dt n−1 (0).<br />

50

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

Saved successfully!

Ooh no, something went wrong!