|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| {{selfref|Throughout this article, vectors and their magnitudes are indicated by boldface and italic type, respectively. For example, <math>\left| \mathbf{A} \right| = A</math>.}}
| | Marvella is what you can call her but it's not the most feminine name out there. Doing ceramics is what her family members and her appreciate. South Dakota is exactly where me and my husband reside. Hiring is my profession.<br><br>My blog; [http://www.white2do.com/index.php?mid=sales2014&order_type=desc&sort_index=regdate&document_srl=533664 over the counter std test] |
| In [[classical mechanics]], the '''Laplace–Runge–Lenz vector''' (or simply the '''LRL vector''') is a [[vector (geometric)|vector]] used chiefly to describe the shape and orientation of the [[orbit (celestial mechanics)|orbit]] of one astronomical body around another, such as a planet revolving around a star. For two bodies interacting by [[gravitation|Newtonian gravity]], the LRL vector is a [[constant of motion]], meaning that it is the same no matter where it is calculated on the orbit;<ref name="goldstein_1980">{{cite book | last=Goldstein | first=H. | authorlink=Herbert Goldstein | year=1980 | title=Classical Mechanics | edition=2nd edition | publisher=Addison Wesley | pages=102–105,421–422}}</ref> equivalently, the LRL vector is said to be ''conserved''. More generally, the LRL vector is conserved in all problems in which [[two-body problem|two bodies interact]] by a [[central force]] that varies as the [[inverse square law|inverse square]] of the distance between them; such problems are called [[Kepler problem]]s.<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 | page = 38 | isbn = 0-387-96890-3}}</ref>
| |
| | |
| The [[hydrogen atom]] is a Kepler problem, since it comprises two charged particles interacting by [[Coulomb's law]] of [[electrostatics]], another [[inverse square law|inverse square]] [[central force]]. The LRL vector was essential in the first [[quantum mechanic]]al derivation of the [[atomic emission spectrum|spectrum]] of the [[hydrogen atom]],<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–363 | doi = 10.1007/BF01450175|bibcode = 1926ZPhy...36..336P }}</ref> before the development of the [[Schrödinger equation]]. However, this approach is rarely used today.
| |
| | |
| In [[classical mechanics|classical]] and [[quantum mechanics]], conserved quantities generally correspond to a [[symmetry]] of the system. The conservation of the LRL vector corresponds to an unusual symmetry; the Kepler problem is mathematically equivalent to a particle moving freely on [[3-sphere|the surface of a four-dimensional (hyper-)sphere]]<!--a 3-manifold, embedded in 4-space; the latter may be clearer to our readers-->,<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–154 | doi = 10.1007/BF01336904|bibcode = 1935ZPhy...98..145F }}</ref> so that the whole problem is symmetric under certain rotations of the four-dimensional space.<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–582 | doi = 10.1007/BF01338811|bibcode = 1936ZPhy...99..576B }}</ref> This higher symmetry results from two properties of the Kepler problem: the velocity vector always moves in a perfect [[circle]] and, for a given total [[energy]], all such velocity circles intersect each other in the same two points.<ref name="hamilton_1847_hodograph">{{cite journal | last = Hamilton | first = WR | authorlink = William Rowan Hamilton | year = 1847 | title = The hodograph or a new method of expressing in symbolic language the Newtonian law of attraction | journal = Proceedings of the Royal Irish Academy | volume = 3 | pages = 344–353 }}</ref>
| |
| | |
| The Laplace–Runge–Lenz vector is named after [[Pierre-Simon Laplace|Pierre-Simon de Laplace]], [[Carl David Tolmé Runge|Carl Runge]] and [[Wilhelm Lenz]]. It is also known as the '''Laplace vector''', the '''Runge–Lenz vector''' and the '''Lenz vector'''. Ironically, none of those scientists discovered it. The LRL vector has been re-discovered several times<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–738 | doi=10.1119/1.9745|bibcode = 1975AmJPh..43..737G }}<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–1124 | doi=10.1119/1.10202|bibcode = 1976AmJPh..44.1123G }}</ref> and is also equivalent to the dimensionless [[eccentricity vector]] of [[celestial mechanics]].<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> Various generalizations of the LRL vector have been defined, which incorporate the effects of [[special relativity]], [[electromagnetic field]]s and even different types of [[central force]]s.
| |
| | |
| ==Context==
| |
| A single particle moving under any [[conservation of energy|conservative]] [[central force]] has at least four [[constant of motion|constants of motion]], the total [[energy]] ''E'' and the three [[Cartesian coordinate system|Cartesian components]] of the [[angular momentum]] [[vector (geometric)|vector]] '''L''' with respect to the origin. The particle's orbit is confined to a plane defined by the particle's initial [[momentum]] '''p''' (or, equivalently, its [[velocity]] '''v''') and the vector '''r''' between the particle and the center of force (see Figure 1, below).
| |
| | |
| As defined below (see [[#Mathematical definition|Mathematical definition]]), the Laplace–Runge–Lenz vector (LRL vector) '''A''' always lies in the plane of motion for any [[central force]]. However, '''A''' is constant only for an inverse-square central force.<ref name="goldstein_1980" /> For most central forces, however, [[#Mathematical definition|this vector]] '''A''' is not constant, but changes in both length and direction; if the central force is ''approximately'' an [[inverse-square law]], the vector '''A''' is approximately constant in length, but slowly rotates its direction. A ''generalized'' conserved LRL vector <math>\mathcal{A}</math> [[#Generalizations to other potentials and relativity|can be defined]] for all central forces, but this generalized vector is a complicated function of position, and usually not [[expressible in closed form]].<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–812 | doi = 10.1143/PTP.37.798|bibcode = 1967PThPh..37..798F }}</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–259 | doi = 10.1088/0143-0807/8/4/005|bibcode = 1987EJPh....8..258Y }}</ref>
| |
| | |
| The plane of motion is perpendicular to the angular momentum vector '''L''', which is constant; this may be expressed mathematically by the vector [[dot product]] equation '''r·L''' = 0; likewise, since '''A''' lies in that plane, '''A·L''' = 0.
| |
| | |
| The LRL vector differs from other conserved quantities in the following property. Whereas for typical conserved quantities, there is a corresponding [[cyclic coordinate]] in the three-dimensional [[Lagrangian]] of the system, there does ''not'' exist such a coordinate for the LRL vector. Thus, the conservation of the LRL vector must be derived directly, e.g., by the method of [[Poisson bracket]]s, as described below. Conserved quantities of this kind are called "dynamic", in contrast to the usual "geometric" conservation laws, e.g., that of the angular momentum.
| |
| | |
| ==History of rediscovery==
| |
| The LRL vector '''A''' is a [[constant of motion]] of the important Kepler problem, and is useful in describing [[orbit (celestial mechanics)|astronomical orbits]], such as the motion of the [[planet]]s. Nevertheless, it has never been well known among physicists, possibly because it is less intuitive than [[momentum]] and [[angular momentum]]. Consequently, it has been rediscovered independently several times over the last three centuries.<ref name="goldstein_1975_1976" />
| |
| | |
| [[Jakob Hermann]] was the first to show that '''A''' is conserved for a special case of the inverse-square [[central force]],<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–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–521}}</ref> and worked out its connection to the eccentricity of the orbital [[ellipse]]. Hermann's work was generalized to its modern form by [[Johann Bernoulli]] in 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–544}}</ref> At the end of the century, [[Pierre-Simon Laplace|Pierre-Simon de Laplace]] rediscovered the conservation of '''A''', deriving it analytically, rather than geometrically.<ref>{{cite book | last = Laplace | first = PS | authorlink = Laplace | year = 1799 | title = Traité de mécanique celeste | pages = Tome I, Premiere Partie, Livre II, pp.165ff | nopp = true}}</ref> In the middle of the nineteenth century, [[William Rowan Hamilton]] derived the equivalent [[eccentricity vector]] defined [[#Alternative scalings, symbols and formulations|below]],<ref name="hamilton_1847_quaternions" /> using it to show that the momentum vector '''p''' moves on a circle for motion under an inverse-square [[central force]] (Figure 3).<ref name="hamilton_1847_hodograph" />
| |
| | |
| At the beginning of the twentieth century, [[Josiah Willard Gibbs]] derived the same vector by [[vector analysis]].<ref>{{cite book | last = Gibbs | first = JW | authorlink = Josiah Willard Gibbs | coauthors = Wilson EB | year = 1901 | title = Vector Analysis | publisher = Scribners | location = New York | page = 135}}</ref> Gibbs' derivation was used as an example by [[Carl David Tolmé Runge|Carle Runge]] in a popular [[Germany|German]] textbook on vectors,<ref>{{cite book | last = Runge | first = C | authorlink = Carle David Tolmé Runge | year = 1919 | title = Vektoranalysis | publisher = Hirzel | location = Leipzig | pages = Volume I | nopp = true}}</ref> which was referenced by [[Wilhelm Lenz]] in his paper on the (old) [[quantum mechanics|quantum mechanical]] treatment of the [[hydrogen]] [[atom]].<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–207 | doi = 10.1007/BF01327245|bibcode = 1924ZPhy...24..197L }}</ref> In 1926, the vector was used by [[Wolfgang Pauli]] to derive the [[spectrum]] of [[hydrogen]] using modern [[matrix mechanics|quantum mechanics]], but not the [[Schrödinger equation]];<ref name="pauli_1926" /> after Pauli's publication, it became known mainly as the ''Runge–Lenz vector''.
| |
| | |
| ==Mathematical definition==
| |
| For a single particle acted on by an [[inverse-square law|inverse-square]] [[central force]] described by the equation <math>\mathbf{F}(r)=\frac{-k}{r^{2}}\mathbf{\hat{r}}</math>, the LRL vector '''A''' is defined mathematically by the formula<ref name="goldstein_1980" />
| |
| | |
| [[Image:Laplace Runge Lenz vector.svg|thumb|right|400px|Figure 1: The LRL vector '''A''' (shown in red) at four points (labeled 1, 2, 3 and 4) on the elliptical orbit of a bound point particle moving under an inverse-square [[central force]]. The center of attraction is shown as a small black circle from which the position vectors (likewise black) emanate. The [[angular momentum]] vector '''L''' is perpendicular to the orbit. The coplanar vectors '''p'''×'''L''' and ''(mk/r)'''''r''' are shown in blue and green, respectively; these variables are defined [[#Mathematical definition|below]]. The vector '''A''' is constant in direction and magnitude.]]
| |
| | |
| {{Equation box 1
| |
| |indent =::
| |
| |equation = <math> \mathbf{A} = \mathbf{p} \times \mathbf{L} - m k \mathbf{\hat{r}}</math>
| |
| |cellpadding= 6
| |
| |border
| |
| |border colour = #0073CF
| |
| |background colour=#F9FFF7}}
| |
| where
| |
| | |
| * {{mvar|m}} is the [[mass]] of the point particle moving under the [[central force]],
| |
| * '''p''' is its [[momentum]] [[vector (geometric)|vector]],
| |
| * '''L''' = '''r''' × '''p''' is its [[angular momentum]] vector,
| |
| * {{mvar|k}} is a parameter that describes strength of the [[central force]],
| |
| * '''r''' is the position vector of the particle (Figure 1), and
| |
| * <math>\mathbf{\hat{r}}\!\,</math> is the corresponding [[unit vector]], i.e., <math>\mathbf{\hat{r}} = \frac{\mathbf{r}}{r}</math> where ''r'' is the magnitude of '''r'''.
| |
| | |
| Since the assumed force is [[Conservation law|conservative]], the total [[energy]] {{mvar|E}} is a [[constant of motion]],
| |
| :<math>
| |
| E = \frac{p^{2}}{2m} - \frac{k}{r} = \frac{1}{2} mv^{2} - \frac{k}{r} ~.
| |
| </math>
| |
| | |
| Furthermore, the assumed force is a [[central force]], and thus the angular momentum vector '''L''' is also conserved and defines the plane in which the particle travels. The LRL vector '''A''' is perpendicular to the [[angular momentum]] vector '''L''' because both '''p''' × '''L''' and '''r''' are perpendicular to '''L'''. It follows that '''A''' lies in the [[plane (geometry)|plane]] of the [[orbit (celestial mechanics)|orbit]].
| |
| | |
| This definition of the LRL vector '''A''' pertains to a single point particle of mass ''m'' moving under the action of a fixed force. However, the same definition may be extended to [[two-body problem]]s such as Kepler's problem, by taking ''m'' as the [[reduced mass]] of the two bodies and '''r''' as the [[vector (geometric)|vector]] between the two bodies.
| |
| | |
| A variety of [[#Alternative scalings, symbols and formulations|alternative formulations]] for the same constant of motion may also be used. The most common is to scale by ''mk'' to define the [[eccentricity vector]]
| |
| | |
| :<math>
| |
| \mathbf{e} = \frac{\mathbf{A}}{m k} = \frac{1}{m k}(\mathbf{p} \times \mathbf{L}) - \mathbf{\hat{r}} ~ .
| |
| </math>
| |
| | |
| ==Derivation of the Kepler orbits==
| |
| [[Image:Laplace Runge Lenz vector2.svg|thumb|right|350px|Figure 2: Simplified version of Figure 1, defining the angle θ between '''A''' and '''r''' at one point of the orbit.]]
| |
| | |
| The ''shape'' and ''orientation'' of the [[two-body problem|Kepler problem]] orbits can be determined from the LRL vector as follows.<ref name="goldstein_1980" /> Taking the [[dot product]] of '''A''' with the position vector '''r''' gives the equation
| |
| | |
| :<math>
| |
| \mathbf{A} \cdot \mathbf{r} = Ar \cos\theta =
| |
| \mathbf{r} \cdot \left( \mathbf{p} \times \mathbf{L} \right) - mkr
| |
| </math>
| |
| | |
| where ''θ'' is the angle between '''r''' and '''A''' (Figure 2). Permuting the [[triple product|scalar triple product]]
| |
| | |
| :<math>
| |
| \mathbf{r} \cdot\left(\mathbf{p}\times \mathbf{L}\right) =
| |
| \left(\mathbf{r} \times \mathbf{p}\right)\cdot\mathbf{L} =
| |
| \mathbf{L}\cdot\mathbf{L}=L^2
| |
| </math>
| |
| | |
| and rearranging yields the defining formula for a [[conic section]], provided that A is a constant, which is the case for the inverse square force law,
| |
| {{Equation box 1
| |
| |indent =::
| |
| |equation = <math>
| |
| \frac{1}{r} = \frac{mk}{L^{2}} \left( 1 + \frac{A}{mk} \cos\theta \right)</math>
| |
| |cellpadding= 6
| |
| |border
| |
| |border colour = #0073CF
| |
| |background colour=#F9FFF7}}
| |
| of [[eccentricity (orbit)|eccentricity]] ''e'' ,
| |
| :<math>
| |
| e = \frac{A}{mk} = \frac{\left|\mathbf{A}\right|}{m k}
| |
| </math>
| |
| and [[latus rectum]]
| |
| :<math>
| |
| \left| 2\ell \right| = \frac{2L^{2}}{mk} ~.
| |
| </math>
| |
| | |
| The major semiaxis {{mvar|a}} of the conic section may be defined using the latus rectum and the eccentricity
| |
| :<math>
| |
| a \left( 1 \pm e^{2} \right) = \ell = \frac{L^{2}}{mk} ~,
| |
| </math>
| |
| where the minus sign pertains to [[ellipse]]s and the plus sign to [[hyperbola]]e.
| |
| | |
| Taking the dot product of '''A''' with itself yields an equation involving the energy {{mvar|E}},
| |
| :<math>
| |
| A^2= m^2 k^2 + 2 m E L^2 \, ,
| |
| </math>
| |
| which may be rewritten in terms of the eccentricity,
| |
| :<math>
| |
| e^{2} - 1= \frac{2L^{2}}{mk^{2}}E ~.
| |
| </math>
| |
| | |
| Thus, if the energy ''E'' is negative (bound orbits), the eccentricity is less than one and the orbit is an [[ellipse]]. Conversely, if the energy is positive (unbound orbits, also called "scattered orbits"), the eccentricity is greater than one and the orbit is a [[hyperbola]]. Finally, if the energy is exactly zero, the eccentricity is one and the orbit is a [[parabola]]. In all cases, the direction of '''A''' lies along the symmetry axis of the conic section and points from the center of force toward the [[periapsis]], the point of closest approach.
| |
| | |
| ==Circular momentum hodographs==
| |
| [[Image:Kepler hodograph3.svg|thumb|right|280px|Figure 3: The momentum vector '''p''' (shown in blue) moves on a circle as the particle moves on an ellipse. The four labeled points correspond to those in Figure 1. The circle is centered on the ''y''-axis at position ''A/L'' (shown in magenta), with radius ''mk/L'' (shown in green). The angle η determines the eccentricity ''e'' of the elliptical orbit (cos η = ''e''). By the [[inscribed angle|inscribed angle theorem]] for [[circle]]s, η is also the angle between any point on the circle and the two points of intersection with the ''p<sub>x</sub>'' axis, ''p<sub>x</sub>''=±''p<sub>0</sub>''.]]
| |
| | |
| The conservation of the LRL vector '''A''' and angular momentum vector '''L''' is useful in showing that the momentum vector '''p''' moves on a [[circle]] under an inverse-square central force.<ref name="hamilton_1847_hodograph" /><ref name="goldstein_1975_1976" />
| |
| | |
| Taking the dot product of
| |
| :<math>
| |
| mk ~\hat{\mathbf{r}} = \mathbf{p} \times \mathbf{L} - \mathbf{A}
| |
| </math>
| |
| with itself yields
| |
| :<math>
| |
| (mk)^2= A^2+ p^2 L^{2} + 2 \mathbf{L} \cdot (\mathbf{p} \times \mathbf{A}) ~.
| |
| </math>
| |
| | |
| Further choosing '''L''' along the ''z''-axis, and the major semiaxis as the ''x''-axis, yields the locus equation for '''p''',
| |
| | |
| {{Equation box 1
| |
| |indent =:
| |
| |equation = <math> p_{x}^{2} + \left(p_{y} - A/L \right)^{2} = \left( mk/L \right)^{2}</math>
| |
| |cellpadding= 6
| |
| |border
| |
| |border colour = #0073CF
| |
| |background colour=#F9FFF7}} .
| |
| | |
| In other words, the momentum vector '''p''' is confined to a circle of radius {{math|''mk/L'' {{=}} ''L''/ℓ}} centered on {{math|(0, ''A/L'')}}. The eccentricity {{mvar|e}} corresponds to the cosine of the angle η shown in Figure 3.
| |
| | |
| In the degenerate limit of circular orbits, and thus vanishing '''A''', the circle centers at the origin (0,0).
| |
| For brevity, it is also useful to introduce the variable <math>p_{0} = \sqrt{2m\left| E \right|}</math>. This circular [[hodograph]] is useful in illustrating the [[symmetry]] of the Kepler problem.
| |
| | |
| ==Constants of motion and superintegrability==
| |
| The seven scalar quantities ''E'', '''A''' and '''L''' (being vectors, the latter two contribute three conserved quantities each) are related by two equations, '''A''' · '''L''' = 0 and {{math|''A''<sup>2</sup> {{=}} ''m''<sup>2</sup>''k''<sup>2</sup>
| |
| + 2 ''mEL''<sup>2</sup>}}, giving five independent [[constants of motion]]. This is consistent with the six initial conditions (the particle's initial position and velocity [[vector (geometric)|vector]]s, each with three components) that specify the orbit of the particle, since the initial time is not determined by a constant of motion. Since the magnitude of '''A''' (and the eccentricity ''e'' of the orbit) can be determined from the total angular momentum ''L'' and the energy ''E'', only the ''direction'' of '''A''' is conserved independently; moreover, since '''A''' must be perpendicular to '''L''', it contributes ''only one'' additional conserved quantity.
| |
| | |
| A mechanical system with ''d'' degrees of freedom can have at most 2''d'' − 1 [[constant of motion|constants of motion]], since there are 2''d'' initial conditions and the initial time cannot be determined by a constant of motion. A system with more than ''d'' [[constant of motion|constants of motion]] is called ''superintegrable'' and a system with 2''d'' − 1 constants is called '''[[Superintegrable Hamiltonian system|maximally superintegrable]]'''.<ref>{{cite journal | last = Evans | first = NW | year = 1990 | title = Superintegrability in classical mechanics | journal = Physical Review A | volume = 41 | pages = 5666–5676 | doi = 10.1103/PhysRevA.41.5666|bibcode = 1990PhRvA..41.5666E }}</ref> Since the solution of the [[Hamilton–Jacobi equation]] in one [[coordinate system]] can yield only ''d'' constants of motion, superintegrable systems must be separable in more than one coordinate system.<ref>{{cite book | last = Sommerfeld | first = A | authorlink = Arnold Sommerfeld | year = 1923 | title = Atomic Structure and Spectral Lines | publisher = Methuen | location = London | page = 118}}</ref> The Kepler problem is maximally superintegrable, since it has three degrees of freedom (''d=3'') and five independent [[constant of motion]]; its Hamilton–Jacobi equation is separable in both [[spherical coordinates]] and [[parabolic coordinates]],<ref name="landau_lifshitz_1976">{{cite book | last=Landau |first=LD | authorlink=Lev Landau | coauthors=[[Evgeny Lifshitz|Lifshitz EM]] | year=1976 | title=Mechanics | edition=3rd edition | publisher=Pergamon Press | page = 154 | isbn=
| |
| 0-08-021022-8}}</ref> as described [[#Hamilton–Jacobi equation in parabolic coordinates|below]].
| |
| | |
| Maximally superintegrable systems follow closed, one-dimensional orbits in [[phase space]], since the orbit is the intersection of the phase-space [[isosurface]]s of their constants of motion. Consequently, the orbits are perpendicular to all gradients of all these
| |
| independent isosurfaces, five in this specific problem, and hence are determined by the generalized cross products of all of these gradients. As a result, '''all''' superintegrable systems are automatically describable by [[Nambu mechanics]],<ref>{{cite journal | last = Curtright | first= T | coauthors = Zachos C | year= 2003 | title=Classical and Quantum Nambu Mechanics | journal = Physical Review | volume = D68 | page = 085001 | doi = 10.1103/PhysRevD.68.085001|arxiv = hep-th/0212267 |bibcode = 2003PhRvD..68h5001C }}</ref> alternatively, and equivalently, to [[Hamiltonian mechanics]].
| |
| | |
| Maximally superintegrable systems can be [[canonical quantization|quantized]] using [[commutation relation]]s, as illustrated [[#Quantum mechanics of the hydrogen atom|below]].<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–3375 | doi = 10.1063/1.529449|bibcode = 1991JMP....32.3369E }}</ref> Nevertheless, equivalently, they are also quantized in the Nambu framework,
| |
| such as this classical Kepler problem into the quantum hydrogen atom.<ref>{{cite journal | title= Branes, quantum Nambu brackets, and the hydrogen atom | last = Zachos | first = C | coauthors = Curtright T | year= 2004 | journal = Czech Journal of Physics | volume= 54 | pages = 1393–1398 | doi= 10.1007/s10582-004-9807-x |arxiv = math-ph/0408012 |bibcode = 2004CzJPh..54.1393Z }}</ref>
| |
| | |
| ==Evolution under perturbed potentials==
| |
| [[Image:Relativistic precession.svg|right|thumb|250px|Figure 5: Gradually precessing elliptical orbit, with an eccentricity ''e'' = 0.667. Such precession arises in the Kepler problem if the attractive [[central force]] deviates slightly from an [[inverse-square law]]. The ''rate'' of precession can be calculated using the formulae in the text.]]
| |
| | |
| The Laplace–Runge–Lenz vector '''A''' is conserved only for a perfect [[inverse square law|inverse-square]] [[central force]]. In most practical problems such as planetary motion, however, the interaction [[potential energy]] between two bodies is not exactly an [[inverse square law]], but may include an additional central force, a so-called ''perturbation'' described by a [[potential energy]] {{math|''h''(''r'')}}. In such cases, the LRL vector rotates slowly in the plane of the orbit, corresponding to a slow [[apsidal precession]] of the orbit.
| |
| | |
| By assumption, the perturbing potential {{math|''h''(''r'')}} is a [[conservation of energy|conservative]] central force, which implies that the total energy {{mvar|E}} and [[angular momentum]] vector '''L''' are conserved. Thus, the motion still lies in a plane perpendicular to '''L''' and the magnitude {{mvar|A}} is conserved, from the equation {{math| ''A''<sup>2</sup> {{=}} ''m''<sup>2</sup>''k''<sup>2</sup> + 2''mEL''<sup>2</sup>}}. The perturbation potential {{math|''h''(''r'')}} may be any sort of function, but should be significantly weaker than the main inverse-square force between the two bodies.
| |
| | |
| The ''rate'' at which the LRL vector rotates provides information about the perturbing potential {{math|''h''(''r'')}}. Using canonical perturbation theory and [[action-angle coordinates]], it is straightforward to show<ref name="goldstein_1980" /> that '''A''' rotates at a rate of,
| |
| :<math>\begin{align}
| |
| \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{align} </math>
| |
| where {{mvar|T}} is the orbital period, and the identity {{math|''L'' ''dt'' {{=}} ''m'' ''r''<sup>2</sup> ''dθ''}} was used to convert the time integral into an angular integral (Figure 5). The expression in angular brackets, {{math|〈''h''(''r'')〉}}, represents the perturbing potential, but ''averaged'' over one full period; that is, averaged over one full passage of the body around its orbit. Mathematically, this time average corresponds to the following quantity in curly braces. This averaging helps to suppress fluctuations in the rate of rotation.
| |
| | |
| This approach was used to help verify [[Albert Einstein|Einstein's]] theory of [[general relativity]], which adds a small effective inverse-cubic perturbation to the normal Newtonian gravitational potential,<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–839}}</ref>
| |
| :<math>
| |
| h(r) = \frac{kL^{2}}{m^{2}c^{2}} \left( \frac{1}{r^{3}} \right) ~.
| |
| </math>
| |
| | |
| Inserting this function into the integral and using the equation
| |
| :<math>
| |
| \frac{1}{r} = \frac{mk}{L^{2}} \left( 1 + \frac{A}{mk} \cos\theta \right)
| |
| </math>
| |
| to express {{mvar|r}} in terms of {{mvar|θ}}, the [[Apsidal precession|precession rate]] of the [[periapsis]] caused by this non-Newtonian perturbation is calculated to be<ref name="einstein_1915" />
| |
| :<math> | |
| \frac{6\pi k^{2}}{TL^{2}c^{2}} ~,
| |
| </math>
| |
| which closely matches the observed anomalous precession of [[Mercury (planet)|Mercury]]<ref>{{cite journal | last = Le Verrier | first = UJJ | authorlink = Urbain 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–383}}</ref> and binary [[pulsar]]s.<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 | nopp = true}}</ref> This agreement with experiment is strong evidence for [[general relativity]].<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>
| |
| | |
| ==Poisson brackets==
| |
| The algebraic structure of the problem is, as explained in later sections, SO(4)/ℤ<sub>2</sub> ~ SO(3) × SO(3).<ref name="bargmann_1936" />
| |
| The three components ''L<sub>i</sub>'' of the angular momentum vector '''L''' have the [[Poisson bracket]]s<ref name="goldstein_1980" />
| |
| | |
| :<math>
| |
| \left\{ L_{i}, L_{j}\right\} = \sum_{s=1}^{3} \epsilon_{ijs} L_{s} ~,
| |
| </math>
| |
| | |
| where ''i''=1,2,3 and ε<sub>ijs</sub> is the fully [[antisymmetric tensor]], i.e., the [[Levi-Civita symbol]]; the summation index ''s'' is used here to avoid confusion with the force parameter ''k'' defined [[#Mathematical definition|above]]. The Poisson brackets are represented here as ''square'' brackets (not curly braces), both for consistency with the references and because they will be interpreted as [[quantum mechanics|quantum mechanical]] [[canonical commutation relation|commutation relations]] in the [[#Quantum mechanics of the hydrogen atom|next section]] and as [[Lie algebra|Lie bracket]]s in a [[#Conservation and symmetry|following section]].
| |
| | |
| As noted [[#Alternative scalings, symbols and formulations|below]], a scaled Laplace–Runge–Lenz vector '''D''' may be defined with the same units as [[angular momentum]] by dividing '''A''' by <math>p_0= \sqrt{2m|E|}</math>. The [[Poisson bracket]]s of '''D''' with the angular momentum vector '''L''' can then be written in a similar form<ref name="bargmann_1936" /> <ref name="bohm_1986">{{cite book | last=Bohm | first=A. | year=1986 | title=Quantum Mechanics: Foundations and Applications | edition= 2nd edition | publisher=Springer Verlag | pages=208–222}}</ref>
| |
| | |
| :<math>
| |
| \left\{ D_{i}, L_{j}\right\} = \sum_{s=1}^{3} \epsilon_{ijs} D_{s} ~.
| |
| </math>
| |
| | |
| The [[Poisson bracket]]s of '''D''' with ''itself'' depend on the [[sign (mathematics)|sign]] of ''E'', i.e., on whether the total energy ''E'' is [[negative number|negative]] (producing closed, elliptical orbits under an inverse-square central force) or [[positive number|positive]] (producing open, hyperbolic orbits under an inverse-square central force). For ''negative'' energies – i.e., for bound systems – the Poisson brackets are
| |
| :<math>
| |
| \left\{ D_{i}, D_{j}\right\} = \sum_{s=1}^{3} \epsilon_{ijs} L_{s} ~;
| |
| </math>
| |
| | |
| whereas, for ''positive'' energy, the Poisson brackets have the opposite sign,
| |
| :<math>
| |
| \left\{ D_{i}, D_{j}\right\} = -\sum_{s=1}^{3} \epsilon_{ijs} L_{s} ~.
| |
| </math>
| |
| | |
| The [[Casimir invariant]]s for negative energies are
| |
| :<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>
| |
| | |
| and have vanishing Poisson brackets with all components of '''D''' and '''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>'' is trivially zero, since the two vectors are always perpendicular.
| |
| | |
| However, the other invariant, ''C<sub>1</sub>'', is non-trivial and depends only on ''m'', ''k'' and ''E''. Upon canonical quantization, this invariant allows the energy levels of [[hydrogen-like atom]]s to be derived using only [[quantum mechanics|quantum mechanical]] [[canonical commutation relation]]s, instead of the conventional solution of the [[Schrödinger equation]].
| |
| | |
| ==Quantum mechanics of the hydrogen atom==<!-- This section is linked from [[Dipole]] -->
| |
| | |
| [[Image:Hydrogen energy levels.png|thumb|right|300px|Figure 6: Energy levels of the hydrogen atom as predicted from the commutation relations of angular momentum and Laplace–Runge–Lenz vector operators; these energy levels have been verified experimentally.]]
| |
| | |
| Poisson brackets provide a simple guide for [[canonical quantization|quantizing most classical systems]]: the [[commutation relation]] of two [[quantum mechanics|quantum mechanical]] [[Operator (physics)|operator]]s is specified by the [[Poisson bracket]] of the corresponding [[classical mechanics|classical]] variables, multiplied by ''iħ''.<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>
| |
| | |
| By carrying out this quantization and calculating the eigenvalues of the <math>C_{1}</math> Casimir operator for the Kepler problem, [[Wolfgang Pauli]] was able to derive the [[energy spectrum|energy levels]] of [[hydrogen-like atom]]s (Figure 6) and, thus, their [[atomic emission spectrum]].<ref name="pauli_1926" /> This elegant 1926 derivation was obtained ''before the development of the [[Schrödinger equation]]''.<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–376 | doi = 10.1002/andp.19263840404|bibcode = 1926AnP...384..361S }}</ref>
| |
| | |
| A subtlety of the quantum mechanical operator for the LRL vector '''A''' is that the momentum and angular momentum operators do not commute; hence, the quantum operator [[cross product]] of '''p''' and '''L''' must be defined carefully.<ref name="bohm_1986" /> Typically, the operators for the [[Cartesian coordinate system|Cartesian components]] ''A<sub>s</sub>'' are defined using a symmetrized (Hermitian) product,
| |
| :<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>
| |
| from which the corresponding additional [[ladder operators]] for '''L''' can be defined,
| |
| :<math>
| |
| J_{0} = A_{3} \,
| |
| </math>
| |
| :<math>
| |
| J_{\pm 1} = \mp \frac{1}{\sqrt{2}} \left( A_{1} \pm i A_{2} \right) ~.
| |
| </math>
| |
| These further connect ''different'' eigenstates of '''L'''<sup>2</sup>, so different spin multiplets, among themselves.
| |
| | |
| A normalized first Casimir invariant operator, quantum analog of the above, can likewise be defined,
| |
| :<math>
| |
| C_{1} = - \frac{m k^{2}}{2 \hbar^{2}} H^{-1} - I ~,
| |
| </math>
| |
| where ''H''<sup>−1</sup> is the inverse of the [[Hamiltonian (quantum mechanics)|Hamiltonian]] energy operator, and {{mvar|I}} is the [[identity function|identity operator]].
| |
| | |
| Applying these ladder operators to the [[eigenstate]]s <math>\left| l m n \right.\rangle</math> of the total angular momentum, azimuthal angular momentum and energy operators, the eigenvalues of the first Casimir operator, ''C''<sub>1</sub>, are seen to be quantized, {{math|''n''<sup>2</sup> − 1}}. Importantly, by dint of the vanishing of ''C''<sub>2</sub>, they are independent of the {{mvar|l}} and {{mvar|m}} quantum numbers, making the [[degenerate energy level|energy levels degenerate]].<ref name="bohm_1986" />
| |
| | |
| Hence, the energy levels are given by
| |
| :<math>
| |
| E_{n} = - \frac{m k^{2}}{2\hbar^{2} n^{2}} ~ ,
| |
| </math>
| |
| which coincides with the [[Rydberg formula]] for [[hydrogen-like atom]]s (Figure 6). The additional symmetry operators '''A''' have connected the different {{mvar|l}} multiplets among themselves, for a given energy (and ''C''<sub>1</sub>), dictating {{math|''n''<sup>2</sup>}} states at each level. In effect, they have enlarged the angular momentum group [[SO(3)]] to [[SO(4)]]/ℤ<sub>2</sub> ~ SO(3) × SO(3).
| |
| | |
| ==Conservation and symmetry==
| |
| The conservation of the LRL vector corresponds to a subtle [[symmetry]] of the system. In [[classical mechanics]], symmetries are continuous operations that map one orbit onto another without changing the energy of the system; in [[quantum mechanics]], symmetries are continuous operations that "mix" [[atomic orbital|electronic orbitals]] of the same energy, i.e., [[degenerate energy level]]s. A conserved quantity is usually associated with such symmetries.<ref name="goldstein_1980" /> For example, every [[central force]] is symmetric under the [[rotation group SO(3)]], leading to the conservation of [[angular momentum]] '''L'''. Classically, an overall rotation of the system does not affect the energy of an orbit; quantum mechanically, rotations mix the [[spherical harmonic]]s of the same [[quantum number]] ''l'' without changing the energy.
| |
| | |
| [[Image:Kepler hodograph family.png|thumb|right|Figure 7: The family of circular momentum hodographs for a given energy ''E''. All the circles pass through the same two points <math>\pm p_{0} = \pm \sqrt{2m\left| E \right|}</math> on the ''p<sub>x</sub>''-axis (cf. Figure 3). This family of hodographs corresponds to one family of [[Apollonian circles]], and the σ isosurfaces of [[bipolar coordinates]].]]
| |
| | |
| The symmetry for the inverse-square central force is higher and more subtle. The peculiar symmetry of the Kepler problem results in the conservation of both the angular momentum vector '''L''' and the LRL vector '''A''' (as defined [[#Mathematical definition|above]]) and, [[quantum mechanics|quantum mechanically]], ensures that the energy levels of [[hydrogen]] do not depend on the angular momentum quantum numbers ''l'' and ''m''. The symmetry is more subtle, however, because the symmetry operation must take place in a [[dimension|higher-dimensional space]]; such symmetries are often called "hidden symmetries".<ref name="prince_eliezer_1981" />
| |
| | |
| Classically, the higher symmetry of the Kepler problem allows for continuous alterations of the orbits that preserve energy but not angular momentum; expressed another way, orbits of the same energy but different angular momentum (eccentricity) can be transformed continuously into one another. Quantum mechanically, this corresponds to mixing orbitals that differ in the ''l'' and ''m'' [[quantum number]]s, such as the ''s'' (''l''=0) and ''p'' (''l''=1) [[atomic orbital]]s. Such mixing cannot be done with ordinary three-dimensional translations or rotations, but is equivalent to a rotation in a higher dimension.
| |
| | |
| For ''negative'' energies −– i.e., for bound systems −– the higher symmetry group is [[SO(4)]], which preserves the length of four-dimensional vectors
| |
| | |
| :<math>
| |
| \left| \mathbf{e} \right|^{2} = e_{1}^{2} + e_{2}^{2} + e_{3}^{2} + e_{4}^{2} .
| |
| </math>
| |
| | |
| In 1935, [[Vladimir Fock]] showed that the [[quantum mechanics|quantum mechanical]] bound Kepler problem is equivalent to the problem of a free particle confined to a three-dimensional [[three-sphere|unit sphere]] in four-dimensional space.<ref name="fock_1935" /> Specifically, Fock showed that the [[Schrödinger equation|Schrödinger]] [[wavefunction]] in the momentum space for the Kepler problem was the [[stereographic projection]] of the [[spherical harmonic]]s on the sphere. 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 [[Lie algebra]] for 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 – i.e., for unbound, "scattered" systems – 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–345 | doi = 10.1103/RevModPhys.38.330 | bibcode=1966RvMP...38..330B}}</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–358 | doi = 10.1103/RevModPhys.38.346 | bibcode=1966RvMP...38..346B}}</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.
| |
| | |
| ==Rotational symmetry in four dimensions== | |
| [[Image:Kepler Fock projection.svg|thumb|right|300px|Figure 8: The momentum hodographs of Figure 7 correspond to [[stereographic projection]]s of [[great circle]]s on the three-dimensional η unit sphere. All of the great circles intersect the η<sub>x</sub> axis, which is perpendicular to the page; the projection is from the North pole (the '''w''' unit vector) to the η<sub>x</sub>-η<sub>y</sub> plane, as shown here for the magenta hodograph by the dashed black lines. The great circle at a latitude α corresponds to an [[Eccentricity (mathematics)|eccentricity]] ''e'' = sin α. The colors of the great circles shown here correspond to their matching hodographs in Figure 7.]]
| |
| | |
| The connection between the [[two-body problem|Kepler problem]] and four-dimensional rotational symmetry [[SO(4)]] can be readily visualized.<ref name="bander_itzykson_1966" /><ref name="rogers_1973">{{cite journal | last = Rogers | first = HH | year = 1973 | title = Symmetry transformations of the classical Kepler problem | journal = Journal of Mathematical Physics | volume = 14 | pages = 1125–1129 | doi = 10.1063/1.1666448|bibcode = 1973JMP....14.1125R }}</ref><ref>{{cite book | last = Guillemin | first = V | coauthors = Sternberg S | year = 1990 | title = Variations on a Theme by Kepler | publisher = American Mathematical Society Colloquium Publications, volume 42 | isbn = 0-8218-1042-1}}</ref> Let the four-dimensional [[Cartesian coordinates]] be denoted (''w'', ''x'', ''y'', ''z'') where (''x'', ''y'', ''z'') represent the Cartesian coordinates of the normal position [[vector (geometric)|vector]] '''r'''. The three-dimensional momentum vector '''p''' is associated with a four-dimensional vector <math>\boldsymbol\eta</math> on a three-dimensional unit sphere
| |
| | |
| :<math>\begin{align}
| |
| \boldsymbol\eta & = \displaystyle \frac{p^2 - p_0^2}{p^2 + p_0^2} \mathbf{\hat{w}} + \frac{2 p_0}{p^2 + p_0^2} \mathbf{p} \\[1em]
| |
| & = \displaystyle \frac{mk - r p_0^2}{mk} \mathbf{\hat{w}} + \frac{rp_0}{mk} \mathbf{p}
| |
| \end{align}</math>
| |
| | |
| where <math>\mathbf{\hat{w}}</math> is the unit vector along the new ''w''-axis. The transformation mapping '''p''' to '''η''' can be uniquely inverted; for example, the ''x''-component of the momentum equals
| |
| | |
| :<math>
| |
| p_x = p_0 \frac{\eta_x}{1 - \eta_w}
| |
| </math>
| |
| | |
| and similarly for ''p<sub>y</sub>'' and ''p<sub>z</sub>''. In other words, the three-dimensional vector '''p''' is a [[stereographic projection]] of the four-dimensional <math>\boldsymbol\eta</math> vector, scaled by ''p''<sub>0</sub> (Figure 8).
| |
| | |
| Without loss of generality, we may eliminate the normal rotational symmetry by choosing the [[Cartesian coordinates]] such that the ''z''-axis is aligned with the angular momentum vector '''L''' and the momentum hodographs are aligned as they are in Figure 7, with the centers of the circles on the ''y''-axis. Since the motion is planar, and '''p''' and '''L''' are perpendicular, ''p<sub>z</sub>'' = η<sub>''z''</sub> = 0 and attention may be restricted to the three-dimensional vector <math>\boldsymbol\eta</math> = (η<sub>''w''</sub>, η<sub>''x''</sub>, η<sub>''y''</sub>). The family of [[Apollonian circles]] of momentum hodographs (Figure 7) correspond to a family of [[great circle]]s on the three-dimensional <math>\boldsymbol\eta</math> sphere, all of which intersect the η<sub>''x''</sub>-axis at the two foci ''η<sub>x</sub>'' = ±1, corresponding to the momentum hodograph foci at ''p<sub>x</sub>'' = ±''p''<sub>0</sub>. These great circles are related by a simple rotation about the η<sub>''x''</sub>-axis (Figure 8). This rotational symmetry transforms all the orbits of the same energy into one another; however, such a rotation is orthogonal to the usual three-dimensional rotations, since it transforms the fourth dimension η<sub>''w''</sub>. This higher symmetry is characteristic of the Kepler problem and corresponds to the conservation of the LRL vector.
| |
| | |
| An elegant [[action-angle variables]] solution for the Kepler problem can be obtained by eliminating the redundant four-dimensional coordinates <math>\boldsymbol\eta</math> in favor of elliptic cylindrical coordinates (χ, ψ, φ)<ref>{{cite journal | last = Lakshmanan | first = M | coauthors = Hasegawa H | title = On the canonical equivalence of the Kepler problem in coordinate and momentum spaces | journal = Journal of Physics a | volume = 17 | pages = L889–L893 | doi = 10.1088/0305-4470/17/16/006 | year = 1984|bibcode = 1984JPhA...17L.889L }}</ref>
| |
| | |
| :<math>
| |
| \eta_{w} = \mathrm{cn}\, \chi \ \mathrm{cn}\, \psi
| |
| </math>
| |
| :<math>
| |
| \eta_{x} = \mathrm{sn}\, \chi \ \mathrm{dn}\, \psi \ \cos \phi
| |
| </math>
| |
| :<math>
| |
| \eta_{y} = \mathrm{sn}\, \chi \ \mathrm{dn}\, \psi \ \sin \phi
| |
| </math>
| |
| :<math>
| |
| \eta_{z} = \mathrm{dn}\, \chi \ \mathrm{sn}\, \psi
| |
| </math>
| |
| where sn, cn and dn are [[Jacobi's elliptic functions]].
| |
| | |
| ==Generalizations to other potentials and relativity==
| |
| The Laplace–Runge–Lenz vector can also be generalized to identify conserved quantities that apply to other situations.
| |
| | |
| In the presence of an electric field '''E''', the conserved generalized Laplace–Runge–Lenz vector <math>\mathcal{A}</math> is<ref name="landau_lifshitz_1976" /><ref>{{cite journal | last = Redmond | first = PJ | year = 1964 | title = Generalization of the Runge–Lenz Vector in the Presence of an Electric Field | journal = Physical Review | volume = 133 | pages = B1352–B1353 | doi = 10.1103/PhysRev.133.B1352|bibcode = 1964PhRv..133.1352R }}</ref>
| |
| | |
| :<math>
| |
| \mathcal{A} = \mathbf{A} + \frac{mq}{2} \left[ \left( \mathbf{r} \times \mathbf{E} \right) \times \mathbf{r} \right] ,
| |
| </math>
| |
| where ''q'' is the [[electric charge|charge]] of the orbiting particle.
| |
| | |
| Further generalizing the Laplace–Runge–Lenz vector to other potentials and [[special relativity]], the most general form can be written as<ref name="fradkin_1967" />
| |
| :<math>
| |
| \mathcal{A} =
| |
| \left( \frac{\partial \xi}{\partial u} \right) \left(\mathbf{p} \times \mathbf{L}\right) +
| |
| \left[ \xi - u \left( \frac{\partial \xi}{\partial u} \right)\right] L^{2} \mathbf{\hat{r}}
| |
| </math>
| |
| | |
| where ''u'' = ''1/r'' (cf. [[Bertrand's theorem]]) and ξ = cos θ, with the angle θ defined by
| |
| | |
| :<math>
| |
| \theta = L \int^{u} \frac{du}{\sqrt{m^{2} c^{2} \left(\gamma^{2} - 1 \right) - L^{2} u^{2}}}
| |
| </math>
| |
| | |
| and γ is the [[Lorentz factor]]. As before, we may obtain a conserved binormal [[vector (geometric)|vector]] '''B''' by taking the [[cross product]] with the conserved [[angular momentum]] vector
| |
| | |
| :<math>
| |
| \mathcal{B} = \mathbf{L} \times \mathcal{A} .
| |
| </math>
| |
| | |
| These two vectors may likewise be combined into a conserved [[dyadic tensor]] '''W''',
| |
| | |
| :<math>
| |
| \mathcal{W} = \alpha \mathcal{A} \otimes \mathcal{A} + \beta \, \mathcal{B} \otimes \mathcal{B}
| |
| </math>
| |
| | |
| In illustration, the LRL vector for a non-relativistic, isotropic harmonic oscillator can be calculated.<ref name="fradkin_1967" /> Since the force is [[central force|central]],
| |
| :<math>
| |
| \mathbf{F}(r)= -k \mathbf{r} ,
| |
| </math>
| |
| the [[angular momentum]] [[vector (geometric)|vector]] is conserved and the motion lies in a plane.
| |
| | |
| The conserved dyadic tensor can be written in a simple form
| |
| :<math>
| |
| \mathcal{W} = \frac{1}{2m} \mathbf{p} \otimes \mathbf{p} + \frac{k}{2} \, \mathbf{r} \otimes \mathbf{r} ~,
| |
| </math>
| |
| although it should be noted that '''p''' and '''r''' are not necessarily perpendicular.
| |
| | |
| The corresponding Runge–Lenz vector is more complicated,
| |
| :<math>
| |
| \mathcal{A} = \frac{1}{\sqrt{mr^{2}\omega_{0} A - mr^{2}E + L^{2}}} \left\{ \left( \mathbf{p} \times \mathbf{L} \right) + \left(mr\omega_{0} A - mrE \right) \mathbf{\hat{r}} \right\} ,
| |
| </math>
| |
| where <math>\omega_{0} = \sqrt{\frac{k}{m}}</math> is the natural oscillation frequency and <math>A=(E^{2}-\omega^{2}L^{2})^{1/2}/\omega</math>.
| |
| | |
| ==Proofs that the Laplace–Runge–Lenz vector is conserved in Kepler problems==
| |
| The following are arguments showing that the LRL vector is conserved under [[central force]]s that obey an inverse-square law.
| |
| | |
| ===Direct proof of conservation===
| |
| A central force <math>\mathbf{F}</math> acting on the particle is
| |
| | |
| :<math>
| |
| \mathbf{F} = \frac{d\mathbf{p}}{dt} = f(r) \frac{\mathbf{r}}{r} = f(r) \mathbf{\hat{r}}
| |
| </math>
| |
| | |
| for some function <math>f(r)</math> of the radius <math>r</math>. Since the [[angular momentum]] <math>\mathbf{L} = \mathbf{r} \times \mathbf{p}</math> is conserved under central forces, <math>\frac{d}{dt}\mathbf{L} = 0</math> and
| |
| | |
| :<math>
| |
| \frac{d}{dt} \left( \mathbf{p} \times \mathbf{L} \right) = \frac{d\mathbf{p}}{dt} \times \mathbf{L} = f(r) \mathbf{\hat{r}} \times \left( \mathbf{r} \times m \frac{d\mathbf{r}}{dt} \right) = f(r) \frac{m}{r} \left[ \mathbf{r} \left(\mathbf{r} \cdot \frac{d\mathbf{r}}{dt} \right) - r^{2} \frac{d\mathbf{r}}{dt} \right]
| |
| </math>
| |
| | |
| where the [[momentum]] <math>\mathbf{p} = m \frac{d\mathbf{r}}{dt}</math> and where the triple [[cross product]] has been simplified using [[Vector triple product|Lagrange's formula]]
| |
| | |
| :<math>
| |
| \mathbf{r} \times \left( \mathbf{r} \times \frac{d\mathbf{r}}{dt} \right) = \mathbf{r} \left(\mathbf{r} \cdot \frac{d\mathbf{r}}{dt} \right) - r^{2} \frac{d\mathbf{r}}{dt}
| |
| </math>
| |
| | |
| The identity
| |
| | |
| :<math>
| |
| \frac{d}{dt} \left( \mathbf{r} \cdot \mathbf{r} \right) = 2 \mathbf{r} \cdot \frac{d\mathbf{r}}{dt} = \frac{d}{dt} \left( r^{2} \right) = 2r\frac{dr}{dt}
| |
| </math>
| |
| | |
| yields the equation
| |
| | |
| :<math>
| |
| \frac{d}{dt} \left( \mathbf{p} \times \mathbf{L} \right) =
| |
| -m f(r) r^{2} \left[ \frac{1}{r} \frac{d\mathbf{r}}{dt} - \frac{\mathbf{r}}{r^{2}} \frac{dr}{dt}\right] =
| |
| -m f(r) r^{2} \frac{d}{dt} \left( \frac{\mathbf{r}}{r}\right)
| |
| </math>
| |
| | |
| For the special case of an inverse-square central force <math>f(r)=\frac{-k}{r^{2}}</math>, this equals
| |
| | |
| :<math>
| |
| \frac{d}{dt} \left( \mathbf{p} \times \mathbf{L} \right) =
| |
| m k \frac{d}{dt} \left( \frac{\mathbf{r}}{r}\right) =
| |
| \frac{d}{dt} \left( mk\mathbf{\hat{r}} \right)
| |
| </math>
| |
| | |
| Therefore, '''A''' is conserved for inverse-square central forces
| |
| | |
| :<math>
| |
| \frac{d}{dt} \mathbf{A} = \frac{d}{dt} \left( \mathbf{p} \times \mathbf{L} \right) - \frac{d}{dt} \left( mk\mathbf{\hat{r}} \right) = \mathbf{0}
| |
| </math>
| |
| | |
| A shorter proof is obtained by using the relation of angular momentum to angular velocity, <math> \mathbf{L} = m r^2 \boldsymbol{\omega}</math>, which holds for a particle traveling in a plane perpendicular to <math> \mathbf{L}</math>. Specifying to inverse-square central forces, the time derivative of <math>\mathbf{p} \times \mathbf{L}</math> is
| |
| :<math>
| |
| \frac{d}{dt} \mathbf{p} \times \mathbf{L} = \left( \frac{-k}{r^2} \mathbf{\hat{r}} \right) \times \left(m r^2 \boldsymbol{\omega}\right)
| |
| = m k \, \boldsymbol{\omega} \times \mathbf{\hat{r}} = m k \,\frac{d}{dt}\mathbf{\hat{r}}
| |
| </math>
| |
| where the last equality holds because a unit vector can only change by rotation, and <math>\boldsymbol{\omega}\times\mathbf{\hat{r}}</math> is the orbital velocity of the rotating vector. Thus, '''A''' is seen to be a difference of two vectors with equal time derivatives.
| |
| | |
| As described [[#Generalizations to other potentials and relativity|below]], this LRL vector '''A''' is a special case of a general conserved vector <math>\mathcal{A}</math> that can be defined for all [[central force]]s.<ref name="fradkin_1967" /><ref name="yoshida_1987" /> However, since most central forces do not produce closed orbits (see [[Bertrand's theorem]]), the analogous vector <math>\mathcal{A}</math> rarely has a simple definition and is generally a [[multivalued function]] of the angle θ between '''r''' and <math>\mathcal{A}</math>.
| |
| | |
| ===Hamilton–Jacobi equation in parabolic coordinates===
| |
| The constancy of the LRL vector can also be derived from the [[Hamilton–Jacobi equation]] in [[parabolic coordinates]] (ξ, η), which are defined by the equations
| |
| | |
| :<math>
| |
| \xi = r + x \,
| |
| </math>
| |
| | |
| :<math>
| |
| \eta = r - x \,
| |
| </math>
| |
| | |
| where ''r'' represents the radius in the plane of the orbit
| |
| | |
| :<math>
| |
| r = \sqrt{x^{2} + y^{2}}
| |
| </math>
| |
| | |
| The inversion of these coordinates is
| |
| | |
| :<math>
| |
| x = \frac{1}{2} \left( \xi - \eta \right)
| |
| </math>
| |
| | |
| :<math>
| |
| y = \sqrt{\xi\eta}
| |
| </math>
| |
| | |
| Separation of the Hamilton–Jacobi equation in these coordinates yields the two equivalent equations<ref name="landau_lifshitz_1976" /><ref>{{cite journal | last = Dulock | first = VA | coauthors = McIntosh HV | year = 1966 | title = On the Degeneracy of the Kepler Problem | journal = Pacific Journal of Mathematics | volume = 19 | pages = 39–55}}</ref>
| |
| | |
| :<math>
| |
| 2\xi p_{\xi}^{2} - mk - mE\xi = -\Gamma
| |
| </math>
| |
| | |
| :<math>
| |
| 2\eta p_{\eta}^{2} - mk - mE\eta = \Gamma
| |
| </math>
| |
| | |
| where Γ is a [[constant of motion]]. Subtraction and re-expression in terms of the Cartesian momenta ''p<sub>x</sub>'' and ''p<sub>y</sub>'' shows that Γ is equivalent to the LRL vector
| |
| | |
| :<math>
| |
| \Gamma = p_{y} \left( x p_{y} - y p_{x} \right) - mk\frac{x}{r} = A_{x}
| |
| </math>
| |
| | |
| ===Noether's theorem===
| |
| The connection between the rotational symmetry described above and the conservation of the LRL vector can be made quantitative by way of [[Noether's theorem]]. This theorem, which is used for finding constants of motion, states that any infinitesimal variation of the [[generalized coordinate]]s of a physical system
| |
| | |
| :<math>
| |
| \delta q_{i} = \epsilon g_{i}(\mathbf{q}, \mathbf{\dot{q}}, t)
| |
| </math>
| |
| | |
| that causes the [[Lagrangian]] to vary to first order by a total time derivative
| |
| | |
| :<math>
| |
| \delta L = \epsilon \frac{d}{dt} G(\mathbf{q}, t)
| |
| </math>
| |
| | |
| corresponds to a conserved quantity Γ
| |
| | |
| :<math>
| |
| \Gamma = -G + \sum_{i} g_{i} \left( \frac{\partial L}{\partial \dot{q}_{i}}\right)
| |
| </math>
| |
| | |
| In particular, the conserved LRL vector component ''A<sub>s</sub>'' corresponds to the variation in the coordinates<ref>{{cite journal | last = Lévy-Leblond | first = JM | year = 1971 | title = Conservation Laws for Gauge-Invariant Lagrangians in Classical Mechanics | journal = American Journal of Physics | volume = 39 | pages = 502–506 | doi = 10.1119/1.1986202|bibcode = 1971AmJPh..39..502L }}</ref>
| |
| | |
| :<math>
| |
| \delta x_{i} = \frac{\epsilon}{2} \left[ 2 p_{i} x_{s} - x_{i} p_{s} - \delta_{is} \left( \mathbf{r} \cdot \mathbf{p} \right) \right]
| |
| </math>
| |
| | |
| where ''i'' equals 1, 2 and 3, with ''x<sub>i</sub>'' and ''p<sub>i</sub>'' being the ''i''<sup>th</sup> components of the position and momentum vectors '''r''' and '''p''', respectively; as usual, ''δ<sub>is</sub>'' represents the [[Kronecker delta]]. The resulting first-order change in the Lagrangian is
| |
| | |
| :<math>
| |
| \delta L = \epsilon mk\frac{d}{dt} \left( \frac{x_{s}}{r} \right)
| |
| </math>
| |
| | |
| Substitution into the general formula for the conserved quantity ''Γ'' yields the conserved component ''A<sub>s</sub>'' of the LRL vector,
| |
| :<math>
| |
| A_{s} = \left[ p^{2} x_{s} - p_{s} \ \left(\mathbf{r} \cdot \mathbf{p}\right) \right] - mk \left( \frac{x_{s}}{r} \right) =
| |
| \left[ \mathbf{p} \times \left( \mathbf{r} \times \mathbf{p} \right) \right]_{s} - mk \left( \frac{x_{s}}{r} \right)
| |
| </math>
| |
| | |
| ===Lie transformation===
| |
| [[Image:Scaled ellipses.png|thumb|right|350px|Figure 9: The Lie transformation from which the conservation of the LRL vector '''A''' is derived. As the scaling parameter λ varies, the energy and angular momentum changes, but the eccentricity ''e'' and the magnitude and direction of '''A''' do not.]]
| |
| | |
| The [[Noether theorem]] derivation of the conservation of the LRL vector '''A''' is elegant, but has one drawback: the coordinate variation δ''x''<sub>i</sub> involves not only the ''position'' '''r''', but also the ''momentum'' '''p''' or, equivalently, the ''velocity'' '''v'''.<ref>{{cite journal | last = Gonzalez-Gascon | first = F | year = 1977 | title = Notes on the symmetries of systems of differential equations | journal = Journal of Mathematical Physics | volume = 18 | pages = 1763–1767 | doi = 10.1063/1.523486|bibcode = 1977JMP....18.1763G }}</ref> This drawback may be eliminated by instead deriving the conservation of '''A''' using an approach pioneered by [[Sophus Lie]].<ref>{{cite book | last = Lie | first = S | authorlink = Sophus Lie | year = 1891 | title = Vorlesungen über Differentialgleichungen | publisher = Teubner | location = Leipzig}}</ref><ref>{{cite book | last = Ince | first = EL | year = 1926 | title = Ordinary Differential Equations | publisher = Dover (1956 reprint) | location = New York | pages = 93–113}}</ref> Specifically, one may define a Lie transformation<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–596 | doi = 10.1088/0305-4470/14/3/009|bibcode = 1981JPhA...14..587P }}</ref> in which the coordinates '''r''' and the time ''t'' are scaled by different powers of a parameter λ (Figure 9),
| |
| :<math>
| |
| t \rightarrow \lambda^{3}t , \qquad \mathbf{r} \rightarrow \lambda^{2}\mathbf{r} , \qquad\mathbf{p} \rightarrow \frac{1}{\lambda}\mathbf{p}~.
| |
| </math>
| |
| | |
| This transformation changes the total angular momentum ''L'' and energy ''E'',
| |
| :<math>
| |
| L \rightarrow \lambda L, \qquad E \rightarrow \frac{1}{\lambda^{2}} E ~,
| |
| </math>
| |
| but preserves their product ''EL<sup>2</sup>''. Therefore, the eccentricity ''e'' and the magnitude ''A'' are preserved, as may be seen from the [[#Derivation of the Kepler orbits|equation for ''A''<sup>2</sup>]]
| |
| | |
| :<math>
| |
| A^2 = m^2 k^2 e^{2} = m^2 k^2 + 2 m E L^2
| |
| </math>
| |
| | |
| The direction of '''A''' is preserved as well, since the semiaxes are not altered by a global scaling. This transformation also preserves [[Kepler's third law]], namely, that the semiaxis ''a'' and the period ''T'' form a constant ''T<sup>2</sup>/a<sup>3</sup>''.
| |
| | |
| ==Alternative scalings, symbols and formulations==
| |
| Unlike the [[momentum]] and [[angular momentum]] [[vector (geometric)|vectors]] '''p''' and '''L''', there is no universally accepted definition of the Laplace–Runge–Lenz vector; several different scaling factors and symbols are used in the scientific literature. The most common definition is given [[#Mathematical definition|above]], but another common alternative is to divide by the constant ''mk'' to obtain a dimensionless conserved [[eccentricity vector]]
| |
| | |
| :<math>
| |
| \mathbf{e} =
| |
| \frac{1}{mk} \left(\mathbf{p} \times \mathbf{L} \right) - \mathbf{\hat{r}} =
| |
| \frac{m}{k} \left(\mathbf{v} \times \left( \mathbf{r} \times \mathbf{v} \right) \right) - \mathbf{\hat{r}}
| |
| </math>
| |
| | |
| where '''v''' is the velocity vector. This scaled vector '''e''' has the same direction as '''A''' and its magnitude equals the [[eccentricity (orbit)|eccentricity]] of the orbit. Other scaled versions are also possible, e.g., by dividing '''A''' by ''m'' alone
| |
| | |
| :<math>
| |
| \mathbf{M} = \mathbf{v} \times \mathbf{L} - k\mathbf{\hat{r}}
| |
| </math>
| |
| | |
| or by ''p''<sub>0</sub>
| |
| | |
| :<math>
| |
| \mathbf{D} = \frac{\mathbf{A}}{p_{0}} =
| |
| \frac{1}{\sqrt{2m\left| E \right|}}
| |
| \left\{ \mathbf{p} \times \mathbf{L} - m k \mathbf{\hat{r}} \right\}
| |
| </math>
| |
| | |
| which has the same units as the [[angular momentum]] [[vector (geometric)|vector]] '''L'''. In rare cases, the sign of the LRL vector may be reversed, i.e., scaled by −1. Other common symbols for the LRL vector include '''a''', '''R''', '''F''', '''J''' and '''V'''. However, the choice of scaling and symbol for the LRL vector do not affect its [[constant of motion|conservation]].
| |
| | |
| [[Image:Kepler trivector.svg|thumb|right|250px|Figure 4: The angular momentum vector '''L''', the LRL vector '''A''' and Hamilton's vector, the binormal '''B''', are mutually perpendicular; '''A''' and '''B''' point along the major and minor axes, respectively, of an elliptical orbit of the Kepler problem.]]
| |
| | |
| An alternative conserved vector is the [[binormal]] vector '''B''' studied by [[William Rowan Hamilton]]<ref name="hamilton_1847_quaternions" />
| |
| | |
| :<math>
| |
| \mathbf{B} = \mathbf{p} - \left(\frac{mk}{L^{2}r} \right) \ \left( \mathbf{L} \times \mathbf{r} \right)
| |
| </math>
| |
| | |
| which is conserved and points along the ''minor'' semiaxis of the ellipse; the LRL vector '''A''' = '''B''' × '''L''' is the [[cross product]] of '''B''' and '''L''' (Figure 4).
| |
| | |
| The vector '''B''' is denoted as "binormal" since it is perpendicular to both '''A''' and '''L'''. Similar to the LRL vector itself, the binormal vector can be defined with different scalings and symbols.
| |
| | |
| The two conserved vectors, '''A''' and '''B''' can be combined to form a conserved [[dyadic tensor]] '''W''',<ref name="fradkin_1967" />
| |
| :<math>
| |
| \mathbf{W} = \alpha \mathbf{A} \otimes \mathbf{A} + \beta \, \mathbf{B} \otimes \mathbf{B} ~.
| |
| </math>
| |
| | |
| where α and β are arbitrary scaling constants and <math>\otimes</math> represents the [[tensor product]] (which is not related to the [[cross product|vector cross product]], despite their similar symbol). Written in explicit components, this equation reads
| |
| :<math>
| |
| W_{ij} = \alpha A_{i} A_{j} + \beta B_{i} B_{j} \, .
| |
| </math>
| |
| | |
| Being perpendicular to each another, the vectors '''A''' and '''B''' can be viewed as the [[principal axis (mechanics)|principal axes]] of the conserved [[tensor]] '''W''', i.e., its scaled [[eigenvector]]s. '''W''' is perpendicular to '''L'''
| |
| | |
| :<math>
| |
| \mathbf{L} \cdot \mathbf{W} =
| |
| \alpha \left( \mathbf{L} \cdot \mathbf{A} \right) \mathbf{A} + \beta \left( \mathbf{L} \cdot \mathbf{B} \right) \mathbf{B} = 0 ~,
| |
| </math>
| |
| since '''A''' and '''B''' are both perpendicular to '''L''' as well, '''L''' ⋅ '''A''' = '''L''' ⋅ '''B''' = 0. For clarification, this equation reads, in explicit components,
| |
| :<math>
| |
| \left( \mathbf{L} \cdot \mathbf{W} \right)_{j} =
| |
| \alpha \left( \sum_{i=1}^{3} L_{i} A_{i} \right) A_{j} + \beta \left( \sum_{i=1}^{3} L_{i} B_{i} \right) B_{j} = 0 ~.
| |
| </math>
| |
| | |
| ==See also==
| |
| *[[Astrodynamics]]: [[Orbit]], [[Eccentricity vector]], [[Orbital elements]]
| |
| *[[Bertrand's theorem]]
| |
| *[[Binet equation]]
| |
| *[[Two-body problem]]
| |
| | |
| ==References==
| |
| {{Reflist|30em}}
| |
| | |
| ==Further reading==
| |
| * {{cite web | first=John |last=Baez|authorlink=John Baez | url=http://math.ucr.edu/home/baez/gravitational.html | title=Mysteries of the gravitational 2-body problem}}
| |
| *{{cite journal| last = D’Eliseo| first = MM| year = 2007| title = The first-order orbital equation| journal = American Journal of Physics| volume = 75| pages = 352–355| doi = 10.1119/1.2432126|bibcode = 2007AmJPh..75..352D }}
| |
| * {{cite journal | first=P.G.L. |last=Leach | coauthors=G.P. Flessas | title=Generalisations of the Laplace–Runge–Lenz vector | journal=J. Nonlinear Math. Phys. | volume=10 | year=2003 | pages=340–423 | arxiv=math-ph/0403028 | doi=10.2991/jnmp.2003.10.3.6 |bibcode = 2003JNMP...10..340L }}
| |
| | |
| {{featured article}}
| |
| | |
| {{DEFAULTSORT:Laplace-Runge-Lenz vector}}
| |
| [[Category:Classical mechanics]]
| |
| [[Category:Orbits]]
| |
| [[Category:Rotational symmetry]]
| |
| [[Category:Vectors]]
| |
| [[Category:Articles containing proofs]]
| |
| [[Category:Mathematical physics]]
| |
| | |
| {{Link GA|zh}}
| |
| {{Link FA|ru}}
| |