Parabolic partial differential equation

A parabolic partial differential equation is a type of partial differential equation (PDE). Parabolic PDEs are used to describe a wide variety of time-dependent phenomena in, i.a., engineering science, quantum mechanics and financial mathematics. Examples include the heat equation, time-dependent Schrödinger equation and the Black–Scholes equation.

To define the simplest kind of parabolic PDE, consider a real-valued function ${\displaystyle u(x,y)}$ of two independent real variables, ${\displaystyle x}$ and ${\displaystyle y}$. A second-order, linear, constant-coefficient PDE for ${\displaystyle u}$ takes the form

${\displaystyle Au_{xx}+2Bu_{xy}+Cu_{yy}+Du_{x}+Eu_{y}+F=0,}$

where the subscripts denote the first- and second-order partial derivatives with respect to ${\displaystyle x}$ and ${\displaystyle y}$. The PDE is classified as parabolic if the coefficients of the principal part (i.e. the terms containing the second derivatives of ${\displaystyle u}$) satisfy the condition^[1]

${\displaystyle B^{2}-AC=0.}$

Usually ${\displaystyle x}$ represents one-dimensional position and ${\displaystyle y}$ represents time, and the PDE is solved subject to prescribed initial and boundary conditions. Equations with ${\displaystyle B^{2}-AC<0}$ are termed elliptic while those with ${\displaystyle B^{2}-AC>0}$ are hyperbolic. The name "parabolic" is used because the assumption on the coefficients is the same as the condition for the analytic geometry equation ${\displaystyle Ax^{2}+2Bxy+Cy^{2}+Dx+Ey+F=0}$ to define a planar parabola.

The basic example of a parabolic PDE is the one-dimensional heat equation

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

where ${\displaystyle u(x,t)}$ is the temperature at position ${\displaystyle x}$ along a thin rod at time ${\displaystyle t}$ and ${\displaystyle \alpha }$ is a positive constant called the thermal diffusivity.

The heat equation says, roughly, that temperature at a given time and point rises or falls at a rate proportional to the difference between the temperature at that point and the average temperature near that point. The quantity ${\displaystyle u_{xx}}$ measures how far off the temperature is from satisfying the mean value property of harmonic functions.

The concept of a parabolic PDE can be generalized in several ways. For instance, the flow of heat through a material body is governed by the three-dimensional heat equation

${\displaystyle u_{t}=\alpha \,\Delta u,}$

where

${\displaystyle \Delta u:={\frac {\partial ^{2}u}{\partial x^{2}}}+{\frac {\partial ^{2}u}{\partial y^{2}}}+{\frac {\partial ^{2}u}{\partial z^{2}}},}$

denotes the Laplace operator acting on ${\displaystyle u}$. This equation is the prototype of a multi-dimensional parabolic PDE.^[2]

Noting that ${\displaystyle -\Delta }$ is an elliptic operator suggests a broader definition of a parabolic PDE:

${\displaystyle u_{t}=-Lu,}$

where ${\displaystyle L}$ is a second-order elliptic operator (implying that ${\displaystyle L}$ must be positive; a case where ${\displaystyle u_{t}=+Lu}$ is considered below).

A system of partial differential equations for a vector ${\displaystyle u}$ can also be parabolic. For example, such a system is hidden in an equation of the form

${\displaystyle \nabla \cdot (a(x)\nabla u(x))+b(x)^{\text{T}}\nabla u(x)+cu(x)=f(x)}$

if the matrix-valued function ${\displaystyle a(x)}$ has a kernel of dimension 1.

Under broad assumptions, an initial/boundary-value problem for a linear parabolic PDE has a solution for all time. The solution ${\displaystyle u(x,t)}$, as a function of ${\displaystyle x}$ for a fixed time ${\displaystyle t>0}$, is generally smoother than the initial data ${\displaystyle u(x,0)=u_{0}(x)}$.

For a nonlinear parabolic PDE, a solution of an initial/boundary-value problem might explode in a singularity within a finite amount of time. It can be difficult to determine whether a solution exists for all time, or to understand the singularities that do arise. Such interesting questions arise in the solution of the Poincaré conjecture via Ricci flow.^{[citation needed]}

One occasionally encounters a so-called backward parabolic PDE, which takes the form ${\displaystyle u_{t}=Lu}$ (note the absence of a minus sign).

An initial-value problem for the backward heat equation,

${\displaystyle {\begin{cases}u_{t}=-\Delta u&{\textrm {on}}\ \ \Omega \times (0,T),\\u=0&{\textrm {on}}\ \ \partial \Omega \times (0,T),\\u=f&{\textrm {on}}\ \ \Omega \times \left\{0\right\}.\end{cases}}}$

is equivalent to a final-value problem for the ordinary heat equation,

${\displaystyle {\begin{cases}u_{t}=\Delta u&{\textrm {on}}\ \ \Omega \times (0,T),\\u=0&{\textrm {on}}\ \ \partial \Omega \times (0,T),\\u=f&{\textrm {on}}\ \ \Omega \times \left\{T\right\}.\end{cases}}}$

Similarly to a final-value problem for a parabolic PDE, an initial-value problem for a backward parabolic PDE is usually not well-posed (solutions often grow unbounded in finite time, or even fail to exist). Nonetheless, these problems are important for the study of the reflection of singularities of solutions to various other PDEs.^[3]

• Elliptic partial differential equation
• Hyperbolic partial differential equation

• Taylor, Michael E. (1975). "Reflection of singularities of solutions to systems of differential equations". Communications on Pure and Applied Mathematics. 28 (4): 457–478. CiteSeerX 10.1.1.697.9255. doi:10.1002/cpa.3160280403. ISSN 0010-3640.
• Zauderer, Erich (2006). Partial Differential Equations of Applied Mathematics. Hoboken, N.J: Wiley-Interscience. ISBN 978-0-471-69073-3. OCLC 70158521.

• Perthame, Benoît (2015), Parabolic Equations in Biology : Growth, Reaction, Movement and Diffusion, Springer, ISBN 978-3-319-19499-8
• Evans, Lawrence C. (2010) [1998], Partial differential equations, Graduate Studies in Mathematics, vol. 19 (2nd ed.), Providence, R.I.: American Mathematical Society, doi:10.1090/gsm/019, ISBN 978-0-8218-4974-3, MR 2597943
• "Parabolic partial differential equation", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
• "Parabolic partial differential equation, numerical methods", Encyclopedia of Mathematics, EMS Press, 2001 [1994]