Integral de Selberg

En matemáticas , la integral de Selberg es una generalización de la función beta de Euler a n dimensiones introducida por Atle Selberg . ^{[1] [2]}

Cuando tenemos ${\displaystyle Re(\alpha )>0,Re(\beta )>0,Re(\gamma )>-\min \left({\frac {1}{n}},{\frac {Re(\alpha )}{n-1}},{\frac {Re(\beta )}{n-1}}\right)}$

${\displaystyle {\begin{aligned}S_{n}(\alpha ,\beta ,\gamma )&=\int _{0}^{1}\cdots \int _{0}^{1}\prod _{i=1}^{n}t_{i}^{\alpha -1}(1-t_{i})^{\beta -1}\prod _{1\leq i<j\leq n}|t_{i}-t_{j}|^{2\gamma }\,dt_{1}\cdots dt_{n}\\&=\prod _{j=0}^{n-1}{\frac {\Gamma (\alpha +j\gamma )\Gamma (\beta +j\gamma )\Gamma (1+(j+1)\gamma )}{\Gamma (\alpha +\beta +(n+j-1)\gamma )\Gamma (1+\gamma )}}\end{alineado}}}$

La fórmula de Selberg implica la identidad de Dixon para series hipergeométricas bien equilibradas y algunos casos especiales de la conjetura de Dyson . Este es un corolario de Aomoto.

Aomoto demostró una fórmula integral ligeramente más general. ^[3] Con las mismas condiciones que la fórmula de Selberg,

${\displaystyle \int _{0}^{1}\cdots \int _{0}^{1}\left(\prod _{i=1}^{k}t_{i}\right)\prod _{i=1}^{n}t_{i}^{\alpha -1}(1-t_{i})^{\beta -1}\prod _{1\leq i<j\leq n}|t_{i}-t_{j}|^{2\gamma }\,dt_{1}\cdots dt_{n}}$

${\displaystyle =S_{n}(\alpha ,\beta ,\gamma )\prod _{j=1}^{k}{\frac {\alpha +(nj)\gamma }{\alpha +\beta +(2n-j-1)\gamma }}.}$

Una prueba se encuentra en el Capítulo 8 de Andrews, Askey & Roy (1999). ^[4]

Cuando , ${\displaystyle Re(\gamma )>-1/n}$

${\displaystyle {\frac {1}{(2\pi )^{n/2}}}\int _{-\infty }^{\infty }\cdots \int _{-\infty }^{\infty }\prod _{i=1}^{n}e^{-t_{i}^{2}/2}\prod _{1\leq i<j\leq n}|t_{i}-t_{j}|^{2\gamma }\,dt_{1}\cdots dt_{n}=\prod _{j=1}^{n}{\frac {\Gamma (1+j\gamma )}{\Gamma (1+\gamma )}}.}$

Es un corolario de Selberg, al establecer , y cambiar las variables con , tomando luego . ${\displaystyle \alpha =\beta}$${\displaystyle t_{i}={\frac {1+t'_{i}/{\sqrt {2\alpha }}}{2}}}$${\displaystyle \alpha \to \infty}$

Esto fue conjeturado por Mehta y Dyson (1963), quienes desconocían el trabajo anterior de Selberg. ^[5]

Es la función de partición para un gas de cargas puntuales que se mueven sobre una línea y que son atraídas hacia el origen. ^[6]

Macdonald (1982) conjeturó la siguiente extensión de la integral de Mehta a todos los sistemas de raíces finitos , correspondiendo el caso original de Mehta al sistema de raíces A _{n −1} . ^[7]

${\displaystyle {\frac {1}{(2\pi )^{n/2}}}\int \cdots \int \left|\prod _{r}{\frac {2(x,r)}{(r,r)}}\right|^{\gamma }e^{-(x_{1}^{2}+\cdots +x_{n}^{2})/2}dx_{1}\cdots dx_{n}=\prod _{j=1}^{n}{\frac {\Gamma (1+d_{j}\gamma )}{\Gamma (1+\gamma )}}}$

El producto es sobre las raíces r del sistema de raíces y los números d _j son los grados de los generadores del anillo de invariantes del grupo de reflexión. Opdam (1989) dio una prueba uniforme para todos los grupos de reflexión cristalográficos. ^[8] Varios años después la demostró con total generalidad, haciendo uso de cálculos asistidos por ordenador de Garvan. ^[9]