Rough Stochastic Itô–Wentzell Formula

• Rough Stochastic Itô–Wentzell Formula is a set of change-of-variable identities that generalize classical Itô calculus for random fields along irregular paths.
• It integrates both rough-path techniques and low-regularity stochastic methods, employing controlled expansions, Taylor remainders, and bracket corrections.
• The framework adapts to various regimes by incorporating hybrid corrections, including quadratic and cubic bracket terms, to unify composition rules in irregular calculus.

Searching arXiv for papers on rough stochastic Itô–Wentzell formulas and related change-of-variable results. The rough stochastic Itô–Wentzell formula is a family of change-of-variable identities for random fields $F_t(x)$ evaluated along irregular paths $Y_t$, in regimes where either the driving signal is treated as a rough path, the state process is a non-semimartingale or weak Dirichlet process, or the field itself carries stochastic dynamics. Its common purpose is to describe the evolution of the composition $F_t(Y_t)$ when classical semimartingale calculus is insufficient. In current usage, the topic spans at least three interacting strands: pathwise rough-path Itô–Wentzell formulas, stochastic formulas under low spatial or analytic regularity, and hybrid rough-stochastic composition rules for rough semimartingales and controlled fields (Castrequini et al., 2022, Fießinger et al., 2023, Dause et al., 5 Mar 2026, Maia, 2024).

1. Conceptual scope and terminological boundaries

The classical Itô–Wentzell formula concerns a stochastic field evaluated along a stochastic flow or semimartingale. In the rough stochastic setting, two distinct generalizations appear.

The first is pathwise roughening: the semimartingale driver is replaced by a rough path $\mathbf X=(X,\mathbb X)$, and the formula is expressed in controlled-path or higher-order rough-path language. The second is stochastic low-regularity generalization: the process $X$ may be only a continuous weak Dirichlet process, the field may be merely $C^{0,1}$ in space, or the dynamics may include jumps or measure-valued arguments rather than classical $C^{0,2}$ semimartingale data (Fießinger et al., 2023, Jisheng et al., 19 May 2025).

A persistent source of ambiguity is that “rough” does not always mean “rough path.” The $C^{0,1}$ Itô–Ventzell formula for weak Dirichlet processes is explicitly rough in the sense of low spatial regularity and non-semimartingale decomposition, but it is not a rough-path theorem (Fießinger et al., 2023). Conversely, the Kunita–Itô–Wentzell formula for $k$-forms is a semimartingale geometric transport result, not a rough-path extension, even though it treats irregular stochastic transport and generalized pullbacks (Léon et al., 2019). Measure-dependent Itô–Wentzell–Lions formulas for full and conditional flows of measures on semimartingales with jumps extend the same composition principle into Wasserstein space, but remain semimartingale-based rather than rough-path based (Jisheng et al., 19 May 2025, Fadle et al., 2024).

This suggests a useful taxonomy: one axis records the enhancement of the driver—semimartingale, rough path, reduced rough path, branched rough path—while another records the analytic regularity of the field and state process.

2. The controlled rough path formula

A central pathwise formulation is given in the Gubinelli-controlled rough path framework for $\alpha$-Hölder rough paths with $Y_t$0. In this setting, $Y_t$1 is an $Y_t$2-Hölder rough path, a path $Y_t$3 is controlled by $Y_t$4 if

$Y_t$5

and rough integration is defined by sewing. The rough-path bracket $Y_t$6 measures deviation from weak geometricity, and the geometrized lift $Y_t$7 is weak geometric (Castrequini et al., 2022).

If

$Y_t$8

with the regularity hypotheses stated in the theorem, then for every controlled path $Y_t$9,

$F_t(Y_t)$0

The last two terms are the rough-path analogues of Itô correction terms. The term involving $F_t(Y_t)$1 reflects that the field itself is driven by the rough signal, whereas the $F_t(Y_t)$2 term is the second-order correction attached to the motion of $F_t(Y_t)$3. When $F_t(Y_t)$4 is weak geometric, $F_t(Y_t)$5, and the identity collapses to the Stratonovich-type formula

$F_t(Y_t)$6

The proof is based on a decomposition of $F_t(Y_t)$7, Taylor expansion in the spatial variable, controlled expansions of $F_t(Y_t)$8, and the sewing lemma; the remainder is of order $F_t(Y_t)$9, so $\mathbf X=(X,\mathbb X)$0 is the threshold guaranteeing summability. In this form the rough Itô–Wentzell formula extends earlier Young-integral and rough-path results and makes the bracket corrections explicit (Castrequini et al., 2022).

3. Stochastic roughness without full rough-path machinery

A different line of development keeps the setting stochastic but weakens regularity assumptions. For continuous weak Dirichlet processes $\mathbf X=(X,\mathbb X)$1 of finite quadratic variation, a $\mathbf X=(X,\mathbb X)$2 Itô–Ventzell formula shows that one spatial derivative is sufficient for the core theorem. If

$\mathbf X=(X,\mathbb X)$3

then

$\mathbf X=(X,\mathbb X)$4

where $\mathbf X=(X,\mathbb X)$5 is a continuous weak zero-energy process. Under stronger smoothness,

$\mathbf X=(X,\mathbb X)$6

Here forward integrals and covariation replace classical finite-variation calculus, and the decomposition $\mathbf X=(X,\mathbb X)$7 isolates the martingale and weak zero-energy contributions (Fießinger et al., 2023).

A pathwise Itô viewpoint also appears in rough-path form through the Itô signature of a continuous local martingale. The truncated Itô signature $\mathbf X=(X,\mathbb X)$8 is a non-geometric rough path, and the RDE driven by $\mathbf X=(X,\mathbb X)$9 exists uniquely almost surely and coincides almost surely with the Itô signature of the solution of the parallel classical Itô SDE. The same framework yields a rough Itô lemma and a reconstruction of the Itô solution by concatenating discounted Stratonovich solutions (Lyons et al., 2013). This gives the algebraic mechanism by which quadratic-variation corrections can be carried pathwise inside rough-path theory.

4. Space–time controlled fields and the rough stochastic synthesis

A genuine rough stochastic Itô–Wentzell formula is developed through the calculus of space–time controlled fields. In this framework, a field is encoded as a jet

$X$0

combining rough-time derivatives, spatial derivatives, mixed derivatives, and drift terms, while the evaluation process is a strongly controlled rough semimartingale with rough driver $X$1 and martingale part $X$2. The key structural device is the joint lift $X$3, which packages the rough path, the martingale, and their mixed iterated integrals into a single enhanced object (Dause et al., 5 Mar 2026).

If $X$4, then $X$5 is again a strongly controlled rough semimartingale, with transformed rough derivative

$X$6

The resulting composition rule is

$X$7

This formula unifies rough bracket corrections $X$8 and stochastic Itô corrections $X$9 in a single chain rule. In the more general case where the field itself has martingale part $C^{0,1}$0, an additional correlation term

$C^{0,1}$1

appears, recording interaction between the field noise and the evaluation semimartingale.

The significance of this framework lies in its algebraic closure: controlled jets are stable under composition, so the rough stochastic Itô–Wentzell formula is obtained as a structural consequence rather than a one-off identity. The same calculus yields backward Itô–Wentzell formulas, rough stochastic Itô formulas, Itô–Alekseev–Gröbner identities, and diffusion interpolation formulas (Dause et al., 5 Mar 2026).

5. Higher-order and nonclassical rough extensions

For more singular regimes, second-order rough data no longer suffice. In the reduced rough path setting, the Itô formula has been extended from $C^{0,1}$2 to $C^{0,1}$3 by adjoining symmetric second- and third-order data $C^{0,1}$4. The resulting change-of-variables formula is

$C^{0,1}$5

where

$C^{0,1}$6

Here the cubic bracket $C^{0,1}$7 is the new correction needed below the $C^{0,1}$8 threshold (Li et al., 22 Sep 2025).

A parallel extension exists for planarly branched rough paths, built over the Munthe-Kaas–Wright Hopf algebra. For $C^{0,1}$9, the formula takes the schematic form

$C^{0,2}$0

and for general RDE solutions $C^{0,2}$1, additional mixed terms appear, notably

$C^{0,2}$2

These formulas are not stated as Itô–Wentzell theorems, but they supply the higher-order algebraic corrections required for such theorems in non-shuffle settings (Li et al., 21 Jan 2025).

Fractional Brownian motion constitutes another major non-semimartingale direction. A 2024 paper proves an Itô–Wentzell formula for fractional Brownian motion and derives, as an application, an existence and uniqueness result for a class of stochastic differential equations driven by fractional Brownian motion. The abstract does not specify the Hurst range or the integration framework, so only that general statement is currently extractable (Maia, 2024).

6. Applications, interpretations, and recurrent misconceptions

Applications reflect the framework used. In the controlled rough path setting, the formula yields composition rules for rough flows and a characteristic method for rough first-order semilinear PDEs; in the semilinear case treated there, the solution is represented as

$C^{0,2}$3

In the space–time controlled field framework, the same composition calculus produces rough versions of backward Itô–Wentzell identities, Itô–Alekseev–Gröbner formulas, and diffusion interpolation formulas (Castrequini et al., 2022, Dause et al., 5 Mar 2026).

In stochastic low-regularity settings, the $C^{0,2}$4 weak Dirichlet formula is applied to representation results for strong solutions of time-dependent elliptic SPDEs, quadratic covariation identities, and a large investor model in finance (Fießinger et al., 2023). In geometric semimartingale transport, the Kunita–Itô–Wentzell formula for $C^{0,2}$5-forms underlies stochastic advection by Lie transport, stochastic Euler–Poincaré equations, Kelvin circulation, continuity equations, and compressible stochastic MHD (Léon et al., 2019).

Three misconceptions recur. First, a rough stochastic Itô–Wentzell formula is not a single theorem but a class of composition rules adapted to different irregularity models. Second, the correction term is not always classical quadratic variation: in rough paths it is a bracket measuring non-geometricity; in reduced rough paths it may include cubic brackets; in hybrid rough-stochastic calculus it splits into $C^{0,2}$6, $C^{0,2}$7, and possible cross-variation terms (Castrequini et al., 2022, Li et al., 22 Sep 2025, Dause et al., 5 Mar 2026). Third, semimartingale generalizations on Wasserstein space or for $C^{0,2}$8-forms are structurally allied to Itô–Wentzell theory but should not be conflated with rough-path theorems (Fadle et al., 2024, Jisheng et al., 19 May 2025).

Taken together, these developments show that the modern rough stochastic Itô–Wentzell formula is best viewed as a unifying composition principle. Its exact form depends on what carries the irregularity—driver, field, state process, law argument, or algebraic enhancement—but the invariant core is the same: the evolution of $C^{0,2}$9 is governed by first-order transport terms plus correction terms determined by the second- and higher-order structure of the underlying irregular calculus.