Namespaces

Variants

Views

Actions

Hill equation

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

with real numbers where the series 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:

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

such that for the Hill equation is stable and for it is unstable. Here and are the eigen values of the periodic, and and the eigen values of the semi-periodic boundary value problem. The Hill equation is well studied (see [3]).

Comments

An operator of the form , where is a periodic function, is called a Hill operator. Let be of period . The periodic spectrum and the anti-periodic spectrum (or semi-periodic spectrum) of are obtained by solving with . Together these spectra constitute a simple periodic ground state followed by alternatively anti-periodic and periodic pairs of simple or double eigen values

The intervals and are called lacunae or gaps. This term arises from the fact that the spectrum of viewed as acting on 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 can be recovered from the periodic and anti-periodic spectrum, the auxiliary spectrum (which is obtained by solving with ), and certain norming constants obtained from the associated eigen functions. Cf. [a2] for more details. The are located in the gaps, , .

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 in the various intervals is known as the oscillation theorem.