Argument, principle of the

argument principle

A geometric principle in the theory of functions of a complex variable. It is formulated as follows: Let be a bounded domain in the complex plane , and let, moreover, the boundary be a continuous curve, oriented so that lies on the left. If a function is meromorphic in a neighbourhood of and has no zeros or poles on , then the difference between the number of its zeros and the number of its poles inside (counted according to their multiplicity) is equal to the increase of the argument of when travelling once around , divided by , i.e.

where denotes any continuous branch of on the curve . The expression on the right-hand side equals the index of the curve with respect to the point .

The principle of the argument is used in the proofs of various statements on the zeros of holomorphic functions (such as the fundamental theorem of algebra on polynomials, the theorem of Hurwitz on zeros, etc.). From the principle of the argument follow many other important geometric principles of function theory, e.g. the principle of invariance of domain (cf. Invariance, principle of), the maximum-modulus principle and the theorem on the local inverse of a holomorphic function. In many questions the principle of the argument is used implicitly, in the form of its corollary: the Rouché theorem.

There are generalizations of the principle of the argument. The condition that be meromorphic in a neighbourhood of may be replaced by the following: has only a finite number of poles and zeros in and extends continuously to . Instead of the complex plane, an arbitrary Riemann surface may be considered: the boundedness of is then replaced by the condition that be compact. From the principle of the argument for a compact Riemann surface it follows that the number of zeros of an arbitrary meromorphic function, not identically equal to zero, is equal to the number of poles. The principle of the argument for domains in is equivalent to the theorem on the sum of the logarithmic residues (cf. Logarithmic residue). For this reason, the following statement is sometimes called the generalized principle of the argument. If is meromorphic in a neighbourhood of a domain which is bounded by a finite number of continuous curves and if has no zeros or poles on , then for any function which is holomorphic in a neighbourhood of the equality

holds, where the first sum extends over all zeros and the second sum extends over all poles of in . There is also a topological generalized principle of the argument: The principle of the argument is valid for any open mapping that is locally finite-to-one and extends continuously to , while .

An analogue of the principle of the argument for functions of several complex variables is, for example, the following theorem: Let be a bounded domain in with Jordan boundary and let be a holomorphic mapping of a neighbourhood of such that ; then the number of pre-images of in (counted according to multiplicity) is equal to .

References

[1]	M.A. [M.A. Lavrent'ev] Lawrentjew, B.V. Shabat, "Methoden der komplexen Funktionentheorie" , Deutsch. Verlag Wissenschaft. (1967) (Translated from Russian)
[2]	B.V. Shabat, "Introduction of complex analysis" , 2 , Moscow (1976) (In Russian)