Wiki
Wiki

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

Updated


Statement

Remark after Lemma 5 (p. 5). From Lemma 5 the paper concludes that z2+1z^2+1 is extremal for d=2d=2: no monic quadratic pp has ∣E(p)∣|E(p)| larger than ∣E(z2+1)∣|E(z^2+1)|. The level set {z:∣z2+1∣=1}\{z:|z^2+1|=1\} is the Bernoulli lemniscate (also one of Cassini's ovals), and its length is the elliptic integral

23/2∫−11dx1−x4≈7.4162^{3/2}\int_{-1}^{1}\frac{dx}{\sqrt{1-x^4}}\approx7.416

(p. 5). The abstract (p. 1) states the result as: for d=2d=2 the extremal level set is the Bernoulli lemniscate.

The remark gives no further argument. The deduction it leaves to the reader: a monic quadratic has one critical point, so the extremal polynomial of Lemma 5 is (z−c)2+a(z-c)^2+a with ∣a∣=1|a|=1, which is z2+1z^2+1 up to translation and rotation, operations that keep the length.

Source. Alexandre Eremenko and Walter Hayman, On the length of lemniscates, Michigan Math. J. 46 (1999), no. 2, 409--415, DOI 10.1307/mmj/1030132418; page numbers are those of the authors' corrected preprint (pp. 1--9) named on the source card, not the journal's pagination.

Read depth. Claims checked: the remark was read on the print. Nothing here is independently reviewed.

Proof pointer

P. 5, by Lemma 5 as above.

Dependencies

Lemma 4 and Lemma 5.

Bears on

  • #114: the case n=2n=2. Since z2+1z^2+1 and z2−1z^2-1 differ by the rotation z↦izz\mapsto iz, it says that z2−1z^2-1 maximizes the length among monic quadratics; the claim page Eremenko–Hayman 1999 records this. It settles no other degree.