arxiv: 2605.07953 · v1 · submitted 2026-05-08 · 🧮 math.AP

Recognition: 2 theorem links

· Lean Theorem

Noise-Driven Free Boundaries In The Compressible Navier-Stokes Equations

Gianmarco Del Sarto, Matthias Hieber, Tarek Z\"ochling

Pith reviewed 2026-05-11 03:06 UTC · model grok-4.3

classification 🧮 math.AP

keywords stochastic free boundarycompressible Navier-Stokespathwise well-posednessLagrangian mapStratonovich flowbarotropic fluidstochastic maximal regularitymoving domain

0 comments

The pith

Local pathwise well-posedness holds for the compressible Navier-Stokes equations with a noise-driven free boundary up to a positive stopping time.

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

The paper considers a three-dimensional barotropic compressible fluid model in which the free boundary moves according to a Stratonovich stochastic flow, allowing noise to enter directly through the kinematic condition that defines the evolving domain. An additional Ito-type forcing term is permitted in the momentum equation. The authors change variables via a stochastic Lagrangian map generated by the velocity and transport fields; in the new coordinates the density is recovered from the Jacobian of the map, and the problem is solved on a fixed reference domain by combining stochastic maximal regularity, deterministic L^p-L^q estimates, and a localized contraction mapping.

Core claim

By applying the stochastic Lagrangian map generated by the velocity and transport vector fields, the moving-boundary system is recast on a fixed domain where the density appears as the Jacobian determinant of the flow. The transformed equations are then treated with stochastic maximal regularity and L^p-L^q estimates together with a localized contraction argument, producing local pathwise well-posedness up to an almost surely positive stopping time, with strictly positive density and pathwise uniqueness.

What carries the argument

The stochastic Lagrangian map generated by the velocity and transport vector fields, which fixes the domain and encodes the density in its Jacobian determinant.

Load-bearing premise

The stochastic Lagrangian map transforms the original moving-boundary problem into a fixed-domain system to which stochastic maximal regularity and contraction arguments apply while preserving positivity of density.

What would settle it

An explicit choice of initial data and noise for which the transformed system either loses uniqueness or forces the Jacobian (hence the density) to zero or negative values in arbitrarily short time.

read the original abstract

A stochastic free-boundary problem for the three-dimensional barotropic compressible Navier--Stokes equations is studied. The main feature of the model is that the free boundary is transported by a Stratonovich stochastic flow, so that the noise enters the kinematic boundary condition and hence the evolution of the moving domain. An additional It\^o forcing in the momentum equation is also allowed. The problem is transformed by a stochastic Lagrangian map generated by the velocity and the transport vector fields. In these coordinates the density is represented through the Jacobian of the flow, and the remaining system is solved by combining stochastic maximal regularity, deterministic %\rL^p%-%\rL^q$ estimates, and a localized contraction argument. Local pathwise well-posedness is obtained up to an a.s. positive stopping time, with strictly positive density and pathwise uniqueness.

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

The paper gets local pathwise well-posedness for compressible NS with Stratonovich-driven free boundary by Lagrangian transform, but Ito corrections need verification.

read the letter

I read the paper on noise-driven free boundaries in the compressible Navier-Stokes. The main result is local existence and uniqueness for the system where the domain moves according to a Stratonovich flow, plus optional Ito term in momentum. They map it to a fixed domain using the stochastic flow map, set density to the Jacobian determinant, and solve the transformed system with stochastic maximal regularity, L^p-L^q estimates, and contraction. This combination for the free boundary problem looks new. The deterministic compressible NS free boundary is known, and there are stochastic versions, but the specific Stratonovich transport on the boundary and the Jacobian representation seem to be the fresh part. The proof uses tools that are established in stochastic PDEs, so the strategy is plausible. The estimates appear to close for small time, giving a positive stopping time a.s. and positive density. Pathwise uniqueness is included. The potential weak point is exactly the one in the stress test. After the change to Lagrangian coordinates, the momentum equation picks up Ito correction terms from the quadratic variation of the flow. These are not part of the original deterministic theory, so they have to be handled within the stochastic maximal regularity framework or shown not to disrupt the contraction. If the paper shows they are controlled by the same norms, that would be fine, but it is worth checking whether the bounds remain uniform in the noise strength or if they force the stopping time to be smaller. Overall this is a technical but straightforward extension in the subfield. It is for specialists in stochastic PDEs and fluid free boundaries. The work is coherent and uses standard methods without obvious circularity, so it should go to peer review. A referee can verify if the correction terms are properly estimated in the fixed domain system.

Referee Report

2 major / 2 minor

Summary. The manuscript establishes local pathwise well-posedness for a three-dimensional barotropic compressible Navier-Stokes free-boundary problem in which the boundary is transported by a Stratonovich stochastic flow (with optional additional Itô forcing in the momentum equation). The system is transformed via a stochastic Lagrangian map generated by the velocity and transport fields; in the new coordinates the density equals the Jacobian determinant of the flow. The transformed fixed-domain problem is then solved by combining stochastic maximal regularity, deterministic L^p-L^q estimates, and a localized contraction argument, yielding a unique solution up to an almost-surely positive stopping time with strictly positive density.

Significance. If the estimates close, the result supplies a pathwise existence-uniqueness theory for compressible fluids whose free boundaries are directly driven by noise. The stochastic Lagrangian transformation that converts the moving-domain problem into a fixed-domain system whose density is exactly the Jacobian is a technically attractive device; when combined with stochastic maximal regularity it offers a template that may extend to other stochastic free-boundary models. The explicit control of Itô-Stratonovich corrections and the preservation of positive density are the load-bearing features.

major comments (2)

[§4] §4 (transformed system and a-priori estimates): the Itô-Stratonovich correction terms that appear in the momentum equation after the change-of-variables formula must be shown to remain controlled by the deterministic L^p-L^q estimates used in the localized contraction. If these quadratic-variation terms grow with the noise intensity, the uniform bounds needed to keep the stopping time positive and the density strictly positive may fail to close; an explicit absorption argument (with constants independent of the noise amplitude on [0,τ]) is required.
[§3.2] Definition of the stopping time τ (likely §3.2 or §5): the construction must guarantee that τ>0 almost surely and that the density remains bounded away from zero on [0,τ). The current sketch leaves open whether the maximal regularity constants and the contraction radius can be chosen independently of the realization in a way that prevents immediate blow-up of the Jacobian.

minor comments (2)

[Abstract] Abstract: the phrase 'deterministic %rL^p%-rL^q$ estimates' is a LaTeX artifact and should be rendered as L^p-L^q estimates.
[§3] Notation: the precise function spaces (e.g., the precise Sobolev or Besov spaces in which stochastic maximal regularity is applied) should be stated once at the beginning of the transformation section rather than only in the estimates.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive evaluation of the manuscript and for the detailed, constructive comments. We address each major point below and will incorporate the suggested clarifications in the revised version.

read point-by-point responses

Referee: [§4] §4 (transformed system and a-priori estimates): the Itô-Stratonovich correction terms that appear in the momentum equation after the change-of-variables formula must be shown to remain controlled by the deterministic L^p-L^q estimates used in the localized contraction. If these quadratic-variation terms grow with the noise intensity, the uniform bounds needed to keep the stopping time positive and the density strictly positive may fail to close; an explicit absorption argument (with constants independent of the noise amplitude on [0,τ]) is required.

Authors: We agree that an explicit absorption argument strengthens the presentation. In the original manuscript the Itô-Stratonovich corrections are controlled implicitly through the stochastic maximal-regularity estimates and the subsequent deterministic L^p-L^q bounds that close the localized contraction. To make this control fully transparent and to confirm independence from noise amplitude, we will add a dedicated paragraph in §4. There we will derive an explicit estimate showing that the quadratic-variation terms are absorbed by the principal linear terms for sufficiently small time intervals, with all constants depending only on the initial data and the fixed regularity parameters, uniformly on [0,τ]. This guarantees that the a-priori bounds remain closed and supports the positivity of τ. revision: yes
Referee: [§3.2] Definition of the stopping time τ (likely §3.2 or §5): the construction must guarantee that τ>0 almost surely and that the density remains bounded away from zero on [0,τ). The current sketch leaves open whether the maximal regularity constants and the contraction radius can be chosen independently of the realization in a way that prevents immediate blow-up of the Jacobian.

Authors: We thank the referee for emphasizing the need for a fully rigorous construction of τ. The stopping time is defined as the first exit time from a ball whose radius is fixed by the initial data; the contraction mapping is performed in a space whose norm is controlled by stochastic maximal regularity. In the revision we will expand §3.2 (with a cross-reference in §5) to verify explicitly that the maximal-regularity constants and the contraction radius may be chosen independently of the particular realization on a short deterministic time interval. Pathwise continuity of the stochastic flow then ensures that the probability of immediate exit is zero, so that τ>0 almost surely and the Jacobian determinant (hence the density) remains strictly positive on [0,τ). revision: yes

Circularity Check

0 steps flagged

No circularity: derivation uses standard stochastic transformation and estimates

full rationale

The claimed local pathwise well-posedness follows from applying a stochastic Lagrangian coordinate change (density = Jacobian), then invoking stochastic maximal regularity, deterministic L^p-L^q bounds, and a localized contraction to close the fixed-point argument up to a positive stopping time. None of these steps reduce by definition or self-citation to the target existence/uniqueness statement; the estimates are drawn from external stochastic PDE theory and close independently of the final result. No fitted parameters, self-definitional loops, or load-bearing self-citations appear in the derivation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the existence and sufficient regularity of the stochastic flow generated by the velocity and transport fields, plus the applicability of stochastic maximal regularity theory after the Lagrangian change of variables. No free parameters are introduced or fitted, as this is a pure existence result.

axioms (2)

domain assumption The stochastic flow generated by the velocity field and transport vector fields exists and is sufficiently regular to define a diffeomorphism and Jacobian.
Invoked to perform the stochastic Lagrangian transformation and represent density via the Jacobian.
standard math Standard properties of Stratonovich and Ito stochastic integrals and maximal regularity for stochastic evolution equations hold in the chosen function spaces.
Background assumptions from stochastic analysis used to obtain the a priori estimates and close the contraction argument.

pith-pipeline@v0.9.0 · 5445 in / 1507 out tokens · 55444 ms · 2026-05-11T03:06:17.026559+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 reality_from_one_distinction unclear
The problem is transformed by a stochastic Lagrangian map generated by the velocity and the transport vector fields. In these coordinates the density is represented through the Jacobian of the flow, and the remaining system is solved by combining stochastic maximal regularity, deterministic Lp-Lq estimates, and a localized contraction argument.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
ϱ(t,y)=ϱ0(y)/J(t,y) where J(t,y)=det∇X(t,y)

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages

[1]

Adams and L

D. Adams and L. Hedberg.Function Spaces and Potential Theory, volume 314 ofFundamental Principles of Mathe- matical Sciences. Springer, 1996

work page 1996
[2]

Adams and J

R. Adams and J. Fournier.Sobolev Spaces, volume 140 ofPure and Applied Mathematics. Elsevier, second edition, 2003

work page 2003
[3]

Agresti and M

A. Agresti and M. Veraar. Nonlinear parabolic stochastic evolution equations in critical spaces part I. stochastic maximal regularity and local existence.Nonlinearity, 35(8):4100–4210, 2022

work page 2022
[4]

Amann.Linear and Quasilinear Parabolic Problems

H. Amann.Linear and Quasilinear Parabolic Problems. Vol. II, volume 106 ofMonographs in Mathematics. Birkhäuser/Springer, 2019

work page 2019
[5]

Breit, E

D. Breit, E. Feireisl, and M. Hofmanová. Compressible fluids driven by stochastic forcing: The relative energy inequality and applications.Comm. Math. Phys., 350(2):443–473, 2017

work page 2017
[6]

Breit, E

D. Breit, E. Feireisl, and M. Hofmanová. Local strong solutions to the stochastic compressible Navier-Stokes system. Comm. Partial Differential Equations, 43(2):313–345, 2018

work page 2018
[7]

Breit, E

D. Breit, E. Feireisl, and M. Hofmanová.Stochastically Forced Compressible Fluid Flows, volume 3 ofDe Gruyter Series in Applied and Numerical Mathematics. De Gruyter, 2018

work page 2018
[8]

Breit, E

D. Breit, E. Feireisl, M. Hofmanová, and P. Mucha. Compressible fluids excited by space-dependent transport noise. J. Math. Pures Appl., 210:Paper No. 103875, 35, 2026

work page 2026
[9]

Breit, E

D. Breit, E. Feireisl, M. Hofmanová, and E. Zatorska. Compressible Navier-Stokes system with transport noise.SIAM J. Math. Anal., 54(4):4465–4494, 2022

work page 2022
[10]

Breit and M

D. Breit and M. Hofmanová. Stochastic Navier-Stokes equations for compressible fluids.Indiana Univ. Math. J., 65(4):1183–1250, 2016

work page 2016
[11]

Breit, P

D. Breit, P. Mensah, and T. Moyo. Martingale solutions in stochastic fluid-structure interaction.J. Nonlinear Sci., 34(2):Paper No. 34, 45, 2024

work page 2024
[12]

D. Chae. On the well-posedness of the Euler equations in the Triebel-Lizorkin spaces.Comm. Pure Appl. Math., 55(5):654–678, 2002

work page 2002
[13]

Denisova and V

I. Denisova and V. Solonnikov. Classical well-posedness of free boundary problems in viscous incompressible fluid mechanics. InHandbook of Mathematical Analysis in Mechanics of Viscous Fluids, pages 1135–1220. Springer, 2018

work page 2018
[14]

InHandbook of Mathematical Analysis in Mechanics of Viscous Fluids, pages 1947–2035

I.DenisovaandV.Solonnikov.LocalandglobalsolvabilityoffreeboundaryproblemsforthecompressibleNavier-Stokes equations near equilibria. InHandbook of Mathematical Analysis in Mechanics of Viscous Fluids, pages 1947–2035. Springer, 2018

work page 1947
[15]

R. Denk, G. Dore, M. Hieber, J. Prüss, and A. Venni. New thoughts on old results of R. T. Seeley.Math. Ann., 328(4):545–583, 2004

work page 2004
[16]

R. Denk, M. Hieber, and J. Prüss. OptimalLp-Lq-estimates for parabolic boundary value problems with inhomogeneous data.Math. Z., 257(1):193–224, 2007

work page 2007
[17]

Enomoto, L

Y. Enomoto, L. von Below, and Y. Shibata. On some free boundary problem for a compressible barotropic viscous fluid flow.Ann. Univ. Ferrara Sez. VII Sci. Mat., 60(1):55–89, 2014

work page 2014
[18]

Flandoli, M

F. Flandoli, M. Gubinelli, and E. Priola. Well-posedness of the transport equation by stochastic perturbation.Invent. Math., 180(1):1–53, 2010

work page 2010
[19]

Karatzas and S

I. Karatzas and S. Shreve.Brownian Motion and Stochastic Calculus, volume 113 ofGraduate Texts in Mathematics. Springer, second edition, 1991

work page 1991
[20]

Köhne, J

M. Köhne, J. Prüss, and M. Wilke. Qualitative behaviour of solutions for the two-phase navier–stokes equations with surface tension.Math. Ann., 356(2):737–792, 2013

work page 2013
[21]

H.KozonoandY.Shimada.BilinearestimatesinhomogeneousTriebel-LizorkinspacesandtheNavier-Stokesequations. Math. Nachr., 276:63–74, 2004

work page 2004
[22]

Kuan and S

J. Kuan and S. Canić. A stochastically perturbed fluid-structure interaction problem modeled by a stochastic viscous wave equation.J. Differential Equations, 310:45–98, 2022

work page 2022
[23]

Kuan and S

J. Kuan and S. Canić. Well-posedness of solutions to stochastic fluid-structure interaction.J. Math. Fluid Mech., 26(1):Paper No. 4, 61, 2024

work page 2024
[24]

J. Kuan, T. Oh, and S. Canić. Probabilistic global well-posedness for a viscous nonlinear wave equation modeling fluid-structure interaction.Appl. Anal., 101(12):4349–4373, 2022

work page 2022
[25]

Kunita.Stochastic Flows and Stochastic Differential Equations, volume 24 ofCambridge Studies in Advanced Mathematics

H. Kunita.Stochastic Flows and Stochastic Differential Equations, volume 24 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, 1990

work page 1990
[26]

Padula and V

M. Padula and V. Solonnikov. On the local solvability of free boundary problem for the Navier-Stokes equations.J. Math. Sci. (N.Y.), 170(4):522–553, 2010

work page 2010
[27]

Birkhäuser, 2016

J.PrüssandG.Simonett.Moving Interfaces and Quasilinear Parabolic Evolution Equations, volume105ofMonographs in Mathematics. Birkhäuser, 2016

work page 2016
[28]

Revuz and M

D. Revuz and M. Yor.Continuous Martingales and Brownian Motion, volume 293 ofGrundlehren der mathematischen Wissenschaften. Springer, third edition, 1999

work page 1999
[29]

Y. Shibata. On some free boundary problem of the Navier-Stokes equations in the maximalLp-Lq regularity class.J. Differential Equations, 258(12):4127–4155, 2015. FREE-BOUNDARY VALUE PROBLEM FOR STOCHASTIC COMPRESSIBLE NAVIER–STOKES EQUATIONS 33

work page 2015
[30]

Y. Shibata. On the global well-posedness of some free boundary problem for a compressible barotropic viscous fluid flow. InRecent Advances in Partial Differential Equations and Applications, volume 666 ofContemporary Mathematics, pages 341–356. American Mathematical Society, 2016

work page 2016
[31]

Shibata and S

Y. Shibata and S. Shimizu.On a free boundaryproblem for the Navier-Stokes equations.Differential Integral Equations, 20(3):241–276, 2007

work page 2007
[32]

Solonnikov

V. Solonnikov. Solvability of the problem of the motion of a viscous incompressible fluid that is bounded by a free surface.Izv. Akad. Nauk SSSR Ser. Mat., 41(6):1388–1424, 1448, 1977

work page 1977
[33]

Solonnikov and A

V. Solonnikov and A. Tani. Evolution free boundary problem for equations of motion of viscous compressible barotropic liquid. InThe Navier-Stokes Equations II—Theory and Numerical Methods, volume 1530 ofLecture Notes in Mathe- matics, pages 30–55. Springer, 1992

work page 1992
[34]

Triebel.Interpolation Theory, Function Spaces, Differential Operators

H. Triebel.Interpolation Theory, Function Spaces, Differential Operators. VEB Deutscher Verlag der Wissenschaften, 1978

work page 1978
[35]

van Neerven, M

J. van Neerven, M. Veraar, and L. Weis. Stochastic maximalLp-regularity.Ann. Probab., 40(2):788–812, 2012. Technische Universität Darmstadt, F achbereich Mathematik, Schlossgartenstr. 7, 64289 Darmstadt, Ger- many Email address:delsarto@mathematik.tu-darmstadt.de Technische Universität Darmstadt, F achbereich Mathematik, Schlossgartenstr. 7, 64289 Darmsta...

work page 2012