Vecteur de Runge-Lenz 218728 31845911 2008-07-24T10:44:18Z Kropotkine 113 124118 /* Conservation et symétrie */ / typographie {{en travaux}} : ''Dans cet article les [[vecteur]]s et leurs [[norme (mathématiques)|norme]]s sont indiqués respectivement en [[graisse (typographie)|gras]] et [[italique (typographie)|italique]]. Par exemple : <math>\left|\left| \mathbf{A} \right|\right| = A</math>.'' En [[mécanique classique]], le '''vecteur de Runge-Lenz''' ou '''invariant de Runge-Lenz''' est un [[vecteur]] utilisé principalement pour décrire la forme et et l'orientation de l'[[orbite]] d'un corps astronomique autour d'un autre, comme dans le cas d'une planète autour d'un soleil. Pour deux corps en [[Gravitation|interaction gravitationnelle]], le vecteur de Runge-Lenz est une [[constante du mouvement]], ce qui signifie qu'il prend la même valeur en n'importe quel point de l'orbite<ref name="goldstein_1980">{{cite book | last=Goldstein | first=H. | authorlink=Herbert Goldstein | year=1980 | title=Classical Mechanics | edition=2<sup>nd</sup> edition | publisher=Addison Wesley | pages=102&ndash;105,421&ndash;422}}</ref> ; de manière équivalente on dit le vecteur de Runge-Lenz se conserve. Plus généralement le vecteur de Runge-Lenz est conservé pour n'importe quel [[problème à deux corps]] interagissant par le biais d'une [[force centrale]] variant comme l'[[loi en carré inverse|inverse du carré de la distance]] entre eux. De tels problèmes sont appelés « problèmes de Kepler »<ref>{{cite book | last = Arnold | first = VI | authorlink = Vladimir Arnold | year = 1989 | title = Mathematical Methods of Classical Mechanics, 2nd ed. | publisher = Springer-Verlag | location = New York | pages = 38 | id = ISBN 0-387-96890-3}}</ref>. L'[[atome d'hydrogène]] est un problème de Kepler puisqu'il comprend deux charges en interaction électrostatique, une autre force centrale en carré inverse de la distance. Le vecteur de Runge-Lenz fut essentiel dans les premières descriptions [[quantique]]s du [[spectre d'émission]] de l'atome d'hydrogène<ref name="pauli_1926">{{cite journal | last = Pauli | first = W | authorlink = Wolfgang Pauli | year = 1926 | title = Über das Wasserstoffspektrum vom Standpunkt der neuen Quantenmechanik | journal = Zeitschrift für Physik | volume = 36 | pages = 336&ndash;363}}</ref> après le développement de l'[[équation de Schrödinger]]. Cependant cette approche est aujourd'hui très peu utilisée. En mécaniques [[mécanique classique|classique]] et [[mécanique quantique|quantique]], les grandeurs conservées correspondent généralement à une [[symétrie (physique)|symétrie]] du problème. La conservation du vecteur de Runge-Lenz est associée à une symétrie inhabituelle : le problème de Kepler est mathématiquement équivalent à une particule se déplaçant librement sur une 3-sphère<ref name="fock_1935" >{{cite journal | last = Fock | first = V | authorlink = Vladimir Fock | year = 1935 | title = Zur Theorie des Wasserstoffatoms | journal = Zeitschrift für Physik | volume = 98 | pages = 145&ndash;154}}</ref>, ce qui implique que le problème et symétrique pour certaines rotations dans un espace à quatre dimensions<ref name="bargmann_1936" >{{cite journal | last = Bargmann | first = V | authorlink = Valentine Bargmann | year = 1936 | title = Zur Theorie des Wasserstoffatoms: Bemerkungen zur gleichnamigen Arbeit von V. Fock | journal = Zeitschrift für Physik | volume = 99 | pages = 576&ndash;582}}</ref>. Cette symétrie supérieure résulte de deux propriétés du problème de Kepler : le vecteur vitesse se déplace toujours dans un cercle parfait et, pour une [[énergie]] totale donnée, tous les cercles de vitesse s'interceptent en deux mêmes points<ref name="hamilton_1847_hodograph">{{cite journal | last = Hamilton | first = WR | authorlink = William Rowan Hamilton | year = 1847 | title = Unknown title | journal = Proceedings of the Royal Irish Academy | volume = 3 | pages = 344ff}}</ref>. Le vecteur de Runge–Lenz est nommé d'après [[Carl Runge]] et [[Wilhelm Lenz]]. Il est également connu sous le nom de '''vecteur de Laplace''' (d'après [[Pierre-Simon Laplace|Pierre-Simon de Laplace]]) bien qu'aucun de ces scientifiques ne l'ait découvert. Le vecteur de Runge-Lenz a en réalité été redécouvert plusieurs fois<ref name="goldstein_1975_1976">{{cite journal | last=Goldstein | first=H. | authorlink=Herbert Goldstein | year=1975 | title=Prehistory of the Runge–Lenz vector | journal=[[American Journal of Physics]] | volume=43 | pages=735&ndash;738}}<br />{{cite journal | last=Goldstein | first=H. | authorlink=Herbert Goldstein | year=1976 | title=More on the prehistory of the Runge–Lenz vector | journal=[[American Journal of Physics]] | volume=44 | pages=1123&ndash;1124}}</ref> et il est équivalent au [[vecteur excentricité]] de la [[mécanique céleste]]<ref name="hamilton_1847_quaternions">{{cite journal | last = Hamilton | first = WR | authorlink = William Rowan Hamilton | year = 1847 | title = Applications of Quaternions to Some Dynamical Questions | journal = Proceedings of the Royal Irish Academy | volume = 3 | pages = Appendix III}}</ref>. Plusieurs généralisations du vecteur de Runge-Lenz ont été définies pour tenir compte de la [[relativité générale]], du [[champ électromagnétique]] et des différents types de forces centrales. == Contexte == Une particule seule se déplaçant sous l'effet d'un [[force centrale]] [[conservation de l'énergie|conservative]] possède au minimum quatre constantes du mouvement : son [[énergie]] totale, et les trois [[composantes d'un vecteur|composante du vecteur]] [[moment cinétique]] '''L'''. La [[trajectoire]] de la particule est contenue dans un plan définie par sa [[quantité de mouvement]] initiale '''p''' (ou de manière équivalente par sa vitesse '''v''') et par le rayon-vecteur '''r''' entre la particule et le centre de force (voir ci-dessous Figure 1). Comme défini ci-dessous (voir [[#Définitions mathématiques|Définitions mathématiques]]), le vecteur de Runge-Lenz '''A''' est toujours contenu dans le plan de la trajectoire pour une force centrale. Cependant '''A''' n'est constant que pour une force centrale en carré inverse<ref name="goldstein_1980" />. Pour de nombreuses forces [[#Définitions mathématiques|ce vecteur]] '''A''' n'est pas constant mais change en norme et en direction ; si le champ de force centrale suit approximativement une loi en carré inverse, le vecteur '''A''' est approximativement constant en norme mais tourne lentement en direction. Un vecteur de Runge-Lenz ''généralisé'' <math>\mathcal{A}</math> se conservant [[#Généralisations|peut être défini]] pour toutes les forces centrales mais le vecteur est alors une fonction compliquée de la position et n'est généralement pas exprimable de façon analytique<ref name="fradkin_1967">{{cite journal | last = Fradkin | first = DM | year = 1967 | title = Existence of the Dynamic Symmetries O<sub>4</sub> and SU<sub>3</sub> for All Classical Central Potential Problems | journal = Progress of Theoretical Physics | volume = 37 | pages = 798&ndash;812}}</ref>{{,}}<ref name="yoshida_1987">{{cite journal | last = Yoshida | first = T | year = 1987 | title = Two methods of generalisation of the Laplace–Runge–Lenz vector | journal = European Journal of Physics | volume = 8 | pages = 258&ndash;259}}</ref>. Le plan de la trajectoire est perpendiculaire au vecteur moment cinétique '''L''' qui est constant ; ceci peut être exprimé par le [[produit scalaire]] '''r·L''' = 0 ; de la même façon, '''A''' étant contenu dans ce plan : '''A·L''' = 0. == Histoire des redécouvertes== Le vecteur de Runge-Lenz '''A''' est une [[constante du mouvement]] du problème de Kepler, utile pour décrire les [[orbite|orbites astronomiques]], telles que le mouvement des [[planète]]s. Néanmoins son usage n'a jamais été très répandu parmi les physiciens peut-être parce qu'il est moins intuitif que la [[quantité de mouvement]] ou le [[moment cinétique]]. C'est la raison pour laquelle il a été redécouvert plusieurs fois au cours des trois derniers siècles<ref name="goldstein_1975_1976" />. [[Jakob Hermann]] est le premier à montrer que '''A''' est conservé dans le cas particulier des forces centrales en carré inverse<ref>{{cite journal| last = Hermann | first = J | authorlink = Jakob Hermann | year = 1710 | title = Unknown title | journal = Giornale de Letterati D'Italia | volume = 2 | pages = 447&ndash;467}}<br />{{cite journal| last = Hermann | first = J | authorlink = Jakob Hermann | year = 1710 | title = Extrait d'une lettre de M. Herman à M. Bernoulli datée de Padoüe le 12. Juillet 1710 | journal = Histoire de l'academie royale des sciences (Paris) | volume = 1732 | pages = 519&ndash;521}}</ref>, et travailla sur ses connexions avec l'[[excentricité orbitale]] dans le cas des orbitales [[ellipse|elliptiques]]. Les travaux de Hermann sont généralisés dans leur forme moderne par [[Jean Bernoulli]] en 1710<ref>{{cite journal| last = Bernoulli | first = J | authorlink = Johann Bernoulli | year = 1710 | title = Extrait de la Réponse de M. Bernoulli à M. Herman datée de Basle le 7. Octobre 1710 | journal = Histoire de l'academie royale des sciences (Paris) | volume = 1732 | pages = 521&ndash;544}}</ref>. À la fin du XVIIIe siècle, [[Pierre-Simon Laplace|Pierre-Simon de Laplace]] redécouvre la conservation de '''A''', l'obtenant de manière analytique et non plus de façon géométrique<ref>{{cite book | last = Laplace | first = PS | authorlink = Pierre-Simon Laplace | year = 1799 | title = Traité de mécanique celeste | pages = Tome I, Premiere Partie, Livre II, pp.165ff}}</ref>. Vers le milieu du XIXe siècle, [[William Rowan Hamilton]] détermine le [[vecteur excentricité]], qui est équivalent<ref name="hamilton_1847_quaternions" />, et l'utilise pour montrer que le vecteur quantité de mouvement '''p''' décrit un cercle pour un mouvement effectué sous une force centrale en carré inverse (Figure 3)<ref name="hamilton_1847_hodograph" />. Au début du XXe siècle, [[Josiah Willard Gibbs]] trouve le même vecteur par [[analyse vectorielle]]<ref>{{cite book | last = Gibbs | first = JW | authorlink = Josiah Willard Gibbs | coauthors = Wilson EB | year = 1901 | title = Vector Analysis | publisher = Scribners | location = New York | pages = p. 135}}</ref>. La méthode de Gibbs est citée en exemple par [[Carl Runge]] dans un livre allemand sur les vecteurs<ref>{{cite book | last = Runge | first = C | authorlink = Carl Runge | year = 1919 | title = Vektoranalysis | publisher = Hirzel | location = Leipzig | pages = Volume I}}</ref> qui fut référencé par [[Wilhelm Lenz]] dans son article sur le traitement [[mécanique quantique|quantiquel]] de l'[[atome d'hydrogène]]<ref>{{cite journal | last = Lenz | first = W | authorlink = Wilhelm Lenz | year = 1924 | title = Über den Bewegungsverlauf und Quantenzustände der gestörten Keplerbewegung | journal = Zeitschrift für Physik | volume = 24 | pages = 197&ndash;207}}</ref>. En 1926, le vecteur est utilisé par [[Wolfgang Pauli]] pour déterminer le spectre de l'hydrogène en utilisant la [[mécanique matricielle]] et non l'[[équation de Schrödinger]]<ref name="pauli_1926" /> ; après l'article de Pauli il commence à être connu sous le nom de ''vecteur de Runge–Lenz''. == Définitions mathématiques == Pour une particule seule mise en mouvement par une force centrale en carré inverse de la distance décrite par l'équation <math>\mathbf{F}(r)=\frac{-k}{r^{2}}\mathbf{\hat{r}}</math>, le vecteur de Runge-Lenz '''A''' est défini mathématiquement par la formule<ref name="goldstein_1980" /> [[Image:Laplace Runge Lenz vector.svg|thumb|right|Figure 1: Le vecteur de Runge-Lenz '''A''' (en rouge) en quatre points (notés 1, 2, 3, 4) de l'orbite elliptique d'une particule liée se déplaçant sous l'effet d'une [[force centrale]] en [[loi en carré inverse|carré inverse]]. Le centre d'attraction est représenté par le point noir duquel partent les rayons vecteurs '''r'''. Le vecteur [[moment cinétique]] '''L''' est perpendiculaire à l'orbite. Les vecteurs coplanaires '''p''' ∧ '''L''' and ''(mk/r)'''''r''' sont respectivement en bleu et vert ; ces variables sont définies [[#Définitions mathématiques|plus bas]]. Le vecteur '''A''' est constant en direction et en norme.]] :<math> \mathbf{A} = \mathbf{p} \wedge \mathbf{L} - m k \mathbf{\hat{r}} </math> où * <math>m\!\,</math> est le [[masse]] de la particule ponctuelle se déplaçant sous l'effet de la [[force centrale]], * <math>\mathbf{p}\!\,</math> est le vecteur [[quantité de mouvement]], * <math>\mathbf{L} = \mathbf{r} \wedge \mathbf{p}\!\,</math> est son vecteur [[moment cinétique]], * <math>k\!\,</math> est un paramètre décrivant l'intensité de la force, * <math>\mathbf{r}\!\,</math> est le vecteur position de la particule (Figure 1), et * <math>\mathbf{\hat{r}}\!\,</math> est le [[vecteur unitaire]] correspondant, i.e., <math>\mathbf{\hat{r}} = \frac{\mathbf{r}}{r}</math> où ''r'' est la norme de '''r'''. Étant donné que la force est supposée [[Conservation de l'énergie|conservative]], l'[[énergie]] totale ''E'' est une [[constante du mouvement]] :<math> E = \frac{p^{2}}{2m} - \frac{k}{r} = \frac{1}{2} mv^{2} - \frac{k}{r} </math> De plus la force étant centrale, le moment cinétique '''L''' est également constant et définit le plan dans lequel la particule se déplace. Le veceur de Runge-Lenz est perpendiculaire à '''L''' car '''p''' ∧ '''L''' et '''r''' sont perpendiculaires à '''L'''. Il s'ensuit que '''A''' est contenu dans le [[plan (mathématiques)|plan]] de l'[[orbite]]. Cette définition de '''A''' est applicable pour une particule seule et ponctuelle de masse ''m'' se déplaçant sous l'effet d'une force donnée. Cependant la même définition peut être étendue au [[problème à deux corps]], tel que le problème de Kepler, en prenant pour ''m'' la [[masse réduite]] des deux corps et pour '''r''' le [[vecteur]] entre les deux corps. Une [[#Généralisations|alternative]] pour la même constante du mouvement est également possible. La plus commue est de diviser par <math>mk</math> pour définir le [[vecteur excentricité]] :<math> \mathbf{e} = \frac{\mathbf{A}}{m k} = \frac{1}{m k}(\mathbf{p} \wedge \mathbf{L}) - \mathbf{\hat{r}} </math> == Obtention de l'orbite de Kepler== [[Image:Laplace Runge Lenz vector2.svg|thumb|right|Figure 2: version simplifiée de la Figure 1, définissant l'angle θ entre '''A''' et '''r''' en un point de l'orbite.]] La forme et l'orientation des orbites dans le problème à deux corps de Kepler peuvent être déterminées à partir du vecteur de Runge-Lenz comme suit<ref name="goldstein_1980" />. Le produit scalaire de '''A''' par le vecteur position '''r''' donne l'équation :<math> \mathbf{A} \cdot \mathbf{r} = Ar \cos\theta = \mathbf{r} \cdot \left( \mathbf{p} \wedge \mathbf{L} \right) - mkr </math> où θ est l'angle entre '''r''' et '''A''' (Figure 2). En permutant le [[Calcul vectoriel en géométrie euclidienne#Produit mixte|produit mixte]] :<math> \mathbf{r} \cdot\left(\mathbf{p}\wedge \mathbf{L}\right) = \left(\mathbf{r} \wedge \mathbf{p}\right)\cdot\mathbf{L} = \mathbf{L}\cdot\mathbf{L}=L^2 </math> et un réarrangement conduit à la formule de définition d'une [[conique]] :<math> \frac{1}{r} = \frac{mk}{L^{2}} \left( 1 + \frac{A}{mk} \cos\theta \right) </math> d'[[excentricité]] <math>e\!\,</math> :<math> e = \frac{A}{mk} = \frac{\left|\mathbf{A}\right|}{m k} </math> et de paramètre ''p'' :<math> \left| p \right| = \frac{2L^{2}}{mk} </math> Le demi [[grand-axe]] ''a'' de la conique peut être obtenu à partir du paramètre et l'excentricité :<math> a \left( 1 \pm e^{2} \right) = p = \frac{L^{2}}{mk} </math> où le signe moins désigne une [[ellipse]] et le signe plus une [[hyperbole]]. La norme de '''A''' mène à une équation faisant intervenir l'énergie ''E'' :<math> A^2= m^2 k^2 + 2 m E L^2 \, </math> ce qui peut être réécrit en terme d'excentricité :<math> e^{2} - 1= \frac{2L^{2}}{mk^{2}}E </math> Donc, si l'énergie est négative (état lié) l'excentricité est inférieure à un et l'orbite est une ellipse. Si l'énergie est positive (état libre ou état de diffusion), l'excentricité est supérieure à un est l'orbite est une hyperbole. Pour finir, si l'énergie est exactement égale à zéro l'orbite est une [[parabole]] (excentricité égale à 1). Dans tous les cas '''A''' est colinéaire à l'axe de [[symétrie]] de la conique et est dirigé du centre de force vers le [[periapside]], point de plus courte approche. == Hodographes circulaires de la quantité de mouvement == [[Image:Kepler hodograph3.svg|thumb|right|Figure 3 : le vecteur quantité de mouvement '''p''' (en bleue) décrit un cercle quand la particule se déplace sur l'ellipse. Les quatre points notés sont ceux de la Figure 1. Le cercle est centré sur l'axe ''p<sub>y</sub>'' à la position ''A/L'' (en magenta) et a un rayon ''mk/L'' (en vert). L'angle η détermine l'excentricité ''e'' de l'orbite elliptique (cos η = ''e''). Par le théorème des angles inscrits dans un cercle, η est aussi l'angle formé par n'importe quel point du cercle et les deux points d'intersection avec l'axe ''p<sub>x</sub>'' situés en ''p<sub>x</sub>''=±''p<sub>0</sub>''.]] La conservation du vecteur de Runge-Lenz '''A''' et du vecteur moment cinétique '''L''' est utile pour montrer que le vecteur '''p''' se déplace sur un cercle dans un mouvement à [[force centrale]] suivant une [[loi en carré inverse]]<ref name="hamilton_1847_hodograph" />{{,}}<ref name="goldstein_1975_1976" />. Le [[produit vectoriel]] de '''A''' et '''L''' mène à une équation pour '''p''' :<math> L^{2} \mathbf{p} = \mathbf{L} \wedge \mathbf{A} - mk \hat{\mathbf{r}} \wedge \mathbf{L} </math> En prenant '''L''' le long de l'axe ''z'' et le grand-axe suivant l'axe ''x'' on obtient l'équation : :<math> p_{x}^{2} + \left(p_{y} - A/L \right)^{2} = \left( mk/L \right)^{2} </math> En d'autres termes, le vecteur quantité de mouvement '''p''' décrit un cercle de rayon ''mk/L'' centré en (0, ''A/L''). L'excentricité ''e'' correspond au cosinus de l'angle η vu à la Figure 3. Il est également intéressant d'introduire la variable <math>p_{0} = \sqrt{2m\left| E \right|}</math>. Cet [[hodographe]] circulaire permet d'illustrer la [[symétrie]] du problème de Kepler. == Constantes du mouvement et superintégrabilité == Les sept grandeurs [[scalaire]]s ''E'', '''A''' et '''L''' (étant de vecteurs, les deux dernières comptent comme trois grandeurs conservées chacune) sont reliées par deux équations '''A''' · '''L''' = 0 et ''A<sup>2</sup> = m<sup>2</sup>k<sup>2</sup> + 2 m E L<sup>2</sup>'', ce qui laisse 5 constantes du mouvement indépendantes. Ceci est cohérent avec les six conditions initiales du système (la position initiale et le vecteur vitesse initiale ayant chacune trois composantes) qui détermine l'orbite de la particule puisque la date initiale ne peut pas être déterminée par une constante du mouvement. Étant donné que la norme de '''A''' (et donc l'excentricité ''e'' de l'orbite) peut être déterminée par le moment cinétique ''L'' et l'énergie ''E'', seule la ''direction'' de '''A''' est conservée indépendamment ; en outre, comme '''A''' doit être perpendiculaire à '''L''', il ne fournit en fait qu'une seule constante du mouvement. Un système mécanique à ''d'' [[degré de liberté (mécanique)|degrés de liberté]] peut avoir au maximum 2''d'' - 1 constantes du mouvement indépendantes, puisqu'il y a 2''d'' conditions initiales et que la date initiale ne peut être déterminée par une constante du mouvement<ref>{{Ouvrage|titre=Physique théorique|volume=1|titre volume=Mécanique|auteurs=[[Lev Landau]], [[Evgueni Lifchitz]]|passage=44|éditeur=MIR|lieu=Moscou|année=1982|ref=Référence:Physique théorique (Landau et Lifchitz)}}</ref>. Un système qui possède plus de ''d'' constantes du mouvement est appelé ''superintégrable'' et un système à 2''d'' − 1 constantes est dit ''maximalement superintégrable''<ref>{{cite journal | last = Evans | first = NW | year = 1990 | title = Superintegrability in classical mechanics | journal = Physical Review A | volume = 41 | pages = 5666&ndash;5676}}</ref>. Puisque l'[[équation de Hamilton-Jacobi]] dans un [[système de coordonnées]] ne mène qu'à ''d'' constantes du mouvement, les systèmes intégrables sont séparables dans plus d'un système de coordonnées<ref>{{cite book | last = Sommerfeld | first = A | authorlink = Arnold Sommerfeld | year = 1923 | title = Atomic Structure and Spectral Lines | publisher = Methuen | location = London | pages = 118}}</ref> Le problème de Kepler est maximalement superintégrable puisqu'il possède 3 degrés de liberté et 5 constantes du mouvement indépendantes ; son équation de Hamilton-Jacobi est séparable à la fois en [[coordonnées sphériques]] et en [[coordonnées paraboliques]]<ref name="landau_lifshitz_1976">{{cite book | last=Landau |first=LD | authorlink=Lev Landau | coauthors=[[Evguéni Lifchitz|Lifshitz EM]] | year=1976 | title=Mechanics | edition=3<sup>rd</sup> edition | publisher=Pergamon Press | pages = p. 154 | id= ISBN 0-08-021022-8 (hardcover) and ISBN 0-08-029141-4 (softcover)}}</ref> comme décrit [[#Équation de Hamilton-Jacobi en coordonnées paraboliques| plus bas]]. Les systèmes maximalement superintégrables mènent à des orbites fermées à une dimension dans l'espace des phases, puisque l'orbite est l'intersection des iso-surfaces de leurs constantes du mouvement dans l'espace des phases. Ce systèmes peuvent être [[Seconde quantification|quantifiés canoniquement]] en utilisant uniquement des [[relation de commutation|relations de commutation]] comme expliqué [[#Mécanique quantique de l'atome d'hydrogène|plus bas]]<ref>{{cite journal | last = Evans | first = NW | year = 1991 | title = Group theory of the Smorodinsky–Winternitz system | journal = Journal of Mathematical Physics | volume = 32 | pages = 3369&ndash;3375}}</ref>. ==Évolution dans des potentiels perturbés== [[Image:Relativistic precession.svg|right|thumb|Figure 5: précession graduelle d'une orbite elliptique d'excentricité ''e''=0,667. Une telle précession apparaît dans le problème de Kepler si la [[force centrale]] attractive s'écarte légèrement d'une [[loi en carré inverse]]. Le ''taux'' de précession peut-être calculé grâce aux formules données dans le texte.]] Le vecteur de Runge-Lenz '''A''' est conservé uniquement pour une force centrale suivant loi strictement en carré inverse. Dans la plupart des problèmes pratiques tels que les mouvement de planètes, l'énergie potentielle d'interaction entre deux corps ne découle pas rigoureusement d'une telle loi et peut inclure un terme additif, appelé potentiel de perturbation ''h''(''r''). Dans de tels cas le vecteur de Runge-Lenz tourne lentement dans le plan de l'orbite ce qui correspond à une lente [[précession du périastre]] de l'orbite. Par hypothèse le potentiel de perturbation ''h''(''r'') est conservatif et central, ce qui implique que l'énergie totale ''E'' et le vecteur moment cinétique '''L''' sont conservés. En conséquence le mouvement reste contenu dans un plan perpendiculaire à '''L''' et la norme de ''A'' se conserve selon l'équation ''A''<sup>2</sup>&nbsp;= ''m''<sup>2</sup>''k''<sup>2</sup>+2''mEL''<sup>2</sup>. Le potentiel de perturbation ''h''(''r'') peut être n'importe quelle fonction mais doit être significativement plus petit que le potentiel découlant de la force en carré inverse entre les deux corps. La ''vitesse'' à laquelle le vecteur de Runge-Lenz tourne donne des informations sur le potentiel de perturbation ''h(r)''. En utilisant la théorie des perturbations canoniques et les coordonnées action-angle, on obtient immédiatement<ref name="goldstein_1980" /> que '''A''' tourne à la vitesse :<math>\begin{array}{rcl} \frac{\partial}{\partial L} \langle h(r) \rangle & = &\displaystyle \frac{\partial}{\partial L} \left\{ \frac{1}{T} \int_{0}^{T} h(r) \, dt \right\} \\[1em] & = & \displaystyle\frac{\partial}{\partial L} \left\{ \frac{m}{L^{2}} \int_{0}^{2\pi} r^{2} h(r) \, d\theta \right\}. \end{array}</math> où ''T'' est la période orbitale et dans laquelle l'identité ''L''&nbsp;''dt''&nbsp;= ''m''&nbsp;''r''<sup>2</sup>&nbsp;''d''θ a été utilisée pour convertir l'intégrale temporelle en intégrale angulaire (Figure 5). L'expression entre crochets, 〈''h''(''r'')〉, représente la moyenne sur une période du potentiel de perturbation, c'est-à-dire la moyenne pour la particule décrivant complètement une fois son orbite. Mathématiquement la moyenne temporelle, qui est la grandeur entre accolades, permet d'éliminer les fluctuations dans le taux de rotation. Cette approche a été utilisée pour permettre une vérification de la théorie d'[[Albert Einstein|Einstein]] de la [[relativité générale]], qui ajoute un terme cubique de perturbation au potentiel gravitationnel newtonien<ref name="einstein_1915">{{cite journal | last = Einstein | first = A | authorlink = Albert Einstein | year = 1915 | title = Erklärung der Perihelbewegung des Merkur aus der allgemeinen Relativitätstheorie | journal = Sitzungsberichte der Preussischen Akademie der Wissenschaften | volume = 1915 | pages = 831&ndash;839}}</ref> :<math> h(r) = \frac{kL^{2}}{m^{2}c^{2}} \left( \frac{1}{r^{3}} \right) </math> En injectant cette fonction dans l'intégrale et en utilisant l'équation :<math> \frac{1}{r} = \frac{mk}{L^{2}} \left( 1 + \frac{A}{mk} \cos\theta \right) </math> pour exprimer ''r'' en fonction de θ, la [[précession du périastre]] due à des perturbations non-newtonniennes est<ref name="einstein_1915" /> :<math> \frac{6\pi k^{2}}{TL^{2}c^{2}} </math> ce qui correspond étroitement à l'anomalie observée de la précession de [[Mercure (planète)|Mercure]]<ref>{{cite journal | last = Le Verrier | first = UJJ | authorlink = Le Verrier | year = 1859 | title = Lettre de M. Le Verrier à M. Faye sur la Théorie de Mercure et sur le Mouvement du Périhélie de cette Planète | journal = Comptes Rendus de l'Academie de Sciences (Paris) | volume = 49 | pages = 379&ndash;383}}</ref> et des [[pulsar binaire|pulsars binaires]]<ref>{{cite book | last = Will | first = CM | year = 1979 | title = General Relativity, an Einstein Century Survey | edition = SW Hawking and W Israel, eds. | publisher = Cambridge University Press | location = Cambridge | pages = Chapter 2}}</ref>. Cet accord avec l'expérience est considérée comme une preuve importante de la validité de la [[relativité générale]]<ref>{{cite book | last = Pais | first = A. | authorlink = Abraham Pais | year = 1982 | title = Subtle is the Lord: The Science and the Life of Albert Einstein | publisher = Oxford University Press }}</ref>{{,}}<ref>{{cite book | last = Roseveare | first = NT | year = 1982 | title = Mercury's Perihelion from Le Verrier to Einstein | publisher = Oxford University Press}}</ref>. == Crochets de Poisson == Les trois composantes ''L<sub>i</sub>'' du vecteur moment cinétique '''L''' ont les [[crochet de Poisson|crochets de Poisson]]<ref name="goldstein_1980" /> :<math> \left\{ L_{i}, L_{j}\right\} = \sum_{s=1}^{3} \epsilon_{ijs} L_{s} </math> où ''i''=1,2,3 et ε<sub>ijs</sub> est le [[symbole de Levi-Civita]] ; l'indice de sommation ''s'' est utilisé ici pour éviter l'ambiguïté avec le paramètre ''k'' de la force vue plus haut. Comme expliqué plus bas une autre échelle du vecteur de Runge-Lenz, '''D''', peut être définie dans la même unité que le [[moment cinétique]] en divisant '''A''' par ''p<sub>0</sub>''. Le [[crochet de Poisson]] de '''D''' avec le vecteur moment cinétique '''L''' peut être sous une forme similaire<ref name="bohm_1986">{{cite book | last=Bohm | first=A. | year=1986 | title=Quantum Mechanics: Foundations and Applications | edition= 2<sup>nd</sup> edition | publisher=Springer Verlag | pages=208&ndash;222}}</ref> :<math> \left\{ D_{i}, L_{j}\right\} = \sum_{s=1}^{3} \epsilon_{ijs} D_{s} </math> Le [[crochet de Poisson]] de '''D''' avec ''lui-même'' dépend du signe de ''E''. Pour des énergies ''négatives'' (systèmes liés de trajectoire fermée, elliptique si la force suit une loi en carré inverse) le crochet de Poisson est : :<math> \left\{ D_{i}, D_{j}\right\} = \sum_{s=1}^{3} \epsilon_{ijs} L_{s} </math> tandis que pour une énergie positive (systèmes libres de trajectoire ouverte, hyperbolique si la force est en carré inverse de la distance) le crochet a le signe opposé :<math> \left\{ D_{i}, D_{j}\right\} = -\sum_{s=1}^{3} \epsilon_{ijs} L_{s} </math> Les [[opérateur de Casimir|opérateurs de Casimir]] pour des énergies négatives sont définis par :<math> C_{1} = \mathbf{D} \cdot \mathbf{D} + \mathbf{L} \cdot \mathbf{L} = \frac{mk^{2}}{2\left|E\right|} </math> :<math> C_{2} = \mathbf{D} \cdot \mathbf{L} = 0 </math> et ont des crochets de Poisson nuls avec toutes les composantes de '''D''' et '''L''' :<math> \left\{ C_{1}, L_{i} \right\} = \left\{ C_{1}, D_{i} \right\} = \left\{ C_{2}, L_{i} \right\} = \left\{ C_{2}, D_{i} \right\} = 0 </math> ''C<sub>2</sub>'' est nul de manière évidente, puisque les deux vecteurs sont toujours perpendiculaires. Cependant l'autre invariant ''C<sub>1</sub>'' n'est pas trivial et dépend seulement de ''m'', ''k'' et ''E''. Cet invariant permet d'obtenir les [[niveau d'énergie|niveaux d'énergie]] de l'[[atome d'hydrogène]] en utilisant uniquement les [[relation de commutation|relations de commutation]] de la [[mécanique quantique]] à la place de la méthode plus commune s'appuyant sur l'[[équation de Schrödinger]]. == Mécanique quantique de l'atome d'hydrogène== [[Image:Hydrogen energy levels.png|thumb|right|Figure 6: Niveaux d'énergie de l'atome d'hydrogène tels que prévus par les relations de commutation des opérateurs moment cinétique et vecteur de Runge-Lenz ; ces niveaux d'énergie ont été vérifiés expérimentalement.]] Les crochets de Poisson fournissent une méthode simple de [[quantification canonique]] d'un système mécanique ; la [[relation de commutation]] de deux [[opérateur (physique)|opérateur]]s [[quantique]]s est égal au crochet de Poisson des variables [[mécanique classique|classiques]] correspondantes multiplié par <math>i\hbar</math><ref>{{cite book | last = Dirac | first = PAM | authorlink = Paul Dirac | year = 1958 | title = Principles of Quantum Mechanics, 4th revised edition | publisher = Oxford University Press}}</ref>. En menant le calcul de cette quantification et en déterminant les valeurs propres de l'opérateur de Casimir <math>C_{1}</math> du problème de Kepler, [[Wolfgang Pauli]] a obtenu [[spectre électromagnétique|spectre énergétique]] des [[atome hydrogénoïde|atomes hydrogénoïdes]] (Figure 6) et donc leur [[spectre d'émission]] atomique<ref name="pauli_1926" /> Ce résultat élégant a été obtenu avant le développement de la [[mécanique ondulatoire]]<ref>{{cite journal | last = Schrödinger | first = E | authorlink = Erwin Schrödinger | year = 1926 | title = Quantisierung als Eigenwertproblem | journal = Annalen der Physik | volume = 384 | pages = 361&ndash;376}}</ref>. Une subtilité de l'opérateur quantique associé au vecteur de Runge-Lenz '''A''' est que les opérateurs impulsion et moment cinétique ne commutent pas ; le produit vectoriel de '''p''' et '''L''' doit alors être défini avec précaution<ref name="bohm_1986" />. Généralement, les opérateurs pour les composantes cartésiennes ''A<sub>s</sub>'' sont définis en utilisant un produit symétrique : :<math> A_{s} = - m k \hat{r}_{s} + \frac{1}{2} \sum_{i=1}^{3} \sum_{j=1}^{3} \epsilon_{sij} \left( p_{i} l_{j} + l_{j} p_{i} \right) </math> à partir desquels les [[opérateur d'échelle|opérateurs d'échelle]] correspondant peuvent être définis :<math> J_{0} = A_{3} \, </math> :<math> J_{\pm 1} = \mp \frac{1}{\sqrt{2}} \left( A_{1} \pm i A_{2} \right) </math> Un premier opérateur de Casimir normalisé peut de la même manière être défini :<math> C_{1} = - \frac{m k^{2}}{2 \hbar^{2}} H^{-1} - I </math> où ''H''<sup>−1</sup> est l'inverse de l'opérateur énergie [[hamiltonien]] et ''I'' est l'[[application identité|opérateur identité]]. En appliquant cet opérateur aux [[état propre|états propres]] <math>\left| l m n \right.\rangle</math> des opérateurs moment cinétique total, moment cinétique azimutal et énergie, les valeurs propres du premier opérateur de Casimir ''C''<sub>1</sub> sont ''n''<sup>2</sup> - 1 ; elles sont indépendantes des nombres quantiques ''l'' et ''m'', rendant les états d'énergies [[dégénérescence (physique)|dégénérés]]<ref name="bohm_1986" />. Les états d'énergie sont donnés par :<math> E_{n} = - \frac{m k^{2}}{2\hbar^{2} n^{2}} </math> ce qui est équivalent à la [[formule de Rydberg]] pour les [[atome hydrogénoïde|atomes hydrogénoïdes]] (Figure 6). == Conservation et symétrie == La conservation du vecteur de Runge-Lenz correspond à une [[symétrie]] subtile du système. En [[mécanique classique]] les symétries sont des opérations continues qui permettent de passer d'une orbite à une autre sans changer l'énergie du système ; en [[mécanique quantique]] les symétries sont des opérations continues qui mélangent les [[orbitale atomique|orbitales atomiques]] de même énergie c'est-à-dire qui provoquent une dégénérescence des niveaux d'énergie. Une grandeur se conservant est généralement associée à de telles symétries<ref name="goldstein_1980" /> Par exemple toute force centrale est symétrique par le [[groupe de rotation]] [[SO(3)]] ce qui mène à la conservation du [[moment cinétique]] '''L'''. Classiquement une rotation complète du système ne modifie pas l'énergie de l'orbite ; quantiquement, les rotations combinent les [[harmoniques sphériques]] de même [[nombre quantique]] ''l'' sans changer l'énergie. [[Image:Kepler hodograph family.png|thumb|right|Figure 7 : la famille des hodographes circulaires pour une énergie donnée ''E''. Tous les cercles passent par les deux même points <math>\pm p_{0} = \pm \sqrt{2m\left| E \right|}</math> sur l'axe ''p<sub>x</sub>'' (cf. Figure 3). Cette famille d'hodographes correspond à une famille de [[cercles d'Apollonius]] et à une isosurface σ de [[coordonnées bipolaires]].]] La symétrie d'une force centrale suivant une loi en carré inverse est plus élevée et plus compliquée. La symétrie particulière du problème de Kepler résulte de la conservation simultanée du moment cinétique '''L''' et du vecteur de Runge-Lenz '''A''' (tel que défini [[#Définitions mathématiques|plus haut]]) et, en mécanique quantique, assure que les niveaux d'énergie de l'atome d'hydrogène ne dépendent pas des nombres quantiques ''l'' et ''m''. La symétrie est cependant plus subtile car elle prend place dans un espace de [[dimension]] supérieure ; de telles symétries sont parfois appelées « symétries cachées »<ref name="prince_eliezer_1981" >{{cite journal | last = Prince | first = GE | coauthors = Eliezer CJ | year = 1981 | title = On the Lie symmetries of the classical Kepler problem | journal = Journal of Physics A: Mathematical and General | volume = 14 | pages = 587&ndash;596}}</ref>. Classiquement la haute symétrie du problème de Kepler permet une perturbation continue des orbites conservant l'énergie mais pas le moment cinétique ; en d'autres termes, des orbites de même énergie mais de moments cinétiques différents (donc d'excentricités différentes) peuvent être transformées continûment les unes en les autres. De manière quantique cela consiste à faire une combinaison d'orbitales différant par leurs nombres quantiques ''l'' et ''m'' telles que des orbitales atomiques ''s'' (''l''=0) et ''p'' (''l''=1) par exemple. De telles combinaisons ne peuvent être faites en considérant les rotations et translations habituelles à trois dimensions, mais correspondent à une rotation dans une espace de plus grande dimension. Pour des énergies négatives, c'est-à-dire es systèmes liés, le groupe de plus haute symétrie du système est [[SO(4)]], qui conserve la longueur dans un espace à quatre dimensions :<math> \left| \mathbf{e} \right|^{2} = e_{1}^{2} + e_{2}^{2} + e_{3}^{2} + e_{4}^{2} </math> En 1935, [[Vladimir Fock]] montre que le poblème de Kepler d'un système quantique lié est équivalent au problème d'une particule libre se déplaçant sur une 3-sphère dans un espace à quatre dimensions<ref name="fock_1935" />. Plus précisément Fock montre que l'[[équation de Schrödinger]] des [[fonction d'onde|fonctions d'onde]] dans l'espace des moments est la [[projection stéréographique]] des [[harmoniques sphériques]] sur la sphère.<!--Rotation of the sphere and reprojection results in a continuous mapping of the elliptical orbits without changing the energy; quantum mechanically, this corresponds to a mixing of all orbitals of the same energy quantum number ''n''. [[Valentine Bargmann]] noted subsequently that the Poisson brackets for the angular momentum vector '''L''' and the scaled LRL vector '''D''' formed the [[algèbre de Lie]] pour SO(4).<ref name="bargmann_1936" /> Simply put, the six quantities '''D''' and '''L''' correspond to the six conserved angular momenta in four dimensions, associated with the six possible [[SO(4)|simple rotations]] in that space (there are six ways of choosing two axes from four). This conclusion does not imply that our [[universe]] is a three-dimensional sphere; it merely means that this particular physics problem (the [[two-body problem]] for inverse-square [[central force]]s) is ''mathematically equivalent'' to a free particle on a three-dimensional sphere. For ''positive'' energies &mdash; i.e., for unbound, "scattered" systems &mdash; the higher symmetry group is [[SO(3,1)]], which preserves the [[Minkowski space|Minkowski length]] of [[4-vector]]s :<math> ds^{2} = e_{1}^{2} + e_{2}^{2} + e_{3}^{2} - e_{4}^{2} </math> Both the negative- and positive-energy cases were considered by Fock<ref name="fock_1935" /> and Bargmann<ref name="bargmann_1936" /> and have been reviewed encyclopedically by Bander and Itzykson.<ref name="bander_itzykson_1966">{{cite journal | last = Bander | first = M | coauthors = Itzykson C | year = 1966 | title = Group Theory and the Hydrogen Atom (I) | journal = Reviews of Modern Physics | volume = 38 | pages = 330&ndash;345}}</ref><ref>{{cite journal | last = Bander | first = M | coauthors = Itzykson C | year = 1966 | title = Group Theory and the Hydrogen Atom (II) | journal = Reviews of Modern Physics | volume = 38 | pages = 346&ndash;358}}</ref> The orbits of [[central force|central-force]] systems — and those of the Kepler problem in particular — are also symmetric under [[reflection (mathematics)|reflection]]. Therefore, the [[SO(3)]], [[SO(4)]] and [[SO(3,1)]] groups cited above are not the full symmetry groups of their orbits; the full groups are [[orthogonal group|O(3)]], [[orthogonal group|O(4)]] and [[O(3,1)]], respectively. Nevertheless, only the [[connected space|connected]] [[subgroup]]s, SO(3), SO(4) and SO(3,1), are needed to demonstrate the conservation of the [[angular momentum]] and LRL vectors; the reflection symmetry is irrelevant for conservation, which may be derived from the [[Lie algebra]] of the group.--> == Notes et références == === Références === <references /> === Notes === {{Traduction/Référence|en|Laplace-Runge-Lenz vector|205633756}} == Articles connexes == * [[Problème à deux corps]] * [[Théorème de Bertrand]] * [[Mécanique quantique]] * [[Orbite]] ==Liens externes== * [http://www.perso.ch/bernard.gisin/physique/KeplerLois/Cours_mecanique_3e_4e_Annexe_II.pdf Démonstration des lois de Kepler et propriétés d'une ellipse] {{Portail physique}} [[Catégorie:Mécanique céleste]] [[Catégorie:Mécanique classique]] {{Lien AdQ|en}} {{Lien AdQ|ru}} [[de:Laplace-Runge-Lenz-Vektor]] [[es:Vector de Runge-Lenz]] [[en:Laplace-Runge-Lenz vector]] [[it:vettore di Lenz]] [[he:וקטור לפלס-רונגה-לנץ]] [[ru:Вектор Лапласа — Рунге — Ленца]] [[zh:拉普拉斯-龍格-冷次向量]] {{Lien BA|zh}}