arxiv: 2605.10150 · v1 · submitted 2026-05-11 · 🧮 math.PR · math.FA

Recognition: 2 theorem links

· Lean Theorem

Rough path theory and an introduction to rough partial differential equations

Stefan Tappe

Authors on Pith no claims yet

Pith reviewed 2026-05-12 03:02 UTC · model grok-4.3

classification 🧮 math.PR math.FA

keywords rough pathsrough partial differential equationsstochastic partial differential equationsstochastic analysisrough differential equationsfunctional analysis

0 comments

The pith

These notes introduce rough partial differential equations by outlining the necessary rough path theory and demonstrating applications to stochastic partial differential equations.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper sets out to give readers an entry into rough partial differential equations. It does so by presenting rough path theory only to the extent needed for this introduction. Applications to stochastic partial differential equations are included to show the framework in action. A reader with background in the area would find value in this focused treatment that avoids unnecessary depth in the underlying theory.

Core claim

The goal of these notes is to provide an introduction to rough partial differential equations. For this purpose, the theory of rough paths is presented to the extent required, and applications to stochastic partial differential equations are shown as well.

What carries the argument

Rough path theory, which provides a way to integrate against irregular paths, serving as the foundation for defining solutions to rough partial differential equations.

Load-bearing premise

The notes assume readers already have enough knowledge of stochastic analysis and functional analysis to follow the condensed rough path theory.

What would settle it

A reader with the assumed background in stochastic analysis and functional analysis who reads the notes and cannot follow the introduction to rough PDEs or the SPDE applications would show the presentation is insufficient.

read the original 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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

These are expository lecture notes on rough paths for rough PDEs with no new results.

read the letter

These notes compile existing rough path theory specifically to introduce rough partial differential equations and touch on stochastic PDE applications. They make no new mathematical claims. What stands out is the focused scope. The author includes just enough rough path material to make the rough PDE section coherent, without expanding into the full breadth of the theory. This keeps the notes concise and on target for their stated goal. The potential drawback is the density. The text moves quickly through the rough path foundations, which works only if the reader already has a solid grounding in probability theory and analysis. If that background is missing, the notes will feel incomplete. No other structural problems appear, as the work is purely expository. These notes suit readers who are already somewhat familiar with stochastic analysis and want a direct path into rough PDEs. They are not suitable for a research journal because they contain no original contributions. I would not send them to peer review, but they could serve well as supplementary reading in a graduate course on the topic.

Referee Report

0 major / 3 minor

Summary. The manuscript consists of lecture notes whose goal is to introduce rough partial differential equations by presenting the theory of rough paths to the extent required for that purpose, together with applications to stochastic partial differential equations.

Significance. If the selected material is accurately condensed and logically sequenced, the notes could serve as a useful pedagogical resource for readers who already possess background in stochastic analysis and functional analysis. The contribution is expository rather than original; its value therefore rests on clarity, completeness of the chosen excerpts from the existing literature, and the absence of gaps that would prevent a reader from reaching the rough-PDE applications.

minor comments (3)

[Abstract] The abstract states that rough-path theory is presented 'to the extend as it is required' but does not indicate which specific theorems or constructions (e.g., the sewing lemma, the rough-path lift of Brownian motion, or the definition of the rough integral) are included versus omitted; a short roadmap paragraph would help readers gauge prerequisites.
[Section 2] Notation for the rough-path space (e.g., the precise definition of the p-variation norm and the choice of geometric versus non-geometric rough paths) should be introduced once and used consistently; occasional shifts between different conventions appear in the early sections.
[Section 4] The transition from the deterministic rough-PDE theory to the stochastic applications would benefit from an explicit statement of the regularity assumptions on the driving noise that guarantee the existence of a rough-path lift.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for reviewing our lecture notes and for the recommendation of minor revision. We appreciate the assessment that the notes could serve as a useful pedagogical resource for readers with background in stochastic analysis and functional analysis, provided the material is accurately condensed and logically sequenced. We will carry out minor revisions to enhance clarity, completeness of the excerpts from the literature, and to minimize any potential gaps before the rough-PDE applications.

Circularity Check

0 steps flagged

Lecture notes synthesize existing theory without circular derivations

full rationale

This is a set of lecture notes whose goal is to condense and sequence standard rough path theory to the extent needed for an introduction to rough PDEs and SPDE applications. No novel theorems, predictions, or fitted quantities are asserted; the text presupposes standard background in stochastic and functional analysis and presents known results in a logical order. No derivation chain reduces by construction to its own inputs, no self-citation is load-bearing for a new claim, and no ansatz or uniqueness result is smuggled in. The structure is therefore self-contained against external benchmarks and receives the default non-finding.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The paper is purely expository and introduces no free parameters, axioms, or invented entities of its own.

pith-pipeline@v0.9.0 · 5310 in / 919 out tokens · 43207 ms · 2026-05-12T03:02:30.075308+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean; Cost/FunctionalEquation.lean reality_from_one_distinction; washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Definition 4.1: α-Hölder rough paths X=(X,X) with Chen's relation Xs,t−Xs,u−Xu,t=Xs,u⊗Xu,t; sewing lemma 5.3 and rough integral limit (5.16)
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Brownian motion as rough path (Section 8), RPDEs via mild sewing lemma (Section 10) and C0-semigroups

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

[1]

Allan, A. L. (2021):Rough Path Theory.Lecture Notes, ETH Zürich. (URL)

work page 2021
[2]

(2014):Stochastic Equations in Infinite Dimensions.Second Edi- tion

Da Prato, G., Zabczyk, J. (2014):Stochastic Equations in Infinite Dimensions.Second Edi- tion. Cambridge University Press, Cambridge

work page 2014
[3]

E., Jakubowski, J., Pasic-Duncan, B

Duncan, T. E., Jakubowski, J., Pasic-Duncan, B. (2006): Stochastic integration for fractional Brownian motion in a Hilbert space.Stochastics and Dynamics6(1), 53–75

work page 2006
[4]

E., Maslowski, B., Pasic-Duncan, B

Duncan, T. E., Maslowski, B., Pasic-Duncan, B. (2002): Fractional Brownian motion and stochastic equations in a Hilbert space.Stochastics and Dynamics2(2), 225–250

work page 2002
[5]

(2000):One-Parameter Semigroups for Linear Evolution Equations

Engel, K.-J., Nagel, R. (2000):One-Parameter Semigroups for Linear Evolution Equations. Springer, New York

work page 2000
[6]

K., Hairer, M

Friz, P. K., Hairer, M. (2020):A Course on Rough Paths.Second Edition, Springer, Cham

work page 2020
[7]

K., Oberhauser, H

Friz, P. K., Oberhauser, H. (2011): On the splitting-up method for rough (partial) differential equations.Journal of Differential Equations251(2), 316–338

work page 2011
[8]

K., Oberhauser, H

Friz, P. K., Oberhauser, H. (2014): Rough path stability of (semi-)linear SPDEs.Probability Theory and Related Fields158(1–2), 401–434

work page 2014
[9]

(2011):Stochastic Differential Equations in Infinite Dimen- sions with Applications to SPDEs.Springer, Berlin

Gawarecki, L., Mandrekar, V. (2011):Stochastic Differential Equations in Infinite Dimen- sions with Applications to SPDEs.Springer, Berlin

work page 2011
[10]

(2019): Hörmander’s theorem for semilinear SPDEs.Electronic Journal of Probability24(132), 1–56

Gerasimovi˘ cs, A., Hairer, M. (2019): Hörmander’s theorem for semilinear SPDEs.Electronic Journal of Probability24(132), 1–56

work page 2019
[11]

(2021): Non-autonomous rough semilinear PDEs and the multiplicative Sewing Lemma.Journal of Functinal Analalysis281(10), 109200

Gerasimovi˘ cs, A., Hocquet, A., Nilssen, T. (2021): Non-autonomous rough semilinear PDEs and the multiplicative Sewing Lemma.Journal of Functinal Analalysis281(10), 109200

work page 2021
[12]

Grecksch, W., Anh, V. V. (1999): A parabolic stochastic differential equation with fractional Brownian motion input.Statistics and Probability Letters41(4), 337–346. 62 STEF AN TAPPE

work page 1999
[13]

Grecksch, W., Roth, C., Anh, V. V. (2009):Q-fractional Brownian motion in infinite dimen- sions with application to fractional Black-Scholes market.Stochastic Analysis and Applica- tions27(1), 149–175

work page 2009
[14]

(2010): Rough evolution equations.Annals of Probability38(1), 1–75

Gubinelli, M., Tindel, S. (2010): Rough evolution equations.Annals of Probability38(1), 1–75

work page 2010
[15]

(2011): Rough Stochastic PDEs.Communications on Pure and Applied Mathe- matics64(11), 1547–1585

Hairer, M. (2011): Rough Stochastic PDEs.Communications on Pure and Applied Mathe- matics64(11), 1547–1585

work page 2011
[16]

(2019): Local mild solutions for rough stochastic partial differential equations.Journal of Differential Equations267(11), 6480–6538

Hesse, R., Neamţu, A. (2019): Local mild solutions for rough stochastic partial differential equations.Journal of Differential Equations267(11), 6480–6538

work page 2019
[17]

(2022): Global solutions for semilinear rough partial differential equa- tions.Stochastics and Dynamics22(2), 2240011

Hesse, R., Neamţu, A. (2022): Global solutions for semilinear rough partial differential equa- tions.Stochastics and Dynamics22(2), 2240011

work page 2022
[18]

(2015):Stochastic Partial Differential Equations: An Introduction

Liu, W., Röckner, M. (2015):Stochastic Partial Differential Equations: An Introduction. Springer, Heidelberg

work page 2015
[19]

(2016): On the maximal inequalities of Burkholder, Davis and Gundy.Expositiones Mathematicae34(1), 1–26

Marinelli, C., Röckner, M. (2016): On the maximal inequalities of Burkholder, Davis and Gundy.Expositiones Mathematicae34(1), 1–26

work page 2016
[20]

(1983):Semigroups of Linear Operators and Applications to Partial Differential Equations.Springer, New York

Pazy, A. (1983):Semigroups of Linear Operators and Applications to Partial Differential Equations.Springer, New York

work page 1983
[21]

Tappe,S.(2024): Invariantsubmanifoldsforsolutionstoroughdifferentialequations.Stochas- tics and Dynamics24(8), 2550003

work page 2024
[22]

Tappe, S. (2025):Mild solutions to semilinear rough partial differential equations.Chapter 2 ofthebookFractional S(P)DEs – Theory, Numerics, and Optimal Control,editedbyWilfried Grecksch and Hannelore Lisei, World Scientific, pp. 25–103

work page 2025
[23]

(2011): Another approach to some rough and stochastic partial differential equations.Stochastics and Dynamics11(2–3), 535–550

Teichmann, J. (2011): Another approach to some rough and stochastic partial differential equations.Stochastics and Dynamics11(2–3), 535–550. Albert Ludwig University of Freiburg, Department of Mathematical Stochastics, Ernst-Zermelo-Straße 1, D-79104 Freiburg, Germany Email address:stefan.tappe@math.uni-freiburg.de

work page 2011