3
$\begingroup$

For fixed $k$ suppose we have $X_1,\ldots,X_k$ non-negative random variables with density functions.

Setting a): We know $\mathbb{E}[(X_1^n+\cdots+X_k^n)^m]$ exactly for any integers $n,m \in \mathbb{N}$.

Setting b): We can approximate $\mathbb{E}[(X_1^n+\cdots+X_k^n)^m]$ up to some additive error $R_{m,n}$ with $\sup\limits_{m \in \mathbb{N}} |R_{m,n}| \cdot \mathbb{E}[(X_1^n+\cdots+X_k^n)^m]^{-1} \xrightarrow {n \rightarrow \infty} 0$.

Is there a nice way to extract the moments $\mathbb{E}[\max(X_1,\ldots,X_k)^a]$?

There is some trickery one can do with the series expansion of the $n$-th root \begin{align*} & (1+x)^{\frac{a}{n}} = \sum\limits_{r=0}^\infty \frac{\prod\limits_{l=0}^{r-1} (a-ln)}{r! n^r} x^r \ , \end{align*} since the convergence $\mathbb{E}[(X_1^n+\cdots+X_k^n)^{\frac{a}{n}}] \xrightarrow{n \rightarrow \infty} \mathbb{E}[\max(X_1,\ldots,X_k)^a]$ holds (under mild integrability conditions). However, the calculations become nasty quickly. Is there a better way? For example a nice analytic function $f_n$, which is close enough to the $n$-th root for large values might make the process easier.

Any help is much apprechiated! Setting (a) is fine, but I am also interested in Setting (b).

$\endgroup$
7
  • $\begingroup$ (i) By "large $n$ and $m$", do you mean "all large $n$ and $m$"? (ii) To use the limit transition, you need small $m$ ($m\sim a/n$), not large. (iii) What do you mean by "extract"? Why not extract by the limit transition? $\endgroup$ Commented Sep 26, 2023 at 13:05
  • $\begingroup$ Oh, yes sorry only $n$ can be large and $m$ is an arbitrary integer. I'll edit the question to make this clearer. $\endgroup$ Commented Sep 26, 2023 at 13:37
  • $\begingroup$ When $m$ is an integer, I sadly can't directly find the limit, I have to go through the series representation of the $n$-th square root, which only works on the interval (0,2), which means I first have to rescale into the interval. The formulas quickly explode such that I am finding it difficult to find the limit, so I am looking for alternatives. $\endgroup$ Commented Sep 26, 2023 at 13:40
  • $\begingroup$ "for large $n$ and fixed integers $m \in \mathbb{N}$" is still not quite clear to me. Can you place formal quantifiers here: for each ... there are ...? $\endgroup$ Commented Sep 26, 2023 at 14:18
  • $\begingroup$ Yes, sorry. I am currently in Setting (b), but am confident in getting to the exact values for Setting (a). $\endgroup$ Commented Sep 26, 2023 at 14:32

0

You must log in to answer this question.