pith. sign in

arxiv: 2509.18418 · v2 · pith:RMRGB3POnew · submitted 2025-09-22 · 🧮 math.AP

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

Bekarys Bekmaganbetov , Hongjie Dong This is my paper

Pith reviewed 2026-05-22 12:12 UTC · model grok-4.3

classification 🧮 math.AP
keywords parabolic systemsconormal boundary conditionweighted Sobolev spaceshalf-spacedivergence formregularity theorysingular coefficientsdegenerate equations
0
0 comments X

The pith

We prove well-posedness and regularity for singular-degenerate parabolic and elliptic systems in the half-space with conormal boundary conditions 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.

The paper establishes the existence, uniqueness, and regularity of solutions to second-order parabolic and elliptic systems in divergence form posed in the upper half-space. The systems are subject to the conormal boundary condition, and the leading coefficients may degenerate or become singular near the boundary according to a power law with exponent alpha greater than negative one. This work extends scalar equation results to systems and even to equations taking values in Hilbert spaces. A reader might care because these results provide a foundation for analyzing models with variable coefficients that blow up or vanish at boundaries, which appear in various applied contexts.

Core claim

For parabolic and elliptic systems with leading coefficients of the form x_d to the alpha times bounded nondegenerate matrices that are measurable in the normal direction and have small mean oscillations in the tangential directions, solutions exist and are regular in appropriate mixed-norm weighted Sobolev spaces when alpha is in (-1, infinity). When alpha is positive, lower-order coefficients may blow up near the boundary.

What carries the argument

The small mean oscillation condition of the leading coefficients in cylinders with respect to tangential variables, combined with mixed-norm weighted Sobolev spaces adapted to the power weight x_d^alpha.

If this is right

  • Both parabolic and elliptic cases are covered by the same framework.
  • The results apply to infinite-dimensional systems in real and complex Hilbert spaces.
  • Lower-order coefficients are permitted to blow up near the boundary when alpha exceeds zero.
  • The theory works for coefficients that are only measurable in the normal variable.

Where Pith is reading between the lines

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

  • This approach might extend to other types of boundary conditions or to domains with more complicated boundaries.
  • Applications could include modeling diffusion processes with power-law varying diffusivity near interfaces.
  • Numerical methods could be validated against the regularity predictions for simple coefficient choices.

Load-bearing premise

The leading coefficients have small mean oscillations in small cylinders with respect to the tangential variables while being merely measurable in the normal variable.

What would settle it

Constructing an example where the coefficients have large mean oscillations in tangential directions and showing that either existence or uniqueness fails in the weighted spaces.

read the original abstract

We prove the well-posedness and regularity of solutions in mixed-norm weighted Sobolev spaces for a class of second-order parabolic and elliptic systems in divergence form in the half-space $\mathbb{R}^d_+ = \{x_d > 0\}$ subject to the conormal boundary condition. Our work extends results previously available for scalar equations to the case of systems of equations. The leading coefficients are the product of $x_d^{\alpha}$ and bounded non-degenerate matrices, where $\alpha \in (-1,\infty)$. The leading coefficients are assumed to be merely measurable in the $x_d$ variable, and to have small mean oscillations in small cylinders with respect to the other variables. If the parameter $\alpha>0$, the lower-order coefficients are allowed to blow-up near the boundary. Our results readily generalize to infinite-dimensional equations in general real and complex Hilbert spaces.

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 manuscript proves well-posedness and regularity of solutions in mixed-norm weighted Sobolev spaces for second-order parabolic and elliptic systems in divergence form on the upper half-space subject to the conormal boundary condition. The leading coefficients take the form x_d^α A(x',x_d) with A bounded and elliptic, merely measurable in the normal variable x_d, and having small mean oscillations in the tangential variables; α lies in (-1,∞) and lower-order coefficients may blow up when α>0. The results extend prior scalar theory to systems and further generalize to infinite-dimensional equations in real and complex Hilbert spaces.

Significance. If the estimates hold, the work supplies a non-trivial extension of degenerate parabolic regularity theory from scalars to systems under minimal coefficient assumptions. The use of mixed-norm weighted spaces together with the allowance for normal-direction measurability and singular lower-order terms constitutes a technically demanding contribution. The infinite-dimensional generalization is a clear strength, demonstrating that the core estimates do not rely on finite-dimensional structure. Such results could inform analysis of systems with degenerate coefficients arising in continuum mechanics.

major comments (2)
  1. [§4.2] §4.2, the perturbation argument following the frozen-coefficient problem: the small tangential mean oscillation is used to absorb the error into the main term, yet the proof does not explicitly verify that the resulting contraction constant remains uniform with respect to arbitrary measurable jumps of A in the normal variable x_d when the conormal boundary condition is imposed; an explicit dependence on the oscillation parameter δ (independent of the x_d-measurability) is needed to close the argument for systems.
  2. [Theorem 5.1] Theorem 5.1 (parabolic well-posedness): the weighted Caccioppoli inequality invoked to control the lower-order terms when α>0 is stated for systems, but the derivation does not address whether the absence of a maximum principle allows the constant to deteriorate when the normal-variable jumps interact with the degeneracy; a concrete bound showing the constant depends only on the structural ellipticity constants and α would confirm the claim.
minor comments (2)
  1. [§2.1] The definition of the mixed-norm spaces in §2.1 uses the notation L^{p,q}_w without an explicit reminder of the weight w = x_d^β; adding a short sentence would improve readability.
  2. [Introduction] Several references to the scalar case in the introduction could be expanded with precise citations to the earlier works being extended.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive major comments. We address each point below and indicate the planned revisions.

read point-by-point responses

  1. Referee: [§4.2] §4.2, the perturbation argument following the frozen-coefficient problem: the small tangential mean oscillation is used to absorb the error into the main term, yet the proof does not explicitly verify that the resulting contraction constant remains uniform with respect to arbitrary measurable jumps of A in the normal variable x_d when the conormal boundary condition is imposed; an explicit dependence on the oscillation parameter δ (independent of the x_d-measurability) is needed to close the argument for systems.

    Authors: We thank the referee for highlighting this aspect of the perturbation argument in Section 4.2. The frozen-coefficient estimates are obtained in the mixed-norm weighted spaces for the conormal problem, after which the error is absorbed using the small mean oscillation of A in the tangential variables. Because the weak formulation integrates against test functions that incorporate the conormal condition and the weights handle the normal direction, the resulting contraction mapping constant depends only on the ellipticity constants, dimension, α, and the oscillation parameter δ; it is independent of the particular measurable jumps of A in x_d. To make this uniformity fully explicit, we will add a short remark or auxiliary lemma in the revised version that isolates the dependence on δ alone. revision: yes

  2. Referee: [Theorem 5.1] Theorem 5.1 (parabolic well-posedness): the weighted Caccioppoli inequality invoked to control the lower-order terms when α>0 is stated for systems, but the derivation does not address whether the absence of a maximum principle allows the constant to deteriorate when the normal-variable jumps interact with the degeneracy; a concrete bound showing the constant depends only on the structural ellipticity constants and α would confirm the claim.

    Authors: We appreciate the referee’s request for an explicit bound on the weighted Caccioppoli inequality appearing in the proof of Theorem 5.1. The inequality is derived from the divergence-form weak formulation by testing with a suitable cutoff function in the weighted space; the argument relies only on integration by parts, the ellipticity of the leading coefficients (scaled by x_d^α), and the structural assumptions on the lower-order terms. No maximum principle is invoked, and the jumps of A in the normal direction are controlled by the weighted integrability, so the constant depends solely on the ellipticity ratio, dimension, α, and the given bounds on the lower-order coefficients. In the revision we will expand the derivation of this inequality (perhaps as a separate lemma) to display the concrete dependence on these structural quantities. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation extends scalar theory independently

full rationale

The paper presents well-posedness and regularity results for parabolic/elliptic systems in the half-space under conormal boundary conditions, with leading coefficients x_d^α A(x',x_d) where A is bounded elliptic, measurable in x_d and has small mean oscillation only in tangential variables. This is framed as a direct extension of prior scalar results to systems, using standard divergence-form techniques, mixed-norm weighted Sobolev spaces, and perturbation arguments. No quoted step reduces a prediction or central claim to a fitted input, self-definition, or self-citation chain by construction. The assumptions (α ∈ (-1,∞), small tangential oscillation) are stated explicitly as hypotheses, not derived from the result itself. Self-citations, if present, support independent scalar theory and do not bear the load of the systems extension. The derivation chain remains self-contained against external benchmarks such as known scalar estimates.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard functional-analytic tools for divergence-form parabolic systems and weighted Sobolev spaces. No free parameters or invented entities are introduced in the abstract; the work assumes classical existence and embedding theorems for the function spaces involved.

axioms (2)
  • standard math Standard properties of mixed-norm weighted Sobolev spaces and divergence-form operators hold under the given coefficient assumptions.
    Invoked implicitly to set up the well-posedness framework in the half-space.
  • domain assumption The conormal boundary condition is compatible with the divergence structure for the stated range of α.
    Required for the boundary-value problem to be well-defined.

pith-pipeline@v0.9.0 · 5680 in / 1468 out tokens · 43839 ms · 2026-05-22T12:12:09.202126+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

42 extracted references · 42 canonical work pages · 1 internal anchor

  1. [1]

    Alessandro Audrito, Gabriele Fioravanti, and Stefano Vita,Schauder estimates for parabolic equations with degenerate or singular weights, Calc. Var. Partial Differential Equations63(2024), no. 8, Paper No. 204, 46. MR 4788276

    work page 2024

  2. [2]

    ,Higher order Schauder estimates for degenerate or singular parabolic equations, Rev. Mat. Iberoam.41(2025), no. 4, 1513–1554. MR 4912928

    work page 2025

  3. [3]

    Bekarys Bekmaganbetov and Hongjie Dong,Elliptic and parabolic equations with rough boundary data in Sobolev spaces with degenerate weights, 2024, arXiv:2410.08293. 28 B. BEKMAGANBETOV AND H. DONG

    work page arXiv 2024

  4. [4]

    Partial Differential Equations32(2007), no

    Luis Caffarelli and Luis Silvestre,An extension problem related to the fractional Laplacian, Comm. Partial Differential Equations32(2007), no. 8, 1245–1260. MR 2354493

    work page 2007

  5. [5]

    Caffarelli, Jean-Michel Roquejoffre, and Yannick Sire,Variational problems for free bound- aries for the fractional Laplacian, J

    Luis A. Caffarelli, Jean-Michel Roquejoffre, and Yannick Sire,Variational problems for free bound- aries for the fractional Laplacian, J. Eur. Math. Soc. (JEMS)12(2010), no. 5, 1151–1179. MR 2677613

    work page 2010

  6. [6]

    Filippo Chiarenza and Raul Serapioni,A remark on a Harnack inequality for degenerate parabolic equations, Rend. Sem. Mat. Univ. Padova73(1985), 179–190. MR 799906

    work page 1985

  7. [7]

    Rational Mech

    Michel Chipot, David Kinderlehrer, and Giorgio Vergara-Caffarelli,Smoothness of linear lami- nates, Arch. Rational Mech. Anal.96(1986), no. 1, 81–96. MR 853976

    work page 1986

  8. [8]

    De Silva, O

    D. De Silva, O. Savin, and Y. Sire,A one-phase problem for the fractional Laplacian: regularity of flat free boundaries, Bull. Inst. Math. Acad. Sin. (N.S.)9(2014), no. 1, 111–145. MR 3234971

    work page 2014

  9. [9]

    Hongjie Dong and Seongmin Jeon,Schauder type estimates for degenerate or singular parabolic systems with partially DMO coefficients, 2025, arXiv:2502.08926, to appear in Rev. Mat. Iberoam

    work page arXiv 2025

  10. [10]

    Hongjie Dong, Seongmin Jeon, and Stefano Vita,Schauder type estimates for degenerate or singular elliptic equations with DMO coefficients, Calc. Var. Partial Differential Equations63 (2024), no. 9, Paper No. 239, 42. MR 4821888

    work page 2024

  11. [11]

    Hongjie Dong and Doyoon Kim,Parabolic and elliptic systems in divergence form with variably partially BMO coefficients, SIAM J. Math. Anal.43(2011), no. 3, 1075–1098. MR 2800569

    work page 2011

  12. [12]

    Math.274(2015), 681–735

    ,Elliptic and parabolic equations with measurable coefficients in weighted Sobolev spaces, Adv. Math.274(2015), 681–735. MR 3318165

    work page 2015

  13. [13]

    ,OnL p-estimates for elliptic and parabolic equations withA p weights, Trans. Amer. Math. Soc.370(2018), no. 7, 5081–5130. MR 3812104

    work page 2018

  14. [14]

    Hongjie Dong and Tuoc Phan,Parabolic and elliptic equations with singular or degenerate coeffi- cients: the Dirichlet problem, Trans. Amer. Math. Soc.374(2021), no. 9, 6611–6647. MR 4302171

    work page 2021

  15. [15]

    ,Regularity for parabolic equations with singular or degenerate coefficients, Calc. Var. Partial Differential Equations60(2021), no. 1, Paper No. 44, 39. MR 4204570

    work page 2021

  16. [16]

    ,Weighted mixed-normL p-estimates for elliptic and parabolic equations in non-divergence form with singular coefficients, Rev. Mat. Iberoam.37(2021), no. 4, 1413–1440. MR 4269403

    work page 2021

  17. [17]

    ,On parabolic and elliptic equations with singular or degenerate coefficients, Indiana Univ. Math. J.72(2023), no. 4, 1461–1502. MR 4637368

    work page 2023

  18. [18]

    ,Weighted mixed-normL p estimates for equations in non-divergence form with singular coefficients: The Dirichlet problem, J. Funct. Anal.285(2023), no. 2, 109964. MR 4571874

    work page 2023

  19. [19]

    Hongjie Dong, Tuoc Phan, and Yannick Sire,Sobolev estimates for singular-degenerate quasilinear equations beyond theA 2 class, J. Geom. Anal.34(2024), no. 9, Paper No. 286, 29. MR 4768657

    work page 2024

  20. [20]

    Hongjie Dong, Tuoc Phan, and Hung Vinh Tran,Degenerate linear parabolic equations in di- vergence form on the upper half space, Trans. Amer. Math. Soc.376(2023), no. 6, 4421–4451. MR 4586816

    work page 2023

  21. [21]

    ,Nondivergence form degenerate linear parabolic equations on the upper half space, J. Funct. Anal.286(2024), no. 9, Paper No. 110374, 53. MR 4708668

    work page 2024

  22. [22]

    Hongjie Dong and Junhee Ryu,On nondivergence form linear parabolic and elliptic equations with degenerate coefficients, 2025, arXiv:2509.02286

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  23. [23]

    ,Sobolev estimates for parabolic and elliptic equations in divergence form with degenerate coefficients, 2025, arXiv:2412.00779, to appear in Trans. Amer. Math. Soc

    work page arXiv 2025

  24. [24]

    Fabes, Carlos E

    Eugene B. Fabes, Carlos E. Kenig, and Raul P. Serapioni,The local regularity of solutions of degenerate elliptic equations, Comm. Partial Differential Equations7(1982), no. 1, 77–116. MR 643158 PARABOLIC SYSTEMS 29

    work page 1982

  25. [25]

    Scuola Normale Superiore di Pisa (Nuova Serie) [Lecture Notes

    Mariano Giaquinta and Luca Martinazzi,An introduction to the regularity theory for elliptic systems, harmonic maps and minimal graphs, second ed., Appunti. Scuola Normale Superiore di Pisa (Nuova Serie) [Lecture Notes. Scuola Normale Superiore di Pisa (New Series)], vol. 11, Edizioni della Normale, Pisa, 2012. MR 3099262

    work page 2012

  26. [26]

    249, Springer, New York, 2014

    Loukas Grafakos,Classical Fourier analysis, third ed., Graduate Texts in Mathematics, vol. 249, Springer, New York, 2014. MR 3243734

    work page 2014

  27. [27]

    Differential Equations443(2025), Paper No

    Pilgyu Jung and Doyoon Kim,L p-estimates for parabolic equations in divergence form with a half-time derivative, J. Differential Equations443(2025), Paper No. 113560, 41. MR 4920684

    work page 2025

  28. [28]

    Pure Appl

    Byungsoo Kang and Hyunseok Kim,W 1,p-estimates for elliptic equations with lower order terms, Commun. Pure Appl. Anal.16(2017), no. 3, 799–821. MR 3623550

    work page 2017

  29. [29]

    3, 20(1966), no

    Stanley Kaplan,Abstract boundary value problems for linear parabolic equations, Annali della Scuola Normale Superiore di Pisa - Scienze Fisiche e MatematicheSer. 3, 20(1966), no. 2, 395–419 (en). MR 200593

    work page 1966

  30. [30]

    Pure Appl

    Doyoon Kim, Kyeong-Hun Kim, and Kijung Lee,Parabolic systems with measurable coefficients in weighted Sobolev spaces, Commun. Pure Appl. Anal.21(2022), no. 8, 2587–2613. MR 4484095

    work page 2022

  31. [31]

    Doyoon Kim and N. V. Krylov,Elliptic differential equations with coefficients measurable with respect to one variable and VMO with respect to the others, SIAM J. Math. Anal.39(2007), no. 2, 489–506. MR 2338417

    work page 2007

  32. [32]

    ,Parabolic equations with measurable coefficients, Potential Anal.26(2007), no. 4, 345–

    work page 2007

  33. [33]

    Doyoon Kim, Seungjin Ryu, and Kwan Woo,Parabolic equations with unbounded lower-order coefficients in Sobolev spaces with mixed norms, J. Evol. Equ.22(2022), no. 1, Paper No. 9, 40. MR 4387945

    work page 2022

  34. [34]

    Hyunseok Kim and Hyunwoo Kwon,Dirichlet and Neumann problems for elliptic equations with singular drifts on Lipschitz domains, Trans. Amer. Math. Soc.375(2022), no. 9, 6537–6574. MR 4474900

    work page 2022

  35. [35]

    2, 589–612

    Ildoo Kim, Kyeong-Hun Kim, and Kijung Lee,A weightedL p-theory for divergence type parabolic PDEs with BMO coefficients onC 1-domains, Journal of Mathematical Analysis and Applications 412(2014), no. 2, 589–612. MR 3147235

    work page 2014

  36. [36]

    N. V. Krylov,Parabolic and elliptic equations with VMO coefficients, Comm. Partial Differential Equations32(2007), no. 1-3, 453–475. MR 2304157

    work page 2007

  37. [37]

    ,Second-order elliptic equations with variably partially VMO coefficients, J. Funct. Anal. 257(2009), no. 6, 1695–1712. MR 2540989

    work page 2009

  38. [38]

    ,Elliptic equations with VMOa, b∈L d, andc∈L d/2, Trans. Amer. Math. Soc.374 (2021), no. 4, 2805–2822. MR 4223034

    work page 2021

  39. [39]

    Metafune, L

    G. Metafune, L. Negro, and C. Spina,A unified approach to degenerate problems in the half-space, J. Differential Equations351(2023), 63–99. MR 4530863

    work page 2023

  40. [40]

    MR 311856

    Benjamin Muckenhoupt,Hardy’s inequality with weights, Studia Math.44(1972), 31–38. MR 311856

    work page 1972

  41. [41]

    Torrea,Regularity theory and extension problem for fractional nonlocal parabolic equations and the master equation, SIAM J

    Pablo Ra´ ul Stinga and Jos´ e L. Torrea,Regularity theory and extension problem for fractional nonlocal parabolic equations and the master equation, SIAM J. Math. Anal.49(2017), no. 5, 3893–3924. MR 3709888

    work page 2017

  42. [42]

    Susanna Terracini, Giorgio Tortone, and Stefano Vita,Higher order boundary Harnack princi- ple via degenerate equations, Arch. Ration. Mech. Anal.248(2024), no. 2, Paper No. 29, 44. MR 4726059 30 B. BEKMAGANBETOV AND H. DONG Division of Applied Mathematics, Brown University, 182 George Street, Providence, RI 02912, USA Email address:bekarys bekmaganbetov@...

    work page 2024