SUNG-SOO BYUN, PETER J. FORRESTER, SATYA N. MAJUMDAR, GREGORY SCHEHR
4 min
Abstract
We study equilibrium measures for Riesz gases in dimension $d$ with pairwise interaction kernel $|x-y|^{-s}$, subject to radially symmetric external fields. We characterise broad classes of confining potentials for which the equilibrium measure is supported on the unit ball and admits an explicit density. Our main contribution is a converse construction: starting from a prescribed radially symmetric equilibrium density given as a power series in the squared radius, we determine the associated external potential and establish the corresponding Euler-Lagrange variational conditions. A key ingredient in the proof is an identity between two ${}_3F_2$ hypergeometric functions evaluated at unit argument, which is of independent interest. As applications, we identify the external potentials corresponding to equilibrium densities proportional to $(1-|x|^2)^α$, $α>-1$, and show that these potentials can be expressed in terms of Gauss hypergeometric functions ${}_2F_1$, reducing to polynomials for special values of $α$. We also determine the equilibrium measure associated with purely power-type external potentials, often referred to as Freud or Mittag--Leffler potentials in the context of log gases, for which the equilibrium density admits an explicit ${}_2F_1$ representation. Furthermore, we apply our framework to a Coulomb gas in dimension $d+1$ confined by a harmonic potential to the half-space. We derive a necessary condition under which the equilibrium measure is fully supported on the boundary hyperplane of dimension $d$, with the induced density corresponding to that of a Riesz gas with exponent $s=d-1$.
Alex: The wall position reshapes the crowd completely. For the general case—picking a power series density—how do they prove the forces balance?
Sam: Radial symmetry simplifies multi-dimensional integrals to one dimension—like focusing on rings of particles at different distances. They rewrite the repulsion at any point as an integral over that radial density. Expanding into series, a key identity cancels most terms—pairing high and low powers to zero—leaving a clean series inside the sphere. They set the bowl to balance that exactly, with positivity ensuring no leakage outside.
Alex: Like summarizing the total push from particles at every distance, then tuning the bowl to cancel it perfectly?
Sam: Precisely. Proved by induction and gamma function symmetries, it works for any safe sequence of coefficients that builds a non-negative density. This gives the first explicit pairs of crowd shapes and bowls for higher dimensions and general s.
Alex: Overall, what does this mean?
Sam: It provides exact solutions beyond special cases, skipping heavy simulations. This could help predict ion arrangements in plasma traps or electron spreads in quantum dots, like in trapped-ion quantum computing. Positivity holds for their shapes, but generally remains open. Fully characterizing safe densities is hard too.
Alex: A meaningful step for these systems. Well put, Sam—thanks for breaking it down. That's our look at these particle equilibria. Thanks for listening to ResearchPod.