An analog of Gonchar's theorem for the \(m\)-point version of Leighton's conjecture (Q338491): Difference between revisions

Let \[ \dfrac{a_1z^{\alpha_1}}{1+\dfrac{a_2z^{\alpha_2}}{1+\dots}},\quad \text{where }a_n \in\mathbb C\backslash \{0\}, \quad\alpha_n \in \mathbb N,\quad n=1,2,\dots,\tag{1.1} \] be a general \(C\)-fraction. Let the parameters of a general \(C\)-fraction (1.1) satisfy the conditions \[ \lim_{n \to \infty} \alpha_n=\infty, \quad \lim_{n \to \infty }|a_n|^{1/\alpha_n}=1. \tag{1.2} \] Then the \(C\)-fraction (1.1) converges, uniformly in the spherical metric on compact subsets of the disk \(D=\{|z|<1\}\), to a meromorphic function \(f\) in \(D\), and the disk \(D\) is the natural domain of existence of the meromorphic function \(f\). The Leighton's conjecture was proved in particular cases by Scott, Wall, Thron and others. Gonchar proved the following theorem. Let \(f\) be a meromorphic function in the unit disk \(D\) defined by a \(C\)-fraction of the form (1.1), (1.2). If the sequence of exponents \(\alpha_n\) satisfies the condition \[ \alpha_n-\alpha_{n-1}+\alpha_{n-2}-\alpha_{n-3}+\dots+(-1)^{n-1}\alpha_1 > 0, \quad n=1,2,\dots, \tag{1.3} \] then the disk \(D\) is the natural domain of existence of the function \(f\) (in other words, every point of the circle \(\partial D=\{|z|=1\}\) is a singular point of the meromorphic function \(f(z), z\in D\)). Continued fractions of the form \[ \dfrac{a_1 A_1(z)}{1+\dfrac{a_2A_2(z)}{1+\cdots}},\quad \text{where }a_n \in \mathbb{C}\backslash \{0\}, \; A_n(z)=\prod_{j=1}^m (z-e_j)^{\alpha_{n,j}},\tag{1.4} \] \(\alpha_{n,j} \in \mathbb{N}\), \(n=1,2,\dots,j=1,2,\dots,m\) (here \(e_1,e_2,\dots,e_m\) are fixed points of the complex plane) are analysed in this paper. An analog of Gonchar's theorem is proved for the case of continued fractions (1.4).