Hamilton–Jacobi equation

Part of a series of articles about
Classical mechanics
${\vec {F}}=m{\vec {a}}$ Second law of motion
History Timeline
Branches Applied Celestial Continuum Dynamics Kinematics Kinetics Statics Statistical
Fundamentals Acceleration Angular momentum Couple D'Alembert's principle Energy kinetic potential Force Frame of reference Inertial frame of reference Impulse Inertia / Moment of inertia Mass Mechanical power Mechanical work Moment Momentum Space Speed Time Torque Velocity Virtual work
Formulations Newton's laws of motion Analytical mechanics Lagrangian mechanics Hamiltonian mechanics Routhian mechanics Hamilton–Jacobi equation Appell's equation of motion Udwadia–Kalaba equation Koopman–von Neumann mechanics
Core topics Damping (ratio) Displacement Equations of motion Euler's laws of motion Fictitious force Friction Harmonic oscillator Inertial / Non-inertial reference frame Mechanics of planar particle motion Motion (linear) Newton's law of universal gravitation Newton's laws of motion Relative velocity Rigid body dynamics Euler's equations Simple harmonic motion Vibration
Rotation Circular motion Rotating reference frame Centripetal force Centrifugal force reactive Coriolis force Pendulum Tangential speed Rotational speed Angular acceleration / displacement / frequency / velocity
Scientists Galileo Huygens Newton Kepler Horrocks Halley Euler d'Alembert Clairaut Lagrange Laplace Hamilton Poisson Daniel Bernoulli Johann Bernoulli Cauchy

In mathematics, the Hamilton–Jacobi equation (HJE) is a necessary condition describing extremal geometry in generalizations of problems from the calculus of variations, and is a special case of the Hamilton–Jacobi–Bellman equation. It is named for William Rowan Hamilton and Carl Gustav Jacob Jacobi.

In physics, the Hamilton–Jacobi equation is an alternative formulation of classical mechanics, equivalent to other formulations such as Newton's laws of motion, Lagrangian mechanics and Hamiltonian mechanics. The Hamilton–Jacobi equation is particularly useful in identifying conserved quantities for mechanical systems, which may be possible even when the mechanical problem itself cannot be solved completely.

The HJE is also the only formulation of mechanics in which the motion of a particle can be represented as a wave. In this sense, the HJE fulfilled a long-held goal of theoretical physics (dating at least to Johann Bernoulli in the 18th century) of finding an analogy between the propagation of light and the motion of a particle. The wave equation followed by mechanical systems is similar to, but not identical with, Schrödinger's equation, as described below; for this reason, the HJE is considered the "closest approach" of classical mechanics to quantum mechanics.

Notation

Boldface variables such as $\mathbf {q}$ represent a list of $N$ generalized coordinates,

$\mathbf {q} \equiv (q_{1},q_{2},\ldots ,q_{N-1},q_{N})$

A dot over a variable or list signifies the time derivative (see Newton's notation), e.g.,

${\dot {\mathbf {q} }}\equiv {\frac {d\mathbf {q} }{dt}}.$

The dot product notation between two lists of the same number of coordinates is a shorthand for the sum of the products of corresponding components, e.g.,

$\mathbf {p} \cdot \mathbf {q} \equiv \sum _{k=1}^{N}p_{k}q_{k}.$

Mathematical formulation

Given the Hamiltonian $H(q,p,t)$ of a mechanical system (where $q$, $p$ are coordinates and momenta of the system and $t$ is time) the Hamilton–Jacobi equation is written as a first-order, non-linear partial differential equation for the Hamilton's principal function $S(q,t)$,

$-{\frac {\partial S}{\partial t}}=H\left(q,{\frac {\partial S}{\partial q}},t\right)\;.$

The Hamilton's principal function is defined as the function of the upper limit of the action integral taken along the minimal action trajectory of the system,

$S(q,t)\doteq \int ^{(q,t)}{\mathcal {L}}\,\mathrm {d} t\;,$

where ${\mathcal {L}}$ is the Lagrangian of the system and where the trajectory satisfies the Euler–Lagrange equation of the system,

${\frac {\mathrm {d} }{\mathrm {d} t}}{\frac {\partial {\mathcal {L}}}{\partial {\dot {q}}}}={\frac {\partial {\mathcal {L}}}{\partial q}}\;.$

Calculating the variation of $S$ with respect to variation of the end-point coordinate,

$\delta S=\int \mathrm {d} t\left({\frac {\partial {\mathcal {L}}}{\partial q}}\delta q+{\frac {\partial {\mathcal {L}}}{\partial {\dot {q}}}}\delta {\dot {q}}\right)=\int \mathrm {d} t\left({\frac {\mathrm {d} }{\mathrm {d} t}}{\frac {\partial {\mathcal {L}}}{\partial {\dot {q}}}}\delta q+{\frac {\partial {\mathcal {L}}}{\partial {\dot {q}}}}{\frac {\mathrm {d} }{\mathrm {d} t}}\delta {q}\right)=\int \mathrm {d} t{\frac {\mathrm {d} }{\mathrm {d} t}}\left({\frac {\partial {\mathcal {L}}}{\partial {\dot {q}}}}\delta q\right)={\frac {\partial {\mathcal {L}}}{\partial {\dot {q}}}}\delta q=p\delta q\;,$

leads to

${\frac {\partial S}{\partial q}}=p\;.$

Using this result and calculating the variation of $S$ with respect to variation of the time of the end-point leads directly to the Hamilton–Jacobi equation,

$\delta S={\mathcal {L}}\delta t+{\frac {\partial {\mathcal {L}}}{\partial {\dot {q}}}}\delta q={\mathcal {L}}\delta t-{\frac {\partial {\mathcal {L}}}{\partial {\dot {q}}}}{\dot {q}}\delta t=-H\delta t\;,$

or

${\frac {\partial S}{\partial t}}=-H\;,$

where $\delta q=-{\dot {q}}\delta t$ is the change of the trajectory at the old end-point due to the time shift and where

$H={\frac {\partial {\mathcal {L}}}{\partial {\dot {q}}}}{\dot {q}}-{\mathcal {L}}$

is the Hamiltonian of the system.

Alternatively, as described below, the Hamilton–Jacobi equation may be derived from Hamiltonian mechanics by treating S as the generating function for a canonical transformation of the classical Hamiltonian

$H=H(q_{1},q_{2},\ldots ,q_{N};p_{1},p_{2},\ldots ,p_{N};t).$

The conjugate momenta correspond to the first derivatives of S with respect to the generalized coordinates

$p_{k}={\frac {\partial S}{\partial q_{k}}}.$

As a solution to the Hamilton–Jacobi equation, the principal function contains N + 1 undetermined constants, the first N of them denoted as α₁, α₂ ... α_N, and the last one coming from the integration of $\scriptstyle \partial S/\partial t$.

The relationship between p and q then describes the orbit in phase space in terms of these constants of motion. Furthermore, the quantities

$\beta _{k}={\frac {\partial S}{\partial \alpha _{k}}},\quad k=1,2,\ldots ,N$

are also constants of motion, and these equations can be inverted to find q as a function of all the α and β constants and time.

Comparison with other formulations of mechanics

The HJE is a single, first-order partial differential equation for the function S of the N generalized coordinates q₁...q_N and the time t. The generalized momenta do not appear, except as derivatives of S. Remarkably, the function S is equal to the classical action.

For comparison, in the equivalent Euler–Lagrange equations of motion of Lagrangian mechanics, the conjugate momenta also do not appear; however, those equations are a system of N, generally second-order equations for the time evolution of the generalized coordinates. Similarly, Hamilton's equations of motion are another system of 2N first-order equations for the time evolution of the generalized coordinates and their conjugate momenta p₁...p_N.

Since the HJE is an equivalent expression of an integral minimization problem such as Hamilton's principle, the HJE can be useful in other problems of the calculus of variations and, more generally, in other branches of mathematics and physics, such as dynamical systems, symplectic geometry and quantum chaos. For example, the Hamilton–Jacobi equations can be used to determine the geodesics on a Riemannian manifold, an important variational problem in Riemannian geometry.

Derivation using canonical transformation

See the canonical transformation article for more details.

Any canonical transformation involving a type-2 generating function G₂(q, P, t) leads to the relations

$\mathbf {p} ={\partial G_{2} \over \partial \mathbf {q} },\quad \mathbf {Q} ={\partial G_{2} \over \partial \mathbf {P} },\quad K(\mathbf {Q} ,\mathbf {P} ,t)=H(\mathbf {q} ,\mathbf {p} ,t)+{\partial G_{2} \over \partial t}$

and Hamilton's equations in terms of the new variables P, Q and new Hamiltonian K have the same form:

${\dot {\mathbf {P} }}=-{\partial K \over \partial \mathbf {Q} },\quad {\dot {\mathbf {Q} }}=+{\partial K \over \partial \mathbf {P} }.$

To derive the HJE, we choose a generating function G₂(q, P, t) in such a way that, it will make the new Hamiltonian K = 0. Hence, all its derivatives are also zero, and the transformed Hamilton's equations become trivial

${\dot {\mathbf {P} }}={\dot {\mathbf {Q} }}=0$

so the new generalized coordinates and momenta are constants of motion. As they are constants, in this context the new generalized momenta P are usually denoted α₁, α₂ ... α_N, i.e. P_m = α_m, and the new generalized coordinates Q are typically denoted as β₁, β₂ ... β_N, so Q_m = β_m.

Setting the generating function equal to Hamilton's principal function, plus an arbitrary constant A:

$G_{2}(\mathbf {q} ,{\boldsymbol {\alpha }},t)=S(\mathbf {q} ,t)+A,$

the HJE automatically arises:

$\mathbf {p} ={\frac {\partial G_{2}}{\partial \mathbf {q} }}={\frac {\partial S}{\partial \mathbf {q} }}\,\rightarrow \,H(\mathbf {q} ,\mathbf {p} ,t)+{\partial G_{2} \over \partial t}=0\,\rightarrow \,H\left(\mathbf {q} ,{\frac {\partial S}{\partial \mathbf {q} }},t\right)+{\partial S \over \partial t}=0.$

Once we have solved for S(q, α, t), these also give us the useful equations

$\mathbf {Q} ={\boldsymbol {\beta }}={\partial S \over \partial {\boldsymbol {\alpha }}}$

or written in components for clarity

$Q_{m}=\beta _{m}={\frac {\partial S(\mathbf {q} ,{\boldsymbol {\alpha }},t)}{\partial \alpha _{m}}}.$

Ideally, these N equations can be inverted to find the original generalized coordinates q as a function of the constants α, β and t, thus solving the original problem.

Action and Hamilton's functions

Hamilton's principal function S and classical function H are both closely related to action. The total differential of S is:

$\mathrm {d} S=\sum _{i}{\frac {\partial S}{\partial q_{i}}}\mathrm {d} q_{i}+{\frac {\partial S}{\partial t}}\mathrm {d} t$

so the time derivative of S is

${\frac {\mathrm {d} S}{\mathrm {d} t}}=\sum _{i}{\frac {\partial S}{\partial q_{i}}}{\dot {q}}_{i}+{\frac {\partial S}{\partial t}}=\sum _{i}p_{i}{\dot {q}}_{i}-H=L.$

Therefore,

$S=\int L\,\mathrm {d} t,$

so S is actually the classical action plus an undetermined constant.

When H does not explicitly depend on time,

$W=S+Et=S+Ht=\int (L+H)\,\mathrm {d} t=\int \mathbf {p} \cdot \mathrm {d} \mathbf {q} ,$

in this case W is the same as abbreviated action.

Separation of variables

The HJE is most useful when it can be solved via additive separation of variables, which directly identifies constants of motion. For example, the time t can be separated if the Hamiltonian does not depend on time explicitly. In that case, the time derivative $\scriptstyle \partial S/\partial t$ in the HJE must be a constant, usually denoted (–E), giving the separated solution

$S=W(q_{1},q_{2},\ldots ,q_{N})-Et$

where the time-independent function W(q) is sometimes called Hamilton's characteristic function. The reduced Hamilton–Jacobi equation can then be written

$H\left(\mathbf {q} ,{\frac {\partial S}{\partial \mathbf {q} }}\right)=E.$

To illustrate separability for other variables, we assume that a certain generalized coordinate q_k and its derivative $\scriptstyle \partial S/\partial q_{k}$ appear together as a single function

$\psi \left(q_{k},{\frac {\partial S}{\partial q_{k}}}\right)$

in the Hamiltonian

$H=H(q_{1},q_{2},\ldots ,q_{k-1},q_{k+1},\ldots ,q_{N};p_{1},p_{2},\ldots ,p_{k-1},p_{k+1},\ldots ,p_{N};\psi ;t).$

In that case, the function S can be partitioned into two functions, one that depends only on q_k and another that depends only on the remaining generalized coordinates

$S=S_{k}(q_{k})+S_{\text{rem}}(q_{1},\ldots ,q_{k-1},q_{k+1},\ldots ,q_{N},t).$

Substitution of these formulae into the Hamilton–Jacobi equation shows that the function ψ must be a constant (denoted here as Γ_k), yielding a first-order ordinary differential equation for S_k(q_k).

$\psi \left(q_{k},{\frac {\mathrm {d} S_{k}}{\mathrm {d} q_{k}}}\right)=\Gamma _{k}.$

In fortunate cases, the function S can be separated completely into N functions S_m(q_m)

$S=S_{1}(q_{1})+S_{2}(q_{2})+\cdots +S_{N}(q_{N})-Et.$

In such a case, the problem devolves to N ordinary differential equations.

The separability of S depends both on the Hamiltonian and on the choice of generalized coordinates. For orthogonal coordinates and Hamiltonians that have no time dependence and are quadratic in the generalized momenta, S will be completely separable if the potential energy is additively separable in each coordinate, where the potential energy term for each coordinate is multiplied by the coordinate-dependent factor in the corresponding momentum term of the Hamiltonian (the Staeckel conditions). For illustration, several examples in orthogonal coordinates are worked in the next sections.

Examples in various coordinate systems

Further information: Coordinate system, Orthogonal coordinates, and Curvilinear coordinates

Spherical coordinates

In spherical coordinates the Hamiltonian of a free particle moving in a conservative potential U can be written

$H={\frac {1}{2m}}\left[p_{r}^{2}+{\frac {p_{\theta }^{2}}{r^{2}}}+{\frac {p_{\phi }^{2}}{r^{2}\sin ^{2}\theta }}\right]+U(r,\theta ,\phi ).$

The Hamilton–Jacobi equation is completely separable in these coordinates provided that there exist functions U_r(r), U_θ(θ) and U_ϕ(ϕ) such that U can be written in the analogous form

$U(r,\theta ,\phi )=U_{r}(r)+{\frac {U_{\theta }(\theta )}{r^{2}}}+{\frac {U_{\phi }(\phi )}{r^{2}\sin ^{2}\theta }}.$

Substitution of the completely separated solution

$S=S_{r}(r)+S_{\theta }(\theta )+S_{\phi }(\phi )-Et$

into the HJE yields

${\frac {1}{2m}}\left({\frac {\mathrm {d} S_{r}}{\mathrm {d} r}}\right)^{2}+U_{r}(r)+{\frac {1}{2mr^{2}}}\left[\left({\frac {\mathrm {d} S_{\theta }}{\mathrm {d} \theta }}\right)^{2}+2mU_{\theta }(\theta )\right]+{\frac {1}{2mr^{2}\sin ^{2}\theta }}\left[\left({\frac {\mathrm {d} S_{\phi }}{\mathrm {d} \phi }}\right)^{2}+2mU_{\phi }(\phi )\right]=E.$

This equation may be solved by successive integrations of ordinary differential equations, beginning with the equation for ϕ

$\left({\frac {\mathrm {d} S_{\phi }}{\mathrm {d} \phi }}\right)^{2}+2mU_{\phi }(\phi )=\Gamma _{\phi }$

where Γ_ϕ is a constant of the motion that eliminates the ϕ dependence from the Hamilton–Jacobi equation

${\frac {1}{2m}}\left({\frac {\mathrm {d} S_{r}}{\mathrm {d} r}}\right)^{2}+U_{r}(r)+{\frac {1}{2mr^{2}}}\left[\left({\frac {\mathrm {d} S_{\theta }}{\mathrm {d} \theta }}\right)^{2}+2mU_{\theta }(\theta )+{\frac {\Gamma _{\phi }}{\sin ^{2}\theta }}\right]=E.$

The next ordinary differential equation involves the θ generalized coordinate

$\left({\frac {\mathrm {d} S_{\theta }}{\mathrm {d} \theta }}\right)^{2}+2mU_{\theta }(\theta )+{\frac {\Gamma _{\phi }}{\sin ^{2}\theta }}=\Gamma _{\theta }$

where Γ_θ is again a constant of the motion that eliminates the θ dependence and reduces the HJE to the final ordinary differential equation

${\frac {1}{2m}}\left({\frac {\mathrm {d} S_{r}}{\mathrm {d} r}}\right)^{2}+U_{r}(r)+{\frac {\Gamma _{\theta }}{2mr^{2}}}=E$

whose integration completes the solution for S.

Elliptic cylindrical coordinates

The Hamiltonian in elliptic cylindrical coordinates can be written

$H={\frac {p_{\mu }^{2}+p_{\nu }^{2}}{2ma^{2}\left(\sinh ^{2}\mu +\sin ^{2}\nu \right)}}+{\frac {p_{z}^{2}}{2m}}+U(\mu ,\nu ,z)$

where the foci of the ellipses are located at $\pm a$ on the $x$-axis. The Hamilton–Jacobi equation is completely separable in these coordinates provided that U has an analogous form

$U(\mu ,\nu ,z)={\frac {U_{\mu }(\mu )+U_{\nu }(\nu )}{\sinh ^{2}\mu +\sin ^{2}\nu }}+U_{z}(z)$

where : $U_{\mu }(\mu )$, $U_{\nu }(\nu )$ and $U_{z}(z)$ are arbitrary functions. Substitution of the completely separated solution

$S=S_{\mu }(\mu )+S_{\nu }(\nu )+S_{z}(z)-Et$ into the HJE yields

${\frac {1}{2m}}\left({\frac {\mathrm {d} S_{z}}{\mathrm {d} z}}\right)^{2}+U_{z}(z)+{\frac {1}{2ma^{2}\left(\sinh ^{2}\mu +\sin ^{2}\nu \right)}}\left[\left({\frac {\mathrm {d} S_{\mu }}{\mathrm {d} \mu }}\right)^{2}+\left({\frac {\mathrm {d} S_{\nu }}{\mathrm {d} \nu }}\right)^{2}+2ma^{2}U_{\mu }(\mu )+2ma^{2}U_{\nu }(\nu )\right]=E.$

Separating the first ordinary differential equation

${\frac {1}{2m}}\left({\frac {\mathrm {d} S_{z}}{\mathrm {d} z}}\right)^{2}+U_{z}(z)=\Gamma _{z}$

yields the reduced Hamilton–Jacobi equation (after re-arrangement and multiplication of both sides by the denominator)

$\left({\frac {\mathrm {d} S_{\mu }}{\mathrm {d} \mu }}\right)^{2}+\left({\frac {\mathrm {d} S_{\nu }}{\mathrm {d} \nu }}\right)^{2}+2ma^{2}U_{\mu }(\mu )+2ma^{2}U_{\nu }(\nu )=2ma^{2}\left(\sinh ^{2}\mu +\sin ^{2}\nu \right)\left(E-\Gamma _{z}\right)$

which itself may be separated into two independent ordinary differential equations

$\left({\frac {\mathrm {d} S_{\mu }}{\mathrm {d} \mu }}\right)^{2}+2ma^{2}U_{\mu }(\mu )+2ma^{2}\left(\Gamma _{z}-E\right)\sinh ^{2}\mu =\Gamma _{\mu }$

$\left({\frac {\mathrm {d} S_{\nu }}{\mathrm {d} \nu }}\right)^{2}+2ma^{2}U_{\nu }(\nu )+2ma^{2}\left(\Gamma _{z}-E\right)\sin ^{2}\nu =\Gamma _{\nu }$

that, when solved, provide a complete solution for S.

Parabolic cylindrical coordinates

The Hamiltonian in parabolic cylindrical coordinates can be written

$H={\frac {p_{\sigma }^{2}+p_{\tau }^{2}}{2m\left(\sigma ^{2}+\tau ^{2}\right)}}+{\frac {p_{z}^{2}}{2m}}+U(\sigma ,\tau ,z).$

The Hamilton–Jacobi equation is completely separable in these coordinates provided that U has an analogous form

$U(\sigma ,\tau ,z)={\frac {U_{\sigma }(\sigma )+U_{\tau }(\tau )}{\sigma ^{2}+\tau ^{2}}}+U_{z}(z)$

where U_σ(σ), U_τ(τ) and U_z(z) are arbitrary functions. Substitution of the completely separated solution

$S=S_{\sigma }(\sigma )+S_{\tau }(\tau )+S_{z}(z)-Et+const.$

into the HJE yields

${\frac {1}{2m}}\left({\frac {\mathrm {d} S_{z}}{\mathrm {d} z}}\right)^{2}+U_{z}(z)+{\frac {1}{2m\left(\sigma ^{2}+\tau ^{2}\right)}}\left[\left({\frac {\mathrm {d} S_{\sigma }}{\mathrm {d} \sigma }}\right)^{2}+\left({\frac {\mathrm {d} S_{\tau }}{\mathrm {d} \tau }}\right)^{2}+2mU_{\sigma }(\sigma )+2mU_{\tau }(\tau )\right]=E.$

Separating the first ordinary differential equation

${\frac {1}{2m}}\left({\frac {\mathrm {d} S_{z}}{\mathrm {d} z}}\right)^{2}+U_{z}(z)=\Gamma _{z}$

yields the reduced Hamilton–Jacobi equation (after re-arrangement and multiplication of both sides by the denominator)

$\left({\frac {\mathrm {d} S_{\sigma }}{\mathrm {d} \sigma }}\right)^{2}+\left({\frac {\mathrm {d} S_{\tau }}{\mathrm {d} \tau }}\right)^{2}+2mU_{\sigma }(\sigma )+2mU_{\tau }(\tau )=2m\left(\sigma ^{2}+\tau ^{2}\right)\left(E-\Gamma _{z}\right)$

which itself may be separated into two independent ordinary differential equations

$\left({\frac {\mathrm {d} S_{\sigma }}{\mathrm {d} \sigma }}\right)^{2}+2mU_{\sigma }(\sigma )+2m\sigma ^{2}\left(\Gamma _{z}-E\right)=\Gamma _{\sigma }$

$\left({\frac {\mathrm {d} S_{\tau }}{\mathrm {d} \tau }}\right)^{2}+2mU_{\tau }(\tau )+2m\tau ^{2}\left(\Gamma _{z}-E\right)=\Gamma _{\tau }$

that, when solved, provide a complete solution for S.

Eikonal approximation and relationship to the Schrödinger equation

Further information: Eikonal approximation and Non-linear Schrödinger equation

The isosurfaces of the function S(q; t) can be determined at any time t. The motion of an S-isosurface as a function of time is defined by the motions of the particles beginning at the points q on the isosurface. The motion of such an isosurface can be thought of as a wave moving through q space, although it does not obey the wave equation exactly. To show this, let S represent the phase of a wave

$\psi =\psi _{0}e^{iS/\hbar }$

where ħ is a constant (Planck's constant) introduced to make the exponential argument dimensionless; changes in the amplitude of the wave can be represented by having S be a complex number. We may then rewrite the Hamilton–Jacobi equation as

${\frac {\hbar ^{2}}{2m}}\nabla ^{2}\psi -U\psi ={\frac {\hbar }{i}}{\frac {\partial \psi }{\partial t}}$

which is a nonlinear variant of the Schrödinger equation.

Conversely, starting with the Schrödinger equation and our ansatz for ψ, we arrive at

${\frac {1}{2m}}\left(\nabla S\right)^{2}+U+{\frac {\partial S}{\partial t}}={\frac {i\hbar }{2m}}\nabla ^{2}S.$

The classical limit (ħ → 0) of the Schrödinger equation above becomes identical to the following variant of the Hamilton–Jacobi equation,

${\frac {1}{2m}}\left(\nabla S\right)^{2}+U+{\frac {\partial S}{\partial t}}=0.$

HJE in a gravitational field

Using the energy–momentum relation in the form;

$g^{\alpha \beta }P_{\alpha }P_{\beta }-(mc)^{2}=0\,,$

for a particle of rest mass m travelling in curved space, where g^αβ are the contravariant coordinates of the metric tensor (i.e., the inverse metric) solved from the Einstein field equations, and c is the speed of light, setting the four-momentum P_α equal to the four-gradient of the action S;

$P_{\alpha }=-{\frac {\partial S}{\partial x^{\alpha }}}$

gives the Hamilton–Jacobi equation in the geometry determined by the metric g:

$g^{\alpha \beta }{\frac {\partial S}{\partial x^{\alpha }}}{\frac {\partial S}{\partial x^{\beta }}}-(mc)^{2}=0\,,$

in other words, in a gravitational field.

HJE in electromagnetic fields

For a particle of rest mass $m$ and electric charge $e$ moving in electromagnetic field with four-potential $A_{i}=(\phi ,\mathrm {A} )$ in vacuum, the Hamilton–Jacobi equation in geometry determined by the metric tensor $g^{ik}=g_{ik}$ has a form

$g^{ik}\left({\frac {\partial S}{\partial x^{i}}}+{\frac {e}{c}}A_{i}\right)\left({\frac {\partial S}{\partial x^{k}}}+{\frac {e}{c}}A_{k}\right)=m^{2}c^{2}$

and can be solved for the Hamilton Principal Action function $S$ to obtain further solution for the particle trajectory and momentum:

$x=-{\frac {e}{c\gamma }}\int A_{z}\,d\xi ,$

$y=-{\frac {e}{c\gamma }}\int A_{y}\,d\xi ,$

$z=-{\frac {e^{2}}{2c^{2}\gamma ^{2}}}\int (\mathrm {A} ^{2}-{\overline {\mathrm {A} ^{2}}})\,d\xi ,$

$\xi =ct-{\frac {e^{2}}{2\gamma ^{2}c^{2}}}\int (\mathrm {A} ^{2}-{\overline {\mathrm {A} ^{2}}})\,d\xi ,$

$p_{x}=-{\frac {e}{c}}A_{x}$, $p_{y}=-{\frac {e}{c}}A_{y},$

$p_{z}={\frac {e^{2}}{2\gamma c}}(\mathrm {A} ^{2}-{\overline {\mathrm {A} ^{2}}}),$

${\mathcal {E}}=c\gamma +{\frac {e^{2}}{2\gamma c}}(\mathrm {A} ^{2}-{\overline {\mathrm {A} ^{2}}}),$

where $\xi =ct-z$ and $\gamma ^{2}=m^{2}c^{2}+{\frac {e^{2}}{c^{2}}}{\overline {A}}^{2}$ with ${\overline {\mathbf {A} }}$ the cycle average of the vector potential. Therefore:

a) For a wave with the circular polarization:

$E_{x}=E_{0}\sin \omega \xi _{1}$, $E_{y}=E_{0}\cos \omega \xi _{1},$

$A_{x}={\frac {cE_{0}}{\omega }}\cos \omega \xi _{1}$, $A_{y}=-{\frac {cE_{0}}{\omega }}\sin \omega \xi _{1}.$

Hence

$x=-{\frac {ecE_{0}}{\omega }}\sin \omega \xi _{1},$

$y=-{\frac {ecE_{0}}{\omega }}\cos \omega \xi _{1},$

$p_{x}=-{\frac {eE_{0}}{\omega }}\cos \omega \xi _{1},$

$p_{y}={\frac {eE_{0}}{\omega }}\sin \omega \xi _{1},$

where $\xi _{1}=\xi /c$, implying the particle moving along a circular trajectory with a permanent radius $ecE_{0}/\gamma \omega ^{2}$ and an invariable value of momentum $eE_{0}/\omega ^{2}$ directed along a magnetic field vector.

b) For the flat, monochromatic, linearly polarized wave with a field $E$ directed along the axis $y$

$E_{y}=E_{0}\cos \omega \xi _{1},$

$A_{y}=-{\frac {cE_{0}}{\omega }}\sin \omega \xi _{1},$

hence

$x={\text{const}},$

$y_{0}=-{\frac {ecE_{0}}{\gamma \omega ^{2}}},$

$y=y_{0}\cos \omega \xi _{1}$, $z=C_{z}y_{0}\sin 2\omega \xi _{1},$

$C_{z}={\frac {eE_{0}}{8\gamma \omega }}$, $\gamma ^{2}=m^{2}c^{2}+{\frac {e^{2}E_{0}^{2}}{2\omega ^{2}}},$

$p_{x}=0,$

$p_{y,0}={\frac {eE_{0}}{\omega }},$

$p_{y}=p_{y,0}\sin \omega \xi _{1},$

$p_{z}=-2C_{z}p_{y,0}\cos 2\omega \xi _{1}$

implying the particle figure-8 trajectory with a long its axis oriented along the electric field $E$ vector.

c) For the electromagnetic wave with axial (solenoidal) magnetic field:

$E=E_{\phi }={\frac {\omega \rho _{0}}{c}}B_{0}\cos \omega \xi _{1},$

$A_{\phi }=-\rho _{0}B_{0}\sin \omega \xi _{1}=-{\frac {L_{s}}{\pi \rho _{0}N_{s}}}I_{0}\sin \omega \xi _{1},$

hence

$x={\text{constant}},$

$y_{0}=-{\frac {e\rho _{0}B_{0}}{\gamma \omega }},$

$y=y_{0}\cos \omega \xi _{1},$

$z=C_{z}y_{0}\sin 2\omega \xi _{1},$

$C_{z}={\frac {e\rho _{0}B_{0}}{8c\gamma }},$

$\gamma ^{2}=m^{2}c^{2}+{\frac {e^{2}\rho _{0}^{2}B_{0}^{2}}{2c^{2}}},$

$p_{x}=0,$

$p_{y,0}={\frac {e\rho _{0}B_{0}}{c}},$

$p_{y}=p_{y,0}\sin \omega \xi _{1},$

$p_{z}=-2C_{z}p_{y,0}\cos 2\omega \xi _{1},$

where $B_{0}$ is the magnetic field magnitude in a solenoid with the effective radius $\rho _{0}$, inductivity $L_{s}$, number of windings $N_{s}$, and an electric current magnitude $I_{0}$ through the solenoid windings. The particle motion occurs along the figure-8 trajectory in $yz$ plane set perpendicular to the solenoid axis with arbitrary azimuth angle $\varphi$ due to axial symmetry of the solenoidal magnetic field.

See also

• Canonical transformation
• Constant of motion
• Hamiltonian vector field
• Hamilton–Jacobi–Bellman equation in control theory
• Hamilton–Jacobi–Einstein equation
• WKB approximation
• William Rowan Hamilton
• Carl Gustav Jacob Jacobi
• Action-angle coordinates

Further reading

• Hamilton, W. (1833). "On a General Method of Expressing the Paths of Light, and of the Planets, by the Coefficients of a Characteristic Function" (PDF). Dublin University Review: 795–826.
• Hamilton, W. (1834). "On the Application to Dynamics of a General Mathematical Method previously Applied to Optics" (PDF). British Association Report: 513–518.
• Goldstein, Herbert (2002). Classical Mechanics (3rd ed.). Addison Wesley. ISBN 978-0-201-65702-9.
• Fetter, A. & Walecka, J. (2003). Theoretical Mechanics of Particles and Continua. Dover Books. ISBN 978-0-486-43261-8.
• Landau, L. D.; Lifshitz, E. M. (1975). Mechanics. Amsterdam: Elsevier.
• Sakurai, J. J. (1985). Modern Quantum Mechanics. Benjamin/Cummings Publishing. ISBN 978-0-8053-7501-5.
• Jacobi, C. G. J. (1884), Vorlesungen über Dynamik, C. G. J. Jacobi's Gesammelte Werke (in German), Berlin: G. Reimer
• Nakane, Michiyo; Fraser, Craig G. (2002). "The Early History of Hamilton-Jacobi Dynamics". Centaurus. 44 (3–4): 161–227. doi:10.1111/j.1600-0498.2002.tb00613.x. PMID 17357243.