Wiki
Wiki

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

Updated


Source. P. 66 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. The problems are unnumbered; the second one is displayed as (3).

Statement

Notation as in relations (1)-(2): nodes −1≤x1<⋯<xn≤1-1\le x_1<\cdots<x_n\le1, fundamental functions lkl_k, and Lebesgue function ∑k=1n∣lk(x)∣\sum_{k=1}^n|l_k(x)|; put x0=−1x_0=-1 and xn+1=1x_{n+1}=1.

First problem (p. 66). Erdős poses as an interesting unsolved problem the task to determine the set −1≤x1<⋯<xn≤1-1\le x_1<\cdots<x_n\le1 for which

max⁡−1≤x≤1∑k=1n∣lk(x)∣\max_{-1\le x\le1}\sum_{k=1}^n|l_k(x)|

is minimal. He writes that it "seems likely" that this set is characterized by the property that the values of the n+1n+1 local maxima of ∑k=1n∣lk(x)∣\sum_{k=1}^n|l_k(x)| are all equal (with −1=x0-1=x_0, 1=xn+11=x_{n+1}), and that as far as he knows this conjecture is still unproved. He suggests the conjecture may be easier on the unit circle: for nodes xix_i on the unit circle, minimizing max⁡∣z∣=1∑k=1n∣lk(z)∣\max_{|z|=1}\sum_{k=1}^n|l_k(z)|, he writes that it seems certain that the xix_i must be the nn-th roots of unity.

Problem (3) (p. 66). Determine the set −1≤x1<⋯<xn≤1-1\le x_1<\cdots<x_n\le1 for which

min⁡0≤i≤n max⁡xi<x<xi+1 ∑k=1n∣lk(x)∣(3)\min_{0\le i\le n}\ \max_{x_i<x<x_{i+1}}\ \sum_{k=1}^n|l_k(x)| \qquad(3)

is maximal. Erdős writes that it seems likely that the two problems have the same solution, again with the n+1n+1 maxima equal. He cannot prove the analogue of (2) for (3); he can only show (his reference [5], P. Erdős, Some remarks on polynomials, Bull. Amer. Math. Soc. 53 (1947), 1169-1176) that

min⁡0≤i≤n max⁡xi<x<xi+1 ∑k=1n∣lk(x)∣<n,\min_{0\le i\le n}\ \max_{x_i<x<x_{i+1}}\ \sum_{k=1}^n|l_k(x)|<\sqrt n,

and writes that it seems certain that n\sqrt n can be replaced by c3log⁡nc_3\log n.

Read depth. Read clause by clause on the printed page. The paper proves nothing here; the n\sqrt n bound is cited from [5].

Bears on

  • Problem 1129: source. The first problem is the question the problem page states, and the equal-maxima property is Erdős's conjectured description of its answer; the paper offers it as likely and proves nothing toward it.
  • Problem 1130: source. Problem (3) is the quantity the problem studies, with x0=−1x_0=-1, xn+1=1x_{n+1}=1; the paper asks for its maximizing nodes, proves the bound below n\sqrt n (cited from [5]), and expects c3log⁡nc_3\log n, which is the problem's first question. It proves no logarithmic bound.