This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
harmonic function A harmonic function is a twice continuously differentiable scalar function satisfying Laplace's equation. Originating in studies by Leonhard Euler, Joseph-Louis Lagrange, and Pierre-Simon Laplace, harmonic functions appear across mathematics and physics, linking work of Carl Friedrich Gauss, George Green, and Simeon Poisson. They underpin classical results attributed to Jean-Baptiste Joseph Fourier and modern developments influenced by Sergei Sobolev and Andrey Kolmogorov.
A harmonic function on a domain in Euclidean space is a C^2 function u for which the Laplacian Δu vanishes pointwise, a condition formalized by Pierre-Simon Laplace and studied by Adrien-Marie Legendre. Basic properties include linearity under addition and scalar multiplication, invariance under rigid motions of Euclidean space considered by Augustin-Louis Cauchy, and locality tied to results from Joseph-Louis Lagrange. Harmonic functions satisfy elliptic regularity theorems related to work by Friedrichs and Agmon, and connect to eigenfunction analyses used by David Hilbert and Erhard Schmidt. Maximum and minimum behaviors reflect classical observations of George Gabriel Stokes and Lord Kelvin.
Elementary harmonic functions include coordinate functions and linear combinations related to Isaac Newton's potential theory, quadratic polynomials with zero Laplacian appearing in studies by Carl Gustav Jacobi, and fundamental solutions constructed by George Green. Radial harmonic functions derive from spherical symmetry examined by Siméon Denis Poisson and Adrien-Marie Legendre. Harmonic polynomials form by restrictions of homogeneous harmonic components used in expansions by Peter Gustav Lejeune Dirichlet and Gustav Kirchhoff. Harmonic functions can be obtained by convolution with fundamental solutions as developed in analyses by Simeon Poisson and Siméon Denis Poisson's successors, or by reflecting across boundaries in constructions akin to methods of Jakob Steiner.
In the plane, real and imaginary parts of holomorphic functions studied by Augustin-Louis Cauchy and Bernhard Riemann are harmonic, a correspondence central to Riemann mapping theorem work and explorations by Karl Weierstrass. Harmonic conjugates and the existence of analytic potentials relate to Niels Henrik Abel and Riemann's theory of differentials on Riemann surfaces investigated by Felix Klein. Methods of complex potential theory used by Henri Poincaré and Emmy Noether connect to boundary correspondence results attributed to Oswald Teichmüller. Harmonic measure in planar domains was developed through studies by Carathéodory and Lars Ahlfors.
Potential theory origins trace to Isaac Newton's gravitational studies and Pierre-Simon Laplace's planetary essays, with mathematical foundations by George Green and Siméon Denis Poisson. In electrostatics modeled by Charles-Augustin de Coulomb, harmonic functions represent potential fields in charge-free regions; in steady-state heat flow following Joseph Fourier they describe temperature distributions. Applications to fluid dynamics reference work by Leonhard Euler and Claude-Louis Navier, and to geophysics through Gustav Kirchhoff-style inverse problems and gravitational modeling pursued by Johann Heinrich Lambert.
The mean value property—value at a point equals average over spheres—was observed by Gauss and formalized in potential theory studies by Lord Kelvin and George Green. Regularity results ensuring smoothness follow from elliptic PDE theory developed by Sergio Agmon, Louis Nirenberg, and John Nash; estimates like Harnack's inequality came via Athanase Papoulis and the classical Harnack work. Maximum principles trace to proofs by Bernhard Riemann and later generalizations by Eberhard Hopf and Andrey Sobolev. Liouville-type theorems asserting bounded entire harmonic functions are constant originate in arguments by Joseph Liouville and connect to Carl Ludwig Siegel-style rigidity.
Green's functions, introduced by George Green, represent fundamental solutions used to solve Dirichlet and Neumann problems studied by Peter Gustav Lejeune Dirichlet and Jacques Hadamard. The Dirichlet problem on bounded domains was advanced using variational principles by Lord Rayleigh and existence proofs by David Hilbert in functional analysis contexts. The method of eigenfunction expansions links to spectral theory developed by John von Neumann and Marshall Stone; integral equation approaches trace to Hermann Weyl and Richard Courant. Numerical techniques for boundary value problems evolved through contributions from Carl Friedrich Gauss's quadrature and Alan Turing's computational ideas.
Generalizations include harmonic maps between Riemannian manifolds formulated by James Eells and J. H. Sampson, extending scalar harmonic functions to vector-valued settings relevant to studies by Shing-Tung Yau and Michael Atiyah. Subsolutions and supersolutions lead to potential theory on manifolds researched by S.-T. Yau and Jean-Pierre Serre. Nonlinear variants such as p-harmonic functions relate to work by J. J. Duistermaat and Ennio De Giorgi on regularity of minimizers, while harmonic spinors connect to index theory of Atiyah–Singer established by Michael Atiyah and Isadore Singer. Discrete analogues on graphs and networks have been explored by Paul Erdős and William Tutte in combinatorial contexts.