Abstract:We establish the existence and uniqueness of rational conformal maps of minimal degree $n+1$ for opening up $n$ arcs. In earlier results, the degree was exponential in $n$. We also discuss two related problems. (a) We establish existence of rational functions of minimal degree with prescribed critical values, and show that the number of (suitably normalized) rational functions is given in terms of the Hurwitz numbers. (b) We consider the problem of finding rational functions of minimal degree with prescribed critical points, where we establish existence of solutions by considering certain polynomial equations, and where the number of normalized solutions is bounded from above by a Catalan number. We illustrate our results with two examples.
What problem does this paper attempt to address?
The main problems that this paper attempts to solve are the existence and uniqueness problems of rational functions with the minimum degree, especially these rational functions can open several arcs on the complex plane. Specifically:
1. **Existence and Uniqueness**:
- The paper proves that for given \(n\) mutually disjoint Jordan arcs \(\gamma_1, \gamma_2, \ldots, \gamma_n\), there exists a rational function \(F\) of type \((n + 1,n)\) such that \(F\) is a conformal mapping from \(\mathbb{C}_\infty\setminus K\) to \(\mathbb{C}_\infty\setminus\bigcup_{j = 1}^n\gamma_j\), where \(K\) is a compact set enclosed by \(n\) mutually disjoint Jordan curves. Moreover, \(F\) and \(K\) are unique in the sense of pre - composing \(F\) with a linear transformation. In particular, the normalization condition at infinity \(F(z)=z + O(1/z)\) determines the uniqueness of \(F\) and \(K\).
2. **Rational Functions with Predetermined Critical Values**:
- The paper also discusses the existence problem of rational functions with predetermined critical values. Specifically, for given \(2n\) distinct complex numbers \(\eta_1, \eta_2, \ldots, \eta_{2n}\), there exists a rational function \(F\) of type \((n + 1,n)\) whose set of critical values is \(\{\eta_1, \eta_2, \ldots, \eta_{2n}\}\). Each such function can be normalized to \(F(z)=z + O(1/z)\). If \(n = 1\), there exists a unique normalized function; if \(n\geq2\), the number of normalized functions is \((n + 1)H_n\), where \(H_n\) is the Hurwitz number:
\[
H_n=\begin{cases}
\frac{(2n)!}{n!(n + 1)^{n-3}}, & \text{if }n\geq2,\\
1, & \text{if }n = 1.
\end{cases}
\]
3. **Rational Functions with Predetermined Critical Points**:
- The paper further explores the existence problem of rational functions with predetermined critical points. Specifically, for given \(2n\) distinct complex numbers \(\zeta_1, \zeta_2, \ldots, \zeta_{2n}\), there exists a rational function \(F\) of type \((n + 1,n)\) whose set of critical points is \(\{\zeta_1, \zeta_2, \ldots, \zeta_{2n}\}\). Each such function can be normalized to \(F(z)=z + O(1/z)\), and the number of normalized functions does not exceed the Catalan number \(C_n=\frac{1}{n + 1}\binom{2n}{n}\).
4. **Minimum Degree**:
- The paper proves the minimum - degree property of the above - mentioned rational functions in Theorems 1.1, 1.2 and 1.3, that is, if \(F = P/Q\) are two coprime polynomials, then \(\deg(P)\) cannot be less than \(n + 1\), and \(\deg(Q)\) cannot be less than \(n\). Moreover, these rational functions have only simple poles.
Through these results, the paper not only solves the existence and uniqueness problems of rational functions under specific conditions, but also provides methods for calculating these rational functions.