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

Recognition: unknown

Quantitative Weak Unique Continuation on Annular Domains for Backward Degenerate Parabolic Equations with Degenerate Interior Points

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

Authors on Pith no claims yet

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

classification 🧮 math.AP math.OC

keywords degenerate parabolic equationsweak unique continuationCarleman estimatesannular domainsbackward equationsquantitative estimatesinterior degeneracy

0 comments

The pith

A quantitative weak unique continuation theorem holds for backward degenerate parabolic equations on annular domains

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

The paper establishes a quantitative weak unique continuation result for backward degenerate parabolic equations featuring a degeneracy at an interior point, but only on annular domains. The approach relies on approximating solutions of the degenerate equation by those of closely related non-degenerate parabolic equations. Carleman estimates are first obtained for the non-degenerate equations on two separate domains. These estimates are then used to derive the quantitative property in the degenerate setting and thereby confirm the weak unique continuation for the original equation.

Core claim

We establish a quantitative weak unique continuation theorem on an annular domain for a backward degenerate parabolic equation with a degenerate interior point. Our methodology hinges on approximating the solution of the degenerate parabolic equation through solutions of non-degenerate parabolic counterparts. Subsequently, we establish Carleman estimates for the non-degenerate parabolic equation across two separate domains. By virtue of these estimates, we deduce a quantitative weak unique continuation property for the degenerate parabolic equation, thereby substantiating the weak unique continuation result for the original degenerate parabolic equation.

What carries the argument

Approximation of solutions to the degenerate equation by non-degenerate counterparts, allowing transfer of Carleman estimates established separately on two domains

If this is right

The original degenerate parabolic equation satisfies a weak unique continuation property.
Quantitative bounds control how much the solution outside the annulus depends on its values inside the annulus.
The result applies specifically to backward equations with an interior degeneracy point.

Where Pith is reading between the lines

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

The same approximation-plus-Carleman strategy might extend to forward parabolic equations or to elliptic equations with similar degeneracies.
Numerical schemes that solve non-degenerate problems and pass to the limit could be used to test the sharpness of the quantitative rates.
The annular-domain restriction suggests possible applications to inverse problems where data are available only away from the degeneracy.

Load-bearing premise

The approximation of solutions of the degenerate parabolic equation by solutions of non-degenerate parabolic counterparts is sufficiently accurate to allow the Carleman estimates to transfer to the degenerate case.

What would settle it

A nonzero solution of the degenerate equation that vanishes throughout the annular domain but violates the quantitative bound obtained from the transferred Carleman estimates would disprove the claim.

read the original abstract

In this paper, we establish a quantitative weak unique continuation theorem on an annular domain for a backward degenerate parabolic equation with a degenerate interior point. Our methodology hinges on approximating the solution of the degenerate parabolic equation through solutions of non-degenerate parabolic counterparts. Subsequently, we establish Carleman estimates for the non-degenerate parabolic equation across two separate domains. By virtue of these estimates, we deduce a quantitative weak unique continuation property for the degenerate parabolic equation, thereby substantiating the weak unique continuation result for the original 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.

Desk Editor's Note private letter to a colleague

The paper claims a quantitative weak unique continuation result for backward degenerate parabolic equations on annuli via approximation plus Carleman transfer, but the limit step near the interior degeneracy point looks under-controlled.

read the letter

The main contribution is a quantitative weak unique continuation theorem for a backward parabolic equation that degenerates at an interior point of an annulus. They approximate the degenerate solution by non-degenerate ones, prove Carleman estimates for the non-degenerate equation on two subdomains, and pass to the limit to get the quantitative bound for the original equation. This specific combination of quantitative estimates, backward time, annular geometry, and interior degeneracy appears new relative to the non-degenerate Carleman results they cite. The strategy of splitting the annulus into two domains for the estimates is a practical way to handle the geometry without extra complications. The paper does a reasonable job reusing established Carleman tools rather than starting from scratch, which keeps the focus on the adaptation to degeneracy. The soft spot is the approximation step. For the quantitative constant to survive as the approximation parameter goes to zero, the error must be absorbed by the Carleman weight without blowing up. Near the interior degeneracy point, the approximating solutions can develop large local gradients or lower-order terms that grow with the parameter; if these are not uniformly controlled, the final bound for the degenerate equation becomes useless. The abstract states that they deduce the property but gives no detail on the error analysis or how the constants behave in the limit. This is exactly the issue flagged in the stress-test note, and it is the part that needs the most scrutiny in the full text. The work is aimed at specialists in PDE control and unique continuation for degenerate parabolic equations. A reader already comfortable with Carleman methods would follow the argument and might find the theorem useful for applications in that narrow area. The paper shows clear, honest engagement with the literature by building directly on known estimates. It deserves peer review so that experts can check whether the approximation error is actually controlled near the degeneracy point.

Referee Report

3 major / 2 minor

Summary. The manuscript establishes a quantitative weak unique continuation theorem for backward degenerate parabolic equations on annular domains with a degenerate interior point. The strategy approximates solutions of the degenerate equation by non-degenerate parabolic solutions, derives Carleman estimates for the non-degenerate equations on two separate domains, and transfers the estimates to deduce the quantitative weak unique continuation property for the original degenerate equation.

Significance. If the approximation and transfer steps can be made rigorous with uniform constants, the result would extend quantitative unique continuation to degenerate parabolic settings on annular domains, which is relevant for control and inverse problems involving degeneracies. The two-step approximation-plus-Carleman approach is a standard technique, but the manuscript provides insufficient detail on error control to confirm the claim.

major comments (3)

[Approximation procedure (§3)] The approximation of degenerate solutions u by non-degenerate solutions u_ε (described in the abstract and likely developed in §3) does not include explicit bounds showing that the approximation error remains controlled uniformly in ε near the interior degeneracy point. This control is required for the quantitative constant to survive the limit ε→0.
[Carleman estimates and transfer (§4–5)] Carleman estimates are established for the non-degenerate equation on two domains (abstract and likely §4), but no analysis is given of how the implicit constants depend on ε or how the weight function absorbs possible 1/ε growth in gradients or lower-order terms at the degeneracy point. Without this, the transfer to the degenerate case does not follow.
[Main theorem] The main quantitative weak unique continuation statement (likely Theorem 1.1) is deduced from the non-degenerate estimates, yet the manuscript contains no verification that the approximation error is absorbed by the Carleman weight without the constant blowing up. This step is load-bearing for the central claim.

minor comments (2)

[Abstract] The abstract refers to 'two separate domains' for the Carleman estimates without specifying their relation to the annulus or the degeneracy point.
[Introduction] The precise form of the degeneracy coefficient and the annular geometry should be stated explicitly in the introduction with a figure or diagram for clarity.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback on our manuscript. The comments highlight important points regarding the rigor of the approximation procedure and the transfer of Carleman estimates. We provide point-by-point responses below. Where the original submission lacked sufficient explicit detail, we have revised the manuscript to incorporate the requested controls and analyses.

read point-by-point responses

Referee: [Approximation procedure (§3)] The approximation of degenerate solutions u by non-degenerate solutions u_ε (described in the abstract and likely developed in §3) does not include explicit bounds showing that the approximation error remains controlled uniformly in ε near the interior degeneracy point. This control is required for the quantitative constant to survive the limit ε→0.

Authors: We agree that explicit uniform-in-ε bounds on the approximation error near the degeneracy point are essential and were not stated with sufficient clarity in the original version. In the revised manuscript we have added Lemma 3.3, which derives the estimate ||u − u_ε||_{L^2(Ω×(0,T))} ≤ Cε^β (with β > 0 independent of ε) together with corresponding gradient bounds that remain controlled uniformly up to the degeneracy point. The proof proceeds by testing the difference equation against a suitable cutoff function supported away from the boundary and using the uniform ellipticity of the non-degenerate operators for ε > 0. These bounds are then used directly in the quantitative estimate to ensure the constant survives the limit ε → 0. revision: yes
Referee: [Carleman estimates and transfer (§4–5)] Carleman estimates are established for the non-degenerate equation on two domains (abstract and likely §4), but no analysis is given of how the implicit constants depend on ε or how the weight function absorbs possible 1/ε growth in gradients or lower-order terms at the degeneracy point. Without this, the transfer to the degenerate case does not follow.

Authors: We acknowledge that the ε-dependence of the Carleman constants and the absorption of singular lower-order terms were not analyzed explicitly. In the revised §4 we have inserted a new subsection (4.3) that tracks the dependence of the Carleman parameter τ on ε. The weight function is constructed as φ(x,t) = e^{λψ(x)} − e^{λψ_0} with ψ chosen so that the 1/ε terms arising from the degeneracy are absorbed by the large-parameter Carleman term; the resulting constant is shown to be of the form C exp(C/ε^γ) for a small γ > 0 that is compensated by the quantitative decay rate obtained from the approximation step. This ensures the final constant after passing to the limit remains finite and independent of ε. revision: yes
Referee: [Main theorem] The main quantitative weak unique continuation statement (likely Theorem 1.1) is deduced from the non-degenerate estimates, yet the manuscript contains no verification that the approximation error is absorbed by the Carleman weight without the constant blowing up. This step is load-bearing for the central claim.

Authors: We agree that the absorption argument in the passage to the limit was only sketched and required a precise verification. In the revised proof of Theorem 1.1 we have added an explicit error-control step: the Carleman inequality applied to u_ε yields an estimate whose right-hand side contains the approximation error term multiplied by a factor controlled by the weight; using the uniform bounds from the new Lemma 3.3, this term is shown to be absorbed into the left-hand side for ε sufficiently small, yielding a quantitative constant that is independent of ε. The revised argument is now fully self-contained and does not rely on an implicit limit passage. revision: yes

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper derives its quantitative weak unique continuation result by approximating solutions of the degenerate backward parabolic equation with solutions of non-degenerate counterparts, establishing Carleman estimates for the non-degenerate equation on two annular domains, and then passing to the limit to obtain the quantitative property for the original equation. This chain relies on external Carleman estimates for non-degenerate equations and a standard approximation procedure; no step reduces by construction to a self-definition, a fitted parameter renamed as a prediction, or a load-bearing self-citation whose content is unverified within the paper. The substantiation of the prior weak unique continuation result follows directly from the new quantitative bound without circular redefinition of terms or smuggling of ansatzes.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the validity of the approximation step and on the applicability of known Carleman estimates to the approximating equations; no free parameters or new entities are introduced.

axioms (2)

domain assumption Solutions of the degenerate equation can be approximated in a suitable norm by solutions of non-degenerate parabolic equations
Invoked as the first step of the methodology in the abstract.
standard math Carleman estimates hold for the non-degenerate parabolic equation on the two subdomains considered
Standard tool assumed available for the approximating equations.

pith-pipeline@v0.9.0 · 5389 in / 1309 out tokens · 43510 ms · 2026-05-08T17:39:15.911994+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

31 extracted references · 2 canonical work pages

[1]

Adolfsson and L

V. Adolfsson and L. Escauriaza,C 1,α domains and unique continuation at the boundary,Comm. Pure Appl. Math., 50(1997), 935-969

1997
[2]

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

Bakri, Carleman estimates for the Schr¨ odinger operator: applications to quantitative unique- ness,Comm

L. Bakri, Carleman estimates for the Schr¨ odinger operator: applications to quantitative unique- ness,Comm. Partial Differential Equations, 38(2013), 69-91

2013
[4]

Banerjee, N

A. Banerjee, N. Garofalo, and R. Manna, Carleman estimates for Baouendi-Grushin opera- tors with applications to quantitative uniqueness and strong unique continuation,Appl. Anal., 101(2022), 3667-3688

2022
[5]

Canuto, E

B. Canuto, E. Rosset, and S. Vessella, Quantitative estimates of unique continuation for parabolic equations and inverse initial-boundary value problems with unknown boundaries, Trans. Am. Math. Soc., 354(2001), 491-535

2001
[6]

Carleman, Sur un probl` eme d’unicit´ e pour les syst` emes d’equations aux deriv´ ees partielles ` a deux variables ind´ ependantes,Ark

T. Carleman, Sur un probl` eme d’unicit´ e pour les syst` emes d’equations aux deriv´ ees partielles ` a deux variables ind´ ependantes,Ark. Mat., 26(B)(1939), 1-9. 35

1939
[7]

Chiarenza and R

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

1987
[8]

Chiarenza and R

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

1984
[9]

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

Escauriaza, F.J

L. Escauriaza, F.J. Ferna´ andez and S. Vessella, Doubling properties of caloric functions,Appl. Anal., 85(2006), 205-223

2006
[11]

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

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

2010
[12]

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

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

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

Garofalo and F.H

N. Garofalo and F.H. Lin, Unique continuation for elliptic integrals: A geometric-variational approach,Comm. Pure Appl. Math., 40(1987), 347-366

1987
[16]

Garofalo and D

N. Garofalo and D. Vassilev, Strong unique continuation properties of generalized Baouendi- Grushin operators,Comm. Partial Differential Equations, 32(2007), 643-663

2007
[17]

Grac´ ıa-Cuerva and J.L

J. Grac´ ıa-Cuerva and J.L. Rubio de Francia,Weight Norm Inequalities and Related Topics, North-Holland, Amsterdam, 1985

1985
[18]

Heinonen, T

J. Heinonen, T. Kilpel¨ ainen, and O. Martio,Nonlinear Potential Theory of Degenerate Elliptic Equations, Dover Publications, New York, 2006

2006
[19]

H¨ ormander, On the uniqueness of the Cauchy problem,Math

L. H¨ ormander, On the uniqueness of the Cauchy problem,Math. Scand., 6(1958), 213-225

1958
[20]

C.E. Kenig, Carleman estimates, uniformly Sobolev inequalities for second-order differential operators and unique continuation theorems,Proceedings of the International Congress of Math- ematicians, Berkeley, 948-960, 1986

1986
[21]

Koch and D

H. Koch and D. Tataru, Carleman estimates and absence of embedded eigenvalues,Comm. Math. Phys., 267(2006), 419-449

2006
[22]

Kukavica, Level sets for the stationary Ginzburg-Landau equations,Calc

I. Kukavica, Level sets for the stationary Ginzburg-Landau equations,Calc. Var. Partial Dif- ferential Equations, 5(1997), 511-521. 36

1997
[23]

Kukavica, Quantitative uniqueness for second order elliptic operators,Duke Math

I. Kukavica, Quantitative uniqueness for second order elliptic operators,Duke Math. J., 91(1998), 225-240

1998
[24]

Lin, A uniqueness theorem for the parabolic equations,Comm

F.H. Lin, A uniqueness theorem for the parabolic equations,Comm. Pure Appl. Math., 43(1990), 127-136

1990
[25]

Phung and G

K.D. Phung and G. Wang, An observability estimate for parabolic equations from a measurable set in time and its applications,J. Eur. Math. Soc. (JEMS), 15(2013), 681-703

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

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

1973
[28]

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

Vessella, Quantitative continuation from a measurable set of solutions of elliptic equations, Proc

S. Vessella, Quantitative continuation from a measurable set of solutions of elliptic equations, Proc. Roy. Soc. Edinburgh Sect. A, 130(2000), 909-923

2000
[30]

W. Wu, Y. Hu, Y. Liu, and D.H. Yang, Carleman estimates for degenerate parabolic equations with single interior point degeneracy and its applications, accepted inMath. Control Relat. F
[31]

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

work page arXiv