# Heat equation

Last updated

In physics and mathematics, the heat equation is a partial differential equation that describes how the distribution of some quantity (such as heat) evolves over time in a solid medium, as it spontaneously flows from places where it is higher towards places where it is lower. It is a special case of the diffusion equation.

## Contents

This equation was first developed and solved by Joseph Fourier in 1822 to describe heat flow. However, it is of fundamental importance in diverse scientific fields. In probability theory, the heat equation is connected with the study of random walks and Brownian motion, via the Fokker–Planck equation. In financial mathematics, it is used to solve the Black–Scholes partial differential equation. In quantum mechanics, it is used for finding spread of wave function in potential free region. A variant was also instrumental in the solution of the longstanding Poincaré conjecture of topology.

## Statement of the equation

For a function ${\displaystyle u(x,y,z,t)}$of three spatial variables ${\displaystyle (x,y,z)}$ (see Cartesian coordinate system) and the time variable ${\displaystyle t}$, the heat equation is

${\displaystyle {\frac {\partial u}{\partial t}}=\alpha \left({\frac {\partial ^{2}u}{\partial x^{2}}}+{\frac {\partial ^{2}u}{\partial y^{2}}}+{\frac {\partial ^{2}u}{\partial z^{2}}}\right)}$

where ${\displaystyle \alpha }$ is a real coefficient called the diffusivity of the medium. Using Newton's notation for derivatives, and the notation of vector calculus, the heat equation can be written in compact form as

${\displaystyle {\dot {u}}=\alpha \nabla ^{2}u}$

Here ${\displaystyle \nabla ^{2}}$ denotes the Laplace operator, and ${\displaystyle {\dot {u}}}$ is the time derivative of ${\displaystyle u}$. One advantage of this formula is that the operator ${\displaystyle \nabla ^{2}}$ can usually be defined in purely physical terms, independently of the choice of coordinate system.

This equation describes the flow of heat in a homogeneous and isotropic medium, with ${\displaystyle u(x,y,z,t)}$ being the temperature at the point ${\displaystyle (x,y,z)}$ and time ${\displaystyle t}$. However, it also describes many other physical phenomena as well.

The value of ${\displaystyle \alpha }$ affects the speed and spatial scale of the process; changing it has the same effect as changing the unit of measure for time (which affects the value of ${\displaystyle {\dot {u}}}$), and/or the unit of measure of length (that affects the value of ${\displaystyle \nabla ^{2}u}$). Therefore, in mathematical studies of this equation, one often sets ${\displaystyle \alpha =1}$. With this simplification, the heat equation is the prototypical parabolic partial differential equation.

## Interpretation

### Meaning of the equation

Informally, the Laplacian operator ${\displaystyle \nabla ^{2}}$ gives the difference between the average value of a function in the neighborhood of a point, and its value at that point. Thus, if ${\displaystyle u}$ is the temperature, ${\displaystyle \nabla ^{2}u}$ tells whether (and by how much) the material surrounding each point is hotter or colder, on the average, than the material at that point.

By the second law of thermodynamics, heat will flow from hotter bodies to adjacent colder bodies, in proportion to the difference of temperature and of the thermal conductivity of the material between them. When heat flows into (or out of) a material, its temperature increases (respectively, decreases), in proportion to the amount of heat divided by the amount (mass) of material, with a proportionality factor called the specific heat capacity of the material.

Therefore, the equation says that the rate ${\displaystyle {\dot {u}}}$ at which the material at a point will heat up (or cool down) is proportional to how much hotter (or cooler) the surrounding material is. The coefficient ${\displaystyle \alpha }$ in the equation takes into account the thermal conductivity, the specific heat, and the density of the material.

### Character of the solutions

The heat equation implies that peaks (local maxima) of ${\displaystyle u}$ will be gradually eroded down, while depressions (local minima) will be filled in. The value at some point will remain stable only as long as it is equal to the average value in its immediate surroundings. In particular, if the values in a neighborhood are very close to a linear function ${\displaystyle Ax+By+Cz+D}$, then the value at the center of that neighborhood will not be changing at that time (that is, the derivative ${\displaystyle {\dot {u}}}$ will be zero).

A more subtle consequence is the maximum principle, that says that the maximum value of ${\displaystyle u}$ in any region ${\displaystyle R}$ of the medium will not exceed the maximum value that previously occurred in ${\displaystyle R}$, unless it is on the boundary of ${\displaystyle R}$. That is, the maximum temperature in a region ${\displaystyle R}$ can increase only if heat comes in from outside ${\displaystyle R}$. This is a property of parabolic partial differential equations and is not difficult to prove mathematically (see below).

Another interesting property is that even if ${\displaystyle u}$ initially has a sharp jump (discontinuity) of value across some surface inside the medium, the jump is immediately smoothed out by a momentary, infinitesimally short but infinitely large rate of flow of heat through that surface. For example, if two isolated bodies, initially at uniform but different temperatures ${\displaystyle u_{0}}$ and ${\displaystyle u_{1}}$, are made to touch each other, the temperature at the point of contact will immediately assume some intermediate value, and a zone will develop around that point where ${\displaystyle u}$ will gradually vary between ${\displaystyle u_{0}}$ and ${\displaystyle u_{1}}$.

If a certain amount of heat is suddenly applied to a point the medium, it will spread out in all directions in the form of a diffusion wave. Unlike the elastic and electromagnetic waves, the speed of a diffusion wave drops with time: as it spreads over a larger region, the temperature gradient decreases, and therefore the heat flow decreases too.

## Specific examples

### Heat flow in a uniform rod

For heat flow, the heat equation follows from the physical laws of conduction of heat and conservation of energy ( Cannon 1984 ).

By Fourier's law for an isotropic medium, the rate of flow of heat energy per unit area through a surface is proportional to the negative temperature gradient across it:

${\displaystyle \mathbf {q} =-k\,\nabla u\ }$

where ${\displaystyle k}$ is the thermal conductivity of the material, ${\displaystyle u=u(\mathbf {x} ,t)}$ is the temperature, and ${\displaystyle \mathbf {q} =\mathbf {q} (\mathbf {x} ,t)}$ is a vector field that represents the magnitude and direction of the heat flow at the point ${\displaystyle \mathbf {x} }$ of space and time ${\displaystyle t}$.

If the medium is a thin rod of uniform section and material, the position is a single coordinate ${\displaystyle x}$, the heat flow towards increasing ${\displaystyle x}$ is a scalar field ${\displaystyle q=q(t,x)}$ , and the gradient is an ordinary derivative with respect to the ${\displaystyle x}$. The equation becomes

${\displaystyle q=-k\,{\frac {\partial u}{\partial x}}}$

Let ${\displaystyle Q=Q(x,t)}$ be the internal heat energy per unit volume of the bar at each point and time. In the absence of heat energy generation, from external or internal sources, the rate of change in internal heat energy per unit volume in the material, ${\displaystyle \partial Q/\partial t}$, is proportional to the rate of change of its temperature, ${\displaystyle \partial u/\partial t}$. That is,

${\displaystyle {\frac {\partial Q}{\partial t}}=c\,\rho \,{\frac {\partial u}{\partial t}}}$

where ${\displaystyle c}$ is the specific heat capacity (at constant pressure, in case of a gas) and ${\displaystyle \rho }$ is the density (mass per unit volume) of the material. This derivation assumes that the material has constant mass density and heat capacity through space as well as time.

Applying the law of conservation of energy to a small element of the medium centered at ${\displaystyle x}$, one concludes that the rate at which heat accumulates at a given point ${\displaystyle x}$ is equal to the derivative of the heat flow at that point, negated. That is,

${\displaystyle {\frac {\partial Q}{\partial t}}=-{\frac {\partial q}{\partial x}}}$

From the above equations it follows that

${\displaystyle {\frac {\partial u}{\partial t}}\;=\;-{\frac {1}{c\,\rho }}{\frac {\partial q}{\partial x}}\;=\;-{\frac {1}{c\,\rho }}{\frac {\partial }{\partial x}}\left(-k\,{\frac {\partial u}{\partial x}}\right)\;=\;{\frac {k}{c\,\rho }}{\frac {\partial ^{2}u}{\partial x^{2}}}}$

which is the heat equation in one dimension, with diffusivity coefficient

${\displaystyle \alpha ={\frac {k}{c\rho }}}$

This quantity is called the thermal diffusivity of the medium.

An additional term may be introduced into the equation to account for radiative loss of heat. According to the Stefan–Boltzmann law, this term is ${\displaystyle \mu (u^{4}-v^{4})}$, where ${\displaystyle v=v(x,t)}$ is the temperature of the surroundings, and ${\displaystyle \mu }$ is a coefficient that depends on physical properties of the material. The rate of change in internal energy becomes

${\displaystyle {\frac {\partial Q}{\partial t}}=-{\frac {\partial q}{\partial x}}-\mu (u^{4}-v^{4})}$

and the equation for the evolution of ${\displaystyle u}$ becomes

${\displaystyle {\frac {\partial u}{\partial t}}={\frac {k}{c\,\rho }}{\frac {\partial ^{2}u}{\partial x^{2}}}-{\frac {\mu }{c\,\rho }}(u^{4}-v^{4})}$.

#### Non-uniform isotropic medium

Note that the state equation, given by the first law of thermodynamics (i.e. conservation of energy), is written in the following form (assuming no mass transfer or radiation). This form is more general and particularly useful to recognize which property (e.g. cp or ${\displaystyle \rho }$) influences which term.

${\displaystyle \rho c_{p}{\frac {\partial T}{\partial t}}-\nabla \cdot \left(k\nabla T\right)={\dot {q}}_{V}}$

where ${\displaystyle {\dot {q}}_{V}}$ is the volumetric heat source.

### Three-dimensional problem

In the special cases of propagation of heat in an isotropic and homogeneous medium in a 3-dimensional space, this equation is

${\displaystyle {\partial u \over \partial t}=\alpha \nabla ^{2}u=\alpha \left({\partial ^{2}u \over \partial x^{2}}+{\partial ^{2}u \over \partial y^{2}}+{\partial ^{2}u \over \partial z^{2}}\right)}$${\displaystyle =\alpha (u_{xx}+u_{yy}+u_{zz})\quad }$

where:

• u = u(x, y, z, t) is temperature as a function of space and time;
• ${\displaystyle {\frac {\partial u}{\partial t}}}$ is the rate of change of temperature at a point over time;
• uxx, uyy, and uzz are the second spatial derivatives (thermal conductions) of temperature in the x, y, and z directions, respectively;
• ${\displaystyle \alpha ={\frac {k}{c_{p}\rho }}}$ is the thermal diffusivity, a material-specific quantity depending on the thermal conductivity k, the mass density ρ, and the specific heat capacity cp.

The heat equation is a consequence of Fourier's law of conduction (see heat conduction).

If the medium is not the whole space, in order to solve the heat equation uniquely we also need to specify boundary conditions for u. To determine uniqueness of solutions in the whole space it is necessary to assume an exponential bound on the growth of solutions. [1]

Solutions of the heat equation are characterized by a gradual smoothing of the initial temperature distribution by the flow of heat from warmer to colder areas of an object. Generally, many different states and starting conditions will tend toward the same stable equilibrium. As a consequence, to reverse the solution and conclude something about earlier times or initial conditions from the present heat distribution is very inaccurate except over the shortest of time periods.

The heat equation is the prototypical example of a parabolic partial differential equation.

Using the Laplace operator, the heat equation can be simplified, and generalized to similar equations over spaces of arbitrary number of dimensions, as

${\displaystyle u_{t}=\alpha \nabla ^{2}u=\alpha \Delta u,\quad }$

where the Laplace operator, Δ or ∇2, the divergence of the gradient, is taken in the spatial variables.

The heat equation governs heat diffusion, as well as other diffusive processes, such as particle diffusion or the propagation of action potential in nerve cells. Although they are not diffusive in nature, some quantum mechanics problems are also governed by a mathematical analog of the heat equation (see below). It also can be used to model some phenomena arising in finance, like the Black–Scholes or the Ornstein-Uhlenbeck processes. The equation, and various non-linear analogues, has also been used in image analysis.

The heat equation is, technically, in violation of special relativity, because its solutions involve instantaneous propagation of a disturbance. The part of the disturbance outside the forward light cone can usually be safely neglected, but if it is necessary to develop a reasonable speed for the transmission of heat, a hyperbolic problem should be considered instead – like a partial differential equation involving a second-order time derivative. Some models of nonlinear heat conduction (which are also parabolic equations) have solutions with finite heat transmission speed. [2] [3]

### Internal heat generation

The function u above represents temperature of a body. Alternatively, it is sometimes convenient to change units and represent u as the heat density of a medium. Since heat density is proportional to temperature in a homogeneous medium, the heat equation is still obeyed in the new units.

Suppose that a body obeys the heat equation and, in addition, generates its own heat per unit volume (e.g., in watts/litre - W/L) at a rate given by a known function q varying in space and time. [4] Then the heat per unit volume u satisfies an equation

${\displaystyle {\frac {1}{\alpha }}{\frac {\partial u}{\partial t}}=\left({\partial ^{2}u \over \partial x^{2}}+{\partial ^{2}u \over \partial y^{2}}+{\partial ^{2}u \over \partial z^{2}}\right)+{\frac {1}{k}}q.}$

For example, a tungsten light bulb filament generates heat, so it would have a positive nonzero value for q when turned on. While the light is turned off, the value of q for the tungsten filament would be zero.

## Solving the heat equation using Fourier series

The following solution technique for the heat equation was proposed by Joseph Fourier in his treatise Théorie analytique de la chaleur, published in 1822. Consider the heat equation for one space variable. This could be used to model heat conduction in a rod. The equation is

${\displaystyle \displaystyle u_{t}=\alpha u_{xx}}$

(1)

where u = u(x, t) is a function of two variables x and t. Here

• x is the space variable, so x ∈ [0, L], where L is the length of the rod.
• t is the time variable, so t ≥ 0.

We assume the initial condition

${\displaystyle u(x,0)=f(x)\quad \forall x\in [0,L]}$

(2)

where the function f is given, and the boundary conditions

${\displaystyle u(0,t)=0=u(L,t)\quad \forall t>0}$.

(3)

Let us attempt to find a solution of ( 1 ) that is not identically zero satisfying the boundary conditions ( 3 ) but with the following property: u is a product in which the dependence of u on x, t is separated, that is:

${\displaystyle \displaystyle u(x,t)=X(x)T(t).}$

(4)

This solution technique is called separation of variables. Substituting u back into equation ( 1 ),

${\displaystyle {\frac {T'(t)}{\alpha T(t)}}={\frac {X''(x)}{X(x)}}.}$

Since the right hand side depends only on x and the left hand side only on t, both sides are equal to some constant value −λ. Thus:

${\displaystyle T'(t)=-\lambda \alpha T(t)}$

(5)

and

${\displaystyle X''(x)=-\lambda X(x).}$

(6)

We will now show that nontrivial solutions for ( 6 ) for values of λ ≤ 0 cannot occur:

1. Suppose that λ < 0. Then there exist real numbers B, C such that
${\displaystyle X(x)=Be^{{\sqrt {-\lambda }}\,x}+Ce^{-{\sqrt {-\lambda }}\,x}.}$
From ( 3 ) we get X(0) = 0 = X(L) and therefore B = 0 = C which implies u is identically 0.
2. Suppose that λ = 0. Then there exist real numbers B, C such that X(x) = Bx + C. From equation ( 3 ) we conclude in the same manner as in 1 that u is identically 0.
3. Therefore, it must be the case that λ > 0. Then there exist real numbers A, B, C such that
${\displaystyle T(t)=Ae^{-\lambda \alpha t}}$

and

${\displaystyle X(x)=B\sin({\sqrt {\lambda }}\,x)+C\cos({\sqrt {\lambda }}\,x).}$

From ( 3 ) we get C = 0 and that for some positive integer n,

${\displaystyle {\sqrt {\lambda }}=n{\frac {\pi }{L}}.}$

This solves the heat equation in the special case that the dependence of u has the special form ( 4 ).

In general, the sum of solutions to ( 1 ) that satisfy the boundary conditions ( 3 ) also satisfies ( 1 ) and ( 3 ). We can show that the solution to ( 1 ), ( 2 ) and ( 3 ) is given by

${\displaystyle u(x,t)=\sum _{n=1}^{\infty }D_{n}\sin \left({\frac {n\pi x}{L}}\right)e^{-{\frac {n^{2}\pi ^{2}\alpha t}{L^{2}}}}}$

where

${\displaystyle D_{n}={\frac {2}{L}}\int _{0}^{L}f(x)\sin \left({\frac {n\pi x}{L}}\right)\,dx.}$

### Generalizing the solution technique

The solution technique used above can be greatly extended to many other types of equations. The idea is that the operator uxx with the zero boundary conditions can be represented in terms of its eigenvectors. This leads naturally to one of the basic ideas of the spectral theory of linear self-adjoint operators.

Consider the linear operator Δu = uxx. The infinite sequence of functions

${\displaystyle e_{n}(x)={\sqrt {\frac {2}{L}}}\sin \left({\frac {n\pi x}{L}}\right)}$

for n ≥ 1 are eigenvectors of Δ. Indeed,

${\displaystyle \Delta e_{n}=-{\frac {n^{2}\pi ^{2}}{L^{2}}}e_{n}.}$

Moreover, any eigenvector f of Δ with the boundary conditions f(0) = f(L) = 0 is of the form en for some n ≥ 1. The functions en for n ≥ 1 form an orthonormal sequence with respect to a certain inner product on the space of real-valued functions on [0, L]. This means

${\displaystyle \langle e_{n},e_{m}\rangle =\int _{0}^{L}e_{n}(x)e_{m}^{*}(x)dx=\delta _{mn}}$

Finally, the sequence {en}nN spans a dense linear subspace of L2((0, L)). This shows that in effect we have diagonalized the operator Δ.

## Heat conduction in non-homogeneous anisotropic media

In general, the study of heat conduction is based on several principles. Heat flow is a form of energy flow, and as such it is meaningful to speak of the time rate of flow of heat into a region of space.

• The time rate of heat flow into a region V is given by a time-dependent quantity qt(V). We assume q has a density Q, so that
${\displaystyle q_{t}(V)=\int _{V}Q(x,t)\,dx\quad }$
• Heat flow is a time-dependent vector function H(x) characterized as follows: the time rate of heat flowing through an infinitesimal surface element with area dS and with unit normal vector n is
${\displaystyle \mathbf {H} (x)\cdot \mathbf {n} (x)\,dS}$
Thus the rate of heat flow into V is also given by the surface integral
${\displaystyle q_{t}(V)=-\int _{\partial V}\mathbf {H} (x)\cdot \mathbf {n} (x)\,dS}$
where n(x) is the outward pointing normal vector at x.
• The Fourier law states that heat energy flow has the following linear dependence on the temperature gradient
${\displaystyle \mathbf {H} (x)=-\mathbf {A} (x)\cdot \nabla u(x)}$
where A(x) is a 3 × 3 real matrix that is symmetric and positive definite.
• By the divergence theorem, the previous surface integral for heat flow into V can be transformed into the volume integral
{\displaystyle {\begin{aligned}q_{t}(V)&=-\int _{\partial V}\mathbf {H} (x)\cdot \mathbf {n} (x)\,dS\\&=\int _{\partial V}\mathbf {A} (x)\cdot \nabla u(x)\cdot \mathbf {n} (x)\,dS\\&=\int _{V}\sum _{i,j}\partial _{x_{i}}{\bigl (}a_{ij}(x)\partial _{x_{j}}u(x,t){\bigr )}\,dx\end{aligned}}}
• The time rate of temperature change at x is proportional to the heat flowing into an infinitesimal volume element, where the constant of proportionality is dependent on a constant κ
${\displaystyle \partial _{t}u(x,t)=\kappa (x)Q(x,t)}$

Putting these equations together gives the general equation of heat flow:

${\displaystyle \partial _{t}u(x,t)=\kappa (x)\sum _{i,j}\partial _{x_{i}}{\bigl (}a_{ij}(x)\partial _{x_{j}}u(x,t){\bigr )}}$

Remarks.

• The coefficient κ(x) is the inverse of specific heat of the substance at x × density of the substance at x: κ=${\displaystyle 1/(\rho c_{p})}$.
• In the case of an isotropic medium, the matrix A is a scalar matrix equal to thermal conductivity k.
• In the anisotropic case where the coefficient matrix A is not scalar and/or if it depends on x, then an explicit formula for the solution of the heat equation can seldom be written down, though it is usually possible to consider the associated abstract Cauchy problem and show that it is a well-posed problem and/or to show some qualitative properties (like preservation of positive initial data, infinite speed of propagation, convergence toward an equilibrium, smoothing properties). This is usually done by one-parameter semigroups theory: for instance, if A is a symmetric matrix, then the elliptic operator defined by
${\displaystyle Au(x):=\sum _{i,j}\partial _{x_{i}}a_{ij}(x)\partial _{x_{j}}u(x)}$
is self-adjoint and dissipative, thus by the spectral theorem it generates a one-parameter semigroup.

## Fundamental solutions

A fundamental solution, also called a heat kernel , is a solution of the heat equation corresponding to the initial condition of an initial point source of heat at a known position. These can be used to find a general solution of the heat equation over certain domains; see, for instance, ( Evans 2010 ) for an introductory treatment.

In one variable, the Green's function is a solution of the initial value problem

${\displaystyle {\begin{cases}u_{t}(x,t)-ku_{xx}(x,t)=0&(x,t)\in \mathbf {R} \times (0,\infty )\\u(x,0)=\delta (x)&\end{cases}}}$

where δ is the Dirac delta function. The solution to this problem is the fundamental solution (heat kernel)

${\displaystyle \Phi (x,t)={\frac {1}{\sqrt {4\pi kt}}}\exp \left(-{\frac {x^{2}}{4kt}}\right).}$

One can obtain the general solution of the one variable heat equation with initial condition u(x, 0) = g(x) for −∞ < x < ∞ and 0 < t < ∞ by applying a convolution:

${\displaystyle u(x,t)=\int \Phi (x-y,t)g(y)dy.}$

In several spatial variables, the fundamental solution solves the analogous problem

${\displaystyle {\begin{cases}u_{t}(\mathbf {x} ,t)-k\sum _{i=1}^{n}u_{x_{i}x_{i}}(\mathbf {x} ,t)=0&(\mathbf {x} ,t)\in \mathbf {R} ^{n}\times (0,\infty )\\u(\mathbf {x} ,0)=\delta (\mathbf {x} )\end{cases}}}$

The n-variable fundamental solution is the product of the fundamental solutions in each variable; i.e.,

${\displaystyle \Phi (\mathbf {x} ,t)=\Phi (x_{1},t)\Phi (x_{2},t)\dots \Phi (x_{n},t)={\frac {1}{\sqrt {(4\pi kt)^{n}}}}\exp \left(-{\frac {\mathbf {x} \cdot \mathbf {x} }{4kt}}\right).}$

The general solution of the heat equation on Rn is then obtained by a convolution, so that to solve the initial value problem with u(x, 0) = g(x), one has

${\displaystyle u(\mathbf {x} ,t)=\int _{\mathbf {R} ^{n}}\Phi (\mathbf {x} -\mathbf {y} ,t)g(\mathbf {y} )d\mathbf {y} .}$

The general problem on a domain Ω in Rn is

${\displaystyle {\begin{cases}u_{t}(\mathbf {x} ,t)-k\sum _{i=1}^{n}u_{x_{i}x_{i}}(\mathbf {x} ,t)=0&(\mathbf {x} ,t)\in \Omega \times (0,\infty )\\u(\mathbf {x} ,0)=g(\mathbf {x} )&\mathbf {x} \in \Omega \end{cases}}}$

with either Dirichlet or Neumann boundary data. A Green's function always exists, but unless the domain Ω can be readily decomposed into one-variable problems (see below), it may not be possible to write it down explicitly. Other methods for obtaining Green's functions include the method of images, separation of variables, and Laplace transforms (Cole, 2011).

### Some Green's function solutions in 1D

A variety of elementary Green's function solutions in one-dimension are recorded here; many others are available elsewhere. [5] In some of these, the spatial domain is (−∞,∞). In others, it is the semi-infinite interval (0,∞) with either Neumann or Dirichlet boundary conditions. One further variation is that some of these solve the inhomogeneous equation

${\displaystyle u_{t}=ku_{xx}+f.}$

where f is some given function of x and t.

#### Homogeneous heat equation

Initial value problem on (−∞,∞)
${\displaystyle {\begin{cases}u_{t}=ku_{xx}&(x,t)\in \mathbf {R} \times (0,\infty )\\u(x,0)=g(x)&IC\end{cases}}}$
${\displaystyle u(x,t)={\frac {1}{\sqrt {4\pi kt}}}\int _{-\infty }^{\infty }\exp \left(-{\frac {(x-y)^{2}}{4kt}}\right)g(y)\,dy}$

Comment. This solution is the convolution with respect to the variable x of the fundamental solution

${\displaystyle \Phi (x,t):={\frac {1}{\sqrt {4\pi kt}}}\exp \left(-{\frac {x^{2}}{4kt}}\right),}$

and the function g(x). (The Green's function number of the fundamental solution is X00.)

Therefore, according to the general properties of the convolution with respect to differentiation, u = g ∗ Φ is a solution of the same heat equation, for

${\displaystyle \left(\partial _{t}-k\partial _{x}^{2}\right)(\Phi *g)=\left[\left(\partial _{t}-k\partial _{x}^{2}\right)\Phi \right]*g=0.}$

Moreover,

${\displaystyle \Phi (x,t)={\frac {1}{\sqrt {t}}}\,\Phi \left({\frac {x}{\sqrt {t}}}\right)}$
${\displaystyle \int _{-\infty }^{\infty }\Phi (x,t)\,dx=1,}$

so that, by general facts about approximation to the identity, Φ(⋅, t) ∗ gg as t → 0 in various senses, according to the specific g. For instance, if g is assumed bounded and continuous on R then Φ(⋅, t) ∗ g converges uniformly to g as t → 0, meaning that u(x, t) is continuous on R × [0, ∞) with u(x, 0) = g(x).

Initial value problem on (0,∞) with homogeneous Dirichlet boundary conditions
${\displaystyle {\begin{cases}u_{t}=ku_{xx}&(x,t)\in [0,\infty )\times (0,\infty )\\u(x,0)=g(x)&IC\\u(0,t)=0&BC\end{cases}}}$
${\displaystyle u(x,t)={\frac {1}{\sqrt {4\pi kt}}}\int _{0}^{\infty }\left[\exp \left(-{\frac {(x-y)^{2}}{4kt}}\right)-\exp \left(-{\frac {(x+y)^{2}}{4kt}}\right)\right]g(y)\,dy}$

Comment. This solution is obtained from the preceding formula as applied to the data g(x) suitably extended to R, so as to be an odd function, that is, letting g(−x) := −g(x) for all x. Correspondingly, the solution of the initial value problem on (−∞,∞) is an odd function with respect to the variable x for all values of t, and in particular it satisfies the homogeneous Dirichlet boundary conditions u(0, t) = 0. The Green's function number of this solution is X10.

Initial value problem on (0,∞) with homogeneous Neumann boundary conditions
${\displaystyle {\begin{cases}u_{t}=ku_{xx}&(x,t)\in [0,\infty )\times (0,\infty )\\u(x,0)=g(x)&IC\\u_{x}(0,t)=0&BC\end{cases}}}$
${\displaystyle u(x,t)={\frac {1}{\sqrt {4\pi kt}}}\int _{0}^{\infty }\left[\exp \left(-{\frac {(x-y)^{2}}{4kt}}\right)+\exp \left(-{\frac {(x+y)^{2}}{4kt}}\right)\right]g(y)\,dy}$

Comment. This solution is obtained from the first solution formula as applied to the data g(x) suitably extended to R so as to be an even function, that is, letting g(−x) := g(x) for all x. Correspondingly, the solution of the initial value problem on R is an even function with respect to the variable x for all values of t > 0, and in particular, being smooth, it satisfies the homogeneous Neumann boundary conditions ux(0, t) = 0. The Green's function number of this solution is X20.

Problem on (0,∞) with homogeneous initial conditions and non-homogeneous Dirichlet boundary conditions
${\displaystyle {\begin{cases}u_{t}=ku_{xx}&(x,t)\in [0,\infty )\times (0,\infty )\\u(x,0)=0&IC\\u(0,t)=h(t)&BC\end{cases}}}$
${\displaystyle u(x,t)=\int _{0}^{t}{\frac {x}{\sqrt {4\pi k(t-s)^{3}}}}\exp \left(-{\frac {x^{2}}{4k(t-s)}}\right)h(s)\,ds,\qquad \forall x>0}$

Comment. This solution is the convolution with respect to the variable t of

${\displaystyle \psi (x,t):=-2k\partial _{x}\Phi (x,t)={\frac {x}{\sqrt {4\pi kt^{3}}}}\exp \left(-{\frac {x^{2}}{4kt}}\right)}$

and the function h(t). Since Φ(x, t) is the fundamental solution of

${\displaystyle \partial _{t}-k\partial _{x}^{2},}$

the function ψ(x, t) is also a solution of the same heat equation, and so is u := ψ ∗ h, thanks to general properties of the convolution with respect to differentiation. Moreover,

${\displaystyle \psi (x,t)={\frac {1}{x^{2}}}\,\psi \left(1,{\frac {t}{x^{2}}}\right)}$
${\displaystyle \int _{0}^{\infty }\psi (x,t)\,dt=1,}$

so that, by general facts about approximation to the identity, ψ(x, ⋅) ∗ hh as x → 0 in various senses, according to the specific h. For instance, if h is assumed continuous on R with support in [0, ∞) then ψ(x, ⋅) ∗ h converges uniformly on compacta to h as x → 0, meaning that u(x, t) is continuous on [0, ∞) × [0, ∞) with u(0, t) = h(t).

#### Inhomogeneous heat equation

Problem on (-∞,∞) homogeneous initial conditions
${\displaystyle {\begin{cases}u_{t}=ku_{xx}+f(x,t)&(x,t)\in \mathbf {R} \times (0,\infty )\\u(x,0)=0&IC\end{cases}}}$
${\displaystyle u(x,t)=\int _{0}^{t}\int _{-\infty }^{\infty }{\frac {1}{\sqrt {4\pi k(t-s)}}}\exp \left(-{\frac {(x-y)^{2}}{4k(t-s)}}\right)f(y,s)\,dy\,ds}$

Comment. This solution is the convolution in R2, that is with respect to both the variables x and t, of the fundamental solution

${\displaystyle \Phi (x,t):={\frac {1}{\sqrt {4\pi kt}}}\exp \left(-{\frac {x^{2}}{4kt}}\right)}$

and the function f(x, t), both meant as defined on the whole R2 and identically 0 for all t → 0. One verifies that

${\displaystyle \left(\partial _{t}-k\partial _{x}^{2}\right)(\Phi *f)=f,}$

which expressed in the language of distributions becomes

${\displaystyle \left(\partial _{t}-k\partial _{x}^{2}\right)\Phi =\delta ,}$

where the distribution δ is the Dirac's delta function, that is the evaluation at 0.

Problem on (0,∞) with homogeneous Dirichlet boundary conditions and initial conditions
${\displaystyle {\begin{cases}u_{t}=ku_{xx}+f(x,t)&(x,t)\in [0,\infty )\times (0,\infty )\\u(x,0)=0&IC\\u(0,t)=0&BC\end{cases}}}$
${\displaystyle u(x,t)=\int _{0}^{t}\int _{0}^{\infty }{\frac {1}{\sqrt {4\pi k(t-s)}}}\left(\exp \left(-{\frac {(x-y)^{2}}{4k(t-s)}}\right)-\exp \left(-{\frac {(x+y)^{2}}{4k(t-s)}}\right)\right)f(y,s)\,dy\,ds}$

Comment. This solution is obtained from the preceding formula as applied to the data f(x, t) suitably extended to R × [0,∞), so as to be an odd function of the variable x, that is, letting f(−x, t) := −f(x, t) for all x and t. Correspondingly, the solution of the inhomogeneous problem on (−∞,∞) is an odd function with respect to the variable x for all values of t, and in particular it satisfies the homogeneous Dirichlet boundary conditions u(0, t) = 0.

Problem on (0,∞) with homogeneous Neumann boundary conditions and initial conditions
${\displaystyle {\begin{cases}u_{t}=ku_{xx}+f(x,t)&(x,t)\in [0,\infty )\times (0,\infty )\\u(x,0)=0&IC\\u_{x}(0,t)=0&BC\end{cases}}}$
${\displaystyle u(x,t)=\int _{0}^{t}\int _{0}^{\infty }{\frac {1}{\sqrt {4\pi k(t-s)}}}\left(\exp \left(-{\frac {(x-y)^{2}}{4k(t-s)}}\right)+\exp \left(-{\frac {(x+y)^{2}}{4k(t-s)}}\right)\right)f(y,s)\,dy\,ds}$

Comment. This solution is obtained from the first formula as applied to the data f(x, t) suitably extended to R × [0,∞), so as to be an even function of the variable x, that is, letting f(−x, t) := f(x, t) for all x and t. Correspondingly, the solution of the inhomogeneous problem on (−∞,∞) is an even function with respect to the variable x for all values of t, and in particular, being a smooth function, it satisfies the homogeneous Neumann boundary conditions ux(0, t) = 0.

#### Examples

Since the heat equation is linear, solutions of other combinations of boundary conditions, inhomogeneous term, and initial conditions can be found by taking an appropriate linear combination of the above Green's function solutions.

For example, to solve

${\displaystyle {\begin{cases}u_{t}=ku_{xx}+f&(x,t)\in \mathbf {R} \times (0,\infty )\\u(x,0)=g(x)&IC\end{cases}}}$

let u = w + v where w and v solve the problems

${\displaystyle {\begin{cases}v_{t}=kv_{xx}+f,\,w_{t}=kw_{xx}\,&(x,t)\in \mathbf {R} \times (0,\infty )\\v(x,0)=0,\,w(x,0)=g(x)\,&IC\end{cases}}}$

Similarly, to solve

${\displaystyle {\begin{cases}u_{t}=ku_{xx}+f&(x,t)\in [0,\infty )\times (0,\infty )\\u(x,0)=g(x)&IC\\u(0,t)=h(t)&BC\end{cases}}}$

let u = w + v + r where w, v, and r solve the problems

${\displaystyle {\begin{cases}v_{t}=kv_{xx}+f,\,w_{t}=kw_{xx},\,r_{t}=kr_{xx}&(x,t)\in [0,\infty )\times (0,\infty )\\v(x,0)=0,\;w(x,0)=g(x),\;r(x,0)=0&IC\\v(0,t)=0,\;w(0,t)=0,\;r(0,t)=h(t)&BC\end{cases}}}$

## Mean-value property for the heat equation

Solutions of the heat equations

${\displaystyle (\partial _{t}-\Delta )u=0}$

satisfy a mean-value property analogous to the mean-value properties of harmonic functions, solutions of

${\displaystyle \Delta u=0}$,

though a bit more complicated. Precisely, if u solves

${\displaystyle (\partial _{t}-\Delta )u=0}$

and

${\displaystyle (x,t)+E_{\lambda }\subset \mathrm {dom} (u)}$

then

${\displaystyle u(x,t)={\frac {\lambda }{4}}\int _{E_{\lambda }}u(x-y,t-s){\frac {|y|^{2}}{s^{2}}}ds\,dy,}$

where Eλ is a "heat-ball", that is a super-level set of the fundamental solution of the heat equation:

${\displaystyle E_{\lambda }:=\{(y,s)\,:\,\Phi (y,s)>\lambda \},}$
${\displaystyle \Phi (x,t):=(4t\pi )^{-{\frac {n}{2}}}\exp \left(-{\frac {|x|^{2}}{4t}}\right).}$

Notice that

${\displaystyle \mathrm {diam} (E_{\lambda })=o(1)}$

as λ → ∞ so the above formula holds for any (x, t) in the (open) set dom(u) for λ large enough. [6] This can be shown by an argument similar to the analogous one for harmonic functions.

The steady-state heat equation is by definition not dependent on time. In other words, it is assumed conditions exist such that:

${\displaystyle {\frac {\partial u}{\partial t}}=0}$

This condition depends on the time constant and the amount of time passed since boundary conditions have been imposed. Thus, the condition is fulfilled in situations in which the time equilibrium constant is fast enough that the more complex time-dependent heat equation can be approximated by the steady-state case. Equivalently, the steady-state condition exists for all cases in which enough time has passed that the thermal field u no longer evolves in time.

In the steady-state case, a spatial thermal gradient may (or may not) exist, but if it does, it does not change in time. This equation therefore describes the end result in all thermal problems in which a source is switched on (for example, an engine started in an automobile), and enough time has passed for all permanent temperature gradients to establish themselves in space, after which these spatial gradients no longer change in time (as again, with an automobile in which the engine has been running for long enough). The other (trivial) solution is for all spatial temperature gradients to disappear as well, in which case the temperature become uniform in space, as well.

The equation is much simpler and can help to understand better the physics of the materials without focusing on the dynamic of the heat transport process. It is widely used for simple engineering problems assuming there is equilibrium of the temperature fields and heat transport, with time.

${\displaystyle {\frac {\partial u}{\partial t}}=0}$

The steady-state heat equation for a volume that contains a heat source (the inhomogeneous case), is the Poisson's equation:

${\displaystyle -k\nabla ^{2}u=q}$

where u is the temperature, k is the thermal conductivity and q the heat-flux density of the source.

In electrostatics, this is equivalent to the case where the space under consideration contains an electrical charge.

The steady-state heat equation without a heat source within the volume (the homogeneous case) is the equation in electrostatics for a volume of free space that does not contain a charge. It is described by Laplace's equation:

${\displaystyle \nabla ^{2}u=0}$

## Applications

### Particle diffusion

One can model particle diffusion by an equation involving either:

In either case, one uses the heat equation

${\displaystyle c_{t}=D\Delta c,\quad }$

or

${\displaystyle P_{t}=D\Delta P.\quad }$

Both c and P are functions of position and time. D is the diffusion coefficient that controls the speed of the diffusive process, and is typically expressed in meters squared over second. If the diffusion coefficient D is not constant, but depends on the concentration c (or P in the second case), then one gets the nonlinear diffusion equation.

### Brownian motion

Let the stochastic process ${\displaystyle X}$ be the solution of the stochastic differential equation

${\displaystyle \left\{{\begin{array}{ll}{\text{d}}X_{t}={\sqrt {2k}}\;{\text{d}}B_{t}\\X_{0}=0\end{array}}\right.}$

where ${\displaystyle B}$ is the Wiener process (standard Brownian motion). Then the probability density function of ${\displaystyle X}$ is given at any time ${\displaystyle t}$ by

${\displaystyle {\frac {1}{\sqrt {4\pi kt}}}\exp \left(-{\frac {x^{2}}{4kt}}\right)}$

which is the solution of the initial value problem

${\displaystyle \left\{{\begin{array}{ll}u_{t}(x,t)-ku_{xx}(x,t)=0,\quad (x,t)\in \mathbb {R} \times (0,+\infty )\\u(x,0)=\delta (x)\end{array}}\right.}$

where ${\displaystyle \delta }$ is the Dirac delta function.

### Schrödinger equation for a free particle

With a simple division, the Schrödinger equation for a single particle of mass m in the absence of any applied force field can be rewritten in the following way:

${\displaystyle \psi _{t}={\frac {i\hbar }{2m}}\Delta \psi }$,

where i is the imaginary unit, ħ is the reduced Planck's constant, and ψ is the wave function of the particle.

This equation is formally similar to the particle diffusion equation, which one obtains through the following transformation:

{\displaystyle {\begin{aligned}c(\mathbf {R} ,t)&\to \psi (\mathbf {R} ,t)\\D&\to {\frac {i\hbar }{2m}}\end{aligned}}}

Applying this transformation to the expressions of the Green functions determined in the case of particle diffusion yields the Green functions of the Schrödinger equation, which in turn can be used to obtain the wave function at any time through an integral on the wave function at t = 0:

${\displaystyle \psi (\mathbf {R} ,t)=\int \psi (\mathbf {R} ^{0},t=0)G(\mathbf {R} -\mathbf {R} ^{0},t)dR_{x}^{0}\,dR_{y}^{0}\,dR_{z}^{0},}$

with

${\displaystyle G(\mathbf {R} ,t)={\bigg (}{\frac {m}{2\pi i\hbar t}}{\bigg )}^{3/2}e^{-{\frac {\mathbf {R} ^{2}m}{2i\hbar t}}}.}$

Remark: this analogy between quantum mechanics and diffusion is a purely formal one. Physically, the evolution of the wave function satisfying Schrödinger's equation might have an origin other than diffusion.

### Thermal diffusivity in polymers

A direct practical application of the heat equation, in conjunction with Fourier theory, in spherical coordinates, is the prediction of thermal transfer profiles and the measurement of the thermal diffusivity in polymers (Unsworth and Duarte). This dual theoretical-experimental method is applicable to rubber, various other polymeric materials of practical interest, and microfluids. These authors derived an expression for the temperature at the center of a sphere TC

${\displaystyle {\frac {T_{C}-T_{S}}{T_{0}-T_{S}}}=2\sum _{n=1}^{\infty }(-1)^{n+1}\exp \left({-{\frac {n^{2}\pi ^{2}\alpha t}{L^{2}}}}\right)}$

where T0 is the initial temperature of the sphere and TS the temperature at the surface of the sphere, of radius L. This equation has also found applications in protein energy transfer and thermal modeling in biophysics.

### Further applications

The heat equation arises in the modeling of a number of phenomena and is often used in financial mathematics in the modeling of options. The famous Black–Scholes option pricing model's differential equation can be transformed into the heat equation allowing relatively easy solutions from a familiar body of mathematics. Many of the extensions to the simple option models do not have closed form solutions and thus must be solved numerically to obtain a modeled option price. The equation describing pressure diffusion in a porous medium is identical in form with the heat equation. Diffusion problems dealing with Dirichlet, Neumann and Robin boundary conditions have closed form analytic solutions ( Thambynayagam 2011 ). The heat equation is also widely used in image analysis ( Perona & Malik 1990 ) and in machine-learning as the driving theory behind scale-space or graph Laplacian methods. The heat equation can be efficiently solved numerically using the implicit Crank–Nicolson method of ( Crank & Nicolson 1947 ). This method can be extended to many of the models with no closed form solution, see for instance ( Wilmott, Howison & Dewynne 1995 ).

An abstract form of heat equation on manifolds provides a major approach to the Atiyah–Singer index theorem, and has led to much further work on heat equations in Riemannian geometry.

## Notes

1. Stojanovic, Srdjan (2003), "3.3.1.3 Uniqueness for heat PDE with exponential growth at infinity", Computational Financial Mathematics using MATHEMATICA®: Optimal Trading in Stocks and Options, Springer, pp. 112–114, ISBN   9780817641979 .
2. The Mathworld: Porous Medium Equation and the other related models have solutions with finite wave propagation speed.
3. Juan Luis Vazquez (2006-12-28), The Porous Medium Equation: Mathematical Theory, Oxford University Press, USA, ISBN   978-0-19-856903-9
4. Note that the units of u must be selected in a manner compatible with those of q. Thus instead of being for thermodynamic temperature (Kelvin - K), units of u should be J/L.
5. The Green's Function Library contains a variety of fundamental solutions to the heat equation.
6. Conversely, any function u satisfying the above mean-value property on an open domain of Rn × R is a solution of the heat equation

## Related Research Articles

The wave equation is an important second-order linear partial differential equation for the description of waves—as they occur in classical physics—such as mechanical waves or light waves. It arises in fields like acoustics, electromagnetics, and fluid dynamics.

In mathematics, Laplace's equation is a second-order partial differential equation named after Pierre-Simon Laplace who first studied its properties. This is often written as

In mathematics, the Dirac delta function is a generalized function or distribution introduced by the physicist Paul Dirac. It is used to model the density of an idealized point mass or point charge as a function equal to zero everywhere except for zero and whose integral over the entire real line is equal to one. As there is no function that has these properties, the computations made by the theoretical physicists appeared to mathematicians as nonsense until the introduction of distributions by Laurent Schwartz to formalize and validate the computations. As a distribution, the Dirac delta function is a linear functional that maps every function to its value at zero. The Kronecker delta function, which is usually defined on a discrete domain and takes values 0 and 1, is a discrete analog of the Dirac delta function.

In mathematics, a Fourier series is a periodic function composed of harmonically related sinusoids, combined by a weighted summation. With appropriate weights, one cycle of the summation can be made to approximate an arbitrary function in that interval. As such, the summation is a synthesis of another function. The discrete-time Fourier transform is an example of Fourier series. The process of deriving the weights that describe a given function is a form of Fourier analysis. For functions on unbounded intervals, the analysis and synthesis analogies are Fourier transform and inverse transform.

The Schrödinger equation is a linear partial differential equation that describes the wave function or state function of a quantum-mechanical system. It is a key result in quantum mechanics, and its discovery was a significant landmark in the development of the subject. The equation is named after Erwin Schrödinger, who postulated the equation in 1925, and published it in 1926, forming the basis for the work that resulted in his Nobel Prize in Physics in 1933.

In mathematics and physical science, spherical harmonics are special functions defined on the surface of a sphere. They are often employed in solving partial differential equations in many scientific fields.

In mathematics, a Gaussian function, often simply referred to as a Gaussian, is a function of the form

An instanton is a notion appearing in theoretical and mathematical physics. An instanton is a classical solution to equations of motion with a finite, non-zero action, either in quantum mechanics or in quantum field theory. More precisely, it is a solution to the equations of motion of the classical field theory on a Euclidean spacetime.

The path integral formulation is a description in quantum mechanics that generalizes the action principle of classical mechanics. It replaces the classical notion of a single, unique classical trajectory for a system with a sum, or functional integral, over an infinity of quantum-mechanically possible trajectories to compute a quantum amplitude.

An important problem in quantum mechanics is that of a particle in a spherically symmetric potential, i.e., a potential that depends only on the distance between the particle and a defined center point. In particular, if the particle in question is an electron and the potential is derived from Coulomb's law, then the problem can be used to describe a hydrogen-like (one-electron) atom.

In quantum field theory, the LSZ reduction formula is a method to calculate S-matrix elements from the time-ordered correlation functions of a quantum field theory. It is a step of the path that starts from the Lagrangian of some quantum field theory and leads to prediction of measurable quantities. It is named after the three German physicists Harry Lehmann, Kurt Symanzik and Wolfhart Zimmermann.

Polyharmonic splines are used for function approximation and data interpolation. They are very useful for interpolating and fitting scattered data in many dimensions. Special cases include thin plate splines and natural cubic splines in one dimension.

The Gross–Pitaevskii equation describes the ground state of a quantum system of identical bosons using the Hartree–Fock approximation and the pseudopotential interaction model.

In physics, the Green's function for Laplace's equation in three variables is used to describe the response of a particular type of physical system to a point source. In particular, this Green's function arises in systems that can be described by Poisson's equation, a partial differential equation (PDE) of the form

In mathematics — specifically, in stochastic analysis — an Itô diffusion is a solution to a specific type of stochastic differential equation. That equation is similar to the Langevin equation used in physics to describe the Brownian motion of a particle subjected to a potential in a viscous fluid. Itô diffusions are named after the Japanese mathematician Kiyosi Itô.

Hooke's atom, also known as harmonium or hookium, refers to an artificial helium-like atom where the Coulombic electron-nucleus interaction potential is replaced by a harmonic potential. This system is of significance as it is, for certain values of the force constant defining the harmonic containment, an exactly solvable ground-state many-electron problem that explicitly includes electron correlation. As such it can provide insight into quantum correlation and can act as a test system for judging the accuracy of approximate quantum chemical methods for solving the Schrödinger equation. The name "Hooke's atom" arises because the harmonic potential used to describe the electron-nucleus interaction is a consequence of Hooke's law.

In fluid dynamics, the Oseen equations describe the flow of a viscous and incompressible fluid at small Reynolds numbers, as formulated by Carl Wilhelm Oseen in 1910. Oseen flow is an improved description of these flows, as compared to Stokes flow, with the (partial) inclusion of convective acceleration.

Common integrals in quantum field theory are all variations and generalizations of Gaussian integrals to the complex plane and to multiple dimensions. Other integrals can be approximated by versions of the Gaussian integral. Fourier integrals are also considered.

The fractional Schrödinger equation is a fundamental equation of fractional quantum mechanics. It was discovered by Nick Laskin (1999) as a result of extending the Feynman path integral, from the Brownian-like to Lévy-like quantum mechanical paths. The term fractional Schrödinger equation was coined by Nick Laskin.

The Mehler kernel is a complex-valued function found to be the propagator of the quantum harmonic oscillator.