-
Threshold condensation to singular support for a Riesz equilibrium problem
Authors:
Djalil Chafaï,
Edward B. Saff,
Robert S. Womersley
Abstract:
We compute the equilibrium measure in dimension d=s+4 associated to a Riesz s-kernel interaction with an external field given by a power of the Euclidean norm. Our study reveals that the equilibrium measure can be a mixture of a continuous part and a singular part. Depending on the value of the power, a threshold phenomenon occurs and consists of a dimension reduction or condensation on the singul…
▽ More
We compute the equilibrium measure in dimension d=s+4 associated to a Riesz s-kernel interaction with an external field given by a power of the Euclidean norm. Our study reveals that the equilibrium measure can be a mixture of a continuous part and a singular part. Depending on the value of the power, a threshold phenomenon occurs and consists of a dimension reduction or condensation on the singular part. In particular, in the logarithmic case s=0 (d=4), there is condensation on a sphere of special radius when the power of the external field becomes quadratic. This contrasts with the case d=s+3 studied previously, which showed that the equilibrium measure is fully dimensional and supported on a ball. Our approach makes use, among other tools, of the Frostman or Euler-Lagrange variational characterization, the Funk-Hecke formula, the Gegenbauer orthogonal polynomials, and hypergeometric special functions.
△ Less
Submitted 24 January, 2023; v1 submitted 10 June, 2022;
originally announced June 2022.
-
Point Source Equilibrium Problems with Connections to Weighted Quadrature Domains
Authors:
Peter D. Dragnev,
Alan R. Legg,
Edward B. Saff
Abstract:
We explore the connection between supports of equilibrium measures and quadrature identities, especially in the case of point sources added to the external field $Q(z)=|z|^{2p}$ with $p \in \mathbb{N}$. Along the way, we describe some quadrature domains with respect to weighted area measure $|z|^{2p}dA_z$ and complex boundary measure $|z|^{-2p}dz$.
We explore the connection between supports of equilibrium measures and quadrature identities, especially in the case of point sources added to the external field $Q(z)=|z|^{2p}$ with $p \in \mathbb{N}$. Along the way, we describe some quadrature domains with respect to weighted area measure $|z|^{2p}dA_z$ and complex boundary measure $|z|^{-2p}dz$.
△ Less
Submitted 17 March, 2022;
originally announced March 2022.
-
On the solution of a Riesz equilibrium problem and integral identities for special functions
Authors:
Djalil Chafaï,
Edward B. Saff,
Robert S. Womersley
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 di…
▽ More
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.
△ Less
Submitted 22 September, 2022; v1 submitted 1 August, 2021;
originally announced August 2021.
-
Asymptotic properties of short-range interaction functionals
Authors:
Douglas Hardin,
Edward B. Saff,
Oleksandr Vlasiuk
Abstract:
We describe a framework for extending the asymptotic behavior of a short-range interaction from the unit cube to general compact subsets of $ \mathbb R^d $. This framework allows us to give a unified treatment of asymptotics of hypersingular Riesz energies and optimal quantizers. We further obtain new results about the scale-invariant nearest neighbor interactions, such as the $ k $-nearest neighb…
▽ More
We describe a framework for extending the asymptotic behavior of a short-range interaction from the unit cube to general compact subsets of $ \mathbb R^d $. This framework allows us to give a unified treatment of asymptotics of hypersingular Riesz energies and optimal quantizers. We further obtain new results about the scale-invariant nearest neighbor interactions, such as the $ k $-nearest neighbor truncated Riesz energy. Our generalized approach has applications to methods for generating distributions with prescribed density: strongly-repulsive Riesz energies, centroidal Voronoi tessellations, and a popular meshing algorithm due to Persson and Strang.
△ Less
Submitted 25 March, 2021; v1 submitted 22 October, 2020;
originally announced October 2020.
-
Asymptotic Linear Programming Lower Bounds for the Energy of Minimizing Riesz and Gauss Configurations
Authors:
Douglas P. Hardin,
Timothy J. Michaels,
Edward B. Saff
Abstract:
Utilizing frameworks developed by Delsarte, Yudin and Levenshtein, we deduce linear programming lower bounds (as $N\to \infty$) for the Riesz energy of $N$-point configurations on the $d$-dimensional unit sphere in the so-called hypersingular case; i.e, for non-integrable Riesz kernels of the form $|x-y|^{-s}$ with $s>d.$ As a consequence, we immediately get (thanks to the Poppy-seed bagel theorem…
▽ More
Utilizing frameworks developed by Delsarte, Yudin and Levenshtein, we deduce linear programming lower bounds (as $N\to \infty$) for the Riesz energy of $N$-point configurations on the $d$-dimensional unit sphere in the so-called hypersingular case; i.e, for non-integrable Riesz kernels of the form $|x-y|^{-s}$ with $s>d.$ As a consequence, we immediately get (thanks to the Poppy-seed bagel theorem) lower estimates for the large $N$ limits of minimal hypersingular Riesz energy on compact $d$-rectifiable sets. Furthermore, for the Gaussian potential $\exp(-α|x-y|^2)$ on $\mathbb{R}^p,$ we obtain lower bounds for the energy of infinite configurations having a prescribed density.
△ Less
Submitted 14 April, 2018;
originally announced April 2018.
-
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.
-
Large deviation principles for hypersingular Riesz gases
Authors:
Douglas P. Hardin,
Thomas Leblé,
Edward B. Saff,
Sylvia Serfaty
Abstract:
We study $N$-particle systems in R^d whose interactions are governed by a hypersingular Riesz potential $|x-y|^{-s}$, $s>d$, and subject to an external field. We provide both macroscopic results as well as microscopic results in the limit as $N\to \infty$ for random point configurations with respect to the associated Gibbs measure at scaled inverse temperature $β$. We show that a large deviation p…
▽ More
We study $N$-particle systems in R^d whose interactions are governed by a hypersingular Riesz potential $|x-y|^{-s}$, $s>d$, and subject to an external field. We provide both macroscopic results as well as microscopic results in the limit as $N\to \infty$ for random point configurations with respect to the associated Gibbs measure at scaled inverse temperature $β$. We show that a large deviation principle holds with a rate function of the form `$β$-Energy +Entropy', yielding that the microscopic behavior (on the scale $N^{-1/d}$) of such $N$-point systems is asymptotically determined by the minimizers of this rate function. In contrast to the asymptotic behavior in the integrable case $s<d$, where on the macroscopic scale $N$-point empirical measures have limiting density independent of $β$, the limiting density for $s>d$ is strongly $β$-dependent.
△ Less
Submitted 7 November, 2017; v1 submitted 9 February, 2017;
originally announced February 2017.
-
Generating Point Configurations via Hypersingular Riesz Energy With an External Field
Authors:
D. P. Hardin,
E. B. Saff,
O. V. Vlasiuk
Abstract:
For a compact $ d $-dimensional rectifiable subset of $ \mathbb{R}^{p} $ we study asymptotic properties as $ N\to\infty $ of $N$-point configurations minimizing the energy arising from a Riesz $ s $-potential $ 1/r^s $ and an external field in the hypersingular case $ s\geq d$. Formulas for the weak$ ^* $ limit of normalized counting measures of such optimal point sets and the first-order asymptot…
▽ More
For a compact $ d $-dimensional rectifiable subset of $ \mathbb{R}^{p} $ we study asymptotic properties as $ N\to\infty $ of $N$-point configurations minimizing the energy arising from a Riesz $ s $-potential $ 1/r^s $ and an external field in the hypersingular case $ s\geq d$. Formulas for the weak$ ^* $ limit of normalized counting measures of such optimal point sets and the first-order asymptotic values of minimal energy are obtained. As an application, we derive a method for generating configurations whose normalized counting measures converge to a given absolutely continuous measure supported on a rectifiable subset of $ \mathbb{R}^{p} $. Results on separation and covering properties of discrete minimizers are given. Our theorems are illustrated with several numerical examples.
△ Less
Submitted 11 October, 2016; v1 submitted 10 May, 2016;
originally announced May 2016.
-
Next order energy asymptotics for Riesz potentials on flat tori
Authors:
Douglas P. Hardin,
Edward B. Saff,
Brian Z. Simanek,
Yujian Su
Abstract:
Let $Λ$ be a lattice in ${\bf R}^d$ with positive co-volume. Among $Λ$-periodic $N$-point configurations, we consider the minimal renormalized Riesz $s$-energy $\mathcal{E}_{s,Λ}(N)$. While the dominant term in the asymptotic expansion of $\mathcal{E}_{s,Λ}(N)$ as $N$ goes to infinity in the long range case that $0<s<d$ (or $s=\log$) can be obtained from classical potential theory, the next order…
▽ More
Let $Λ$ be a lattice in ${\bf R}^d$ with positive co-volume. Among $Λ$-periodic $N$-point configurations, we consider the minimal renormalized Riesz $s$-energy $\mathcal{E}_{s,Λ}(N)$. While the dominant term in the asymptotic expansion of $\mathcal{E}_{s,Λ}(N)$ as $N$ goes to infinity in the long range case that $0<s<d$ (or $s=\log$) can be obtained from classical potential theory, the next order term(s) require a different approach. Here we derive the form of the next order term or terms, namely for $s>0$ they are of the form $C_{s,d}|Λ|^{-s/d}N^{1+s/d}$ and $-\frac{2}{d}N\log N+\left(C_{\log,d}-2ζ'_Λ(0)\right)N$ where we show that the constant $C_{s,d}$ is independent of the lattice $Λ$.
△ Less
Submitted 4 November, 2015;
originally announced November 2015.
-
Periodic Discrete Energy for Long-Range Potentials
Authors:
D. P. Hardin,
E. B. Saff,
Brian Simanek
Abstract:
We consider periodic energy problems in Euclidean space with a special emphasis on long-range potentials that cannot be defined through the usual infinite sum. One of our main results builds on more recent developments of Ewald summation to define the periodic energy corresponding to a large class of long-range potentials. Two particularly interesting examples are the logarithmic potential and the…
▽ More
We consider periodic energy problems in Euclidean space with a special emphasis on long-range potentials that cannot be defined through the usual infinite sum. One of our main results builds on more recent developments of Ewald summation to define the periodic energy corresponding to a large class of long-range potentials. Two particularly interesting examples are the logarithmic potential and the Riesz potential when the Riesz parameter is smaller than the dimension of the space. For these examples, we use analytic continuation methods to provide concise formulas for the periodic kernel in terms of the Epstein Hurwitz Zeta function. We apply our energy definition to deduce several properties of the minimal energy including the asymptotic order of growth and the distribution of points in energy minimizing configurations as the number of points becomes large. We conclude with some detailed calculations in the case of one dimension, which shows the utility of this approach.
△ Less
Submitted 10 December, 2014; v1 submitted 28 March, 2014;
originally announced March 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.
-
Low complexity methods for discretizing manifolds via Riesz energy minimization
Authors:
S. V. Borodachov,
D. P. Hardin,
E. B. Saff
Abstract:
Let $A$ be a compact $d$-rectifiable set embedded in Euclidean space $\RR^p$, $d\le p$. For a given continuous distribution $σ(x)$ with respect to $d$-dimensional Hausdorff measure on $A$, our earlier results provided a method for generating $N$-point configurations on $A$ that have asymptotic distribution $σ(x)$ as $N\to \infty$; moreover such configurations are "quasi-uniform" in the sense that…
▽ More
Let $A$ be a compact $d$-rectifiable set embedded in Euclidean space $\RR^p$, $d\le p$. For a given continuous distribution $σ(x)$ with respect to $d$-dimensional Hausdorff measure on $A$, our earlier results provided a method for generating $N$-point configurations on $A$ that have asymptotic distribution $σ(x)$ as $N\to \infty$; moreover such configurations are "quasi-uniform" in the sense that the ratio of the covering radius to the separation distance is bounded independent of $N$. The method is based upon minimizing the energy of $N$ particles constrained to $A$ interacting via a weighted power law potential $w(x,y)|x-y|^{-s}$, where $s>d$ is a fixed parameter and $w(x,y)=\left(σ(x)σ(y)\right)^{-({s}/{2d})}$.
Here we show that one can generate points on $A$ with the above mentioned properties keeping in the energy sums only those pairs of points that are located at a distance of at most $r_N=C_N N^{-1/d}$ from each other, with $C_N$ being a positive sequence tending to infinity arbitrarily slowly. To do this we minimize the energy with respect to a varying truncated weight $v_N(x,y)=Φ\(\left|x-y\right|/r_N\)w(x,y)$, where $Φ:(0,\infty)\to [0,\infty)$ is a bounded function with $Φ(t)=0$, $t\geq 1$, and $\lim_{t\to 0^+}Φ(t)=1$. This reduces, under appropriate assumptions, the complexity of generating $N$ point `low energy' discretizations to order $N C_N^d$ computations.
△ Less
Submitted 27 May, 2013;
originally announced May 2013.
-
Mesh ratios for best-packing and limits of minimal energy configurations
Authors:
A. V. Bondarenko,
D. P. Hardin,
E. B. Saff
Abstract:
For $N$-point best-packing configurations $ω_N$ on a compact metric space $(A,ρ)$, we obtain estimates for the mesh-separation ratio $γ(ω_N,A)$, which is the quotient of the covering radius of $ω_N$ relative to $A$ and the minimum pairwise distance between points in $ω_N$. For best-packing configurations $ω_N$ that arise as limits of minimal Riesz $s$-energy configurations as $s\to \infty$, we pro…
▽ More
For $N$-point best-packing configurations $ω_N$ on a compact metric space $(A,ρ)$, we obtain estimates for the mesh-separation ratio $γ(ω_N,A)$, which is the quotient of the covering radius of $ω_N$ relative to $A$ and the minimum pairwise distance between points in $ω_N$. For best-packing configurations $ω_N$ that arise as limits of minimal Riesz $s$-energy configurations as $s\to \infty$, we prove that $γ(ω_N,A)\le 1$ and this bound can be attained even for the sphere. In the particular case when N=5 on $S^2$ with $ρ$ the Euclidean metric, we prove our main result that among the infinitely many 5-point best-packing configurations there is a unique configuration, namely a square-base pyramid $ω_5^*$, that is the limit (as $s\to \infty$) of 5-point $s$-energy minimizing configurations. Moreover, $γ(ω_5^*,S^2)=1$.
△ Less
Submitted 26 December, 2012;
originally announced December 2012.
-
Polarization optimality of equally spaced points on the circle for discrete potentials
Authors:
D. P. Hardin,
A. P. Kendall,
E. B. Saff
Abstract:
We prove a conjecture of Ambrus, Ball and Erdélyi that equally spaced points maximize the minimum of discrete potentials on the unit circle whenever the potential is of the form \sum_{k=1}^n f(d(z,z_k)), where $f:[0,π]\to [0,\infty]$ is non-increasing and strictly convex and $d(z,w)$ denotes the geodesic distance between $z$ and $w$ on the circle.
We prove a conjecture of Ambrus, Ball and Erdélyi that equally spaced points maximize the minimum of discrete potentials on the unit circle whenever the potential is of the form \sum_{k=1}^n f(d(z,z_k)), where $f:[0,π]\to [0,\infty]$ is non-increasing and strictly convex and $d(z,w)$ denotes the geodesic distance between $z$ and $w$ on the circle.
△ Less
Submitted 13 December, 2013; v1 submitted 26 August, 2012;
originally announced August 2012.
-
Riesz Polarization Inequalities in Higher Dimensions
Authors:
Tamas Erdélyi,
Edward B. Saff
Abstract:
We derive bounds and asymptotics for the maximum Riesz polarization quantity $$M_n^p(A) := \max_{{\bold x}_1, {\bold x}_2, \ldots, {\bold x}_n \in A} {\min_{{\bold x} \in A}{\sum_{j=1}^n{\frac{1}{|{\bold x} - {\bold x}_j|^{p}}}}}$$ (which is $n$ times the Chebyshev constant) for quite general sets $A \subset {\Bbb R}^m$ with special focus on the unit sphere and unit ball. We combine elementary ave…
▽ More
We derive bounds and asymptotics for the maximum Riesz polarization quantity $$M_n^p(A) := \max_{{\bold x}_1, {\bold x}_2, \ldots, {\bold x}_n \in A} {\min_{{\bold x} \in A}{\sum_{j=1}^n{\frac{1}{|{\bold x} - {\bold x}_j|^{p}}}}}$$ (which is $n$ times the Chebyshev constant) for quite general sets $A \subset {\Bbb R}^m$ with special focus on the unit sphere and unit ball. We combine elementary averaging arguments with potential theoretic tools to formulate and prove our results. We also give a discrete version of the recent result of Hardin, Kendall, and Saff which solves the Riesz polarization problem for the case when $A$ is the unit circle and $p>0,$ as well as provide an independent proof of their result for $p=4$ that exploits classical polynomial inequalities and yields new estimates. Furthermore, we raise some challenging conjectures.
△ Less
Submitted 5 February, 2013; v1 submitted 20 June, 2012;
originally announced June 2012.
-
Minimal $N$-Point Diameters and $f$-Best-Packing Constants in $R^d$
Authors:
A. V. Bondarenko,
D. P. Hardin,
E. B. Saff
Abstract:
In terms of the minimal $N$-point diameter $D_d(N)$ for $R^d,$ we determine, for a class of continuous real-valued functions $f$ on $[0,+\infty],$ the $N$-point $f$-best-packing constant $\min\{f(\|x-y\|)\, :\, x,y\in \R^d\}$, where the minimum is taken over point sets of cardinality $N.$ We also show that $$ N^{1/d}Δ_d^{-1/d}-2\le D_d(N)\le N^{1/d}Δ_d^{-1/d}, \quad N\ge 2,$$ where $Δ_d$ is the ma…
▽ More
In terms of the minimal $N$-point diameter $D_d(N)$ for $R^d,$ we determine, for a class of continuous real-valued functions $f$ on $[0,+\infty],$ the $N$-point $f$-best-packing constant $\min\{f(\|x-y\|)\, :\, x,y\in \R^d\}$, where the minimum is taken over point sets of cardinality $N.$ We also show that $$ N^{1/d}Δ_d^{-1/d}-2\le D_d(N)\le N^{1/d}Δ_d^{-1/d}, \quad N\ge 2,$$ where $Δ_d$ is the maximal sphere packing density in $\R^d$. Further, we provide asymptotic estimates for the $f$-best-packing constants as $N\to\infty$.
△ Less
Submitted 19 April, 2012;
originally announced April 2012.
-
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.
-
Quasi-uniformity of Minimal Weighted Energy Points on Compact Metric Spaces
Authors:
D. P. Hardin,
E. B. Saff,
J. T. Whitehouse
Abstract:
For a closed subset $K$ of a compact metric space $A$ possessing an $α$-regular measure $μ$ with $μ(K)>0$, we prove that whenever $s>α$, any sequence of weighted minimal Riesz $s$-energy configurations $ω_N=\{x_{i,N}^{(s)}\}_{i=1}^N$ on $K$ (for `nice' weights) is quasi-uniform in the sense that the ratios of its mesh norm to separation distance remain bounded as $N$ grows large. Furthermore, if…
▽ More
For a closed subset $K$ of a compact metric space $A$ possessing an $α$-regular measure $μ$ with $μ(K)>0$, we prove that whenever $s>α$, any sequence of weighted minimal Riesz $s$-energy configurations $ω_N=\{x_{i,N}^{(s)}\}_{i=1}^N$ on $K$ (for `nice' weights) is quasi-uniform in the sense that the ratios of its mesh norm to separation distance remain bounded as $N$ grows large. Furthermore, if $K$ is an $α$-rectifiable compact subset of Euclidean space ($α$ an integer) with positive and finite $α$-dimensional Hausdorff measure, it is possible to generate such a quasi-uniform sequence of configurations that also has (as $N\to \infty$) a prescribed positive continuous limit distribution with respect to $α$-dimensional Hausdorff measure. As a consequence of our energy related results for the unweighted case, we deduce that if $A$ is a compact $C^1$ manifold without boundary, then there exists a sequence of $N$-point best-packing configurations on $A$ whose mesh-separation ratios have limit superior (as $N\to \infty$) at most 2.
△ Less
Submitted 22 November, 2011; v1 submitted 14 April, 2011;
originally announced April 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.
-
Asymptotics of Greedy Energy Points
Authors:
A. López García,
E. B. Saff
Abstract:
For a symmetric kernel $k:X\times X \to \mathbb{R}\cup\{+\infty\}$ on a locally compact Hausdorff space $X$, we investigate the asymptotic behavior of greedy $k$-energy points $\{a_{i}\}_{1}^{\infty}$ for a compact subset $A\subset X$ that are defined inductively by selecting $a_{1}\in A$ arbitrarily and $a_{n+1}$ so that $\sum_{i=1}^{n}k(a_{n+1},a_{i})=\inf_{x\in A}\sum_{i=1}^{n}k(x,a_{i})$. We…
▽ More
For a symmetric kernel $k:X\times X \to \mathbb{R}\cup\{+\infty\}$ on a locally compact Hausdorff space $X$, we investigate the asymptotic behavior of greedy $k$-energy points $\{a_{i}\}_{1}^{\infty}$ for a compact subset $A\subset X$ that are defined inductively by selecting $a_{1}\in A$ arbitrarily and $a_{n+1}$ so that $\sum_{i=1}^{n}k(a_{n+1},a_{i})=\inf_{x\in A}\sum_{i=1}^{n}k(x,a_{i})$. We give sufficient conditions under which these points (also known as Leja points) are asymptotically energy minimizing (i.e. have energy $\sum_{i\neq j}^{N}k(a_{i},a_{j})$ as $N\to\infty$ that is asymptotically the same as $\mathcal{E}(A,N):=\min\{\sum_{i\neq j}k(x_{i},x_{j}):x_{1},...,x_{N}\in A\}$), and have asymptotic distribution equal to the equilibrium measure for $A$. For the case of Riesz kernels $k_{s}(x,y):=|x-y|^{-s}$, $s>0$, we show that if $A$ is a rectifiable Jordan arc or closed curve in $\mathbb{R}^{p}$ and $s>1$, then greedy $k_{s}$-energy points are not asymptotically energy minimizing, in contrast to the case $s<1$. (In fact we show that no sequence of points can be asymptotically energy minimizing for $s>1$.) Additional results are obtained for greedy $k_{s}$-energy points on a sphere, for greedy best-packing points, and for weighted Riesz kernels.
△ Less
Submitted 24 January, 2009;
originally announced January 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.
-
The support of the logarithmic equilibrium measure on sets of revolution in $\R^3$
Authors:
D. P. Hardin,
E. B. Saff,
H. Stahl
Abstract:
For surfaces of revolution $B$ in $\R^3$, we investigate the limit distribution of minimum energy point masses on $B$ that interact according to the logarithmic potential $\log (1/r)$, where $r$ is the Euclidean distance between points. We show that such limit distributions are supported only on the ``out-most'' portion of the surface (e.g., for a torus, only on that portion of the surface with…
▽ More
For surfaces of revolution $B$ in $\R^3$, we investigate the limit distribution of minimum energy point masses on $B$ that interact according to the logarithmic potential $\log (1/r)$, where $r$ is the Euclidean distance between points. We show that such limit distributions are supported only on the ``out-most'' portion of the surface (e.g., for a torus, only on that portion of the surface with positive curvature). Our analysis proceeds by reducing the problem to the complex plane where a non-singular potential kernel arises whose level lines are ellipses.
△ Less
Submitted 9 May, 2006;
originally announced May 2006.
-
Asymptotics of Best-Packing on Rectifiable Sets
Authors:
S. V. Borodachov,
D. P. Hardin,
E. B. Saff
Abstract:
We investigate the asymptotic behavior, as $N$ grows, of the largest minimal pairwise distance of $N$ points restricted to an arbitrary compact rectifiable set embedded in Euclidean space, and we find the limit distribution of such optimal configurations. For this purpose, we compare best-packing configurations with minimal Riesz $s$-energy configurations and determine the $s$-th root asymptotic…
▽ More
We investigate the asymptotic behavior, as $N$ grows, of the largest minimal pairwise distance of $N$ points restricted to an arbitrary compact rectifiable set embedded in Euclidean space, and we find the limit distribution of such optimal configurations. For this purpose, we compare best-packing configurations with minimal Riesz $s$-energy configurations and determine the $s$-th root asymptotic behavior (as $s\to \infty)$ of the minimal energy constants.
We show that the upper and the lower dimension of a set defined through the Riesz energy or best-packing coincides with the upper and lower Minkowski dimension, respectively.
For certain sets in ${\rm {\bf R}}^d$ of integer Hausdorff dimension, we show that the limiting behavior of the best-packing distance as well as the minimal $s$-energy for large $s$ is different for different subsequences of the cardinalities of the configurations.
△ Less
Submitted 5 May, 2006;
originally announced May 2006.
-
Asymptotics for Discrete Weighted Minimal Riesz Energy Problems on Rectifiable Sets
Authors:
S. V. Borodachov,
D. P. Hardin,
E. B. Saff
Abstract:
Given a compact $d$-rectifiable set $A$ embedded in Euclidean space and a distribution $ρ(x)$ with respect to $d$-dimensional Hausdorff measure on $A$, we address the following question: how can one generate optimal configurations of $N$ points on $A$ that are "well-separated" and have asymptotic distribution $ρ(x)$ as $N\to \infty$? For this purpose we investigate minimal weighted Riesz energy…
▽ More
Given a compact $d$-rectifiable set $A$ embedded in Euclidean space and a distribution $ρ(x)$ with respect to $d$-dimensional Hausdorff measure on $A$, we address the following question: how can one generate optimal configurations of $N$ points on $A$ that are "well-separated" and have asymptotic distribution $ρ(x)$ as $N\to \infty$? For this purpose we investigate minimal weighted Riesz energy points, that is, points interacting via the weighted power law potential $V=w(x,y)|x-y|^{-s}$, where $s>0$ is a fixed parameter and $w$ is suitably chosen. In the unweighted case ($w\equiv 1$) such points for $N$ fixed tend to the solution of the best-packing problem on $A$ as the parameter $s\to \infty$.
△ Less
Submitted 10 February, 2006;
originally announced February 2006.
-
On Separation of Minimal Riesz Energy Points on Spheres in Euclidean Spaces
Authors:
A. B. J. Kuijlaars,
E. B. Saff,
X. Sun
Abstract:
For the unit sphere S^d in Euclidean space R^(d+1), we show that for d-1<s<d and any N>1, discrete N-point minimal Riesz s-energy configurations are well separated in the sense that the minimal distance between any pair of distinct points in such a configuration is bounded below by C/N^(1/d), where C is a positive constant depending on s and d.
For the unit sphere S^d in Euclidean space R^(d+1), we show that for d-1<s<d and any N>1, discrete N-point minimal Riesz s-energy configurations are well separated in the sense that the minimal distance between any pair of distinct points in such a configuration is bounded below by C/N^(1/d), where C is a positive constant depending on s and d.
△ Less
Submitted 27 March, 2005;
originally announced March 2005.
-
Minimal Riesz Energy Point Configurations for Rectifiable d-Dimensional Manifolds
Authors:
D. P. Hardin,
E. B. Saff
Abstract:
For a compact set A in Euclidean space we consider the asymptotic behavior of optimal (and near optimal) N-point configurations that minimize the Riesz s-energy (corresponding to the potential 1/t^s) over all N-point subsets of A, where s>0. For a large class of manifolds A having finite, positive d-dimensional Hausdorff measure, we show that such minimizing configurations have asymptotic limit…
▽ More
For a compact set A in Euclidean space we consider the asymptotic behavior of optimal (and near optimal) N-point configurations that minimize the Riesz s-energy (corresponding to the potential 1/t^s) over all N-point subsets of A, where s>0. For a large class of manifolds A having finite, positive d-dimensional Hausdorff measure, we show that such minimizing configurations have asymptotic limit distribution (as N tends to infinity with s fixed) equal to d-dimensional Hausdorff measure whenever s>d or s=d. In the latter case we obtain an explicit formula for the dominant term in the minimum energy. Our results are new even for the case of the d-dimensional sphere.
△ Less
Submitted 15 December, 2004; v1 submitted 14 November, 2003;
originally announced November 2003.
