Hypergeometric function of a matrix argument: Difference between revisions

Revision as of 18:03, 1 February 2009

Latest revision as of 17:15, 14 April 2022

(12 intermediate revisions by 9 users not shown)

Line 1:

In [[mathematics]], the '''hypergeometric function of a matrix argument''' is a generalization of the classical [[hypergeometric series]]. It is thea closedfunction formdefined expressionby ofan infinite summation which can be used to evaluate certain multivariate integrals,.

Hypergeometric functions of a matrix especiallyargument oneshave appearingapplications in [[random matrix theory]]. For example, the distributions of the extreme eigenvalues of random matrices are often expressed in terms of the hypergeometric function of a matrix argument.

==Definition==

Line 18 ⟶ 20:

</math>

where <math>\kappa\vdash k</math> means <math>\kappa</math> is a [[partition (number theory)|partition]] of <math>k</math>, <math>(a_i)^{(\alpha )}_{\kappa}</math> is the [[Generalizedgeneralized Pochhammer symbol]], and

<math>C_\kappa^{(\alpha )}(X)</math> is the ``"C" normalization of the [[Jack function]].

==Two matrix arguments==

If <math>X</math> and <math>Y</math> are two <math>m\times m</math> complex symmetric matrices, then the hypergeometric function of two matrix argumentarguments is defined as:

: <math>

Line 42 ⟶ 44:

Unlike other functions of matrix argument, such as the [[matrix exponential]], which are matrix-valued, the hypergeometric function of (one or two) matrix arguments is scalar-valued.

==The parameter <math>\alpha</math>''α''==

In many publications the parameter <math>\alpha</math> is omitted. Also, in different publications different values of <math>\alpha</math> are being implicitly assumed. For example, in the theory of real random matrices (see, e.g., Muirhead, 1984), <math>\alpha=2</math> whereas in other settings (e.g., in the complex case--seecase—see Gross and Richards, 1989), <math>\alpha=1</math>. To make matters worse, in random matrix theory researchers tend to prefer a parameter called <math>\beta</math> instead of <math>\alpha</math> which is used in combinatorics.

The thing to remember is that

Line 56 ⟶ 58:

* K. I. Gross and D. St. P. Richards, "Total positivity, spherical series, and hypergeometric functions of matrix argument", ''J. Approx. Theory'', '''59''', no. 2, 224–246, 1989.

* J. Kaneko, "Selberg Integrals and hypergeometric functions associated with Jack polynomials", ''SIAM Journal on Mathematical Analysis'', '''24''', no. 4, 1086-1110, 1993.

* Plamen Koev and Alan Edelman, "The efficient evaluation of the hypergeometric function of a matrix argument", ''Mathematics of Computation'', '''75''', no. 254, 833-846, 2006.

* Robb Muirhead, ''Aspects of Multivariate Statistical Theory'', John Wiley & Sons, Inc., New York, 1984.

==External links==

* [http://www-math.mit.edu/~plamen/software/mhgref.html Software for computing the hypergeometric function of a matrix argument] by Plamen Koev.

{{series (mathematics)}}

[[Category:Hypergeometric functions]]