Proof of Ito’s Formula for Ito’s Process in Nonstandard Analysis
ABSTRACT
In our previous paper , we proposed a non-standardization of the concept of convolution in order to construct an extended Wiener measure using nonstandard analysis by E. Nelson . In this paper, we consider Ito’s integral with respect to the extended Wiener measure and extend Ito’s formula for Ito’s process. Because of doing the extension of Ito’s formula, we could treat stochastic differential equations in the sense of nonstandard analysis. In this framework, we need the nonstandardization of convolution again. It was not yet proved in the last paper, therefore we shall provide the proof.

1. Introduction

As for an analysis of stochastic differential equations driven by extended Wiener process in the sense of nonstandard analysis, we need to extend “Ito’s formula” for Wiener process or Ito’s process. In the previous paper, we extended a concept of convolution in Fourier series to the case of nonstandard analysis. According to the result, we shall extend some theorems in probability theory, for example, the law of large numbers and the central limit theorem, and shall reconstruct Ito’s formula by using nonstandard analysis. We shall give the proof of the reconstruction of Ito’s formula in the case that the convolution of probability density which functions in a nonstandard extension is convergent for some functional $F\left(t,X\left(t\right)\right)$ of Ito’s process $X\left(t\right)$ . The problem was not solved still now.

If the convolution is not convergent, what kind of problem does it occur? In Taylor expansion of $F\left(t,X\right)$ , the higher terms may not vanish. Then, Ito’s formula does not be established. As to what we shall give extended law of large numbers and extended central limit theorem, they will be provided precisely in the next paper.

2. Ito’s Integral for Extended Wiener Process in Nonstandard

In our previous paper  , we showed that Fourier series can be described by the convolution in nonstandard analysis, then the series of i.i.d. random variables using Loeb measure  converges in ${L}^{2}$ sense under some moment condition. Therefore, the definition of stochastic integral in classical probability theory can be extended by the way of nonstandard analysis  ,  .

Furthermore, we need to prove some laws of large numbers for i.i.d. random variables to show the convergence to a stochastic integral.

In fact, we use an extended concept of the convolution to investigate the expectation or the distribution of series of i.i.d. random variables for the nonstandardization of the law of large numbers.

In order to prove the convergence of sums of higher order of $\Delta {W}_{k}$ such as ${\left(\Delta {W}_{k}\right)}^{3},{\left(\Delta {W}_{k}\right)}^{5},\cdots$ in the proof of Ito formula, we need to extend the law of large numbers for $\Delta {W}_{k}$ in the sense of nonstandard.

From the above discussion, we shall define the stochastic integral in nonstandard analysis.

Let $\Delta t$ be the infinitesimal and $N=\frac{T}{\Delta t}$ . The extended Winer process is defined as follows.

Definition 2.1. Let ${N}_{t}=\frac{t}{\Delta t},\text{\hspace{0.17em}}0\le t\le T$ and $N={N}_{T}$ . Assume that a sequence of i.i.d. random variables $\left\{\Delta {W}_{k},k=1,\cdots ,N\right\}$ has the distribution

$P\left\{\Delta {W}_{k}=\sqrt{\Delta t}\right\}=P\left\{\Delta {W}_{k}=-\sqrt{\Delta t}\right\}=\frac{1}{2}$ (1)

for each $k=1,\cdots ,N$ . An extended Wiener process $\left\{W\left(t\right),t\ge 0\right\}$ is defined by

$W\left(t\right)=\underset{k=1}{\overset{{N}_{t}}{\sum }}\Delta {W}_{k},\text{\hspace{0.17em}}\text{\hspace{0.17em}}0\le t\le T.$ (2)

Ito’s integral (stochastic integral) in the nonstandard sense is defined as follows.

Definition 2.2. Let $\left\{W\left(t\right),0\le t\le T\right\}$ be an extended Wiener process. Assume that an adapted process $\left\{\sigma \left(t\right),0\le t\le T\right\}$ with respect the Wiener process $W\left(t\right)$ is defined by

$\sigma \left(t\right)={Y}_{k},\text{\hspace{0.17em}}{t}_{k}\le t<{t}_{k+1},\text{\hspace{0.17em}}k=0,1,\cdots ,N,$ (3)

where ${t}_{k}=k\Delta t,\text{\hspace{0.17em}}k=0,1,\cdots ,N$ and each ${Y}_{k}$ is measurable with respect to $\left\{W\left(t\right),0\le t\le {t}_{k}\right\}$ . Assume that

$E\left[{Y}_{k}^{2}\right]<\infty ,\text{\hspace{0.17em}}\text{\hspace{0.17em}}k\ge 1.$ (4)

A stochastic integral in nonstandard analysis is defined by

${\int }_{0}^{T}\sigma \left(t\right)\text{d}W\left(t\right)=\underset{k=1}{\overset{N}{\sum }}{Y}_{k-1}\Delta {W}_{k},$ (5)

where ${Y}_{0}$ is independent of $\left\{W\left(t\right),t\ge 0\right\}$ $\left\{\Delta {W}_{k},k=1,\cdots ,N\right\}$ is a sequence of i.i.d. random variables with the distribution

$P\left\{\Delta {W}_{k}=\sqrt{\Delta t}\right\}=P\left\{\Delta {W}_{k}=-\sqrt{\Delta t}\right\}=\frac{1}{2}.$ (6)

Remark 1. In classical (standard) probability theory, Ito’s integral ${\int }_{0}^{T}\sigma \left(t\right)\text{d}W\left(t\right)$ is well defined under the condition of the existence of the variance of $\sigma \left(t\right)$ for each $0\le t\le T$ . In nonstandard analysis, the convergence of the series in (5) may not be ensured. On the other hand, take note that we have already given some sufficient conditions for the convergence of the convolution in Fourier series. See  .

3. Proof of Ito’s Formula for Extended Wiener Process in Nonstandard

From the concept of Ito’s integral for the extended Wiener process, we provide Ito’s formula for the extended Wiener process.

Theorem 3.1. Let $F\left(t,x\right)$ be of ${C}^{3}$ . Assume that the condition (4) is satisfied, then we have the following for the extended Wiener Process $W\left(t\right)$ . For any $T\ge 0$ ,

$\begin{array}{c}F\left(t,W\left(T\right)\right)=F\left(0,W\left(0\right)\right)+{\int }_{0}^{T}{F}_{t}\left(t,W\left(t\right)\right)\text{d}t\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+{\int }_{0}^{T}{F}_{x}\left(t,W\left(t\right)\right)\text{d}W\left(t\right)+\frac{1}{2}{\int }_{0}^{T}{F}_{xx}\left(t,W\left(t\right)\right)\text{d}t.\end{array}$ (7)

Proof.

$\begin{array}{l}F\left(t+\Delta t,W\left(t+\Delta t\right)\right)-F\left(t,W\left(t\right)\right)\\ ={F}_{t}\left(t,W\left(t\right)\right)\Delta t+{F}_{x}\left(t,W\left(t\right)\right)\left\{W\left(t+\Delta t\right)-W\left(t\right)\right\}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{ }\text{ }+\frac{1}{2}{F}_{tt}\left(t,W\left(t\right)\right){\left(\Delta t\right)}^{2}+{F}_{tx}\left(t,W\left(t\right)\right)\Delta t\left\{W\left(t+\Delta t\right)-W\left(t\right)\right\}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{ }\text{ }+\frac{1}{2}{F}_{xx}\left(t,W\left(t\right)\right){\left\{W\left(t+\Delta t\right)-W\left(t\right)\right\}}^{2}+\frac{1}{3!}{F}_{ttt}\left(t,W\left(t\right)\right){\left(\Delta t\right)}^{3}\end{array}$

$\begin{array}{l}\text{ }+\frac{3}{3!}{F}_{ttx}\left(t,W\left(t\right)\right){\left(\Delta t\right)}^{2}\left\{W\left(t+\Delta t\right)-W\left(t\right)\right\}\\ \text{ }+\frac{3}{3!}{F}_{txx}\left(t,W\left(t\right)\right)\Delta t{\left\{W\left(t+\Delta t\right)-W\left(t\right)\right\}}^{2}\\ \text{ }+\frac{1}{3!}{F}_{xxx}\left(t,W\left(t\right)\right){\left\{W\left(t+\Delta t\right)-W\left(t\right)\right\}}^{3}+\cdots \end{array}$ (8)

Put

$N=\left[\frac{T}{\Delta t}\right],\text{\hspace{0.17em}}\text{\hspace{0.17em}}{t}_{k}=k\Delta t,\text{\hspace{0.17em}}\text{\hspace{0.17em}}k=0,1,\cdots ,N-1,$

$\Delta {W}_{k}=W\left({t}_{k}\right)-W\left({t}_{k-1}\right),\text{\hspace{0.17em}}\text{\hspace{0.17em}}k=0,1,\cdots ,N-1$

and

$\Delta {W}_{N}=W\left(T\right)-W\left({t}_{N-1}\right)$

then,

$\begin{array}{l}F\left(t,W\left(T\right)\right)-F\left(0,W\left(0\right)\right)\\ =\underset{k=1}{\overset{N}{\sum }}\text{ }{F}_{t}\left({t}_{k-1},W\left({t}_{k-1}\right)\right)\Delta t+\underset{k=1}{\overset{N}{\sum }}\text{ }{F}_{x}\left({t}_{k-1},W\left({t}_{k-1}\right)\right)\Delta {W}_{k}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+\frac{1}{2}\underset{k=1}{\overset{N}{\sum }}\text{ }{F}_{tt}\left({t}_{k-1},W\left({t}_{k-1}\right)\right){\left(\Delta t\right)}^{2}+\underset{k=1}{\overset{N}{\sum }}\text{ }{F}_{tx}\left({t}_{k-1},W\left({t}_{k-1}\right)\right)\Delta t\Delta {W}_{k}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+\frac{1}{2}\underset{k=1}{\overset{N}{\sum }}\text{ }{F}_{xx}\left({t}_{k-1},W\left({t}_{k-1}\right)\right)\Delta t+\frac{1}{3!}\underset{k=1}{\overset{N}{\sum }}\text{ }{F}_{ttt}\left({t}_{k-1},W\left({t}_{k-1}\right)\right){\left(\Delta t\right)}^{3}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+\frac{3}{3!}\underset{k=1}{\overset{N}{\sum }}\text{ }{F}_{ttx}\left({t}_{k},W\left({t}_{k}\right)\right){\left(\Delta t\right)}^{2}\Delta {W}_{k}+\frac{3}{3!}\underset{k=1}{\overset{N}{\sum }}\text{ }{F}_{txx}\left({t}_{k},W\left({t}_{k}\right)\right){\left(\Delta t\right)}^{2}\end{array}$

$\begin{array}{l}\text{\hspace{0.17em}}\text{\hspace{0.17em}}+\frac{1}{3!}\underset{k=1}{\overset{N}{\sum }}\text{ }{F}_{xxx}\left({t}_{k},W\left({t}_{k}\right)\right)\Delta t\Delta {W}_{k}+\cdots \\ ={\int }_{0}^{T}{F}_{t}\left(t,W\left(t\right)\right)\text{d}t+{\int }_{0}^{T}{F}_{x}\left(t,W\left(t\right)\right)\text{d}W\left(t\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+\frac{1}{2}\left\{{\int }_{0}^{T}{F}_{tt}\left(t,W\left(t\right)\right)\text{d}t\right\}\Delta t+\left\{{\int }_{0}^{T}{F}_{tx}\left(t,W\left(t\right)\right)\text{d}W\left(t\right)\right\}\Delta t\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+\frac{1}{2}{\int }_{0}^{T}{F}_{xx}\left(t,W\left(t\right)\right)\text{d}t+\frac{1}{3!}\left(\Delta {t}^{2}\right)\left\{{\int }_{0}^{T}{F}_{ttt}\left(t,W\left(t\right)\right)\text{d}t\right\}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+\frac{3}{3!}\Delta t\left\{{\int }_{0}^{T}{F}_{ttx}\left(t,W\left(t\right)\right)\text{d}W\left(t\right)\right\}+\frac{3}{3!}\Delta t\left\{{\int }_{0}^{T}{F}_{txx}\left(t,W\left(t\right)\right)\text{d}t\right\}\end{array}$

$\begin{array}{l}\text{\hspace{0.17em}}\text{\hspace{0.17em}}+\frac{1}{3!}\Delta t\left\{{\int }_{0}^{T}{F}_{xxx}\left(t,W\left(t\right)\right)\text{d}W\left(t\right)\right\}+\cdots \\ ={\int }_{0}^{T}{F}_{t}\left(t,W\left(t\right)\right)\text{d}t+{\int }_{0}^{T}{F}_{x}\left(t,W\left(t\right)\right)\text{d}W\left(t\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{ }+\frac{1}{2}{\int }_{0}^{T}{F}_{xx}\left(t,W\left(t\right)\right)\text{d}t\end{array}$ (9)

4. Proof of Ito’s Formula for Ito’s Process in Nonstandard

Let $X\left(t\right)$ be Ito’s process defined by

$X\left(t\right)={X}_{0}+{\int }_{0}^{t}b\left(s\right)\text{d}s+{\int }_{0}^{t}\sigma \left(s\right)\text{d}W\left(s\right),\text{\hspace{0.17em}}\text{\hspace{0.17em}}0\le t\le T$ (10)

where $b\left(s\right)$ and $\sigma \left(s\right)$ are adapted processes with respect to a Wiener process $W\left(t\right)$ . Then, we have Ito’s formula for the Ito’s process.

Theorem 4.1. Let $F\left(t,x\right)$ be of ${C}^{3}$ , then we have the following. For any $T\ge 0$ ,

$\begin{array}{c}F\left(t,X\left(T\right)\right)=F\left(0,X\left(0\right)\right)+{\int }_{0}^{T}{F}_{t}\left(t,X\left(t\right)\right)\text{d}t\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+{\int }_{0}^{T}{F}_{x}\left(t,X\left(t\right)\right)b\left(t\right)\text{d}t+{\int }_{0}^{T}{F}_{x}\left(t,X\left(t\right)\right)\sigma \left(t\right)\text{d}W\left(t\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+\frac{1}{2}{\int }_{0}^{T}{F}_{xx}\left(t,X\left(t\right)\right)\sigma {\left(t\right)}^{2}\text{d}t.\end{array}$ (11)

Proof. We provide the proof by using nonstandard analysis.

From the Taylor expansion for the two-dimensional function $F\left(t,X\left(t\right)\right)$ , we have the following.

$\begin{array}{l}F\left(t+\Delta t,X\left(t+\Delta t\right)\right)-F\left(t,X\left(t\right)\right)\\ ={F}_{t}\left(t,X\left(t\right)\right)\Delta t+{F}_{x}\left(t,X\left(t\right)\right)\left\{X\left(t+\Delta t\right)-X\left(t\right)\right\}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+\frac{1}{2}{F}_{tt}\left(t,X\left(t\right)\right){\left(\Delta t\right)}^{2}+{F}_{tx}\left(t,X\left(t\right)\right)\Delta t\left\{X\left(t+\Delta t\right)-X\left(t\right)\right\}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+\frac{1}{2}{F}_{xx}\left(t,X\left(t\right)\right){\left\{X\left(t+\Delta t\right)-X\left(t\right)\right\}}^{2}+\frac{1}{3!}{F}_{ttt}\left(t,X\left(t\right)\right){\left(\Delta t\right)}^{3}\end{array}$

$\begin{array}{l}\text{ }+\frac{3}{3!}{F}_{ttx}\left(t,X\left(t\right)\right){\left(\Delta t\right)}^{2}\left\{X\left(t+\Delta t\right)-X\left(t\right)\right\}\\ \text{ }+\frac{3}{3!}{F}_{txx}\left(t,X\left(t\right)\right)\Delta t{\left\{X\left(t+\Delta t\right)-X\left(t\right)\right\}}^{2}\\ \text{ }+\frac{1}{3!}{F}_{xxx}\left(t,X\left(t\right)\right){\left\{X\left(t+\Delta t\right)-X\left(t\right)\right\}}^{3}+\cdots \end{array}$ (12)

In nonstandard analysis, we can represent the Ito’s process $X\left(t\right)$ for the extended Wiener process by

$\begin{array}{c}X\left(t\right)={X}_{0}+{\int }_{0}^{t}b\left(s\right)\text{d}s+{\int }_{0}^{t}\sigma \left(s\right)\text{d}W\left(s\right)\\ ={X}_{0}+\underset{k=1}{\overset{N}{\sum }}\text{ }b\left({t}_{k-1}\right)\Delta t+\underset{k=1}{\overset{N}{\sum }}\text{ }\sigma \left({t}_{k-1}\right)\Delta {W}_{k},\text{\hspace{0.17em}}\text{\hspace{0.17em}}0\le t\le T,\end{array}$ (13)

where for infinitesimal $\Delta t$

$N=\left[\frac{T}{\Delta t}\right],\text{\hspace{0.17em}}\text{\hspace{0.17em}}{t}_{k}=k\Delta t,\text{\hspace{0.17em}}\text{\hspace{0.17em}}k=0,1,\cdots ,N$

and

$\Delta {W}_{k}=W\left({t}_{k}\right)-W\left({t}_{k-1}\right),\text{\hspace{0.17em}}\text{\hspace{0.17em}}k=0,1,\cdots ,N.$

Therefore, the difference of $X\left(t\right)$ can be represented by the following,

$\Delta {X}_{k}=X\left({t}_{k}\right)-X\left({t}_{k-1}\right)=b\left({t}_{k-1}\right)\Delta t+\sigma \left({t}_{k-1}\right)\Delta {W}_{k}.$ (14)

On the other hand,

${\left(\Delta {W}_{k}\right)}^{2n}={\left(\Delta t\right)}^{n}\text{\hspace{0.17em}}\text{\hspace{0.17em}}a.s.$

for each $n\ge 1$ from (1).

Thus, we have the following.

$\begin{array}{l}F\left(t,X\left(T\right)\right)-F\left(0,X\left(0\right)\right)\\ =\underset{k=1}{\overset{N}{\sum }}\text{ }{F}_{t}\left({t}_{k-1},X\left({t}_{k-1}\right)\right)\Delta t+\underset{k=1}{\overset{N}{\sum }}\text{ }{F}_{x}\left({t}_{k-1},X\left({t}_{k-1}\right)\right)\Delta {X}_{k}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{ }\text{ }+\frac{1}{2}\underset{k=1}{\overset{N}{\sum }}\text{ }{F}_{tt}\left({t}_{k-1},X\left({t}_{k-1}\right)\right){\left(\Delta t\right)}^{2}+\underset{k=1}{\overset{N}{\sum }}\text{ }{F}_{tx}\left({t}_{k-1},X\left({t}_{k-1}\right)\right)\Delta tX{W}_{k}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{ }\text{ }+\frac{1}{2}\underset{k=1}{\overset{N}{\sum }}\text{ }{F}_{xx}\left({t}_{k-1},X\left({t}_{k-1}\right)\right){\left\{\Delta {X}_{k}\right\}}^{2}+\frac{1}{3!}\underset{k=1}{\overset{N}{\sum }}\text{ }{F}_{ttt}\left({t}_{k-1},X\left({t}_{k-1}\right)\right){\left(\Delta t\right)}^{3}\end{array}$

$\begin{array}{l}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{ }\text{ }+\frac{3}{3!}\underset{k=1}{\overset{N}{\sum }}\text{ }{F}_{ttx}\left({t}_{k},X\left({t}_{k}\right)\right){\left(\Delta t\right)}^{2}\Delta {X}_{k}+\frac{3}{3!}\underset{k=1}{\overset{N}{\sum }}\text{ }{F}_{txx}\left({t}_{k},X\left({t}_{k}\right)\right)\Delta t{\left(\Delta {X}_{k}\right)}^{2}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{ }\text{ }+\frac{1}{3!}\underset{k=1}{\overset{N}{\sum }}\text{ }{F}_{xxx}\left({t}_{k},X\left({t}_{k}\right)\right){\left(\Delta {X}_{k}\right)}^{3}+\cdots \\ =\underset{k=1}{\overset{N}{\sum }}\text{ }{F}_{t}\left({t}_{k-1},X\left({t}_{k-1}\right)\right)\Delta t\end{array}$

$\begin{array}{l}\text{ }\text{ }+\underset{k=1}{\overset{N}{\sum }}\text{ }{F}_{x}\left({t}_{k-1},X\left({t}_{k-1}\right)\right)\left\{b\left({t}_{k-1}\right)\Delta t+\sigma \left({t}_{k-1}\right)\Delta {W}_{k}\right\}\\ \text{ }\text{ }+\frac{1}{2}\underset{k=1}{\overset{N}{\sum }}\text{ }{F}_{tt}\left({t}_{k-1},X\left({t}_{k-1}\right)\right){\left(\Delta t\right)}^{2}\\ \text{ }+\underset{k=1}{\overset{N}{\sum }}\text{ }{F}_{tx}\left({t}_{k-1},X\left({t}_{k-1}\right)\right)\Delta t\left\{b\left({t}_{k-1}\right)\Delta t+\sigma \left({t}_{k-1}\right)\Delta {W}_{k}\right\}\\ +\frac{1}{2}\underset{k=1}{\overset{N}{\sum }}\text{ }{F}_{xx}\left({t}_{k-1},X\left({t}_{k-1}\right)\right){\left\{b\left({t}_{k-1}\right)\Delta t+\sigma \left({t}_{k-1}\right)\Delta {W}_{k}\right\}}^{2}\\ \text{ }+\frac{1}{3!}\underset{k=1}{\overset{N}{\sum }}\text{ }{F}_{ttt}\left({t}_{k-1},X\left({t}_{k-1}\right)\right){\left(\Delta t\right)}^{3}\end{array}$

$\begin{array}{l}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{ }+\frac{3}{3!}\underset{k=1}{\overset{N}{\sum }}\text{ }{F}_{ttx}\left({t}_{k},X\left({t}_{k}\right)\right){\left(\Delta t\right)}^{2}\left\{b\left({t}_{k-1}\right)\Delta t+\sigma \left({t}_{k-1}\right)\Delta {W}_{k}\right\}\\ \text{ }\text{\hspace{0.17em}}\text{\hspace{0.17em}}+\frac{3}{3!}\underset{k=1}{\overset{N}{\sum }}\text{ }{F}_{txx}\left({t}_{k},X\left({t}_{k}\right)\right)\Delta t{\left\{b\left({t}_{k-1}\right)\Delta t+\sigma \left({t}_{k-1}\right)\Delta {W}_{k}\right\}}^{2}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{ }+\frac{1}{3!}\underset{k=1}{\overset{N}{\sum }}\text{ }{F}_{xxx}\left({t}_{k},X\left({t}_{k}\right)\right){\left\{b\left({t}_{k-1}\right)\Delta t+\sigma \left({t}_{k-1}\right)\Delta {W}_{k}\right\}}^{3}+\cdots \\ ={\int }_{0}^{T}{F}_{t}\left(t,X\left(t\right)\right)\text{d}t+{\int }_{0}^{T}{F}_{x}\left(t,X\left(t\right)\right)b\left(t\right)\text{d}t\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{ }\text{ }+{\int }_{0}^{T}{F}_{x}\left(t,X\left(t\right)\right)\sigma \left(t\right)\text{d}W\left(t\right)+\frac{1}{2}{\int }_{0}^{T}{F}_{xx}\left(t,X\left(t\right)\right)\sigma {\left(t\right)}^{2}\text{d}t\end{array}$ (15)

Thus we prove Ito’s formula for the extended Ito’s process.

Remark 2. Let ${X}_{1},{X}_{2},\cdots ,{X}_{n}$ be independent random variables with density functions ${f}_{1},{f}_{2},\cdots ,{f}_{n}$ , respectively. Then, the distribution of $\underset{k=1}{\overset{n}{\sum }}\text{ }{X}_{k}$ can be represented by convolution ${f}_{1}\ast {f}_{2}\ast \cdots \ast {f}_{n}$ . In standard analysis, for the Fourier transform of the convolution

$\mathcal{F}\left({f}_{1}\ast {f}_{2}\ast \cdots \ast {f}_{n}\right)=\underset{k=1}{\overset{n}{\prod }}\mathcal{F}\left({f}_{k}\right)$ (16)

is established, where $\mathcal{F}\left({f}_{k}\right)$ is the Fourier transform of ${f}_{k}$ .

From our previous paper  , the result can be extended in the sense of nonstandard. See pp.976. Therefore, it is applied for the extension of limit theorems as like central limit theorem, law of large numbers and so on.

5. Conclusions

In classical (standard) probability theory, the stochastic integral

${\int }_{0}^{T}\sigma \left(t\right)\text{d}W\left(t\right)$ (17)

is defined under the condition of the existence of the variance of $\sigma \left(t\right)$ for each $0\le t\le T$ . In nonstandard analysis, the convergence of the series in (5) is proved from the above arguments. On the proof of Ito’s formula, it can be applied for other estimations as the same way.

Furthermore, the proof of Ito’s formula in nonstandard analysis becomes simple rather than the proof in standard one.

Supported

The first author is supported in part by Grant-in-Aid Scientific Research (C), No.18K03431, Ministry of Education, Science and Culture, Japan.

Cite this paper
Kanagawa, S. and Tchizawa, K. (2019) Proof of Ito’s Formula for Ito’s Process in Nonstandard Analysis. Applied Mathematics, 10, 561-567. doi: 10.4236/am.2019.107039.
References
   Kanagawa, S., Nishiyama, R. and Tchizawa, K. (2018) Extended Wiener Measure by Nonstandard Analysis for Financial Time Series. Applied Mathematics, 9, 975-984.
https://doi.org/10.4236/am.2018.98066

   Nelson, E. (1977) Internal Set Theory: A New Approach to Nonstandard Analysis. Bulletin of the American Mathematical Society, 83, 1165-1198.
https://doi.org/10.1090/S0002-9904-1977-14398-X

   Hurd, A.E. and Loeb, P.A. (1985) Introduction to Nonstandard Real Analysis. Acad. Press, New York.

   Benot, E. (1989) Diffusions discrètes et mécanique stochastique. Prépubli. Lab. Math. J. Dieudonné, Université de Nice.

   Benot, E. (1995) Random Walks and Stochastic Differential Equations. In: Diener, F. and Diener, M., Eds., Nonstandard Analysis in Practice, Springer, Berlin, Heidelberg, 71-90.
https://doi.org/10.1007/978-3-642-57758-1_4

Top