Pith. sign in

REVIEW 2 major objections 2 minor 1 cited by

On nondivergence form linear parabolic and elliptic equations with degenerate coefficients

T0 review · 2 major / 2 minor · reviewed 2026-05-18 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Degenerate parabolic and elliptic equations with leading coefficients of the form x_d squared times a bounded nondegenerate matrix admit unique solutions in weighted mixed-norm Sobolev spaces.

desk verdict This paper proves unique solvability in weighted mixed-norm Sobolev spaces for degenerate nondivergence parabolic and elliptic equations in the half-space under mixed measurability and oscillation conditions, plus an optimality check. read the letter →

arxiv 2509.02286 v2 submitted 2025-09-02 math.AP

Hongjie Dong , Junhee Ryu This is my paper · ORCID
classification math.AP
keywords degenerateparabolicequationsellipticnondivergenceformweightedSobolevspacesuniquesolvabilitymeanoscillationsupperhalf-space
checked against Cost.FunctionalEquationalexander_duality_circle_linking
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves that linear parabolic and elliptic equations in nondivergence form can be solved uniquely when their leading coefficients degenerate proportionally to x_d squared near the boundary of the upper half-space. The coefficients a_ij stay bounded and uniformly elliptic, with limited measurability in time and the normal direction, while lower-order terms satisfy a weighted small mean oscillation condition in the tangential directions. A reader would care because these equations appear in models where diffusion vanishes at an interface, and the weighted spaces are designed to track the singular behavior there. The authors also verify that the chosen function spaces are optimal for the solvability result to hold.

What carries the argument

weighted mixed-norm Sobolev spaces adapted to the degeneracy x_d^2 a_ij together with the weighted small mean oscillation condition on the coefficients in the tangential variables

What would settle it

An explicit matrix a_ij that remains bounded and uniformly elliptic yet violates the weighted small mean oscillation condition in the tangential variables, for which the corresponding equation fails to have a unique solution inside the weighted mixed-norm Sobolev spaces.

Watch

Extended reading notes

Core claim

We establish the unique solvability in weighted mixed-norm Sobolev spaces for a class of degenerate parabolic and elliptic equations in the upper half space. The operators are in nondivergence form, with the leading coefficients given by x_d^2 a_ij, where a_ij is bounded, uniformly nondegenerate, and measurable in (t,x_d) except a_dd, which is measurable in t or x_d. In the remaining spatial variables, they have weighted small mean oscillations. In addition, we investigate the optimality of the function spaces associated with our results.

Load-bearing premise

The leading coefficients must take the precise form x_d squared times a bounded and uniformly nondegenerate matrix a_ij that satisfies the stated measurability rules and whose lower-order terms obey the weighted small mean oscillation condition in tangential directions.

Editorial extensions

If this is right

  • Unique solvability holds simultaneously for both the parabolic time-dependent case and the stationary elliptic case under the given coefficient assumptions.
  • The weighted mixed-norm Sobolev spaces are sharp, so the result fails if the weights or the oscillation condition are removed.
  • The limited measurability allowed for a_dd (only in t or x_d) is already sufficient to close the estimates.
  • The theory applies directly to equations posed in the upper half-space geometry.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same weighted-space approach could be tested on domains with curved boundaries or on equations whose degeneracy is of the form dist(x, boundary)^alpha for other powers alpha.
  • These existence results might serve as a foundation for studying boundary regularity or obstacle problems for the same class of degenerate operators.
  • Numerical schemes that incorporate the weighted norms could be developed to maintain accuracy near the degeneracy locus at x_d equals zero.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 2 minor

Summary. The paper establishes unique solvability in weighted mixed-norm Sobolev spaces for linear parabolic and elliptic equations in nondivergence form with degenerate coefficients of the form x_d² a_ij in the upper half-space. The leading coefficients a_ij are bounded and uniformly nondegenerate, with a_dd measurable only in t or x_d and the rest measurable in (t, x_d); the lower-order coefficients satisfy weighted small mean oscillations in the tangential variables. The work also investigates the optimality of the associated function spaces.

Significance. If the results hold, the paper contributes to the theory of degenerate nondivergence equations by providing well-posedness results in weighted spaces that compensate for the degeneracy at x_d=0. The specific coefficient assumptions (limited measurability for a_dd and tangential oscillations) are standard for such problems and enable perturbation or freezing arguments. The optimality investigation strengthens the contribution by addressing sharpness of the spaces.

major comments (2)
  1. §3 (or the main a priori estimate theorem): the dependence of the constant on the weighted mean oscillation parameter is not made fully explicit; this affects whether the result is truly perturbative or requires a smallness condition that is not quantified in the statement.
  2. The optimality section: the counterexamples showing necessity of the weights or the mixed-norm structure are only sketched; a more detailed construction (e.g., explicit test functions or explicit coefficient choices) would strengthen the claim that the spaces cannot be improved.
minor comments (2)
  1. Notation for the weighted mixed-norm spaces (e.g., the precise definition of the weight x_d^α and the mixed L^p norms) should be recalled in the introduction for readers unfamiliar with the prior literature.
  2. A few typographical inconsistencies appear in the statement of the coefficient assumptions (e.g., the exact range of measurability for a_dd versus the other a_ij).

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We appreciate the recommendation for minor revision and have addressed each major comment below. The revisions clarify the explicit dependence in the main estimates and expand the optimality constructions for greater rigor.

read point-by-point responses

  1. Referee: §3 (or the main a priori estimate theorem): the dependence of the constant on the weighted mean oscillation parameter is not made fully explicit; this affects whether the result is truly perturbative or requires a smallness condition that is not quantified in the statement.

    Authors: We agree that the dependence should be stated more explicitly to highlight the perturbative character of the result. In the revised manuscript, we have updated the statement of the main a priori estimate (Theorem 3.1) to indicate that the constant C depends on the weighted mean oscillation parameter δ, with the smallness condition δ < δ₀ made fully quantitative in terms of the other structural constants (dimension, ellipticity ratio, and weight parameters). The proof now includes a brief remark tracing how the constant arises from the perturbation argument and diverges as δ approaches the threshold, confirming that the result is indeed perturbative under this explicit smallness condition. revision: yes

  2. Referee: The optimality section: the counterexamples showing necessity of the weights or the mixed-norm structure are only sketched; a more detailed construction (e.g., explicit test functions or explicit coefficient choices) would strengthen the claim that the spaces cannot be improved.

    Authors: We thank the referee for this observation. The original constructions in Section 5 were presented concisely. In the revision we have expanded them with explicit details: for the necessity of the weights we now give a concrete coefficient (measurable only in t or x_d) together with an explicit test function of the form u = x_d^β φ(t,x') (with β chosen to violate the weight) and compute the resulting norms to exhibit the blow-up; for the mixed-norm structure we include a specific choice of a_ij with large tangential oscillations and verify that the solution fails to lie in the corresponding unweighted space. These additions make the optimality claims self-contained and more transparent. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; derivation self-contained

full rationale

The paper establishes unique solvability for the stated class of degenerate nondivergence equations directly from the given coefficient assumptions (x_d^2 a_ij with bounded uniformly nondegenerate a_ij, limited measurability on a_dd, and weighted small mean oscillations in tangential variables) using standard analytic techniques such as freezing coefficients and perturbation arguments in weighted mixed-norm Sobolev spaces. No load-bearing step reduces by construction to a fitted parameter, self-defined quantity, or self-citation chain; the central result is independent of the inputs and holds against external PDE benchmarks without renaming known results or smuggling ansatzes. This is the expected honest non-finding for a self-contained existence/uniqueness proof.

Assumptions & free parameters 0 free parameters · 2 assumptions · 0 invented entities

The paper relies on standard functional-analytic axioms for Sobolev and weighted spaces plus domain assumptions on coefficient regularity; no free parameters or new entities are introduced.

assumptions (2)
  • standard math Definitions and embedding properties of weighted mixed-norm Sobolev spaces
    Invoked to formulate the unique solvability statement.
  • domain assumption Uniform ellipticity/parabolicity from boundedness and nondegeneracy of a_ij
    Required for the operator to be well-posed in the stated spaces.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On nondivergence form linear parabolic and elliptic equations with degenerate coefficients." pith.science (2026). https://pith.science/paper/2509.02286

@misc{pith2026250902286,
  author       = {Pith},
  title        = {Pith review of: On nondivergence form linear parabolic and elliptic equations with degenerate coefficients},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2509.02286}},
  note         = {Machine review of arXiv:2509.02286}
}
abstract

We establish the unique solvability in weighted mixed-norm Sobolev spaces for a class of degenerate parabolic and elliptic equations in the upper half space. The operators are in nondivergence form, with the leading coefficients given by $x_d^2a_{ij}$, where $a_{ij}$ is bounded, uniformly nondegenerate, and measurable in $(t,x_d)$ except $a_{dd}$, which is measurable in $t$ or $x_d$. In the remaining spatial variables, they have weighted small mean oscillations. In addition, we investigate the optimality of the function spaces associated with our results.

Discussion (0). Continue with ORCID to comment.

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.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Singular-degenerate parabolic systems with the conormal boundary condition on the upper half space

    math.AP 2025-09 unverdicted novelty 6.0 of 10

    Establishes well-posedness and regularity for singular-degenerate parabolic and elliptic systems with conormal boundary conditions in weighted Sobolev spaces, extending scalar cases to systems with measurable leading ...

Reference graph

Works this paper leans on

41 extracted references · 41 canonical work pages · cited by 1 Pith paper

  1. [1]

    Abramowitz, I.A

    M. Abramowitz, I.A. Stegun, Handbook of mathematical functions with formulas, graphs, and mathematical tables, vol. 55, Courier Dover Publications, 1972

    work page 1972

  2. [2]

    Bekmaganbetov, H

    B. Bekmaganbetov, H. Dong, Elliptic and parabolic equations with rough boundary data in Sobolev spaces with degenerate weights (2024), arXiv preprint arXiv:2410.08293

    work page arXiv 2024

  3. [3]

    W. E. Boyce, R. C. DiPrima, D.B. Meade, Elementary differential equations and boundary value problems, John Wiley & Sons, 2021

    work page 2021

  4. [4]

    Daskalopoulos and R

    P. Daskalopoulos and R. Hamilton, Regularity of the free boundary for the porous medium equation, J. Amer. Math. Soc. 11 (1998), no.4, 899–965

    work page 1998

  5. [5]

    Dong, Solvability of second-order equations with hierarchically partially BMO coefficients, Trans

    H. Dong, Solvability of second-order equations with hierarchically partially BMO coefficients, Trans. Amer. Math. Soc. 364 (2012), no.1, 493–517

    work page 2012

  6. [6]

    Dong, Recent progress in the Lp theory for elliptic and parabolic equations with discon- tinuous coefficients, Anal

    H. Dong, Recent progress in the Lp theory for elliptic and parabolic equations with discon- tinuous coefficients, Anal. Theory Appl. 36 (2020), no.2, 161–199

    work page 2020

  7. [7]

    H. Dong, D. Kim, Elliptic and parabolic equations with measurable coefficients in weighted Sobolev spaces, Adv. Math. 274 (2015), 681–735

    work page 2015

  8. [8]

    H. Dong, D. Kim, On Lp-estimates for elliptic and parabolic equations with Ap weights, Trans. Amer. Math. Soc. 370 (2018) no.7, 5081–5130

    work page 2018

Show all 41 references
  1. [9]

    H. Dong, T. Phan, Weighted mixed-norm Lp-estimates for elliptic and parabolic equations in non-divergence form with singular coefficients, Rev. Mat. Iberoam. 37 (2020), no.4, 1413– 1440

    2020

  2. [10]

    H. Dong, T. Phan, Parabolic and elliptic equations with singular or degenerate coefficients: the Dirichlet problem, Trans. Amer. Math. Soc. 374 (2021), 6611–6647

    2021

  3. [11]

    H. Dong, T. Phan, On parabolic and elliptic equations with singular or degenerate coefficients, Indiana Univ. Math. J. 73 (2023) no.4, 1461-–1502

    2023

  4. [12]

    H. Dong, T. Phan, Weighted mixed-norm Lp estimates for equations in non-divergence form with singular coefficients: the Dirichlet problem, J. Funct. Anal. 285 (2023), no.2, 109964

    2023

  5. [13]

    H. Dong, T. Phan, H. Tran, Degenerate linear parabolic equations in divergence form on the upper half space, Trans. Amer. Math. Soc. 376 (2023), no.06, 4421–4451

    2023

  6. [14]

    H. Dong, T. Phan, H. Tran, Nondivergence form degenerate linear parabolic equations on the upper half space, J. Funct. Anal. 286 (2024), no.9, 110374

    2024

  7. [15]

    H. Dong, J. Ryu, Sobolev estimates for parabolic and elliptic equations in divergence form with degenerate coefficients, to appear in Trans. Amer. Math. Soc

  8. [16]

    Paul M. N. Feehan and Camelia A. Pop, A Schauder approach to degenerate-parabolic partial differential equations with unbounded coefficients, J. Differ. Equ. 254 (2013), no.12, 4401– 4445

    2013

  9. [17]

    Fornaro, G

    S. Fornaro, G. Metafune, D. Pallara, J. Pr¨ uss, Lp-theory for some elliptic and parabolic problems with first order degeneracy at the boundary. J. Math. Pures Appl. 87 (2007), no.4, 367–393

    2007

  10. [18]

    Fornaro, G

    S. Fornaro, G. Metafune, D. Pallara, Analytic semigroups generated inLp by elliptic operators with high order degeneracy at the boundary, Note Mat. 31 (2011), 103–115

    2011

  11. [19]

    Graham, J.M

    C.R. Graham, J.M. Lee, Einstein metrics with prescribed conformal infinity on the ball, Adv. Math. 87(1991), 186–225

    1991

  12. [20]

    Q. Han, J. Xie, Optimal Boundary Regularity for Uniformly Degenerate Elliptic Equations (2024), arXiv preprint arXiv:2411.16418

    2024

  13. [21]

    Q. Han, J. Xie, Global Schauder Regularity and Convergence for Uniformly Degenerate Par- abolic Equations (2025), arXiv preprint arXiv:2501.07143

    2025

  14. [22]

    Kim, Sobolev space theory of parabolic equations degenerating on the boundary of C1 domains, Commun

    K.H. Kim, Sobolev space theory of parabolic equations degenerating on the boundary of C1 domains, Commun. Partial Differ. Equ. 32 (2007), no.8, 1261–1280. DEGENERATE LINEAR EQUATIONS 27

    2007

  15. [23]

    Kim, N.V

    K.H. Kim, N.V. Krylov, On the Sobolev space theory of parabolic and elliptic equations in C1 domains, SIAM J. Math. Anal. 36 (2004), no.2, 618–642

    2004

  16. [24]

    K.H. Kim, K. Lee, A weighted Lp-theory for parabolic PDEs with BMO coefficients on C1- domains, J. Differ. Equ. 254 (2013), no.2, 368–407

    2013

  17. [25]

    Koch, Non-Euclidean singular integrals and the porous medium equation, Habilitation Thesis, University of Heidelberg, 1999

    H. Koch, Non-Euclidean singular integrals and the porous medium equation, Habilitation Thesis, University of Heidelberg, 1999

    1999

  18. [26]

    Kozlov, A

    V. Kozlov, A. Nazarov, The Dirichlet problem for non-divergence parabolic equations with discontinuous in time coefficients, Math. Nachr. 282 (2009), no.9, 1220–1241

    2009

  19. [27]

    Krylov, A W n 2 -theory of the Dirichlet problem for SPDEs in general smooth domains, Probab

    N.V. Krylov, A W n 2 -theory of the Dirichlet problem for SPDEs in general smooth domains, Probab. Theory Relat. Fields 98 (1994), 389–421

    1994

  20. [28]

    Krylov, Weighted Sobolev spaces and Laplace’s equation and the heat equations in a half space, Commun

    N.V. Krylov, Weighted Sobolev spaces and Laplace’s equation and the heat equations in a half space, Commun. Partial Differ. Equ. 24 (1999), no.9-10, 1611–1653

    1999

  21. [29]

    Krylov, Parabolic and elliptic equations with VMO coefficients, Commun

    N.V. Krylov, Parabolic and elliptic equations with VMO coefficients, Commun. Partial Differ. Equ. 32 (2007), no.3, 453–475

    2007

  22. [30]

    Krylov,, On parabolic equations in one space dimension, Commun

    N.V. Krylov,, On parabolic equations in one space dimension, Commun. Partial Differ. Equ. 41 (2016), no.4, 644–664

    2016

  23. [31]

    Krylov, S.V

    N.V. Krylov, S.V. Lototsky, A Sobolev space theory of SPDE with constant coefficients on a half line, SIAM J. Math. Anal. 30 (1999), no.2, 298–325

    1999

  24. [32]

    Krylov, S.V

    N.V. Krylov, S.V. Lototsky, A Sobolev space theory of SPDEs with constant coefficients in a half space, SIAM J. Math. Anal. 31 (1999), no.1, 19–33

    1999

  25. [33]

    Kufner, Weighted Sobolev Spaces, A Wiley–Interscience Publication, John Wiley & Sons Inc., New York, 1985 (translated from the Czech)

    A. Kufner, Weighted Sobolev Spaces, A Wiley–Interscience Publication, John Wiley & Sons Inc., New York, 1985 (translated from the Czech)

    1985

  26. [34]

    K.-A. Lee, H. Yun, Boundary regularity for viscosity solutions of fully nonlinear degener- ate/singular parabolic equations, Calc. Var. Partial Differ. Equ. 64 (2025), no.1, 25

    2025

  27. [35]

    Lindemulder, E

    N. Lindemulder, E. Lorist, F.B. Roodenburg, M.C. Veraar, Functional calculus on weighted Sobolev spaces for the Laplacian on the half-space, J. Funct. Anal. 289 (2025), no.8, 110985

    2025

  28. [36]

    Magenes, J

    E. Magenes, J. L. Lions, Probl` emes aux limites non homog` enes et applications, Vol.1, Dunod, Paris, 1968

    1968

  29. [37]

    Metafune, L

    G. Metafune, L. Negro, C. Spina, Lp estimates for the Caffarelli-Silvestre extension operators, J. Differ. Equ. 316 (2022), 290–345

    2022

  30. [38]

    Metafune, L

    G. Metafune, L. Negro, C. Spina, Lp estimates for a class of degenerate operators, Discrete Contin. Dyn. Syst. -S, 17 (2024), 1766–1791

    2024

  31. [39]

    Seo, Sobolev space theory for Poisson’s equation in non-smooth domains via superharmonic functions and Hardy’s inequality (2024), arXiv preprint arXiv:2403.18865

    J. Seo, Sobolev space theory for Poisson’s equation in non-smooth domains via superharmonic functions and Hardy’s inequality (2024), arXiv preprint arXiv:2403.18865

    2024

  32. [40]

    Vespri, Analytic semigroups, degenerate elliptic operators and applications to nonlinear Cauchy problems, Ann

    V. Vespri, Analytic semigroups, degenerate elliptic operators and applications to nonlinear Cauchy problems, Ann. Mat. Pura Appl. 155 (1989), no.1, 353–388

    1989

  33. [41]

    Yun, Optimal regularity for degenerate parabolic equations on a flat boundary (2025), arXiv preprint arXiv:2504.04824

    H. Yun, Optimal regularity for degenerate parabolic equations on a flat boundary (2025), arXiv preprint arXiv:2504.04824

    2025

Pith tools

Reviewed May 18, 2026 · model on record in the stance chip above.