For , both and its weak gradient are square integrable. The assumed bounds give , so the potential term is integrable and is finite. Alsowhich is bounded below and coercive in by the Poincaré inequality.
For distinct and , convexity of and expansion of the squared gradient giveThe last norm is nonzero: a zero weak gradient makes constant, and its zero trace forces that constant to vanish. Thus is strictly convex.
Weak lower semicontinuity means that in implies . A minimizing sequence is bounded by coercivity. Reflexivity of this Hilbert space gives a weakly convergent subsequence with limit still in . The assumed weak lower semicontinuity makes that limit a minimizer, and strict convexity makes it unique. Hence .
Articles by others on the same topic
There are currently no matching articles.