Part of a series on |
Classical mechanics |
---|
In classical mechanics, action-angle variables are a set of canonical coordinates that are useful in characterizing the nature of commuting flows in integrable systems when the conserved energy level set is compact, and the commuting flows are complete. Action-angle variables are also important in obtaining the frequencies of oscillatory or rotational motion without solving the equations of motion. They only exist, providing a key characterization of the dynamics, when the system is completely integrable, i.e., the number of independent Poisson commuting invariants is maximal and the conserved energy surface is compact. This is usually of practical calculational value when the Hamilton–Jacobi equation is completely separable, and the separation constants can be solved for, as functions on the phase space. Action-angle variables define a foliation by invariant Lagrangian tori because the flows induced by the Poisson commuting invariants remain within their joint level sets, while the compactness of the energy level set implies they are tori. The angle variables provide coordinates on the leaves in which the commuting flows are linear.
The connection between classical Hamiltonian systems and their quantization in the Schrödinger wave mechanics approach is made clear by viewing the Hamilton–Jacobi equation as the leading order term in the WKB asymptotic series for the Schrodinger equation. In the case of integrable systems, the Bohr–Sommerfeld quantization conditions were first used, before the advent of quantum mechanics, to compute the spectrum of the hydrogen atom. They require that the action-angle variables exist, and that they be integer multiples of the reduced Planck constant. Einstein's insight in the EBK quantization into the difficulty of quantizing non-integrable systems was based on this fact.
Action-angle coordinates are also useful in perturbation theory of Hamiltonian mechanics, especially in determining adiabatic invariants. One of the earliest results from chaos theory, for dynamical stability of integrable dynamical systems under small perturbations, is the KAM theorem, which states that the invariant tori are partially stable.
In the modern theory of integrable systems action-angle variables were used in the solution of the Toda lattice, the definition of Lax pairs, or more generally, isospectral evolution of a linear operator characterizing integrable dynamics, and interpreting the associated spectral data as action-angle variables in the Hamiltonian formulation.
Action angles result from a type-2 canonical transformation where the generating function is Hamilton's characteristic function (not Hamilton's principal function ). Since the original Hamiltonian does not depend on time explicitly, the new Hamiltonian is merely the old Hamiltonian expressed in terms of the new canonical coordinates, which we denote as (the action angles, which are the generalized coordinates) and their new generalized momenta . We will not need to solve here for the generating function itself; instead, we will use it merely as a vehicle for relating the new and old canonical coordinates.
Rather than defining the action angles directly, we define instead their generalized momenta, which resemble the classical action for each original generalized coordinate
where the integration path is implicitly given by the constant energy function . Since the actual motion is not involved in this integration, these generalized momenta are constants of the motion, implying that the transformed Hamiltonian does not depend on the conjugate generalized coordinates
where the are given by the typical equation for a type-2 canonical transformation
Hence, the new Hamiltonian depends only on the new generalized momenta .
The dynamics of the action angles is given by Hamilton's equations
The right-hand side is a constant of the motion (since all the s are). Hence, the solution is given by
where is a constant of integration. In particular, if the original generalized coordinate undergoes an oscillation or rotation of period , the corresponding action angle changes by .
These are the frequencies of oscillation/rotation for the original generalized coordinates . To show this, we integrate the net change in the action angle over exactly one complete variation (i.e., oscillation or rotation) of its generalized coordinates
Setting the two expressions for equal, we obtain the desired equation
The action angles are an independent set of generalized coordinates. Thus, in the general case, each original generalized coordinate can be expressed as a Fourier series in all the action angles
where is the Fourier series coefficient. In most practical cases, however, an original generalized coordinate will be expressible as a Fourier series in only its own action angles
The general procedure has three steps:
In some cases, the frequencies of two different generalized coordinates are identical, i.e., for . In such cases, the motion is called degenerate.
Degenerate motion signals that there are additional general conserved quantities; for example, the frequencies of the Kepler problem are degenerate, corresponding to the conservation of the Laplace–Runge–Lenz vector.
Degenerate motion also signals that the Hamilton–Jacobi equations are completely separable in more than one coordinate system; for example, the Kepler problem is completely separable in both spherical coordinates and parabolic coordinates.
In quantum mechanics, the Hamiltonian of a system is an operator corresponding to the total energy of that system, including both kinetic energy and potential energy. Its spectrum, the system's energy spectrum or its set of energy eigenvalues, is the set of possible outcomes obtainable from a measurement of the system's total energy. Due to its close relation to the energy spectrum and time-evolution of a system, it is of fundamental importance in most formulations of quantum theory.
The stress–energy tensor, sometimes called the stress–energy–momentum tensor or the energy–momentum tensor, is a tensor physical quantity that describes the density and flux of energy and momentum in spacetime, generalizing the stress tensor of Newtonian physics. It is an attribute of matter, radiation, and non-gravitational force fields. This density and flux of energy and momentum are the sources of the gravitational field in the Einstein field equations of general relativity, just as mass density is the source of such a field in Newtonian gravity.
Noether's theorem states that every continuous symmetry of the action of a physical system with conservative forces has a corresponding conservation law. This is the first of two theorems proven by mathematician Emmy Noether in 1915 and published in 1918. The action of a physical system is the integral over time of a Lagrangian function, from which the system's behavior can be determined by the principle of least action. This theorem only applies to continuous and smooth symmetries of physical space.
In physics, Hamiltonian mechanics is a reformulation of Lagrangian mechanics that emerged in 1833. Introduced by Sir William Rowan Hamilton, Hamiltonian mechanics replaces (generalized) velocities used in Lagrangian mechanics with (generalized) momenta. Both theories provide interpretations of classical mechanics and describe the same physical phenomena.
In special relativity, four-momentum (also called momentum–energy or momenergy) is the generalization of the classical three-dimensional momentum to four-dimensional spacetime. Momentum is a vector in three dimensions; similarly four-momentum is a four-vector in spacetime. The contravariant four-momentum of a particle with relativistic energy E and three-momentum p = (px, py, pz) = γmv, where v is the particle's three-velocity and γ the Lorentz factor, is
In physics, action is a scalar quantity that describes how the balance of kinetic versus potential energy of a physical system changes with trajectory. Action is significant because it is an input to the principle of stationary action, an approach to classical mechanics that is simpler for multiple objects. Action and the variational principle are used in Feynman's quantum mechanics and in general relativity. For systems with small values of action similar to the Planck constant, quantum effects are significant.
In theoretical physics and mathematical physics, analytical mechanics, or theoretical mechanics is a collection of closely related formulations of classical mechanics. Analytical mechanics uses scalar properties of motion representing the system as a whole—usually its kinetic energy and potential energy. The equations of motion are derived from the scalar quantity by some underlying principle about the scalar's variation.
In Hamiltonian mechanics, a canonical transformation is a change of canonical coordinates (q, p) → that preserves the form of Hamilton's equations. This is sometimes known as form invariance. Although Hamilton's equations are preserved, it need not preserve the explicit form of the Hamiltonian itself. Canonical transformations are useful in their own right, and also form the basis for the Hamilton–Jacobi equations and Liouville's theorem.
In classical statistical mechanics, the equipartition theorem relates the temperature of a system to its average energies. The equipartition theorem is also known as the law of equipartition, equipartition of energy, or simply equipartition. The original idea of equipartition was that, in thermal equilibrium, energy is shared equally among all of its various forms; for example, the average kinetic energy per degree of freedom in translational motion of a molecule should equal that in rotational motion.
In physics, the Hamilton–Jacobi equation, named after William Rowan Hamilton and Carl Gustav Jacob Jacobi, is an alternative formulation of classical mechanics, equivalent to other formulations such as Newton's laws of motion, Lagrangian mechanics and Hamiltonian mechanics.
In mathematics, the Hankel transform expresses any given function f(r) as the weighted sum of an infinite number of Bessel functions of the first kind Jν(kr). The Bessel functions in the sum are all of the same order ν, but differ in a scaling factor k along the r axis. The necessary coefficient Fν of each Bessel function in the sum, as a function of the scaling factor k constitutes the transformed function. The Hankel transform is an integral transform and was first developed by the mathematician Hermann Hankel. It is also known as the Fourier–Bessel transform. Just as the Fourier transform for an infinite interval is related to the Fourier series over a finite interval, so the Hankel transform over an infinite interval is related to the Fourier–Bessel series over a finite interval.
A conserved quantity is a property or value that remains constant over time in a system even when changes occur in the system. In mathematics, a conserved quantity of a dynamical system is formally defined as a function of the dependent variables, the value of which remains constant along each trajectory of the system.
In classical mechanics, Routh's procedure or Routhian mechanics is a hybrid formulation of Lagrangian mechanics and Hamiltonian mechanics developed by Edward John Routh. Correspondingly, the Routhian is the function which replaces both the Lagrangian and Hamiltonian functions. Routhian mechanics is equivalent to Lagrangian mechanics and Hamiltonian mechanics, and introduces no new physics. It offers an alternative way to solve mechanical problems.
In physics, Hamilton's principle is William Rowan Hamilton's formulation of the principle of stationary action. It states that the dynamics of a physical system are determined by a variational problem for a functional based on a single function, the Lagrangian, which may contain all physical information concerning the system and the forces acting on it. The variational problem is equivalent to and allows for the derivation of the differential equations of motion of the physical system. Although formulated originally for classical mechanics, Hamilton's principle also applies to classical fields such as the electromagnetic and gravitational fields, and plays an important role in quantum mechanics, quantum field theory and criticality theories.
In theoretical physics, scalar field theory can refer to a relativistically invariant classical or quantum theory of scalar fields. A scalar field is invariant under any Lorentz transformation.
In physics, Lagrangian mechanics is a formulation of classical mechanics founded on the stationary-action principle. It was introduced by the Italian-French mathematician and astronomer Joseph-Louis Lagrange in his presentation to the Turin Academy of Science in 1760 culminating in his 1788 grand opus, Mécanique analytique.
In analytical mechanics and quantum field theory, minimal coupling refers to a coupling between fields which involves only the charge distribution and not higher multipole moments of the charge distribution. This minimal coupling is in contrast to, for example, Pauli coupling, which includes the magnetic moment of an electron directly in the Lagrangian.
In physics and geometry, there are two closely related vector spaces, usually three-dimensional but in general of any finite dimension. Position space is the set of all position vectorsr in Euclidean space, and has dimensions of length; a position vector defines a point in space. Momentum space is the set of all momentum vectorsp a physical system can have; the momentum vector of a particle corresponds to its motion, with units of [mass][length][time]−1.
Lagrangian field theory is a formalism in classical field theory. It is the field-theoretic analogue of Lagrangian mechanics. Lagrangian mechanics is used to analyze the motion of a system of discrete particles each with a finite number of degrees of freedom. Lagrangian field theory applies to continua and fields, which have an infinite number of degrees of freedom.
Tau functions are an important ingredient in the modern mathematical theory of integrable systems, and have numerous applications in a variety of other domains. They were originally introduced by Ryogo Hirota in his direct method approach to soliton equations, based on expressing them in an equivalent bilinear form.