The growth order of the optimal constants in Tur\'{a}n-Er\H{o}d type inequalities in $L^q(K,\mu)$

TL;DR

This paper investigates the growth order of optimal constants in Turán-type inequalities within $L^q(K, u)$ norms, establishing that the oscillation order does not exceed $n$ for general compact domains, extending previous results beyond convex sets.

Contribution

It proves that the oscillation order in $L^q$ norms is at most $n$ for all compact domains, broadening the scope from convex to arbitrary compact sets.

Findings

Oscillation order is at most $n$ for all compact domains.

Established lower bounds of order $n/ ext{log} n$ for convex domains.

Extended Turán-type inequality results to non-convex compact sets.

Abstract

In 1939 Tur\'{a}n raised the question about lower estimations of the maximum norm of the derivatives of a polynomial $p$ of maximum norm $1$ on the compact set $K$ of the complex plain under the normalization condition that the zeroes of $p$ in question all lie in $K$. Tur\'{a}n studied the problem for the interval $I=[-1,1]$ and the unit disk $D$ and found that with $n$ denoting the degree of $p$ and with $n$ tending to infinity, the precise growth order of the minimal possible derivative norm (oscillation order) is $\sqrt{n}$ for $I$ and $n$ for $D$. Er\H{o}d continued the work of Tur\'{a}n considering other domains. Finally, in 2006, Hal\'{a}sz and R\'{e}v\'{e}sz proved that the growth of the minimal possible maximal norm of the derivative is of order $n$ for all compact convex domains. Although Tur\'{a}n himself gave comments about the above oscillation question in $L^q$ norms, till recently results were known only for $D$ and $I$. Recently, we have found order $n$ lower estimations for several general classes of compact convex domains, and proved that in $L^q$ norm the oscillation order is at least $n/\log n$ for all compact convex domains. In the present paper we prove that the oscillation order is not greater than $n$ for all compact (not necessarily convex) domains $K$ and $L^q$-norm with respect to any measure supported on more than two points on $K$.