In mathematics, and particularly in the field of complex analysis, the Hadamard factorization theorem asserts that every entire function with finite order can be represented as a product involving its zeroes and an exponential of a polynomial. It is named for Jacques Hadamard. The theorem may be viewed as an extension of the fundamental theorem of algebra, which asserts that every polynomial may be factored into linear factors, one for each root. It is closely related to Weierstrass factorization theorem, which does not restrict to entire functions with finite orders.
Formal statement Define the Hadamard canonical factors E n ( z ) := ( 1 − z ) ∏ k = 1 n e z k / k {\displaystyle E_{n}(z):=(1-z)\prod _{k=1}^{n}e^{z^{k}/k}} Entire functions of finite order ρ {\displaystyle \rho } have Hadamard's canonical representation: f ( z ) = z m e Q ( z ) ∏ n = 1 ∞ E p ( z / a n ) {\displaystyle f(z)=z^{m}e^{Q(z)}\prod _{n=1}^{\infty }E_{p}(z/a_{n})} where a k {\displaystyle a_{k}} are those roots of f {\displaystyle f} that are not zero ( a k ≠ 0 {\displaystyle a_{k}\neq 0} ), m {\displaystyle m} is the order of the zero of f {\displaystyle f} at z = 0 {\displaystyle z=0} (the case m = 0 {\displaystyle m=0} being taken to mean f ( 0 ) ≠ 0 {\displaystyle f(0)\neq 0} ), Q {\displaystyle Q} a polynomial (whose degree we shall call q {\displaystyle q} ), and p {\displaystyle p} is the smallest non-negative integer such that the series ∑ n = 1 ∞ 1 | a n | p + 1 {\displaystyle \sum _{n=1}^{\infty }{\frac {1}{|a_{n}|^{p+1}}}} converges. The non-negative integer g = max { p , q } {\displaystyle g=\max\{p,q\}} is called the genus of the entire function f {\displaystyle f} . In this notation, g ≤ ρ ≤ g + 1 {\displaystyle g\leq \rho \leq g+1} In other words: If the order ρ {\displaystyle \rho } is not an integer, then g = [ ρ ] {\displaystyle g=[\rho ]} is the integer part of ρ {\displaystyle \rho } . If the order is a positive integer, then there are two possibilities: g = ρ − 1 {\displaystyle g=\rho -1} or g = ρ {\displaystyle g=\rho } . For example, sin {\displaystyle \sin } , cos {\displaystyle \cos } and exp {\displaystyle \exp } are entire functions of genus g = ρ = 1 {\displaystyle g=\rho =1} .
… excerpt ends here. Continue reading the full article.
