Abstract:Inner functions are the backbone of holomorphic function theory. This paper studies the inner functions on quotient domains of the open unit polydisc, $\bD^d$, arising from the group action of finite pseudo-reflection groups. Such quotient domains are known to be biholomorphic to the proper image $\theta(\bD^d)$ of $\bD^d$ under certain polynomial map $\theta: \bD^d \to \theta(\bD^d)$. The main contributions of this paper are as follows:
1) We show that the closed algebra generated by inner functions on $\theta(\bD^d)$ forms a proper subalgebra of $H^\infty(\theta(\bD^d))$, the algebra of bounded holomorphic functions on $\theta(\bD^d)$. This in particular shows that Marshall's theorem, which states that the algbera generated by rational inner functions on the disc is the algebra of bounded analytic functions on $\bD$, does not hold in these domains. En route, we also shed some light on the Shilov boundary corresponding to $H^\infty(\theta(\bD^d))$.
2) The structure of rational inner functions on $\theta(\bD^d)$ is found.
3) The set of all rational inner functions on $\theta(\bD^d)$ is shown to be dense in the norm-unit ball of $H^\infty(\theta(\bD^d))$ with respect to the uniform compact-open topology, thereby proving the Carathéodory approximation result.
4) As an application of the Carathéodory approximation theorem, we approximate holomorphic functions on $\theta(\bD^d)$ that are continuous in the closure of ${\theta(\bD^d)}$ by convex combinations of rational inner functions in the $L^2 $-norm, thereby obtaining a version of the Fisher's theorem.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
This paper aims to study inner functions on the quotient fields of the unit polydisc. Specifically, the paper explores inner functions on the quotient field \(\theta(D^d)\) generated by the action of finite pseudo - reflection groups and their properties. The main contributions are as follows:
1. **Algebraic structure**:
- It is proved that the closed algebra generated by inner functions on \(\theta(D^d)\) is a proper sub - algebra of \(H^\infty(\theta(D^d))\). This shows that Marshall's theorem (that is, on the unit disc, the algebra generated by rational inner functions is equal to the algebra of bounded analytic functions) does not hold in these quotient fields.
- The properties of the Shilov boundary related to \(H^\infty(\theta(D^d))\) are explored.
2. **Structure of rational inner functions**:
- The structure of rational inner functions on \(\theta(D^d)\) is revealed and a specific representation form is given.
3. **Approximation theory**:
- It is proved that rational inner functions on \(\theta(D^d)\) are dense in the norm unit ball of \(H^\infty(\theta(D^d))\) with respect to the compact - open topology, thus proving the Carathéodory approximation theorem.
- Using the Carathéodory approximation theorem, it is further proved that continuous analytic functions on \(\theta(D^d)\) can be approximated in the \(L^2\) sense by convex combinations of rational inner functions, obtaining a version of Fisher's theorem.
### Formula presentation
1. **Representation form of rational inner functions**:
\[
f(p_1,\ldots,p_{d - 1},p_d)=\tau p_d^k\frac{g\left(\frac{p_{d-1}}{\overline{p_d}^t},\frac{p_{d-2}}{\overline{p_d}^t},\ldots,\frac{p_1}{\overline{p_d}^t},\frac{1}{\overline{p_d}}\right)}{g(p_1,\ldots,p_{d-1},p_d)}
\]
where \(\tau\in\mathbb{T}\) and \(g\) is a polynomial without zeros on \(\theta(D^d)\).
2. **Carathéodory approximation theorem**:
- Any function in the norm unit ball of \(H^\infty(\theta(D^d))\) can be approximated in the \(L^2\) norm by convex combinations of rational inner functions in \(A(\theta(D^d))\).
3. **Version of Fisher's theorem**:
- Any continuous and analytic function on \(\theta(D^d)\) can be approximated in the \(L^2\) norm by convex combinations of rational inner functions in \(A(\theta(D^d))\).
### Conclusion
Through the above research, the paper not only reveals the algebraic structure and approximation properties of inner functions on the quotient fields of the unit polydisc, but also provides a theoretical basis for further research in related fields. These results are of great significance for understanding some important problems in complex analysis and functional analysis.