6e069794851921bb.tex
1: \begin{abstract} \label{abstract}
2: Let $n \in \N$, let $\zeta_{n,1},...,\zeta_{n,n}$ be a sequence of independent random variables with $\E \zeta_{n,i}=0$ and $\E |\zeta_{n,i}|<\infty$ for each $i$, and let $\mu$ be an $\alpha$-stable distribution having characteristic function $e^{-|\lambda|^{\alpha}}$ with $\alpha\in (1,2)$. Denote $S_{n}=\zeta_{n,1}+...+\zeta_{n,n}$ and its distribution by $\mcl L(S_n)$, we bound the Wasserstein-1 distance of $\mcl L(S_{n})$ and $\mu$ essentially by an $L^{1}$ discrepancy between two kernels. More precisely, we prove the following inequality:
3: \ \ \
4: \Bes
5: \begin{split}
6: d_W\left(\mcl L (S_n), \mu\right) \ \le C  \left[\sum_{i=1}^n\int_{-N}^N \left|\frac{\mcl K_\alpha(t,N)}n -\frac{ K_i(t,N)}{\alpha}\right| \dif t \ +\ \mcl R_{N,n}\right],
7: \end{split}
8: \Ees
9: where $d_W$ is the Wasserstein-1 distance of probability measures, $\mcl K_\alpha(t,N)$ is the kernel of a decomposition of the fractional Laplacian $\Delta^{\frac \alpha2}$, $ K_i(t,N)$ is a $K$ function \cite{ChGoSh11} with a truncation, and $\mcl R_{N,n}$ is a small remainder. The integral term
10: \ \ \
11: $$\sum_{i=1}^n\int_{-N}^N \left|\frac{\mcl K_\alpha(t,N)}n -\frac{ K_i(t,N)}{\alpha}\right| \dif t$$
12: can be interpreted as an $L^{1}$ discrepancy.
13: 
14: As an application, we prove a general theorem of stable law convergence rate when $\zeta_{n,i}$ are i.i.d. and the distribution falls in the normal domain of attraction
15: of $\mu$. To test our results, we compare our convergence rates with those known in the literature for four given examples, among which the distribution in the fourth example is not in the normal domain of attraction of $\mu$.
16: \\ \\
17: {\bf Key words:} stable approximation, Wasserstein-1 distance ($W_{1}$ distance), Stein's method, $L^1$ discrepancy, normal domain of  attraction of stable law, $\alpha$-stable processes
18: \end{abstract}
19: