12. The Hamilton-Jacobi Equation
Back to Configuration Space
We've established that the action, regarded as a function of its coordinate endpoints and time, satisfies
and at the same time so obeys the first-order differential equation
This is the Hamilton-Jacobi equation.
Notice that we're now back in configuration space!
For example, the Hamilton-Jacobi equation for the simple harmonic oscillator in one dimension is
(Notice that this has some resemblance to the Schrödinger equation for the same system.)
If the Hamiltonian has no explicit time dependence becomes just so the action has the form , and the Hamilton-Jacobi equation is
(This is analogous to the time independent Schrödinger equation for energy eigenstates.)
The Hamilton-Jacobi equation is therefore a third complete description of the dynamics, equivalent to Lagrange's equations and to Hamilton's equations.
Since only appears differentiated, if we have a solution to the equation, we can always add an arbitrary constant term, to give an equally valid solution. For the general case, there will be a furtherconstants of integration, so a complete solution has the form
the andbeing the constants of integration. We're not saying it's easy to solve this differential in general, just that we know how many constants of integration there must be in a final solution. Since the action determines the motion of the system completely, the constants of integration will be determined by the given initial and final coordinates, or, they could equally be regarded as functions of the initial coordinates and momenta (the initial momenta themselves being determined by the given initial and final coordinates).
The Central Role of These Constants of Integration
To describe the time development of a dynamical system in the simplest way possible, it is desirable to find parameters that are constant or change in a simple way. For example, motion in a spherically symmetric potential is described in terms of (constant) angular momentum components.
Now, these constantare functions of the initial coordinates and momenta. Since they remain constant during the motion, they are evidently among the "variables" that describe the dynamical development in the simplest possible way. So, we need to construct a canonical transformation from our current set of variables (final coordinates and momenta) to a new set of variables that includes these constant of integration "momenta". (The corresponding canonical "positions" will then be given by differentiating the generating function with respect to the "momenta".)
How do we find the generating function for this transformation? A clue comes from one we've already discussed: that corresponding to development in time, going from the initial set of variables to the final set, or back. That transformation was generated by the action itself, expressed in terms of the two sets of positions. That is, we allowed both ends of the action integral path to vary, and wrote the action as a function of the finaland initial endpoint variables and times:
In the present section, the final endpoint positions are denoted simply by these are the same as the earlier . Explicitly, we're writing
Compare this expression for the action with the formal expression we just derived from the Hamilton Jacobi equation,
These two expressions forhave just the same form: the action is expressed as a function of the endpoint position variables, plus anothervariables needed to determine the motion uniquely. This time, instead of the original position variables, though, the second set of variables is these constants of integration, the's.
Now, just as we showed the action generated the transformation (either way) between the initial set of coordinates and momenta and the final set, it will also generate a canonical transformation from the final set of coordinates and momenta to another canonical set, having the 's as the new "momenta". We'll label the new "coordinates" (the canonical conjugates of the's) .
Taking then the action (neglecting the constantwhich does nothing) as the generating function, it depends on the old coordinatesand the new momenta. This is the same set of variables -- old coordinates and new momenta -- as those of the (previously discussed) generating function
This defines the new "coordinates", and ensures that the transformation is canonical.
To find the new Hamiltonian, we need to find and add it to
where is just a constant, so
The first equation in this section was
so the new Hamiltonian
We have made a canonical transformation that has led to a zero Hamiltonian!
What does that mean? It means that the neither the new momenta nor the new coordinates vary in time:
(The fact that all momenta and coordinates are fixed in this representation does not mean that the system doesn't move -- as will become evident in the following simple example, the original coordinates are functions of these new (nonvarying!) variables and time.)
The equations can then be used to find the as functions of . To see how all this works, it is necessary to work through an example.
A Simple Example of the Hamilton-Jacobi Equation: Motion Under Gravity
The Hamiltonian for motion under gravity in a vertical plane is
so the Hamilton-Jacobi equation is
First, this Hamiltonian has no explicit time dependence (gravity isn't changing!), so from we can replace the last term in the equation by
A Simple Separation of Variables
Since the potential energy term depends only on the equation is solvable using separation of variables. To see this works, try
Putting this form into the equation, the resulting first term depends only on the variable the second plus third depend only on, the last term is just the constant A function depending only oncan only equal a function independent of if both are constants, similarly for
Labeling the constants,
So these's are constants of the motion, they are our new "momenta" (although they have dimensions of energy).
(We could add in constants of integration, but adding constants to the action changes nothing.)
So now we have
This is our generating function (equivalent to ), in terms of old coordinates and these new "momenta", Following the Hamilton-Jacobi analysis, this action will generate a canonical transformation which reduces the Hamiltonian to zero, meaning that not only these new momenta stay constant, but so do their conjugate "coordinate" variables,
These equations solve the problem. Rearranging, the trajectory is
The four "constants of motion"are uniquely fixed by the initial coordinates and velocities, and they parameterize the subsequent time evolution of the system.
Separation of Variables for a Central Potential; Cyclic Variables
Landau presents in some details the separation of variables method for a potential, interesting here because it results in equations you've met before -- those arising in the standard quantum treatment of the hydrogen atom.
How do we make any progress with these formidable differential equations? One possibility is that some coordinates are cyclic, meaning that say, does not appear explicitly in the Hamiltonian -- for example, an angle variable in a spherically symmetric field. Then we have immediately that the corresponding momentum, a constant.
The Hamiltonian for a central potential is:
The Hamilton-Jacobi equation is therefore
The first thing to note is thatis cyclic (it doesn't appear in the Hamiltonian), so we can immediately replace with a constant
Then we have:
Now we seek a solution of the form
Substituting in the equation, notice that the expression in square brackets will become
independent of but on multiplying the full equation by , and staring at the result, we see that in fact it is purely a function of This means that it's a constant, say
These first-order equations can then be solved, at least numerically (and of course exactly for some cases). Physically, being the total angular momentum, and is the total energy.
Note: recall that in quantum mechanics, for example in solving the Schrödinger equation for the hydrogen atom, the separation of variables was achieved by writing the wave function as a product of functions belonging to the different variables. Here we use a sum -- remember that the action corresponds closely to the phase of a quantum mechanical system, so a sum of actions is analogous to a product of wave functions.