Continuity of inner-outer factorization and cross sections from invariant subspaces to inner functions

Bingzhe Hou,Yue Xin

2023-06-17

Abstract:Let $H^{\infty}$ be the Banach algebra of bounded analytic functions on the unit open disc $\mathbb{D}$ equipped with the supremum norm. As well known, inner functions play an important role of in the study of bounded analytic functions. In this paper, we are interested in the study of inner functions. Following by the canonical inner-outer factorization decomposition, define $Q_{inn}$ and $Q_{out}$ the maps from $H^{\infty}$ to $\mathfrak{I}$ the set of inner functions and $\mathfrak{F}$ the set of outer functions, respectively. In this paper, we study the $H^{2}$-norm continuity and $H^{\infty}$-norm discontinuity of $Q_{inn}$ and $Q_{out}$ on some subsets of $H^{\infty}$. On the other hand, the Beurling theorem connects invariant subspaces of the multiplication operator $M_z$ and inner functions. We show the nonexistence of continuous cross section from some certain invariant subspaces to inner functions in the supremum norm. The continuity problem of $Q_{inn}$ and $Q_{out}$ on $\textrm{Hol}(\overline{\mathbb{D}})$, the set of all analytic functions in the closed unit disk, are also considered.

Complex Variables,Functional Analysis

What problem does this paper attempt to address?

This paper attempts to solve the problems regarding inner - outer factorization and its continuity from invariant subspaces to inner functions. Specifically, the author focuses on the following two main issues:

1. **Continuity of the Inner - Outer Factorization Mapping**:
- Study the continuity of the inner function mapping \( Q_{\text{inn}} \) and the outer function mapping \( Q_{\text{out}} \) under certain norms.
- In particular, the continuity in the \( H^2 \)-norm and the \( H^\infty \)-norm is studied.

2. **Existence of Continuous Sections from Invariant Subspaces to Inner Functions**:
- Explore whether there exist continuous sections from certain invariant subspaces to inner functions, especially in the case of the \( H^\infty \)-norm.

### Overview of Main Content

#### 1. Continuity of the Inner - Outer Factorization Mapping
The paper first defines the concepts of inner functions and outer functions and introduces the inner - outer factorization mappings \( Q_{\text{inn}} \) and \( Q_{\text{out}} \):
- \( Q_{\text{inn}}: H^\infty \to I \), where \( I \) is the set of all inner functions.
- \( Q_{\text{out}}: H^\infty \to F \), where \( F \) is the set of all outer functions.

Then, the author studies the continuity of these mappings under different norms:
- **Continuity in the \( H^2 \)-norm**: It is proved that \( Q_{\text{inn}} \) and \( Q_{\text{out}} \) are continuous in the \( H^2 \)-norm.
- **Discontinuity in the \( H^\infty \)-norm**: By counter - examples, it is shown that \( Q_{\text{inn}} \) and \( Q_{\text{out}} \) are discontinuous in the \( H^\infty \)-norm.

#### 2. Existence of Continuous Sections
The paper also explores the existence of continuous sections from invariant subspaces to inner functions. In particular, the author proves that in the \( H^\infty \)-norm, there are no continuous sections from certain invariant subspaces to inner functions.

### Conclusion
The main conclusions of the paper include:
- \( Q_{\text{inn}} \) and \( Q_{\text{out}} \) are continuous in the \( H^2 \)-norm but discontinuous in the \( H^\infty \)-norm.
- In the \( H^\infty \)-norm, there are no continuous sections from certain invariant subspaces to inner functions.

These results deepen the understanding of inner - outer factorization and its related properties and provide a theoretical basis for subsequent research.

### Related Formulas
The formulas involved in the paper include:
- Definition of the \( H^\infty \) - norm: \[ \|f\|_\infty=\sup_{z \in D}|f(z)| \]
- Definition of the \( H^2 \) - norm: \[ \|f\|_2 = \left( \int_0^{2\pi}|f(e^{i\theta})|^2\frac{d\theta}{2\pi} \right)^{1/2} \]
- Definition of an inner function: A bounded analytic function \( u \) is called an inner function if it has unimodular radial limits almost everywhere on the unit circle.
- Definition of an outer function: A bounded analytic function \( F \) is called an outer function if it is a cyclic vector of the multiplication operator \( M_z \).

Hope this information can help you understand the research purpose and main content of this paper. If you have more questions or need further explanation, please feel free to let me know.