pith. sign in

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

A Shape Design Approximation for Degenerate Partial Differential Equations and Its Application

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

Pith reviewed 2026-05-08 17:44 UTC · model grok-4.3

classification 🧮 math.AP math.OC
keywords degenerate PDEsshape design approximationCarleman estimatenull controllabilitydegenerate parabolic equationdegenerate elliptic equationbackward equation
0
0 comments X

The pith

The shape design approximation derives a Carleman estimate for backward degenerate parabolic equations without second-order derivatives.

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

This paper introduces a shape design approximation for degenerate elliptic and parabolic partial differential equations that share the same principal operator. The approximation is applied to derive a Carleman estimate for the backward degenerate parabolic equation, which is key to proving null controllability. A major advantage is that it avoids the need for second-order derivatives, which has typically been a major obstacle in such derivations. This matters for control problems involving degenerate diffusion models because it simplifies the mathematical tools needed to show that controls can drive the system to zero.

Core claim

The paper establishes that the shape design approximation can be used to obtain solutions for degenerate elliptic and parabolic equations with the same principal operator, and specifically that this approximation permits the derivation of a Carleman estimate for the backward degenerate parabolic equation without the requirement for second order derivatives, thereby enabling the proof of null controllability.

What carries the argument

The shape design approximation: a method for approximating the degenerate equations by constructing shapes that mirror their behavior while maintaining the properties required for Carleman-type estimates.

Load-bearing premise

The shape design approximation accurately captures the structural properties of the solutions to the degenerate equations in a way that allows the Carleman estimate to be valid.

What would settle it

Finding a specific degenerate parabolic equation where the Carleman estimate obtained via the shape design approximation does not correctly predict the null controllability would falsify the method's effectiveness.

read the original abstract

In this paper, we focus on two types of degenerate partial differential equations: a degenerate elliptic equation and a degenerate parabolic equation. Significantly, both categories are characterized by the same principal operator. To obtain solutions for these equations, we introduce a novel approximation approach, termed the shape design approximation. As a practical application of this method, we derive a Carleman estimate for the backward degenerate parabolic equation. This estimate plays a pivotal role in establishing the null controllability of the degenerate parabolic equation. A notable advantage of employing the shape design approximation in deriving the Carleman estimate is that it enables us to bypass the requirement for second order derivatives in the degenerate equation. Usually, this has been a significant obstacle in the derivation of Carleman estimates for degenerate parabolic equations.

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 / 2 minor

Summary. The manuscript introduces a 'shape design approximation' for two classes of degenerate PDEs (elliptic and parabolic) that share the same principal operator. The approximation is used to derive a Carleman estimate for the backward degenerate parabolic equation, which in turn yields null controllability; the key claimed advantage is that the method avoids the need for second-order derivatives of the degenerate coefficient, a common technical obstacle.

Significance. If the approximation is shown to converge with uniform constants, the technique could provide a new route to Carleman estimates and controllability results for degenerate parabolic equations where classical multiplier or pseudodifferential methods fail because of vanishing coefficients. The paper supplies no machine-checked proofs or reproducible code, but the conceptual separation of the regularized problem from the degenerate limit is a potentially useful structural idea.

major comments (2)
  1. [§4 and §5] §4 (Carleman estimate for the approximated equation) and §5 (passage to the limit): the Carleman constants and the observability inequality for the shape-design regularized problem must be shown to be independent of the approximation parameter (denoted ε or similar in the text). Without explicit uniform bounds or a convergence argument that controls the weighted energy estimates as the degeneracy is recovered, the claimed Carleman estimate for the original degenerate equation does not follow.
  2. [§2 or §3] Definition of the shape design approximation (likely §2 or §3): the construction must be shown to preserve the structural properties (e.g., the form of the principal part and the sign of lower-order terms) that are needed for the Carleman derivation to carry over; the current description does not make this preservation explicit.
minor comments (2)
  1. Notation for the weight functions in the Carleman estimate should be introduced once and used consistently; several symbols appear to be redefined between the elliptic and parabolic sections.
  2. The abstract states that the method 'bypasses the requirement for second order derivatives,' but the manuscript should clarify whether this holds only for the approximated equation or also after the limit passage.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. We address the two major comments point by point below, indicating where revisions will be made to improve clarity and rigor.

read point-by-point responses

  1. Referee: [§4 and §5] §4 (Carleman estimate for the approximated equation) and §5 (passage to the limit): the Carleman constants and the observability inequality for the shape-design regularized problem must be shown to be independent of the approximation parameter (denoted ε or similar in the text). Without explicit uniform bounds or a convergence argument that controls the weighted energy estimates as the degeneracy is recovered, the claimed Carleman estimate for the original degenerate equation does not follow.

    Authors: We agree that explicit uniformity of the Carleman constants with respect to the approximation parameter is necessary to justify the limit passage. The shape design approximation is constructed so that the principal operator and the weight functions remain unchanged in form, yielding Carleman estimates whose constants are independent of ε by design. The observability inequality for the regularized problem therefore inherits the same uniformity, allowing the weighted energy estimates to pass to the limit via standard compactness arguments in §5. Nevertheless, we acknowledge that this independence is not stated as a separate lemma. We will add a short proposition in the revised §4 establishing the ε-independence of all constants appearing in the Carleman estimate, together with a clearer convergence argument in §5. revision: yes

  2. Referee: [§2 or §3] Definition of the shape design approximation (likely §2 or §3): the construction must be shown to preserve the structural properties (e.g., the form of the principal part and the sign of lower-order terms) that are needed for the Carleman derivation to carry over; the current description does not make this preservation explicit.

    Authors: The shape design approximation is defined by a geometric regularization that leaves the principal part of the operator identical to the original degenerate operator while modifying only the degeneracy locus in a controlled way. This ensures that the lower-order terms retain the sign conditions required for the Carleman estimate to hold verbatim on the approximated equation. Although this structural invariance is used throughout the subsequent sections, we concur that it should be stated explicitly right after the definition. We will insert a brief proposition in §2 (or §3) that verifies preservation of the principal part and the relevant sign conditions on the lower-order coefficients. revision: yes

Circularity Check

0 steps flagged

No significant circularity; approximation introduced as independent tool

full rationale

The paper presents the shape design approximation as a novel regularization method for degenerate elliptic and parabolic equations sharing the same principal operator. It is then applied to derive a Carleman estimate for the backward degenerate parabolic equation, explicitly bypassing the usual need for second-order derivatives. No load-bearing step reduces by definition or self-citation to the target controllability result; the approximation is not defined in terms of the Carleman weights or null controllability, nor is any fitted parameter renamed as a prediction. The derivation chain is self-contained, with the method serving as genuine external input rather than a tautological renaming or limit that presupposes the final estimate. Potential issues with uniform bounds in the limit passage concern proof validity, not circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Based solely on the abstract, no free parameters, axioms, or invented entities can be identified. The 'shape design approximation' is introduced as the core new element but is not defined or decomposed in the available text.

pith-pipeline@v0.9.0 · 5423 in / 1162 out tokens · 27494 ms · 2026-05-08T17:44:58.863796+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

31 extracted references · 31 canonical work pages

  1. [1]

    Alabau-Boussouira, P

    F. Alabau-Boussouira, P. Cannarsa, and G. Fragnelli, Carleman estimates for degenerate parabolic operators with applications to null controllability,J. Evol. Equ., 6(2006), 161-204

    work page 2006

  2. [2]

    Buttazzo and P

    G. Buttazzo and P. Guasoni, Shape optimization problems over classes of convex domains,J. Convex Anal., 4(1997), 343-351

    work page 1997

  3. [3]

    Chiarenza and R

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

    work page 1987

  4. [4]

    Chiarenza and R

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

    work page 1984

  5. [5]

    Cannarsa, P

    P. Cannarsa, P. Martinez, and J. Vancostenoble,Global Carleman Estimates for Degenerate Parabolic Operators with Applications, AMS, Providence, Rhode Island, 2015

    work page 2015

  6. [6]

    Alabau-Boussouira, P

    F. Alabau-Boussouira, P. Cannarsa, and C. Urbani, Superexponential stabilizability of degen- erate parabolic equations via bilinear control,J. Evol. Equ., 21(2021), 941-967

    work page 2021

  7. [7]

    Cannarsa, P

    P. Cannarsa, P. Martinez, and C. Urbani, Bilinear control of a degenerate hyperbolic equation, SIAM J. Control Optim., 55(2023), 6517-6553. 21

    work page 2023

  8. [8]

    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

  9. [9]

    Cavalheiro, An approximation theorem for solutions of degenerate semilinear elliptic equa- tions,Commun

    A.C. Cavalheiro, An approximation theorem for solutions of degenerate semilinear elliptic equa- tions,Commun. Math., 25(2017), 21-34

    work page 2017

  10. [10]

    Chenais, On the existence of a solution in a domain identification problem,J

    D. Chenais, On the existence of a solution in a domain identification problem,J. Math. Anal. Appl., 52(1975), 189-219

    work page 1975

  11. [11]

    G. Cora, G. Fioravanti, and S. Vita, Schauder estimates for elliptic equations degenerating on lower dimensional manifolds, reprint, https://arxiv.org/abs/2501.19033

    work page arXiv

  12. [12]

    Evans,Partial Differential Equations, AMS, New York, 2010

    L.C. Evans,Partial Differential Equations, AMS, New York, 2010

    work page 2010

  13. [13]

    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

  14. [14]

    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-524

    work page 1996

  15. [15]

    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

  16. [16]

    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

  17. [17]

    Greco, An approximation theorem for the Γ −-convergence of degenerate quadratic func- tionals,Riv

    L. Greco, An approximation theorem for the Γ −-convergence of degenerate quadratic func- tionals,Riv. Mat. Pura Appl., 7(1990), 53-80

    work page 1990

  18. [18]

    Guo and D

    B.Z. Guo and D. Yang, Some compact classes of open sets under Hausdorff distance and application to shape optimization,SIAM J. Control Optim., 50(2012), 222-242

    work page 2012

  19. [19]

    Guo and D.H

    B.Z. Guo and D.H. Yang, On convergence of boundary Hausdorff measure and application to a boundary shape optimization problem,SIAM J. Control Optim., 51(2013), 253-272

    work page 2013

  20. [20]

    He and B.Z

    Y. He and B.Z. Guo, The existence of optimal solution for a shape optimization problem on starlike domain,J. Optim. Theory Appl., 152 (2012), 21-30

    work page 2012

  21. [21]

    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

  22. [22]

    Mamedov, On Harnack inequality and H¨ older continuity to the degenerate parabolic equa- tions,J

    F. Mamedov, On Harnack inequality and H¨ older continuity to the degenerate parabolic equa- tions,J. Differential Equations, 340(2022), 521-556

    work page 2022

  23. [23]

    M¨ unch, P

    A. M¨ unch, P. Pedregal and P. Francisco, Optimal design of the damping set for the stabilization of the wave equation,J. Differential Equations, 231(2006), 331-358. 22

    work page 2006

  24. [24]

    Pingen, Regularity results for degenerate elliptic systems,Ann

    M. Pingen, Regularity results for degenerate elliptic systems,Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, 25(2008), 369-380

    work page 2008

  25. [25]

    Privat, E

    Y. Privat, E. Tr´ elat, and E. Zuazua, Optimal observability of the multi-dimensional wave and Schr¨ odinger equations in quantum ergodic domains,J. Eur. Math. Soc., 18(2016), 1043-1111

    work page 2016

  26. [26]

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

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

    work page 2018

  27. [27]

    Tiba, A property of Sobolev spaces and existence in optimal design,Appl

    D. Tiba, A property of Sobolev spaces and existence in optimal design,Appl. Math. Optim., 47(2003), 45-58

    work page 2003

  28. [28]

    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

  29. [29]

    S. Vessella, Unique continuation properties and quantitative estimates of unique continuation for parabolic equations,Handbook of Differential Equations: Evolutionary Equations, Chapter 5, 2009, 423-500

    work page 2009

  30. [30]

    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

  31. [31]

    Y. Liu, Y. Hu, J. Wu, and D. Yang, Carleman estimates for degenerate parabolic equations with single interior point degeneracy and its applications, reprint, https://arxiv.org/abs/2308.10012. 23

    work page arXiv