Digital Library of Mathematical Functions
About the Project
NIST
35 Functions of Matrix ArgumentNotation

§35.1 Special Notation

(For other notation see Notation for the Special Functions.)

All matrices are of order m×m, unless specified otherwise. All fractional or complex powers are principal values.

a,b complex variables.
j,k nonnegative integers.
m positive integer.
[a]κ partitional shifted factorial (§35.4(i)).
0 zero matrix.
I identity matrix.
𝒮 space of all real symmetric matrices.
S,T,X real symmetric matrices.
trX trace of X.
etr(X) exp(trX).
|X| determinant of X (except when m=1 where it means either determinant or absolute value, depending on the context).
|(X)j| jth principal minor of X.
xj,k (j,k)th element of X.
X 1jkmxj,k.
Ω space of positive-definite real symmetric matrices.
t1,,tm eigenvalues of T.
||T|| spectral norm of T.
X>T X-T is positive definite.
Z complex symmetric matrix.
U,V real and complex parts of Z.
f(X) complex-valued function with XΩ.
O(m) space of orthogonal matrices.
H orthogonal matrix.
H normalized Haar measure on O(m).
Zκ(T) zonal polynomials.

The main functions treated in this chapter are the multivariate gamma and beta functions, respectively Γm(a) and Bm(a,b), and the special functions of matrix argument: Bessel (of the first kind) Aν(T) and (of the second kind) Bν(T); confluent hypergeometric (of the first kind) F11(a;b;T) or F11(ab;T) and (of the second kind) Ψ(a;b;T); Gaussian hypergeometric F12(a1,a2;b;T) or F12(a1,a2b;T); generalized hypergeometric Fqp(a1,,ap;b1,,bq;T) or Fqp(a1,,apb1,,bq;T).

An alternative notation for the multivariate gamma function is Πm(a)=Γm(a+12(m+1)) (Herz (1955, p. 480)). Related notations for the Bessel functions are 𝒥ν+12(m+1)(T)=Aν(T)/Aν(0) (Faraut and Korányi (1994, pp. 320–329)), Km(0,,0,ν|S,T)=|T|νBν(ST) (Terras (1988, pp. 49–64)), and 𝒦ν(T)=|T|νBν(ST) (Faraut and Korányi (1994, pp. 357–358)).