Random integral equation
Builds on Integral equationProbability spaceMeasurable functionStochastic process
Definition
Let be a probability space and let be a compact interval. Let and be measurable functions. Here the domains carry the product of the Borel -algebras and . The random (linear Fredholm) integral equation with random kernel and random free term is A random solution is a measurable function with the following property. For -almost every , the integral converges absolutely and the equation holds, for every .
Remarks
Random Volterra equations, with in place of , and nonlinear random equations such as are defined in the same way. A random solution is a stochastic process indexed by . The integral is an ordinary Lebesgue integral, computed separately for each .
Example: , a random variable with values in , and . A constant solves the equation when , that is, . This is measurable, so is a random solution.
Non-example: the equation , with a Wiener process, is not a random integral equation in this sense. Almost every path of has unbounded variation, so the integral cannot be computed path by path as a Lebesgue–Stieltjes integral. It is an Itô integral, and the equation is a stochastic Volterra equation.
Reading path
To understand this page from the ground up, read these 43 pages in order. The foundations come first.
- Construction of the reals from Cauchy sequences concept
- Element definition
- Integers object
- Integral equation concept
- Measurable function concept
- Ordered field definition
- Probability space concept
- Proposition concept
- Random experiment concept
- Rational numbers object
- Real numbers object
- Set definition
- Ring of integers statement
- Disjunction definition
- Implication definition
- Predicate definition
- Ordered pair definition
- Union definition
- Existential quantifier definition
- Sample space 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
- Random integral equation definition
Further reading
About this page
| Tag | MSDC626JK5 |
|---|---|
| URI | m2://MSDC626JK5 |
| Kind | definition |
| Writing | W0 stub |
| MSC | 45R05, 60H20, 45A05 |
| Defines | Random integral equation |
| Uses | Integral equation, Probability space, Measurable function, Stochastic process |
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.