Widom factors for generalized Jacobi measures

Abstract: We study optimal lower and upper bounds for Widom factors $W_{\infty,n}(K,w)$ associated with Chebyshev polynomials for the weights $w(x)=\sqrt{1+x}$ and $w(x)=\sqrt{1-x}$ on compact subsets of $[-1,1]$. We show which sets saturate these bounds. We consider Widom factors $W_{2,n}(\mu)$ for $L_2(\mu)$ extremal polynomials for measures of the form $d\mu(x)=(1-x)^\alpha (1+x)^\beta d\mu_K(x)$ where $\alpha+\beta\geq 1$, $\alpha,\beta\in\mathbb{N}\cup \{0\}$ and $\mu_K$ is the equilibrium measure of a compact regular set $K$ in $[-1,1]$ with $\pm 1\in K$. We show that for such measures the improved lower bound $[W_{2,n}(\mu)]^2\geq 2S(\mu)$ holds. For the special cases $d\mu(x)=(1-x^2)d\mu_K(x)$, $d\mu(x)=(1-x)d\mu_K(x)$, $d\mu(x)=(1+x)d\mu_K(x)$ we determine which sets saturate this lower bound and discuss how saturated lower bounds for $[W_{2,n}(\mu)]^2$ and $W_{\infty,n}(K,w)$ are related.

\section{Introduction}
For the basic notions of potential theory, see \cite{Ran95,ST97}. Let $K$ be a compact subset of $\mathbb R$. We  denote the logarithmic capacity of $K$ by ${C}(K)$ . Let ${C}(K)>0$ and let us denote the equilibrium measure of $K$ by $\mu_K$.  The Green function for the domain $\overline{\mathbb C}\setminus K$ is given by
\begin{align}
	g_K(z) = -\log{C}(K)+\int\log|z-\zeta|\,d\mu_K(\zeta), \quad z\in\mathbb C.
\end{align}
Let $\mu$ be a finite (positive) Borel measure with $\mathrm{supp}(\mu)=K$ and let us consider the Lebesgue decomposition of $\mu$ with respect to $\mu_K$: $$d\mu=f d\mu_K+d\mu_s.$$
We define exponential relative entropy function for $\mu$ by
\begin{align}
	S(\mu):=\exp\left[{\int \log{f(x)}\,d\,\mu_K(x)}\right].
\end{align}

We use $\| \cdot \|_K$ to denote the sup-norm on $K$. Let $w$ be a weight function (non-negative and continuous on $K$ and positive on a non-polar subset of $K$) on $K$. Then $n$-th Chebyshev polynomial with respect to $w$ is the minimizer of $\|wP_n\|_K$ over all monic polynomials $P_n$ of degree $n$ and we denote it by $T_{n,w}^{(K)}$. Let
\begin{align}
t_n(K,w):= \|wT_{n,w}^{(K)}\|_K.
\end{align}
We define $n$-th Widom factor for the sup norm with respect to weight $w$ on $K$ by
\begin{align}
W_{\infty,n}(K,w):= \frac{t_n(K,w)}{{C}(K)^n}.
\end{align}

For the weight $w\equiv 1$, we drop $w$ and use the notation $T_n^{(K)}$, $t_n(K)$ and $W_{\infty,n}(K)$ respectively.

 For  a finite (positive) Borel measure $\mu$ with $\mathrm{supp}(\mu)=K$, $n$-th monic orthogonal polynomial for $\mu$ is the minimizer of $\|P_n\|_{L_2(\mu)}$ over all monic polynomials of degree $n$ and we  denote it by $P_n(\cdot;\mu)$. We define $n$-th Widom factor for $\mu$ by
\begin{align}
	W_{2,n}(\mu):= \frac{\|P_n(\cdot;\mu)\|_{L_2(\mu)}}{{C}(K)^n}.
\end{align}
For a deeper discussion of Widom factors we refer the reader to \cite{Alp17,Alp19,AlpGon15,AlpZin20,AlpZin2,And17,AndNaz18,Chr12,CSYZ19,CSZ11,CSZ17,CSZ3,CSZ4,GonHat15,Sch08,SchZin,Tot09,Tot11,Tot14,TotYud15,Wid69}.

For a regular (with respect to the Dirichlet problem) compact subset $K$ of $\mathbb R$, let $a=\inf K$, $b=\sup K$. Then $K$ can be written as
\begin{align}
	\displaystyle	K=[a,b]\setminus \cup_j I_j,
\end{align}
where the $I_j$'s are open disjoint intervals in $(a,b)$ that are bounded components of  the complement of $K$ in $\mathbb R$. Let $c_j$ be the critical point of $g_K$ in $I_j$. Then $K$ is called a Parreau-Widom set if
\begin{align}
	\mathrm{PW}(K):=\sum_j g_K(c_j)<\infty.
\end{align}

For the weight $w(x)\equiv 1$, the lower and upper bounds for $W_{\infty,n}(K,w)$ were studied in \cite{CSZ17,Sch08,Tot11} and the final version of these results can be found in \cite[eq.s (1.4), (4.1),  Theorem 1.1, Theorem 4.3]{CSZ3}. Optimal lower and upper bounds of $W_{\infty,n}(K,w)$ for $w(x)=\sqrt{1-x^2}$ have been studied in \cite[Theorem 3]{SchZin}. Our first result (see also Theorem \ref{thm2} for $w(x)=\sqrt{1-x}$) is as follows:

\begin{theorem}\label{thm1}
	Let $K$ be a compact non-polar subset of $[-1,1]$ and
	\begin{align}
		w(x)=\sqrt{1+x}.
	\end{align}
	Then

	\begin{enumerate}[$(i)$]
		\item For each $n\in\mathbb N$
		\begin{align}\label{cap1}
			W_{\infty,n}(K,w)\geq 2\sqrt{{C}(K)}.
		\end{align}
		Equality is attained in \eqref{cap1} if and only if there exists a polynomial $S_n$ of degree $n$ such that
		\begin{align}\label{leb}
			K=\{z\in\mathbb C:(1+z)S_n^2(z)\in[0,1]\}.
		\end{align}
		\item In addition, let us assume that $K$ is a regular Parreau-Widom set. Then
		\begin{align}\label{cap2}
			W_{\infty,n}(K,w)\leq 2 \sqrt{{C}(K)} e^{(1/2)g_K(-1)+ \mathrm{PW}(K)}.
		\end{align}
		Equality is attained  in \eqref{cap2} if and only if $K=[-1,b]$ for some $b\in (-1,1]$.
	\end{enumerate}

\end{theorem}

By \cite[Theorem 1.2]{Alp19} (see also \cite[Theorem 2.1]{AlpZin20}) for any finite Borel measure $\mu$ and $n\in \mathbb N$ the universal lower bound
\begin{align}\label{uni}
	[W_{2,n}(\mu)]^2\geq S(\mu)
\end{align}
holds. Besides, for any compact non-polar set $K$ in $\mathbb R$ and $n\in \mathbb N$
\begin{align}\label{uni2}
\inf_\mu	[W_{2,n}(\mu)]^2/S(\mu)=1
\end{align}
where the infimum is taken over measures $d\mu(x)=w(x)\,d\mu_K(x)$ with a polynomial $w(x)$ positive on $K$, see  \cite[Theorem 2.2]{AlpZin2}.
On the other hand, we can single out some measures (known examples from Sections 3-5 in \cite{AlpZin20} are $\mu_K$ when $K\subset \mathbb R$, isospectral torus of a finite gap set, Jacobi measures for certain parameters) such that the  improved lower bound
\begin{align}\label{uni3}
	[W_{2,n}(\mu)]^2\geq 2 S(\mu)
\end{align}
holds for each $n\in\mathbb N$. In our second main result, we show that for another family of measures, \eqref{uni3} is satisfied.
\begin{theorem}\label{thm4}
	Let $K$ be a regular compact set such that $K\subset [-1,1]$ and $\pm 1\in K$. Let $\alpha, \beta \in \mathbb N\cup \{0\}$, $\alpha+\beta\geq 1$ and
	\begin{align}\label{bor}
		d\mu(x)=(1-x)^{\alpha} (1+x)^\beta d\mu_K(x).
	\end{align}
	Then
	\begin{align}\label{zor2}
		[W_{2,n}(\mu)]^2\geq 2 S(\mu).
	\end{align}
\end{theorem}
Note that $(1-x)^\alpha (1+x)^\beta \,d\mu_{[-1,1]}=\frac{1}{\pi}(1-x)^{\alpha-1/2}(1+x)^{\beta-1/2}dx\restriction_{[-1,1]}$.  So these measures are indeed Jacobi measures when $K=[-1,1]$ and the measures of the form \eqref{bor} can be considered as generalized Jacobi measures. The four cases $\alpha=0,1$, $\beta=0,1$ are of special importance and we have the following results (see \cite[Sections 3.3 and 4.2]{Mas}, \cite[Section 4]{AlpZin20}):
\begin{theorem}\label{smi}
	Let $T_n, U_n, V_n, W_n$ be Chebyshev polynomials of the first, second, third and fourth kinds respectively, that is $T_n(x)=\cos(n\theta)$, \\$U_n(x)=\sin((n+1)\theta)/\sin(\theta)$ , $V_n(x)=\cos((n+1/2)\theta)/\cos(\theta/2)$, \\$W_n(x)=\sin((n+1/2)\theta)/\sin(\theta/2)$ for $x=\cos{\theta}$,  $0\leq \theta \leq \pi$. Let $K=[-1,1]$. Then
	\begin{align}\label{TNu}
T_{n,w}^{(K)}(x)&=\frac{T_n(x)}{2^{n-1}} \mbox{  for  } w(x)=1,\\
T_{n,w}^{(K)}(x)&=\frac{U_n(x)}{2^{n}} \mbox{  for  } w(x)=\sqrt{1-x^2},\\
T_{n,w}^{(K)}(x)&=\frac{V_n(x)}{2^{n}} \mbox{  for  } w(x)=\sqrt{1+x},\\
T_{n,w}^{(K)}(x)&=\frac{W_n(x)}{2^{n}} \mbox{  for  } w(x)=\sqrt{1-x}
	\end{align}
and $P_n(x; w^2\,d\mu_K)=T_{n,w}^{(K)}(x)$ for the cases $w(x)=1$, $w(x)=\sqrt{1-x^2}$, $w(x)= \sqrt{1+x}$, $w(x)= \sqrt{1-x}$. For each of these four cases
\begin{align}
	[W_{2,n}(w^2\,d\mu_K)]^2=2S(w^2\,d\mu_K)
\end{align}
is satisfied for all $n\in \mathbb N$. For all $n\in \mathbb N$ we also have
	\begin{align}\label{TNunn}
	W_{\infty,n}{(K,w)}&=2  \mbox{  for  } w(x)=1,\\
		W_{\infty,n}{(K,w)}&=1  \mbox{  for  } w(x)=\sqrt{1-x^2},\\
			W_{\infty,n}{(K,w)}&=\sqrt{2}  \mbox{  for  } w(x)=\sqrt{1+x},\\
				W_{\infty,n}{(K,w)}&=\sqrt{2}  \mbox{  for  } w(x)=\sqrt{1-x}.
\end{align}
\end{theorem}
In the next theorem, we determine the sets for which equality is attained in \eqref{uni3} for $d\mu=w^2\,d\mu_K$ for the functions $w(x)=\sqrt{1-x^2}$, $w(x)=\sqrt{1+x}$, $w(x)=\sqrt{1-x}$.
Indeed, we see that for each of these three cases, $W_{\infty,n}{(K,w)}$ and $[W_{2,n}(\mu)]^2$ realize their theoretical lower bounds simultaneously.

\begin{theorem}\label{thm5}
	Let $K$ be a regular compact set such that $K\subset [-1,1]$, $\pm 1 \in K$.
	\begin{enumerate}[$(i)$]
		\item Let
		\begin{align}
			d\mu(x)=(1-x^2)d\mu_K(x)
		\end{align}
		and
		\begin{align}
			w(x)=\sqrt{1-x^2}.
		\end{align}
		Then $[W_{2,n}(\mu)]^2=2S(\mu)$ if and only if
		\begin{align}\label{c1}
			K=\{z\in \mathbb C: (1-z^2)S_n^2(z)\in [0,1]\}
		\end{align}
		for some polynomial $S_n$ of degree $n$ with leading coefficient $c$.

		\item Let
		\begin{align}
			d\mu(x)=(1+x)d\mu_K(x)
		\end{align}
		and
		\begin{align}
			w(x)=\sqrt{1+x}.
		\end{align}
		Then $[W_{2,n}(\mu)]^2=2S(\mu)$ if and only if
		\begin{align}\label{c2}
			K=\{z\in \mathbb C: (1+z)S_n^2(z)\in [0,1]\}
		\end{align}
		for some polynomial $S_n$ of degree $n$ with leading coefficient $c$.

		\item Let
		\begin{align}
			d\mu(x)=(1-x)d\mu_K(x)
		\end{align}
		and
		\begin{align}
			w(x)=\sqrt{1-x}.
		\end{align}
		Then $[W_{2,n}(\mu)]^2=2S(\mu)$ if and only if
		\begin{align}\label{c3}
			K=\{z\in \mathbb C: (1-z)S_n^2(z)\in [0,1]\}
		\end{align}
		for some polynomial $S_n$ of degree $n$ with leading coefficient $c$.
	\end{enumerate}
	In all three cases, $[W_{2,n}(\mu)]^2=2S(\mu)$ implies
	\begin{align}\label{e1}
		P_n(x;\mu)=\frac{S_n(x)}{c}=T_{n,w}^{(K)}(x).
	\end{align}
\end{theorem}

\begin{remark}Analogous results for $w(x)\equiv 1$ can be found in \cite[Theorem 4.4 and Corollary 4.5]{AlpZin2}). Theorem \ref{thm4}, Theorem \ref{thm5} for $K=[-1,1]$, \cite[Theorem 3]{SchZin} and \cite[Theorem 4.4 and Corollary 4.5]{AlpZin2}) together  imply Theorem \ref{smi}.
\end{remark}
The plan for the rest of the paper is as follows. We prove Theorem \ref{thm1}, Theorem \ref{thm2} in Section 2 and prove Theorem \ref{thm4} and Theorem \ref{thm5} in Section 3. We also show that a more general version of Theorem \ref{thm4} and Theorem \ref{thm5} hold in Section 3.

\section{Chebyshev polynomials on subsets of $[-1,1]$ for weight functions $w(x)=\sqrt{1+x}$ and $w(x)=\sqrt{1-x}$}
Let $Q$ be a polynomial with leading coefficient $c$ and $\deg Q=N\geq 2$ such that $K:= Q^{-1}([a,b])=\{z\in\mathbb C:\,Q(z)\in[a,b]\}\subset \mathbb R$ and $a<b$. Let $\mathcal T(x)=\frac{2 Q(x)-a-b}{b-a}$. Then $\mathcal T^{-1}([-1,1])=K$, $\deg \mathcal T=N$. In view of \cite[Lemma 1, Theorem 11]{GerVAs88} and \cite[Corollary 2.3.]{Peh03}, there are $N$ closed intervals $E_1, \ldots,  E_N$ such that $E_k\cap E_j$ contains at most one point for any $j\neq k$ and $Q(E_j)=[a,b]$, $\mathcal T(E_j)=[-1,1]$. Here,
\begin{align}\label{invpre}
	\mu_K (E_j)= 1/N
\end{align}
and $\mathcal T$ has real simple zeros and real coefficients and thus $Q$ is also a real polynomial and in particular $c\in \mathbb R$.

For the rest of this section we assume that $K$ is a non-polar compact subset of $[-1,1]$. We consider Chebyshev polynomials on $K$ with respect to the weights  $w(x)=\sqrt{1+x}$ and $w(x)=\sqrt{1-x}$. We focus on  $w(x)=\sqrt{1+x}$ and the results on $w(x)=\sqrt{1-x}$ follow immediately by symmetry about $0$.
Let
\begin{align}
	w(x)=\sqrt{1+x}.
\end{align}
For each $n\in \mathbb N$, there are $n+1$ points (not necessarily unique)
\begin{align}\label{p11}
x_0<x_1<\dots<x_n,
\end{align}
$x_k\in K$, $k=0,\ldots,n$ such that
\begin{align}\label{p12}
w(x_k)	T_{n,w}^{(K)}(x_k)=(-1)^{n-k}\|	w T_{n,w}^{(K)}\|_K
\end{align}
is satisfied, see e.g. Section 4.2 in \cite{Lo}. It is easy to see that the zeros of $T_{n,w}^{(K)}$ are real, let us denote them by $y_1<\dots <y_n$. Let $y_0:=-1$. Then by the intermediate value theorem, \eqref{p11}, \eqref{p12} we get
\begin{align}\label{xnyn}
-1=y_0<x_0<y_1<x_1<\dots <y_n<x_n\leq 1.
\end{align}
Let us consider the polynomial
\begin{align}\label{Q}
Q_{2n+1}(x):= (w(x)T_{n,w}^{(K)}(x))^2=(1+x)(T_{n,w}^{(K)}(x))^2.
\end{align}
Then it follows from \eqref{xnyn} that each point in the interval $(0,t_n(K,w)^2)$ has $2n+1$ distinct preimages of $Q_{2n+1}$ in $(y_k,x_k)$, $k=0,\ldots, n$ and in $(x_k,y_{k+1})$, $k=0,\ldots,n-1$. Thus
\begin{align}\label{kn}
	K_n:= Q_{2n+1}^{-1}([0,t_n(K,w)^2])\subset [-1,1],
\end{align}
\begin{align}
	K\subset K_n
\end{align}
and $K_n$ is a union of finitely many closed intervals. In view of \eqref{invpre}, we have
\begin{align}
\mu_{K_n}([y_k,x_k])=\mu_{K_n}([x_j,y_{j+1}])=\frac{1}{2n+1},\,\, k=0,\ldots,n\mbox{ and } j=0,\ldots,n-1.
\end{align}
Since the leading coefficient of $Q_{2n+1}$ is $1$, by  \cite[Theorem 5.2.5]{Ran95},
\begin{align}\label{cakn}
{C}(K_n)^{2n+1}=\frac{t_n(K,w)^2}{4}.
\end{align}

\begin{proof}[Proof of Theorem \ref{thm1}]
	Let $Q_{2n+1}$ be as in \eqref{Q}, $K_n$ be as in \eqref{kn} and $x_k$, $y_k$ be as described above and so satisfy \eqref{p11}, \eqref{p12}, \eqref{xnyn}.
		\begin{enumerate}[$(i)$]
		\item  Since $K\subset K_n$, it follows from \eqref{cakn} that
		\begin{align}\label{caeq}
\frac{t_n(K,w)^2}{4}={C}(K_n)^{2n+1}\geq{C}(K)^{2n+1}
		\end{align}
		and thus \eqref{cap1} holds.

	Let us assume that equality is satisfied in \eqref{cap1}. Then by \eqref{caeq}, ${C}(K)={C}(K_n)$ and by \cite[Lemma 13]{SchZin}, $K=K_n$. If we let $S_n= T_{n,w}^{(K)}/t_n(K,w)$ then \eqref{leb} is satisfied.

	Conversely let us assume that \eqref{leb} is satisfied and let $c$ be the leading coefficient of $S_n$ and define $R_n=S_n/c$. Then
	\begin{align}\label{sne1}
		{C}(K)^{2n+1}=\frac{1} {4|c|^2}
	\end{align}
	and
	\begin{align}\label{sne2}
		\|wR_n\|_K=\frac{1}{|c|}.
	\end{align}
Combining \eqref{sne1}, \eqref{sne2} we get
			\begin{align}
W_{\infty, n}(K,w)\leq 2 \sqrt{{C}(K)}.
		\end{align}
Since \eqref{cap1} is satisfied this implies equality in \eqref{cap1}.

\item Note that (see \cite[Lemma 13]{SchZin})
\begin{align}\label{right}
	\log\left (\frac{{C}(K_n)}{{C}(K)}\right)=\int_{K_n\setminus K} g_K(x )\,d\mu_{K_n}(x)\leq \int_{[-1,1]\setminus K}g_K(x)\,d\mu_{K_n}(x).
\end{align}
Let $a=\inf K$ and $b=\sup K$ and

\begin{align}\label{left}
	\displaystyle	[-1,1]\setminus K=[-1,a) \cup (b,1]\cup_j I_j
\end{align}
where the $I_j$'s are open disjoint  intervals that are connected components of $[-1,1]\setminus K$. Since $[-1,a)\cap K_n\subset [y_0,x_0]$ and $\sup_{x\in [-1,a)}g_K(x)=g_K(-1)$,
it follows from \eqref{invpre} that
\begin{align}\label{left1}
\int_{[-1,a)} g_K(x)\,d\mu_{K_n}(x)\leq \frac{1}{2n+1}g_K(-1).
\end{align}
Since $Q_{2n+1}$ is strictly increasing on $[y_n,1]$, $b=x_n$. Thus $(b,1]\cap K_n=\emptyset$ and
\begin{align}\label{left2}
	\int_{(b,1]} g_K(x)\,d\mu_{K_n}(x)=0.
\end{align}
Since $x_k\in K$ for each $k$, the interval $I_j$ (for any particular $j$) can intersect with at most two consecutive intervals $[y_k,x_{k}]$, $[x_k,y_{k+1}]$. Thus
\begin{align}\label{left3}
	\int_{I_j} g_K(x)\,d\mu_{K_n}(x)\leq \frac{2}{2n+1}g_K(c_j)
\end{align}
where $c_j$ is the critical point of $g_K$ in $I_j$. Thus \eqref{right}, \eqref{left1}, \eqref{left2}, \eqref{left3} yield

\begin{align}\label{right1}
	\log\left (\frac{{C}(K_n)}{{C}(K)}\right)\leq \frac{2}{2n+1}\mathrm{PW}(K)+\frac{1}{2n+1}g_K(-1)
\end{align}
and thus
\begin{align}\label{right2}
	\left (\frac{{C}(K_n)}{{C}(K)}\right)^{\frac{2n+1}{2}}\leq e^{\mathrm{PW}(K)+(1/2)g_K(-1)}.
\end{align}
Since \eqref{cakn} holds, \eqref{cap2} follows from \eqref{right2}.

Since $g_K$ is  piecewise strictly monotone on all the intervals given on the right side of \eqref{left}, all the inequalities in \eqref{left3} and \eqref{left1}  are strict. Therefore equality is attained in \eqref{cap2} only if  all the $I_j$'s and $[-1,a)$ are empty. Thus equality is satisfied in \eqref{cap2} only if $K=[-1,b]$ for some $b\in(-1,1]$.

Conversely, if $K=[-1,b]$ for some $b\in(-1,1]$ then for all $n\in \mathbb N$, $K=K_n$  and \eqref{leb} holds. This implies
\begin{align}\label{right3}
W_{\infty,n}(K,w)=2\sqrt{{C}(K)}= 2\sqrt{{C}(K)}e^{\mathrm{PW}(K)+(1/2)g_K(-1)}
\end{align}
since $g_K(-1)=\mathrm{PW}(K)=0$. This completes the proof.
\end{enumerate}
\end{proof}
Now, let us consider the above theorem for the weight $w(x)=\sqrt{1-x}$ on $K\subset [-1,1]$. Let $L=\{z\in\mathbb C:  -z\in K\}$ and $w_1(x)=\sqrt{1+x}$. If $T_{n,w}^{(K)}(x)=\prod_{j=1}^n (x-\alpha_j)$ then  $T_{n,w_1}^{(L)}(x)=\prod_{j=1}^n (x+\alpha_j)$, ${C}(K)={C}(L)$, $t_{n}(K,w)=t_{n}(L,w_1)$ and $g_K(z)=g_L(-z)$. Thus we can rewrite Theorem \ref{thm1} for $w(x)=\sqrt{1-x}$ as follows:
\begin{theorem}\label{thm2}
	Let $K$ be a compact non-polar subset of $[-1,1]$ and
	\begin{align}
		w(x)=\sqrt{1-x}.
	\end{align}
	Then

	\begin{enumerate}[$(i)$]
		\item For each $n\in\mathbb N$
		\begin{align}\label{cap11}
			W_{\infty,n}(K,w)\geq 2\sqrt{{C}(K)}.
		\end{align}
		Equality  is attained \eqref{cap11} if and only if there exists a polynomial $S_n$ of degree $n$ such that
		\begin{align}\label{leb22}
			K=\{z\in\mathbb C:(1-z)S_n^2(z)\in[0,1]\}.
		\end{align}
		\item In addition, let us assume that $K$ is a regular Parreau-Widom set . Then
		\begin{align}\label{cap22}
			W_{\infty,n}(K,w)\leq 2 \sqrt{{C}(K)} e^{(1/2)g_K(1)+ \mathrm{PW}(K)}.
		\end{align}
		Equality is attained in \eqref{cap22} if and only if $K=[a,1]$ for some $a\in [-1,1)$.
	\end{enumerate}
	\end{theorem}
The next theorem is used in the proof of Theorem \ref{thm5}.
\begin{theorem}\label{thm3}
	\begin{enumerate}[$(i)$]
		\item Let 	$K=\{z\in\mathbb C:(1+z)S_n^2(z)\in[0,1]\}\subset [-1,1]$ where $S_n$ is a polynomial of degree $n$ with leading coefficient $c$ and $n\geq 1$. Then
		\begin{align}\label{pes}
			T_{2n+1}^{(K)}(z)=\frac{(1+z)S_n^2(z)}{c^2}-2{C}(K)^{2n+1}.
		\end{align}
			\item Let 	$K=\{z\in\mathbb C:(1-z)S_n^2(z)\in[0,1]\}\subset [-1,1]$ where $S_n$ is a polynomial of degree $n$ with leading coefficient $c$ and $n\geq 1$. Then
	\begin{align}
		T_{2n+1}^{(K)}(z)=2{C}(K)^{2n+1}-\frac{(1-z)S_n^2(z)}{c^2}.
	\end{align}
	\end{enumerate}
\end{theorem}
\begin{proof}
	\begin{enumerate}[$(i)$]
		\item Note that ${C}(K)^{2n+1}=1/(4|c|^2)$. Let $w(x)=\sqrt{1+x}$ and $R_n=c^{-1}S_n$. Then $\|wR_n\|_K=1/|c|=2{C}(K)^n\sqrt{{C}(K)}$. Thus \\$\|wR_n\|_K/{C}(K)^n= 2\sqrt{{C}(K)}$. It follows from \eqref{cap1} and uniqueness of $T_{n,w}^{(K)}$ that $T_{n,w}^{(K)}=R_n$. Therefore the polynomial on the right side of the equality in \eqref{pes} is a monic polynomial of degree $2n+1$ and its sup-norm on $K$ is $2{C}(K)^{2n+1}.$ Hence (see \cite{Sch08}) \eqref{pes} holds.

		The part $(ii)$ follows from a similar argument used in $(i)$.
	\end{enumerate}
\end{proof}

\section{Widom factors for generalized Jacobi weights}
 For a function $f$ defined on $\mathbb D$ we use $f(e^{i\theta})$ to denote non-tangential boundary value of $f$ at  $e^{i\theta}$.
Let us briefly mention some results regarding universal covering maps, see \cite[Chapter 7]{Nev70}, \cite[Chapter 16]{Mar19}, \cite[Chapter 9]{Sim11}.
Let $K$ be a regular compact subset of $\mathbb R$. Then there is a unique covering map ${\mathbf x}:\mathbb D\to\overline{\mathbb C}\backslash K$ such that it is a meromorphic function which satisfies
\begin{align}
	{\mathbf x}(0)=\infty,
\end{align}
\begin{align}
	\lim_{z\rightarrow 0} z{\mathbf x}(z)>0.
\end{align}
In addition, ${\mathbf x}(e^{i\theta})\in K$ ($d\theta$ a.e.) and (see e.g. Section~2.4 in \cite{Fish})
\begin{align}
	\int f d\mu_K = \int f({\mathbf x}({e^{i\theta}}))\, \frac{d\theta}{2\pi},
	\quad f\in L_1(\mu_K).
\end{align}
We consider the analytic function $B$ on $\mathbb D$ that is  uniquely determined by

\begin{align}\label{grin}
	|B(z)|= e^{-g_K({\mathbf x}(z))},
\end{align}
\begin{align}\label{xBcap}
	\lim_{z\to0}{\mathbf x}(z)B(z)={C}(K).
\end{align}
It is given as a Blaschke product (\cite[Theorem 16.11]{Mar19}),  $|B(e^{i\theta})|=1$ a.e.\ on $\partial\mathbb D$, it has simple zeros at ${\mathbf x}^{-1}(\infty)$. For a polynomial $P$ of degree $n$, the function $F(z)=P({\mathbf x}(z))B^n(z)$  has only removable singularities and  it can be identified with a bounded analytic function on $\mathbb D$. For such functions, we assume that removable singularities have already
been removed.

Since $B(0)=0$, $\overline{B(e^{i\theta})}={B(e^{i\theta})}^{-1}$, for all $k\in \mathbb Z\setminus\{0\}$ we have
\begin{align}\label{bbb1}
	\int_{0}^{2\pi}B^k(e^{i\theta})\frac{d\theta}{2\pi}=0.
\end{align}

\begin{proof}[Proof of Theorem \ref{thm4}]
	By Frostman's theorem (see \cite[Theorem 3.3.4, Theorem 4.2.4]{Ran95})
		\begin{align}
S(\mu)&=\exp\left[\int (\alpha \log|1-x| +\beta \log|1+x|)\, d\mu_K(x)   \right]\nonumber\\
&=\exp[(\alpha+\beta)\log({C}(K))]\nonumber\\
&=({C}(K))^{\alpha+\beta}.\label{zor1}
	\end{align}

Note that, $(-1)^\alpha (1-{\mathbf x}(z))^{\alpha}(1+{\mathbf x}(z))^{\beta}B^{\alpha+\beta}(z)$ is bounded and analytic on $\mathbb D$. It is never zero on $\mathbb D$ since $-1,1\in K$  and \eqref{xBcap} is satisfied.
Therefore it has an analytic square root $H$ on $\mathbb D$ such that $H(0)={C}(K)^{\frac{\alpha+\beta}{2}}$. Let $R_n$ be a monic real polynomial of degree $n$. Then
\begin{align}\label{weq1}
	({C}(K))^{\frac{2n+\alpha+\beta}{2}}=\int _{0}^{2\pi}H(e^{i\theta})R_n({\mathbf x}(e^{i\theta}))B^n(e^{i\theta})\,\frac{d\theta}{2\pi}.
\end{align}
The right hand side of \eqref{weq1} can be written as
\begin{align}\label{weq2}
\int _{0}^{2\pi}\left[(1-{\mathbf x}(e^{i\theta}))^\alpha (1+{\mathbf x}(e^{i\theta}) )^\beta\right]^{\frac{1}{2}} R_n({\mathbf x}(e^{i\theta}))\left[(-1)^\alpha B^{\alpha+\beta}(e^{i\theta})\right]^{\frac{1}{2}} B^n(e^{i\theta}) \,\frac{d\theta}{2\pi}
\end{align}
where $G(e^{i\theta})=\left[(1-{\mathbf x}(e^{i\theta}))^\alpha (1+{\mathbf x}(e^{i\theta}) )^\beta\right]^{\frac{1}{2}}$ is non-negative on $\partial \mathbb D$ and \\
$\left[(-1)^\alpha B^{\alpha+\beta}(e^{i\theta})\right]^{\frac{1}{2}}=H(e^{i\theta})/G(e^{i\theta})$.

Since ${\mathbf x}(e^{i\theta})\in \mathbb R$ and $R_n$ is a real polynomial, if we add the term in \eqref{weq2} to its conjugate we get
\begin{align}\label{weq3}
2({C}(K))^{\frac{2n+\alpha+\beta}{2}}&=\int _{0}^{2\pi}\left[(1-{\mathbf x}(e^{i\theta}))^\alpha (1+{\mathbf x}(e^{i\theta}) )^\beta\right]^{\frac{1}{2}} R_n({\mathbf x}(e^{i\theta}))\nonumber\\
&\times \left[\left((-1)^\alpha B^{\alpha+\beta}(e^{i\theta})\right)^{\frac{1}{2}} B^n(e^{i\theta})+\overline{\left((-1)^\alpha B^{\alpha+\beta}(e^{i\theta})\right)^{\frac{1}{2}} B^n(e^{i\theta})} \right]\,\frac{d\theta}{2\pi}.
\end{align}
Since $\left((-1)^\alpha B^{\alpha+\beta}(e^{i\theta})\right)^{\frac{1}{2}} B^n(e^{i\theta})\in \partial \mathbb D$ and $\overline{B(e^{i\theta})}={(B(e^{i\theta}))}^{-1}$ we have
\begin{align}\label{weq4}
 &\left[\left((-1)^\alpha B^{\alpha+\beta}(e^{i\theta})\right)^{\frac{1}{2}} B^n(e^{i\theta})+\overline{\left((-1)^\alpha B^{\alpha+\beta}(e^{i\theta})\right)^{\frac{1}{2}} B^n(e^{i\theta})} \right]^2\nonumber\\
 &= 2+2\Re{\left[(-1)^\alpha (B(e^{i\theta}))^{2n+\alpha+\beta}\right]}.
\end{align}
Using Cauchy-Schwarz in \eqref{weq3} and then \eqref{weq4} we obtain
\begin{align}
	&2({C}(K))^{\frac{2n+\alpha+\beta}{2}}\nonumber \\
	&\leq \left[\int _{0}^{2\pi}\left[(1-{\mathbf x}(e^{i\theta}))^\alpha (1+{\mathbf x}(e^{i\theta}) )^\beta\right] R_n^2({\mathbf x}(e^{i\theta}))\,\frac{d\theta}{2\pi}\right]^{\frac{1}{2}}\nonumber\\
	&\times \left[\int _{0}^{2\pi}\left(\left((-1)^\alpha B^{\alpha+\beta}(e^{i\theta})\right)^{\frac{1}{2}} B^n(e^{i\theta})+\overline{\left((-1)^\alpha B^{\alpha+\beta}(e^{i\theta})\right)^{\frac{1}{2}} B^n(e^{i\theta})} \right)^2\,\frac{d\theta}{2\pi}\right]^{\frac{1}{2}}\label{aa1}\\
	&= \left[\int _{0}^{2\pi}\left[(1-{\mathbf x}(e^{i\theta}))^\alpha (1+{\mathbf x}(e^{i\theta}) )^\beta\right] R_n^2({\mathbf x}(e^{i\theta}))\,\frac{d\theta}{2\pi}\right]^{\frac{1}{2}}\nonumber\\
	&\times \left[\int _{0}^{2\pi}\left(2+2\Re{\left[(-1)^\alpha (B(e^{i\theta}))^{2n+\alpha+\beta}\right]}\right)\,\frac{d\theta}{2\pi}\right]^{\frac{1}{2}}\\
	&= \left[\int (1-x)^\alpha (1+x )^\beta R_n^2(x)\, d \mu_K(x)\right]^{\frac{1}{2}} \left[2+2\Re{\left[(-1)^\alpha (B(0))^{2n+\alpha+\beta}\right]}\right]^{\frac{1}{2}}\\
	&=\sqrt{2}\|R_n\|_{L_2({\mu})}.
\end{align}
 Hence, it follows from \eqref{zor1} that
 \begin{align}
 	\frac{\|R_n\|^2_{L_2({\mu})}}{{C}{(K)}^{2n}}\geq 2 S(\mu)
 	\end{align}
and this implies \eqref{zor2} since $P_n(\cdot;\mu)$ is a real polynomial.
\end{proof}

\begin{proof}[Proof of Theorem \ref{thm5}]
	Since $K$ is regular, $\mathrm{supp}(\mu_K)=K$ in view of \cite[Theorem 4.2.3]{Ran95} and \cite[Corollary 5.5.12]{Sim11}. Thus ${C}{(K)}={C}{(\mathrm{supp}(\mu))}$ for all three cases.
	\begin{enumerate}[$(i)$]
		\item Let $\alpha=1$, $\beta=1$ in Theorem \ref{thm4}.
		First, let us assume $[W_{2,n}(\mu)]^2=2S(\mu)$. Then equality is attained in \eqref{aa1}. Therefore there is a monic real polynomial $R_n$ of degree $n$ and a constant $d$ such that
		\begin{align}\label{b1}
			(1-{\mathbf x}^2(e^{i\theta}))R_n^2({\mathbf x}(e^{i\theta}))=\frac{d(1-B^{2n+2}(e^{i\theta}))^2}{-B^{2n+2}(e^{i\theta})},\,\,\, ( d\theta\, \mbox{a.e.}).
		\end{align}
 By \eqref{zor2} and uniqueness of $n$-th monic orthogonal  polynomial this implies
\begin{align}\label{orti}
	P_n(x;\mu)=R_n(x).
\end{align}

Let  $F_1(z)=-(1-{\mathbf x}^2(z)) R_n^2({\mathbf x}(z))B^{2n+2}(z)$ and $F_2(z)=d(1-B^{2n+2}(z))^2$ be two functions on $\mathbb D$. Then by \eqref{b1}, $F_1(e^{i\theta})=F_2(e^{i\theta})$  on $ \partial \mathbb D$ and since $F_1$ and $F_2$ are bounded and analytic, this implies that $F_1(z)=F_2(z)$, $z\in\mathbb D$. Since $F_1(0)={C}(K)^{2n+2}$ and $B(0)=0$ this implies that $d={C}(K)^{2n+2}$. Thus for all $z\in \mathbb D$ we have
\begin{align}
	|F_1(z)|&= |(1-{\mathbf x}^2(z))R_n^2({\mathbf x}(z))|{e^{-(2n+2)g_K({\mathbf x}(z))}}\\
	&=|F_2(z)|\\
	&\leq  {{C}(K)^{2n+2}\left[1+e^{-(2n+2)g_K({\mathbf x}(z))}\right]^2}.
\end{align}
Hence for all $z\in \mathbb C\setminus K$, we have
\begin{align}\label{belieber}
	|(1-z^2)R_n^2(z)|\leq  \frac{{C}(K)^{2n+2}\left[1+e^{-(2n+2)g_K(z)}\right]^2}{e^{-(2n+2)g_K(z)}}.
\end{align}
Since $g_K$ is continuous throughout $\mathbb C$ and $g_K(x)=0$ for $x\in K$ by regularity  of $K$, it follows from \eqref{belieber} that
\begin{align}\label{belieber2}
\displaystyle	\sup_{z\in K}\left[|1-z^2|R_n^2(z)\right]\leq  4{C}(K)^{2n+2}.
\end{align}
The inequality \eqref{belieber2} implies $W_{\infty,n}(K,w)\leq 2 {{C}(K)}$ and combining this with \cite[eq. (12)]{SchZin} we obtain $W_{\infty,n}(K,w)= 2 {{C}(K)}$. By \cite[Theorem 3]{SchZin} this implies \eqref{c1}. Note that \eqref{belieber2} implies $R_n=T_{n,w}^{(K)}$ and by the proof of \cite[Theorem 3]{SchZin}, $T_{n,w}^{(K)}=S_n/c$. Combining this with \eqref{orti} we get \eqref{e1}.

Conversely, let us assume that $K$ satisfies \eqref{c1}. Let $R_n=S_n/c$. Then
\begin{align}\label{f1}
R_n=T_{n,w}^{(K)}.
\end{align}

Using \cite[Theorem 12(iii)]{SchZin} in \eqref{g1} and \cite[eq.s (2.3), (2.4)]{CSZ17} in \eqref{g2} we see that for all $z\in\mathbb D$,
\begin{align}
2{C}(K)^{2n+2}-(1-{\mathbf x}^2(z))R_n^2({\mathbf x}(z))&=T^{(K)}_{2n+2}({\mathbf x}(z))\label{g1}\\
&={C}(K)^{2n+2}\left[B^{2n+2}(z)+B^{-2n-2}(z)\right]\label{g2}.
\end{align}
Hence
\begin{align}\label{ba1}
	{C}(K)^{2n+2}\left[2-B^{2n+2}(z)-B^{-2n-2}(z)\right]= (1-{\mathbf x}^2(z))R_n^2({\mathbf x}(z)).
\end{align}
Note that in view of \eqref{bbb1}
\begin{align}
	{C}(K)^{2n+2}	\int_0^{2\pi}\left[2-B^{2n+2}(e^{i\theta})-B^{-2n-2}(e^{i\theta})\right]\frac{d\theta}{{2\pi}}=2{C}(K)^{2n+2}
\end{align}
and
\begin{align}
\int_0^{2\pi}(1-{\mathbf x}^2(e^{i\theta}))R_n^2({\mathbf x}(e^{i\theta}))\frac{d\theta}{{2\pi}}&=\int (1-x^2)R_n^2(x)d\mu_K(x)\\
&=\|R_n\|^2_{L_2(\mu)}.
\end{align}
Thus, it follows from \eqref{ba1} and \eqref{zor1} that
\begin{align}
\frac{\|R_n\|^2_{L_2(\mu)}}{{C}(K)^{2n}}=2S(\mu).
\end{align}
This implies  $[W_{2,n}(\mu)]^2\leq 2S(\mu)$ and it follows from \eqref{zor2} that $[W_{2,n}(\mu)]^2= 2S(\mu)$.
\item Let $\alpha=0$, $\beta=1$ in Theorem \ref{thm4}. First, let us assume  that $[W_{2,n}(\mu)]^2= 2S(\mu).$
Then equality is attained in \eqref{aa1} and thus there is a monic real polynomial $R_n$ of degree $n$ and a constant $d$ such that

	\begin{align}\label{r1}
		(1+{\mathbf x}(e^{i\theta}))R_n^2({\mathbf x}(e^{i\theta}))=\frac{d \left[B^{2n+1}(e^{i\theta})+1\right]^2}{B^{2n+1}(e^{i\theta})}\,\, (d\theta \mbox{ a.e.})
	\end{align}
and
\begin{align}\label{p1}
	R_n(x)=P_n(x;\mu).
\end{align}

 Let $F_1(z)= (1+{\mathbf x}(z))R_n^2({\mathbf x}(z))B^{2n+1}(z)$ and $F_2(z)=d (B^{2n+1}(z)+1)^2$. Then $F_1$, $F_2$ are bounded analytic functions on $\mathbb D$ and $F_1(e^{i\theta})=F_2(e^{i\theta})$
on $\partial \mathbb D$ and thus $F_1(z)=F_2(z)$ for $z\in \mathbb D$. Since $F_1(0)={C}(K)^{2n+1}$ and $B(0)=0$ we get $d={C}(K)^{2n+1}$. For $z\in \mathbb D$,
\begin{align}
	|F_1(z)|&= |(1+{\mathbf x}(z))R_n^2({\mathbf x}(z))|{e^{-(2n+1)g_K({\mathbf x}(z))}}\\
	&=|F_2(z)|\\
	&\leq  {{C}(K)^{2n+1}\left[1+e^{-(2n+1)g_K({\mathbf x}(z))}\right]^2}
\end{align}
is satisfied. Hence for $z\in \mathbb C\setminus K$,
\begin{align}\label{r2}
	|(1+z)R_n^2(z)|\leq  \frac{{C}(K)^{2n+1}\left[1+e^{-(2n+1)g_K(z)}\right]^2}{e^{-(2n+1)g_K(z)}}.
\end{align}
Since $g_K(x)=0$ for $x\in K$ and $g_K$ is continuous in $\mathbb C$, \eqref{r2} implies that
\begin{align}\label{belieber3}
	\displaystyle	\sup_{z\in K}\left[|1+z|R_n^2(z)\right]\leq  4{C}(K)^{2n+1}.
\end{align}
This implies that $W_{\infty,n}(K,w)\leq 2 \sqrt{{C}(K)}$ and since \eqref{cap1} holds we have $W_{\infty,n}(K,w)= 2 \sqrt{{C}(K)}$ and $R_n=T_{n,w}^{(K)}$. It follows from Theorem \ref{thm1} (i) that $K$ satisfies \eqref{c2}. It follows from the proof of Theorem \ref{thm3} (i) that $R_n=S_n/c$. This combined with \eqref{p1} implies \eqref{e1}.

Conversely, assume that $K$ satisfies \eqref{c2} and let $R_n=S_n/c$. Then
\begin{align}\label{o1}
	R_n=T_{n,w}^{(K)}.
\end{align}

Using  Theorem \ref{thm3} (i) in \eqref{g11} and \cite[eq.s (2.3), (2.4)]{CSZ17} in \eqref{g12} we see that for all $z\in\mathbb D$,
\begin{align}
	(1+{\mathbf x}(z))R_n^2({\mathbf x}(z))-2{C}(K)^{2n+1}&=T^{(K)}_{2n+1}({\mathbf x}(z))\label{g11}\\
	&={C}(K)^{2n+1}\left[B^{2n+1}(z)+B^{-2n-1}(z)\right]\label{g12}.
\end{align}
Therefore
\begin{align}\label{debu}
	(1+{\mathbf x}(z))R_n^2({\mathbf x}(z))={C}(K)^{2n+1}\left[B^{2n+1}(z)+B^{-2n-1}(z)+2\right].
\end{align}
Here,
\begin{align}
	{C}(K)^{2n+1}	\int_0^{2\pi}\left[B^{2n+1}(e^{i\theta})+B^{-2n-1}(e^{i\theta})+2\right]\frac{d\theta}{{2\pi}}=2{C}(K)^{2n+1}
\end{align}
and
\begin{align}
	\int_0^{2\pi}(1+{\mathbf x}(e^{i\theta}))R_n^2({\mathbf x}(e^{i\theta}))\frac{d\theta}{{2\pi}}&=\int (1+x)R_n^2(x)d\mu_K(x)\\
	&=\|R_n\|^2_{L_2(\mu)}.
\end{align}
Hence in view of  \eqref{zor1} and \eqref{debu} we have
\begin{align}
	\frac{\|R_n\|^2_{L_2(\mu)}}{{C}(K)^{2n}}=2S(\mu)
\end{align}
which implies  $[W_{2,n}(\mu)]^2\leq 2S(\mu)$ and using \eqref{zor2} we see that $[W_{2,n}(\mu)]^2= 2S(\mu)$.

\item Let $L=\{z\in \mathbb C: -z\in K\}$ and $d\mu_2(x)=(1+x)d\mu_L(x).$ Then in view of  \cite[eq. (1.9) and Lemma 4(c)]{PehSte00} we see that $P_n(x;\mu)=(-1)^n P_n(-x;\mu_2)$ and
$\|P_n(\cdot;\mu)\|_{L_2(\mu)}=\|P_n(\cdot;\mu_2)\|_{L_2(\mu_2)}$. Therefore part $(iii)$ is a straightforward consequence of part $(ii)$.
	\end{enumerate}
\end{proof}
We can easily generalize Theorems \ref{thm4} and \ref{thm5} as follows.

\begin{corollary}\label{cor}
	Let $L$ be a regular compact subset of $[a,b]$, $a,b\in L$ and $\alpha,\beta \in \mathbb N\cup \{0\}$ with $\alpha+\beta\geq 1$. Let
	\begin{align}
		T(x)=\frac{2x-a-b}{b-a},
	\end{align}
	\begin{align}
d\nu(x)=(1-T(x))^\alpha(1+T(x))^\beta  d\mu_L(x),
\end{align}
and
	\begin{align}
	w(x)=\sqrt{(1-T(x))^\alpha(1+T(x))^\beta }.
\end{align}
Then
\begin{enumerate}[$(i)$]
	\item \begin {align}\label{z1}
		\left[W_{2,n}(\nu)\right]^2\geq 2S(\nu).
	\end{align}
	\item Let $\alpha=1$, $\beta=1$. Then equality is satisfied in \eqref{z1} if and only if there is a polynomial $S_n$ of degree $n$ such that
\begin {align}\label{z2}
L=\{z\in \mathbb C: (1-T^2(z))S_n^2(T(z))\in [0,1]\}.
\end{align}
\item Let $\alpha=0$, $\beta=1$. Then equality is satisfied in \eqref{z1} if and only if there is a polynomial $S_n$ of degree $n$ such that
\begin {align}\label{z3}
L=\{z\in \mathbb C: (1+T(z))S_n^2(T(z))\in [0,1]\}.
\end{align}
\item Let $\alpha=1$, $\beta=0$. Then equality is satisfied in \eqref{z1} if and only if there is a polynomial $S_n$ of degree $n$ such that
\begin {align}\label{z4}
L=\{z\in \mathbb C: (1-T(z))S_n^2(T(z))\in [0,1]\}.
\end{align}
\end{enumerate}
If  \eqref{z2} (or \eqref{z3} or \eqref{z4} respectively) is satisfied then
\begin{align}\label{z5}
	P_n(x;\nu)=\frac{1}{c}\left(\frac{b-a}{2}\right)^nS_n(T(x))=T_{n,w}^{(L)}(x)
\end{align}
where $c$ is the leading coefficient of $S_n$.
\end{corollary}
\begin{proof}
	Let $K=T(L)$. This implies that $L=T^{-1}(K)$, $K\subset [-1,1]$, $\pm 1\in K$ and $K$ is also regular. Let
	\begin{align}
		d\mu(x)=(1-x)^\alpha (1+x)^\beta d\mu_K(x).
	\end{align}
Then in view of \cite[Theorem 3.2 and Theorem 3.3.]{AlpZin2}, we see that
\begin{align}\label{l1}
S(\mu)=S(\nu)
\end{align}
and
\begin{align}\label{l2}
W_{2,n}(\mu)=W_{2,n}(\nu).
\end{align}
Hence \eqref{z1} follows from Theorem \ref{thm4}.

Let $\alpha,\beta=1$. Then 	$K=\{z\in \mathbb C: (1-z^2)S_n^2(z)\in [0,1]\}$ if and only if  \eqref{z2} is satisfied. Thus by Theorem \ref{thm5}(i), \eqref{l1}, \eqref{l2}, equality   is attained in \eqref{z1} if and only if \eqref{z2} is satisfied. If \eqref{z2} holds then  \eqref{z5} holds in view of \cite[Theorem 3]{PehSte00} and Theorem \ref{thm5} (i). The proof for the cases $\alpha=0, \beta=1$ and $\alpha=1,\beta=0$ is similar.
\end{proof}


Weighted Inequalities For The Numerical Radius

Abstract: In this article, we obtain several new weighted bounds for the numerical radius of a Hilbert space operator. The significance of the obtained results is the way they generalize many existing results in the literature; where certain values of the weights imply some known results, or refinements of these results. In the end, we present some numerical examples that show how our results refine the well known results in the literature, related to this topic.

\section{Introduction} \label{sec:intro}

Let $\mathscr{B}\left( \mathscr{H}\right)$ denote the $C^*$-algebra of all bounded linear operators on a complex Hilbert space $\mathscr{H}.$
In the sequel, upper case letters will be used to denote elements of $\mathscr{B}\left( \mathscr{H}\right)$, while lower case letters will denote real numbers.
For $A\in \mathscr{B}\left( \mathscr{H}\right)$, the numerical radius and operator norm are defined, respectively, by
$$\omega(A)=\sup_{\|x\|=1}\left|\left<Ax,x\right>\right|\;{\text{and}}\|A\|=\sup_{\|x\|=1}\|Ax\|;$$ where $\|\cdot\|$ is the norm induced by the inner product $\left<\cdot,\cdot\right>$ on $\mathscr{H}.$
It is well known that both quantities $\omega(\cdot)$ and $\|\cdot\|$ define equivalent norms on $\mathscr{B}\left( \mathscr{H}\right)$ via the inequalities
\begin{align}\label{ineq_equiv_intro}
\frac{1}{2}\|A\|\leq\omega(A)\leq \|A\|, A\in \mathscr{B}\left( \mathscr{H}\right).
\end{align}
The significance of such bounds lies in finding easier lower and upper bounds for the numerical radius; due to the difficulty in computing the exact value of $\omega(A).$
Thus, sharpening the bounds in \eqref{ineq_equiv_intro} has received a considerable attention in the literature.

Among the most well established interesting results in this direction are the following inequalities due to Kittaneh \cite{7,07}
\begin{equation}\label{ineq_kitt_1}
\omega(A)\leq \frac{1}{2}\|\;|A|+|A^*|\;\|,
\end{equation}
\begin{equation}\label{ineq_kitt_2}
\omega(A)^2\leq \frac{1}{2}\|\;|A|^2+|A^*|^2\|,
\end{equation}
and
\begin{equation}\label{ineq_kitt_3}
\omega(A)\leq \frac{1}{2}\left(\|A\|+\|A^2\|^{\frac{1}{2}}\right),
\end{equation}
where $A^*$ is the adjoint operator of $A$ and $|A|=(A^*A)^{1/2}.$
We emphasize that the notation $\omega(A)^2$ means $(\omega(A))^2.$
We refer the reader to \cite{10,moradi,8} for some treatments of the inequalities \eqref{ineq_kitt_1}, \eqref{ineq_kitt_2} and \eqref{ineq_kitt_3}. In \cite{sababheh}, a refinement of \eqref{ineq_kitt_2} was shown as follows
\begin{equation}\label{ineq_int}
{{\omega }}\left( A \right)^{2}\le \left\| \int\limits_{0}^{1}{{{\left( \left( 1-t \right)\left| A \right|+t\left| {{A}^{*}} \right| \right)}^{2}}dt} \right\|.
\end{equation}

The Aluthge transform $\widetilde{A}$ of $A\in \mathscr{B}\left( \mathscr{H} \right)$ has appeared in many studies treating numerical radius inequalities, and has provided some interesting refinements.
Recall that the Aluthge transform $\widetilde{A}$ of $A\in \mathscr{B}\left( \mathscr{H} \right)$ is defined by $\widetilde{A}=|A|^{\frac{1}{2}}U|A|^{\frac{1}{2}},$ where $U$ is  the partial isometry appearing in the polar decomposition $A=U|A|$ of $A$, \cite{alu}.
Yamazaki showed the following better estimates of \eqref{ineq_kitt_3} in \cite{yamazaki}
\begin{equation}\label{ineq_yama_1}
\omega \left( A \right)\le \frac{1}{2}\left( \left\| A \right\|+\omega \left( \widetilde{A} \right) \right).
\end{equation}

In this article, we further explore related numerical radius inequalities, by providing weighted versions of a parameter $t$ which, upon selecting certain values, implies the above inequalities or some sharper bounds.

The following results will be needed in our analysis.
\begin{Lemma}\label{11}
	\cite{kato} Let $A\in \mathscr{B}\left( \mathscr{H} \right)$ and let $x,y\in\mathscr{H}$ be any vectors. If $0\le t\le 1$,
	\[{{\left| \left\langle Ax,y \right\rangle  \right|}^{2}}\le \left\langle {{\left| A \right|}^{2\left( 1-t \right)}}x,x \right\rangle \left\langle {{\left| {{A}^{*}} \right|}^{2t}}y,y \right\rangle.\]
\end{Lemma}

\begin{Lemma}\label{12}\cite{mcarthy}
	Let $A\in \mathscr{B}\left( \mathscr{H} \right)$ be a positive operator and let $x\in\mathscr{H}$ be a unit vector. Then
	\[{{\left\langle Ax,x \right\rangle }^{r}}\le \left\langle {{A}^{r}}x,x \right\rangle ,\text{ }\left( r\ge 1 \right),\]
	\[\left\langle {{A}^{r}}x,x \right\rangle \le {{\left\langle Ax,x \right\rangle }^{r}},\text{ }\left( 0\le r\le 1 \right).\]
\end{Lemma}

\begin{Lemma}\label{lemma_aluthge_1} \cite{yamazaki}
	Let $A\in \mathscr{B}\left( \mathscr{H} \right)$. Then
	\[\omega \left( \widetilde{A} \right)\le \left\| \widetilde{A} \right\|\le {{\left\| {{A}^{2}} \right\|}^{\frac{1}{2}}}.\]
\end{Lemma}

\begin{Lemma}\label{lemma_powers}\cite{halmos}
	Let $A\in \mathscr{B}\left( \mathscr{H} \right)$ and let $k\in\mathbb{N}$. Then $$\omega\left(A^k\right)\leq \omega(A)^k.$$
\end{Lemma}

\begin{Lemma}\label{lemma_theta} \cite {yamazaki}
	Let $A\in \mathscr{B}\left( \mathscr{H} \right)$. Then
	$$\omega(A)=\sup_{\theta}\left\|\Re\left(e^{i\theta}A\right)\right\|,$$ where $\Re(T)$ is the real part of the operator $T$, defined by $\Re T=\frac{T+T^*}{2}.$
\end{Lemma}

\begin{Lemma}\cite{ak}\label{lem_amer}
	Let $A,B,C,D\in \mathscr{B}\left( \mathscr{H} \right)$. Then
	$$r(AB+CD)\leq \frac{1}{2}\left( \omega(BA)+\omega(DC)+\sqrt{\left(\omega(BA)-\omega(DC)\right)^2+4\|BC\|\cdot\|DA\| }            \right),$$
	where $r(\cdot)$ is the spectral radius.
\end{Lemma}

\begin{Lemma}\cite{bhatia}\label{lem_log-conv}
	Let $A,B\in \mathscr{B}\left( \mathscr{H} \right)$ be positive. Then
	$$\|A^tB^t\|\leq\|AB\|^t, 0\leq t\leq 1.$$ Further, the function $f(t)=\|A^tB^t\|$ is log-convex on $[0,1].$
\end{Lemma}

\section{Main Results}

\subsection{Results involving the Aluthge transform}
We begin with the following inequality, which gives a weighted upper bound in terms of the Aluthge transform. The value of this result can be seen in
Corollary \ref{c1} below, where it turns out that this form implies refinements of \eqref{ineq_yama_1}. In the sequel, the notation $\widetilde{A}_{t}$ will be used to denote the weighted Aluthge transform defined by
$$\widetilde{A}_{t}=|A|^{1-t}U|A|^t, 0\leq t\leq 1,$$ where $U$ is the partial isometry in the polar decomposition $A=U|A|$ of $A$.

\begin{Theorem}\label{t1}
	Let $A\in \mathscr{B}\left( \mathscr{H} \right)$ and $0\leq t\leq 1$. Then
	\begin{small}
		\[\begin{aligned}
		& \omega \left( A \right) \\
		& \le \frac{1}{2}\sqrt{\frac{1}{4}\left\| {{\left| A \right|}^{4t}}+{{\left| A \right|}^{4\left( 1-t \right)}} \right\|+\frac{1}{2}{{\left\| A \right\|}^{2}}+\frac{1}{4}\left\| {{\left| {{\widetilde{A}}_{t}} \right|}^{2}}+{{\left| {{\widetilde{A}}_{t}}^{*} \right|}^{2}} \right\|+\frac{1}{2}\omega \left( {{\widetilde{A}}_{t}}^{2} \right)+\left\| {{\left| A \right|}^{2t}}+{{\left| A \right|}^{2\left( 1-t \right)}} \right\|\omega \left( {{\widetilde{A}}_{t}} \right)}.
		\end{aligned}\]
	\end{small}
\end{Theorem}

\begin{proof}
	Let $A=U|A|$ be the polar decomposition of $A$. Noting the identity
	$$\Re\left<x,y\right>=\frac{1}{4}\left(\|x+y\|^2-\|x-y\|^2\right), x,y\in\mathscr{H},$$ we have
	\[\begin{aligned}
	\operatorname{\Re}\left\langle {{e}^{i\theta }}Ax,x \right\rangle &=\operatorname{\Re}\left\langle {{e}^{i\theta }}U\left| A \right|x,x \right\rangle  \\
	& =\operatorname{\Re}\left\langle {{e}^{i\theta }}U{{\left| A \right|}^{t}}{{\left| A \right|}^{1-t}}x,x \right\rangle  \\
	& =\operatorname{\Re}\left\langle {{e}^{i\theta }}{{\left| A \right|}^{1-t}}x,{{\left| A \right|}^{t}}{{U}^{*}}x \right\rangle  \\
	& =\frac{1}{4}{{\left\| \left( {{e}^{i\theta }}{{\left| A \right|}^{1-t}}+{{\left| A \right|}^{t}}{{U}^{*}} \right)x \right\|}^{2}}-\frac{1}{4}{{\left\| \left( {{e}^{i\theta }}{{\left| A \right|}^{1-t}}-{{\left| A \right|}^{t}}{{U}^{*}} \right)x \right\|}^{2}} \\
	& \le \frac{1}{4}{{\left\| \left( {{e}^{i\theta }}{{\left| A \right|}^{1-t}}+{{\left| A \right|}^{t}}{{U}^{*}} \right)x \right\|}^{2}} \\
	& \le \frac{1}{4}{{\left\| {{e}^{i\theta }}{{\left| A \right|}^{1-t}}+{{\left| A \right|}^{t}}{{U}^{*}} \right\|}^{2}}.
	\end{aligned}\]
	On the other hand,
	\[\begin{aligned}
	& \frac{1}{4}{{\left\| {{e}^{i\theta }}{{\left| A \right|}^{1-t}}+{{\left| A \right|}^{t}}{{U}^{*}} \right\|}^{2}} \\
	& =\frac{1}{4}\left\| \left( {{e}^{i\theta }}{{\left| A \right|}^{1-t}}+{{\left| A \right|}^{t}}{{U}^{*}} \right){{\left( {{e}^{i\theta }}{{\left| A \right|}^{1-t}}+{{\left| A \right|}^{t}}{{U}^{*}} \right)}^{*}} \right\| \\
	& =\frac{1}{4}\left\| {{\left| A \right|}^{2t}}+{{\left| A \right|}^{2\left( 1-t \right)}}+{{e}^{i\theta }}{{\widetilde{A}}_{t}}+{{e}^{-i\theta }}{{\widetilde{A}}_{t}}^{*} \right\| \\
	& =\frac{1}{4}{{\left\| {{\left( {{\left| A \right|}^{2t}}+{{\left| A \right|}^{2\left( 1-t \right)}}+{{e}^{i\theta }}{{\widetilde{A}}_{t}}+{{e}^{-i\theta }}{{\widetilde{A}}_{t}}^{*} \right)}^{2}} \right\|}^{\frac{1}{2}}} \\
	& =\frac{1}{4}\left\| {{\left( {{\left| A \right|}^{2t}}+{{\left| A \right|}^{2\left( 1-t \right)}} \right)}^{2}}+{{\left( {{e}^{i\theta }}{{\widetilde{A}}_{t}}+{{e}^{-i\theta }}{{\widetilde{A}}_{t}}^{*} \right)}^{2}} \right. \\
	&\qquad {{\left. +\left( {{\left| A \right|}^{2t}}+{{\left| A \right|}^{2\left( 1-t \right)}} \right)\left( {{e}^{i\theta }}{{\widetilde{A}}_{t}}+{{e}^{-i\theta }}{{\widetilde{A}}_{t}}^{*} \right)+\left( {{e}^{i\theta }}{{\widetilde{A}}_{t}}+{{e}^{-i\theta }}{{\widetilde{A}}_{t}}^{*} \right)\left( {{\left| A \right|}^{2t}}+{{\left| A \right|}^{2\left( 1-t \right)}} \right) \right\|}^{\frac{1}{2}}} \\
	& \le \frac{1}{4}\left( {{\left\| {{\left| A \right|}^{2t}}+{{\left| A \right|}^{2\left( 1-t \right)}} \right\|}^{2}}+{{\left\| {{e}^{i\theta }}{{\widetilde{A}}_{t}}+{{e}^{-i\theta }}{{\widetilde{A}}_{t}}^{*} \right\|}^{2}} \right. \\
	&\qquad {{\left. +\left\| \left( {{\left| A \right|}^{2t}}+{{\left| A \right|}^{2\left( 1-t \right)}} \right)\left( {{e}^{i\theta }}{{\widetilde{A}}_{t}}+{{e}^{-i\theta }}{{\widetilde{A}}_{t}}^{*} \right) \right\|+\left\| \left( {{e}^{i\theta }}{{\widetilde{A}}_{t}}+{{e}^{-i\theta }}{{\widetilde{A}}_{t}}^{*} \right)\left( {{\left| A \right|}^{2t}}+{{\left| A \right|}^{2\left( 1-t \right)}} \right) \right\| \right)}^{\frac{1}{2}}} \\
	& = \frac{1}{4}\left( \left\| {{\left| A \right|}^{4t}}+{{\left| A \right|}^{4\left( 1-t \right)}}+2{{\left| A \right|}^{2}} \right\|+\left\| {{\left| {{\widetilde{A}}_{t}} \right|}^{2}}+{{\left| {{\widetilde{A}}_{t}}^{*} \right|}^{2}}+2\operatorname{Re}\left( {{e}^{2i\theta }}{{\widetilde{A}}_{t}}^{2} \right) \right\| \right. \\
	&\qquad {{\left. +\left\| \left( {{\left| A \right|}^{2t}}+{{\left| A \right|}^{2\left( 1-t \right)}} \right)\left( {{e}^{i\theta }}{{\widetilde{A}}_{t}}+{{e}^{-i\theta }}{{\widetilde{A}}_{t}}^{*} \right) \right\|+\left\| \left( {{e}^{i\theta }}{{\widetilde{A}}_{t}}+{{e}^{-i\theta }}{{\widetilde{A}}_{t}}^{*} \right)\left( {{\left| A \right|}^{2t}}+{{\left| A \right|}^{2\left( 1-t \right)}} \right) \right\| \right)}^{\frac{1}{2}}} \\
	& \le \frac{1}{4}\left( \left\| {{\left| A \right|}^{4t}}+{{\left| A \right|}^{4\left( 1-t \right)}}+2{{\left| A \right|}^{2}} \right\|+\left\| {{\left| {{\widetilde{A}}_{t}} \right|}^{2}}+{{\left| {{\widetilde{A}}_{t}}^{*} \right|}^{2}}+2\operatorname{Re}\left( {{e}^{2i\theta }}{{\widetilde{A}}_{t}}^{2} \right) \right\| \right. \\
	&\qquad {{\left. +4\left\| {{\left| A \right|}^{2t}}+{{\left| A \right|}^{2\left( 1-t \right)}} \right\|\left\| \operatorname{Re}\left( {{e}^{i\theta }}{{\widetilde{A}}_{t}} \right) \right\| \right)}^{\frac{1}{2}}} \\
	& \le \frac{1}{4}\left( \left\| {{\left| A \right|}^{4t}}+{{\left| A \right|}^{4\left( 1-t \right)}} \right\|+2{{\left\| A \right\|}^{2}}+\left\| {{\left| {{\widetilde{A}}_{t}} \right|}^{2}}+{{\left| {{\widetilde{A}}_{t}}^{*} \right|}^{2}} \right\|+2\left\| \operatorname{Re}\left( {{e}^{2i\theta }}{{\widetilde{A}}_{t}}^{2} \right) \right\| \right. \\
	&\qquad {{\left. +4\left\| {{\left| A \right|}^{2t}}+{{\left| A \right|}^{2\left( 1-t \right)}} \right\|\left\| \operatorname{Re}\left( {{e}^{i\theta }}{{\widetilde{A}}_{t}} \right) \right\| \right)}^{\frac{1}{2}}} \\
	& =\frac{1}{2}\left( \frac{1}{4}\left\| {{\left| A \right|}^{4t}}+{{\left| A \right|}^{4\left( 1-t \right)}} \right\|+\frac{1}{2}{{\left\| A \right\|}^{2}}+\frac{1}{4}\left\| {{\left| {{\widetilde{A}}_{t}} \right|}^{2}}+{{\left| {{\widetilde{A}}_{t}}^{*} \right|}^{2}} \right\|+\frac{1}{2}\left\| \operatorname{Re}\left( {{e}^{2i\theta }}{{\widetilde{A}}_{t}}^{2} \right) \right\| \right. \\
	&\qquad {{\left. +\left\| {{\left| A \right|}^{2t}}+{{\left| A \right|}^{2\left( 1-t \right)}} \right\|\left\| \operatorname{Re}\left( {{e}^{i\theta }}{{\widetilde{A}}_{t}} \right) \right\| \right)}^{\frac{1}{2}}} \\
	& \le \frac{1}{2}\left( \frac{1}{4}\left\| {{\left| A \right|}^{4t}}+{{\left| A \right|}^{4\left( 1-t \right)}} \right\|+\frac{1}{2}{{\left\| A \right\|}^{2}}+\frac{1}{4}\left\| {{\left| {{\widetilde{A}}_{t}} \right|}^{2}}+{{\left| {{\widetilde{A}}_{t}}^{*} \right|}^{2}} \right\|+\frac{1}{2}\omega \left( {{\widetilde{A}}_{t}}^{2} \right) \right. \\
	&\qquad {{\left. +\left\| {{\left| A \right|}^{2t}}+{{\left| A \right|}^{2\left( 1-t \right)}} \right\|\omega \left( {{\widetilde{A}}_{t}} \right) \right)}^{\frac{1}{2}}}.
	\end{aligned}\]
	Thus,
	\begin{small}
		\[\begin{aligned}
		& \omega \left( A \right) \\
		& \le \frac{1}{2}\sqrt{\frac{1}{4}\left\| {{\left| A \right|}^{4t}}+{{\left| A \right|}^{4\left( 1-t \right)}} \right\|+\frac{1}{2}{{\left\| A \right\|}^{2}}+\frac{1}{4}\left\| {{\left| {{\widetilde{A}}_{t}} \right|}^{2}}+{{\left| {{\widetilde{A}}_{t}}^{*} \right|}^{2}} \right\|+\frac{1}{2}\omega \left( {{\widetilde{A}}_{t}}^{2} \right)+\left\| {{\left| A \right|}^{2t}}+{{\left| A \right|}^{2\left( 1-t \right)}} \right\|\omega \left( {{\widetilde{A}}_{t}} \right)}.
		\end{aligned}\]
	\end{small}
	This completes the proof of the theorem.
\end{proof}

Letting $t=\frac{1}{2}$ in Theorem \ref{t1}, we reach the following result, whose significance is explained next.
\begin{Corollary}\label{c1}
	Let $A\in \mathscr{B}\left( \mathscr{H} \right)$. Then
	\[\omega \left( A \right)\le \frac{1}{2}\sqrt{{{\left\| A \right\|}^{2}}+\frac{1}{4}\left\| {{\left| \widetilde{A} \right|}^{2}}+{{\left| {{\widetilde{A}}^{*}} \right|}^{2}} \right\|+\frac{1}{2}\omega \left( {{\widetilde{A}}^{2}} \right)+2\left\| A \right\|\omega \left( \widetilde{A} \right)}.\]
\end{Corollary}

The significance of Corollary \ref{c1} is shown in the next remark, where multiple refinements of \eqref{ineq_kitt_3} are found.
\begin{Remark}
	Taking Lemmas \ref{lemma_aluthge_1} and \ref{lemma_powers} into account, it follows from Corollary \ref{c1} that
	\[\begin{aligned}
	\omega \left( A \right)&\le \frac{1}{2}\sqrt{{{\left\| A \right\|}^{2}}+\frac{1}{4}\left\| {{\left| \widetilde{A} \right|}^{2}}+{{\left| {{\widetilde{A}}^{*}} \right|}^{2}} \right\|+\frac{1}{2}\omega \left( {{\widetilde{A}}^{2}} \right)+2\left\| A \right\|\omega \left( \widetilde{A} \right)} \\
	& \le \frac{1}{2}\sqrt{{{\left\| A \right\|}^{2}}+\frac{1}{2}{{\left\| \widetilde{A} \right\|}^{2}}+\frac{1}{2}\omega \left( {{\widetilde{A}}^{2}} \right)+2\left\| A \right\|\omega \left( \widetilde{A} \right)} \\
	& \le \frac{1}{2}\sqrt{{{\left\| A \right\|}^{2}}+\frac{1}{2}{{\left\| \widetilde{A} \right\|}^{2}}+\frac{1}{2}{{\omega }^{2}}\left( \widetilde{A} \right)+2\left\| A \right\|\omega \left( \widetilde{A} \right)} \\
	& \le \frac{1}{2}\sqrt{{{\left\| A \right\|}^{2}}+{{\left\| \widetilde{A} \right\|}^{2}}+2\left\| A \right\|\left\| \widetilde{A} \right\|} \\
	&=\frac{1}{2}\sqrt{\left(\|A\|+\left\|\widetilde{A}\right\|\right)^2}\\
	&=\frac{1}{2}\left(\|A\|+\left\|\widetilde{A}\right\|\right)\\
	&\le \frac{1}{2}\left( \left\| A \right\|+{{\left\| {{A}^{2}} \right\|}^{\frac{1}{2}}} \right).
	\end{aligned}\]
\end{Remark}

\subsection{Other weighted forms}

Now we move to another type of weighted versions. The following presents the general form of \eqref{ineq_kitt_2}, which gives \eqref{ineq_kitt_2} upon letting $t=\frac{1}{2}.$
\begin{Theorem}\label{thm_1}
	Let $A\in \mathscr{B}\left( \mathscr{H} \right)$. Then
	\[{{\omega }}\left( A \right)^{2}\le \underset{0\le t\le 1}{\mathop{\min }}\,\left\| \left( 1-t \right){{\left| A \right|}^{\frac{1}{1-t}}}+t{{\left| {{A}^{*}} \right|}^{\frac{1}{t}}} \right\|.\]
\end{Theorem}
\begin{proof}
	Let $x\in \mathscr{H}$ be a unit vector. Then
	\[\begin{aligned}
	{{\left| \left\langle Ax,x \right\rangle  \right|}^{2}}&\le \left\langle \left| A \right|x,x \right\rangle \left\langle \left| {{A}^{*}} \right|x,x \right\rangle  \\
	& =\left\langle {{\left| A \right|}^{\frac{1-t}{1-t}}}x,x \right\rangle \left\langle {{\left| {{A}^{*}} \right|}^{\frac{t}{t}}}x,x \right\rangle  \\
	& \le {{\left\langle {{\left| A \right|}^{\frac{1}{1-t}}}x,x \right\rangle }^{1-t}}{{\left\langle {{\left| {{A}^{*}} \right|}^{\frac{1}{t}}}x,x \right\rangle }^{t}} \\
	& \le \left( 1-t \right)\left\langle {{\left| A \right|}^{\frac{1}{1-t}}}x,x \right\rangle +t\left\langle {{\left| {{A}^{*}} \right|}^{\frac{1}{t}}}x,x \right\rangle  \\
	& =\left\langle \left( \left( 1-t \right){{\left| A \right|}^{\frac{1}{1-t}}}+t{{\left| {{A}^{*}} \right|}^{\frac{1}{t}}} \right)x,x \right\rangle  \\
	& \le \left\| \left( 1-t \right){{\left| A \right|}^{\frac{1}{1-t}}}+t{{\left| {{A}^{*}} \right|}^{\frac{1}{t}}} \right\|,
	\end{aligned}\]
	where the first inequality follows from Lemma \ref{1} using $y=x$ and $t=\frac{1}{2}$, while the second inequality is obtained using the second inequality in Lemma \ref{12} and the third inequality is obtained by the arithmetic-geometric mean inequality.
	Thus, we have shown
	\[{{\left| \left\langle Ax,x \right\rangle  \right|}^{2}}\le \left\| \left( 1-t \right){{\left| A \right|}^{\frac{1}{1-t}}}+t{{\left| {{A}^{*}} \right|}^{\frac{1}{t}}} \right\|.\]
	By taking supremum over all unit vectors $x\in \mathscr{H}$, we get
	\[{{\omega }}\left( A \right)^{2}\le \left\| \left( 1-t \right){{\left| A \right|}^{\frac{1}{1-t}}}+t{{\left| {{A}^{*}} \right|}^{\frac{1}{t}}} \right\|.\]
Now, by taking infimum over all $t\in \left[ 0,1 \right]$, we infer that
	\[{{\omega }}\left( A \right)^{2}\le \underset{0\le t\le 1}{\mathop{\min }}\,\left\| \left( 1-t \right){{\left| A \right|}^{\frac{1}{1-t}}}+t{{\left| {{A}^{*}} \right|}^{\frac{1}{t}}} \right\|,\]
	which completes the proof.
\end{proof}

On the other hand, a weighted version of \eqref{ineq_kitt_1} can be stated as follows. Although the form is different from \eqref{ineq_kitt_1}, we will show in Remark \ref{rem_ned} how \eqref{000} below implies \eqref{ineq_kitt_1}.

\begin{Theorem}\label{thm_R}
	Let $A\in \mathscr{B}\left( \mathscr{H} \right)$ and let $0\le t\le 1$. Then
	\begin{equation}\label{000}
	{{\omega }}\left( A \right)^{2}\le \frac{1}{2}\left\| {{\left| A \right|}^{2}}+{{\left| {{A}^{*}} \right|}^{2}}-\frac{t\left( 1-t \right)}{R}{{\left( {{\left| A \right|}}-\left| {{A}^{*}} \right| \right)}^{2}} \right\|,
	\end{equation}
	where $R=\max \left\{ t,1-t \right\}$.
\end{Theorem}

\begin{proof}
	By Lemma 3.12 in \cite{sab_laa},
	\begin{equation}\label{03}
	\left( 1-t \right){{\left| A \right|}^{2}}+t{{\left| {{A}^{*}} \right|}^{2}}\le {{\left( \left( 1-t \right)\left| A \right|+t\left| {{A}^{*}} \right| \right)}^{2}}+2R\left( \frac{{{\left| A \right|}^{2}}+{{\left| {{A}^{*}} \right|}^{2}}}{2}-{{\left( \frac{\left| A \right|+\left| {{A}^{*}} \right|}{2} \right)}^{2}} \right),
	\end{equation}
	where $0\le t\le 1$ and $R=\max \left\{ t,1-t \right\}$.

	On the other hand,
	\[\begin{aligned}
	& \left( 1-t \right){{\left| A \right|}^{2}}+t{{\left| {{A}^{*}} \right|}^{2}}-{{\left( \left( 1-t \right)\left| A \right|+t\left| {{A}^{*}} \right| \right)}^{2}}-{{\left( 1-t \right)}^{2}}{{\left( \left| A \right|-\left| {{A}^{*}} \right| \right)}^{2}} \\
	& =\left( 1-t \right){{\left| A \right|}^{2}}+t{{\left| {{A}^{*}} \right|}^{2}}-\left( {{\left( 1-t \right)}^{2}}{{\left| A \right|}^{2}}+{{t}^{2}}{{\left| {{A}^{*}} \right|}^{2}}+t\left( 1-t \right)\left( \left| A \right|\left| {{A}^{*}} \right|+\left| {{A}^{*}} \right|\left| A \right| \right) \right) \\
	& -{{\left( 1-t \right)}^{2}}\left( {{\left| A \right|}^{2}}+{{\left| {{A}^{*}} \right|}^{2}}-\left( \left| A \right|\left| {{A}^{*}} \right|+\left| {{A}^{*}} \right|\left| A \right| \right) \right) \\
	& =\left( 1-t \right)\left( 2t-1 \right)\left( {{\left| A \right|}^{2}}+{{\left| {{A}^{*}} \right|}^{2}}-\left| A \right|\left| {{A}^{*}} \right|-\left| {{A}^{*}} \right|\left| A \right| \right) \\
	& =\left( 1-t \right)\left( 2t-1 \right){{\left( \left| A \right|-\left| {{A}^{*}} \right| \right)}^{2}}.
	\end{aligned}\]
	Hence,
	\[\left( 1-t \right){{\left| A \right|}^{2}}+t{{\left| {{A}^{*}} \right|}^{2}}-{{\left( \left( 1-t \right)\left| A \right|+t\left| {{A}^{*}} \right| \right)}^{2}}-{{\left( 1-t \right)}^{2}}{{\left( \left| A \right|-\left| {{A}^{*}} \right| \right)}^{2}}=\left( 1-t \right)\left( 2t-1 \right){{\left( \left| A \right|-\left| {{A}^{*}} \right| \right)}^{2}}.\]
	Consequently,
	\begin{equation}\label{04}
	\left( 1-t \right){{\left| A \right|}^{2}}+t{{\left| {{A}^{*}} \right|}^{2}}-{{\left( \left( 1-t \right)\left| A \right|+t\left| {{A}^{*}} \right| \right)}^{2}}=t\left( 1-t \right){{\left( \left| A \right|-\left| {{A}^{*}} \right| \right)}^{2}}.
	\end{equation}
	By \eqref{04} and \eqref{03}, we have
	\begin{equation}\label{1}
	{{\left( \frac{\left| A \right|+\left| {{A}^{*}} \right|}{2} \right)}^{2}}\le \frac{{{\left| A \right|}^{2}}+{{\left| {{A}^{*}} \right|}^{2}}}{2}-\frac{t\left( 1-t \right)}{2R}{{\left( \left| A \right|-\left| {{A}^{*}} \right| \right)}^{2}}.
	\end{equation}
	On the other hand,
	\begin{equation}\label{05}
	\begin{aligned}
	{{\left| \left\langle Ax,x \right\rangle  \right|}^{2}}&\le \left\langle \left| A \right|x,x \right\rangle \left\langle \left| {{A}^{*}} \right|x,x \right\rangle \quad \text{(by Lemma \ref{11})} \\
	& \le {{\left( \frac{\left\langle \left| A \right|x,x \right\rangle +\left\langle \left| {{A}^{*}} \right|x,x \right\rangle }{2} \right)}^{2}} \\
	&\qquad \text{(by the arithmetic-geometric mean inequality)}\\
	& ={{\left\langle \left( \frac{\left| A \right|+\left| {{A}^{*}} \right|}{2} \right)x,x \right\rangle }^{2}} \\
	& \le \left\langle {{\left( \frac{\left| A \right|+\left| {{A}^{*}} \right|}{2} \right)}^{2}}x,x \right\rangle   \quad \text{(by Lemma \ref{12})}.
	\end{aligned}
	\end{equation}
	Therefore,
	\begin{equation}\label{16}
	{{\left| \left\langle Ax,x \right\rangle  \right|}^{2}}\le \left\langle \left( \frac{{{\left| A \right|}^{2}}+{{\left| {{A}^{*}} \right|}^{2}}}{2}-\frac{t\left( 1-t \right)}{2R}{{\left( {{\left| A \right|}}-\left| {{A}^{*}} \right| \right)}^{2}} \right)x,x \right\rangle .
	\end{equation}
	Taking the supremum in \eqref{16} over $x\in\mathscr{H}$, $\left\| x \right\|=1$ we deduce the desired result.
\end{proof}

\begin{Remark}
	It follows from the inequality \eqref{03} that
	\[\frac{\left| A \right|\left| {{A}^{*}} \right|+\left| {{A}^{*}} \right|\left| A \right|}{2}\le \frac{{{\left| A \right|}^{2}}+{{\left| {{A}^{*}} \right|}^{2}}}{2}-\frac{1}{R}\left( \left( 1-t \right){{\left| A \right|}^{2}}+t{{\left| {{A}^{*}} \right|}^{2}}-{{\left( \left( 1-t \right)\left| A \right|+t\left| {{A}^{*}} \right| \right)}^{2}} \right).\]
\end{Remark}

\begin{Remark}\label{rem_ned}
	Analyzing the inequality \eqref{000}, we see that the inequality is best attained when $\frac{t(1-t)}{R}$  attains its maximum value. This occurs when $t=1/2$ and the maximum is $1/2.$ Substituting these values into \eqref{000} we reach the following
	\[\begin{aligned}
	{{\omega }}\left( A \right)^{2}&\le \left\| \frac{{{\left| A \right|}^{2}}+{{\left| {{A}^{*}} \right|}^{2}}}{2}-\frac{1}{4}{{\left( \left| A \right|-\left| {{A}^{*}} \right| \right)}^{2}} \right\| \\
	& =\left\| {{\left( \frac{\left| A \right|+\left| {{A}^{*}} \right|}{2} \right)}^{2}} \right\| \\
	& ={{\left\| \frac{\left| A \right|+\left| {{A}^{*}} \right|}{2} \right\|}^{2}}.
	\end{aligned}\]
	Thus, we have shown that
	$$\omega(A)\leq\frac{1}{2}\|\;|A|+|A^*|\;\|,$$ which is \eqref{ineq_kitt_1}. Thus, Theorem \ref{thm_R} provides a new proof of \eqref{ineq_kitt_1}.
\end{Remark}

Another weighted inequality that refines \eqref{ineq_kitt_3} can be stated as follows.
\begin{Theorem}\label{thm_prod}
	Let $A\in \mathscr{B}\left( \mathscr{H} \right)$. Then
	\begin{align*}
	\omega(A)\leq \frac{1}{2}\left(\|A\|+\sqrt{\|\;|A|^t|A^*|^t\|\cdot\|\;|A|^{1-t}|A^*|^{1-t}\|}\right), 0\leq t\leq 1.
	\end{align*}
\end{Theorem}

\begin{proof}
	Since $|A|+|A^*|$ is a positive operator, it follows that $\|\;|A|+|A^*|\;\|=r(|A|+|A^*|).$ Therefore, Lemma \ref{lem_amer} implies
	\begin{align*}
	\omega(A)&\leq\frac{1}{2}\|\;|A|+|A^*|\;\|\\
	&=\frac{1}{2}r(|A|+|A^*|)\\
	&=\frac{1}{2}r\left(|A|^t|A|^{1-t}+|A^*|^{1-t}|A^*|^{t}\right)\\
	&\leq\frac{1}{4}\left(\omega(|A|)+\omega(|A^*|)+\sqrt{\left(\omega(|A|)-\omega(|A^*|)\right)^2+4\|\;|A|^t|A^*|^t\|\cdot\|\;|A|^{1-t}|A^*|^{1-t}\|}\right)\\
	&=\frac{1}{4}\left(\|\;|A|\;\|+\|\;|A^*|\;\|+2\sqrt{  \|\;|A|^t|A^*|^t|\cdot\|\;|A|^{1-t}|A^*|^{1-t}\| }\right)\\
	&=\frac{1}{2}\left(\|A\|+\sqrt{  \|\;|A|^t|A^*|^t\|\cdot\|\;|A|^{1-t}|A^*|^{1-t}\| }\right).
	\end{align*}
	This completes the proof.
\end{proof}

\begin{Remark}\label{rem_ned1}
	To see how Theorem \ref{thm_prod} refines \eqref{ineq_kitt_3}, we use Lemma \ref{lem_log-conv} to find that
	\begin{align*}
	\sqrt{  \|\;|A|^t|A^*|^t\|\cdot\|\;|A|^{1-t}|A^*|^{1-t}\| }&\leq \sqrt{\|\;|A|\;|A^*|\;\|^t\|\;|A|\;|A^*|\;\|^{1-t}}\\
	&=\sqrt{\|\;|A|\;|A^*|\|}\\
	&=\|A^2\|^{\frac{1}{2}}.
	\end{align*}
\end{Remark}

\begin{Corollary}
	Let $A\in \mathscr{B}\left( \mathscr{H} \right)$ and $0\leq t\leq 1$. Then
	\begin{align*}
	\omega(A)&\leq\frac{1}{2}\left(\|A\|+\left\|\;|A|^{\frac{1}{2}}|A^*|^{\frac{1}{2}}\right\|\right)\\
	&\leq \frac{1}{2}\left(\|A\|+\sqrt{ \|\;|A|^{t}|A^*|^{t}\|\cdot  \|\;|A|^{1-t}|A^*|^{1-t}\|      }\right)\\
	&\leq\frac{1}{2}\left(\|A\|+\|A^2\|^{\frac{1}{2}}\right).
	\end{align*}
\end{Corollary}

\begin{proof}
	By Lemma \ref{lem_log-conv}, both
	$$\|\;|A|^{t}|A^*|^{t}\|\;{\text{and}}\;\|\;|A|^{1-t}|A^*|^{1-t}\|$$ are log-convex functions in $t$, $0\leq t\leq 1$. Consequently, the function
	$$f(t)=\sqrt{ \|\;|A|^{t}|A^*|^{t}\|\cdot  \|\;|A|^{1-t}|A^*|^{1-t}\|      }$$ is log-convex, hence is convex. Since $f$ is convex and symmetric about $t=\frac{1}{2},$ it follows that $f$ attains its minimum at $\frac{1}{2}.$ Thus,
	$$f\left(\frac{1}{2}\right)\leq f(t), 0\leq t\leq 1.$$ This together with Theorem \ref{thm_prod} and Remark \ref{rem_ned1} imply the desired result.
\end{proof}

In the next result, we present a refinement of \eqref{ineq_int}.
\begin{Theorem}
	Let $A\in \mathscr{B}\left( \mathscr{H} \right)$. Then
	\[{{\omega }}\left( A \right)^{2}\le \left\| \int\limits_{0}^{1}{{{\left( \left( 1-t \right)\left| A \right|+t\left| {{A}^{*}} \right| \right)}^{2}}dt}-\frac{1}{48}{{\left( \left| A \right|-\left| {{A}^{*}} \right| \right)}^{2}} \right\|.\]
\end{Theorem}

\begin{proof}
	Obviously,
	\[\begin{aligned}
	& {{\left( \frac{\left| A \right|+\left| {{A}^{*}} \right|}{2} \right)}^{2}} \\
	& ={{\left( \frac{\left( 1-t \right)\left| A \right|+t\left| {{A}^{*}} \right|+\left( 1-t \right)\left| {{A}^{*}} \right|+t\left| A \right|}{2} \right)}^{2}} \\
	& \le \frac{{{\left( \left( 1-t \right)\left| A \right|+t\left| {{A}^{*}} \right| \right)}^{2}}+{{\left( \left( 1-t \right)\left| {{A}^{*}} \right|+t\left| A \right| \right)}^{2}}}{2}-\frac{t\left( 1-t \right){{\left( 1-2t \right)}^{2}}}{2R}{{\left( \left| A \right|-\left| {{A}^{*}} \right| \right)}^{2}},
	\end{aligned}\]
	where we have used \eqref{03} to obtain the last inequality.
	Since
	$R=\max \left\{ t,1-t \right\}=\frac{1-t+t+\left| 1-t-t \right|}{2}=\frac{1+\left| 1-2t \right|}{2},$
	we get
	\[\begin{aligned}
	& {{\left( \frac{\left| A \right|+\left| {{A}^{*}} \right|}{2} \right)}^{2}} \\
	& \le \frac{{{\left( \left( 1-t \right)\left| A \right|+t\left| {{A}^{*}} \right| \right)}^{2}}+{{\left( \left( 1-t \right)\left| {{A}^{*}} \right|+t\left| A \right| \right)}^{2}}}{2}-\frac{t\left( 1-t \right){{\left( 1-2t \right)}^{2}}}{1+\left| 1-2t \right|}{{\left( \left| A \right|-\left| {{A}^{*}} \right| \right)}^{2}}. \\
	\end{aligned}\]
	By taking integral over $0\le t\le 1$, and using the fact that
	\[\int\limits_{0}^{1}{{{\left( \left( 1-t \right)\left| A \right|+t\left| {{A}^{*}} \right| \right)}^{2}}dt}=\int\limits_{0}^{1}{{{\left( \left( 1-t \right)\left| {{A}^{*}} \right|+t\left| A \right| \right)}^{2}}dt},\]
	we can obtain
	\[{{\left( \frac{\left| A \right|+\left| {{A}^{*}} \right|}{2} \right)}^{2}}\le \int\limits_{0}^{1}{{{\left( \left( 1-t \right)\left| A \right|+t\left| {{A}^{*}} \right| \right)}^{2}}dt}-\frac{1}{48}{{\left( \left| A \right|-\left| {{A}^{*}} \right| \right)}^{2}}.\]
	By the same method used in the proof of inequality \eqref{05}, we have
	\[{{\left| \left\langle Ax,x \right\rangle  \right|}^{2}}\le \left\langle {{\left( \frac{\left| A \right|+\left| {{A}^{*}} \right|}{2} \right)}^{2}}x,x \right\rangle .\]
	Thus,
	\[{{\left| \left\langle Ax,x \right\rangle  \right|}^{2}}\le \left\langle \left( \int\limits_{0}^{1}{{{\left( \left( 1-t \right)\left| A \right|+t\left| {{A}^{*}} \right| \right)}^{2}}dt}-\frac{1}{48}{{\left( \left| A \right|-\left| {{A}^{*}} \right| \right)}^{2}} \right)x,x \right\rangle ,\]
	which implies
	\[{{\omega }}\left( A \right)^{2}\le \left\| \int\limits_{0}^{1}{{{\left( \left( 1-t \right)\left| A \right|+t\left| {{A}^{*}} \right| \right)}^{2}}dt}-\frac{1}{48}{{\left( \left| A \right|-\left| {{A}^{*}} \right| \right)}^{2}} \right\|,\]
	completing the proof.
\end{proof}

We conclude this subsection with the following weighted inequality, which implies \eqref{ineq_kitt_2} upon letting $t=\frac{1}{2}.$

\begin{Theorem}\label{thm_w}
	Let $A\in \mathscr{B}(\mathscr{H})$. Then
	\[{{\omega }}\left( A \right)^{2}\le \underset{0\le t\le 1}{\mathop{\min }}\,\left\| \frac{{{\left| A \right|}^{4\left( 1-t \right)}}+{{\left| {{A}^{*}} \right|}^{4t}}}{4}+\frac{\left( 1-t \right){{\left| A \right|}^{2}}+t{{\left| {{A}^{*}} \right|}^{2}}}{2} \right\|.\]
\end{Theorem}

\begin{proof}
	For any unit vector $x\in\mathscr{H}$ and $0\leq t\leq 1$, we have
	\[\begin{aligned}
	{{\left| \left\langle Ax,x \right\rangle  \right|}^{2}}&\le \left\langle {{\left| A \right|}^{2\left( 1-t \right)}}x,x \right\rangle \left\langle {{\left| {{A}^{*}} \right|}^{2t}}x,x \right\rangle  \\
	& \le {{\left( \frac{\left\langle {{\left| A \right|}^{2\left( 1-t \right)}}x,x \right\rangle +\left\langle {{\left| {{A}^{*}} \right|}^{2t}}x,x \right\rangle }{2} \right)}^{2}} \\
	& =\frac{{{\left\langle {{\left| A \right|}^{2\left( 1-t \right)}}x,x \right\rangle }^{2}}+{{\left\langle {{\left| {{A}^{*}} \right|}^{2t}}x,x \right\rangle }^{2}}+2\left\langle {{\left| A \right|}^{2\left( 1-t \right)}}x,x \right\rangle \left\langle {{\left| {{A}^{*}} \right|}^{2t}}x,x \right\rangle }{4} \\
	& \le \frac{\left\langle {{\left| A \right|}^{4\left( 1-t \right)}}x,x \right\rangle +\left\langle {{\left| {{A}^{*}} \right|}^{4t}}x,x \right\rangle +2\left\langle {{\left| A \right|}^{2\left( 1-t \right)}}x,x \right\rangle \left\langle {{\left| {{A}^{*}} \right|}^{2t}}x,x \right\rangle }{4} \\
	& \le \frac{\left\langle {{\left| A \right|}^{4\left( 1-t \right)}}x,x \right\rangle +\left\langle {{\left| {{A}^{*}} \right|}^{4t}}x,x \right\rangle +2{{\left\langle {{\left| A \right|}^{2}}x,x \right\rangle }^{1-t}}{{\left\langle {{\left| {{A}^{*}} \right|}^{2}}x,x \right\rangle }^{t}}}{4} \\
	& \le \frac{\left\langle {{\left| A \right|}^{4\left( 1-t \right)}}x,x \right\rangle +\left\langle {{\left| {{A}^{*}} \right|}^{4t}}x,x \right\rangle +2\left( \left( 1-t \right)\left\langle {{\left| A \right|}^{2}}x,x \right\rangle +t\left\langle {{\left| {{A}^{*}} \right|}^{2}}x,x \right\rangle  \right)}{4} \\
	& =\left\langle \left( \frac{{{\left| A \right|}^{4\left( 1-t \right)}}+{{\left| {{A}^{*}} \right|}^{4t}}}{4}+\frac{\left( 1-t \right){{\left| A \right|}^{2}}+t{{\left| {{A}^{*}} \right|}^{2}}}{2} \right)x,x \right\rangle  .
	\end{aligned}\]
	Taking the supremum over unit vectors $x$ implies
	\[{{\omega }}\left( A \right)^{2}\le \left\| \frac{{{\left| A \right|}^{4\left( 1-t \right)}}+{{\left| {{A}^{*}} \right|}^{4t}}}{4}+\frac{\left( 1-t \right){{\left| A \right|}^{2}}+t{{\left| {{A}^{*}} \right|}^{2}}}{2} \right\|.\]
	This completes the proof.
\end{proof}

\section{Further results}

As an important tool to obtain numerical radius inequalities, we present the following inequality for the inner product of Schwarz type. First, notice  Lemmas \ref{11} and \ref{12} imply
\[\begin{aligned}
{{\left| \left\langle Ax,x \right\rangle  \right|}^{2}}&\le \left\langle \left| A \right|x,x \right\rangle \left\langle \left| {{A}^{*}} \right|x,x \right\rangle  \\
& =\sqrt{{{\left\langle \left| A \right|x,x \right\rangle }^{2}}{{\left\langle \left| {{A}^{*}} \right|x,x \right\rangle }^{2}}} \\
& \le \sqrt{\left\langle {{\left| A \right|}^{2}}x,x \right\rangle \left\langle {{\left| {{A}^{*}} \right|}^{2}}x,x \right\rangle.}
\end{aligned}\]
So,
\[{{\left| \left\langle Ax,x \right\rangle  \right|}^{2}}\le \sqrt{\left\langle {{\left| A \right|}^{2}}x,x \right\rangle \left\langle {{\left| {{A}^{*}} \right|}^{2}}x,x \right\rangle },\]
for any $A\in\mathscr{B}(\mathscr{H})$ and $x\in\mathscr{H}.$
In the next result, we improve the last inequality, to obtain a form that enables us to find a new weighted numerical radius inequality.
\begin{Theorem}
	Let $A,B\in \mathscr{B}(\mathscr{H})$. Then for any vector $x\in \mathscr{H}$,
\[\left| \left\langle {{B}^{*}}Ax,x \right\rangle -\left\langle {{B}^{*}}x,x \right\rangle \left\langle Ax,x \right\rangle  \right|\le \sqrt{\left\langle {{\left| A \right|}^{2}}x,x \right\rangle \left\langle {{\left| B \right|}^{2}}x,x \right\rangle }-\left| \left\langle Ax,x \right\rangle  \right|\left| \left\langle Bx,x \right\rangle  \right|.\]
	In particular,
	\begin{equation}\label{020}
{{\left| \left\langle Ax,x \right\rangle  \right|}^{2}}+\left| \left\langle {{A}^{2}}x,x \right\rangle -{{\left\langle Ax,x \right\rangle }^{2}} \right|\le \sqrt{\left\langle {{\left| A \right|}^{2}}x,x \right\rangle \left\langle {{\left| {{A}^{*}} \right|}^{2}}x,x \right\rangle }.
	\end{equation}
\end{Theorem}

\begin{proof}
	First of all, notice that
	\begin{equation}\label{19}
	\left\| \left( A-\left\langle Ax,x \right\rangle  \right)x \right\|=\sqrt{\left\langle {{\left| A \right|}^{2}}x,x \right\rangle -{{\left| \left\langle Ax,x \right\rangle  \right|}^{2}}}.
	\end{equation}
	Replacing $A$ by $B$ in \eqref{19}, we get
	\[\left\| \left( {B}-\left\langle {B}x,x \right\rangle  \right)x \right\|=\sqrt{\left\langle {{\left| {B} \right|}^{2}}x,x \right\rangle -{{\left| \left\langle Bx,x \right\rangle  \right|}^{2}}}.\]
	On the other hand,	by the Schwarz inequality,
\[\begin{aligned}
   \left| \left\langle {{B}^{*}}Ax,x \right\rangle -\left\langle {{B}^{*}}x,x \right\rangle \left\langle Ax,x \right\rangle  \right|&=\left| \left\langle \left( {{B}^{*}}-\left\langle {{B}^{*}}x,x \right\rangle  \right)\left( A-\left\langle Ax,x \right\rangle  \right)x,x \right\rangle  \right| \\
 & =\left| \left\langle A-\left\langle Ax,x \right\rangle x,B-\left\langle Bx,x \right\rangle x \right\rangle  \right| \\
 & \le \left\| A-\left\langle Ax,x \right\rangle x \right\|\left\| B-\left\langle Bx,x \right\rangle x \right\|.
\end{aligned}\]
We can conclude from the discussion above that
\[\begin{aligned}
   \left| \left\langle {{B}^{*}}Ax,x \right\rangle -\left\langle {{B}^{*}}x,x \right\rangle \left\langle Ax,x \right\rangle  \right|&\le \sqrt{\left\langle {{\left| A \right|}^{2}}x,x \right\rangle -{{\left| \left\langle Ax,x \right\rangle  \right|}^{2}}}\sqrt{\left\langle {{\left| B \right|}^{2}}x,x \right\rangle -{{\left| \left\langle Bx,x \right\rangle  \right|}^{2}}} \\
 &\le \sqrt{\left\langle {{\left| A \right|}^{2}}x,x \right\rangle \left\langle {{\left| B \right|}^{2}}x,x \right\rangle }-\left| \left\langle Ax,x \right\rangle  \right|\left| \left\langle Bx,x \right\rangle  \right|
\end{aligned}\]
where the last inequality follows from the simple inequality $\left( {{a}^{2}}-{{b}^{2}} \right)\left( {{c}^{2}}-{{d}^{2}} \right)\le {{\left( ac-bd \right)}^{2}}$ for $a,b,c,d\in \mathbb{R}^+$.
	Consequently,
	\begin{equation}\label{20}
\left| \left\langle {{B}^{*}}Ax,x \right\rangle -\left\langle {{B}^{*}}x,x \right\rangle \left\langle Ax,x \right\rangle  \right|\le \sqrt{\left\langle {{\left| A \right|}^{2}}x,x \right\rangle \left\langle {{\left| B \right|}^{2}}x,x \right\rangle }-\left| \left\langle Ax,x \right\rangle  \right|\left| \left\langle Bx,x \right\rangle  \right|
	\end{equation}
	which implies the desired inequality.\\
	 Putting ${{B}^{*}}=A$ in \eqref{20}, we obtain the inequality \eqref{020}.
\end{proof}

\begin{Corollary}\label{cor_CS_ref}
	Let $A,B\in \mathscr{B}(\mathscr{H})$. Then for any  vector $x\in \mathscr{H}$,
\[\left| \left\langle {{B}^{*}}x,x \right\rangle \left\langle Ax,x \right\rangle  \right|\le \frac{\sqrt{\left\langle {{\left| A \right|}^{2}}x,x \right\rangle \left\langle {{\left| B \right|}^{2}}x,x \right\rangle }+\left| \left\langle {{B}^{*}}Ax,x \right\rangle  \right|}{2}.\]
\end{Corollary}

\begin{proof}
	Using the triangle inequality for the modulus,
	\begin{equation}\label{21}
\begin{aligned}
   \left| \left\langle Bx,x \right\rangle  \right|\left| \left\langle Ax,x \right\rangle  \right|-\left| \left\langle {{B}^{*}}Ax,x \right\rangle  \right|&=\left| \left\langle {{B}^{*}}x,x \right\rangle \left\langle Ax,x \right\rangle  \right|-\left| \left\langle {{B}^{*}}Ax,x \right\rangle  \right| \\
 & \le \left| \left\langle {{B}^{*}}Ax,x \right\rangle -\left\langle {{B}^{*}}x,x \right\rangle \left\langle Ax,x \right\rangle  \right|.
\end{aligned}
	\end{equation}
	Combining the inequalities \eqref{20} and \eqref{21}, we get
\[\left| \left\langle {{B}^{*}}x,x \right\rangle \left\langle Ax,x \right\rangle  \right|\le \frac{\sqrt{\left\langle {{\left| A \right|}^{2}}x,x \right\rangle \left\langle {{\left| B \right|}^{2}}x,x \right\rangle }+\left| \left\langle {{B}^{*}}Ax,x \right\rangle  \right|}{2}.\]
	This completes the proof.
\end{proof}

\begin{Corollary}
	Let $A\in \mathscr{B}(\mathscr{H})$. Then
	\[\omega(A)^2\leq \frac{1}{2}\min_{0\leq t\leq 1}\left(\left\|t|A|^{\frac{2}{t}}+(1-t)|A^*|^{\frac{2}{1-t}}\right\|^{\frac{1}{2}}+\omega(A^2)\right).\]
\end{Corollary}

\begin{proof}
	From Corollary \ref{cor_CS_ref}, we have
	\[{{\left| \left\langle Ax,x \right\rangle  \right|}^{2}}\le \frac{\sqrt{\left\langle {{\left| A \right|}^{2}}x,x \right\rangle \left\langle {{\left| {{A}^{*}} \right|}^{2}}x,x \right\rangle }+\left| \left\langle {{A}^{2}}x,x \right\rangle  \right|}{2},\]
	for any unit vector $x$. Then for $0\leq t\leq 1,$
	\begin{align*}
	\left|\left<Ax,x\right>\right|^2&\leq \frac{\sqrt{\left<|A|^{\frac{2t}{t}}x,x\right>\left<|A^*|^{\frac{2(1-t)}{1-t}}x,x\right>}+|\left<A^2x,x\right>|}{2}\\
	&\leq \frac{\sqrt{\left<|A|^{\frac{2}{t}}x,x\right>^t\left<|A^*|^{\frac{2}{1-t}}x,x\right>^{1-t}}+|\left<A^2x,x\right>|}{2}\\
	&\leq\frac{\sqrt{\left<\left(t|A|^{\frac{2}{t}}+(1-t)|A^*|^{\frac{2}{1-t}}\right)x,x\right>}+|\left<A^2x,x\right>|}{2}.
	\end{align*}
	Taking the supremum over all unit vectors $x$ implies the desired inequality.
\end{proof}

\section{Examples}
In this section, we present different examples to show that the obtained results provide non-trivial refinements of the well known results; such as \eqref{ineq_kitt_1}, \eqref{ineq_kitt_2} and \eqref{ineq_kitt_3}.

\begin{example}
In this example, we investigate the inequality
\[{{\omega }}\left( A \right)^{2}\le \underset{0\le t\le 1}{\mathop{\min }}\,\left\| \left( 1-t \right){{\left| A \right|}^{\frac{1}{1-t}}}+t{{\left| {{A}^{*}} \right|}^{\frac{1}{t}}} \right\|\] obtained in Theorem \ref{thm_1}.

Let $A=\left[ \begin{matrix}
   0 & 2 & 0  \\
   0 & 0 & 3  \\
   4 & 0 & 0  \\
\end{matrix} \right]$. Then $\left| {{A}^{*}} \right|=\left[ \begin{matrix}
   2 & 0 & 0  \\
   0 & 3 & 0  \\
   0 & 0 & 4  \\
\end{matrix} \right]$  and $\left| A \right|=\left[ \begin{matrix}
   4 & 0 & 0  \\
   0 & 2 & 0  \\
   0 & 0 & 3  \\
\end{matrix} \right]$.
Thus,
	\[\begin{aligned}
  & \underset{0\le t\le 1}{\mathop{\min }}\,\left\| \left( 1-t \right){{\left| A \right|}^{\frac{1}{1-t}}}+t{{\left| {{A}^{*}} \right|}^{\frac{1}{t}}} \right\|\\
  &=\underset{0\le t\le 1}{\mathop{\min }}\,\left\| \left[ \begin{matrix}
   \left( 1-t \right){{4}^{\frac{1}{1-t}}}+t{{2}^{\frac{1}{t}}} & 0 & 0  \\
   0 & \left( 1-t \right){{2}^{\frac{1}{1-t}}}+t{{3}^{\frac{1}{t}}} & 0  \\
   0 & 0 & \left( 1-t \right){{3}^{\frac{1}{1-t}}}+t{{4}^{\frac{1}{t}}}  \\
\end{matrix} \right] \right\| \\
 & =\underset{0\le t\le 1}{\mathop{\min }}\,\max \left\{ \left( 1-t \right){{4}^{\frac{1}{1-t}}}+t{{2}^{\frac{1}{t}}},\left( 1-t \right){{2}^{\frac{1}{1-t}}}+t{{3}^{\frac{1}{t}}},\left( 1-t \right){{3}^{\frac{1}{1-t}}}+t{{4}^{\frac{1}{t}}} \right\} \\
 & =\underset{0\le t\le 1}{\mathop{\min }}\,\left\{ \begin{aligned}
  & \left( 1-t \right){{3}^{\frac{1}{1-t}}}+t{{4}^{\frac{1}{t}}}\text{ when }0<t\le 0.5557 \\
 & \left( 1-t \right){{4}^{\frac{1}{1-t}}}+t{{2}^{\frac{1}{t}}}\text{ when }0.5558\le t<1 \\
\end{aligned} \right.\approx 12.002.
\end{aligned}\]

On the other hand,
	\[\frac{1}{2}\left\| {{\left| A \right|}^{2}}+{{\left| {{A}^{*}} \right|}^{2}} \right\|=12.5.\]
Consequently, in this case
	\[\underset{0\le t\le 1}{\mathop{\min }}\,\left\| \left( 1-t \right){{\left| A \right|}^{\frac{1}{1-t}}}+t{{\left| {{A}^{*}} \right|}^{\frac{1}{t}}} \right\|<\frac{1}{2}\left\| {{\left| A \right|}^{2}}+{{\left| {{A}^{*}} \right|}^{2}} \right\|.\]
	Thus, this example shows that Theorem \ref{thm_1} provides a non-trivial refinement of \eqref{ineq_kitt_2}.

In fact, this example shows also that Theorem \ref{thm_1} provides a non-trivial refinement of \eqref{ineq_kitt_1}, because Theorem \ref{thm_1} implies

\begin{align*}
\omega(A)\leq \underset{0\le t\le 1}{\mathop{\min }}\,\left\| \left( 1-t \right){{\left| A \right|}^{\frac{1}{1-t}}}+t{{\left| {{A}^{*}} \right|}^{\frac{1}{t}}} \right\|^{\frac{1}{2}}&\approx\sqrt{12.002}
<3.5
=\frac{1}{2}\left\|\;|A|+|A^*|\;\right\|.
\end{align*}
Indeed, the inequality \eqref{ineq_kitt_1} is better than \eqref{ineq_kitt_2} and \eqref{ineq_kitt_3}. Thus, showing that our result is better than \eqref{ineq_kitt_1} implies that it is better than both \eqref{ineq_kitt_2} and \eqref{ineq_kitt_3}.
\end{example}

\begin{example}
In this example, we show that the inequality
\[{{\omega }}\left( A \right)^{2}\le \underset{0\le t\le 1}{\mathop{\min }}\,\left\| \frac{{{\left| A \right|}^{4\left( 1-t \right)}}+{{\left| {{A}^{*}} \right|}^{4t}}}{4}+\frac{\left( 1-t \right){{\left| A \right|}^{2}}+t{{\left| {{A}^{*}} \right|}^{2}}}{2} \right\|\] obtained in Theorem \ref{thm_w} provides a non-trivial refinement of the three inequalities \eqref{ineq_kitt_1}, \eqref{ineq_kitt_2} and \eqref{ineq_kitt_3}. To do so, it suffices to show that it is better than \eqref{ineq_kitt_1}.

Let $A=\left[ \begin{matrix}
   0 & 3 & 0  \\
   0 & 0 & 4  \\
   2 & 0 & 0  \\
\end{matrix} \right].$ Then $\left| {{A}^{*}} \right|=\left[ \begin{matrix}
   3 & 0 & 0  \\
   0 & 4 & 0  \\
   0 & 0 & 2  \\
\end{matrix} \right]  \;{\text{and}}\; \left| A \right|=\left[ \begin{matrix}
   2 & 0 & 0  \\
   0 & 3 & 0  \\
   0 & 0 & 4  \\
\end{matrix} \right].$
Consequently,
$$\begin{aligned}
  & \underset{0\le t\le 1}{\mathop{\min }}\,\left\| \frac{\left( 1-t \right){{\left| A \right|}^{2}}+t{{\left| {{A}^{*}} \right|}^{2}}}{2}+\frac{{{\left| A \right|}^{4\left( 1-t \right)}}+{{\left| {{A}^{*}} \right|}^{4t}}}{4} \right\| \\
 & =\underset{0\le t\le 1}{\mathop{\min }}\,\left\| \left[ \begin{matrix}
   \frac{{{\left( 16 \right)}^{1-t}}+{{\left( 81 \right)}^{t}}}{4}+\frac{4+5t}{2} & 0 & 0  \\
   0 & \frac{{{\left( 81 \right)}^{1-t}}+{{\left( 256 \right)}^{t}}}{4}+\frac{9-7t}{2} & 0  \\
   0 & 0 & \frac{{{\left( 256 \right)}^{1-t}}+{{\left( 16 \right)}^{t}}}{4}+\frac{16-12t}{2}  \\
\end{matrix} \right] \right\| \\
 & =\underset{0\le t\le 1}{\mathop{\min }}\,\max \left\{ \frac{{{\left( 16 \right)}^{1-t}}+{{\left( 81 \right)}^{t}}}{4}+\frac{4+5t}{2},\frac{{{\left( 81 \right)}^{1-t}}+{{\left( 256 \right)}^{t}}}{4}+\frac{9-7t}{2},\frac{{{\left( 256 \right)}^{1-t}}+{{\left( 16 \right)}^{t}}}{4}+\frac{16-12t}{2} \right\} \\
 & =\underset{0\le t\le 1}{\mathop{\min }}\,\left\{ \begin{aligned}
  & \frac{{{\left( 256 \right)}^{1-t}}+{{\left( 16 \right)}^{t}}}{4}+\frac{16-12t}{2}\text{ for }0\le t\le 0.5286 \\
 & \frac{{{\left( 81 \right)}^{1-t}}+{{\left( 256 \right)}^{t}}}{4}+\frac{9-7t}{2}\text{ for }0.5287\le t\le 1 \\
\end{aligned} \right.\approx 9.32. \\
\end{aligned}$$
On the other hand,
	$$\frac{1}{2}\left\| {{\left| A \right|}^{}}+{{\left| {{A}^{*}} \right|}^{}} \right\|=3.5.$$
So, we have shown that, in this example,
	\[\underset{0\le t\le 1}{\mathop{\min }}\,\left\| \frac{\left( 1-t \right){{\left| A \right|}^{2}}+t{{\left| {{A}^{*}} \right|}^{2}}}{2}+\frac{{{\left| A \right|}^{4\left( 1-t \right)}}+{{\left| {{A}^{*}} \right|}^{4t}}}{4} \right\|^{\frac{1}{2}}<\frac{1}{2}\left\| {{\left| A \right|}^{}}+{{\left| {{A}^{*}} \right|}^{}} \right\|.\]
\end{example}