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

Bonaccorsi, S., Guatteri, G.: Stochastic partial differential equations in bounded domains with Dirichlet boundary conditions. Stoch. Stoch. Rep. 74(1–2), 349–370 (2002)

Bonaccorsi, S., Guatteri, G.: Classical solutions for SPDEs with Dirichlet boundary conditions. pp. 33–44 in Progress in Probability, vol. 52, Birkhäuser, Basel/Switzerland (2002)

Da Prato, G., Tubaro, L.: Fully nonlinear stochastic partial differential equations. SIAM J. Math. Anal. 27(1), 40–55 (1996)

Brzeźniak, Z., van Neerven, J.M.A.M., Veraar, M.C., Weis, L.: Ito’s formula in UMD Banach spaces and regularity of solutions of the Zakai equation. J. Differ. Eq. 245, 30–58 (2008)

Evans, L.C.: “Partial Differential Equations”, Graduate Studies in Mathematics, vol. 19. American Mathematical Society, Providence RI (1998)

Gyöngy, I., Krylov, N.V.: On stochastic equations with respect to semimartingales II. Itô formula in Banach spaces. Stochastics 6(3–4), 153–173 (1982)

Kim, Kyeong-Hun, Lee, Kijung: A $$W^1_2$$ -theory of stochastic partial differential systems of divergence type on $$C^1$$ domains. Electron. J. Probab., 16 (2011), paper no. 47, 1296–1317. http://ejp.ejpecp.org/article/view/913

Krylov, N.V. Maximum principle for SPDEs and its applications. In: Baxendale, P.H., Lototsky, S.V. (eds) Stochastic Differential Equations: Theory and Applications, A Volume in Honor of Professor Boris L. Rozovskii. Interdisciplinary Mathematical Sciences, vol. 2, World Scientific, pp. 311–338 (2007)

Krylov, N.V., Rozovsky, B.L.: On the first integrals and Liouville equations for diffusion processes. In: Stochastic Differential Systems, Proceedings of the 3rd IFIP-WG 7/1 Working Conference Visegrád, Hungary, Sept. 15–20, 1980, Lecture Notes in Control and Information Science, vol. 36, pp. 117–125 (1981)

Krylov, N.V., Rozovsky, B.L., Stochastic evolution equations. In: Itogy nauki i tekhniki, VINITI, Moscow, vol. 14 (1979), pp. 71–146 in Russian; English translation in J. Soviet Math. vol. 16, No. 4, pp. 1233–1277 (1981)

Krylov, N.V., Rozovsky, B.L., On the characteristics of degenerate second order parabolic Itô equations. In: Trudy seminara imeni Petrovskogo, vol. 8 (1982), pp. 153–168 in Russian; English translation in J. Soviet Math, vol. 32, No. 4, pp. 336–348 (1986)

Krylov, N.V., Wang, Teng: Filtering partially observable diffusions up to the exit time from a domain. Stoch. Proc. Appl. 121(8), 1785–1815 (2011)

Kunita, H.: On backward stochastic differential equations. Stochastics 6(3–4), 293–313 (1981/1982)

Lions, J.-L.: Quelques methodes de resolution des problemes aux limites non lineaire. Dunod, Gauthier Villars (1969)

Pardoux, E.: Equations aux dérivees partielles stochastiques non linéaires monotones. Ph. D. Thesis, Université de Paris Sud, Orsay, 1975. http://www.cmi.univ-mrs.fr/~pardoux/Pardoux_these.pdf

Pardoux, E.: Stochastic partial differential equations and filtering of diffusion processes. Stochastics 3(2), 127–167 (1979)

Tubaro, L.: Some results on stochastic partial differential equations by the stochastic characteristics method. Stoch. Anal. Appl. 6(2), 217–230 (1988)