On the existence of compacta of minimal capacity in the theory of rational approximation of multi-valued analytic functions
type: Item
instance of: scholarly article
title: On the existence of compacta of minimal capacity in the theory of rational approximation of multi-valued analytic functions
zbMATH Open document ID: 1347.41014
author: Viktor I. Buslaev
author: S. P. Suetin
published in: Journal of Approximation Theory
publication date: 2016-04-15T00:00:00Z
full work available at URL: https://arxiv.org/abs/1505.06120
reviewed by: Marcel G. de Bruin
Mathematics Subject Classification ID: 41A20
Mathematics Subject Classification ID: 41A21
zbMATH DE Number: 6569178
zbMATH Keywords: rational approximants
zbMATH Keywords: Padé approximation
zbMATH Keywords: orthogonal polynomials
zbMATH Keywords: distribution of poles
zbMATH Keywords: convergence in capacity
MaRDI profile type: Publication
OpenAlex ID: W1505883570
arXiv ID: 1505.06120
cites work: Asymptotics of Hermite-Padé approximants for two functions with branch points
cites work: Weighted extremal domains and best rational approximation
cites work: Q4552352
cites work: Convergence of multipoint Padé approximants of piecewise analytic functions
cites work: Convergence of m-point Padé approximants of a tuple of multivalued analytic functions
cites work: Existence of compact sets with minimum capacity in problems of rational approximation of multivalued analytic functions
cites work: Method of interior variations and existence of \(S\)-compact sets
cites work: Asymptotic zero distribution of complex orthogonal polynomials associated with Gaussian quadrature
cites work: Q3062971
cites work: Q3788266
cites work: Padé-Chebyshev approximants of multivalued analytic functions, variation of equilibrium energy, and the $ S$-property of stationary compact sets
cites work: An asymptotic formula for a two-point analogue of Jacobi polynomials
cites work: S-curves in polynomial external fields
cites work: Q3940070
cites work: Gennadiĭ Mikhaĭlovich Goluzin and geometric function theory
cites work: Q4758750
cites work: Critical measures, quadratic differentials, and weak limits of zeros of Stieltjes polynomials
cites work: Variation of the equilibrium energy and the \(S\)-property of stationary compact sets
cites work: Heine, Hilbert, Padé, Riemann, and Stieltjes: John Nuttall’s work 25 years later
cites work: Asymptotics of generalized Jacobi polynomials
cites work: Orthogonal Polynomials and 𝑆-curves
cites work: The distribution of the zeros of the Hermite-Padé polynomials for a pair of functions forming a Nikishin system
cites work: Q4360405
cites work: Extremal domains associated with an analytic function I
cites work: Extremal domains associated with an analytic function II
cites work: The structure of extremal domains associated with an analytic function
cites work: Orthogonal polynomials with complex-valued weight function. I
cites work: Orthogonal polynomials with complex-valued weight function. II
cites work: Convergence of rational interpolants
cites work: Q3338499
DOI: 10.1016/J.JAT.2015.08.002
review text: In this paper the authors prove results that were partially announced in their paper [Russ. Math. Surv. 69, No. 1, 159--161 (2014; Zbl 1290.31002); translation from Usp. Mat. Nauk 69, No. 1, 169--170 (2014)].NEWLINENEWLINEThe main theorems are formulated asNEWLINENEWLINETheorem 1. Let \(E=\cup_{j=1}^m\), \(E_j\subset{\mathcal E}_m\), \(f\in{\mathcal A}(E),\mu\in M(E),\mu(E_j)>0\;(1\leq j\leq m)\). Suppose thet the \(\mu\)-minimizing element in \({\mathcal K}_{E,f}\) consists of a finite number of continua. Then \(F\) is symmetric in the external field \({\mathcal V}^{-\mu}\) and \(\mathbb C\setminus F=\cup_{j=1}^m\,D_j\), where \(E_j\subset D_j\).NEWLINENEWLINEMoreover, the domains \(D_j\) and \(D_k\;(1\leq j,k\leq m)\) either do not intersect one another or coincide.NEWLINENEWLINETheorem 2. Let \(E\subset [a,b]\subset\mathbb C\) be a closed interval,\ \(\mu\in{\tilde M}(E)\). There exists a function \(f\in{\mathcal A}(E)\) such that the \(\mu\)-minimization problem NEWLINE\[NEWLINE\mathrm{cap}_{\mu}\,F=\inf_{K\in {\mathcal K}_{E,f}}\,\mathrm{cap}_{\mu}\,K, NEWLINE\]NEWLINE in the family of compacta \({\mathcal K}_{E,f} \) is not solvable.NEWLINENEWLINE\({\mathcal E}_m\) is the class of compacta \(E\subset\overline{\mathbb C}\) of the form \(E=\cup_{j=1}^m\,E_j\), where \(E_1,\dots,E_m\) are pairwise disjoint continua in \(\overline{\mathbb C}\) (some may consist of a single point),NEWLINENEWLINE\({\mathcal A}(E)\) is the class of functions defined on \(E=\cup_{j=1}^m\,E_j\), such that each restriction \(f_j=f\mid_{E_j}\,(1\leq j\leq m)\) is holomorphic on \(E_j\) and admits a continuation along every path in \(\mathbb C\), not passing through a finite pointset \(A_{f_j}\), where \(A_{f_j}\) contains at least one branch point of \(f_j\)\dotsNEWLINENEWLINEA very nicely written paper, giving ample background of historical developments and showing in a clear and concise way all the intricate steps in the proofs.
description: scientific article; zbMATH DE number 6569178