Pith. sign in

REVIEW 7 minor 1 cited by

Riesz equilibrium on a ball in the external field of a point charge

T0 review · 0 major / 7 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read The paper proves that for a repulsive point charge above a segment, the Riesz equilibrium measure is supported on two symmetric intervals, settling the shell conjecture in one dimension.

desk verdict The one-dimensional shell conjecture proof is sound; the referee's flagged gap in Proposition 6.6 is not a real gap because finite Riesz energy rules out atoms. read the letter →

arxiv 2501.01208 v1 pith:JVALFMQU submitted 2025-01-02 math.CA

Peter D. Dragnev , Ramon Orive , Eduard B. Saff , Franck Wielonsky This is my paper · ORCID
classification math.CA MSC 31A1531C15
keywords Rieszenergyminimizationexternalfieldequilibriummeasurebalayagesignedshellconjecturelogarithmicpotential
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

The paper studies where charge concentrates on a ball when an external point charge above it repels or attracts the equilibrium measure. For an attractive charge, it gives the support and density of the minimizing measure; for a repulsive charge, it conjectures that the support is either the whole ball or a spherical shell. The main theorem proves this shell conjecture on a segment in one dimension, using an iterated balayage scheme adapted to the mass loss that Riesz balayage can produce. In the logarithmic case the inner endpoint of the two intervals is given by an explicit formula. A sympathetic reader would care because determining the support of a Riesz equilibrium measure is the central difficulty in these problems, and the one-dimensional result is the first proof of the shell conjecture in any dimension.

What carries the argument

The machinery is the signed equilibrium measure $\eta_{Q,\Sigma}$, defined by $U^{\eta_{Q,\Sigma}}+Q\equiv$ constant throughout $\Sigma$, which exists and is unique under the paper's assumptions. Around it, the proof works with Riesz balayage $\mathrm{Bal}(\sigma,K)$, the unique positive measure on $K$ with the same potential on $K$ as $\sigma$ up to the loss of mass given by $\|\mathrm{Bal}(\sigma,K)\| = \mathrm{cap}(K)\int U^\sigma\,d\omega_K$. The iterative operator $J(\sigma)=\mathrm{Bal}(\sigma,\operatorname{supp}\sigma_+)$ sweeps the negative part onto the positive part, and a modified version subtracts a multiple $c\,\omega_I$ of the unweighted equilibrium measure before each sweep to keep total mass fixed. A monotonicity lemma on the ratios of densities, proved via the explicit Kelvin-transform formula for the balayage of a point mass, guarantees the process converges to a positive measure with the equilibrium property.

What would settle it

For a concrete choice such as $s=1/2$, $\gamma=2$, and height $y_2=1$, compute the weighted equilibrium measure on $[-1,1]$ with field $Q(x)=\gamma(|x|^2+y_2^2)^{-s/2}$ by numerical minimization of the Riesz energy; if the support is two separated intervals of positive length, the one-dimensional shell conjecture is confirmed in this case, while a two-point support would refute it. Separately, to test the proof gap, construct a symmetric signed measure $\sigma$ for which the iterated balayage of Proposition 6.6 converges to a two-point measure; existence of such a $\sigma$ would show that the asserted implication $I(\sigma^*)<\infty\Rightarrow r^*<1$ is not valid.

Watch

Extended reading notes

Core claim

The central claim is that for the segment $I=[-1,1]$ with Riesz parameter $0<s<1$, the signed equilibrium measure $\eta_{Q,I}$ associated with a repulsive charge has a density whose ratio to the unweighted equilibrium density increases with $|x|$. From this monotonicity, the paper builds an iterative balayage procedure that sweeps the negative parts of signed equilibrium measures onto their positive parts, compensating for mass loss by subtracting multiples of the equilibrium measure on $I$. The limit is a positive measure supported on $K_{r^*}=[-1,-r^*]\cup[r^*,1]$ for some $0\le r^*<1$, which is shown to be the desired equilibrium measure. In the logarithmic case $s=0$, the inner endpoint is computed explicitly as $\tilde r = \sqrt{\gamma^2-(2\gamma+1)y_2^2}/(1+\gamma)$ and the density as $\omega'_{Q,I}(x) = \frac{1+\gamma}{\pi}\frac{|x|\sqrt{x^2-\tilde r^2}}{(x^2+y_2^2)\sqrt{1-x^2}}$ on $K_{\tilde r}$, for $\gamma>\gamma_+ = y_2(\sqrt{y_2^2+1}+y_2)$. The paper also establishes explicit equilibrium measures in the Coulomb case on balls of dimension $d\ge2$.

Load-bearing premise

The proof that the iterative balayage limit has inner radius $r^*<1$ rather than degenerating to the two-point set $\{-1,1\}$ relies on the assertion that the limiting measure has finite energy, which is stated without proof; since a two-point measure also has finite Riesz energy for $0<s<1$, finite energy alone does not force $r^*<1$.

Editorial extensions

If this is right

  • For a segment with $0<s<1$ and a repulsive charge $\gamma>\gamma_+$, the support of the equilibrium measure is exactly two symmetric intervals, so the shell conjecture holds in dimension one.
  • In the logarithmic case $s=0$, the critical charge $\gamma_+$ and inner endpoint $\tilde r$ are explicit, giving a complete description of the transition from a one-cut to a two-cut support on the segment.
  • For the Coulomb case on the ball in $d\ge2$, the equilibrium measure is either a volume density on a smaller ball (for $\gamma\le\tilde\gamma$), a mixture of volume and surface measure (for $\tilde\gamma<\gamma<0$), or the uniform surface measure (for $\gamma\ge0$).
  • For an attractive charge $\gamma<\gamma_-$, the support is a smaller ball or interval whose density vanishes on its boundary, whereas for $-1\le\gamma<0$ the support is the full conductor.

Reading between the lines

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

  • The method likely extends to higher-dimensional balls only after a new monotonicity lemma is found, because the proof of the one-dimensional case exploits that a two-interval set is disconnected, whereas a spherical shell is connected.
  • The explicit logarithmic formulas give a benchmark for numerical schemes that compute Riesz or logarithmic equilibrium measures, since they provide a sharp, exactly solvable test case with a phase transition.
  • The modified balayage used here, which compensates mass loss by subtracting multiples of the equilibrium measure, may apply to other Riesz problems where balayage does not conserve mass, such as external fields with several point charges or in higher dimensions.
  • If the finite-energy assertion in the proof of Proposition 6.6 fails, the iterative limit could be a two-point measure, which would be a counterexample not to the theorem's conclusion but to the current proof; readers seeking a complete proof should rule out this degenerate case explicitly.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 7 minor

Summary. The paper studies the weighted Riesz s-energy minimization problem on the closed unit ball B in R^d in the external field of a point charge at height y_{d+1} above the ball, for the Robin range of s. Using the signed equilibrium measure, the authors obtain complete results for attractive charges, for the Coulomb case s = d-2 (including logarithmic interaction), and for the logarithmic segment case. Their main new result is a proof of the one-dimensional version of the "shell conjecture": for 0 < s < 1 and a repulsive charge beyond a critical strength, the support of the equilibrium measure on [-1,1] is the symmetric two-interval set [-1,-r*] union [r*,1] for some 0 < r* < 1. The proof is based on an iterative balayage procedure adapted to handle mass loss characteristic of Riesz balayage.

Significance. If correct, the paper resolves a natural and long-standing open problem in one-dimensional Riesz potential theory: the structure of the support of the equilibrium measure in the presence of a repulsive point charge. The iterative balayage method with mass-loss correction is a technically novel contribution that may be useful in other multidimensional problems. The paper also gives explicit formulas in the attractive and Coulomb cases and carefully proves auxiliary results such as the real analyticity of balayage densities (Proposition 2.6). The derivations are detailed and the dependence on prior work is transparent.

minor comments (7)
  1. [Section 6, proof of Proposition 6.6, sentence after equation (6.5)] The inference "I(σ*) < ∞, and thus r* < 1" is terse. The concern that a two-point set could have finite Riesz energy for 0 < s < 1 is not correct: any measure with an atom has infinite Riesz energy, and if r* = 1 the support of σ* would be contained in {-1,1} with positive total mass, forcing atoms. The step is therefore valid, but it should be spelled out explicitly by noting that a positive measure of finite energy cannot be supported on a set of zero capacity (equivalently, cannot have atoms).
  2. [Section 6, proof of Proposition 6.6, inequality for I(σ*)] The displayed inequality "I(σ*) ≤ I(Bal(σ-, Kr*)) + I(Bal(σ+, Kr*)) + I(Bal(c*ω1, Kr*))" is not generally valid for signed measures because the energy of a sum includes cross terms. The finiteness of I(σ*) follows instead from the fact that the balayage of each finite-energy positive component has finite energy, and the space of finite-energy measures is a Hilbert space. Please replace this inequality with a correct justification.
  3. [Theorem 6.9(iii) and its application in Corollary 6.11] Theorem 6.9(iii) assumes that Q and v are of class C^1 on I. In the application to Q = γ U^{δ_y}, the density v = η'_{Q,I} has boundary singularities like (1-|x|^2)^{-α/2} at ±1, so the hypothesis as stated is not satisfied. The proof only requires local regularity in a neighborhood of the inner endpoint r*, so the assumption should be weakened accordingly.
  4. [Introduction to Section 6, remark on logarithmic kernel] The remark that "all the results obtained in this section hold true for the logarithmic kernel" is potentially misleading for Lemma 6.5(2), where the strict inequality F(0) > m(σ) relies on mass loss specific to the Riesz case. The logarithmic case is already fully treated in Section 5, so this remark should be clarified or qualified.
  5. [Equation (6.4) and the following inequality] In the bound following (6.4), the term "cap(I)" appears where one would expect the equilibrium constant W(I) (which equals 1/cap(I) in the Riesz normalization). The conclusion about convergence of the series Σ c_{σ_j} is unaffected, but the displayed formula should be corrected.
  6. [Proof of Theorem 5.3, displayed integral evaluation] After the substitution in the integral evaluation, the expression "π/2 1 − c√c + 1" contains a typographical error; it should be the valid evaluation of the integral, which leads to equation (5.10). Please correct this display.
  7. [Proposition 5.2] Proposition 5.2 is a significant external result (from [9]) that underlies the logarithmic segment analysis in Section 5. Since it is stated without proof and the paper is otherwise quite self-contained, a brief derivation or a more precise statement of the hypotheses would improve the exposition.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the shell-support conclusion is constructed by iterative balayage, and the cited prior-author results are independent parameter-free support.

full rationale

The paper's derivation chain contains no step in which a prediction is equivalent to its input by construction. The main result, Corollary 6.11(i), is obtained by an iterative balayage construction in Proposition 6.6: the support K_{r*} is the limit of supports of measures generated from the signed equilibrium measure η_{Q,I}, and r* is shown to be <1 by a finite-energy argument. No parameter is fitted to the claimed answer; the thresholds γ−, γ+, and γ̃ are explicit solutions of equations such as H(R)=0 or η'_{Q,1}(0)=0, and are derived rather than chosen. The reliance on [10] for the signed-equilibrium representation (2.18), the balayage density formulas, and the comparison theorem, and on [12] for the iterative balayage scheme, is reliance on prior published, parameter-free results whose assumptions do not include the shell conjecture; under the stated evidentiary rules these citations are independent support and do not raise the circularity score. The reader-flagged sentence after (6.5), 'I(σ*) < ∞, and thus r* < 1', is terse but justifiable: for 0 < s < 1 the Riesz kernel |x-y|^{-s} assigns infinite energy to any measure with an atom, so a positive finite-energy measure with m(σ) > 0 cannot be supported on the two-point set {-1,1}; hence r* < 1 and K_{r*} has positive capacity. The proof would be clearer if it stated this capacity argument explicitly, but this is a presentational gap, not a circular reduction. No step reduces the central claim to its own input by definition, by fitted data, or by an unverified self-citation chain.

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

The paper introduces no free parameters fitted to a target; all critical charges and radii are derived from the field geometry via balayage and mass normalization. It relies on a body of standard potential theory and on the authors' prior work for the signed equilibrium representation.

assumptions (5)
  • standard math Standard Riesz potential theory: existence and uniqueness of weighted equilibrium measures and the Frostman variational inequalities (2.1)-(2.2).
    Invoked in Section 2; standard results from [4] and [11].
  • standard math Balayage theory for Riesz kernels: existence, uniqueness, mass-loss formula (2.7), and the explicit point-charge balayage density (2.16).
    From Landkof [14] and the authors' [10, Lemma 5.5]; used throughout Sections 3 and 6.
  • standard math Signed equilibrium representation eta_{Q,R} = -gamma Bal(delta_y, B_R) + (1 + gamma m_R) omega_R (2.18) and the associated threshold behavior H(R).
    Derived in [10, Theorem 4.1]; used as the starting point for Sections 3, 5, and 6.
  • domain assumption Riesz parameter restricted to the Robin case (1.3) and the charge height y_{d+1} >= 0.
    Theorems are proved only in this regime; the paper does not address s <= d-2 or s >= d.
  • standard math Proposition 5.2 (the quadratic-differential identity ((b_omega)_+ + Phi')^2 = R) is imported from [9, Proposition 2.51] without proof.
    Used verbatim to derive the density in Theorem 5.3; not re-proven in the paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Riesz equilibrium on a ball in the external field of a point charge." pith.science (2026). https://pith.science/paper/JVALFMQU

@misc{pith2026250101208,
  author       = {Pith},
  title        = {Pith review of: Riesz equilibrium on a ball in the external field of a point charge},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JVALFMQU}},
  note         = {Machine review of arXiv:2501.01208}
}
abstract

We investigate the Riesz energy minimization problem on a $d$-dimensional ball in the presence of an external field created by a point charge above the ball in $\R^{d+1}$, $d\geq1$. Both cases of an attractive charge and a repulsive charge are considered. The notion of a signed equilibrium measure is one of the main tools in the present study. For the case of a positive (repulsive) charge, the determination of the support of the equilibrium measure is a nontrivial question. We solve it in the one-dimensional case by making use of iterated balayage, a method already applied in logarithmic potential theory. Here we use a modified version of it, in order to handle the phenomenon of mass loss, characteristic of the Riesz balayage of positive measures. Moreover, we also consider minimization of Coulomb energy on the ball in dimension $d\geq2$, and of logarithmic energy on the segment in dimension 1. Different techniques are used for these two cases.

Figures

Figures reproduced from arXiv: 2501.01208 by the authors.

Figure 1
Figure 1. Radial densities of the weighted Riesz equilibrium measures for the ball in [PITH_FULL_IMAGE:figures/full_fig_p010_1.png] view at source ↗
Figure 2
Figure 2. Radial densities of the Riesz signed equilibrium measures for the ball in [PITH_FULL_IMAGE:figures/full_fig_p011_2.png] view at source ↗
Figure 3
Figure 3. Evolution of the equilibrium measure µQ,B as described in Theorem 4.1. For γ < γe, a large attractive charge, µQ,B is supported on a ball of radius < 1, which grows with γ. When γ = γe, the radius becomes equal to 1. For γ < γ < e 0, µQ,B is a combination of a measure on B and a multiple of the uniform measure on the sphere S. When γ = 0, all of the volume measure has moved to the sphere, and µQ,B is just the normal… view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: Radial densities of the logarithmic equilibrium measures for negative charges [PITH_FULL_IMAGE:figures/full_fig_p018_4.png]

Discussion (0). Continue with ORCID 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. Existence of minimizers for interaction energies with external potentials

    math.AP 2025-09 accept novelty 7.0 of 10

    For essentially convex interaction kernels, a threshold condition on an auxiliary density guarantees existence, uniqueness, and compact support of minimizers in R^d and curved half-spaces; a counterexample shows the t...

Reference graph

Works this paper leans on

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

  1. [1]

    Benko, P

    D. Benko, P. Dragnev, V. Totik, Convexity of harmonic densities. Rev. Mat. Iberoam. 28 (2012), 947-960

    work page 2012

  2. [2]

    Bilogliadov, Minimum Riesz energy problem on the hyperdisk

    M. Bilogliadov, Minimum Riesz energy problem on the hyperdisk. J. Math. Phys. 59 (2018), 013301

    work page 2018

  3. [3]

    Bloom, N

    T. Bloom, N. Levenberg, F. Wielonsky, Logarithmic potential theory and large de- viation. Comput. Methods Funct. Theory 15 (2015), 555-594

    work page 2015

  4. [4]

    Borodachov, D.P

    S.V. Borodachov, D.P. Hardin and E.B. Saff, Discrete Energy on Rectifiable Sets, Springer Monographs in Mathematics, Springer, 2019

    work page 2019

  5. [5]

    J. S. Brauchart, P. D. Dragnev and E. B. Saff, Riesz extremal measures on the sphere for axis-supported external fields. J. Math. Anal. Appl. 356 (2009) 769–792

    work page 2009

  6. [6]

    J. S. Brauchart, P. D. Dragnev and E. B. Saff, Riesz external fields problems on the hypersphere and optimal point separation, Potential Anal. 41 (2014), 647-678

    work page 2014

  7. [7]

    Chafai, E

    D. Chafai, E. B. Saff, R. S. Womersley, Threshold condensation to singular support for a Riesz equilibrium problem, Anal. Math. Phys. 13 (2023), Paper Nr.19, 30 pp

    work page 2023

  8. [8]

    Damelin, A.B.J

    S.B. Damelin, A.B.J. Kuijlaars, The support of the equilibrium measure in the pres- ence of a monomial external field on [ −1, 1], Trans. Amer. Math. Soc. 351 (1999), 4561-4584

    work page 1999

Show all 24 references
  1. [9]

    Deift, T

    P. Deift, T. Kriecherbauer, K. T.-R. McLaughlin, New results on the equilibrium measure for logarithmic potentials in the presence of an external field, J. Approx. Th. 95 (1998), 388–475

    1998

  2. [10]

    Dragnev, R

    P. Dragnev, R. Orive, E.B. Saff and F. Wielonsky, Riesz energy problems with ex- ternal fields and related theory, Constr. Approx. 57 (2023), 1-43

    2023

  3. [11]

    Fuglede, On the theory of potentials in locally compact spaces, Acta Math

    B. Fuglede, On the theory of potentials in locally compact spaces, Acta Math. 103, (1960), 139-215

    1960

  4. [12]

    Kuijlaars and P

    A.B.J. Kuijlaars and P. Dragnev, Equilibrium problems associated with fast decreas- ing polynomials. Proc. Am. Math. Soc. 127, 1065–1074 (1999)

    1999

  5. [13]

    A. B. J. Kuijlaars, K. T.-R. McLaughlin: Generic behavior of the density of states in random matrix theory and equilibrium problems in the presence of real analytic external fields, Commun. Pure Appl. Math. 53 (6) (2000), 736-785

    2000

  6. [14]

    Landkof, Foundations of Modern Potential Theory, Grundlehren der mathema- tischen Wissenschaften 180

    N.S. Landkof, Foundations of Modern Potential Theory, Grundlehren der mathema- tischen Wissenschaften 180. Springer-Verlag, New York-Heidelberg, 1972

    1972

  7. [15]

    L´ opez Garc ´ ıa, Greedy energy points with external fields.Contemporary Mathe- matics 507 (2010), 189–207

    A. L´ opez Garc ´ ıa, Greedy energy points with external fields.Contemporary Mathe- matics 507 (2010), 189–207

    2010

  8. [16]

    Mart ´ ınez Finkelshtein, R

    A. Mart ´ ınez Finkelshtein, R. Orive, E. A. Rakhmanov, Phase transitions and equi- librium measures in random matrix models, Commun. Math. Phys. 333 (2015), 1109-–1173. 26

    2015

  9. [17]

    Mart ´ ınez Finkelshtein, E

    A. Mart ´ ınez Finkelshtein, E. A. Rakhmanov, Critical measures, quadratic differen- tials and weak limits of zeros of Stieltjes polynomials, Commun. Math. Phys. 302 (2011), 53–111

    2011

  10. [18]

    Orive, J

    R. Orive, J. S´ anchez Lara, Equilibrium measures in the presence of certain rational external fields, J. Math. Anal. Appl. 431 (2015), 1224-1252

    2015

  11. [19]

    Orive, J

    R. Orive, J. S´ anchez Lara and F. Wielonsky, Equilibrium problems in weakly ad- missible external fields created by pointwise charges, J. Approx. Theory 244 (2019), 71–100

    2019

  12. [20]

    E. A. Rakhmanov, Orthogonal polynomials and S–curves, Recent advances in Orthogonal Polynomials, Special Functions and applications. Contemp. Math. 578 (2012), 195–239

    2012

  13. [21]

    Rudin, Real and complex analysis

    W. Rudin, Real and complex analysis. Third edition. McGraw-Hill Book Co., New York, 1987

    1987

  14. [22]

    Saff and V

    E.B. Saff and V. Totik, Logarithmic Potentials with External Fields, volume 316 of Grundlehren der Mathematischen Wissenschaften. Springer-Verlag, Berlin, 1997

    1997

  15. [23]

    Samko, A.A

    S.G. Samko, A.A. Kilbas, O.I. Marichev, Fractional integrals and derivatives. Theory and applications. Gordon and Breach Science Publishers, Yverdon, 1993

    1993

  16. [24]

    Wallin, Regularity properties of the equilibrium distribution Ann

    H. Wallin, Regularity properties of the equilibrium distribution Ann. Inst. Fourier 15 (1965), 71-90 P. Dragnev (dragnevp@pfw.edu) Department of Mathematical Sciences, Purdue University Fort Wayne, Ft. Wayne, IN 46805, USA. R. Orive (rorive@ull.es) Departmento de An´ alisis Ma...

    1965

Pith tools

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