pith. sign in

arxiv: 2605.03704 · v1 · submitted 2026-05-05 · 🧮 math.AP · math.FA

Singular semilinear elliptic equations in nondivergence form

Pith reviewed 2026-05-07 15:01 UTC · model grok-4.3

classification 🧮 math.AP math.FA
keywords semilinear elliptic equationsnondivergence formsingular nonlinearityexistence and uniquenessDirichlet boundary conditionsGagliardo-Nirenberg inequalitiesGreen function estimatesKato inequalities
0
0 comments X

The pith

Solutions exist and are unique for the singular semilinear equation -Pu = f/u^γ in nondivergence form when the domain and operator coefficients meet stated smoothness thresholds.

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

The paper establishes existence of solutions to the singular semilinear elliptic equation -Pu = f/u^γ with zero Dirichlet boundary values, where P is a second-order elliptic operator written in nondivergence form. Existence holds when the bounded domain Ω belongs to the class C^{1,1} and the coefficients of P are C^1, while uniqueness of solutions inside L^1(Ω) holds when Ω belongs to C^2 and the coefficients are C^2. A sympathetic reader would care because these equations arise in models that develop strong singularities near the boundary, and guaranteed existence plus uniqueness supplies a reliable starting point for analysis and approximation. The proofs proceed by combining nonlinear variants of Gagliardo-Nirenberg inequalities, estimates for the Green function of P, and new Kato-type inequalities to control the singular term f/u^γ.

Core claim

We study the singular semilinear equation -Pu = f/u^γ on a bounded domain Ω with Dirichlet condition u ≡ 0 on ∂Ω, where P is a second-order elliptic differential operator in nondivergence form. We obtain the existence of a solution under the assumptions that Ω ∈ C^{1,1} and P has C^1 coefficients, as well as the uniqueness of solutions in L^1(Ω), under the assumptions that Ω ∈ C^2 and P has C^2 coefficients. Our proofs are based on a novel combination of tools, such as recently obtained nonlinear variants of Gagliardo--Nirenberg inequalities, estimates of Green functions, and new variants of Kato-type inequalities.

What carries the argument

Nonlinear Gagliardo-Nirenberg inequalities together with Green-function estimates and Kato-type inequalities that tame the singular right-hand side f/u^γ for the nondivergence operator P.

If this is right

  • A solution in the appropriate function space exists whenever the domain is C^{1,1} and the coefficients of P are C^1.
  • Uniqueness inside L^1(Ω) follows once the domain and coefficients are upgraded to C^2.
  • The singular forcing term remains compatible with integrability of the solution under the stated regularity.
  • The same combination of inequalities supplies a route to treat nondivergence operators that is not available from divergence-form techniques alone.

Where Pith is reading between the lines

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

  • The inequality toolkit developed here may adapt directly to time-dependent versions of the same singular equation.
  • Uniqueness in L^1 could justify convergence of numerical schemes that approximate the solution from discrete data.
  • The approach may extend to systems of several such singular equations coupled through the right-hand side.

Load-bearing premise

The domain boundary must be C^{1,1} smooth and the coefficients of P must be C^1 for existence to hold, or both must be one derivative smoother for uniqueness in L^1.

What would settle it

A concrete C^{1,1} domain together with C^1 coefficients of P and suitable f and γ for which either no integrable solution exists or at least two distinct L^1 solutions can be exhibited.

read the original abstract

We study the singular semilinear equation $-Pu = \frac{f}{u^\gamma}$ on a bounded domain $\Omega$ with Dirichlet condition $u \equiv 0$ on $\partial \Omega$ , where $P$ is a second-order elliptic differential operator in nondivergence form. We obtain the existence of a solution under the assumptions that $\Omega \in C^{1,1}$ and $P$ has $C^1$ coefficients, as well as the uniqueness of solutions in $L^1(\Omega)$, under the assumptions that $\Omega \in C^2$ and $P$ has $C^2$ coefficients. Our proofs are based on a novel combination of tools, such as recently obtained nonlinear variants of Gagliardo--Nirenberg inequalities, estimates of Green functions, and new variants of Kato-type inequalities.

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

0 major / 3 minor

Summary. The manuscript studies the singular semilinear elliptic problem −Pu = f/u^γ on a bounded domain Ω with zero Dirichlet boundary data, where P is a second-order elliptic operator in nondivergence form. It establishes existence of a solution when Ω ∈ C^{1,1} and the coefficients of P are C^1, together with uniqueness in L^1(Ω) when Ω ∈ C^2 and the coefficients are C^2. The proofs combine nonlinear Gagliardo–Nirenberg inequalities, Green-function estimates, and new variants of Kato-type inequalities, with the full text specifying f > 0 continuous and 0 < γ < 1.

Significance. If the central claims hold, the work supplies existence and uniqueness results for singular semilinear equations in nondivergence form under comparatively low regularity on the domain and coefficients. The explicit use of recently derived nonlinear Gagliardo–Nirenberg inequalities and Green-function estimates constitutes a genuine technical contribution; the full manuscript confirms that no hidden higher-order assumptions are invoked beyond those stated in the abstract. These tools may prove reusable for related singular problems.

minor comments (3)
  1. [§1] §1, paragraph 3: the precise integrability requirements on f and the range of γ are stated only later; moving the sentence “f > 0 continuous and 0 < γ < 1” to the introduction would improve readability without altering the argument.
  2. [Theorem 3.2] Theorem 3.2 (existence): the application of the nonlinear Gagliardo–Nirenberg inequality on page 12 requires a brief verification that the C^{1,1} boundary regularity suffices for the trace and extension operators used in the proof.
  3. [§4.1] §4.1, display (4.3): the constant appearing in the Kato-type inequality is not tracked explicitly; adding a short remark on its dependence on the C^2 coefficients of P would clarify the uniqueness argument.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive assessment of our manuscript on singular semilinear elliptic equations in nondivergence form. The report recommends minor revision, but no specific major comments are listed. We therefore have no points requiring direct response or revision at this stage.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper establishes existence of solutions to the singular semilinear equation under C^{1,1} domain and C^1 coefficients via nonlinear Gagliardo-Nirenberg inequalities combined with Green function estimates, and uniqueness in L^1 under C^2 regularity via Kato-type inequalities. These steps apply standard analytic estimates to the given data without any parameter fitting, self-definitional loops, or load-bearing self-citations that reduce the claims to their own inputs by construction. The regularity assumptions are explicitly stated and used directly in the estimates, with no renaming of known results or smuggling of ansatzes via prior work that would create circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard domain-regularity and operator-regularity assumptions typical in elliptic PDE theory; no free parameters or invented entities are visible in the abstract.

axioms (2)
  • domain assumption P is a second-order elliptic differential operator in nondivergence form
    This is the structural assumption defining the left-hand side of the equation under study.
  • domain assumption The domain Ω is bounded and belongs to the Hölder class C^{1,1} or C^2
    These regularity requirements on Ω are explicitly invoked for the existence and uniqueness conclusions.

pith-pipeline@v0.9.0 · 5452 in / 1437 out tokens · 73104 ms · 2026-05-07T15:01:13.003659+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

45 extracted references · 45 canonical work pages

  1. [1]

    Aikawa, T

    H. Aikawa, T. Kilpeläinen, N. Shanmugalingam, and X. Zhong. Boundary Harnack principle forp-harmonic functions in smooth Euclidean domains.Potential Anal., 26(3):281–301, 2007

  2. [2]

    Anzellotti and M

    G. Anzellotti and M. Giaquinta. BV functions and traces.Rend. Sem. Mat. Univ. Padova, 60:1–21 (1979), 1978

  3. [3]

    Applebaum.Lévy processes and stochastic calculus, volume 93 ofCambridge Studies in Advanced Math- ematics

    D. Applebaum.Lévy processes and stochastic calculus, volume 93 ofCambridge Studies in Advanced Math- ematics. Cambridge University Press, Cambridge, 2004

  4. [4]

    A. A. Balinsky, W. D. Evans, and R. T. Lewis.The analysis and geometry of Hardy’s inequality. Universi- text. Springer, Cham, 2015

  5. [5]

    Barrios, I

    B. Barrios, I. de Bonis, M. Medina, and I. Peral. Semilinear problems for the fractional Laplacian with a singular nonlinearity.Open Math., 13(1):390–407, 2015

  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

  7. [7]

    Brandolini and F

    B. Brandolini and F. C. Cîrstea. Singular anisotropic elliptic equations with gradient-dependent lower order terms.NoDEA Nonlinear Differential Equations Appl., 30(5):Paper No. 58, 58, 2023

  8. [8]

    Brandolini, V

    B. Brandolini, V. Ferone, and B. Messano. Existence and comparison results for a singular semilinear elliptic equation with a lower order term.Ric. Mat., 63(1, suppl.):S3–S18, 2014

  9. [9]

    Chen and J.-M

    Z.-Q. Chen and J.-M. Wang. Green function estimates for second order elliptic operators in non-divergence form with Dini continuous coefficients.Electron. J. Probab., 28:Paper No. 36, 54, 2023

  10. [10]

    Choczewski and A

    T. Choczewski and A. Kałamajska. On certain variant of strongly nonlinear multidimensional interpolation inequality.Topol. Methods Nonlinear Anal., 52(1):49–67, 2018

  11. [11]

    M. H. M. Christianen, A. J. E. M. Janssen, M. Vlasiou, and B. Zwart. Asymptotic analysis of Emden- Fowler type equation with an application to power flow models.Indag. Math. (N.S.), 34(5):1146–1180, 2023. SINGULAR SEMILINEAR ELLIPTIC EQUATIONS IN NONDIVERGENCE FORM 31

  12. [12]

    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

  13. [13]

    de Bonis

    I. de Bonis. Singular elliptic problems in general domains.Appl. Anal., 102(11):2978–2998, 2023

  14. [14]

    J. I. Díaz and J. M. Rakotoson. On the differentiability of very weak solutions with right-hand side data integrable with respect to the distance to the boundary.J. Funct. Anal., 257(3):807–831, 2009

  15. [15]

    T. D. Do and A. F. M. ter Elst. Degenerate elliptic operators and Kato’s inequality. InFrom com- plex analysis to operator theory—a panorama, volume 291 ofOper. Theory Adv. Appl., pages 405–433. Birkhäuser/Springer, Cham, [2023]©2023

  16. [16]

    Dong and S

    H. Dong and S. Kim. Green’s function for nondivergence elliptic operators in two dimensions.SIAM J. Math. Anal., 53(4):4637–4656, 2021

  17. [17]

    Dyda and M

    B. Dyda and M. Kijaczko. On density of compactly supported smooth functions in fractional Sobolev spaces.Ann. Mat. Pura Appl. (4), 201(4):1855–1867, 2022

  18. [18]

    D. E. Edmunds and W. D. Evans.Spectral theory and differential operators. Oxford Mathematical Mono- graphs. Oxford University Press, Oxford, second edition, 2018

  19. [19]

    L. C. Evans.Partial differential equations, volume 19 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, 1998

  20. [20]

    Federer.Geometric measure theory

    H. Federer.Geometric measure theory. Die Grundlehren der mathematischen Wissenschaften, Band 153. Springer-Verlag New York, Inc., New York, 1969

  21. [21]

    G. B. Folland.Real analysis. Pure and Applied Mathematics (New York). John Wiley & Sons, Inc., New York, second edition, 1999. Modern techniques and their applications, A Wiley-Interscience Publication

  22. [22]

    Fulks and J

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

  23. [23]

    V. R. Gavrilov and V. N. Melnikov. Integration ofD-dimensional cosmological models with two quotient spaces by reduction to the generalized Emden-Fowler equation.Teoret. Mat. Fiz., 114(3):454–469, 1998

  24. [24]

    Gilbarg and N

    D. Gilbarg and N. S. Trudinger.Elliptic partial differential equations of second order. Classics in Mathe- matics. Springer-Verlag, Berlin, 2001. Reprint of the 1998 edition

  25. [25]

    Girault and L

    V. Girault and L. R. Scott. Analysis of a two-dimensional grade-two fluid model with a tangential boundary condition.J. Math. Pures Appl. (9), 78(10):981–1011, 1999

  26. [26]

    Pitman (Advanced Publishing Program), Boston, MA, 1985

    P.Grisvard.Elliptic problems in nonsmooth domains, volume24ofMonographs and Studies in Mathematics. Pitman (Advanced Publishing Program), Boston, MA, 1985

  27. [27]

    Hueber and M

    H. Hueber and M. Sieveking. Uniform bounds for quotients of Green functions onC1,1-domains.Ann. Inst. Fourier (Grenoble), 32(1):vi, 105–117, 1982

  28. [28]

    Hwang and S

    S. Hwang and S. Kim. Green’s function for second order elliptic equations in non-divergence form.Potential Anal., 52(1):27–39, 2020

  29. [29]

    Kadlec and A

    J. Kadlec and A. Kufner. Characterization of functions with zero traces by integrals with weight functions. I.Časopis Pěst. Mat., 91:463–471, 1966

  30. [30]

    Kałamajska, D

    A. Kałamajska, D. Peša, and T. Roskovec. Non-linear Gagliardo–Nirenberg inequality involving a second- order elliptic operator in non-divergent form.NoDEA Nonlinear Differential Equations Appl., 32(6):Paper No. 114, 2025. 32 AGNIESZKA KAŁAMAJSKA, DALIMIL PEŠA, AND ARTUR RUTKOWSKI

  31. [31]

    Kijaczko.Fractional Sobolev spaces and Hardy inequalities

    M. Kijaczko.Fractional Sobolev spaces and Hardy inequalities. PhD Thesis, Wrocław University of Science and Technology, 2023

  32. [32]

    Kinnunen and O

    J. Kinnunen and O. Martio. Hardy’s inequalities for Sobolev functions.Math. Res. Lett., 4(4):489–500, 1997

  33. [33]

    Kufner, O

    A. Kufner, O. John, and S. Fučík.Function spaces. Monographs and Textbooks on Mechanics of Solids and Fluids, Mechanics: Analysis. Noordhoff International Publishing, Leiden; Academia, Prague, 1977

  34. [34]

    Leoni.A first course in Sobolev spaces, volume 181 ofGraduate Studies in Mathematics

    G. Leoni.A first course in Sobolev spaces, volume 181 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, second edition, 2017

  35. [35]

    Luning and W

    C. Luning and W. Perry. An iterative method for solution of a boundary value problem in non-Newtonian fluid flow.J. Non-Newton. Fluid Mech., 15(2):145–154, 1984

  36. [36]

    V. Maz’ya.Sobolev spaces with applications to elliptic partial differential equations, volume 342 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer, Heidelberg, augmented edition, 2011

  37. [37]

    Nekvinda and H

    A. Nekvinda and H. Turčinová. Characterization of functions with zero traces via the distance function and Lorentz spaces.J. Math. Anal. Appl., 529(1):Paper No. 127567, 28, 2024

  38. [38]

    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

  39. [39]

    F.OlivaandF.Petitta.SingularellipticPDEs: anextensiveoverview.Partial Differ. Equ. Appl., 6(1):Paper No. 6, 82, 2025

  40. [40]

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

  41. [41]

    Tyagi and R

    J. Tyagi and R. B. Verma. Positive solution to extremal Pucci’s equations with singular and gradient nonlinearity.Discrete Contin. Dyn. Syst., 39(5):2637–2659, 2019

  42. [42]

    L. Véron. Elliptic equations involving measures. InStationary partial differential equations. Vol. I, Handb. Differ. Equ., pages 593–712. North-Holland, Amsterdam, 2004

  43. [43]

    J. S. W. Wong. On the generalized Emden–Fowler equation.SIAM Rev., 17:339–360, 1975

  44. [44]

    Z. X. Zhao. Green function for Schrödinger operator and conditioned Feynman-Kac gauge.J. Math. Anal. Appl., 116(2):309–334, 1986

  45. [45]

    Z. X. Zhao. Green functions and conditioned gauge theorem for a2-dimensional domain. InSeminar on Stochastic Processes, 1987 (Princeton, NJ, 1987), volume 15 ofProgr. Probab. Statist., pages 283–294. Birkhäuser Boston, Boston, MA, 1988. SINGULAR SEMILINEAR ELLIPTIC EQUATIONS IN NONDIVERGENCE FORM 33 F aculty of Mathematics, Informatics and Mechanics, Univ...