Double roots of [-1,1] power series and related matters

Pinner, Christopher

doi:10.1090/S0025-5718-99-01042-X

Double roots of $[-1,1]$ power series and related matters
HTML articles powered by AMS MathViewer

by Christopher Pinner PDF

Math. Comp. 68 (1999), 1149-1178 Request permission

Abstract:

For a given collection of distinct arguments $\vec {\theta }=(\theta _{1},\ldots ,\theta _{t})$, multiplicities $\vec {k}=(k_{1},\ldots ,k_{t}),$ and a real interval $I=[U,V]$ containing zero, we are interested in determining the smallest $r$ for which there is a power series $f(x)=1+\sum _{n=1}^{\infty } a_{n}x^{n}$ with coefficients $a_{n}$ in $I$, and roots $\alpha _{1}=re^{2\pi i\theta _{1}}, \ldots ,\alpha _{t}=re^{2\pi i\theta _{t}}$ of order $k_{1},\ldots ,k_{t}$ respectively. We denote this by $r(\vec {\theta },\vec {k};I)$. We describe the usual form of the extremal series (we give a sufficient condition which is also necessary when the extremal series possesses at least $\left (\sum _{i=1}^{t} \delta (\theta _{i})k_{i}\right ) -1$ non-dependent coefficients strictly inside $I$, where $\delta (\theta _{i})$ is 1 or 2 as $\alpha _{i}$ is real or complex). We focus particularly on $r(\theta ,2;[-1,1])$, the size of the smallest double root of a $[-1,1]$ power series lying on a given ray (of interest in connection with the complex analogue of work of Boris Solomyak on the distribution of the random series $\sum \pm \lambda ^{n}$). We computed the value of $r(\theta ,2; [-1,1])$ for the rationals $\theta$ in $(0,1/2)$ of denominator less than fifty. The smallest value we encountered was $r(4/29,2;[-1,1])=0.7536065594...$. For the one-sided intervals $I=[0,1]$ and $[-1,0]$ the corresponding smallest values were $r(11/30,2;[0,1])=.8237251991...$ and $r(1/3,2;[-1,0])=.8656332072...$ .

References

F. Beaucoup, P. Borwein, D. W. Boyd & C. Pinner, Multiple roots of $[-1,1]$ power series, J. London Math. Soc. (2) 57 (1998), 135–147.
F. Beaucoup, P. Borwein, D. W. Boyd & C. Pinner, Power series with restricted coefficients and a root on a given ray, Math. Comp. 67 (1998), 715–736.
P. Borwein, T Erdélyi & G. Kós, Littlewood-type problems on [0,1], Bull. London Math. Soc. to appear.
L. Kantorovitch, The method of successive approximations for functional equations, Acta Math. 71 (1939), 63–97. MR 95, DOI 10.1007/BF02547750
Boris Solomyak, Conjugates of beta-numbers and the zero-free domain for a class of analytic functions, Proc. London Math. Soc. (3) 68 (1994), no. 3, 477–498. MR 1262305, DOI 10.1112/plms/s3-68.3.477
Boris Solomyak, On the random series $\sum \pm \lambda ^n$ (an Erdős problem), Ann. of Math. (2) 142 (1995), no. 3, 611–625. MR 1356783, DOI 10.2307/2118556