A technique for establishing existence, comparison, and sometimes uniqueness of solutions to nonlinear partial differential equations by constructing an ordered pair: a subsolution (lower bound) and a supersolution (upper bound) between which an actual solution is shown to exist.

Principle

Exploit order structure and monotonicity of the PDE (often via maximum/comparison principles) to iterate, squeeze, or apply monotone operators between a subsolution and a supersolution to obtain a true solution or limiting profile.

Demonstration

For a semilinear elliptic boundary value problem on a bounded domain, construct a subsolution u_- and a supersolution u_+ with u_- ≤ u_+ on the domain; apply monotone iteration or Perron-type envelopes to produce a solution u satisfying u_- ≤ u ≤ u_+.

Misapplication

Using functions that are not compatible with the differential operator (e.g., boundary values not ordered, lack of regularity, or incorrect sign conditions) so that monotone iteration fails or produces nonphysical limits; or assuming existence without verifying the necessary comparison properties.

Consequence

Provides constructive existence proofs and explicit bounds for solutions, aids numerical initialization, and yields comparison-based uniqueness results when additional monotonicity holds.

Reversal

If the order is reversed (a so-called subsolution is above a supersolution), the method breaks down and typically yields contradictions or shows that no solution exists within the presumed order constraints.

Boundary

Applies primarily to PDEs with a suitable comparison principle or monotone structure (elliptic/parabolic classes); not directly applicable to fully nonmonotone operators or variational problems lacking ordering unless reformulated.

Semantic Tension

Competes with variational minimization methods: sub/supersolution methods use ordering and pointwise control rather than energy minimization; the two may coincide in some problems but diverge in nonsymmetric or nonvariational settings.

Synthesis

The method of sub- and super-solutions frames existence as the construction of ordered barriers compatible with the operator; by using monotonicity and comparison one traps a genuine solution between these explicit bounds.