pith. sign in

arxiv: 2604.20297 · v1 · submitted 2026-04-22 · 🧮 math.AP

Classification of solutions to a weighted singular fractional problem in the half space

Yahong Guo , Chilin Zhang This is my paper

Pith reviewed 2026-05-10 00:11 UTC · model grok-4.3

classification 🧮 math.AP
keywords fractional Laplacianhalf-spacepositive solutionsclassificationone-dimensional symmetrymoving plane methodsingular equationweighted problem
0
0 comments X

The pith

When -2s < α < (γ-1)s, all positive solutions to the weighted fractional equation in the half-space are one-dimensional, monotone increasing in x_n, and fully classified by their asymptotic s-order slope.

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

This paper studies positive solutions of the singular equation involving the fractional Laplacian with a power weight in the half-space, subject to zero Dirichlet boundary conditions. For the parameter range -2s < α < (γ-1)s, it proves that every such solution must depend only on the distance to the boundary and increase as one moves away from it. The authors then give a complete classification of these one-dimensional profiles according to the value of a certain asymptotic slope parameter. Outside this range for α, no positive solutions exist anywhere in the half-space. The results clarify how the weight exponent controls both the symmetry and the very existence of solutions.

Core claim

Under the condition -2s < α < (γ-1)s, all positive solutions u exhibit one-dimensional symmetry, are monotone increasing in the x_n variable, and can be completely classified via their asymptotic s-order slope. When α lies outside this interval, there are no global positive solutions.

What carries the argument

The asymptotic s-order slope, which parametrizes and classifies all one-dimensional positive solutions after symmetry is established via the moving plane method.

If this is right

  • Every positive solution in the given range of α depends only on the single variable x_n.
  • Every such solution is strictly increasing in the normal direction to the boundary.
  • All one-dimensional solutions are parametrized exactly by the value of their asymptotic s-order slope.
  • No positive solutions exist in the half-space when α is outside the interval -2s < α < (γ-1)s.

Where Pith is reading between the lines

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

  • The critical thresholds on α may separate regimes in which symmetry is forced from those in which asymmetric solutions might exist.
  • The same reduction to one dimension and slope classification could be tested on related fractional equations with different singular nonlinearities.
  • Nonexistence outside the interval might be used to obtain a priori bounds or nonexistence statements for solutions in bounded domains with the same weight.

Load-bearing premise

The moving plane method applies to establish one-dimensional symmetry only when the weight exponent α lies strictly between -2s and (γ-1)s.

What would settle it

Finding a positive solution that depends on more than one variable or fails to be monotone in x_n, while satisfying the equation and boundary condition for some α inside (-2s, (γ-1)s), would disprove the symmetry claim.

read the original abstract

We focus on the classification of positive solutions to $(-\Delta)^s u=\frac{x_n^{\alpha}}{u^\gamma}$ in the half space with $\gamma>0$, subject to the Dirichlet condition. We show that when $-2s<\alpha<(\gamma-1)s$, all positive solutions exhibit one-dimensional symmetry and are monotone increasing in $x_n$. Moreover, we provide a complete classification of all such one-dimensional solutions via their ``asymptotic $s$-order slope". When $\alpha$ lies outside this range, we demonstrate the nonexistence of global positive solutions.

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 classifies positive solutions to the equation (-Δ)^s u = x_n^α / u^γ in the half-space with zero Dirichlet boundary data. For -2s < α < (γ-1)s it asserts that every positive solution is one-dimensional, symmetric, and strictly increasing in the x_n-variable; these solutions are then completely classified by their asymptotic s-order slope. Outside this interval the paper proves nonexistence of global positive solutions.

Significance. If the technical steps are verified, the result supplies a sharp classification for a singular weighted fractional problem, extending moving-plane techniques to a setting with boundary singularities. The explicit classification by asymptotic slope is a concrete strength that yields falsifiable predictions for the one-dimensional profiles.

major comments (2)
  1. [Proof of one-dimensional symmetry (presumably §3 and Theorem 1.1)] The symmetry claim for all positive solutions (abstract and central theorem) rests on moving-plane or integral-representation arguments. The right-hand side x_n^α/u^γ is singular on the boundary where u=0; the stated range on α guarantees local integrability but does not automatically yield the C^{1,β} or boundary Hölder estimates required to compare u(x) and u(x^λ) or to pass to the limit in the moving-plane procedure. The manuscript must supply a uniform regularity bootstrap for weak solutions before the symmetry conclusion can be asserted for the entire class.
  2. [Nonexistence theorem (presumably Theorem 1.2)] The nonexistence statement outside the interval -2s < α < (γ-1)s is stated globally; it is unclear whether the argument rules out all positive weak solutions or only those satisfying additional integrability or decay conditions at infinity. A precise statement of the function space in which nonexistence holds is needed to confirm the result is not restricted to a subclass.
minor comments (2)
  1. [Introduction] The notation for the fractional Laplacian and the precise definition of the asymptotic s-order slope should be recalled in the introduction for readers unfamiliar with the literature.
  2. [Introduction and §2] Several references to prior moving-plane results for fractional equations in half-spaces are missing; adding them would clarify the novelty of the weighted singular case.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. The concerns about regularity for the moving-plane argument and the precise function space for nonexistence are well-taken; we address them point by point below and will revise the manuscript to improve clarity.

read point-by-point responses

  1. Referee: [Proof of one-dimensional symmetry (presumably §3 and Theorem 1.1)] The symmetry claim for all positive solutions (abstract and central theorem) rests on moving-plane or integral-representation arguments. The right-hand side x_n^α/u^γ is singular on the boundary where u=0; the stated range on α guarantees local integrability but does not automatically yield the C^{1,β} or boundary Hölder estimates required to compare u(x) and u(x^λ) or to pass to the limit in the moving-plane procedure. The manuscript must supply a uniform regularity bootstrap for weak solutions before the symmetry conclusion can be asserted for the entire class.

    Authors: We appreciate the referee's emphasis on the regularity prerequisites. Prior to the moving-plane procedure in §3, the manuscript develops the necessary bootstrap in §2: for -2s < α the right-hand side belongs to a space that permits application of the fractional Schauder theory and boundary regularity results for the fractional Laplacian with zero exterior data. This yields uniform C^{1,β} estimates up to the boundary that are independent of the moving-plane parameter λ. These estimates are obtained by first establishing local integrability of the nonlinearity, then applying a standard iteration to gain Hölder continuity, and finally differentiating the integral representation to control the gradient. The comparison u(x) ≥ u(x^λ) and the limiting procedure are then justified directly from these bounds. We will insert an explicit reference to the §2 estimates at the beginning of §3 and add a short remark confirming uniformity with respect to λ. revision: partial

  2. Referee: [Nonexistence theorem (presumably Theorem 1.2)] The nonexistence statement outside the interval -2s < α < (γ-1)s is stated globally; it is unclear whether the argument rules out all positive weak solutions or only those satisfying additional integrability or decay conditions at infinity. A precise statement of the function space in which nonexistence holds is needed to confirm the result is not restricted to a subclass.

    Authors: The nonexistence result holds for every positive weak solution understood in the distributional sense: u > 0 a.e. in the half-space, u = 0 on the boundary in the trace sense, and the integral identity ∫ u (-Δ)^s ϕ = ∫ (x_n^α / u^γ) ϕ holds for all nonnegative test functions ϕ ∈ C_c^∞(R^n_+). The proof proceeds by contradiction using a carefully chosen sequence of test functions with increasing support; no decay assumption at infinity is imposed. We agree that the current statement of Theorem 1.2 is not sufficiently explicit about the function space. We will revise the theorem statement, the abstract, and the introduction to specify that nonexistence applies to all positive distributional solutions (with the right-hand side locally integrable, which is automatic from the equation once u is positive and continuous). revision: yes

Circularity Check

0 steps flagged

No circularity: analytic classification via moving planes and integral identities is self-contained

full rationale

The paper derives one-dimensional symmetry and monotonicity for positive solutions when -2s<α<(γ-1)s using moving-plane or integral-representation arguments on the fractional equation with singular weight. The classification of one-dimensional solutions by asymptotic s-order slope follows directly from solving the resulting ODE or integral equation under the given range. No step reduces a prediction to a fitted parameter by construction, renames a known result, or relies on a load-bearing self-citation whose uniqueness theorem is unverified. The nonexistence result outside the range is obtained by contradiction or integrability failure, independent of the symmetry proof. The derivation chain is therefore self-contained and does not collapse to its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard properties of the fractional Laplacian, positivity, and the Dirichlet condition; no new free parameters are fitted and no invented entities are introduced.

axioms (2)
  • standard math The fractional Laplacian (-Δ)^s is well-defined for positive functions vanishing on the boundary of the half-space
    Invoked throughout the statement of the problem and the symmetry arguments.
  • domain assumption Solutions are C^2 or sufficiently regular for the equation to hold pointwise
    Required for the classification and monotonicity statements to make sense.

pith-pipeline@v0.9.0 · 5385 in / 1395 out tokens · 49089 ms · 2026-05-10T00:11:33.582859+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

22 extracted references · 22 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]

    Giacomoni, and S

    Adimurthi, J. Giacomoni, and S. Santra. Positive solutions to a fractional equation with singular nonlinearity.J. Differential Equations, 265(4):1191–1226, 2018

    work page 2018

  3. [3]

    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

  4. [4]

    Brandolini, F

    B. Brandolini, F. Chiacchio, and C. Trombetti. Symmetrization for singular semilinear elliptic equations.Ann. Mat. Pura Appl. (4), 193(2):389–404, 2014

    work page 2014

  5. [5]

    Canino, F

    A. Canino, F. Esposito, and B. Sciunzi. On the H¨ opf boundary lemma for singular semilinear elliptic equations.J. Differential Equations, 266(9):5488–5499, 2019

    work page 2019

  6. [6]

    Canino, L

    A. Canino, L. Montoro, B. Sciunzi, and M. Squassina. Nonlocal problems with singular nonlinearity.Bull. Sci. Math., 141(3):223–250, 2017

    work page 2017

  7. [7]

    W. Chen, Y. Li, and P. Ma.The fractional Laplacian. World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, [2020]©2020

    work page 2020

  8. [8]

    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

  9. [9]

    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

  10. [10]

    Esposito and B

    F. Esposito and B. Sciunzi. On the H¨ opf boundary lemma for quasilinear problems involving singular nonlinearities and applications.J. Funct. Anal., 278(4):108346, 25, 2020

    work page 2020

  11. [11]

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

    work page 1930

  12. [12]

    Fulks and J

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

    work page 1960

  13. [13]

    Giacomoni, T

    J. Giacomoni, T. Mukherjee, and K. Sreenadh. Positive solutions of fractional elliptic equation with critical and singular nonlinearity.Adv. Nonlinear Anal., 6(3):327–354, 2017

    work page 2017

  14. [14]

    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

  15. [15]

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

    work page 1991

  16. [16]

    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

  17. [17]

    Montoro, L

    L. Montoro, L. Muglia, and B. Sciunzi. The classification of all weak solutions to −∆U=U −γ in the half space.SIAM J. Math. Anal., 57(5):5080–5088, 2025. 19

    work page 2025

  18. [18]

    Nachman and A

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

    work page 1980

  19. [19]

    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

  20. [20]

    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

  21. [21]

    W. 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

  22. [22]

    Vajravelu, E

    K. Vajravelu, E. Soewono, and R. N. Mohapatra. On solutions of some singular, non- linear differential equations arising in boundary layer theory.J. Math. Anal. Appl., 155(2):499–512, 1991. Yahong Guo School of Mathematical Sciences Shanghai Jiao Tong University Shanghai, 200240, P. R. China Email address:yhguo@sjtu.edu.cn Chilin Zhang School of Mathemati...

    work page 1991