All Questions
Tagged with formal-proof limits-and-convergence
1 question with no upvoted or accepted answers
1
vote
0
answers
95
views
Proof -- swapping sum with integral
Problem
In Ceperley's 95 article on path integral Monte Carlo approach I have encountered $\hat{\rho}:L^{2}(R^{3N})\to L^{2}(R^{3N})$
$\hat{\rho} = e^{-\beta \hat{H}}$,
where $\hat{H}$ is a ...