Abstract
The electrostatic interpretation of zeros of Jacobi polynomials, due to Stieltjes and Schur, enables us to obtain the complete asymptotic expansion as \(n \rightarrow \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 as \(N \rightarrow \infty \) of the logarithmic energy \(\sum _{j\ne k} \log (1/| x_j - x_k |)\) of Fekete points, which, by definition, maximize the product of all mutual distances \(\prod _{j\ne k} | x_j - x_k |\) of N points in \([-1,1]\). 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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Statement of Results
Point sets characterized by means of minimizing a suitably defined potential energy function have applications in a surprising number of problems in various fields of science and engineering ranging from physics over chemistry to geodesy and mathematics. Specifically, we point to the sphere-packing or densest packing problem [1, 2], universal optimality [3], point processes [4, 5], invariance principles (with connections to discrepancy theory and numerical integration) [6], Smale’s 7th Problem [7, 8], gases and normalized energy and crystallisation [9,10,11,12,13,14,15], point distributions in more general spaces [16,17,18], and connections to combinatorics and number theory [19] For a general overview, we refer the reader to the surveys [20,21,22] and the book [23].
A fundamental question concerns the asymptotic expansion of the minimal energy as the number of points tend to infinity. In general, at best only one or two terms are known; cf. [24,25,26,27,28,29,30] in case of the sphere and [31, 32] for curves. A notable exception are the minimal energy asymptotics for the unit circle for a whole class of energy functionals for which equally spaced points are optimal configurations. In these cases the energy formula can be written in a form that provides a complete asymptotic expansion in terms of powers of the number of points (see [33,34,35]): for \(s \in (-2,\infty )\) with \(s \ne 0, 1, 3, 5, \dots \) and for every \(p = 1, 2, 3, \dots \), one has for the optimal Riesz s-energy the asymptotic expansion
as \(N \rightarrow \infty \), where the constant \(W_s\) is explicitly known, \(\zeta (s)\) is the classical Riemann zeta function, and the explicitly computable coefficients \(\alpha _n(s)\), \(n\ge 0\), satisfy the generating function relation
The logarithmic energy of N equally spaced points, which provide minimizing configurations, simply is
We remark that for general curves much less is known. We refer to [31, 32]. In the following we shall utilize the fact that zeros of classical orthogonal polynomials can be characterized as minimizing configurations of certain potential energy functions for logarithmic point interactions. This approach enables us to derive complete asymptotic expansions.
Let A be an infinite compact subset of the complex plane \(\mathbb {C}\). A configuration of N points \(\zeta _1,\dots ,\zeta _N \in A\), \(N\ge 2\), that maximizes the product of all mutual distances \(\prod _{j\ne k}|z_j-z_k|\) among N-point systems \(z_1,\dots ,z_N \in A\) is called an N-th system of Fekete points of A. The maximum
is the N-th discriminant of A. A fundamental potential-theoretic result for the transfinite diameter or logarithmic capacity \({{\,\textrm{cap}\,}}A\) of A is
Fekete points, by definition, are points that maximize the Vandermonde determinant that appears in the polynomial Lagrange interpolation formula. It was Fekete [36] who investigated the connection between polynomial interpolation and the discrete logarithmic energy problem, which for given N consists of finding those N-point configurations with minimal discrete logarithmic energy
We define the logarithmic N-point energy of A to be
One main goal of this paper is to derive the complete asymptotic expansion of \(\mathcal {E}_0(A; N)\) as \(N\rightarrow \infty \) when A is the interval \([-1,1]\); see Theorem 1.4. Indeed, regarding line-segments, it suffices to consider the interval \([-1,1]\), since the N-th discriminant of the rotated, dilated, and translated set \(A^\prime =a + \eta e^{i \phi } A\) is given by \(\Delta _N(A^\prime ) = \eta ^{N(N-1)} \Delta _N(A)\) and, therefore, \(\mathcal {E}_0(A^\prime ; N) - \mathcal {E}_0(A; N) = - ( \log \eta ) N ( N - 1 )\).
Let \(q > 0\) and \(p > 0\) be numbers representing charges at the left endpoint and right endpoint, respectively, of the interval \([-1,1]\). The problem of finding n points \(x_1^{(n)},\dots ,x_n^{(n)}\), the locations of unit point charges, in the interior of \([-1,1]\) such that the expression
is maximized, or equivalently, \(\log (1/T_n)\) is minimized over all n-point systems \(x_1,\dots ,x_n\) in \([-1,1]\), is a classical problem that owes its solution to Stieltjes [37, 38] (also see Schur [39]). In analogy to the N-th discriminant of a compact set A we may define the n-th (p, q)-discriminant of \([-1,1]\) as
The quantity \(\log (1/T_n^2)\) can be interpreted as the potential energy of the point charges at \(x_1,\dots ,x_n\) in an external field exerted by the charge p at \(x=1\) and the charge q at \(x=-1\), where the ’points’ interact according to a logarithmic potential. We shall call such minimal potential energy points elliptic Fekete points in order to distinguish them from the Fekete points defined previously. Stieltjes showed that the points \(x_1^{(n)},\cdots ,x_n^{(n)}\) of minimal potential energy are, in fact, the zeros of the Jacobi polynomial \(P_n^{(\alpha ,\beta )}\), where \(\alpha =2p-1\) and \(\beta =2q-1\). A more modern approach is to have external fields in form of appropriate weight functions instead of constraints. (See, e.g., [40] for a discussion of this model.) We also refer the interested reader to the survey article [41].
Stieltjes’ ingenious observation that the zeros of classical orthogonal polynomials have an electrostatic interpretation in terms of logarithmic potential enables us to find, for every \(n\ge 2\), the explicit elliptic Fekete n-point configuration for the discrete logarithmic energy problem associated with the given family of orthogonal polynomials. Moreover, since the target functions of the respective maximum problems are closely related to the discriminants of the classical polynomials, the asymptotic expansion of the potential energy of elliptic Fekete n-point configurations as \(n \rightarrow \infty \) can be obtained. Our goal is to derive the complete asymptotic expansion of the potential energy of elliptic Fekete n-point configurations associated with the external field problem induced by classical orthogonal polynomials.
We remark that the approach used here can be also applied to point systems in \([0,\infty )\) and \(\mathbb {R}\) with suitable constraints on the centroid or inertia of the point system which leads to the study of zeros of Laguerre and Hermite polynomials, respectively. A generalization are so-called Menke systems for the real line studied in [42]; see also [43, 44]. Such systems consist of two interlaced sets of points which can be characterized as zeros or extrema of classical orthogonal polynomials. The asymptotic analysis of the associated discriminants is technically much more involved and we leave the presentation of these results to follow up papers.
Outline of the paper: In the remaining part of the introduction we present the asymptotic expansions for elliptic Fekete points in the interval \([-1,1]\) and compare the results with the expansion for Fekete points. In Sect. 2, we gather asymptotic results for the discriminant of the Jacobi polynomial. The proofs of the main asymptotic results are presented in Sect. 3. The Appendix collects technical results that are frequently used in the asymptotic analysis.
Relevant computations with the help of Mathematica can be found in [45].
1.1 Preliminaries
Our asymptotic expansions are of Poincaré-type and we adapt the notion of writing them as infinite series (even if an infinite series does not converge). We make use of the usual computational rules. The coefficients of the asymptotic expansions will be given in terms of the Riemann zeta function \(\zeta (s)\) and the Hurwitz zeta function \(\zeta (s,a)\) and their (partial) derivatives with respect to s evaluated at negative integers s. The well-known relation
enables us to use instead Bernoulli polynomials \({{\,\textrm{B}\,}}_m\) and the Bernoulli numbers \(B_m\). The Glaisher-Kinkelin constant (see [46, p. 135])Footnote 1 is defined by
and appears in our computations by means of the well-known relation \(\zeta ^\prime (-1) = 1/12 - \log A\). The polygamma function is defined as the logarithmic derivative of the gamma function \(\Gamma \); cf. [47, 6.4.1]:
Using Liouville’s fractional integration and differentiation operator, one can also define polygamma functions of negative order (called “negapolygammas” in [48]) as (see [49])
Since
we rewrite \(\zeta ^\prime (-1,x)\, {:=}\, \frac{\partial }{\partial s} \zeta (s,x) \big |_{s=-1}\) in terms of \(\psi ^{(-2)}(x)\).
1.2 Elliptic Fekete Points in the Interval \([-1,1]\)
Regarding the external field problem associated with relation (1.4), we are interested in the asymptotic expansion of the minimum value of the potential energy
as \(n \rightarrow \infty \). An n-point configuration \(\{x_{1}^{(n)}, \dots , x_{n}^{(n)} \}\) minimizing (1.7), or equivalently, maximizing (1.4) over all n-point configurations in \([-1,1]\) is called an elliptic (p, q)-Fekete n-point configuration in \([-1,1]\) associated with the external field implied by (1.4). We remark that taking twice of \(\log (1/T_n)\) as the potential energy is consistent with the physicist’s point of view that the potential energy contained in the electrostatic field of N charges \(q_1,\dots ,q_N\) at positions \(z_1,\dots ,z_N\) in the plane, up to some constant factor arising from the used unit system, is given by \(\sum _{j\ne k} q_j q_k \log (1/|z_j-z_k|)\); see, e.g., Jackson [50].
Theorem 1.1
Let \(p > 0\) and \(q > 0\). The potential energy of elliptic (p, q)-Fekete n-point configurations in the interval \([-1,1]\) has the Poincaré-type asymptotic expansion
where
Remark
The potential energy of elliptic (p, q)-Fekete n-point configurations on the interval \([-1,1]\) is invariant under translation (and rotation) of the line-segment \([-1,1]\) in the complex plane. From (1.4) it can be seen that for a scaling constant \(\eta >0\) there holds
Thus, only the \(n^2\)-term and n-term are sensitive to a rescaling of the underlying interval.
Remark
The n-th (p, q)-discriminant of the interval \([-1,1]\) is given by (cf. Proof of Theorem 1.1)
from which follows an explicit formula for \(\mathcal {L}([-1,1], q, p; n)\). An explicit formula in terms of quantities related to Jacobi polynomials is given in (3.1).
In the symmetric external field case \(p = q\) we have the following result.
Corollary 1.2
Let \(p>0\). The potential energy of elliptic (p, p)-Fekete n-point configurations in the interval \([-1,1]\) has the Poincaré-type asymptotic expansion
where
The asymptotic expansion of the logarithmic energy of elliptic (p, q)-Fekete n-point configurations in \([-1,1]\) is given next.
Theorem 1.3
Let \(p > 0\) and \(q > 0\). The logarithmic energy of elliptic (p, q)-Fekete n-point configurations \(\omega _n\) in \([-1,1]\) has the Poincaré-type asymptotic expansion
as \(n \rightarrow \infty \), where
Remark
Note that the asymptotic expansions of the potential and the logarithmic energy of elliptic (p, q)-Fekete n-point configurations \(\omega _n\) in \([-1,1]\) coincide in the first two leading terms if \(p+q\ne 2\) and coincide in the first three leading terms if \(p+q=2\).
In the case \(p = q = 1\), maximizing relation (1.4) for n-point configurations in the interval \([-1,1]\) is equivalent with maximizing the product of all mutual distances of \(N=n+2\) points in \([-1,1]\):
(Indeed, if an endpoint of the interval \([-1,1]\) is not in a configuration \(\omega _N\), then the product of all mutual distances between points can be increased by rescaling the points in \(\omega _N\).) Hence, the elliptic (1, 1)-Fekete n-point configuration in \([-1,1]\) together with the endpoints \(\pm 1\) is also a Fekete N-point configuration \(\omega _N^*\) on the interval \([-1,1]\) with \(N = n + 2\) points. From the electrostatic interpretation of the zeros of classical orthogonal polynomials (cf. Theorem 2.2 and remark after that theorem), we have that \(\omega _N^*\) is the set of all extremal points (including endpoint extremas) of the Legendre polynomial \({{\,\textrm{P}\,}}_{n+1} = {{\,\textrm{P}\,}}_{N-1}\).
Theorem 1.4
The logarithmic N-point energy of the interval \([-1,1]\) has the Poincaré-type asymptotic expansion
as \(N\rightarrow \infty \). Here, A denotes the Glaisher-Kinkelin constant given in (1.5).
Remark
The N-th discriminant of the interval \([-1,1]\) defined in (1.1) can be written as (cf. Proof of Theorem 1.4)
and via (1.3) we get an explicit formula for \(\mathcal {E}_0([-1,1]; N)\). An explicit formula in terms of quantities related to Jacobi polynomials is given in (3.3).
1.3 Fekete Points in the Interval \([-2,2]\)
This case has been treated analytically in [51]. More generally, Pommerenke obtained that for a convex compact planar set A of transfinite diameter (logarithmic capacity) \({{\,\textrm{cap}\,}}A\), the N-th discriminant of A sastisfies
Let \(W(A) \,{:=}\, - \log ( {{\,\textrm{cap}\,}}A )\) denote the logarithmic energy of A. Then it follows that the logarithmic N-point energy of convex compact planar set A satisfies
Considering the star-shaped curves \(S_m = \bigcup _{\nu =1}^m [ 0, 2^{2/m} \zeta ^\nu ]\) (\(\zeta \,{:=}\, e^{2\pi i / m}\)) of transfinite diameter 1 defined by the conformal mapping \(F(z) = z ( 1 + z^{-m} )^{2/m}\), where m is the number of star branches, he showed that \(\Delta _N(S_2) \ge 2^{2(N-1)} N^N\). Consequently, for \(A=[-2,2]=S_2\) these results imply
In [52] the electrostatic equilibria of N discrete charges of size 1/N on a two-dimensional conductor (domain) are studied. Also [52] is mostly concerned with placement of charges, it provides an interpretation of the terms of the asymptotics of the ground-state energy, which we will follow here. From Theorem 1.4 we have that (note that \({{\,\textrm{cap}\,}}[-2,2]=1\) and therefore \(W([-2,2])=0\))
where \(\log A\) is the logarithm of the Glaisher-Kinkelin constant, see (1.5). In fact, Theorem 1.4 gives the complete asymptotic expansion of \(\mathcal {E}_0([-1,1];N)\) as \(N\rightarrow \infty \). Note that only the \(N^2\)-term and \((\log N)\)-term are affected by a change of the transfinite diameter; i.e., as \(N \rightarrow \infty \):
2 Asymptotics of the Discriminant of the Jacobi Polynomial
In the following, we use the Pochhammer symbol (rising factorial)
The expansion in terms of gamma functions is valid whenever the gamma function ratio is defined.
For the proof of Theorem 1.1 we need an asymptotic expansion of the leading coefficient, the values at \(\pm 1\), and the discriminant of the Jacobi polynomial. We recall the following facts. The Jacobi polynomials \(P_n^{(\alpha , \beta )}(x)\) (\(n\ge 0\), \(\alpha , \beta > -1\)) are orthogonal on the interval \([-1,1]\) with the weight function \(w(x) = ( 1 - x )^\alpha ( 1 + x )^\beta \) and normalized such that \(P_n^{(\alpha ,\beta )}(1) = {\left( 1+\alpha \right) _{n}} / n!\). Hence
We note further that \(P_n^{(\alpha ,\beta )}(-x) = (-1)^n P_n^{(\beta ,\alpha )}(x)\). Therefore, \(P_n^{(\alpha ,\beta )}(-1) = (-1)^n {\left( 1+\beta \right) _{n}} / n!\).
We prove the following Poincaré-type asymptotic results expressed in terms of the zeta function and the Hurwitz zeta function.
Lemma 2.1
Let \(\alpha > -1\) and \(\beta > -1\). Then
Proof
Since
application of (A.1) and simplification gives the first result.
For the second part we have
and application of (A.1) yields the second part.
In either part we used \(\zeta (-m,1) = \zeta (-m)\) for \(m \ge 1\). \(\square \)
The connection between the energy optimization problem and the zeros of certain Jacobi polynomials is established in the following theorem. Uniqueness of the maximal configuration also follows from this fact.
Theorem 2.2
([53, Thm. 6.7.1]) Let \(p > 0\) and \(q > 0\), and let \(\{x_1, \dots , x_n\}\) be a system of real numbers in the interval \([-1,1]\) for which the expression (1.4) becomes a maximum. Then \(x_1, \dots , x_n\) are the zeros of the Jacobi polynomial \(P_n^{(\alpha , \beta )}(x)\), where \(\alpha = 2 p - 1\), \(\beta = 2q - 1\).
Remark
In the particular case of \(p = q = 1\), it follows from the well-known relations (cf. [54, Ch. 18])
that the unique maximizing configuration for (1.4) in the interval \([-1,1]\) can be characterized as the set of the zeros of the Jacobi polynomial \(P_n^{(1,1)}\), the zeros of the Gegenbauer polynomial \({{\,\textrm{C}\,}}_n^{(3/2)}\), or the extremas of the Legendre polynomial \({{\,\textrm{P}\,}}_{n+1}\).
An explicit formula for the discriminant of \(P_n^{(\alpha ,\beta )}(x) = \lambda _n^{(\alpha ,\beta )} ( x - x_{1,n} ) \cdots ( x - x_{n,n} )\), defined by
can be obtained without computing the zeros of Jacobi polynomials:
Theorem 2.3
([53, Thm. 6.71]) Let \(\alpha >-1\) and \(\beta >-1\). Then
The logarithm of the discriminant of the Jacobi polynomials admits the following Poincaré-type asymptotic expansion. The Glaisher-Kinkelin constant A is given in (1.5) and the negapolygamma function \(\psi ^{(-2)}\) is given in (1.6).
Lemma 2.4
Let \(\alpha > -1\) and \(\beta > -1\). Then for every integer \(K \ge 1\), there holds
where
Proof
First, we observe that differentiating the identity
with respect to s and setting \(s=-1\) gives the following formula (using \(\zeta ^\prime ( -1, z ):= \frac{\partial }{\partial s} \zeta ( s, z ) |_{s = - 1}\))
Hence
where for \(\alpha >-1\) and \(b>-2\):
The asymptotic forms follow from applying (A.1) and (A.2). Simplification is done with the help of Mathematica.
First, we get the Poincaré-type asymptotics
where A is the Glaisher-Kinkelin constant. We used \(\zeta ^\prime ( - 1 ) = \frac{1}{12} - \log A\).
Furthermore,
Here, we used the negapolygamma function defined in (1.6) to simplify the constant term.
Furthermore,
Putting everything together, we arrive at the desired result. \(\square \)
3 Proofs of Main Results
Proof of Theorem 1.1
By Theorem 2.2, the elliptic (p, q)-Fekete n-point configuration in \([-1,1]\) is given by the zeros of the Jacobi polynomial \(P_n^{(\alpha ,\beta )}\) for \(\alpha = 2 p - 1\) and \(\beta = 2 q - 1\). We set \(\alpha = 2 p - 1\) and \(\beta = 2 q - 1\). Let \(x_{1,n},\dots , x_{n,n}\) denote the n zeros of \(P_n^{(\alpha ,\beta )}\). From (2.1) and Theorem 2.3 it follows that
and, therefore (recall, \(\alpha = 2p-1\) and \(\beta = 2q-1\)),
Utilizing Lemma 2.1 and Lemma 2.4, we get the desired result with the help of Mathematica. \(\square \)
Proof of Theorem 1.3
Recall that \(\alpha =2p-1\) and \(\beta =2q-1\). From (2.1) we obtain
Utilizing Lemma 2.1 and Lemma 2.4, we get the desired result with the help of Mathematica. \(\square \)
Proof of Theorem 1.4
Suppose \(p>0\) and \(q>0\). Set \(\alpha = 2p-1\) and \(\beta = 2q-1\). Let \(\omega _n=\{x_{1,n},\dots ,x_{n,n}\}\) be an elliptic (p, q)-Fekete n-point configurations in \([-1,1]\). Rewriting (1.2) and using Theorem 2.2, we get
The substitution for \(E_0(\omega _n)\) follows from (3.2).
For \(p = q = 1\) and \(n = N - 2\), we get
The asymptotic expansions of Lemma 2.1 and Lemma 2.4 are not in terms of the new asymptotic variable N. Instead, we combine the logarithmic terms into one logarithm and use Theorem 2.3 and formulas for \(\lambda _{N-2}^{(1,1)}\) and \(P_{N-2}^{(1,1)}(1)\) to arrive, after simplification, at
where
Taking the negative logarithm again and using (2.2), we get
Application of (A.2) and simplification gives the desired result. We used the following identities (taking into account that Bernoulli numbers \(B_k\) with odd integers \(k \ge 3\) vanish):
\(\square \)
Notes
The established symbol for the Glaisher-Kinkelin constant is A which we also use for a generic compact set. The use of the symbol A should be clear from the context.
References
Viazovska, M.S.: The sphere packing problem in dimension 8. Ann. of Math. 185(3), 991–1015 (2017)
Cohn, H., Kumar, A., Miller, S.D., Radchenko, D., Viazovska, M.: The sphere packing problem in dimension 24. Ann. of Math. 185(3), 1017–1033 (2017)
Cohn, H., Kumar, A.: Universally optimal distribution of points on spheres. J. Am. Math. Soc. 20(1), 99–148 (2007)
Beltrán, C., Marzo, J., Ortega-Cerdà, J.: Energy and discrepancy of rotationally invariant determinantal point processes in high dimensional spheres. J. Complex. 37, 76–109 (2016)
Leblé, T.: Logarithmic, Coulomb and Riesz energy of point processes. J. Stat. Phys. 162(4), 887–923 (2016)
Brauchart, J.S., Dick, J.: A simple proof of Stolarsky’s invariance principle. Proc. Am. Math. Soc. 141(6), 2085–2096 (2013)
Beltrán, C.: A facility location formulation for stable polynomials and elliptic Fekete points. Found. Comput. Math. 15(1), 125–157 (2015)
Beltrán, C., Etayo, U., Marzo, J., Ortega-Cerdà, J.: A sequence of polynomials with optimal condition number. J. Am. Math. Soc. 34(1), 219–244 (2021)
Petrache, M., Serfaty, S.: Next order asymptotics and renormalized energy for riesz interactions. J. Inst. Math. Jussieu 16(3), 501–569 (2015)
Sandier, E., Serfaty, S.: 2D Coulomb gases and the renormalized energy. Ann. Probab. 43(4), 2026–2083 (2015)
Sandier, E., Serfaty, S.: 1D log gases and the renormalized energy: crystallization at vanishing temperature. Probab. Theor. Relat. Fields 162(3–4), 795–846 (2015)
Rougerie, N., Serfaty, S.: Higher-dimensional Coulomb gases and renormalized energy functionals. Comm. Pure Appl. Math. 69(3), 519–605 (2016)
Bétermin, L., Knüpfer, H., Nolte, F.: Note on crystallization for alternating particle chains. J. Stat. Phys. 181(3), 803–815 (2020)
Petrache, M., Serfaty, S.: Crystallization for Coulomb and Riesz interactions as a consequence of the Cohn-Kumar conjecture. Proc. Am. Math. Soc. 148(7), 3047–3057 (2020)
Kimura, M., van Meurs, P.: Quantitative estimate of the continuum approximations of interacting particle systems in one dimension. SIAM J. Math. Anal. 53(1), 681–709 (2021)
Boyvalenkov, P.G., Dragnev, P.D., Hardin, D.P., Saff, E.B., Stoyanova, M.M.: Energy bounds for codes and designs in Hamming spaces. Des. Codes Cryptogr. 82(1–2), 411–433 (2017)
Skriganov, M.M.: Point distributions in two-point homogeneous spaces. Mathematika 65(3), 557–587 (2019)
Barg, A.: Stolarsky’s invariance principle for finite metric spaces. Mathematika 67(1), 158–186 (2021)
Pausinger, F.: Greedy energy minimization can count in binary: point charges and the van der Corput sequence. Ann. Mat. Pura Appl. 200(1), 165–186 (2021)
Saff, E.B., Kuijlaars, A.B.J.: Distributing many points on a sphere. Math. Intell. 19(1), 5–11 (1997)
Hardin, D.P., Saff, E.B.: Discretizing manifolds via minimum energy points. Notices AMS 51(10), 1186–1194 (2004)
Brauchart, J.S., Grabner, P.J.: Distributing many points on spheres: minimal energy and designs. J. Complex. 31(3), 293–326 (2015)
Borodachov, S.V., Hardin, D.P., Saff, E.B.: Discrete Energy on Rectifiable Sets. Springer Monographs in Mathematics, Springer, New York (2019)
López García, A., Saff, E.B.: Asymptotics of greedy energy points. Math. Comput. 79(272), 2287–2316 (2010)
Brauchart, J.S., Hardin, D.P., Saff, E.B.: The next-order term for optimal Riesz and logarithmic energy asymptotics on the sphere. In: De, T. (ed.) Recent Advances in Orthogonal Polynomials, Special Functions, and their Applications, vol. 551, pp. 31–61. American Mathematical Society, Providence (2012)
Beltrán, C., Etayo, U.: The diamond ensemble: a constructive set of spherical points with small logarithmic energy. J. Complex. 59, 101471, 22 (2020)
Bétermin, L., Sandier, E.: Renormalized energy and asymptotic expansion of optimal logarithmic energy on the sphere. Constr. Approx. 47(1), 39–74 (2018)
Lauritsen, A.R.B.K.: Floating Wigner crystal and periodic jellium configurations. J. Math. Phys. 62(8), 083305 (2021)
López-García, A., McCleary, R.E.: Asymptotics of greedy energy sequences on the unit circle and the sphere. J. Math. Anal. Appl. 504(1), 125269, 35 (2021)
Steinerberger, S.: On the logarithmic energy of points on \(\mathbb{S}^2\). arXiv:2011.04630v3 (2021)
Martínez-Finkelshtein, A., Maymeskul, V., Rakhmanov, E.A., Saff, E.B.: Asymptotics for minimal discrete Riesz energy on curves in \(\mathbb{R} ^d\). Canad. J. Math. 56(3), 529–552 (2004)
Borodachov, S.V.: Lower order terms of the discrete minimal Riesz energy on smooth closed curves. Canad. J. Math. 64(1), 24–43 (2012)
Brauchart, J.S.: Explicit formulas for the Riesz energy of the \(N\)th roots of unity. In: Modern Trends in Constructive Function Theory, vol. 661, pp. 101–120. American Mathematical Society, Providence (2016)
Brauchart, J.S., Hardin, D.P., Saff, E.B.: Discrete energy asymptotics on a Riemannian circle. Unif. Distrib. Theory 7(2), 77–108 (2012)
Brauchart, J.S., Hardin, D.P., Saff, E.B.: The Riesz energy of the \(N\)th roots of unity: an asymptotic expansion for large \(N\). Bull. Lond. Math. Soc. 41(4), 621–633 (2009)
Fekete, M.: Über Interpolation. Z. f. angew. Math. 6, 410–413 (1926)
Stieltjes: Sur quelques théorèmes arithmétiques. C. R., (XCVII):889–892 (1884)
Stieltjes, T.J.: Sur certains polynômes qui vérifient une équation différentielle linéaire du second ordre et sur la theorie des fonctions de lamé. Acta Math. 6(1), 321–326 (1885)
Schur, I.: Über die Verteilung der Wurzeln bei gewissen algebraischen Gleichungen mit ganzzahligen Koeffizienten. Math. Z. 1(4), 377–402 (1918)
Ismail, M.E.H.: An electrostatics model for zeros of general orthogonal polynomials. Pac. J. Math. 193(2), 355–369 (2000)
Marcellán, F., Martínez-Finkelshtein, A., Martínez-González, P.: Electrostatic models for zeros of polynomials: old, new, and some open problems. J. Comput. Appl. Math. 207(2), 258–272 (2007)
Mathur, P., Brauchart, J.S., Saff, E.B.: Menke points on the real line and their connection to classical orthogonal polynomials. J. Comput. Appl. Math. 233(6), 1416–1431 (2010)
Menke, K.: Extremalpunkte und konforme Abbildung. Math. Ann. 195, 292–308 (1972)
Menke, K.: Zur Approximation des transfiniten Durchmessers bei bis auf Ecken analytischen geschlossenen Jordankurven. Israel J. Math. 17, 136–141 (1974)
Mathematica Calculations for "Complete minimal logarithmic energy asymptotics for points in a compact interval: a consequence of the discriminant of Jacobi polynomials". 2023-12-05. Graz University of Technology. https://doi.org/10.3217/4xb0d-bgr72
Finch, S.R.: Mathematical constants. In: Encyclopedia of Mathematics and its Applications, vol. 94. Cambridge University Press, Cambridge (2003)
Abramowitz, M., Stegun, I.A. (eds.): Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Dover Publications Inc, New York (1992)
Gosper, R.W., Jr.: \(\int ^{m/6}_{n/4}\ln \Gamma (z)dz\). In: De, T. (ed.) Fields Institute Commununication. Special functions, \(q\)-series and related topics, vol. 14, pp. 71–76. American Mathematical Society, Providence (1997)
Adamchik, V.S.: Polygamma functions of negative order. J. Comput. Appl. Math. 100(2), 191–199 (1998)
Jackson, J.D.: Classical Electrodynamics, 3rd edn. Wiley, New York (1998)
Pommerenke, C.: Über die Faberschen Polynome schlichter Funktionen. Math. Z. 85, 197–208 (1964)
Berkenbusch, M.K., Claus, I., Dunn, C., Kadanoff, L.P., Nicewicz, M., Venkataramani, S.C.: Discrete charges on a two dimensional conductor. J. Stat. Phys. 116(5–6), 1301–1358 (2004)
Szegö, G.: Orthogonal Polynomials, vol. 23. American Mathematical Society, New York (1939)
NIST Digital Library of Mathematical Functions. http://dlmf.nist.gov/, Release 1.1.2 of 2021-06-15
Katsurada, M.: Power series and asymptotic series associated with the Lerch zeta-function. Proc. Jpn. Acad. Ser. A Math. Sci. 74(10), 167–170 (1998)
Katsurada, M.: Complete asymptotic expansions associated with various zeta-functions. In: Various aspects of multiple zeta functions–in honor of Professor Kohji Matsumoto’s 60th birthday. Proceedings of the international conference, Nagoya University, Nagoya, Japan August 21–25, 2020, pp. 205–262. Mathematical Society of Japan, Tokyo (2020)
Funding
Open access funding provided by Graz University of Technology.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Edward B. Saff.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The research of this author was supported, in part, by the Austrian Science Fund FWF project F5510 (part of the Special Research Program (SFB) “Quasi-Monte Carlo Methods: Theory and Applications”) and M2030 Meitner-Programm “Self organization by local interaction”.
Appendix A. Basic Asymptotic Expansions
Appendix A. Basic Asymptotic Expansions
1.1 A.1. Gamma Function Asymptotics
We use the Poincaré-type asymptotics (cf., eg., [54, Eq. 5.11.8])
as \(x \rightarrow \infty \) and \(a \in \mathbb {R}\) fixed. Observe that
1.2 A.2. The s-Derivative of the Hurwitz Zeta Function
We need the asymptotic expansion as \(n \rightarrow \infty \) of \(\frac{\partial }{\partial s}\zeta (s,n+a) |_{s=-1}\). Here, the asymptotic variable is shifted by a fixed (positive) real number. In case of \(a = 0\), see, e.g., [54, §25.11(xii)]. In case of \(a > 0\), cf. [55, 56].
The Mellin-Barnes integral approach gives
valid in the sector \(|\arg z| < \pi \) and such that \(\mathop {\textrm{Re}}s > - K\) and \(a > 0\). The remainder term takes the form
where \(\gamma _K\) satisfies \(-1 - \mathop {\textrm{Re}}s - K< \gamma _K < - \mathop {\textrm{Re}}s - K\). Throughout the sector \(| \arg z | \le \pi - \delta < \pi \) holds the estimate \(\rho _K( s, a, z) = \mathcal {O}( | z |^{-\mathop {\textrm{Re}}s - K} )\) as \(z \rightarrow \infty \).
Partial differentiation with respect to s yields
This formula is valid under the same assumptions as above. It is understood that
Throughout the sector \(| \arg z | \le \pi - \delta < \pi \) holds the estimate \(\rho _K( s, a, z) = \mathcal {O}( | z |^{-\mathop {\textrm{Re}}s - K} \log | z | )\) as \(z \rightarrow \infty \). In particular, after an index shift and for \(K \ge 2\),
A more detailed analysis shows that the \(\log x\) factor in the remainder estimate can be dropped. The remainder term takes the form
where \(-1-K< \gamma _K < -K\). Furthermore, the restriction \(a > 0\) can be relaxed to \(a > -1\), \(a \ne 0\), by means of the identities \(\zeta ( s, a ) = a^{-s} + \zeta ( s, a + 1 )\) (and \({{\,\textrm{B}\,}}_{k+1}( a + 1 ) = {{\,\textrm{B}\,}}_{k+1}( a ) + ( k + 1 ) a^k\) if Bernoulli polynomials are used). In the case \(a = 0\) formula (A.2) reduces to the well known asymptotic expansion.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Brauchart, J.S. Complete Minimal Logarithmic Energy Asymptotics for Points in a Compact Interval: A Consequence of the Discriminant of Jacobi Polynomials. Constr Approx 59, 717–735 (2024). https://doi.org/10.1007/s00365-023-09673-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00365-023-09673-x
Keywords
- Classical orthogonal polynomials and discriminants
- Complete asymptotics
- Elliptic Fekete points
- Jacobi polynomials
- Minimal logarithmic energy