Ogawa integral

In stochastic calculus, the Ogawa integral, also called the non-causal stochastic integral, is a stochastic integral for non-adapted processes as integrands. The corresponding calculus is called non-causal calculus in order to distinguish it from the anticipating calculus of the Skorokhod integral. The term causality refers to the adaptation to the natural filtration of the integrator. The integral was introduced by the Japan ese mathematician Shigeyoshi Ogawa in 1979.

Ogawa integral

Let

• [math]\displaystyle{ (\Omega,\mathcal{F},P) }[/math] be a probability space,
• [math]\displaystyle{ W=(W_t)_{t\in[0,T]} }[/math] be a one-dimensional standard Wiener process with [math]\displaystyle{ T\in\mathbb{R}_+ }[/math],
• [math]\displaystyle{ \mathcal{F}_t^W=\sigma(W_s;0\leq s \leq t)\subset \mathcal{F} }[/math] and [math]\displaystyle{ \mathbf{F}^W=\{\mathcal{F}_t^W, t\geq 0\} }[/math] be the natural filtration of the Wiener process,
• [math]\displaystyle{ \mathcal{B}([0,T]) }[/math] the Borel σ-algebra,
• [math]\displaystyle{ \int f\; dW_t }[/math] be the Wiener integral,
• [math]\displaystyle{ dt }[/math] be the Lebesgue measure.

Further let [math]\displaystyle{ \mathbf{H} }[/math] be the set of real-valued processes [math]\displaystyle{ X\colon [0,T]\times \Omega \to\mathbb{R} }[/math] that are [math]\displaystyle{ \mathcal{B}([0,T])\times \mathcal{F} }[/math]-measurable and almost surely in [math]\displaystyle{ L^2([0,T],dt) }[/math], i.e.

[math]\displaystyle{ P\left(\int_0^T |X(t,\omega)|^2 \, dt\lt \infty\right)=1. }[/math]

Ogawa integral

Let [math]\displaystyle{ \{\varphi_n\}_{n\in \mathbb{N}} }[/math] be a complete orthonormal basis of the Hilbert space [math]\displaystyle{ L^2([0,T],dt) }[/math].

A process [math]\displaystyle{ X\in\mathbf{H} }[/math] is called [math]\displaystyle{ \varphi }[/math]-integrable if the random series

[math]\displaystyle{ \int_0^T X_t \, d_\varphi W_t:=\sum_{n=1}^\infty \left(\int_0^T X_t \varphi_n(t) \, dt\right) \int_0^T\varphi_n(t) \, dW_t }[/math]

converges in probability and the corresponding sum is called the Ogawa integral with respect to the basis [math]\displaystyle{ \{\varphi_n\} }[/math].

If [math]\displaystyle{ X }[/math] is [math]\displaystyle{ \varphi }[/math]-integrable for any complete orthonormal basis of [math]\displaystyle{ L^2([0,T],dt) }[/math] and the corresponding integrals share the same value then [math]\displaystyle{ X }[/math] is called universal Ogawa integrable (or u-integrable).

More generally, the Ogawa integral can be defined for any [math]\displaystyle{ L^2(\Omega,P) }[/math]-process [math]\displaystyle{ Z_t }[/math] (such as the fractional Brownian motion) as integrators

[math]\displaystyle{ \int_0^T X_t \, d_\varphi Z_t:=\sum_{n=1}^\infty \left(\int_0^T X_t \varphi_n(t) \, dt\right) \int_0^T\varphi_n(t) \, dZ_t }[/math]

as long as the integrals

[math]\displaystyle{ \int_0^T\varphi_n(t) \, dZ_t }[/math]

are well-defined.

Remarks

• The convergence of the series depends not only on the orthonormal basis but also on the ordering of that basis.
• There exist various equivalent definitions for the Ogawa integral which can be found in (). One way makes use of the Itô–Nisio theorem.

Regularity of the orthonormal basis

An important concept for the Ogawa integral is the regularity of an orthonormal basis. An orthonormal basis [math]\displaystyle{ \{\varphi_n\}_{n\in \mathbb{N}} }[/math] is call regular if

[math]\displaystyle{ \sup_n \int_0^T \left( \sum_{i=1}^n \varphi_i(t)\int_0^t \varphi_i(s) \, ds\right)^2 \, dt\lt \infty }[/math]

holds.

The following results on regularity are known:

• Every semimartingale (causal or not) is [math]\displaystyle{ \varphi }[/math]-integrable if and only if [math]\displaystyle{ \{\varphi_n\} }[/math] is regular.
• It was proven that there exist a non-regular basis for [math]\displaystyle{ L^2([0,1], dt) }[/math].

Further topics

• There exist a non-causal Itô formula, a non-causal integration by parts formula and a non-causal Girsanov theorem.
• The Ogawa integral for multidimensional Wiener processes was studied in ().

Relationship to other integrals

• Stratonovich integral: let [math]\displaystyle{ X }[/math] be a continuous [math]\displaystyle{ \mathbf{F}^W }[/math]-adapted semimartingale that is universal Ogawa integrable with respect to the Wiener process, then the Stratonovich integral exist and coincides with the Ogawa integral.
• Skorokhod integral: the relationship between the Ogawa integral and the Skorokhod integral was studied in ().

Literature

• Ogawa, Shigeyoshi (2017). Noncausal Stochastic Calculus. Tokyo: Springer. doi:10.1007/978-4-431-56576-5. ISBN 978-4-431-56574-1.