10
$\begingroup$

Let $\mu$ be a Lebesgue measure on the space $G$ of real symmetric $n \times n$ matrices (the Haar measure on the additive group of such matrices). For any $A \in G$ let $\chi_{A}(x)$ be its characteristic polynomial:

$$\chi_{A}(-x) = \det (A+xI) = x^n + a_{1}x^{n-1}+\ldots+a_{n-1}x + a_{n}.$$

Let $g(A) = ( a_1, \ldots, a_n )$ for any $A \in G$.

Consider a function $f \colon \mathbb{R}^n \to \mathbb{R}$ and define an integral

$$I =\int\limits_{H} f(g(A)) \, \mu(dA),$$

where $H$ is some subset of $G$ well characterized by $a_1,\dots,a_n$, for example the set of all positively defined matrices.

My question is: how to reduce the integration with respect to $\mu$ to the integration with respect to the Lebesgue measure on the space of eigenvalues? I did't find an easy way. Maybe I have to use some generalized version of coarea formula to split the integration on the integration with respect to the Haar measure on $O(n)$ plus the integration on the space of eigenvalues?

$\endgroup$
3
  • 2
    $\begingroup$ Is not it a standard random matrix theory question ? As far as I understand the answer is that you get Lebesgue measure on eigenvalues multiplied by the square of the Vandermonde made of eigenvalues. $\endgroup$ Apr 26, 2012 at 13:14
  • $\begingroup$ Can you give me some reference please? $\endgroup$
    – Appliqué
    Apr 26, 2012 at 13:24
  • 1
    $\begingroup$ M. Mehta's book "Random matrices" seems the classical reference, there are plenty texts on this in arXiv, but I am not expert in this... I hope some one more experienced in this can provide an exhaustive answer... $\endgroup$ Apr 26, 2012 at 13:48

2 Answers 2

18
$\begingroup$

There is a Weyl integration formula that deals with this problem. $\newcommand{\bR}{\mathbb{R}}$ Denote by $G_n$ the space of symmetric $n\times n$ real matrices. It states that for any $O(n)$-invariant $h:G_n\to \bR$ we have

$$ (2\pi)^{-\frac{n(n+1)}{4}} \int_{G_n} h(A) e^{-\frac{{\rm tr} A^2}{4}} dA $$

$$ =\frac{1}{Z_n}\int_{\mathbb{R}^n} h(\lambda_1,\dotsc, \lambda_n) e^{-\frac{1}{4} \sum_{j=1}^n \lambda_j^2} \; {\prod_{j<k}} |\lambda_j-\lambda_k| \; d\lambda_1\cdots d\lambda_n$$

where

$$Z_n =2^{\frac{n}{2}}n! \prod_{j=1}^n \Gamma(\frac{j}{2}).$$

Now, use this formula for

$$ h(A)= f(g(A))\, e^{\frac{{\rm tr} A^2}{4}}. $$

For more details see Appendix C of this paper and the references therein.

$\endgroup$
3
  • $\begingroup$ ¿I suppose yout $m$ really is $n$? $\endgroup$ Sep 10, 2012 at 2:02
  • $\begingroup$ @Kjetil Thanks for pointing out the typo. I have updated my post. $\endgroup$ Sep 10, 2012 at 8:59
  • $\begingroup$ @LiviuNicolaescu Thanks very much for that formula, it's exactly what I was looking for. How would the formula change if we need an integral over the space of symmetric, positive definite matrices? $\endgroup$
    – emakalic
    Aug 13, 2018 at 6:31
11
$\begingroup$

I think you are looking for the Haar measure of $SL(n,\mathbb{R})$ in $K A K$ coordinates. You can find it for example in Knapp's book "Representation Theory of Semisimple Groups: An Overview Based on Examples".

The short answer: the measure you want is the Haar measure on $O(n) \times O(n)$ times Haar measure on the space of diagonal matrices (viewed as a group under multiplication) times the product of the hyperbolic sines of the positive roots.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.