Related papers: A relatively short proof of It\^o's formula for SP…
Motivated by applications to SPDEs we extend the It\^o formula for the square of the norm of a semimartingale $y(t)$ from Gy\"ongy and Krylov (Stochastics 6(3):153-173, 1982) to the case \begin{equation*} \sum_{i=1}^m \int_{(0,t]}…
Using the theory of stochastic integration developed recently by the authors, in this paper we prove an It\^{o} formula for Hilbert space-valued It\^{o} processes defined with respect to a cylindrical-martingale valued measure. As part of…
We present an It\^o formula for the $L_p$-norm of jump processes having stochastic differentials in $L_p$-spaces. The main results extend well-known theorems of Krylov to the case of processes with jumps, and which can be used to prove…
A stochastic differential equation with coefficients defined in a scale of Hilbert spaces is considered. The existence and uniqueness of finite time solutions is proved by an extension of the Ovsyannikov method. This result is applied to a…
We derive an It\^o-type formula for a measure-valued process that has a decomposition analogous to a classical semimartingale. The derivation begins with a time partitioning approach similar to the classical proof of It\^o's formula. To…
The maximum principle for SPDEs is established in multidimensional $C^{1}$ domains. An application is given to proving the H\"older continuity up to the boundary of solutions of one-dimensional SPDEs.
We prove that the solution of certain linear stochastic differential equations in Hilbert spaces, namely those with bounded operators as well as the conservative stochastic Schr\"odinger equations, can be obtained - along the lines of the…
A H\"ormander-type theorem is established for It\^o processes and related backward stochastic partial differential equations (BSPDEs). A short self-contained proof is also provided for the $L^2$-theory of linear, possibly degenerate BSPDEs,…
The mild Ito formula proposed in Theorem 1 in [Da Prato, G., Jentzen, A., \& R\"ockner, M., A mild Ito formula for SPDEs, arXiv:1009.3526 (2012), To appear in the Trans.\ Amer.\ Math.\ Soc.] has turned out to be a useful instrument to study…
Consider stochastic partial differential equations (SPDEs) with fully local monotone coefficients in a Gelfand triple $V\subseteq H \subseteq V^*$: \begin{align*} \left\{ \begin{aligned} dX(t) & = A(t,X(t))dt + B(t,X(t))dW(t), \quad t\in…
In this paper we consider an SPDE where the leading term is a second order operator with periodic boundary conditions, coefficients which are measurable in $(t,\omega)$, and H\"older continuous in space. Assuming stochastic parabolicity…
Several versions of It\^{o}'s formula have been obtained in the setting of the functional stochastic calculus. In this regard, we present a local time-space version that works for arbitrary bounded and continuous functionals of L\'{e}vy…
We extend the It\=o formula \cite{MR1837298}*{Theorem 2.3} for semimartingales with rcll paths. We also comment on Local time process of such semimartingales. We apply the It\=o formula to L\'evy processes to obtain existence of solutions…
Correlated with the trend of increasing degrees of freedom in robotic systems is a similar trend of rising interest in Spatio-Temporal systems described by Partial Differential Equations (PDEs) among the robotics and control communities.…
A stochastic differential equation with coefficients defined in a scale of Hilbert spaces is considered. The existence, uniqueness and path-continuity of infinite-time solutions is proved by an extension of the Ovsyannikov method. This…
Several versions of It\^{o}'s formula have been obtained in the context of the functional stochastic calculus. Here, we revisit this topic in two ways. First, by defining a notion of derivative along a functional, we extend the setting of…
We present a versatile framework to study strong existence and uniqueness for stochastic differential equations (SDEs) in Hilbert spaces with irregular drift. We consider an SDE in a separable Hilbert space $H$ \begin{equation*} dX_t= (A…
We present an alternative construction of the infinite dimensional It\^{o} integral with respect to a Hilbert space valued L\'{e}vy process. This approach is based on the well-known theory of real-valued stochastic integration, and the…
We establish necessary and sufficient conditions for stochastic invariance of closed subsets in Hilbert spaces for solutions to infinite-dimensional stochastic differential equations (SDEs) under mild assumptions on the coefficients. Our…
The coefficients in a second order parabolic linear stochastic partial differential equation (SPDE) are estimated from multiple spatially localised measurements. Assuming that the spatial resolution tends to zero and the number of…