Symmetric elliptic Dirichlet energy with a nonpositive potential
ID: symmetric-elliptic-dirichlet-energy-with-a-nonpositive-potential
For a bounded domain, bounded symmetric uniformly elliptic , , and , minimizing on solves . The nonnegative quadratic terms are weakly lower semicontinuous, and Poincaré inequality makes the gradient norm coercive on the zero-boundary part. The first variation gives the weak equation with the forcing sign displayed above. If is positive, coercivity may fail at a Dirichlet eigenvalue; orthogonality to the homogeneous kernel is then needed for solvability.
New to topics? Read the docs here!