Open Access

Lebesgue functions and Lebesgue constants in polynomial interpolation

Journal of Inequalities and Applications20162016:93

https://doi.org/10.1186/s13660-016-1030-3

Received: 7 July 2015

Accepted: 20 February 2016

Published: 12 March 2016

Abstract

The Lebesgue constant is a valuable numerical instrument for linear interpolation because it provides a measure of how close the interpolant of a function is to the best polynomial approximant of the function. Moreover, if the interpolant is computed by using the Lagrange basis, then the Lebesgue constant also expresses the conditioning of the interpolation problem. In addition, many publications have been devoted to the search for optimal interpolation points in the sense that these points lead to a minimal Lebesgue constant for the interpolation problems on the interval \([-1, 1]\).

In Section 1 we introduce the univariate polynomial interpolation problem, for which we give two useful error formulas. The conditioning of polynomial interpolation is discussed in Section 2. A review of some results for the Lebesgue constants and the behavior of the Lebesgue functions in view of the optimal interpolation points is given in Section 3.

Keywords

polynomial interpolation Lebesgue function Lebesgue constant

1 Introduction

For \(n\in{\mathbb {N}} \), let
$$ X= \{x_{j} :j=0, 1, \ldots, n \} $$
(1)
be a set of \(n+1 \) distinct interpolation points (or nodes) on the real interval \([-1, 1 ] \) such that
$$ -1\le x_{0} < x_{1} < \cdots< x_{n} \le1. $$
(2)
Let the function f belong to \(C([-1,1])\). When approximating f by an element from a finite-dimensional \({\mathcal {V}}_{n}=\) \(\operatorname{span}\{\phi_{0}, \ldots, \phi_{n}\}\) with \(\phi_{i} \in C([-1,1])\) for \(0 \le i\le n\), we know that there exists at least one element \(p_{n}^{*} \in{\mathcal {V}}_{n}\) that is closest to f. When using the \(\|\cdot\|_{\infty}\) norm, this element is the unique closest one if the \(\phi_{0}, \ldots, \phi_{n}\) are a Chebyshev system. Since the computation of this element is more complicated than that of the interpolant
$$\sum_{i=0}^{n} \alpha_{i} \phi_{i}(x_{j}) = f(x_{j}), \quad j=0, \ldots, n, -1 \le x_{j} \le1, $$
there is an interest in interpolation points \(x_{j}\) that make the interpolation error
$$\Biggl\| f(x)-\sum_{i=0}^{n} \alpha_{i} \phi_{i}(x) \Biggr\| _{\infty}= \max_{x \in[-1,1]} \Biggl\vert f(x)-\sum _{i=0}^{n} \alpha_{i} \phi_{i}(x) \Biggr\vert $$
as small as possible. In other words, there is an interest in using interpolating polynomials that are near-best approximants.
When \(\phi_{i}(x) = x^{i}\) and f is sufficiently differentiable, then for the interpolant
$$p_{n}(x) = \sum_{i=0}^{n} \alpha_{i} x^{i} $$
satisfying \(p_{n}(x_{j})=f(x_{j})\), \(0 \le j \le n\), the error \(\|f-p_{n}\|_{\infty}\) is bounded by [1], pp.56-57
$$ \|f-p_{n}\|_{\infty}\le\max_{x \in[-1,1]} \biggl( \frac{|f^{(n+1)}(x)|}{(n+1)!} \biggr) \max_{x \in[-1,1]} \prod _{j=0}^{n} |x-x_{j}|. $$
(3)
In this study, we call this inequality the first error formula. It is well known that \(\|(x-x_{0}) \cdots(x-x_{n})\|_{\infty}\) is minimal on \([-1,1]\) if the \(x_{j}\) are the zeroes of the \((n+1)\)th-degree Chebyshev polynomial \(T_{n+1}(x) = \cos((n+1) \arccos x)\).
The operator that associates with f its interpolant \(p_{n}\) is linear and given by
$$ P_{n}[x_{0},\ldots, x_{n}] :C \bigl( [-1, 1 ] \bigr) \to{\mathcal {V}}_{n}: f(x) \to p_{n} (x)=\sum_{i=0}^{n}f(x_{i}) \ell_{i} (x), $$
(4)
where the basic Lagrange polynomials
$$ \ell_{i}(x) = \prod _{j=0, i\neq j}^{n} \frac{x-x_{j} }{ x_{i}-x_{j}} $$
(5)
satisfy \(\ell_{i}(x_{j}) = \delta_{ij}\). So another bound for the interpolation error is given by
$$\|f-p_{n}\|_{\infty}\le \bigl(1 + \|P_{n}\| \bigr) \bigl\| f-p_{n}^{*}\bigr\| _{\infty},\qquad \|P_{n}\| = \max _{x \in[-1,1]} \sum_{i=0}^{n} \bigl\vert \ell_{i}(x) \bigr\vert , $$
where \(P_{n}:=P_{n}[x_{0},\ldots, x_{n}]\) is the linear operator defined by (4), and \(p_{n}^{*}\) is the best uniform polynomial approximation to f.

2 Lebesgue function and constant

2.1 Definition and properties

Recall from (4) that
$$p_{n} (x)=\sum_{i=0}^{n}f(x_{i}) \ell_{i} (x), $$
where \(p_{n} (x) \) is the Lagrange form for the polynomial that interpolates f in the interpolation points \(x_{0}, x_{1}, \ldots, x_{n} \) defined by (2), and the basic Lagrange polynomials \(\ell_{i} (x) \) are defined by (5).
For a fixed n and given \(x_{0}, \ldots, x_{n}\), the Lebesgue function is defined by
$$ L_{n} (x ):=L_{n} (x_{0}, \ldots, x_{n} ;x )=\sum_{i=0}^{n}\bigl\vert \ell_{i} (x)\bigr\vert , $$
and the Lebesgue constant is defined by
$$ \Lambda_{n} :=\Lambda_{n} (x_{0}, \ldots, x_{n} )=\max_{-1\le x\le1} \sum_{i=0}^{n} \bigl\vert \ell_{i} (x)\bigr\vert . $$
It is clear that both \(L_{n} (x ) \) and \(\Lambda_{n} \) depend on the location of the interpolation points \(x_{j} \) (and also on the degree n) but not on the function values \(f (x_{i} ) \). Note that the operator norm of \(P_{n}\) defined by (4) is equal to the ∞-norm of its Lebesgue function:
$$\Vert P_{n} \Vert _{\infty} =\Lambda_{n} =\max _{-1\le x\le1} L_{n} (x ). $$
Here and in the following, with the set X defined by (1), we sometimes write \(L_{n} (X;x ):=L_{n} (x_{0}, \ldots, x_{n} ;x ) \) and \(\Lambda_{n} (X ):=\Lambda_{n} (x_{0}, \ldots, x_{n} ) \) to simplify the notation.

The following present some basic properties of Lebesgue functions for Lagrange interpolation (see, e.g., [2, 3]):

(a) For any set X, with \(n\ge2 \), \(L_{n} (X;x ) \) is a piecewise polynomial satisfying \(L_{n} (X;x )\ge1 \) with equality only at the interpolation points \(x_{j}\), \(j=0, \ldots, n \).

(b) On each subinterval \((x_{j-1}, x_{j} ) \) for \(1\le j\le n \), \(L_{n} (X;x ) \) has precisely one local maximum, which is denoted by \(\lambda_{j} (X ) \). If the endpoints −1 and +1 are not interpolation points, that is, \(-1< x_{0} \) and \(x_{n} <1 \), then there are two other subintervals and, thus, two other local maxima that are at −1, and +1. We denote the latter two local maxima by \(\lambda_{0} (X ) \) and \(\lambda_{n+1} (X ) \).

(c) The greatest and the smallest local maxima of \(L_{n} (X;x ) \) are denoted correspondingly by \({{\mathcal {M}}}_{n} (X )\) and \(m_{n} (X ) \); we denote by \(\delta _{n} (X ) \) the maximum deviation among the local maxima \(\delta_{n} (X )={\mathcal {M}}_{n} (X )-m_{n} (X ) \). We also denote the position of the Lebesgue constant (by taking one of the greatest local maxima) by \(x^{*} (X )\) for the set of interpolation points X.

(d) The equality \(L_{n} (X;x )=L_{n} (X;-x )\), \(x\in [-1, 1 ]\), holds if and only if \(x_{n-j} =-x_{j}\), \(j=0, \ldots, n\).

(e) The Lebesgue constant is invariant under the linear transformation \(t_{j} =\hat{a}x_{j} +\hat{b}\), \(j=0, \ldots, n \) (\(\hat {a}\ne0 \)). Interpolation sets that include the endpoints of the interval as interpolation points are called canonical interpolation sets. Let denote a canonical interpolation set. In particular, we may construct a set obtained from X by mapping \([x_{0}, x_{n} ] \) onto \([-1, 1 ] \) by the unique linear transformation \(t_{i} =\hat{a}x_{i} +\hat{b}\), \(i=0, \ldots, n \), where â and are determined by \(-1=\hat{a}x_{0} +\hat{b}\) and \(1=\hat{a}x_{n} +\hat{b} \). Here the set is also called the canonicalization of the set X. We can see that the Lebesgue constant for is [2, 4], pp.104-105
$$\Lambda_{n} (t_{0}, \ldots, t_{n} )=\max _{x_{0} \le x\le x_{n} } L_{n} (x_{0}, \ldots, x_{n} ;x )\le\max_{-1\le x \le 1} L_{n} (x_{0}, \ldots, x_{n} ;x ). $$

We use these properties in the sequel.

2.2 Importance of Lebesgue constants

One motivation for investigating the Lebesgue constant is that another upper bound for the interpolation error is given by
$$ \Vert f-p_{n} \Vert _{\infty} \le (1+\Lambda_{n} ) \bigl\Vert f-p_{n}^{*} \bigr\Vert _{\infty}, $$
(6)
where \(p_{n}^{*} \) is the best polynomial approximation to f on \([-1, 1] \), and therefore \(\Lambda_{n} \) quantifies how much larger the interpolation error \(\Vert f-p_{n} \Vert _{\infty} \) is compared to the smallest possible error \(\Vert f-p_{n}^{*} \Vert _{\infty} \) in the worst case. In this study, we call this inequality the Lebesgue inequality or the second error formula.
It is easy to show how to obtain this inequality. From the uniqueness of the interpolating polynomial we have \(p_{n} (x)=\sum_{i=0}^{n}f(x_{i}) \ell_{i} (x)\) and \(p_{n}^{*} (x)=\sum_{i=0}^{n}p_{n}^{*} (x_{i}) \ell_{i} (x)\). By subtracting \(p_{n} (x)\) from \(p_{n}^{*}(x)\) we get
$$\begin{aligned} \bigl\vert p_{n}^{*} (x )-p_{n} (x )\bigr\vert & =\Biggl\vert \sum_{i=0}^{n}p_{n}^{*} (x_{i}) \ell_{i} (x)-\sum_{i=0}^{n}f(x_{i}) \ell_{i} (x)\Biggr\vert \\ & =\Biggl\vert \sum_{i=0}^{n} \bigl(p_{n}^{*} (x_{i})-f(x_{i}) \bigr) \ell _{i} (x)\Biggr\vert \\ & \le\sum_{i=0}^{n}\bigl\vert \ell_{i} (x)\bigr\vert \max_{i=0, \ldots, n} \bigl\vert p_{n}^{*} (x_{i} )-f (x_{i} )\bigr\vert . \end{aligned}$$
From this it follows that (due to \(L_{n} (x)=\sum_{i=0}^{n}\vert \ell _{i} (x)\vert \))
$$\bigl\Vert p_{n}^{*} -p_{n} \bigr\Vert _{\infty} \le\Lambda_{n} \bigl\Vert f-p_{n}^{*} \bigr\Vert _{\infty}. $$
Finally, we have
$$\begin{aligned} \Vert f-p_{n} \Vert _{\infty} &=\bigl\Vert f-p_{n}^{*} +p_{n}^{*} -p_{n} \bigr\Vert _{\infty} \\ & \le\bigl\Vert f-p_{n}^{*} \bigr\Vert _{\infty} + \bigl\Vert p_{n}^{*} -p_{n} \bigr\Vert _{\infty} \\ & \le\bigl\Vert f-p_{n}^{*} \bigr\Vert _{\infty} + \Lambda_{n} \bigl\Vert f-p_{n}^{*} \bigr\Vert _{\infty} \\ & = (1+\Lambda_{n} )\bigl\Vert f-p_{n}^{*} \bigr\Vert _{\infty}. \end{aligned}$$
As a simple consequence of this inequality, it is obvious that \(p_{n} \to f \) as the factor \(\Lambda_{n} \Vert f-p_{n}^{*} \Vert _{\infty} \to0 \). Namely, the Lebesgue inequality indicates that for the interpolation of a fixed function f on \([ - 1, 1]\), convergence can be expected only if f is smooth enough such that \(\Vert f-p_{n}^{*} \Vert _{\infty} \) decreases, as \(n\to\infty\), faster than \(\Lambda_{n} \) increases.
Another motivation for investigating the Lebesgue constant is that the Lebesgue constant also expresses the conditioning of the polynomial interpolation problem in the Lagrange basis. Let \(\tilde{p}_{n}(x)\) denote the polynomial interpolant of degree n for the perturbed function in the same interpolation points:
$$\tilde{p}_{n}(x) = \sum_{i=0}^{n} \tilde{f}(x_{i}) \ell_{i}(x). $$
Since \(\|p_{n}\|_{\infty}\ge\max_{i=0, \ldots, n} |f(x_{i})|\), we have
$$\begin{aligned} \frac{\|p_{n}-\tilde{p}_{n}\|_{\infty}}{\|p_{n}\|_{\infty}} &\le\frac{\max_{x \in[-1, 1]} \sum_{i=0}^{n} |f(x_{i}) - \tilde{f}(x_{i})| |\ell_{i}(x)| }{\max_{i=0, \ldots, n} |f(x_{i})|} \\ &\le\Lambda_{n}(x_{0}, \ldots, x_{n}) \frac{\max_{i=0, \ldots, n} |f(x_{i}) - \tilde{f}(x_{i})| }{\max_{i=0, \ldots, n} |f(x_{i})|}. \end{aligned}$$
(7)

This indicates that if we are able to choose interpolation points such that \(\Lambda_{n} \) is small, then we can find the Lagrange interpolant that is less sensitive to errors in the function values. For this reason, numerical interpolation in floating-point arithmetic will generally be useless, even for smooth functions f, whenever the Lebesgue constant \(\Lambda_{n} \) is larger than the inverse of the machine precision, which is typically about 1016.

3 Some specific sets of interpolation points

This section gives a summary of some results for particular sets of interpolation points for which the behavior of the Lebesgue function has been well investigated.

3.1 Equidistant nodes

There are many studies on the behavior of the Lebesgue function corresponding to the set of equidistant points although this set is a bad choice for polynomial interpolation owing to the Runge phenomenon.

For the set of equidistant points
$$ E= \biggl\{ x_{j} =-1+\frac{2j}{n}, j=0, 1, \ldots, n \biggr\} , $$
(8)
the Lebesgue constant \(\Lambda_{n} (E) \) grows exponentially with the asymptotic estimate [5, 6]
$$ \Lambda_{n} (E)\simeq\frac{2^{n+1} }{e n (\log n+\gamma )},\quad n\to\infty, $$
(9)
where
$$\gamma=\lim_{n\to\infty} \Biggl(\sum_{i=1}^{n} \frac{1}{i} -\log n \Biggr)=0.577\ldots $$
is Euler’s constant (or the Euler-Mascheroni constant). Also, an asymptotic expansion that improves (9) (with unknown explicit general formula for the series coefficients) is found in [7].
For \(\Lambda_{n} (E) \), the upper and lower bounds
$$ \frac{2^{n-2} }{n^{2} } < \Lambda_{n} (E )< \frac{2^{n+3} }{n},\quad n \ge1, $$
(10)
have been suggested [8]. In [5], an upper bound is given for the smallest local maxima \(m_{n} (E ) \):
$$ m_{n} (E )< \frac{2}{\pi} \bigl(\log(n+2)+\log2+\gamma \bigr). $$
(11)
From (10) together with (11) it follows that \(\Lambda_{n} (E )\) and \(m_{n} (E ) \) are of different orders of magnitude, and hence the maximum deviation \(\delta _{n} ({E} )\) of the local maxima tends to infinity exponentially fast. As Figure 1 (left) illustrates, the Lebesgue function \(L_{n} (E;x ) \) has wild oscillations near the endpoints, like the Runge phenomenon in the error curve. The local maxima of \(L_{n} (E;x ) \) decrease strictly from the outside toward the midpoint of the interval \([-1, 1] \) [9]. This behavior suggests that the location of the Lebesgue constant is in the first subinterval (or due to symmetry in the last subinterval). Numerical observation shows that the location of the Lebesgue constant occurs near the midpoint of the last (or first) subinterval, that is, \(x^{*} (E )\approx{ (n-1 )/ n} \) for the interval \([-1, 1]\).
Figure 1

Graphs of \(\pmb{L_{5} (E;x) }\) (left), \(\pmb{L_{5} (T;x) }\) (center), \(\pmb{L_{5} (\hat{T};x) }\) (right).

From the Lebesgue inequality (6) we know that equidistant points with this very fast growth of the Lebesgue constant give very poor approximations as n increases. Indeed, numerical experiments show that for degree \(n\ge65 \), the Lebesgue constant \(\Lambda_{n} (E ) \) reaches the inverse of the machine precision.

3.2 Chebyshev nodes of the first kind

The literature describes numerous investigations for the behavior of the Lebesgue function corresponding to the set of Chebyshev nodes. They are a very good choice of points for polynomial interpolation, and as it was indicated in Section 1, they give the smallest upper bound for the interpolation error of polynomial interpolation. As illustrated in Figure 2, they are obtained by projecting equally spaced points on a semicircle down to the unit interval \([-1,1]\); see the explicit formula (12).
Figure 2

6 Chebyshev ( ) and extended Chebyshev ( ) nodes.

The set of Chebyshev points
$$ T= \biggl\{ x_{j} =-\cos \biggl(\frac{\pi}{2} \frac{ (2j+1 )}{ (n+1 )} \biggr), j=0, 1, \ldots, n \biggr\} $$
(12)
is distributed more densely toward the endpoints of the interval \([-1, 1]\), as illustrated in Figure 3 for \(n=32\).
Figure 3

Graphs of sets of 33 nodes; \(\pmb{(\ast) \breve{T} }\) , \(\pmb{(\diamond) \bar{U}}\) , \(\pmb{(\bullet) \hat{T}}\) , \(\pmb{(\circ) T}\) , \(\pmb{(\times) U}\) , \(\pmb{(\square) E}\) from top to bottom.

The Lebesgue constant \(\Lambda_{n} (T ) \) for polynomial interpolation grows logarithmically with the asymptotic expression [10]
$$ \Lambda_{n} (T)=\frac{2}{\pi} \biggl(\log(n+1)+\gamma+\log \frac {8}{\pi} \biggr)+\alpha_{n},\quad 0< \alpha_{n} < \frac{\pi}{72 (n+1 )^{2} } , n\ge1, $$
from which the upper and lower bounds
$$ \frac{2}{\pi} \log(n+1)+0.9625\ldots< \Lambda_{n} (T)< \frac{2}{\pi} \log(n+1)+0.9734\ldots,\quad n\ge1 $$
(13)
can be deduced.
For \(\Lambda_{n} (T) \), an asymptotic series expansion, which is valid for all finite n, is given by [1012]
$$ \Lambda_{n} (T)=\frac{2}{\pi} \biggl(\log(n+1)+\gamma+\log \frac {8}{\pi} \biggr)+\sum_{v=1}^{\infty} \frac{ {\mathcal {A}}_{v} }{(n+1)^{2v} } ,\quad n\ge1, $$
where the coefficients \({{\mathcal {A}}}_{ v} \) have alternating signs and can be calculated as
$$\begin{aligned}& {\mathcal {A}}_{ v} = (-1 )^{v-1} \frac{4}{\pi} \frac {1-2^{1-2v} }{ (2\pi )^{2v} } (2v-1 )!\zeta (2v )\left (1+\sum _{j=v+1}^{\infty}\frac{\zeta (2j )}{(2)^{2j-1} } \binom{{2j-1}}{{2v-1}} \right ), \end{aligned}$$
where
$$\zeta (s ) = \sum_{k=1}^{\infty} \frac{1}{k^{s} } $$
is the Riemann zeta function.
Using the little-o notation defined by \(\varepsilon(n)=o(e(n))\) when \(\varepsilon(n)/e(n) \to0\), \(n \to\infty \), Brutman showed [13] that
$$m_{n} (T )=\Lambda_{ \lfloor\frac{n}{2} \rfloor} (T)+o (1 ),\quad n\ge2, $$
from which the lower bound
$$ \frac{2}{\pi} \log(n+1)+\underbrace{\frac{2}{\pi} \biggl(\log \frac {4}{\pi} +\gamma \biggr)}_{0.521251\ldots}< m_{n} (T ) $$
is obtained. Later, this bound was improved [14] as follows:
$$ \frac{2}{\pi} \biggl(\log(n+1)+\log\frac{4}{\pi} +\gamma \biggr)+ \frac{\pi}{18 (n+1 )^{2} } -\frac{49\pi^{3} }{10{,}800 (n+1 )^{4} } < m_{n} (T ). $$
(14)
A comparison of (13) and (14) shows that the deviation between any two local maxima of the Lebesgue function \(L_{n} (T;x ) \) does not exceed 0.4522. This result was improved in [10] to
$$\delta_{n} (T )={{\mathcal {M}}}_{ n} (T )-m_{n} (T )\le\frac{2}{\pi} \log2=0.44127. $$

As Figure 1 (center) suggests, the local maxima of \(L_{n} (T;x ) \) are decreasing strictly from the outside toward the midpoint of the interval \([-1, 1]\), which was proven in [13]. The figure also shows that the location of the Lebesgue constant occurs at ±1, that is, \(x^{*} (T )=\pm1 \) [15, 16].

We know from the first error formula (3) that the Chebyshev points are a good choice for polynomial interpolation. Now, this slow growth of the Lebesgue constant confirms that they are also a good choice for the second error formula (6), which becomes
$$\Vert f-p_{n} \Vert _{\infty} \le \biggl(\frac{2}{\pi} \log (n+1 )+2 \biggr)\bigl\Vert f-p_{n}^{*} \bigr\Vert _{\infty} $$
for the Chebyshev nodes. For example, for \(n=100 \), the interpolation error based on the Chebyshev points is
$$\Vert f-p_{n} \Vert _{\infty} \le \bigl(4.9 \times10^{0} \bigr)\bigl\Vert f-p_{n}^{*} \bigr\Vert _{\infty}, $$
that is, even in the worst case, the interpolation error \(\Vert f-p_{n} \Vert _{\infty} \) is only 4.9 times larger than the smallest possible error. For comparison, if we choose equidistant points for the same degree, then the upper bound for the interpolation error is
$$\Vert f-p_{n} \Vert _{\infty} \le \bigl(1.8 \times10^{27} \bigr)\bigl\Vert f-p_{n}^{*} \bigr\Vert _{\infty}. $$

3.3 Extended Chebyshev nodes

The extended Chebyshev nodes are defined by
$$ \hat{T}= \biggl\{ x_{j} ={-\cos \biggl(\frac{\pi}{2} \frac{ (2j+1 )}{ (n+1 )} \biggr)\Big/ \cos \biggl(\frac{\pi}{2 (n+1 )} \biggr)}, j=0, 1, \ldots, n \biggr\} , $$
where the division by \(\cos ({\pi/ 2 (n+1 )} ) \) guarantees that \(x_{0} =-1 \) and \(x_{n} =1 \), and the set is obtained from the set T by the linear transformation that maps \([x_{0}, x_{n} ] \) onto \([-1, 1 ] \). Therefore, the set is the canonicalization of the Chebyshev set T (see Figures 2 and 3).
From the monotonicity result for the local maxima of \(L_{n} (T;x ) \) and property (e) given in Section 2.1 [2, 16],
$$\max_{x_{0} < x< x_{n} } L_{n} (x_{0}, \ldots, x_{n} ;x )\le \max_{-1\le x\le1} L_{n} (x_{0}, \ldots, x_{n} ;x ), $$
it follows that the Lebesgue constant \(\Lambda_{n} (\hat{T} ) \) is equal to the second local maximum \(\lambda_{1} (T ) \) (or \(\lambda_{n} (T ) \)) [13, 16, 17]. By using this characterization, an asymptotic expression for the Lebesgue constant for the extended Chebyshev nodes is given by [10]
$$ \begin{aligned}[b] &\Lambda_{n} (\hat{T})=\frac{2}{\pi} \biggl(\log(n+1)+\gamma+\log \frac{8}{\pi} \biggr)-\frac{4}{3\pi} +\beta_{n},\\ &\quad 0< \beta_{n} < \frac{0.01}{\log ({(n+1)/ 4} )}, n\ge4. \end{aligned} $$
(15)
Hence, we can derive the upper and lower bounds
$$\frac{2}{\pi} \log(n+1)+0.5381\ldots< \Lambda_{n} (\hat{T})< \frac {2}{\pi} \log(n+1)+0.5829\ldots, \quad n\ge4. $$
Also, an asymptotic expansion of \(\beta_{n} \) (with unknown explicit general formula for the series coefficients, in contrast to the Chebysev nodes) can be found in [17].
As for the maximum deviation \({{\mathcal {M}}}_{n} (\hat {T} )-m_{n} (\hat{T} ) \) of the extended Chebyshev nodes, the following estimate is given [10]:
$$\delta_{n} (\hat{T} )={{\mathcal {M}}}_{n} (\hat {T} )-m_{n} (\hat{T} )\le0.0196,\quad n\ge70. $$
From (15) together with (14) it follows that this maximum deviation converges to
$$ \lim_{n\to\infty} \delta_{n} (\hat{T} )=0.016858\ldots. $$

3.4 Chebyshev extrema

The Chebyshev extrema Ū are the zeros of the polynomial \((1-x^{2} )T'_{n} (x ) \) and are given in explicit form as
$$ \bar{U}= \biggl\{ x_{j} =-\cos \biggl(\frac{j\pi}{n} \biggr), j=0, 1, \ldots, n \biggr\} . $$
The Lebesgue constant \(\Lambda_{n} (\bar{U}) \) for polynomial interpolation is [15, 18]
$$ \Lambda_{n} (\bar{U})= \textstyle\begin{cases} \Lambda_{n-1} (T), & n \mbox{ odd}, \\ \Lambda_{n-1} (T)-\alpha_{n}, & 0< \alpha_{n} < \frac{1}{n^{2} }, n \mbox{ even}. \end{cases} $$
It is shown in [13] that the smallest local maxima \(m_{n} (\bar{U} ) \) are bounded (in contrast to the case of the Chebyshev nodes T) by
$$m_{n} (\bar{U} )< 1.57079\ldots. $$
Thus, as in the case of the set E, \(\Lambda_{n} (\bar{U}) \) and \(m_{n} (\bar{U} ) \) are of different orders of magnitude, and the maximum deviation of the local maxima \(\delta_{n} ( \bar {U} )\) tends to infinity logarithmically.

As was proven in [13], the local maxima of \(L_{n} (\bar{U};x ) \) increase strictly monotonically from the outside toward the midpoint of the interval \([-1, 1]\). This behavior suggests that the Lebesgue function \(L_{n} (\bar{U};x ) \) achieves its maximum value on the subinterval \((x_{{n/ 2} }, x_{{ (n+2 )/ 2} } ) \) (or its mirror) for even degrees and on the subinterval \((x_{{ (n-1 )/ 2} }, x_{{ (n+1 )/ 2} } ) \) for odd degrees.

Numerical observation indicates that the location of the Lebesgue constant occurs at \(x^{*} (\bar{U} )\approx\frac{\pi}{2n} \) (or its mirror) for (large) even degrees and at \(x^{*} (\bar {U} )=0 \) for odd degrees.

3.5 Chebyshev nodes of the second kind

The Chebyshev nodes of the second kind U are the zeros of the \((n+1 ) \)th-degree Chebyshev polynomial of the second kind
$$U_{n+1}(x) = \frac{\sin((n+2) \arccos(x))}{\sin(\arccos(x))} $$
and are given in closed form by
$$ U= \biggl\{ x_{j} =-\cos \biggl(\frac{(j+1)\pi}{n+2} \biggr), j=0, 1, \ldots, n \biggr\} . $$
For the Lebesgue constant, it is known that \(\Lambda_{n} (U)=O (n ) \) [19], pp.335-339. In [13], an exact expression for \(\Lambda_{n} (U) \) is given by
$$\Lambda_{n} (U)=n+1, $$
and a lower bound for \(m_{n} (U) \) is given by
$$\frac{2}{\pi} \log(n+1)+0.3259\ldots< m_{n} (U). $$
Thus, as in the cases of the sets E and Ū, \(\Lambda_{n} (U) \) and \(m_{n} (U ) \) are of different orders of magnitude. In this case, the maximum deviation of the local maxima \(\delta_{n} ({U} )\) has a linear growth.

Note that these interpolation points can be obtained from the zeros of the polynomial \((1-x^{2} )T'_{n+2} (x ) \) by deleting the zeros ±1. Thus, it follows that the Lebesgue constants are sensitive to the deletion of the endpoints.

3.6 Fekete nodes

Since the basic Lagrange polynomials \(\ell_{i} (x) \) can be expressed with the quotient of two Vandermonde determinants, namely
$$ \ell_{i}(x) = \frac{|V(x_{0}, \ldots, x_{i-1}, x, x_{i+1}, \ldots, x_{n})| }{ |V(x_{0}, \ldots, x_{n})|},\qquad V(x_{0}, \ldots, x_{i}, \ldots, x_{n}) = \begin{pmatrix} 1 & x_{0} & \ldots& x_{0}^{n} \\ \vdots& & \vdots& \\ 1 & x_{i} & \ldots& x_{i}^{n} \\ \vdots& & \vdots& \\ 1 & x_{n} & \ldots& x_{n}^{n} \end{pmatrix}, $$
we can expect that the interpolation points maximizing the Vandermonde determinant \(|V(x_{0}, \ldots, x_{n})|\) yield a small Lebesgue constant.
This node set is given by
$$\bigl(1-x^{2}\bigr) \frac{dQ_{n} }{ dx}(x) = 0 $$
or, in other words, by \(x_{0}=-1\), \(x_{n}=1\), and \(x_{1}, \ldots, x_{n-1}\) the extrema of the nth-order Legendre polynomial \(Q_{n}(x)\) and is known as the Fekete node set. There is no explicit expression for these nodes.
For the Lebesgue constant \(\Lambda_{n} (F) \), we have \(\Vert \ell_{i} (x)\Vert _{\infty} \le1\) for \(0\le i\le n \), and thus the corresponding Lebesgue constant is bounded by (at most) the dimension of the interpolation space:
$$\Lambda_{n} (F)=\max_{-1\le x\le1} \sum _{i=0}^{n}\bigl\vert \ell_{i} (x)\bigr\vert \le n+1. $$
Moreover [20], the Fekete points minimize \(\max_{-1\le x\le1} \sum_{i=0}^{n} (\ell_{i} (x) ) ^{2} \), and for these points, \(\max_{-1\le x\le1} \sum_{i=0}^{n} (\ell_{i} (x) ) ^{2} =1 \). From this, by applying the Cauchy-Schwartz inequality,
$$\Lambda_{n} (F)\le\sqrt{n+1}. $$
This upper bound, however, is very pessimistic. In [21], an improved upper bound for \(\Lambda_{n} (F) \) is given by
$$\Lambda_{n} (F)\le c \log(n+1) $$
with undetermined positive constant c. In addition [22], based on numerical experiments, the estimate
$$\Lambda_{n} (F)\le\frac{2}{\pi} \log(n+1)+0.685 $$
was conjectured. Accordingly, this confirms the conjecture in [2] that
$$\Lambda_{n} (\hat{T})< \Lambda_{n} (F)< \Lambda_{n} (T),\quad n\ge3. $$

3.7 Optimal nodes

The set of interpolation points is said to be optimal if it minimizes the Lebesgue constant. We denote the set of optimal nodes by \(X^{*} \) (or the Lebesgue-optimal point set in \([-1, 1]\)):
$$\Lambda_{n} \bigl(X^{*} \bigr)=\min_{X} \Lambda_{n} (X ). $$
Owing to the second error formula (6) and also formula (7) (for sensitivity to perturbations in the function values), it is desirable to minimize the Lebesgue constant. However, the set of optimal nodes on the interval \([-1, 1]\) is known explicitly only for degrees less than four [23, 24], although their characterization is known from the Bernstein-Erdös conjectures.
In 1931, Bernstein [25] conjectured that the greatest local maximum of the Lebesgue function is minimal when \(L_{n} (x ) \) equioscillates, that is,
$$\lambda_{1} \bigl(X^{*} \bigr)=\lambda_{2} \bigl(X^{*} \bigr)=\cdots=\lambda_{n} \bigl(X^{*} \bigr). $$
Later, Erdös [26, 27] added to this conjecture that there is a unique canonical set \(\hat{X}^{*} \) for which the smallest local maximum achieves its maximum. This is the case where the local maximum values are equal or, in other words,
$$ m_{n} (X )\le m_{n} \bigl(X^{*} \bigr)= \Lambda_{n} \bigl(X^{*} \bigr)={\mathcal {M}}_{n} \bigl(X^{*} \bigr)\le{\mathcal {M}}_{n} (X ) \quad\mbox{for every set } X. $$
(16)

These conjectures were proven by Kilgore [28, 29] and by de Boor and Pinkus [30]. They showed that for degree n, the optimal canonical interpolation set is unique, symmetric, and that its Lebesgue function must necessarily equioscillate. By using these basic properties of the optimal nodes a numerical procedure based on a nonlinear Remez search and exchange algorithm is given to compute the optimal nodes for polynomial interpolation on \([-1, 1] \) [31]. Moreover, many authors (see, e.g., [22, 32]) have investigated (near) optimal point sets (in different norms) defined by the solutions of certain optimization problems.

The first sharp estimate for the optimal Lebesgue constant is given by Vértesi [33]. By constructing the following modification of the Chebyshev nodes asymptotically optimal upper and lower bounds are given [3335], pp.110-121. Let us denote this set by
$$ \breve{T} = \biggl\{ {{x}_{j}}=-\frac{\cos (\frac{\pi}{2}\frac{ (2j+1 )}{ (n+1 )} )}{\cos (\frac{\pi}{2 (n+1 )} (1+\frac{1}{4\log (n+1 )} ) )}, j=1,\ldots,n-1, {{x}_{n}}=-{{x}_{0}}=1 \biggr\} . $$
The Lebesgue constant \(\Lambda_{n} (\breve{T}) \) satisfies
$$\begin{aligned} \tiny c \biggl(\frac{\log\log (n+1 )}{\log (n+1 )} \biggr)^{2} &>\Lambda_{n} (\breve{T})-\frac{2}{\pi} \biggl(\log(n+1)+\gamma +\log\frac{4}{\pi} \biggr) \\ &>\left \{ \textstyle\begin{array}{@{}l@{\quad}l} \frac{\pi}{18 (n+1 )^{2} } +O (\frac {1}{ (n+1 )^{4} } ), & n \mbox{ odd}, \\ {-\frac{2}{\pi (n+1 )} +O (\frac{1}{(}n+1 )^{2} } ), & n \mbox{ even}, \end{array}\displaystyle \right . \end{aligned}$$
where c is an undetermined positive constant.
An application of the Erdös inequality (16), combined with the lower bound for \(m_{n} (T ) \) (14) and the upper bound for \(\Lambda_{n} (\breve{T}) \), gives
$$\begin{aligned} \frac{\pi}{18 (n+1 )^{2} } +O \biggl(\frac{1}{ (n+1 )^{4} } \biggr) &< \Lambda_{n} \bigl(X^{*} \bigr)-\frac{2}{\pi} \biggl(\log (n+1)+\gamma+\log \frac{4}{\pi} \biggr)\\ & < \mathrm{c} \biggl( \biggl(\frac{\log\log (n+1 )}{\log (n+1 )} \biggr)^{2} \biggr). \end{aligned}$$
From this we can deduce that the precise growth formulas for \(\Lambda_{n} (X^{*} ) \) and \(\Lambda_{n} (\breve {T} ) \) are, respectively,
$$\begin{aligned} \Lambda_{n} \bigl(X^{*} \bigr)=\frac{2}{\pi} \biggl(\log (n+1)+\gamma+\log\frac{4}{\pi} \biggr)+o(1) \end{aligned}$$
and
$$\begin{aligned} \Lambda_{n} (\breve{T} ) = \frac{2}{\pi} \biggl(\log (n+1)+\gamma+ \log\frac{4}{\pi} \biggr)+o(1). \end{aligned}$$
Since \(\Lambda_{n} (\breve{T} ) \) and \(\Lambda_{n} (X^{*} ) \) have the same asymptotic growth, we can conclude that the set has asymptotically minimal Lebesgue constants.
At this point, some remarks are useful. From (15) we can derive a precise growth formula for \(\Lambda_{n} (\hat{T}) \):
$$\Lambda_{n} (\hat{T})=\frac{2}{\pi} \log(n+1)+0.5381+\cdots+o(1). $$
Comparing \(\Lambda_{n} (\hat{T}) \) and \(\Lambda_{n} (\breve {T} ) \), we can see that the set is better than the set in minimizing Lebesgue constant. Indeed, numerical results confirm this (see Table 1 and also Figure 4). The maximum deviation of the nodal set converges to (see [34], (39))
$$\lim_{n\to\infty} \delta_{n} (\breve{T} )={0.089245}\ldots. $$
Figure 4

Graphs of \(\pmb{L_{10} (\hat{T};x) }\) , \(\pmb{L_{10} (\breve{T};x) }\) , \(\pmb{L_{10} (X^{*} ;x) }\) from left to right.

Table 1

The values of the maximum deviations and Lebesgue constants for sets \(\pmb{\breve{T} }\) , \(\pmb{\hat{T} }\) , and \(\pmb{X^{*}}\)

n

set \(\boldsymbol {\breve{T}}\)

set \(\boldsymbol {\hat{T}}\)

set \(\boldsymbol {X^{*}}\)

\(\boldsymbol {\delta _{n} (\breve{T})}\)

\(\boldsymbol {\Lambda _{n} (\breve{T})}\)

\(\boldsymbol {\delta _{n} (\hat{T})}\)

\(\boldsymbol {\Lambda _{n} (\hat{T})}\)

\(\boldsymbol {\Lambda _{n} (X^{*} )}\)

10

0.050 781

2.056 087

0.019 471

2.068 744

2.051 706

20

0.056 995

2.463 129

0.019 340

2.479 193

2.460 788

40

0.061 827

2.887 067

0.018 952

2.904 441

2.885 809

Hence, we conclude that the nodal sets studied in this section can be ordered with respect to their maximum deviation \(\delta_{n}{(X)} = \mathcal{M}_{n}-m_{n}{(X)}\) and their Lebesgue constant \(\Lambda _{n}{(X)}\) in the following way:
$$\delta_{n} (E )>\delta_{n} (U )>\delta_{n} ( \bar{U} )>\delta_{n} (T )>\delta_{n} (\breve {T} )> \delta_{n} (\hat{T} )>\delta_{n} \bigl({X^{*}} \bigr)=0 $$
and
$$\Lambda_{n} (E )>\Lambda_{n} (U )>\Lambda_{n} (T )>\Lambda_{n} (\bar{U} )>\Lambda_{n} (F )> \Lambda_{n} (\hat{T} )>\Lambda_{n} (\breve {T} )> \Lambda_{n} \bigl({X^{*}} \bigr). $$

4 Concluding remarks

In this paper we work with the interval \([- 1, 1] \) although all results on polynomial interpolation may be applied to any finite interval by a linear change of variable.

In view of the optimal interpolation points for the univariate polynomial interpolation, to our knowledge, both sets and , with the position of the points given in explicit form, are the best nodal sets in the literature. Based on the Bernstein-Erdös conjecture, the nodal set is superior than the nodal set because of its smaller maximum deviation. When considering the optimality of a nodal set from its Lebesgue constant, the set is better.

In the multivariate case, the problem of optimal or near optimal interpolation is much more difficult. The minimal growth of the Lebesgue constant is different for different bivariate domains. For instance, on the square, the minimal order of growth is \(O(\ln^{2}(n+1))\), and this order is achieved for the configurations of interpolation points given in [36] and [37]. On the disk, the minimal order of growth is quite different, namely \(O(\sqrt{n+1})\), as proved in [38]. No configurations of interpolation points obeying this order of growth are known. On the simplex, the minimal order of growth is not even known.

Declarations

Acknowledgements

The author expresses his sincere thanks to Professor Annie Cuyt for her kind suggestions. This work was partially supported by the Scientific and Technical Research Council of Turkey (TUBITAK) under Grant No. 2214/B.

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)
Department of Mathematical Engineering, Yıldız Technical University

References

  1. Davis, PJ: Interpolation and Approximation. Blaisdell, New York (1963) MATHGoogle Scholar
  2. Luttmann, FW, Rivlin, TJ: Some numerical experiments in the theory of polynomial interpolation. IBM J. Res. Dev. 9, 187-191 (1965) MathSciNetView ArticleGoogle Scholar
  3. Brutman, L: Lebesgue functions for polynomial interpolation - a survey. Ann. Numer. Math. 4(1-4), 111-127 (1997) MathSciNetMATHGoogle Scholar
  4. Phillips, GM: Interpolation and Approximation by Polynomials. CMS Books in Mathematics [Ouvrages de Mathématiques de la SMC], vol. 14, p. xiv+312. Springer, New York (2003) View ArticleMATHGoogle Scholar
  5. Schönhage, A: Fehlerfortpflanzung bei Interpolation. Numer. Math. 3, 62-71 (1961) MathSciNetView ArticleMATHGoogle Scholar
  6. Turetskii, H: The bounding of polynomials prescribed at equally distributed points. Proc. Pedag. Inst. Vitebsk 3, 117-121 (1940) (in Russian) Google Scholar
  7. Mills, TM, Smith, SJ: The Lebesgue constant for Lagrange interpolation on equidistant nodes. Numer. Math. 61(1), 111-115 (1992) MathSciNetView ArticleMATHGoogle Scholar
  8. Trefethen, LN, Weideman, JAC: Two results on polynomial interpolation in equally spaced points. J. Approx. Theory 65(3), 247-260 (1991) MathSciNetView ArticleMATHGoogle Scholar
  9. Tietze, H: Eine Bemerkung zur Interpolation. Z. Angew. Math. Phys. 64, 74-90 (1917) MATHGoogle Scholar
  10. Günttner, R: Evaluation of Lebesgue constants. SIAM J. Numer. Anal. 17(4), 512-520 (1980) MathSciNetView ArticleMATHGoogle Scholar
  11. Dzjadik, VK, Ivanov, VV: On asymptotics and estimates for the uniform norms of the Lagrange interpolation polynomials corresponding to the Chebyshev nodal points. Anal. Math. 9(2), 85-97 (1983) MathSciNetView ArticleMATHGoogle Scholar
  12. Shivakumar, PN, Wong, R: Asymptotic expansion of the Lebesgue constants associated with polynomial interpolation. Math. Comput. 39(159), 195-200 (1982) MathSciNetView ArticleMATHGoogle Scholar
  13. Brutman, L: On the Lebesgue function for polynomial interpolation. SIAM J. Numer. Anal. 15(4), 694-704 (1978) MathSciNetView ArticleMATHGoogle Scholar
  14. Günttner, R: Note on the lower estimate of optimal Lebesgue constants. Acta Math. Hung. 65(4), 313-317 (1994) MathSciNetView ArticleMATHGoogle Scholar
  15. Ehlich, H, Zeller, K: Auswertung der Normen von Interpolationsoperatoren. Math. Ann. 164, 105-112 (1966) MathSciNetView ArticleMATHGoogle Scholar
  16. Powell, MJD: On the maximum errors of polynomial approximations defined by interpolation and by least squares criteria. Comput. J. 9, 404-407 (1967) MathSciNetView ArticleMATHGoogle Scholar
  17. Günttner, R: On asymptotics for the uniform norms of the Lagrange interpolation polynomials corresponding to extended Chebyshev nodes. SIAM J. Numer. Anal. 25(2), 461-469 (1988) MathSciNetView ArticleMATHGoogle Scholar
  18. McCabe, JH, Phillips, GM: On a certain class of Lebesgue constants. Nordisk. Tidskr. Informationsbehandling (BIT) 13, 434-442 (1973) MathSciNetMATHGoogle Scholar
  19. Szegő, G: Orthogonal Polynomials, 3rd edn., p. xiii+423. Am. Math. Soc., Providence (1967) MATHGoogle Scholar
  20. Fejér, L: Bestimmung derjenigen Abszissen eines Intervalles, für welche die Quadratsumme der Grundfunktionen der Lagrangeschen Interpolation im Intervalle ein Möglichst kleines Maximum Besitzt. Ann. Sc. Norm. Super. Pisa, Cl. Sci. 1(3), 263-276 (1932) MATHGoogle Scholar
  21. Sündermann, B: Lebesgue constants in Lagrangian interpolation at the Fekete points. Mitt. Math. Ges. Hamb. 11(2), 204-211 (1983) MathSciNetMATHGoogle Scholar
  22. Hesthaven, JS: From electrostatics to almost optimal nodal sets for polynomial interpolation in a simplex. SIAM J. Numer. Anal. 35(2), 655-676 (1998) MathSciNetView ArticleMATHGoogle Scholar
  23. Rack, HJ: An example of optimal nodes for interpolation. Int. J. Math. Educ. Sci. Technol. 15(3), 355-357 (1984) MathSciNetView ArticleMATHGoogle Scholar
  24. Rack, HJ: An example of optimal nodes for interpolation revisited. In: Advances in Applied Mathematics and Approximation Theory. Springer Proc. Math. Stat., vol. 41, pp. 117-120. Springer, New York (2013) View ArticleGoogle Scholar
  25. Bernstein, S: Sur la limitation des valeurs d’un polynôme \(P_{n}(x)\) de degré n sur tout un segment par ses valeurs en \((n+1)\) points du segment. Izv. Akad. Nauk SSSR 7, 1025-1050 (1931) MATHGoogle Scholar
  26. Erdös, P: Problems and results on the theory of interpolation. I. Acta Math. Acad. Sci. Hung. 9, 381-388 (1958) MathSciNetView ArticleMATHGoogle Scholar
  27. Erdös, P: Some remarks on the theory of graphs. Bull. Am. Math. Soc. 53, 292-294 (1947) MathSciNetView ArticleMATHGoogle Scholar
  28. Kilgore, TA: Optimization of the norm of the Lagrange interpolation operator. Bull. Am. Math. Soc. 83(5), 1069-1071 (1977) MathSciNetView ArticleMATHGoogle Scholar
  29. Kilgore, TA: A characterization of the Lagrange interpolating projection with minimal Tchebycheff norm. J. Approx. Theory 24(4), 273-288 (1978) MathSciNetView ArticleMATHGoogle Scholar
  30. De Boor, C, Pinkus, A: Proof of the conjectures of Bernstein and Erdös concerning the optimal nodes for polynomial interpolation. J. Approx. Theory 24(4), 289-303 (1978) MathSciNetView ArticleMATHGoogle Scholar
  31. Angelos, JR, Kaufman, EH, Henry, MS, Lenker, TD: Optimal nodes for polynomial interpolation. In: Chui, CK, Schumaker, LL, Ward, JD (eds.) Approximation Theory. VI, pp. 17-20. Academic Press, New York (1989) Google Scholar
  32. Chen, Q, Babuška, I: Approximate optimal points for polynomial interpolation of real functions in an interval and in a triangle. Comput. Methods Appl. Mech. Eng. 128(3-4), 405-417 (1995) MathSciNetView ArticleMATHGoogle Scholar
  33. Vértesi, P: On the optimal Lebesgue constants for polynomial interpolation. Acta Math. Hung. 47(1-2), 165-178 (1986) MathSciNetView ArticleMATHGoogle Scholar
  34. Vértesi, P: Optimal Lebesgue constant for Lagrange interpolation. SIAM J. Numer. Anal. 27(5), 1322-1331 (1990) MathSciNetView ArticleMATHGoogle Scholar
  35. Szabados, J, Vértesi, P: Interpolation of Functions. World Scientific, Teaneck (1990) View ArticleMATHGoogle Scholar
  36. Bos, L, De Marchi, S, Caliari, M, Vianello, M, Xu, Y: Bivariate Lagrange interpolation at the Padua points: the generating curve approach. J. Approx. Theory 143(1), 15-25 (2006) MathSciNetView ArticleMATHGoogle Scholar
  37. Bos, L, De Marchi, S, Vianello, M: On the Lebesgue constant for the Xu interpolation formula. J. Approx. Theory 141(2), 134-141 (2006) MathSciNetView ArticleMATHGoogle Scholar
  38. Sündermann, B: On projection constants of polynomial space on the unit ball in several variables. Math. Z. 188(1), 111-117 (1984) MathSciNetView ArticleMATHGoogle Scholar

Copyright

© Ibrahimoglu 2016