Singular semilinear elliptic equations in nondivergence form
Pith reviewed 2026-05-07 15:01 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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, 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.
- [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.
- [§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
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
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
axioms (2)
- domain assumption P is a second-order elliptic differential operator in nondivergence form
- domain assumption The domain Ω is bounded and belongs to the Hölder class C^{1,1} or C^2
Reference graph
Works this paper leans on
- [1]
-
[2]
G. Anzellotti and M. Giaquinta. BV functions and traces.Rend. Sem. Mat. Univ. Padova, 60:1–21 (1979), 1978
work page 1979
-
[3]
D. Applebaum.Lévy processes and stochastic calculus, volume 93 ofCambridge Studies in Advanced Math- ematics. Cambridge University Press, Cambridge, 2004
work page 2004
-
[4]
A. A. Balinsky, W. D. Evans, and R. T. Lewis.The analysis and geometry of Hardy’s inequality. Universi- text. Springer, Cham, 2015
work page 2015
-
[5]
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
work page 2015
-
[6]
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]
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
work page 2023
-
[8]
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
work page 2014
-
[9]
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
work page 2023
-
[10]
T. Choczewski and A. Kałamajska. On certain variant of strongly nonlinear multidimensional interpolation inequality.Topol. Methods Nonlinear Anal., 52(1):49–67, 2018
work page 2018
-
[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
work page 2023
-
[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
work page 1977
- [13]
-
[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
work page 2009
-
[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
work page 2023
-
[16]
H. Dong and S. Kim. Green’s function for nondivergence elliptic operators in two dimensions.SIAM J. Math. Anal., 53(4):4637–4656, 2021
work page 2021
-
[17]
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
work page 2022
-
[18]
D. E. Edmunds and W. D. Evans.Spectral theory and differential operators. Oxford Mathematical Mono- graphs. Oxford University Press, Oxford, second edition, 2018
work page 2018
-
[19]
L. C. Evans.Partial differential equations, volume 19 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, 1998
work page 1998
-
[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
work page 1969
-
[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
work page 1999
-
[22]
W. Fulks and J. S. Maybee. A singular non-linear equation.Osaka Math. J., 12:1–19, 1960
work page 1960
-
[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
work page 1998
-
[24]
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
work page 2001
-
[25]
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
work page 1999
-
[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
work page 1985
-
[27]
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
work page 1982
-
[28]
S. Hwang and S. Kim. Green’s function for second order elliptic equations in non-divergence form.Potential Anal., 52(1):27–39, 2020
work page 2020
-
[29]
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
work page 1966
-
[30]
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
work page 2025
-
[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
work page 2023
-
[32]
J. Kinnunen and O. Martio. Hardy’s inequalities for Sobolev functions.Math. Res. Lett., 4(4):489–500, 1997
work page 1997
- [33]
-
[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
work page 2017
-
[35]
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
work page 1984
-
[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
work page 2011
-
[37]
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
work page 2024
-
[38]
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
-
[39]
F.OlivaandF.Petitta.SingularellipticPDEs: anextensiveoverview.Partial Differ. Equ. Appl., 6(1):Paper No. 6, 82, 2025
work page 2025
-
[40]
C. A. Stuart. Existence and approximation of solutions of non-linear elliptic equations.Math. Z., 147(1):53– 63, 1976
work page 1976
-
[41]
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
work page 2019
-
[42]
L. Véron. Elliptic equations involving measures. InStationary partial differential equations. Vol. I, Handb. Differ. Equ., pages 593–712. North-Holland, Amsterdam, 2004
work page 2004
-
[43]
J. S. W. Wong. On the generalized Emden–Fowler equation.SIAM Rev., 17:339–360, 1975
work page 1975
-
[44]
Z. X. Zhao. Green function for Schrödinger operator and conditioned Feynman-Kac gauge.J. Math. Anal. Appl., 116(2):309–334, 1986
work page 1986
-
[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...
work page 1987
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.