A functional-analytic result asserting that if a(·,·) is a continuous (bounded) bilinear form on a Hilbert space H that is coercive (there exists α>0 with a(v,v) ≥ α||v||^2 for all v), then for every continuous linear functional f there exists a unique u in H satisfying a(u,v) = f(v) for all v. It provides existence, uniqueness, and a priori estimates for variational formulations of PDEs.

Principle

Continuity plus coercivity of a bilinear form on a Hilbert space yields an isomorphism between the space and its dual (via the Riesz representation), turning variational problems into solvable linear equations with stable dependence on data.

Demonstration

Weak formulation of the Poisson equation: take H = H_0^1(Ω), define a(u,v) = ∫_Ω ∇u·∇v and f(v)=∫_Ω fv. The form is continuous and coercive (Poincaré inequality), so Lax–Milgram guarantees a unique u with a(u,v)=f(v), i.e., the weak solution of −Δu=f with homogeneous Dirichlet boundary conditions.

Misapplication

Using Lax–Milgram when coercivity fails (e.g., forms with kernel or lack of a positive lower bound) leads to incorrect claims of uniqueness/existence; confusing coercivity with mere positivity or applying the theorem outside Hilbert-space settings without modification are common errors.

Consequence

Gives immediate existence and uniqueness of weak solutions for a broad class of elliptic variational problems, plus stability estimates ||u|| ≤ C||f||. It underpins finite element formulations and error analysis by ensuring the continuous variational problem is well-posed.

Reversal

If coercivity is removed, the conclusion reverses: uniqueness can fail and solvability can require compatibility conditions (leading into Fredholm-type alternatives); conversely, stronger assumptions (uniform coercivity) sharpen stability constants.

Boundary

Applies to continuous bilinear forms on Hilbert spaces with coercivity; it does not directly apply to indefinite forms, noncoercive saddle-point problems (which require Babuška–Brezzi conditions), or to nonlinear forms without linearization or monotonicity hypotheses.

Semantic Tension

Often contrasted with Fredholm-type results: Lax–Milgram gives direct invertibility via coercivity, while Fredholm alternatives deal with finite-dimensional obstructions when coercivity (invertibility) is lost. It is also adjacent to Riesz representation and Lax equivalence in numerical contexts.

Synthesis

Lax–Milgram packages continuity and coercivity into a practical solvability theorem: a coercive bounded bilinear form on a Hilbert space defines a stable bijection to the dual, yielding unique weak solutions and foundational estimates used throughout variational PDE theory and numerical analysis.