Research Problems in Function Theory — Problem 6.28

Definitions and mathematical statement

Shared notation.

$\mathbb N=\{1,2,\ldots\}$, and $\mathbb Z,\mathbb Q,\mathbb R,\mathbb C$ denote the integers, rationals, reals and complex numbers. Any other conventions are specified locally.

Write $\mathbb D=\{z\in\mathbb C:|z|<1\}$ and $\mathbb T=\partial\mathbb D$. Let $S$ consist of holomorphic injective functions $f(z)=z+\sum_{n\ge2}a_nz^n$ on $\mathbb D$; set $a_0=0$, $a_1=1$. A function in $S$ is starlike if its image is starlike about $0$, and convex if its image is a convex domain. For Taylor series $f(z)=\sum a_nz^n$ and $g(z)=\sum b_nz^n$, their Hadamard convolution is $(f*g)(z)=\sum a_nb_nz^n$, and their integrated convolution is $(f\otimes g)(z)=\sum_{n\ge1}(a_nb_n/n)z^n$. These series are holomorphic on $\mathbb D$ when both original functions are.Let $n\ge1$, let $P(z)=\sum_{k=0}^n b_kz^k$ be any polynomial of degree at most $n$, and write $\|P\|_\infty=\max_{|z|=1}|P(z)|$.

Statement recorded in the supplied source.

Must $\|P*f\|_\infty\le n\|P\|_\infty$ hold for every $f\in S$ and every such polynomial $P$? [S2]

Short English statement

Does convolution with a normalized univalent function increase a degree-n polynomial’s boundary supremum norm by at most a factor n?

Sources

• S1 ULAM.AI and the UnsolvedMath Contributors, UnsolvedMath: A Curated Collection of Open Mathematics Problems, record 2306028 (AMR-022-6028). CC BY 4.0. https://huggingface.co/datasets/ulamai/UnsolvedMath.
• S2 W. K. Hayman and E. F. Lingham, Research Problems in Function Theory (2018), arXiv:1809.07200, Chapter 6, Problem 6.28, complete update and preceding notation. https://arxiv.org/abs/1809.07200.