Null Controllability for Degenerate Parabolic Equations with Internal Control Applied on a Measurable Subset
Pith reviewed 2026-05-20 09:07 UTC · model grok-4.3
The pith
A separable variable method proves null controllability for a degenerate parabolic equation when internal control acts on a measurable subset.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By reapplying the separable variable method, the authors derive the Lebeau-Robbiano spectral inequality for a new degenerate parabolic operator and use it to prove null controllability of the equation when the internal control is supported on a measurable subset.
What carries the argument
The Lebeau-Robbiano spectral inequality obtained via the separable variable method, which bounds the solution in terms of its observation on the control set and thereby enables the controllability argument.
If this is right
- Null controllability holds whenever the control region is any measurable subset of positive measure.
- The same spectral inequality technique applies to at least one additional class of degenerate parabolic operators.
- Controllability results for degenerate equations can be obtained without requiring the control set to be open.
- The method supplies an alternative route to controllability proofs that avoids other standard techniques.
Where Pith is reading between the lines
- The technique may extend directly to other degenerate operators whose eigenfunctions admit similar product representations.
- Numerical checks on specific measurable sets could verify whether the predicted control times remain practical.
- The result suggests that controllability thresholds depend more on the measure of the set than on its topological properties.
Load-bearing premise
The separable variable method from the preceding paper carries over to the new degenerate operator without essential modification.
What would settle it
A concrete initial datum for which the solution cannot be driven to zero in finite time under control supported on some measurable set of positive measure would show the controllability claim is false.
read the original abstract
This work serves as a continuation of our preceding paper [28]. In that study, we presented a separable variable method to derive the Lebeau-Robbiano spectral inequality for a specific degenerate parabolic equation and subsequently employed it to demonstrate the null controllability of said equation when internal control is applied to an open subset. In the current paper, we reapply the separable variable method to attain the Lebeau-Robbiano spectral inequality for a different degenerate parabolic equation, and we substantiate the null controllability of this equation with internal control acting on a measurable subset. This approach may offer an alternative means of proving controllability results for degenerate parabolic equations.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript continues the authors' prior work [28] by reapplying the separable-variable method to derive a Lebeau-Robbiano spectral inequality for a different degenerate parabolic operator. It then uses this inequality to establish null controllability when the internal control is supported on an arbitrary measurable subset of positive measure.
Significance. If the estimates are verified, the result offers a useful alternative route to controllability for degenerate parabolic equations and extends the control support from open sets to measurable sets of positive measure, which is a meaningful generalization for applications.
major comments (1)
- [Abstract] Abstract: the assertion that the separable-variable technique from [28] is reapplied 'without essential modification' to produce a Lebeau-Robbiano inequality whose observation term is supported on a merely measurable set requires explicit justification. The prior work treated open sets; for measurable sets an additional density or approximation argument is typically needed to control possible concentration of eigenfunctions away from sets lacking interior. This verification is load-bearing for the controllability claim and is not supplied in the outline of the method.
minor comments (1)
- Clarify the precise statement of the new degenerate operator and how its coefficients differ from those in [28] to make the adaptation of the spectral inequality transparent.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and for the constructive major comment. We address the point directly below and indicate the revisions we intend to make.
read point-by-point responses
-
Referee: [Abstract] Abstract: the assertion that the separable-variable technique from [28] is reapplied 'without essential modification' to produce a Lebeau-Robbiano inequality whose observation term is supported on a merely measurable set requires explicit justification. The prior work treated open sets; for measurable sets an additional density or approximation argument is typically needed to control possible concentration of eigenfunctions away from sets lacking interior. This verification is load-bearing for the controllability claim and is not supplied in the outline of the method.
Authors: We agree that the abstract is concise and that an explicit justification for the extension to measurable sets strengthens the presentation. The separable-variable method in the present work produces the spectral inequality by direct integration against the characteristic function of the measurable control set; the specific form of the eigenfunctions for this degenerate operator prevents the concentration phenomena that would otherwise necessitate a density argument. Nevertheless, we acknowledge that this reasoning is only sketched in the current text. In the revised version we will add a short paragraph (likely in Section 2 or the introduction) that spells out why the estimates carry over directly to sets of positive measure without essential modification of the technique. revision: yes
Circularity Check
Minor self-citation to prior separable-variable method; new application to different operator and measurable control set remains independent
full rationale
The manuscript explicitly frames itself as a continuation that reapplies the separable variable method from the authors' prior work [28] to derive the Lebeau-Robbiano spectral inequality for a new degenerate parabolic operator and then establish null controllability with internal control on a measurable subset. This constitutes a standard citation to an established technique rather than a load-bearing reduction of the central claim to the prior paper by definition or construction. The extension to a different equation and to measurable (rather than open) observation sets supplies independent content, with no evidence of self-definitional equivalence, fitted inputs renamed as predictions, or ansatz smuggling. The derivation chain is therefore self-contained against external benchmarks once the reapplication is performed.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
F. Alabau-Boussouira, P. Cannarsa, and G. Fragenlli, Carleman estimates for degenerate parabolic operators with applications to null controllability,J. Evol. Equ., 6(2006), 161-204
work page 2006
- [2]
-
[3]
F.D. Araruna, B.S.V. Ara´ ujo, and E. Fern´ andez-Cara, Carleman estimates for some two- dinmensional degenerate parabolic PDEs and applications,SIAM J. Control Optim., 57(2019), 3985-4010. 23
work page 2019
-
[4]
K. Beauchard, P. Cannarsa, and R. Guglielmi, Null controllability of Grushin-type operators in dimension two,J. Eur. Math. Soc., 16(2014), 67-101
work page 2014
-
[5]
M. Bellassoued and M. Yamamoto,Carleman Estimates and Applications to Inverse Problems for Hyperbolic Systems, Springer, Tokyo, 2017
work page 2017
-
[6]
R. Buffe, K.D. Phung, and A. Slimani, An optimal spectral inequality for degenerate operators, SIAM J. Control Optim., 62(2024), 2506-2628
work page 2024
-
[7]
P. Cannarsa, J. Tort, and M. Yamamoto, Unique continuation and approximate controllability for a degenerate parabolic equation,Appl. Anal., 91(2012), 1409-1425
work page 2012
-
[8]
P. Cannarsa, P. Martinez, and J. Vancostenoble, Global Carleman estimates for degenerate parabolic operators with applications,Mem. Amer. Math. Soc., 239(2016), no. 1133
work page 2016
-
[9]
Coron,Control and nonlinearity, American Mathematical Society, Rhode Island, 2007
J.M. Coron,Control and nonlinearity, American Mathematical Society, Rhode Island, 2007
work page 2007
-
[10]
R. Courant, D. Hilbert,Methods of Mathematical Physics I, John Wiley & Sons, New York, 1953
work page 1953
-
[11]
Evans,Partial Differential Equations, American Mathematical Society, New York, 2010
L.C. Evans,Partial Differential Equations, American Mathematical Society, New York, 2010
work page 2010
-
[12]
E. Fern´ andez-Cara and S. Guerrero, Global Carleman inequalities for parabolic systems and applications to controllability,SIAM J. Control Optim., 45(2006), 1395-1446
work page 2006
-
[13]
A.V. Fursikov and O. Yu. Imanuvilov,Controllability of Evolution Equations, Lecture Note Series 34, Research Institute of Mathematics, Seoul National University, Seoul, 1996
work page 1996
-
[14]
J. Garcia-Cuerva and J.R. de Francia,Weighted Norm Inequalities and Related Topics, North- Holland Publishing Co., Amsterdam, 1985
work page 1985
-
[15]
Gueye, Exact boundary controllability of 1-D parabolic and hyperbolic degenerate equa- tions,SIAM J
M. Gueye, Exact boundary controllability of 1-D parabolic and hyperbolic degenerate equa- tions,SIAM J. Control Optim., 52(2014), 2037-2054
work page 2014
- [16]
-
[17]
J. Heinonen and T. Kilpenl¨ ainen, and O. Martio,Nonlinear Potential Theory of Degenerate Elliptic Equations, Oxford University Press, New York, 1993
work page 1993
-
[18]
F. John,Plane Waves And Spherical Means Applied To Partial Differential Equations, Springer, New York, 2004
work page 2004
-
[19]
I. Lasiecka and R. Triggiani, and P.F. Yao, An observability estimate inL 2(Ω)×H −1(Ω) for second-order hyperbolic equations with variable coefficients, in: ”IFIP Advances in Information 24 and Communication Technology”, volume 13, Kluwer Academic Publishers, Boston, MA, 1999, 71-78
work page 1999
-
[20]
Y. Liu, W. Wu, D. Yang, and C. Zhang, Observability inequality from measurable sets for degenerate parabolic equations and its applications,J. Optim. Theory Appl., 200(2024), 1017- 1055
work page 2024
-
[21]
J.L. Lions, Exact controllability, stabilizability and perturbations for distributed systems, SIAM Rev., 30(1988), 1-68
work page 1988
-
[22]
J. Le Rousseau, G. Lebeau, and L. Robbiano,Elliptic Carleman Estimates and Applications to Stabilization and Controllability. Vol. I. Dirichlet Boundary Conditions on Euclidean Space Birkh¨ auser, Cham, 2022
work page 2022
-
[23]
G. Tenenbaum and M. Tucsnak, On the null-controllability of diffusion equations,ESAIM Control Optim. Calc. Var., 17(2011), 1088-1100
work page 2011
-
[24]
M. Tucsnak and G. Weiss,Observation and Control for Operator Semigroups, Birkh¨ auser, Basel, 2009
work page 2009
-
[25]
G. Wang,L ∞-null controllability for the heat equation and its consequences for the time optimal control problem,SIAM J Control Optim., 47(2008), 1701-1720
work page 2008
-
[26]
W. Wu, Y. Hu, Y. Liu, and D. Yang, Carleman estimates for degenerate parabolic equations with single interior point degeneracy and its applications,Math. Control Relat. F., 17(2026): 1-44
work page 2026
-
[27]
W. Wu, Y. Hu, D.H. Yang, and J. Zhong, Approximation of elliptic equations with interior single-point degeneracy and its application to weak unique continuation property,ESAIM Control Optim. Calc. Var., In Press, 2026
work page 2026
-
[28]
D. Yang and B.Z. Guo, Null controllability of a class of degenerate parabolic equations subject to Dirichlet boundary condition,Syst. Control Lett., 209(2026), no. 106361
work page 2026
- [29]
- [30]
-
[31]
Zuazua,Exact Controllability and Stabilization of the Wave Equation, Springer, Cham, 2024
E. Zuazua,Exact Controllability and Stabilization of the Wave Equation, Springer, Cham, 2024. 25
work page 2024
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.