I have a doubt in definition of the Stratonovich integral. In "Stochastic Calculus for Finance" by Steven Shreve, he defines it using the midpoint $\frac {(t_i+t_{i+1})}{2}$ of the subinterval $[t_i,t_{i+1}]$, and at many places like google and calculating Stratonovich integration of Brownian motion with respect to itself, they use the average of the value of the process at these two points $t_i$ and $t_{i+1}$.
Are these two forms equivalent. If yes, then how (I tried this but found no way) and if not then why there is two different forms of definition. Any suggestion is highly appreciable.
Best Answer
This answer changed multiple times. I am very indebted to user Chaos who finally convinced me that both definitions of the Stratonovich integral are equivalent.
In his book Stochastic Calculus for Finance II Steven Shreve defines in Exercise 4.4 on p. 191, the Stratonovich integral as $$\tag{0} \int_0^TW_t\circ\,dW_t=\lim_{||\Pi||\to0}\sum_{j=0}^{n-1}W_{t^*_j}(W_{t_{j+1}}-W_{t_j})\,,\quad\quad t^*_j=\frac{t_{j+1}+t_j}{2}. $$ This is not in conflict with the definitions one can see elsewhere. For example in Karatzas & Shreve, Brownian Motion and Stochastic Calculus, Problem 2.29 on p. 148: $$\tag{1} S_T(\Pi):=\sum_{i=0}^{m-1}[(1-\epsilon)W_{t_i}+\epsilon W_{t_{i+1}}](W_{t_{i+1}}-W_{t_i}) $$ and $$ \int_0^TW_s\circ dW_s=\lim_{||\Pi||\to0}S_T(\Pi)\quad\text{ for }\epsilon=\frac{1}{2}. $$
The OP in this post lists further references with the two seemingly different definitions which can be very disturbing.
Thanks to Chaos I was made aware of the book H.H. Kuo, Introduction to Stochastic Integration. Kuo's Theorem 8.3.7. on p. 123 states that for a Brownian motion $B$ and a continuous function $f(t,x)$ with continuous partial derivatives $\frac{\partial f}{\partial t},\frac{\partial f}{\partial x},\frac{\partial f^2}{\partial x^2}$ one has \begin{align} &\int_a^bf(t,B(t))\circ dB(t)\\ &=\lim_{||\Delta_n||\to0}\sum_{i=1}^nf\Big(t^*_i,\frac{1}{2}(B(t_{i-1})+B(t_i))\Big)\Big(B(t_i)-B(t_{i-1})\Big)\\ &=\lim_{||\Delta_n||\to0}\sum_{i=1}^nf\Big(t^*_i,B\Big(\frac{t_{i-1}+t_i}{2}\Big)\Big)\Big(B(t_i)-B(t_{i-1})\Big) \end{align} where (in Kuo's notation) $t_{i-1}\le t_i^*\le t_i, \Delta_n=\{t_0,t_1,...,t_n\}$ is a partition of the finite interval $[a,b]$ and $||\Delta_n||=\max_{1\le i\le n}(t_i-t_{i-1})$.