[obm-l] Identidade Gaussiana

[<rlalonso@xxxxxxxxxx>]

Alguém sabe provar a seguinte 
identidade Gaussiana ?? (eu confesso que não tentei
mas parece bastante desafiador): 

 exp{1/2 <n,An>} = {det A}^{-1/2} integral {prod {i=1}^{m} d phi_i /2*pi }
* exp {-1/2 <phi,A^{-1} phi}> + <n,phi>}


aqui: 

 n = (n_1,...,n^m)  phi=(phi_1,...,phi_m) e
<...,...>  é o produto escalar em R^m.

Referência: G Morandin, Statistical Mechanics: An intermediate Course 
pp 169 (ps: esse livro me ajudou bastante até agora na tese).
=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================