pith. sign in

arxiv: 2606.11951 · v1 · pith:LLXZYBVNnew · submitted 2026-06-10 · 🧮 math.PR

On Skorokhod Problems for Reflected and Singular Stochastic Heat Equations

Martin Grothaus , Nicolas Renner This is my paper

Pith reviewed 2026-06-27 08:33 UTC · model grok-4.3

classification 🧮 math.PR
keywords Skorokhod decompositionDirichlet formsBrownian bridgeHida distributionsvector measuresintegration by partsstochastic heat equationsreflected processes
0
0 comments X

The pith

Skorokhod decompositions are proven for Markov processes linked to singular measures on Brownian bridge laws.

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

The paper establishes Skorokhod decompositions for the Markov processes X^a and X that arise from gradient Dirichlet forms on two measures built from the law of the Brownian bridge. These measures incorporate indicator densities that enforce non-negativity on continuous representatives of the paths. Infinite-dimensional integration-by-parts formulas are obtained for the measures, and the Hida distributions that appear are represented as integrals against vector measures of bounded variation. The vector measures are obtained by an approximation procedure that relies on a generalization of Prokhorov's theorem. The processes are also shown to have sample paths that remain in the class of continuous functions vanishing at the endpoints.

Core claim

We prove a Skorokhod decomposition for the Markov processes X^a and X associated to the gradient Dirichlet forms with respect to the measures ρ^a μ^β and ρ μ^β, respectively. We derive infinite-dimensional integration by parts formulas w.r.t. ρ^a μ^β and ρ μ^β, which contain Hida distributions alongside the usual drift terms. We represent these Hida distributions by integration w.r.t. vector measures of bounded variation. The vector measures in question are constructed via an approximation argument, making use of a generalization of Prokhorov's theorem for vector measures. We further prove that, almost surely, the sample paths of X^a and X take values in the equivalence class of continuous f

What carries the argument

Vector measures of bounded variation that represent the Hida distributions appearing in the infinite-dimensional integration-by-parts formulas, obtained through approximation and a generalized Prokhorov theorem.

If this is right

  • The processes X^a and X admit Skorokhod decompositions that incorporate the singular parts of the driving measures.
  • The distributional terms in the integration-by-parts formulas for ρ^a μ^β and ρ μ^β are explicit simplifications of the term arising for the law of the reflected Brownian bridge.
  • Sample paths of both processes belong to the space of continuous functions vanishing at zero and one, almost surely at the relevant times.
  • The representation supplies a concrete step toward constructing a bounded-variation vector measure for the distributional term in the reflected Brownian bridge case.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same approximation technique for producing bounded-variation vector measures may apply to other singular measures that generate Hida distributions in infinite-dimensional settings.
  • If the reflected Brownian bridge case can be treated by an analogous construction, the full Skorokhod problem for the reflected measure would become solvable.
  • The path regularity established here indicates that numerical schemes for the associated stochastic heat equations could be built directly on continuous-function spaces.

Load-bearing premise

The Hida distributions appearing in the infinite-dimensional integration-by-parts formulas admit representations as integrals against vector measures of bounded variation that can be constructed by the stated approximation procedure and the generalized Prokhorov theorem.

What would settle it

An explicit example in which one of the Hida distributions cannot be expressed as integration against any vector measure of bounded variation, or in which the approximation sequence fails to converge to a measure satisfying the integration identity.

read the original abstract

We prove a Skorokhod decomposition for the Markov processes $X^a$ and $X$ associated to the gradient Dirichlet forms with respect to the measures $\rho^a\mu^{\beta}$ and $\rho\mu^{\beta}$, respectively. Here, $\mu^{\beta}$ is the law of the standard Brownian bridge $\beta$, while $\rho^a$ and $\rho$ denote densities which are given by $\rho^a(z) := \mathbf{1}_{[0,\infty)}(\bar{z}_a)$ and $\rho(z) := \int_0^1 \mathbf{1}_{[0,\infty)}(\bar{z}_x) \, dx$, respectively, for all $z\in L^2(0,1)$ which have a (unique) continuous representative $\bar{z}$ which vanishes at zero and one. To this end, we derive infinite-dimensional integration by parts formulas (IbPFs) w.r.t. $\rho^a\mu^{\beta}$ and $\rho\mu^{\beta}$, which contain Hida distributions alongside the usual drift terms. We represent these Hida distributions by integration w.r.t. vector measures of bounded variation. The vector measures in question are constructed via an approximation argument, making use of a generalization of Prokhorov's theorem for vector measures. We further prove that, almost surely, the sample paths of $X^a$ and $X$ take values in the equivalence class of continuous functions vanishing at zero and one for all and $dt$-almost all times, respectively. The main motivation for studying $\rho^a\mu^{\beta}$ and $\rho\mu^{\beta}$ lies in the fact that the distributional terms in their IbPFs are simplifications of the distributional term in the IbPF w.r.t. the law of the reflected Brownian bridge on the unit interval $\mu^{|\beta|}$. Representing the latter by integration w.r.t. a vector measure of bounded variation is still an open problem.

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.

Referee Report

1 major / 0 minor

Summary. The manuscript proves Skorokhod decompositions for the Markov processes X^a and X associated to gradient Dirichlet forms with respect to the measures ρ^a μ^β and ρ μ^β (where μ^β is Brownian bridge law and ρ^a, ρ are indicator densities on continuous representatives vanishing at endpoints). This is done by deriving infinite-dimensional integration-by-parts formulas containing Hida distributions, representing those distributions via integration against vector measures of bounded variation constructed by an approximation argument that invokes a generalization of Prokhorov's theorem for vector measures, and establishing that sample paths lie in the equivalence class of continuous functions vanishing at 0 and 1 a.s. for all (resp. dt-a.e.) times. The constructions are motivated as simplifications of the still-open reflected Brownian bridge case μ^|β|.

Significance. If the vector-measure representation is established, the work supplies explicit Skorokhod decompositions in a singular infinite-dimensional setting and furnishes a concrete stepping-stone toward the open reflected-bridge problem. The combination of Dirichlet forms, Hida distributions, and a generalized Prokhorov theorem for vector measures constitutes a technically innovative route to handling distributional drift terms; the path-regularity statement is a useful auxiliary result.

major comments (1)
  1. [Section describing the construction of the vector measures (approximation argument and generalized Prokhorov application] The central representation of the Hida distributions appearing in the IbPFs (used to obtain the Skorokhod decompositions) rests on an approximation procedure plus a generalized Prokhorov theorem whose applicability to the specific approximating sequence for ρ^a μ^β and ρ μ^β is asserted but whose tightness estimates, passage to a bounded-variation limit, and coincidence with the target Hida distribution on the relevant test functions are not independently verifiable from the given description; this step is load-bearing for both the IbPFs and the claimed decompositions.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading, the accurate summary of our results, and the recognition of the technical contributions involving Dirichlet forms, Hida distributions, and vector measures. We address the single major comment below.

read point-by-point responses

  1. Referee: [Section describing the construction of the vector measures (approximation argument and generalized Prokhorov application] The central representation of the Hida distributions appearing in the IbPFs (used to obtain the Skorokhod decompositions) rests on an approximation procedure plus a generalized Prokhorov theorem whose applicability to the specific approximating sequence for ρ^a μ^β and ρ μ^β is asserted but whose tightness estimates, passage to a bounded-variation limit, and coincidence with the target Hida distribution on the relevant test functions are not independently verifiable from the given description; this step is load-bearing for both the IbPFs and the claimed decompositions.

    Authors: We agree that the vector-measure representation is the load-bearing step and that its details must be independently verifiable. The manuscript constructs the approximating sequence explicitly via mollification of the indicator densities ρ^a and ρ against the Brownian-bridge measure μ^β, then invokes the generalized Prokhorov theorem for vector measures of bounded variation. However, the referee is correct that the tightness estimates (uniform control on total variation), the passage to the limit, and the identification on the relevant Hida test functions are not presented with sufficient explicitness. We will therefore add two new lemmas in the revised version: one establishing uniform boundedness of the total-variation norms of the approximants, and one verifying weak convergence against the dense class of test functions used in the IbPF. These additions will make the applicability of the generalized Prokhorov theorem and the identification of the limit measure fully transparent without altering the overall argument. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation relies on external analytic tools

full rationale

The paper derives Skorokhod decompositions and IbPFs for the processes X^a and X by first obtaining integration-by-parts formulas containing Hida distributions, then representing those distributions via integration against vector measures of bounded variation. The measures are constructed explicitly via an approximation argument that invokes a generalization of Prokhorov's theorem. This construction is presented as an application of an independent theorem rather than a self-definition, a fitted parameter renamed as a prediction, or a load-bearing self-citation whose validity reduces to the present paper. The abstract explicitly notes that the analogous representation for the reflected Brownian bridge remains an open problem, confirming that the current claims do not presuppose their own conclusion. No equations or steps in the provided description reduce the target result to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on standard background results from Dirichlet-form theory and white-noise analysis; no free parameters or new postulated entities are introduced.

axioms (2)
  • standard math The law μ^β of the standard Brownian bridge exists and is a probability measure on the space of continuous functions vanishing at 0 and 1.
    Invoked in the definition of the reference measure and the densities ρ^a, ρ.
  • domain assumption Gradient Dirichlet forms exist with respect to the weighted measures ρ^a μ^β and ρ μ^β.
    Stated as the starting point for the Markov processes X^a and X.

pith-pipeline@v0.9.1-grok · 5890 in / 1482 out tokens · 21405 ms · 2026-06-27T08:33:52.865911+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

33 extracted references · 24 canonical work pages

  1. [1]

    R\"ockner, Michael and Zhu, Rong-Chan and Zhu, Xiang-Chan , TITLE =. Ann. Probab. , FJOURNAL =. 2012 , NUMBER =. doi:10.1214/11-AOP661 , URL =

    work page doi:10.1214/11-aop661 2012

  2. [2]

    Grothaus, Martin and Vosshall, Robert , TITLE =. Stoch. Partial Differ. Equ. Anal. Comput. , FJOURNAL =. 2018 , NUMBER =. doi:10.1007/s40072-018-0110-4 , URL =

    work page doi:10.1007/s40072-018-0110-4 2018

  3. [3]

    M\"arz, Michael and Shortt, R. M. , TITLE =. Publ. Math. Debrecen , FJOURNAL =. 1994 , NUMBER =. doi:10.5486/pmd.1994.1396 , URL =

    work page doi:10.5486/pmd.1994.1396 1994

  4. [4]

    Parthasarathy, K. R. , TITLE =. 1967 , PAGES =

    1967

  5. [5]

    2008 , PAGES =

    Klenke, Achim , TITLE =. 2008 , PAGES =. doi:10.1007/978-1-84800-048-3 , URL =

    work page doi:10.1007/978-1-84800-048-3 2008

  6. [6]

    Vakhania, N. N. and Tarieladze, V. I. and Chobanyan, S. A. , TITLE =. 1987 , PAGES =. doi:10.1007/978-94-009-3873-1 , URL =

    work page doi:10.1007/978-94-009-3873-1 1987

  7. [7]

    , TITLE =

    Dunford, Nelson and Schwartz, Jacob T. , TITLE =. 1988 , PAGES =

    1988

  8. [8]

    and Uhl, Jr., J

    Diestel, J. and Uhl, Jr., J. J. , TITLE =. 1977 , PAGES =

    1977

  9. [9]

    Albeverio, Sergio and R\"ockner, Michael , TITLE =. J. Funct. Anal. , FJOURNAL =. 1990 , NUMBER =. doi:10.1016/0022-1236(90)90113-Y , URL =

    work page doi:10.1016/0022-1236(90)90113-y 1990

  10. [10]

    Elad Altman, Henri and Zambotti, Lorenzo , TITLE =. Probab. Theory Related Fields , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00440-019-00926-0 , URL =

    work page doi:10.1007/s00440-019-00926-0 2020

  11. [11]

    Sticky Reflected Diffusion Processes in view of Stochastic Interface Models and on General Domains , SCHOOL =

    Robert Vo. Sticky Reflected Diffusion Processes in view of Stochastic Interface Models and on General Domains , SCHOOL =

  12. [12]

    1993 , PAGES =

    Hida, Takeyuki and Kuo, Hui-Hsiung and Potthoff, J\"urgen and Streit, Ludwig , TITLE =. 1993 , PAGES =. doi:10.1007/978-94-017-3680-0 , URL =

    work page doi:10.1007/978-94-017-3680-0 1993

  13. [13]

    1997 , PAGES =

    Kallenberg, Olav , TITLE =. 1997 , PAGES =

    1997

  14. [14]

    1996 , PAGES =

    Kuo, Hui-Hsiung , TITLE =. 1996 , PAGES =

    1996

  15. [15]

    1994 , PAGES =

    Obata, Nobuaki , TITLE =. 1994 , PAGES =. doi:10.1007/BFb0073952 , URL =

    work page doi:10.1007/bfb0073952 1994

  16. [16]

    , TITLE =

    Evans, Lawrence C. , TITLE =. 2010 , PAGES =. doi:10.1090/gsm/019 , URL =

    work page doi:10.1090/gsm/019 2010

  17. [17]

    Ambrosio, Luigi and Miranda, Jr., Michele and Maniglia, Stefania and Pallara, Diego , TITLE =. J. Funct. Anal. , FJOURNAL =. 2010 , NUMBER =. doi:10.1016/j.jfa.2009.09.008 , URL =

    work page doi:10.1016/j.jfa.2009.09.008 2010

  18. [18]

    2010 , PAGES =

    M\"orters, Peter and Peres, Yuval , TITLE =. 2010 , PAGES =. doi:10.1017/CBO9780511750489 , URL =

    work page doi:10.1017/cbo9780511750489 2010

  19. [19]

    1992 , PAGES =

    Ma, Zhi Ming and R\"ockner, Michael , TITLE =. 1992 , PAGES =. doi:10.1007/978-3-642-77739-4 , URL =

    work page doi:10.1007/978-3-642-77739-4 1992

  20. [20]

    2014 , PAGES =

    Da Prato, Giuseppe and Zabczyk, Jerzy , TITLE =. 2014 , PAGES =. doi:10.1017/CBO9781107295513 , URL =

    work page doi:10.1017/cbo9781107295513 2014

  21. [21]

    2016 , PAGES =

    Hyt\"onen, Tuomas and van Neerven, Jan and Veraar, Mark and Weis, Lutz , TITLE =. 2016 , PAGES =

    2016

  22. [22]

    and Fournier, John J

    Adams, Robert A. and Fournier, John J. F. , TITLE =. 2003 , PAGES =

    2003

  23. [23]

    2011 , PAGES =

    Fukushima, Masatoshi and Oshima, Yoichi and Takeda, Masayoshi , TITLE =. 2011 , PAGES =

    2011

  24. [24]

    Ambrosio, Luigi and Savar\'e, Giuseppe and Zambotti, Lorenzo , TITLE =. Probab. Theory Related Fields , FJOURNAL =. 2009 , NUMBER =. doi:10.1007/s00440-008-0177-3 , URL =

    work page doi:10.1007/s00440-008-0177-3 2009

  25. [25]

    Da Prato, Giuseppe and R\"ockner, Michael , TITLE =. Probab. Theory Related Fields , FJOURNAL =. 2002 , NUMBER =. doi:10.1007/s004400200214 , URL =

    work page doi:10.1007/s004400200214 2002

  26. [26]

    , TITLE =

    Hairer, M. , TITLE =. Invent. Math. , FJOURNAL =. 2014 , NUMBER =. doi:10.1007/s00222-014-0505-4 , URL =

    work page doi:10.1007/s00222-014-0505-4 2014

  27. [27]

    Forum Math

    Gubinelli, Massimiliano and Imkeller, Peter and Perkowski, Nicolas , TITLE =. Forum Math. Pi , FJOURNAL =. 2015 , PAGES =. doi:10.1017/fmp.2015.2 , URL =

    work page doi:10.1017/fmp.2015.2 2015

  28. [28]

    and Pardoux, \'E

    Nualart, D. and Pardoux, \'E. , TITLE =. Probab. Theory Related Fields , FJOURNAL =. 1992 , NUMBER =. doi:10.1007/BF01195389 , URL =

    work page doi:10.1007/bf01195389 1992

  29. [29]

    Hairer, Martin , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2013 , NUMBER =. doi:10.4007/annals.2013.178.2.4 , URL =

    work page doi:10.4007/annals.2013.178.2.4 2013

  30. [30]

    and Hairer, Martin , TITLE =

    Friz, Peter K. and Hairer, Martin , TITLE =. 2014 , PAGES =. doi:10.1007/978-3-319-08332-2 , URL =

    work page doi:10.1007/978-3-319-08332-2 2014

  31. [31]

    Zambotti, Lorenzo , TITLE =. J. Funct. Anal. , FJOURNAL =. 2005 , NUMBER =. doi:10.1016/j.jfa.2004.08.001 , URL =

    work page doi:10.1016/j.jfa.2004.08.001 2005

  32. [32]

    Zambotti, Lorenzo , TITLE =. Probab. Theory Related Fields , FJOURNAL =. 2002 , NUMBER =. doi:10.1007/s004400200203 , URL =

    work page doi:10.1007/s004400200203 2002

  33. [33]

    Zambotti, Lorenzo , TITLE =. Ann. Probab. , FJOURNAL =. 2003 , NUMBER =. doi:10.1214/aop/1046294313 , URL =

    work page doi:10.1214/aop/1046294313 2003