Order of Entire Function

In the vast landscape of the complex plane, entire functions represent the pinnacle of regularity and smoothness. Yet, their behavior can vary dramatically, from the gentle growth of a polynomial to the explosive expansion of an exponential function. This raises a fundamental question: how can we systematically classify these functions and understand the principles governing their growth? The answer lies in a powerful concept known as the ​​order of an entire function​​, a single number that captures the essence of a function's asymptotic behavior. This article addresses the knowledge gap between simply observing this growth and truly understanding its structural origins.

Across the following chapters, you will embark on a journey to uncover this profound theory. In "Principles and Mechanisms," we will define the order, explore its intimate connection to the location and density of a function's zeros, and see how these ideas culminate in the magnificent Hadamard Factorization Theorem, which explains how to construct any entire function from its basic components. Following this, the "Applications and Interdisciplinary Connections" chapter will demonstrate the theory's practical power, showing how it is used to build functions from scratch, identify known functions from their properties, and even provide the framework for tackling some of the deepest problems in mathematics, like the Riemann Hypothesis.

Imagine you are standing at the edge of a vast, uncharted landscape. This is the complex plane, and the features of this landscape are defined by strange and wonderful things called ​​entire functions​​—functions that are perfectly smooth and well-behaved, no matter where you go. Some of these functions, like simple polynomials, create gentle, rolling hills. Others, like the exponential function, shoot up into dramatic, sky-piercing peaks. How can we, as explorers, make sense of this varied terrain? How can we classify these functions and understand their fundamental nature?

The first tool we need is a way to measure how quickly these functions grow, a sort of "altimeter" for the complex landscape. This measure is what mathematicians call the ​​order​​ of an entire function.

If you've studied polynomials, you know that their "strength" is measured by their degree. A function like $z^5$ grows much faster than $z^2$. Entire functions are far more varied than polynomials, but we can still capture their growth in a single number. For an entire function $f(z)$, we first find its maximum height on a circle of radius $r$, which we call $M(r) = \max_{|z|=r} |f(z)|$. The order, denoted by the Greek letter $\rho$ (rho), is then defined by a rather peculiar formula:

$\rho = \limsup_{r \to \infty} \frac{\ln(\ln M(r))}{\ln r}$

At first glance, this formula looks intimidating. Why the double logarithm? Think of it this way: entire functions can grow so outrageously fast that we need to take the logarithm of their maximum value just to tame them. For many functions, like $f(z) = \exp(z^k)$, this first logarithm, $\ln M(r)$, grows like a power of $r$, something like $r^k$. To find that exponent $k$, we need to take a logarithm again. So, the double logarithm is a tool for finding the "power of the power" in the function's growth.

Let's make this concrete. Consider the function $f(z) = \sinh(z^3)$. The hyperbolic sine is just a combination of exponential functions, $\sinh(w) = \frac{1}{2}(\exp(w) - \exp(-w))$. When $|z|=r$ is large, the term $z^3$ can have a magnitude as large as $r^3$. This means $|f(z)|$ will grow roughly like $\exp(r^3)$. Plugging this into our formula:

• $M(r)$ is roughly $\exp(r^3)$.
• $\ln M(r)$ is roughly $r^3$.
• $\ln(\ln M(r))$ is roughly $\ln(r^3) = 3 \ln r$.

So, the ratio $\frac{\ln(\ln M(r))}{\ln r}$ approaches $3$. The order of $\sinh(z^3)$ is $\rho=3$. Notice how the order magically picked out the exponent of the variable inside the function. This isn't a coincidence. The order is a robust measure of the dominant growth of a function. In general, for a polynomial $P(z)$ of degree $k \ge 1$, the function $\exp(P(z))$ has order $k$.

Now, you might be thinking: this "order" is a neat classification tool, but what does it really tell us about the function's soul? The answer is something truly profound, a cornerstone of complex analysis: ​​the growth of an entire function is intimately tied to the location and density of its zeros.​​

Think about it. A function can only be zero at a point by dipping down to cross the horizontal axis. If a function has a vast, infinite number of zeros spread throughout the plane, it must be "wiggling" an incredible amount. To sustain this wiggling over larger and larger circles, the function's peaks and valleys must become ever more extreme. In other words, a high density of zeros must force the function to grow very quickly.

Mathematicians have a precise way to measure the "density" of a set of zeros $\{a_n\}$. It's called the ​​exponent of convergence​​, $\lambda$. We look at the sum $\sum_{n=1}^\infty |a_n|^{-s}$ for the non-zero roots. The exponent of convergence $\lambda$ is the critical value of $s$ where this sum switches from diverging (for $s < \lambda$) to converging (for $s > \lambda$). A larger $\lambda$ means the zeros are "denser" (they don't get far away from the origin fast enough).

The fundamental connection is given by a beautiful inequality:

$\lambda \le \rho$

The density of zeros sets a strict speed limit on how slowly a function can grow.

Let's see this in action. Suppose someone claims to have found an entire function of order $\rho = 1/4$ whose zeros are precisely the cubes of the positive integers: $\{1^3, 2^3, 3^3, \dots\}$. Can this be true? We can calculate the exponent of convergence for these zeros. The sum is $\sum_{n=1}^\infty |n^3|^{-s} = \sum_{n=1}^\infty n^{-3s}$. From basic calculus, we know this series converges only when the exponent $3s$ is greater than 1, meaning $s > 1/3$. Therefore, the exponent of convergence is $\lambda = 1/3$. Our inequality tells us that any function with these zeros must have an order $\rho \ge 1/3$. A claimed order of $1/4$ is impossible! The zeros are simply too crowded to be generated by such a slow-growing function.

This connection isn't just a one-way street. Not only do the zeros constrain the growth, but the growth can tell us about the zeros. A famous theorem by Borel states that the order is also the "exponent of convergence" of the zero counting function $n(r)$, which counts the number of zeros in a disk of radius $r$. Specifically, $\rho = \limsup_{r \to \infty} \frac{\ln n(r)}{\ln r}$. This means if we know that, for large $r$, the number of zeros grows like $n(r) \sim c r^{\sqrt{2}}$, we can immediately deduce that the function's order is $\rho = \sqrt{2}$. The growth of the function and the distribution of its zeros are two sides of the same coin.

This deep relationship culminates in one of the jewels of the subject: the ​​Hadamard Factorization Theorem​​. You learned in algebra that any polynomial can be factored into a product based on its roots. The Hadamard theorem is the breathtaking generalization of this idea to entire functions. It tells us that (almost) every entire function of finite order can be constructed from three basic building blocks:

$f(z) = z^m e^{P(z)} \prod_{n=1}^{\infty} E_p(z/a_n)$

Let's break this down:

1. ​​$z^m$​​: This part simply accounts for any zero the function has at the origin. It's the simplest piece.
2. ​​The Infinite Product $\prod E_p(z/a_n)$​​: This is the heart of the zero-based construction. It's an infinite product (the "canonical product") built from all the non-zero roots $a_n$ of the function. This part of the function is responsible for making the function zero at exactly the right places. The growth of this product piece on its own corresponds to an order equal to the exponent of convergence of the zeros, $\lambda$. For example, the function $\sin(\pi z)$ has zeros at all integers. The exponent of convergence for the integers is $\lambda=1$, and indeed, the order of $\sin(\pi z)$ is $\rho=1$.
3. ​​The Exponential Factor $e^{P(z)}$​​: This is the most mysterious and interesting part. It tells us that a function can grow without needing any zeros at all! An entire function with no zeros must take the form $f(z) = e^{P(z)}$, where $P(z)$ is a polynomial. Furthermore, the order of such a zero-free function is simply the degree of the polynomial $P(z)$. For example, a zero-free function of order 1 must have the form $\exp(az+b)$ for some constants $a \neq 0$ and $b$.

The Hadamard Factorization Theorem tells us that the overall order of the function $f(z)$ is determined by whichever of its building blocks grows the fastest. When we multiply functions, the one with the largest order tends to dominate the overall growth. More precisely, the order of a product $f(z)g(z)$ is less than or equal to the maximum of their individual orders. For the Hadamard factorization, this becomes a sharp equality:

$\rho(f) = \max(\text{degree of } P, \lambda)$

The order of the entire function is the maximum of the degree of its exponential polynomial part and the exponent of convergence of its zeros. This is the grand unification.

Imagine we are given a function $f(z)$ built as $f(z) = \exp(g(z)) \times (\text{a product of zeros})$, where the polynomial $g(z)$ has degree 3, and the zeros have an exponent of convergence $\lambda=2$. The exponential part wants to grow with order 3. The zero part wants to grow with order 2. The overall function, being the product of the two, will have its growth dominated by the faster part. Thus, its order is $\rho = \max(3, 2) = 3$. This also means that in the function's own Hadamard factorization, the polynomial in the exponent cannot have a degree higher than the order of the function itself. The order, our simple measure of growth, governs the very structure of the function's factorization.

The concept of order is far more than a dry definition. It is a powerful lens that reveals a hidden, beautiful symmetry in the world of functions—an inseparable dance between how high a function can soar and the intricate pattern of points where it returns to earth. It shows us that in this vast landscape, the peaks cannot exist independently of the valleys. They are two aspects of a single, unified whole. And for mathematicians, the journey of uncovering these connections is the greatest adventure of all.

Having acquainted ourselves with the principles and mechanisms governing the order of an entire function, we might be tempted to ask, "What is it all for?" Is this merely an elegant system for classifying functions in a vast, abstract zoo? The answer, you will be happy to hear, is a resounding no. The concept of order is not a filing cabinet; it is a master key. It unlocks a profound understanding of the relationship between a function's global behavior—its growth across the infinite expanse of the complex plane—and its most intimate local properties, namely, the location of its zeros.

This connection is not just a theoretical curiosity. It is a powerful, practical tool that allows us to construct functions with desired properties, to identify and characterize functions that arise in nature, and to forge surprising and deep connections between different fields of mathematics and science. Let's embark on a journey to see this principle in action.

The most direct application of our theory is in what we might call "function architecture." Suppose you provide me with a blueprint—a list of points where you want a function to be zero. Can I build such a function for you? And more importantly, what is the "simplest" or "most efficient" function that satisfies your blueprint? In the world of entire functions, "simple" means slow-growing. The Hadamard Factorization Theorem gives us the answer: the minimum possible order of a function is dictated by the density of its prescribed zeros.

Imagine the zeros as stakes in the ground. The function's magnitude, $|f(z)|$, is like a canvas tent stretched over these stakes. If the stakes are spread far and wide, like the points $z_n = n^3$ for positive integers $n$, the canvas can stay relatively low to the ground. The resulting function is "efficient," having a very low order of growth, in this case, $\rho=1/3$.

But what if the stakes are packed together more and more densely, like the points $z_n = n^{1/3}$? To cover all these stakes, the tent fabric must be pulled dramatically higher. The function is forced to grow much more rapidly to accommodate this dense network of zeros, and its order climbs to $\rho=3$. This beautiful correspondence tells us that the distribution of zeros is not just a feature of a function; it is a fundamental determinant of its very nature and scale. The theory gives us the tools not only to know that such a function must exist but also to write it down explicitly as a canonical product.

This architectural power is not limited to constructing new edifices. It also serves as a masterful tool for forensic analysis, allowing us to identify familiar functions from their "skeletal" structure—their zeros.

Suppose we are tasked with finding the simplest entire function that vanishes at the squares of the positive integers, $z_n = n^2$. The theory of order points to a function of order $\rho=1/2$, and the Hadamard product gives us its precise form. When we write it down, a startling revelation occurs. The infinite product we construct is nothing other than the well-known function $f(z) = \frac{\sin(\pi\sqrt{z})}{\pi\sqrt{z}}$. This is a magical moment. The abstract, powerful machinery of complex analysis has led us right back to a friend from trigonometry. It reveals that the placement of zeros at the points $n^2$ is the essential DNA of the sine function. This global information about all the zeros is so complete that it allows us to deduce local properties, like the function's derivative at the origin, with remarkable precision.

This identification process can be made even more specific. Consider the task of finding an entire function with simple zeros at all the negative integers. The first candidate that comes to mind for a function with poles at these locations is the Gamma function, $\Gamma(z)$. So, its reciprocal, $1/\Gamma(z+1)$, is a good starting point, as it is an entire function with the correct zeros. However, Hadamard's theory warns us that this is not the only possibility; we could multiply it by an exponential factor $e^{az+b}$ without changing the zeros. To uniquely identify our function, we need more information, like a fingerprint. If we are given further conditions, such as $f(0)=1$ and $f(1)=1/2$, we can pin down the unknown constants and discover the unique function that fits the description: $f(z) = 2^{-z}/\Gamma(z+1)$. The theory of order provides the general family of suspects, and a few key pieces of evidence allow us to identify the culprit precisely.

The theory of order is also a powerful engine of logical deduction, allowing us to prove what a function must be by ruling out what it cannot be. These constraint-based arguments are among the most elegant in mathematics.

Imagine a "person of interest": a non-constant entire function of order 1 that is known to be real-valued on the real axis and whose zeros, if any, all lie in the upper half-plane. This seems like a broad description, but the constraints are tighter than they appear. A function that is real on the real axis must have its zeros appear in conjugate pairs. If a zero $a_0$ exists, then its conjugate $\overline{a_0}$ must also be a zero. But if all zeros are in the upper half-plane ($\text{Im}(z) > 0$), their conjugates must all be in the lower half-plane ($\text{Im}(z) 0$). This creates an immediate contradiction—unless the function has no zeros at all! Once we know there are no zeros, the powerful Hadamard factorization tells us the function must be of the simple form $f(z) = e^{Az+B}$. The remaining constraints further pin down the constants $A$ and $B$. It's a beautiful example of mathematical detective work, where a few seemingly unrelated clues lead to a surprisingly specific conclusion.

This theme of "action at a distance"—where behavior at boundaries and at infinity constrains a function everywhere—is central to complex analysis. The Phragmén-Lindelöf principle provides another stunning example. If an entire function's growth is sufficiently limited (e.g., its order $\rho$ is less than a certain threshold related to the geometry of a region) and its value is bounded on the boundary of that region, then it must be bounded inside as well. In a particularly striking application, if a function of order $\rho 1$ is known to take on a constant imaginary part along two different rays from the origin (say, the positive real and positive imaginary axes), this is enough to prove that the function must be constant everywhere. The growth condition provided by the order is the crucial key; without it, the argument fails.

The utility of a function's order extends far beyond the borders of pure complex analysis. It serves as a vital bridge, connecting to and illuminating a diverse range of mathematical disciplines.

​​Zeros of Derivatives:​​ A natural question to ask is: if we know the zeros of a function $f(z)$, what can we say about the zeros of its derivative, $f'(z)$? For polynomials with real roots, Rolle's Theorem guarantees that a root of the derivative lies between any two roots of the polynomial. Does a version of this survive for entire functions? The answer is a conditional yes, and the condition is on the order! A celebrated result by Laguerre and Pólya shows that if an entire function has only real zeros and its order is less than 2, then its derivative $f'(z)$ can also only have real zeros. The property of having real zeros is inherited by the derivative, but only if the function doesn't grow too quickly.

​​Functional and Differential Equations:​​ Many laws of physics and engineering are expressed as equations that functions must satisfy. The theory of order provides a powerful lens for analyzing the solutions. For instance, if an entire function of order 1 is known to have integer zeros and obey a symmetry like $f(z+1) = -f(z)$, we can deduce its general form must be based on the sine function, $f(z) = C e^{2ik\pi z} \sin(\pi z)$. The order and zero locations give the building blocks, and the functional equation fine-tunes the assembly.

The theory also gives crucial insights into differential equations. Consider the equation $g'(z) + e^{z^2} g(z) = f(z)$. One might naively guess that the growth of the solution $g(z)$ would be related to the growth of the forcing term $f(z)$. However, the coefficient $e^{z^2}$ grows so ferociously that it completely dominates the dynamics. It turns out that any entire solution $g(z)$ to this equation must have infinite order, regardless of how slowly the finite-order function $f(z)$ grows. This is a profound and non-intuitive result: the "environment" of an equation (its coefficients) can have a far greater impact on the nature of the solution than the external "push" (the forcing function).

​​The Mount Everest of Mathematics: The Riemann Hypothesis:​​ Perhaps the most spectacular application of the theory of entire functions lies at the heart of number theory, in the study of the distribution of prime numbers. The key object is the Riemann zeta function, $\zeta(s)$. While $\zeta(s)$ itself is not entire, it can be "completed" to form the Riemann Xi function, $\xi(s)$, which is entire.

The first crucial question a complex analyst would ask is, "What is the order of $\xi(s)$?" Using the properties of the Gamma function and Stirling's approximation, one can show that $\xi(s)$ is an entire function of order exactly one. This fact is of monumental importance. Why? Because Hadamard's theorem gives us a product formula for any function of order 1 in terms of its zeros. This allows us to write: $\xi(s) = \xi(0) \prod_{\rho} \left(1 - \frac{s}{\rho}\right)$ where the product is taken over all the zeros $\rho$ of $\xi(s)$. These zeros are none other than the famous "non-trivial zeros" of the Riemann zeta function. The Riemann Hypothesis, the most famous unsolved problem in mathematics, is the conjecture that all these zeros lie on a single vertical line in the complex plane, $\text{Re}(s) = 1/2$. The theory of entire functions provides the very language and framework—the product formula over zeros—that connects the analytic properties of a function to a deep arithmetic truth about the prime numbers.

From the simple act of building a function from its zeros to providing the foundational tools to tackle the Riemann Hypothesis, the concept of order is a thread of gold, weaving together disparate ideas and revealing the profound and beautiful unity of mathematics.