Math 2.0

Ordinary differential equations Definition

Random ordinary differential equation

Builds on Probability spaceStochastic processOrdinary differential equationStochastic differential equationWiener process

Definition

Let (Ω,ℱ,P)(\Omega, \mathcal{F}, P) be a probability space. Let η=(ηt)t≥0\eta = (\eta_t)_{t \ge 0} be a stochastic process with values in ℝm\R^m whose sample paths t↦ηt(ω)t \mapsto \eta_t(\omega) are continuous. Let f ⁣:ℝn×ℝm→ℝnf \colon \R^n \times \R^m \to \R^n be continuous. The random ordinary differential equation driven by η\eta with right side ff is the family of ordinary differential equations dxdt=f(x,ηt(ω)),ω∈Ω.\frac{dx}{dt} = f(x, \eta_t(\omega)), \qquad \omega \in \Omega. A solution is a process (Xt)t≥0(X_t)_{t \ge 0} such that for PP-almost every ω\omega the path t↦Xt(ω)t \mapsto X_t(\omega) is continuously differentiable and solves the equation for that ω\omega.

Remarks

For fixed ω\omega the right side (t,x)↦f(x,ηt(ω))(t, x) \mapsto f(x, \eta_t(\omega)) is continuous, so the usual existence theory for ordinary differential equations applies path by path. Example: with n=m=1n = m = 1 and f(x,y)=−x+yf(x, y) = -x + y, the process Xt=e−tX0+∫0te−(t−s)ηs dsX_t = e^{-t} X_0 + \int_0^t e^{-(t - s)} \eta_s \, ds is a solution; differentiating gives Xt′=−Xt+ηtX_t' = -X_t + \eta_t. Non-example: let WW be a Wiener process. The equation dXt=Xt dWtdX_t = X_t \, dW_t is not a random ordinary differential equation as written, since the noise enters through dWtdW_t and the paths of WW are not differentiable. A stochastic differential equation with additive noise, dXt=a(Xt) dt+dWtdX_t = a(X_t) \, dt + dW_t, becomes a random ordinary differential equation after the change of variables Zt=Xt−WtZ_t = X_t - W_t: then Zt′=a(Zt+Wt)Z_t' = a(Z_t + W_t). Some authors allow ff to depend on tt and η\eta to have only measurable paths; then solutions are taken in the sense of Carathéodory.

Reading path

To understand this page from the ground up, read these 44 pages in order. The foundations come first.

  1. Construction of the reals from Cauchy sequences concept
  2. Element definition
  3. Integers object
  4. Ordered field definition
  5. Ordinary differential equation concept
  6. Probability space concept
  7. Proposition concept
  8. Random experiment concept
  9. Rational numbers object
  10. Real numbers object
  11. Stochastic differential equation concept
  12. Wiener process concept
  13. Set definition
  14. Ring of integers statement
  15. Disjunction definition
  16. Implication definition
  17. Predicate definition
  18. Ordered pair definition
  19. Union definition
  20. Sample space definition
  21. Existential quantifier definition
  22. Universal quantifier definition
  23. The rationals form a field statement
  24. Cartesian product definition
  25. Subset definition
  26. Uniqueness quantifier definition
  27. The rationals form an ordered field statement
  28. Binary relation definition
  29. Universal set definition
  30. Power set definition
  31. Order on the reals definition
  32. Complement definition
  33. Function definition
  34. Interval definition
  35. Sigma-algebra definition
  36. Preimage of a set definition
  37. Event definition
  38. Borel sigma-algebra definition
  39. Probability axioms concept
  40. Probability measure definition
  41. Probability space definition
  42. Random variable definition
  43. Stochastic process concept
  44. Random ordinary differential equation definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Random_dynamical_system
About this page
TagCV9ME89WDV
URIm2://CV9ME89WDV
Kinddefinition
WritingW0 stub
MSC34F05, 37H10
DefinesRandom ordinary differential equation
UsesProbability space, Stochastic process, Ordinary differential equation, Stochastic differential equation, Wiener process
Changed2 November 2026

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.