Estimates of holomorphic functions in zero-free domains (Q1039940)

The authors study scalar holomorphic functions in zero-free domains and obtain some lower bounds on functions holomorphic in \(\mathbb C_+\) without zeros in the strip \(\{z\in\mathbb C : 0 < \text{Im}\,z <1\}\). The main motivation comes from the scattering theory for the wave equation in the exterior of a bounded connected domain \(K\subset\mathbb R^n\), \(n\geq 3\) odd, with smooth boundary \(\partial K\). A lower bound for \(|f(z)|\) is obtained, which is very close to an optimal one as it is shown by an example. For functions \(f(z)\) growing as \(\mathcal O(e^{{|z|}^\beta}\)), \(1 <\beta < 2\), the result is different, and the authors study this class of functions. As the examples show, the lower bounds cannot be improved if we have zeros \(z_k\) with multiplicities \(m(z_k)\to +\infty\). In the physically important examples, the resonances and the conjugated zeros are simple. It is important to search conditions leading to lower bounds \(|f(z)|\geq e^{-a|z|}\) in zero-free domains, and this problem is also treated. The authors examine the case \(I + B(z)\), where \(B(z)\) is a finite rank operator valued function holomorphic in \(\mathbb C_+\) such that \((I + B(z))^{-1}\) exists for \(0 \leq\text{Im}\, z \leq \delta\) and \(Image\, B(z)\subset V\) with a finite dimensional space \(V\) independent of \(z\). In particular, the authors cover the case of matrix valued functions \(a(z) :\mathbb C^m\to\mathbb C^m\) holomorphic in \(\mathbb C_+\) with \(\text{det}\,a(z)\neq 0\) for \(0 \leq\text{Im}\,z \leq\delta\). In this generality it seems that this is the first result leading to an estimate on the norm of the inverse matrix and some applications in numerical analysis could be interesting. Next the authors examine an operator valued function \(A(z)\) holomorphic in \(\mathbb C_+\), assuming that \(A(z)\) is a trace class operator for \(z\in\mathbb C_+\) and \(I + A(x)\) is unitary for \(x\in\mathbb R\). An estimate for \(\|(I +A(z))^{-1}\|\) is obtained provided that \(I + A(z)\) is invertible for \(0 < \text{Im}\, z < 1\).