ucp convergence of processes

Let $(\mathrm{\Omega },ℱ,{({ℱ}_t)}_{t\in {ℝ}_{+}},\mathbb{P})$ be a filtered probability space. Then a sequence of stochastic processes ${(X_t^n)}_{t\in {ℝ}_{+}}$ is said to converge to the process $(X_t)$ in the ucp topology (uniform convergence on compacts in probability) if

(1)

in probability (http://planetmath.org/ConvergenceInProbability) as $n\to \mathrm{\infty }$, for every $t>0$. That is, if

for all $ϵ,t>0$. The notation $X^n\stackrel{ucp}{\to }\mathrm{X}$ is sometimes used, and $X^n$ is said to converge ucp to $X$. This mode of convergence occurs frequently in the theory of continuous-time stochastic processes, and some examples are given below.

Note that the expression on the left hand side of (1) is a supremum of an uncountable set of random variables and, therefore, need not be a measurable quantity in general. If, however, the processes have left or right-continuous sample paths, then the supremum can be restricted to rational times

and is measurable. Typically, it is only required that the sample paths are left or right-continuous almost surely, so the above equality holds on a set of probability one. More generally, if the processes are jointly measurable, then the expression on the left hand side of (1) will be a measurable random variable in the completion (http://planetmath.org/CompleteMeasure) of the probability space (by the measurable projection theorem). This is enough to ensure that the definition above is meaningful, and gives a well defined topology on the space of jointly measurable processes.

The ucp topology can be generated by a pseudometric. For example, setting

then $(X,Y)\mapsto D^{\mathrm{ucp}}(X-Y)$ is a pseudometric on the space of measurable processes such that $X^n\stackrel{ucp}{\to }\mathrm{X}$ if and only if $D^{\mathrm{ucp}}(X^n-X)\to 0$ as $n\to \mathrm{\infty }$. Furthermore, this becomes a metric under the identification of processes with almost surely identical sample paths.

If $X^n\stackrel{ucp}{\to }\mathrm{X}$ then we may pass to a subsequence satisfying . The Borel-Cantelli lemma then implies that $X^{n_k}\to X$ uniformly on all compact intervals, with probability one. So, any sequence converging in the ucp topology has a subsequence converging uniformly on compacts, with probability one. Consequently, given any property of the sample paths which is preserved under uniform convergence on compacts, then it is also preserved under ucp convergence with probability one. In particular, ucp limits of cadlag processes are themselves cadlag.

Some examples of ucp convergence are given below.

1. If $X^n,X$ are cadlag martingales such that $𝔼[|X_t^n-X_t|]\to 0$ for every $t>0$ then, Doob’s inequality

   $$\mathbb{P}(\underset{s\le t}{sup}|X_s^n-X_s|>ϵ)\le {ϵ}^{-1}𝔼[|X_t^n-X_t|]$$

   shows that $X^n$ converges ucp to $X$.

2. Let $X$ be a semimartingale and ${\xi }^n$ be predictable processes converging pointwise to $\xi$ such that ${sup}_n|{\xi }^n|$ is $X$-integrable. Then, the dominated convergence theorem for stochastic integration (http://planetmath.org/DominatedConvergenceForStochasticIntegration) gives

   $$\int {\xi }^n𝑑X\stackrel{ucp}{\to }\int \xi \mathrm{dX}.$$

3. Suppose that the stochastic differential equation

   $$dX=a(X)dW+b(X)dt$$

   for continuous functions $a,b:ℝ\to ℝ$ and Brownian motion $W$ has a unique solution with $X_0=0$. For any partition $0=t_0\le t_1\le \mathrm{\cdots }\uparrow \mathrm{\infty }$, the following discrete approximation can be constructed

   $${\tilde{X}}_0=0,{\tilde{X}}_{t_{k+1}}={\tilde{X}}_{t_k}+a({\tilde{X}}_{t_k})(W_{t_{k+1}}-W_{t_k})+b({\tilde{X}}_{t_k})(t_{k+1}-t_k).$$

   Setting ${\tilde{X}}_t={\tilde{X}}_{t_k}$ for $t\in (t_k,t_{k+1})$ then these discrete approximations converge to $X$ in the ucp topology as the partition mesh goes to zero.

Title	ucp convergence of processes
Canonical name	UcpConvergenceOfProcesses
Date of creation	2013-03-22 18:39:48
Last modified on	2013-03-22 18:39:48
Owner	gel (22282)
Last modified by	gel (22282)
Numerical id	6
Author	gel (22282)
Entry type	Definition
Classification	msc 60G05
Classification	msc 60G07
Related topic	CadlagProcess
Related topic	SemimartingaleTopology
Defines	ucp convergence
Defines	ucp topology
Defines	converges ucp