Aleksandr Komlov | Searcharxiv

arXiv2026

Existence of a "maximal" domain of meromorphy for an analytic function outside a polar compact set

Let E be a polar compact set in $\mathbb C$. Let $f_\infty$ be a germ at $\infty$ that can be analytically continued along an arbitrary path $\gamma$ lying in $\widehat{\mathbb C}\setminus E$ and starting at the point $\infty$. In 1985--1986 Herbert Stahl presented his proof of a fundamental theorem on the convergence of diagonal Pad\'e approximants constructed from such germ $f_\infty$. Since then, this theorem has borne his name. A crucial role in his proof is played by the existence of a compact set $S_{f_\infty}$ of minimal logarithmic capacity among all compact sets $K$ such that the germ $f_\infty$ extends as a single-valued meromorphic function to $\widehat{\mathbb C}\setminus K$. Unfortunately, the proof of this fact presented by H. Stahl in 1985 contains a crucial mistake. It is surprising that this mistake was made in the original Stahl's paper in 1985 and repeated in his last preprint in 2012, and, as far as we know, no one has pointed it out before! In this paper we explain this serious Stahl's mistake and present a correct proof of the existence of a compact set $S_{f_\infty}$. We emphasize that our proof will use ideas completely different from Stahl's ideas. Also we discuss the more general Stahl's conjecture about the existence of a compact set $S_{f_\infty}$ for an arbitrary germ $f_\infty$ without any assumption on the paths along that the germ $f_\infty$ can be continued.

math.CV↗

arXiv2021

Polynomial Hermite-Padé $m$-system for meromorphic functions on a compact Riemann surface

For an arbitrary tuple of $m+1$ germs of analytic functions at a fixed point, we introduce the so-called polynomial Hermite-Padé $m$-system (of order $n$, $n\in\mathbb N$), which consists of $m$ tuples of polynomials; these tuples, which are indexed by a natural number $k\in[1,\dots,m]$, are called the $k$th polynomials of the Hermite-Padé $m$-system. We study the weak asymptotics of the polynomials of the Hermite-Padé $m$-system constructed at the point $\infty$ from the tuple of germs $[1, f_{1,\infty},\dotsc$, $f_{m,\infty}]$ of the functions $1, f_1,\dots,f_m$ that are meromorphic on some $(m+1)$-sheeted branched covering $π\colon \mathfrak R\to\widehat{\mathbb C}$ of the Riemann sphere $\widehat{\mathbb C}$ of a compact Riemann surface $\mathfrak R$. In particular, under some additional condition on $π$, we find the limit distribution of the zeros and the asymptotics of the ratios of the $k$th polynomials for all $k\in[1,\dots, m]$. It turns out that in the case, where $f_j = f^j$ for some meromorphic function $f$ on $\mathfrak R$, the ratios of some $k$th polynomials of such Hermite-Padé $m$-system converge to the sum of the values of the function $f$ on the first $k$ sheets of the Nuttall partition of the Riemann surface $\mathfrak R$ into sheets.

math.CV↗