Add Journal to My Library
IMA Journal of Numerical Analysis
, Volume Advance Article – Mar 26, 2018

19 pages

/lp/ou_press/on-the-lebesgue-constant-of-weighted-leja-points-for-lagrange-n28VDUqFs0

- Publisher
- Oxford University Press
- Copyright
- Published by Oxford University Press on behalf of the Institute of Mathematics and its Applications 2018.
- ISSN
- 0272-4979
- eISSN
- 1464-3642
- D.O.I.
- 10.1093/imanum/dry002
- Publisher site
- See Article on Publisher Site

Abstract This work focuses on weighted Lagrange interpolation on an unbounded domain and analyzes the Lebesgue constant for a sequence of weighted Leja points. The standard Leja points are a nested sequence of points defined on a compact subset of the real line and can be extended to unbounded domains with the introduction of a weight function $$w:\mathbb{R}\rightarrow [0,1]$$. Due to a simple recursive formulation in one dimension, such abscissas provide a foundation for high-dimensional approximation methods such as sparse grid collocation, deterministic least squares and compressed sensing. Just as in the unweighted case of interpolation on a compact domain, we use results from potential theory to prove that the Lebesgue constant for the Leja points grows subexponentially with the number of interpolation nodes. 1. Introduction The Lebesgue constant for a countable set of nodes provides a measure of how well the interpolant of a function at the given points compares to best polynomial approximation of the function. We are especially interested in how this constant grows with the number of interpolation nodes, i.e., the corresponding degree of the interpolating polynomial, in an unbounded domain. As such, in this work we analyze the Lebesgue constant for a sequence of weighted Leja points on the real axis. Leveraging results from weighted potential theory (Saff & Totik, 1997) and orthogonal polynomials with exponential weights (Levin & Lubinsky, 2001), we show that for a certain class of weight functions the Lebesgue constant for the weighted Leja points grows subexponentially with the number of interpolation nodes. The standard Leja sequence on $$[-1,1] \subset \mathbb{R}$$ is defined recursively: given a point x0, for n = 1, 2, …, define the next Leja point as \begin{equation} x_{ n} = \mathop{{\arg\,\max}}\limits_{x\in[-1,1]} \prod_{ j=0}^{ n-1} \left| x - x_ j \right|\!. \end{equation} (1.1) There is still some ambiguity in this definition, since the maximum may be attained at several points. For the purposes of this work we may choose any maximizer xn without affecting the analysis. In addition, by introducing a weight function $$w:\mathbb{R} \rightarrow [0,1]$$ we may also define the Leja sequence for weighted interpolation on the real line. Given a point x0, for n ≥ 1 we recursively define the following: \begin{equation} x_{ n} = \mathop{{\arg\,\max}}\limits_{x\in\mathbb{R}} \left( w(x) \prod_{ j=0}^{ n-1} |x - x_ j| \right)\!. \end{equation} (1.2) As above, any maximizer is suitable, so we are not worried about the ambiguity in this definition. Recently, the Leja points have shown great promise for use in sparse polynomial approximation methods in high dimensions (Chkifa et al., 2013; Narayan & Jakeman, 2014; Griebel & Oettershagen, 2016). The key property is that, by definition, a set of n Leja points is contained in the set of sizen + 1, a property that is not shared by other sets of common interpolation nodes, especially for weighted interpolation on unbounded domains. This sequential nestedness carries over to the high-dimensional setting and allows much more flexibility in global polynomial approximation (Narayan & Jakeman, 2014). On the other hand, the theoretical properties of weighted Leja points that would guarantee their usefulness in interpolation, i.e., the Lebesgue constant, are not well-studied. The works (Garcia, 2010; Narayan & Jakeman, 2014) do show that a contracted version of the weighted Leja sequence (1.2) is asymptotically Fekete. Specifically, this means that we first multiply the weighted Leja sequence by a contraction factor, i.e., \begin{equation} x_{ n, j} :={ n}^{-1/\alpha} x_ j, \quad j=0,\ldots, n, \end{equation} (1.3) for some appropriate real number α = α(w) > 1, depending on the weight w. The discrete point-mass measures μn giving weight 1/(n + 1) to each of the first n + 1 contracted Leja points, i.e., \begin{equation} \mu_{ n} := \frac1{ n+1} \sum_{ j=0}^ n \delta_{\{ x_{ n, j} \}}, \end{equation} (1.4) converge weak*, as $$n\rightarrow \infty $$, to an equilibrium measure on a compact subset of $$\mathbb{R}$$. In other words, the Leja points asymptotically distribute similarly to Fekete points, which are known to be a ‘good’ set of points for interpolation (see Section 3.1). In fact, the asymptotically Fekete property is a necessary, but not sufficient, property for a set of points to have a subexponentially growing Lebesgue constant and motivates our study of the weighted Leja sequence for Lagrange interpolation. The rest of the paper is organized as follows. In Section 2, we introduce the concept of weighted Lagrange interpolation of a function on the real line, and in Theorem 2.1 state our main result that describes the class of weights and the growth of the Lebesgue constant for weighted Leja points. To prove our new theorem we use results from potential theory, which we introduce in Section 3. Specifically, we exploit the relationship between discrete potentials and polynomials with zeros at the Leja points, and the fact that the measures μn converge weak* to the appropriate equilibrium measure of the Fekete points. While potential theory gives us almost the whole result we also require some explicit estimates on the spacing of the weighted Leja points, which are given in Section 4. The completion of the proof of our main theorem describing the growth of the Lebesgue constant for weighted Leja points is given in Section 5, followed by concluding remarks. 2. Lagrange interpolation and Leja points In this section, we introduce the problem of weighted Lagrange interpolation of a function on the real line. We also discuss the Lebesgue constant for a set of interpolation points and show how it relates to the best approximation error. Finally, in Section 2.1 we describe our main contribution, which involves a theoretical estimate of the growth of the Lebesgue constant of the weighted Leja sequence vs. the number of interpolation points. More specifically, in Theorem 2.1 we prove that the Lebesgue constant of the weighted Leja points grows subexponentially. To make the setting precise assume we are given a continuous function f on $$\mathbb{R}$$ that we would like to interpolate. In other words, we have a set of n + 1 points, $$\{ x_ k \}_{ k=0}^{ n} \subset \mathbb{R}$$ and the values $$\{ f(x_ k) \}_{ k=0}^{ n}$$ at each of those points. Lagrange interpolation constructs a polynomial $$\mathcal{I}_ n[f]$$, of degree n, that matches f at every interpolation point, i.e., $$ \mathcal{I}_ n[f](x_ k) = f(x_ k), \quad k=0,\dots, n. $$ The fundamental Lagrange basis functions for $$\{ x_ k \}_{ k=0}^{ n}$$ are defined as \begin{align} l_{ n, k} (x) = \prod_{\substack{ j=0 \\ j\neq k}}^{ n} \frac{ (x-x_ j)}{(x_ k - x_ j)}, \qquad k = 0,\ldots, n. \end{align} (2.1) These functions satisfy ln, k(xj) = δj, k for all j, k = 0, …, n. The unique Lagrange interpolant of degree n for f is then given by \begin{equation} \mathcal{I}_ n[f] (x) = \sum_{ k=0}^{ n} f(x_ k) l_{ n, k}(x). \end{equation} (2.2) Given an appropriate weight function $$w:\mathbb{R}\rightarrow [0,1]$$, to estimate the w-weighted approximation error for this interpolation scheme, we define $$\mathbb{P}_{ n} = \textrm{span}\left \{x^ j\right \}_{ j=0}^{ n}$$ to be the space of polynomials of degree at most n over $$\mathbb{R}$$, and let pn be an arbitrary element of $$\mathbb{P}_{ n}$$. Then the error in the norm of $$L^{\infty }(\mathbb{R})$$, with $$\|\cdot \|_{\infty } := \|\cdot \|_{L^{\infty }(\mathbb{R})}$$, is given by \begin{equation} \| w \left( f - \mathcal{I}_ n[f] \right)\! \|_{\infty} \leqslant \| w\left(f - p_{ n}\right)\! \|_{\infty} + \|w\, \mathcal{I}_ n[p_{ n}-f] \|_{\infty} \leqslant\ \|w\left(f - p_{ n}\right)\!\|_{\infty} \left( 1 + \mathbb{L}_ n \right)\!, \end{equation} (2.3) where the quantity \begin{equation} \mathbb{L}_ n := \sup_{x\in\mathbb{R}}\left( \sum_{ k=0}^{ n} \frac{ w(x) | l_{ n, k}(x) |}{w(x_ k)} \right) \end{equation} (2.4) is called the Lebesgue constant. In contrast to the case of unweighted Lagrange interpolation on a bounded domain here the Lebesgue constant explicitly involves the weight function w. In the inequality (2.3) we may take the infimum over all $$p_{ n}\in \mathbb{P}_{ n}$$ to see that the Lebesgue constant relates the error in interpolation to the best approximation error by a polynomial in $$\mathbb{P}_{ n}$$: \begin{equation} \| w \left( f - \mathcal{I}_ n[f] \right)\! \|_{\infty} \leqslant\ \left( 1 + \mathbb{L}_ n \right) \inf_{p_{ n}\in\mathbb{P}_{ n}} \|w \left(f - p_{ n}\right)\!\|_{\infty}. \end{equation} (2.5) Thus, we see that the problem of constructing a stable and accurate Lagrange interpolant consists in the construction of a set of interpolation points for which $$\mathbb{L}_ n$$ does not grow too quickly. 2.1. Our contribution In this work we prove the following result: Theorem 2.1 Let α > 1 and assume $$w:\mathbb{R}\rightarrow [0,1]$$ is a weight function of the following form: \begin{equation} w(x) = \exp( - Q(x) ), \quad\textrm{with}\quad Q(x) = |x|^{\alpha}, \quad x\in \mathbb{R}. \end{equation} (2.6) Then the Lebesgue constant for the weighted Leja sequence (1.2), defined on $$\mathbb{R}$$, grows subexponentially with respect to the number of interpolation points n, i.e., \begin{equation*} \lim_{n\rightarrow\infty} \left( \mathbb{L}_ n \right)^{\frac{1}{n}} = \lim_{n\rightarrow\infty}\left\{ \sup_{x\in\mathbb{R}} \left(\sum_{ k=0}^{ n} \left| \frac{ w(x) \prod_{{ j=0,\; j\neq k}}^{ n} (x - x_ j) }{ w(x_ k) \prod_{{ j=0,\; j\neq k}}^{ n} (x_ k - x_ j) }\right| \right) \right\}^{\frac{1}{ n}} = 1. \end{equation*} The rest of this paper is devoted to the proof of Theorem 2.1. Similar to the case of unweighted Leja points (Taylor, 2008; Taylor & Totik, 2010), in Section 3, we explore the connection between polynomials and weighted potentials and show how classical weighted potential theory can be used to understand the asymptotic behavior (with respect to n) of an nth degree polynomial with roots at the contracted Leja points. While these techniques give us most of the result the final part of the proof requires an explicit estimate on the spacing of the weighted Leja nodes, which is developed in Section 4. Finally, in Section 5, we combine the spacing result and weighted potential theory to complete the proof of Theorem 2.1. 3. Weighted potential theory In this section, we state some necessary definitions and results from weighted potential theory, which will be the main tools we use to prove Theorem 2.1. For more details, we refer the interested reader to the study by Saff & Totik (1997). The class of weights used in this paper, defined in (2.6), are a subset of the well-studied Freud weights (Levin & Lubinsky, 2001). From (2.6), note first that we may extend Q to be a function on $$\mathbb{C}$$ and that w has the following properties: The extended weight function $$w:\mathbb{C}\rightarrow [0,1]$$ is continuous in $$\mathbb{C}$$. The set $$\Sigma _{0} := \{ x\in \mathbb{R} \,\big |\, w(x)> 0 \}$$ has positive capacity, i.e., \begin{equation*}\textrm{cap}(\Sigma_{0}) = \sup\{ \textrm{cap}(K) : K \subseteq \Sigma_{0}, K \textrm{ compact} \}> 0,\end{equation*} where \begin{equation*} \textrm{cap}(K) = \exp \left\{ \inf\left( \int_{K} \int_{K}{\log |x-t|} \,\mathrm{d}\mu(x) \,\textrm{d}\mu(t): \mu \in\mathcal{M}(K) \right) \right\}. \end{equation*} The limit $$|x| w(x) \rightarrow 0$$ as $$|x|\rightarrow \infty $$, $$x\in \mathbb{R}$$. In the language of weighted potential theory these properties imply that w is admissible. Furthermore, we also define the Mhaskar–Rhamanov–Saff number an = an(w), as the unique solution to the equation (see Saff & Totik (1997, Corollary IV.1.13)): \begin{equation} n = \frac1{\pi} \int_{-a_ n}^{a_ n}{ \frac{x\, Q^{\prime}(x)}{\sqrt{a_ n^{2} - x^{2}}}\,\textrm{d}x}. \end{equation} (3.1) This number an has a few special properties that we use in the following analysis. First, the weighted sup-norm of an nth degree polynomial on $$\mathbb{R}$$ is realized on the compact set [−an, an], i.e., for all $$p_ n\in \mathbb{P}_ n$$, \begin{equation} \|p_ n w\|_{\infty} = \sup_{|x|\leqslant\ a_ n} |p_ n(x)| w(x), \end{equation} (3.2) and $$|p_ n(x)| w(x)<\|p_ n w\|_{\infty } $$ for |x| > an (Saff & Totik, 1997). Second, from Levin & Lubinsky (2001, p. 27) $$a_ n\rightarrow \infty $$ at approximately the rate n1/α, i.e., \begin{equation} a_ n \sim n^{1/\alpha}. \end{equation} (3.3) Here, and in what follows, for two sequences an, bn, we write an ∼ bn if and only if there exist constants C1, C2 > 0, independent of n, such that $$C_{1} \leqslant{a_ n}/{b_ n} \leqslant \ C_{2} $$. Remark 3.1 From property (3.2) we see that the solution to (1.2), i.e., the (n + 1)th Leja point xn, will be in the interval [−an, an]. This fact may be used in practice to reduce the Leja optimization problem to a compact set that changes with n. In this case, one must find or estimate the constants in the relation (3.3). In the study by Narayan & Jakeman (2014), these are calculated to be $$2B\left (\frac{\alpha }{2},\frac{\alpha }{2}\right )^{1/\alpha }$$, where B is the Euler beta function. We remark also that fast methods for computing weighted Leja points on compact intervals are described in the study by De Marchi (2004). Let $$\mathcal{M}(\mathbb{R})$$ be the collection of all positive unit Borel measures μ with $$\textrm{Supp}(\mu ) \subseteq \mathbb{R}$$. For $$\mu \in \mathcal{M}(\mathbb{R})$$ and $$x,t\in \mathbb{R}$$, define the weighted energy integral \begin{align*} I_{w}(\mu) &= \int \int \log\left( \left| x - t \right| w(x) w(t) \right)^{-1} \,\textrm{d}\mu(x) \textrm{ d}\mu(t) \\ &= \int \int \log\frac1{|x-t|} \,\textrm{d}\mu(x) \textrm{ d}\mu(t) + 2 \int Q\, \textrm{d}\mu. \end{align*} We also define the logarithmic potential by \begin{equation} U^{\mu} (x) := \int \log\frac1{|x-t|} \,\textrm{d}\mu(t). \end{equation} (3.4) The goal of weighted potential theory is to find and analyze the measure $$\mu \in \mathcal{M}(\mathbb{R})$$ that minimizes the weighted energy integral Iw(μ). The following theorem may be found in general form in the study by Saff & Totik (1997, Theorem I.1.3) and is presented here for the specific case (2.6) of a continuous, admissible weight w on $$\mathbb{R}$$. Theorem 3.2 Let w be a continuous, admissible weight function on $$\mathbb{R}\subset \mathbb{C}$$ and define \begin{equation} V_{w} := \inf\left\{ I_{w}(\mu) \,\big|\, \mu\in\mathcal{M}(\mathbb{R})\right\}\!. \end{equation} (3.5) Then we have the following properties: The quantity Vw is finite. There exists a unique measure $$\mu _{w} \in \mathcal{M}(\mathbb{R})$$ such that \begin{equation*} I_{w}(\mu_{w}) = V_{w}, \end{equation*} and the equilibrium measure μw has finite logarithmic energy, i.e., \begin{equation*} -\infty < \int\int \log\frac1{|x-t|} \,\textrm{d}\mu_{w}(t)\textrm{ d}\mu_{w}(x)=\int U^{\mu_{w}}(x) \,\textrm{d}\mu_{w}(x) < \infty. \end{equation*} Let Fw be the modified Robin constant for w, given by \begin{equation} F_{w} := V_{w} - \int Q\, \textrm{d}\mu_{w}. \end{equation} (3.6) The logarithmic potential $$U^{\mu _{w}}$$ is continuous for $$z\in \mathbb{C}$$ and, moreover, for every $$x\in \textrm{Supp}(\mu _{w})\subset \mathbb{R}$$, \begin{equation} U^{\mu_{w}}(x) + Q(x) = F_{w}. \end{equation} (3.7) Proof. The first two statements are quoted directly from, and proved in, the study by Saff & Totik (1997, Theorem I.1.3). To prove the third statement we note that $$\mathbb{C}\setminus \mathbb{R}$$ has exactly two connected components, namely {Im(z) > 0} and {Im(z) < 0}, and that of course every point in Supp(μw) ⊂{Im(z) = 0} is a boundary point for both of these sets. Thus, by Saff & Totik (1997, Theorem I.5.1), $$U^{\mu _{w}}$$ is continuous on Supp(μw). Hence, from the study by Saff & Totik (1997, Theorem I.4.4), $$U^{\mu _{w}}$$ is continuous on all of $$\mathbb{C}$$ and (3.7) holds for every $$x\in \textrm{Supp}(\mu _{w}) \subset \mathbb{R}$$. 3.1. Weighted Fekete points In this section, we describe the connection between Leja points and the weighted equilibrium measure μw. For n ≥ 0 let $$\mathcal{T}_ n$$ denote a general set of points in $$\mathbb{R}$$ with cardinality $$|\mathcal{T}_ n|= n+1$$ and let w be an admissible weight on $$\mathbb{R}$$. We say a set of n + 1 points is (weighted-) Fekete if it maximizes the quantity: \begin{align} \mathcal{F}_ n = \operatorname{arg\,max}_{|\mathcal{T}_ n|= n+1}\left( \prod_{{t,s \in \mathcal{T}_ n \atop t\neq s}} |t-s|w(t)w(s) \right)^{\frac2{( n+1)( n+2)}}. \end{align} (3.8) It is easy to see that the Lebesgue constant for a set of Fekete points $$\mathcal{F}_ n$$ satisfies \begin{equation*} \mathbb{L}(\mathcal{F}_ n) := \sup_{x\in \mathbb{R}} \left( \sum_{s\in\mathcal{F}_ n} \bigg| \frac{ w(x) \prod_{t\neq s} (x - t) }{ w(s) \prod_{t \neq s} (s - t) }\bigg|\right) \leqslant\ n + 1, \end{equation*} since each of the summands is bounded by 1. Furthermore, we also know (Garcia, 2010) that for a sequence of Fekete point sets, $$\{\mathcal{F}_ n\}_{n\geq 1}$$, \begin{equation*} \lim_{n\rightarrow\infty}\left( \prod_{{t,s \in \mathcal{F}_ n\atop t\neq s}} |t-s|w(t)w(s) \right)^{\frac2{( n+1)( n+2)}}= \exp(-V_{w}), \end{equation*} where Vw, as defined in (3.5), is the weighted logarithmic capacity for $$\mathbb{R}$$ with respect to w. For interpolation schemes we are also interested in arrays of points with similar asymptotic properties to Fekete points in the limit as $$n\rightarrow \infty $$, since this is a necessary condition for a sequence of points to have a well-behaved Lebesgue constant. Thus, we make the following definition: Definition 3.3 A sequence of point sets $$\{\mathcal{T}_ n\}_{n\geq 1}$$, with $$|\mathcal{T}_ n| = n, \, n\geqslant 1$$, is called asymptotically (weighted) Fekete if \begin{equation*} \lim_{n\rightarrow\infty} \Bigg( \prod_{{t,s \in \mathcal{T}_ n\atop t\neq s}} |t-s|w(t)w(s) \Bigg)^{\frac2{( n+1)( n+2)}} = \exp(-V_{w}). \end{equation*} Note that a sequence of interpolation points may be asymptotically Fekete but not Fekete, i.e., without satisfying (3.8) for any $$n\in \mathbb{N}$$. The following lemma, first proved in the study by Garcia (2010) in a more general setting than the one considered here, and later in the study by Narayan & Jakeman (2014), indicates that the contracted Leja sequence distributes asymptotically like the Fekete points. Lemma 3.4 The contracted Leja sequence, defined by (1.2) and (1.3), is asymptotically Fekete. Next we define the discrete point-mass measure associated with the points $$\mathcal{T}_ n$$ as \begin{equation*}\nu_{\mathcal{T}_ n} = \frac1{ n+1} \sum_{t\in\mathcal{T}_ n} \delta_{\{t\}},\end{equation*} where δ{t} is the standard Dirac delta function for the point $$t \in \mathcal{T}_ n$$. If a sequence of measures $$\{\nu _{\mathcal{T}_ n}\}_{n\geq 0}$$ corresponds to an asymptotically Fekete sequence of interpolation nodes, the next lemma tells us that they converge to a particular measure; see Garcia (2010, Theorem 2.3) and Narayan & Jakeman (2014, Theorem 3.1). Lemma 3.5 Let μw be the equilibrium measure for $$\mathbb{R}$$ with respect to w (see Theorem 3.2), and let $$\{\mathcal{T}_ n\}_{n\geqslant 0}$$ be an asymptotically Fekete sequence of point sets with corresponding discrete measures $$\{\nu _{\mathcal{T}_ n}\}_{n\geqslant 0}$$. Then we have \begin{equation*} \lim_{n\rightarrow\infty} \nu_{\mathcal{T}_ n} = \lim_{n\rightarrow\infty} \frac1{ n+1} \sum_{t\in\mathcal{T}_ n} \delta_{\{t\}} = \mu_{w}, \end{equation*} where equality is understood in the weak* sense. In particular, for the measures μn, defined by (1.4), corresponding to the contracted Leja sequence, \begin{equation*} \lim_{ n\rightarrow\infty} \mu_ n = \mu_{w}. \end{equation*} 3.2. Potentials and polynomials Taken together, the previous two lemmas tell us that the discrete point-mass measures associated with the contracted Leja sequence converge weak* to the weighted equilibrium measure for $$\mathbb{R}$$ corresponding to the weight w given in (2.6). This fact enables us to make a key connection between potential theory and Leja points and provides the basis for the proof of Theorem 2.1. With $$\left \{x_{ n, j}\right \}_{ j=0}^ n$$ as in (1.3) define Pn, k to be the polynomial with roots at each of the n contracted Leja points xn, j, j = 0, …, k − 1, k + 1, …, n, i.e., \begin{equation*} P_{n,k}(x) = \prod_{{ j=0\atop j\neq k}}^{ n} (x - x_{ n, j}), \end{equation*} and let μn, k be the measure that assigns mass $$\frac 1{ n}$$ to each of the roots of Pn, k, i.e., \begin{equation} \mu_{ n, k} = \frac1{ n} \sum_{{ j=0\atop j\neq k}}^ n \delta_{\{x_{ n, j}\}}. \end{equation} (3.9) Then, taking the logarithm of $$\left | P_{ n, k}^{1/n} w \right |$$, we convert the polynomial into a discrete logarithmic potential with respect to the measure μn, k, i.e., \begin{equation*} \log\left| P_{n,k}(x)w(x)^{n} \right|{}^{\frac{1}{n}} = \frac1{ n}\sum_{{ j=0\atop j\neq k}}^{n} \log|x - x_{ n, j}| - Q(x) = -U^{\mu_{n,k}}(x) - Q(x). \end{equation*} By Lemma 3.4 the weighted Leja sequence is asymptotically Fekete, and therefore we have $$\mu _{n,k} \rightarrow \mu _{w}$$ in the weak* sense. These connections allow us to exploit potential theory to understand the asymptotic behavior of weighted polynomials. In particular, by considering polynomials with roots at the contracted Leja points (1.3), we explicitly explore this asymptotic behavior in the following two lemmas, which will be an essential part of the proof of Theorem 2.1. Lemma 3.6 Given ε > 0, there exists an $$N\in \mathbb{N}$$ such that, for n > N and $$0\leqslant \ k \leqslant \ n$$, \begin{equation*} \left| \| P_{n,k} w^{n} \|_{\infty}^{\frac{1}{n}} - \exp{( -F_{w} )}\right| <\varepsilon. \end{equation*} Proof. See Appendix A.1. Lemma 3.7 For all ε > 0, there exist δ > 0 and $$N\in \mathbb{N}$$, such that for n > N, and $$0\leqslant \ k\leqslant \ n$$, \begin{equation*} \left| \left( w(x_{ n, k})^{n} \prod_{|x_{ n, k} - x_{ n, j}| \geq \delta} |x_{ n, k} - x_{ n, j}| \right)^{\frac{1}{n}} - \exp(-F_{w})\right| < \varepsilon. \end{equation*} Proof. See Appendix A.2. 4. Spacing of the weighted Leja points The goal of this section is to state and prove a result regarding the spacing of the contracted Leja sequence. This will be crucial to the final step in the proof of Theorem 2.1. Theorem 4.1 Let w and α > 1 be as in (2.6), and let $$n\in \mathbb{N}$$, with 0 ≤ i, j ≤ n. Then, for some constant C > 0, independent of n, the contracted Leja sequence (1.3) satisfies the spacing property \begin{equation} C|x_{ n, i} - x_{ n, j}| \geqslant\ n^{-1}. \end{equation} (4.1) To prove Theorem 4.1, the main spacing result for the contracted Leja sequence, we use a weighted version of the classical Markov–Bernstein inequalities, which relate norms of polynomials to norms of their derivatives. First, for an and Q as defined in (3.1) and (2.6), respectively, define the function \begin{equation} \varphi_ n(t) = \frac{ |t-a_{2n}| |t + a_{2n}| }{ n \sqrt{(|t+a_{ n}| - a_ n\zeta_ n)(|t-a_{ n}| + a_ n\zeta_ n)}}, \end{equation} (4.2) where \begin{equation*} \zeta_ n = \left( \alpha n\right)^{-2/3}. \end{equation*} Remark 4.2 The function φn plays the same role as the function \begin{equation*} \phi_ n(t) = \frac1{ n \sqrt{1-t^{2}}}, \end{equation*} for the Markov–Bernstein inequalities for unweighted polynomials on [−1, 1]. Proof of Theorem 4.1 Let φ be as in (4.2). The main fact we need for this proof is a Bernstein-type inequality for weighted polynomials, which can be found, for instance, in the study by Levin & Lubinsky (2001, Theorem 10.1): for any polynomial pn of degree n ≥ 1, there exists some C, independent of pn and n, such that \begin{equation}\left| (p_ n(t)w(t))^{\prime} \right| \leqslant\ \frac{C}{\varphi_ n(t)} \| p_ n w \|_{\infty}, \quad t\in\mathbb{R}. \end{equation} (4.3) From the study by Levin & Lubinsky (2001, Theorem 5.4(b)) we estimate that \begin{equation*} \sup_{t\in[-a_ n,a_ n]} \left|\frac1{\varphi_{ n}(t)}\right| \sim \sqrt{\alpha} \frac{ n }{a_ n}. \end{equation*} Hence, for any polynomial pn of degree n, and $$t\in \mathbb{R}$$, \begin{equation} \left| (p_{ n}(t)w(t))^{\prime} \right| \leq C \frac{n}{a_ n} \| p_{ n}w \|_{\infty}. \end{equation} (4.4) In particular, this holds for the polynomial Pn defined by \begin{equation} P_{ n}(t) := \prod_{ j=0}^{n-1}(t-x_ j). \end{equation} (4.5) Given $$0\leqslant \ j < n$$, by the mean value theorem, there exists a point t between xj and xn such that \begin{equation*} \frac{|P_{ n}(x_ j)w(x_ j) - P_{ n}(x_ n)w(x_ n)|}{|x_ n - x_ j|} = \left| (P_{ n}(t) w(t))^{\prime} \right|\!. \end{equation*} Notice that for $$0\leqslant \ j < n$$, Pn(xj) = 0 by definition. Then from (4.4), \begin{equation*} \frac{|P_{ n}(x_ n)w(x_ n)|}{|x_ n - x_ j|} \leqslant\ \frac{C n}{a_ n} \left| P_{ n}(x_ n) w(x_ n) \right|\!, \end{equation*} which implies \begin{equation*} C|x_ n - x_ j| \geqslant\ \frac{a_ n}{ n}. \end{equation*} Using the fact an ∼ n1/α from (3.3), we get \begin{equation} C| x_{ n} - x_ j | \geqslant\ \frac{a_{ n} }{ n} \sim n^{1/\alpha - 1}. \end{equation} (4.6) Let $$n\geqslant 1$$, and j < n, such that $$x_{ n, j},x_{ n, n}\geqslant 0$$. Then using (4.6), along with (1.3), we calculate \begin{equation*} C|x_{n,n} - x_{ n, j}| = C n^{-1/\alpha} | x_{ n} - x_ j | \geqslant\ n^{-1/\alpha} n^{1/\alpha - 1} = n^{-1}.\end{equation*} Now let $$i, j\leqslant \ n$$, and assume without loss of generality that i < j. The above calculation shows that \begin{equation*} 2 C | x_{ n, i} - x_{ n, j} | \geqslant\ j^{- 1} \geqslant n^{- 1}, \end{equation*} which, up to constants independent of n, is the desired result. 5. Proof of Theorem 2.1 In this section, we prove our main theorem concerning the growth of the Lebesgue constant of the weighted Leja sequence. Similar to the proof in the unweighted case given in the studies by Taylor (2008) and Taylor & Totik (2010), we separate the proof of the theorem into several smaller components. To begin, we first show that the Lebesgue constant of the weighted Leja sequence on the real line is equal to a weighted Lebesgue constant of the contracted Leja sequence (1.3) on a fixed compact set. To do this, we first use the fact from (3.2) that supremum a w-weighted, nth degree polynomial is realized in the compact set [−an, an]. Then, we exploit the specific form (2.6) of our weight function to show that \begin{equation} Q\left( n^{1/\alpha} x\right) = n Q(x), \end{equation} (5.1) which in turn implies that \begin{equation} w(x) = w( n^{-1/\alpha} x)^{ n}. \end{equation} (5.2) Finally, let $$ 0 < c < \infty $$ be the smallest constant such that \begin{equation} \sup_{ n} \left( n^{-1/\alpha} a_ n\right) \leqslant\ c. \end{equation} (5.3) Note that $$c<\infty $$ by (3.3). Now defining K := [−c, c] this means that \begin{equation} y \in [-a_ n,a_ n] \implies x:= n^{-1/\alpha}y \in K. \end{equation} (5.4) Furthermore, for any $$ n=1,2,\dots $$, let $$q_ n \in \mathbb{P}_ n$$. Define $$\widetilde{q}_{n}(x) \in \mathbb{P}_ n$$ to be the unique polynomial such that \begin{equation*} q_ n(x) = n^{- n/\alpha} \widetilde{q}_ n \left( n^{1/\alpha} x \right) \end{equation*} Then we calculate \begin{align*} \sup_{x\in\mathbb{R}} w(x)^ n \left| q_{n}(x)\right| & = n^{- n/\alpha} \sup_{x\in\mathbb{R}} w\left( n^{1/\alpha} x\right) \left| \widetilde{q}_ n \left( n^{1/\alpha} x \right) \right|\\ & = n^{- n/\alpha} \sup_{y\in\mathbb{R}} w(y) \left| \widetilde{q}_ n (y) \right| \\ & = n^{- n/\alpha} \sup_{y\in[-a_{n},a_{n}]} w(y) \left| \widetilde{q}_ n (y) \right| \\ & = \sup_{y\in[-a_{n},a_{n}]} w\left( n^{-1/\alpha} y\right)^ n \left| q_ n \left( n^{-1/\alpha} y\right) \right| \\ & \leqslant\ \sup_{x\in K} w(x)^ n \left| q_ n (x) \right| \\ & \leqslant\ \sup_{x\in \mathbb{R}} w(x)^ n \left| q_ n (x) \right|\!. \end{align*} From this string of inequalities we have that for any n ≥ 1, and $$q_ n \in \mathbb{P}_ n$$, \begin{equation*} \sup_{x\in\mathbb{R}} w(x)^ n \left| q_{n}(x)\right| = \sup_{x\in K} w(x)^ n \left| q_{n}(x)\right|\!. \end{equation*} Then using the study by Saff & Totik (1997, Corollary III.2.6) we know that supp(μw) =: Kw ⊆ K, and \begin{equation} \sup_{x\in K} w(x)^ n \left| q_{n}(x)\right| = \sup_{x\in K_{w}} w(x)^ n \left| q_{n}(x)\right|\!. \end{equation} (5.5) Now from the Definition (3.2), along with (5.1)–(5.5), we calculate \begin{align*} \mathbb{L}_ n &= \sup_{x\in\mathbb{R}} \left\{ \sum_{ k=0}^ n \left| \frac{w(x)}{w(x_{ k})} \left(\prod_{{ j=0\atop j\neq k}}^ n \frac{x - x_ j}{x_ k - x_ j}\right) \right| \right\}\\ &= \sup_{x\in[-a_ n,a_ n]} \left\{ \sum_{ k=0}^{n} \left| \frac{w(x)}{w(x_{ k})} \left(\prod_{{ j=0\atop j\neq k}}^{n} \frac{x - x_ j}{x_ k - x_ j}\right) \right| \right\}\\ &= \sup_{x\in[-a_ n,a_ n]}\left\{ \sum_{ k=0}^{n} \left| \frac{w\left( n^{-1/\alpha}x\right)^{n}}{w\left( n^{-1/\alpha}x_{ k}\right)^{n}} \left(\prod_{{ j=0\atop j\neq k}}^{n} \frac{ n^{-1/\alpha} (x - x_ j)}{ n^{-1/\alpha}(x_ k - x_ j)}\right) \right| \right\}\\ &\leqslant\ \sup_{y\in K} \left\{ \sum_{ k=0}^{n} \left| \frac{w(y)^{n}}{w(x_{ n, k})^{n}} \left(\prod_{{ j=0\atop j\neq k}}^{n} \frac{y - x_{ n, j}}{x_{ n, k} - x_{ n, j}}\right) \right| \right\}\\ & \leqslant\ n\left\{ \max_{ k=0,\ldots,n} \left( \frac{ \sup_{y\in K_{w}} \left| w(y)^{n} \prod_{{ j=0,\; j\neq k}}^{n} (y - x_{ n, j}) \right|}{ w(x_{ n, k})^{n}\prod_{{ j=0,\; j\neq k}}^{n} |x_{ n, k} - x_{ n, j}|}\right) \right\}.\end{align*} Thus, to show that this Lebesgue constant grows at a subexponential rate, the above calculation indicates that we only need to show that \begin{equation} \lim_{n\rightarrow\infty} \left\{ n\left( \max_{ k=0,\ldots,n} \frac{ \sup_{y\in K_{w}} \left| w(y)^{n} \prod_{{ j=0,\; j\neq k}}^{n} (y - x_{ n, j}) \right|}{ w(x_{ n, k})^{n}\prod_{{ j=0,\; j\neq k}}^{n} |x_{ n, k} - x_{ n, j}|} \right) \right\}^{\frac{1}{n}} = 1. \end{equation} (5.6) Of course, $$ n^{1/n} \rightarrow 1$$ as $$n \rightarrow \infty $$, so to prove (5.6), it is enough to show that, uniformly in k, the numerator and denominator both converge to $$\exp (-F_{w})$$, i.e., \begin{equation} \lim_{n\rightarrow\infty} \sup_{y\in K_{w}} \left( \left| w(y)^{n} \prod_{{ j=0\atop j\neq k}}^{n} (y - x_{ n, j}) \right| \right)^{\frac{1}{n}} = \exp(-F_{w}), \end{equation} (5.7) and \begin{equation} \lim_{n\rightarrow\infty} \left( w(x_{ n, k})^{n}\prod_{{ j=0\atop j\neq k}}^{n} \left|x_{ n, k} - x_{ n, j}\right| \right)^{\frac{1}{n}} = \exp(-F_{w}), \end{equation} (5.8) with both limits independent of k = 0, …, n. Recall that Fw was defined explicitly in (3.6) and is called the Robin constant with respect to the weight w. Let δ > 0, and k = 0, …, n. To prove (5.8) we split the product into two parts: \begin{equation*} \prod_{{ j=0\atop j\neq k}}^{n} |x_{ n, k} - x_{ n, j}| w(x_{ n, k}) = \underbrace{\left( w(x_{ n, k})^{n} \prod_{|x_{ n, k} - x_{ n, j}| \geqslant\ \delta} |x_{ n, k} - x_{ n, j}| \right)}_{A_{1}( n, k, \delta)} \underbrace{\left( \prod_{|x_{ n, k} - x_{ n, j}| < \delta} |x_{ n, k} - x_{ n, j}| \right)}_{A_{2}( k,n,\delta)}. \end{equation*} Then we seek to show that as $$n\rightarrow \infty $$ and $$\delta \rightarrow 0$$, \begin{equation} A_{1}( n, k, \delta)^{1/n} \rightarrow \exp(-F_{w}), \end{equation} (5.9) and \begin{equation} A_{2}( n, k, \delta)^{1/n} \rightarrow 1, \end{equation} (5.10) and that convergence of the limits is independent of k = 0, …, n. We have reduced the proof to essentially a problem in weighted potential theory. The convergence of the limits (5.7) and (5.9) follow directly from Lemmas 3.6 and 3.7, respectively, which are proven in the appendix. Thus, we have left to show statement (5.10), which requires a more direct approach. We explicitly use the spacing of the contracted Leja sequence from Theorem 4.1 and find that the remainder of the estimate involving A2(n, k, δ) follows from this spacing lemma. By assuming δ < 1 it is clear that the product A2(n, k, δ) is always less than one. Therefore, the following theorem will complete the proof of Theorem 2.1. Lemma 5.1 Given ε > 0 there exists δ > 0, $$N\in \mathbb{N}$$ such that for n > N and $$0\leqslant k\leqslant \ n$$, \begin{equation*} \left( \prod_{|x_{ n, k} - x_{ n, j}| < \delta} |x_{ n, k} - x_{ n, j}| \right)^{\frac{1}{n}}> 1 - \varepsilon. \end{equation*} Proof. We first split the product into two components: \begin{equation*} \prod_{|x_{ n, k} - x_{ n, j}| < \delta} |x_{ n, k} - x_{ n, j}| = \prod_{x_{ n, j}\in X_{1}( k,\delta)} |x_{ n, k} - x_{ n, j}| \times \prod_{x_{ n, j}\in X_{2}( k,\delta)} |x_{ n, k} - x_{ n, j}|, \end{equation*} where \begin{align*} X_{1}( k,\delta) & := \left\{ x_{ n, j} ~\Big|~ j\leqslant n,\, x_{ n, k}-\delta < x_{ n, j} \leqslant\ x_{ n, k} \right\}, \\ X_{2}( k,\delta) & := \left\{ x_{ n, j} ~\Big|~ j\leqslant n,\,x_{ n, k} \leqslant\ x_{ n, j} < \,x_{ n, k} + \delta \right\}. \end{align*} At least one of these sets may be empty, and in that case we simply set the corresponding product equal to one. Now, let m1, m2 be the cardinality of the sets X1(k, δ) and X2(k, δ), resp., and label these points in the following way \begin{equation*} x_{ n, k} - \delta \leqslant\ x_{ n,i_{m_{1}}} \leqslant \ldots \leqslant\ x_{ n, i_{1}} < x_{ n, k} < x_{ n,j_{1}} < \ldots < x_{ n,j_{m_{2}}} < x_{ n, k} + \delta. \end{equation*} Then from Theorem 4.1 we can show that for any $$1\leqslant \ s \leqslant \ m_{1}$$, \begin{equation} | x_{ n, k} - x_{ n, i_{s}} | = |x_{ n, k} - x_{ n,i_{1}}| + \ldots + |x_{ n,i_{s-1}} - x_{ n,i_{s}}| \geqslant\ \frac{s}{C n}. \end{equation} (5.11) Similarly, for $$1\leqslant \ t \leqslant \ m_{2}$$, \begin{equation} | x_{ n, k} - x_{ n, j_{t}} | = |x_{ n, k} - x_{ n,j_{1}}| + \ldots + |x_{ n,j_{t-1}} - x_{ n,j_{t}}| \geqslant\ \frac{t}{C n}. \end{equation} (5.12) Now, using (5.11) and Sterling’s approximation, we see that \begin{equation} \left( \prod_{x_{ n, j}\in X_{1}( k,\delta)} |x_{ n, k} - x_{ n, j}| \right)^{\frac{1}{n}} = \left( \prod_{s=1}^{m_{1}} |x_{ n, k} - x_{ n,i_{s}}| \right)^{\frac{1}{n}} \geqslant\ \left( \prod_{s=1}^{m_{1}} \frac{s}{C n} \right)^{\frac{1}{n}} = \Bigg( \frac{m_{1}!^{\frac1{m_{1}}}}{C n} \Bigg)^{\frac{m_{1}}{n}} \geq \left( \frac{m_{1}}{C n} \right)^{\frac{m_{1}}{n}}. \end{equation} (5.13) Similarly, we can show that \begin{equation} \left( \prod_{x_{ n, j}\in X_{2}( k,\delta)} |x_{ n, k} - x_{ n, j}| \right)^{1/n} \geqslant\ \left( \frac{m_{2}}{C n} \right)^{m_{2}/n}. \end{equation} (5.14) As $$\tau \rightarrow 0^{+}$$ the function $$(\frac{\tau }{C})^{2\tau } \rightarrow 1$$. Thus, we let $$\tau <\min \left \{C,\frac 1{e}\right \}$$ be small enough so that \begin{equation*} 1-\varepsilon < \left( \frac{\tau}{C} \right)^{2\tau} < 1. \end{equation*} Let m be the number of Leja points within the interval $$\{t\in \mathbb{R}: |x_{ n, k} - t| < \delta \}$$. According to Taylor (2008, Theorem 2.4.5), for our chosen τ > 0, we can choose $$N\in \mathbb{N},$$ and δ0 > 0 such that if n > N and δ < δ0, \begin{equation*} \max\left\{ \frac{m_{1}}{ n}, \frac{m_{2}}{ n} \right\}\leq \frac{m}{ n} = \int_{|t-x_{ n, k}|<\delta} \textrm{d}\mu_{ n, k}(t) < \tau. \end{equation*} We know f(x) = xx is a decreasing function on $$(0,\frac 1e)$$, and hence, from (5.13) and (5.14), this implies that \begin{equation*} \left( \prod_{x_{ n, j}\in X_{1}( k,\delta)} |x_{ n, k} - x_{ n, j}| \right)^{1/n} \left( \prod_{x_{ n, j}\in X_{2}( k,\delta)} |x_{ n, k} - x_{ n, j}| \right)^{1/n} \geqslant\ \left( \frac{m_{1}}{Cn} \right)^{m_{1}/n} \left( \frac{m_{2}}{Cn} \right)^{m_{2}/n} \geqslant\ \left( \frac{\tau}{C} \right)^{2\tau}> 1-\varepsilon, \end{equation*} which is the desired result for X1(k, δ) and X2(k, δ). This completes the proof. 6. Conclusion In this work, we considered the properties of Leja points for weighted Lagrange interpolation on an unbounded domain. Due to their nested structure, simple recursive formulation and generally stable behavior Leja points show promise for high-dimensional interpolation methods. Our contribution to this area was to prove that for the class of weight functions $$w(x) = \exp (-|x|^{\alpha })$$ the Lebesgue constant for the weighted Leja sequence grows subexponentially with respect to the number of interpolation nodes. Furthermore, we proved a theorem regarding the separation of the weighted Leja points. We expect that a similar result may hold for more general classes of weight functions on $$\mathbb{R}$$, e.g., the so-called Freud-type weights, and perhaps hold even for more general unbounded domains in $$\mathbb{C}$$, though we have not considered these problems here. Of course, a subexponential rate encompasses a wide range of growth, potentially much bigger than the optimal Lebesgue constant $$\mathcal{O} (\log n)$$. On the other hand, our experience with Leja points indicates that the Lebesgue constant grows linearly, i.e., $$\mathcal{O}(n)$$, with respect to the number of nodes. Our proof in this paper relies on potential theory, which gives only asymptotic estimates of growth. We expect that a more explicit estimate of the Lebesgue constant would require different techniques, and this is the subject of future work. References Chkifa , M. A. , Cohen , A. & Schwab , C. ( 2013 ) High-dimensional adaptive sparse polynomial interpolation and applications to parametric PDEs . Found. Comput. Math. , 14 , 601 -- 633 . Google Scholar CrossRef Search ADS De Marchi , S . ( 2004 ) On Leja sequences: some results and applications . Appl. Math. Comput. , 152 , 621 -- 647 . Garcia , A. L. ( 2010 ) Greedy energy points with external fields. Recent trends in orthogonal polynomials and approximation theory . Contemp. Math. , 507 , 189 -- 207 . Google Scholar CrossRef Search ADS Griebel , M. & Oettershagen , J. ( 2016 ) On tensor product approximation of analytic functions . J. Approx. Theory , 207 , 348 -- 379 . Google Scholar CrossRef Search ADS Levin , A. L. & Lubinsky , D. S. ( 2001 ) Orthogonal Polynomials for Exponential Weights . CMS Books in Mathematics . New York : Springer Science+Business Media . Google Scholar CrossRef Search ADS Narayan , A. & Jakeman , J. D. ( 2014 ) Adaptive Leja sparse grid constructions for stochastic collocation and high-dimensional approximation . SIAM J. Sci. Comput. , 36 , A2952 -- A2983 . Google Scholar CrossRef Search ADS Saff , E. B. & Totik , V. ( 1997 ) Logarithmic Potentials with External Fields , vol. 316. Berlin, Heidelberg : Springer-Verlag . Google Scholar CrossRef Search ADS Taylor , R. ( 2008 ) Lagrange interpolation on Leja points. Ph.D. Thesis , University of South Florida . Taylor , R. & Totik , V. ( 2010 ) Lebesgue constants for Leja points . IMA J. Num. Anal. , 30 , 462 -- 486 . Google Scholar CrossRef Search ADS Appendix A A.1 Proof of Lemma 3.6 Proof. First, Saff & Totik (1997, Theorem I.3.6) implies that for all n and $$0\leqslant k\leqslant \ n$$, $$ \| P_{n,k} w^{n} \|_{\infty } \geqslant \ \exp (-nF_{w}), $$ which yields that $$\liminf _{n\rightarrow \infty } \| P_{n,k} w^{n} \|_{\infty }^{1/n} \geqslant \exp (-F_{w})$$ is independent of k. In the remainder of the proof, we seek to show that \begin{equation*} \limsup_{n\rightarrow\infty} \| P_{n,k} w^{n} \|_{\infty}^{1/n} \leqslant \exp(-F_{w}). \end{equation*} Now for a given ε > 0, we seek to show that there exists an N such that for n > N and $$0\leqslant \ k\leqslant \ n$$, \begin{equation*} \sup_{x\in\mathbb{R}} \left\{ \frac1{n} \log |P_{n,k}(x)| - Q(x)\right\} \leqslant\ -F_{w} + \epsilon. \end{equation*} Define Kw := Supp(μw). Because of (5.5), we know that for our weight function \begin{equation*} \sup_{x\in\mathbb{R}} \left\{ \frac1{n} \log |P_{n,k}(x)| - Q(x)\right\} = \sup_{x\in K_{w}} \left\{ \frac1{n} \log |P_{n,k}(x)| - Q(x)\right\}, \end{equation*} and from (3.7), we have the relation \begin{equation*} U^{\mu_{w}}(x) +Q(x) = F_{w}, \quad \forall x\in K_{w} \subset\mathbb{R}. \end{equation*} Hence, we can write \begin{equation} \sup_{x\in K_{w}} \left\{ \frac1{n} \log |P_{n,k}(x)| - Q(x)\right\} = -F_{w} + \sup_{x\in K_{w}} \left\{ -U^{\mu_{n,k}}(x) + U^{\mu_{w}}(x)\right\}\!. \end{equation} (A.1) Let δ > 0, to be chosen later. We rewrite the arguments of the supremum on the right-hand side of (A.1) as integrals and divide them each into two parts: \begin{align*} -U^{\mu_{n,k}}(x) + U^{\mu_{w}}(x) =& \int_{|x-t|\geq\delta} \log |x-t| \, \textrm{d}\mu_{n,k}(t) - \int_{|x-t|\geqslant\delta} \log |x-t| \, \mathrm{d}\mu_{w}(t) \\ &+ \int_{|x-t|<\delta} \log |x-t| \, \textrm{d}\mu_{n,k}(t) - \int_{|x-t|<\delta} \log |x-t| \, \textrm{d}\mu_{w}(t). \end{align*} First, for δ < 1, clearly \begin{equation} \int_{|x-t|<\delta} \log |x-t| \, \textrm{d}\mu_{n,k}(t) = \sum_{\substack{j \neq k \\ |x-x_{n,j}| < \delta}} \log |x-x_{n,j}| \leqslant 0. \end{equation} (A.2) To deal with the other pieces, first define the function χδ(t;x) to be the indicator function for the setKw ∖ B(x, δ), where B(x, δ) is the ball of radius δ about x. We claim that for fixed δ > 0, the function \begin{equation*} g(x) := \int_{B(x,\delta)} \log | x-t |\, \textrm{d}\mu_{w}(t), \end{equation*} is continuous. To see this, let $$f_{\delta } (t ; x) := \chi _{\delta }(t;x) \log |x-t|$$. Then, \begin{equation*} g(x) := \int_{B(x,\delta)} \log | x-t |\, \textrm{d}\mu_{w}(t) = U^{\mu_{w}}(x) - \int_{K_{w}} f_{\delta} (t ; x) \textrm{ d}\mu_{w}(t). \end{equation*} The first function on the right-hand side is continuous by Theorem 3.2. To see that the latter is continuous, let $$\{y_{n}\}_{n=1}^{\infty } \subset K_{w}$$ be a sequence converging to x. Then as $$y_{n}\rightarrow x$$, fδ(t;yn) converges to fδ(t;x), and $$|f_{\delta } (t ; y_{n})| \leq \max \left \{ \log ( \textrm{diam } K_{w} ), \log \frac 1\delta \right \}$$. Hence, by the bounded convergence theorem, $$g(y_{n}) \rightarrow g(x)$$. Since the support of the measure μw is compact, we know the function $$\log |x-t|$$ is uniformly bounded above for x, t ∈ Kw. As $$\delta \rightarrow 0$$, fδ(t;x) is a decreasing sequence of integrable functions, which converge pointwise almost everywhere to $$\log |x-t|$$. Hence, by the monotone convergence theorem, \begin{equation*} \int_{K_{w}} f_{\delta} (t ; x) \, \textrm{d}\mu_{w}(t) \rightarrow \int_{K_{w}} \log |x-t| \, \textrm{d}\mu_{w}(t), \quad \delta\rightarrow0. \end{equation*} Hence, for any x, there exists a 1 > δx > 0 such that \begin{equation} - \int_{|x-t| < \delta_{x}} \log|x-t| \, \textrm{d}\mu_{w}(t) = \int_{K_{w}} f_{\delta_{x}} (t;x ) \, \textrm{d}\mu_{w}(t) - \int_{K_{w}} \log |x-t| \, \textrm{d}\mu_{w}(t) \leqslant\ \varepsilon/4. \end{equation} (A.3) Furthermore, by the continuity argument in the previous paragraph, we can choose an rx < δx so that for any y ∈ Kw with |y − x| < rx, \begin{equation} \left| \int_{|y-t| < \delta_{x}} \log|y-t| \, \textrm{d}\mu_{w}(t) - \int_{|x-t| < \delta_{x}} \log|x-t| \, \textrm{d}\mu_{w}(t) \right| \leqslant\ \varepsilon/4. \end{equation} (A.4) Again by compactness, we can cover Kw by some finite set $$\{ B(y_{i}, r_{y_{i}}) \}_{i=1}^{M}$$. Moreover, there exists a δ > 0 such that for any x ∈ Kw, $$B(x,\delta )\subset B(y_{i}, r_{y_{i}})$$ for some i = 1, …, M. This will be the chosen δ. Indeed, from (A.3) and (A.4), and by $$\delta < r_{y_{i}} < \delta _{y_{i}}$$, \begin{align} - \int_{|x-t| < \delta} \log|x-t| \, \mathrm{d}\mu_{w}(t) & \leqslant\ - \int_{|x-t| < \delta_{y_{i}}} \log|x-t| \, \mathrm{d}\mu_{w}(t) \nonumber\\ &\leqslant\ - \int_{|y_{i}-t| < \delta_{y_{i}}} \log|y_{i}-t| \, \mathrm{d}\mu_{w}(t) + \varepsilon/4\leqslant\ \varepsilon/2. \end{align} (A.5) Finally, we deal with the remaining integrals in (A.1). For any x, $$\log |x-t|$$ is continuous in the set |x − t| > δ. The fact that $$\mu _{n,k} \rightarrow \mu _{w}$$ weak* implies by definition that there exists an $$N_{1}\in \mathbb{N}$$, such that \begin{equation*} \int_{|x-t|\geqslant\delta} \log|x- t|\, \textrm{d}\mu_{n,k}(t) \leqslant \int_{|x-t|\geqslant\delta} \log|x - t|\,\textrm{d}\mu_{w}(t) + \varepsilon/4,\;\; \textrm{if}\;\; n>N_{1}. \end{equation*} Moreover, for any non-negative integers $$k_{1} \neq k_{2}$$, we find for some C > 0, \begin{align*} & \left| \int_{|x-t|\geqslant\delta} \log|x- t|\, \textrm{d}\mu_{n,k_{1}}(t) - \int_{|x-t|\geqslant\delta} \log|x- t|\, \textrm{d}\mu_{n,k_{2}}(t) \right| \\ = &\left| \frac1{ n} \sum_{{j \neq k_{1}\atop |x-x_{n,j}| \geqslant\ \delta}} \log |x-x_{n,j}| - \frac1{ n} \sum_{{j \neq k_{2} \atop |x-x_{n,j}| \geqslant \delta}} \log |x-x_{n,j}| \right| \leqslant\ \frac1{ n} \left| \log \left( \frac{\textrm{diam}(K_{w})}{\delta} \right) \right|. \end{align*} The right-hand side is small as $$n\rightarrow \infty $$, so we can choose N2 > N1 such that for n > N2, and $$0\leqslant \ k_{1},k_{2} \leqslant \ n$$, \begin{equation*} \left| \int_{|x-t|\geqslant\delta} \log|x- t|\, \textrm{d}\mu_{n,k_{1}}(t) - \int_{|x-t|\geqslant\delta} \log|x- t|\, \textrm{d}\mu_{n,k_{2}}(t) \right|<\varepsilon/4.\end{equation*} This implies that for n > N2 and $$0\leqslant \ k\leqslant \ n$$, \begin{equation} \int_{|x-t|\geqslant\delta} \log|x- t|\, \textrm{d}\mu_{n,k}(t) \leqslant \int_{|x-t|\geqslant\delta} \log|x - t|\,\textrm{d}\mu_{w}(t) + \varepsilon/2. \end{equation} (A.6) Furthermore, by compactness of Kw, using standard arguments we can also choose $$N> \max \{N_{1},N_{2}\}$$ to be independent of x. See (Taylor, Lemma 2.4.12). Combining (A.2), (A.5) and (A.6) with (A.1) yields the desired result. A.2 Proof of Lemma 3.7 Proof. Let ε > 0 be given, and Kw = Supp(μw) as above. To prove the lemma, it will be enough to show that \begin{equation*} \left| \log\Bigg( w(x_{ n, k})^{n} \prod_{|x_{ n, k} - x_{ n, j}| \geqslant\ \delta} |x_{ n, k} - x_{ n, j}| \Bigg)^{1/n} - (-F_{w})\right| < \varepsilon. \end{equation*} First, notice that \begin{equation*} \log\Bigg( \prod_{|x_{ n, k} - x_{ n, j}| \geqslant\ \delta} |x_{ n, k} - x_{ n, j}| \Bigg)^{1/n} = \int_{|t - x_{ n, k}|\geqslant\delta} \log\left| t - x_{ n, k} \right|\, \textrm{d}\mu_{ n, k}(t), \end{equation*} and of course \begin{equation*} \log\left( w(x_{ n, k})^{n} \right)^{1/n} = - Q(x_{ n, k}). \end{equation*} Furthermore, we have already seen from (3.7) that \begin{equation} U^{\mu_{w}}(x) +Q(x) = F_{w}, \quad \forall x\in K_{w} \subset\mathbb{R}. \end{equation} (A.7) Thus, we estimate \begin{align*} & \left| \log\Bigg( w(x_{ n, k})^{n} \prod_{|x_{ n, k} - x_{ n, j}| \geqslant\ \delta} |x_{ n, k} - x_{ n, j}| \Bigg)^{1/n} - (-F_{w}) \right| \\ = & \left| \log\Bigg( w(x_{ n, k})^{n} \prod_{|x_{ n, k} - x_{ n, j}| \geqslant\ \delta} |x_{ n, k} - x_{ n, j}| \Bigg)^{1/n} + U^{\mu_{w}}(x_{ n, k}) + Q(x_{ n, k}) \right| \\ \leq &\underbrace{\left| \int_{|t - x_{ n, k}|\geqslant\delta} \log\left| t - x_{ n, k} \right|\, \textrm{d}\mu_{ n, k}(t) - \int_{|t - x_{ n, k}|\geqslant\delta} \log\left| t - x_{ n, k} \right|\, \textrm{d}\mu_{w}(t) \right|}_{A}\\ &\qquad \qquad + \underbrace{\left| \int_{|t - x_{ n, k}|<\delta} \log\left| t - x_{ n, k} \right|\, \textrm{d}\mu_{w}(t) \right|}_{B} + \left| -Q(x_{ n, k}) + Q(x_{ n, k}) \right|\!. \end{align*} The last term is equal to zero, so it is left to show that there exists a δ > 0 and $$N\in \mathbb{N}$$ independent of n and k such that A < ε/2 and B < ε/2. The proof for the quantity A is shown in the proof of Theorem 3.3, and the proof for B follows essentially from the proof of Taylor (2008, Theorem 2.4.6), so we forgo the details here. Published by Oxford University Press on behalf of the Institute of Mathematics and its Applications 2018. This work is written by (a) US Government employee(s) and is in the public domain in the US.

IMA Journal of Numerical Analysis – Oxford University Press

**Published: ** Mar 26, 2018

Loading...

personal research library

It’s your single place to instantly

**discover** and **read** the research

that matters to you.

Enjoy **affordable access** to

over 18 million articles from more than

**15,000 peer-reviewed journals**.

All for just $49/month

Query the DeepDyve database, plus search all of PubMed and Google Scholar seamlessly

Save any article or search result from DeepDyve, PubMed, and Google Scholar... all in one place.

Get unlimited, online access to over 18 million full-text articles from more than 15,000 scientific journals.

Read from thousands of the leading scholarly journals from *SpringerNature*, *Elsevier*, *Wiley-Blackwell*, *Oxford University Press* and more.

All the latest content is available, no embargo periods.

## “Hi guys, I cannot tell you how much I love this resource. Incredible. I really believe you've hit the nail on the head with this site in regards to solving the research-purchase issue.”

Daniel C.

## “Whoa! It’s like Spotify but for academic articles.”

@Phil_Robichaud

## “I must say, @deepdyve is a fabulous solution to the independent researcher's problem of #access to #information.”

@deepthiw

## “My last article couldn't be possible without the platform @deepdyve that makes journal papers cheaper.”

@JoseServera

DeepDyve ## Freelancer | DeepDyve ## Pro | |
---|---|---|

Price | FREE | $49/month |

Save searches from | ||

Create lists to | ||

Export lists, citations | ||

Read DeepDyve articles | Abstract access only | Unlimited access to over |

20 pages / month | ||

PDF Discount | 20% off | |

Read and print from thousands of top scholarly journals.

System error. Please try again!

or

By signing up, you agree to DeepDyve’s Terms of Service and Privacy Policy.

Already have an account? Log in

Bookmark this article. You can see your Bookmarks on your DeepDyve Library.

To save an article, **log in** first, or **sign up** for a DeepDyve account if you don’t already have one.

All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.

ok to continue