An integral "∫ H dX" with respect to a semi-martingale on some stochastic basis , defined for every locally bounded predictable process . One of the possible constructions of a stochastic integral is as follows. At first a stochastic integral is defined for simple predictable processes , of the form
where is -measurable. In this case, by the stochastic integral (or , or ) one understands the variable
The mapping , where
permits an extension (also denoted by ) onto the set of all bounded predictable functions, which possesses the following properties:
a) the process , , is continuous from the right and has limits from the left;
b) is linear, i.e.
c) If is a sequence of uniformly-bounded predictable functions, is a predictable function and
The extension is therefore unique in the sense that if is another mapping with the properties a)–c), then and are stochastically indistinguishable (cf. Stochastic indistinguishability).
given for functions holds for any process , not only for semi-martingales. The extension with properties a)–c) onto the class of bounded predictable processes is only possible for the case where is a semi-martingale. In this sense, the class of semi-martingales is the maximal class for which a stochastic integral with the natural properties a)–c) is defined.
If is a semi-martingale and is a Markov time (stopping time), then the "stopped" process is also a semi-martingale and for every predictable bounded process ,
This property enables one to extend the definition of a stochastic integral to the case of locally-bounded predictable functions . If is a localizing (for ) sequence of Markov times, then the are bounded. Hence, the are bounded and
is stochastically indistinguishable from . A process , again called a stochastic integral, therefore exists, such that
The constructed stochastic integral possesses the following properties: is a semi-martingale; the mapping is linear; if is a process of locally bounded variation, then so is the integral , and then coincides with the Stieltjes integral of with respect to ; ; .
Depending on extra assumptions concerning , the stochastic integral can also be defined for broader classes of functions . For example, if is a locally square-integrable martingale, then a stochastic integral (with the properties a)–c)) can be defined for any predictable process that possesses the property that the process
is locally integrable (here is the quadratic variation of , i.e. the predictable increasing process such that is a local martingale).
|[J]||J. Jacod, "Calcul stochastique et problèmes de martingales" , Lect. notes in math. , 714 , Springer (1979) MR0542115 Zbl 0414.60053|
|[DM]||C. Dellacherie, P.A. Meyer, "Probabilities and potential" , A-C , North-Holland (1978–1988) (Translated from French) MR0939365 MR0898005 MR0727641 MR0745449 MR0566768 MR0521810 Zbl 0716.60001 Zbl 0494.60002 Zbl 0494.60001|
|[LS]||R.Sh. Liptser, A.N. Shiryayev, "Theory of martingales" , Kluwer (1989) (Translated from Russian) MR1022664 Zbl 0728.60048|
The result alluded to above, that semi-martingales constitute the widest viable class of stochastic integrators, is the Bichteler–Dellacherie theorem [B]–[D], and can be formulated as follows [P], Thm. III.22. Call a process elementary predictable if it has a representation
where are stopping times and is -measurable with a.s., . Let be the set of elementary predictable processes, topologized by uniform convergence in . Let be the set of finite-valued random variables, topologized by convergence in probability. Fix a stochastic process and for each stopping time define a mapping by
where denotes the process . Say that "X has the property (C)" if is continuous for all stopping times.
The Bichteler–Dellacherie theorem: has property (C) if and only if is a semi-martingale.
Since the topology on is very strong and that on very weak, property (C) is a minimal requirement if the definition of is to be extended beyond .
It is possible to use property (C) as the definition of a semi-martingale, and to develop the theory of stochastic integration from this point of view [P]. There are many excellent textbook expositions of stochastic integration from the conventional point of view; see, e.g., [CW]–[RW].
|[B]||K. Bichteler, "Stochastic integrators" Bull. Amer. Math. Soc. , 1 (1979) pp. 761–765 MR0537627 Zbl 0416.60066|
|[B2]||K. Bichteler, "Stochastic integrators and the theory of semimartingales" Ann. Probab. , 9 (1981) pp. 49–89|
|[D]||C. Dellacherie, "Un survol de la théorie de l'intégrale stochastique" Stoch. Proc. & Appl. , 10 (1980) pp. 115–144 MR0587420 MR0562680 MR0577985 Zbl 0436.60043 Zbl 0429.60053 Zbl 0427.60055|
|[P]||P. Protter, "Stochastic integration and differential equations" , Springer (1990) MR1037262 Zbl 0694.60047|
|[CW]||K.L. Chung, R.J. Williams, "Introduction to stochastic integration" , Birkhäuser (1990) MR1102676 Zbl 0725.60050|
|[E]||R.J. Elliott, "Stochastic calculus and applications" , Springer (1982) MR0678919 Zbl 0503.60062|
|[KS]||I. Karatzas, S.E. Shreve, "Brownian motion and stochastic calculus" , Springer (1988) MR0917065 Zbl 0638.60065|
|[RW]||L.C.G. Rogers, D. Williams, "Diffusions, Markov processes and martingales" , II. Ito calculus , Wiley (1987) MR0921238 Zbl 0627.60001|
|[McK]||H.P. McKean jr., "Stochastic integrals" , Acad. Press (1969)|
|[MP]||M. Metivier, J. Pellaumail, "Stochastic integration" , Acad. Press (1980) MR0578177 Zbl 0463.60004|
|[McSh]||E.J. McShane, "Stochastic calculus and stochastic models" , Acad. Press (1974)|
|[R]||M.M. Rao, "Stochastic processes and integration" , Sijthoff & Noordhoff (1979) MR0546709 Zbl 0429.60001|
|[SV]||D.W. Stroock, S.R.S. Varadhan, "Multidimensional diffusion processes" , Springer (1979) MR0532498 Zbl 0426.60069|
|[K]||P.E. Kopp, "Martingales and stochastic integrals" , Cambridge Univ. Press (1984) MR0774050 Zbl 0537.60047|
|[F]||M. Fukushima, "Dirichlet forms and Markov processes" , North-Holland (1980) MR0569058 Zbl 0422.31007|
|[AFHL]||S. Albeverio, J.E. Fenstad, R. Høegh-Krohn, T. Lindstrøm, "Nonstandard methods in stochastic analysis and mathematical physics" , Acad. Press (1986) MR0859372 Zbl 0605.60005|
Stochastic integral. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Stochastic_integral&oldid=26952