The Ito Formula for the Ito Processes Driven by the Wiener Processes in a Banach Space

Abstract

Using traditional methods it is possible to prove the Ito formula in a Hilbert space and some Banach spaces with special geometrical properties. The class of such Banach spaces is very narrow-they are subclass of reflexive Banach spaces. Using the definition of a generalized stochastic integral, early we proved the Ito formula in an arbitrary Banach space for the case, when as initial Ito process was the Wiener process. For an arbitrary Banach space and an arbitrary Ito process it is impossible to find the sequence of corresponding step functions with the desired convergence. We consider the space of generalized random processes, introduce general Ito process there and prove in it the Ito formula. Afterward, from the main Ito process in a Banach space we receive the generalized Ito process in the space of generalized random processes and we get the Ito formula in this space. Then we check decompasibilility of the members of the received equality and as they turn out Banach space valued, we get the Ito formula in an arbitrary Banach space. We implemented this approach when the stochastic integral in the Ito process was taken from a Banach space valued non-anticipating random process by the one dimensional Wiener process. In this paper we consider the case, when the stochastic integral is taken from an operator- valued non-anticipating random process by the Wiener process with values in a Banach space.