Potential theory Harmonic functions Theorem
Minimum principle for harmonic functions
Builds on Harmonic functionMaximum principle for harmonic functions
Statement
Let be a domain, that is, a connected open set, and let be harmonic.
- (Strong minimum principle.) If there is with , then is constant on .
- (Weak minimum principle.) If is bounded and extends continuously to the closure , then .
Remarks
Proof: is harmonic, and the maximum principle for is exactly this statement for . Consequence: if is bounded, is continuous on and on , then on ; if moreover is not constant, then on . Example: on the unit disc, is on the boundary circle, with value only at , and it is positive inside. Boundedness is needed in part 2: on the half-plane , is 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.
- Complex numbers object
- Continuously differentiable function concept
- Elliptic operator concept
- Euclidean space object
- Function concept
- Laplace's equation concept
- Real numbers object
- Set bounded above definition
- Complex exponential definition
- Contour integral definition
- Power series in the complex plane definition
- Real and imaginary parts definition
- Maximum principle statement
- Total derivative concept
- Function of several variables concept
- Vector-valued function concept
- Supremum definition
- Circle integral definition
- Disc of convergence definition
- Vector field concept
- Differentiable function of several variables concept
- Partial derivative concept
- Completeness axiom statement
- Divergence concept
- Gradient concept
- Existence of square roots of nonnegative reals statement
- Laplacian concept
- Square root definition
- Harmonic function concept
- Modulus of a complex number definition
- Complex differentiability definition
- Holomorphic function definition
- Cauchy–Riemann equations statement
- Cauchy's integral formula statement
- Power series are holomorphic in the disc of convergence statement
- Holomorphic functions are analytic statement
- Holomorphic functions are infinitely differentiable statement
- The real part of a holomorphic function is harmonic statement
- Mean value property statement
- Maximum principle for harmonic functions statement
- Minimum principle for harmonic functions statement
Further reading
About this page
| Tag | 3KP89PT5P3 |
|---|---|
| URI | m2://3KP89PT5P3 |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 31B05, 35B50 |
| Status | This copy of the site has no build data. Run m2 status 3KP89PT5P3. |
| About | Harmonic function |
| Uses | Harmonic 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.