pith. sign in

arxiv: 2503.16095 · v6 · submitted 2025-03-20 · 🧮 math.AP

Boundary regularity theory of the singular Lane-Emden-Fowler equation in a Lipschitz domain

Yahong Guo , Congming Li , Chilin Zhang This is my paper

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

classification 🧮 math.AP
keywords singular Lane-Emden-Fowler equationboundary regularityLipschitz domainfrequencyboundary Harnack principlelimiting conegrowth rate estimatessemilinear elliptic equations
0
0 comments X

The pith

Classifying the limiting cone at each boundary point into one of three frequency categories produces distinct growth-rate estimates for solutions of the singular Lane-Emden-Fowler equation in Lipschitz domains and yields the first Kemper–Kő

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

The paper establishes well-posedness and sharp boundary growth rates for positive solutions of −Δu = f(X) u^{−γ} that vanish on the boundary of a bounded Lipschitz domain. It proceeds by associating to each boundary point a limiting cone and partitioning these cones into three frequency classes; each class determines a separate rate at which u approaches zero. The argument also produces a boundary Harnack inequality of Kemper type that is valid for this singular semilinear equation and that does not require the ratio of two solutions to be continuous. The new estimates rely on iteratively constructed barriers and an auxiliary subharmonic function whose growth controls that of u.

Core claim

By partitioning the limiting cone at a boundary point according to its frequency into three exhaustive categories, the authors obtain three distinct growth-rate regimes for solutions near the boundary; they further prove the first Kemper-type boundary Harnack principle for singular semilinear equations, which states that the ratio of two positive solutions remains bounded but need not be continuous.

What carries the argument

Classification of the limiting cone at each boundary point into three frequency categories, together with an inductively constructed subharmonic auxiliary function V whose growth controls the growth of u.

If this is right

  • The Dirichlet problem for the singular equation is well-posed in bounded Lipschitz domains.
  • Near-boundary growth of u is controlled by the frequency of the tangent cone at each boundary point.
  • The ratio of any two positive solutions remains bounded near the boundary even though it may be discontinuous.
  • Iterative barrier construction supplies the missing upper barrier for singular equations.

Where Pith is reading between the lines

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

  • The same frequency classification may apply to other singular semilinear equations whose nonlinearity is homogeneous of negative degree.
  • The method could be tested numerically by computing the frequency of cones in polyhedral domains and checking whether the predicted growth rates appear in finite-element solutions.
  • If the three-category partition is exhaustive, it would give a complete local description of boundary behavior for this class of equations.

Load-bearing premise

Every limiting cone at a Lipschitz boundary point falls into exactly one of the three frequency categories and that this classification completely determines the growth rate of the solution.

What would settle it

A Lipschitz domain and a positive bounded f for which a solution u vanishes at a boundary point whose limiting cone has a frequency that produces a growth rate different from all three predicted regimes.

read the original abstract

We study the singular Lane-Emden-Fowler equation \begin{equation} -\Delta u=f(X)\cdot u^{-\gamma} \end{equation} in a bounded Lipschitz domain $\Omega$, with the Dirichlet boundary condition and a positive, bounded function $f(X)$. A distinguishing feature is that the vanishing boundary condition introduces a singularity in the equation. We focus on the well-posedness of the equation and the growth rate of solutions near the boundary. The key is to classify the limiting cone of a boundary point into three categories based on its "frequency", and obtain distinct growth rate estimates for each case. Additionally, we discuss the boundary Harnack principle for the singular Lane-Emden-Fowler equation, which is essential in deriving the boundary growth rate estimate. To our knowledge, the boundary Harnack principle we derive is the first Kemper-type estimate for singular semi-linear equations. It notably differs from the classical one for linear equations, in particular, the boundedness of the ratio \(u/v\) does not imply its continuity. To address the lack of a suitable upper barrier, we introduce new techniques, including constructing upper barriers iteratively. We also construct a subharmonic auxiliary function $V(X)$ related to the solution $u$ in the limiting cone. The growth rate of $u(X)$ is then obtained inductively from the growth rate of the auxiliary function $V(X)$. Our results and methods offer novel insights into the behavior of singular elliptic equations in non-smooth domains.

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 develops boundary regularity results for the singular Lane-Emden-Fowler equation −Δu = f(X) u^{-γ} (with f positive and bounded) in a bounded Lipschitz domain Ω subject to the Dirichlet condition u=0 on ∂Ω. The central contribution is a classification of the limiting cone at each boundary point into one of three categories determined by the value of a suitably modified frequency function; distinct growth-rate estimates for u are obtained in each case. The authors also prove a Kemper-type boundary Harnack principle (the first such result for singular semilinear equations) and introduce iterative upper barriers together with an auxiliary subharmonic function V to control the growth inductively.

Significance. If the frequency classification is exhaustive and the monotonicity of the modified frequency is established, the work supplies the first Kemper-type boundary Harnack principle for singular semilinear equations and extends classical boundary regularity theory to non-smooth domains. The iterative barrier construction and the auxiliary function V constitute concrete technical advances that may be useful beyond the present setting.

major comments (2)
  1. [Abstract, §1] The central claim (abstract and §1) that every limiting cone arising from a Lipschitz boundary point falls into exactly one of three frequency categories is load-bearing for all subsequent growth-rate statements. The provided description supplies no verification that the modified frequency remains finite, monotone, and that its possible limits are exhausted by the three regimes when the right-hand side blows up as u→0; this must be checked explicitly for corners and edges typical of Lipschitz domains.
  2. [§3] §3 (frequency function): the standard Almgren frequency is stated to be replaced by a modified quantity whose monotonicity is proved via the auxiliary function V. It is not shown whether the limit of this modified frequency exists at every boundary point or whether the three-category partition remains exhaustive once the singularity is taken into account.
minor comments (2)
  1. [Abstract] The statement that “the boundedness of the ratio u/v does not imply its continuity” (abstract) should be accompanied by a concrete counter-example or reference to the precise place where this distinction is proved.
  2. [§2] Notation for the frequency function N(r) and the auxiliary function V should be introduced with a displayed definition before they are used in the classification argument.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the major comments point by point below.

read point-by-point responses

  1. Referee: [Abstract, §1] The central claim (abstract and §1) that every limiting cone arising from a Lipschitz boundary point falls into exactly one of three frequency categories is load-bearing for all subsequent growth-rate statements. The provided description supplies no verification that the modified frequency remains finite, monotone, and that its possible limits are exhausted by the three regimes when the right-hand side blows up as u→0; this must be checked explicitly for corners and edges typical of Lipschitz domains.

    Authors: The monotonicity of the modified frequency is established in Section 3 through the introduction of the auxiliary subharmonic function V, which is designed to absorb the singular term u^{-γ} in the monotonicity formula. This ensures the frequency is non-decreasing and bounded from below, hence finite, and the limit exists at each boundary point. The three-category classification is derived by passing to the limit in the frequency and analyzing the resulting homogeneous equation in the tangent cone. For Lipschitz domains, the tangent cones are Lipschitz cones, and our analysis applies directly without requiring C^1 regularity, as the barrier constructions and frequency estimates are local. The exhaustiveness follows from the possible values the limiting frequency can take under the singular nonlinearity, which we classify exhaustively in §3.2. We believe this covers corners and edges, but we can add a clarifying remark if needed. revision: partial

  2. Referee: [§3] §3 (frequency function): the standard Almgren frequency is stated to be replaced by a modified quantity whose monotonicity is proved via the auxiliary function V. It is not shown whether the limit of this modified frequency exists at every boundary point or whether the three-category partition remains exhaustive once the singularity is taken into account.

    Authors: Monotonicity of the modified frequency, proved in Theorem 3.1 using V, directly implies the existence of the limit at every boundary point. The singularity is incorporated into the definition of the modified frequency and the choice of V, ensuring the monotonicity formula holds despite the blow-up of the right-hand side. The partition into three categories is shown to be exhaustive by considering the possible asymptotic behaviors in the cone: the frequency limit determines whether the solution behaves like the distance to the boundary to a certain power, or faster/slower, corresponding to the three regimes. This classification is complete for the singular equation as detailed in the proof. revision: no

Circularity Check

0 steps flagged

No circularity detected; derivation relies on independent constructions

full rationale

The paper constructs a modified frequency for the singular equation, classifies limiting cones into three categories, builds iterative upper barriers and an auxiliary subharmonic function V(X) in the cone, then derives growth rates inductively and a Kemper-type boundary Harnack principle. No quoted step shows a growth rate or Harnack constant defined in terms of itself, a fitted parameter renamed as prediction, or a load-bearing claim reduced to self-citation. The central results are obtained via new techniques for the singular case rather than by construction from the target estimates.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Review performed on abstract only; no explicit free parameters, invented entities, or non-standard axioms are mentioned. Standard background results from elliptic regularity theory are implicitly used but not itemized.

pith-pipeline@v0.9.0 · 5805 in / 1143 out tokens · 33431 ms · 2026-05-22T23:32:38.201160+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

47 extracted references · 47 canonical work pages

  1. [1]

    Acrivos, M

    A. Acrivos, M. J. Shah, and E. E. Petersen. On the flow of non-Newtonian liquid on a rotating disk. J. Appl. Phys., 31:963–968, 1960

    work page 1960

  2. [2]

    Allen and H

    M. Allen and H. Shahgholian. A new boundary Harnack principle (equations with right hand side). Arch. Ration. Mech. Anal., 234(3):1413–1444, 2019

    work page 2019

  3. [3]

    L.Andersson, P.T.Chruściel, andH.Friedrich.OntheregularityofsolutionstotheYamabeequation and the existence of smooth hyperboloidal initial data for Einstein’s field equations.Comm. Math. Phys., 149(3):587–612, 1992

    work page 1992

  4. [4]

    R. F. Bass and K. Burdzy. A boundary Harnack principle in twisted Hölder domains.Ann. of Math. (2), 134(2):253–276, 1991

    work page 1991

  5. [5]

    R. F. Bass and K. Burdzy. The boundary Harnack principle for nondivergence form elliptic operators. J. London Math. Soc. (2), 50(1):157–169, 1994

    work page 1994

  6. [6]

    Boccardo and L

    L. Boccardo and L. Orsina. Semilinear elliptic equations with singular nonlinearities.Calc. Var. Partial Differential Equations, 37(3-4):363–380, 2010

    work page 2010

  7. [7]

    Caffarelli, E

    L. Caffarelli, E. Fabes, S. Mortola, and S. Salsa. Boundary behavior of nonnegative solutions of elliptic operators in divergence form.Indiana Univ. Math. J., 30(4):621–640, 1981. BOUNDARY REGULARITY IN A LIPSCHITZ DOMAIN 47

    work page 1981

  8. [8]

    Chen and L

    W. Chen and L. Wu. Uniform a priori estimates for solutions of higher critical order fractional equations.Calc. Var. Partial Differential Equations, 60(3):Paper No. 102, 19, 2021

    work page 2021

  9. [9]

    M. G. Crandall, P. H. Rabinowitz, and L. Tartar. On a Dirichlet problem with a singular nonlinearity. Comm. Partial Differential Equations, 2(2):193–222, 1977

    work page 1977

  10. [10]

    Dai and T

    W. Dai and T. Duyckaerts. Uniform a priori estimates for positive solutions of higher order Lane- Emden equations inRn.Publ. Mat., 65(1):319–333, 2021

    work page 2021

  11. [11]

    Dai and L

    W. Dai and L. Wu. Uniform a priori estimates for then-th order Lane-Emden system inRn with n≥3.Math. Z., 307(1):Paper No. 3, 30, 2024

    work page 2024

  12. [12]

    De Silva and O

    D. De Silva and O. Savin. A short proof of boundary Harnack principle.J. Differential Equations, 269(3):2419–2429, 2020

    work page 2020

  13. [13]

    De Silva and O

    D. De Silva and O. Savin. On the boundary Harnack principle for operators with different lower order terms, 2025

    work page 2025

  14. [14]

    M. A. del Pino. A global estimate for the gradient in a singular elliptic boundary value problem. Proc. Roy. Soc. Edinburgh Sect. A, 122(3-4):341–352, 1992

    work page 1992

  15. [15]

    H. Dong, S. Jeon, and S. Vita. Schauder type estimates for degenerate or singular elliptic equations with DMO coefficients.Calculus of Variations and Partial Differential Equations, 63, 11 2024

    work page 2024

  16. [16]

    Elgindi and Y

    T.M. Elgindi and Y. Huang. Regular and singular steady states of the 2D incompressible Euler equations near the Bahouri-Chemin patch.Arch. Ration. Mech. Anal., 249(1):Paper No. 2, 31, 2025

    work page 2025

  17. [17]

    Fabes, N

    E. Fabes, N. Garofalo, S. Marín-Malave, and S. Salsa. Fatou theorems for some nonlinear elliptic equations.Rev. Mat. Iberoamericana, 4(2):227–251, 1988

    work page 1988

  18. [18]

    R.H. Fowler. The solution of Emden’s and similar differential equations.Monthly Notices Roy. Astro. Soc., 91:63–91, 1930

    work page 1930

  19. [19]

    Fulks and J

    W. Fulks and J. S. Maybee. A singular non-linear equation.Osaka Math. J., 12:1–19, 1960

    work page 1960

  20. [20]

    Gui and F

    C. Gui and F. Lin. Regularity of an elliptic problem with a singular nonlinearity.Proc. Roy. Soc. Edinburgh Sect. A, 123(6):1021–1029, 1993

    work page 1993

  21. [21]

    Guo and L

    Y. Guo and L. Wu. Classification of solutions to a singular fractional problem in the half space, 2025, preprint

    work page 2025

  22. [22]

    Q.Han, X.Jiang, andW.Shen.TheLoewner-Nirenbergproblemincones.J. Funct. Anal., 287(8):Pa- per No. 110566, 54, 2024

    work page 2024

  23. [23]

    Han and W

    Q. Han and W. Shen. Boundary behaviors for Liouville’s equation in planar singular domains.J. Funct. Anal., 274(6):1790–1824, 2018

    work page 2018

  24. [24]

    Han and W

    Q. Han and W. Shen. The Loewner-Nirenberg problem in singular domains.J. Funct. Anal., 279(6):108604, 43, 2020

    work page 2020

  25. [25]

    Huang and C

    Y. Huang and C. Zhang. Optimal Hölder convergence of a class of singular steady states to the Bahouri-Chemin patch.Calc. Var. Partial Differential Equations, 64(6):Paper No. 191, 31, 2025

    work page 2025

  26. [26]

    Jerison and C.E

    D.S. Jerison and C.E. Kenig. Boundary behavior of harmonic functions in nontangentially accessible domains.Adv. in Math., 46(1):80–147, 1982

    work page 1982

  27. [27]

    X. Jiang. Boundary expansion for the Loewner-Nirenberg problem in domains with conic singulari- ties.J. Funct. Anal., 281(7):Paper No. 109122, 41, 2021

    work page 2021

  28. [28]

    Kamburov and B

    N. Kamburov and B. Sirakov. Uniform a priori estimates for positive solutions of the Lane-Emden equation in the plane.Calc. Var. Partial Differential Equations, 57(6):Paper No. 164, 8, 2018

    work page 2018

  29. [29]

    Kamburov and B

    N. Kamburov and B. Sirakov. Uniform a priori estimates for positive solutions of the Lane-Emden system in the plane.Calc. Var. Partial Differential Equations, 62(3):Paper No. 76, 21, 2023

    work page 2023

  30. [30]

    J.T. Kemper. A boundary Harnack principle for Lipschitz domains and the principle of positive singularities.Comm. Pure Appl. Math., 25:247–255, 1972

    work page 1972

  31. [31]

    Kichenassamy

    S. Kichenassamy. Boundary behavior in the Loewner-Nirenberg problem.J. Funct. Anal., 222(1):98– 113, 2005. 48 YAHONG GUO, CONGMING LI, AND CHILIN ZHANG

    work page 2005

  32. [32]

    N.V. Krylov. Boundedly inhomogeneous elliptic and parabolic equations in a domain.Izv. Akad. Nauk SSSR Ser. Mat., 47(1):75–108, 1983

    work page 1983

  33. [33]

    A. C. Lazer and P. J. McKenna. On a singular nonlinear elliptic boundary-value problem.Proc. Amer. Math. Soc., 111(3):721–730, 1991

    work page 1991

  34. [34]

    Loewner and L

    C. Loewner and L. Nirenberg. Partial differential equations invariant under conformal or projective transformations. InContributions to analysis (a collection of papers dedicated to Lipman Bers), pages 245–272. Academic Press, New York-London, 1974

    work page 1974

  35. [35]

    R. Mazzeo. Regularity for the singular Yamabe problem.Indiana Univ. Math. J., 40(4):1277–1299, 1991

    work page 1991

  36. [36]

    Montoro, L

    L. Montoro, L. Muglia, and B. Sciunzi. The classification of all weak solutions to−∆u=u−γ in the half-space, 2024

    work page 2024

  37. [37]

    Montoro, L

    L. Montoro, L. Muglia, and B. Sciunzi. Classification of solutions to−∆u=u−γ in the half-space. Math. Ann., 389(3):3163–3179, 2024

    work page 2024

  38. [38]

    Nachman and A

    A. Nachman and A. Callegari. A nonlinear singular boundary value problem in the theory of pseu- doplastic fluids.SIAM J. Appl. Math., 38(2):275–281, 1980

    work page 1980

  39. [39]

    P. Nowosad. On the integral equationκf= 1/farising in a problem in communication.J. Math. Anal. Appl., 14:484–492, 1966

    work page 1966

  40. [40]

    Oliva and F

    F. Oliva and F. Petitta. Finite and infinite energy solutions of singular elliptic problems: existence and uniqueness.J. Differential Equations, 264(1):311–340, 2018

    work page 2018

  41. [41]

    Oliva and F

    F. Oliva and F. Petitta. Singular elliptic PDEs: an extensive overview.Partial Differ. Equ. Appl., 6(1):Paper No. 6, 82, 2025

    work page 2025

  42. [42]

    W. L. Perry. A monotone iterative technique for solution ofpth order(p <0)reaction-diffusion problems in permeable catalysis.J. Comput. Chem., 5(4):353–357, 1984

    work page 1984

  43. [43]

    Ren and J

    X. Ren and J. Wei. On a two-dimensional elliptic problem with large exponent in nonlinearity.Trans. Amer. Math. Soc., 343(2):749–763, 1994

    work page 1994

  44. [44]

    Rendón, B

    F. Rendón, B. Sirakov, and M. Soares. Boundary weak Harnack estimates and regularity for elliptic PDE in divergence form.Nonlinear Analysis, 235:113331, 2023

    work page 2023

  45. [45]

    Ros-Oton and C

    X. Ros-Oton and C. Torres-Latorre. New boundary Harnack inequalities with right hand side.J. Differential Equations, 288:204–249, 2021

    work page 2021

  46. [46]

    C.A. Stuart. Existence and approximation of solutions of non-linear elliptic equations.Math. Z., 147(1):53–63, 1976

    work page 1976

  47. [47]

    Vajravelu, E

    K. Vajravelu, E. Soewono, and R. N. Mohapatra. On solutions of some singular, nonlinear differential equations arising in boundary layer theory.J. Math. Anal. Appl., 155(2):499–512, 1991. BOUNDARY REGULARITY IN A LIPSCHITZ DOMAIN 49 School of Mathematical Sciences, Shanghai Jiao Tong University, Shanghai 200240, China Email address:yhguo@sjtu.edu.cn Schoo...

    work page 1991