REVIEW 2 major objections 4 minor 31 references
Boundary regularity for a fully nonlinear free transmission problem
T0 review · 2 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read A fully nonlinear free transmission problem driven by two sign-dependent operators has $C^{1,{\rm Log-Lip}}$ boundary regularity when the operators are close to a common limit, and $W^{2,d}$ boundary estimates when the limit is…
desk verdict Solid boundary regularity toolkit for free transmission problems; Theorem 2 overclaims the endpoint p=d. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing mechanism is the approximation lemma (Proposition 4 and Corollary 1): near the boundary, one solves the limiting homogeneous problem $F(D^2h,Dh)=0$ with $h=u$ on the boundary of a smaller half-ball, obtaining a $C^{2,\alpha}$ comparison function; the difference $w=u-h$ then satisfies the extremal-Pucci-type inequalities of the class $\mathcal S^*(\varphi)$ with data controlled by $\kappa^\gamma+\|f\|_{L^d}$, where the extremal Pucci operators are the minimal and maximal envelopes of uniformly elliptic operators. In Theorem 1, the comparison drives an induction over dyadic scales that constructs affine and quadratic polynomials tracking $u$ at the boundary, producing the log-Lipschitz modulus of the gradient. In Theorem 2, the same comparison feeds a Calderón–Zygmund decomposition argument that turns the measure decay of the bad sets $A_{M^k}$ into $L^d$-integrability of $D^2u$.
What would settle it
Take a domain satisfying A1, choose two operators satisfying A2 and A4 with arbitrarily small $\tau$, put $f\in L^p$, $p>d$, and prescribe boundary data that change sign on the flat boundary so that both phases meet at a boundary point $x_0$; if a normalized viscosity solution of (2)-(3) at such a point has boundary Taylor error whose ratio to $r^2\ln(1/r)$ is unbounded as $r\to 0$, Theorem 1 is false. A concrete place to look is a small derivative perturbation of the two-phase model in Remark 1, checking the observed decay against the claimed log-Lipschitz modulus.
Extended reading notes
Core claim
The central claim is that the boundary regularity of the two-phase system is controlled by the limiting homogeneous problem. Theorem 1 states that a normalized viscosity solution of the two-inequality system, under the domain-regularity assumption A1, the structural ellipticity assumption A2, the uniform closeness assumption A4, and $f\in L^p$, $p>d$, is $C^{1,{\rm Log-Lip}}$ at the boundary: for every boundary point $x_0$, $|u(x)-u(x_0)-Du(x_0)(x-x_0)|\leq C|x-x_0|^2\ln(1/|x-x_0|)$. Theorem 2 states that if the limiting operator is also differentiable in the Hessian entry (A5) and the closeness allows Hessian growth (A3), then $f\in L^d$ suffices to place $u$ in $W^{2,d}$ on a boundary strip, with a universal estimate. The paper also shows that this is near the optimal scale: even with convex, smooth operators that agree on the boundary, the Hessian can be discontinuous, so one cannot expect $C^{2,\alpha}$ propagation.
Load-bearing premise
The whole argument depends on the two phase operators being uniformly close to a single limiting elliptic operator $F$, with the smallness constants $\tau$ and $\kappa$ fixed only after the approximation parameter is chosen; if that closeness fails, the comparison with $F=0$ carries no information and both boundary theorems collapse, and the proof of Theorem 2 also secretly uses integrability of $f$ strictly above $d$ although the theorem is stated for $f\in L^d$.
Editorial extensions
If this is right
- If Theorem 1 is correct, every $L^p$-viscosity solution with $p>d$ is differentiable at every boundary point, and the distance from the solution to its tangent plane is bounded by $C|x-x_0|^2\ln(1/|x-x_0|)$.
- If Theorem 2 is correct, adding $C^1$ differentiability of the limiting profile upgrades the boundary regularity to $W^{2,d}$ without any convexity assumption on the phase operators.
- The results apply to strong solutions of the original transmission problem (1), since an $L^d$-strong solution is automatically an $L^d$-viscosity solution of the two-inequality system (2)-(3).
- The optimality example in Remark 1 shows that the Hessian cannot be expected to be Hölder continuous even with smooth boundary data and convex, small-perturbation operators; the $C^{1,{\rm Log-Lip}}$ and $W^{2,d}$ scales are therefore natural stopping points.
Reading between the lines
- The paper does not pursue it, but the same two-inequality comparison should force boundary regularity for any finite number of sign-selected operators, as long as all of them are uniformly close to a common limiting operator.
- The approximation lemma suggests quantitative stability of the free-boundary set: small changes in the phase operators should move the interface $\partial\{u>0\}\cap\partial\{u<0\}$ by an amount controlled by the closeness parameters, because the comparison solution $h$ is pinned down by the limiting operator.
- A testable extension in the subcritical range $d/2<p<d$ is that the same approximation method should yield $W^{1,q}$ boundary estimates for every $q<dp/(d-p)$; the paper's Remark 4 sketches the interior mechanism but does not prove the boundary version.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies boundary regularity for the fully nonlinear free transmission problem (1), in which the operator switches between F1 and F2 according to the sign of the solution. Working with Lp-viscosity solutions of the viscosity inequality formulation (2)-(3), the authors prove two main results under different closeness assumptions to a common uniformly elliptic operator F: Theorem 1 establishes C^{1,Log-Lip} boundary estimates when F1 and F2 are uniformly close to F in the sense of Assumption A4, and Theorem 2 claims W^{2,d} boundary regularity when the operators satisfy the stronger closeness condition A3 and the limiting operator is differentiable (A5). The proof strategy combines an approximation lemma (Proposition 4 and Corollary 1) with boundary regularity results for the limiting equation F=0 and Calderón-Zygmund-type arguments.
Significance. If correct, the results would extend boundary regularity theory from single fully nonlinear equations to free transmission problems without convexity assumptions, which is a genuine contribution to an active area. The paper is clearly structured, builds on established tools such as the ABP maximum principle and the boundary regularity results of Silvestre-Sirakov, and Theorem 1's proof is plausible. The main reservation concerns Theorem 2: the proof as written does not justify the claimed endpoint W^{2,d} estimate. Since Theorem 2 is one of the two stated headline results, the paper's overall significance is conditional on repairing that gap or adjusting the theorem.
major comments (2)
- [Section 5, Proof of Theorem 2] The proof of Theorem 2 invokes the strong-type maximal inequality in the form ||M(f^d)||_{L^{p/d}(Ω)} ≤ C ||f^d||_{L^{p/d}(Ω)}, which is valid only when p/d > 1, i.e. p > d. The theorem statement assumes only f ∈ L^d, so the displayed estimate leading to (20), ∑ M^{pk} β_k ≤ C, is not justified at the endpoint p=d. Consequently, Lemma 1 yields the conclusion u ∈ W^{2,p} only for some p>d, not the stated W^{2,d}. Please either provide a genuine endpoint argument (for example, using the weak-type (1,1) bound together with an additional summability argument) or restate Theorem 2 with the weaker integrability assumption that the proof actually supports.
- [Section 3, Proposition 4] In the proof of Proposition 4, the step 'Proposition 3 applied to h − h(x0) in B_{θ/2}(x0) yields θ² ||D²h(x)|| ≤ C θ^α (1 + ||f||_{L^d})' is not justified as written. Proposition 3 gives a C^{2,α} bound on h, which implies ||D²h||_{L∞} ≤ C and hence θ² ||D²h|| ≤ C θ², not C θ^α. The subsequent estimate (10), controlling |F_i(D²h, Dh, x)| through Assumption A3, depends on this θ^{α-2} bound; without a correct derivation, the approximation-error estimate in Proposition 4 lacks support. This estimate is load-bearing for Lemma 2 and therefore for Theorem 2, so the argument needs to be clarified or corrected.
minor comments (4)
- [Section 4, Step 3] In the induction step of the proof of Theorem 1, the sentence 'Since Assumption 3 holds uniformly for F_i, it also holds for F^k_i' appears to refer to Assumption A4 rather than Assumption A3; please correct the reference.
- [Section 5, Proof of Theorem 2] The sentence 'Let M > 0 and C0 > 0 be the same as in Lemma 7' should refer to Proposition 7, not Lemma 7, since the relevant statement is Proposition 7.
- [Section 5, Proposition 5] Proposition 5 assumes f ∈ L^p(B^+_{14√d}) but the asserted estimate uses the L^d norm of f; please state the intended integrability assumption consistently.
- [General] There are minor typographical issues (e.g., 'onde completes the proof' at the end of Proposition 4 and inconsistent use of B^+_1 versus B^+_{14√d} after rescaling) that should be corrected in a revision.
Circularity Check
No significant circularity: the boundary regularity theorems are derived from stated closeness assumptions and external regularity results, not from their own conclusions.
full rationale
The paper's derivation chain is self-contained with respect to circularity. Theorem 1 follows from the approximation Corollary 1, which is obtained from Assumption A4 (uniform closeness to a limiting uniformly elliptic operator F) and the boundary regularity theory for solutions of F=0 imported from Silvestre–Sirakov [27]. The limiting operator F is an assumed object, not derived from the conclusion, and the C^{1,Log-Lip} estimate is obtained by an induction/Taylor-expansion argument rather than by assuming the desired regularity. Theorem 2 likewise proceeds through the approximation lemma (Proposition 4), Calderón–Zygmund decomposition, and maximal-function estimates; no parameter is fitted to data and renamed as a prediction, and no assumption is defined in terms of the target estimate. The self-citations [21] and [23] concern existence and local regularity of free transmission problems and are not load-bearing for the boundary estimates; the boundary regularity results that carry the argument are external ([3], [27], [31]). The reviewer's concern about Theorem 2, namely that the strong-type maximal-function estimate requires p>d while the theorem states f∈L^d, is a technical gap or proof issue rather than a circularity: the claimed estimate is not equivalent to its inputs by construction, nor is it forced by a self-citation chain. Accordingly, the appropriate circularity score is 0.
Assumptions & free parameters
free parameters (2)
- smallness constant kappa in Assumption A3 =
kappa << 1, chosen in Proposition 4, Lemma 2, Theorem 2
- smallness constant tau in Assumption A4 =
tau << 1, chosen in Corollary 1 and Theorem 1
assumptions (7)
- domain assumption A1: the boundary of Omega is locally C^{2,beta}, so flattening and rescaling to half-balls are available.
- domain assumption A2: each F_i satisfies the structural condition with ellipticity constants lambda <= Lambda and gradient Lipschitz constant K.
- ad hoc to paper A3 and A4: F1 and F2 are close to a common uniformly elliptic operator F, with closeness independent of |M| in A4.
- domain assumption A5: the limiting operator F is C1 in its matrix argument.
- standard math The Silvestre-Sirakov boundary expansion [27, Theorem 1.2] applies to h, giving quadratic approximations at boundary points.
- standard math The Winter boundary Lp estimates [31, Proposition 2.12] hold for the class S*(f) as claimed in Proposition 5.
- standard math Caffarelli-Cabre Calderon-Zygmund cube decomposition and maximal function estimates [3] are valid in the half-ball setting.
invented entities (1)
-
limiting operator F
Cite this review
Pith. "Pith review of Boundary regularity for a fully nonlinear free transmission problem." pith.science (2026). https://pith.science/paper/Z2IMXF22
@misc{pith2026241115335,
author = {Pith},
title = {Pith review of: Boundary regularity for a fully nonlinear free transmission problem},
year = {2026},
howpublished = {\url{https://pith.science/paper/Z2IMXF22}},
note = {Machine review of arXiv:2411.15335}
}
abstract
We examine boundary regularity for a fully nonlinear free transmission problem. We argue using approximation methods, comparing the operators driving the problem with a limiting profile. Working natural conditions on the data of the problem, we produce regularity estimates in Sobolev and $C^{1,{\rm Log-Lip}}$-spaces. Our findings extend recent developments in the literature to the free boundary setting.
Figures
Reference graph
Works this paper leans on
-
[1]
Gradient esti mates for the perfect conductivity problem
Ellen Shiting Bao, Yan Yan Li, and Biao Yin. Gradient esti mates for the perfect conductivity problem. Arch. Ration. Mech. Anal. , 193(1):195–226, 2009
work page 2009
-
[2]
Gradient esti mates for the perfect and insulated conductivity problems with multi ple inclusions
Ellen Shiting Bao, Yan Yan Li, and Biao Yin. Gradient esti mates for the perfect and insulated conductivity problems with multi ple inclusions. Comm. Partial Differential Equations , 35(11):1982–2006, 2010
work page 1982
-
[3]
Luis A. Caffarelli and Xavier Cabré. Fully nonlinear elliptic equations , vol- ume 43 of American Mathematical Society Colloquium Publications . Amer- ican Mathematical Society, Providence, RI, 1995
work page 1995
-
[4]
Caffarelli, María Soria-Carro, and Pablo Raúl Sti nga
Luis A. Caffarelli, María Soria-Carro, and Pablo Raúl Sti nga. Regular- ity for C1,α interface transmission problems. Arch. Ration. Mech. Anal. , 240(1):265–294, 2021. 24
work page 2021
-
[5]
Sergio Campanato. Sul problema di M. Picone relativo all ’equilibrio di un corpo elastico incastrato. Ricerche Mat., 6:125–149, 1957
work page 1957
-
[6]
Sui problemi al contorno per sistemi d i equazioni dif- ferenziali lineari del tipo dell’elasticità
Sergio Campanato. Sui problemi al contorno per sistemi d i equazioni dif- ferenziali lineari del tipo dell’elasticità. I. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3) , 13:223–258, 1959
work page 1959
-
[7]
Sui problemi al contorno per sistemi d i equazioni dif- ferenziali lineari del tipo dell’elasticità
Sergio Campanato. Sui problemi al contorno per sistemi d i equazioni dif- ferenziali lineari del tipo dell’elasticità. II. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3) , 13:275–302, 1959
work page 1959
-
[8]
Continuity properties of functions fro m Orlicz-Sobolev spaces and embedding theorems
Andrea Cianchi. Continuity properties of functions fro m Orlicz-Sobolev spaces and embedding theorems. Ann. Sc. Norm. Super. Pisa, Cl. Sci., IV. Ser. , 23(3):575–608, 1996
work page 1996
Show all 31 references
-
[9]
Crandall, Hitoshi Ishii, and Pierre-Louis Li ons
Michael G. Crandall, Hitoshi Ishii, and Pierre-Louis Li ons. User’s guide to viscosity solutions of second order partial differential equations. Bull. Amer. Math. Soc. (N.S.) , 27(1):1–67, 1992
1992
-
[10]
Bor- derline estimates for fully nonlinear elliptic equations
Panagiota Daskalopoulos, Tuomo Kuusi, and Giuseppe Mi ngione. Bor- derline estimates for fully nonlinear elliptic equations. Commun. Partial Differ. Equations , 39(3):574–590, 2014
2014
-
[11]
Fully nonlinear free transmiss ion problems with non- homogeneous degeneracies
Cristiana De Filippis. Fully nonlinear free transmiss ion problems with non- homogeneous degeneracies. Interfaces Free Bound., 24(2):197–233, 2022
2022
-
[12]
A fully nonlinear tr ansmission prob- lem degenerating on the interface
Davide Giovagnoli and David Jesus. A fully nonlinear tr ansmission prob- lem degenerating on the interface. Preprint, arXiv:2410.1 6957 [math.AP] (2024), 2024
2024
-
[13]
Pimentel, Giane C
Gerardo Huaroto, Edgard A. Pimentel, Giane C. Rampasso , and Andrzej Święch. A fully nonlinear degenerate free transmission pro blem. Ann. PDE, 10(1):Paper No. 5, 30, 2024
2024
-
[14]
A degenerate fully nonlinear free transmi ssion problem with variable exponents
David Jesus. A degenerate fully nonlinear free transmi ssion problem with variable exponents. Calc. Var. Partial Differential Equations , 61(1):Paper No. 29, 21, 2022
2022
-
[15]
Aleksandrov-Bakel man-Pucci max- imum principle for Lp-viscosity solutions of equations with unbounded terms
Shigeaki Koike and Andrzej Święch. Aleksandrov-Bakel man-Pucci max- imum principle for Lp-viscosity solutions of equations with unbounded terms. J. Math. Pures Appl. (9) , 168:192–212, 2022. 25
2022
-
[16]
Estimates for elliptic s ystems from com- posite material
Yanyan Li and Louis Nirenberg. Estimates for elliptic s ystems from com- posite material. Comm. Pure Appl. Math. , 56(7):892–925, 2003. Dedicated to the memory of Jürgen K. Moser
2003
-
[17]
Gradient estimates for solutions to diver- gence form elliptic equations with discontinuous coefficien ts
Yanyan Li and Michael Vogelius. Gradient estimates for solutions to diver- gence form elliptic equations with discontinuous coefficien ts. Arch. Ration. Mech. Anal., 153(2):91–151, 2000
2000
-
[18]
Second derivative Lp-estimates for elliptic equations of non- divergent type
Fanghua Lin. Second derivative Lp-estimates for elliptic equations of non- divergent type. Proc. Am. Math. Soc. , 96:447–451, 1986
1986
-
[19]
J. L. Lions. Contribution à un problème de M. M. Picone. Ann. Mat. Pura Appl. (4) , 41:201–219, 1956
1956
-
[20]
Sur un problème nouveau pour l’équation l inéaire aux dérivées partielles de la théorie mathématique classique d e l’élasticité
Mauro Picone. Sur un problème nouveau pour l’équation l inéaire aux dérivées partielles de la théorie mathématique classique d e l’élasticité. Col- loque sur les équations aux dérivées partielles, CBRM, Bruxell es, pages 9–11, 1954
1954
-
[21]
Pimentel and Makson S
Edgard A. Pimentel and Makson S. Santos. Fully nonlinea r free transmis- sion problems. Interfaces Free Bound., 25(3):325–342, 2023
2023
-
[22]
Pimentel, Makson S
Edgard A. Pimentel, Makson S. Santos, and Eduardo V. Tei xeira. Frac- tional Sobolev regularity for fully nonlinear elliptic equ ations. Commun. Partial Differ. Equations , 47(8):1539–1558, 2022
2022
-
[23]
Pimentel and Andrzej Święch
Edgard A. Pimentel and Andrzej Święch. Existence of sol utions to a fully nonlinear free transmission problem. J. Differential Equations , 320:49–63, 2022
2022
-
[24]
Pimentel and José Miguel Urbano
Edgard A. Pimentel and José Miguel Urbano. Existence an d improved regularity for a nonlinear system with collapsing elliptic ity. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) , 22(3):1385–1400, 2021
2021
-
[25]
Small perturbation solutions for ellipt ic equations
Ovidiu Savin. Small perturbation solutions for ellipt ic equations. Commun. Partial Differ. Equations , 32(4):557–578, 2007
2007
-
[26]
A generalization of the problem of tr ansmission
Martin Schechter. A generalization of the problem of tr ansmission. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3) , 14:207–236, 1960
1960
-
[27]
Boundary regularity for viscosity solu- tions of fully nonlinear elliptic equations
Luis Silvestre and Boyan Sirakov. Boundary regularity for viscosity solu- tions of fully nonlinear elliptic equations. Commun. Partial Differ. Equa- tions, 39(9):1694–1717, 2014. 26
2014
-
[28]
Regularity of viscosity solutions to fully nonlinear elliptic transmission problems
María Soria-Carro and Pablo Raúl Stinga. Regularity of viscosity solutions to fully nonlinear elliptic transmission problems. Adv. Math. , 435:Paper No. 109353, 52, 2023
2023
-
[29]
Su un problema relativo alle equazi oni di tipo ellittico del secondo ordine
Guido Stampacchia. Su un problema relativo alle equazi oni di tipo ellittico del secondo ordine. Ricerche Mat., 5:3–24, 1956
1956
-
[30]
W 1,p -interior estimates for solutions of fully nonlinear, uniformly elliptic equations
Andrzej Święch. W 1,p -interior estimates for solutions of fully nonlinear, uniformly elliptic equations. Adv. Differential Equations , 2(6):1005–1027, 1997
1997
-
[31]
W 2,p and W 1,p -estimates at the boundary for solutions of fully nonlinear, uniformly elliptic equations
Niki Winter. W 2,p and W 1,p -estimates at the boundary for solutions of fully nonlinear, uniformly elliptic equations. Z. Anal. Anwend. , 28(2):129–164, 2009. Da vid Jesus Università di Bologna Bologna, Piazza di Porta San Donato 5 40126, Italy david.jesus2@unibo.it Edgard A....
2009
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.