On the Widom factors for L_p extremal polynomials

DOI10.1016/J.JAT.2020.105480MaRDI QIDQ2209294zbMATH OpenOpenAlexFDO

Publication date 30 October 2020

Published in Journal of Approximation Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2005.09114

\( L_p\) extremal polynomials equilibrium and reflectionless measures orthogonal polynomials on a circular arc polynomial pre-images Widom factors

Mathematics Subject Classification ID

Orthogonal polynomials and functions of hypergeometric type (Jacobi, Laguerre, Hermite, Askey scheme, etc.) (33C45) Inequalities in approximation (Bernstein, Jackson, Nikol'ski?-type inequalities) (41A17) Best constants in approximation theory (41A44) Orthogonal functions and polynomials, general theory of nontrigonometric harmonic analysis (42C05)

Abstract: We continue our study of the Widom factors for

L_{p} (m u)

extremal polynomials initiated in [4]. In this work we characterize sets for which the lower bounds obtained in [4] are saturated, establish continuity of the Widom factors with respect to the measure

m u

, and show that despite the lower bound

[W_{2, n} (m u_{K})]^{2} g e q 2 S (m u_{K})

for the equilibrium measure

m u_{K}

on a compact set

K s u b s e t m a t h b b R

the general lower bound

[W_{p, n} (m u)]^{p} g e q S (m u)

is optimal even for measures

d m u = w d m u_{K}

with polynomial weights

w

on

K s u b s e t m a t h b b R

. We also study pull-back measures under polynomial pre-images introduced in [16, 23] and obtain invariance of the Widom factors for such measures. Lastly, we study in detail the Widom factors for orthogonal polynomials with respect to the equilibrium measure on a circular arc and, in particular, find their limit, infimum, and supremum and show that they are strictly monotone increasing with the degree and strictly monotone decreasing with the length of the arc.

Review text

For \(0< p<\infty\), let \[ t_{p,n}(\mu):=\inf{\|P_n\|}_{L_p(\mu)}, \] where the infimum ist taken over all monic polynomials \(P_n\) of degree \(n\) and \({\|\cdot\|}_{L_p(\mu)}\) is the usual \(L_p\)-norm with respect to a finite (positive) Borel measure \(\mu\) with \(\operatorname{supp}(\mu)=K\) and \(K\subset{\mathbb C}\) compact. Furthermore, let \[ W_{p,n}(\mu):=t_{p,n}(\mu)/\operatorname{cap}(K) \] be the Widom factors, where \(\operatorname{cap}(K)\) denotes the logarithmic capacity and \(K\) is non-polar. Finally, let \[ S(\mu)=S_K(w):=\exp\Bigl(\int\log w(z)d\mu_K(z)\Bigr) \] be the exponential relative entropy of \(\mu\) relative to the equilibrium measure \(\mu_K\) of \(K\). For \(K\subset{\mathbb R}\), the authors prove that \[ \inf\bigl(W_{n,p}(\mu)\bigr)^p/S(\mu)=1, \] where the infimum is taken over all measures \(\mu\) with \(d\mu(z)=w(z)d\mu_K(z)\) and \(w(z)\) a polynomial positive on \(K\). They also study pull-back measures under polynomial pre-images and obtain invariance of the Widom factors for such measures. Finally, for the special case when \(K\) is a circular arc of length \(2\gamma\), say \(K=K_{\gamma}\), they show that \(W_{2,n}(\mu_{K_{\gamma}})\) is strictly monotone increasing with \(n\) and strictly monotone decreasing with \(\gamma\).

Recommendations

Cites work

Cited in

(13)

This page was built for publication: On the Widom factors for \(L_p\) extremal polynomials

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2209294)