arxiv: 2605.02830 · v1 · submitted 2026-05-04 · 🧮 math.OC

Recognition: 2 theorem links

· Lean Theorem

Null Controllability for a Multi-Dimensional Degenerate Parabolic Equation with Degenerated Interior Point

Bao-Zhu Guo, Dong-Hui Yang, Jie Zhong

Authors on Pith no claims yet

Pith reviewed 2026-05-08 18:16 UTC · model grok-4.3

classification 🧮 math.OC

keywords null controllabilitydegenerate parabolic equationCarleman estimateobservability inequalityapproximation methodinterior degeneracymulti-dimensional PDE

0 comments

The pith

A multi-dimensional degenerate parabolic equation remains null controllable from any control region that avoids its interior degenerate point.

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

The paper establishes that a parabolic equation whose diffusion coefficient vanishes at an interior point can still be driven exactly to zero in finite time. It achieves this by replacing the original degenerate equation with a sequence of uniformly elliptic approximations. Carleman estimates are derived for the approximations to produce an observability inequality that passes to the limit and yields the controllability result. This matters for models of diffusion in inhomogeneous media where degeneracy occurs at isolated locations, because it shows that steering remains possible without placing controls directly at the singular point.

Core claim

We prove null controllability of the multi-dimensional degenerate parabolic equation with an interior degenerate point. The control domain is an arbitrary inner region that excludes the degenerate point. The proof proceeds by approximating the degenerate PDE with a series of uniformly elliptic PDEs of limited regularity, deriving Carleman estimates for these approximate equations, establishing the corresponding observability inequality, and thereby showing that the state can be steered to zero at any final time.

What carries the argument

The approximation of the degenerate PDE by a sequence of uniformly elliptic PDEs of limited regularity, which permits derivation of Carleman estimates and an observability inequality that transfers to the original system.

If this is right

The original degenerate system reaches the zero state in finite time under suitable controls.
The result holds in any dimension and for any control support that excludes the degenerate point.
The same approximation technique yields null controllability for this class of interior-degenerate parabolic equations.
Observability inequalities obtained from the elliptic approximations are sufficient to guarantee controllability of the degenerate limit equation.

Where Pith is reading between the lines

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

The approximation strategy may extend to equations with degeneracy along lower-dimensional sets rather than isolated points.
Numerical schemes that regularize the coefficient could be used to compute explicit controls for such degenerate systems.
The result indicates that standard Carleman-based controllability theory for nondegenerate equations can be recovered in the limit for this interior-degeneracy class.
It would be natural to test whether the same method works when the control region touches the boundary of the domain.

Load-bearing premise

The sequence of uniformly elliptic approximations preserves the controllability properties of the original degenerate equation despite their limited regularity.

What would settle it

For a concrete two-dimensional example with degeneracy at the origin and control supported in a subdomain separated from the origin, compute the observability constant for the sequence of approximations; if the constant blows up as the approximation parameter tends to zero, the passage to the limit fails and the controllability claim is false.

read the original abstract

In this study, we study the null controllability of a multi-dimensional degenerate parabolic equation characterized by a degenerate interior point. The control domain, which is an arbitrary inner region, does not encompass the degenerate point. To tackle this problem, we adopt a new approximation methodology. Specifically, we approximate the degenerate partial differential equations (PDEs) with a series of uniformly elliptic PDEs, notwithstanding their limited regularity. We then derive the Carleman estimate for these approximate uniformly parabolic equations and establish the observability inequality, which ultimately paves the way for demonstrating the null controllability of the system.

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

The paper gets null controllability for a multi-D degenerate parabolic equation with an interior degeneracy point outside the control domain by approximating with regular elliptic equations and passing Carleman estimates to the limit, but the uniformity of those estimates is the key open question.

read the letter

The main result is null controllability for this multi-dimensional degenerate parabolic equation when the degeneracy sits at an interior point that the control region does not cover. They approximate the original equation by a sequence of uniformly elliptic PDEs that still have limited regularity, derive Carleman estimates on each approximate equation, obtain an observability inequality, and pass to the limit to recover controllability for the degenerate case. That combination for an interior multi-D singularity is the new piece; earlier work handled boundary degeneracies or one-dimensional cases more directly, so the approximation step extends the reach of the standard Carleman machinery here. The outline is clean and the choice to work with limited-regularity approximates is explicit, which is better than hiding the issue. The approach credits the usual Carleman literature without overclaiming originality there. The soft spot is the passage to the limit. The observability constants must stay bounded independently of the approximation parameter; otherwise the controls blow up and you do not actually control the original equation. Limited regularity near the degeneracy point makes it plausible that the Carleman weights or the absorption terms deteriorate as the ellipticity constant approaches zero, so the estimates could depend on the regularization parameter. The abstract does not show explicit uniform bounds, and if the full proof only gets parameter-dependent constants, the argument does not close. That is the load-bearing step and it needs direct verification. This paper is for people already working on controllability of degenerate parabolic equations. A reader who knows Carleman estimates and has seen similar approximation arguments will get the most out of it and can judge whether the uniformity holds. It deserves a serious referee because the result is targeted and the method is concrete; referees can check the limit step in detail without needing to invent new tools.

Referee Report

2 major / 1 minor

Summary. The paper establishes null controllability for a multi-dimensional degenerate parabolic equation with an interior degeneracy point. The control domain is an arbitrary open set that excludes the degeneracy. The proof proceeds by approximating the degenerate operator by a family of uniformly elliptic operators (with limited regularity), deriving Carleman estimates for the regularized problems, obtaining an observability inequality, and passing to the limit to recover a control for the original degenerate system.

Significance. If the uniformity of the Carleman constants with respect to the approximation parameter can be established, the result would extend existing controllability theory for degenerate parabolic equations to the multi-dimensional interior-degeneracy setting with flexible control domains. This would be of interest for applications involving diffusion processes with localized singularities.

major comments (2)

[Carleman estimate and limit passage sections] The central passage to the limit (presumably in the section following the Carleman estimate for the approximates) requires that the observability constant remain bounded independently of the regularization parameter. The manuscript does not appear to provide an explicit estimate showing that the Carleman weight functions and absorption terms do not deteriorate as the ellipticity constant approaches zero near the interior degeneracy point; without such a uniform bound the limiting control may fail to exist in the required space.
[Approximation and Carleman estimate] The approximation is stated to preserve limited regularity, yet the derivation of the Carleman estimate for the family of uniformly parabolic equations must still control the lower-order terms that arise from the degeneracy. It is unclear from the outline whether the constants in the Carleman inequality are tracked explicitly with respect to the distance to the degeneracy point or only with respect to the ellipticity modulus.

minor comments (1)

[Abstract and Introduction] The abstract and introduction would benefit from a brief statement of the precise function spaces in which the state and control are sought, as well as the exact form of the degeneracy (e.g., the vanishing order of the diffusion coefficient at the interior point).

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments on the uniformity of the estimates. We address each major comment below and will revise the manuscript to strengthen the presentation of the limit passage and the dependence of the constants.

read point-by-point responses

Referee: [Carleman estimate and limit passage sections] The central passage to the limit (presumably in the section following the Carleman estimate for the approximates) requires that the observability constant remain bounded independently of the regularization parameter. The manuscript does not appear to provide an explicit estimate showing that the Carleman weight functions and absorption terms do not deteriorate as the ellipticity constant approaches zero near the interior degeneracy point; without such a uniform bound the limiting control may fail to exist in the required space.

Authors: We agree that an explicit uniform bound on the observability constant is essential for justifying the limit passage. In the proof, the Carleman weights are constructed independently of the regularization parameter ε (using the same pseudoconvex function for all approximates), and the absorption of lower-order terms is achieved via a geometric condition on the distance between the control domain and the degeneracy point, yielding a constant independent of ε. However, this independence is not stated as a separate lemma. We will revise the manuscript by adding an explicit proposition that bounds the Carleman constant uniformly in ε, including the precise dependence on the domain geometry. revision: yes
Referee: [Approximation and Carleman estimate] The approximation is stated to preserve limited regularity, yet the derivation of the Carleman estimate for the family of uniformly parabolic equations must still control the lower-order terms that arise from the degeneracy. It is unclear from the outline whether the constants in the Carleman inequality are tracked explicitly with respect to the distance to the degeneracy point or only with respect to the ellipticity modulus.

Authors: The constants in the Carleman inequality are tracked with respect to both the ellipticity modulus and the distance to the degeneracy point. The lower-order terms generated by the degeneracy are absorbed using integration by parts and the specific form of the approximating coefficients, with the absorption constants depending explicitly on dist(ω, degeneracy point) and the domain size. The manuscript outline does not display these dependencies in a single statement. We will revise by inserting a remark or lemma that records the explicit dependence on both quantities, thereby clarifying the control of the lower-order terms. revision: yes

Circularity Check

0 steps flagged

No circularity: standard approximation + Carleman + limit passage for degenerate controllability

full rationale

The derivation approximates the degenerate PDE by a sequence of uniformly elliptic PDEs (with limited regularity), obtains Carleman estimates on each regularized equation, deduces an observability inequality, and passes to the limit to recover null controllability. This chain relies on external, independently established tools (Carleman estimates for parabolic operators, standard density/approximation arguments) rather than any self-definition, fitted-parameter renaming, or load-bearing self-citation. No equation or step reduces to its own input by construction; the uniformity of constants with respect to the approximation parameter is a separate analytic question, not a circularity issue. The result is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard mathematical tools for PDE control and introduces an approximation method as the key new element.

axioms (2)

standard math Existence of Carleman estimates for uniformly parabolic equations
Invoked to obtain observability for the approximate systems.
domain assumption The degenerate equation can be approximated by uniformly elliptic ones with limited regularity while preserving controllability properties
Central to the new methodology described in the abstract.

pith-pipeline@v0.9.0 · 5396 in / 1370 out tokens · 68158 ms · 2026-05-08T18:16:59.608171+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.

Foundation/BranchSelection.lean, Foundation/AlphaCoordinateFixation.lean BranchSelection.branch_selection / AlphaCoordinateFixation.alpha_pin_under_high_calibration — same symbol α but unrelated meaning (degenerate-diffusion exponent vs. cost-family calibration coordinate) unclear
where α ∈ (0,2) is a given constant ... w = |x|^α ... A_{1+2/N} weight

Reference graph

Works this paper leans on

25 extracted references · 1 canonical work pages

[1]

Alabau-Boussouira, P

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

2006
[2]

Araruna, B.S.V

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

2019
[3]

Buffe, K.D

R. Buffe, K.D. Phung, and A. Slimani, An optimal spectral inequality for degenerate operators, SIAM J. Control Optim., 62(2024), 2506-2628

2024
[4]

Cannarsa, J

P. Cannarsa, J. Tort, and M. Yamamoto, Unique continuation and approximate controllability for a degenerate parabolic equation,Appl. Anal., 91(2012), 1409-1425

2012
[5]

Cannarsa, P

P. Cannarsa, P. Martinez, and J. Vancostenoble, Global Carleman estimates for degenerate parabolic operators with applications,Mem. Amer. Math. Soc., 239(2016), no. 1133

2016
[6]

Cavalheiro, An approximation theorem for solutions of degenerate elliptic equations,Proc

A.C. Cavalheiro, An approximation theorem for solutions of degenerate elliptic equations,Proc. Edinb. Math. Soc. (2), 45(2002), 363-389

2002
[7]

Fernandes and B

J.C. Fernandes and B. Frachi, Existence and properties of the Green function for a class of degenerate parabolic equations,Rev. Mat. Iberoamericana, 12(1996), 491-525

1996
[8]

Chiarenza and R

F. Chiarenza and R. Serapioni, Pointwise estimates for degenerate parabolic equations,Appl. Anal., 23(1987), 287-299

1987
[9]

Chiarenza and R

F. Chiarenza and R. Serapioni, Degenerate parabolic equations and Harnack inequality,Ann. Mat. Pura Appl. (4), 137(1984), 139-162

1984
[10]

Evans,Partial Differential Equations, American Mathematical Society, New York, 2010

L.C. Evans,Partial Differential Equations, American Mathematical Society, New York, 2010. 35

2010
[11]

Fabes, C.E

E.B. Fabes, C.E. Kenig, and R.P. Serapioni, The local regularity of solutions of degenerate elliptic equations,Comm. Partial Differential Equations, 7(1982), 77-116

1982
[12]

Fern´ andez-Cara and S

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

2006
[13]

Fursikov and O

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

1996
[14]

Garcia-Cuerva and J.R

J. Garcia-Cuerva and J.R. de Francia,Weighted Norm Inequalities and Related Topics, North- Holland Publishing Co., Amsterdam, 1985

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

2014
[16]

Guo, D.H

B.Z. Guo, D.H. Yang and J. Zhong, A shape design approximation for degenerate partial differential equations with degenerate part boundary and application,Preprint,Central South University, 2024

2024
[17]

Heinonen and T

J. Heinonen and T. Kilpenl¨ ainen, and O. Martio,Nonlinear Potential Theory of Degenerate Elliptic Equations, Oxford University Press, New York, 1993

1993
[18]

Lions, Exact controllability, stabilizability and perturbations for distributed systems, SIAM Rev., 30(1988), 1-68

J.L. Lions, Exact controllability, stabilizability and perturbations for distributed systems, SIAM Rev., 30(1988), 1-68

1988
[19]

Le Rousseau, G

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

2022
[20]

Struart, Stability analysis for a family of degenerate semilinear parabolic problems,Dis- crete Continuous Dyn

C.A. Struart, Stability analysis for a family of degenerate semilinear parabolic problems,Dis- crete Continuous Dyn. Syst., 38(2018), 5297-5337

2018
[21]

Trudinger, Linear elliptic operators with measurable coefficients,Ann

N.S. Trudinger, Linear elliptic operators with measurable coefficients,Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3), 27(1973), 265-308

1973
[22]

W. Wu, Y. Hu, Y. Liu, and D. Yang, Carleman estimates for degenerate parabolic equations with single interior point degeneracy and its applications,Preprint, Central South University, 2024

2024
[23]

W. Wu, Y. Hu, D.H. Yang, and J. Zhong, Approximation of elliptic equations with inte- rior single-point degeneracy and its application to weak unique continuation property, reprint, https://arxiv.org/abs/2501.10923

work page arXiv
[24]

Yang, B.Z

D.H. Yang, B.Z. Guo, G. Zheng, and J. Zhong, Weak unique continuation on annular domains for backward degenerate parabolic equations with degenerate interior points,Preprint, Central South University, 2025. 36

2025
[25]

Zuazua, Controllability of the linear system of thermoelasticity,J

E. Zuazua, Controllability of the linear system of thermoelasticity,J. Math. Pures Appl. (9), 74(1995), 303-346. 37

1995