Weierstrass factorization theorem: Difference between revisions

Revision as of 19:32, 8 April 2023

Revision as of 09:14, 4 July 2023

Line 73:

Define the Hadamard canonical factors <math display="block">E_n(z) := (1-z) \prod_{k=1}^n e^{z^k/k}</math>Entire functions of finite [[Entire function|order]] have [[Jacques Hadamard|Hadamard]]'s canonical representation<ref name="conway" />:<math display="block">f(z)=z^me^{P(z)}\prod_{nk=1}^\infty E_p(z/a_k)</math>where <math>a_k</math> are those [[Zero of a function|roots]] of <math>f</math> that are not zero (<math>a_k \neq 0</math>), <math>m</math> is the order of the zero of <math>f</math> at <math>z = 0</math> (the case <math>m = 0</math> being taken to mean <math>f(0) \neq 0</math>), <math>P</math> a polynomial (whose degree we shall call <math>q</math>), and <math>p</math> is the smallest non-negative integer such that the series<math display="block">\sum_{n=1}^\infty\frac{1}{|a_n|^{p+1}}</math>converges. The non-negative integer <math>g=\max\{p,q\}</math> is called the genus of the entire function <math>f</math>. In this notation, <math display="block">g \leq \rho \leq g + 1</math>

In other words: If the order <math>\rho</math> is not an integer, then <math>g = [ \rho ]</math> is the integer part of <math>\rho</math>. If the order is a positive integer, then there are two possibilities: <math>g = \rho-1</math> or <math>g = \rho </math>.