A lower-bound growth condition on a bilinear form a(·,·) or operator that asserts a(u,u) ≥ c ||u||^2 for all u in the space (with c>0), providing control of the solution norm and often guaranteeing uniqueness and stability in variational problems.

Principle

Coercivity enforces a positive quadratic control: the bilinear form dominates the norm squared and prevents arbitrarily small energy for nonzero elements, which enables invertibility or a priori estimates.

Demonstration

For the Dirichlet energy a(u,v)=∫_Ω ∇u·∇v + α uv with α≥0 and appropriate boundary conditions, Poincaré inequality yields a(u,u) ≥ c||u||_{H^1_0}^2, showing coercivity and thus existence and uniqueness via Lax–Milgram.

Misapplication

Assuming coercivity from mere positivity pointwise or boundedness; or assuming coercivity on the whole space when the form is only coercive on a quotient (e.g., modulo kernel) or for a restricted subspace.

Consequence

Correct coercivity gives stability estimates, uniqueness of variational solutions, bounded inverse operators, and robustness under perturbations; it produces energy norms equivalent to the natural norm.

Reversal

Lack of coercivity allows sequences with vanishing energy but nonzero norm, leading to nonuniqueness, ill-conditioning, or the need for alternative conditions like inf-sup (Babuška) or regularization.

Boundary

Applies to bilinear forms on normed or Hilbert spaces with a chosen norm; coercivity constant and norm must be specified. It differs from positive definiteness when the form is only semidefinite or when the topology differs from the energy.

Semantic Tension

Coercivity is often conflated with ellipticity, positive definiteness, or uniform boundedness; the tension lies in whether domination holds globally, on subspaces, or only asymptotically.

Synthesis

Coercivity is the quantitative lower bound on an energy form that controls norms, enabling existence, uniqueness, and stability results in variational formulations when combined with boundedness.