---
title: Weighted Chebyshev Polynomials
url: https://www.emergentmind.com/topics/weighted-chebyshev-polynomials
type: topic
---

# Weighted Chebyshev Polynomials

Weighted Chebyshev polynomials are not a single universally standardized family. In contemporary usage, the phrase most commonly denotes monic degree-\(n\) polynomials minimizing a weighted supremum norm on a compact set, but it also refers to orthogonal systems associated with Chebyshev-type weights, endpoint-modified and simplicial generalizations, and weighted inequalities or trigonometric extremal problems built from Chebyshev kernels. The unifying theme is that the classical Chebyshev structure is altered by a weight, either in the norm, in the orthogonality measure, or in the underlying geometry [2502.11424] [1503.07897].

## 1. Extremal definition and the weighted minimax problem

In the extremal-theoretic formulation, let \(e\subset \mathbb C\) be an infinite compact set and let \(w:e\to[0,\infty)\) be an upper semicontinuous weight that is positive at infinitely many points of \(e\). The weighted norm of a polynomial \(P_n\) is
\[
\|wP_n\|_e:=\sup_{z\in e}|w(z)P_n(z)|.
\]
The \(n\)-th weighted Chebyshev polynomial is the unique minimizer among monic degree-\(n\) polynomials,
\[
T_{n,w}=\arg\min\{\|wP_n\|_e:\ P_n \text{ monic of degree }n\},
\]
and its minimal deviation is
\[
t_n(e,w):=\|wT_{n,w}\|_e.
\]
If \(C(e)>0\) is the logarithmic capacity, the associated Widom factor is
\[
W_n(e,w):=\frac{t_n(e,w)}{C(e)^n}.
\]
This is the basic framework for current weighted Chebyshev theory on subsets of the real line and, with suitable modifications, on arcs and other compact sets [2502.11424].

A closely related object is the weighted residual polynomial. For \(x_*\in \mathbb R\cup\{\infty\}\), one considers
\[
T_{n,w,x_*}=\arg\min\{\|wP\|_e:\ P\in\mathcal P_n(x_*)\},
\]
where \(P(x_*)=1\) if \(x_*<\infty\), while \(x_*=\infty\) imposes monicity. The generalized Widom factor is then
\[
W_n(e,w,x_*):=t_n(e,w,x_*)\, C(e)^{-n} e^{\,n\, g_e(x_*,\infty)}.
\]
This unifies weighted Chebyshev and weighted residual problems in a single extremal scheme [2502.11424].

For compact \(e\subset\mathbb R\), the alternation theorem remains central. A real polynomial \(P\in\mathcal P_n(x_*)\) is extremal if and only if there are \(n+1\) points \(x_1<\cdots<x_{n+1}\) in \(e\) such that
\[
w(x_j)P(x_j)=(-1)^j\,\operatorname{sgn}(x_*-x_j)\,\|wP\|_e,\qquad j=1,\dots,n+1,
\]
with the convention \(\operatorname{sgn}(\infty-x_j)=1\). This yields the real and simple zero structure of the extremal polynomials [2502.11424].

## 2. Widom factors, Szegő factors, and sharp bounds

The potential-theoretic normalization is governed by the Szegő factor
\[
S(e,w):=\exp\!\left(\int \log w\, d\rho_e\right),
\]
or, in the residual setting,
\[
S(e,w,x_*):=\exp\!\left(\int \log w\, d\rho_e(\cdot,x_*)\right).
\]
A universal lower bound is
\[
W_n(e,w,x_*)\ge S(e,w,x_*).
\]
On the real line, much of the recent theory concerns when the stronger doubled bound \(2S\) is valid [2502.11424] [2408.11496].

For the special class
\[
w_0(x)=\frac{1}{|P_m(x)|},
\]
where \(P_m\) is a real polynomial of degree \(m\) with all zeros outside \(e\), the real-line theory gives non-asymptotic lower and upper bounds. If \(e\subset\mathbb R\) is compact of positive capacity and \(n\ge n_0\), then
\[
W_n(e,w_0,x_*) \ge 2\,S(e,w_0,x_*)\left(1+e^{-2(n-m)g_e(x_*,\infty)}\right)^{-1},
\]
and if \(e\) is compact, regular, and a Parreau–Widom set, then
\[
W_n(e,w_0,x_*)<2\,S(e,w_0,x_*)\,\exp\!\bigl(PW(e,x_*)\bigr).
\]
These are weighted analogues of the classical doubled lower bound and Totik–Widom upper bound [2502.11424].

The asymptotic theory extends beyond reciprocal-polynomial weights. For compact \(e\subset\mathbb R\), if \(w\) is upper semicontinuous, continuous at almost every point of \(e\), and satisfies \(w\ge |P|\) on \(e\) for some nonzero polynomial \(P\), then
\[
\liminf_{n\to\infty} W_n(e,w,x_*)\ge 2S(e,w,x_*).
\]
If \(e\) is compact, regular, and Parreau–Widom, then
\[
\limsup_{n\to\infty} W_n(e,w,x_*)\le 2S(e,w,x_*)\,\exp\!\bigl(PW(e,x_*)\bigr).
\]
Moreover, for such \(e\), the conditions
\[
\inf_n W_n(e,w,x_*)>0
\quad\text{and}\quad
\int \log w\, d\rho_e(\cdot,x_*)>-\infty
\]
are equivalent, and either implies \(\sup_n W_n(e,w,x_*)<\infty\) [2502.11424].

A parallel lower-bound theory on regular compact subsets of \(\mathbb R\) establishes optimal non-asymptotic and asymptotic estimates for large classes of weights, including rational product weights and weights with finitely many zeros, infinitely many zeros, and strong zeros. In this setting the doubled lower bound
\[
W_{0,n}(K,w)\ge 2S(K,w)
\]
is obtained non-asymptotically for broad classes of regular weights, and asymptotically on intervals this yields an extension of Bernstein’s 1931 result to arbitrary Riemann integrable weights with finitely many zeros and to some continuous weights with infinitely many zeros [2408.11496].

## 3. Jacobi, circular, and arc models

A particularly tractable family is given by Jacobi weights on \([-1,1]\),
\[
w(x)=(1-x)^{\rho_\alpha}(1+x)^{\rho_\beta},\qquad \rho_\alpha,\rho_\beta\ge 0.
\]
The corresponding Jacobi-weighted Chebyshev polynomial is the unique monic minimizer of
\[
\sup_{x\in[-1,1]} (1-x)^{\rho_\alpha}(1+x)^{\rho_\beta}\left|\prod_{k=1}^n(x-a_k)\right|,
\]
and the normalized extremal quantity is
\[
{}_n(\rho_\alpha,\rho_\beta)
=
2^n\min_{a_1,\dots,a_n}\max_{x\in[-1,1]}
(1-x)^{\rho_\alpha}(1+x)^{\rho_\beta}
\left|\prod_{k=1}^n(x-a_k)\right|.
\]
For all nonnegative parameters,
\[
{}_n(\rho_\alpha,\rho_\beta)\sim 2^{1-\rho_\alpha-\rho_\beta}\qquad (n\to\infty).
\]
If \(\rho_\alpha,\rho_\beta\in\{0,1/2\}\), the sequence is constant in \(n\); if \(0\le \rho_\alpha,\rho_\beta\le 1/2\), then \({}_n(\rho_\alpha,\rho_\beta)\le 2^{1-\rho_\alpha-\rho_\beta}\) for every \(n\); and if \(\rho_\alpha,\rho_\beta\ge 1/2\), then \({}_n(\rho_\alpha,\rho_\beta)\searrow 2^{1-\rho_\alpha-\rho_\beta}\) [2409.02623].

The interval problem is linked to a unit-circle problem. For \(\rho_\alpha,\rho_\beta\ge 1/2\), if \(I_n\) denotes the Jacobi interval extremal value and \(C_n\) the corresponding unit-circle extremal value, then
\[
C_n = 2^{n+\rho_\alpha+\rho_\beta-1} I_n.
\]
This circle correspondence generalizes earlier special-parameter results and is derived through the Erdős–Lax inequality and a Pólya–Szegő lemma [2409.02623].

Another classical model is the vanishing boundary weight on the unit circle,
\[
w_s(z)=(z-1)^s,\qquad s\ge 0.
\]
The minimizer \(T_n^{w_s}\) satisfies the derivative identity
\[
\frac{1}{s+n+1}\frac{d}{dz}\left\{w_{s+1}(z)\,\mathring{T}_n^{w_{s+1}}(z)\right\}
=
w_s(z)\,T_n^{w_s}(z),
\]
together with
\[
\|w_sT_n^{w_s}\|_T=\frac12\|w_{s+1}\mathring{T}_n^{w_{s+1}}\|_T.
\]
For every \(s\ge 0\), the norms \(\|w_sT_n^{w_s}\|_T\) are monotonically decreasing in \(n\) and converge to \(1\). In the case \(s=1\), the normalized zero counting measures converge weakly to \(d\theta/(2\pi)\) on the unit circle [2309.02047].

On the circular arc
\[
\Gamma_\alpha=\{e^{it}:\,-\alpha\le t\le \alpha\},\qquad 0<\alpha<\pi,
\]
weighted Chebyshev polynomials arise as the special case \(u_0=\infty\) of weighted residual polynomials. For reciprocal-polynomial weights and then for broader classes of weights, the weighted Widom factors satisfy
\[
\lim_{n\to\infty}\mathcal W_n(\Gamma_\alpha,w)
=
2\cos^2(\alpha/4)\,
\exp\!\left(\int_{\Gamma_\alpha}\log w(x)\,d\mu_{\Gamma_\alpha}(x)\right).
\]
This generalizes the unweighted circular-arc constant \(2\cos^2(\alpha/4)\) and extends the theory to algebraic zeros and singular factors in the weight [2602.05428].

## 4. Orthogonality-based weighted and generalized families

Weighted Chebyshev theory also includes orthogonal-polynomial families whose measure is a modification of the classical Chebyshev weight. One such family is the generalized Chebyshev-type polynomial of the first kind,
\[
\mathscr{T}_n^{(M,N)}(x)
=
\frac{(2n)!!\,(n!)^2}{(2n)!}\,T_n(x)+M Q_n(x)+N R_n(x)+MN S_n(x),
\]
where \(Q_n\), \(R_n\), and \(S_n\) are explicit correction terms built from \(T_n\) and its derivatives. These polynomials are orthogonal on \([-1,1]\) with respect to
\[
\frac{1}{\sqrt{1-x^2}} + M\,\delta(x+1) + N\,\delta(x-1),
\]
so the parameters \(M\) and \(N\) act as endpoint-mass modifiers. The family admits an explicit Bernstein-basis representation and closed-form weighted integrals against Bernstein polynomials in terms of beta functions [1503.07897].

A different weighted orthogonality problem uses
\[
w_p(x)=\frac{|T_m(x)|^p}{\sqrt{1-x^2}},\qquad -1<x<1,\quad p>-1.
\]
The corresponding orthogonal polynomials can be described through the polynomial mapping \(x\mapsto T_{2m}(x)\), with the higher-degree members written in terms of monic Jacobi polynomials and Chebyshev polynomials of the second kind. This setting unifies several earlier special cases and makes the role of the Chebyshev factor \(|T_m(x)|^p\) completely explicit [1909.12527].

Weighted Chebyshev systems also appear on simplices. On the triangular domain
\[
T=\{(u,v,w):u,v,w>0,\ u+v+w=1\},
\]
the bivariate Chebyshev-I weighted orthogonal polynomials \(\mathscr T_{n,r}(u,v,w)\) are constructed with respect to
\[
W(u,v,w)=u^2v^2(1-w)^y,\qquad y>-1,
\]
with the main separation argument using \(y>1\). They admit the closed form
\[
\mathscr{T}_{n,r}(u,v,w)
=
\frac{(2r)!}{2^{2r}(r!)^2}\,
T_r\!\left(\frac{u}{1-w}\right)(1-w)^rQ_{n,r}(w),
\]
and form a degree-ordered orthogonal system on the simplex [1507.00147].

The \((\beta,\gamma)\)-Chebyshev functions provide a further generalization:
\[
T_n^{\beta,\gamma}(x)
=
\cos\!\left(\frac{2n}{2-\beta-\gamma}\left(\arccos x-\frac{\gamma\pi}{2}\right)\right),
\qquad
\beta,\gamma\in[0,2),\ \beta+\gamma<2.
\]
These are generally not polynomials, but they are orthogonal on
\[
\Omega_{\beta,\gamma}=
[-\cos(\beta\pi/2),\ \cos(\gamma\pi/2)]
\]
with respect to
\[
w^{\beta,\gamma}(x)=\frac{2}{(2-\beta-\gamma)\sqrt{1-x^2}}.
\]
For special parameter choices they reduce to classical Chebyshev polynomials or sign-modified variants, and the corresponding node sets become subsets of ordinary Chebyshev and Chebyshev–Lobatto points [2102.04126].

## 5. Weighted inequalities and trigonometric extremal analogues

A distinct line of work studies weighted inequalities involving Chebyshev polynomials as functions of their index. Extending \(T_a\) to real \(a\) by
\[
T_a(x)=\frac{(x-\sqrt{x^2-1})^{a}+(x+\sqrt{x^2-1})^{a}}{2},\qquad x\ge 1,
\]
one obtains a Jensen-type inequality for weighted geometric means. If \(t_i\ge 0\), \(\sum_i t_i=1\), and
\[
a\ge \sum_{i=1}^n t_i a_i,
\]
then
\[
\prod_{i=1}^n \bigl(T_{a_i}(x)\bigr)^{t_i}\le T_a(x),\qquad x\ge 1.
\]
Equality holds if and only if \(x=1\), or \(|a|=|a_i|\) for all indices \(i\) with \(t_i\neq 0\); conversely, if the inequality holds for all \(x\ge 1\), then the parameter condition is necessary. The proof proceeds through the two-parameter inequality
\[
T_a(x)^2\ge T_b(x)\,T_c(x)\quad\text{when}\quad 2a^2\ge b^2+c^2
\]
and the concavity of \(a\mapsto \log T_a(x)\) [2301.00679].

Weighted Chebyshev extremality also appears in periodic trigonometric form. On the torus \(\mathbb T\), one studies products
\[
T(z;t)=c_0\prod_{j=1}^n |\sin(\pi(t-z_j))|^{\nu_j}
\]
with weighted norm
\[
\|T\|_{w,C(\mathbb T)}=\sup_{t\in\mathbb T} w(t)\,|T(t)|.
\]
Writing
\[
F(z,t)=J(t)+\sum_{j=1}^n \nu_j \log|\sin(\pi(t-z_j))|,
\qquad J=\log w,
\]
reduces the problem to a sum-of-translates minimax problem. Existence of minimax and maximin node systems and equioscillation follow from Fenton’s method, but the weighted torus case is substantially less rigid than the unweighted or interval cases: equioscillation need not characterize the minimax point uniquely, and minimax and maximin values can differ [2309.06083].

## 6. Quadrature, adjacent theories, and terminological boundaries

The phrase “Chebyshev-type” often appears in quadrature theory, where it has a different meaning. A Chebyshev-type quadrature is an equal-weight quadrature formula,
\[
\int_{-1}^1 p(t)w(t)\,dt=\sum_{i=1}^N w_i\,p(t_i),
\qquad
w_1=\cdots=w_N,
\]
or its trigonometric analogue on the circle. For doubling weights, the minimum number of nodes required for exactness up to degree \(n\) is controlled, up to constants depending only on the doubling constant, by the smallest local mass of the weight at scale \(1/n\) [1507.01505]. This theory concerns equal-weight integration rather than weighted Chebyshev polynomials as extremal or orthogonal objects.

A constructive dyadic variant introduces classes \(\mathbf W_n\) of weights satisfying symmetry relations induced by maps \(S_k\). For \(\rho\in \mathbf W_n\), the resulting equal-weight quadratures are exact for all polynomials in \(\mathrm{Pol}(2^n-1)\), and for \(m=2^{n-1}\) nodes they achieve the maximal possible degree \(2m-1\) [1111.3058]. Although closely related in spirit, these are quadrature formulas rather than a family of weighted Chebyshev polynomials.

A recurrent misconception is that every parameterized use of Chebyshev polynomials is part of weighted Chebyshev theory. This is not the case. In Lucas–Lehmer-type primality testing, Chebyshev polynomials serve as the arithmetic engine behind generalized recurrences through the compositional law
\[
T_n(T_m(x))=T_{nm}(x),
\]
but the work is explicitly not about “weighted Chebyshev polynomials” in the standard orthogonal-polynomial sense [2010.02677]. Likewise, in the study of Demazure multiplicities for \(\mathfrak{sl}_2[t]\)-modules, numerical multiplicities are expressed as coefficients of quotients of normalized second-kind Chebyshev polynomials \(p_n(x)\), with the partition data entering through products and quotients; the paper explicitly states that this is not a new formal weighted Chebyshev theory [2604.17437].

Across these settings, “weighted Chebyshev polynomials” therefore denotes a family of related but non-identical constructions. The most stable core is the weighted minimax problem for monic polynomials under a weighted sup norm, together with the accompanying Widom-factor and Szegő-factor theory. Around that core lie orthogonality-based weighted families, weighted trigonometric extremal problems, and several adjacent theories in which Chebyshev polynomials interact with weights without themselves constituting a standard weighted Chebyshev family [2502.11424] [2408.11496].

Source: https://www.emergentmind.com/topics/weighted-chebyshev-polynomials