local properties of processes
Many properties of stochastic processes^{}, such as the martingale^{} property, can be generalized to a corresponding local property. The local properties can be more useful than the original property because they are often preserved under certain transformations^{} of processes, such as random time changes and stochastic integration.
Let $(\mathrm{\Xi \copyright},\mathrm{\beta \x84\pm},{({\mathrm{\beta \x84\pm}}_{t})}_{t\beta \x88\x88\mathrm{\pi \x9d\x95\x8b}},\mathrm{\beta \x84\x99})$ be a filtered probability space and $\mathrm{{\rm O}\x80}$ be a property of stochastic processes with time index set^{} $\mathrm{\pi \x9d\x95\x8b}\beta \x8a\x86\mathrm{\beta \x84\x9d}$. The property $\mathrm{{\rm O}\x80}$ is said to hold locally for a process $X$ if there exists a sequence of stopping times ${({\mathrm{{\rm O}\x84}}_{n})}_{n\beta \x88\x88{\mathrm{\beta \x84\u20ac}}_{+}}$ taking values in $\mathrm{\pi \x9d\x95\x8b}\beta \x88\u037a\{\mathrm{\beta \x88\x9e}\}$ and almost surely increasing to infinity^{}, such that the stopped processes ${X}^{{\mathrm{{\rm O}\x84}}_{n}}$ have property $\mathrm{{\rm O}\x80}$ for each $n$.
Often, the index set $\mathrm{\pi \x9d\x95\x8b}$ has a minimal element ${t}_{0}$, in which case it is convenient to extend the concept of localization slightly so that $\mathrm{{\rm O}\x80}$ holds locally if there is a sequence of stopping times ${\mathrm{{\rm O}\x84}}_{n}$ almost surely increasing to infinity and such that ${1}_{\{{\mathrm{{\rm O}\x84}}_{n}>{t}_{0}\}}\beta \x81\u2019{X}^{{\mathrm{{\rm O}\x84}}_{n}}$ have property $\mathrm{{\rm O}\x80}$.
The property of locally satisfying $\mathrm{{\rm O}\x80}$ is often denoted as ${\mathrm{{\rm O}\x80}}_{\text{loc}}$. Similarly, if $\mathrm{{\rm O}\x80}$ is a class of processes then the processes which are locally in $\mathrm{{\rm O}\x80}$ is denoted by ${\mathrm{{\rm O}\x80}}_{\text{loc}}$. Letting ${\mathrm{{\rm O}\x84}}_{n}$ be the stopping times taking the constant value $\mathrm{\beta \x88\x9e}$ shows that every process in $\mathrm{{\rm O}\x80}$ is also locally in $\mathrm{{\rm O}\x80}$, so $\mathrm{{\rm O}\x80}\beta \x8a\x86{\mathrm{{\rm O}\x80}}_{\text{loc}}$.
In most cases where localization is used, such as with the class of rightcontinuous martingales, for any process $X$ in $\mathrm{{\rm O}\x80}$ and stopping time $\mathrm{{\rm O}\x84}$ then ${1}_{\{\mathrm{{\rm O}\x84}>{t}_{0}\}}\beta \x81\u2019{X}^{\mathrm{{\rm O}\x84}}$ is also in $\mathrm{{\rm O}\x80}$. If this is the case then it is easily shown that a process is locally in ${\mathrm{{\rm O}\x80}}_{\text{loc}}$ if and only if it is locally in $\mathrm{{\rm O}\x80}$. So, ${({\mathrm{{\rm O}\x80}}_{\text{loc}})}_{\text{loc}}={\mathrm{{\rm O}\x80}}_{\text{loc}}$.
Examples of commonly used local properties are as follows.

1.
A process $X$ is said to be a local martingale if it is locally a rightcontinuous martingale. That is, if there is a sequence of stopping times ${\mathrm{{\rm O}\x84}}_{n}$ almost surely increasing to infinity and such that ${1}_{\{{\mathrm{{\rm O}\x84}}_{n}>{t}_{0}\}}\beta \x81\u2019{X}_{{\mathrm{{\rm O}\x84}}_{n}\beta \x88\S t}$ is integrable and,
$${1}_{\{{\mathrm{{\rm O}\x84}}_{n}>{t}_{0}\}}{X}_{{\mathrm{{\rm O}\x84}}_{n}\beta \x88\S s}=\mathrm{\pi \x9d\x94\u038c}[{1}_{\{{\mathrm{{\rm O}\x84}}_{n}>{t}_{0}\}}{X}_{{\mathrm{{\rm O}\x84}}_{n}\beta \x88\S t}\beta \x88\pounds {\mathrm{\beta \x84\pm}}_{s}]$$ for all $$. In the discretetime case where $\mathrm{\pi \x9d\x95\x8b}={\mathrm{\beta \x84\u20ac}}_{+}$ then it can be shown that a local martingale $X$ is a martingale if and only if $$ for every $t\beta \x88\x88{\mathrm{\beta \x84\u20ac}}_{+}$. More generally, in continuoustime where $\mathrm{\pi \x9d\x95\x8b}$ is an interval^{} of the real numbers, then the stronger property that
$$\{{X}_{\mathrm{{\rm O}\x84}}:\mathrm{{\rm O}\x84}\beta \x89\u20act\beta \x81\u2019\text{\Beta is a stopping time}\}$$ is uniformly integrable for every $t\beta \x88\x88\mathrm{\pi \x9d\x95\x8b}$ gives a necessary and sufficient condition for a local martingale to be a martingale.
Local martingales form a very important class of processes in the theory of stochastic calculus. This is because the local martingale property is preserved by the stochastic integral, but the martingale property is not. Examples of local martingales which are not proper martingales are given by solutions to the stochastic differential equation
$$d\beta \x81\u2019X={X}^{\mathrm{\Xi \pm}}\beta \x81\u2019d\beta \x81\u2019W$$ where $X$ is a nonnegative process, $W$ is a Brownian motion^{} and $\mathrm{\Xi \pm}>1$ is a fixed real number.
An alternative definition of local martingales which is sometimes used requires ${X}^{{\mathrm{{\rm O}\x84}}_{n}}$ to be a martingale for each $n$. This definition is slightly more restrictive, and is equivalent^{} to the definition given above together with the condition that ${X}_{{t}_{0}}$ must be integrable.

2.
A local submartingale (resp. local supermartingale) is a rightcontinuous process which is locally a submartingale (resp. supermartingale). A local submartingale can be shown to be a submartingale if and only if ${X}_{{t}_{0}}$ is integrable and the set $\{{X}_{\mathrm{{\rm O}\x84}}\beta \x88\xa80:\mathrm{{\rm O}\x84}\beta \x89\u20act\beta \x81\u2019\text{\Beta is a stopping time}\}$ is locally integrable for every $t\beta \x88\x88\mathrm{\pi \x9d\x95\x8b}$. In particular, every nonpositive local submartingale $X$ for which ${X}_{{t}_{0}}$ is integrable is a submartingale. Similarly every nonnegative supermartingale $X$ such that ${X}_{{t}_{0}}$ is integrable is a supermartingale.

3.
An increasing and nonnegative process $X$ is locally integrable if it is locally an integrable process. That is, there is a sequence of stopping times ${\mathrm{{\rm O}\x84}}_{n}$ increasing to infinity and such that $$ for every $n\beta \x88\x88{\mathrm{\beta \x84\u20ac}}_{+}$ and $t\beta \x88\x88\mathrm{\pi \x9d\x95\x8b}$. By monotonicity of $X$, this is equivalent to $$. For example, the maximum process ${X}_{t}^{*}\beta \x89\u2018{sup}_{s\beta \x89\u20act}\beta \x81\u2018{X}_{s}$ of a local martingale $X$ is locally integrable.

4.
A process $X$ is said to be locally bounded if there is a sequence of stopping times ${\mathrm{{\rm O}\x84}}_{n}$ almost surely increasing to infinity and such that ${1}_{\{{\mathrm{{\rm O}\x84}}_{n}\beta \x89\u20af{t}_{0}\}}\beta \x81\u2019{X}^{{\mathrm{{\rm O}\x84}}_{n}}$ are uniformly bounded processes. For example, in discretetime so $\mathrm{\pi \x9d\x95\x8b}={\mathrm{\beta \x84\u20ac}}_{+}$, then every predictable process is locally bounded.
Similarly, in continuoustime, if $\mathrm{{\rm O}\x80}$ is a property of stochastic processes and $X$ is a stochastic process such that the left limits of ${X}_{t}$ with respect to $t$ exist everywhere, then $X$ is said to prelocally satisfy $\mathrm{{\rm O}\x80}$ if there is a sequence of stopping times ${\mathrm{{\rm O}\x84}}_{n}$ almost surely increasing to infinity and such that the prestopped processes ${1}_{\{{\mathrm{{\rm O}\x84}}_{n}>{t}_{0}\}}\beta \x81\u2019{X}^{{\mathrm{{\rm O}\x84}}_{n}}$ satisfy $\mathrm{{\rm O}\x80}$.
Title  local properties of processes 
Canonical name  LocalPropertiesOfProcesses 
Date of creation  20130322 18:38:50 
Last modified on  20130322 18:38:50 
Owner  gel (22282) 
Last modified by  gel (22282) 
Numerical id  5 
Author  gel (22282) 
Entry type  Definition 
Classification  msc 60G05 
Classification  msc 60G40 
Classification  msc 60G48 
Related topic  LocalMartingale 
Defines  local property 
Defines  local submartingale 
Defines  local martingale 
Defines  locally integrable process 
Defines  locally bounded process 
Defines  prelocalization 
Defines  prelocal property 