An integral inequality involving
second order derivatives is derived. A most important consequence of this inequality
is that the Dirichlet form
for functions q(x) which are positive and “not too large” in a sense which will be
made precise later and for functions u(x) with compact support contained in D.
Some examples are given and an application is made to an existence theorem for a
fourth order uniformly elliptic P.D.E.