arxiv: 2605.01254 · v1 · submitted 2026-05-02 · 🧮 math.AP · math.OC

Recognition: unknown

Hidden Boundary Trace Regularity and an Observability Estimate with Interior Remainder for Boundary-Degenerate Hyperbolic Equations

Dong-Hui Yang , Jie Zhong

Authors on Pith no claims yet

Pith reviewed 2026-05-09 18:28 UTC · model grok-4.3

classification 🧮 math.AP math.OC

keywords boundary degeneracyhyperbolic equationstrace regularityobservability estimateCarleman estimatesweighted spacesanisotropic coefficientstruncated domains

0 comments

The pith

For hyperbolic equations with subcritical boundary degeneracy, the normal derivative is square-integrable on the nondegenerate boundary and observability holds up to an interior remainder.

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

The paper studies two-dimensional hyperbolic equations with boundary degeneracy of strength α in (0,1) governed by the operator with matrix A equal to the diagonal of 1 and r to the α. It proves well-posedness in weighted Sobolev spaces and an L2 estimate for the normal derivative trace on the nondegenerate boundary at r=1. By considering truncated versions of the domain and Carleman weights that are adapted to the anisotropy, the authors obtain a large-time observability estimate that bounds the energy by boundary observations plus a lower-order term from the interior. They also demonstrate that at the critical value α=1 the weighted coercivity estimate on truncated domains is no longer uniform and suffers a logarithmic loss.

Core claim

Using truncated geometries and Carleman weights adapted to the anisotropic degeneracy, a large-time observability estimate with a lower-order interior remainder is derived for α in (0,1), together with an L2 trace estimate for the normal derivative; at α=1 the weighted Dirichlet coercivity loses uniformity and exhibits a logarithmic loss on truncated domains.

What carries the argument

Truncated geometries and Carleman weights adapted to the anisotropic degeneracy of the coefficient matrix A = diag(1, r^α).

If this is right

Well-posedness holds in weighted Sobolev spaces.
An L2 trace estimate for the normal derivative holds on the nondegenerate boundary.
Large-time observability with lower-order interior remainder holds for α in (0,1).
The analysis breaks at α=1 due to loss of uniform coercivity with logarithmic loss.

Where Pith is reading between the lines

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

The interior remainder term may be removable under stronger assumptions on the degeneracy or geometry.
These truncation techniques could apply to establishing controllability results for degenerate hyperbolic systems.
The logarithmic loss at the critical threshold may indicate the need for different observation strategies or weights exactly when α=1.

Load-bearing premise

The weighted Dirichlet coercivity and associated Carleman estimates remain uniform on truncated domains for every α in (0,1).

What would settle it

A direct computation on a specific truncated domain for some α less than 1 showing that the coercivity constant deteriorates, or an example at α=1 where the loss is not logarithmic but absent.

read the original abstract

We study hidden boundary trace regularity for two-dimensional hyperbolic equations with boundary degeneracy governed by $\mcA\vp=-\Div(A\nabla \vp)$, where $A=\diag(1,r^\al)$ and $\al\in(0,1)$. We establish well-posedness in weighted Sobolev spaces and prove an $L^2$ trace estimate for the normal derivative on the nondegenerate side $r=1$. Using truncated geometries and Carleman weights adapted to the anisotropic degeneracy, we derive a large-time observability estimate with a lower-order interior remainder. We also identify a framework-level obstruction at the critical threshold $\al=1$: the weighted Dirichlet coercivity underlying the subcritical analysis loses uniformity and exhibits a logarithmic loss on truncated domains.

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

This paper gives an L2 trace estimate on the non-degenerate boundary and a large-time observability inequality with interior remainder for the specific anisotropic degeneracy A=diag(1,r^α) with α in (0,1), plus a clean identification of the log-loss obstruction at α=1.

read the letter

This work targets hidden boundary trace regularity and observability for two-dimensional hyperbolic equations with the coefficient matrix diag(1,r^α) where α sits in (0,1). It claims well-posedness in weighted Sobolev spaces, an L2 bound on the normal derivative at r=1, and then a large-time observability estimate that tolerates a lower-order interior term. The authors also flag that the weighted Dirichlet coercivity loses uniformity exactly at α=1 and produces a logarithmic loss on truncated domains.

Referee Report

2 major / 2 minor

Summary. The paper studies hidden boundary trace regularity for the two-dimensional hyperbolic equation governed by the degenerate elliptic operator A = diag(1, r^α) with α ∈ (0,1). It establishes well-posedness in weighted Sobolev spaces, proves an L² trace estimate for the normal derivative on the non-degenerate boundary r=1, derives a large-time observability estimate with a lower-order interior remainder via Carleman estimates on truncated geometries with adapted weights, and identifies a logarithmic loss of uniformity in the weighted Dirichlet coercivity at the critical threshold α=1.

Significance. If the derivations hold, the results provide a concrete extension of Carleman-based observability techniques to anisotropic boundary-degenerate hyperbolic problems, together with a sharp identification of the critical exponent where uniformity fails. The truncation-plus-limit strategy and the explicit logarithmic-loss statement at α=1 are potentially reusable in related control and unique-continuation questions for degenerate PDEs.

major comments (2)

The passage from the observability estimate on truncated domains to the full domain (presumably in §4 or §5) requires uniform control of the constants with respect to the truncation parameter; without an explicit dependence on the truncation radius that remains bounded for α ∈ (0,1), the limit argument is not yet load-bearing.
The weighted Dirichlet coercivity statement at α=1 (the obstruction result) is asserted to exhibit a logarithmic loss on truncated domains; the precise form of this loss (e.g., the factor log(1/ε) or similar) and its derivation from the weighted Poincaré inequality should be written out explicitly, as it is the only quantitative distinction between the subcritical and critical cases.

minor comments (2)

Notation for the weighted spaces (e.g., the precise definition of H^1_α or the weight r^β) should be introduced once at the beginning and used consistently; several implicit redefinitions appear in the well-posedness and trace sections.
The Carleman weight function φ(r,t) adapted to the degeneracy should be displayed explicitly (including the choice of the large parameter) so that the compensation of the r^α term in the principal part can be verified directly.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful review and the positive recommendation for minor revision. The comments help clarify the technical steps in the limiting procedure and the critical-case analysis. We respond to each major comment below.

read point-by-point responses

Referee: The passage from the observability estimate on truncated domains to the full domain (presumably in §4 or §5) requires uniform control of the constants with respect to the truncation parameter; without an explicit dependence on the truncation radius that remains bounded for α ∈ (0,1), the limit argument is not yet load-bearing.

Authors: We agree that explicit uniform control of the constants is required to make the passage to the limit rigorous. The Carleman estimates on the truncated domains are derived with weights adapted to the anisotropic degeneracy A = diag(1, r^α), and the resulting observability constants are independent of the truncation radius ε for α ∈ (0,1) because the weight functions and the lower-order terms remain controlled uniformly as ε → 0. To address the referee’s concern directly, we will add a short lemma in the revised manuscript that tracks the ε-dependence explicitly and proves boundedness of all constants for α ∈ (0,1). This will render the limit argument fully load-bearing without altering the main statements. revision: yes
Referee: The weighted Dirichlet coercivity statement at α=1 (the obstruction result) is asserted to exhibit a logarithmic loss on truncated domains; the precise form of this loss (e.g., the factor log(1/ε) or similar) and its derivation from the weighted Poincaré inequality should be written out explicitly, as it is the only quantitative distinction between the subcritical and critical cases.

Authors: We appreciate the request for a fully explicit derivation. In the revised manuscript we will expand the obstruction paragraph by deriving the precise logarithmic loss from the weighted Poincaré inequality on the truncated interval [ε,1]. We will exhibit a radial test function (logarithmic in r) that produces an upper bound of order 1/log(1/ε) for the coercivity constant and show that the weighted Poincaré inequality yields a matching lower bound of the same order. This explicit factor will be stated as C(α=1,ε) ∼ 1/log(1/ε) and will be contrasted with the ε-independent bound available for α < 1. revision: yes

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper follows a standard non-circular sequence of functional-analytic steps: first establishing well-posedness in weighted Sobolev spaces for the degenerate operator, then proving the L2 trace estimate on the nondegenerate boundary, followed by deriving the large-time observability estimate via truncated geometries and adapted Carleman weights, and finally identifying the loss of uniformity at α=1. None of these reduce by construction to self-definition, fitted inputs renamed as predictions, or load-bearing self-citations; the constructions are independent adaptations of standard tools to the given anisotropic degeneracy and do not presuppose the target observability or trace results.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the existence of suitable Carleman weights for the anisotropic operator and on the uniform coercivity of the weighted Dirichlet form on truncated domains for α<1; these are domain-specific adaptations rather than new axioms.

axioms (2)

domain assumption Well-posedness of the hyperbolic equation in the indicated weighted Sobolev spaces for α in (0,1)
Invoked to justify the functional setting in which the trace and observability estimates are stated.
domain assumption Existence of Carleman weights adapted to the degeneracy that produce the required boundary trace estimates
Central technical assumption underlying both the trace regularity and the observability result.

pith-pipeline@v0.9.0 · 5427 in / 1450 out tokens · 38866 ms · 2026-05-09T18:28:40.735489+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

23 extracted references · 2 canonical work pages

[1]

Bellassoued, M

M. Bellassoued, M. Yamamoto,Carleman Estimates and Applications to Inverse Prob- lems for Hyperbolic Systems, Springer, Tokyo, 2017

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

Alabau-Boussouira, P

F. Alabau-Boussouira, P. Cannarsa, and G. Leugering, Control and stabilization of de- generate wave equations,SIAM J. Control Optim., 55 (2017), 2052–2087

2017
[4]

Araruna, B.S.V

F.D. Araruna, B.S.V. Araújo, and E. Fernández-Cara, Carleman estimates for some two-dimensional degenerate parabolic PDEs and applications,SIAM J. Control Optim., 57(2019), 3985–4010

2019
[5]

Cannarsa, P

P. Cannarsa, P. Martinez, and J. Vancostenoble, Global Carleman estimates for degener- ate parabolic operators with applications,Mem. Amer. Math. Soc., 239 (2016), no. 1133

2016
[6]

Coron,Control and Nonlinearity, American Mathematical Society, Rhode Island, 2007

J.M. Coron,Control and Nonlinearity, American Mathematical Society, Rhode Island, 2007

2007
[7]

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

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

2010
[8]

Fursikov and O

A.V. Fursikov and O. Yu Imanuvilov,Controllability of Evolution Equations, Séoul Na- tional University, Séoul, 1996

1996
[9]

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

Guo, D.H

B.Z. Guo, D.H. Yang, and J. Zhong, A shape-design approximation for degenerate partial differential equations with degenerate boundary part and applications,preprint, 2024

2024
[11]

Heinonen, T

J. Heinonen, T. Kilpenläinen, and O. Martio,Nonlinear Potential Theory of Degenerate Elliptic Equations, Oxford University Press, New York, 1993

1993
[12]

Lasiecka, R

I. Lasiecka, R. Triggiani, and P.F. Yao, An observability estimate inL2(Ω)×H −1(Ω) for second-order hyperbolic equations with variable coefficients, in:IFIP Advances in In- formation and Communication Technology, Vol. 13, Kluwer Academic Publishers, Boston, MA, 1999, 71–78

1999
[13]

Lions, Exact controllability, stabilizability and perturbations for distributed sys- tems,SIAM Rev., 30 (1988), 1–68

J.L. Lions, Exact controllability, stabilizability and perturbations for distributed sys- tems,SIAM Rev., 30 (1988), 1–68. 32

1988
[14]

Le Rousseau, G

J. Le Rousseau, G. Lebeau, and L. Robbiano,Elliptic Carleman Estimates and Ap- plications to Stabilization and Controllability: Vol. I. Dirichlet Boundary Conditions on Euclidean Space, Birkhäuser, Cham, 2021

2021
[15]

Fragnelli, D

G. Fragnelli, D. Mugnai, and A. Sbai, Boundary controllability for degenerate/singular hyperbolic equations in nondivergence form with drift,Appl. Math. Optim., 91(2025), Art. 43

2025
[16]

Gueye, Exact boundary controllability of 1-D parabolic and hyperbolic degenerate equations,SIAM J

M. Gueye, Exact boundary controllability of 1-D parabolic and hyperbolic degenerate equations,SIAM J. Control Optim., 52 (2014), 2037–2054

2014
[17]

Tucsnak and G

M. Tucsnak and G. Weiss,Observation and Control for Operator Semigroups, Birkhäuser, Basel, 2009

2009
[18]

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

2026
[19]

Yang and J

D.H. Yang and J. Zhong, Non-homogeneous boundary value problems for second-order degenerate hyperbolic equations and their applications,arXiv preprint, arXiv:2602.07271, 2026

work page arXiv 2026
[20]

D.H. Yang, W. Wu, B.Z. Guo, and S. Chai, On exact controllability for a class of 2-D Grushin hyperbolic equation,J. Differential Equations, 448 (2025), Art. 113710

2025
[21]

Yang and J

D.H. Yang and J. Zhong, Shape-design approximation for a class of degenerate hyper- bolic equations with a degenerate boundary point and its application to observability, preprint, arXiv:2603.10428, 2026

work page arXiv 2026
[22]

Zhang and H

M. Zhang and H. Gao, Persistent regional null controllability of some degenerate wave equations,Math. Methods Appl. Sci., 40 (2017), 5821–5830

2017
[23]

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

2024