##  [Coercivity](/coercivity-0) 

 Definition

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

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

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

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

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

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

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

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

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.