pith. sign in

arxiv: 2509.02286 · v2 · submitted 2025-09-02 · 🧮 math.AP

On nondivergence form linear parabolic and elliptic equations with degenerate coefficients

Hongjie Dong , Junhee Ryu This is my paper

Pith reviewed 2026-05-18 19:59 UTC · model grok-4.3

classification 🧮 math.AP
keywords degenerate parabolic equationsdegenerate elliptic equationsnondivergence formweighted Sobolev spacesunique solvabilitymean oscillationsupper half-space
0
0 comments X

The pith

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.

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

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.

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.

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

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.

Where Pith is reading between the lines

These are 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.

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.

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.

read the original 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.

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.

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

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.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 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.

axioms (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.

pith-pipeline@v0.9.0 · 5622 in / 1262 out tokens · 32180 ms · 2026-05-18T19:59:56.538367+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

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.

Reference graph

Works this paper leans on

41 extracted references · 41 canonical work pages

  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

  9. [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

    work page 2020

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

    work page 2021

  11. [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

    work page 2023

  12. [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

    work page 2023

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

    work page 2023

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

    work page 2024

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

    work page

  16. [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

    work page 2013

  17. [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

    work page 2007

  18. [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

    work page 2011

  19. [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

    work page 1991

  20. [20]

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

    work page arXiv 2024

  21. [21]

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

    work page arXiv 2025

  22. [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

    work page 2007

  23. [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

    work page 2004

  24. [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

    work page 2013

  25. [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

    work page 1999

  26. [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

    work page 2009

  27. [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

    work page 1994

  28. [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

    work page 1999

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

    work page 2007

  30. [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

    work page 2016

  31. [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

    work page 1999

  32. [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

    work page 1999

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

    work page 1985

  34. [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

    work page 2025

  35. [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

    work page 2025

  36. [36]

    Magenes, J

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

    work page 1968

  37. [37]

    Metafune, L

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

    work page 2022

  38. [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

    work page 2024

  39. [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

    work page arXiv 2024

  40. [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

    work page 1989

  41. [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

    work page arXiv 2025