A relatively short proof of Itô's formula for SPDEs and its applications

N. V. Krylov

We give a short proof of Itô's formula for stochastic Hilbert-space valued processes in the setting $V\subset H\subset V^{\ast }$ based on the possibility to lift the stochastic differ…