Wiki
Wiki

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

Updated


Statement

Theorem XII (p. 545). Suppose that for the matrix M\mathfrak M

[∣lk(x)∣]1/n≤1+ϵ,k=1,…,n,−1≤x≤1,[|l_k(x)|]^{1/n}\le1+\epsilon,\qquad k=1,\ldots,n,\quad-1\le x\le1,

for n>n10(ϵ)n>n_{10}(\epsilon) (the hypothesis being made for every ϵ>0\epsilon>0, as in (69)). Then for every 0≤α<β≤π0\le\alpha<\beta\le\pi

lim⁡n→∞1n∑α≤ϑν(n)≤β1=β−απ.\lim_{n\to\infty}\frac1n\sum_{\alpha\le\vartheta_\nu^{(n)}\le\beta}1 =\frac{\beta-\alpha}{\pi}.

Lemma XI (p. 545), which the paper reproduces from M. Riesz: if a trigonometric polynomial f(ϑ)f(\vartheta) of order nn attains its absolute maximum on [0,2π][0,2\pi] at ϑ0\vartheta_0, it has no root in [ϑ0−π/2n,ϑ0+π/2n][\vartheta_0-\pi/2n,\vartheta_0+\pi/2n]. Its corollary: if such a polynomial attains its absolute maximum between two real roots, those roots are at distance at least π/n\pi/n.

Proof pointer

Pp. 546--547. If some [α,β][\alpha,\beta] held too few nodes along a sequence of nn, the paper multiplies the node factors in [α,β][\alpha,\beta] by extra factors at equally spaced angles outside it, getting a polynomial GG of degree less than (1−c68/3π)n(1-c_{68}/3\pi)n (72); Lemma XI places its absolute maximum at an angle γ\gamma inside the interval. A power of 1−(x−cos⁡γ)2/41-(x-\cos\gamma)^2/4 damps GG away from cos⁡γ\cos\gamma while keeping the degree below nn (73)--(74); interpolating the product at the nodes and using the hypothesis gives an inequality that fails for large nn.

Read depth

Claims checked: Theorem XII and Lemma XI with its corollary were read clause by clause on the page images of the print; the proof was followed for structure. Nothing here is independently reviewed.

Dependencies

Lemma XI (M. Riesz, Jahresbericht der Deutschen Mathematiker-Vereinigung, 1915), as reproduced in the paper.

Source. P. Erdős and P. Turán, On interpolation. III. Interpolatory theory of polynomials, Annals of Mathematics (2) 41 (3) (1940), 510--553, DOI 10.2307/1968733; the edition read is named on the source card.

Bears on

None of the problem pages directly.