2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/157399We show an It\^ o's formula for nondegenerate Brownian martingales $X_t=\int_0^t u_s dW_s$ and functions $F(x,t)$ with locally integrable derivatives in $t$ and $x$. We prove that one can express the additional term in Itô's s formula as an integral over space and time with respect to local time.Probability60H05Integration with respect to local time and Ito's formula for smooth nondegenerate martingalestext