Wiki
Wiki

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

Updated


Source. Theorem 6, p. 1175, of P. Erdős, "Some remarks on polynomials," Bull. Amer. Math. Soc. 53 (1947), 1169-1176. Pages are the journal's own, as on the source card.

Statement

The quantity ωn(M,z0)\omega_n(M,z_0) and the two open questions it answers are as on the Theorem 5 page.

Theorem 6 (p. 1175). Let n1<n2<⋯n_1<n_2<\cdots tend to infinity sufficiently fast, and let MM consist of the point 00 and the points 1/2u1/2^u with ni≤u≤2ni+1n_i\le u\le2n_i+1 for some ii. Then lim⁡ωn(M,0)1/n\lim\omega_n(M,0)^{1/n} does not exist; in fact

lim sup⁡ωn(M,0)1/n=∞,lim inf⁡ωn(M,0)1/n<∞.\limsup\omega_n(M,0)^{1/n}=\infty,\qquad \liminf\omega_n(M,0)^{1/n}<\infty .

The print writes the second limit with z0z_0 in place of 00. This answers the first open question in the negative.

Read depth. Claims checked: the statement was read clause by clause on the print. The short proof was read; its lim inf half follows Theorem 5, and its lim sup half is garbled as printed (see the proof pointer).

Proof pointer

Page 1175. As in Theorem 5, a polynomial of degree nin_i bounded by 11 at the points 1/2u1/2^u, ni≤u≤2ni+1n_i\le u\le2n_i+1, has derivative at 00 below cnic^{n_i}, which bounds the lim inf. For the lim sup, the print takes a constant multiple of ∏k(x−1/2k)\prod_k(x-1/2^k), over k=1,…,2ni+1k=1,\ldots,2n_i+1, says that its degree is 2ni+22n_i+2 and that it is below 11 in absolute value on MM, and states that, when ni+1n_{i+1} grows fast enough, the root of order 2ni+22n_i+2 of its derivative at 00 tends to infinity. The construction is garbled as printed: the product has 2ni+12n_i+1 factors, not 2ni+22n_i+2, and the scan does not show clearly whether the constant factor and the lower bound use 2ni+12^{n_i+1} or 2ni+12^{n_{i+1}}; read with 2ni+12^{n_i+1}, the printed lower bound tends to 00. This half of the proof was not checked.