Integral con integrand desordenado

Question

Deje que $N\in\mathbb{N}$ , $\theta_{i}>0$ y $a_{ij}\in\mathbb{R}$ , $\forall i = 1,\ldots, N$ . ¿Hay una expresión algo explícita para \begin{align} \int_{0}^{\infty} t \left[\prod_{i=1}^{N} \frac{1}{\sqrt{1+2\theta_{i}t}}\right] \left[\sum_{i,j=1}^{N}\frac{a_{ij}}{(1+2\theta_{i}t)(1+2\theta_{j}t)}\right]dt? \end {align}

Answer 1

Cuando $N>2$, suponiendo que todas las $\theta_i$'s son diferentes, podemos derivar una expresión para la integral que implica una suma multivariante de funciones hipergeométricas.

Descomponemos los términos de la suma, considerando en primer lugar la no-diagonal: \begin{align} \sum_{\stackrel{i,j=1}{i\ne j}}^{N}\frac{a_{ij}}{(1+2\theta_{i}t)(1+2\theta_{j}t)}&=\sum_{\stackrel{i,j=1}{i\ne j}}^{N}\frac{a_{ij}}{\theta_i-\theta_j}\left[\frac{\theta_i}{1+2\theta_{i}t}-\frac{\theta_j}{1+2\theta_{j}t}\right]\\ &=\sum_{\stackrel{i,j=1}{i\ne j}}^{N}\left( a_{ij}+a_{ji} \right)\frac{\theta_i}{\theta_i-\theta_j}\frac{1}{1+2\theta_{i}t}\\ &=\sum_{i=1}^N \frac{\alpha_i}{1+2\theta_{i}t} \end{align} donde definimos \begin{equation} \alpha_i=\sum_{\stackrel{j=1}{j\ne i}}^{N}\left( a_{ij}+a_{ji} \right)\frac{\theta_i}{\theta_i-\theta_j} \end{equation} (todos los $\theta_i$ se supone que para ser diferente). Teniendo en cuenta la diagonal de la contribución, la suma se convierte en \begin{align} \sum_{i,j=1}^{N}\frac{a_{ij}}{(1+2\theta_{i}t)(1+2\theta_{j}t)}&= \sum_{i=1}^N \left[\frac{a_{ii}}{\left( 1+2\theta_{i}t \right)^2}+\frac{\alpha_i}{1+2\theta_{i}t}\right]\\ \end{align} Entonces \begin{align} \prod_{k=1}^{N} &\frac{1}{\sqrt{1+2\theta_{k}t}}\sum_{i,j=1}^{N}\frac{a_{ij}}{(1+2\theta_{i}t)(1+2\theta_{j}t)}\\ &= \sum_{i=1}^N \left[\frac{a_{ii}}{\left( 1+2\theta_{i}t \right)^{5/2}}+\frac{\alpha_i}{\left( 1+2\theta_{i}t \right)^{3/2}}\right] \prod_{\stackrel{k=1}{k\ne i}}^{N} \left( 1+2\theta_{k}t \right)^{-1/2}\\ \end{align}

Un multivariante función hipergeométrica se define como \begin{align} R_{-a}\left( \mathbf{b};\mathbf{z} \right)&=R_{-a}\left(b_1,b_2,\ldots,b_n;z_1,z_2,\ldots,z_n\right)\\ &=\frac{1}{\mathrm{B}\left(a,a^{\prime}\right)}\int_{0}^{\infty}t^{a% -1}\prod^{n}_{j=1}(1+tz_{j})^{-b_{j}}\mathrm{d}t \end{align} donde $b_1+b_2+\cdots+b_n>a>0, b_j\in\mathbb{R},z_j\in\mathbb{C}\backslash (-\infty,0]$, y \begin{equation} a^{\prime}=-a+\sum_{j=1}^{n}b_{j} \end{equation} La integral se puede escribir como, \begin{align} I&=\int_{0}^{\infty} t \left[\prod_{k=1}^{N} \frac{1}{\sqrt{1+2\theta_{k}t}}\right] \left[\sum_{i,j=1}^{N}\frac{a_{ij}}{(1+2\theta_{i}t)(1+2\theta_{j}t)}\right]dt\\ &=\frac{1}{4}\sum_{i=1}^N \int_{0}^{\infty} t\left[\frac{a_{ii}}{\left( 1+\theta_{i}t \right)^{5/2}}+\frac{\alpha_i}{\left( 1+\theta_{i}t \right)^{3/2}}\right] \prod_{\stackrel{k=1}{k\ne i}}^{N} \left( 1+\theta_{k}t \right)^{-1/2}\,dt\\ &=\frac{1}{N}\sum_{i=1}^N\left[\frac{a_{ii}}{N+2}R_{-2}\left( \mathbf{\frac{1}{2}}+2\mathbf{e_i};\boldsymbol{\theta} \right)+\frac{\alpha_{i}}{N-2}R_{-2}\left( \mathbf{\frac{1}{2}}+\mathbf{e_i};\boldsymbol{\theta} \right)\right] \end{align} Aquí $\mathbf{e_i}$ es una n-tupla con 1 en la i-ésima lugar y 0 en otro lugar.

La función hipergeométrica multivariada puede ser expresado en términos de un Lauricella $F_D$ función, es decir, como una hipergeométrica de la serie de las variables $1-\theta_i$ (véase, por ejemplo, este papel por el B. C. Carlson).

Cuando varios $\theta_i$ son idénticos, el método anterior debe ser modificado teniendo en cuenta un menor número de variables y diferentes exponente. Finalmente, los casos de $N=1,2$ se puede calcular directamente, que conducen a la integral elíptica expresiones.