出典: フリー百科事典『ウィキペディア(Wikipedia)』
数学において、セルバーグ積分 (英 : Selberg integral )は、オイラーのベータ関数 の n 次元への一般化であり、Atle Selberg (1944 ) により導入された。
セルバーグの積分公式 [ 編集 ]
S
n
(
α
,
β
,
γ
)
=
∫
0
1
⋯
∫
0
1
∏
i
=
1
n
t
i
α
−
1
(
1
−
t
i
)
β
−
1
∏
1
≤
i
<
j
≤
n
|
t
i
−
t
j
|
2
γ
d
t
1
⋯
d
t
n
=
∏
j
=
0
n
−
1
Γ
(
α
+
j
γ
)
Γ
(
β
+
j
γ
)
Γ
(
1
+
(
j
+
1
)
γ
)
Γ
(
α
+
β
+
(
n
+
j
−
1
)
γ
)
Γ
(
1
+
γ
)
{\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{aligned}}}
セルバーグの公式は、well poised hypergeometric series に対するディクソンの等式 (英語版 ) を含んでおり、またダイソンの予想 (英語版 ) の特別な場合をいくつか含んでいる。
青本の積分公式 [ 編集 ]
Aomoto (1987) は少しだけ一般的な次の積分公式を証明した。
∫
0
1
⋯
∫
0
1
(
∏
i
=
1
k
t
i
)
∏
i
=
1
n
t
i
α
−
1
(
1
−
t
i
)
β
−
1
∏
1
≤
i
<
j
≤
n
|
t
i
−
t
j
|
2
γ
d
t
1
⋯
d
t
n
{\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}}
=
S
n
(
α
,
β
,
γ
)
∏
j
=
1
k
α
+
(
n
−
j
)
γ
α
+
β
+
(
2
n
−
j
−
1
)
γ
.
{\displaystyle =S_{n}(\alpha ,\beta ,\gamma )\prod _{j=1}^{k}{\frac {\alpha +(n-j)\gamma }{\alpha +\beta +(2n-j-1)\gamma }}.}
メータの積分 [ 編集 ]
メータ (Mehta) の積分は、
1
(
2
π
)
n
/
2
∫
−
∞
∞
⋯
∫
−
∞
∞
∏
i
=
1
n
e
−
t
i
2
/
2
∏
1
≤
i
<
j
≤
n
|
t
i
−
t
j
|
2
γ
d
t
1
⋯
d
t
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}}
である。これは直線上を動く原点に引き寄せられる点電荷の気体の分配函数である (Mehta 2004 )。その値はセルバーグ積分の値から導手することができ、
∏
j
=
1
n
Γ
(
1
+
j
γ
)
Γ
(
1
+
γ
)
{\displaystyle \prod _{j=1}^{n}{\frac {\Gamma (1+j\gamma )}{\Gamma (1+\gamma )}}}
となる。これは Mehta & Dyson (1963) により予想された。彼らはセルバーグのより早期の仕事について知らなかった。
マクドナルドの積分 [ 編集 ]
Macdonald (1982) はメータの積分のすべての有限ルート系への次のような拡張を予想した。(メータのもともとの場合は A n −1 というルート系に対応する。)
1
(
2
π
)
n
/
2
∫
⋯
∫
|
∏
r
2
(
x
,
r
)
(
r
,
r
)
|
γ
e
−
(
x
1
2
+
⋯
+
x
n
2
)
/
2
d
x
1
⋯
d
x
n
=
∏
j
=
1
n
Γ
(
1
+
d
j
γ
)
Γ
(
1
+
γ
)
.
{\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 )}}.}
積はルート系のルート r 全体を渡り、数 d j は鏡映群の不変式環の生成元の次数である。Opdam (1989) はすべての結晶鏡映群に対する統一的な証明を与えた。数年後彼は、Garvan によるコンピュータによる計算支援を利用して、完全な一般性を以ってそれを証明した (Opdam (1993) )。
参考文献 [ 編集 ]
Andrews, George E. ; Askey, Richard ; Roy, Ranjan (1999), Special functions , Encyclopedia of Mathematics and its Applications, 71 , Cambridge University Press , ISBN 978-0-521-62321-6 , MR 1688958 (Chapter 8)
Aomoto, K (1987), “On the complex Selberg integral”, The Quarterly Journal of Mathematics 38 (4): 385–399, doi :10.1093/qmath/38.4.385
Forrester, Peter J.; Warnaar, S. Ole (2008), “The importance of the Selberg integral” , Bull. Amer. Math. Soc. 45 (4): 489–534, doi :10.1090/S0273-0979-08-01221-4 , http://www.ams.org/bull/2008-45-04/S0273-0979-08-01221-4/home.html
Macdonald, I. G. (1982), “Some conjectures for root systems”, SIAM Journal on Mathematical Analysis 13 (6): 988–1007, doi :10.1137/0513070 , ISSN 0036-1410 , MR 674768
Mehta, Madan Lal (2004), Random matrices , Pure and Applied Mathematics (Amsterdam), 142 (3rd ed.), Elsevier/Academic Press, Amsterdam, ISBN 978-0-12-088409-4 , MR 2129906
Mehta, Madan Lal; Dyson, Freeman J. (1963), “Statistical theory of the energy levels of complex systems. V”, Journal of Mathematical Physics 4 (5): 713–719, doi :10.1063/1.1704009 , ISSN 0022-2488 , MR 0151232
Opdam, E.M. (1989), “Some applications of hypergeometric shift operators”, Invent. Math. 98 (1): 275–282, doi :10.1007/BF01388841 , MR 1010152
Opdam, E.M. (1993), “Dunkl operators, Bessel functions and the discriminant of a finite Coxeter group” , Compositio Mathematica 85 (3): 333–373, MR 1214452 , Zbl 0778.33009 , http://www.numdam.org/item?id=CM_1993__85_3_333_0
Selberg, Atle (1944), “Remarks on a multiple integral”, Norsk Mat. Tidsskr. 26 : 71–78, MR 0018287