35 Functions of Matrix ArgumentProperties35.4 Partitions and Zonal Polynomials35.6 Confluent Hypergeometric Functions of Matrix Argument

§35.5 Bessel Functions of Matrix Argument

ⓘ

Keywords:

Bessel functions, of matrix argument

Permalink:

http://dlmf.nist.gov/35.5

See also:

Annotations for Ch.35

Contents

1. §35.5(i) Definitions
2. §35.5(ii) Properties
3. §35.5(iii) Asymptotic Approximations

§35.5(i) Definitions

ⓘ

Defines:

$A_{\nu }\left(𝐓\right)$: Bessel function of matrix argument (first kind)

Keywords:

Bessel functions, definitions, of matrix argument

Notes:

See Bochner (1952), Herz (1955), Gross and Kunze (1976).

Permalink:

http://dlmf.nist.gov/35.5.i

See also:

Annotations for §35.5 and Ch.35

35.5.1		$$A_{\nu }\left(𝟎\right)=\frac{1}{{\mathrm{\Gamma }}_m\left(\nu +\frac{1}{2}(m+1)\right)},$$
$\nu \in ℂ$.
ⓘ Symbols: $A_{\nu }\left(𝐓\right)$: Bessel function of matrix argument (first kind), $ℂ$: complex plane, $\in$: element of, ${\mathrm{\Gamma }}_m\left(a\right)$: multivariate gamma function, $m$: positive integer and $𝟎$: $m\times m$ matrix of zeros Permalink: http://dlmf.nist.gov/35.5.E1 Encodings: TeX, pMML, png See also: Annotations for §35.5(i), §35.5 and Ch.35

35.5.2		$$A_{\nu }\left(𝐓\right)=A_{\nu }\left(𝟎\right)\sum _{k=0}^{\mathrm{\infty }}\frac{{(-1)}^k}{k!}\sum _{|\kappa |=k}\frac{1}{{\left[\nu +\frac{1}{2}(m+1)\right]}_{\kappa }}{Z}_{\kappa }\left(𝐓\right),$$
$\nu \in ℂ$, $𝐓\in 𝓢$.
ⓘ Symbols: $A_{\nu }\left(𝐓\right)$: Bessel function of matrix argument (first kind), $ℂ$: complex plane, $\in$: element of, $!$: factorial (as in $n!$), ${\left[a\right]}_{\kappa }$: partitional shifted factorial, $Z_{\kappa }\left(𝐓\right)$: zonal polynomial, $𝓢$: space of real symmetric $m\times m$ matrices, $𝐓$: real symmetric $m\times m$ matrix, $k$: nonnegative integer, $m$: positive integer, $𝟎$: $m\times m$ matrix of zeros and $\kappa$: vector of nonnegative integers Permalink: http://dlmf.nist.gov/35.5.E2 Encodings: TeX, pMML, png See also: Annotations for §35.5(i), §35.5 and Ch.35

35.5.3		$$B_{\nu }\left(𝐓\right)={\int }_{𝛀}\mathrm{etr}\left(-(𝐓𝐗+{𝐗}^{-1})\right){\left|𝐗\right|}^{\nu -\frac{1}{2}(m+1)}d𝐗,$$
$\nu \in ℂ$, $𝐓\in 𝛀$.
ⓘ Defines: $B_{\nu }\left(𝐓\right)$: Bessel function of matrix argument (second kind) Symbols: $ℂ$: complex plane, $\in$: element of, $\mathrm{etr}\left(𝐀\right)$: exponential of trace, $\int$: integral, $𝐓$: real symmetric $m\times m$ matrix, $𝐗$: real symmetric $m\times m$ matrix, $\left|𝐗\right|$: determinant of $𝐗$, $d$: differential of matrix, $𝛀$: space of positive-definite real symmetric $m\times m$ matrices and $m$: positive integer Referenced by: §35.9 Permalink: http://dlmf.nist.gov/35.5.E3 Encodings: TeX, pMML, png See also: Annotations for §35.5(i), §35.5 and Ch.35

§35.5(ii) Properties

ⓘ

Keywords:

Bessel functions, of matrix argument, properties

Notes:

See Herz (1955). See also Terras (1988, pp. 49–63), Butler and Wood (2003).

Permalink:

http://dlmf.nist.gov/35.5.ii

See also:

Annotations for §35.5 and Ch.35

35.5.4		$${\int }_{𝛀}\mathrm{etr}\left(-𝐓𝐗\right){\left|𝐗\right|}^{\nu }{A}_{\nu }\left(𝐒𝐗\right)d𝐗=\mathrm{etr}\left(-𝐒{𝐓}^{-1}\right){\left|𝐓\right|}^{-\nu -\frac{1}{2}(m+1)},$$
$𝐒\in 𝓢$, $𝐓\in 𝛀$; $\mathrm{\Re }\left(\nu \right)>-1$.
ⓘ Symbols: $A_{\nu }\left(𝐓\right)$: Bessel function of matrix argument (first kind), $\in$: element of, $\mathrm{etr}\left(𝐀\right)$: exponential of trace, $\int$: integral, $\mathrm{\Re }$: real part, $𝓢$: space of real symmetric $m\times m$ matrices, $𝐒$: real symmetric $m\times m$ matrix, $𝐓$: real symmetric $m\times m$ matrix, $𝐗$: real symmetric $m\times m$ matrix, $\left|𝐗\right|$: determinant of $𝐗$, $d$: differential of matrix, $𝛀$: space of positive-definite real symmetric $m\times m$ matrices and $m$: positive integer Permalink: http://dlmf.nist.gov/35.5.E4 Encodings: TeX, pMML, png See also: Annotations for §35.5(ii), §35.5 and Ch.35

35.5.5
${\nu }_j\in ℂ$, $\mathrm{\Re }\left({\nu }_j\right)>-1$, $j=1,2$; ${𝐒}_1,{𝐒}_2\in 𝓢$; $𝐓\in 𝛀$.
ⓘ Symbols: $A_{\nu }\left(𝐓\right)$: Bessel function of matrix argument (first kind), $ℂ$: complex plane, $\in$: element of, $\int$: integral, $\mathrm{\Re }$: real part, $𝓢$: space of real symmetric $m\times m$ matrices, $𝐒$: real symmetric $m\times m$ matrix, $𝐓$: real symmetric $m\times m$ matrix, $𝐗$: real symmetric $m\times m$ matrix, $\left|𝐗\right|$: determinant of $𝐗$, $d$: differential of matrix, $𝛀$: space of positive-definite real symmetric $m\times m$ matrices, : less-than for matrices, $j$: nonnegative integer, $m$: positive integer and $𝟎$: $m\times m$ matrix of zeros Permalink: http://dlmf.nist.gov/35.5.E5 Encodings: TeX, pMML, png See also: Annotations for §35.5(ii), §35.5 and Ch.35

35.5.6		$$B_{\nu }\left(𝐓\right)={\left|𝐓\right|}^{-\nu }{B}_{-\nu }\left(𝐓\right),$$
$\nu \in ℂ$, $𝐓\in 𝛀$.
ⓘ Symbols: $B_{\nu }\left(𝐓\right)$: Bessel function of matrix argument (second kind), $ℂ$: complex plane, $\in$: element of, $𝐓$: real symmetric $m\times m$ matrix, $\left|𝐗\right|$: determinant of $𝐗$ and $𝛀$: space of positive-definite real symmetric $m\times m$ matrices Permalink: http://dlmf.nist.gov/35.5.E6 Encodings: TeX, pMML, png See also: Annotations for §35.5(ii), §35.5 and Ch.35

35.5.7		$${\int }_{𝛀}{A}_{{\nu }_1}\left(𝐓𝐗\right)B_{-{\nu }_2}\left(𝐒𝐗\right){\left|𝐗\right|}^{{\nu }_1}d𝐗=\frac{1}{A_{{\nu }_1+{\nu }_2}\left(𝟎\right)}{\left|𝐒\right|}^{{\nu }_2}{\left|𝐓+𝐒\right|}^{-({\nu }_1+{\nu }_2+\frac{1}{2}(m+1))},$$
$\mathrm{\Re }\left({\nu }_1+{\nu }_2\right)>-1$; $𝐒,𝐓\in 𝛀$.
ⓘ Symbols: $A_{\nu }\left(𝐓\right)$: Bessel function of matrix argument (first kind), $B_{\nu }\left(𝐓\right)$: Bessel function of matrix argument (second kind), $\in$: element of, $\int$: integral, $\mathrm{\Re }$: real part, $𝐒$: real symmetric $m\times m$ matrix, $𝐓$: real symmetric $m\times m$ matrix, $𝐗$: real symmetric $m\times m$ matrix, $\left|𝐗\right|$: determinant of $𝐗$, $d$: differential of matrix, $𝛀$: space of positive-definite real symmetric $m\times m$ matrices, $m$: positive integer and $𝟎$: $m\times m$ matrix of zeros Permalink: http://dlmf.nist.gov/35.5.E7 Encodings: TeX, pMML, png See also: Annotations for §35.5(ii), §35.5 and Ch.35

35.5.8		$${\int }_{𝐎(m)}\mathrm{etr}\left(𝐒𝐇\right)\mathrm{d}𝐇=\frac{A_{-1/2}\left(-\frac{1}{4}𝐒{𝐒}^{\mathrm{T}}\right)}{A_{-1/2}\left(𝟎\right)},$$
$𝐒$ arbitrary.
ⓘ Symbols: $A_{\nu }\left(𝐓\right)$: Bessel function of matrix argument (first kind), $\mathrm{etr}\left(𝐀\right)$: exponential of trace, $\int$: integral, $𝐒$: real symmetric $m\times m$ matrix, $𝐎(m)$: space of $m\times m$ orthogonal matrices, $𝐇$: orthogonal $m\times m$ matrix, $\mathrm{d}𝐇$: normalized Haar measure on $𝐎(m)$, $m$: positive integer and $𝟎$: $m\times m$ matrix of zeros Referenced by: §35.10, §35.9 Permalink: http://dlmf.nist.gov/35.5.E8 Encodings: TeX, pMML, png See also: Annotations for §35.5(ii), §35.5 and Ch.35

§35.5(iii) Asymptotic Approximations

ⓘ

Keywords:

Bessel functions, asymptotic approximations, of matrix argument

Permalink:

http://dlmf.nist.gov/35.5.iii

See also:

Annotations for §35.5 and Ch.35

For asymptotic approximations for Bessel functions of matrix argument, see Herz (1955) and Butler and Wood (2003).

35.4 Partitions and Zonal Polynomials35.6 Confluent Hypergeometric Functions of Matrix Argument

© 2010–2024 NIST / Disclaimer / Feedback; Version 1.2.3; Release date 2024-12-15.

Site Privacy Accessibility Privacy Program Copyrights Vulnerability Disclosure No Fear Act Policy FOIA Environmental Policy Scientific Integrity Information Quality Standards Commerce.gov Science.gov USA.gov

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.

Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy