In complex analysis, an entire function, also called an integral function, is a complex-valued function that is holomorphic on the whole complex plane. Typical examples of entire functions are polynomials and the exponential function, and any finite sums, products and compositions of these, such as the trigonometric functions sine and cosine and their hyperbolic counterparts sinh and cosh, as well as derivatives and integrals of entire functions such as the error function. If an entire function f ( z ) {\displaystyle f(z)} has a root at w {\displaystyle w} , then f ( z ) / ( z − w ) {\displaystyle f(z)/(z-w)} , taking the limit value at w {\displaystyle w} , is an entire function. On the other hand, the natural logarithm, the reciprocal function, and the square root are all not entire functions, nor can they be continued analytically to an entire function. A transcendental entire function is an entire function that is not a polynomial. Just as meromorphic functions can be viewed as a generalization of rational functions, entire functions can be viewed as a generalization of polynomials. In particular, if for meromorphic functions one can generalize the factorization into simple fractions (the Mittag-Leffler theorem on the decomposition of a meromorphic function), then for entire functions there is a generalization of the factorization – the Weierstrass theorem on entire functions.
Properties Every entire function f ( z ) {\displaystyle f(z)} can be represented as a single power series:
f ( z ) = ∑ n = 0 ∞ a n z n {\displaystyle \ f(z)=\sum _{n=0}^{\infty }a_{n}z^{n}\ }
that converges everywhere in the complex plane, hence uniformly on compact sets. The radius of convergence is infinite, which implies that
lim n → ∞ | a n | 1 n = 0 {\displaystyle \ \lim _{n\to \infty }|a_{n}|^{\frac {1}{n}}=0\ }
or, equivalently,
lim n → ∞ ln | a n | n = − ∞ . {\displaystyle \ \lim _{n\to \infty }{\frac {\ln |a_{n}|}{n}}=-\infty ~.}
Any power series satisfying this criterion will represent an entire function. If (and only if) the coefficients of the power series are all real then the function evidently takes real values for real arguments, and the value of the function at the complex conjugate of z {\displaystyle z} will be the complex conjugate of the value at z {\displaystyle z} . Such functions are sometimes called self-conjugate (the conjugate function, F ∗ ( z ) {\displaystyle F^{*}(z)} , being given by F ¯ ( z ¯ ) {\displaystyle {\bar {F}}({\bar {z}})} ). If the real part of an entire function is known in a (complex) neighborhood of a point then both the real and imaginary parts are known for the whole complex plane, up to an imaginary constant. For instance, if the real part is known in a neighborhood of zero, then we can find the coefficients for n > 0 {\displaystyle n>0} from the following derivatives with respect to a real variable r {\displaystyle r} :
… excerpt ends here. Continue reading the full article.
