1
$\begingroup$

Consider the ON-sequence $\{\varphi_{k}\}_{k}\in L^{2}(\mathbb{R})$ and let $$I_{k}\in \mathrm{Bernoulli}(\lambda_{k}),\;\sum_{k=1}^\infty \lambda_{k}<\infty$$ $ \{I_k\} $ are all independent. Also let $A$ be a bounded intervall in $\mathbb{R}$ Is it allowed to change order of integration in the following manner? $$\mathbb{E}\left[\intop_A \intop_{A^c}\sum_{k=1}^\infty \sum_{j=1}^\infty I_k I_j \varphi_k(x)\overline{\varphi_j(x)}\overline{\varphi_k(y)}\varphi_j(y) \, dx \, dy\right]=$$ $$\intop_{A}\intop_{A^{c}}\sum\limits _{k=1}^{\infty}\sum\limits _{j=1}^{\infty}\mathbb{E}\left[I_{k}I_{j}\right]\varphi_{k}(x)\overline{\varphi_{j}(x)}\overline{\varphi_{k}(y)}\varphi_{j}(y)dxdy$$

This is how far i have come on my own: I would like to invoke Borell Cantelli lemma, which says that the sum in the integral is finite a.s.. However for each $\omega\in\Omega$ outside a zero-set the number of terms will depend on $\omega$ so there is no single function that bounds the integrand for almost all $\omega$ and there for we may not move the expectation inside the integral.

  • 0
    How about Tonnelli's theorem? It seems that the integrand is non-negative.2012-08-19
  • 0
    One basic problem: It's not always true that $\mathbf{E}(I_k I_j) = \lambda_k \lambda_j$.2012-08-19
  • 0
    sorry, they are independent as well. Should have mentioned it.2012-08-19
  • 0
    @srsly That doesn't matter. The problem is the case $k=j$.2012-08-19
  • 0
    That is true. So the left-hand side is incorrect. We would have to split up the sums. But could we still move the expectation inside?2012-08-19
  • 0
    Yes. By Fubini and Did's answer.2012-08-19
  • 0
    If you mean $I_k$ is a Bernoulli-distributed random variable, then $I_k\sim\mathrm{Bernoulli}(\lambda_k)$ would be the standard way to express that; not $I_k\in\mathrm{Bernoulli}(\lambda_k)$.2012-08-19
  • 0
    He did not motivate the exchange of order however. Could someone elaborate? The integrand is only finite if one integrates with respect to the probability measure first so how can you use fubini?2012-08-19
  • 0
    The standard way to check whether using Fubini is permissible, for $f(x,y)$, say, is to attempt to integrate $|f(x,y)|$. Since $|f(x,y)|$ is nonnegative, changing the order of integration is *always* permissible (this is what's sometimes called Tonelli's theorem). If the result of integrating $|f(x,y)|$ is finite, then exchanging the order of integration is permissible in the original integral of $f(x,y)$. In his answer, did checked exactly this condition. (Also note that $\mathbf{E}$, $\sum$, and $\int$ are all different ways of saying $\int$ with respect to measures of particular types.)2012-08-19
  • 0
    I was not aware of this, i thought you had to dominate the integrand. Thank you for clarifying2012-08-19

2 Answers 2