“…By denoting
with tr ( · ) being matrix trace and the partition of H T µ corresponding to that of the rows of
above, the expression of Forchini (2005, after correcting some errors) is
Here, Γ ( · ) is the gamma function, ( · ) k denotes Pochhammer’s symbol, ( a ) k = a ( a +1) … ( a + k− 1) (with ( a ) 0 = 1), | · | denotes matrix determinant, and 2 F 1 ( a, b ; c ; · ) denotes the (Gauss) hyperge-ometric function.
are the top-order invariant polynomials of two matrix arguments of the ( i, j )-th degree; these are certain scalar-valued functions (homogeneous polynomials) of matrix elements (see Watanabe, 2023a, appendix A for a brief introduction). In the central case ( µ = 0 p ), the expression simplifies to that of Forchini (2002, theorem 4).…”