Yamada–Watanabe theorem
Theorem in probability theory From Wikipedia, the free encyclopedia
The Yamada–Watanabe theorem is a result from probability theory saying that for a large class of stochastic differential equations a weak solution with pathwise uniqueness implies a strong solution and uniqueness in distribution. In its original form, the theorem was stated for -dimensional Itô equations and was proven by Toshio Yamada and Shinzō Watanabe in 1971.[1] Since then, many generalizations appeared particularly one for general semimartingales by Jean Jacod from 1980.[2]
Yamada–Watanabe theorem
Summarize
Perspective
History, generalizations and related results
Jean Jacod generalized the result to SDEs of the form
where is a semimartingale and the coefficient can depend on the path of .[2]
Further generalisations were done by Hans-Jürgen Engelbert (1991[3]) and Thomas G. Kurtz (2007[4]). For SDEs in Banach spaces there is a result from Martin Ondrejat (2004[5]), one by Michael Röckner, Byron Schmuland and Xicheng Zhang (2008[6]) and one by Stefan Tappe (2013[7]).
The converse of the theorem is also true and called the dual Yamada–Watanabe theorem. The first version of this theorem was proven by Engelbert (1991[3]) and a more general version by Alexander Cherny (2002[8]).
Setting
Let and be the space of continuous functions. Consider the -dimensional Itô equation
where
- and are predictable processes,
- is an -dimensional Brownian Motion,
- is deterministic.
Basic terminology
We say uniqueness in distribution (or weak uniqueness), if for two arbitrary solutions and defined on (possibly different) filtered probability spaces and , we have for their distributions , where .
We say pathwise uniqueness (or strong uniqueness) if any two solutions and , defined on the same filtered probability spaces with the same -Brownian motion, are indistinguishable processes, i.e. we have -almost surely that
Theorem
Assume the described setting above is valid, then the theorem is:
- If there is pathwise uniqueness, then there is also uniqueness in distribution. And if for every initial distribution, there exists a weak solution, then for every initial distribution, also a pathwise unique strong solution exists.[3][8]
Jacod's result improved the statement with the additional statement that
- If a weak solutions exists and pathwise uniqueness holds, then this solution is also a strong solution.[2]
References
Wikiwand - on
Seamless Wikipedia browsing. On steroids.