Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $A=(a_{ij})$ be a real symmetric, positive definite $n \times n$ matrix and set

$$ F(x_1,x_2,\ldots, ,x_n)= \sum_{i,j}a_{ij}x_ix_j.$$

I am trying to show that for any non-negative measurable function $\alpha$ on the real line

$$ \int_{\mathbb{R}^n} \alpha(F(x_1,x_2,\ldots, ,x_n))\,dm= \frac{1}{\sqrt{\det A}}\int_{\mathbb{R}^n} \alpha(x_1^2+x_2^2+\ldots +x_n^2)\,dm,$$

where $dm$ is the Lebesgue measure on $\mathbb{R}^n$.

I thought in the following sense: Somehow, change of variables theorem for $\mathbb{R}^n$ should be used and here we need the Jacobian matrix for the transformation $F$. Is $A$ the matrix representation of $F$? How to write Jacobian for $F$?

Moreover, $A$ is diagonalizable and all of its eigenvalues, $\lambda_1\lambda_2\ldots\lambda_n$, are positive. Therefore, $D= P^{-1}A P$, where $D$ is the diagonal $n \times n$ matrix with eigenvalues on the diagonal and $P$ is the orthogonal $n \times n$ matrix consisting of eigenfunctions as column vectors. Then, it follows that $$\det A=\det D=\lambda_1\lambda_2\ldots\lambda_n.$$

How can we combine all these data? Can you please help me?

Thank you!

share|cite|improve this question
up vote 1 down vote accepted

As you notice, we can write $A=P^tDP$, where $D$ is diagonal, with real entries and $P$ orthogonal. The LHs is $$I:=\int_{\Bbb R^n}F(x^tP^tDPx)dx_1\dots dx_n.$$ Do the change $y=Px$; since $P$ is orthogonal the absolute value of the Jacobian is $1$, hence $$I=\int_{\Bbb R^n}F(y^tDy)dy_1\dots dy_n=\int_{\Bbb R^n}F\left(\sum_{j=1}^n\lambda_jy_j^2\right)dy_1\dots dy_n.$$ Since $\lambda_j>0$, let $t_j:=\sqrt{\lambda_j}y_j$ for $1\leq j\leq n$. The inverse of the Jacobian of this transformation is $\frac 1{\sqrt{\det D}}$, which is what we want since $\det D=\det A$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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