pith. sign in

arxiv: 2605.19599 · v1 · pith:VM7OM5RQnew · submitted 2026-05-19 · 🧮 math.AP · math.OC

Shape Design for Degenerate Parabolic Equations with Degenerate Boundaries and Its Application to Boundary Observability

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

Pith reviewed 2026-05-20 04:01 UTC · model grok-4.3

classification 🧮 math.AP math.OC
keywords degenerate parabolic equationsshape designboundary observabilityDirichlet boundary conditionsapproximationwell-posednesscontrol theory
0
0 comments X

The pith

Shape design approximates degenerate parabolic equations by a sequence of uniformly parabolic ones to derive a boundary observability inequality.

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

The paper first proves well-posedness for a degenerate parabolic equation subject to Dirichlet boundary conditions. It then introduces a shape design problem that generates a family of approximating equations which are uniformly parabolic. From the observability properties of this family, the authors obtain a boundary observability inequality for the original degenerate equation. A reader would care because such inequalities determine whether boundary measurements can reconstruct the full solution inside the domain, a key step for questions of control and stability. The shape design acts as a regularization device that handles the singularity at the boundary while preserving the essential dynamics in the limit.

Core claim

A shape design problem supplies a systematic approximation of the degenerate parabolic equation by uniformly parabolic equations, from which a boundary observability inequality for the degenerate equation follows directly once the approximation is shown to converge appropriately.

What carries the argument

The shape design problem, a framework that produces a sequence of uniformly parabolic equations whose solutions converge to the solution of the degenerate target equation while carrying observability information to the limit.

If this is right

  • The degenerate parabolic equation admits a unique weak solution under Dirichlet conditions.
  • A boundary observability inequality holds for the degenerate equation.
  • The observability property transfers from the regular approximations to the degenerate limit.
  • The method supplies a template for obtaining observability results in other parabolic systems with boundary degeneracy.

Where Pith is reading between the lines

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

  • The same shape-design regularization could be tested on degenerate equations with different boundary conditions or source terms.
  • Numerical discretization of the approximating family might produce practical schemes for checking observability in singular diffusion models.
  • The construction suggests links to geometric variational problems where the domain shape is varied to recover regularity.

Load-bearing premise

The approximating family must converge in a manner that allows the observability constants to remain bounded in the limit.

What would settle it

A concrete degenerate parabolic equation together with explicit computation showing that the observability constant for the approximating problems tends to infinity as the degeneracy parameter reaches its limit value would refute the claimed inequality.

read the original abstract

In this study, we firstly establish the well-posedness of a degenerate parabolic equation under Dirichlet boundary conditions. Following this, we introduce a shape design problem, which acts as a framework for approximating the degenerate parabolic equation through a series of uniformly parabolic equations. Finally, as a tangible application of this shape design approach, we deduce a boundary observability inequality associated with the degenerate parabolic equation.

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

1 major / 1 minor

Summary. The paper first establishes well-posedness for a degenerate parabolic equation under Dirichlet boundary conditions. It then introduces a shape design problem that approximates the degenerate equation by a family of uniformly parabolic equations. As an application, the shape-design framework is used to deduce a boundary observability inequality for the original degenerate equation.

Significance. If the uniformity of observability constants with respect to the shape parameter is established, the approach supplies a systematic approximation technique for deriving observability results in degenerate settings, where standard Carleman estimates often fail. This could extend to other control-theoretic questions for singular parabolic operators.

major comments (1)
  1. [final application section] The deduction of the boundary observability inequality (final section): the argument passes to the limit from observability inequalities satisfied by the uniformly parabolic approximants, but no estimate is given showing that the observability constant remains bounded independently of the shape-design parameter as degeneracy is recovered. Without such uniformity the limiting inequality does not follow, and this uniformity is not addressed in the provided derivations.
minor comments (1)
  1. The abstract states the three-step structure but does not indicate the specific form of the degeneracy or the precise definition of the shape-design parameter; adding these would clarify the scope for readers.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the potential of the shape-design approach in control theory for degenerate problems. We address the single major comment below and will incorporate the necessary clarification in the revised manuscript.

read point-by-point responses

  1. Referee: The deduction of the boundary observability inequality (final section): the argument passes to the limit from observability inequalities satisfied by the uniformly parabolic approximants, but no estimate is given showing that the observability constant remains bounded independently of the shape-design parameter as degeneracy is recovered. Without such uniformity the limiting inequality does not follow, and this uniformity is not addressed in the provided derivations.

    Authors: We agree that uniformity of the observability constant with respect to the shape-design parameter is required to justify the passage to the limit. The manuscript establishes well-posedness and approximation properties for the family of uniformly parabolic problems, but does not explicitly quantify the dependence of the observability constant on the degeneracy parameter. In the revised version we will add a dedicated estimate (new Lemma in the final section) showing that the constant remains bounded independently of the shape parameter. The argument will combine the uniform parabolicity of the approximants with the a-priori bounds obtained from the well-posedness theory developed earlier in the paper, thereby closing the limiting procedure. revision: yes

Circularity Check

0 steps flagged

No circularity detected; derivation chain is self-contained via independent well-posedness and limit passage arguments.

full rationale

The paper first establishes well-posedness for the degenerate equation, then introduces a shape-design approximation by a family of uniformly parabolic problems, and finally passes to the limit to obtain the boundary observability inequality. No step reduces by construction to its own inputs, fitted parameters, or self-citations; the central claim rests on proving uniform (or controllable) observability constants for the approximants and justifying the limit, which are independent mathematical steps rather than definitional or self-referential reductions. The provided abstract and summary contain no equations or claims that equate the target inequality to a fitted quantity or prior self-citation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no explicit free parameters, axioms, or invented entities; assessment is therefore empty pending full text.

pith-pipeline@v0.9.0 · 5585 in / 1020 out tokens · 41029 ms · 2026-05-20T04:01:22.691997+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

41 extracted references · 41 canonical work pages

  1. [1]

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

    work page 2019

  2. [2]

    Beauchard, P

    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

  3. [3]

    Beauchard and K

    K. Beauchard and K. Pravda-Starov, Null-controllability of hypoelliptic quadratic differential equations,J. ´Ec. Polytech. Math., 5(2018), 1-43

    work page 2018

  4. [4]

    Buffe and K.D

    R. Buffe and K.D. Phung, A spectral inequality for degenerate operators and applications,C. R. Math. Acad. Sci. Paris, 356(2018), 1131-1155

    work page 2018

  5. [5]

    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

  6. [6]

    Cannarsa, A

    P. Cannarsa, A. Doubova, and M. Yamamoto, Reconstruction of degenerate conductivity region for parabolic equations,Inverse Problems, 40(2024), art no. 045033, 30pp

    work page 2024

  7. [7]

    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

  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]

    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

  10. [10]

    Chen, Control and stabilization for the wave equation in a bounded domain,SIAMJ

    G. Chen, Control and stabilization for the wave equation in a bounded domain,SIAMJ. Control Optim., 17(1979), 66-81

    work page 1979

  11. [11]

    Chiarenza and R

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

    work page 1987

  12. [12]

    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

  13. [13]

    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

  14. [14]

    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

  15. [15]

    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

  16. [16]

    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

  17. [17]

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

    work page 2006

  18. [18]

    Fursikov and O

    A.V. Fursikov and O. Yu Imanuvilov,Controllability of Evolution Equations, S´ eoul National University, S´ eoul, 1996

    work page 1996

  19. [19]

    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

  20. [20]

    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

  21. [21]

    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

  22. [22]

    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

  23. [23]

    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, The Acdemy of Mathematics and Systems Science, Academia Sinica, Beijing, 2025

    work page 2025

  24. [24]

    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

  25. [25]

    Heinonen, T

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

    work page 1993

  26. [26]

    Henrot,Extremum Problems for Eigenvalues of Elliptic Operators, Birkh¨ auser, Basel, 2006

    A. Henrot,Extremum Problems for Eigenvalues of Elliptic Operators, Birkh¨ auser, Basel, 2006

    work page 2006

  27. [27]

    Lasiecka and R

    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 and Communication Technology, volume 13, Kluwer Academic Publishers, Boston, MA, 1999, 71-78

    work page 1999

  28. [28]

    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

  29. [29]

    Q. L¨ u, X. Zhang, and E. Zuazua, Null controllability for wave equations with memory, J. Math. Pures Appl., (9), 108(2017), 500-531

    work page 2017

  30. [30]

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

    work page 2021

  31. [31]

    Miller, A direct Lebeau-Robbiano strategy for the observability of heat-like semigroups, Discrete Contin

    L. Miller, A direct Lebeau-Robbiano strategy for the observability of heat-like semigroups, Discrete Contin. Dyn. Syst. Ser. B, 14(2010), 1465-1485. 25

    work page 2010

  32. [32]

    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

  33. [33]

    Murea and D

    C.M. Murea and D. Tiba, Topological optimization via cost penalization,Topol. Methods Nonlinear Anal., 54(2019), 1023-1050

    work page 2019

  34. [34]

    Trudinger, Linear elliptic operators with measurable coefficients,Ann

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

    work page 1973

  35. [35]

    Tucsnak and G

    M. Tucsnak and G. Weiss,Observation and Control for Operator Semigroups, Birkh¨ auser, Basel, 2009

    work page 2009

  36. [36]

    G. Wang, L. Wang, and D.H, Yang, Shape optimization of an elliptic equation in an exterior domain,SIAM J. Control Optim., 45 (2006), 532-547

    work page 2006

  37. [37]

    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

  38. [38]

    W. Wu, Y. Hu, H. Sun, and D.H. Yang, Null controllability ofn-dimensional parabolic equa- tions degenerated on partial boundary, https://arxiv.org/abs/2307.00287

    work page arXiv

  39. [39]

    Yang and B.Z

    D.H. Yang and B.Z. Guo, Null controllability of a class of degenerate parabolic equations subject to Dirichlet boundary conditions,Syst. Control Lett., 209(2026), art no. 106361, 9pp

    work page 2026

  40. [40]

    Yang, B.Z

    D.H. Yang, B.Z. Guo, and W. Wu, Shape design approximation approach to a class of degen- erate parabolic equations with Neumann boundary condition and their applications,Preprint, Central South University, 2025

    work page 2025

  41. [41]

    Zuazua,Exact Controllability and Stabilization of the Wave Equation, Springer, New York, 2024

    E. Zuazua,Exact Controllability and Stabilization of the Wave Equation, Springer, New York, 2024. 26

    work page 2024