The inequality considered is
where p and q are given real-valued coefficients on the interval [a, b), with b ≦ ∝, of the real line; here D is a linear manifold of the Hilbert function space L 2(a, b), and μ is a real number characterised in terms of the spectrum of a uniquely determined self-adjoint differential operator in L 2(a, b).