Let be analytic on the disk . Then
The right-hand side is the Taylor series for at , and its radius of convergence is at least .
An analytic function has a zero of order (or multiplicity) () at if the first nonzero coefficient in its Taylor series at is that of . When the zero is simple.
Let be analytic in a domain . If , analytic in , equals on an arc in , or on just an infinite number of points with a limit point in , then they are equal throughout and is called an analytic continuation of . We write , to signify this continuation.
Suppose , , is an arc and . Suppose the subarc , is contained in a domain , . The function on is said to be analytically continued along the path , , if there is a chain , .
Analytic continuation is a powerful aid in establishing transformations or functional equations for complex variables, because it enables the problem to be reduced to: (a) deriving the transformation (or functional equation) with real variables; followed by (b) finding the domain on which the transformed function is analytic.
Let be a simple closed contour consisting of a segment of the real axis and a contour in the upper half-plane joining the ends of . Also, let be analytic within , continuous within and on , and real on . Then can be continued analytically across by reflection, that is,
Suppose is analytic in the annulus , , and . Then
and the integration contour is described once in the positive sense. The series (1.10.6) converges uniformly and absolutely on compact sets in the annulus.
Let , so that the annulus becomes the punctured neighborhood : , and assume that is analytic in , but not at . Then is an isolated singularity of . This singularity is removable if for all , and in this case the Laurent series becomes the Taylor series. Next, is a pole if for at least one, but only finitely many, negative . If is the first negative integer (counting from ) with , then is a pole of order (or multiplicity) . Lastly, if for infinitely many negative , then is an isolated essential singularity.
The singularities of at infinity are classified in the same way as the singularities of at .
An isolated singularity is always removable when exists, for example at .
The coefficient of in the Laurent series for is called the residue of at , and denoted by , , or (when there is no ambiguity) .
A function whose only singularities, other than the point at infinity, are poles is called a meromorphic function. If the poles are infinite in number, then the point at infinity is called an essential singularity: it is the limit point of the poles.
In any neighborhood of an isolated essential singularity, however small, an analytic function assumes every value in with at most one exception.
If is analytic within a simple closed contour , and continuous within and on —except in both instances for a finite number of singularities within —then
Here and elsewhere in this subsection the path is described in the positive sense.
If the singularities within are poles and is analytic and nonvanishing on , then
where and are respectively the numbers of zeros and poles, counting multiplicity, of within , and is the change in any continuous branch of as passes once around in the positive sense. For examples of applications see Olver (1997b, pp. 252–254).
each location again being counted with multiplicity equal to that of the corresponding zero or pole.
If and are analytic on and inside a simple closed contour , and on , then and have the same number of zeros inside .
If is analytic in a domain , and for all , then is a constant in .
Let be a bounded domain with boundary and let . If is continuous on and analytic in , then attains its maximum on .
If is harmonic in , , and for all , then is constant in . Moreover, if is bounded and is continuous on and harmonic in , then is maximum at some point on .
In , if is analytic, , and , then
Equalities hold iff , where is a constant such that .
Functions which have more than one value at a given point are called multivalued (or many-valued) functions. Let be a multivalued function and be a domain. If we can assign a unique value to at each point of , and is analytic on , then is a branch of .
is two-valued for . If and , then one branch is , the other branch is , with in both cases. Similarly if , then one branch is , the other branch is , with in both cases.
A cut domain is one from which the points on finitely many nonintersecting simple contours (§1.9(iii)) have been removed. Each contour is called a cut. A cut neighborhood is formed by deleting a ray emanating from the center. (Or more generally, a simple contour that starts at the center and terminates on the boundary.)
Suppose is multivalued and is a point such that there exists a branch of in a cut neighborhood of , but there does not exist a branch of in any punctured neighborhood of . Then is a branch point of . For example, is a branch point of .
Branches can be constructed in two ways:
(a) By introducing appropriate cuts from the branch points and restricting to be single-valued in the cut plane (or domain).
(b) By specifying the value of at a point (not a branch point), and requiring to be continuous on any path that begins at and does not pass through any branch points or other singularities of .
If the path circles a branch point at , times in the positive sense, and returns to without encircling any other branch point, then its value is denoted conventionally as .
Let and be real or complex numbers that are not integers. The function is many-valued with branch points at . Branches of can be defined, for example, in the cut plane obtained from by removing the real axis from to and from to ; see Figure 1.10.1. One such branch is obtained by assigning and their principal values (§4.2(iv)).
Alternatively, take to be any point in and set where the logarithms assume their principal values. (Thus if is in the interval , then the logarithms are real.) Then the value of at any other point is obtained by analytic continuation.
Thus if is continued along a path that circles times in the positive sense and returns to without circling , then . If the path also circles times in the clockwise or negative sense before returning to , then the value of becomes .
Suppose is analytic at , , and . Then the equation
has a unique solution analytic at , and
in a neighborhood of , where is the residue of at . (In other words is the coefficient of in the Laurent expansion of in powers of ; compare §1.10(iii).)
Furthermore, if is analytic at , then
where is the residue of at .
where , , and the series converges in a neighborhood of . (For example, when is an integer has a zero of order at .) Let . Then (1.10.12) has a solution , where
in a neighborhood of , being the residue of at .
Let be a domain and be a closed finite segment of the real axis. Assume that for each , is an analytic function of in , and also that is a continuous function of both variables. Then
is analytic in and its derivatives of all orders can be found by differentiating under the sign of integration.
This result is also true when , or when has a singularity at , with the following conditions. For each , is analytic in ; is a continuous function of both variables when and ; the integral (1.10.18) converges at , and this convergence is uniform with respect to in every compact subset of .
The last condition means that given () there exists a number that is independent of and is such that
for all and all ; compare §1.5(iv).
If for and converges, then the integral (1.10.18) converges uniformly and absolutely in .
Let . If for some , as , then we say that the infinite product converges. (The integer may be greater than one to allow for a finite number of zero factors.) The convergence of the product is absolute if converges. The product , with for all , converges iff converges; and it converges absolutely iff converges.
Suppose , , a domain. The convergence of the infinite product is uniform if the sequence of partial products converges uniformly.
Suppose that are analytic functions in . If there is an , independent of , such that
then the product converges uniformly to an analytic function in , and only when at least one of the factors is zero in . This conclusion remains true if, in place of (1.10.20), for all , and again .
If is a sequence such that is convergent, then
is an entire function with zeros at .
Suppose is a domain, and
where is analytic for all , and the convergence of the product is uniform in any compact subset of . Then is analytic in .
If, also, when and , then on and
If and are sequences such that () and is convergent, then
is analytic in , except for simple poles at of residue .