Invariant Measure of the Camassa-Holm Equation with Linear Multiplicative Noise
Pith reviewed 2026-07-03 10:14 UTC · model grok-4.3
The pith
The solution map of the Camassa-Holm equation with linear multiplicative noise depends almost surely continuously on initial data in H^s for s>3/2, and the equation admits a non-unique invariant measure.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The authors prove that the solution map depends almost surely continuously on the deterministic initial data in H^s for s>3/2. They further prove the existence and non-uniqueness of an invariant measure for this stochastic Camassa-Holm equation.
What carries the argument
The almost sure continuous dependence of the solution map on initial data in the space H^s with s>3/2, which enables construction of the invariant measure.
Load-bearing premise
The threshold s>3/2 is high enough for all estimates controlling the nonlinear terms, the nonlocal projection P[u], and the multiplicative noise to close without losing regularity.
What would settle it
Two sequences of initial data converging in H^{3/2} whose corresponding solutions diverge with positive probability would disprove the continuous dependence claim.
read the original abstract
In this paper, we prove that the solution map of Camassa-Holm equation with linear multiplicative noise $$ \left\{ \begin{array}{l} {\rm d}u+(u\partial_xu+\partial_xP[u])\,{\rm d}t=\beta u\,{\rm d}W, u(0,x)=u_0(x), P[u]=(1-\partial_x^2)^{-1}\left(u^2+\frac 1 2(\partial_x u)^2\right) \end{array} \right. $$ depends almost surely continuously on the deterministic initial data in $H^s$ for $s>3/2$. Furthermore, we prove the existence and non-uniqueness of an invariant measure for the Camassa-Holm equation with linear multiplicative noise.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to prove that the solution map of the Camassa-Holm equation with linear multiplicative noise depends almost surely continuously on deterministic initial data in H^s for s>3/2, and furthermore establishes the existence and non-uniqueness of an invariant measure.
Significance. If the almost-sure continuous dependence of the solution map holds with a single u0-independent null set, the result would enable a well-defined Markov semigroup on H^s and thereby support the construction of invariant measures for this stochastic Camassa-Holm equation, extending known deterministic well-posedness results to the multiplicative-noise setting.
major comments (2)
- [continuous dependence argument] The section establishing almost-sure continuous dependence of the solution map (the argument following the integral formulation of the SPDE): the claim requires a single set Ω_0 with P(Ω_0)=1 such that u0 ↦ u(·,ω,u0) is continuous H^s → C([0,T];H^s) for every ω ∈ Ω_0. Standard difference estimates via Gronwall on the integral equation for u-v produce, for each fixed pair u0,v0, a null set N_{u0,v0} outside which the estimate holds; because the random constants depend on the trajectories (via the nonlinear terms u∂_x u, P[u] and the multiplicative noise βu dW), these null sets may depend on u0. Without an explicit uniform construction (e.g., a single Borel-Cantelli argument or u0-independent bound on the stochastic integral), the exceptional set can depend on the initial datum, so the map fails to be well-defined as a continuous function of u0 for a fixed ω. This directly undermines both
- [invariant measure construction] The construction of the invariant measure (the section following the continuous-dependence result): the existence and non-uniqueness statements rely on the Markov property of the solution map, which in turn requires the almost-sure continuity to hold with a u0-independent null set. If the null-set issue is not resolved, the semigroup is not well-defined on the full space and the Krylov-Bogoliubov or tightness arguments cannot be applied directly.
minor comments (1)
- [abstract and introduction] The abstract states the claims but supplies no proof outline, error estimates, or method description; the introduction should include a brief sketch of the key estimates and the strategy for obtaining a u0-independent null set.
Simulated Author's Rebuttal
We thank the referee for the careful reading and insightful comments. The concerns about ensuring a u0-independent null set for almost-sure continuous dependence, and the consequent implications for the Markov semigroup and invariant measures, are well-taken. We address each point below and will revise the manuscript accordingly to make the arguments fully rigorous.
read point-by-point responses
-
Referee: [continuous dependence argument] The section establishing almost-sure continuous dependence of the solution map (the argument following the integral formulation of the SPDE): the claim requires a single set Ω_0 with P(Ω_0)=1 such that u0 ↦ u(·,ω,u0) is continuous H^s → C([0,T];H^s) for every ω ∈ Ω_0. Standard difference estimates via Gronwall on the integral equation for u-v produce, for each fixed pair u0,v0, a null set N_{u0,v0} outside which the estimate holds; because the random constants depend on the trajectories (via the nonlinear terms u∂_x u, P[u] and the multiplicative noise βu dW), these null sets may depend on u0. Without an explicit uniform construction (e.g., a single Borel-Cantelli argument or u0-independent bound on the stochastic integral), the exceptional set can depend on the initial datum, so the map fails to be well-defined as a continuous function of u0 for a fixed
Authors: We agree that the current write-up of the continuous dependence does not explicitly construct a u0-independent null set and that standard per-pair Gronwall estimates alone are insufficient. In the revision we will add the following explicit argument: since H^s is separable, fix a countable dense subset {u0^k} of initial data. For each pair, the difference estimate yields a null set N_k; the union over the countable collection remains null. On the complement Ω_0, the solution map is continuous at each u0^k. For general u0 we then pass to the limit using a priori bounds on solutions that are uniform on bounded sets in H^s; these bounds follow from the linear multiplicative structure of the noise, which permits application of the Burkholder–Davis–Gundy inequality with constants depending only on the H^s-norm of the initial datum (independent of the particular trajectory beyond that norm). The resulting single null set Ω_0 works for all u0 simultaneously. revision: yes
-
Referee: [invariant measure construction] The construction of the invariant measure (the section following the continuous-dependence result): the existence and non-uniqueness statements rely on the Markov property of the solution map, which in turn requires the almost-sure continuity to hold with a u0-independent null set. If the null-set issue is not resolved, the semigroup is not well-defined on the full space and the Krylov-Bogoliubov or tightness arguments cannot be applied directly.
Authors: With the revised continuous-dependence argument establishing a single Ω_0, the solution map is a well-defined continuous random dynamical system for almost every ω. This yields a Markov semigroup on the full space H^s. The existence of an invariant measure then follows from the standard Krylov–Bogoliubov procedure once tightness of the time-averaged measures is verified (which relies only on the uniform moment bounds already present in the manuscript). Non-uniqueness is obtained by exhibiting two distinct stationary measures supported on different classes of solutions; this construction is independent of the null-set issue once the semigroup is well-defined. The revision to the first section therefore resolves the second concern as well. revision: partial
Circularity Check
No circularity: existence proof for invariant measure is self-contained
full rationale
The paper presents a mathematical existence proof for almost-sure continuous dependence of the solution map and for an invariant measure of the stochastic Camassa-Holm equation. No steps reduce by definition or construction to fitted parameters, self-citations that bear the central load, or ansatzes smuggled from prior work by the same authors. The derivation relies on standard stochastic PDE estimates (Gronwall, Itô formula, tightness) applied to the given integral equation; these are independent of the target result. The reader's circularity score of 1.0 is consistent with this assessment. The skeptic concern about u0-dependent null sets is a potential gap in the argument, not a circularity.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Sobolev embedding and product estimates hold in H^s for s > 3/2
- domain assumption The linear multiplicative noise term defines a well-posed stochastic integral in the chosen function space
Reference graph
Works this paper leans on
-
[1]
Holden, Helge and Karlsen, Kenneth H. and Pang, Peter H. C. , TITLE =. Discrete Contin. Dyn. Syst. , FJOURNAL =. 2023 , NUMBER =. doi:10.3934/dcds.2022163 , URL =
-
[2]
Galimberti, L. and Holden, H. and Karlsen, K. H. and Pang, P. H. C. , TITLE =. J. Differential Equations , FJOURNAL =. 2024 , PAGES =. doi:10.1016/j.jde.2023.12.021 , URL =
-
[3]
Revuz, Daniel and Yor, Marc , TITLE =. 1999 , PAGES =. doi:10.1007/978-3-662-06400-9 , URL =
-
[4]
Gawarecki, Leszek and Mandrekar, Vidyadhar , TITLE =. 2011 , PAGES =. doi:10.1007/978-3-642-16194-0 , URL =
-
[5]
Debussche, Arnaud and Glatt-Holtz, Nathan and Temam, Roger , TITLE =. Phys. D , FJOURNAL =. 2011 , NUMBER =. doi:10.1016/j.physd.2011.03.009 , URL =
-
[6]
Gy\"ongy, Istv\'an and Krylov, Nicolai , TITLE =. Probab. Theory Related Fields , FJOURNAL =. 1996 , NUMBER =. doi:10.1007/BF01203833 , URL =
-
[7]
Jakubowski, A. , TITLE =. Teor. Veroyatnost. i Primenen. , VOLUME =. 1997 , NUMBER =. doi:10.1137/S0040585X97976052 , URL =
-
[8]
1975 , PAGES =
Engelking, Ryszard , TITLE =. 1975 , PAGES =
1975
-
[9]
Da Prato, Giuseppe and Zabczyk, Jerzy , TITLE =. 2014 , PAGES =. doi:10.1017/CBO9781107295513 , URL =
-
[10]
Simon, Jacques , TITLE =. Ann. Mat. Pura Appl. (4) , FJOURNAL =. 1987 , PAGES =. doi:10.1007/BF01762360 , URL =
-
[11]
Karatzas, Ioannis and Shreve, Steven E. , TITLE =. 1991 , PAGES =. doi:10.1007/978-1-4612-0949-2 , URL =
-
[12]
Hofmanov\'a, Martina , TITLE =. Stochastic Process. Appl. , FJOURNAL =. 2013 , NUMBER =. doi:10.1016/j.spa.2013.06.015 , URL =
-
[13]
2006 , PAGES =
Kuo, Hui-Hsiung , TITLE =. 2006 , PAGES =
2006
-
[14]
Brze\'zniak, Z. and Ondrej\'at, M. , TITLE =. Comm. Partial Differential Equations , FJOURNAL =. 2011 , NUMBER =. doi:10.1080/03605302.2011.574243 , URL =
-
[15]
Ondrej\'at, Martin , TITLE =. Electron. J. Probab. , FJOURNAL =. 2010 , PAGES =. doi:10.1214/EJP.v15-789 , URL =
-
[16]
Breit, Dominic and Hofmanov\'a, Martina , TITLE =. Indiana Univ. Math. J. , FJOURNAL =. 2016 , NUMBER =. doi:10.1512/iumj.2016.65.5832 , URL =
-
[17]
Debussche, Arnaud and Hofmanov\'a, Martina and Vovelle, Julien , TITLE =. Ann. Probab. , FJOURNAL =. 2016 , NUMBER =. doi:10.1214/15-AOP1013 , URL =
-
[18]
Tang, Hao , TITLE =. SIAM J. Math. Anal. , FJOURNAL =. 2018 , NUMBER =. doi:10.1137/16M1080537 , URL =
-
[19]
Evans, Lawrence C. , TITLE =. 1998 , PAGES =. doi:10.1090/gsm/019 , URL =
-
[20]
DiPerna, R. J. and Lions, P.-L. , TITLE =. Invent. Math. , FJOURNAL =. 1989 , NUMBER =. doi:10.1007/BF01393835 , URL =
-
[21]
1998 , PAGES =
Lions, Pierre-Louis , TITLE =. 1998 , PAGES =
1998
-
[22]
Xin, Zhouping and Zhang, Ping , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 2000 , NUMBER =. doi:10.1002/1097-0312(200011)53:11<1411::aid-cpa4>3.0.co;2-5 , URL =
-
[23]
Fourier analysis and nonlinear partial differential equations , SERIES =
Bahouri, Hajer and Chemin, Jean-Yves and Danchin, Rapha\"el , TITLE =. 2011 , PAGES =. doi:10.1007/978-3-642-16830-7 , URL =
-
[24]
Taylor, Michael , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2003 , NUMBER =. doi:10.1090/S0002-9939-02-06723-0 , URL =
-
[25]
and Stra skraba, I
Novotn\'y, A. and Stra skraba, I. , TITLE =. 2004 , PAGES =
2004
-
[26]
Glatt-Holtz, Nathan E. and Vicol, Vlad C. , TITLE =. Ann. Probab. , FJOURNAL =. 2014 , NUMBER =. doi:10.1214/12-AOP773 , URL =
-
[27]
R\"ockner, Michael and Zhu, Rongchan and Zhu, Xiangchan , TITLE =. Stochastic Process. Appl. , FJOURNAL =. 2014 , NUMBER =. doi:10.1016/j.spa.2014.01.010 , URL =
-
[28]
Xin, Zhouping and Zhang, Ping , TITLE =. Comm. Partial Differential Equations , FJOURNAL =. 2002 , NUMBER =. doi:10.1081/PDE-120016129 , URL =
-
[29]
Camassa, Roberto and Holm, Darryl D. , TITLE =. Phys. Rev. Lett. , FJOURNAL =. 1993 , NUMBER =. doi:10.1103/PhysRevLett.71.1661 , URL =
-
[30]
Constantin, Adrian and Lannes, David , TITLE =. Arch. Ration. Mech. Anal. , FJOURNAL =. 2009 , NUMBER =. doi:10.1007/s00205-008-0128-2 , URL =
-
[31]
Ionescu-Kruse, Delia , TITLE =. Appl. Anal. , FJOURNAL =. 2013 , NUMBER =. doi:10.1080/00036811.2012.667082 , URL =
-
[32]
Constantin, Adrian , TITLE =. R. Soc. Lond. Proc. Ser. A Math. Phys. Eng. Sci. , FJOURNAL =. 2001 , NUMBER =. doi:10.1098/rspa.2000.0701 , URL =
-
[33]
Constantin, A. and McKean, H. P. , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 1999 , NUMBER =. doi:10.1002/(SICI)1097-0312(199908)52:8<949::AID-CPA3>3.0.CO;2-D , URL =
-
[34]
Exposition
Constantin, Adrian , TITLE =. Exposition. Math. , FJOURNAL =. 1997 , NUMBER =
1997
-
[35]
Fuchssteiner, B. and Fokas, A. S. , TITLE =. Phys. D , FJOURNAL =. 1981/82 , NUMBER =. doi:10.1016/0167-2789(81)90004-X , URL =
-
[36]
Constantin, Adrian and Escher, Joachim , TITLE =. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) , FJOURNAL =. 1998 , NUMBER =
1998
-
[37]
Constantin, Adrian and Escher, Joachim , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 1998 , NUMBER =. doi:10.1002/(SICI)1097-0312(199805)51:5<475::AID-CPA2>3.0.CO;2-5 , URL =
-
[38]
A few remarks on the
Danchin, Rapha\". A few remarks on the. Differential Integral Equations , FJOURNAL =. 2001 , NUMBER =
2001
-
[40]
Constantin, Adrian and Escher, Joachim , TITLE =. Acta Math. , FJOURNAL =. 1998 , NUMBER =. doi:10.1007/BF02392586 , URL =
-
[41]
Constantin, Adrian , TITLE =. J. Differential Equations , FJOURNAL =. 1997 , NUMBER =. doi:10.1006/jdeq.1997.3333 , URL =
-
[42]
McKean, H. P. , TITLE =. Asian J. Math. , FJOURNAL =. 1998 , NUMBER =. doi:10.4310/AJM.1998.v2.n4.a10 , URL =
-
[43]
Constantin, Adrian , TITLE =. J. Funct. Anal. , FJOURNAL =. 1998 , NUMBER =. doi:10.1006/jfan.1997.3231 , URL =
-
[44]
Constantin, Adrian and Strauss, Walter A. , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 2000 , NUMBER =. doi:10.1002/(sici)1097-0312(200005)53:5<603::aid-cpa3>3.0.co;2-l , URL =
-
[45]
Constantin, Adrian and Escher, Joachim , TITLE =. Indiana Univ. Math. J. , FJOURNAL =. 1998 , NUMBER =. doi:10.1512/iumj.1998.47.1466 , URL =
-
[46]
Brze\'zniak, Z. and Capi\'nski, M. and Flandoli, F. , TITLE =. Math. Models Methods Appl. Sci. , FJOURNAL =. 1991 , NUMBER =. doi:10.1142/S0218202591000046 , URL =
-
[47]
Brze\'zniak, Zdzis aw and Peszat, Szymon , TITLE =. Ann. Probab. , FJOURNAL =. 2001 , NUMBER =. doi:10.1214/aop/1015345773 , URL =
-
[48]
Mikulevicius, R. and Rozovskii, B. L. , TITLE =. SIAM J. Math. Anal. , FJOURNAL =. 2004 , NUMBER =. doi:10.1137/S0036141002409167 , URL =
-
[49]
Flandoli, Franco , TITLE =. S. 2008 , ISBN =. doi:10.1007/978-3-540-78493-7\_2 , URL =
-
[50]
Flandoli, F. and Gubinelli, M. and Priola, E. , TITLE =. Invent. Math. , FJOURNAL =. 2010 , NUMBER =. doi:10.1007/s00222-009-0224-4 , URL =
-
[51]
Chen, Yong and Gao, Hongjun and Guo, Boling , TITLE =. J. Differential Equations , FJOURNAL =. 2012 , NUMBER =. doi:10.1016/j.jde.2012.06.023 , URL =
-
[52]
Chen, Yong and Gao, Hongjun , TITLE =. Potential Anal. , FJOURNAL =. 2016 , NUMBER =. doi:10.1007/s11118-016-9548-z , URL =
-
[53]
Miao, Yingting and Rohde, Christian and Tang, Hao , TITLE =. Stoch. Partial Differ. Equ. Anal. Comput. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s40072-023-00291-z , URL =
-
[54]
Chen, Yong and Duan, Jinqiao and Gao, Hongjun , TITLE =. Commun. Math. Sci. , FJOURNAL =. 2021 , NUMBER =. doi:10.4310/CMS.2021.v19.n3.a2 , URL =
-
[55]
Brze\'zniak, Zdzis aw and Ondrej\'at, Martin , TITLE =. Ann. Probab. , FJOURNAL =. 2013 , NUMBER =. doi:10.1214/11-AOP690 , URL =
-
[56]
Stochastic climate models (
Arnold, Ludwig , TITLE =. Stochastic climate models (. 2001 , ISBN =
2001
-
[57]
Holm, Darryl D. , TITLE =. Proc. A , FJOURNAL =. 2015 , NUMBER =. doi:10.1098/rspa.2014.0963 , URL =
-
[58]
Holm, Darryl D. and Tyranowski, Tomasz M. , TITLE =. Proc. A , FJOURNAL =. 2016 , NUMBER =. doi:10.1098/rspa.2015.0827 , URL =
-
[59]
Li, Jinlu and Yin, Zhaoyang , TITLE =. J. Differential Equations , FJOURNAL =. 2016 , NUMBER =. doi:10.1016/j.jde.2016.08.031 , URL =
-
[60]
Kryloff, Nicolas and Bogoliouboff, Nicolas , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1937 , NUMBER =. doi:10.2307/1968511 , URL =
-
[61]
Da Prato, G. and Zabczyk, J. , TITLE =. 1996 , PAGES =. doi:10.1017/CBO9780511662829 , URL =
-
[62]
Rodr\'iguez-Blanco, Guillermo , TITLE =. Nonlinear Anal. , FJOURNAL =. 2001 , NUMBER =. doi:10.1016/S0362-546X(01)00791-X , URL =
-
[63]
Spectral theory and differential equations (
Kato, Tosio , TITLE =. Spectral theory and differential equations (. 1975 , MRCLASS =
1975
-
[64]
Differential Integral Equations , FJOURNAL =
Danchin, Rapha\"el , TITLE =. Differential Integral Equations , FJOURNAL =. 2001 , NUMBER =
2001
-
[65]
Alexandrou and Misio ek, Gerard , TITLE =
Himonas, A. Alexandrou and Misio ek, Gerard , TITLE =. Differential Integral Equations , FJOURNAL =. 2001 , NUMBER =
2001
-
[66]
FitzGerald, Will and Warren, Jon , TITLE =. Probab. Theory Related Fields , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00440-020-00972-z , URL =
-
[67]
1971 , PAGES =
Feller, William , TITLE =. 1971 , PAGES =
1971
-
[68]
Li, Yi A. and Olver, Peter J. , TITLE =. J. Differential Equations , FJOURNAL =. 2000 , NUMBER =. doi:10.1006/jdeq.1999.3683 , URL =
-
[69]
1986 , PAGES =
Grimmett, Geoffrey and Welsh, Dominic , TITLE =. 1986 , PAGES =
1986
-
[70]
NoDEA Nonlinear Differential Equations Appl
Da Prato, Giuseppe and Debussche, Arnaud and Temam, Roger , TITLE =. NoDEA Nonlinear Differential Equations Appl. , FJOURNAL =. 1994 , NUMBER =. doi:10.1007/BF01194987 , URL =
-
[71]
NoDEA Nonlinear Differential Equations Appl
Flandoli, Franco , TITLE =. NoDEA Nonlinear Differential Equations Appl. , FJOURNAL =. 1994 , NUMBER =. doi:10.1007/BF01194988 , URL =
-
[72]
Flandoli, Franco and Maslowski, Bohdan , TITLE =. Comm. Math. Phys. , FJOURNAL =. 1995 , NUMBER =
1995
-
[73]
Da Prato, Giuseppe and Debussche, Arnaud , TITLE =. J. Math. Pures Appl. (9) , FJOURNAL =. 2003 , NUMBER =. doi:10.1016/S0021-7824(03)00025-4 , URL =
-
[74]
Cerrai, Sandra , TITLE =. Probab. Theory Related Fields , FJOURNAL =. 2003 , NUMBER =. doi:10.1007/s00440-002-0230-6 , URL =
-
[75]
Hairer, Martin and Mattingly, Jonathan C. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2006 , NUMBER =. doi:10.4007/annals.2006.164.993 , URL =
-
[76]
Brze\'zniak, Zdzis aw and Li, Yuhong , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2006 , NUMBER =. doi:10.1090/S0002-9947-06-03923-7 , URL =
-
[77]
Dong, Z. and Xu, T. G. , TITLE =. J. Funct. Anal. , FJOURNAL =. 2007 , NUMBER =. doi:10.1016/j.jfa.2006.09.010 , URL =
-
[78]
Brze\'zniak, Zdzis aw and Ondrej\'at, Martin and Seidler, Jan , TITLE =. J. Differential Equations , FJOURNAL =. 2016 , NUMBER =. doi:10.1016/j.jde.2015.11.007 , URL =
-
[79]
Brze\'zniak, Zdzis aw and Motyl, El\.zbieta and Ondrejat, Martin , TITLE =. Ann. Probab. , FJOURNAL =. 2017 , NUMBER =. doi:10.1214/16-AOP1133 , URL =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.