pith. sign in

arxiv: 2605.15501 · v1 · pith:RNJYUIP6new · submitted 2026-05-15 · 🧮 math.PR · math.AP

Well-posedness of the obstacle problem for generalized Dean-Kawasaki equation

Ruoyang Liu , Rangrang Zhang This is my paper

Pith reviewed 2026-05-19 15:35 UTC · model grok-4.3

classification 🧮 math.PR math.AP
keywords obstacle problemDean-Kawasaki equationstochastic kinetic solutionsSkorokhod conditionporous-medium regimeL1 stabilitydegenerate diffusionconservative noise
0
0 comments X

The pith

Obstacle problems for generalized Dean-Kawasaki equations admit well-posed stochastic kinetic solutions under continuous obstacles.

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

This paper proves existence, uniqueness and L1-stability of stochastic kinetic solutions to the obstacle problem for generalized Dean-Kawasaki equations driven by correlated conservative noise. The equations feature diffusion in the porous-medium regime, including degenerate cases. The authors introduce a kinetic characterization of the Skorokhod reflection condition in which the obstacle acts as a barrier that substitutes for the solution. This explicit kinetic description of the reflection measure creates a framework compatible with the L1 doubling-of-variables technique, allowing well-posedness to hold under the same structural assumptions as the obstacle-free setting.

Core claim

The central claim is that the obstacle problem for generalized Dean-Kawasaki equations possesses unique stochastic kinetic solutions that remain stable in the L1 norm whenever the obstacle is merely continuous and the structural assumptions match those of the obstacle-free case. This result covers the entire porous-medium regime, encompassing degenerate diffusion and the critical square-root noise coefficient.

What carries the argument

The kinetic characterization of the Skorokhod condition, in which the barrier substitutes the solution to render the reflection measure term explicit at the kinetic level.

If this is right

  • Well-posedness holds across the full porous-medium regime, including degenerate diffusion.
  • Merely continuous obstacles suffice for existence, uniqueness, and L1-stability.
  • The same structural assumptions used in the obstacle-free setting remain sufficient.
  • The reflection mechanism is made explicit at the kinetic level for any such obstacle.

Where Pith is reading between the lines

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

  • The kinetic formulation may extend to obstacle problems for other classes of degenerate stochastic PDEs with conservative noise.
  • Numerical schemes could exploit the explicit kinetic reflection term to approximate constrained particle systems.
  • Applications might include stochastic models of constrained population dynamics or porous-media flow with barriers.

Load-bearing premise

The kinetic characterization of the Skorokhod condition combined with the barrier substituting the solution yields a stable framework adapted to the L1 doubling of variables method.

What would settle it

A continuous obstacle together with a candidate solution in the critical square-root noise regime for which the kinetic Skorokhod condition fails to hold would falsify the well-posedness result.

read the original abstract

We investigate the obstacle problem for generalized Dean--Kawasaki equations driven by correlated conservative noise, establishing the existence, uniqueness, and $L^1$-stability of stochastic kinetic solutions. Our core strategy combines a kinetic characterization of the Skorokhod condition with a precise description of the reflection measure term associated with the obstacle, in which the barrier substitutes the solution. This formulation makes the reflection mechanism explicit at the kinetic level and yields a stable framework adapted to $L^1$ doubling of variables method. Consequently, under a merely continuous obstacle and the same structural assumptions as in the obstacle-free setting, we obtain well-posedness over the full porous-medium regime, covering degenerate diffusion and the critical square-root noise coefficient. This extends the existing theory of obstacle problems for stochastic partial differential equations to a class of degenerate equations with singular diffusion coefficients.

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 / 1 minor

Summary. The paper claims to establish existence, uniqueness, and L¹-stability of stochastic kinetic solutions to the obstacle problem for generalized Dean-Kawasaki equations with correlated conservative noise. The core strategy is a kinetic characterization of the Skorokhod condition in which the continuous obstacle substitutes for the solution inside the reflection measure, yielding an explicit formulation amenable to the L¹ doubling-of-variables method. Under the same structural assumptions as the obstacle-free case, well-posedness is asserted over the full porous-medium regime, including degenerate diffusion and the critical square-root noise coefficient.

Significance. If the central claims hold, the result would extend existing obstacle-problem theory for SPDEs to degenerate equations with singular diffusion coefficients, providing a stable kinetic framework for constrained stochastic systems. The explicit barrier substitution and adaptation to L¹ methods constitute a technical strength, as does the parameter-free character of the derivation (relying only on structural assumptions from the obstacle-free setting).

major comments (1)
  1. [Kinetic formulation and reflection measure] The kinetic characterization of the Skorokhod condition (core strategy paragraph and associated formulation): the substitution of the barrier ψ for the solution u inside the reflection measure is asserted to produce a closed inequality suitable for L¹ doubling of variables. When ψ is merely continuous and the diffusion degenerates to the critical square-root regime, the difference u−ψ need not possess the sign properties or regularity required to absorb cross terms generated by the porous-medium operator after integration against the kinetic measure. This step is load-bearing for the claimed L¹-stability and well-posedness; a detailed justification or mollification argument that remains within the stated structural assumptions is required.
minor comments (1)
  1. [Introduction] Notation for the generalized Dean-Kawasaki equation and the precise form of the correlated conservative noise should be introduced explicitly in the introduction or §2 to improve readability for readers unfamiliar with the obstacle-free precursor.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the positive assessment of its significance. We address the single major comment below, providing a detailed explanation of the relevant step in the kinetic formulation while remaining within the structural assumptions of the paper.

read point-by-point responses

  1. Referee: The kinetic characterization of the Skorokhod condition (core strategy paragraph and associated formulation): the substitution of the barrier ψ for the solution u inside the reflection measure is asserted to produce a closed inequality suitable for L¹ doubling of variables. When ψ is merely continuous and the diffusion degenerates to the critical square-root regime, the difference u−ψ need not possess the sign properties or regularity required to absorb cross terms generated by the porous-medium operator after integration against the kinetic measure. This step is load-bearing for the claimed L¹-stability and well-posedness; a detailed justification or mollification argument that remains within the stated structural assumptions is required.

    Authors: We appreciate the referee drawing attention to this technical point. In the kinetic formulation, the reflection measure is defined by replacing u with the continuous obstacle ψ inside the positive part that enforces the Skorokhod condition; this substitution is justified because the kinetic solution satisfies u ≥ ψ in the sense of the entropy inequality, and the measure is taken against test functions that are non-negative. The cross terms arising from the porous-medium operator are controlled by the monotonicity of the diffusion flux and the fact that the noise is conservative and correlated, which allows the doubling-of-variables procedure to produce non-positive contributions from the difference (u − ψ) without invoking extra regularity. The continuity of ψ is used only to ensure that the measure remains a well-defined Radon measure in the distributional sense; no higher regularity on u − ψ is required because the L¹ contraction is obtained directly from the integrated kinetic inequality. We agree that an expanded remark or short appendix paragraph spelling out this absorption would improve readability, and we will incorporate such a clarification in the revised version. revision: partial

Circularity Check

0 steps flagged

Minor reliance on prior obstacle-free assumptions; new kinetic reflection formulation adds independent content

full rationale

The paper extends well-posedness results from the obstacle-free generalized Dean-Kawasaki setting to the obstacle case by combining a kinetic characterization of the Skorokhod condition with an explicit barrier substitution for the reflection measure. This yields a framework adapted to L1 doubling of variables under merely continuous obstacles and the same structural assumptions as the obstacle-free case. No derivation step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation chain; the central existence/uniqueness/stability claims rest on the new explicit kinetic formulation rather than renaming or smuggling prior ansatzes. The cited obstacle-free structural assumptions function as independent external input (standard in PDE well-posedness extensions) and do not force the target result. This is a normal, non-circular extension with only minor self-citation of the base setting.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The proof rests on standard assumptions for stochastic kinetic solutions and noise correlation from the obstacle-free theory, with no free parameters or new invented entities introduced in the abstract.

axioms (1)
  • domain assumption Existence of stochastic kinetic solutions under the same structural assumptions as the obstacle-free case
    Invoked to extend well-posedness to the obstacle setting

pith-pipeline@v0.9.0 · 5670 in / 1011 out tokens · 42494 ms · 2026-05-19T15:35:40.248760+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

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

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

52 extracted references · 52 canonical work pages

  1. [1]

    Quasilinear elliptic-parabolic differential equations.Math

    Hans Wilhelm Alt and Stephan Luckhaus. Quasilinear elliptic-parabolic differential equations.Math. Z., 183(3):311–341, 1983

    work page 1983

  2. [2]

    von Renesse

    Sebastian Andres and Max-K. von Renesse. Particle approximation of the Wasserstein diffusion.J. Funct. Anal., 258(11):3879–3905, 2010

    work page 2010

  3. [3]

    CRC press, 2004

    C Anthony J Appelo and Dieke Postma.Geochemistry, groundwater and pollution. CRC press, 2004

    work page 2004

  4. [4]

    Parabolic obstacle problems, quasi- convexity and regularity.Ann

    Ioannis Athanasopoulos, Luis Caffarelli, and Emmanouil Milakis. Parabolic obstacle problems, quasi- convexity and regularity.Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), 19(2):781–825, 2019

    work page 2019

  5. [5]

    Simulation of reactive transport in fractured porous media.Transp

    Shin Irgens Banshoya, Inga Berre, and Eirik Keilegavlen. Simulation of reactive transport in fractured porous media.Transp. Porous Med., 149(2):643–667, 2023. 52

    work page 2023

  6. [6]

    North-Holland Publishing Co., Amsterdam-New York, 1982

    Alain Bensoussan and Jacques-Louis Lions.Applications of variational inequalities in stochastic control, volume 12 ofStudies in Mathematics and its Applications. North-Holland Publishing Co., Amsterdam-New York, 1982. Translated from the French

    work page 1982

  7. [7]

    Macroscopic fluctuation theory.Rev

    Lorenzo Bertini, Alberto De Sole, Davide Gabrielli, Giovanni Jona-Lasinio, and Claudio Landim. Macroscopic fluctuation theory.Rev. Modern Phys., 87(2):593–636, 2015

    work page 2015

  8. [8]

    Wiley Series in Probability and Statistics: Probability and Statistics

    Patrick Billingsley.Convergence of probability measures. Wiley Series in Probability and Statistics: Probability and Statistics. John Wiley & Sons, Inc., New York, second edition, 1999. A Wiley- Interscience Publication

    work page 1999

  9. [9]

    Degenerate problems with irregular obsta- cles.J

    Verena Bögelein, Frank Duzaar, and Giuseppe Mingione. Degenerate problems with irregular obsta- cles.J. Reine Angew. Math., 650:107–160, 2011

    work page 2011

  10. [10]

    The obstacle problem for the porous medium equation.Math

    Verena Bögelein, Teemu Lukkari, and Christoph Scheven. The obstacle problem for the porous medium equation.Math. Ann., 363(1-2):455–499, 2015

    work page 2015

  11. [11]

    Problèmes unilatéraux.J

    Haïm Brézis. Problèmes unilatéraux.J. Math. Pures Appl. (9), 51:1–168, 1972

    work page 1972

  12. [12]

    Reflection of stochastic evolution equations in infinite di- mensional domains.Ann

    Zdzisław Brze´ zniak and Tusheng Zhang. Reflection of stochastic evolution equations in infinite di- mensional domains.Ann. Inst. Henri Poincaré Probab. Stat., 59(3):1549–1571, 2023

    work page 2023

  13. [13]

    Caffarelli

    Luis A. Caffarelli. The obstacle problem revisited.J. Fourier Anal. Appl., 4(4-5):383–402, 1998

    work page 1998

  14. [14]

    Caffarelli, Xavier Ros-Oton, and Joaquim Serra

    Luis A. Caffarelli, Xavier Ros-Oton, and Joaquim Serra. Obstacle problems for integro-differential operators: regularity of solutions and free boundaries.Invent. Math., 208(3):1155–1211, 2017

    work page 2017

  15. [15]

    Entropy solutions for stochastic porous media equations.J

    Konstantinos Dareiotis, Maté Gerencsér, and Benjamin Gess. Entropy solutions for stochastic porous media equations.J. Differential Equations, 266(6):3732–3763, 2019

    work page 2019

  16. [16]

    Nonlinear diffusion equations with nonlinear gradient noise.Electron

    Konstantinos Dareiotis and Benjamin Gess. Nonlinear diffusion equations with nonlinear gradient noise.Electron. J. Probab., 25:Paper No. 35, 43, 2020

    work page 2020

  17. [17]

    David S. Dean. Langevin equation for the density of a system of interacting Langevin processes.J. Phys. A, 29(24):L613–L617, 1996

    work page 1996

  18. [18]

    Debussche and J

    A. Debussche and J. V ovelle. Scalar conservation laws with stochastic forcing.J. Funct. Anal., 259(4):1014–1042, 2010

    work page 2010

  19. [19]

    Degenerate parabolic stochastic partial differential equations: quasilinear case.Ann

    Arnaud Debussche, Martina Hofmanová, and Julien V ovelle. Degenerate parabolic stochastic partial differential equations: quasilinear case.Ann. Probab., 44(3):1916–1955, 2016

    work page 1916

  20. [20]

    The obstacle problem for quasilinear stochastic PDEs: analytical approach.Ann

    Laurent Denis, Anis Matoussi, and Jing Zhang. The obstacle problem for quasilinear stochastic PDEs: analytical approach.Ann. Probab., 42(3):865–905, 2014

    work page 2014

  21. [21]

    Entropic and gradient flow formulations for nonlinear diffusion.J

    Nicolas Dirr, Marios Stamatakis, and Johannes Zimmer. Entropic and gradient flow formulations for nonlinear diffusion.J. Math. Phys., 57(8):081505, 13, 2016

    work page 2016

  22. [22]

    White noise driven SPDEs with reflection.Probab

    Catherine Donati-Martin and Etienne Pardoux. White noise driven SPDEs with reflection.Probab. Theory Related Fields, 95(1):1–24, 1993

    work page 1993

  23. [23]

    Well-posedness of the obstacle problem for stochastic nonlinear diffusion equations: an entropy formulation.J

    Kai Du and Ruoyang Liu. Well-posedness of the obstacle problem for stochastic nonlinear diffusion equations: an entropy formulation.J. Funct. Anal., 289(8):Paper No. 111012, 51, 2025

    work page 2025

  24. [24]

    Evans.Partial differential equations, volume 19 ofGraduate Studies in Mathematics

    Lawrence C. Evans.Partial differential equations, volume 19 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, 1998. 53

    work page 1998

  25. [25]

    Well-posedness of the Dean–Kawasaki and the nonlinear Dawson–Watanabe equation with correlated noise.arXiv preprint arXiv:2108.08858, 2022

    Benjamin Fehrman and Benjamin Gess. Well-posedness of the Dean–Kawasaki and the nonlinear Dawson–Watanabe equation with correlated noise.arXiv preprint arXiv:2108.08858, 2022

    work page arXiv 2022

  26. [26]

    Non-equilibrium large deviations and parabolic-hyperbolic PDE with irregular drift.Invent

    Benjamin Fehrman and Benjamin Gess. Non-equilibrium large deviations and parabolic-hyperbolic PDE with irregular drift.Invent. Math., 234(2):573–636, 2023

    work page 2023

  27. [27]

    Well-posedness of the Dean-Kawasaki and the nonlinear Dawson-Watanabe equation with correlated noise.Arch

    Benjamin Fehrman and Benjamin Gess. Well-posedness of the Dean-Kawasaki and the nonlinear Dawson-Watanabe equation with correlated noise.Arch. Ration. Mech. Anal., 248(2):Paper No. 20, 60, 2024

    work page 2024

  28. [28]

    Well-posedness and regularity for quasilinear degenerate parabolic-hyperbolic SPDE.Ann

    Benjamin Gess and Martina Hofmanová. Well-posedness and regularity for quasilinear degenerate parabolic-hyperbolic SPDE.Ann. Probab., 46(5):2495–2544, 2018

    work page 2018

  29. [29]

    István Gyöngy and Nicolai V . Krylov. Existence of strong solutions for Itô’s stochastic equations via approximations: revisited.Stoch. Partial Differ. Equ. Anal. Comput., 10(3):693–719, 2022

    work page 2022

  30. [30]

    Haussmann and Étienne Pardoux

    Ulrich G. Haussmann and Étienne Pardoux. Stochastic variational inequalities of parabolic type.Appl. Math. Optim., 20(2):163–192, 1989

    work page 1989

  31. [31]

    Degenerate parabolic stochastic partial differential equations.Stochastic Pro- cess

    Martina Hofmanová. Degenerate parabolic stochastic partial differential equations.Stochastic Pro- cess. Appl., 123(12):4294–4336, 2013

    work page 2013

  32. [32]

    The almost sure Skorokhod representation for subsequences in nonmetric spaces

    Adam Jakubowski. The almost sure Skorokhod representation for subsequences in nonmetric spaces. Teor. Veroyatnost. i Primenen., 42(1):209–216, 1997

    work page 1997

  33. [33]

    Shreve.Brownian motion and stochastic calculus, volume 113 of Graduate Texts in Mathematics

    Ioannis Karatzas and Steven E. Shreve.Brownian motion and stochastic calculus, volume 113 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1988

    work page 1988

  34. [34]

    Microscopic analyses of the dynamical density functional equation of dense fluids

    Kyozi Kawasaki. Microscopic analyses of the dynamical density functional equation of dense fluids. J. Statist. Phys., 93(3-4):527–546, 1998

    work page 1998

  35. [35]

    von Renesse

    Vitalii Konarovskyi, Tobias Lehmann, and Max-K. von Renesse. Dean–Kawasaki dynamics: ill- posedness vs. triviality.Electron. Commun. Probab., 24:Paper No. 8, 9, 2019

    work page 2019

  36. [36]

    The semismooth newton method for multicomponent reactive transport with minerals

    Serge Kräutle. The semismooth newton method for multicomponent reactive transport with minerals. Adv. Water Resour., 34(1):137–151, 2011

    work page 2011

  37. [37]

    Nikolai V . Krylov. A relatively short proof of Itô’s formula for SPDEs and its applications.Stoch. Partial Differ. Equ. Anal. Comput., 1(1):152–174, 2013

    work page 2013

  38. [38]

    Variational inequalities.Comm

    Jacques-Louis Lions and Guido Stampacchia. Variational inequalities.Comm. Pure Appl. Math., 20:493–519, 1967

    work page 1967

  39. [39]

    The obstacle problem for stochastic porous media equations

    Ruoyang Liu and Shanjian Tang. The obstacle problem for stochastic porous media equations. Stochastic Process. Appl., 167:Paper No. 104238, 42, 2024

    work page 2024

  40. [40]

    The obstacle problem for quasilinear stochastic PDE’s.Ann

    Anis Matoussi and Lucretiu Stoica. The obstacle problem for quasilinear stochastic PDE’s.Ann. Probab., 38(3):1143–1179, 2010

    work page 2010

  41. [41]

    White noise driven quasilinear SPDEs with reflection.Probab

    David Nualart and Étienne Pardoux. White noise driven quasilinear SPDEs with reflection.Probab. Theory Related Fields, 93(1):77–89, 1992

    work page 1992

  42. [42]

    Well-posedness of the generalised Dean-Kawasaki equation with correlated noise on bounded domains.Stochastic Process

    Shyam Popat. Well-posedness of the generalised Dean-Kawasaki equation with correlated noise on bounded domains.Stochastic Process. Appl., 179:Paper No. 104503, 32, 2025

    work page 2025

  43. [43]

    Springer-Verlag, Berlin, 1991

    Daniel Revuz and Marc Yor.Continuous martingales and Brownian motion, volume 293 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sci- ences]. Springer-Verlag, Berlin, 1991. 54

    work page 1991

  44. [44]

    Stochastic generalized porous media equa- tions with reflection.Stochastic Process

    Michael Röckner, Feng-Yu Wang, and Tusheng Zhang. Stochastic generalized porous media equa- tions with reflection.Stochastic Process. Appl., 123(11):3943–3962, 2013

    work page 2013

  45. [45]

    Existence of localizable solutions to nonlinear parabolic problems with irregular obstacles.Manuscripta Math., 146(1-2):7–63, 2015

    Christoph Scheven. Existence of localizable solutions to nonlinear parabolic problems with irregular obstacles.Manuscripta Math., 146(1-2):7–63, 2015

    work page 2015

  46. [46]

    Compact sets in the spaceL p(0, T;B).Ann

    Jacques Simon. Compact sets in the spaceL p(0, T;B).Ann. Mat. Pura Appl. (4), 146:65–96, 1987

    work page 1987

  47. [47]

    Springer Science & Business Media, 2012

    Herbert Spohn.Large scale dynamics of interacting particles. Springer Science & Business Media, 2012

    work page 2012

  48. [48]

    Reactive transport modeling: An essential tool and a new research approach for the earth sciences.Earth Planet

    Carl I Steefel, Donald J DePaolo, and Peter C Lichtner. Reactive transport modeling: An essential tool and a new research approach for the earth sciences.Earth Planet. Sci. Lett., 240(3-4):539–558, 2005

    work page 2005

  49. [49]

    von Renesse and Karl-Theodor Sturm

    Max-K. von Renesse and Karl-Theodor Sturm. Entropic measure and Wasserstein diffusion.Ann. Probab., 37(3):1114–1191, 2009

    work page 2009

  50. [50]

    Dean–Kawasaki equation with singular interac- tions and applications to dynamical Ising-Kac model.arXiv:2207.12774v3, 2026

    Likun Wang, Zhengyan Wu, and Rangrang Zhang. Dean–Kawasaki equation with singular interac- tions and applications to dynamical Ising-Kac model.arXiv:2207.12774v3, 2026

    work page arXiv 2026

  51. [51]

    White noise driven SPDEs with reflection: existence, uniqueness and large deviation principles.Stochastic Process

    Tiange Xu and Tusheng Zhang. White noise driven SPDEs with reflection: existence, uniqueness and large deviation principles.Stochastic Process. Appl., 119(10):3453–3470, 2009

    work page 2009

  52. [52]

    The obstacle problem for quasilinear stochastic PDEs with degenerate operator.Stochastic Process

    Xue Yang and Jing Zhang. The obstacle problem for quasilinear stochastic PDEs with degenerate operator.Stochastic Process. Appl., 129(9):3055–3079, 2019. 55

    work page 2019