On the solution of a Riesz equilibrium problem and integral identities for special functions
arXiv:2108.00534 · doi:10.1016/j.jmaa.2022.126367
Abstract
The aim of this note is to provide a full space quadratic external field extension of a classical result of Marcel Riesz for the equilibrium measure on a ball with respect to Riesz s-kernels. We address the case s=d-3 for arbitrary dimension d, in particular the logarithmic kernel in dimension 3. The equilibrium measure for this full space external field problem turns out to be a radial arcsine distribution supported on a ball with a special radius. As a corollary, we obtain new integral identities involving special functions such as elliptic integrals and more generally hypergeometric functions. It seems that these identities are not found in the existing tables for series and integrals, and are not recognized by advanced mathematical software. Among other ingredients, our proofs involve the Euler-Lagrange variational characterization, the Funk-Hecke formula, the Weyl regularity lemma, the maximum principle, and special properties of hypergeometric functions.
arXiv commentPost-publication update dated Autumn 2022, with an appendix giving an analytic proof of the Riesz formula adapted from Dyda-Kuznetsov-Kwaśnicki 2017
References in corpus (6)
- First order global asymptotics for confined particles with singular pair repulsion
- Explicit Barenblatt Profiles for Fractional Porous Medium Equations
- Threshold condensation to singular support for a Riesz equilibrium problem
- Computing Equilibrium Measures with Power Law Kernels
- Computation of Power Law Equilibrium Measures on Balls of Arbitrary Dimension
- Some curious q-series expansions and beta integral evaluations
Cited by in corpus (5)
- Threshold condensation to singular support for a Riesz equilibrium problem
- Wasserstein Steepest Descent Flows of Discrepancies with Riesz Kernels
- Computation of Power Law Equilibrium Measures on Balls of Arbitrary Dimension
- Riesz Energy with a Radial External Field: When is the Equilibrium Support a Sphere?
- Equilibrium measures for higher dimensional rotationally symmetric Riesz gases