A statement that if two functions satisfy an appropriate differential or integral inequality with ordered boundary or initial data, then an order relation between them holds throughout the domain; often used to deduce uniqueness, monotonicity, or bounds for PDEs.

Principle

If operator L satisfies a sign-preserving or monotone property and u and v satisfy L[u] ≤ L[v] together with u ≤ v on the boundary (or at initial time), then u ≤ v in the domain; the operator's comparison structure transfers boundary order to interior order.

Demonstration

For a second-order uniformly elliptic operator with maximum principle, if u and v are continuous sub- and supersolutions respectively and u ≤ v on the boundary, then the maximum principle implies u ≤ v inside the domain, which yields uniqueness of solutions to the Dirichlet problem.

Misapplication

Applying a comparison principle when the operator lacks the required monotonicity or sign structure (e.g., nonuniform ellipticity, wrong sign of lower-order terms) can produce false order conclusions; ignoring boundary regularity or compatibility can invalidate the comparison.

Consequence

Allows transfer of boundary/initial inequalities to global estimates, yields uniqueness and stability of solutions, and underlies many existence methods (barrier arguments, Perron methods, monotone iterations).

Reversal

If the inequality direction is flipped or boundary data ordering is reversed, conclusions invert: a reversed comparison may show v ≤ u or reveal nonexistence of ordered solutions; failing the principle means ordered data does not control the interior.

Boundary

Valid under structural hypotheses on the operator (elliptic/parabolic with maximum principle, monotone integral operators) and regularity of domain and boundary conditions; not valid for general nonmonotone, nonlocal, or highly singular operators without further assumptions.

Semantic Tension

Closely related to but distinct from energy- or variational-based uniqueness: comparison principles use pointwise inequalities and maximum arguments, whereas variational uniqueness uses convexity of an energy functional; each gives different tools and limitations.

Synthesis

A comparison principle is the mechanism by which an operator's sign-preserving/monotone structure converts ordered boundary or initial data into global pointwise order relations, providing uniqueness, bounds, and stability for solutions.