TOPICS
Search

Strong Maximum Principle


The strong maximum principle is a result for elliptic partial differential equations that forces a function attaining an interior maximum to be constant, under the appropriate differential inequality and sign hypotheses.

Let Omega be a bounded, connected open set in R^n, and consider

 Lu=sum_(i,j=1)^na_(ij)(x)(partial^2u)/(partialx_ipartialx_j)+sum_(i=1)^nb_i(x)(partialu)/(partialx_i)+c(x)u.

Assume the coefficients are bounded and continuous, a_(ij)=a_(ji), and the principal part is uniformly elliptic, meaning that a constant lambda>0 satisfies

 sum_(i,j=1)^na_(ij)(x)xi_ixi_j>=lambda||xi||^2

for every x in Omega and xi in R^n. If c<=0, u in C^2(Omega), and Lu>=0, then attaining its nonnegative maximum over Omega at an interior point forces u to be constant throughout Omega. If c=0, the maximum need not be nonnegative (Gilbarg and Trudinger 2001, Carlotto 2021). Here C^2(Omega) means that the second partial derivatives are continuous.

For c=0 and u continuous on the closure of Omega, the weak maximum principle bounds u by its boundary values. The strong principle adds the rigidity conclusion at an interior maximum. Applied to -u, it gives the corresponding minimum principle for Lu<=0. A harmonic function is a basic example, with L the Laplacian.


See also

Elliptic Partial Differential Equation, Harmonic Function, Hopf Boundary Point Lemma, Laplace's Equation

Explore with Wolfram|Alpha

References

Carlotto, A. "The Strong Maximum Principle." Functional Analysis II, lecture notes. ETH Zürich, June 3, 2021. https://metaphor.ethz.ch/x/2021/fs/401-3462-00L/sc/extras/Strong_maximum_principle.pdf.Gilbarg, D. and Trudinger, N. S. Elliptic Partial Differential Equations of Second Order. Berlin: Springer-Verlag, pp. 31-50, 2001.

Cite this as:

Weisstein, Eric W. "Strong Maximum Principle." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/StrongMaximumPrinciple.html

Subject classifications