DLMF:35.8.E12 (Q10526): Difference between revisions

From MaRDI portal
Changed an Item: Add constraint
Added link to MaRDI item.
 
(17 intermediate revisions by 3 users not shown)
Property / Symbols used
 
Property / Symbols used: generalized hypergeometric function of matrix argument / rank
 
Normal rank
Property / Symbols used: generalized hypergeometric function of matrix argument / qualifier
 
DLMF defining formula:

F q p ( a 1 , , a p ; b 1 , , b q ; 𝐓 ) Gauss-hypergeometric-of-matrix-pFq 𝑝 𝑞 subscript 𝑎 1 subscript 𝑎 𝑝 subscript 𝑏 1 subscript 𝑏 𝑞 𝐓 {\displaystyle{\displaystyle{{}_{\NVar{p}}F_{\NVar{q}}}\left(\NVar{a_{1},\dots% ,a_{p}};\NVar{b_{1},\dots,b_{q}};\NVar{\mathbf{T}}\right)}}

\genhyperFmat{\NVar{p}}{\NVar{q}}@{\NVar{a_{1},\dots,a_{p}}}{\NVar{b_{1},\dots,b_{q}}}{\NVar{\mathbf{T}}}
Property / Symbols used: generalized hypergeometric function of matrix argument / qualifier
 
xml-id: C35.S8.E1.m2akdec
Property / Symbols used
 
Property / Symbols used: differential of x / rank
 
Normal rank
Property / Symbols used: differential of x / qualifier
 
DLMF defining formula:

d x 𝑥 {\displaystyle{\displaystyle\mathrm{d}\NVar{x}}}

\diff{\NVar{x}}
Property / Symbols used: differential of x / qualifier
 
xml-id: C1.S4.SS4.m1adec
Property / Symbols used
 
Property / Symbols used: Q12721 / rank
 
Normal rank
Property / Symbols used: Q12721 / qualifier
 
DLMF defining formula:

etr ( 𝐗 ) exponential-trace 𝐗 {\displaystyle{\displaystyle\mathrm{etr}\left(\NVar{\mathbf{X}}\right)}}

\exptrace@{\NVar{\mathbf{X}}}
Property / Symbols used: Q12721 / qualifier
 
xml-id: C35.S1.p3.t1.r10.m3aadec
Property / Symbols used
 
Property / Symbols used: integral / rank
 
Normal rank
Property / Symbols used: integral / qualifier
 
DLMF defining formula:

{\displaystyle{\displaystyle\int}}

\int
Property / Symbols used: integral / qualifier
 
xml-id: C1.S4.SS4.m3adec
Property / Symbols used
 
Property / Symbols used: Q12728 / rank
 
Normal rank
Property / Symbols used: Q12728 / qualifier
 
DLMF defining formula:

Γ m ( a ) multivariate-Euler-Gamma 𝑚 𝑎 {\displaystyle{\displaystyle\Gamma_{\NVar{m}}\left(\NVar{a}\right)}}

\multivarEulerGamma{\NVar{m}}@{\NVar{a}}
Property / Symbols used: Q12728 / qualifier
 
xml-id: C35.S3.SS1.m1addec
Property / Symbols used
 
Property / Symbols used: real part / rank
 
Normal rank
Property / Symbols used: real part / qualifier
 
DLMF defining formula:

absent {\displaystyle{\displaystyle\Re}}

\realpart@@
Property / Symbols used: real part / qualifier
 
xml-id: C1.S9.E2.m1abdec
Property / Symbols used
 
Property / Symbols used: complex variable / rank
 
Normal rank
Property / Symbols used: complex variable / qualifier
 
DLMF defining formula:

a 𝑎 {\displaystyle{\displaystyle a}}

a
Property / Symbols used: complex variable / qualifier
 
xml-id: C35.S1.XMD1.m1idec
Property / Symbols used
 
Property / Symbols used: space of real symmetric matrices / rank
 
Normal rank
Property / Symbols used: space of real symmetric matrices / qualifier
 
DLMF defining formula:

𝐓 𝐓 {\displaystyle{\displaystyle\mathbf{T}}}

\mathbf{T}
Property / Symbols used: space of real symmetric matrices / qualifier
 
xml-id: C35.S1.XMD11.m1gdec
Property / Symbols used
 
Property / Symbols used: real symmetric matrix / rank
 
Normal rank
Property / Symbols used: real symmetric matrix / qualifier
 
DLMF defining formula:

𝐗 𝐗 {\displaystyle{\displaystyle\mathbf{X}}}

\mathbf{X}
Property / Symbols used: real symmetric matrix / qualifier
 
xml-id: C35.S1.XMD12.m1dec
Property / Symbols used
 
Property / Symbols used: real symmetric matrix / rank
 
Normal rank
Property / Symbols used: real symmetric matrix / qualifier
 
DLMF defining formula:

𝛀 𝛀 {\displaystyle{\displaystyle{\boldsymbol{\Omega}}}}

{\boldsymbol{\Omega}}
Property / Symbols used: real symmetric matrix / qualifier
 
xml-id: C35.S1.XMD13.m1dec
Property / Symbols used
 
Property / Symbols used: complex variable / rank
 
Normal rank
Property / Symbols used: complex variable / qualifier
 
DLMF defining formula:

b 𝑏 {\displaystyle{\displaystyle b}}

b
Property / Symbols used: complex variable / qualifier
 
xml-id: C35.S1.XMD2.m1idec
Property / Symbols used
 
Property / Symbols used: nonnegative integer / rank
 
Normal rank
Property / Symbols used: nonnegative integer / qualifier
 
DLMF defining formula:

p 𝑝 {\displaystyle{\displaystyle p}}

p
Property / Symbols used: nonnegative integer / qualifier
 
xml-id: C35.S1.XMD6.m1edec
Property / Symbols used
 
Property / Symbols used: nonnegative integer / rank
 
Normal rank
Property / Symbols used: nonnegative integer / qualifier
 
DLMF defining formula:

q 𝑞 {\displaystyle{\displaystyle q}}

q
Property / Symbols used: nonnegative integer / qualifier
 
xml-id: C35.S1.XMD7.m1edec
Property / Symbols used
 
Property / Symbols used: positive integer / rank
 
Normal rank
Property / Symbols used: positive integer / qualifier
 
DLMF defining formula:

m 𝑚 {\displaystyle{\displaystyle m}}

m
Property / Symbols used: positive integer / qualifier
 
xml-id: C35.S1.XMD8.m1edec
Property / instance of
 
Property / instance of: Digital Library of Mathematical Functions Formula / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI formula profile / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 09:08, 3 March 2024

No description defined
Language Label Description Also known as
English
DLMF:35.8.E12
No description defined

    Statements

    𝛀 etr ( - 𝐓𝐗 ) | 𝐗 | γ - 1 2 ( m + 1 ) F q p ( a 1 , , a p b 1 , , b q ; - 𝐗 ) d 𝐗 = Γ m ( γ ) | 𝐓 | - γ F q p + 1 ( a 1 , , a p , γ b 1 , , b q ; - 𝐓 - 1 ) , subscript 𝛀 exponential-trace 𝐓𝐗 superscript 𝐗 𝛾 1 2 𝑚 1 Gauss-hypergeometric-of-matrix-pFq 𝑝 𝑞 subscript 𝑎 1 subscript 𝑎 𝑝 subscript 𝑏 1 subscript 𝑏 𝑞 𝐗 𝐗 multivariate-Euler-Gamma 𝑚 𝛾 superscript 𝐓 𝛾 Gauss-hypergeometric-of-matrix-pFq 𝑝 1 𝑞 subscript 𝑎 1 subscript 𝑎 𝑝 𝛾 subscript 𝑏 1 subscript 𝑏 𝑞 superscript 𝐓 1 {\displaystyle{\displaystyle{\int_{\boldsymbol{\Omega}}\mathrm{etr}\left(-% \mathbf{T}\mathbf{X}\right)|\mathbf{X}|^{\gamma-\frac{1}{2}(m+1)}\*{{}_{p}F_{q% }}\left({a_{1},\dots,a_{p}\atop b_{1},\dots,b_{q}};-\mathbf{X}\right)\mathrm{d% }\mathbf{X}}=\Gamma_{m}\left(\gamma\right)|\mathbf{T}|^{-\gamma}{{}_{p+1}F_{q}% }\left({a_{1},\dots,a_{p},\gamma\atop b_{1},\dots,b_{q}};-\mathbf{T}^{-1}% \right),}}
    0 references
    ( γ ) > 1 2 ( m - 1 ) 𝛾 1 2 𝑚 1 {\displaystyle{\displaystyle\Re(\gamma)>\frac{1}{2}(m-1)}}
    0 references
    F q p ( a 1 , , a p ; b 1 , , b q ; 𝐓 ) Gauss-hypergeometric-of-matrix-pFq 𝑝 𝑞 subscript 𝑎 1 subscript 𝑎 𝑝 subscript 𝑏 1 subscript 𝑏 𝑞 𝐓 {\displaystyle{\displaystyle{{}_{\NVar{p}}F_{\NVar{q}}}\left(\NVar{a_{1},\dots% ,a_{p}};\NVar{b_{1},\dots,b_{q}};\NVar{\mathbf{T}}\right)}}
    C35.S8.E1.m2akdec
    0 references
    d x 𝑥 {\displaystyle{\displaystyle\mathrm{d}\NVar{x}}}
    C1.S4.SS4.m1adec
    0 references
    etr ( 𝐗 ) exponential-trace 𝐗 {\displaystyle{\displaystyle\mathrm{etr}\left(\NVar{\mathbf{X}}\right)}}
    C35.S1.p3.t1.r10.m3aadec
    0 references
    {\displaystyle{\displaystyle\int}}
    C1.S4.SS4.m3adec
    0 references
    Γ m ( a ) multivariate-Euler-Gamma 𝑚 𝑎 {\displaystyle{\displaystyle\Gamma_{\NVar{m}}\left(\NVar{a}\right)}}
    C35.S3.SS1.m1addec
    0 references
    absent {\displaystyle{\displaystyle\Re}}
    C1.S9.E2.m1abdec
    0 references
    a 𝑎 {\displaystyle{\displaystyle a}}
    C35.S1.XMD1.m1idec
    0 references
    𝐓 𝐓 {\displaystyle{\displaystyle\mathbf{T}}}
    C35.S1.XMD11.m1gdec
    0 references
    𝐗 𝐗 {\displaystyle{\displaystyle\mathbf{X}}}
    C35.S1.XMD12.m1dec
    0 references
    𝛀 𝛀 {\displaystyle{\displaystyle{\boldsymbol{\Omega}}}}
    C35.S1.XMD13.m1dec
    0 references
    b 𝑏 {\displaystyle{\displaystyle b}}
    C35.S1.XMD2.m1idec
    0 references
    p 𝑝 {\displaystyle{\displaystyle p}}
    C35.S1.XMD6.m1edec
    0 references
    q 𝑞 {\displaystyle{\displaystyle q}}
    C35.S1.XMD7.m1edec
    0 references
    m 𝑚 {\displaystyle{\displaystyle m}}
    C35.S1.XMD8.m1edec
    0 references

    Identifiers