REVIEW 6 minor 20 references
Asymptotic potential of a rose-shaped disk
T0 review · 0 major / 6 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read Rose-shaped disk far field potential is a constant plus one cosine mode.
desk verdict Clean, correct analytical proof of the rose-disk potential asymptotic; the multipole derivation is solid and the remaining issues are minor. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the angular integral $I(n,m,\theta)=\int_0^{\alpha_{\max}} d\alpha\, P_m(\cos(\theta-\alpha)) \cos^{m+2}(n\alpha)$, which arises in the multipole expansion of the potential. Expanding the Legendre polynomial and the cosine power into finite sums of cosines via identities (4) and (5) turns this integral into sums of Kronecker deltas, producing the selection rules (17)–(20). These rules determine exactly which multipole order $m$ first contributes a $\theta$-dependent term: the integral vanishes for all $m$ below $n$ (odd $n$) or below $2n$ (even $n$), and survives at those orders with the stated single harmonic.
What would settle it
Numerically integrate the full potential (1) for a fixed moderate ratio such as $a/R=0.67$, for odd $n=3$ and even $n=4$, and Fourier-analyze $U(R,\theta)$ in $\theta$. The theorem predicts the only nonconstant Fourier mode to be at frequency 3 for $n=3$ and at frequency 8 for $n=4$; observing a nonzero mode at any lower frequency, or a missing mode at the predicted frequency, would falsify the central claim.
Extended reading notes
Core claim
For an observation point at polar coordinates $(R,\theta)$ in the plane of a uniformly charged rose disk, with $R$ large compared to the disk radius $a$, the paper proves that the potential has the asymptotic form $U(R,\theta)=B_n(R)+A_n(R)\cos(n\theta)$ for odd $n$ and $U(R,\theta)=B_n(R)+A_n(R)\cos(2n\theta)$ for even $n$, where $B_n(R)$ is dominated by the monopole term $Q/(4\pi\epsilon_0 R)$ and the first angle-dependent term appears at order $m=n$ (odd) or $m=2n$ (even) in the $a/R$ expansion. For $n=1$, the rose disk is just an offset circular disk and the first correction is a dipole, with coefficient $A_1(R)=\sigma a^3/(32\epsilon_0 R^2)$. The derivation is exact within the multipole expansion: every multipole below this order contributes only to the angle-independent part.
Load-bearing premise
The proof starts from the integral (1) that defines the rose-disk potential with $\alpha_{\max}=\pi$ for odd $n$ and signed radial limits $a\cos(n\alpha)$; if this parametrization does not faithfully represent the physical rose-shaped boundary, the theorem concerns the integral rather than the geometric rose disk.
Editorial extensions
If this is right
- For odd petal number $n$, the first anisotropic correction to the monopole is of order $(a/R)^n$; all lower multipoles renormalize only the constant $B_n(R)$.
- For even $n$, the first anisotropic correction is of order $(a/R)^{2n}$, so the rose disk hides its angular structure longer than the odd case.
- The asymptotic formula (2) gives a simple, parameter-light model for the electric potential of flat petal-like charged objects, suitable for the pollination electrostatics experiments discussed in the paper.
- The proof confirms the conjecture of Chen et al. [10] and supplies the exact coefficient $A_n(R)$ for $n=1$; analogous coefficients for general $n$ follow from the same formulas.
Reading between the lines
- The same selection-rule argument should apply to the out-of-plane formula (31): at fixed height $Z$, the angular dependence in planes parallel to the disk should be governed by the same first-harmonic order, with coefficients that depend on $Z$.
- Because the proof only uses the fact that the radial boundary is $a\cos(n\alpha)$, shapes with the same signed-radius parametrization (including pedals and epicycloids variants) likely share the same asymptotic angular structure.
- If the formula were tested numerically at fixed moderate $R/a$ (e.g., 0.67), the Fourier spectrum of the potential should show a single nonzero angular mode; any additional mode would indicate either the parametrization or the expansion has an undetected term.
- The large error for $n=1$ at $a/R=0.5$ suggests that the asymptotic regime requires $R/a$ to grow with the multipole order; quantifying this regime would be a natural next step.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves the conjecture of Chen et al. on the asymptotic potential of a uniformly charged rose-shaped disk for observation points in the plane of the disk with R > a. The proof expands the Coulomb kernel in Legendre polynomials, justifies the interchange of summation and integration via the ratio test, evaluates the angular integral exactly using trigonometric identities and Kronecker deltas, and shows that the first angular-dependent multipole appears at order m = n for odd n and m = 2n for even n, with angular dependence cos(nθ) and cos(2nθ), respectively. The derivation is self-contained, reproduces the known n = 1 dipole result, and is benchmarked against numerical evaluation in Fig. 1. An auxiliary boundary-integral formula (Eq. (31)) for the potential at an arbitrary point in space is presented but not derived.
Significance. The paper provides a rigorous, parameter-free analytical proof of a conjecture previously supported only by extensive numerical evidence. The multipole expansion is carefully justified for R > a, and the angular integral is evaluated exactly, so the central result is established with confidence. The presentation is pedagogical and accessible, making the result useful both as a reference and as a classroom example of multipole methods for nontrivial planar charge distributions. The auxiliary off-plane formula, while not derived, does not affect the main proof. Overall, the paper is a solid contribution to the classical electrostatics problem literature.
minor comments (6)
- [Section 3, Eq. (7)] The convergence inequality in Eq. (7) is not literally valid on intervals where cos(nα) is negative, because the inner integral over a signed upper limit yields negative contributions; the displayed bound should be stated with |a cos(nα)| or with absolute values around the radial integral. This is a local rigor fix and does not affect the validity of the subsequent interchange.
- [Section 1, Eq. (1)] The signed radial integration with upper limit a cos(nα) should be explicitly justified for readers, especially for odd n where cos(nα) can be negative on part of the interval; a short explanation of the substitution (e.g., ρ = -s on negative intervals mapping to the opposite ray) would remove a possible source of confusion.
- [Section 3, Eq. (16)] The Kronecker delta subscripts in Eq. (16) are hard to parse as typeset; please use explicit braces, e.g., δ_{n(m+2-2s), m-2l}, to avoid ambiguity.
- [Section 4, Eq. (31)] The boundary-integral formula (31) is asserted without derivation; either provide the intermediate algebra in an appendix or cite a source for the step, since the formula is presented as a useful result for off-plane potentials.
- [Section 4, after Eq. (31)] There is a typo: 'contribu ion' should be 'contribution'.
- [Section 4 and 5] The historical narrative about the Voyager mission and the discussion of bee electroreception, while interesting, are tangential to the proof; consider condensing them into a brief remark or moving them to a footnote so the logical thread of the paper remains focused.
Circularity Check
No circularity: the analytical multipole proof is self-contained and neither fits nor assumes the target asymptotic form.
full rationale
The derivation is self-contained. Starting from the explicit integral representation (1), the paper justifies interchanging sums and integrals, computes the angular integral by standard Legendre and cosine expansions, and uses floor/ceiling index constraints to identify the first non-constant multipole: m = n for odd n and m = 2n for even n. No parameter is fitted to the numerical conjecture in [10]; the coefficients An(R) and Bn(R) are obtained from the multipole integrals themselves. The cited prior work [9, 16, 17] supplies background or supplementary formulas, such as the boundary-integral expression (31) and the on-axis potential (32), but the core asymptotic proof does not rely on any self-citation. The signed-polar integral (1) is explicitly tied to the rose boundary x = a cos(nα)cosα, y = a cos(nα)sinα with αmax = π for odd n and 2π for even n; this parametrization is the starting input rather than a derived prediction. Equation (31) is asserted without derivation, but it is not used in proving conjecture (2), so at most it is a completeness issue, not circularity.
Assumptions & free parameters
assumptions (5)
- standard math Legendre polynomial expansion identity (4): P_n(cosθ) = sum_k (1/2^{2n}) binom(2k,k) binom(2(n-k),n-k) cos((n-2k)θ).
- standard math Power-reduction identity (5): cos^n θ = (1/2^n) sum_k binom(n,k) cos((n-2k)θ).
- standard math Fubini-Tonelli theorem and absolute convergence of the multipole series.
- domain assumption Uniform charge distribution on the disk.
- domain assumption Geometry of the rose disk via r = a cos(nα), with α_max depending on parity.
Cite this review
Pith. "Pith review of Asymptotic potential of a rose-shaped disk." pith.science (2026). https://pith.science/paper/XH6HBIJV
@misc{pith2026250610375,
author = {Pith},
title = {Pith review of: Asymptotic potential of a rose-shaped disk},
year = {2026},
howpublished = {\url{https://pith.science/paper/XH6HBIJV}},
note = {Machine review of arXiv:2506.10375}
}
read the original abstract
Based on extensive numerical evidence, a recent paper (Sheng Chen et al., Eur. J. Phys. {\bf 45} (2024), 045703) suggested that the potential of a uniformly charged rose-shaped disk in the plane of the disk has a simple asymptotic form. We present an analytical proof of this interesting conjecture.
Figures
Reference graph
Works this paper leans on
-
[10]
S. Chen, Y . Wu, X. Chang, B. Teng, The potential of a uniformly charged planar structure with shape of a rose curve, Eur. J. Phys. 45 (2024) 045703. URL: https://dx.doi.org/10.1088/1361-6404/ad4931. doi:10. 1088/1361-6404/ad4931
-
[1]
E. Durand, ´Electrostatique. V ol. I. Les distributions, Masson et Cie, 1953
work page 1953
-
[2]
B. P. Kondratyev, Potential theory: new methods and problems with solutions, Mir, 2007. (in Russian)
work page 2007
-
[3]
D. J. Gri ffiths, Y . Li, Charge density on a conducting needle, Am. J. Phys. 64 (1996) 706–714. URL: https: //doi.org/10.1119/1.18236. doi:10.1119/1.18236
-
[4]
Charge density on a conducting needle,
R. H. Good, Comment on “Charge density on a conducting needle,” by David J. Gri ffiths and Ye Li [Am. J. Phys. 64(6),706–714 (1996), Am. J. Phys. 65 (1996) 155–156. URL: https://doi.org/10.1119/1.18786. doi:10.1119/1.18786
-
[5]
B. Ciftja, C. Colbert-Pollack, O. Ciftja, L. Littlejohn, Results for the electrostatic potential of a uniformly charged hemispherical surface, Results in Physics 30 (2021) 104892. URL: https://www.sciencedirect. com/science/article/pii/S2211379721009281. doi:10.1016/j.rinp.2021.104892
-
[6]
O. Ciftja, B. Ciftja, New solution method for the problem of a uniformly charged straight wire, Eur. J. Phys. 42 (2021) 025203. URL: https://dx.doi.org/10.1088/1361-6404/abad4c. doi: 10.1088/1361-6404/ abad4c
-
[7]
O. Ciftja, Electrostatic potential of a uniformly charged square plate at an arbitrary point in space, Physica Scripta 95 (2020) 095802. URL: https://dx.doi.org/10.1088/1402-4896/aba866. doi: 10.1088/1402-4896/ aba866
Show all 20 references
-
[8]
Ciftja, A
O. Ciftja, A. Babineaux, N. Hafeez, The electrostatic potential of a uniformly charged ring, Eur. J. Phys. 30 (2009) 623–627. URL: https://dx.doi.org/10.1088/0143-0807/30/3/019. doi: 10.1088/0143-0807/ 30/3/019
2009 doi
-
[9]
Bochko, Z
V . Bochko, Z. K. Silagadze, On the electrostatic potential and electric field of a uniformly charged disk, Eur. J. Phys. 41 (2020) 045201. URL: https://dx.doi.org/10.1088/1361-6404/ab87aa. doi: 10.1088/1361-6404/ ab87aa. 9
2020 doi
-
[11]
Boros, V
G. Boros, V . Moll, Irresistible Integrals: Symbolics, Analysis and Experiments in the Evaluation of Integrals, Cambridge University Press, 2004
2004
-
[12]
A. J. Weir, Lebesgue Integration and Measure, Cambridge University Press, 1973
1973
-
[13]
Shirali, A Concise Introduction to Measure Theory, Springer, 2018
S. Shirali, A Concise Introduction to Measure Theory, Springer, 2018
2018
-
[14]
H. Lass, L. Blitzer, The gravitational potential due to uniform disks and rings, Celestial Mech. 30 (1983) 225–228. URL: https://doi.org/10.1007/BF01232189. doi:10.1007/BF01232189
1983 doi
-
[15]
F. T. Krogh, E. W. Ng, W. V . Snyder, The gravitational field of a disk, Celestial Mech. 26 (1982) 395–405. URL: https://doi.org/10.1007/BF01230419. doi:10.1007/BF01230419
1982 doi
-
[16]
A. E. Sagaydak, Z. K. Silagadze, Electrostatic potential of a uniformly charged disk through green’s theorem, Eur. J. Phys. 46 (2024) 015203. URL: https://dx.doi.org/10.1088/1361-6404/ad9ae8. doi: 10.1088/ 1361-6404/ad9ae8
2024 doi
-
[17]
Aghamohammadi, Strange property of physical quantities of some petal shape objects, Eur
A. Aghamohammadi, Strange property of physical quantities of some petal shape objects, Eur. J. Phys. 45 (2024) 035804. URL: https://dx.doi.org/10.1088/1361-6404/ad399a. doi:10.1088/1361-6404/ad399a
2024 doi
-
[18]
Clarke, E
D. Clarke, E. Morley, D. Robert, The bee, the flower, and the electric field: electric ecology and aerial electrore- ception, J. Comp. Physiol. A 203 (2017) 737–748. URL: https://doi.org/10.1007/s00359-017-1176-6 . doi:10.1007/s00359-017-1176-6
2017 doi
-
[19]
S. J. England, D. Robert, The ecology of electricity and electroreception, Biol. Rev. 97 (2022) 383–413. URL: https://onlinelibrary.wiley.com/doi/abs/10.1111/brv.12804. doi:10.1111/brv.12804
2022 doi
-
[20]
G. E. Andrews, R. Askey, R. Roy, Special Functions, Encyclopedia of Mathematics and its Applications, Cam- bridge University Press, 1999. 10
1999
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.