Take the 2-minute tour ×
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.

I have to prove the following without any use of further mathematical theories except basic calculus and linear algebra:

Let $ \ell $ be a positive integer and $A$ a real, symmetric and positive definite $n \times n$-Matrix (square Matrix with $n$ columns and $n$ rows). Show that the following identity holds:

$$ \int_{\mathbb{R}^n} x_{i_1} \cdots x_{i_{2 \ell}} e^{-\frac{1}{2} \left< \mathbf{ x}, A \ \mathbf{x} \right>} d^n x = \frac{(2 \pi)^{n/2}}{\ell! \sqrt{\det{A}}} \sum\limits_{ \begin{array} \{ \{ k_1,k_1'\},\ldots,\{k_\ell,k_\ell'\}\in P \\ \cup_{j=1}^\ell \{ k_j, k_j' \} = \{ 1,\ldots,2 \ell \} \end{array} } ( A^{-1} )_{i_{k_1},i_{k_1'}} \cdots ( A^{-1} )_{i_{k_\ell},i_{k_\ell'}} $$ with $P = \left\{ \{k,k'\}, k \not= k' \in \{1,\ldots,2 \ell\} \right\}$ and $\left< \mathbf{x}, \mathbf{y} \right>$ the standard scalar product for $\mathbf{x},\mathbf{y} \in \mathbb{R}^n$.

Frankly speaking I have no idea what to do, where to begin. I'm also afraid that I cannot really explain the notation, because I don't get it 100% myself. In fact we are a group of approximately 15 students and we all don't know a smooth short way. This exercise could be part of a 2 hour exam with 5 other exercises. So we suppose there exists a more or less short solution.

share|improve this question
    
What is $\left< \mathbf{ x}, A \mathbf{x} \right>$? And what is $i$? –  Matt Gregory Feb 1 '11 at 12:46
    
The standard scalar product: $\forall \mathbf{x}, \mathbf{y} \in \mathbb{R}^n: \left< \mathbf{x}, \mathbf{y} \right> := \sum\limits_{i=1}^n x_i \cdot y_i$. Concerning $i$: It is not written in the exercise, so I do not inted to edit the question, but I suppose $i \in \mathbb{N}$. –  a1337q Feb 1 '11 at 12:52
    
But isn't Ax a matrix? Sorry, I have no idea how to do this problem. I'm just curious about it. –  Matt Gregory Feb 1 '11 at 12:55
    
Well, no, by definition of the matrix multiplication, $A \mathbf{x}$ is again in $\mathbb{R}^n$. –  a1337q Feb 1 '11 at 12:57
    
$Ax$ is a vector. –  Grumpy Parsnip Feb 1 '11 at 12:58

1 Answer 1

up vote 6 down vote accepted

Hint for the case $\ell = 1$. The rest can be done by induction.

Since $A$ is positive definite, can define the matrix $B = (A)^{-1/2}$. Consider the change of variables $x = By$, so $dx = |B| dy$ using the Jacobian determinant. Then your equation can be re-written as

$$ \int_{\mathbb{R}^n} x_i x_j e^{-\frac12 xAx} dx = |B| \int_{\mathbb{R}^n} B_{ik}B_{jl}y_ky_l e^{-\frac12 y\cdot y} dy $$

(Notice that $|B| = |A|^{-1/2}$ as desired.). Now, using the linearity of the action by the matrix $B$, you can integrate by parts in $y_l$ using the derivative operator $\partial_l$. This will pick out a term of the form (using that $\partial_ly_k = \delta_{lk}$)

$$ B_{il}B_{jl} \int_{\mathbb{R}^n} e^{-\frac12 y\cdot y} dy $$

the integral is the Gaussian integral giving you the factor of $2\pi$. And $B_{il}B_{jl} = B^2 = A^{-1}_{ij}$.

The factorial factor comes from when you integrate by parts, when $\ell > 1$, by counting the terms you actually have.

share|improve this answer
    
Well, the exam went by and this one wasn't part of it. Whee. Thank you. –  a1337q Feb 6 '11 at 20:15

Your Answer

 
discard

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.