c35e7f02d8982c13.tex
1: \begin{proof}
2: We have
3: \begin{eqnarray*}
4: & &  \left|\int (P^{n} \eta)(
5:   \mathbf{E}) \xi( \mathbf{E}) \mu( \mathrm{d}\mathbf{E}) - 
6:   \int (P^{n}\eta)( \mathbf{E}) \mu(\mathrm{d}\mathbf{E}) \int \xi( \mathbf{E}) \mu(
7:   \mathrm{d} \mathbf{E}) \right| \\
8: & = & \left| \int \xi (\mathbf{E}) \left( (P^{n}\eta)(\mathbf{E}) - 
9: \int (P^{n}\eta)(\mathbf{Z}) \mu(\mathrm{d}\mathbf{Z}) \right) 
10: \mu( \mathrm{d} \mathbf{E}) \right|\\
11: %& \le & \|\xi\|_{L^{\infty}} \ \int \left( \int |\zeta| \ |\delta_{\mathbf{x}}P^t - \mu P^t| \right)\ \mu( \mathrm{d} \mathbf{x}) \\
12: & \le & \|\xi\|_{L^{\infty}} \ \|\eta\|_{L^{\infty}} \ \int \|\delta_{\mathbf{E}}P^n - \mu P^n\|_{TV} \ 
13: \mu( \mathrm{d} \mathbf{E}) \,.
14: %& \leq & \|\xi\|_{L^{\infty}} \ \|\zeta\|_{L^{\infty}} \left ( \int \|
15: %  \delta_{\mathbf{x}} - \pi \|_{TV} \mu( \mathrm{d} \mathbf{x}) + \|
16: %  \mu P^{t} - \pi \|_{TV} \right ) \\
17: %&=&  \|\xi\|_{L^{\infty}} \ \|\zeta\|_{L^{\infty}} \|\delta_{\mathbf{x}}P^t - \mu P^t\|_{TV} \ = \ o \left(\frac{1}{t^{2-\gamma}} \right) \,.
18: \end{eqnarray*}
19: Since {\bf (A1), (A2), (N1)} and
20: {\bf (N2)} hold, it follows from Corollary \ref{rigorous2} that
21: $$
22:   \|\delta_{\mathbf{E}}P^n - \mu P^n\|_{TV} \leq C (
23:   \mathbf{E}_{\mathbf{E}}[ \tau_{\mathfrak{C}}^{\beta-\epsilon/2}] +
24:   \mathbf{E}_{\mu}[ \tau_{\mathfrak{C}}^{\beta - \epsilon/2}]
25:   )n^{\epsilon/2-\beta}  \,.
26: $$
27: We have $\mathbf{E}_{\mu}[ \tau_{\mathfrak{C}}^{\beta- \epsilon/2}]  < \infty$ and 
28: $$
29:   \int  \mathbf{E}_{\mathbf{E}}[ \tau_{\mathfrak{C}}^{\beta - \epsilon/2}]  \mu(
30:   \mathrm{d} \mathbf{E} ) = \mathbf{E}_{\mu}[
31:   \tau_{\mathfrak{C}}^{\beta - \epsilon/2}] < \infty \,.
32: $$
33: Therefore, 
34: $$
35:   \|\delta_{\mathbf{E}}P^n - \mu P^n\|_{TV}  \leq O(1) \cdot
36:   n^{\epsilon/2 -\beta} = o( n^{\epsilon - \beta}) \,.
37: $$
38: This completes the proof.
39: \end{proof}
40: