Difference between revisions of "Wiener process"
(Importing text file) |
Ulf Rehmann (talk | contribs) m (MR/ZBL numbers added) |
||
Line 1: | Line 1: | ||
− | A homogeneous [[Gaussian process|Gaussian process]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097940/w0979401.png" /> with independent increments. A Wiener process serves as one of the models of [[Brownian motion|Brownian motion]]. A simple transformation will convert a Wiener process into the | + | A homogeneous [[Gaussian process|Gaussian process]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097940/w0979401.png" /> with independent increments. A Wiener process serves as one of the models of [[Brownian motion|Brownian motion]]. A simple transformation will convert a Wiener process into the "standard" Wiener process <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097940/w0979402.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097940/w0979403.png" />, for which |
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097940/w0979404.png" /></td> </tr></table> | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097940/w0979404.png" /></td> </tr></table> | ||
Line 103: | Line 103: | ||
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097940/w09794082.png" /></td> </tr></table> | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097940/w09794082.png" /></td> </tr></table> | ||
− | The following properties of the Wiener process are readily deduced from the formulas given above. The Brownian trajectory is nowhere differentiable; on starting from any point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097940/w09794083.png" /> this trajectory crosses the | + | The following properties of the Wiener process are readily deduced from the formulas given above. The Brownian trajectory is nowhere differentiable; on starting from any point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097940/w09794083.png" /> this trajectory crosses the "level" <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097940/w09794084.png" /> (returns to its initial point) infinitely many times with probability one, however short the time <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097940/w09794085.png" />; the Brownian trajectory passes through all points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097940/w09794086.png" /> (more precisely, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097940/w09794087.png" />) with probability one (the most probable value of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097940/w09794088.png" /> is of the order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097940/w09794089.png" /> for large <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097940/w09794090.png" />); this trajectory, if considered on a fixed interval <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097940/w09794091.png" />, tends to attain the extremal values near the end-points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097940/w09794092.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097940/w09794093.png" />. |
Since a Wiener process is a homogeneous Markov process, there exists an invariant measure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097940/w09794094.png" /> for it, namely: | Since a Wiener process is a homogeneous Markov process, there exists an invariant measure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097940/w09794094.png" /> for it, namely: | ||
Line 118: | Line 118: | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> | + | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> K. Itô, H.P. McKean jr., "Diffusion processes and their sample paths" , Springer (1974) {{MR|0345224}} {{ZBL|0285.60063}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> Yu.V. [Yu.V. Prokhorov] Prohorov, Yu.A. Rozanov, "Probability theory, basic concepts. Limit theorems, random processes" , Springer (1969) (Translated from Russian) {{MR|0251754}} {{ZBL|}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> P. Lévy, "Processus stochastiques et mouvement Brownien" , Gauthier-Villars (1965) {{MR|0190953}} {{ZBL|0137.11602}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> V.P. Pavlov, "Brownian motion" , ''Large Soviet Encyclopaedia'' , '''4''' (In Russian)</TD></TR></table> |
Line 136: | Line 136: | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> | + | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> R. Durrett, "Brownian motion and martingales in analysis" , Wadsworth (1984) {{MR|0750829}} {{ZBL|0554.60075}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> I. Karatzas, S.E. Shreve, "Brownian motion and stochastic calculus" , Springer (1988) {{MR|0917065}} {{ZBL|0638.60065}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> D. Revuz, M. Yor, "Continuous martingales and Brownian motion" , Springer (1990) {{MR|1725357}} {{MR|1303781}} {{MR|1083357}} {{ZBL|1087.60040}} {{ZBL|0917.60006}} {{ZBL|0804.60001}} {{ZBL|0731.60002}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> E.B. Dynkin, "Markov processes" , '''1''' , Springer (1965) (Translated from Russian) {{MR|0193671}} {{ZBL|0132.37901}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> W. Feller, "An introduction to probability theory and its applications" , '''1–2''' , Wiley (1968–1971) {{MR|0779091}} {{MR|0779090}} {{MR|0270403}} {{MR|0228020}} {{MR|1534302}} {{MR|0243559}} {{MR|0242202}} {{MR|0210154}} {{MR|1570945}} {{MR|0088081}} {{MR|1528130}} {{MR|0067380}} {{MR|0038583}} {{ZBL|0598.60003}} {{ZBL|0598.60002}} {{ZBL|0219.60003}} {{ZBL|0155.23101}} {{ZBL|0158.34902}} {{ZBL|0151.22403}} {{ZBL|0138.10207}} {{ZBL|0115.35308}} {{ZBL|0077.12201}} {{ZBL|0039.13201}} </TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> I.I. [I.I. Gikhman] Gihman, A.V. [A.V. Skorokhod] Skorohod, "The theory of stochastic processes" , '''III''' , Springer (1975) (Translated from Russian) {{MR|0375463}} {{ZBL|0305.60027}} </TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> T. Hida, "Brownian motion" , Springer (1980) {{MR|0566333}} {{MR|0562914}} {{ZBL|0432.60002}} {{ZBL|0423.60063}} </TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top"> F. Spitzer, "Principles of random walk" , v. Nostrand (1964) {{MR|0171290}} {{ZBL|0119.34304}} </TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top"> J. Yeh, "Stochastic processes and the Wiener integral" , M. Dekker (1973) {{MR|0474528}} {{ZBL|0277.60018}} </TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top"> J.L. Doob, "Classical potential theory and its probabilistic counterpart" , Springer (1984) {{MR|0731258}} {{ZBL|0549.31001}} </TD></TR></table> |
Revision as of 10:32, 27 March 2012
A homogeneous Gaussian process with independent increments. A Wiener process serves as one of the models of Brownian motion. A simple transformation will convert a Wiener process into the "standard" Wiener process , , for which
For these average values and incremental variances, this is the only almost-surely continuous process with independent increments. In what follows, the Wiener process will be understood to be this process.
The Wiener process , , can also be defined as the Gaussian process with zero expectation and covariance function
The Wiener process , , may also be defined as the homogeneous Markov process with transition function
where the transition density is the fundamental solution of the parabolic differential equation
given by the formula
The transition function is invariant with respect to translations in the phase space:
where denotes the set .
The Wiener process is the continuous analogue of the random walk of a particle which, at discrete moments of time (multiples of ), is randomly displaced by a quantity , independent of the past (, ); more precisely, if
is the random trajectory of the motion of such a particle on the interval (where is the integer part of , if and is the corresponding probability distribution in the space of continuous functions , ), then the probability distribution of the trajectory of the Wiener process , , is the limit (in the sense of weak convergence) of the distributions as .
As a function with values in the Hilbert space of all random variables with , in which the scalar product is defined by the formula
the Wiener process , , may be canonically represented as follows:
where are independent Gaussian variables:
and
are the eigenfunctions of the operator defined by the formula
in the Hilbert space of all square-integrable (with respect to Lebesgue measure) functions on .
Almost-all trajectories of the Wiener process have the following properties:
which is the law of the iterated logarithm;
characterizing the modulus of continuity on ; and
When applied to the Wiener process , , the law of the iterated logarithm reads:
The distributions of the maximum , of the time at which the Brownian particle first reaches a fixed point and of the location of the maximum give insight in the nature of the movement of a Brownian particle; these distributions are given by the following formulas:
while the simultaneous density of the maximum and its location is given by:
(The laws of the Wiener process remain unchanged on transforming the phase space .) The joint distribution of the maximum point , , and of the maximum itself has the probability density
while the point by itself (with probability one there is only one maximum on the interval ) is distributed according to the arcsine law:
with the probability density:
The following properties of the Wiener process are readily deduced from the formulas given above. The Brownian trajectory is nowhere differentiable; on starting from any point this trajectory crosses the "level" (returns to its initial point) infinitely many times with probability one, however short the time ; the Brownian trajectory passes through all points (more precisely, ) with probability one (the most probable value of is of the order for large ); this trajectory, if considered on a fixed interval , tends to attain the extremal values near the end-points and .
Since a Wiener process is a homogeneous Markov process, there exists an invariant measure for it, namely:
which, since the transition function has been seen to be invariant, coincides with the Lebesgue measure on the real line: . The time which a Brownian particle spends in between the times 0 and is such that
as , with probability one for any bounded Borel sets and .
Wiener random fields, introduced by P. Lévy [3], are analogues of the Wiener process for a vector parameter .
References
[1] | K. Itô, H.P. McKean jr., "Diffusion processes and their sample paths" , Springer (1974) MR0345224 Zbl 0285.60063 |
[2] | Yu.V. [Yu.V. Prokhorov] Prohorov, Yu.A. Rozanov, "Probability theory, basic concepts. Limit theorems, random processes" , Springer (1969) (Translated from Russian) MR0251754 |
[3] | P. Lévy, "Processus stochastiques et mouvement Brownien" , Gauthier-Villars (1965) MR0190953 Zbl 0137.11602 |
[4] | V.P. Pavlov, "Brownian motion" , Large Soviet Encyclopaedia , 4 (In Russian) |
Comments
The Wiener process is more commonly referred to as Brownian motion in the Western literature. It is by far the most important construct in stochastic analysis. See [a1]–[a3] for up-to-date accounts of its properties. Of particular importance is the theory of local time. The occupation time of a Borel set on the interval is:
There exists an almost-surely jointly-continuous random field for such that
is the local time at . For fixed , sample paths of the process are increasing and continuous but singular with respect to Lebesgue measure.
See also Markov process; Stochastic differential equation.
References
[a1] | R. Durrett, "Brownian motion and martingales in analysis" , Wadsworth (1984) MR0750829 Zbl 0554.60075 |
[a2] | I. Karatzas, S.E. Shreve, "Brownian motion and stochastic calculus" , Springer (1988) MR0917065 Zbl 0638.60065 |
[a3] | D. Revuz, M. Yor, "Continuous martingales and Brownian motion" , Springer (1990) MR1725357 MR1303781 MR1083357 Zbl 1087.60040 Zbl 0917.60006 Zbl 0804.60001 Zbl 0731.60002 |
[a4] | E.B. Dynkin, "Markov processes" , 1 , Springer (1965) (Translated from Russian) MR0193671 Zbl 0132.37901 |
[a5] | W. Feller, "An introduction to probability theory and its applications" , 1–2 , Wiley (1968–1971) MR0779091 MR0779090 MR0270403 MR0228020 MR1534302 MR0243559 MR0242202 MR0210154 MR1570945 MR0088081 MR1528130 MR0067380 MR0038583 Zbl 0598.60003 Zbl 0598.60002 Zbl 0219.60003 Zbl 0155.23101 Zbl 0158.34902 Zbl 0151.22403 Zbl 0138.10207 Zbl 0115.35308 Zbl 0077.12201 Zbl 0039.13201 |
[a6] | I.I. [I.I. Gikhman] Gihman, A.V. [A.V. Skorokhod] Skorohod, "The theory of stochastic processes" , III , Springer (1975) (Translated from Russian) MR0375463 Zbl 0305.60027 |
[a7] | T. Hida, "Brownian motion" , Springer (1980) MR0566333 MR0562914 Zbl 0432.60002 Zbl 0423.60063 |
[a8] | F. Spitzer, "Principles of random walk" , v. Nostrand (1964) MR0171290 Zbl 0119.34304 |
[a9] | J. Yeh, "Stochastic processes and the Wiener integral" , M. Dekker (1973) MR0474528 Zbl 0277.60018 |
[a10] | J.L. Doob, "Classical potential theory and its probabilistic counterpart" , Springer (1984) MR0731258 Zbl 0549.31001 |
Wiener process. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Wiener_process&oldid=15877