Pith. sign in

REVIEW 6 minor 1 cited by

Characterization of positive superharmonic functions in a half-space

T0 review · 0 major / 6 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read A weighted growth test on rings characterizes which half-space superharmonic functions admit an integral representation.

desk verdict A solid, correct characterization result: the weighted ring condition (R+) is necessary and sufficient for Riesz representation on the half-space, and the proof is in good shape. read the letter →

arxiv 2506.02305 v1 pith:HSQCZPOA submitted 2025-06-02 math.AP

Lorenzo D'Ambrosio , Enzo Mitidieri This is my paper
classification math.AP MSC 35C1535R0635B45
keywords superharmonicfunctionshalf-spaceintegralrepresentationformulaeweightedringconditioncomparisonprinciplepositivityPoissonkernelGreenfunction
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper asks when a superharmonic function on the upper half-space can be written as the sum of a linear term, a Poisson integral of boundary data, and a Green potential of an interior measure. The answer is governed by a weighted ring condition: the weighted average of the function's deviation from a line, taken over expanding cylindrical annuli, must tend to zero. The authors prove this condition is both sufficient and necessary, and they use it to derive comparison principles and positivity results. The main consequence is that a weak solution of the half-space boundary-value problem that is bounded from below must be nonnegative.

What carries the argument

The central object is the weighted ring condition $(R_+)$, a half-space analog of the whole-space ring condition $(R)$: it controls the growth of the function in cylindrical annuli with weight $y_N$. The proof of the necessity direction uses Huber's lifting lemma (Lemma 3.16, from a 1956 paper by Huber), which maps a superharmonic function $u$ on $\mathbb{R}^N_+$ satisfying $\liminf_{x\to y} u(x)\ge 0$ on the boundary to the superharmonic function $v(\xi) = u(\xi', |\bar\xi|)/|\bar\xi|$ on $\mathbb{R}^{N+2}$. This dimension-raising transformation transfers known whole-space ball-average results into the half-space setting, making the weighted ring condition emerge from the behavior of $v$.

What would settle it

One concrete test is to compute Huber's lift (49) for an explicit superharmonic function on $\mathbb{R}^N_+$ with $\liminf_{x\to y}u(x)=0$ on the boundary and check whether the lift is superharmonic on $\mathbb{R}^{N+2}$; a failure would disprove the necessity of $(R_+)$, as would exhibiting a function defined by the right-hand side of (25), finite almost everywhere, whose weighted annulus averages do not tend to zero.

Watch

Extended reading notes

Core claim

For $N \ge 2$, a weak solution $u$ of the boundary-value problem $-\Delta u = \mu$ on $\mathbb{R}^N_+$ with boundary data $\nu$ admits the representation $u(x) = h x_N + \int_{\partial\mathbb{R}^N_+} K_x(y')\,d\nu(y') + \int_{\mathbb{R}^N_+} G_x(y)\,d\mu(y)$ for almost every $x$ if and only if there exists a real constant $h$ such that the weighted ring condition $(R_+)$ holds at every Lebesgue point of $u$: $\liminf_{R\to\infty} \frac{1}{R^{N+2}} \int_{\{y_N>0\}\cap\{R<|x-y|_*<2R\}} y_N |u(y)-hy_N|\,dy = 0$. The same condition is sufficient for the inequality version of the problem, and it yields a comparison principle together with the statement that weak solutions of (4) or (5) that are bounded from below are nonnegative.

Load-bearing premise

The necessity direction and the comparison principle rest on Huber's 1956 lifting lemma, which says that a superharmonic function on the half-space with zero lower boundary trace lifts to a superharmonic function in two extra dimensions; if that classical lemma failed, the weighted ring condition could not be inferred from whole-space ball averages.

Editorial extensions

If this is right

  • Every weak solution of (4) satisfying $(R_+)$ equals the Poisson–Green representation with a linear term $h x_N$, and the constant $h$ is the infimum of $u(x)/x_N$ over the half-space.
  • Weak solutions of (5) or (4) that are bounded from below are nonnegative, have a lim-trace, and satisfy $(R_+)$ with $h\ge 0$.
  • If $u-hx_N$ is not identically zero, then $u$ grows at least like $x_N/(1+|x|^N)$ at infinity.
  • The weighted ring condition is necessary and sufficient for the representation, and in fact the $\liminf$ in $(R_+)$ can be replaced by a genuine limit for every function of the form (25).
  • Solutions to the semilinear inequality $\pm\Delta u \ge |u|^q$ with zero boundary data satisfy the unweighted version $(R^0_+)$, so the representation and comparison theorems apply to them.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The Huber lifting technique used here suggests a general method: to transfer whole-space potential-theoretic characterizations to half-spaces or cones, one raises dimension and exploits symmetry, which may work for other boundary geometries.
  • The weighted ring condition may extend to conical domains with a suitable angular weight, as the authors indicate in the introduction; such an extension would likely come from a cone-adapted lifting argument.
  • The equivalence between nonnegativity and the weighted ring condition gives a soft route to Liouville-type results for semilinear problems, since any solution of (9) automatically satisfies $(R^0_+)$.
  • The paper's Theorem 3.15 can be seen as a half-space counterpart of the classical theorem that a superharmonic function on $\mathbb{R}^N$ that is bounded below is nonnegative, but here the growth condition is expressed through annular averages rather than pointwise bounds.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 6 minor

Summary. The paper studies superharmonic functions on the half-space R^N_+, N≥2, with measure-valued data: a positive Radon measure μ in the interior and a positive Radon measure ν on the boundary. The central object is a weighted ring condition (R+), which asks for a constant h such that the liminf of (1/R^{N+2})∫_{y_N>0, R<|x-y|_*<2R} y_N|u(y)-hy_N| dy vanishes at Lebesgue points. Theorem 3.1 states that, for weak solutions of (4) or (5), this condition is both sufficient and necessary for the representation u(x)=h x_N+∫K_x dν+∫G_x dμ. From this characterization the authors derive comparison principles, a positivity theorem for bounded-below solutions, and, in Section 4, a second representation formula based on level sets of the Green function and on results from [8]. The proof is built on regularized Green-function test functions, explicit estimates in Appendix A, and Huber's classical lifting of half-space superharmonic functions to R^{N+2}.

Significance. If the main theorem is correct, it provides a sharp and checkable growth condition that replaces the nonnegativity assumption in the classical Riesz representation on the half-space, in the spirit of the whole-space condition of Caristi–D'Ambrosio–Mitidieri in [6]. The paper gives a self-contained Green-function argument with explicit constants in Appendix A, and it carefully develops the lim-trace formalism for weak solutions in Section 2. The consequences are substantial: a comparison principle (Theorem 3.12), a nonnegativity statement for bounded-below weak solutions (Theorem 3.15), and a converse representation theorem with positivity information (Theorem 3.1.B). The reliance on the classical Huber lifting lemma and on the authors' earlier whole-space theorem is standard and does not appear circular; the main new content of Sections 2–3 is the transfer of the ring-condition characterization to the half-space setting.

minor comments (6)
  1. [Section 3.3, Eq. (48)] The finiteness assertion ∫ y_N/(1+|y|^N) dμ(y)<∞ is used to control the tail integral for u_2, but it is stated without proof. It follows from the assumed finiteness of u_2 at one point together with the lower bound G_x(y)≥c x_N y_N/|y|^N for large |y| given by Proposition A.1(2); please insert a sentence making this derivation explicit.
  2. [Section 3.2, Theorem 3.8] In passing to the limits in (44), the Beppo Levi monotone convergence theorem is applied to signed integrals involving ν=ν_+-ν_- and μ=μ_+-μ_-. The text should explicitly say that the positive and negative parts are handled separately and that assumption (28) is what makes the resulting differences finite.
  3. [Remark 3.9] The remark contains the typo 'nonegative'. More substantively, the claim that the set of functions satisfying the limit version (29) is a linear space is asserted without justification; a one-line verification would be helpful.
  4. [Section 4, Theorem 4.3] The proof states that the half-space Green function satisfies assumptions H1–H7 of [8], but those assumptions are not listed or verified in this paper. Since the equivalences in Theorem 4.3.B and the statements in C rest on those hypotheses, please either state them or give a precise reference to the verification, at least for the Green function of the half-space.
  5. [Throughout] The phrase 'standard cut-off function as in (15)' is used for cut-off functions in one and several variables; specifying the domain and variable in each occurrence would improve readability and prevent ambiguities in the estimates involving φ, ∇φ, and Δφ.
  6. [Theorem 3.1.B(c)] In the proof of part (c), the lower bound (26) is first established for |x| large and then extended to all of R^N_+ using 3.1.B(a) and 3.1.B(b). The statement of the theorem writes 'for all x∈R^N_+' without indicating this two-step argument; please make the final step explicit.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central (R+) representation equivalence is derived from independent growth estimates and classical lifting, not from its own conclusion.

full rationale

The central equivalence in Theorem 3.1 is not circular. The weighted ring condition (R+) is an independent growth condition on annuli, not defined in terms of the representation formula; Theorem 3.1.A derives the representation from (R+) using regularized Green-function estimates and monotone convergence, while Theorem 3.1.B derives (R+) from the representation via Huber's lifting lemma (Lemma 3.16, cited from Huber 1956) and the whole-space ball-average theorem from reference [6]. The cited whole-space theorem is a distinct, externally checkable result, not a restatement of the half-space claim; although [6] shares authors with the present paper, it is genuine evidence and does not make the argument circular. The only unproved assertion flagged in the text, equation (48), is a presentational gap: it follows directly from Proposition A.1(2) and the assumed finiteness of u2 at a point, so it is not a circular input. Section 4 relies on the authors' earlier work [8], but that is ancillary to the main characterization and is again an independent published result. No fitted parameter is relabeled as a prediction, and no ansatz is smuggled in via citation. The derivation is therefore self-contained modulo classical external theorems, and no step reduces to its own input.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper's central results depend on several external theorems it does not prove: the classical half-space Riesz representation, Huber's lifting lemma, the whole-space ball-average and ring-condition framework from the authors' own [6], and the general representation framework of [8] used in Section 4. None of these are ad hoc; all are published results. No free parameters are fitted, and no new entities are postulated.

assumptions (5)
  • standard math Riesz representation theorem for nonnegative superharmonic functions on the half-space (Theorem 1.2, from Armitage-Gardiner [1]): every nonnegative superharmonic distribution u on R^N_+ has u(x) = h x_N + ∫ K_x dν + ∫ G_x dμ with h ≥ 0 and positive Radon measures μ, ν.
    Invoked in the introduction and used in the proofs of Theorem 3.11 and Theorem 3.12 (Step 1) to decompose superharmonic functions into a harmonic part and a Green potential.
  • standard math Whole-space representation and ball-average results for nonnegative superharmonic functions in R^m (Theorem 1.1 and the spherical-average limit used in the proof of Theorem 3.1.B, from [6]): for a nonnegative superharmonic v in R^{N+2}, (1/R^{N+2}) ∫_{B_R} (v - inf v) → 0.
    Used in the completion of the proof of Theorem 3.1.B to transfer the weighted ring condition to the half-space function via the Huber transform; stated as 'It is known that (see [6])'.
  • standard math Huber lifting lemma (Lemma 3.16, from [14]): if u is superharmonic on R^N_+ and liminf_{x→y} u ≥ 0 on the boundary, then v(ξ) = u(ξ', |ξ̄|)/|ξ̄| is superharmonic on R^{N+2}.
    Structural bridge for the necessity proof of Theorem 3.1.B and for the comparison principle Theorem 3.12.
  • standard math General representation theorems for second-order elliptic inequalities from [8] (the H1-H7 framework), used in Section 4 to derive Theorems 4.1 and 4.3.
    Section 4 is explicitly concluded as a consequence of Theorem 6, Remark 17 and Lemma 26 of [8].
  • standard math Local W^{1,p} regularity (any p < N/(N-1)) and trace theory for distributional solutions of Poisson's equation with measure data (Lemma 2.7, based on [11] and [15]).
    Used to define the lim-trace of weak solutions and to justify integration by parts on Lipschitz subdomains in Section 2.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Characterization of positive superharmonic functions in a half-space." pith.science (2026). https://pith.science/paper/HSQCZPOA

@misc{pith2026250602305,
  author       = {Pith},
  title        = {Pith review of: Characterization of positive superharmonic functions in a half-space},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HSQCZPOA}},
  note         = {Machine review of arXiv:2506.02305}
}
abstract

We prove a representation formula for superharmonic functions on the half-space $\mathbb{R}^N_+ := \mathbb{R}^{N-1}\times]0,+\infty[$. As a consequence, we derive some comparison principles and various positivity results.

Figures

Figures reproduced from arXiv: 2506.02305 by the authors.

Figure 1
Figure 1. The plot of function u of Remark 2.13. v(x, ϵ) := mϵ(x − ϵ) − mϵ(x + ϵ). As before, v has lim-trace and T r(v) = 0, while v + admits a lim-trace T r(v +) = δ0, the Dirac measure at the origin. The example related to the function u highlights the challenges in relaxing the definition of lim-trace. While lim-trace can be viewed as a weak* convergence of the traces u(x ′ , ϵ), this convergence is achieved through smoot… view at source ↗
Figure 2
Figure 2. Notice also that the rings of condition (R) are modeled in a similar way modulo a rescaling. Indeed the integration domain appearing in (R) is given by B2R(x) \ BR(x). Notice that Br(x) =  y ∈ R N + | Γ x (y) > CN rN−2  ∪ {x}. Theorem 4.1. Let u ∈ C2 (R N + ) be such that −∆u =: µ ≥ 0. A. Let x ∈ R N + and assume that lx := 1 ln 2 lim inf R→+∞ Z Ω2R(x)\ΩR(x) |∇Gx (y)| 2 Gx(y) u(y)dy ∈ R, (56) then u(x) = lx + Z RN… view at source ↗
Figure 2
Figure 2. On left: In blue the level sets ∂Ωr(x) with x = (0, 5) and r = 1, 2, 3, 4, 5. The yellow filled region is the ”annulus” Ω2(x) \ Ω1(x). On right: In dotted line the surface of the ball B∗ r (0, 5) (in the |·|∗ norm) for r = 1, 3, 6, 12 The yellow filled region is the ”annulus” A∗ 6 (x) = B∗ 12(x) \ B∗ 6 (x). (a) inf u = inf l (finite or infinite), and the following alternative holds, either u(x) > l(x), ∀x ∈ R N + , … view at source ↗

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Flow Decomposition, Green Testing, and Lane--Emden Inequalities on Weighted Graphs

    math.AP 2026-04 unverdicted novelty 8.0 of 10

    Proves equivalence of positive solutions for -Δu ≥ σ u^q to a pointwise test G_Ω(σ g_Ω(o,·)^q)(x) ≤ C g_Ω(o,x) and resolves the volume-growth conjecture: divergence of ∑ n^{2q-1}/μ(B(o,n))^{q-1} implies only the trivi...

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages · cited by 1 Pith paper

  1. [6]

    Caristi, L

    G. Caristi, L. D’Ambrosio and E. Mitidieri, Representation formulae for solutions to some classes of higher order systems and related Liouville theorems, Milan J. Math. 76 (2008), 27–67

    work page 2008

  2. [8]

    D’Ambrosio and E

    L. D’Ambrosio and E. Mitidieri , Representation formulae of solutions of second order elliptic inequalities, Nonlinear Anal. 178 (2019), 310–336

    work page 2019

  3. [1]

    Armitage and S.J

    D.H. Armitage and S.J. Gardiner , Classical potential theory. London: Springer, 2001

    work page 2001

  4. [2]

    Axler, P

    S. Axler, P. Bourdon and W. Ramey , Harmonic function theory. 2nd ed. New York, NY: Springer, 2001. 39

    work page 2001

  5. [3]

    Berestycki, L

    H. Berestycki, L. Nirenberg and S.R.S. V aradhan, The principal eigenvalue and maximum principle for second-order elliptic operators in general domains. Comm. Pure Appl. Math. 47 (1994), 47–92

    work page 1994

  6. [4]

    Bonfiglioli, E

    A. Bonfiglioli, E. Lanconelli and F. Uguzzoni, Stratified Lie groups and poten- tial theory for their sub-Laplacians. Springer Monographs in Mathematics. Springer, Berlin, 2007. xxvi+800 pp

    work page 2007

  7. [5]

    Bourbaki, Elements of mathematics

    N. Bourbaki, Elements of mathematics. Integration I: Chapters 1–6. Translated from the 1959, 1965 and 1967 French originals by Sterling K. Berberian. Berlin: Springer, 2004

    work page 1959

  8. [7]

    D’Ambrosio and M

    L. D’Ambrosio and M. Ghergu, Representation formulae for nonhomogeneous dif- ferential operators and applications to PDEs, J. Differential Equations 317 (2022), 706–753

    work page 2022

Show all 17 references
  1. [9]

    D’Ambrosio and E

    L. D’Ambrosio and E. Mitidieri, Liouville theorems of semilinear elliptic inequali- ties in a half-space, (2025), 1–29, preprint

    2025

  2. [10]

    D’Ambrosio, E

    L. D’Ambrosio, E. Mitidieri and S. I. Pohozaev , Representation formulae and inequalities for solutions of a class of second order partial differential equations, Trans. Amer. Math. Soc. 358 (2006), 893–910

    2006

  3. [11]

    Dautray and J.-L

    R. Dautray and J.-L. Lions, Mathematical analysis and numerical methods for sci- ence and technology. Volume 1: Physical origins and classical methods. With the col- laboration of Ph. B´ enilan, M. Cessenat, A. Gervat, A. Kavenoky, H. Lanchon. Transl. from the French by I.N. S...

    1990

  4. [12]

    Evans and R.F

    L.C. Evans and R.F. Gariepy, Measure theory and fine properties of functions. Boca Raton: CRC Press, 1992

    1992

  5. [13]

    Giusti, Minimal surfaces and functions of bounded variation

    E. Giusti, Minimal surfaces and functions of bounded variation. Monographs in Math- ematics, Vol. 80. Boston-Basel-Stuttgart: Birkh¨ auser, 1984

    1984

  6. [14]

    Huber , On functions subharmonic in a half-space, Trans

    A. Huber , On functions subharmonic in a half-space, Trans. Amer. Math. Soc. 82 (1956), 147-159

    1956

  7. [15]

    Leoni , A first course in Sobolev spaces

    G. Leoni , A first course in Sobolev spaces. Providence, RI: American Mathematical Society (AMS), 2009

    2009

  8. [16]

    Marcus and L

    M. Marcus and L. V´eron, Nonlinear second order elliptic equations involving mea- sures. Berlin: de Gruyter, 2014

    2014

  9. [17]

    Zhang, G.T

    Y.H. Zhang, G.T. Deng and T. Qian, Integral representations of a class of harmonic functions in the half space, J. Differential Equations 260 (2016), 923–936. 40

    2016

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.