On the Lebesgue constant of Leja sequences for the unit disk and its applications to multivariate interpolation (Q544027)

Let \(D\) be the unit disk in the complex plane. A \(k\)-tuple \(E_{k}=(e_{0},e_{1},e_{2},\dots,e_{k-1})\in D^{k},\) with \(e_{0}=1\) is a \(k\)-Leja section for the unit disk \(D\) if \(\prod\limits_{m=0} ^{j-1}\left| e_{j}-e_{m}\right| =\max\limits_{z\in D}\prod \limits_{m=0}^{j-1}\left| z-e_{m}\right| ,\) \(j=1,2,\dots,k-1.\) A sequence \(E=(e_{k}:k\in\mathbb{N})\) is called a Leja sequence in \(D\) if for all \(k\in\mathbb{N}\), \(E_{k}:=(e_{0},\dots,e_{k-1})\) is a \(k\)-Leja section in \(D.\) Let \(L[E_{k};f]=\sum\limits_{j=0}^{k-1}f(e_{j})l(E_{k},e_{j};)\) be the Lagrange interpolation polynomial of \(f:E_{k}\rightarrow\mathbb{C}\), where \(l(E_{k},e_{m};\cdot)\) is the fundamental Lagrange polynomial corresponding to \(m=0,1,2,\dots,k-1.\) The Lebesgue constant for \(E_{k}\) is \(\triangle (E_{k})=\left\| \sum\limits_{j=0}^{k-1}\left| l(E_{k},e_{j} ;\cdot)\right| \right\| _{K}.\) Using the structure of \(E_{2^{n}}\)-Leja section for \(D\) and the result of Gronwall \(\triangle(E_{2^{n}})=O(n),\) as \(n\rightarrow\infty,\) the authors obtain: \(\triangle(E_{k})=O(k\ln k).\) Also, let \(K\) be a compact set whose boundary \(\partial K\) is an Alper-smooth Jordan curve, and \(\phi\) be the conformal mapping of the exterior of the unit disk onto the exterior of \(K.\) If \(E=(e_{k};k\in\mathbb{N})\) is a Leja sequence for \(D\), then the Lebesgue constant \(\triangle(\phi(E_{k})),\) where \(\phi(E_{k}):=(\phi(e_{k}),\dots,\phi(e_{k-1})),\) grows at most like a polynomial in \(k\) as \(k\rightarrow\infty.\) The main application is the construction of new multivariate interpolation points in a polydisk (and in the Cartesian product of many plane compact sets), whose Lebesgue constant grows (at most) like a polynomial.