We show that for a wide class of functions
F
we have lim \documentclass{aastex}
\usepackage{amsbsy}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{bm}
\usepackage{mathrsfs}
\usepackage{pifont}
\usepackage{stmaryrd}
\usepackage{textcomp}
\usepackage{upgreek}
\usepackage{portland,xspace}
\usepackage{amsmath,amsxtra}
\usepackage{bbm}
\pagestyle{empty}
\DeclareMathSizes{10}{9}{7}{6}
\begin{document}
$$\mathop {\lim }\limits_{\varepsilon \downarrow 0} \frac{1}{\varepsilon }\int\limits_0^t {\{ F(s,X_s ) - F(s,X_s - \varepsilon )\} d\left\langle {X,X} \right\rangle _s = - } \int\limits_0^t {\int\limits_\mathbb{R} {F(s,x)dL_s^x } }$$
\end{document} where
Xt
is a continuous semimartingale, (
Ltx
,
x
∈ ℝ,
t
≧ 0) its local time process and (〈
X, X
〉
t
,
t
≧ 0) its quadratic variation process.