Multivariate Gamma Function
   HOME

TheInfoList



OR:

In
mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, the multivariate gamma function Γ''p'' is a generalization of the
gamma function In mathematics, the gamma function (represented by Γ, capital Greek alphabet, Greek letter gamma) is the most common extension of the factorial function to complex numbers. Derived by Daniel Bernoulli, the gamma function \Gamma(z) is defined ...
. It is useful in
multivariate statistics Multivariate statistics is a subdivision of statistics encompassing the simultaneous observation and analysis of more than one outcome variable, i.e., '' multivariate random variables''. Multivariate statistics concerns understanding the differ ...
, appearing in the
probability density function In probability theory, a probability density function (PDF), density function, or density of an absolutely continuous random variable, is a Function (mathematics), function whose value at any given sample (or point) in the sample space (the s ...
of the Wishart and inverse Wishart distributions, and the matrix variate beta distribution. It has two equivalent definitions. One is given as the following integral over the p \times p
positive-definite In mathematics, positive definiteness is a property of any object to which a bilinear form or a sesquilinear form may be naturally associated, which is positive-definite. See, in particular: * Positive-definite bilinear form * Positive-definite ...
real matrices: : \Gamma_p(a)= \int_ \exp\left( -(S)\right)\, \left, S\^ dS, where , S, denotes the determinant of S. The other one, more useful to obtain a numerical result is: : \Gamma_p(a)= \pi^\prod_^p \Gamma(a+(1-j)/2). In both definitions, a is a complex number whose real part satisfies \Re(a) > (p-1)/2. Note that \Gamma_1(a) reduces to the ordinary gamma function. The second of the above definitions allows to directly obtain the recursive relationships for p\ge 2: : \Gamma_p(a) = \pi^ \Gamma(a) \Gamma_(a-\tfrac) = \pi^ \Gamma_(a) \Gamma(a+(1-p)/2). Thus * \Gamma_2(a)=\pi^\Gamma(a)\Gamma(a-1/2) * \Gamma_3(a)=\pi^\Gamma(a)\Gamma(a-1/2)\Gamma(a-1) and so on. This can also be extended to non-integer values of p with the expression: \Gamma_p(a)=\pi^ \frac Where G is the Barnes G-function, the indefinite product of the
Gamma function In mathematics, the gamma function (represented by Γ, capital Greek alphabet, Greek letter gamma) is the most common extension of the factorial function to complex numbers. Derived by Daniel Bernoulli, the gamma function \Gamma(z) is defined ...
. The function is derived by Anderson from first principles who also cites earlier work by Wishart, Mahalanobis and others. There also exists a version of the multivariate gamma function which instead of a single complex number takes a p-dimensional vector of complex numbers as its argument. It generalizes the above defined multivariate gamma function insofar as the latter is obtained by a particular choice of multivariate argument of the former.


Derivatives

We may define the multivariate
digamma function In mathematics, the digamma function is defined as the logarithmic derivative of the gamma function: :\psi(z) = \frac\ln\Gamma(z) = \frac. It is the first of the polygamma functions. This function is Monotonic function, strictly increasing a ...
as :\psi_p(a) = \frac = \sum_^p \psi(a+(1-i)/2) , and the general
polygamma function In mathematics, the polygamma function of order is a meromorphic function on the complex numbers \mathbb defined as the th derivative of the logarithm of the gamma function: :\psi^(z) := \frac \psi(z) = \frac \ln\Gamma(z). Thus :\psi^(z) ...
as :\psi_p^(a) = \frac = \sum_^p \psi^(a+(1-i)/2).


Calculation steps

* Since ::\Gamma_p(a) = \pi^\prod_^p \Gamma\left(a+\frac\right), :it follows that ::\frac = \pi^\sum_^p \frac\prod_^p\Gamma\left(a+\frac\right). * By definition of the
digamma function In mathematics, the digamma function is defined as the logarithmic derivative of the gamma function: :\psi(z) = \frac\ln\Gamma(z) = \frac. It is the first of the polygamma functions. This function is Monotonic function, strictly increasing a ...
, ψ, ::\frac = \psi(a+(i-1)/2)\Gamma(a+(i-1)/2) :it follows that :: \begin \frac & = \pi^\prod_^p \Gamma(a+(1-j)/2) \sum_^p \psi(a+(1-i)/2) \\ pt& = \Gamma_p(a)\sum_^p \psi(a+(1-i)/2). \end


References

* 1. {{cite journal , title=Distributions of Matrix Variates and Latent Roots Derived from Normal Samples , last=James , first=A. , journal=
Annals of Mathematical Statistics The ''Annals of Mathematical Statistics'' was a peer-reviewed statistics journal published by the Institute of Mathematical Statistics from 1930 to 1972. It was superseded by the '' Annals of Statistics'' and the '' Annals of Probability''. In 1 ...
, volume=35 , issue=2 , year=1964 , pages=475–501 , doi=10.1214/aoms/1177703550 , mr=181057 , zbl = 0121.36605 , doi-access=free * 2. A. K. Gupta and D. K. Nagar 1999. "Matrix variate distributions". Chapman and Hall. Gamma and related functions