Constant of motion

From Wikipedia, the free encyclopedia

In mechanics, a constant of motion is a quantity that is conserved throughout the motion, imposing in effect a constraint on the motion. However, it is a mathematical constraint, the natural consequence of the equations of motion, rather than a physical constraint (which would require extra constraint forces). Common examples include energy, linear momentum, angular momentum and the Laplace-Runge-Lenz vector (for inverse-square force laws).

Contents

[edit] Applications

Constants of motion are useful because they allow properties of the motion to be derived without solving the equations of motion. In fortunate cases, even the trajectory of the motion can be derived as the intersection of isosurfaces corresponding to the constants of motion. For example, Poinsot's construction shows that the torque-free rotation of a rigid body is the intersection of a sphere (conservation of total angular momentum) and an ellipsoid (conservation of energy), a trajectory that might be otherwise hard to derive and visualize. Therefore, the identification of constants of motion is an important objective in mechanics.

[edit] Methods for identifying constants of motion

There are several methods for identifying constants of motion.

  • The simplest but least systematic approach is the intuitive ("psychic") derivation, in which a quantity is hypothesized to be constant (perhaps because of experimental data) and later shown mathematically to be conserved throughout the motion.
\frac{dA}{dt} = \frac{\partial A}{\partial t} + \{A, H\}

Another useful result is Poisson's theorem, which states that if two quantities A and B are constants of motion, so is their Poisson bracket {A,B}.

A system with n degrees of freedom, and n constants of motion, such that the Poisson bracket of any pair of constants of motion vanishes, is known as a completely integrable system. Such a collection of constants of motion are said to be in involution with each other.

[edit] In quantum mechanics

An observable quantity Q will be a constant of motion if it commutes with the hamiltonian, H, and it does not itself depend explicitly on time. This is because

\frac{d}{dt} \langle \psi | Q | \psi \rangle = \frac{-1}{i \hbar} \langle \psi|\left[ H,Q \right]|\psi \rangle + \langle \psi | \frac{dQ}{dt} | \psi \rangle \,

Where

[H,Q] = HQ - QH \,

is the commutator relation.

[edit] Derivation

Say there is some observable quantity Q which depends on position, momentum in time,

Q = Q(x,p,t) \,

And also, that there is a wavefunction which obeys Schrodinger's equation

i\hbar \frac{d\psi}{dt} = H \psi .\,

Taking the time derivative of the expectation value of Q requires use of the product rule, and results in

\frac{d}{dt} \langle Q \rangle \, = \frac{d}{dt} \langle \psi | Q | \psi \rangle \,
= \langle \frac{d\psi}{dt} | Q | \psi \rangle + \langle \psi | \frac{dQ}{dt} | \psi \rangle + \langle \psi | Q | \frac{d\psi}{dt} \rangle\,
= \frac{-1}{i\hbar} \langle H \psi | Q | \psi \rangle + \langle \psi | \frac{dQ}{dt} | \psi \rangle + \frac{1}{i\hbar}\langle \psi | Q | H \psi \rangle \,
= \frac{-1}{i\hbar} \langle \psi | HQ | \psi \rangle + \langle \psi | \frac{dQ}{dt} | \psi \rangle + \frac{1}{i\hbar}\langle \psi | HQ | \psi \rangle \,
= \frac{-1}{i \hbar} \langle \psi|\left[H,Q\right]|\psi \rangle + \langle \psi | \frac{dQ}{dt} | \psi \rangle \,

So finally,

\frac{d}{dt} \langle \psi | Q | \psi \rangle = \frac{-1}{i \hbar} \langle \psi| \left[ H,Q \right]|\psi \rangle + \langle \psi | \frac{dQ}{dt} | \psi \rangle \,

[edit] Relevance for quantum chaos

In general, an integrable system has constants of motion other than the energy. By contrast, energy is the only constant of motion in a non-integrable system; such systems are termed chaotic. In general, a classical mechanical system can be quantized only if it is integrable; as of 2006, there is no known consistent method for quantizing chaotic dynamical systems.

[edit] References