Weighted polynomial inequalities with doubling weights on a quasismooth arc (Q443891): Difference between revisions

The author proves a Bernstein-type inequality for higher derivatives of polynomials on quasismooth arcs on the complex plane in \(L_p\) norms with doubling weights. The following three important theorems from the paper under review generalize some classical results for polynomials to more general sets. The proofs use several tools including the theory of the Dzjadyk kernel, special results about Riemann mappings and harmonic measure of the complement of quasismooth arcs and the Mastroianni-Totik approximation of doubling weights. Furthermore, this paper is in line with the author's other recent papers, e.g. [``Weighted \(L_p\) Bernstein-type inequalities on a quasismooth curve in the complex plane'', Acta Math. Hungar. 135, No. 1--2, 8--23 (2012; \url{doi:10.1007/s10474-011-0155-6})] and [J. Approx. Theory 164, No. 9, 1165--1183 (2012; Zbl 1253.30013)]. Let \(L\) be a Jordan arc in the complex plane with endpoints \(\zeta_1\), \(\zeta_2\) and denote by \(|S|\) the length (linear measure) of \(S\subset\mathbb{C}\). If \(z_1, z_2\in L\), then denote the subarc between \(z_1\) and \(z_2\) by \(L(z_1, z_2)\). Assume that \(L\) is quasismooth. Let \(\Phi\) be the Riemann mapping from \(\Omega:=\mathbb{C}\setminus L\) onto \(\{ \tau\in\mathbb{C}: |\tau|>1\}\) with the normalization \(\Phi(\infty)=\infty\) and \(\lim_{\zeta\rightarrow\infty} \Phi(\zeta)/\zeta >0\), and set \(L_\delta := \{\zeta\in\Omega: |\Phi(\zeta)|=1+\delta\}\), \(\rho_\delta(z):=\inf\{|z-\xi|:\xi\in L_\delta \}\). With these notations, the following theorems are proved along several lemmas. Theorem 1. For \(1\leq p<\infty\), \(k\in\mathbb{N}\), \(0\leq \alpha<k\) there exists \(c_1=c_1(L,p,k,\alpha)>0\) such that for all polynomial \(p_n\) with degree at most \(n\), \[ \int_L |p_n^{(k)}(z)|^p [\rho_{1/n}(z) ]^{kp-\alpha} |dz| \leq c_1 \int_L |p_n(z)|^p [\rho_{1/n}(z) ]^{-\alpha} |dz| . \tag{2.2} \] Let \(l_{1/\delta}(z)\) be the arc \(L(z_{1,\delta},z_{2,\delta})\) such that \(|L(z_{1,\delta},z)|=|L(z,z_{2,\delta})|=\rho_\delta(z)\). For a weight \(w\geq 0\) on \(L\), let \(w_n(z):=|l_n(z)|^{-1} w(l_n(z))\), where \(w(l_n(z))=\int_{l_n(z)} w(\zeta) |d\zeta|\). A doubling weight \(w\geq 0\) on \(L\) with doubling constant \(K_w\) is called Mastroianni-Totik (or MT, for short) approximable if for all \(1\leq p<\infty\) there exist \(m(L,p,K_w)\in\mathbb{N}\) and \(c_3(L,p,K_w)>1\) such that for all \(n\in\mathbb{N}\) there exists a polynomial \(q_{n,p}\) with degree at most \(mn\) with the properties \(1/c_3\;w_n(z)\leq |q_{n,p}(z)|^p \leq c_3 w_n(z)\) and \(|q_{n,p}'(z) \rho_{1/n}(z)|^p \leq c_3 w_n(z)\), \(z\in L\). Theorem 2. Let \(w\) be MT-approximable, \(1\leq p<\infty\). Then, there exists \(c_5(L,p,K_w)\geq 1\) such that for all polynomial \(p_n\) with degree at most \(n\) and \(0\leq \beta<1\), \[ \begin{aligned} {1 \over c_5} & \int_L |p_n(z)|^p [\rho_{1/n}(z) ]^{-\beta} w_n(z) |dz|\cr &\leq\int_L |p_n(z)|^p [\rho_{1/n}(z) ]^{-\beta} w(z) |dz| \cr & \leq c_5 \int_L |p_n(z)|^p [\rho_{1/n}(z) ]^{-\beta} w_n(z) |dz|. \tag{2.11}\end{aligned} \] Let \(\varepsilon_n(z):=\sqrt{|z-\zeta_1||z-\zeta_2|} /n + 1/n^2\), \(z\in L\). Theorem 3. Let \(L\) be Dini-smooth, \(1\leq p<\infty\), \(s\in\mathbb{R}\) and \(w\) an MT-approximable weight. Then there exists \(c_{12}(L,p,s,K_w)>0\) such that for any polynomial \(p_n\) with degree at most \(n\), \[ \int_L |p_n'(z)|^p [\varepsilon_n(z)]^s w(z) |dz|\leq c_{12} \int_L |p_n(z)|^p [\varepsilon_n(z)]^{s-p} w(z) |dz|. \tag{2.16} \]