HOME

TheInfoList



OR:

In
probability theory Probability theory is the branch of mathematics concerned with probability. Although there are several different probability interpretations, probability theory treats the concept in a rigorous mathematical manner by expressing it through a set ...
, a real valued
stochastic process In probability theory and related fields, a stochastic () or random process is a mathematical object usually defined as a family of random variables. Stochastic processes are widely used as mathematical models of systems and phenomena that ap ...
''X'' is called a semimartingale if it can be decomposed as the sum of a local martingale and a càdlàg adapted finite-variation process. Semimartingales are "good integrators", forming the largest class of processes with respect to which the Itô integral and the Stratonovich integral can be defined. The class of semimartingales is quite large (including, for example, all continuously differentiable processes,
Brownian motion Brownian motion, or pedesis (from grc, πήδησις "leaping"), is the random motion of particles suspended in a medium (a liquid or a gas). This pattern of motion typically consists of random fluctuations in a particle's position insi ...
and
Poisson process In probability, statistics and related fields, a Poisson point process is a type of random mathematical object that consists of points randomly located on a mathematical space with the essential feature that the points occur independently of one ...
es). Submartingales and supermartingales together represent a subset of the semimartingales.


Definition

A real valued process ''X'' defined on the
filtered probability space Filtration is a physical separation process that separates solid matter and fluid from a mixture using a ''filter medium'' that has a complex structure through which only the fluid can pass. Solid particles that cannot pass through the filte ...
(Ω,''F'',(''F''''t'')''t'' ≥ 0,P) is called a semimartingale if it can be decomposed as :X_t = M_t + A_t where ''M'' is a local martingale and ''A'' is a càdlàg
adapted process In the study of stochastic processes, an adapted process (also referred to as a non-anticipating or non-anticipative process) is one that cannot "see into the future". An informal interpretation is that ''X'' is adapted if and only if, for every rea ...
of locally bounded variation. An R''n''-valued process ''X'' = (''X''1,…,''X''''n'') is a semimartingale if each of its components ''X''''i'' is a semimartingale.


Alternative definition

First, the simple predictable processes are defined to be linear combinations of processes of the form ''H''''t'' = ''A''1 for stopping times ''T'' and ''F''''T'' -measurable random variables ''A''. The integral ''H'' · ''X'' for any such simple predictable process ''H'' and real valued process ''X'' is :H\cdot X_t\equiv 1_A(X_t-X_T). This is extended to all simple predictable processes by the linearity of ''H'' · ''X'' in ''H''. A real valued process ''X'' is a semimartingale if it is càdlàg, adapted, and for every ''t'' ≥ 0, :\left\ is bounded in probability. The Bichteler-Dellacherie Theorem states that these two definitions are equivalent .


Examples

* Adapted and continuously differentiable processes are continuous finite variation processes, and hence semimartingales. *
Brownian motion Brownian motion, or pedesis (from grc, πήδησις "leaping"), is the random motion of particles suspended in a medium (a liquid or a gas). This pattern of motion typically consists of random fluctuations in a particle's position insi ...
is a semimartingale. * All càdlàg martingales, submartingales and supermartingales are semimartingales. * Itō processes, which satisfy a stochastic differential equation of the form ''dX'' = ''σdW'' + ''μdt'' are semimartingales. Here, ''W'' is a Brownian motion and ''σ, μ'' are adapted processes. * Every Lévy process is a semimartingale. Although most continuous and adapted processes studied in the literature are semimartingales, this is not always the case. * Fractional Brownian motion with Hurst parameter ''H'' ≠ 1/2 is not a semimartingale.


Properties

* The semimartingales form the largest class of processes for which the Itō integral can be defined. * Linear combinations of semimartingales are semimartingales. * Products of semimartingales are semimartingales, which is a consequence of the integration by parts formula for the Itō integral. * The quadratic variation exists for every semimartingale. * The class of semimartingales is closed under optional stopping, localization, change of time and absolutely continuous change of measure. * If ''X'' is an R''m'' valued semimartingale and ''f'' is a twice continuously differentiable function from R''m'' to R''n'', then ''f''(''X'') is a semimartingale. This is a consequence of Itō's lemma. * The property of being a semimartingale is preserved under shrinking the filtration. More precisely, if ''X'' is a semimartingale with respect to the filtration ''F''t, and is adapted with respect to the subfiltration ''G''t, then ''X'' is a ''G''t-semimartingale. * (Jacod's Countable Expansion) The property of being a semimartingale is preserved under enlarging the filtration by a countable set of disjoint sets. Suppose that ''F''t is a filtration, and ''G''t is the filtration generated by ''F''t and a countable set of disjoint measurable sets. Then, every ''F''t-semimartingale is also a ''G''t-semimartingale.


Semimartingale decompositions

By definition, every semimartingale is a sum of a local martingale and a finite variation process. However, this decomposition is not unique.


Continuous semimartingales

A continuous semimartingale uniquely decomposes as ''X'' = ''M'' + ''A'' where ''M'' is a continuous local martingale and ''A'' is a continuous finite variation process starting at zero. For example, if ''X'' is an Itō process satisfying the stochastic differential equation d''X''t = σt d''W''t + ''b''t dt, then :M_t=X_0+\int_0^t\sigma_s\,dW_s,\ A_t=\int_0^t b_s\,ds.


Special semimartingales

A special semimartingale is a real valued process ''X'' with the decomposition X = M^X +B^X, where M^X is a local martingale and B^X is a predictable finite variation process starting at zero. If this decomposition exists, then it is unique up to a P-null set. Every special semimartingale is a semimartingale. Conversely, a semimartingale is a special semimartingale if and only if the process ''X''t* ≡ sup''s'' ≤ ''t'' , X''s'', is locally integrable . For example, every continuous semimartingale is a special semimartingale, in which case ''M'' and ''A'' are both continuous processes.


Multiplicative decompositions

Recall that \mathcal(X) denotes the
stochastic exponential Stochastic (, ) refers to the property of being well described by a random probability distribution. Although stochasticity and randomness are distinct in that the former refers to a modeling approach and the latter refers to phenomena themselve ...
of semimartingale X. If X is a special semimartingale such that \Delta B^X \neq -1, then \mathcal(B^X)\neq 0 and \mathcal(X)/\mathcal(B^X)=\mathcal\left(\int_0^\cdot \frac\right) is a local martingale. Process \mathcal(B^X) is called the ''multiplicative compensator'' of \mathcal(X) and the identity \mathcal(X)=\mathcal\left(\int_0^\cdot \frac\right)\mathcal(B^X) the ''multiplicative decomposition'' of \mathcal(X).


Purely discontinuous semimartingales / quadratic pure-jump semimartingales

A semimartingale is called ''purely discontinuous'' ( Kallenberg 2002) if its quadratic variation 'X''is a finite variation pure-jump process, i.e., : t=\sum_(\Delta X_s)^2. By this definition, ''time'' is a purely discontinuous semimartingale even though it exhibits no jumps at all. Alternative (and preferred) terminology ''quadratic pure-jump'' semimartingale refers to the fact that the quadratic variation of a purely discontinuous semimartingale is a pure jump process. Every finite variation semimartingale is a quadratic pure-jump semimartingale. An adapted continuous process is a quadratic pure-jump semimartingale if and only if it is of finite variation. For every semimartingale X there is a unique continuous local martingale X^c starting at zero such that X-X^c is a quadratic pure-jump semimartingale (; ). The local martingale X^c is called the ''continuous martingale part of'' ''X''. Observe that X^c is measure-specific. If ''P'' and ''Q'' are two equivalent measures then X^c(P) is typically different from X^c(Q), while both X-X^c(P) and X-X^c(Q) are quadratic pure-jump semimartingales. By
Girsanov's theorem In probability theory, the Girsanov theorem tells how stochastic processes change under changes in measure. The theorem is especially important in the theory of financial mathematics as it tells how to convert from the physical measure which des ...
X^c(P)-X^c(Q) is a continuous finite variation process, yielding ^c(P) ^c(Q)= \sum_(\Delta X_s)^2.


Continuous-time and discrete-time components of a semimartingale

Every semimartingale X has a unique decomposition X = X_0 + X^ +X^,where X^_0=X^_0=0, the continuous-time component X^ does not jump at predictable times, and the discrete-time component X^ is equal to the sum of its jumps at predictable times in the semimartingale topology. One then has ^,X^0. Typical examples of the continuous-time component are Itô process and Lévy process. The discrete-time component is often taken to be a
Markov chain A Markov chain or Markov process is a stochastic model describing a sequence of possible events in which the probability of each event depends only on the state attained in the previous event. Informally, this may be thought of as, "What happen ...
but in general the predictable jump times may not be well ordered, i.e., in principle X^ may jump at every rational time. Observe also that X^ is not necessarily of finite variation, even though it is equal to the sum of its jumps (in the semimartingale topology). For example, on the time interval [0,\infty) take X^ to have independent increments, with jumps at times \_ taking values \pm 1/n with equal probability.


Semimartingales on a manifold

The concept of semimartingales, and the associated theory of stochastic calculus, extends to processes taking values in a differentiable manifold. A process ''X'' on the manifold ''M'' is a semimartingale if ''f''(''X'') is a semimartingale for every smooth function ''f'' from ''M'' to R. Stochastic calculus for semimartingales on general manifolds requires the use of the Stratonovich integral.


See also

* Sigma-martingale


References

* * * * * {{Stochastic processes Martingale theory