Inverse of generalized Nevanlinna function that is holomorphic at infinity

Muhamed Borogovac
DOI: https://doi.org/10.48550/arXiv.2001.09366
2020-01-26
Abstract:Let $\left(\mathcal{H},\left(.,.\right)\right)$ be a Hilbert space and let $\mathcal{L}\left(\mathcal{H}\right)$ be the linear space of bounded operators in $\mathcal{H}$. In this paper, we deal with $\mathcal{L}(\mathcal{H})$-valued function $Q$ that belongs to the generalized Nevanlinna class $\mathcal{N}_{\kappa} (\mathcal{H})$, where $\kappa$ is a non-negative integer. It is the class of functions meromorphic on $C \backslash R$, such that $Q(z)^{*}=Q(\bar{z})$ and the kernel $\mathcal{N}_{Q}\left( z,w \right):=\frac{Q\left( z \right)-{Q\left( w \right)}^{\ast }}{z-\bar{w}}$ has $\kappa$ negative squares. A focus is on the functions $Q \in \mathcal{N}_{\kappa} (\mathcal{H})$ which are holomorphic at $ \infty$. A new operator representation of the inverse function $\hat{Q}\left( z \right):=-{Q\left( z \right)}^{-1}$ is obtained under the condition that the derivative at infinity $Q^{'}\left( \infty\right):=\lim\limits_{z\to \infty}{zQ(z)}$ is boundedly invertible operator. It turns out that $\hat{Q}$ is the sum $\hat{Q}=\hat{Q}_{1}+\hat{Q}_{2},\, \, \hat{Q}_{i}\in \mathcal{N}_{\kappa_{i}}\left( \mathcal{H} \right)$ that satisfies $\kappa_{1}+\kappa_{2}=\kappa $. That decomposition enables us to study properties of both functions, $Q$ and $\hat{Q}$, by studying the simple components $\hat{Q}_{1}$ and $\hat{Q}_{2}$.
Functional Analysis,Complex Variables
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is the operator representation problem of the inverse function of the generalized Nevanlinna function when it is holomorphic at infinity. Specifically, the author focuses on the function \(Q(z)\) belonging to the generalized Nevanlinna class \(N_{\kappa}(H)\), and these functions are holomorphic at infinity. The core of the research lies in: 1. **Operator representation of the inverse function**: When the function \(Q(z)\) is holomorphic at infinity and its derivative \(Q'(\infty):=\lim_{z\rightarrow\infty}zQ(z)\) is a boundedly invertible operator, how to obtain the operator representation of the inverse function \(\hat{Q}(z):=-Q(z)^{-1}\). 2. **Decomposition of the inverse function**: Prove that the inverse function \(\hat{Q}(z)\) can be decomposed into two parts \(\hat{Q}=\hat{Q}_1+\hat{Q}_2\), where \(\hat{Q}_1\in N_{\kappa_1}(H)\) and \(\hat{Q}_2\in N_{\kappa_2}(H)\), and satisfy \(\kappa_1+\kappa_2 = \kappa\). This decomposition is helpful for studying the properties of these two parts separately. 3. **Regularity and poles**: It is proved that under the above conditions, the function \(Q(z)\) is regular, and its inverse function \(\hat{Q}(z)\) must have a pole at infinity. ### Main results - **Theorem 3.2**: Gives the operator representation form of the inverse function \(\hat{Q}(z)\): \[ \hat{Q}(z)=(\Gamma^*\Gamma)^{-1}\Gamma^*\left\{A(I - P)(\tilde{A}-z)^{-1}(I - P)A-(A - zI)\right\}\Gamma(\Gamma^*\Gamma)^{-1} \] where \(\Gamma\) and \(P\) are defined by (2.2) and (3.1) respectively. - **Theorem 4.1**: Further decomposes the inverse function \(\hat{Q}(z)\) into two parts: \[ \hat{Q}(z)=\hat{Q}_1(z)+\hat{Q}_2(z) \] where \[ \hat{Q}_1(z)=\hat{S}+z\hat{G}\in N_{\kappa_1}(H) \] and \[ \hat{Q}_2(z):=\tilde{\Gamma}^*(\tilde{A}-z)^{-1}\tilde{\Gamma}\in N_{\kappa_2}(H) \] ### Applications and significance Through these results, the author not only provides a theoretical framework for the generalized Nevanlinna function and its inverse function, but also shows how to apply these theories in specific cases to find the representation operators. For example, in Example 3.4, the author shows how to use Theorem 3.2 to find the representation operators \(A\) and \(\Gamma\) of the given function \(Q(z)\). In conclusion, this paper solves the operator representation problem of the inverse function of the generalized Nevanlinna function when it is holomorphic at infinity, and describes in detail the properties and decomposition methods of the inverse function through a series of theorems and lemmas.