The trajectory of a body moving in a constant gravitational field is one of the simplest and yet most practical of problems in classical physics. The Lagrangian for the system is

L=m2 (x ·2 +y ·2 +z ·2) -mgz

with the corresponding Hamiltonian

H=12m (px2 +py2 +pz2) +mgz

The equations of motion for the canonical coordinates are

x· =H px =pxm p·x =H x =0 y· =H py =pym p·y =H y =0 z· =H pz =pzm p·z =H z =mg

Since both px and py are constant, their conjugate coordinates are linear in the temporal coordinate

x=px mt +x0 y=py mt +y0

while the vertical coordinate affected by gravity is quadratic

z·· =p· zm =g z=z0 +v0t -12 gt2

and its conjugate momentum is linear:

pz =mz· =mv0 -mgt

The simplicity of this system makes it ideal for seeing the mechanism of Hamilton-Jacobi theory in action, without being as trivial as the equally tractable simple harmonic oscillator. While the Hamilton-Jacobi formalism is massive overkill for projectile motion, it is a convenient opportunity to understand the essence of the formalism.

Hamilton-Jacobi theory determines the classical action from the first-order nonlinear differential equation

H[x, y,z; S x, S y, S z] +S t =0

where linear momenta are replaced by partial derivatives of the action with respect to their conjugate coordinates. The equation for the case of projectiles is

12m [(S x )2 +(S y )2 +(S z )2] +mgz +S t =0

Since the potential is a function of the vertical coordinate only, the equation is separable if the action is a linear sum of the form

S=pxx +pyy -Et +f(z)

where the coefficient of the explicit temporal variable is chosen in accordance with the defining equation. The Hamilton-Jacobi equation for projectiles becomes

(f z )2 =2mE -px2 -py2 -2m2gz

which is easily integrated. The action in terms of canonical coordinates is thus

S=pxx +pyy -Et -13 m2g [2mE -px2 -py2 -2m2gz ]3/2

The action is equivalently given by an indefinite integral of the Lagrangian:

S=L dt +C

To verify this, the Lagrangian must be expressed in terms of constant quantities and the temporal variable. The most efficient way to do this is to replace the potential energy part of the Lagrangian using the expression for total energy,

L=m( x ·2 +y ·2 +z ·2) -E L =1m (px2 +py2) -E +m(v0 -gt)2

so that the action integral is

S=1m (px2 +py2 )t -Et -m3g (v0 -gt)3 S =pxx +pyy -Et -13 m2g pz3 -pxx0 -pyy0 S=pxx +pyy -Et -13 m2g [2mE -px2 -py2 -2m2gz ]3/2 -pxx0 -pyy0

which matches the previous result up to a constant of integration.

The differential equation defining the classical action, known as the Hamilton-Jacobi equation, is derived by treating the action as a generating function that induces a transformation of the Hamiltonian to generalized coordinates in which it is identically zero. If the Hamiltonian is identically zero,

Q·i =H Pi 0 P·i =H Qi 0

then the new generalized coordinates are all constant. The new momenta are traditionally designated with alphas and for projectile motion can be taken as

P1 =α1 =E P2 =α2 =px P3 =α3 =py

The new conjugate coordinates, traditionally designated with betas, are given by partial derivatives of the action:

Qi =βi =S αi

Explicit temporal behavior is determined in the Hamiltonian-Jacobi formalism by evaluating these derivatives and inverting them for the original variables. For projectile motion,

β1 =S E =t -1mg [2mE -px2 -py2 -2m2gz ]1/2 β2 =S px =x +px m2g [2mE -px2 -py2 -2m2gz ]1/2 β3 =S py =y+py m2g [2mE -px2 -py2 -2m2gz ]1/2

which do not yet look much like the simple equations given at the outset. The first equation gives a replacement for the square root,

[2mE -px2 -py2 -2m2gz ]1/2 =mg(t +β1)

so that the second and third equations become

β2=x -pxm (t +β1) β3=y -pym (t +β1) x=px mt +β2 +pxm β1 y=py mt +β3 +pym β1

Square the remaining equation and rearrange:

z=12 m2g (2mE -px2 -py2) -g2(t +β1 )2

The quantity in the first set of parentheses is the sum of three constants. From the definition of total energy it is equal to

2mE -px2 -py2 =pz2 +2m2gz =(pz2 +2m2gz )t=0

and as constant can be evaluated at any convenient point. Put this initial evaluation into the remaining equation:

z=z0 +v02 2g -g2(t +β1 )2 z =z0 +v02 -g2 β12 2g -gβ1t -12 gt2

Thus with the identifications

β1 =v0 g β2 =x0 +px v0 mg β3 =y0 +py v0 mg

one has the explicit temporal behavior

x=px mt +x0 y=py mt +y0 z=z0+v0t-12 gt2

which is exactly that given at the outset, after a detour through Hamilton-Jacobi theory. The identifications of the constant betas are not arbitrary choices, and can be verified by putting these equations into the partial derivatives of the action.

Happy Pi Day!

Uploaded 2017.03.14 — Updated 2017.04.13