Potential theory Planar potential theory Proposition
The real part of a holomorphic function is harmonic
Builds on Holomorphic functionCauchy–Riemann equationsHolomorphic functions are infinitely differentiableReal and imaginary parts
Statement
Let be an open set and let be holomorphic on . Let and , as real functions of on , with . Then and are twice continuously differentiable, and on . Thus and are harmonic functions on .
Remarks
Proof: is infinitely differentiable. By the Cauchy–Riemann equations, , and the same computation works for . For example, is harmonic, and so is . The function is a harmonic conjugate of .
Reading path
To understand this page from the ground up, read these 22 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Complex numbers object
- 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
- Supremum definition
- Circle integral definition
- Disc of convergence definition
- Completeness axiom statement
- Existence of square roots of nonnegative reals statement
- Square root definition
- 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
Where this leads
46 pages build on this one.
- Maximum modulus principle
- Harmonic conjugate
- Mean value property
- Schwarz lemma
- Shell theorem
- Phragmén–Lindelöf principle for subharmonic functions
- Cheng–Yau gradient estimate
- Removable singularities for harmonic functions
- Minimum principle for harmonic functions
- Hardy's uncertainty principle
- Stein interpolation theorem
- Kobayashi metric
- Harmonic majorant
- Log-modulus of a holomorphic function is subharmonic
- Maximum modulus principle in several variables
- Weyl's lemma
- Smoothness and analyticity of harmonic functions
- Sub-mean value property
- Kakutani's solution of the Dirichlet problem
- Converse of the mean value property
- Earnshaw's theorem
- Conformal radius
- Superharmonic potential
- Borel–Carathéodory theorem
- Phragmén–Lindelöf principle
- Koebe's theorem on the mean value property
- Compactness of families of harmonic functions
- Gradient estimates for harmonic functions
- Carathéodory metric
- Littlewood subordination theorem
- Liouville's theorem for harmonic functions
- Liouville's theorem for planar harmonic functions
- Maximum principle for harmonic functions
- Hadamard three-circle theorem for subharmonic functions
- Lindelöf's maximum principle
- Hadamard three-circle theorem
- Schwarz–Pick theorem
- Harmonic measure as exit distribution
- Hadamard three-lines theorem
- Parabolic and hyperbolic Riemann surfaces
- Analytic capacity
- Lindelöf's theorem
- Hadamard's two-constants theorem
- Bôcher's theorem
- Circle average
- Hartogs lemma for subharmonic functions
Further reading
- Web https://en.wikipedia.org/wiki/Harmonic_function, Connections with complex function theory
About this page
| Tag | 031BG625Y3 |
|---|---|
| URI | m2://031BG625Y3 |
| Kind | statement, proposition |
| Writing | W0 stub |
| MSC | 31A05 |
| Status | This copy of the site has no build data. Run m2 status 031BG625Y3. |
| Uses | Holomorphic function, Cauchy–Riemann equations, Holomorphic functions are infinitely differentiable, Real and imaginary parts |
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)
The writing levels say how complete the text of a page is. They do not measure its truth.