Summation of Grandi's series: Difference between revisions
en>Melchoir turn parentheticals into sentences |
en>Monkbot |
||
Line 1: | Line 1: | ||
In [[mathematical analysis]], the '''Russo–Vallois integral''' is an extension to [[stochastic process]]es of the classical [[Riemann–Stieltjes integral]] | |||
:<math>\int f \, dg=\int fg' \, ds</math> | |||
for suitable functions <math>f</math> and <math>g</math>. The idea is to replace the [[derivative]] <math>g'</math> by the difference quotient | |||
:<math>g(s+\varepsilon)-g(s)\over\varepsilon</math> and to pull the limit out of the integral. In addition one changes the type of convergence. | |||
==Definitions== | |||
'''Definition:''' A sequence <math>H_n</math> of [[stochastic process]]es [[Convergence of random variables|converges]] uniformly on [[compact set]]s in probability to a process <math>H,</math> | |||
:<math>H=\text{ucp-}\lim_{n\rightarrow\infty}H_n,</math> | |||
if, for every <math>\varepsilon>0</math> and <math>T>0,</math> | |||
:<math>\lim_{n\rightarrow\infty}\mathbb{P}(\sup_{0\leq t\leq T}|H_n(t)-H(t)|>\varepsilon)=0.</math> | |||
On sets: | |||
:<math>I^-(\varepsilon,t,f,dg)={1\over\varepsilon}\int_0^tf(s)(g(s+\varepsilon)-g(s))\,ds</math> | |||
:<math>I^+(\varepsilon,t,f,dg)={1\over\varepsilon}\int_0^t f(s)(g(s)-g(s-\varepsilon)) \, ds</math> | |||
and | |||
:<math>[f,g]_\varepsilon (t)={1\over \varepsilon}\int_0^t(f(s+\varepsilon)-f(s))(g(s+\varepsilon)-g(s))\,ds.</math> | |||
'''Definition:''' The forward integral is defined as the ucp-limit of | |||
:<math>I^-</math>: <math>\int_0^t fd^-g=\text{ucp-}\lim_{\varepsilon\rightarrow\infty}I^-(\varepsilon,t,f,dg).</math> | |||
'''Definition:''' The backward integral is defined as the ucp-limit of | |||
:<math>I^+</math>: <math>\int_0^t f \, d^+g = \text{ucp-}\lim_{\varepsilon\rightarrow\infty}I^+(\varepsilon,t,f,dg).</math> | |||
'''Definition:''' The generalized bracket is defined as the ucp-limit of | |||
:<math>[f,g]_\varepsilon</math>: <math>[f,g]_\varepsilon=\text{ucp-}\lim_{\varepsilon\rightarrow\infty}[f,g]_\varepsilon (t).</math> | |||
For continuous [[semimartingale]]s <math>X,Y</math> and a [[cadlag function]] H, the Russo–Vallois integral coincidences with the usual [[Ito integral]]: | |||
:<math>\int_0^t H_s \, dX_s=\int_0^t H \, d^-X.</math> | |||
In this case the generalised bracket is equal to the classical covariation. In the special case, this means that the process | |||
:<math>[X]:=[X,X] \, </math> | |||
is equal to the [[quadratic variation process]]. | |||
Also for the Russo-Vallios-Integral an [[Ito formula]] holds: If <math>X</math> is a continuous semimartingale and | |||
:<math>f\in C_2(\mathbb{R}),</math> | |||
then | |||
:<math>f(X_t)=f(X_0)+\int_0^t f'(X_s) \, dX_s + {1\over 2}\int_0^t f''(X_s) \, d[X]_s.</math> | |||
By a duality result of [[Triebel]] one can provide optimal classes of [[Besov space]]s, where the Russo–Vallois integral can be defined. The norm in the Besov space | |||
:<math>B_{p,q}^\lambda(\mathbb{R}^N)</math> | |||
is given by | |||
:<math>||f||_{p,q}^\lambda=||f||_{L_p} + \left(\int_0^\infty {1\over |h|^{1+\lambda q}}(||f(x+h)-f(x)||_{L_p})^q \, dh\right)^{1/q}</math> | |||
with the well known modification for <math>q=\infty</math>. Then the following theorem holds: | |||
'''Theorem:''' Suppose | |||
:<math>f\in B_{p,q}^\lambda,</math> | |||
:<math>g\in B_{p',q'}^{1-\lambda},</math> | |||
:<math>1/p+1/p'=1\text{ and }1/q+1/q'=1.</math> | |||
Then the Russo–Vallois integral | |||
:<math>\int f \, dg</math> | |||
exists and for some constant <math>c</math> one has | |||
:<math>\left| \int f \, dg \right| \leq c ||f||_{p,q}^\alpha ||g||_{p',q'}^{1-\alpha}.</math> | |||
Notice that in this case the Russo–Vallois integral coincides with the [[Riemann–Stieltjes integral]] and with the [[Young integra]]l for functions with [[finite p-variation]]. | |||
{{no footnotes|date=January 2012}} | |||
==References== | |||
*Russo, Vallois: Forward, backward and symmetric integrals, Prob. Th. and rel. fields 97 (1993) | |||
*Russo, Vallois: The generalized covariation process and Ito-formula, Stoch. Proc. and Appl. 59 (1995) | |||
*Zähle; Forward Integrals and SDE, Progress in Prob. Vol. 52 (2002) | |||
*Fournier, Adams: Sobolev Spaces, Elsevier, second edition (2003) | |||
{{DEFAULTSORT:Russo-Vallois integral}} | |||
[[Category:Definitions of mathematical integration]] | |||
[[Category:Stochastic processes]] |
Revision as of 13:23, 30 January 2014
In mathematical analysis, the Russo–Vallois integral is an extension to stochastic processes of the classical Riemann–Stieltjes integral
for suitable functions and . The idea is to replace the derivative by the difference quotient
Definitions
Definition: A sequence of stochastic processes converges uniformly on compact sets in probability to a process
On sets:
and
Definition: The forward integral is defined as the ucp-limit of
Definition: The backward integral is defined as the ucp-limit of
Definition: The generalized bracket is defined as the ucp-limit of
For continuous semimartingales and a cadlag function H, the Russo–Vallois integral coincidences with the usual Ito integral:
In this case the generalised bracket is equal to the classical covariation. In the special case, this means that the process
is equal to the quadratic variation process.
Also for the Russo-Vallios-Integral an Ito formula holds: If is a continuous semimartingale and
then
By a duality result of Triebel one can provide optimal classes of Besov spaces, where the Russo–Vallois integral can be defined. The norm in the Besov space
is given by
with the well known modification for . Then the following theorem holds:
Theorem: Suppose
Then the Russo–Vallois integral
exists and for some constant one has
Notice that in this case the Russo–Vallois integral coincides with the Riemann–Stieltjes integral and with the Young integral for functions with finite p-variation.
References
- Russo, Vallois: Forward, backward and symmetric integrals, Prob. Th. and rel. fields 97 (1993)
- Russo, Vallois: The generalized covariation process and Ito-formula, Stoch. Proc. and Appl. 59 (1995)
- Zähle; Forward Integrals and SDE, Progress in Prob. Vol. 52 (2002)
- Fournier, Adams: Sobolev Spaces, Elsevier, second edition (2003)