Probability theory and stochastic processes Definition
Stochastic partial differential equation
Builds on Partial differential equationWiener processStochastic processMild solutionWeak solution
Definition
Let be a probability space, let be open and let . Let be a linear differential operator in the variable , and let and be functions. Let be a random noise on , for example space-time white noise, the formal time derivative of a cylindrical Wiener process . A stochastic partial differential equation is an equation for a random field of the form with initial and boundary conditions. In Itô form it reads . A solution is a stochastic process, adapted to the filtration of , that satisfies the equation in a weak or mild sense. Classical derivatives are not used, because is too irregular.
Remarks
Example: the stochastic heat equation on with at and , where is space-time white noise. Its mild solution is , with the Dirichlet heat kernel of . This is a well-defined Gaussian random field, continuous in . Non-example: the stochastic differential equation , with a Brownian motion, is driven by noise. But it involves no derivatives in a space variable, so it is not a partial differential equation. The same stochastic heat equation in dimension still has a mild solution, but it is a random distribution rather than a function.
Reading path
To understand this page from the ground up, read these 44 pages in order. The foundations come first.
- Construction of the reals from Cauchy sequences concept
- Element definition
- Integers object
- Mild solution concept
- Ordered field definition
- Partial differential equation concept
- Proposition concept
- Random experiment concept
- Rational numbers object
- Real numbers object
- Weak solution concept
- Wiener process concept
- Set definition
- Ring of integers statement
- Disjunction definition
- Implication definition
- Predicate definition
- Ordered pair definition
- Union definition
- Sample space definition
- Existential quantifier definition
- Universal quantifier definition
- The rationals form a field statement
- Cartesian product definition
- Subset definition
- Uniqueness quantifier definition
- The rationals form an ordered field statement
- Binary relation definition
- Universal set definition
- Power set definition
- Order on the reals definition
- Complement definition
- Function definition
- Interval definition
- Sigma-algebra definition
- Preimage of a set definition
- Event definition
- Borel sigma-algebra definition
- Probability axioms concept
- Probability measure definition
- Probability space definition
- Random variable definition
- Stochastic process concept
- Stochastic partial differential equation definition
Further reading
About this page
| Tag | 441JWPAV3W |
|---|---|
| URI | m2://441JWPAV3W |
| Kind | definition |
| Writing | W0 stub |
| MSC | 60H15, 35R60, 60H17 |
| Defines | Stochastic partial differential equation |
| Uses | Partial differential equation, Wiener process, Stochastic process, Mild solution, Weak solution |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.