Stochastic Partial Differential Equations
   HOME

TheInfoList



OR:

Stochastic partial differential equations (SPDEs) generalize
partial differential equations In mathematics, a partial differential equation (PDE) is an equation which imposes relations between the various partial derivatives of a multivariable function. The function is often thought of as an "unknown" to be solved for, similarly to ...
via random force terms and coefficients, in the same way ordinary
stochastic differential equations A stochastic differential equation (SDE) is a differential equation in which one or more of the terms is a stochastic process, resulting in a solution which is also a stochastic process. SDEs are used to model various phenomena such as stock pr ...
generalize
ordinary differential equations In mathematics, an ordinary differential equation (ODE) is a differential equation whose unknown(s) consists of one (or more) function(s) of one variable and involves the derivatives of those functions. The term ''ordinary'' is used in contrast w ...
. They have relevance to
quantum field theory In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines classical field theory, special relativity, and quantum mechanics. QFT is used in particle physics to construct physical models of subatomic particles and ...
,
statistical mechanics In physics, statistical mechanics is a mathematical framework that applies statistical methods and probability theory to large assemblies of microscopic entities. It does not assume or postulate any natural laws, but explains the macroscopic be ...
, and
spatial modeling Spatial may refer to: *Dimension *Space *Three-dimensional space Three-dimensional space (also: 3D space, 3-space or, rarely, tri-dimensional space) is a geometric setting in which three values (called ''parameters'') are required to determ ...
.


Examples

One of the most studied SPDEs is the stochastic
heat equation In mathematics and physics, the heat equation is a certain partial differential equation. Solutions of the heat equation are sometimes known as caloric functions. The theory of the heat equation was first developed by Joseph Fourier in 1822 for t ...
, which may formally be written as : \partial_t u = \Delta u + \xi\;, where \Delta is the
Laplacian In mathematics, the Laplace operator or Laplacian is a differential operator given by the divergence of the gradient of a scalar function on Euclidean space. It is usually denoted by the symbols \nabla\cdot\nabla, \nabla^2 (where \nabla is the ...
and \xi denotes space-time
white noise In signal processing, white noise is a random signal having equal intensity at different frequencies, giving it a constant power spectral density. The term is used, with this or similar meanings, in many scientific and technical disciplines, ...
. Other examples also include stochastic versions of famous linear equations, such as
wave equation The (two-way) wave equation is a second-order linear partial differential equation for the description of waves or standing wave fields — as they occur in classical physics — such as mechanical waves (e.g. water waves, sound waves and s ...
and
Schrödinger equation The Schrödinger equation is a linear partial differential equation that governs the wave 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 th ...
.


Discussion

One difficulty is their lack of regularity. In one dimensional space, solutions to the stochastic heat equation are only almost 1/2-
Hölder continuous Hölder: * ''Hölder, Hoelder'' as surname * Hölder condition * Hölder's inequality * Hölder mean In mathematics, generalized means (or power mean or Hölder mean from Otto Hölder) are a family of functions for aggregating sets of number ...
in space and 1/4-Hölder continuous in time. For dimensions two and higher, solutions are not even function-valued, but can be made sense of as random distributions. For linear equations, one can usually find a
mild solution In mathematics, a ''C''0-semigroup, also known as a strongly continuous one-parameter semigroup, is a generalization of the exponential function. Just as exponential functions provide solutions of scalar linear constant coefficient ordinary diffe ...
via
semigroup In mathematics, a semigroup is an algebraic structure consisting of a set together with an associative internal binary operation on it. The binary operation of a semigroup is most often denoted multiplicatively: ''x''·''y'', or simply ''xy'', ...
techniques. However, problems start to appear when considering non-linear equations. For example : \partial_t u = \Delta u + P(u) + \xi, where P is a polynomial. In this case it is not even clear how one should make sense of the equation. Such an equation will also not have a function-valued solution in dimension larger than one, and hence no pointwise meaning. It is well known that the space of distributions has no product structure. This is the core problem of such a theory. This leads to the need of some form of renormalization. An early attempt to circumvent such problems for some specific equations was the so called ''da Prato-Debussche trick'' which involved studying such non-linear equations as perturbations of linear ones. However, this can only be used in very restrictive settings, as it depends on both the non-linear factor and on the regularity of the driving noise term. In recent years, the field has drastically expanded, and now there exists a large machinery to guarantee local existence for a variety of ''sub-critical'' SPDE's.


See also

*
Brownian surface A Brownian surface is a fractal surface generated via a fractal elevation function. As with Brownian motion, Brownian surfaces are named after 19th-century biologist Robert Brown. Example For instance, in the three-dimensional case, where two ...
* Kardar–Parisi–Zhang equation *
Kushner equation In filtering theory the Kushner equation (after Harold Kushner) is an equation for the conditional probability density of the state of a stochastic non-linear dynamical system, given noisy measurements of the state. It therefore provides the sol ...
*
Malliavin calculus In probability theory and related fields, Malliavin calculus is a set of mathematical techniques and ideas that extend the mathematical field of calculus of variations from deterministic functions to stochastic processes. In particular, it allows ...
*
Wick product In probability theory, the Wick product is a particular way of defining an adjusted product of a set of random variables. In the lowest order product the adjustment corresponds to subtracting off the mean value, to leave a result whose mean is zero. ...
*
Zakai equation Zakai is a surname. Notable people with the surname include: *Johanan ben Zakai :''See Yohanan for more rabbis by this name''. Yohanan ben Zakkai ( he, יוֹחָנָן בֶּן זַכַּאי, ''Yōḥānān ben Zakkaʾy''; 1st century CE), s ...


References


Further reading

*


External links

* * {{cite arXiv , title=An Introduction to Stochastic PDEs , first=Martin , last=Hairer , author-link=Martin Hairer , year=2009 , class=math.PR , eprint=0907.4178 Stochastic differential equations Partial differential equations