A property for partial differential inequalities stating that an ordered pair of functions consisting of a subsolution u and a supersolution v that satisfy u ≤ v on the boundary (or at initial time) must satisfy u ≤ v throughout the domain (or for all later times). It provides a way to propagate boundary or initial inequalities into the interior by exploiting the operator's monotonicity.

Principle

Monotone order is preserved by the differential operator: if the operator is monotone (or the equation admits a comparison structure), then pointwise ordering on the boundary or initial surface extends to the whole domain.

Demonstration

For the heat equation, if u(x,t) and v(x,t) satisfy u_t − Δu ≤ 0 and v_t − Δv ≥ 0 in a cylinder and u ≤ v on the parabolic boundary then u ≤ v inside; concretely, taking the difference w=u−v and applying the parabolic maximum principle yields w ≤ 0.

Misapplication

Applying the principle when the underlying operator is not monotone (for instance a strongly nonmonotone reaction term) or when boundary/initial data are not comparable; this can produce false ordering claims or miss sign changes introduced by nonlocal or sign-changing coefficients.

Consequence

Uniqueness of solutions in many PDE classes (two solutions ordered on the boundary must coincide if each is both sub- and supersolution), construction of barriers and a priori bounds, and stability estimates under ordered perturbations.

Reversal

The inverted claim—that a supersolution must lie below a subsolution—would contradict monotonicity and typically produces contradictions; taking the difference and reversing inequalities shows such a reversal can only hold in degenerate cases (e.g., identical solutions).

Boundary

Requires a comparison structure: suitable ellipticity/parabolicity, monotonicity of the operator, and appropriate boundary or initial ordering hypotheses. Excluded are fully nonmonotone operators, some nonlocal operators without a maximal principle, or situations lacking the required regularity framework.

Semantic Tension

Close to maximum principles but different in scope: maximum principles give extremal value location information often for single solutions, while comparison principles relate two distinct functions via an ordering; they overlap when one compares a solution with a constructed barrier.

Synthesis

The Comparison Principle is the organizing rule that converts boundary or initial order constraints into global inequalities for PDEs: given monotonicity and appropriate boundary ordering, sub- and supersolutions are ordered throughout the domain, yielding uniqueness, bounds, and stability in analysis and applications.