REVIEW 1 major objections 3 minor 35 references
Insensitizing controls for stochastic parabolic equations with dynamic boundary conditions
T0 review · 1 major / 3 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read The paper proves that, for a forward stochastic heat equation equipped with dynamic boundary conditions, a triple of controls can be chosen so that the energy functional measuring the solution over an observation region is insensitive to…
desk verdict The intended result is new and the surrounding framework is sound, but the observability inequality relies on a false pointwise bound at t=0, so the main theorem is unproved as written. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the adjoint coupled system (3.10)-(3.11), consisting of a backward stochastic parabolic equation for $(p,p_\Gamma,P,\hat P)$ and a forward one for $(q,q_\Gamma)$, linked through observation terms $\chi_O q$ and $\chi_{O_\Gamma}q_\Gamma$. The load-bearing tool is the Carleman estimate (4.5), a weighted integral inequality with weight $\theta^2\gamma^3$ (where $\theta=e^{\lambda\alpha}$, $\gamma=1/(t(T-t))$) that controls global $L^2$ norms of both components by local data on $G_0$ and by the noise variables $P,\hat P$; from it the paper derives the observability inequality (4.17) with the exponential weight $\exp(-Mt-1)$. This inequality is the bridge to duality: it makes the linear functional in Section 5 bounded on the space of adjoint solutions, which is exactly what turns into insensitizing controls via Proposition 3.1.
What would settle it
Evaluate the inequality (4.23) at a fixed $x\in G$ and let $t\to 0^+$: the left-hand factor $\exp(-Mt-1)$ approaches $e^{-1}$, while the right-hand Carleman weight $\theta^2\gamma^3 = \exp(2\lambda e^{\mu\psi(x)}-2\lambda e^{2\mu|\psi|_\infty})/(t^3(T-t)^3)$ approaches $0$ because $\psi(x)<|\psi|_\infty$; the claimed bound therefore cannot hold for any finite $C$, and the derivation of the observability inequality (4.17) fails as written.
Extended reading notes
Core claim
The paper's central claim is Theorem 1.1: whenever $G_0\cap O\neq\emptyset$ and the initial state is $(0,0)$, there are constants $M,C>0$ such that for every source pair $(\xi_1,\xi_2)$ satisfying the weighted integrability condition (1.4), one can find $(u,v_1,v_2)$ insensitizing $\Phi$ in the sense of Definition 1.1. The insensitivity conditions are the vanishing of the two partial derivatives (1.3) at $\tau_1=\tau_2=0$, and the cost estimate (1.5) bounds the controls by the same weighted source norm. The mechanism is to observe that insensitivity is equivalent to $z(0,\cdot)=0$, $z_\Gamma(0,\cdot)=0$ for the backward component of the cascade (Proposition 3.1), to prove the Carleman estimate (4.5) and then the observability inequality (4.17) for the adjoint system, and finally to apply Hahn-Banach and Riesz representation to extract the controls. The paper also records that this works for every initial data if the observation functional starts after a positive time $t_0>0$ and the sources vanish in $(0,t_0)$ (Remark 1.1).
Load-bearing premise
The load-bearing premise is that the exponential comparison in (4.23) holds on $(0,T/2)$, but near $t=0$ the left side approaches $e^{-1}$ while the Carleman weight tends to $0$, so as written the comparison fails and the observability bridge to duality is not established.
Editorial extensions
If this is right
- For zero initial data and sources with finite weighted norm (1.4), the theorem guarantees an insensitizing control triple whose cost is bounded by that weighted norm; the paper presents this as the first such result for stochastic parabolic equations with dynamic boundary conditions.
- Insensitivity of $\Phi$ is completely equivalent to null controllability of the cascade (3.1)-(3.2), so any future null-controllability result for that cascade automatically yields insensitizing controls.
- If the sources vanish on an initial time interval, the condition on the initial data disappears: every initial state can be insensitized for the modified functional $\Phi_{t_0}$ (Remark 1.1).
- The paper identifies the disjoint case $G_0\cap O=\emptyset$ as an open problem, so the theorem's geometric assumption is not known to be necessary.
- Insensitizing controls exist in the three-control form $(u,v_1,v_2)$; the paper explicitly asks whether a single control $u$ (without the extra noise controls) can suffice, pointing to a spectral approach for that question.
Reading between the lines
- Beyond the paper: if the faulty comparison (4.23) near $t=0$ can be repaired by choosing a weight that does not collapse at the initial time, the overall structure of the proof would still deliver Theorem 1.1; the flaw is in the derivation, not necessarily in the statement.
- Beyond the paper: the same duality setup should transfer to the $\varepsilon$-insensitizing problem described in Section 6, turning the observability inequality into an approximate controllability statement and giving a quantitative version of the paper's open problem (3).
- Beyond the paper: because the Carleman estimate controls both bulk and boundary components uniformly, the method may extend to semilinear equations with globally Lipschitz nonlinearities by a standard fixed-point iteration, matching the paper's proposed open problem (2).
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper studies insensitizing controls for a forward linear stochastic heat equation with dynamic boundary conditions on a bounded domain. The main result, Theorem 1.1, claims that if G0∩O is nonempty and the initial data are zero, then for sources satisfying the weighted integrability condition (1.4) there exists a control triple (u,v1,v2) that insensitizes the energy functional Φ defined in (1.2). The proof follows a standard three-step architecture: Proposition 3.1 reduces insensitivity to a partial null controllability property for a cascade of forward-backward stochastic parabolic equations; Theorem 4.1 establishes a global Carleman estimate for the coupled adjoint system (3.10)-(3.11); Proposition 4.1 derives an observability inequality; and Section 5 uses duality, Hahn-Banach, and Riesz representation to construct the controls. The paper closes with open problems in Section 6.
Significance. If the main result were fully proved, this would be a natural and meaningful extension of insensitizing-control results to stochastic parabolic equations with dynamic boundary conditions, a setting for which the literature is still sparse. The reduction in Proposition 3.1 is clearly formulated, and the strategy of combining published Carleman estimates from reference [2] with a new coupling argument is appropriate. The paper is also transparent about the role of the auxiliary controls v1 and v2 and about the zero-initial-data restriction. However, as discussed below, the observability inequality in Proposition 4.1, which is the load-bearing bridge to the duality construction in Section 5, is not proved as written because the crucial pointwise weight comparison near t=0 is false.
major comments (1)
- [§4.2, Eq. (4.23)] The pointwise comparison asserted immediately before (4.23) is false near t=0. With α(t,x)=(e^{μψ(x)}-e^{2μ|ψ|∞})/(t(T-t)), the numerator is strictly negative and bounded away from zero, so for every x∈G one has θ²γ³ = exp(2λα)γ³ ≤ C e^{-c/t}/t³ → 0 as t↓0. On the other hand, exp(-Mt-1) tends to e^{-1}>0 as t↓0 for every fixed M. Hence the inequality exp(-Mt-1) ≤ Cθ²γ³ cannot hold on (0,T/2)×G for any finite M,C. Since (4.23) is the only step that transfers the Carleman estimate (4.5) to the unweighted p-integral over (0,T/2), inequality (4.24) is not established. The energy estimates (4.20) and (4.22) cover only t∈(T/4,T) and do not control p on (0,T/4), so the observability inequality (4.17), on which the duality argument in Section 5 rests, is not proved as written.
minor comments (3)
- [Theorem 4.1, display (4.5)] The powers of λ on the P and \hat P terms in (4.5) appear to be 1, whereas the proof produces λ² in those terms, as in (4.6). Since λ is fixed large this does not affect the later argument, but the displayed statement should be made consistent with the proof.
- [References] References [7] and [9] list the same article (Bodart, González-Burgos, and Pérez-García, C. R. Math. 335 (2002) 677–682); these entries should be merged or corrected.
- [Introduction, Theorem 1.1] The notation exp(Mt−1) in (1.4) and (1.5) is easy to misread; using explicit parentheses, for example exp(Mt−1), would improve clarity.
Circularity Check
No significant circularity: the derivation is a standard black-box use of earlier Carleman estimates, and the self-citations do not define the target property into existence.
full rationale
The paper's derivation chain is not circular. Theorem 1.1 is obtained by reducing the insensitizing condition (1.3) to the null controllability condition z(0)=z_Gamma(0)=0 (Proposition 3.1), then proving an observability inequality (4.17) via a Carleman estimate (4.5), and finally applying Hahn-Banach and Riesz representation. Each step uses the preceding step as an input; no equation is defined in terms of its conclusion, and no fitted parameter is renamed as a prediction. The heavy reliance on Lemmas 4.2 and 4.3 and Theorems 2.1 and 2.2 from reference [2] is self-citation, but those cited results are prior published statements about well-posedness and Carleman estimates for single forward/backward parabolic equations; their assumptions do not include the insensitizing property, so they are not equivalent to the target result by construction. The apparent failure of the comparison (4.23) near t=0 is a serious correctness gap in the proof of Proposition 4.1, but it is a mathematical error in the argument, not a circular reduction: the claimed inequality is false, not merely a restatement of an input. Consequently, under the rule that self-citation becomes circularity only when the load-bearing argument reduces to the self-citation itself, this paper receives a circularity score of 0.
Assumptions & free parameters
assumptions (5)
- domain assumption Well-posedness of forward and backward stochastic parabolic equations with dynamic boundary conditions (Theorems 2.1 and 2.2).
- domain assumption Carleman estimates for a single forward stochastic parabolic equation and a single backward stochastic parabolic equation with dynamic boundary conditions (Lemmas 4.2 and 4.3).
- standard math Existence of a weight function psi with psi=0 on the boundary and |grad psi|>0 outside a small open set (Lemma 4.1).
- standard math Ito formula for products of solutions of forward and backward stochastic parabolic equations.
- standard math Hahn-Banach and Riesz representation theorems in adapted L2 spaces.
Cite this review
Pith. "Pith review of Insensitizing controls for stochastic parabolic equations with dynamic boundary conditions." pith.science (2026). https://pith.science/paper/K6CNQZCI
@misc{pith2026241118501,
author = {Pith},
title = {Pith review of: Insensitizing controls for stochastic parabolic equations with dynamic boundary conditions},
year = {2026},
howpublished = {\url{https://pith.science/paper/K6CNQZCI}},
note = {Machine review of arXiv:2411.18501}
}
read the original abstract
In this paper, we continue the study of some controllability issues for the forward stochastic heat equation with dynamic boundary conditions. The main novelty in the present paper consists of considering only one control without extra forces in the noise parts. Under a strong measurability condition, and using a spectral inequality, we first establish an appropriate observability inequality for the corresponding adjoint system. Then, by the classical duality approach, the null and approximate controllability results are established.
Reference graph
Works this paper leans on
- [2]
-
[1]
E. M. Ait Ben Hassi, S. E. Chorfi, L. Maniar, and O. Oukdach, Lipschitz stability for an inverse source problem in anisotropic parabolic equations with dynamic boundary c onditions, Evolution Equations and Control Theory , 10(2021), 837–859. 1
work page 2021
- [3]
- [4]
-
[5]
O. Bodart and C. Fabre, Controls insensitizing the norm o f the solution of a semilinear heat-equation, Journal of Mathematical Analysis and Applications , 195(1995), 658–683. 1, 3
work page 1995
- [7]
- [8]
- [9]
Show all 35 references
-
[10]
Boulite, A
S. Boulite, A. Elgrou, L. Maniar, and O. Oukdach, Contro llability for forward stochastic parabolic equations with dynamic boundary conditions without extra forces, arXiv preprint arXiv:2312.15537 , (2023). 1.3
2023 arXiv
-
[11]
Boutaayamou, S
I. Boutaayamou, S. E. Chorfi, L. Maniar, and O. Oukdach, T he cost of approximate controllability of heat equation with general dynamical boundary conditions, Portugaliae Mathematica , 78(2021), 65–99. 1
2021
-
[12]
Boutaayamou, L
I. Boutaayamou, L. Maniar, and O. Oukdach, Stackelberg -Nash null controllability of heat equation with general dynamic boundary conditions, Evolution Equations and Control Theory , 11(2022), 1285–1307. 1
2022
-
[13]
Elgrou, L
A. Elgrou, L. Maniar, and O. Oukdach, Inverse initial pr oblem under Nash strategy for stochastic reaction- diffusion equations with dynamic boundary conditions, arXiv preprint arXiv:2410.10007, (2024). 1
2024 arXiv
-
[14]
Ervedoza, P
S. Ervedoza, P. Lissy, and Y. Privat, Desensitizing con trol for the heat equation with respect to domain variations , Journal de l’ ´Ecole polytechnique—Math´ ematiques, 9(2022), 1397–1429. 1.2
2022
-
[15]
A. V. Fursikov and O. Yu. Imanuvilov, Controllability o f evolution equations, Lecture Note Series 34, Research Institute of Mathematics, Seoul National University, (1996). 4.1
1996
-
[16]
Guerrero, Null controllability of some systems of tw o parabolic equations with one control force, SIAM journal on control and optimization , 46(2007), 379–394
S. Guerrero, Null controllability of some systems of tw o parabolic equations with one control force, SIAM journal on control and optimization , 46(2007), 379–394. 1, 4
2007
-
[17]
Khoutaibi, L
A. Khoutaibi, L. Maniar, and O. Oukdach, Null controlla bility for semilinear heat equation with dynamic boundary conditions, Discrete Continuous Dynamical Systems-Series S , 15(2022). 1
2022
-
[18]
Kirane, A
M. Kirane, A. Lopushansky, and H. Lopushanska, Determi nation of two unknown functions of different variables in a time-fractional differential equation. Mathematical M ethods in the Applied Sciences. 1
-
[19]
J.-L. Lions, Remarques pr´ eliminaires sur le contrˆ ole des systemesa donn´ ees incompletes, In Actas del Congreso de Ecuaciones Diferenciales y Aplicaciones (CEDYA), Unive rsidad de Malaga , 43–54. 1 18 M. BAROUN, S. BOULITE, A. ELGROU, AND O. OUKDACH
-
[20]
Liu, Global Carleman estimate for stochastic parabo lic equations, and its application, ESAIM: Control, Optimisation and Calculus of Variations , 20(2014), 823–839
X. Liu, Global Carleman estimate for stochastic parabo lic equations, and its application, ESAIM: Control, Optimisation and Calculus of Variations , 20(2014), 823–839. 1
2014
-
[21]
Liu and Y
X. Liu and Y. Yu, Carleman estimates of some stochastic d egenerate parabolic equations and application, SIAM Journal on Control and Optimization , 57(2019), 3527–3552. 1
2019
-
[22]
L¨ u, Some results on the controllability of forward s tochastic heat equations with control on the drift, Journal of Functional Analysis , 260(2011), 832–851
Q. L¨ u, Some results on the controllability of forward s tochastic heat equations with control on the drift, Journal of Functional Analysis , 260(2011), 832–851. 1.3
2011
-
[23]
L¨ u and X
Q. L¨ u and X. Zhang, Mathematical control theory for sto chastic partial differential equations, Springer, (2021). 1.3
2021
-
[24]
Maniar, M
L. Maniar, M. Meyries, and R. Schnaubelt, Null controll ability for parabolic equations with dynamic boundary conditions, Evolution Equations and Control Theory , 6(2017), 381–407. 1
2017
-
[25]
Maniar, O
L. Maniar, O. Oukdach, and W. Zouhair, Lebeau–Robbiano inequality for heat equation with dynamic boundary conditions and optimal null controllability, Differential Equations and Dynamical Systems , (2023), 1–17. 1
2023
-
[26]
Oukdach, I
O. Oukdach, I. Boutaayamou, and L. Maniar, Hierarchica l control problem for the heat equation with dynamic boundary conditions, IMA Journal of Mathematical Control and Information , (2024). 1
2024
-
[27]
Oukdach, S
O. Oukdach, S. Boulite, A. Elgrou, and L. Maniar, Multi- objective control for stochastic parabolic equations with dynamic boundary conditions, arXiv preprint arXiv:2405.15730 , (2024). 1
2024 arXiv
-
[28]
M. C. Santos, N. Carre˜ no, and R. Morales, An Insensitiz ing control problem involving tangential gradient terms for a reaction-diffusion equation with dynamic boundary con ditions, arXiv preprint arXiv:2407.09882 , (2024). 1, 4
2024 arXiv
-
[29]
Tang and X
S. Tang and X. Zhang, Null controllability for forward a nd backward stochastic parabolic equations, SIAM Journal on Control and Optimization , 48(2009), 2191–2216. 1.3
2009
-
[30]
L. D. Teresa, Insensitizing controls for a semilinear h eat equation: semilinear heat equation, Communications in Partial Differential Equations , 25(2000), 39–72. 1, 1.1, 2
2000
-
[31]
L. D. Teresa, Controls insensitizing the norm of the sol ution of a semilinear heat equation in unbounded domains, ESAIM: Control, Optimisation and Calculus of Variations , 2(1997), 125–149. 1
1997
-
[32]
L. D. Teresa and E. Zuazua, Identification of the class of initial data for the insensitizing control of the heat equation, Communication on pure and applied analysis , 8(2009). 1
2009
-
[33]
Yan and F
Y. Yan and F. Sun, Insensitizing controls for a forward s tochastic heat equation. Journal of mathematical analysis and applications , 384(2011), 138–150. 1
2011
-
[34]
Zhang, J
M. Zhang, J. Yin, and H. Gao, Insensitizing controls for the parabolic equations with dynamic boundary conditions. Journal of Mathematical Analysis and Applications , 475(2019), 861–873. 1, 2
2019
-
[35]
Yamamoto, Carleman estimates for parabolic equatio ns and applications, Inverse problems , 25(2009), 123013
M. Yamamoto, Carleman estimates for parabolic equatio ns and applications, Inverse problems , 25(2009), 123013. 1
2009
-
[36]
Yang and J
D. Yang and J. Zhong, Observability inequality of backw ard stochastic heat equations for measurable sets and its applications, SIAM Journal on Control and Optimization, 54(2016), 1157–1175. 1.3
2016
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.