Die Multivariate Gammafunktion ist die Verallgemeinerung der Gammafunktion . Sie findet Anwendung in der Theorie der Zufallsmatrizen und der multivariaten Statistik , da sie unter anderem in der Wishart-Verteilung und der matrixvariaten Beta-Verteilung auftaucht. Sie wird als
Γ
p
{\displaystyle \Gamma _{p}}
notiert.[ 1]
Sei
S
p
{\displaystyle {\mathcal {S}}_{p}}
der Raum der symmetrischen, positiv definiten reellen
p
×
p
{\displaystyle p\times p}
-Matrizen. Die multivariate Gammafunktion ist definiert als die Funktion
Γ
p
(
a
)
=
∫
S
p
exp
(
tr
(
−
A
)
)
det
(
A
)
a
−
1
2
(
p
+
1
)
d
A
{\displaystyle \Gamma _{p}(a)=\int _{{\mathcal {S}}_{p}}\exp \left(\operatorname {tr} (-A)\right)\det(A)^{a-{\frac {1}{2}}(p+1)}\mathrm {d} A}
für
ℜ
(
a
)
>
1
2
(
p
−
1
)
{\displaystyle \Re (a)>{\frac {1}{2}}(p-1)}
; hierin ist bezüglich aller nichtunteren Dreieckseinträge (d. h. oberer Dreieckseinträge samt Hauptdiagonaleinträgen) des Argumentes
A
{\displaystyle A}
zu integrieren, da
S
p
≅
R
p
(
p
+
1
)
2
{\displaystyle {\mathcal {S}}_{p}\cong \mathbb {R} ^{\frac {p(p+1)}{2}}}
.
Für Berechnungen eignet sich folgender Satz:
Sei
ℜ
(
a
)
>
1
2
(
p
−
1
)
{\displaystyle \Re (a)>{\frac {1}{2}}(p-1)}
, dann gilt
Γ
p
(
a
)
=
π
1
4
p
(
p
−
1
)
∏
i
=
1
p
Γ
(
a
−
1
2
(
i
−
1
)
)
{\displaystyle \Gamma _{p}(a)=\pi ^{{\frac {1}{4}}p(p-1)}\prod \limits _{i=1}^{p}\Gamma \left(a-{\frac {1}{2}}(i-1)\right)}
Beweis-Idee: Teile
A
=
T
T
T
{\displaystyle A=TT^{\mathsf {T}}}
, wobei
T
{\displaystyle T}
eine untere Dreiecksmatrix ist. Nutze den Transformationssatz mit der Funktionaldeterminante
J
A
→
T
:
(
t
i
,
j
)
i
,
j
=
1
p
↦
2
p
∏
i
=
1
p
t
i
,
i
p
+
1
−
i
{\displaystyle J_{A\to T}:(t_{i,j})_{i,j=1}^{p}\mapsto 2^{p}\prod _{i=1}^{p}t_{i,i}^{p+1-i}}
.
Γ
p
(
a
)
=
π
1
2
(
p
−
1
)
Γ
(
a
)
Γ
p
−
1
(
a
−
1
2
)
=
π
1
2
(
p
−
1
)
Γ
p
−
1
(
a
)
Γ
(
a
+
1
2
(
p
−
1
)
)
{\displaystyle {\begin{aligned}\Gamma _{p}(a)&=\pi ^{{\tfrac {1}{2}}(p-1)}\Gamma (a)\Gamma _{p-1}(a-{\tfrac {1}{2}})\\&=\pi ^{{\tfrac {1}{2}}(p-1)}\Gamma _{p-1}(a)\Gamma (a+{\tfrac {1}{2}}(p-1))\end{aligned}}}
Somit:
Γ
1
(
a
)
=
Γ
(
a
)
{\displaystyle \Gamma _{1}(a)=\Gamma (a)}
Γ
2
(
a
)
=
π
1
2
Γ
(
a
)
Γ
(
a
−
1
2
)
{\displaystyle \Gamma _{2}(a)=\pi ^{\tfrac {1}{2}}\Gamma (a)\Gamma (a-{\tfrac {1}{2}})}
Γ
3
(
a
)
=
π
3
2
Γ
(
a
)
Γ
(
a
−
1
2
)
Γ
(
a
−
1
)
{\displaystyle \Gamma _{3}(a)=\pi ^{\tfrac {3}{2}}\Gamma (a)\Gamma (a-{\tfrac {1}{2}})\Gamma (a-1)}
Die verallgemeinerte multivariate Gammafunktion ist definiert als
Γ
p
(
a
1
,
…
,
a
p
)
=
∫
S
p
exp
(
tr
(
−
A
)
)
det
(
A
)
a
p
−
1
2
(
p
+
1
)
∏
α
=
1
p
−
1
det
(
A
[
α
]
)
m
α
+
1
d
A
{\displaystyle \Gamma _{p}(a_{1},\dots ,a_{p})=\int _{{\mathcal {S}}_{p}}{\frac {\exp \left(\operatorname {tr} (-A)\right)\det(A)^{a_{p}-{\frac {1}{2}}(p+1)}}{\prod \limits _{\alpha =1}^{p-1}\det(A^{[\alpha ]})^{m_{\alpha +1}}}}\mathrm {d} A}
mit
a
j
=
m
1
+
⋯
+
m
j
{\displaystyle a_{j}=m_{1}+\cdots +m_{j}}
und
ℜ
(
a
j
)
>
1
2
(
j
−
1
)
,
j
=
1
,
…
,
p
{\displaystyle \Re (a_{j})>{\frac {1}{2}}(j-1),\ j=1,\dots ,p}
.
Die multivariate Digamma-Funktion :
ψ
p
(
a
)
=
∂
log
Γ
p
(
a
)
∂
a
=
∑
i
=
1
p
ψ
(
a
+
1
2
(
1
−
i
)
)
{\displaystyle \psi _{p}(a)={\frac {\partial \log \Gamma _{p}(a)}{\partial a}}=\sum _{i=1}^{p}\psi (a+{\tfrac {1}{2}}(1-i))}
und die Verallgemeinerung als multivariate Polygammafunktion :
ψ
p
(
n
)
(
a
)
=
∂
n
log
Γ
p
(
a
)
∂
a
n
=
∑
i
=
1
p
ψ
(
n
)
(
a
+
1
2
(
1
−
i
)
)
{\displaystyle \psi _{p}^{(n)}(a)={\frac {\partial ^{n}\log \Gamma _{p}(a)}{\partial a^{n}}}=\sum _{i=1}^{p}\psi ^{(n)}(a+{\tfrac {1}{2}}(1-i))}
↑ A. K. Gupta, D. K. Nagar: Matrix variate distributions . Chapman & Hall /CRC, ISBN 1-58488-046-5 , S. 18 .