Math 2.0

Potential theory Harmonic functions Theorem

Minimum principle for harmonic functions

Builds on Harmonic functionMaximum principle for harmonic functions

Statement

Let U⊆ℝnU \subseteq \R^n be a domain, that is, a connected open set, and let u ⁣:U→ℝu \colon U \to \R be harmonic.

  1. (Strong minimum principle.) If there is a∈Ua \in U with u(a)=inf⁡Uuu(a) = \inf_U u, then uu is constant on UU.
  2. (Weak minimum principle.) If UU is bounded and uu extends continuously to the closure U‾\overline{U}, then min⁡U‾u=min⁡∂Uu\min_{\overline{U}} u = \min_{\partial U} u.

Remarks

Proof: −u-u is harmonic, and the maximum principle for −u-u is exactly this statement for uu. Consequence: if UU is bounded, uu is continuous on U‾\overline{U} and u≥0u \ge 0 on ∂U\partial U, then u≥0u \ge 0 on UU; if moreover uu is not constant, then u>0u > 0 on UU. Example: on the unit disc, u(x,y)=1+xu(x, y) = 1 + x is ≥0\ge 0 on the boundary circle, with value 00 only at (−1,0)(-1, 0), and it is positive inside. Boundedness is needed in part 2: on the half-plane {x>0}\set{x > 0}, u=−xu = -x is 00 on the boundary and negative inside. For subharmonic functions only the maximum principle holds, and for superharmonic functions only the minimum principle.

Going deeper

For a student

Together with the maximum principle, it says that the values of a harmonic function inside a bounded domain lie between its smallest and largest boundary values. The positivity form, nonnegative boundary values give nonnegative solutions, is the comparison principle used everywhere in potential theory, for example to show that Green's functions are positive.

Reading path

To understand this page from the ground up, read these 41 pages in order. The foundations come first.

  1. Complex numbers object
  2. Continuously differentiable function concept
  3. Elliptic operator concept
  4. Euclidean space object
  5. Function concept
  6. Laplace's equation concept
  7. Real numbers object
  8. Set bounded above definition
  9. Complex exponential definition
  10. Contour integral definition
  11. Power series in the complex plane definition
  12. Real and imaginary parts definition
  13. Maximum principle statement
  14. Total derivative concept
  15. Function of several variables concept
  16. Vector-valued function concept
  17. Supremum definition
  18. Circle integral definition
  19. Disc of convergence definition
  20. Vector field concept
  21. Differentiable function of several variables concept
  22. Partial derivative concept
  23. Completeness axiom statement
  24. Divergence concept
  25. Gradient concept
  26. Existence of square roots of nonnegative reals statement
  27. Laplacian concept
  28. Square root definition
  29. Harmonic function concept
  30. Modulus of a complex number definition
  31. Complex differentiability definition
  32. Holomorphic function definition
  33. Cauchy–Riemann equations statement
  34. Cauchy's integral formula statement
  35. Power series are holomorphic in the disc of convergence statement
  36. Holomorphic functions are analytic statement
  37. Holomorphic functions are infinitely differentiable statement
  38. The real part of a holomorphic function is harmonic statement
  39. Mean value property statement
  40. Maximum principle for harmonic functions statement
  41. Minimum principle for harmonic functions statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Maximum_principle
About this page
Tag3KP89PT5P3
URIm2://3KP89PT5P3
Kindstatement, theorem
WritingW0 stub
MSC31B05, 35B50
StatusThis copy of the site has no build data. Run m2 status 3KP89PT5P3.
AboutHarmonic function
UsesHarmonic function, Maximum principle for harmonic functions

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.