Namespaces
Variants
Actions

Difference between revisions of "Adiabatic invariant"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
 +
<!--
 +
a0107601.png
 +
$#A+1 = 35 n = 0
 +
$#C+1 = 35 : ~/encyclopedia/old_files/data/A010/A.0100760 Adiabatic invariant
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
A term of physical origin whose meaning in mathematics is not unambiguous. The adiabatic invariant is usually defined as a quantitative characteristic of the motion of a [[Hamiltonian system|Hamiltonian system]] which remains practically unchanged during an adiabatic (i.e. very slow in comparison to the time scale typical of the motion in the system) change of its parameters. (The change may last for as long as the values of these parameters — unlike the adiabatic invariant — undergo significant changes.) Thus, for the simplest system
 
A term of physical origin whose meaning in mathematics is not unambiguous. The adiabatic invariant is usually defined as a quantitative characteristic of the motion of a [[Hamiltonian system|Hamiltonian system]] which remains practically unchanged during an adiabatic (i.e. very slow in comparison to the time scale typical of the motion in the system) change of its parameters. (The change may last for as long as the values of these parameters — unlike the adiabatic invariant — undergo significant changes.) Thus, for the simplest system
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a0107601.png" /></td> <td valign="top" style="width:5%;text-align:right;">(*)</td></tr></table>
+
$$ \tag{* }
 +
 
 +
\frac{dx}{dt}
 +
  = v ,\ 
 +
\frac{dv}{dt}
 +
  = - \omega  ^ {2} ( \epsilon t ) x ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a0107602.png" /> is a small parameter and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a0107603.png" /> is a positive, sufficiently smooth function, the adiabatic invariant is
+
where $  \epsilon $
 +
is a small parameter and $  \omega (s) $
 +
is a positive, sufficiently smooth function, the adiabatic invariant is
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a0107604.png" /></td> </tr></table>
+
$$
 +
= \omega x  ^ {2} + v ^
 +
\frac{2} \omega
 +
.
 +
$$
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a0107605.png" />, the system (*) describes an ordinary harmonic oscillator with frequency <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a0107606.png" />. Thus, in this case, if the variation of the parameters of the system is slow in comparison to the oscillation period, then its energy <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a0107607.png" /> varies proportionally to the frequency. In this example, as well as in most other cases, it is assumed that if the parameters did not change at all, the Hamiltonian system under consideration would be completely integrable and its motion would be quasi-periodic (in this case simply periodic); other generalizations are also known. In the publications by many mathematicians and experts in celestial mechanics on Hamiltonian systems which are close to being completely integrable, the term  "adiabatic invariant"  is not used at all, even though the information presented in these publications seems to indicate that certain magnitudes are in certain cases in fact adiabatic invariants.
+
If $  \omega = \textrm{ const } $,  
 +
the system (*) describes an ordinary harmonic oscillator with frequency $  \omega $.  
 +
Thus, in this case, if the variation of the parameters of the system is slow in comparison to the oscillation period, then its energy $  ( v  ^ {2} + \omega  ^ {2} x  ^ {2} )/2 $
 +
varies proportionally to the frequency. In this example, as well as in most other cases, it is assumed that if the parameters did not change at all, the Hamiltonian system under consideration would be completely integrable and its motion would be quasi-periodic (in this case simply periodic); other generalizations are also known. In the publications by many mathematicians and experts in celestial mechanics on Hamiltonian systems which are close to being completely integrable, the term  "adiabatic invariant"  is not used at all, even though the information presented in these publications seems to indicate that certain magnitudes are in certain cases in fact adiabatic invariants.
  
"Approximate invariance"  of an adiabatic invariant <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a0107608.png" /> means that for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a0107609.png" /> under consideration the difference <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a01076010.png" /> remains small. (The derivative <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a01076011.png" /> can be a magnitude of the same order as the derivatives of the other parameters of the system, but the variations of the adiabatic invariant are not cummulative with time.) Such approximate invariance may take place over a very large but finite period of time (temporal adiabatic invariants) or over the entire infinite <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a01076012.png" />-axis (stationary or permanent adiabatic invariants [[#References|[1]]]). The notion of  "slow variation of the parameters of the system"  may be rendered more precise in two ways: a) the Hamiltonian <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a01076013.png" /> is an explicit function of the time <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a01076014.png" /> (non-autonomous system), but the derivative <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a01076015.png" /> is small; b) the system under consideration, with canonical variables <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a01076016.png" />, is a subsystem of a large system with variables <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a01076017.png" />, which is itself autonomous and is such that either <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a01076018.png" /> vary slowly, or else their variation does not materially affect the subsystem.
+
"Approximate invariance"  of an adiabatic invariant $  I(t) $
 +
means that for all $  t $
 +
under consideration the difference $  I(t) - I(0) $
 +
remains small. (The derivative $  d I(t) / d t $
 +
can be a magnitude of the same order as the derivatives of the other parameters of the system, but the variations of the adiabatic invariant are not cummulative with time.) Such approximate invariance may take place over a very large but finite period of time (temporal adiabatic invariants) or over the entire infinite $  t $-
 +
axis (stationary or permanent adiabatic invariants [[#References|[1]]]). The notion of  "slow variation of the parameters of the system"  may be rendered more precise in two ways: a) the Hamiltonian $  H $
 +
is an explicit function of the time $  t $(
 +
non-autonomous system), but the derivative $  d H / d t $
 +
is small; b) the system under consideration, with canonical variables $  p, q $,  
 +
is a subsystem of a large system with variables $  p, q, p  ^  \prime  , q  ^  \prime  $,  
 +
which is itself autonomous and is such that either $  p  ^  \prime  , q  ^  \prime  $
 +
vary slowly, or else their variation does not materially affect the subsystem.
  
In view of the above restrictions, the existence of an adiabatic invariant can be affirmed only under various additional assumptions, a precise general formulation of which is difficult [[#References|[1]]]. Temporal adiabatic invariants for systems of the type just described in fact belong to the field of asymptotic methods of perturbation theory (if the problem is posed in a more general manner, a few rigorous results can also be obtained [[#References|[4]]]). To prove the temporal asymptotic invariance of some magnitude <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a01076019.png" />, the usual procedure is to construct another magnitude <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a01076020.png" /> such that the values of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a01076021.png" /> oscillate around <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a01076022.png" />, while <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a01076023.png" /> has a lower order of magnitude than the derivatives of the other parameters of the system. Thus, in the example (*) for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a01076024.png" /> (the prime denotes the derivative of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a01076025.png" /> with respect to the argument <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a01076026.png" />) direct differentiation yields <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a01076027.png" />; this is a proof that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a01076028.png" /> is a temporal adiabatic invariant. The existence of permanent adiabatic invariants is open to doubt in case a) above if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a01076029.png" /> depends on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a01076030.png" /> in some general manner (in particular, in the absence of periodicity or limits as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a01076031.png" />). In case b) above, the problem of permanent adiabatic invariants is connected with small denominators [[#References|[2]]].
+
In view of the above restrictions, the existence of an adiabatic invariant can be affirmed only under various additional assumptions, a precise general formulation of which is difficult [[#References|[1]]]. Temporal adiabatic invariants for systems of the type just described in fact belong to the field of asymptotic methods of perturbation theory (if the problem is posed in a more general manner, a few rigorous results can also be obtained [[#References|[4]]]). To prove the temporal asymptotic invariance of some magnitude $  I(t) $,  
 +
the usual procedure is to construct another magnitude $  J(t) $
 +
such that the values of $  I(t) $
 +
oscillate around $  J(t) $,  
 +
while $  d J(t) / d t $
 +
has a lower order of magnitude than the derivatives of the other parameters of the system. Thus, in the example (*) for $  J = I + \epsilon \omega  ^  \prime  xv/ \omega  ^ {2} $(
 +
the prime denotes the derivative of $  \omega $
 +
with respect to the argument $  s = \epsilon t $)  
 +
direct differentiation yields $  d J(t) / d t = O ( \epsilon  ^ {2} ) $;  
 +
this is a proof that $  I $
 +
is a temporal adiabatic invariant. The existence of permanent adiabatic invariants is open to doubt in case a) above if $  H $
 +
depends on $  t $
 +
in some general manner (in particular, in the absence of periodicity or limits as $  t \rightarrow \pm \infty $).  
 +
In case b) above, the problem of permanent adiabatic invariants is connected with small denominators [[#References|[2]]].
  
Historically, adiabatic invariants played an important role in the quantum theory of Bohr–Sommerfeld, in which quantizable magnitudes must be adiabatic invariants. This rule lost its importance with the subsequent advances in quantum mechanics. Adiabatic invariants are used in modern physics in the study of motion of charged particles in electromagnetic fields [[#References|[3]]]. Here, the important magnitude is the ratio <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a01076032.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a01076033.png" /> is the magnetic field strength and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a01076034.png" /> is the velocity component of the particle lying in a plane perpendicular to the vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010760/a01076035.png" />; this ratio is an adiabatic invariant if the magnetic field strength does not significantly vary along the [[Larmor radius|Larmor radius]].
+
Historically, adiabatic invariants played an important role in the quantum theory of Bohr–Sommerfeld, in which quantizable magnitudes must be adiabatic invariants. This rule lost its importance with the subsequent advances in quantum mechanics. Adiabatic invariants are used in modern physics in the study of motion of charged particles in electromagnetic fields [[#References|[3]]]. Here, the important magnitude is the ratio $  v _  \perp  ^ {2} /H $,  
 +
where $  H $
 +
is the magnetic field strength and $  v _  \perp  $
 +
is the velocity component of the particle lying in a plane perpendicular to the vector $  H $;  
 +
this ratio is an adiabatic invariant if the magnetic field strength does not significantly vary along the [[Larmor radius|Larmor radius]].
  
 
It should also be noted that, during an adiabatic change of state in quantum mechanics, certain magnitudes retain their values (e.g. quantum numbers, except for processes which bring about a degenerate state of the system). It is therefore possible to speak of adiabatic invariants in quantum mechanics as well, but this concept does not play a significant part in quantum mechanics and is not ordinarily used in that science.
 
It should also be noted that, during an adiabatic change of state in quantum mechanics, certain magnitudes retain their values (e.g. quantum numbers, except for processes which bring about a degenerate state of the system). It is therefore possible to speak of adiabatic invariants in quantum mechanics as well, but this concept does not play a significant part in quantum mechanics and is not ordinarily used in that science.

Latest revision as of 16:09, 1 April 2020


A term of physical origin whose meaning in mathematics is not unambiguous. The adiabatic invariant is usually defined as a quantitative characteristic of the motion of a Hamiltonian system which remains practically unchanged during an adiabatic (i.e. very slow in comparison to the time scale typical of the motion in the system) change of its parameters. (The change may last for as long as the values of these parameters — unlike the adiabatic invariant — undergo significant changes.) Thus, for the simplest system

$$ \tag{* } \frac{dx}{dt} = v ,\ \frac{dv}{dt} = - \omega ^ {2} ( \epsilon t ) x , $$

where $ \epsilon $ is a small parameter and $ \omega (s) $ is a positive, sufficiently smooth function, the adiabatic invariant is

$$ I = \omega x ^ {2} + v ^ \frac{2} \omega . $$

If $ \omega = \textrm{ const } $, the system (*) describes an ordinary harmonic oscillator with frequency $ \omega $. Thus, in this case, if the variation of the parameters of the system is slow in comparison to the oscillation period, then its energy $ ( v ^ {2} + \omega ^ {2} x ^ {2} )/2 $ varies proportionally to the frequency. In this example, as well as in most other cases, it is assumed that if the parameters did not change at all, the Hamiltonian system under consideration would be completely integrable and its motion would be quasi-periodic (in this case simply periodic); other generalizations are also known. In the publications by many mathematicians and experts in celestial mechanics on Hamiltonian systems which are close to being completely integrable, the term "adiabatic invariant" is not used at all, even though the information presented in these publications seems to indicate that certain magnitudes are in certain cases in fact adiabatic invariants.

"Approximate invariance" of an adiabatic invariant $ I(t) $ means that for all $ t $ under consideration the difference $ I(t) - I(0) $ remains small. (The derivative $ d I(t) / d t $ can be a magnitude of the same order as the derivatives of the other parameters of the system, but the variations of the adiabatic invariant are not cummulative with time.) Such approximate invariance may take place over a very large but finite period of time (temporal adiabatic invariants) or over the entire infinite $ t $- axis (stationary or permanent adiabatic invariants [1]). The notion of "slow variation of the parameters of the system" may be rendered more precise in two ways: a) the Hamiltonian $ H $ is an explicit function of the time $ t $( non-autonomous system), but the derivative $ d H / d t $ is small; b) the system under consideration, with canonical variables $ p, q $, is a subsystem of a large system with variables $ p, q, p ^ \prime , q ^ \prime $, which is itself autonomous and is such that either $ p ^ \prime , q ^ \prime $ vary slowly, or else their variation does not materially affect the subsystem.

In view of the above restrictions, the existence of an adiabatic invariant can be affirmed only under various additional assumptions, a precise general formulation of which is difficult [1]. Temporal adiabatic invariants for systems of the type just described in fact belong to the field of asymptotic methods of perturbation theory (if the problem is posed in a more general manner, a few rigorous results can also be obtained [4]). To prove the temporal asymptotic invariance of some magnitude $ I(t) $, the usual procedure is to construct another magnitude $ J(t) $ such that the values of $ I(t) $ oscillate around $ J(t) $, while $ d J(t) / d t $ has a lower order of magnitude than the derivatives of the other parameters of the system. Thus, in the example (*) for $ J = I + \epsilon \omega ^ \prime xv/ \omega ^ {2} $( the prime denotes the derivative of $ \omega $ with respect to the argument $ s = \epsilon t $) direct differentiation yields $ d J(t) / d t = O ( \epsilon ^ {2} ) $; this is a proof that $ I $ is a temporal adiabatic invariant. The existence of permanent adiabatic invariants is open to doubt in case a) above if $ H $ depends on $ t $ in some general manner (in particular, in the absence of periodicity or limits as $ t \rightarrow \pm \infty $). In case b) above, the problem of permanent adiabatic invariants is connected with small denominators [2].

Historically, adiabatic invariants played an important role in the quantum theory of Bohr–Sommerfeld, in which quantizable magnitudes must be adiabatic invariants. This rule lost its importance with the subsequent advances in quantum mechanics. Adiabatic invariants are used in modern physics in the study of motion of charged particles in electromagnetic fields [3]. Here, the important magnitude is the ratio $ v _ \perp ^ {2} /H $, where $ H $ is the magnetic field strength and $ v _ \perp $ is the velocity component of the particle lying in a plane perpendicular to the vector $ H $; this ratio is an adiabatic invariant if the magnetic field strength does not significantly vary along the Larmor radius.

It should also be noted that, during an adiabatic change of state in quantum mechanics, certain magnitudes retain their values (e.g. quantum numbers, except for processes which bring about a degenerate state of the system). It is therefore possible to speak of adiabatic invariants in quantum mechanics as well, but this concept does not play a significant part in quantum mechanics and is not ordinarily used in that science.

References

[1] L.I., et al. Mandel'shtam, Zh. Russk. Fiz.-Khim. Obshch. , 60 : 5 (1928) pp. 413–419
[2] V.I. Arnol'd, "Small denominators and problems of stability of motion in classical and celestial mechanics" Russian Math. Surveys , 18 : 6 (1963) pp. 91–191 Uspekhi Mat. Nauk , 18 : 6 (1963) pp. 91–192
[3] T. Northrop, "The adiabatic motion of charged particles" , Interscience (1963)
[4] T. Kasuga, "On the adiabatic theorem for the Hamiltonian system of differential equations in the classical mechanics I, II, III" Proc. Japan Acad. , 37 : 7 (1961) pp. 366–382
How to Cite This Entry:
Adiabatic invariant. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Adiabatic_invariant&oldid=45033
This article was adapted from an original article by D.V. AnosovA.P. Favorskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article