Pith. sign in

REVIEW 2 major objections 3 minor 27 references

Insensitizing controls of a volume-surface reaction-diffusion equation with dynamic boundary conditions

T0 review · 2 major / 3 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper claims local insensitizing controllability for quasilinear volume-surface reaction-diffusion equations with dynamic boundary conditions, proved by reducing the problem to null controllability of a cascade system and applying a…

desk verdict Genuine first quasilinear insensitizing result for volume-surface systems with dynamic boundary conditions, but the Fursikov–Imanuvilov space in Prop 5.3 has time boundary conditions reversed relative to the Carleman estimate it uses, so the surjectivity proof breaks as written. read the letter →

arxiv 2411.19760 v1 pith:F3QMM2XX submitted 2024-11-29 math.OC

Idriss Boutaayamoua , Fouad Et-tahri , Lahcen Maniar This is my paper · ORCID
classification math.OC MSC 35K5535K5735K5993C20
keywords insensitizingcontrolsquasilinearparabolicequationsdynamicboundaryconditionsvolume-surfacereaction-diffusionnullcontrollabilityCarlemanestimatesLyusternik-Gravestheoremcascadesystem
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper claims that a quasilinear volume-surface reaction-diffusion equation with dynamic boundary conditions admits local insensitizing controls: controls that render an energy functional insensitive to small unknown perturbations of the initial state. The proof reduces insensitization to null controllability of a cascade quasilinear system, proves null controllability for its linearization via Carleman estimates with weights blowing up at t=0, and then applies a local inversion theorem. If Theorem 3.1 is correct, this is the first insensitizing controllability result for quasilinear systems covering both the bulk and the surface with dynamic boundary conditions. The control found has regularity $H^{1}$(0,T;$L^{2}$(ω)) ∩ $L^{2}$(0,T;$H^{2}$(ω)) and its norm is bounded by weighted norms of the source term.

What carries the argument

The argument is carried by a Carleman estimate for the adjoint of the linearized cascade system with dynamic boundary conditions (Lemma 5.1 and Proposition 5.2); here a Carleman estimate is a weighted a priori inequality, with weights blowing up as t→0^+, that bounds volume and surface integrals of the adjoint state by localized bulk observation terms. This estimate is imported from known Carleman results for dynamic boundary conditions, then adapted to the cascade and used to prove null controllability and weighted estimates on the control and state (Propositions 5.3 and 5.4). The nonlinear step is the mapping Λ defined in (3.4) between weighted Hilbert spaces X and Y; proving that Λ is $C^{1}$ and that Λ′(0,0,0) is surjective lets the Lyusternik-Graves inverse mapping theorem deliver the local solution.

What would settle it

Compute the weighted observability inequality (5.3) in the one-dimensional case, where the tangential operators vanish: if the decoupled bulk-heat-with-trace system admits data for which the inequality fails with the stated weights, then Proposition 5.3 and Theorem 3.1 would fail. A direct numerical test for a small T and a shrinking observation set ω ∩ O would also help settle whether the technical assumption (A3) is actually necessary.

Watch

Extended reading notes

Core claim

The central discovery is that insensitizing controllability for the quasilinear volume-surface equation is equivalent to null controllability at time zero of a cascade system, where an adjoint variable must start at (0,0). The authors construct a nonlinear mapping Λ whose surjectivity at the origin is exactly the null controllability of the linearized cascade system, and they prove that surjectivity using a Carleman estimate for the coupled volume-surface adjoint system together with weighted energy estimates. The Lyusternik-Graves inverse mapping theorem then yields a local solution of Λ(Ψ,H,v)=(F,0) for sufficiently small weighted data F, forcing the adjoint variable to vanish at t=0 and thereby insensitizing the original functional.

Load-bearing premise

The whole proof rests on the global Carleman estimate that is imported from two cited papers for the coupled volume-surface linearized adjoint system; if that estimate fails or does not apply to this coupling, the surjectivity of the linearized map and hence the main theorem collapses.

Editorial extensions

If this is right

  • If Theorem 3.1 holds, every sufficiently small source term satisfying the weighted bound (3.1) admits a control that insensitizes the functional, with the control enjoying H^1(0,T;L^2(ω)) ∩ L^2(0,T;H^2(ω)) regularity.
  • The result is the first insensitizing controllability statement for quasilinear systems with dynamic boundary conditions, covering nonlinearities both in the bulk and on the surface.
  • For the relaxed functional J_{t_0} starting at t_0>0, small initial data and source terms can be insensitized with an L^2(ω_T) control by first steering the state to zero at t_0 and then applying the theorem from t_0 onward.
  • The geometric overlap condition ω ∩ O ≠ ∅ is used essentially in the Carleman proof, so the disjoint control-observation case is left open by this argument.
  • The proof works only in dimensions d ≤ 3, leaving the result open for d ≥ 4.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same linearization-plus-local-inversion scheme should extend to diffusion and reaction coefficients depending on the state and its gradient, as the authors themselves note; the main technical work would be verifying that the nonlinear estimates in Section 6 still close under weaker coefficient regularity.
  • If a global Carleman estimate could be proved without the overlap condition ω ∩ O ≠ ∅, the rest of the argument appears independent of that geometry, so the main theorem would likely carry over to disjoint control and observation regions.
  • The weighted smallness condition (3.1) demands exponential decay of the source as t→0^+; a testable direction would be to weaken the weights and see which data still lie in the range of Λ′(0), potentially broadening the class of admissible sources.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 3 minor

Summary. The paper proves a local insensitizing controllability result for a quasilinear volume-surface reaction-diffusion equation with dynamic boundary conditions of generalized Wentzell type. The main theorem (Theorem 3.1) asserts that for sufficiently small data F satisfying the weighted smallness condition (3.1), there exists a control v in H^1(0,T;L^2(ω)) ∩ L^2(0,T;H^2(ω)) that insensitizes the functional J in (1.2). The proof reformulates insensitizing controllability as null controllability of a cascade quasilinear system (Lemma 3.2), proves null controllability of the linearized cascade via a Carleman estimate and a Fursikov–Imanuvilov variational argument (Propositions 5.2 and 5.3), derives weighted estimates for the linearized states (Proposition 5.4), and then applies the Lyusternik–Graves inverse mapping theorem to the nonlinear mapping Λ. The paper is long and detailed, with several auxiliary results proved in appendices, but the central proof currently contains a time-boundary condition mismatch in the variational argument that is load-bearing for the surjectivity of Λ'(0).

Significance. If the main theorem is correct, this is the first insensitizing controllability result for a quasilinear parabolic equation with dynamic boundary conditions, and it generalizes earlier semilinear results such as [11] to a volume-surface setting in which the functional includes both bulk and surface energy. The paper is ambitious and the strategy is natural: reduce insensitizing to null controllability of a cascade, prove Carleman-based linear controllability, and use a local inversion theorem. The authors provide explicit weighted estimates and state regularity of the controls, and they include proofs of the nonlinear well-posedness and of the reduction lemma in appendices. However, the proof of the key linear surjectivity step is not currently sound as written, so the significance claim is contingent on a substantive repair. The paper deserves serious consideration after the gap is fixed.

major comments (2)
  1. [§5.1, Proposition 5.3 and Proposition 5.2] The space P is defined with y(x,0)=0 and z(x,T)=0, but the Carleman estimate (5.11) in Proposition 5.2 is proved for solutions of the adjoint system (5.2), whose time boundary conditions are φ(·,T)=0 and k(·,0)=0. In the proof of Proposition 5.2, these boundary conditions are used explicitly when constructing Y=ϑΦ and Z=ϑK on (T/2,T), with (y(·,T),yΓ(·,T))=(0,0) and (z(·,0),zΓ(·,0))=(0,0). Therefore the coercivity estimate (5.19), ∫ μ^{-2}(|y|²+|z|²) plus surface terms ≤ C B((Y,Z),(Y,Z)), does not follow from (5.11) for the elements of P as written. Since (5.19) is the only argument that B is a scalar product and that the linear form F is continuous, the surjectivity of Λ′(0) claimed in §6.2 is not established. This is a load-bearing gap. It can likely be repaired by changing the conditions on P to y(x,T)=0 and z(x,0)=0, which are the natural conditions for the operators L*_1 and L_1 appearing in B, but the proof must be rewritten accordingly and all subsequent steps rechecked with this correction.
  2. [§5.1, equations (5.21)–(5.23)] The step 'from (5.21), (Ψ,H) is the unique distributional solution of (3.5) associated with the control v' is asserted without a displayed verification. After defining Ψ, H and v by (5.23), one must show, by taking variations in (5.21) with smooth compactly supported test functions, that the Euler–Lagrange equation is exactly the four equations of the linearized cascade (3.5) with the control v=−χμ1^{-2}φ|ω. This is a standard duality computation, but it is load-bearing for the claim that the constructed control actually drives the cascade to zero. The paper should present this computation in detail, especially since the preceding boundary-condition issue makes it essential to verify which time boundary conditions the test functions satisfy.
minor comments (3)
  1. [§5.2, Proposition 5.4] Several estimates in Proposition 5.4 are only sketched; for example, (5.42) is obtained by 'the same multiplication techniques as in (5.41)', and the passage from (5.49) to (5.50) suppresses intermediate terms involving sup μ4²||Ψt||². These are standard energy estimates, but the section would be easier to verify if the corresponding H-estimates were displayed or the omitted terms were identified explicitly.
  2. [§5.1, Proposition 5.2] The statement of Proposition 5.2 says 'for any Φ=(φ,φΓ), K=(k,kΓ) ∈ ET' but does not state the time boundary conditions φ(·,T)=0 and k(·,0)=0 that are used in the proof. The statement should include these conditions, otherwise the estimate (5.11) is not true as written.
  3. [Appendix A] There is a typo in the proof of Proposition 4.5: 'Υ′(0) is suejctive' should read 'surjective'.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central derivation is self-contained and the imported Carleman estimates are independent published results, not fitted inputs.

full rationale

The main theorem (Theorem 3.1) is obtained by a standard local inversion argument: the insensitizing problem is reduced to null controllability of a linearized cascade system, the surjectivity of the derivative is established through a Fursikov--Imanuvilov variational construction (Proposition 5.3), and Lyusternik--Graves' theorem then yields the quasilinear result. No parameter is fitted to a subset of data and then renamed as a prediction; the weighted smallness condition (3.1) is a sufficient smallness hypothesis, not an output of the proof. The paper does rely on Carleman estimates from [23, Lemma 3.2] and [24, Lemma 2], which are authored partly by Maniar, but these are previously published, parameter-free estimates with stated assumptions that do not include the target insensitizing-controllability conclusion; they are independent mathematical support rather than a self-referential justification. Proposition 4.5, the nonlinear well-posedness result, is proved in Appendix A via Lyusternik--Graves and semigroup theory rather than merely cited from [21]. The skeptical concern about a possible mismatch of time-boundary conditions in the proof of the key inequality (5.19) is a correctness or gap issue, not a circularity: inequality (5.19) is not shown to be identical to its own hypothesis by construction, nor does any fitted parameter enter. There is no definitional equivalence, no ansatz smuggled in via citation, and no renaming of a known result as a new derivation. Hence no circularity is present.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The proof introduces no new physical or mathematical entities and fits no parameters to data. It depends on standard analytic tools (Carleman estimates, inverse mapping theorem, semigroup regularity) and on the explicit structural assumptions (A1)-(A8), which are clearly stated and reasonable for the class of problems considered.

assumptions (5)
  • standard math Carleman estimates from Maniar-Meyries-Schnaubelt [23, Lemma 3.2] and Ait Ben Hassi et al. [24, Lemma 2] for parabolic equations with dynamic boundary conditions.
    These cited estimates are the backbone of Lemma 5.1; the paper does not reprove them but relies on them to establish the null controllability of the linearized cascade system (3.5).
  • standard math Lyusternik-Graves inverse mapping theorem in infinite-dimensional Banach spaces.
    Used to pass from linear null controllability of Lambda'(0) to the quasilinear result. The authors cite Alekseev-Tikhomirov-Fomin [19].
  • standard math Maximal regularity and well-posedness for linear heat equations with dynamic boundary conditions via semigroup or form methods, as in [23, Prop. 2.4] and [26, Thm. 4.2].
    Used in Appendix A to establish surjectivity of Upsilon'(0), which is needed for the well-posedness Proposition 4.5 via Lyusternik-Graves.
  • domain assumption Structural and regularity assumptions (A1)-(A8): bounded C^2 domain in R^d with d <= 3, nonempty open control and observation sets with omega ∩ O ≠ empty, zero initial data, sigma, delta in C^3(R), a, b in C^2(R) with a(0) = b(0) = 0, and uniform lower bound rho > 0 on sigma and delta.
    These assumptions are explicitly stated in Section 2.3 and drive the Carleman estimates, the Sobolev embedding argument (d <= 3), and the regularity of the mapping Lambda. They are restrictions on the model class, not derived results.
  • standard math Sobolev embeddings H^2(M) -> L^infinity(M) and H^2(M) -> W^{1,4}(M) for M = Omega or Gamma when d <= 3, and E_T -> C([0,T];H^1), F_T -> C([0,T];H^3).
    Used throughout Section 6 to bound nonlinear terms in the definition of Lambda and in the proof of continuous differentiability, where L^infinity and W^{1,4} bounds of H^2 functions are essential.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Insensitizing controls of a volume-surface reaction-diffusion equation with dynamic boundary conditions." pith.science (2026). https://pith.science/paper/F3QMM2XX

@misc{pith2026241119760,
  author       = {Pith},
  title        = {Pith review of: Insensitizing controls of a volume-surface reaction-diffusion equation with dynamic boundary conditions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/F3QMM2XX}},
  note         = {Machine review of arXiv:2411.19760}
}
read the original abstract

This paper deals with the insensitizing controllability property of the quasilinear parabolic equation with dynamic boundary conditions. This problem can be reformulated as a null controllability problem for a cascade quasilinear system with dynamic boundary conditions. To this end, we approach the problem by first dealing with null controllability in the framework of an inhomogeneous linearized system. Next, we derive new estimates of control and state, allowing us to apply a local inversion theorem to obtain null controllability of the quasilinear system.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages

  1. [23]

    Maniar, M

    L. Maniar, M. Meyries, and R. Schnaubelt, Null controllability for parabolic equations with dynamic boundary conditions, Evolution Equations and Control Theory , vol. 6, no. 3, pp. 381–407, 2017

    work page 2017

  2. [24]

    E. M. Ait Ben Hassi, M. Jakhoukh, L. Maniar, and W. Zouhair, Int ernal null con- trollability for the one-dimensional heat equation with dynamic bound ary conditions, IMA Journal of Mathematical Control and Information , vol. 41, no. 3, pp. 403–424, September 2024. https://doi.org/10.1093/imamci/dnae015

    work page doi:10.1093/imamci/dnae015 2024

  3. [11]

    Zhang, J

    M. Zhang, J. Yin, and H. Gao, Insensitizing controls for the par abolic equations with dynamic boundary conditions, Journal of Mathematical Analysis and Applications , vol. 475, no. 1, pp. 861–873, 2019. https://doi.org/10.1016/j.jmaa.2019.02.077

    work page doi:10.1016/j.jmaa.2019.02.077 2019

  4. [1]

    Lions, Sentinelles pour les syst` emes distribu´ es : ` a donn´ ees incompl` etes, Masson, Paris, vol 21, 1992

    J.L. Lions, Sentinelles pour les syst` emes distribu´ es : ` a donn´ ees incompl` etes, Masson, Paris, vol 21, 1992

    work page 1992

  5. [2]

    J.L. Lions, Quelques notions dans l’analyse et le contrˆ ole de syst` eme s ` a donn´ ees in- compl` etes, in Proceedings of the XIth Congress on Differential Equations a nd Applica- tions/First Congress on Applied Mathematics , Univ. M´ alaga, M´ alaga, 1989, pp. 43–54

    work page 1989

  6. [3]

    de Teresa, Insensitizing controls for a semilinear heat equation: Sem ilinear heat equation, Communications in Partial Differential Equations , vol

    T. de Teresa, Insensitizing controls for a semilinear heat equation: Sem ilinear heat equation, Communications in Partial Differential Equations , vol. 25, no. 1–2, pp. 39–72,

    work page

  7. [4]

    Bodart, M

    O. Bodart, M. Gonz´ alez-Burgos, and R. P´ erez-Garc ´ ıa, Ins ensitizing con- trols for a semilinear heat equation with a superlinear nonlinearity, Comptes Rendus Math´ ematique , vol. 335, no. 8, pp. 677–682, 2002. https://doi.org/10.1016/S1631-073X(02)02547-5

    work page doi:10.1016/s1631-073x(02)02547-5 2002

  8. [5]

    Bodart, M

    O. Bodart, M. Gonz´ alez-Burgos, and R. P´ erez-Garc ´ ıa, A loc al result on insensitiz- ing controls for a semilinear heat equation with nonlinear boundary Fo urier condi- tions, SIAM Journal on Control and Optimization , vol. 43, no. 3, pp. 955–969, 2004. https://doi.org/10.1137/S036301290343161X

    work page doi:10.1137/s036301290343161x 2004

Show all 27 references
  1. [6]

    Bodart, M

    O. Bodart, M. Gonz´ alez-Burgos, and R. P´ erez-Garc ´ ıa, Ins ensitizing controls for a heat equation with a nonlinear term involving the state and the gradie nt, Nonlin- ear Analysis: Theory, Methods & Applications , vol. 57, no. 5, pp. 687–711, 2004. https://doi.org/10.1016...

    2004 doi

  2. [7]

    S. Micu, J. H. Ortega, and L. de Teresa, An example of ǫ-insensitizing controls for the heat equation with no intersecting observation and control regions, Applied Mathematics Letters, vol. 17, no. 8, pp. 927–932, 2004. 45

    2004

  3. [8]

    Liu, Insensitizing controls for a class of quasilinear parabolic eq uations, Journal of Differential Equations , vol

    X. Liu, Insensitizing controls for a class of quasilinear parabolic eq uations, Journal of Differential Equations , vol. 253, no. 5, pp. 1287–1316, 2012. https://doi.org/10.1016/j.jde.2012.05.018

    2012 doi

  4. [9]

    Boyer, V

    F. Boyer, V. Hern´ andez-Santamar ´ ıa, and L. de Teresa, Insensitizing controls for a semi- linear parabolic equation: A numerical approach, Mathematical Control and Related Fields, vol. 9, no. 1, pp. 117–158, 2019. https://doi.org/10.3934/mcrf.2019007

    2019 doi

  5. [10]

    D. N. Huaman and M. R. Nu˜ nez-Ch´ avez, Insensitizing contro ls for a quasi-linear parabolic equation with diffusion depending on gradient of the state, arXiv, 2023. https://arxiv.org/abs/2304.04316

    2023 arXiv

  6. [12]

    M. C. Santos, N. Carre˜ no, and R. Morales, An Insensitizing co ntrol problem involv- ing tangential gradient terms for a reaction-diffusion equation with dynamic boundary conditions, arXiv, 2024. https://arxiv.org/abs/2407.09882

    2024 arXiv

  7. [13]

    R. A. Adams and J. J. F. Fournier, Sobolev Spaces, 2nd ed., vol. 140, Pure and Applied Mathematics, Elsevier/Academic Press, Amsterdam, 2003

    2003

  8. [14]

    J. M. Lee and T. H. Parker, The Yamabe problem, Bulletin of the American Mathemat- ical Society, vol. 17, no. 1, pp. 37–91, 1987

    1987

  9. [15]

    Jost, Riemannian Geometry and Geometric Analysis , 7th ed., Springer, Cham, 2017

    J. Jost, Riemannian Geometry and Geometric Analysis , 7th ed., Springer, Cham, 2017

    2017

  10. [16]

    Choulli, Une introduction aux probl` emes inverses elliptiques et pa raboliques, vol

    M. Choulli, Une introduction aux probl` emes inverses elliptiques et pa raboliques, vol. 65, Springer Science & Business Media, 2009

    2009

  11. [17]

    M. E. Taylor, Partial Differential Equations: Basic Theory , 2nd ed., vol. 115, Applied Mathematical Sciences, Springer, New York, 2011

    2011

  12. [18]

    H. Amann. Linear and quasilinear parabolic problems . Vol. 1. Springer, 1995

    1995

  13. [19]

    V. M. Alekseev, V. M. Tikhomirov, and S. V. Fomin, Optimal Control , Plenum Pub- lishing Corporation, New York, 1987

    1987

  14. [20]

    D. N. Huaman, M. R. Nu˜ nez-Ch´ avez, J. L ´ ımaco, and P. P. Carvalho, Local null con- trollability for the thermistor problem, Nonlinear Analysis , vol. 236, 2023, p. 113330. https://doi.org/10.1016/j.na.2023.113330

    2023

  15. [21]

    Et-tahri, S.-E

    F. Et-tahri, S.-E. Chorfi, L. Maniar, and I. Boutaayamou, Null controllability of a volume-surface reaction-diffusion equation with dynamic boundary conditions, Jour- nal of Mathematical Analysis and Applications , vol. 542, no. 2, p. 128793, 2025. https://doi.org/10.1016/j.jmaa...

    2025

  16. [22]

    Ervedoza, P

    S. Ervedoza, P. Lissy, and Y. Privat, Desensitizing control fo r the heat equation with respect to domain variations, Journal de l’´Ecole polytechnique — Math´ ematiques , vol. 9, pp. 1397–1429, 2022. https://jep.centre-mersenne.org/articles/10.5802/jep.209/

    2022 doi

  17. [25]

    A. V. Fursikov and O. Yu. Imanuvilov, Controllability of Evolution Equations , Lecture Note Series. Research Institute of Mathematics. Seoul National University, 1996

    1996

  18. [26]

    Arendt, D

    W. Arendt, D. Dier, H. Laasri, and E. M. Ouhabaz, Maximal regularity for evolu- tion equations governed by non-autonomous forms , Advances in Differential Equations. 19(11–12), 1043–1066, 2014. 47

    2014

  19. [2000]

    https://doi.org/10.1080/03605300008821507

    doi

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.