Namespaces
Variants
Actions

Difference between revisions of "Hill equation"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
 +
<!--
 +
h0474401.png
 +
$#A+1 = 34 n = 0
 +
$#C+1 = 34 : ~/encyclopedia/old_files/data/H047/H.0407440 Hill equation
 +
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}}
 +
 
An ordinary second-order differential equation
 
An ordinary second-order differential equation
  
<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/h/h047/h047440/h0474401.png" /></td> </tr></table>
+
$$
 +
w  ^ {\prime\prime} ( z) + p ( z) w ( z)  = 0
 +
$$
  
with a periodic function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047440/h0474402.png" />; all quantities can be complex. The equation is named after G. Hill [[#References|[1]]], who in studying the motion of the moon obtained the equation
+
with a periodic function $  p ( z) $;  
 +
all quantities can be complex. The equation is named after G. Hill [[#References|[1]]], who in studying the motion of the moon obtained the equation
  
<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/h/h047/h047440/h0474403.png" /></td> </tr></table>
+
$$
 +
w  ^ {\prime\prime} ( z) +
 +
\left ( \theta _ {0} +
 +
2 \sum _ {r = 1 } ^  \infty 
 +
\theta _ {2r}  \cos  2rz
 +
\right ) w ( z)  = 0
 +
$$
  
with real numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047440/h0474404.png" /> where the series <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047440/h0474405.png" /> converges.
+
with real numbers $  \theta _ {0} , \theta _ {2} \dots $
 +
where the series $  \sum _ {r = 1 }  ^  \infty  | \theta _ {2r} | $
 +
converges.
  
 
Hill gave a method for solving this equation with the use of determinants of infinite order. This was a source for the creation of the theory of such determinants, and later for the creation by E. Fredholm of the theory of integral equations (cf. [[Fredholm theorems|Fredholm theorems]]). Most important for Hill equations are the problems of the stability of solutions and the presence or absence of periodic solutions. If in the real case one introduces in the Hill equation a parameter:
 
Hill gave a method for solving this equation with the use of determinants of infinite order. This was a source for the creation of the theory of such determinants, and later for the creation by E. Fredholm of the theory of integral equations (cf. [[Fredholm theorems|Fredholm theorems]]). Most important for Hill equations are the problems of the stability of solutions and the presence or absence of periodic solutions. If in the real case one introduces in the Hill equation a parameter:
  
<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/h/h047/h047440/h0474406.png" /></td> </tr></table>
+
$$
 +
x  ^ {\prime\prime} + \lambda p ( t) x  = 0,
 +
$$
  
 
then, as was established by A.M. Lyapunov in [[#References|[2]]], there exists an infinite sequence
 
then, as was established by A.M. Lyapunov in [[#References|[2]]], there exists an infinite sequence
  
<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/h/h047/h047440/h0474407.png" /></td> </tr></table>
+
$$
 +
{} \dots < \lambda _ {-} 1  \leq  \
 +
\lambda _ {0}  = 0 < \lambda _ {1}  \leq  \
 +
\lambda _ {2}  < \dots < \
 +
\lambda _ {2n - 1 }  \leq
 +
$$
  
<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/h/h047/h047440/h0474408.png" /></td> </tr></table>
+
$$
 +
\leq  \
 +
\lambda _ {2n}  < \
 +
\lambda _ {2n + 1 }  \leq  \dots ,
 +
$$
  
such that for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047440/h0474409.png" /> the Hill equation is stable and for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047440/h04744010.png" /> it is unstable. Here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047440/h04744011.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047440/h04744012.png" /> are the eigen values of the periodic, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047440/h04744013.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047440/h04744014.png" /> the eigen values of the semi-periodic boundary value problem. The Hill equation is well studied (see [[#References|[3]]]).
+
such that for $  \lambda \in ( \lambda _ {2n} , \lambda _ {2n + 1 }  ) $
 +
the Hill equation is stable and for $  \lambda \in [ \lambda _ {2n - 1 }  , \lambda _ {2n }  ] $
 +
it is unstable. Here $  \lambda _ {4n} $
 +
and $  \lambda _ {4n + 3 }  $
 +
are the eigen values of the periodic, and $  \lambda _ {4n + 1 }  $
 +
and $  \lambda _ {4n + 2 }  $
 +
the eigen values of the semi-periodic boundary value problem. The Hill equation is well studied (see [[#References|[3]]]).
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  G. Hill,  ''Acta. Math.'' , '''8'''  (1886)  pp. 1</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  A.M. Lyapunov,  , ''Collected works'' , '''2''' , Moscow  (1966)  pp. 407–409  (In Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  V.A. Yakubovich,  V.M. Starzhinskii,  "Linear differential equations with periodic coefficients" , Wiley  (1975)  (Translated from Russian)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  G. Hill,  ''Acta. Math.'' , '''8'''  (1886)  pp. 1</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  A.M. Lyapunov,  , ''Collected works'' , '''2''' , Moscow  (1966)  pp. 407–409  (In Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  V.A. Yakubovich,  V.M. Starzhinskii,  "Linear differential equations with periodic coefficients" , Wiley  (1975)  (Translated from Russian)</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
An operator of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047440/h04744015.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047440/h04744016.png" /> is a periodic function, is called a Hill operator. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047440/h04744017.png" /> be of period <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047440/h04744018.png" />. The periodic spectrum and the anti-periodic spectrum (or semi-periodic spectrum) of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047440/h04744019.png" /> are obtained by solving <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047440/h04744020.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047440/h04744021.png" />. Together these spectra constitute a simple periodic ground state <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047440/h04744022.png" /> followed by alternatively anti-periodic and periodic pairs of simple or double eigen values
+
An operator of the form $  Q = D  ^ {2} + q $,  
 +
where $  q $
 +
is a periodic function, is called a Hill operator. Let $  q $
 +
be of period $  1 $.  
 +
The periodic spectrum and the anti-periodic spectrum (or semi-periodic spectrum) of $  Q $
 +
are obtained by solving $  Q f = \lambda f $
 +
with $  f ( x + 1 ) = \pm  f ( x) $.  
 +
Together these spectra constitute a simple periodic ground state $  \lambda _ {0} $
 +
followed by alternatively anti-periodic and periodic pairs of simple or double eigen values
  
<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/h/h047/h047440/h04744023.png" /></td> </tr></table>
+
$$
 +
\lambda _ {0}  < \lambda _ {1}  \leq  \lambda _ {2}  < \lambda _ {3}  \leq  \
 +
\lambda _ {4}  < \dots .
 +
$$
  
The intervals <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047440/h04744024.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047440/h04744025.png" /> are called lacunae or gaps. This term arises from the fact that the spectrum of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047440/h04744026.png" /> viewed as acting on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047440/h04744027.png" /> is in the closed complement of the union of these intervals.
+
The intervals $  ( - \infty , \lambda _ {0} ) $
 +
and $  [ \lambda _ {2i-} 1 , \lambda _ {2i} ] $
 +
are called lacunae or gaps. This term arises from the fact that the spectrum of $  Q $
 +
viewed as acting on $  L _ {2} ( \mathbf R ) $
 +
is in the closed complement of the union of these intervals.
  
The study of the Hill operator and its spectral data is important in the inverse scattering method for solving the (periodic) [[Korteweg–de Vries equation|Korteweg–de Vries equation]]. A crucial result here is Borg's theorem, which says that the potential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047440/h04744028.png" /> can be recovered from the periodic and anti-periodic spectrum, the auxiliary spectrum (which is obtained by solving <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047440/h04744029.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047440/h04744030.png" />), and certain norming constants obtained from the associated eigen functions. Cf. [[#References|[a2]]] for more details. The <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047440/h04744031.png" /> are located in the gaps, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047440/h04744032.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047440/h04744033.png" />.
+
The study of the Hill operator and its spectral data is important in the inverse scattering method for solving the (periodic) [[Korteweg–de Vries equation|Korteweg–de Vries equation]]. A crucial result here is Borg's theorem, which says that the potential $  q $
 +
can be recovered from the periodic and anti-periodic spectrum, the auxiliary spectrum (which is obtained by solving $  Q f = \mu f $
 +
with  $  f ( 0) = f ( 1) = 0 $),  
 +
and certain norming constants obtained from the associated eigen functions. Cf. [[#References|[a2]]] for more details. The $  \mu _ {i} $
 +
are located in the gaps, $  \mu _ {i} \in [ \lambda _ {2i-} 1 , \lambda _ {2i} ] $,
 +
$  i = 1 , 2 ,\dots $.
  
 
In [[#References|[a3]]] the term Borg's theorem refers to a different result which belongs to the context of  "co-existence questions" , i.e. of the problem of determining when two linearly independent periodic solutions of period 1 and 2 can co-exist (cf. [[#References|[a3]]], Sect. 2.6).
 
In [[#References|[a3]]] the term Borg's theorem refers to a different result which belongs to the context of  "co-existence questions" , i.e. of the problem of determining when two linearly independent periodic solutions of period 1 and 2 can co-exist (cf. [[#References|[a3]]], Sect. 2.6).
  
The result on the relative position of the periodic and anti-periodic spectrum together with the corresponding statements on the stability of the solutions of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047440/h04744034.png" /> in the various intervals is known as the oscillation theorem.
+
The result on the relative position of the periodic and anti-periodic spectrum together with the corresponding statements on the stability of the solutions of $  Q y = \lambda y $
 +
in the various intervals is known as the oscillation theorem.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  M.S.P. Eastham,  "The spectral theory of periodic differential equations" , Scottish Acad. Press  (1973)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  H.P. McKean,  "Integrable systems and algebraic curves"  M. Grmela (ed.)  J.E. Marsden (ed.) , ''Global analysis'' , ''Lect. notes in math.'' , '''755''' , Springer  (1979)  pp. 83–200</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  W. Magnus,  S. Winkler,  "Hill's equation" , Dover, reprint  (1979)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  M.S.P. Eastham,  "The spectral theory of periodic differential equations" , Scottish Acad. Press  (1973)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  H.P. McKean,  "Integrable systems and algebraic curves"  M. Grmela (ed.)  J.E. Marsden (ed.) , ''Global analysis'' , ''Lect. notes in math.'' , '''755''' , Springer  (1979)  pp. 83–200</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  W. Magnus,  S. Winkler,  "Hill's equation" , Dover, reprint  (1979)</TD></TR></table>

Latest revision as of 22:10, 5 June 2020


An ordinary second-order differential equation

$$ w ^ {\prime\prime} ( z) + p ( z) w ( z) = 0 $$

with a periodic function $ p ( z) $; all quantities can be complex. The equation is named after G. Hill [1], who in studying the motion of the moon obtained the equation

$$ w ^ {\prime\prime} ( z) + \left ( \theta _ {0} + 2 \sum _ {r = 1 } ^ \infty \theta _ {2r} \cos 2rz \right ) w ( z) = 0 $$

with real numbers $ \theta _ {0} , \theta _ {2} \dots $ where the series $ \sum _ {r = 1 } ^ \infty | \theta _ {2r} | $ converges.

Hill gave a method for solving this equation with the use of determinants of infinite order. This was a source for the creation of the theory of such determinants, and later for the creation by E. Fredholm of the theory of integral equations (cf. Fredholm theorems). Most important for Hill equations are the problems of the stability of solutions and the presence or absence of periodic solutions. If in the real case one introduces in the Hill equation a parameter:

$$ x ^ {\prime\prime} + \lambda p ( t) x = 0, $$

then, as was established by A.M. Lyapunov in [2], there exists an infinite sequence

$$ {} \dots < \lambda _ {-} 1 \leq \ \lambda _ {0} = 0 < \lambda _ {1} \leq \ \lambda _ {2} < \dots < \ \lambda _ {2n - 1 } \leq $$

$$ \leq \ \lambda _ {2n} < \ \lambda _ {2n + 1 } \leq \dots , $$

such that for $ \lambda \in ( \lambda _ {2n} , \lambda _ {2n + 1 } ) $ the Hill equation is stable and for $ \lambda \in [ \lambda _ {2n - 1 } , \lambda _ {2n } ] $ it is unstable. Here $ \lambda _ {4n} $ and $ \lambda _ {4n + 3 } $ are the eigen values of the periodic, and $ \lambda _ {4n + 1 } $ and $ \lambda _ {4n + 2 } $ the eigen values of the semi-periodic boundary value problem. The Hill equation is well studied (see [3]).

References

[1] G. Hill, Acta. Math. , 8 (1886) pp. 1
[2] A.M. Lyapunov, , Collected works , 2 , Moscow (1966) pp. 407–409 (In Russian)
[3] V.A. Yakubovich, V.M. Starzhinskii, "Linear differential equations with periodic coefficients" , Wiley (1975) (Translated from Russian)

Comments

An operator of the form $ Q = D ^ {2} + q $, where $ q $ is a periodic function, is called a Hill operator. Let $ q $ be of period $ 1 $. The periodic spectrum and the anti-periodic spectrum (or semi-periodic spectrum) of $ Q $ are obtained by solving $ Q f = \lambda f $ with $ f ( x + 1 ) = \pm f ( x) $. Together these spectra constitute a simple periodic ground state $ \lambda _ {0} $ followed by alternatively anti-periodic and periodic pairs of simple or double eigen values

$$ \lambda _ {0} < \lambda _ {1} \leq \lambda _ {2} < \lambda _ {3} \leq \ \lambda _ {4} < \dots . $$

The intervals $ ( - \infty , \lambda _ {0} ) $ and $ [ \lambda _ {2i-} 1 , \lambda _ {2i} ] $ are called lacunae or gaps. This term arises from the fact that the spectrum of $ Q $ viewed as acting on $ L _ {2} ( \mathbf R ) $ is in the closed complement of the union of these intervals.

The study of the Hill operator and its spectral data is important in the inverse scattering method for solving the (periodic) Korteweg–de Vries equation. A crucial result here is Borg's theorem, which says that the potential $ q $ can be recovered from the periodic and anti-periodic spectrum, the auxiliary spectrum (which is obtained by solving $ Q f = \mu f $ with $ f ( 0) = f ( 1) = 0 $), and certain norming constants obtained from the associated eigen functions. Cf. [a2] for more details. The $ \mu _ {i} $ are located in the gaps, $ \mu _ {i} \in [ \lambda _ {2i-} 1 , \lambda _ {2i} ] $, $ i = 1 , 2 ,\dots $.

In [a3] the term Borg's theorem refers to a different result which belongs to the context of "co-existence questions" , i.e. of the problem of determining when two linearly independent periodic solutions of period 1 and 2 can co-exist (cf. [a3], Sect. 2.6).

The result on the relative position of the periodic and anti-periodic spectrum together with the corresponding statements on the stability of the solutions of $ Q y = \lambda y $ in the various intervals is known as the oscillation theorem.

References

[a1] M.S.P. Eastham, "The spectral theory of periodic differential equations" , Scottish Acad. Press (1973)
[a2] H.P. McKean, "Integrable systems and algebraic curves" M. Grmela (ed.) J.E. Marsden (ed.) , Global analysis , Lect. notes in math. , 755 , Springer (1979) pp. 83–200
[a3] W. Magnus, S. Winkler, "Hill's equation" , Dover, reprint (1979)
How to Cite This Entry:
Hill equation. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Hill_equation&oldid=18021
This article was adapted from an original article by Yu.V. Komlenko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article