Pointwise Remez inequality
The standard well-known Remez inequality gives an upper estimate of the values of polynomials on $[-1,1]$ if they are bounded by $1$ on a subset of $[-1,1]$ of fixed Lebesgue measure. The extremal solution is given by the rescaled Chebyshev polynomials for one interval. Andrievskii asked about the maximal value of polynomials at a fixed point, if they are again bounded $1$ on a set of fixed size. We show that the extremal polynomials are either Chebyshev (one interval) or Akhiezer polynomials (two intervals) and prove Totik-Widom bounds for the extremal value, thereby providing a complete asymptotic solution to the Andrievskii problem.
\section{Introduction}

Based on several results by T.~Erd\'{e}lyi, E.~B. Saff and himself \cite{Anii1, Anii2, Erdelyi92, ErdelyiLiSaff94}, V. Andrivskii posed the following problem.

\begin{problem}\label{prob:ExtremalFixedSet}
	Let ${\mathcal{P}}_n$ be the collection of polynomials of degree at most $n$.
	Let $E$ be a closed subset of $[-1,1]$, and $|E|$ denote its Lebesgue measure.  For $x_0\in[-1,1]$ define 
	\begin{equation}\label{eq:upperEnvSet}
	M_n(x_0,E)=\sup\{|P_n(x_0)|: P_n\in {\mathcal{P}}_n,  |P_n(x)|\leq 1 \ \text{for}\ x\in E\}. 
	\end{equation}
	For $\delta \in (0,1)$ find
	\begin{equation}\label{eq:upperEnvelope}
	L_{n,\delta}(x_0)=\sup\{M_n(x_0,E): E\ \text{such that}\ |E|\geq2-2\delta\}. 
	\end{equation}
	
	
\end{problem}
Let us comment the setting with the following three evident remarks:
\begin{enumerate}
	\item $L_{n,\delta}(x_0)$ is even, thus we will consider only $x_0\in[-1,0]$.
	\item ${\mathcal{L}}_{n,\delta}:=\sup_{x_0\in[-1,0]}L_{n,\delta}(x_0)$ is the famous Remez constant  \cite{Remes36}. It is attained at the endpoint $-1$
	by the the Chebyshev polynomial $ R_{n,\delta}(x)$ for the interval $[-1+2\delta,1]$, i.e.,
	\begin{align*}
	{\mathcal{L}}_{n,\delta}=\mathfrak{T}_n\left(\frac{1+\delta}{1-\delta}\right),\quad R_{n,\delta}(x)=\mathfrak{T}_n\left(\frac{\delta- x}{1-\delta}\right),
	\end{align*}
	where
	$\mathfrak{T}_n$ denotes the standard Chebyshev polynomial of degree $n$ associated to $[-1,1]$,
	\begin{align*}
	\mathfrak{T}_n(x)=\frac{1}{2}\left((x+\sqrt{x^2-1})^n+(x-\sqrt{x^2-1})^n\right).
	\end{align*}
	We will henceforth call $R_{n,\delta}$ the Remez polynomial. 
	\item Clearly, for Problem \ref{eq:upperEnvSet}, $ R_{n,\delta}(x)$ can not be extremal for all $x_0\in[-1,0]$ as soon as $\delta$ is sufficiently small. Let $\delta=1/2$. Then 
	$R_{n,1/2}(0)=1$, while for the so called Akhiezer polynomial $A_{2m,\delta}(x)$ we get
	$A_{2m,1/2}(0)=\mathfrak{T}_m\left(5/3\right)>1$. Recall \cite{Akh1} or \cite[Chapter 10]{AkhElliptic}
	$$
	A_{2m,\delta}(x)=\mathfrak{T}_m\left(\frac{1+\delta^2-2x^2}{1-\delta^2}\right)
	$$
	is the even Chebyshev polynomial on the set $[-1,1]\setminus(-\delta,\delta)$.
\end{enumerate}

Andrievskii raised his question on several international conferences, including Jaen Conference on Approximation Theory, 2018. The third remark highlights that the problem is non trivial. We found it highly interesting and in this paper we provide its complete asymptotic solution. 

In \cite{Akh1, Akh2} Akhiezer studied various extremal problems for polynomials bounded on two disjoint intervals $E(\alpha,\delta)=[-1,1]\setminus(\alpha-\delta,\alpha+\delta)$, $\delta-1<\alpha\le 0$, see also \cite[Appendix Section 36 and Section 38 in German translation]{Akh3}.

\begin{definition}\label{def:AkhiezerPol}
	We say that a polynomial $A_{n,\alpha,\delta}(x)$ is the Akhiezer polynomial in $E(\alpha,\delta)$ with respect to  the {\em internal} gap if it solves the following extremal problem 
	\begin{equation}\label{28may1}
	A_{n,\alpha,\delta}(x_0)=\sup\{|P_n(x_0)|: \ P_n\in{\mathcal{P}}_n,\ |P_n(x)|\le 1\ \text{for}\ x\in E(\alpha,\delta)\},
	\end{equation}
	where $x_0\in(\alpha-\delta,\alpha+\delta)$.
\end{definition}


We describe properties of Akhiezer polynomials in Section \ref{sec:CombRep}. Note, in particular, that the extremal property of $A_{n,\alpha,\delta}(x)$ does not depend on which point $x_0\in(\alpha-\delta,\alpha+\delta)$ was fixed in \eqref{28may1}.

In Section \ref{sec:Reduction} we prove the following theorem. 
\begin{theorem}\label{thm:AkhRemez}
	The extremal value $L_{n,\delta}(x_0)$ is assumed either on the Remez polynomial $R_{n,\delta}(x)$ or on an Akhiezer polynomial
	$A_{n,\alpha,\delta}(x)$ with a suitable $\alpha$.
\end{theorem}

Our main result, the asymptotic behaviour of $L_{n,\delta}(x_0)$, is presented in Section \ref{sec:Asymptotics}.
Akhiezer provided asymptotics for his polynomials associated to two intervals in terms of elliptic functions (although the concept of the \textit{complex Green function} is used already in \cite{Akh1}). Nowadays the language of potential theory is so common and widely accepted, see  e.g. \cite{Anii2, ChriSiZiYuDuke,EichJAT17,KNT, Widom}, that we will formulate our asymptotic  result using this terminology.

Let $G_{\alpha,\delta}(z,z_0)$ be the Green function in the domain $\Omega:=\overline{\mathbb{C}}\setminus E(\alpha,\delta)$ with respect to $z_0\in\Omega$. In particular, we set $G_{\alpha,\delta}(z)=G_{\alpha,\delta}(z,\infty)$. Respectively, $G_{\delta}(z)$ is the Green function of the domain 
$\overline{\mathbb{C}}\setminus E(\delta)$ with respect to infinity, where $E(\delta)=[-1+2\delta,1]$. It is well known, that
\begin{align}\label{eq:RemezRep}
R_{n,\delta}(x)=\frac{e^{n G_{\delta}(x)}+e^{-n G_{\delta}(x)}} 2,\quad x\in[-1, -1+2\delta],
\end{align}
and
\begin{align}\label{eq:GreenBoundary}
\lim_{\alpha\to -1+\delta}G_{\alpha,\delta}(x)=G_{\delta}(x),\quad x\in(-1, -1+2\delta).
\end{align}

\begin{lemma}\label{lem:UpperEnvelopeGreen}
	Let $\Phi_\delta(x)$ be the upper envelope
	\begin{align}\label{eq:upperEnvelopeGreen}
		\Phi_\delta(x)=\sup_{\alpha\in (\delta-1,0]}G_{\alpha,\delta}(x).
	\end{align}
	If for $x_0$ the supremum is attained for some internal point $\alpha\in (\delta-1,0]$, then $x_0=x_0(\alpha)$ is a unique solution of the equation
	$$
	{\partial}_\alpha G_{\alpha,\delta}(x)=0.
	$$
	Otherwise, it is attained as $\alpha\to \delta-1$ and $\Phi_\delta(x_0)=G_{\delta}(x_0)$.
\end{lemma}
Note that the only nontrivial claim in Lemma \ref{lem:UpperEnvelopeGreen} is the uniqueness of $x_0(\alpha)$. We will provide a proof of this fact in Section \ref{sec:AsympDiagram} und use it to give a description of the upper envelope $\Phi_\delta(x_0)$ in Proposition \ref{prop:UpperEnvelope}.

Our main theorem below shows that the asymptotics of $L_{n,\delta}(x_0)$ are described by the upper envelope $\Phi_\delta(x_0)$.
\begin{theorem}\label{thm:TotikWidomBounds}
	The following limit exists
	$$
	\lim_{n\to\infty}\frac 1 n\log 2L_{n,\delta}(x_0)=\Phi_\delta(x_0).
	$$
	To be more precise, if $\Phi_\delta(x_0)=G_{\delta}(x_0)$, then 
	\begin{align}\label{eq:TotikWidomRem}
	\log 2L_{n,\delta}(x_0)=n \Phi_\delta(x_0)+o(1).
	\end{align}
	If $\Phi_\delta(x_0)=G_{\delta,\alpha}(x_0)$ for some $\alpha\in(\delta-1,0]$,  then the Totik--Widom bound 
	\begin{align}\label{eq:TotikWidomAkh}
		\log 2L_{n,\delta}(x_0)=n \Phi_\delta(x_0)+O(1)
	\end{align}
	holds.
\end{theorem}

\section{Preliminaries}

In \cite{TikhYud},  the sharp constant in the Remez inequality for trigonometric polynomials on the unit circle was given. The proof was based on the following two steps: 
\begin{itemize}
	\item[(i)] the structure of possible extremal polynomials was revealed with the help of their comb representations,
	\item[(ii)] the principle of harmonic measure (a monotonic dependence on a domain extension) allows 
	to get an extremal configuration for the comb parameters in the given problem.
\end{itemize}

We also start with recalling comb representations for extremal polynomials, see Subsection \ref{sec:CombRep}. We refer the reader to \cite{ErY12, SodYud92} and the references therein for more information about the use of comb mappings in Approximation theory. However, we doubt that the step (ii) is applicable to the Andievskii problem. That is, that comparably simple arguments from potential theory such as the principle of harmonic measure, would also allow  us to bring a certain fixed configuration (comb) to an extremal one. Instead, we develop here an \textit{infinitesimal approach}, closely related to the ideas of Loewner chains \cite{ConwayCompAna,PomUnivalent}.

Using this method, we will prove in Section \ref{sec:Reduction} that the extremal solution for $L_{n,\delta}(x_0)$ is either a Chebyshev
or an Akhiezer polynomial. For this reason, we continue  in Subsection \ref{sec:Akhiezer} with the complete discussion of
Akhiezer polynomials $A_{n,\alpha,\delta}$, see \eqref{28may1}. Recall  that $A_{n,\alpha,\delta}$ is extremal on two given intervals with respect to
points $x_0 \in (\alpha-\delta,\alpha+\delta)$. Up to some trivial degenerations, it is different to the classical Chebyshev polynomial related to the same set, since the latter one is extremal for points $x_0\in {\mathbb{R}} \setminus [-1, 1]$. Generically,  $A^{-1}_{n,\alpha,\delta}([-1, 1])$ is a union of \textit{three} intervals --  
the set  contains also an additional interval outside of $[-1, 1]$. We demonstrate our infinitesimal approach showing dependence of this additional interval on $\alpha$ for fixed $n$ and $\delta$. In the language of comb domains, we will observe a rather involved dependence of the comb parameters in a simple monotonic motion of $\alpha$. The domain can undergo all possible variations: to narrow, expand, or a combination of both, see Theorem \ref{thm:ystarH0}. Essentially, this is  the base for our believe that simple arguments, in the spirit of  (ii), in the Andrievskii problem are hardly possible.  

If for fixed $x_0$ the extremal polynomial is a Remez polynomial, there is no additional interval outside of $[-1,1]$. Intuitively, the same considerations as were used in \cite{TikhYud} should work. However, a technical difference prevents a direct applications of the principle of harmonic measure. Namely, the Lebesgue measure on the circle corresponds to the harmonic measure evaluated at $0$, while in the sense of potential theory the Lebesgue measure on ${\mathbb{R}}$ corresponds to the Martin or Phragm\'{e}n-Lindel\"of measure, \cite{KoosisLogInt1}. Although we are convinced that a limiting process would allow to overcome this technical issue, we provide an alternative proof below; cf Lemma \ref{lem:Remez}. 

\subsection{Comb representation for extremal polynomials}\label{sec:CombRep}
By a regular comb, we mean a half strip with a system of vertical slits
\begin{align*}
\Pi=\{z: \Re z\in (\pi n_-,\pi n_+), \ \Im z>0 \}\setminus\{z=\pi k+iy: y\in (0,h_k),  k\in (n_-,n_+)\}
\end{align*}
where $n_+-n_-=n\in{\mathbb{N}}$ and the $k$'s are integers. We call $h_k$, $h_k\geq 0$, the height of the $k$-th slit and point out that the degeneration $h_k=0$ is possible. Let $\theta:{\mathbb{C}}_+\to\Pi$ be a conformal mapping of the upper half-plane onto a regular comb such that $\theta(\infty)=\infty$. Then
\begin{equation}\label{28oct2}
T_n(z)=\cos \theta(z)
\end{equation}
defines a polynomial of degree $n$. Let $E\subset [-1,1]$ be compact and $x_0\in[-1,1]\setminus E$. Moreover, let $(a,b)$ denote the maximal open interval in ${\mathbb{R}}\setminus E$ that contains $x_0$. Then using the technique of Markov correction terms we obtain the following representation of the extremizer of \eqref{eq:upperEnvSet}
\begin{theorem}[{\cite[7.5. Basic theorem]{SodYud92}, \cite[Theorem 3.2.]{EichYu18}}]\label{thm:extension}
	Under the normalization $T_n(x_0)>0$, there exists a unique extremal polynomial for \eqref{eq:upperEnvSet} and it only depends on the gap $(a,b)$ and not on the particular point $x_0\in(a,b)$. Moreover, let $\theta:{\mathbb{C}}_+\to\Pi$ be a comb mapping onto a regular comb $\Pi$ and $E$ be such that:
	\begin{itemize}
		\item[(i)]  $h_0>0$ and $a=\theta^{-1}(-0), b=\theta^{-1}(+0)$,
		\item[(ii)] $E$ contains at least one of the points $\theta^{-1}(k\pi\pm 0)$, for all $k\in(n_-,n_+)$,
		\item[(iii)] $E$ contains at least one of the points $\theta^{-1}(\pi n_-), \theta^{-1}(\pi n_+)$,
	\end{itemize} 	
	Then,  
	\begin{align}\label{eq:SpecialRepExtremalPoly}
	T_n(z)=\cos\theta(z)
	\end{align}
	is an extremal polynomial for $E$ and the interval $(a,b)$. Vice versa, if $T_n$ is an extremal polynomial for a set $E$ and an interval $(a,b)$, then there exists a regular comb with these properties such that \eqref{eq:SpecialRepExtremalPoly} holds.
\end{theorem}

Let us now specify to the case of Akhiezer polynomials, where $E=E(\alpha,\delta)=[-1,1]\setminus (\alpha-\delta,\alpha+\delta)$. By the above theorem, the so-called $n$-extension $E_n=E_n(\alpha,\delta):=A_{n,\alpha,\delta}^{-1}([-1,1])$ can be of the following types:
\begin{enumerate}[label=(\roman*)]
	\item there is an additional interval to the right of $1$,
	\item $E$ is extended at $1$,
	\item $E$ is extended at $-1$,
	\item there is an additional interval to the left of $-1$.
\end{enumerate} 
The corresponding comb-mapping realization is collected in the following Corollary:
\begin{corollary}\label{cor:AkhPoly}
	For a fixed set $E=E(\alpha,\delta)$ and  degree $n$ the extremal polynomial $A_{n,\alpha,\delta}(z)$ of \eqref{eq:upperEnvSet} is of the form \eqref{eq:SpecialRepExtremalPoly}. The unique comb $\Pi_{n,\alpha,\delta}$ has one of four possible shapes shown in Figure \ref{fig:cases1and2} and \ref{fig:cases3and4}. Moreover, the following normalizations distinguish the cases 
	\begin{enumerate}[label=(\roman*)]
		\item\label{it:Combcase1} $\theta^{-1}(\pi n_-)=-1$, $\theta^{-1}(\pi (n_+-1)-0)=1$, see Figure \ref{fig:cases1and2} left,
		\item\label{it:Combcase2} $\theta^{-1}(\pi n_--0)=-1$, $\theta(1)\in [\pi (n_+-1), \pi n_+]$ see Figure \ref{fig:cases1and2} right,
		\item\label{it:Combcase3} $\theta(-1)\in [\pi (n_-), \pi (n_-+1)]$, $\theta^{-1}(\pi n_--0)=-1$, see Figure \ref{fig:cases3and4} left,
		\item\label{it:Combcase4} $\theta^{-1}(\pi (n_-+1)+0)=-1$, $\theta^{-1}(\pi n_+)=1$, see Figure \ref{fig:cases3and4} right.
	\end{enumerate}
\end{corollary}

\begin{remark}
Let us denote the additional interval for the cases \ref{it:Combcase1} and \ref{it:Combcase4} by $I_n$. These cases include the limit cases $h_{n_+-1}=\infty$ and $h_{n_-+1}=\infty$, respectively.  That is, the extremal polynomial is of the degree $n-1$. Note that $A_{n,\alpha,\delta}$ has a zero on $I_n$. The aforementioned degeneration corresponds to ``the zero being at $\infty$''. On the other hand, also the degenerations $h_{n_+-1}=0$ and $h_{n_-+1}=0$ are possible, which allow for a  smooth transition to the  cases \ref{it:Combcase2} and \ref{it:Combcase3}, respectively.
\end{remark}


\subsection{Reduction to Remez polynomials}\label{sec:Remez}
As we have mentioned in the beginning of this Section, we cannot use the ideas of harmonic measure directly. We overcome this technical problem by using transition functions from the theory of Loewner chains \cite{ConwayCompAna,PomUnivalent}. Let us consider an arbitrary regular comb  $\Pi=\Pi(0)$ as in Theorem \ref{thm:extension} and let us fix a slit with height $h_k>0$. Let $h_k(\epsilon)$ be strictly monotonically decreasing such that $h_k(0)=h_k$ and $\Pi(\epsilon)$ be the comb which coincides with $\Pi$, but $h_k$ is reduced to $h_k(\epsilon)$. Let $\theta$ and $\theta_\epsilon$ be the corresponding comb mappings. Then, clearly $\Pi\subset\Pi_{\epsilon}$ and thus the transition function 
\begin{align*}
w(z,\epsilon)=w_\epsilon(z):=\theta^{-1}_\epsilon(\theta(z))
\end{align*}
is well defined and is an analytic map from ${\mathbb{C}}_+$ into ${\mathbb{C}}_+$. If we define $I(\epsilon):=\theta^{-1}([\pi k+ih_k(\epsilon), \pi k+ih_k])$ and $c_k(\epsilon)=\theta_\epsilon^{-1}(h_k(\epsilon))$, then $w_\epsilon:{\mathbb{R}}\setminus I(\epsilon)\to {\mathbb{R}}\setminus\{c_k(\epsilon)\}$ is one-to-one and onto. The arc $J(\epsilon):=\theta_\epsilon^{-1}([\pi k+ih_k(\epsilon), \pi k+ih_k])$ lies, except its endpoint in ${\mathbb{C}}_+$ and $w_\epsilon:{\mathbb{C}}_+\to{\mathbb{C}}_+\setminus J(\epsilon)$ is conformal.
\begin{lemma}\label{lem:decreasingVariation}
	The Nevanlinna function $w_\epsilon$ admits the representation 
	\begin{equation}\label{28oct4}
	w(z,\epsilon)=z+\int_{I(\epsilon)}\frac{1-z^2}{1-\xi^2}\frac{\mathrm{d}\sigma_\epsilon(\xi)}{\xi-z}.
	\end{equation}
\end{lemma}
\begin{proof}
	It follows from the above, that $w_\epsilon$ is a Nevanlinna function and that the measure in its integral representation is supported on $I(\epsilon)$. That is, we can write 
	\begin{align*}
	w_\epsilon(z)=A_\epsilon z+B_\epsilon+\int_{I(\epsilon)}\frac{\mathrm{d}\sigma_\epsilon(\xi)}{\xi-z},\quad A_\epsilon\geq 0,B_\epsilon\in{\mathbb{R}}.
	\end{align*}
	Moreover, it satisfies the normalization conditions
	\begin{align}\label{eq:transitionNormalization}
	w_\epsilon(-1)=-1,\quad w_\epsilon(1)=1,\quad w_\epsilon(\infty)=\infty,
	\end{align}
	which yields
	\begin{align}\label{eq:Aexplicit}
	B_\epsilon=1-A_\epsilon-\int\frac{\mathrm{d}\sigma_\epsilon(\xi)}{\xi-1},\quad A_\epsilon=1+\int_{I(\epsilon)}\frac{\mathrm{d}\sigma_\epsilon(\xi)}{1-\xi^2}.
	\end{align}
	From this, we obtain \eqref{28oct4}. 
\end{proof}

We are now ready to prove the easy part in Theorem \ref{thm:AkhRemez}. That is, if $x_0$ is in a gap on the boundary, then the extremal polynomial is actually the Remez polynomial. 
\begin{lemma}\label{lem:Remez}
	Let 
	\begin{align*}
	E=[b_0,1]\setminus \bigcup_{j=1}^g(a_j,b_j),\quad x_0\in[-1,b_0),\quad |E|=2-2\delta
	\end{align*}
	and $T_n(x,E)$ be the extremal polynomial for $x_0$ as described in Theorem \ref{thm:extension}. Then, 
	\begin{align*}
	R_{n,\delta}(x_0)> T_n(x_0,E).
	\end{align*}
\end{lemma}
\begin{proof}
	Let $\Pi$ be the comb associated to $E$ and let us assume that $n_-=0, n_+=n$. Noting that by Theorem \ref{thm:extension} there is no extension in the extremal gap, we obtain that $\theta(x_0)\in i{\mathbb{R}}_+$. We will show that by decreasing the slits, the set as well as the value of the extremal polynomial will increase. Let us decrease the slit corresponding to the gap $(a_j,b_j)$. By Lemma \ref{lem:decreasingVariation} this is achieved by 
	\begin{align*}
	w_\epsilon(z)=z+\int\frac{z^2-1}{\xi^ 2-1}\frac{\mathrm{d}\sigma_\epsilon(\xi)}{\xi-z}.
	\end{align*}
	Thus, a direct computation shows
	\begin{align*}
	w_\epsilon(a_{l+1})-w_\epsilon(b_{l})&=a_{l+1}-b_l+(a_{l+1}-b_l)\int \left(\frac{1}{1-\xi^2}+\frac{1}{(\xi-a_{l+1})(\xi-b_l)}\right)d\sigma_\epsilon(\xi)
	\\&>a_{l+1}-b_l,
	\end{align*}
	where we used that the support of $\mathrm{d}\sigma_\epsilon$ is included in the gap $(a_j,b_j)$. This also holds for $l=g$, with $a_{g+1}=1$. Thus, the size of the bands $[b_l,a_{l+1}]$ increases and we get that $|E_\epsilon|$ is increasing. Similarly, we see that $w_\epsilon(x_0)>x_0$. 
	Recall that $w_\epsilon(z)=\theta_\epsilon^{-1}(\theta(z))$. Using that $\theta_\epsilon$ is decreasing on $i{\mathbb{R}}_+$, we get
	\begin{align*}
	\Im \theta_\epsilon(x_0)> \Im \theta_\epsilon(w_\epsilon(x_0))=\Im\theta(x_0).
	\end{align*}
	Thus, $T_\epsilon(x):=\cos(\theta_\epsilon(x))$ satisfies $T_\epsilon(x_0)>T(x_0)$. Therefore, by this procedure, we can show that there is $b_0'$ with $1-b_0'>|E|$ and $T_n(x_0,[b_0',1])>T_n(x_0,E)$. Set $2-2\delta':=1- b_0'$ and note that $\delta'<\delta$. Since $R_{n,\delta}(x_0)$ is clearly monotonic increasing in $\delta$ it follows that $T_n(x_0,[b'_0,1])=R_{n,\delta'}(x_0)\leq R_{n,\delta}(x_0)$, which concludes the proof. 
\end{proof}
\begin{remark}
	Continuing the heuristics provided in the beginning of this section, we give an interpretation of this proof in terms of the harmonic measure. The argument in the proof relies on showing that $|E_\epsilon|>|E|$ and $w_\epsilon(x_0)>x_0$. Let us assume we were interested in the harmonic measure of $E$ instead of its Lebesgue measure. Then the above properties have a probabilistic interpretation: Namely, the first one corresponds to the probability that a particle which starts at a point which is close to infinity in the domain $\Pi_\epsilon$ and $\Pi$ and terminates on the base of the comb. From this perspective it is clear that this increases if one of the slit heights is decreased. Similarly, writing the second one as $w_\epsilon(x_0)+1>x_0+1$, it corresponds to the probability that a particle terminates in $[\theta(-1),\theta(x_0)]$ in $\Pi$ and $\Pi_\epsilon$, respectively. Again, this explains, why the value should be increased.
\end{remark}
The above interpretation uses the fact that there is no additional portion of $E$ outside of $[-1,1]$. For Akhiezer polynomials this is not true. This makes the problem essentially more delicate and we extend our tools by using the infinitesimal variation $\dot w$ as defined in \eqref{def:dotW}; cf. also Remark \ref{rem:slitheights}.

\subsection{Transformation of the Akhiezer polynomials as $\alpha$ is moving}\label{sec:Akhiezer}
Our goal is to describe the transformation of the comb as the interval starting from the center moves continuously to the left. This should correspond to a continuous transformation of the comb, which seems at the first sight impossible, since the base of the slits are positioned only at integers. We show in the following how the cases \ref{it:Combcase1}, \ref{it:Combcase2}, \ref{it:Combcase3}, \ref{it:Combcase4} can be connected by a continuous transformation: Let us start with case \ref{it:Combcase1} in the degenerated configuration $h_{n_+-1}=\infty$. Then we start decreasing $h_{n_+-1}$ until we reach $h_{n_+-1}=0$. Now we are in the situation that $\theta(1)=\pi(n_+-1)$ and we continue with case \ref{it:Combcase2}. That is, $\theta(1)$ increases until it reaches $\theta(1)=\pi n_+$. All the time $\theta(-1)=\pi n_-$. Now we continue with case \ref{it:Combcase3} and increase $\theta(-1)$ until the point $\theta(-1)=\pi (n_-+1)$. We continue with case \ref{it:Combcase4} and increase $h_{n_-+1}$ from $h_{n_-+1}=0$ to $h_{n_-+1}=\infty$. We have arrived at our initial configuration but the base of the comb was shifted from position
$(\pi n_-,\pi(n_+-1))$ to position $(\pi (n_-+1),\pi n_+)$.

\begin{figure}[h]
	\includegraphics[scale=0.3]{ucomb1.jpg}
	\caption{Comb domains for the cases (i) and (ii).}
	\label{fig:cases1and2}
\end{figure}
\begin{figure}[h]
	\includegraphics[scale=0.3]{ucomb2.jpg}
	\caption{Comb domains for the cases (iii) and (iv).}.
	\label{fig:cases3and4}
\end{figure}


We believe it is helpful to understand these transformation also on the level of $E_n$. Our initial configuration corresponds to $E=E_n$. We view this as the additional interval is hidden at $\infty$. Starting case \ref{it:Combcase1} corresponds to the motion that the position of the addition interval decreases from $+\infty$ until it joins $E$. This corresponds to the change from case \ref{it:Combcase1} to \ref{it:Combcase2}. When it is fully absorbed, we arrive at case \ref{it:Combcase3}, i.e., $E$ starts to be extended to the left until the extension separates and start to decrease to $-\infty$. And the circle starts from the beginning. 
\begin{theorem}\label{thm:transformation}
	Moving $(a,b)$ to the left corresponds to a succession of continuous transformations of the comb as described above. If $n$ is odd, we start with case \ref{it:Combcase1} and $h_{n_+-1}=\infty$. If $n$ is even, we start with case \ref{it:Combcase3} and $\theta(-1)=\pi n_-$. 
\end{theorem}
\begin{remark}
	When $\alpha=0$ by symmetry the extremal polynomial is even and all critical values are equally distributed on $[-1,-\delta]$ and $[\delta,1]$. The above procedure describes how all critical values are moved from the interval $[-1,\alpha-\delta]$ to $[\alpha+\delta,1]$ as $\alpha$ is decreasing. In the limit when $\alpha$ approaches $-1+\delta$ all critical values will be on $[-1+2\delta,1]$ and the extremal polynomial will transform into the Remez polynomial $R_{n,\delta}$. 
\end{remark}


As we have already indicated at the end of Section \ref{sec:Remez} the proof of Theorem \ref{thm:transformation} requires in addition to the transition function $w_\epsilon$ its infinitesimal transform $\dot w$. Let us introduce the notation 
\begin{align}\label{def:dotW}
w'(z,\epsilon)=\partial_zw(z,\epsilon),\quad\dot w(z,\epsilon)=\partial_\epsilon w(z,\epsilon)\quad\text{and}\quad  \dot w(z)=\dot w(z,0).
\end{align}
\begin{lemma}
	Under an appropriate choice of $\epsilon$, $w(z,\epsilon)$ is differentiable with respect to $\epsilon$ and there exists $\sigma_k>0$ such that 
	\begin{equation}\label{28oct5}
	\dot w(z):=\lim_{\epsilon\to 0}\frac{w(z,\epsilon)-w(z,0)}{\epsilon}= \frac{1-z^2}{1-c_k^2}\frac{\sigma_k}{c_k-z},
	\end{equation}
	where $c_k=c_k(0)=\theta^{-1}(\{k+ih_k\})$. 
\end{lemma}
\begin{proof}
	We note that if $k=n_-+1$ or $k=n_+-1$ and we are in the situation of Theorem \ref{thm:extension} \ref{it:Combcase1} or \ref{it:Combcase4}, then due to \eqref{eq:Aexplicit} $A_\epsilon<1$ and $A_\epsilon>1$ otherwise. In any case, we obtain from the properties of $w_\epsilon$ that $A_\epsilon$ is strictly monotonic. Therefore, if we fix $\epsilon_0$ and define 
	$
	\beta_0=\left|\int_{I(\epsilon_0)}\frac{\mathrm{d}\sigma_{\epsilon_0}(\xi)}{1-\xi^2}\right|,
	$
	then 
	$
	\epsilon\mapsto  \left|\int_{I(\epsilon)}\frac{\mathrm{d}\sigma_\epsilon(\xi)}{1-\xi^2}\right|
	$
	maps $[0,\epsilon_0]$ continuously and bijectively on $[0,\beta_0]$. Through a reparametrization we can achieve that
	$
	\left|\int_{I(\epsilon')}\frac{\mathrm{d}\sigma_{\epsilon'}(\xi)}{1-\xi^2}\right|=\frac{\epsilon'\beta_0}{\epsilon_0}.
	$
	Thus, the measures $\frac{\mathrm{d}\sigma_{\epsilon'}(\xi)}{(1-\xi^2)\epsilon'}$ are normalized and we get by passing to a subsequence 
\begin{align*}
	\lim_{k\to \infty}\frac{w(z,\epsilon'_k)-z}{\epsilon'_k}=\lim\limits_{k\to \infty}\int_{I(\epsilon'_k)}\frac{1-z^2}{1-\xi^2}\frac{1}{\xi-z}\frac{d\sigma_{\epsilon'_k}(\xi)}{\epsilon_k'}=\int\frac{1-z^2}{1-\xi^2}\frac{\mathrm{d} \sigma_\infty(\xi)}{\xi-z}.
\end{align*}
Since the support of $\sigma_{\epsilon'_k}$ shrinks to $\{c_k\}$, we get that $\sigma_\infty=\sigma_k\delta_{c_k}$, for $\sigma_k/|1-c_k^2|=\beta_0/\epsilon_0$. This concludes the proof. 
\end{proof}
We are also interested in the case of growing slit heights. This corresponds to 
\begin{align*}
u_\epsilon(x)=w_\epsilon^{-1}(x),
\end{align*}
for some transition function as defined above. Note that since $c_k(\epsilon)\to c_k$ as $\epsilon\to 0$, this inverse is well defined on ${\mathbb{R}}$ away from a vicinity of $c_k$ and we conclude since $w'(z,0)=1$ that 
\begin{align}\label{eq:uderivative}
\dot u(x)=-\dot w(x).
\end{align}

The following lemma discusses the case \ref{it:Combcase1}. We show that decreasing $h_{n_+-1}$ and simultaneously increasing $h_0$ appropriately allows us to move the gap $(\alpha-\delta,\alpha+\delta)$ to the left without changing its size. Let us set $(a,b)=(\alpha-\delta,\alpha+\delta)$ let $c$ be the critical point in $(a,b)$ and $c_+$ be the critical point outside $[-1,1]$, i.e., $c=\theta^{-1}(ih_0)$, $c_+=\theta^{-1}(n_+-1+ih_{n_+-1})$.



\begin{lemma}\label{l29oct1}
	Let $E(\alpha,\delta)$ with $\alpha\leq 0$ be such that the corresponding extremal polynomial $A_{n,\alpha,\delta}(z)$ corresponds to the case \ref{it:Combcase1}. 
	Then the infinitesimal variation $\dot w(x)$ generated by decreasing the height  $h_{n_+-1}$ under the constraint of  a constant gap length ($\delta=\text{\rm const}$) leads to an increase of $h_0$. Moreover, in this variation the gap is moving to the left, that is, $\alpha(\epsilon)$ is decreasing. 
\end{lemma}
\begin{proof}
	Let $w_{n_+-1}$ and $w_0$ be transforms corresponding to a variation of the slit heights $h_{n_+-1}$ and $h_0$. In \eqref{28oct5} we chose $\sigma_{n_+-1}>0$ and determine the sign of $\sigma_0$ by the condition of constant gap length. Thus, the total transform corresponds to $w(z,\epsilon)=w_{n_+-1}(w_0(z,\epsilon),\epsilon)$ and hence, by the previous computations, we find that 
	\begin{align}\label{eq:30Jan1}
	\dot{w}(z)=\frac{1-x^2}{1-c^2}\frac{\sigma_0}{c-x}+\frac{1-x^2}{1-c_+^2}\frac{\sigma_+}{c_+-x},
	\end{align}
	with $\sigma_+>0$. The value $\sigma_0$ is determined due to 
	the constraint $w(b,\epsilon)-w(a,\epsilon)=b-a$, i.e., $\dot w(b)=\dot w(a)$. 
	Thus, we obtain 
	\begin{align}\nonumber
	0&=\left(\frac{1-b^2}{c-b}-\frac{1-a^2}{c-a}
	\right)\frac{\sigma_0}{1-c^2}+\left(\frac{1-b^2}{c_+-b}-\frac{1-a^2}{c_+-a}
	\right)\frac{\sigma_+}{1-c_+^2}
	\\ \label{29}
	&=(b-a)\left(\frac{1+ab-c(a+b)}{(c-a)(c-b)}\frac{\sigma_0}{1-c^2}+\frac{1+ab-c_+(a+b)}{(c_+-a)(c_+-b)}\frac{\sigma_+}{1-c_+^2}\right).
	\end{align}
	Let 
	\begin{align}\label{def:ell}
	\ell(x)=1+ab-(a+b)x.
	\end{align} 
	Since $a+b=2\alpha\leq 0$, $\ell$ is non-decreasing. Moreover, since $a,b>-1$,  $\ell(-1)=(1+a)(1+b)>0$ and hence, $\ell(c)>0$ and $\ell(c_+)>0$. Using that the numerator is negative for both summands, we find that $\sigma_+>0$ implies $\sigma_0<0$. In other words,  the compression of the height $h_{n_+-1}$ leads to a growth of $h_0$. Since both summands are negative,
	$$
	\dot w(a)=\frac{1-a^2}{1-c^2}\frac{\sigma_0}{c-a}+\frac{1-b^2}{1-c_+^2}\frac{\sigma_+}{c_+-a}<0.
	$$
	Consequently, $\dot w(b)=\dot w(a)<0$, and we find that the ends of the interval $(a_\epsilon,b_\epsilon)$ are moving to the left. This concludes the proof. 
\end{proof}

Case \ref{it:Combcase4} is similar to case \ref{it:Combcase1}. However, we will encounter a certain specific phenomena. First of all, we will increase the value of $h_{n_-+1}$ to move the given gap to the left. But in order to fulfill the constraint of fixed gap length both an increasing or a decreasing of $h_0$ is possible.
\begin{lemma}\label{l29oct2}
	Let $E(\alpha,\delta)$ with $\alpha\leq 0$ be such that the corresponding extremal polynomial $A_{n,\alpha,\delta}(z)$ corresponds to the case \ref{it:Combcase4}. 
	Let $\ell$ be defined as in \eqref{def:ell} and 
	\begin{align}\label{def:eta}
	\eta:=\frac 1 2\left(\alpha+\frac{1-\delta^2}\alpha\right), \quad (\eta<-1),
	\end{align}
	be its zero. If $c_-<\eta$,  the infinitesimal variation $\dot w(x)$ generated by increasing the height  $h_{n_-+1}$ under the constraint of  a constant gap length ($\delta=\text{\rm const}$) leads to an increase of $h_0$ and it leads to a decrease of $h_0$ if $c_-\in (\eta,-1)$. In both case, the gap is moving to the left, that is, $\alpha(\epsilon)$ is decreasing. 
\end{lemma}
\begin{proof}
	As before, we find that the infinitesimal variation is of the form
	\begin{equation*}
	\dot w(x)=\frac{1-x^2}{1-c^2}\frac{\sigma_0}{c-x}+\frac{1-x^2}{1-c_-^2}\frac{\sigma_-}{c_--x},\quad \sigma_-<0.
	\end{equation*}
	Respectively, the constraint $\dot w(b)=\dot w(a)$ corresponds to
	\begin{align*}
	\frac{\ell(c)}{(c-a)(c-b)}\frac{\sigma_0}{1-c^2}+\frac{\ell(c_-)}{(c_--a)(c_--b)}\frac{\sigma_-}{1-c_-^2}=0.
	\end{align*}
	We have that $\ell(c_-)<0$ for $c_-<\eta$. Since $c_-<-1<a<c<b$, this implies that $\sigma_0<0$. As before, we conclude that 
	$
	\dot w(a)<0,
	$
	and the interval is moving to the left. If $c_-\in(\eta,-1)$, then $\ell (c_-)>0$ and therefore $\sigma_0>0$. In this case, 
	$
	\dot w(b)<0
	$
	and again the interval is moving to the left. Finally, if $c_-=\eta$, we have $\ell(c_-)=0$ and therefore \eqref{29} implies that $\sigma_0=0$.
\end{proof}
\subsubsection{The cases (ii) and (iii)}
We will discuss case \ref{it:Combcase2} and case \ref{it:Combcase3} simultaneously. Recall that case \ref{it:Combcase2} corresponds to an extension of $E$ to the right and case \ref{it:Combcase3} to an extension to the left, i.e., $\theta(1)\in (\pi(n_+-1),\pi n_+)$ or  $\theta(-1)\in (\pi n_-,\pi( n_-+1))$. Let $\Pi\equiv\Pi(\epsilon)$ but let us increase the normalization point $\theta_\epsilon(\pm 1)$. Let $w^\pm_\epsilon(z)=\theta_\epsilon^{-1}(\theta(z))$ be the corresponding transition functions.
\begin{lemma}\label{lem:variationTranslation}
	Let $w^\pm_\epsilon$ be defined as above. Then there exists $\rho^\pm_\epsilon>0$, such that 
	\begin{align}\label{eq:1June1}
	w^+_\epsilon(z)=-1+\rho^+_\epsilon(z+1),\quad w^-_\epsilon(z)=1+\rho^-_\epsilon(z-1),\quad \rho^+_\epsilon<1,\rho_\epsilon^->1
	\end{align} 
	and 
	\begin{align}\label{1jul4}
	\dot w^\pm(z)=\tau^\pm(1\pm z),\quad \tau^\pm<0.
	\end{align}
\end{lemma}
\begin{proof}
	We only prove the claim for $w^+_\epsilon$. Since $\Pi(\epsilon)\equiv \Pi(0)$, $w_\epsilon$ is just an affine transformation and using $w_\epsilon(-1)=-1$ and $w_\epsilon(\infty)=\infty$ we find \eqref{eq:1June1}. Since $\theta_\epsilon(1)>\theta(1)$, we obtain that $w_\epsilon(1)=\theta_\epsilon^{-1}(\theta(1))<\theta_\epsilon^{-1}(\theta_\epsilon(1))=1$ and thus $\rho_\epsilon<1$. Therefore,
	\begin{align*}
	\dot w(z)=\lim\limits_{\epsilon\to\infty}\frac{w_\epsilon(z)-z}{\epsilon}=(z+1)\lim\limits_{\epsilon\to\infty}\frac{\rho_\epsilon-1}{\epsilon}=\tau<0.
	\end{align*}
\end{proof}
\begin{lemma}
	Let $E(\alpha,\delta)$ with $\alpha\leq 0$ be such that the corresponding extremal polynomial $A_{n,\alpha,\delta}(z)$ corresponds to the case \ref{it:Combcase2} (case \ref{it:Combcase3}). Then the infinitesimal variation $\dot w(x)$ generated by increasing $\theta(1)$ (increasing $\theta(-1)$) under the constraint of  a constant gap length ($\delta=\text{\rm const}$) leads to an increase (decrease) of $h_0$. Moreover, in this variation the gap is moving to the left, that is, $\alpha(\epsilon)$ is decreasing. 
\end{lemma}
\begin{proof}
	We only prove the case \ref{it:Combcase2}.
	We have
	\begin{align}\label{1jul5}
	\dot w(x)=\tau (x+1)+\frac{1-x^2}{1-c^2}\frac{\sigma_0}{c-x}, \quad \tau<0.
	\end{align}
	 Applying the constraint $\dot w(a)=\dot w(b)$, we obtain
	$$
	0=(b-a)\left(\tau+\frac{1+ab-(a+b)c}{(c-a)(c-b)}\frac{\sigma_0}{1-c^2}.
	\right)
	$$
	Since $\ell(c)>0$, this implies $\sigma_0<0$ and thus $h_0$ is increasing. Moreover, $\dot w(a)<0$, which concludes the proof. 
\end{proof}
We summarize our results in the following theorem:

\begin{theorem}\label{thm:ystarH0}
	Let $\eta$ be defined by \eqref{def:eta}. Then we have:
	\begin{enumerate}[label=$\bullet$]
		\item[(i)]  $h_0$ is increasing,
		\item[(ii)]  $h_0$ is increasing,
		\item[(iii)] $h_0$ is decreasing,
		\item[(iv)]  if $c_-<\eta$, then $h_0$ is decreasing, if $c_->\eta$, then $h_0$ is increasing. 
	\end{enumerate}
In all cases $\alpha$ is decreasing.
\end{theorem}
\begin{remark}\label{rem:slitheights}
We have seen in the proof of Lemma \ref{lem:Remez} that $w_\epsilon(x_0)$ increased monotonically, if some other slit height was decreased. Theorem \ref{thm:ystarH0}, in particular  case (iii) and case (iv) show that such a monotonicity is lacking for Akhiezer polynomials, which makes the situation essentially different to the Remez extremal problem. 
\end{remark}
\section{Reduction to Akhiezer polynomials}\label{sec:Reduction}
The goal of this section is to finish the proof of Theorem \ref{thm:AkhRemez}. That is, if $x_0$ is in an internal gap, then the extremal polynomial is an Akhiezer polynomial. Recall that  in contrast to Section \ref{sec:Remez} now it is possible that there is an extension outside of $ [-1,1]$, moreover, this is a generic position. All possible types of extremizer were described in Corollary \ref{cor:AkhPoly} and the discussion above the corollary. Thus, it remains to show that on $[-1,1]$ the extremal configuration in fact only has one gap, i.e., the extremal set is of the form $E(\alpha,\delta)$ for some $\alpha\in (-1+\delta,1-\delta)$. 



First we will show that $E$ has at most two gaps on $[-1,1]$. Let $T_n(z,E)$ denote the extremizer of \eqref{eq:upperEnvSet} for the set $E$.
\begin{lemma}\label{lem:SetOutside}
	Let $E\subset [-1,1]$ and let $x_0$ be in an internal gap of $E$. Then, there exists a two-gap set $\tilde{E}$, such that 
\begin{align}\label{eq:1June10}
	T_n(x_0,E)=T_n(x_0,\tilde E),\quad |E|=|\tilde E|.
\end{align}
\end{lemma}
\begin{proof}
We will only prove the case that there are no boundary gaps. Moreover, let us assume that $E$ is already maximal, i.e., $T_n^{-1}([-1,1],E)\cap[-1,1]=E$. Let us write
\begin{align*}
E=[-1,1]\setminus\bigcup_{j=1}^g(a_j,b_j),
\end{align*}
and let us denote the gap which contains $x_0$ by $(a,b)$. Let $\Pi$ be the comb related to $E$ and let us assume that the slit corresponding to $(a,b)$ is placed at $0$ and let $c$ denote the critical point of $T_n$ in $(a,b)$. Assume that there are two additional gaps $(a_1,b_1)$ and $(a_2,b_2)$ with slit heights $h_k$ and critical points $c_k$, $k=1,2$. We will vary the slit heights $h_k$ and $h$ such that $w_\epsilon(x_0)=x_0$ and $|E_\epsilon|=|E|$. Therefore, we get
	\begin{align}\label{1jul1}
	\dot w(z)=\frac{z^ 2-1}{c_1^ 2-1}\frac{\sigma_{1}}{c_{1}-z}+\frac{z^ 2-1}{c_2^ 2-1}\frac{\sigma_{2}}{c_{1}-z}+\frac{z^ 2-1}{c^ 2-1}\frac{\sigma}{c-z}.
	\end{align}
	The constraints
	\begin{align}\label{eq:constraintsGeneral}
	\sum_{j=1}^{g}(\dot w(b_j)-\dot w(a_j))=0, \quad \dot w(x_0)=0
	\end{align}
	will guarantee that \eqref{eq:1June10} is satisfied. Our goal is to find $\sigma_1>0$ and $\sigma,\sigma_2$, such that \eqref{eq:constraintsGeneral} is satisfied. 	Let us define 
	\begin{align*}
	H(z)=\frac{(z^2-1)(z-x_0)}{(z-c_1)(z-c_2)(z-c)}.
	\end{align*}
	Due to the second constraint in \eqref{eq:constraintsGeneral}, we have 
	\begin{align}\label{eq:2Feb1}
	\dot w(z)=f(z)H(z),
	\end{align}
	where $f(z)$ is linear. Thus $f(z)=K(z-\xi)$ or $f(z)=K$. We need to check that we can always find $\xi$ such that the first constraint in \eqref{eq:constraintsGeneral} is satisfied. If 
	$
		\sum_{j=1}^{g}(H(b_j)-H(a_j))=0,
	$
	we set $f(z)=K$. If 
	$
	\sum_{j=1}^{g}(H(b_j)-H(a_j))\neq 0,
	$
	we define 
	\begin{align*}
		\xi=\frac{\sum_{j=1}^{g}(b_jH(b_j)-a_jH(a_j))}{\sum_{j=1}^{g}(H(b_j)-H(a_j))}.
	\end{align*}
		In any case, we define $\dot w$ by \eqref{eq:2Feb1} and  $\sigma_{1}$, $\sigma_2$, $\sigma$ as the residues of this function at $c_1, c_2, c$, respectively. Now we have to distinguish two cases. If $\xi\neq c_1$, we can choose $K$ so that $\sigma_1>0$ and decrease $h_1$. If at some point $\xi=c_1$, we can choose $K$ so that $\sigma_{2}$ will be decreased. Note that in this case $h_1$ remains unchanged. In particular, it won't increase again. Hence, this procedure allows us to ``erase'' all but one additional gap. 
	The case of boundary gaps works essentially in the same way, only using instead of the variations used above, variations as described in Lemma \ref{lem:variationTranslation}. 
\end{proof}

\begin{proof}[Ending Proof of Theorem \ref{thm:AkhRemez}] First, assume that the extremizer is in a generic position, that is there is an extra interval $I_n\subset {\mathbb{R}}\setminus [-1,1]$. We have
$T_n(z,E)$ with
\begin{equation}\label{1jul2}
E=[-1,1]\setminus\left((a,b)\cup(a_1,b_1)\right)
\end{equation}
and $|T_n(z,E)|\le 1$ for $z\in E\cup I_n$. The corresponding comb has three slits, which heights  we denote by $h_{out}, h, h_1$. Our goal is to show that we can reduce the value  $h_1$. Varying all three values, we get that the corresponding infinitesimal variation as described by expression \eqref{1jul1}, with the parameters $\sigma_{out},\sigma, \sigma_1$. Therefore, we still can satisfy the two constraints in \eqref{eq:constraintsGeneral}, and choose one of the parameters positive. Since the direction of the variation of the heights $h_{out}$ and $h$ is not essential for us, we choose $\sigma_1>0$, and therefore reduce the size of $h_1$.

In a degenerated case we can use variations, which were described in Section \ref{sec:Akhiezer}. Assume that $E$ is of the form \eqref{1jul2}, but the corresponding comb has only two non-trivial teeth of the heights $h$ and $h_1$. WLOG we assume that $b<a_1$. We have
$$
T_n(z,E)=\cos\theta(z), \quad \theta(\pi n_-)=-1,\quad \theta(\pi n_+)=1.
$$
We will apply the third variation, see Figure \ref{fig:cases3and4}, left. That is, we will reduce the value $h_1$ and move the preimage of $-1$ in the positive direction. According to 
\eqref{1jul4}, see also \eqref{1jul5}, we obtain
$$
\dot w(z)=-\tau(z-1)+\frac{1-z^2}{1-c_1^2}\frac{\sigma_1}{c_1-z}, \quad \tau<0,\quad \sigma_1>0.
$$
Let us point out that with an arbitrary choice of the parameter $\sigma_1>0$ and $\tau^-<0$ we get an increasing function. Therefore,
$$
\dot w(1)-\dot w(b_1)>0,\ \dot w(a_1)-\dot w(b)>0,\ \dot w(a)-\dot w(-1)>0.
$$
Thus with a small variation $\epsilon$ of this kind we get 
$$
E_\epsilon=[w_\epsilon(-1),w_\epsilon(1)]\setminus\left((w_\epsilon(a),w_\epsilon(b)\cup(w_\epsilon(a_1),w_\epsilon(b_1)\right)
$$
with
	\begin{align*}
|E_\epsilon|=&(w_\epsilon(1)-w_\epsilon(b_1))+( w_\epsilon(a_1)-w_\epsilon(b))+ (w_\epsilon(a)-w_\epsilon(-1))\\
>&(1-b_1)+ (a_1-b)+(a-(-1))=|E|.
	\end{align*}

On the other hand $\dot w(z)$ has a trivial zero $z=1$ and a second one, which we denote by $y_*$. Since
$$
\tau+\frac{1+y_*}{1-c_1^2}\frac{\sigma_1}{c_1-y_*}=0,
$$
we get
$$
y_*=y_*(\rho_1,\rho_2)=\rho_1(-1)+\rho_2 c_1,
$$
where
$$
\rho_2 =\frac{-\tau }{-\tau+\frac{\sigma_1}{1-c^2_1}},\quad \rho_1=1-\rho_2,\quad \rho_{1,2}>0.
$$
Thus with different values of $\tau<0$ and $\sigma_1>0$, we can get  an arbitrary value $y_*\in(-1,c_1)$.

Assume that $x_0<c$. We choose $\rho_1,\rho_2$ such that $y_*>c$ (recall our assumption $b<a_1$, therefore this is possible). Then $\dot w(x_0)<0$. For a small $\epsilon$ we get
$w_\epsilon(x_0)<x_0$. By definition $T_n(w_\epsilon(x_0),E_\epsilon)=T_n(x_0,E)$. Since in this range $T_n(w_\epsilon(x_0),E_\epsilon)$ is increasing, we get 
$T_n(x_0,E_\epsilon)>T_n(x_0,E)$, that is $T_n(z,E)$ was not an extremal polynomial for the Andievskii problem.

If $x_0\in (c,b)$ we choose $y_*<c$. Then $\dot w(x_0)>0$. We repeat the same arguments, having in mind that in this range $T_n(z,E)$ is decreasing. Thus, we arrive to the same contradiction $T_n(x_0,E_\epsilon)>T_n(x_0,E)$.
\end{proof}

\section{Asymptotics}\label{sec:Asymptotics}
The goal of this section is to prove Theorem \ref{thm:TotikWidomBounds} and to give a description of the upper envelope \eqref{eq:upperEnvelopeGreen}. 
\subsection{Totik-Widom bounds}
We need an asymptotic result for Akhiezer polynomials. Recall that $E(\alpha,\delta)=[-1,1]\setminus(\alpha-\delta,\alpha+\delta)$ and let $A_{n,\alpha,\delta}$ denote the associated Akhiezer polynomial. Moreover, we denote $\hat E_n(\alpha,\delta)=A_{n,\alpha,\delta}^{-1}([-1,1])=E(\alpha,\delta)\cup I_n$ and $\hat \Omega_n=\overline{{\mathbb{C}}}\setminus\hat E_n$. We have described the shape of  the additional interval $I_n$ in Theorem \ref{thm:extension} and the discussion below. The following Lemma is known in a much more general context \cite[Proposition 4.4.]{ChriSiZiYuDuke}.
\begin{lemma}
	Let $\alpha,\delta$ be fixed and  $A_{n,\alpha,\delta}$ be the associated Akhiezer polynomial. Let $x_n\in I_n$ denote the single zero of $A_{n,\alpha,\delta}$ outside of $[-1,1]$. For any $y\in (\alpha-\delta,\alpha+\delta)$
	\begin{align}\label{eq:AkhiezerRep}
	\log 2|A_{n,\alpha,\delta}(y)|=nG(y,\infty,\hat\Omega_n)+o(1),
	\end{align} 
If we pass to a subsequence such that $\lim\limits_{k}x_{n_k}=x_\infty\in({\mathbb{R}}\cup\{\infty\})\setminus(-1,1)$, then  
	\begin{align}\label{eq:GreenAsymptotic}
	\lim\limits_{k\to\infty}n_k(G(y,\infty;\Omega(\alpha,\delta))-G(y,\infty;\hat\Omega_{n_k}))=G(y,x_\infty,\Omega(\alpha,\delta)),
	\end{align} 
	where $\Omega(\alpha,\delta)=\overline{{\mathbb{C}}}\setminus E(\alpha,\delta)$. 
\end{lemma}

\begin{proof}[{Proof of Theorem \ref{thm:TotikWidomBounds}}]
We start with the case that the sup in \eqref{eq:upperEnvelopeGreen} is attained at some internal point $\alpha_0\in (-1+\delta,0]$. Let $T_{n,\delta,x_0}$ be the extremizer of \eqref{eq:upperEnvelope} and set $\hat E_n=T_{n,\delta,x_0}^{-1}([-1,1])$ and $\hat \Omega_n=\overline{{\mathbb{C}}}\setminus \hat E_n$.  Due to Theorem \ref{thm:AkhRemez}, $\hat E_n$ is either $[-1+2\delta,1]$ or $\hat E_n=E(\alpha_n,\delta)\cup I_n$ for some $\alpha_n$ and some additional interval outside of $[-1,1]$. In the following, we will denote $G(x,\infty,\Omega)=G(x,\Omega)$ and we note that by definition $G(x,\Omega(\alpha,\delta))=G_{\alpha,\delta}(x)$. Put $E_n=\hat E_n\cap [-1,1]$ and $\Omega_n=\overline{{\mathbb{C}}}\setminus E_n$. Due to extremality of $\alpha_0$, we have
\begin{align*}
G(x_0,\Omega(\alpha_0,\delta))\geq G(x_0,\Omega_n).
\end{align*}
  Since $\hat{\Omega}_n\subset\Omega_n$, we get 
\begin{align*}
G(x_0,\Omega_n)\geq G(x_0,\hat \Omega_n).
\end{align*}
Using \eqref{eq:AkhiezerRep} or  \eqref{eq:RemezRep} and the extremality property of $T_{n,\delta,x_0}(x_0)$, we get
 \begin{align*}
 nG(x_0,\hat \Omega_n)&=\log 2|T_{n,\delta,x_0}(x_0)|+o(1)\\
 &\geq \log 2|T_{n}(x_0,E(\alpha_0,\delta))|+o(1).
 \end{align*}
Equation \eqref{eq:GreenAsymptotic} yields 
 \begin{align*}
  \log 2|T_n(x_0,E(\alpha_0,\delta))|\geq nG(x_0,\Omega(\alpha_0,\delta))-C+o(1),
 \end{align*}
 where 
 \begin{align}\label{eq:WidomConstant}
 C=\sup_{x\in({\mathbb{R}}\cup\{\infty\})} G(x,x_0,\Omega(\alpha_0,\delta)).
 \end{align}
By definition $|T_{n,\delta,x_0}(x_0)|=L_n(x_0)$ and therefore combining all inequalities finishes the proof of \eqref{eq:TotikWidomAkh}. The proof for the boundary case is essentially the same. Only in the last step, due to representation \eqref{eq:RemezRep}, there is no extra constant C (due to the fact that there is no extension of the domain) and we get \eqref{eq:TotikWidomRem}.
\end{proof}



\subsection{The asymptotic diagram}\label{sec:AsympDiagram}
In this section we introduce an asymptotic diagram, which provides a  description of the upper envelope $\Phi_\delta(x)$.  First of all we prove Lemma \ref{lem:UpperEnvelopeGreen}. 
\begin{proof}[Proof of Lemma \ref{lem:UpperEnvelopeGreen}]
	Recall the explicit representation of Green functions for two intervals as elliptic integrals. For $a=\alpha-\delta, b=\alpha+\delta$ we have
	\begin{align}\label{eq:GreenElliptic}
	G_{\alpha,\delta}(x)=\int_a^x\frac{(c-\xi)d\xi}{\sqrt{(\xi^2-1)(\xi-a)(\xi-b)}}, 
	\end{align}
	where
	\begin{align}\label{eq:CriticalPoint}
	c=c(\alpha)=\frac{\int_a^b\frac{\xi d\xi}{\sqrt{(\xi^2-1)(\xi-a)(\xi-b)}}}{\int_a^b\frac{d\xi}{\sqrt{(\xi^2-1)(\xi-a)(\xi-b)}}}.
	\end{align}
	
	
	
	If for fixed $x_0$ the sup is attained at an interval point, then clearly 
	\begin{align}\label{eq:partialGreen}
	{\partial}_\alpha G_{\alpha,\delta}(x)=0
	\end{align}
	holds. Thus, it remains to show that \eqref{eq:partialGreen} has a unique solution $x_0(\alpha)$. Due to \eqref{eq:GreenElliptic} we have 
	$$
	{\partial}_\alpha\log {\partial}_xG_{\alpha,\delta}(x)=\frac{\dot c}{c-x}-\frac 1 2\frac{\dot a}{a-x}-\frac 1 2\frac{\dot b}{b-x}
	$$
	Since $\dot a=\dot b=1$ we get
	\begin{equation}\label{24jun1}
	{\partial}_x  {\partial}_\alpha G_{\alpha,\delta}(x)=\left\{\dot c+\frac{(c-x)(x-\alpha)}{(x-a)(x-b)}\right\}\frac 1{\sqrt{(x^2-1)(x-a)(x-b)}}.
	\end{equation}
	Note that
	$$
	\inf_{x\in(a,b)}\frac{(c-x)(x-\alpha)}{(x-a)(x-b)}>-1.
	$$
	Since  the distance $|c(\alpha)-b(\alpha)|$ monotonically increases with $|\alpha|$, we have $\dot c(\alpha)>1$. Therefore, we get ${\partial}_x{\partial}_\alpha G_{\alpha,\delta}(x)>0$ in \eqref{24jun1}. That is, ${\partial}_\alpha G_{\alpha,\delta}(x)$ is increasing for $x\in (a,b)$. Moreover, $\lim_{x\to a} {\partial}_\alpha G_{\alpha,\delta}(x)=-\infty$ and  $\lim_{x\to b} {\partial}_\alpha G_{\alpha,\delta}(x)=+\infty$ and we obtain that a zero $x_0(\alpha)$
	of the function ${\partial}_\alpha G_{\alpha,\delta}(x)$ in $(a,b)$
	exists and is unique. 
\end{proof}

Thus, the limiting behavior of $L_{n,\delta}(x_0)$, $n\to\infty$, can be distinguished by a diagram with two curves, which we describe in the following proposition, see also Example \ref{ex1}.

\begin{proposition}\label{prop:UpperEnvelope} In the range  $x\in[-1,0]$,
	$\Phi_\delta(x)$ represents the upper envelope of the following two curves.
	The first one is given explicitly
	\begin{equation}\label{22jun1}
	y=G_\delta(x)=\log \left(\frac{\delta-x}{1-\delta}+\sqrt{\left(\frac{\delta-x}{1-\delta}\right)^2-1}\right),
	\end{equation}
	and the second one is given in parametric form
	\begin{equation}\label{22jun2}
	x=x_0(\alpha),\quad y=G_{\alpha,\delta}(x_0(\alpha)), \quad \alpha\in (-1+\delta,0].
	\end{equation}
	Moreover, the end points of the last curve are given explicitly by
	\begin{equation}\label{22jun3}
	\left(0,\frac 1 2\log\frac{1+\delta}{1-\delta}\right) \ \text{for}\ \alpha=0,\quad (-1+2\delta,0)\ \text{for}\ \alpha\to -1+\delta.
	\end{equation}
\end{proposition}

\begin{proof}
	According to Lemma \ref{lem:UpperEnvelopeGreen}, if $\Phi_\delta(x)$ is assumed at the end point $\alpha\to-1+\delta$, then it is the Green function in the complement to the interval $[-1+2\delta,1]$, which has a well known representation \eqref{22jun1}. Alternatively, $x=x_0(\alpha)$ and $\Phi_\delta(x)=G_{\alpha,\delta}(x_0(\alpha))$ for a certain $\alpha$ in the range, what is \eqref{22jun2}.
	
	Further, for $\alpha=0$, $G_{0,\delta}(x)$ is the Green function related to  two symmetric intervals. Due to the symmetry $x_0(0)=0$ and 
	$G_{0,\delta}(x)$ can be reduced to the Green function of a single interval $[\delta^2,1]$. We get
	$$
	G_{0,\delta}(0)=\frac 1 2\log\frac{1+\delta}{1-\delta}.
	$$
	
	Thus, it remains to prove the last statement of the proposition. Our proof is based on expressing ${\partial}_\alpha G_{\alpha,\delta}$ in terms of elliptic integrals and manipulating those.
	It will be convenient to make a standard substitution in \eqref{eq:GreenElliptic}. Let $\xi(\psi,\alpha)=\alpha-\delta\cos\psi$, then
	\begin{align}\label{eq:2June18}
	G_{\alpha,\delta}(x)=\int_{\phi(x,\alpha)}^\pi\frac{\xi(\psi,\alpha)-c(\alpha)}{\sqrt{1-\xi(\psi,\alpha)^2}}d\psi,\quad \phi(x,\alpha)= \arccos\frac{\alpha-x}{\delta}.
	\end{align}
	Differentiating \eqref{eq:2June18} we get
	\begin{align}\label{24feb1}
	{\partial}_\alpha G_{\alpha,\delta}(x)=I_1(x,\alpha)+I_2(x,\alpha)-\dot c(\alpha) I_3(x,\alpha)
	\end{align}
	where
	\begin{align*}
	I_1(x,\alpha)=&\int_{\phi(x,\alpha)}^\pi\frac{1- c(\alpha)\xi(\psi,\alpha)}{(1-\xi(\psi,\alpha)^2)\sqrt{1-\xi(\psi,\alpha)^2}}d\psi
	\\
	I_2(x,\alpha)=&\frac{x-c(\alpha)}{\sqrt{(1-x^2)(\delta^2-(x-\alpha)^2)}},
	\quad I_3(x,\alpha)=\int_{\phi(x,\alpha)}^\pi\frac{d\psi}{\sqrt{1-\xi(\psi,\alpha)^2}}.
	\end{align*}
	Let  $\epsilon=\epsilon(\alpha)$ be such that $\epsilon\to 0$ as $\alpha\to  -1+\delta$, to be chosen later on, and   let 
	\begin{align}\label{eq:2April1}
	x(\alpha)=\alpha-\delta\cos(\pi-\epsilon).
	\end{align} 
	Direct estimations  show that 
	\begin{equation*}
	I_1(x(\alpha),\alpha)=o(1),\quad I_2(x(\alpha),\alpha)=\frac{a_1(\alpha)}{\epsilon}+o(1),
	\end{equation*}
	where
	$\lim_{\alpha\to -1+\delta}a_1(\alpha)>0$. The integral $I_3(x(\alpha),\alpha)$ also tends to zero, but we will need  a more precise decomposition
	\begin{equation}\label{22jun9}
	I_3(x(\alpha),\alpha)=b_1(\alpha)\epsilon+\frac{b_2(\alpha)}{3}\epsilon^3+O(\epsilon^5)
	\end{equation}
	with $\lim_{\alpha\to -1+\delta}b_1(\alpha)>0$.  
	Indeed, we have
	\begin{align*}
	I_3= \int_{\phi(x(a),\alpha)}^\pi&\frac{d\psi}{\sqrt{1-\xi(\psi,\alpha)^2}}=\int_{0}^\epsilon\frac{d\psi}{\sqrt{1-(\alpha+\delta\cos\psi)^2}}.
	\end{align*} 
	Therefore, for $\psi$ sufficiently small we can use the expansion 
	$$
	\frac{1}{\sqrt{1-(\alpha+\delta\cos\psi)^2}}=b_1(\alpha)+b_2(\alpha)\psi^2+O(\psi^4),
	$$ 
	where $O(\psi^4)$ is uniform in $\alpha$. We get \eqref{22jun9}. In the same time, 
	$$
	\lim_{\alpha\to -1+\delta}b_1(\alpha)=\frac{1}{\sqrt{1-(-1+2\delta)^2}}>0.
	$$ 
	
	
	
	
	Collecting all three terms, we obtain
	\begin{align}
	{\partial}_\alpha G_{\alpha,\delta}(x(\alpha))&=\frac{a_1(\alpha)}{\epsilon}-\dot c(\alpha)\left(b_1(\alpha)\epsilon+\frac{b_2(\alpha)}{3}\epsilon^3\right)+o(1) \nonumber\\
	&=\kappa_1(\alpha)\left(\frac{\kappa(\alpha)}{\epsilon}-\dot c(\alpha)\left(\frac{\epsilon}{\kappa(\alpha)}+\frac{\kappa_2(\alpha)}{3}\epsilon^3\right)\right)+o(1),\label{22jun5}
	\end{align}
	where $\kappa_1(\alpha)=\sqrt{a_1(\alpha)b_1(\alpha)}$, $\kappa(\alpha)=\sqrt{a_1(\alpha)/b_1(\alpha)}$ and $\kappa_2(\alpha)$ is chosen appropriately. Recall that $\kappa_1(\alpha)$ and $\kappa(\alpha)$ have positive and finite limits as $\alpha\to -1+\delta$. 
	
	Similar manipulations with elliptic integrals show that
	$\dot c(\alpha)\to +\infty$ as $\alpha\to-1+\delta$. In fact,   the rate of this divergence is (see Appendix)
	\begin{align*}
	\dot c(\alpha)\simeq (\varepsilon\log \varepsilon)^{-2}, \quad \alpha=-1+\delta(1+\frac 1 2 \varepsilon^2),\  \varepsilon\to 0,
	\end{align*}
	but such accuracy is not needed  for our purpose. 
	
	Having these estimations, we can find 
	a suitable interval $[x_-(\alpha),x_+(\alpha)]$, with the limit
	\begin{equation}\label{22jun11}
	\lim_{\alpha\to -1+\delta}x_\pm(\alpha)= -1+2\delta,
	\end{equation}
	such that
	${\partial}_\alpha G_{\alpha,\delta}(x)$ changes its sign in it and therefore this interval contains the unique solution of the equation ${\partial}_\alpha G_{\alpha,\delta}(x)=0$.
	
	Define  
	\begin{align*}
	\epsilon_\pm(\alpha)=\frac{\kappa(\alpha)}{\sqrt{\dot c(\alpha       )}\pm 1}.
	\end{align*}
	Since  $\dot c(\alpha)\epsilon_\pm(\alpha)^3=o(1)$, \eqref{22jun5} gets the form
	\begin{align}\nonumber
		\kappa_1(\alpha)^{-1}{\partial}_{\alpha}G(x_\pm(\alpha),\alpha)&=\sqrt{\dot c(\alpha)}\pm 1-\frac{\dot c(\alpha)}{\sqrt{\dot c(\alpha)}\pm 1}+o(1)\\
		&=\frac{\pm 2\sqrt{\dot c(\alpha)}+1}{\sqrt{\dot c(\alpha)}\pm 1}+o(1),\label{eq:July3}
	\end{align}
	where $x_\pm(\alpha)$ is defined by \eqref{eq:2April1} for $\epsilon=\epsilon_\pm(\alpha)$. For $\dot c(\alpha)$ sufficiently large, we obtain  in \eqref{eq:July3} both positive and negative values, and simultaneously  
	we have  \eqref{22jun11}. Consequently,  $x_0(\alpha)\to -1+2\delta$. 
	
\end{proof}

\begin{corollary}\label{cor43}
	Let $\delta_*$ be a unique solution of the equation
	$$
	\delta_*^2=\frac{1-\delta_*}{1+\delta_*},\quad \delta_*\in(0,1),
	$$
	numerically $\delta_*=0.543689...$. Then for $\delta<\delta_*$ $\Phi_{\delta}(x)$ does not coincide identically with $G_\delta(x)$ (in  its range $x\in (-1,0]$). 
	
	On the other hand, for an arbitrary $\delta>0$ there exists $x_*(\delta)>-1$ such that  $\Phi_{\delta}(x)$ and $G_\delta(x)$ coincide in
	$[-1,x_*(\delta))$.
\end{corollary}


\begin{proof}
	The first claim follows by a direct comparison of $G_\delta(0)$ and $G_{0,\delta}(0)$, see \eqref{22jun1} and \eqref{22jun3}.
	
	For a fixed $\delta$ we define 
	\begin{equation}\label{22jun7}
	x_*(\delta)=\inf_{\alpha\in(-1+\delta,0]} x_0(\alpha)
	\end{equation}
	By \eqref{22jun3} and continuity $x_*(\delta)>-1$. Thus the curve \eqref{22jun2} does not intersect the range $[-1,x_*(\delta))$.
\end{proof}

\begin{remark}
	We do not claim here that $[-1,x_*(\delta))$ with $x_*(\delta)$ given by \eqref{22jun7} is the biggest possible interval on which $\Phi_\delta(x)=G_\delta(x)$, see Example \ref{ex1} bellow for details.
\end{remark}

\begin{example}\label{ex1} A numerical example of the  asymptotic diagram for $\delta=0.4$ is given in Figure \ref{fig:Regions} (diagrams for other values of $\delta<0.5$ look pretty the same).
	Let $x_s(\delta)$ be the switching point between two (Remez and Akhiezer) extremal configurations, i.e.,
	\begin{figure}
		\begin{center}
			\includegraphics[scale=0.5]{d4Box.pdf}
			\caption{The asymptotic diagram for $\delta=0.4$.}
			\label{fig:Regions}
		\end{center}	
	\end{figure}
\end{example}
$$
\Phi_\delta(x_s)=G_\delta(x_s(\delta))=G_{\alpha_s,\delta}(x_0(\alpha_s)),\quad x_0(\alpha_s)=x_s(\delta).
$$
Recall that $x_*(\delta)$ was defined in \eqref{22jun7}.
On the diagram we can observe the following four regions:
$(-1, x_*(\delta)), (x_*(\delta),x_s(\delta)), (x_s(\delta),-1+2\delta)$ and $(-1+2\delta,0)$. Note that we discuss the case $-1+2\delta<0$, i.e., $\delta<0.5<\delta_*$.

\begin{itemize}
	\item[a)] $x\in (-1+2\delta,0)$. In this case $x\in (\alpha-\delta,\alpha+\delta)$ implies that such an interval  is a subset of $(-1,1)$ even in the leftmost position $\alpha=-\delta+x$. Therefore, the function $G_{\alpha,\delta}(x)$ for a fixed $x$ and $\alpha\in (x-\delta,x+\delta)$ attains its maximum at some internal point and we get the case ${\partial}_\alpha G_{\alpha,\delta}(x)=0$.
	\item[b)] $x\in(x_s(\delta),-1+2\delta)$. As soon as $x<-1+2\delta$ the left boundary for a possible value of $\alpha$ is given by $\alpha-\delta=-1$. Respectively the supremum of $G_{\alpha,\delta}(x)$ for a fixed $x$ can be attained either at an internal point $\alpha\in(-1+\delta,x+\delta)$ or as the limit at the left end point. In this range it is still attained at an internal point. Note that besides the local maximum the function gets a local minimum (the second branch of  the curve \eqref{22jun2} with the same coordinate $x_0(\alpha)=x$).
	\item[c)] $x\in (x_*(\delta),x_s(\delta))$. For such $x$ the function $G_{\alpha,\delta}(x)$  has still  its local maximum and minimum, but the biggest value is attained at the boundary point $\alpha=-1+\delta$, i.e., $\Phi_\delta(x)=G_\delta(x)$.
	\item[d)] $x\in(-1,x_*(\delta))$. At  $x=x_*(\delta)$ the points of local maximum and minimum  of  the function $G_{\alpha,\delta}(x)$ collide, that is, in fact, they produce  an inflection point. The function $G_{\alpha,\delta}(x)$ become monotonic in this region. Its supremum is  the limit at the boundary point $\alpha=-1+\delta$, see the second claim in Corollary \ref{cor43}.
\end{itemize}



2020-07-06T02:12:09.000
2007
2007.01607
en
https://arxiv.org/abs/2007.01607
The standard well-known Remez inequality gives an upper estimate of the values of polynomials on $[-1,1]$ if they are bounded by $1$ on a subset of $[-1,1]$ of fixed Lebesgue measure. The extremal solution is given by the rescaled Chebyshev polynomials for one interval. Andrievskii asked about the maximal value of polynomials at a fixed point, if they are again bounded $1$ on a set of fixed size. We show that the extremal polynomials are either Chebyshev (one interval) or Akhiezer polynomials (two intervals) and prove Totik-Widom bounds for the extremal value, thereby providing a complete asymptotic solution to the Andrievskii problem.
Classical Analysis and ODEs (math.CA)
Pointwise Remez inequality
Qwen/Qwen-72B
1. YES
2. YES