pith. sign in

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

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

Dong-Hui Yang , Bao-Zhu Guo , Jie Zhong This is my paper

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
0 comments X

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.

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)
  1. [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.
  2. [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)
  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

  1. 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

  2. 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)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

25 extracted references · 25 canonical work pages

  1. [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

    work page 2006

  2. [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

    work page 2019

  3. [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

    work page 2024

  4. [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

    work page 2012

  5. [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

    work page 2016

  6. [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

    work page 2002

  7. [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

    work page 1996

  8. [8]

    Chiarenza and R

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

    work page 1987

  9. [9]

    Chiarenza and R

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

    work page 1984

  10. [10]

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

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

    work page 2010

  11. [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

    work page 1982

  12. [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

    work page 2006

  13. [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

    work page 1996

  14. [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

    work page 1985

  15. [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. [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

    work page 2024

  17. [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

    work page 1993

  18. [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

    work page 1988

  19. [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

    work page 2022

  20. [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

    work page 2018

  21. [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

    work page 1973

  22. [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

    work page 2024

  23. [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. [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

    work page 2025

  25. [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

    work page 1995