Iterated stochastic integrals in infinite dimensions: approximation and error estimates

Higher order numerical schemes for stochastic partial differential equations that do not possess commutative noise require the simulation of iterated stochastic integrals. In this work, we extend the algorithms derived by Kloeden et al. (Stoch Anal Appl 10(4):431-441, 1992. 10.1080/07362999208809281) and by Wiktorsson (Ann Appl Probab 11(2):470-487, 2001. 10.1214/aoap/1015345301) for the approximation of two-times iterated stochastic integrals involved in numerical schemes for finite dimensional stochastic ordinary differential equations to an infinite dimensional setting. These methods clear the way for new types of approximation schemes for SPDEs without commutative noise. Precisely, we analyze two algorithms to approximate two-times iterated integrals with respect to an infinite dimensional Q-Wiener process in case of a trace class operator Q given the increments of the Q-Wiener process. Error estimates in the mean-square sense are derived and discussed for both methods. In contrast to the finite dimensional setting, which is contained as a special case, the optimal approximation algorithm cannot be uniquely determined but is dependent on the covariance operator Q. This difference arises as the stochastic process is of infinite dimension.