-
Complete minimal logarithmic energy asymptotics for points in a compact interval: a consequence of the discriminant of Jacobi polynomials
Authors:
Johann S. Brauchart
Abstract:
The electrostatic interpretation of zeros of Jacobi polynomials, due to Stieltjes and Schur, enables us to obtain the complete asymptotic expansion as $n \to \infty$ of the minimal logarithmic potential energy of $n$ point charges restricted to move in the interval $[-1,1]$ in the presence of an external field generated by endpoint charges. By the same methods, we determine the complete asymptotic…
▽ More
The electrostatic interpretation of zeros of Jacobi polynomials, due to Stieltjes and Schur, enables us to obtain the complete asymptotic expansion as $n \to \infty$ of the minimal logarithmic potential energy of $n$ point charges restricted to move in the interval $[-1,1]$ in the presence of an external field generated by endpoint charges. By the same methods, we determine the complete asymptotic expansion of the logarithmic energy $\sum_{j\neq k} \log(1/| x_j - x_k |)$ of Fekete points, which, by definition, maximize the product of all mutual distances $\prod_{j\neq k} | x_j - x_k |$ of $N$ points in $[-1,1]$ as $N \to \infty$. The results for other compact intervals differ only in the quadratic and linear term of the asymptotics. Explicit formulas and their asymptotics follow from the discriminant, leading coefficient, and special values at $\pm 1$ of Jacobi polynomials. For all these quantities we derive complete Poincaré-type asymptotics.
△ Less
Submitted 14 September, 2021; v1 submitted 10 September, 2021;
originally announced September 2021.
-
Logarithmic and Riesz Equilibrium for Multiple Sources on the Sphere --- the Exceptional Case
Authors:
Johann S. Brauchart,
Peter D. Dragnev,
Edward B. Saff,
Robert S. Womersley
Abstract:
We consider the minimal discrete and continuous energy problems on the unit sphere $\mathbb{S}^d$ in the Euclidean space $\mathbb{R}^{d+1}$ in the presence of an external field due to finitely many localized charge distributions on $\mathbb{S}^d$, where the energy arises from the Riesz potential $1/r^s$ ($r$ is the Euclidean distance) for the critical Riesz parameter $s = d - 2$ if $d \geq 3$ and…
▽ More
We consider the minimal discrete and continuous energy problems on the unit sphere $\mathbb{S}^d$ in the Euclidean space $\mathbb{R}^{d+1}$ in the presence of an external field due to finitely many localized charge distributions on $\mathbb{S}^d$, where the energy arises from the Riesz potential $1/r^s$ ($r$ is the Euclidean distance) for the critical Riesz parameter $s = d - 2$ if $d \geq 3$ and the logarithmic potential $\log(1/r)$ if $d = 2$. Individually, a localized charge distribution is either a point charge or assumed to be rotationally symmetric. The extremal measure solving the continuous external field problem for weak fields is shown to be the uniform measure on the sphere but restricted to the exterior of spherical caps surrounding the localized charge distributions. The radii are determined by the relative strengths of the generating charges. Furthermore, we show that the minimal energy points solving the related discrete external field problem are confined to this support. For $d-2\leq s<d$, we show that for point sources on the sphere, the equilibrium measure has support in the complement of the union of specified spherical caps about the sources. Numerical examples are provided to illustrate our results.
△ Less
Submitted 28 June, 2017;
originally announced June 2017.
-
Distributing many points on spheres: minimal energy and designs
Authors:
Johann S. Brauchart,
Peter J. Grabner
Abstract:
This survey discusses recent developments in the context of spherical designs and minimal energy point configurations on spheres. The recent solution of the long standing problem of the existence of spherical $t$-designs on $\mathbb{S}^d$ with $\mathcal{O}(t^d)$ number of points by A. Bondarenko, D. Radchenko, and M. Viazovska attracted new interest to this subject. Secondly, D. P. Hardin and E. B…
▽ More
This survey discusses recent developments in the context of spherical designs and minimal energy point configurations on spheres. The recent solution of the long standing problem of the existence of spherical $t$-designs on $\mathbb{S}^d$ with $\mathcal{O}(t^d)$ number of points by A. Bondarenko, D. Radchenko, and M. Viazovska attracted new interest to this subject. Secondly, D. P. Hardin and E. B. Saff proved that point sets minimising the discrete Riesz energy on $\mathbb{S}^d$ in the hypersingular case are asymptotically uniformly distributed. Both results are of great relevance to the problem of describing the quality of point distributions on $\mathbb{S}^d$, as well as finding point sets, which exhibit good distribution behaviour with respect to various quality measures.
△ Less
Submitted 7 November, 2014; v1 submitted 31 July, 2014;
originally announced July 2014.
-
An Electrostatics Problem on the Sphere Arising from a Nearby Point Charge
Authors:
Johann S. Brauchart,
Peter D. Dragnev,
Edward B. Saff
Abstract:
For a positively charged insulated d-dimensional sphere we investigate how the distribution of this charge is affected by proximity to a nearby positive or negative point charge when the system is governed by a Riesz s-potential 1/r^s, s>0, where r denotes Euclidean distance between point charges. Of particular interest are those distances from the point charge to the sphere for which the equilibr…
▽ More
For a positively charged insulated d-dimensional sphere we investigate how the distribution of this charge is affected by proximity to a nearby positive or negative point charge when the system is governed by a Riesz s-potential 1/r^s, s>0, where r denotes Euclidean distance between point charges. Of particular interest are those distances from the point charge to the sphere for which the equilibrium charge distribution is no longer supported on the whole of the sphere (i.e. spherical caps of negative charge appear). Arising from this problem attributed to A. A. Gonchar are sequences of polynomials of a complex variable that have some fascinating properties regarding their zeros.
△ Less
Submitted 14 February, 2014;
originally announced February 2014.
-
Riesz external field problems on the hypersphere and optimal point separation
Authors:
Johann S. Brauchart,
Peter D. Dragnev,
Edward B. Saff
Abstract:
We consider the minimal energy problem on the unit sphere $\mathbb{S}^d$ in the Euclidean space $\mathbb{R}^{d+1}$ in the presence of an external field $Q$, where the energy arises from the Riesz potential $1/r^s$ (where $r$ is the Euclidean distance and $s$ is the Riesz parameter) or the logarithmic potential $\log(1/r)$. Characterization theorems of Frostman-type for the associated extremal meas…
▽ More
We consider the minimal energy problem on the unit sphere $\mathbb{S}^d$ in the Euclidean space $\mathbb{R}^{d+1}$ in the presence of an external field $Q$, where the energy arises from the Riesz potential $1/r^s$ (where $r$ is the Euclidean distance and $s$ is the Riesz parameter) or the logarithmic potential $\log(1/r)$. Characterization theorems of Frostman-type for the associated extremal measure, previously obtained by the last two authors, are extended to the range $d-2 \leq s < d - 1.$ The proof uses a maximum principle for measures supported on $\mathbb{S}^d$. When $Q$ is the Riesz $s$-potential of a signed measure and $d-2 \leq s <d$, our results lead to explicit point-separation estimates for $(Q,s)$-Fekete points, which are $n$-point configurations minimizing the Riesz $s$-energy on $\mathbb{S}^d$ with external field $Q$. In the hyper-singular case $s > d$, the short-range pair-interaction enforces well-separation even in the presence of more general external fields. As a further application, we determine the extremal and signed equilibria when the external field is due to a negative point charge outside a positively charged isolated sphere. Moreover, we provide a rigorous analysis of the three point external field problem and numerical results for the four point problem.
△ Less
Submitted 10 October, 2013;
originally announced October 2013.
-
"Magic" numbers in Smale's 7th problem
Authors:
Rachele Nerattini,
Johann S. Brauchart,
Michael K. -H. Kiessling
Abstract:
Smale's 7-th problem concerns N-point configurations on the 2-dim sphere which minimize the logarithmic pair-energy V_0(r) = -ln r averaged over the pairs in a configuration; here, r is the chordal distance between the points forming a pair. More generally, V_0(r) may be replaced by the standardized Riesz pair-energy V_s(r)= (r^{-s} -1)/s, which becomes - ln r in the limit s to 0, and the sphere m…
▽ More
Smale's 7-th problem concerns N-point configurations on the 2-dim sphere which minimize the logarithmic pair-energy V_0(r) = -ln r averaged over the pairs in a configuration; here, r is the chordal distance between the points forming a pair. More generally, V_0(r) may be replaced by the standardized Riesz pair-energy V_s(r)= (r^{-s} -1)/s, which becomes - ln r in the limit s to 0, and the sphere may be replaced by other compact manifolds. This paper inquires into the concavity of the map from the integers N>1 into the minimal average standardized Riesz pair-energies v_s(N) of the N-point configurations on the 2-sphere for various real s. It is known that v_s(N) is strictly increasing for each real s, and for s<2 also bounded above, hence "overall concave." It is (easily) proved that v_{-2}(N) is even locally strictly concave, and that so is v_s(2n) for s<-2. By analyzing computer-experimental data of putatively minimal average Riesz pair-energies v_s^x(N) for s in {-1,0,1,2,3} and N in {2,...,200}, it is found that {v}_{-1}^x(N) is locally strictly concave, while v_s^x(N) is not always locally strictly concave for s in {0,1,2,3}: concavity defects occur whenever N in C^{x}_+(s) (an s-specific empirical set of integers). It is found that the empirical map C^{x}_+(s), with s in {-2,-1,0,1,2,3}, is set-theoretically increasing; moreover, the percentage of odd numbers in C^{x}_+(s), s in {0,1,2,3}, is found to increase with s. The integers in C^{x}_+(0) are few and far between, forming a curious sequence of numbers, reminiscent of the "magic numbers" in nuclear physics. It is conjectured that the "magic numbers" in Smale's 7-th problem are associated with optimally symmetric optimal-energy configurations.
△ Less
Submitted 25 September, 2014; v1 submitted 10 July, 2013;
originally announced July 2013.
-
The next-order term for optimal Riesz and logarithmic energy asymptotics on the sphere
Authors:
J. S. Brauchart,
D. P. Hardin,
E. B. Saff
Abstract:
We survey known results and present estimates and conjectures for the next-order term in the asymptotics of the optimal logarithmic energy and Riesz $s$-energy of $N$ points on the unit sphere in $\mathbb{R}^{d+1}$, $d\geq 1$. The conjectures are based on analytic continuation assumptions (with respect to $s$) for the coefficients in the asymptotic expansion (as $N\to \infty$) of the optimal $s$-e…
▽ More
We survey known results and present estimates and conjectures for the next-order term in the asymptotics of the optimal logarithmic energy and Riesz $s$-energy of $N$ points on the unit sphere in $\mathbb{R}^{d+1}$, $d\geq 1$. The conjectures are based on analytic continuation assumptions (with respect to $s$) for the coefficients in the asymptotic expansion (as $N\to \infty$) of the optimal $s$-energy.
△ Less
Submitted 17 February, 2012;
originally announced February 2012.
-
Explicit formulas for the Riesz energy of the $N$th roots of unity
Authors:
J. S. Brauchart
Abstract:
The paper Brauchart, Hardin and Saff [Bull. Lond. Math. Soc. 41(4) (2009)] gives the complete asymptotic expansions of the Riesz $s$-energy of the $N$th roots of unity which form a universally optimal distribution of points on the unit circle in the sense of Cohn and Kumar [J. Amer. Math. Soc. 20 (2007)]. Here, exact formulas (valid for all $N \geq 2$) are obtained for the case when $s$ is an even…
▽ More
The paper Brauchart, Hardin and Saff [Bull. Lond. Math. Soc. 41(4) (2009)] gives the complete asymptotic expansions of the Riesz $s$-energy of the $N$th roots of unity which form a universally optimal distribution of points on the unit circle in the sense of Cohn and Kumar [J. Amer. Math. Soc. 20 (2007)]. Here, exact formulas (valid for all $N \geq 2$) are obtained for the case when $s$ is an even integer. In the case of the singular Riesz $s$-potential $1/r^s$, $r$ the Euclidean distance between two points, a continuous modified energy approximation of the Riesz energy is used. Stirling numbers of the first kind, Eulerian numbers and special values of partial Bell polynomials play a central role. Several identities between these quantities are shown.
△ Less
Submitted 7 November, 2014; v1 submitted 27 May, 2011;
originally announced May 2011.
-
Optimal Discrete Riesz Energy and Discrepancy
Authors:
J. S. Brauchart
Abstract:
The Riesz $s$-energy of an $N$-point configuration in the Euclidean space $\mathbb{R}^{p}$ is defined as the sum of reciprocal $s$-powers of all mutual distances in this system. In the limit $s\to0$ the Riesz $s$-potential $1/r^s$ ($r$ the Euclidean distance) governing the point interaction is replaced with the logarithmic potential $\log(1/r)$. In particular, we present a conjecture for the leadi…
▽ More
The Riesz $s$-energy of an $N$-point configuration in the Euclidean space $\mathbb{R}^{p}$ is defined as the sum of reciprocal $s$-powers of all mutual distances in this system. In the limit $s\to0$ the Riesz $s$-potential $1/r^s$ ($r$ the Euclidean distance) governing the point interaction is replaced with the logarithmic potential $\log(1/r)$. In particular, we present a conjecture for the leading term of the asymptotic expansion of the optimal $\IL_2$-discrepancy with respect to spherical caps on the unit sphere in $\mathbb{R}^{d+1}$ which follows from Stolarsky's invariance principle [Proc. Amer. Math. Soc. 41 (1973)] and the fundamental conjecture for the first two terms of the asymptotic expansion of the optimal Riesz $s$-energy of $N$ points as $N \to \infty$.
△ Less
Submitted 15 March, 2011;
originally announced March 2011.
-
A Fascinating Polynomial Sequence arising from an Electrostatics Problem on the Sphere
Authors:
J. S. Brauchart,
P. D. Dragnev,
E. B. Saff,
C. E. van de Woestijne
Abstract:
A positive unit point charge approaching from infinity a perfectly spherical isolated conductor carrying a total charge of +1 will eventually cause a negatively charged spherical cap to appear. The determination of the smallest distance $ρ(d)$ ($d$ is the dimension of the unit sphere) from the point charge to the sphere where still all of the sphere is positively charged is known as Gonchar's prob…
▽ More
A positive unit point charge approaching from infinity a perfectly spherical isolated conductor carrying a total charge of +1 will eventually cause a negatively charged spherical cap to appear. The determination of the smallest distance $ρ(d)$ ($d$ is the dimension of the unit sphere) from the point charge to the sphere where still all of the sphere is positively charged is known as Gonchar's problem. Using classical potential theory for the harmonic case, we show that $1+ρ(d)$ is equal to the largest positive zero of a certain sequence of monic polynomials of degree $2d-1$ with integer coefficients which we call Gonchar polynomials. Rather surprisingly, $ρ(2)$ is the Golden ratio and $ρ(4)$ the lesser known Plastic number. But Gonchar polynomials have other interesting properties. We discuss their factorizations, investigate their zeros and present some challenging conjectures.
△ Less
Submitted 15 March, 2011;
originally announced March 2011.
-
Discrete Energy Asymptotics on a Riemannian circle
Authors:
J. S. Brauchart,
D. P. Hardin,
E. B. Saff
Abstract:
We derive the complete asymptotic expansion in terms of powers of $N$ for the geodesic $f$-energy of $N$ equally spaced points on a rectifiable simple closed curve $Γ$ in ${\mathbb R}^p$, $p\geq2$, as $N \to \infty$. For $f$ decreasing and convex, such a point configuration minimizes the $f$-energy $\sum_{j\neq k}f(d(\mathbf{x}_j, \mathbf{x}_k))$, where $d$ is the geodesic distance (with respect…
▽ More
We derive the complete asymptotic expansion in terms of powers of $N$ for the geodesic $f$-energy of $N$ equally spaced points on a rectifiable simple closed curve $Γ$ in ${\mathbb R}^p$, $p\geq2$, as $N \to \infty$. For $f$ decreasing and convex, such a point configuration minimizes the $f$-energy $\sum_{j\neq k}f(d(\mathbf{x}_j, \mathbf{x}_k))$, where $d$ is the geodesic distance (with respect to $Γ$) between points on $Γ$. Completely monotonic functions, analytic kernel functions, Laurent series, and weighted kernel functions $f$ are studied. % Of particular interest are the geodesic Riesz potential $1/d^s$ ($s \neq 0$) and the geodesic logarithmic potential $\log(1/d)$. By analytic continuation we deduce the expansion for all complex values of $s$.
△ Less
Submitted 23 December, 2009;
originally announced December 2009.
-
Minimal Riesz energy on the sphere for axis-supported external fields
Authors:
J. S. Brauchart,
P. D. Dragnev,
E. B. Saff
Abstract:
We investigate the minimal Riesz s-energy problem for positive measures on the d-dimensional unit sphere S^d in the presence of an external field induced by a point charge, and more generally by a line charge. The model interaction is that of Riesz potentials |x-y|^(-s) with d-2 <= s < d. For a given axis-supported external field, the support and the density of the corresponding extremal measure…
▽ More
We investigate the minimal Riesz s-energy problem for positive measures on the d-dimensional unit sphere S^d in the presence of an external field induced by a point charge, and more generally by a line charge. The model interaction is that of Riesz potentials |x-y|^(-s) with d-2 <= s < d. For a given axis-supported external field, the support and the density of the corresponding extremal measure on S^d is determined. The special case s = d-2 yields interesting phenomena, which we investigate in detail. A weak* asymptotic analysis is provided as s goes to (d-2)^+.
△ Less
Submitted 9 February, 2009;
originally announced February 2009.
-
The Riesz energy of the $N$-th roots of unity: an asymptotic expansion for large $N$
Authors:
J. S. Brauchart,
D. P. Hardin,
E. B. Saff
Abstract:
We derive the complete asymptotic expansion in terms of powers of $N$ for the Riesz $s$-energy of $N$ equally spaced points on the unit circle as $N\to \infty$. For $s\ge -2$, such points form optimal energy $N$-point configurations with respect to the Riesz potential $1/r^{s}$, $s\neq0$, where $r$ is the Euclidean distance between points.
By analytic continuation we deduce the expansion for a…
▽ More
We derive the complete asymptotic expansion in terms of powers of $N$ for the Riesz $s$-energy of $N$ equally spaced points on the unit circle as $N\to \infty$. For $s\ge -2$, such points form optimal energy $N$-point configurations with respect to the Riesz potential $1/r^{s}$, $s\neq0$, where $r$ is the Euclidean distance between points.
By analytic continuation we deduce the expansion for all complex values of $s$.
The Riemann zeta function plays an essential role in this asymptotic expansion.
△ Less
Submitted 12 August, 2008; v1 submitted 8 August, 2008;
originally announced August 2008.
-
The support of the limit distribution of optimal Riesz energy points on sets of revolution in $\mathbb{R}^{3}$
Authors:
J. S. Brauchart,
D. P. Hardin,
E. B. Saff
Abstract:
Let A be a compact set in the right-half plane and $Γ(A)$ the set in $\mathbb{R}^{3}$ obtained by rotating A about the vertical axis. We investigate the support of the limit distribution of minimal energy point charges on $Γ(A)$ that interact according to the Riesz potential 1/r^{s}, 0<s<1, where r is the Euclidean distance between points. Potential theory yields that this limit distribution coi…
▽ More
Let A be a compact set in the right-half plane and $Γ(A)$ the set in $\mathbb{R}^{3}$ obtained by rotating A about the vertical axis. We investigate the support of the limit distribution of minimal energy point charges on $Γ(A)$ that interact according to the Riesz potential 1/r^{s}, 0<s<1, where r is the Euclidean distance between points. Potential theory yields that this limit distribution coincides with the equilibrium measure on $Γ(A)$ which is supported on the outer boundary of $Γ(A)$. We show that there are sets of revolution $Γ(A)$ such that the support of the equilibrium measure on $Γ(A)$ is {\bf not} the complete outer boundary, in contrast to the Coulomb case s=1. However, the support of the limit distribution on the set of revolution $Γ(R+A)$ as R goes to infinity, is the full outer boundary for certain sets A, in contrast to the logarithmic case (s=0).
△ Less
Submitted 3 August, 2007;
originally announced August 2007.
