The C^(1,α) boundary Harnack principle in a slit domain and its application to the Signorini problem
Pith reviewed 2026-05-24 08:18 UTC · model grok-4.3
The pith
The free boundary in the Signorini problem with variable coefficients is C^{2,α} regular.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove the C^{2,α} regularity of the free boundary in the Signorini problem with variable coefficients. We use a C^{1,α} boundary Harnack inequality in slit domain. The key method is to study a non-standard degenerate elliptic equation and obtain a C^{1,α} Schauder estimate.
What carries the argument
The C^{1,α} boundary Harnack inequality in the slit domain applied to the degenerate elliptic equation.
If this is right
- The free boundary is C^{2,α} regular.
- The approach works for variable coefficients.
- Higher regularity follows from the bootstrap using the Harnack principle.
Where Pith is reading between the lines
- The method may extend to other free boundary problems with degeneracy.
- It could inform analysis of related thin obstacle problems.
Load-bearing premise
The C^{1,α} Schauder estimate for the non-standard degenerate elliptic equation in the slit domain holds and suffices for the bootstrap.
What would settle it
An explicit example of a Signorini problem with variable coefficients where the free boundary fails to be C^{2,α}, or where the Schauder estimate does not hold.
read the original abstract
We prove the $C^{2,\alpha}$ regularity of the free boundary in the Signorini problem with variable coefficients. We use a $C^{1,\alpha}$ boundary Harnack inequality in slit domain. The key method is to study a non-standard degenerate elliptic equation and obtain a $C^{1,\alpha}$ Schauder estimate.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves the C^{2,α} regularity of the free boundary in the Signorini problem with variable coefficients. The proof proceeds by establishing a C^{1,α} boundary Harnack principle in a slit domain, which is obtained by analyzing a non-standard degenerate elliptic equation and deriving a corresponding C^{1,α} Schauder estimate.
Significance. If the central estimates hold, the result extends free-boundary regularity theory from constant to variable coefficients, a meaningful advance for obstacle-type problems. The slit-domain boundary Harnack technique itself may prove useful in other degenerate or transmission problems.
minor comments (1)
- The abstract states the main result but does not list the precise assumptions on the variable coefficients or the dimension; these should be stated explicitly in the introduction.
Simulated Author's Rebuttal
We thank the referee for their report on our manuscript. The referee notes that the result would be a meaningful advance if the central estimates hold, but provides no specific major comments and leaves the recommendation uncertain. We are prepared to address any technical concerns regarding the C^{1,α} boundary Harnack principle or the Schauder estimate for the degenerate equation.
Circularity Check
No significant circularity identified
full rationale
The provided abstract describes a standard analytic proof establishing C^{2,α} free-boundary regularity for the Signorini problem via a C^{1,α} boundary Harnack inequality and a Schauder estimate on a degenerate elliptic equation in a slit domain. No equations, fitted parameters, self-citations, or ansatzes are exhibited that reduce any claimed prediction or uniqueness result to the paper's own inputs by construction. As a self-contained regularity argument in PDE theory, the derivation chain does not exhibit any of the enumerated circularity patterns.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
div(ξ² A · ∇w) = div(ξ² f) + ξ² g in B₁∖S; weighted energy ∥w∥_{H¹(Br∖S,ξ² dx)}
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
C^{1,α} boundary Harnack via property (FA) and linearization in (x,ρ)
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
-
[1]
I. Athanasopoulos and L. A. Caffarelli. Optimal regulari ty of lower dimensional obstacle problems. Journal of Mathematical Sciences (New York) , 132(1):49–66, 2004
work page 2004
-
[2]
I. Athanasopoulos, L. A. Caffarelli, and S. Salsa. The str ucture of the free boundary for lower dimensional obstacle problems. American Journal of Mathematics , 130(2):485–498, 2008
work page 2008
-
[3]
L. Caffarelli, E. Fabes, S. Mortola, and S. Salsa. Boundar y behavior of nonnegative solutions of elliptic operators in divergence form. Indiana Univ. Math. J. , 30(4):621–640, 1981
work page 1981
-
[4]
Caffarelli, Sandro Salsa, and Luis Silvestre
Luis A. Caffarelli, Sandro Salsa, and Luis Silvestre. Reg ularity estimates for the solution and the free boundary of the obstacle problem for the fractional laplacian. Inventiones mathe- maticae, 171(2):425–461, 2008
work page 2008
-
[5]
Boundary harnack esti mates in slit domains and appli- cations to thin free boundary problems
Daniela De Silva and Ovidiu Savin. Boundary harnack esti mates in slit domains and appli- cations to thin free boundary problems. Revista Matem´ atica Iberoamericana, 32, 06 2014
work page 2014
-
[6]
c∞ regularity of certain thin free boundaries
Daniela De Silva and Ovidiu Savin. c∞ regularity of certain thin free boundaries. Indiana University Mathematics Journal , 64(5):1575–1608, 2015
work page 2015
-
[7]
On parabolic and elliptic equ ations with singular or degenerate coefficients
Hongjie Dong and Tuoc Phan. On parabolic and elliptic equ ations with singular or degenerate coefficients. Indiana Univ. Math. J. , 72(4):1461–1502, 2023
work page 2023
-
[8]
Hongjie Dong and Tuoc Phan. W eighted mixed-norm l estima tes for equations in non- divergence form with singular coefficients: The dirichlet pr oblem. Journal of Functional Analysis, 285:109964, 03 2023
work page 2023
- [9]
-
[10]
E. B. Fabes, C. E. Kenig, and D. Jerison. Boundary behavi or of solutions to degenerate elliptic equations. In Conference on harmonic analysis in honor of Antoni Zygmund, Vol. I, II (Chicago, Ill., 1981) , W adsworth Math. Ser., pages 577–589. W adsworth, Belmont, CA, 1983
work page 1981
-
[11]
Eugene B. Fabes, Carlos E. Kenig, and Raul P. Serapioni. The local regularity of solutions of degenerate elliptic equations. Comm. Partial Differential Equations , 7(1):77–116, 1982
work page 1982
-
[12]
Nicola Garofalo and Mariana Smit Vega Garcia. New monot onicity formulas and the opti- mal regularity in the signorini problem with variable coeffic ients. Advances in Mathematics , 262:682–750, 2014
work page 2014
-
[13]
Nicola Garofalo, Arshak Petrosyan, and Mariana Smit Ve ga Garcia. An epiperimetric in- equality approach to the regularity of the free boundary in t he signorini problem with variable coefficients. Journal de Math´ ematiques Pures et Appliqu´ ees, 105, 01 2015
work page 2015
-
[14]
Optimal regularity for the signorini p roblem
Nestor Guillen. Optimal regularity for the signorini p roblem. Calculus of Variations and Partial Differential Equations , 36:533, 2009
work page 2009
-
[15]
Higher order boundary h arnack principles in dini type domains, 2023
Seongmin Jeon and Stefano Vita. Higher order boundary h arnack principles in dini type domains, 2023
work page 2023
-
[16]
Higher regularity of the free boundary in the elliptic signorini problem
Herbert Koch, Arshak Petrosyan, and W enhui Shi. Higher regularity of the free boundary in the elliptic signorini problem. Nonlinear Analysis, 126:3–44, 2015. Sub-Riemannian Geomet- ric Analysis and PDEs
work page 2015
-
[17]
The variable coefficient thin obstacle prob- lem: Carleman inequalities
Herbert Koch, Angkana R¨ uland, and W enhui Shi. The variable coefficient thin obstacle prob- lem: Carleman inequalities. Advances in Mathematics , 301:820–866, October 2016
work page 2016
-
[18]
The varia ble coefficient thin obstacle prob- lem: Higher regularity
Herbert Koch, Angkana Ruland, and W enhui Shi. The varia ble coefficient thin obstacle prob- lem: Higher regularity. Advances in Differential Equations , 22(11-12):793–866, January 2017
work page 2017
-
[19]
Herbert Koch, Angkana R¨ uland, and W enhui Shi. The variable coefficient thin obstacle prob- lem: Optimal regularity and regularity of the regular free b oundary. Annales de l’Institut Henri Poincare (C) Analyse Non Lineaire , 34(4):845–897, July 2017
work page 2017
-
[20]
A. Petrosyan, H. Shahgholian, and N.N. Uraltseva. Regularity of Free Boundaries in Obstacle- Type Problems. Graduate studies in mathematics. American Mathematical S ociety, 2012
work page 2012
-
[21]
Optimal regularity for the thin obstacle problem with c0,α coefficients
Angkana R¨ uland and W enhui Shi. Optimal regularity for the thin obstacle problem with c0,α coefficients. Calculus of Variations and Partial Differential Equations , 56(5), October 2017
work page 2017
-
[22]
Higher order boundary harnack prin- ciple via degenerate equations, 2024
Susanna Terracini, Giorgio Tortone, and Stefano Vita. Higher order boundary harnack prin- ciple via degenerate equations, 2024. Department of Mathematics, Columbia University, New York, NY 10 027 Email address : cz2584@columbia.edu
work page 2024
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.