Path-dependent Itô formulas under finite $(p,q)$-variation regularity (1505.00879v2)
Abstract: In this work, we establish pathwise functional It^o formulas for non-smooth functionals of real-valued continuous semimartingales. Under finite $(p,q)$-variation regularity assumptions in the sense of two-dimensional Young integration theory, we establish a pathwise local-time decomposition $$F_t(X_t) = F_0(X_0)+ \int_0t\nablahF_s(X_s)ds + \int_0t\nablawF_s(X_s)dX(s) - \frac{1}{2}\int_{-\infty}{+\infty}\int_0t(\nablaw_xF_s)({x}X_s)d_{(s,x)}\ellx(s).$$ Here, $X_t= {X(s); 0\le s\le t}$ is the continuous semimartingale path up to time $t\in [0,T]$, $\nablah$ is the horizontal derivative, $(\nablaw_x F_s)({x}X_s)$ is a weak derivative of $F$ with respect to the terminal value $x$ of the modified path ${x}X_s$ and $\nablaw F_s(X_s) = (\nablaw_x F_s)({x} X_s)|{x=X(s)}$. The double integral is interpreted as a space-time 2D-Young integral with differential $d{(s,x)}\ellx(s)$, where $\ell$ is the local-time of $X$. Under less restrictive joint variation assumptions on $(\nablaw_x F_t)({x} X_t)$, functional It^o formulas are established when $X$ is a stable symmetric process. Singular cases when $x\mapsto (\nablaw_x F_t)({x}X_t)$ is smooth off random bounded variation curves are also discussed. The results of this paper extend previous change of variable formulas in Cont and Fourni\'e and also Peskir, Feng and Zhao and Elworhty, Truman and Zhao in the context of path-dependent functionals. In particular, we provide a pathwise path-dependent version of the classical F\"{o}LLMer-Protter-Shiryaev formula for continuous semimartingales.