ソボレフ空間
on the Sobolev space . The Nehari manifold is defined to be the set of such that