Skip to main content
2 of 2
added 155 characters in body
Richard
  • 357
  • 1
  • 10

A diagonalisation argument applied to density functions

There is a claim from a paper which I do not understand:

Let $D$ be a domain in $\mathbb{R}^d$. Let $(p^{\eta})_{\eta >0}$ be a family of densities for random variables on $(C[0,T], \mathbb{R}^d)$. Suppose that

(i) For any bounded open domain $\mathcal{O}$ in $D$, the family of densities $(p^{\eta}|_{\mathcal{O}})_{\eta >0}$ is relatively compact in $L^2 ( [0,T], L^2 (\mathcal{O}))$, i.e. with the norm defined by $$ \| f \| = \bigg( \int_0^T \| f_t \|^2_{L^2 (\mathcal{O})} \,dt \bigg)^{1/2}, \quad \quad \forall f \in L^2 ( [0,T], L^2 (\mathcal{O})).$$

(ii) The set $(P^{\eta})_{\eta >0}$ of laws for the random variables in $(C[0,T], \mathbb{R}^d)$ corresponding to the above densities is tight.

Then it claims that we can select a subsequence $\eta_k \rightarrow 0$ such that the sequence of functions $p^{\eta_k}$ converges a.e. on $[0,T] \times D$ and in $L^2([0,T], L^2 ( \mathcal{O}))$, for any bounded domain $\mathcal{O}$ of $D$, as $k \to \infty$.

My main concern/problem about proving this is that the subsequences of densities converging in the $L^2([0,T], L^2 ( \mathcal{O}))$-norm depend on choice of $\mathcal{O}$ and there might be uncountably many $\mathcal{O}$ in general. How can we go about proving such a claim? Any ideas?

Richard
  • 357
  • 1
  • 10