##  [Maximum Principle](/maximum-principle-1) 

 Definition

A family of comparison theorems for elliptic and parabolic partial differential operators asserting that, under appropriate sign and coefficient conditions, a solution attains its maximum (or minimum) on the boundary of the domain or at initial time; strong and weak variants give pointwise and distributional controls.

 

 

 

 

 

 





## Principle

Principle

Use the operator’s sign and the second-order elliptic or parabolic structure to compare values inside the domain with boundary or initial data; nonpositivity (or nonnegativity) of the principal part prevents interior strict extrema for nontrivial solutions.

 

 

 

 

 





## Demonstration

Demonstration

For a harmonic function (Laplace’s equation) on a bounded domain, the maximum principle implies that a continuous solution reaches its maximum on the boundary; for the heat equation it implies that a solution cannot develop a new positive maximum in the interior later than the initial time, yielding uniqueness for Dirichlet and initial-boundary value problems.

 

 

 

 

## Misapplication

Misapplication

Applying the maximum principle to non-elliptic or non-parabolic operators, to equations with sign-changing leading coefficients, or ignoring lower-order terms and boundary regularity can lead to false conclusions; using it for weak solutions without verifying integrability or boundary trace conditions is another common misuse.

 

 

 

 

 





## Consequence

Consequence

When valid it gives a priori bounds, comparison between sub- and supersolutions, uniqueness of Cauchy/Dirichlet problems, monotonicity, and control of blow-up behaviour; it is a central tool for qualitative properties of PDE solutions.

 

 

 

 

## Reversal

Reversal

An anti-maximum phenomenon can occur in certain eigenvalue regimes where the sign of extremum flips; reversing hypotheses (e.g., changing sign conditions on coefficients) turns maxima into minima statements or invalidates the principle entirely.

 

 

 

 

 





## Boundary

Boundary

Holds for classical elliptic/parabolic operators on sufficiently regular domains with appropriate sign/ellipticity conditions; fails for hyperbolic operators, highly singular coefficients, nonlocal operators without adapted forms, or domains lacking boundary regularity unless modified versions are used.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Competes conceptually with energy/variational methods that produce integral a priori estimates; the maximum principle gives pointwise comparison information while variational estimates give global integral control—both are complementary but not interchangeable.

 

 

 

 

 





## Synthesis

Synthesis

The Maximum Principle converts operator sign and boundary data into pointwise control of solutions: under ellipticity/parabolicity and regularity hypotheses it yields boundary-determined extrema, uniqueness, and comparison results, but it must be applied only when its structural assumptions are satisfied.