In mathematics, in the area of complex analysis, Nachbin's theorem (named after Leopoldo Nachbin) is a result used to establish bounds on the growth rates for analytic functions. In particular, Nachbin's theorem may be used to give the domain of convergence of the generalized Borel transform, also called Nachbin summation. This article provides a brief review of growth rates, including the idea of a function of exponential type. Classification of growth rates based on type help provide a finer tool than big O or Landau notation, since a number of theorems about the analytic structure of the bounded function and its integral transforms can be stated.
Exponential type
A function f ( z ) {\displaystyle f(z)} defined on the complex plane is said to be of exponential type if there exist constants M {\displaystyle M} and α {\displaystyle \alpha } such that
| f ( r e i θ ) | ≤ M e α r {\displaystyle |f(re^{i\theta })|\leq Me^{\alpha r}}
in the limit of r → ∞ {\displaystyle r\to \infty } . Here, the complex variable z {\displaystyle z} was written as z = r e i θ {\displaystyle z=re^{i\theta }} to emphasize that the limit must hold in all directions θ {\displaystyle \theta } . Letting α {\displaystyle \alpha } stand for the infimum of all such α {\displaystyle \alpha } , one then says that the function f {\displaystyle f} is of exponential type α {\displaystyle \alpha } . For example, let f ( z ) = sin ( π z ) {\displaystyle f(z)=\sin(\pi z)} . Then one says that sin ( π z ) {\displaystyle \sin(\pi z)} is of exponential type π {\displaystyle \pi } , since π {\displaystyle \pi } is the smallest number that bounds the growth of sin ( π z ) {\displaystyle \sin(\pi z)} along the imaginary axis. So, for this example, Carlson's theorem cannot apply, as it requires functions of exponential type less than π {\displaystyle \pi } .
Ψ type Additional function types may be defined for other bounding functions besides the exponential function. In general, a function Ψ ( t ) {\displaystyle \Psi (t)} is a comparison function if it has a series
Ψ ( t ) = ∑ n = 0 ∞ Ψ n t n {\displaystyle \Psi (t)=\sum _{n=0}^{\infty }\Psi _{n}t^{n}}
with Ψ n > 0 {\displaystyle \Psi _{n}>0} for all n {\displaystyle n} , and
lim n → ∞ Ψ n + 1 Ψ n = 0. {\displaystyle \lim _{n\to \infty }{\frac {\Psi _{n+1}}{\Psi _{n}}}=0.}
Comparison functions are necessarily entire, which follows from the ratio test. If Ψ ( t ) {\displaystyle \Psi (t)} is such a comparison function, one then says that f {\displaystyle f} is of Ψ {\displaystyle \Psi } -type if there exist constants M {\displaystyle M} and τ {\displaystyle \tau } such that
| f ( r e i θ ) | ≤ M Ψ ( τ r ) {\displaystyle \left|f\left(re^{i\theta }\right)\right|\leq M\Psi (\tau r)}
as r → ∞ {\displaystyle r\to \infty } . If τ {\displaystyle \tau } is the infimum of all such τ {\displaystyle \tau } one says that f {\displaystyle f} is of Ψ {\displaystyle \Psi } -type τ {\displaystyle \tau } . Nachbin's theorem states that a function f ( z ) {\displaystyle f(z)} with the series
… excerpt ends here. Continue reading the full article.
