Analysis of infinite dimensional diffusions