Difícil Anidada Integral

Question

¿Alguien sabe de alguna trucos que resolver

$$\large G_n(t) = \int_0^t dt_1 \int_0^{t_1} dt_2 \cdots \int_0^{t_{n-2}}dt_{n-1}\int_0^{t_{n-1}}dt_{n} e^{i\lambda(t_1-t_2+t_3-\cdots + t_{n-1}-t_n)}$$

Yo he venido para arriba con un par de recursión relaciones pero me estoy dando cuenta que es difícil precisar la respuesta exacta.

Answer 1

Por reescalado $t_{k} = t u_{k}$ tenemos $$\begin{eqnarray} G_n(\lambda, t) &=& t^n n! \int_0^1 \mathrm{d} u_1 \frac{1}{n!} \int_0^{u_1} \mathrm{d} u_2 \cdots \int_0^{u_{n-1}} \mathrm{d} u_n \exp\left(i \lambda t \sum_{k=1}^n (-1)^{k-1} u_k \right) \\ &=& t^n n! \mathbb{E}\left( \exp\left(i \lambda t \sum_{k=1}^n (-1)^{k-1} U_{k:n} \right) \right) \end{eqnarray}$$ donde $U_{k:n}$ $k$ $n$ estadísticas de orden en una muestra de una distribución uniforme. Es bien sabido que el vector $(U_{1:n},U_{2:n},\ldots,U_{n:n})$ es igual a la distribución a $$\left( \frac{X_1}{\sum_{k=1}^{n+1} X_k}, \frac{X_1+X_2}{\sum_{k=1}^{n+1} X_k}, \ldots, \frac{X_1+X_2 + \cdots + X_n}{\sum_{k=1}^{n+1} X_k} \right)$$ donde $X_i$ son yo.yo.d. exponencial de variables aleatorias con una unidad de media. Por lo tanto $G_n$ está relacionado con la función característica de la distribución beta: $$\begin{eqnarray} \sum_{k=1}^n (-1)^{k-1} U_{k:n} &=& \frac{1}{\sum_{m=1}^{n+1} X_m} \sum_{k=1}^n (-1)^{k-1} \sum_{p=1}^{k} X_p = \frac{1}{\sum_{m=1}^{n+1} X_m} \sum_{k=1}^n (-1)^{k-1} \sum_{p=1}^{k} X_p \\ &=& \frac{1}{\sum_{m=1}^{n+1} X_m} (-1)^{n-1} \sum_{0\leqslant 2k < n} X_{n-2k} \\ &=& (-1)^{n-1} \frac{\sum_{0\leqslant 2k < n} X_{n-2k} }{ \sum_{0\leqslant 2k < n} X_{k} + \sum_{0\leqslant 2k < n+1} X_{n+1-2k} } = (-1)^{n-1} \frac{g_1}{g_1+g_2} \end{eqnarray}$$ donde $g_1$ siguiente $\Gamma\left( \left\lfloor \frac{n+1}{2} \right\rfloor\right)$ distribución y $g_2$ siguiente $\Gamma\left( \left\lceil \frac{n+1}{2} \right\rceil\right)$. La relación de $V = g_1/(g_1+g_2)$ $\operatorname{Beta}\left(\left\lfloor \frac{n+1}{2} \right\rfloor, \left\lceil \frac{n+1}{2} \right\rceil \right)$ variable aleatoria. Así

$$G_n(t) = n! t^n \phi_V( (-1)^{n-1} \lambda t ) = n! t^{n} \cdot {}_1 F_1\left( \left\lfloor \frac{n+1}{2} \right\rfloor ; n+1, (-1)^{n-1} i \lambda t \right)$$

Aquí es la verificación en Mathematica v8:

In[1]:= Table[
  Hypergeometric1F1[Floor[(n + 1)/2], 1 + n, (-1)^(n - 1) I la t] - 
   Expectation[ Exp[I la t Sum[(-1)^(k - 1) x[k], {k, 1, n}]], 
    Array[x, n] \[Distributed] 
     OrderDistribution[{UniformDistribution[], n}, Range[n]], 
    Assumptions -> la > 0 && t > 0], {n, 2, 6}] // Expand

Out[1]= {0, 0, 0, 0, 0}