1
$\begingroup$

Up to what order do the moments of the Kolmogorov distribution exist? References would be appreciated.

$\endgroup$
3
  • $\begingroup$ Have you tried to use the cumulative distribution function? $\endgroup$ Commented Mar 7, 2013 at 16:37
  • $\begingroup$ @Davide Thanks. I know that I could try by integrating the density or by using $E[X^n]=\int n x^{n-1}P(X>x)$. However, since both approaches involve the integration of an alternating series, I was looking for a credible reference that justifies the steps. My google-foo has not lead me to a helpful reference yet. $\endgroup$
    – Askoli
    Commented Mar 7, 2013 at 17:40
  • $\begingroup$ In addition, by wildly interchanging the series and the integration process, I came up to the conclusion that all the moments exist. But I would like to confirm this. $\endgroup$
    – Askoli
    Commented Mar 7, 2013 at 17:45

1 Answer 1

2
$\begingroup$

The Kolmogorov distribution is defined by the distribution of the random variable $K:=\sup_{0\leqslant t\leqslant 1}|B(t)|$, where $B(t)$ is the Brownian Bridge.

The problem of existence of moments for $K$ is actually the same as the study of moments of $K':=\sup_{0\leqslant t\leqslant 1}|W(t)|$, where $W(t)$ is a standard Brownian motion. An application of Doob's (sub)martingale inequality gives that for all $C>0$, $$P(K'\geqslant C)\leqslant \exp\left(-\frac{C^2}2\right).$$

Using the fact that for a non-negative random variable $X$ and $p>1$, we have $$E(X^p)=\int_0^{+\infty}pt^{p-1}P(X\geqslant t)dt,$$ we conclude that Kolmogorov distribution admits moments of any order.

$\endgroup$
2
  • $\begingroup$ Many thanks. Very nice answer. Before accepting, can we say something about the existence of moments for $p<0$ using the same argument? $\endgroup$
    – Askoli
    Commented Mar 7, 2013 at 18:34
  • $\begingroup$ We have for $p<0$ that $K^p\leqslant |B(1)|^p$ hence there are moments of order $p$ for $0-1<p<0$. $\endgroup$ Commented Mar 7, 2013 at 18:56

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .