An inequality of the form
∫
a
b
[
p
|
f
′
|
2
+
q
|
f
|
2
]
≥
μ
0
∫
a
b
|
f
|
2
(
f
∈
D
)
\smallint _a^b[p|f’{|^2} + q|f{|^2}] \geq {\mu _0}\smallint _a^b|f{|^2}\;(f \in D)
is established, where p and q are real-valued coefficient functions and f is a complex-valued function in a set D so chosen that both sides of the inequality are finite. The interval of integration is of the form
−
∞
>
a
>
b
≤
∞
- \infty > a > b \leq \infty
. The inequality is first established for functions in the domain of an operator in the Hilbert function space
L
2
(
a
,
b
)
{L^2}(a,b)
that is associated with the differential equation
−
(
p
y
′
)
′
+
q
y
=
λ
y
- (py’)’ + qy = \lambda y
, and the number
μ
0
{\mu _0}
in the inequality is the smallest number in the spectrum of this operator. An approximation theorem is given that allows the inequality to be established for the larger set of functions D. An extension of some classical results from the calculus of variations and some spectral theory is then used to give necessary and sufficient conditions for equality and to show that the constant
μ
0
{\mu _0}
is best possible. Certain consequences of these conclusions are also discussed.