Heat equation

Heat equation
Name	Heat equation
Field	Partial differential equations
Introduced	19th century
Notable solutions	Fundamental solution, Green's function, Fourier series, heat kernel

Heat equation The heat equation is a second-order linear partial differential equation describing diffusion of heat and analogous processes in time-dependent systems. Originating in work by Joseph Fourier, Jean-Baptiste Joseph Fourier, Joseph-Louis Lagrange, Siméon Denis Poisson, Pierre-Simon Laplace and later formalized by Lord Kelvin, it links spatial Laplacian operators with temporal evolution and has been central to developments in mathematical physics, analysis, and probability. Its study connects to foundational results by Carl Friedrich Gauss, Bernhard Riemann, David Hilbert, Sofya Kovalevskaya, and modern contributors such as Elias M. Stein and Terence Tao.

Introduction

The heat equation models how temperature evolves in a medium and appears in contexts treated by Fourier series, Fourier transform, Green's functions, stochastic processes, and spectral theory developed by John von Neumann and Israel Gelfand. It is a prototype parabolic equation in the study of partial differential equations pioneered in texts by Jean Leray, Lars Ahlfors, Peter Lax, and influences work in mathematical physics, probability theory, and geometric analysis undertaken by Richard Hamilton and Grigori Perelman. Historical experiments and mathematical formulations involved laboratories and institutions such as École Polytechnique, Royal Society, Académie des Sciences, and universities including University of Paris and University of Göttingen.

Mathematical Formulation

The canonical initial-value problem is written using the Laplace operator Δ on a domain Ω ⊂ ℝ^n with initial data specified at time t=0, a formulation appearing in treatises by Joseph Fourier and refined in functional-analytic frameworks by Stefan Banach and John von Neumann. Boundary conditions include Dirichlet and Neumann types studied in contexts by Siméon Denis Poisson and Carl Gustav Jacob Jacobi; mixed and Robin conditions are treated in monographs by Marshall Harvey Stone and Eberhard Hopf. Weak formulations employ Sobolev spaces developed by Sergei Sobolev and regularity theory influenced by Laurent Schwartz and André Weil.

Fundamental Solutions and Green's Functions

The fundamental solution or heat kernel on ℝ^n is explicit via the Gaussian kernel, a construction tied to results by Gauss and applied in probabilistic interpretations by Norbert Wiener and Kiyoshi Itô. On manifolds, heat kernels relate to spectral asymptotics studied by Atle Selberg, Michael Atiyah, Isadore Singer, André Weil, and geometric analysis by Richard Hamilton and Grigori Perelman. Green's functions for bounded domains are constructed using eigenfunction expansions associated with Sturm–Liouville theory and orthogonality principles advanced by Bernhard Riemann and David Hilbert.

Properties and Regularity

Key properties include the maximum principle proved in forms by Eberhard Hopf, smoothing effects linked to hypoellipticity studied by Lars Hörmander, and energy estimates traced to methods by Jean Leray and L. Nirenberg. Analyticity in time, Gaussian bounds, and Harnack inequalities were advanced by Jürgen Moser, Ennio De Giorgi, and Charles Fefferman. Long-time behavior and asymptotics connect with spectral theory by John von Neumann and ergodic results considered by George D. Birkhoff.

Methods of Solution

Separation of variables and Fourier series trace to Joseph Fourier and applications by Leonhard Euler and Simeon Denis Poisson; transform methods invoke the Fourier transform and Laplace transform as systematized by Pierre-Simon Laplace and Siméon Denis Poisson. Variational and weak methods use frameworks from Stefan Banach and John von Neumann, while probabilistic representations via the Feynman–Kac formula connect to Richard Feynman and Mark Kac. Numerical schemes including finite difference and finite element methods were developed in engineering schools and refined by researchers at Massachusetts Institute of Technology, ETH Zurich, and Imperial College London.

Applications and Physical Interpretations

Beyond classical heat conduction in bodies studied by Fourier and experimentalists at institutions like the Royal Society, the equation models diffusion in materials, chemical processes investigated by Svante Arrhenius, and population dynamics in ecology addressed by researchers associated with University of Cambridge. It underpins pricing models in mathematical finance influenced by Black–Scholes theory and stochastic calculus by Kiyoshi Itô, and appears in image processing methods developed in laboratories at Bell Labs and MIT Media Lab. Connections to quantum mechanics arise via the imaginary-time Schrödinger equation and path integral methods by Richard Feynman and Paul Dirac.

Generalizations and Related Equations

Generalizations include nonlinear diffusion equations such as the porous medium equation studied by André-Marie Ampère-era continuum mechanics researchers and later analysts like Emmanuelle DiBenedetto; fractional heat equations involve fractional Laplacians analyzed by Lévy and modern analysts such as Luis Caffarelli. Systems coupling heat flow with elasticity and fluid dynamics connect to the Navier–Stokes equations investigated by Claude-Louis Navier and George Gabriel Stokes, while geometric flows like Ricci flow were pioneered by Richard Hamilton and employed in work by Grigori Perelman. Stochastic partial differential equations and KPZ-type models have been developed by groups around Martin Hairer and others in probability theory.

Category:Partial differential equations