arxiv: 2604.02724 · v1 · submitted 2026-04-03 · 🧮 math.OC

Recognition: 2 theorem links

· Lean Theorem

Sparse control for VCHE with abstract J

Giang Nguyen Hai Ha

Authors on Pith no claims yet

Pith reviewed 2026-05-13 19:31 UTC · model grok-4.3

classification 🧮 math.OC

keywords optimal controlsparse controlviscous Camassa-Holm equationexistence of solutionsoptimality conditionsstability with respect to parameters

0 comments

The pith

Optimal sparse controls exist for the viscous Camassa-Holm equations under a general cost functional.

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

The paper proves that distributed optimal control problems for the viscous Camassa-Holm equations admit solutions when the cost includes sparsity-promoting terms. Three different forms of these terms are treated separately. For each form, existence of an optimal control is shown, first-order optimality conditions are derived, and the dependence of the optimal solution on the sparsity weight is analyzed for stability. The cost functional is kept general so that the results cover a range of possible objectives. This supplies a rigorous basis for designing controls that are zero on large portions of the domain while still steering the nonlinear wave dynamics.

Core claim

Existence of optimal solutions is proved for the viscous Camassa-Holm state equation driven by sparse distributed controls; the corresponding optimality conditions are derived; and stability of these optimal solutions with respect to the sparsity parameter is established.

What carries the argument

The viscous Camassa-Holm evolution equation as state constraint, paired with one of three sparsity-promoting terms added to a general cost functional.

If this is right

Optimal controls that vanish on large subdomains of the space-time cylinder can be guaranteed to exist.
The optimality conditions couple the state equation, an adjoint equation, and a variational inequality that enforces sparsity.
Optimal solutions vary continuously in appropriate norms when the sparsity weight is perturbed.
The same existence and stability statements hold uniformly across the three considered sparsity-promoting terms.

Where Pith is reading between the lines

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

The same proof structure may apply to other nonlinear dispersive equations once well-posedness of the state equation is secured.
Numerical schemes that discretize the optimality system could locate sparse controls without additional regularization.
The stability result suggests that increasing the sparsity weight produces controls with progressively smaller support, useful for actuator placement.

Load-bearing premise

The viscous Camassa-Holm equation has unique solutions for every admissible control and the cost functional satisfies standard lower-semicontinuity and coercivity.

What would settle it

An admissible control for which the viscous Camassa-Holm equation fails to possess a unique solution in the chosen function spaces would break the existence argument.

read the original abstract

We investigate a distributed optimal control problem for the viscous Camassa--Holm equations with sparse controls and a general cost functional. Considering three different forms of sparsity-promoting terms, we prove the existence of optimal solutions, derive the corresponding optimality conditions and analyze the stability of optimal solutions with respect to the sparsity parameter.

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

Applies standard sparse control to viscous Camassa-Holm with existence, optimality, and stability results for three sparsity forms.

read the letter

This paper applies established sparse optimal control methods to the viscous Camassa-Holm equation using an abstract cost functional. It considers three forms of sparsity-promoting terms, proves existence of optimal solutions, derives optimality conditions, and studies stability of those solutions with respect to the sparsity parameter. The work does what it sets out to do in a clean way. The viscous Camassa-Holm equation is a specific nonlinear model, and showing that the usual existence theory carries over when controls are sparse is useful for the subfield. The stability analysis with respect to the parameter is a reasonable addition that shows how the solutions change as sparsity is enforced more strongly. The abstract J allows the results to apply more broadly without tying to one particular cost. The soft spots are limited. The central arguments depend on the state equation being well-posed in appropriate function spaces for the given controls and on the cost satisfying the usual lower semicontinuity and coercivity properties. The abstract states these as assumptions and then derives the results from them, with no sign of circular reasoning. If the full paper fills in the details on the spaces and verifies the conditions for this PDE, the claims should hold. The novelty is in the targeted combination rather than new general theory, so the contribution is incremental. This paper is aimed at researchers in optimal control of PDEs, particularly those interested in fluid dynamics models or sparsity in controls. A reader working on similar equations would get concrete value from seeing the stability results worked out here. It is solid enough to deserve a serious referee who can check the technical steps in the proofs. I recommend sending it for peer review. The structure is sound and the application is new enough to warrant examination by experts in the area.

Referee Report

2 major / 2 minor

Summary. The manuscript investigates a distributed optimal control problem for the viscous Camassa-Holm equations (VCHE) with sparse controls. It considers three different sparsity-promoting terms in a general abstract cost functional J, proves existence of optimal solutions under standard well-posedness assumptions on the state equation, derives the corresponding first-order optimality conditions, and analyzes stability of the optimal solutions with respect to the sparsity parameter.

Significance. If the well-posedness of the VCHE state equation and the lower-semicontinuity/coercivity conditions on J hold, the results provide a general framework for sparse optimal control of this nonlinear PDE model. The stability analysis with respect to the sparsity parameter is a useful addition, as it quantifies how optimal solutions behave under varying sparsity levels, which is relevant for applications in fluid dynamics where sparse controls correspond to localized forcing.

major comments (2)

[Abstract, §2-3] The existence result in the abstract and §3 relies on the assumption that the viscous Camassa-Holm state equation admits unique solutions in suitable function spaces for given (sparse) controls. However, the manuscript provides no explicit function-space setting (e.g., no specification of the Sobolev or Besov spaces used) nor a self-contained proof or citation to a precise well-posedness theorem tailored to the control term; this assumption is load-bearing for the entire existence claim.
[§4] In the derivation of optimality conditions (§4), the first-order conditions for the three sparsity-promoting terms are stated in abstract form, but the manuscript does not explicitly display the adjoint equation or the control-to-state operator derivative. Without these, it is impossible to verify that the conditions are correctly obtained for each of the three sparsity terms.

minor comments (2)

[§2] Notation for the three sparsity terms should be introduced with explicit definitions (e.g., L1, L0, or indicator-type penalties) already in the problem formulation section rather than only in the abstract.
[§5] The stability analysis would benefit from a brief remark on whether the results extend to the limiting case of vanishing viscosity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and will incorporate revisions to strengthen the presentation of the well-posedness assumptions and optimality conditions.

read point-by-point responses

Referee: [Abstract, §2-3] The existence result in the abstract and §3 relies on the assumption that the viscous Camassa-Holm state equation admits unique solutions in suitable function spaces for given (sparse) controls. However, the manuscript provides no explicit function-space setting (e.g., no specification of the Sobolev or Besov spaces used) nor a self-contained proof or citation to a precise well-posedness theorem tailored to the control term; this assumption is load-bearing for the entire existence claim.

Authors: We agree that the function-space setting and well-posedness of the state equation require explicit treatment. In the revised manuscript we will add a new subsection in §2 that specifies the precise spaces (H¹(Ω) for the velocity and L²(Ω) for the control, with the control entering as a distributed forcing term) and provide a brief self-contained sketch of existence and uniqueness via Galerkin approximation, a priori estimates, and compactness, together with a reference to the standard well-posedness theory for the viscous Camassa–Holm equation under distributed forcing. revision: yes
Referee: [§4] In the derivation of optimality conditions (§4), the first-order conditions for the three sparsity-promoting terms are stated in abstract form, but the manuscript does not explicitly display the adjoint equation or the control-to-state operator derivative. Without these, it is impossible to verify that the conditions are correctly obtained for each of the three sparsity terms.

Authors: We accept that the derivation would be clearer with the adjoint system and the control-to-state derivative shown explicitly. In the revised §4 we will first recall the linearized state equation and its adjoint, derive the explicit expression for the derivative of the control-to-state map, and then insert these expressions into the first-order optimality conditions for each of the three sparsity-promoting terms, thereby making the passage from the abstract variational inequality to the concrete optimality system fully transparent. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external well-posedness and standard theory

full rationale

The paper establishes existence of optimal controls, first-order optimality conditions, and stability w.r.t. the sparsity parameter for the viscous Camassa-Holm state equation under an abstract cost J. These follow directly from standard existence theorems in optimal control once the PDE is assumed well-posed in appropriate spaces and J satisfies lower semicontinuity plus coercivity; no step reduces a claimed prediction or uniqueness result to a fitted parameter, self-citation, or definitional tautology. The chain is self-contained against external benchmarks and does not invoke load-bearing self-references.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on standard well-posedness of the viscous Camassa-Holm state equation and coercivity/lower-semicontinuity of the cost; no free parameters or invented entities are mentioned in the abstract.

axioms (2)

domain assumption The viscous Camassa-Holm equations admit unique weak solutions for admissible controls in appropriate Sobolev spaces.
Required for the control-to-state map to be well-defined before existence of optima can be proved.
domain assumption The cost functional is weakly lower semicontinuous and coercive with respect to the control variable.
Standard assumption invoked to guarantee existence of minimizers.

pith-pipeline@v0.9.0 · 5322 in / 1223 out tokens · 49107 ms · 2026-05-13T19:31:58.281101+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/Cost/FunctionalEquation.lean washburn_uniqueness_aczel contradicts

?

contradicts
CONTRADICTS: the theorem conflicts with this paper passage, or marks a claim that would need revision before publication.

We investigate a distributed optimal control problem for the viscous Camassa–Holm equations with sparse controls and a general cost functional. ... J(y,u) = ∫g(t,y(t))dt + (γ/2)∬|u|² + κ j(u) with three choices of j (L¹, mixed L²L¹, L¹L² norms).
IndisputableMonolith/Foundation/BranchSelection.lean branch_selection unclear

?

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

Existence via weak lower-semicontinuity of J_k, first-order conditions via adjoint equation (4.2) and variational inequality (4.21), second-order conditions on critical cone C_u, Lipschitz/Hölder stability w.r.t. sparsity parameter κ.

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

30 extracted references · 30 canonical work pages

[1]

Anh, B.H

C.T. Anh, B.H. Bach and V.M. Toi,Discrete data assimilation for the three-dimensional Navier-Stokes-αmodel, Ann. Polon. Math., 122 (2019), 201–219. AG2024

work page 2019
[2]

Anh and N.H.H

C.T. Anh and N.H.H. Giang,Second-order optimality conditions and stability for op- timal control problems governed by viscous Camassa-Holm equations, preprint, 2024, arXiv:2409.19347. AGS2025

work page arXiv 2024
[3]

Anh, N.H.H

C.T. Anh, N.H.H. Giang and V.H. Son,Bang–bang optimal control problems for the viscous Camassa–Holm equations, Optimization (2025), DOI 10.1080/02331934.2025.2494260. AS2025

work page doi:10.1080/02331934.2025.2494260 2025
[4]

Anh and V.H

C.T. Anh and V.H. Son,Optimal control of 3D Navier-Stokes-Voigt equations for convex control constraints, Evolution Equations and Control Theory, 14 (2025), 313-338. AT2017

work page 2025
[5]

Anh and P.T

C.T. Anh and P.T. Trang,Decay characterization of solutions to viscous Camassa-Holm equations, Nonlinearity 31 (2018), 621-650. Albanez2016

work page 2018
[6]

Albanez, L

D.A.F. Albanez, L. Nussenzveig, J. Helena and E.S. Titi,Continuous data assimilation for the three-dimensional Navier-Stokes-αmodel, Asymptot. Anal., 97 (2016), 139-164. Bauschke2010

work page 2016
[7]

Bjorland and M.E

C. Bjorland and M.E. Schonbek,On questions of decay and existence for the viscous Camassa-Holm equations, Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire, 25 (2008), 907-936. SPARSE OPTIMAL CONTROL FOR THE VCHE 29 bonnans2013perturbation

work page 2008
[8]

Camassa and D.D

R. Camassa and D.D. Holm,An integrable shallow water equation with peaked solitons, Phys. Rev. Lett., 71 (1993), 1661-1664. casas2017

work page 1993
[9]

Casas,A review on sparse solutions in optimal control of partial differential equations, SeMA Journal, 74 (2017), 319-344

E. Casas,A review on sparse solutions in optimal control of partial differential equations, SeMA Journal, 74 (2017), 319-344. CHW2012

work page 2017
[10]

Casas, R

E. Casas, R. Herzog, and G. Wachsmuth,Optimality conditions and error analysis of seminlinear elliptic control problems withL 1 cost functional, SIAM J. Optim., 22 (2012), no.3, 795-820. CHW2017

work page 2012
[11]

Casas, R

E. Casas, R. Herzog, and G. Wachsmuth,Analysis of spatio-temporally sparse optimal control problems of semilinear parabolic equations, ESAIM Control Optim. Calc. Var., 23 (2017), 263-295. CK2013

work page 2017
[12]

Casas and K

E. Casas and K. Kunisch,Optimal control of semilinear elliptic equations in measure spaces, SIAM J. Control Optim., 52 (2013), no.1, 339–364. CK2016

work page 2013
[13]

Casas and K

E. Casas and K. Kunisch,Parabolic control problems in space-time measure spaces, ESAIM Control Optim. Calc. Var., 22 (2016), no.2, 355–370. casas2015_2

work page 2016
[14]

Casas, C

E. Casas, C. Ryll, F. Troltzsch,Second Order and Stability Analysis for Optimal Sparse Control of the FitzHugh-Nagumo Equation, SIAM J. Control Optim., 53 (2015), 2168–2202. CT2022

work page 2015
[15]

Casas and F

E. Casas and F. Tr¨ oltzsch,Stability for semilinear parabolic optimal control problems with respect to initial data, Appl. Math. Optim., 86 (2022), Paper No. 16, 31 pp. CK2011

work page 2022
[16]

Clason and K

C. Clason and K. Kunisch,A duality-based approach to elliptic control problems in non- reflexive Banach spaces, ESAIM Control Optim. Calc. Var., 17 (2011), 243–266. Coutand

work page 2011
[17]

Coutand, J

D. Coutand, J. Peirce and S. Shkoller,Global well-posedness of weak solution for the La- grangian averaged Navier-Stokes equations on bounded domains, Comm. Pure Appl. Anal., 1 (2002), 35-50. Foias2002

work page 2002
[18]

Foias, D.D

C. Foias, D.D. Holm and E.S. Titi,The three dimensional viscous Camassa-Holm equations and their relation to the Navier-Stokes equations and turbulence theory, J. Dynam. Differen- tial Equations, 14 (2002), 1-35. Gao2016

work page 2002
[19]

Gao,Null controllability of the viscous Camassa-Holm equation with moving control, Proc

P. Gao,Null controllability of the viscous Camassa-Holm equation with moving control, Proc. Indian Acad. Sci. Math. Sci., 126 (2016), 99-108. Gao2022

work page 2016
[20]

J. Gao, Z. Lyu and Z. Yao,Optimal decay rate for higher-order derivatives of the solution to the Lagrangian-averaged Navier-Stokes-αequation inR 3, Ann. Inst. H. Poincar´ e C Anal Non Lin´ eaire, 39 (2022), 761–791. Holm

work page 2022
[21]

Holm, J.E

D.D. Holm, J.E. Marsden and T.S. Ratiu,The Euler-Poincar´ e equations and semidirect products with applications to continuum theories, Adv. Math. 137 (1998), 1-81. Ilyn2003

work page 1998
[22]

Ilyin and E.S

A.A. Ilyin and E.S. Titi,Attractors for the two-dimensional Navier-Stokes-αmodel: anα- dependence study, J. Dynam. Differential Equations 15 (2003), 751-778. Kim2006

work page 2003
[23]

Kim and B

B.-S. Kim and B. Nicolaenko,Existence and continuity of exponential attractors of the three dimensional Navier-Stokes-αequations for uniformly rotating geophysical fluids, Commun. Math. Sci., 4 (2006), 399-452. Korn2009

work page 2006
[24]

Korn,Data assimilation for the Navier-Stokes-αequations, Physica D: Nonlinear Phe- nomena, 238 (2009), 1957-1974

P. Korn,Data assimilation for the Navier-Stokes-αequations, Physica D: Nonlinear Phe- nomena, 238 (2009), 1957-1974. KPV2014

work page 2009
[25]

Kunisch, K

K. Kunisch, K. Pieper, and B. Vexler,Measure valued directional sparsity for parabolic opti- mal control problems, SIAM J. Control Optim., 52 (2014), no.5, 3078–3108. Marsden2001

work page 2014
[26]

Marsden and S

J.E. Marsden and S. Shkoller,Global well-posedness for the Lagrangian averaged Navier- Stokes (LANS-α) equations on bounded domains, R. Soc. Lond. Philos. Trans. Ser. A Math. Phys. Eng. Sci., 359 (2001), 1449-1468. Mitra

work page 2001
[27]

Mitra,Local null controllability of viscous Camassa-Holm equation, J

D. Mitra,Local null controllability of viscous Camassa-Holm equation, J. Evol. Equ., 18 (2018), no. 2, 627–657. PV2013

work page 2018
[28]

Pieper and B

K. Pieper and B. Vexler,A priori error analysis for discretization of sparse elliptic optimal control problems in measure space, SIAM J. Control Optim., 51 (2013), no. 4, 2788–2808. robinson2003

work page 2013
[29]

Vishik, E.S

M.I. Vishik, E.S. Titi and V.V. Chepyzhov,On the convergence of trajectory attractors of the three-dimensional Navier-Stokesα-model asα→0, Sb. Math., 198 (2007), 1703-1736. yosida2012functional

work page 2007
[30]

Zhao,Space-time decay estimates of solutions to 3D incompressible viscous Camassa- Holm equations, Topol

X. Zhao,Space-time decay estimates of solutions to 3D incompressible viscous Camassa- Holm equations, Topol. Methods Nonlinear Anal., 57 (2021), 397–412. Nguyen Hai Ha Giang Department of Mathematics, Hanoi National University of Education 136 Xuan Thuy, Cau Giay, Hanoi, Vietnam Email address:giangnhh@hnue.edu.vn

work page 2021