Abstract:Analytic functions in the Hardy class $H^2$ over the upper half-plane $\mathbb{H}_+$ are uniquely determined by their values on any curve $\Gamma$ lying in the interior or on the boundary of $\mathbb{H}_+$. The goal of this paper is to provide a quantitative version of this statement. Given that $f$ from a unit ball in $H^2$ is small on $\Gamma$ (say, its $L^2$ norm is of order $\epsilon$), how does this affect the magnitude of $f$ at a point $z$ away from the curve? When $\Gamma \subset \partial \mathbb{H}_+$, we give a sharp upper bound on $|f(z)|$ of the form $\epsilon^\gamma$, with an explicit exponent $\gamma=\gamma(z) \in (0,1)$ and describe the maximizer function attaining the upper bound. When $\Gamma \subset \mathbb{H}_+$ we give an implicit sharp upper bound in terms of a solution of an integral equation on $\Gamma$. We conjecture and give evidence that this bound also behaves like $\epsilon^\gamma$ for some $\gamma=\gamma(z) \in (0,1)$. These results can also be transplanted to other domains conformally equivalent to the upper half-plane.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the problem of estimating the error of analytic continuation of analytic functions in the upper half - plane $\mathbb{H}^+$. Specifically, for a function $f$ with unit $H^2$ norm, if its $L^2$ norm on a certain curve $\Gamma$ is very small (for example, its $L^2$ norm is on the order of $\epsilon$), then how large can $f$ be at a point $z$ far away from $\Gamma$? The goal of the paper is to provide an accurate quantitative version of this statement.
### Main contributions
1. **Estimates on the boundary curve**:
- When $\Gamma\subset\partial\mathbb{H}^+$, the paper gives an explicit upper bound for $|f(z)|$ in the form of $\epsilon^\gamma$, where $\gamma = \gamma(z)\in(0,1)$ is an explicit exponent, and there is a maximizing function that reaches the upper bound.
- Specifically, when $\Gamma$ lies on an interval of the real axis, the paper gives an explicit expression for $\gamma(z)$ and proves that this upper bound is asymptotically optimal.
2. **Estimates on the interior curve**:
- When $\Gamma\subset\mathbb{H}^+$, the paper gives an implicit optimal upper bound, which is determined by solving an integral equation.
- The paper conjectures and provides evidence that this upper bound also has the form of $\epsilon^\gamma$, where $\gamma=\gamma(z)\in(0,1)$.
### Methods and results
- **Spectral analysis**:
- By means of spectral analysis methods, the paper studies the properties of eigenvalues and eigenfunctions of the integral operator $K$, especially their exponential decay characteristics.
- These spectral properties are used to derive power - law estimates of the analytic continuation error.
- **Variational method**:
- The paper uses the variational method to establish the optimal upper bound and determines the maximizing function by solving an integral equation.
- These results are not only applicable to the upper half - plane, but can also be transplanted to other regions conformally equivalent to the upper half - plane through conformal mapping.
### Application background
- **Stability problems in electromagnetics**:
- The motivation of the paper comes from understanding the extrapolation stability problem of the complex permittivity of materials as a function of frequency.
- Herglotz functions (i.e., complex analytic functions with non - negative imaginary parts in the upper half - plane) appear widely in physics, such as the complex impedance of circuits, the effective modulus of composite materials, etc.
### Conclusion
Through rigorous mathematical analysis, the paper provides an accurate quantitative estimate of the analytic continuation error of analytic functions in the upper half - plane. These results are not only of great theoretical significance, but also have potential value in practical applications, especially in dealing with extrapolation problems in electromagnetics and materials science.