Marc Fouchard
Le but de cet exercice est de résoudre l'équation de Kepler par la méthode de Newton.
L'équation de Kepler est:
où s'appelle l'anomalie excentrique,
l'anomalie moyenne et
l'excentricité. Dans le cas présent on a
,
et
.
Dans l'exercice on va se limiter à l'intervalle
. On peut facilement en déduire la résolution de l'équation dans l'intervalle
par symétrie.
La figure ci-dessus montre le lien entre ces anomalies.
On peut voir l'exercice suivant pour voir des méthodes plus complexes de résolution de l'équation de Kepler. Le cas hyperbolique fait l'objet de cet exercice.
Difficulté : ☆ Temps : 30 mn
Soit la fonction définie par
, avec
une constante.
Montrer que
est continue, dérivable deux fois et que
et pour
,
.
Soit le nombre réel tel que
(on peut montrer rapidement que
existe d'après la continuité de
et le théorème de la valeur intermédiaire). Montrer que pour
,
est strictement positive.
Montrer que la courbe représentative de est au dessus de sa tangente sur
.
En déduire que la suite définie par:
,
avec , est décroissante et minorée par
.
En déduire que la suite converge et que sa limite est
.
pages_suites-reelles/exo-keplerxnewton.html
est évidemment continue est dérivable deux fois puisqu'elle est la somme d'une fonction affine et de la fonction sinus.
On a:
.
Comme , on a bien
pour tout
de
.
De même on a:
,
donc on a bien pour tout
.
Sur ,
est strictement positive, donc
est strictement croissante. Comme
on en déduit que
sur
.
En on a:
.
On remarque facilement que ,
et
. Ainsi
est une fonction croissante au voisinage de
, donc
est négative pour
et positive pour
. Donc
correspond à une minimum pour
. Ainsi au voisinage de
on a
ce qui montre que la courbe représentative de
est effectivement au dessus de sa tangente.
Comme et
sont positives sur
, la suite
est effectivement décroissante tant que les valeurs de la suite restent dans l'intervalle
. D'autre part, en remarquant que le point de l'axe des abscisses d'abscisse
est l'intersection de la tangente au point d'abscisse
à la courbe représentative de
avec l'axe des abscisses, on en déduit que
puisque la tangente est en-dessous de la courbe représentative de
. Comme
est croissante et que
on a bien
.
étant décroissante est minorée par
, elle converge vers une limite
. A la limite on a :
,
Donc . Ainsi on a bien
.