Abstract:Fast Leja points on an interval are points constructed using a discrete modification of the algorithm for constructing Leja points. Not much about fast Leja points has been proven theoretically. We present an asymptotic property of a triangular interpolation array, and under the assumption that fast Leja points satisfy this property, we prove that they are good for Lagrange interpolation.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the approximation properties of **Fast Leja Points**, especially whether they are suitable for Lagrange interpolation.
### Specific Problem Description
1. **Background Introduction**:
- Leja points are a class of point sets defined on the complex plane and are constructed step by step through optimization methods. These points exhibit good properties in polynomial interpolation.
- Fast Leja points are a discrete version of Leja points, aiming to simplify the computational complexity. Compared with traditional Leja points, fast Leja points do not need to pre - discretize the set.
2. **Research Motivation**:
- Although fast Leja points have been introduced for more than 20 years, their theoretical properties have not been fully studied.
- An important open problem is to prove whether fast Leja points are suitable for polynomial interpolation.
3. **Specific Problem**:
- The core problem of the paper is to verify whether fast Leja points have good interpolation properties, that is, whether they can be used for Lagrange interpolation and whether the interpolation polynomial can converge uniformly to a given function.
4. **Main Contributions**:
- The author proposes an asymptotic distribution property (Property (⋆)) and assumes that fast Leja points satisfy this property.
- By proving this assumption, the author shows that if fast Leja points satisfy Property (⋆), then they are indeed suitable for polynomial interpolation.
### Summary of Mathematical Formulas
- **Vandermonde Determinant**:
\[
V DM (a_1, \ldots, a_n) := \det\begin{bmatrix}
1 & 1 & \cdots & 1 \\
a_1 & a_2 & \cdots & a_n \\
a_1^2 & a_2^2 & \cdots & a_n^2 \\
\vdots & \vdots & \ddots & \vdots \\
a_1^{n - 1} & a_2^{n - 1} & \cdots & a_n^{n - 1}
\end{bmatrix}
\]
- **n - th Order Diameter**:
\[
d_n(K) := \sup \left\{ \left| V DM (a_1, \ldots, a_n) \right|^{\frac{2}{n(n + 1)}} : \{a_1, \ldots, a_n\} \subset K \right\}
\]
- **Transfinite Diameter**:
\[
d(K) := \lim_{n \to \infty} d_n(K)
\]
- **Chebyshev Constant**:
\[
\tau_n(K) := \inf \left\{ \|p\|_K : p \text{ is a polynomial with leading coefficient 1 and degree not exceeding } n \right\}^{1/n}
\]
- **Lebesgue Constant**:
\[
\Lambda_n := \sup_{z \in K} \sum_{j = 1}^n \left| \ell_j^{(n)}(z) \right|
\]
### Conclusion
By introducing and verifying Property (⋆), the paper proves that fast Leja points are suitable for polynomial interpolation under certain conditions. This provides a theoretical basis for further research on the properties and applications of fast Leja points.