Semimartingale

In probability theory, a real valued process "X" is called a semimartingale if it can be decomposed as the sum of a local martingale and an adapted finite-variation process.Semimartingales are "good integrators", forming the largest class of processes with respect to which the Itō integral can be defined.The class of semimartingales is quite large (including, for example, all continuously differentiable processes, Brownian motion and Poisson processes). Submartingales and supermartingales together represent a subset of the semimartingales.

Definition

A real valued process "X" defined on the filtered probability space (Ω,"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 of locally bounded variation.

An R^"n"-valued process "X" = ("X"¹,…,"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_{{"t" > "T"}} 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:$Hcdot\; X\_tequiv\; 1\_\{\{t>TA(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\{Hcdot\; X\_t:H\{\; m\; is\; simple\; predictable\; and\; \}|H|le\; 1\; ight\}$

is bounded in probability. The Bichteler-Dellacherie Theorem states that these two definitions are equivalent Harv|Protter|2004|p=144.

Examples

* Adapted and continuously differentiable processes are finite variation processes, and hence are semimartingales.
* Brownian motion 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. Harv|Protter|2004|p=53

emimartingale 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. Harv|Rogers|Williams|1987|p=358

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^tsigma\_s,dW\_s,\; A\_t=int\_0^t\; b\_s,ds.$

pecial semimartingales

A special semimartingale is a real valued process "X" with the decomposition "X" = "M" + "A", where "M" is a local martingale and "A" 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 Harv|Protter|2004|p=130.

For example, every continuous semimartingale is a special semimartingale, in which case "M" and "A" are both continuous processes.

Purely discontinuous semimartingales

A semimartingale is called purely discontinuous if its quadratic variation ["X"] is a pure jump process,:$[X]\; \_t=sum\_\{sle\; t\}Delta\; X\_s^2$.Every adapted finite variation process is a purely discontinuous semimartingale. A continuous process is a purely discontinuous semimartingale if and only if it is an adapted finite variation process.

Then, every semimartingale has the unique decomposition "X" = "M" + "A" where "M" is a continuous local martingale and "A" is a purely discontinuous semimartingale starting at zero. The local martingale "M" - "M"₀ is called the continuous martingale part of "X", and written as "X"^c (Harvnb|He|Wang|Yan|1992|p=209; Harvnb|Kallenberg|2002|p=527).

In particular, if "X" is continuous, then "M" and "A" are continuous.

emimartingales 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. Harv|Rogers|1987|p=24 Stochastic calculus for semimartingales on general manifolds requires the use of the Stratonovich integral.

References

*Citation|last=He|first=Sheng-wu|last2=Wang|first2=Jia-gang|last3=Yan|first3=Jia-an|year=1992|title=Semimartingale Theory and Stochastic Calculus|publisher=Science Press, CRC Press Inc.|isbn=7-03-003066-4,0-8493-7715-3
*Citation|last=Kallenberg|first=Olav|year=2002|title=Foundations of Modern Probability|edition=2nd|publisher=Springer|isbn=0-387-95313-2
*Citation|last=Protter|first=Philip E.|year=2004|title=Stochastic Integration and Differential Equations|publisher=Springer|edition=2nd|isbn=3-540-00313-4
*Citation|last=Rogers|first=L.C.G.|last2=Williams|first2=David|year=1987|volume=2|title=Diffusions, Markov Processes, and Martingales|publisher=John Wiley & Sons Ltd|isbn=0-471-91482-7