Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


Source. Theorem 2, p. 70, of P. Erdős, "Problems and results on the convergence and divergence properties of the Lagrange interpolation polynomials and some extremal problems," Mathematica (Cluj) 10 (33) (1968), 65-73; see the source card.

Statement

Notation as in Theorem 1: a point group xi(n)=cos⁡ϑi(n)x_i^{(n)}=\cos\vartheta_i^{(n)} and the counts Nn(a,b)N_n(a,b).

Theorem 2 (p. 70). For a point group xi(n)x_i^{(n)} the following are equivalent.

  • For every continuous f(x)f(x) and every c>0c>0 there is a sequence of polynomials ψn−1(x)\psi_{n-1}(x) of degree ≤n−1\le n-1 with ψn−1(x)→f(x)\psi_{n-1}(x)\to f(x) uniformly in (−1,+1)(-1,+1) and ψn−1(xi(n))=f(xi(n))\psi_{n-1}(x_i^{(n)})=f(x_i^{(n)}) for at least n(1−c)n(1-c) values of ii.
  • For every ε>0\varepsilon>0,
∑′Nn(ak,bk)=o(n)(11),\sum{}'N_n(a_k,b_k)=o(n)\qquad(11),

where ∑′\sum' runs over an arbitrary set of disjoint "long" intervals (that is, n(bk−ak)→∞n(b_k-a_k)\to\infty) satisfying

N(ak,bk)>n(bk−ak)π(1+ε)(12);N(a_k,b_k)>\frac{n(b_k-a_k)}{\pi}(1+\varepsilon)\qquad(12);

and condition (10) of Theorem 1 is violated for at most o(n)o(n) values of ii.

The paper calls Theorem 2 a direct generalization of the theorem of S. Bernstein (its [1], 1932): for continuous ff on [−1,1][-1,1] and every c>0c>0 there are polynomials ψn−1\psi_{n-1} of degree ≤n−1\le n-1 agreeing with ff at at least n(1−c)n(1-c) roots of Tn(x)T_n(x) and converging to ff uniformly in (−1,+1)(-1,+1). It summarizes Theorems 1 and 2 as requiring, roughly, that (9) and (10) be nearly always satisfied (p. 71).

Proof pointer

No proof in this paper. Erdős writes (p. 71) that Theorem 2 is not stated in his [8] (Annals of Math. 44 (1943), 330-337) but can be proved by its methods, and (p. 72) that it follows from Theorem 2'.

Read depth. The statement was read clause by clause on the printed page.

Bears on

No Erdős problem in the corpus.