Rough path theory and an introduction to rough partial differential equations

Abstract: The goal of these notes is to provide an introduction to rough partial differential equations. For this purpose, we will present the theory of rough paths to the extend as it is required. Applications to stochastic partial differential equations are presented as well.

• The paper establishes a comprehensive framework for rough path theory coupled with rough PDEs, proving existence and uniqueness under various regularity conditions.
• It employs advanced integration techniques like controlled rough paths and the mild sewing lemma to bridge deterministic and stochastic integration.
• The work generalizes classical stochastic calculus by extending to infinite-dimensional drivers and fractional noise, unifying different integration methods.

Detailed Expert Summary: "Rough path theory and an introduction to rough partial differential equations" (2605.10150)

Introduction and Scope

The paper provides a comprehensive introduction to rough path theory and its extension to rough partial differential equations (RPDEs). The author systematically develops the foundational deterministic rough path framework, demonstrates its connection to stochastic processes (notably Brownian motion), and then presents both standard and innovative approaches to the existence and uniqueness theory for RPDEs. Throughout, the exposition addresses technical challenges associated with infinite-dimensional settings and non-smooth driving signals.

Mathematical Preliminaries

The exposition begins with rigorous definitions of Banach spaces, tensor products, and Hölder (and two-parameter Hölder) spaces, providing precise notational conventions and functional analytic underpinnings. The tensor product construction is explicitly linked to bilinear mappings and operator identifications, critical for later treatment of higher-order rough path components.

Rough Path Spaces

The construction of $\alpha$-Hölder rough paths is detailed: a rough path $(X, \mathbb{X})$ consists of a path $X \in C^\alpha([0,T], V)$ and a second-order process $\mathbb{X} \in C_2^{2\alpha}([0,T]^2, V \otimes V)$ satisfying Chen's relation: $$\mathbb{X}_{s,t} - \mathbb{X}_{s,u} - \mathbb{X}_{u,t} = X_{s,u} \otimes X_{u,t}.$$ Key properties, including the non-vector-space structure due to this algebraic constraint and the resulting well-posedness theory for path- and process-driven differential equations, are established. The paper subsequently introduces the geometric and weakly geometric rough path subspaces, characterized via symmetry and chain rule properties.

Integration Theory and Controlled Rough Paths

The Gubinelli derivative and controlled rough path spaces $D_X^{2\alpha}$ are introduced, enabling the definition and analysis of "rough integrals" for integrands that are not smooth functions but exhibit an appropriate regularity in terms of their relation to the rough driver $X$. The controlled paths are equipped with seminorms reflecting both their own Hölder continuity and the regularity of their derivatives. The sewing lemma is deployed to construct the rough integral and to derive stability and estimate results: $$\left| \int_s^t Y_r\, dX_r - Y_s X_{s,t} - Y_s' \mathbb{X}_{s,t} \right| \leq C \left(\| X \|_{\alpha} \| R^Y \|_{2\alpha} + \| \mathbb{X} \|_{2\alpha} \| Y' \|_{\alpha} \right) |t-s|^{3\alpha}$$ for $(Y, Y')$ a controlled rough path.

Existence and Uniqueness for Rough Differential Equations (RDEs)

A framework for time-inhomogeneous RDEs of the form

$$dY_t = f_0(t, Y_t)\,dt + f(t, Y_t)\, dX_t,\qquad Y_0 = \xi$$

is developed using a fixed-point argument in the controlled rough path space. The mapping properties of nonlinear functionals on controlled paths, the sharpening of composition estimates (via Taylor expansions and higher-order Fréchet derivatives), and the local/global well-posedness theory are covered. Contraction properties are established on appropriate balls in the controlled path space, and a concatenation argument addresses global solutions.

Strong Claims:

• For $(X, \mathbb{X})$0 of sufficient smoothness ($(X, \mathbb{X})$1 in both time and space) and $(X, \mathbb{X})$2 a rough path with $(X, \mathbb{X})$3, unique solutions exist globally.

Stochastic Integration as Rough Path Integration

The deterministic theory is connected to stochastic calculus by constructing both Itô and Stratonovich enhancements of Brownian motion as rough paths. The Kolmogorov–Chentsov criterion is employed to guarantee almost sure sample path membership in the rough path space. The paper rigorously demonstrates that the classical Itô and Stratonovich stochastic integrals coincide with rough path integrals under suitable conditions. The weakly geometric property is characterized via the vanishing of the rough path bracket for the Stratonovich lift, contrasting with the non-vanishing bracket in the Itô case.

Extension to Rough Partial Differential Equations

Semilinear SPDEs and Operator Semigroups

The canonical RPDE

$(X, \mathbb{X})$4

is considered, with $(X, \mathbb{X})$5 the generator of a $(X, \mathbb{X})$6-semigroup on a Banach (or Hilbert) space $(X, \mathbb{X})$7. The "mild formulation" uses the semigroup to define solutions via the variation of constants formula, necessitating the development of rough integrals against operator-valued integrands (the rough convolution).

Standard Approach: Mild Sewing Lemma

The paper provides a rigorous account of the "mild sewing lemma"—a direct extension of the sewing lemma relevant in the mild solution setting for RPDEs. This approach requires analytic semigroup assumptions and careful handling of time-regularity with respect to the semigroup's smoothing properties. Constraints on the analytic properties of $(X, \mathbb{X})$8 and the functional framework for the coefficients are outlined.

Alternative Approach: Operator Domain Restrictions

Addressing limitations of the analytic semigroup assumption, the author presents an alternative based on increasing spatial regularity—requiring the controlled rough path $(X, \mathbb{X})$9 to take values in higher-order domains $X \in C^\alpha([0,T], V)$0 and $X \in C^\alpha([0,T], V)$1. Under these enhanced regularity assumptions for $X \in C^\alpha([0,T], V)$2, $X \in C^\alpha([0,T], V)$3, and initial data, rough convolutions can be defined using the standard Gubinelli integral. This avoids the need for analytic semigroups, at the cost of stronger regularity hypotheses on the coefficients and initial conditions.

Nontrivial Theoretical Result:

• Existence and uniqueness of solutions for RPDEs is established under either (i) analytic semigroup and less regular coefficients, or (ii) arbitrary $X \in C^\alpha([0,T], V)$4-semigroups and coefficients/initial data mapping into higher domains $X \in C^\alpha([0,T], V)$5, $X \in C^\alpha([0,T], V)$6.

Infinite-Dimensional and Fractional Noise

The treatment extends to infinite-dimensional drivers: $X \in C^\alpha([0,T], V)$7-Wiener processes and fractional Brownian motions with $X \in C^\alpha([0,T], V)$8. The series representation of infinite-dimensional noise and the associated second-order rough path lifts are developed. The framework covers SPDEs driven by these noises, and establishes that rough path integration recovers both the classical Itô stochastic integral (for $X \in C^\alpha([0,T], V)$9) and its fractional analogues otherwise.

Contradictory/Strong Assertion:

• The theory is fully compatible with the stochastic calculus of variations for both Wiener and fractional Brownian motion, given sufficient regularity in coefficients and domains, thus unifying rough path and classical stochastic integration approaches for SPDEs.

Practical and Theoretical Implications

• Practical: The framework enables robust pathwise analysis and solution of deterministic and stochastic PDEs with low-regularity noise or driving signals, crucial for robust numerical schemes and non-semimartingale models. It generalizes stochastic calculus and provides stability with respect to perturbations in the noise.
• Theoretical: The work unifies deterministic and stochastic integration in infinite dimensions, extends the deterministic fixed-point method to PDEs driven by rough signals, and clarifies the structural differences between various types of lifts (Itô, Stratonovich, fractional).
• Limitations: Trade-offs between SDE/PDE assumptions (semigroup analyticity vs. operator domain regularity) remain, and the regularity demanded of the coefficients is high for the more general semigroup settings.
• Future Developments: There are ongoing directions involving low-regularity nonlinearities, unbounded and random coefficients, multiplicative noise in infinite dimensions, and further connections to Malliavin calculus and rough path regularity structures.

Conclusion

The paper offers a rigorous, detailed treatment of rough path theory and its extension to RPDEs and infinite-dimensional stochastic differential equations. The dichotomy between analytic/regular semigroups and spatial regularity in operator coefficients is particularly salient for future research. The results provide a basis for further development in the theory and numerical analysis of stochastic PDEs driven by irregular signals, with broad implications for both pure and applied probability, analysis, and computational mathematics.