Supriya Ghosh (Editor)

Selberg integral

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit

In mathematics the Selberg integral is a generalization of Euler beta function to n dimensions introduced by Atle Selberg (1944).

Contents

Selberg's integral formula

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 + γ )

Selberg's formula implies Dixon's identity for well poised hypergeometric series, and some special cases of Dyson's conjecture.

Aomoto's integral formula

Aomoto (1987) proved a slightly more general integral formula:

∫ 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 = S n ( α , β , γ ) ∏ j = 1 k α + ( n − j ) γ α + β + ( 2 n − j − 1 ) γ .

Mehta's integral

Mehta's integral is

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 .

It is the partition function for a gas of point charges moving on a line that are attracted to the origin (Mehta 2004). Its value can be deduced from that of the Selberg integral, and is

∏ j = 1 n Γ ( 1 + j γ ) Γ ( 1 + γ ) .

This was conjectured by Mehta & Dyson (1963), who were unaware of Selberg's earlier work.

Macdonald's integral

Macdonald (1982) conjectured the following extension of Mehta's integral to all finite root systems, Mehta's original case corresponding to the An−1 root system.

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 + γ )

The product is over the roots r of the roots system and the numbers dj are the degrees of the generators of the ring of invariants of the reflection group. Opdam (1989) gave a uniform proof for all crystallographic reflection groups. Several years later he proved it in full generality (Opdam (1993)), making use of computer-aided calculations by Garvan.

References

Selberg integral Wikipedia
(Text) CC BY-SA


Similar Topics