Encyclopedia

Exponential type

Type of complex function with growth bounded by an exponential function

Wikipedia contributorsAdapted for Fathomly · View authors

2 min read
Source updated January 3, 2026

Image credit is listed at the end of this article.

In complex analysis, a branch of mathematics, a holomorphic function is said to be of exponential type C if its growth is bounded by the exponential function $e^{C|z|}$ for some real-valued constant $C$ as $|z|\to \infty$ . When a function is bounded in this way, it is then possible to express it as certain kinds of convergent summations over a series of other complex functions, as well as understanding when it is possible to apply techniques such as Borel summation, or, for example, to apply the Mellin transform, or to perform approximations using the Euler-Maclaurin formula. The general case is handled by Nachbin's theorem, which defines the analogous notion of $\Psi$ -type for a general function $\Psi (z)$ as opposed to $e^{z}$ .

01Basic idea

A function $f(z)$ defined on the complex plane is said to be of exponential type if there exist real-valued constants $M$ and $\tau$ such that

$\left|f\left(re^{i\theta }\right)\right|\leq Me^{\tau r}$

in the limit of $r\to \infty$ . Here, the complex variable $z$ was written as $z=re^{i\theta }$ to emphasize that the limit must hold in all directions $\theta$ . Letting $\tau$ stand for the infimum of all such $\tau$ , one then says that the function $f$ is of exponential type $\tau$ .

For example, let $f(z)=\sin(\pi z)$ . Then one says that $\sin(\pi z)$ is of exponential type $\pi$ , since $\pi$ is the smallest number that bounds the growth of $\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 $\pi$ . Similarly, the Euler-Maclaurin formula cannot be applied either, as it, too, expresses a theorem ultimately anchored in the theory of finite differences.

02Formal definition

A holomorphic function $F(z)$ is said to be of exponential type $\sigma >0$ if for every $\varepsilon >0$ there exists a real-valued constant $A_{\varepsilon }$ such that

$|F(z)|\leq A_{\varepsilon }e^{(\sigma +\varepsilon )|z|}$

for $|z|\to \infty$ where $z\in \mathbb {C}$ . We say $F(z)$ is of exponential type if $F(z)$ is of exponential type $\sigma$ for some $\sigma >0$ . The number

$\tau (F)=\sigma =\displaystyle \limsup _{|z|\rightarrow \infty }|z|^{-1}\log |F(z)|$

is the exponential type of $F(z)$ . The limit superior here means the limit of the supremum of the ratio outside a given radius as the radius goes to infinity. This is also the limit superior of the maximum of the ratio at a given radius as the radius goes to infinity. The limit superior may exist even if the maximum at radius $r$ does not have a limit as $r$ goes to infinity. For example, for the function

$F(z)=\sum _{n=1}^{\infty }{\frac {z^{10^{n!}}}{(10^{n!})!}}$

the value of

$(\max _{|z|=r}\log |F(z)|)/r$

at $r=10^{n!-1}$ is dominated by the n−1^st term and this goes to zero as $n$ goes to infinity, but $F(z)$ is nevertheless of exponential type 1, as can be seen by looking at the points $z=10^{n!}$ .

03Exponential type with respect to a symmetric convex body

Stein (1957) has given a generalization of exponential type for entire functions of several complex variables. Suppose $K$ is a convex, compact, and symmetric subset of $\mathbb {R} ^{n}$ . It is known that for every such $K$ there is an associated norm $\|\cdot \|_{K}$ with the property that

$K=\{x\in \mathbb {R} ^{n}:\|x\|_{K}\leq 1\}.$

In other words, $K$ is the unit ball in $\mathbb {R} ^{n}$ with respect to $\|\cdot \|_{K}$ . The set

$K^{*}=\{y\in \mathbb {R} ^{n}:x\cdot y\leq 1{\text{ for all }}x\in {K}\}$

is called the polar set and is also a convex, compact, and symmetric subset of $\mathbb {R} ^{n}$ . Furthermore, we can write

$\|x\|_{K}=\displaystyle \sup _{y\in K^{*}}|x\cdot y|.$

We extend $\|\cdot \|_{K}$ from $\mathbb {R} ^{n}$ to $\mathbb {C} ^{n}$ by

$\|z\|_{K}=\displaystyle \sup _{y\in K^{*}}|z\cdot y|.$

An entire function $F(z)$ of $n$ -complex variables is said to be of exponential type with respect to $K$ if for every $\varepsilon >0$ there exists a real-valued constant $A_{\varepsilon }$ such that

$|F(z)|<A_{\varepsilon }e^{2\pi (1+\varepsilon )\|z\|_{K}}$

for all $z\in \mathbb {C} ^{n}$ .

04Fréchet space

Collections of functions of exponential type $\tau$ can form a complete uniform space, namely a Fréchet space, by the topology induced by the countable family of norms

$\|f\|_{n}=\sup _{z\in \mathbb {C} }\exp \left[-\left(\tau +{\frac {1}{n}}\right)|z|\right]|f(z)|.$

Watch videos about Exponential typeExplainers and documentaries on YouTube (opens in a new tab)

Sources and credits

This article is adapted from the Wikipedia article “Exponential type”, written by its contributors and licensed under CC BY-SA 4.0. Fathomly has changed the layout, removed citation markers, navigation and maintenance notices, and adjusted punctuation. This adapted version is shared under the same license. For references, see the original article.

Images, from Wikimedia Commons:

ExtremeGaussian.png by Michael Kelly - Mkelly86, CC BY 3.0
Example exponential type 1 function.png by Eric Kvaalen, CC BY-SA 4.0

Fathomly is not affiliated with or endorsed by the Wikimedia Foundation. Spotted a problem? Tell us.