HOME

TheInfoList



OR:

A parabolic partial differential equation is a type of
partial differential equation In mathematics, a partial differential equation (PDE) is an equation which involves a multivariable function and one or more of its partial derivatives. The function is often thought of as an "unknown" that solves the equation, similar to ho ...
(PDE). Parabolic PDEs are used to describe a wide variety of time-dependent phenomena in, for example, engineering science,
quantum mechanics Quantum mechanics is the fundamental physical Scientific theory, theory that describes the behavior of matter and of light; its unusual characteristics typically occur at and below the scale of atoms. Reprinted, Addison-Wesley, 1989, It is ...
and
financial mathematics Mathematical finance, also known as quantitative finance and financial mathematics, is a field of applied mathematics, concerned with mathematical modeling in the Finance#Quantitative_finance, financial field. In general, there exist two separate ...
. Examples include the
heat equation In mathematics and physics (more specifically thermodynamics), the heat equation is a parabolic partial differential equation. The theory of the heat equation was first developed by Joseph Fourier in 1822 for the purpose of modeling how a quanti ...
, time-dependent Schrödinger equation and the
Black–Scholes equation In mathematical finance, the Black–Scholes equation, also called the Black–Scholes–Merton equation, is a partial differential equation (PDE) governing the price evolution of derivatives under the Black–Scholes model. Broadly speaking, the ...
.


Definition

To define the simplest kind of parabolic PDE, consider a real-valued function u(x, y) of two independent real variables, x and y. A second-order, linear, constant-coefficient PDE for u takes the form :Au_ + 2Bu_ + Cu_ + Du_x + Eu_y + F = 0, where the subscripts denote the first- and second-order
partial derivative In mathematics, a partial derivative of a function of several variables is its derivative with respect to one of those variables, with the others held constant (as opposed to the total derivative, in which all variables are allowed to vary). P ...
s with respect to x and y. The PDE is classified as ''parabolic'' if the coefficients of the principal part (i.e. the terms containing the second derivatives of u) satisfy the condition :B^2 - AC = 0. Usually x represents one-dimensional position and y represents time, and the PDE is solved subject to prescribed
initial In a written or published work, an initial is a letter at the beginning of a word, a chapter (books), chapter, or a paragraph that is larger than the rest of the text. The word is ultimately derived from the Latin ''initiālis'', which means '' ...
and
boundary condition In the study of differential equations, a boundary-value problem is a differential equation subjected to constraints called boundary conditions. A solution to a boundary value problem is a solution to the differential equation which also satis ...
s. Equations with B^2 - AC < 0 are termed elliptic while those with B^2 - AC > 0 are
hyperbolic Hyperbolic may refer to: * of or pertaining to a hyperbola, a type of smooth curve lying in a plane in mathematics ** Hyperbolic geometry, a non-Euclidean geometry ** Hyperbolic functions, analogues of ordinary trigonometric functions, defined u ...
. The name "parabolic" is used because the assumption on the coefficients is the same as the condition for the analytic geometry equation A x^2 + 2B xy + C y^2 + D x + E y + F = 0 to define a planar
parabola In mathematics, a parabola is a plane curve which is Reflection symmetry, mirror-symmetrical and is approximately U-shaped. It fits several superficially different Mathematics, mathematical descriptions, which can all be proved to define exactl ...
. The basic example of a parabolic PDE is the one-dimensional
heat equation In mathematics and physics (more specifically thermodynamics), the heat equation is a parabolic partial differential equation. The theory of the heat equation was first developed by Joseph Fourier in 1822 for the purpose of modeling how a quanti ...
:u_t = \alpha\,u_, where u(x,t) is the temperature at position x along a thin rod at time t and \alpha is a positive constant called the
thermal diffusivity In thermodynamics, thermal diffusivity is the thermal conductivity divided by density and specific heat capacity at constant pressure. It is a measure of the rate of heat transfer inside a material and has SI, SI units of m2/s. It is an intensive ...
. 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 u_ measures how far off the temperature is from satisfying the mean value property of
harmonic functions In mathematics, mathematical physics and the theory of stochastic processes, a harmonic function is a twice continuously differentiable function f\colon U \to \mathbb R, where is an open subset of that satisfies Laplace's equation, that ...
. 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 :u_t = \alpha\,\Delta u, where :\Delta u := \frac+\frac+\frac, denotes the
Laplace operator In mathematics, the Laplace operator or Laplacian is a differential operator given by the divergence of the gradient of a Scalar field, scalar function on Euclidean space. It is usually denoted by the symbols \nabla\cdot\nabla, \nabla^2 (where \ ...
acting on u. This equation is the prototype of a ''multi-dimensional parabolic'' PDE. Noting that -\Delta is an
elliptic operator In the theory of partial differential equations, elliptic operators are differential operators that generalize the Laplace operator. They are defined by the condition that the coefficients of the highest-order derivatives be positive, which im ...
suggests a broader definition of a parabolic PDE: :u_t = -Lu, where L is a second-order
elliptic operator In the theory of partial differential equations, elliptic operators are differential operators that generalize the Laplace operator. They are defined by the condition that the coefficients of the highest-order derivatives be positive, which im ...
(implying that L must be positive; a case where u_t = +Lu is considered below). A system of partial differential equations for a vector u can also be parabolic. For example, such a system is hidden in an equation of the form :\nabla \cdot (a(x) \nabla u(x)) + b(x)^\text \nabla u(x) + cu(x) = f(x) if the matrix-valued function a(x) has a kernel of dimension 1.


Solution

Under broad assumptions, an initial/boundary-value problem for a linear parabolic PDE has a solution for all time. The solution u(x,t), as a function of x for a fixed time t > 0, is generally smoother than the initial data u(x,0) = u_0(x), according to parabolic regularity theory. 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.


Backward parabolic equation

One occasionally encounters a so-called ''backward parabolic PDE'', which takes the form u_t = Lu (note the absence of a minus sign). An initial-value problem for the backward heat equation, :\begin u_ = -\Delta u & \textrm \ \ \Omega \times (0,T), \\ u=0 & \textrm \ \ \partial\Omega \times (0,T), \\ u = f & \textrm \ \ \Omega \times \left \. \end is equivalent to a final-value problem for the ordinary heat equation, :\begin u_ = \Delta u & \textrm \ \ \Omega \times (0,T), \\ u=0 & \textrm \ \ \partial\Omega \times (0,T), \\ u = f & \textrm \ \ \Omega \times \left \. \end 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.


See also

*
Elliptic partial differential equation In mathematics, an elliptic partial differential equation is a type of partial differential equation (PDE). In mathematical modeling, elliptic PDEs are frequently used to model steady states, unlike parabolic PDE and hyperbolic PDE which gene ...
*
Hyperbolic partial differential equation In mathematics, a hyperbolic partial differential equation of order n is a partial differential equation (PDE) that, roughly speaking, has a well-posed initial value problem for the first n - 1 derivatives. More precisely, the Cauchy problem can ...


Notes


References

* *


Further reading

* * * * {{DEFAULTSORT:Parabolic Partial Differential Equation *