Novel distributional Laplacians and a Coulomb-gauge problem

G. Vaman; V. Hnizdo

REVIEW 2 major objections 5 minor 12 references

Novel distributional Laplacians and a Coulomb-gauge problem

T0 review · 2 major / 5 minor · reviewed 2026-08-05 · deepseek-v4-flash

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

Pith's one-line read The Laplacian of arsinh[a(z-b)/s] gains a delta-function term on the symmetry axis, and this identity supplies the Coulomb-gauge function for a uniformly moving point charge.

desk verdict New distributional Laplacian identity with a credible but informal proof; the gauge application is correct but adds nothing beyond the authors' earlier work. read the letter →

arxiv 2509.00282 v1 pith:7ACQZO2S submitted 2025-08-29 physics.class-ph math-phmath.MP

V. Hnizdo , G. Vaman This is my paper · ORCID

classification physics.class-phmath-phmath.MP

keywords distributionalLaplacianarsinhdeltafunctioncylindricalcoordinatesCoulombgaugetransformationuniformlymovingchargePoissonequation

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 claims that the ordinary Laplacian of arsinh[a(z−b)/s] is incomplete: in the distributional sense, a delta-function term on the symmetry axis must be added, with strength −sgn[a(z−b)] δ(s)/s. The proof works through the inverse Laplacian, expressing the inverse-distance kernel in cylindrical coordinates and using standard Bessel-function integrals. The same calculation solves the Poisson equation whose right-hand side is the time derivative of the Lorenz-gauge scalar potential of a uniformly moving point charge, yielding the Coulomb-gauge transformation function χC = (q/β)[arsinh((z−vt)/s) − arsinh(γ(z−vt)/s)]. If true, this explains why a moving-charge gauge problem that resists spherical-coordinate expansion is naturally solvable in cylindrical coordinates, and it supplies a new distributional identity usable in other cylindrical problems.

What carries the argument

The argument is carried by the distributional inverse Laplacian ¯∆⁻¹, defined through the Poisson integral with 1/|r−r′|, expanded in cylindrical coordinates via the Bessel-function series (Eq. 7). The load-bearing identity is Eq. (2); the tabulated Bessel integrals (Eqs. 9 and 11) reduce the inverse-Laplacian calculations to arsinh functions, and the gauge function (Eq. 26) is a direct corollary.

What would settle it

Integrate both sides of Eq. (2) against a smooth test function f(s) supported in a neighborhood of s=0; the classical term contributes a convergent integral, while the delta term must produce −sgn[a(z−b)] f(0). A direct numerical evaluation for, say, a=2, b=1, z=0 with a Gaussian test function would either confirm or rule out the claimed delta coefficient.

Watch

Extended reading notes

Core claim

The paper's central claim is the distributional identity (2): the distributional Laplacian of arsinh[a(z−b)/s] equals the classical term a(1−a²)(z−b)/[s²+a²(z−b)²]^{3/2} minus sgn[a(z−b)] δ(s)/s. This is established informally by applying the inverse Laplacian to the right-hand side and showing that the result is the original arsinh function. With a=γ and b=vt, and using 1−γ² = −β²γ², the same calculation shows that χC = (q/β)[arsinh((z−vt)/s) − arsinh(γ(z−vt)/s)] solves the distributional Poisson equation for the time derivative of the Lorenz-gauge potential of a uniformly moving charge, thus being the gauge function from Lorenz to Coulomb gauge.

Load-bearing premise

The proof hinges on the legitimacy of applying the inverse-Laplacian integral representation and the cylindrical Bessel expansion to conditionally convergent terms, and in particular of subtracting the two 1/k Bessel integrals as in Eq. (12); the paper itself calls the proof informal and does not supply a strict convergence justification.

Editorial extensions

If this is right

Equation (2) gives a direct route to the distributional Laplacians of arsinh and related logarithmic functions for arbitrary constants a and b.
Setting a=1, b=0 yields arsinh(z/s), whose distributional Laplacian is −sgn(z)δ(s)/s, analogous to the known Laplacian of ln(s).
The gauge function (26) is a closed-form solution to the Poisson equation (27), avoiding the non-convergent spherical-coordinate expansion.
The method suggests that the coordinate system in which the Laplacian is expressed can determine whether a given Poisson equation admits a closed-form distributional solution.
For a charge set suddenly from rest into uniform motion, the extra delta-type term (28) has a vanishing inverse Laplacian, making it spurious in the sense used here.

Reading between the lines

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

A direct numerical test of Eq. (2) against smooth test functions supported near s=0 could verify the coefficient −sgn[a(z−b)] of the delta term independently of the informal proof.
The inverse-Laplacian technique might be adaptable to other functions whose classical Laplacian is a rational expression, generating a family of new distributional identities by the same cylindrical-coordinate route.
The appearance of χC as a difference of two arsinh terms may shed light on the near-axis structure of Coulomb-gauge potentials for other moving-charge trajectories, such as uniformly accelerated sources, though the paper does not address those cases.
The coordinate-dependence of solvability observed here suggests that equivalent distributional identities in other coordinate systems would require separate derivations, not automatic transfer from the cylindrical result.

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.

Desk Editor's Note

read the letter

Colleague,

The genuinely new result in this paper is Eq. (2), the distributional Laplacian of arsinh[a(z-b)/s], plus its logarithmic variant (17). The derivation via the cylindrical expansion of 1/|r-r'| is a nice trick, and I checked the main algebra: the sign in Eq. (10), the cancellation in Eq. (27), and the gamma dependence all work. The gauge function (26) correctly solves the Coulomb-gauge Poisson equation for a moving charge, and the paper is honest that it is equivalent to Eq. (13) of [7], so the novelty rests on the identities themselves.

The soft spot is exactly where the authors put "informal": the proof applies the Newtonian potential representation and the cylindrical expansion to distributions that are only conditionally convergent. Eq. (9)'s integrand decays as O(1/s'), the subtraction of two 1/k Bessel integrals in Eq. (12) is not absolutely convergent, and the interchange of the s', z', and k integrations is not justified. The Appendix tries to close the gap but assumes the test function's Taylor series converges on [0,S), which is stronger than smooth compact support, and relies on unstated asymptotics for Appell/hypergeometric functions. These are genuine gaps in the written argument, not optional polish. I don't think the identities are false - the algebra is too consistent and the weak-limit calculation is plausible - but the proof as written is not rigorous.

Two minor points. The claim that spherical coordinates are "unusable" for Eq. (23) is imprecise: the standard expansion produces a divergent radial integral, but that doesn't mean no spherical solution exists. And the paper's own remark in Section 2 that Eq. (17) "cannot be established independently" is a fair flag of a limitation, but it doesn't undermine the main identity.

Who is this for? Physicists who work with line-charge potentials, gauge transformations, and distributional Laplacians in cylindrical coordinates. It is not a physics discovery; it is a mathematical identity with a practical application that has already appeared elsewhere. I would send it to a competent referee, mainly because Eq. (2) is new and likely useful, and the gaps are fixable with a distributional convergence argument. The referee should require that fix before acceptance.

Serious thinker: yes. Would I cite it? Probably yes for the identity if I need it.

Referee Report

2 major / 5 minor

Summary. The paper claims two distributional Laplacian identities: Eq. (2), giving the distributional Laplacian of arsinh[a(z-b)/s] as the classical smooth term plus a singular term -sgn[a(z-b)] delta(s)/s, and Eq. (17), a related identity for ln[a(z-b)+sqrt(s^2+a^2(z-b)^2)]. The proof of Eq. (2) proceeds informally by solving the Poisson equation through the Newtonian potential representation and a cylindrical-coordinate expansion of 1/|r-r'|. The same method is then applied to the uniformly moving point charge, yielding the Coulomb-gauge transformation function chi_C in Eq. (26). The paper also presents an epsilon-regularization argument in the Appendix to justify the logarithmic identity.

Significance. If the central identity Eq. (2) is established rigorously, the paper provides a clean and potentially useful distributional identity in cylindrical coordinates, together with an explicit Coulomb-gauge function for a uniformly moving charge. The algebraic steps in Eqs. (8)-(15) and the delta-function cancellation in Eq. (27) are internally consistent; I found no fitted parameters or circular reasoning, and the equivalence of the gauge result to the authors' earlier work [7] is disclosed. The main value is pedagogical and methodological: the cylindrical-coordinate inverse-Laplacian technique offers an alternative to spherical-coordinate expansions for a class of Poisson problems. However, the proofs are explicitly informal and rely on unverified interchanges of non-absolutely convergent integrals, so the novelty rests on analytic justifications that the manuscript does not supply.

major comments (2)

[Section 2, Eqs. (6)-(15)] The derivation of Eq. (2) is load-bearing but not rigorously justified. In Eq. (9), the s'-integral is only conditionally convergent (the integrand decays as O(1/s') for large s'), and the subsequent interchange of the s', z', and k integrations is performed without a convergence or regularization argument. In particular, the step from Eq. (11) to Eq. (12) subtracts two 1/k Bessel integrals that are individually divergent and assigns the difference a finite value; this requires a distributional definition of the difference, not just formal manipulation. The paper itself calls the proof 'informal', but since Eq. (2) is the central novel claim, the missing analytic justification is a substantive gap rather than a presentation issue. I did not find an algebraic error in the formal steps, but the identity is not established as written.
[Appendix, Eqs. (A4)-(A11)] The weak-limit proof of Eq. (19) assumes that the test function f(s) has a Taylor series about s=0 that converges on an interval [0,S). This is stronger than the standard requirement that f be smooth and compactly supported, and no argument is given that such an expansion can be used without loss of generality. In addition, the assertion that the Appell and hypergeometric functions appearing in the n>0 terms behave as O(epsilon^n) as epsilon -> 0 is only cited, not demonstrated; because this asymptotic is needed to conclude that all n>0 terms vanish, it is a missing technical step. Since Eq. (17) is a second advertised distributional result, this gap affects the paper's stated contributions.

minor comments (5)

[Throughout] The test-function space is never specified. 'Well-behaved' appears in Eq. (19) and the Appendix, but the validity of the distributional identities depends on the class of test functions; please state the precise space (e.g., C_c^infty(R^2) with cylindrical measure s ds).
[Eq. (10)] Typographical issues: 'z > band' and 'z < b and' should read 'z > b and' / 'z < b and'. Also the bracket expression is hard to parse; a displayed piecewise form would improve clarity.
[Appendix, Eq. (A7)] The antiderivative displayed in (A7) appears not to reproduce the integrand (u(u+A)^2)^(-1); please check the partial-fraction expression. If the displayed formula is correct after simplification, indicate the identity used.
[References] Reference [12] has 'Abramowiz' and should be 'Abramowitz'; 'l’Hopital' in the Appendix should be 'l’Hôpital'.
[Section 4, Eq. (28)] The notation in the extra term (28) uses x where the preceding formulas use z (because [9] and [10] use x for the motion axis). This is understandable but should be stated explicitly to avoid confusion.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity; the central distributional identity is derived from standard Green's-function and tabulated-integral inputs, and the gauge-function result is independently re-derived, with the prior self-citation serving only as a comparison.

full rationale

The paper's central claim, Eq. (2), is obtained by solving the Poisson equation with the standard inverse-Laplacian integral representation (Eq. (6)) and cylindrical expansion (Eq. (7)), using tabulated integrals (Eqs. (9), (11)). No quantity is fitted to force the result and no parameter is chosen from the target identity; the delta-term and non-delta-term inverse Laplacians are computed directly and add to arsinh[a(z-b)/s]. The gauge function χC in Eq. (26) is derived by substituting a=γ, b=vt into the already established identity (12), then solving Eq. (27); the delta contributions cancel (since sgn(γ(z-vt)) = sgn(z-vt) for γ>0), so this is not a fitted input. The equivalence to [7] is explicitly disclosed as a comparison ('A gauge transformation function equivalent to that of Eq. (26) was obtained in [7]'), not used as a premise. The ln(s) relation from [1] is cited as a known input for the secondary logarithmic identity, but the paper also provides an independent weak-limit argument in the Appendix. The only genuine weaknesses are rigor gaps: the paper calls the proof 'informal', and the interchange of conditionally convergent integrations in Eqs. (8)-(14) and the asymptotic behavior of Appell/hypergeometric functions in the Appendix are not fully justified. These are correctness risks, not circular reductions; nothing in the derivation is equivalent by construction to the claimed output.

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

No free parameters or invented entities. The central claim rests on standard distributional machinery: Newtonian potential representation, cylindrical Bessel expansion (7), tabulated integrals (9),(11), and the weak-limit regularization in the Appendix. The paper explicitly labels proofs informal, so these analytic premises carry the load.

assumptions (5)

standard math Newtonian potential representation Delta^{-1}f = -(1/4pi) integral f(r')/|r-r'| d^3r' is valid for the distributional sources in Eq. (5).
Used in Eq. (6); standard, but applied here without a rigorous convergence proof for the non-absolutely convergent integrals.
domain assumption Cylindrical expansion (7) of 1/|r-r'| can be interchanged with the m-sum, k-integral and z-integral in Eqs. (8)-(14).
Standard expansion from [4], but the paper does not justify interchanges for distributional, conditionally convergent expressions.
standard math Tabulated integrals (9) and (11) hold for the required parameter ranges.
Cited to [5]; they are used to evaluate the k and s' integrals in Eqs. (8)-(12).
ad hoc to paper Weak-limit definition (18) gives the distributional Laplacian, and test functions in Eq. (19) can be Taylor-expanded on [0,S).
The Appendix assumes analyticity of f near s=0 and uses asymptotic behavior of Appell and hypergeometric functions that is only sketched.
standard math Line-delta identity Delta ln(s)=delta(s)/s from [1] with normalization integral_0^infty ds delta(s)=1.
Used in Eq. (4) to connect Eq. (2) to Eq. (17); standard in cylindrical coordinates.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Novel distributional Laplacians and a Coulomb-gauge problem." pith.science (2026). https://pith.science/paper/7ACQZO2S

@misc{pith2026250900282,
  author       = {Pith},
  title        = {Pith review of: Novel distributional Laplacians and a Coulomb-gauge problem},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7ACQZO2S}},
  note         = {Machine review of arXiv:2509.00282}
}

read the original abstract

Novel distributional Laplacians of an arsinh function and a related logarithm function are derived. The method used to establish the former result is employed in a calculation of the gauge transformation function for the case of a uniformly moving point charge.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

[7]

Hnizdo V 2004 Potentials of a uniformly moving point charge in the Coulomb gauge Eur. J. Phys. 25 351–60 (arXiv:physics/0307124)

work page Pith review arXiv 2004
[1]

Redˇ zi´ c D V and Hnizdo V 2013 Time-dependent fields of a current-carrying wireEur. J. Phys.34 495–501 (arXiv:1301.1573)

work page Pith review arXiv 2013
[2]

Cantelaube Y E 2012 Solutions to the Schr¨ odinger equation, boundary conditions at the origin, and theory of distributions arXiv:1203.0551

work page Pith review arXiv 2012
[3]

Etxebarria J 2023 Acceptable solutions to the radial Schr¨ odinger equation in a central potential Am. J. Phys.91 792–95

work page 2023
[4]

Jackson J D 1999 Classical Electrodynamics(New York: Wiley) 3rd edn

work page 1999
[5]

Prudnikov A P, Brychkov Yu A and Marichev O I 1986 Integrals and Seriesvol 2 Special Functions (Amsterdam: Gordon and Breach)

work page 1986
[6]

Vladimirov V S 1979 Generalized Functions in Mathematical Physics(Moscow: Mir)

work page 1979
[8]

Jackson J D 2002 From Lorenz to Coulomb and other explicit gauge transformations Am. J. Phys. 70 917–28 (arXiv:physics/0204034)

work page Pith review arXiv 2002

Show all 12 references

[9]

Scr.99 055534 (arXiv:2311.17652v2)

Hnizdo V and Vaman G 2024 Potentials and fields of a charge set suddenly from rest into uniform motion Phys. Scr.99 055534 (arXiv:2311.17652v2)

2024 arXiv
[10]

Hnizdo V and Vaman G 2025 Note on the transformation from the Lorenz gauge to the Coulomb gauge arXiv:2405.16530v4

2025 arXiv
[11]

Ferreira C and L´ opez J L 2004 Asymptotic expansions of the Appell’s function F 1 Quart. Appl. Math.vol LXII 235-57

2004
[12]

Bureau of Standards)

Abramowiz M and Stegun I 1964 Handbook of Mathematical Functions(Washington, D.C.: Nat. Bureau of Standards)

1964

Pith tools

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

[1] [7]

Hnizdo V 2004 Potentials of a uniformly moving point charge in the Coulomb gauge Eur. J. Phys. 25 351–60 (arXiv:physics/0307124)

work page Pith review arXiv 2004

[2] [1]

Redˇ zi´ c D V and Hnizdo V 2013 Time-dependent fields of a current-carrying wireEur. J. Phys.34 495–501 (arXiv:1301.1573)

work page Pith review arXiv 2013

[3] [2]

Cantelaube Y E 2012 Solutions to the Schr¨ odinger equation, boundary conditions at the origin, and theory of distributions arXiv:1203.0551

work page Pith review arXiv 2012

[4] [3]

Etxebarria J 2023 Acceptable solutions to the radial Schr¨ odinger equation in a central potential Am. J. Phys.91 792–95

work page 2023

[5] [4]

Jackson J D 1999 Classical Electrodynamics(New York: Wiley) 3rd edn

work page 1999

[6] [5]

Prudnikov A P, Brychkov Yu A and Marichev O I 1986 Integrals and Seriesvol 2 Special Functions (Amsterdam: Gordon and Breach)

work page 1986

[7] [6]

Vladimirov V S 1979 Generalized Functions in Mathematical Physics(Moscow: Mir)

work page 1979

[8] [8]

Jackson J D 2002 From Lorenz to Coulomb and other explicit gauge transformations Am. J. Phys. 70 917–28 (arXiv:physics/0204034)

work page Pith review arXiv 2002