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

Recognition: 2 theorem links

· Lean Theorem

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

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

Authors on Pith no claims yet

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 comments

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.

Desk Editor's Note private letter to a colleague

The shape design approximation gives a way to derive Carleman estimates for degenerate parabolic equations without second derivatives, but the limit back to the original equation needs uniform bounds to be checked.

read the letter

The main takeaway is that this paper introduces a shape design approximation for degenerate elliptic and parabolic equations that share the same principal operator, then applies it to get a Carleman estimate for the backward degenerate parabolic case. The estimate is used to prove null controllability, and the selling point is that it avoids the usual requirement for second-order derivatives in the degenerate setting. That is the concrete new tool they offer. It does a reasonable job laying out how the approximation regularizes the problem while preserving the structure needed for weighted energy estimates, which is a practical step for this subfield. For work on controllability in porous media or variable-coefficient heat flows, the method could serve as a technical shortcut. The soft spot is the passage to the limit. The Carleman inequality is first obtained on the regularized non-degenerate equation, so the constants and weights must stay controlled independently of the approximation parameter when degeneracy is recovered. The abstract does not spell out uniform bounds or the convergence argument for the observability inequality, and if those constants deteriorate, the controllability result for the true degenerate equation would not follow. I would want to see the explicit estimates on how the lower-order terms and weights behave as the parameter goes to zero. This paper is for specialists already working on Carleman estimates and controllability for degenerate parabolic systems. A reader who knows the standard non-degenerate techniques would get value from the approximation idea, though they would still need to verify the limit step. It deserves a serious referee because the target application is clear and the technical claim is specific enough to benefit from detailed feedback on the uniformity arguments.

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)

[§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 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)

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

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

Lean theorems connected to this paper

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

Cost.FunctionalEquation / Foundation.AlphaCoordinateFixation washburn_uniqueness_aczel / J_uniquely_calibrated_via_higher_derivative unclear
We focus on the case where N=1 and the weight function is w = x^α, with α ∈ (0,1).

Reference graph

Works this paper leans on

31 extracted references · 3 canonical work pages

[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

2006
[2]

Buttazzo and P

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

1997
[3]

Chiarenza and R

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

1987
[4]

Chiarenza and R

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

1984
[5]

Cannarsa, P

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

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

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

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

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

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

1975
[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]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2009
[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]

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