The infimum of over is attained. A minimizing sequence is bounded in because is bounded below; weak compactness, Rellich strong convergence, and weak lower semicontinuity complete the direct-method argument.
Articles by others on the same topic
There are currently no matching articles.