Stochastic calculus

From Wikipedia, the free encyclopedia

(Redirected from Stochastic integral)
Jump to: navigation, search

Stochastic calculus is a branch of mathematics that operates on stochastic processes. It allows a consistent theory of integration to be defined for integrals of stochastic processes with respect to stochastic processes. It is used to model systems that behave randomly.

The best-known stochastic process to which stochastic calculus is applied is the Wiener process (named in honor of Norbert Wiener), which is used for modeling Brownian motion as described by Albert Einstein and other physical diffusion processes in space of particles subject to random forces. More recently, the Wiener process has been widely applied in financial mathematics to model the evolution in time of stock and bond prices.

The main flavours of stochastic calculus are the Itō calculus and its variational relative the Malliavin calculus. For technical reasons the Itō integral is the most useful for general classes of processes but the related Stratonovich integral is frequently useful in problem formulation (particularly in engineering disciplines.) The Stratonovich integral can readily be expressed in terms of the Itō integral. Another benefit of the Stratonovich integral is that it enables some problems to be expressed in a co-ordinate system invariant form and is therefore invaluable when developing stochastic calculus on manifolds other than Rn. The Dominated convergence theorem does not hold for the Stratonovich integral, consequently it is very difficult to prove results without re-expressing the integrals in Itō form.

Contents

The key to the construction of a stochastic integral is the definition of a quadratic-variation process; the quadratic variation of a general L2 bounded martingale Xt may be defined as the increasing process [X]t such that

(i)[X]0 = 0
(ii)\Delta [X]_t = (\Delta X_t ) ^2 \quad \forall t
(iii)X_t^2 - [X]_t is a uniformly integrable martingale.

The proof that such a process may be constructed and is unique is a major hurdle in the development of stochastic calculus. However for a process Xt with continuous sample paths it may be shown to be equivalent to the following definition for a partition

\pi_t = \{ 0 = t_0 < t_1 < \cdots < t_m=t\}

whose mesh is defined by

\delta(\pi_t) = \max_{k \in [1,m]} | t_{k}-t_{k-1} |

in terms of which the quadratic-variation process may be defined by

V_t = \lim_{\delta(\pi_t) \to 0} \sum_{\pi} | X_{t_k} - X_{t_{k-1}} | ^2.

A related process \langle X \rangle_t is historically sometimes used as the basis of the integral; this process is defined as a previsible process satisfying the first and thirds conditions above. It can be shown that this process is the previsible projection of [X]t. While much of the theory can be developed from this starting point, to approach the theory stochastic integration of discontinuous processes it proves the wrong starting point.

This definition is extended to semimartingales by defining

 [X]_t = [X^{\mathrm{cm}}]_t + \sum_{0 \le s \le t} \Delta X_s^2

where Xcm is the canonical continuous martingale in the decomposition of X i.e.

 X_t = X^{\mathrm{cm}}_t+ X^{\mathrm{dm}}_t + A_t

where A is of finite variation.

The definition of the quadratic variation process gives rise immediately to the definition of the covariation process can be defined by the polarization identity:

 [X,Y]_t := \frac{1}{4} \left ( [X+Y]_t - [X-Y]_t \right )

For a sequence of stopping times satisfying 0 \le T_1 \le T_2 \le \cdots, and for each k, Hk an \mathcal{F}_{T_k} measurable random variable, then a process H of the form

 H_t = 1_{ \{0\}}(t) H_0 + \sum_k  H_k 1_{(T_k, T_{k+1}]}(t)

is said to be a simple process.

For X an L2 bounded local martingale define the Itō integral (H \cdot X) as

 (H\cdot X)_t =\sum_k H_k (X_{T_{k+1}\wedge t} - X_{T_k\wedge t} )

This process can be proved to be itself an L2 bounded martingale and thus by the usual L2 martingale convergence theorem it is only necessary to consider the limiting process (H \cdot X)_\infty which is consequently an element of L^2 (\mathcal{F}_\infty).

Given the quadratic-variation process, a seminorm may be introduced on the space of previsible stochastic processes

\|H\|^2_X = \int H^2_s \, d [X]_s

where the integral is to be understood in the usual Lebesgue sense. This is not a norm, since \|H\|_X=0 does not imply that H is the zero process. Let

 L^2(X) = \{ H \mathrm{\ previsible\ such\ that\ } \|H\|_X < \infty \}

The Itō isometry between L2(X) and L^2(\mathcal{F}_\infty) is given by

 \| (H \cdot X) \|^2_2 = \mathbb{E}(H \cdot X )^2 = \| H \|^2_X

This can be shown to hold for simple processes following the definitions above and then via the usual Banach space arguments the isometry allows the definition of the Itō integral to be extended to the space of previsible processes H \in L^2(X).

The general Itō integration theory extends naturally to the semimartingales as integrators. For a semimartingale Y which has a Doob-Meyer decomposition

Yt = Mt + At

where M is a local martingale starting from zero, and A is a process of finite variation (this decomposition is unique for continuous process, but not in general). The Itō integral of a previsible process Xwith respect to Y is defined by

(X \cdot Y)_t = (X \cdot M)_t + (X \cdot A)_t

where the first integral is defined by the natural extension of the Itō integral from martingale integrators to local martingale integrators, and the second integral is understood in the usual Lebesgue-Stieltjes sense. Because of the non-uniqueness of the semi-martingale decomposition it is necessary to prove that any result holds independently of the decomposition.

One of the most powerful and frequently used theorems in Stochastic calculus states that if f is a C2 function from \mathbb{R}^d \to \R and X_t=(X^{(1)}_t,
\ldots, X^{(d)}_t) is a d-dimensional semimartingale then

f(Xt) = f(X_0) + \sum_{i=1}^d \int_0^t 
\frac{\partial f}{\partial x_i}
(X_{s-}) \, d X^{(k)}_s
+ \frac{1}{2} \sum_{i=1}^d \sum_{j=1}^d \int_0^t \frac{\partial^2 f}{\partial x_i\partial x_j} (X_{s-}) d [X^{(i)}, X^{(j)}]^{\mathrm{cm}}_s
+ \sum_{0 \le s \le t} \Delta f(X_s) - \sum_{i=1}^m  \frac{\partial f}{\partial x_i}(X_{s-})\Delta X^{(i)}_s

where the continuous martingale part of the quadratic covariation process of two semimartingales X and Y is defined by

 [X,Y]^{\mathrm{cm}}_t = [X , Y]_t -\sum_{s \le t} \Delta X_s
\Delta Y_s.

It might appear that the Itō integral defined here could be extended to discontinuous martingales by decomposing a square-integrable martingale X in the form:

X_t = X^{\mathrm{cm}}_t + V_t

where Xcm is a square-integrable continuous martingale and V is a process of integrable variation. Unfortunately this decomposition is not always possible, but the space of square-integrable processes of integrable variation is dense in the orthogonal complement of the space of continuous square-integrable martingales.

Main article: Stratonovich integral

The Stratonovich integral can be defined in terms of the Itō integral as

 \int_0^t X_s \circ d Y_s : = \int_0^t X_s d Y_s + \frac{1}{2} \left [ X, Y\right]_t

The alternative notation

 \int_0^t X_s \partial Y_s

is also used to denote the Stratonovich integral.

Advanced Search
Included Web Search Engines


Safe Search

close

Top Matching Results

Occasionally Search.com will highlight specialized results that are based on the context of your query. Examples of specialized results include specific links to news, images, or video.

Top Matching Results may highlight information from other Search.com pages, content from the CNET Network of sites, or third party content. The listings are based purely on relevance. Search.com does not receive payment for listings in this section but our partners that provide this data may get paid for listing these products.

Sponsored Links

This section contains paid listings which have been purchased by companies that want to have their sites appear for specific search terms and related content. These listings are administered, sorted and maintained by a third party and are not endorsed by Search.com.

Search Results

Search.com sends your search query to several search engines at one time and integrates the results into one list which has been sorted by relevance using Search.com's proprietary algorithm. You can customize the list of search engines included in your metasearch from the preferences.

The search engines that are used in your metasearch may allow companies to pay to have their Web sites included within the results. To view the Paid Inclusion policy for a specific search engine, please visit their Web site. Search.com does not accept payment or share revenue with any search engine partner for listings in this section.