Английская Википедия:Correspondence principle

Содержание

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

In physics, the correspondence principle states that the behavior of systems described by the theory of quantum mechanics (or by the old quantum theory) reproduces classical physics in the limit of large quantum numbers. In other words, it says that for large orbits and for large energies, quantum calculations must agree with classical calculations.

The principle was formulated by Niels Bohr in 1920, though he had previously made use of it as early as 1913 in developing his model of the atom.

The term codifies the idea that a new theory should reproduce under some conditions the results of older well-established theories in those domains where the old theories work. This concept is somewhat different from the requirement of a formal limit under which the new theory reduces to the older, thanks to the existence of a deformation parameter. Шаблон:Clarify

Classical quantities appear in quantum mechanics in the form of expected values of observables, and as such the Ehrenfest theorem (which predicts the time evolution of the expected values) lends support to the correspondence principle.

Quantum mechanics

The rules of quantum mechanics are highly successful in describing microscopic objects, atoms and elementary particles. But macroscopic systems, like springs and capacitors, are accurately described by classical theories like classical mechanics and classical electrodynamics. If quantum mechanics were to be applicable to macroscopic objects, there must be some limit in which quantum mechanics reduces to classical mechanics. Bohr's correspondence principle demands that classical physics and quantum physics give the same answer when the systems become large. Arnold Sommerfeld referred to the principle as "Bohrs Zauberstab" (Bohr's magic wand) in 1921.

The conditions under which quantum and classical physics agree are referred to as the correspondence limit, or the classical limit. Bohr provided a rough prescription for the correspondence limit: it occurs when the quantum numbers describing the system are large. A more elaborated analysis of quantum-classical correspondence (QCC) in wavepacket spreading leads to the distinction between robust "restricted QCC" and fragile "detailed QCC". "Restricted QCC" refers to the first two moments of the probability distribution and is true even when the wave packets diffract, while "detailed QCC" requires smooth potentials which vary over scales much larger than the wavelength, which is what Bohr considered.

The post-1925 new quantum theory came in two different formulations. In matrix mechanics, the correspondence principle was built in and was used to construct the theory. In the Schrödinger approach classical behavior is not clear because the waves spread out as they move. Once the Schrödinger equation was given a probabilistic interpretation, Ehrenfest showed that Newton's laws hold on average: the quantum statistical expectation value of the position and momentum obey Newton's laws.

The correspondence principle is one of the tools available to physicists for selecting quantum theories corresponding to reality. The principles of quantum mechanics are broad: states of a physical system form a complex vector space and physical observables are identified with Hermitian operators that act on this Hilbert space. The correspondence principle limits the selection of quantum theories to those that reproduce classical mechanics in the correspondence limit.

Other scientific theories

The term "correspondence principle" is used in a more general sense to mean the reduction of a new scientific theory to an earlier scientific theory in appropriate circumstances. This requires that the new theory explain all the phenomena under circumstances for which the preceding theory was known to be valid, the "correspondence limit".

For example,

• Einstein's special relativity satisfies the correspondence principle, because it reduces to classical mechanics in the limit of velocities small compared to the speed of light (example below);
• General relativity reduces to Newtonian gravity in the limit of weak gravitational fields;
• Laplace's theory of celestial mechanics reduces to Kepler's when interplanetary interactions are ignored;
• Statistical mechanics reproduces thermodynamics when the number of particles is large;
• In biology, chromosome inheritance theory reproduces Mendel's laws of inheritance, in the domain that the inherited factors are protein coding genes.
• In mathematical economics, as formalized in Foundations of Economic Analysis (1947) by Paul Samuelson, the correspondence principle and other postulates imply testable predictions about how the equilibrium changes when parameters are changed in an economic system.

In order for there to be a correspondence, the earlier theory has to have a domain of validity—it must work under some conditions. Not all theories have a domain of validity. For example, there is no limit where Newton's mechanics reduces to Aristotle's mechanics because Aristotle's mechanics, although academically dominant for 18 centuries, does not have any domain of validity (on the other hand, it can sensibly be said that the falling of objects through the air ("natural motion") constitutes a domain of validity for a part of Aristotle's mechanics).

Examples

Bohr model

Шаблон:Main If an electron in an atom is moving on an orbit with period Шаблон:Math, classically the electromagnetic radiation will repeat itself every orbital period. If the coupling to the electromagnetic field is weak, so that the orbit does not decay very much in one cycle, the radiation will be emitted in a pattern which repeats every period, so that the Fourier transform will have frequencies which are only multiples of Шаблон:Math. This is the classical radiation law: the frequencies emitted are integer multiples of Шаблон:Math.

In quantum mechanics, this emission must be in quanta of light, of frequencies consisting of integer multiples of Шаблон:Math, so that classical mechanics is an approximate description at large quantum numbers. This means that the energy level corresponding to a classical orbit of period Шаблон:Math must have nearby energy levels which differ in energy by Шаблон:Math, and they should be equally spaced near that level, <math display="block">\Delta E_n = \frac { h }{ T(E_n) } \,.</math>

Bohr worried whether the energy spacing Шаблон:Math should be best calculated with the period of the energy state <math>E_n</math>, or <math>E_{n+1}</math>, or some average—in hindsight, this model is only the leading semiclassical approximation.

Bohr considered circular orbits. Classically, these orbits must decay to smaller circles when photons are emitted. The level spacing between circular orbits can be calculated with the correspondence formula. For a Hydrogen atom, the classical orbits have a period Шаблон:Math determined by Kepler's third law to scale as Шаблон:Math. The energy scales as Шаблон:Math, so the level spacing formula amounts to <math display="block">\Delta E \propto \frac{1}{r^{3/2}} \propto E^{3/2}.</math> It is possible to determine the energy levels by recursively stepping down orbit by orbit, but there is a shortcut.

The angular momentum Шаблон:Math of the circular orbit scales as Шаблон:Math. The energy in terms of the angular momentum is then <math display="block">E \propto {1\over r} \propto {1 \over L^2}.</math>

Assuming, with Bohr, that quantized values of Шаблон:Math are equally spaced, the spacing between neighboring energies is <math display="block">\Delta E \propto {1 \over (L+\hbar)^2 } - \frac{1}{L^2} \approx - \frac{2\hbar}{L^3} \propto - E^{3/2}.</math> This is as desired for equally spaced angular momenta. If one kept track of the constants, the spacing would be Шаблон:Math, so the angular momentum should be an integer multiple of Шаблон:Math, <math display="block">L = \frac{nh}{2\pi} = n \hbar ~ .</math>

This is how Bohr arrived at his model. Since only the level spacing is determined heuristically by the correspondence principle, one could always add a small fixed offset to the quantum number— Шаблон:Math could just as well have been Шаблон:Math.

Bohr used his physical intuition to decide which quantities were best to quantize. It is a testimony to his skill that he was able to get so much from what is only the leading order approximation. A less heuristic treatment accounts for needed offsets in the ground state L², cf. Wigner–Weyl transform.

One-dimensional potential

Bohr's correspondence condition can be solved for the level energies in a general one-dimensional potential. Define a quantity Шаблон:Math which is a function only of the energy, & has the property that

<math>

{dJ \over dE} = T </math>

This is the analogue of the angular momentum in the case of the circular orbits. The orbits selected by the correspondence principle are the ones that obey Шаблон:Math for Шаблон:Mvar integer, since

<math>

\Delta E = E_{n+1} - E_n = {dE \over dJ}(J_{n+1} - J_n) = {1 \over T} \,\Delta J </math>

This quantity Шаблон:Math is canonically conjugate to a variable Шаблон:Math which, by the Hamilton equations of motion changes with time as the gradient of energy with Шаблон:Math. Since this is equal to the inverse period at all times, the variable Шаблон:Math increases steadily from 0 to 1 over one period.

The angle variable comes back to itself after 1 unit of increase, so the geometry of phase space in Шаблон:Math coordinates is that of a half-cylinder, capped off at Шаблон:Math = 0, which is the motionless orbit at the lowest value of the energy. These coordinates are just as canonical as Шаблон:Math, but the orbits are now lines of constant Шаблон:Math instead of nested ovoids in Шаблон:Math space.

The area enclosed by an orbit is invariant under canonical transformations, so it is the same in Шаблон:Math space as in Шаблон:Math. But in the Шаблон:Math coordinates, this area is the area of a cylinder of unit circumference between 0 and Шаблон:Math, or just Шаблон:Math. So Шаблон:Math is equal to the area enclosed by the orbit in Шаблон:Math coordinates too,

<math>

J = \int_0^T p {d x \over dt}\, dt ~. </math>

The quantization rule is that the action variable Шаблон:Math is an integer multiple of Шаблон:Math.

Multiperiodic motion: Bohr–Sommerfeld quantization

Bohr's correspondence principle provided a way to find the semiclassical quantization rule for a one degree of freedom system. It was an argument for the old quantum condition mostly independent from the one developed by Wien and Einstein, which focused on adiabatic invariance. But both pointed to the same quantity, the action.

Bohr was reluctant to generalize the rule to systems with many degrees of freedom. This step was taken by Sommerfeld, who proposed the general quantization rule for an integrable system,

<math> J_k = h n_k. \, </math>

Each action variable is a separate integer, a separate quantum number.

This condition reproduces the circular orbit condition for two dimensional motion: let Шаблон:Math be polar coordinates for a central potential. Then Шаблон:Math is already an angle variable, and the canonical momentum conjugate is Шаблон:Math, the angular momentum. So the quantum condition for Шаблон:Math reproduces Bohr's rule:

<math>

\int_0^{2\pi} L d\theta = 2\pi L = n h. </math>

This allowed Sommerfeld to generalize Bohr's theory of circular orbits to elliptical orbits, showing that the energy levels are the same. He also found some general properties of quantum angular momentum which seemed paradoxical at the time. One of these results was that the z-component of the angular momentum, the classical inclination of an orbit relative to the z-axis, could only take on discrete values, a result which seemed to contradict rotational invariance. This was called space quantization for a while, but this term fell out of favor with the new quantum mechanics since no quantization of space is involved.

In modern quantum mechanics, the principle of superposition makes it clear that rotational invariance is not lost. It is possible to rotate objects with discrete orientations to produce superpositions of other discrete orientations, and this resolves the intuitive paradoxes of the Sommerfeld model.

The quantum harmonic oscillator

Шаблон:Main Here is a demonstration of how large quantum numbers can give rise to classical (continuous) behavior.

Consider the one-dimensional quantum harmonic oscillator. Quantum mechanics tells us that the total (kinetic and potential) energy of the oscillator, Шаблон:Math, has a set of discrete values,

<math>E=(n+1/2)\hbar \omega, \ n=0, 1, 2, 3, \dots ~ ,</math>

where Шаблон:Math is the angular frequency of the oscillator.

However, in a classical harmonic oscillator such as a lead ball attached to the end of a spring, we do not perceive any discreteness. Instead, the energy of such a macroscopic system appears to vary over a continuum of values. We can verify that our idea of macroscopic systems falls within the correspondence limit. The energy of the classical harmonic oscillator with amplitude Шаблон:Math, is

<math> E = \frac{m \omega ^2 A^2}{2} .</math>

Thus, the quantum number has the value

<math> n = \frac{E}{\hbar \cdot \omega} - \frac{1}{2} = \frac{m \omega A^2}{2\hbar} -\frac{1}{2}</math>

If we apply typical "human-scale" values Шаблон:Math = 1kg, Шаблон:Math = 1 rad/s, and Шаблон:Math = 1 m, then Шаблон:Math ≈ 4.74×10³³. This is a very large number, so the system is indeed in the correspondence limit.

It is simple to see why we perceive a continuum of energy in this limit. With Шаблон:Math = 1 rad/s, the difference between each energy level is Шаблон:Math ≈ 1.05 × 10⁻³⁴J, well below what we normally resolve for macroscopic systems. One then describes this system through an emergent classical limit.

Relativistic kinetic energy

Here we show that the expression of kinetic energy from special relativity becomes arbitrarily close to the classical expression, for speeds that are much slower than the speed of light, Шаблон:Math.

Albert Einstein's mass-energy equation

<math> E = \frac{m_0} {\sqrt{1 - v^2/c^2}} c^2 ~, </math>

where the velocity, Шаблон:Math is the velocity of the body relative to the observer, <math> m_0 </math> is the rest mass (the observed mass of the body at zero velocity relative to the observer), and Шаблон:Math is the speed of light.

When the velocity Шаблон:Math vanishes, the energy expressed above is not zero, and represents the rest energy,

<math> E_0 = m_0 c^2. \ </math>

When the body is in motion relative to the observer, the total energy exceeds the rest energy by an amount that is, by definition, the kinetic energy,

<math> T = E - E_0 = \frac{m_0 c^2} {\sqrt{1 - v^2/c^2}} \ - \ m_0 c^2 ~. </math>

Using the approximation <math display="block"> ( 1 + x )^n \approx 1 + nx </math> for <math> |x| \ll 1 </math>, we get, when speeds are much slower than that of light, or Шаблон:Math, <math display="block">\begin{align} T &=m_0 c^2 \left( \frac{1} {\sqrt{1 - v^2/c^2}} - 1 \right) \\ &= m_0 c^2 \left( \left( 1 - v^2/c^2 \right) ^{-\frac{1}{2}} - 1 \right) \\ &\approx m_0 c^2 \left( (1 - (-\begin{matrix} \frac{1}{2} \end{matrix} )v^2/c^2) - 1 \right) \\ &= m_0 c^2 \left( \begin{matrix} \frac{1}{2} \end{matrix} v^2/c^2 \right) \\ &= \begin{matrix} \frac{1}{2} \end{matrix} m_0 v^2 ~, \end{align}</math> which is the Newtonian expression for kinetic energy.

See also

• Quantum decoherence
• Classical limit
• Classical probability density
• Leggett–Garg inequality