|
|
|
|
proof of argument principle
|
(Proof)
|
|
|
Since $f$ is meromorphic, $f'$ is meromorphic, and hence $f'/f$ is meromorphic. The singularities of $f'/f$ can only occur at the zeros and the poles of $f$ .
I claim that all singularities of $f'/f$ are simple poles. Furthemore, if $f$ has a zero at some point $p$ , then the residue of the pole at $p$ is positive and equals the multiplicity of the zero of $f$ at $p$ . If $f$ has a pole at some point $p$ , then the residue of the pole at $p$ is
negative and equals minus the multiplicity of the pole of $f$ at $p$ .
To prove these assertions, write $f(x) = (x-p)^n g(x)$ with $g(p) \neq 0$ . Then $${f'(x) \over f(x)} = {n \over x-p} + {g'(x) \over g(x)}$$ Since $g(p) \neq 0$ , the second term on the right hand side is not singular at $p$ . The only singularity at $p$ comes from the first term. Since $n$ is either the order of the zero of $f$ at $p$ if $f$ has a zero at $p$ or minus the order of the pole of $f$ at $p$ is $f$ has a pole at $p$ , the assertion is proven.
By the Cauchy residue theorem, the integral $${1 \over 2 \pi i} \int_C {f'(z) \over f(z)} dz$$ equals the sum of the residues of $f'/f$ . Combining this fact with the characterization of the poles of $f'/f$ and their residues given above, one deduces that this integral equals the number of zeros of $f$ minus the number of poles of $f$ , counted with multiplicity.
|
"proof of argument principle" is owned by rspuzio. [ full author list (2) ]
|
|
(view preamble | get metadata)
| Other names: |
Cauchy's argument principle |
| Keywords: |
complex variables, complex analysis, complex integrals, contour integration, residues |
This object's parent.
|
|
Cross-references: number, characterization, sum, integral, Cauchy residue theorem, order, singular, right hand side, term, negative, multiplicity, positive, residue, point, simple poles, poles, meromorphic
This is version 6 of proof of argument principle, born on 2004-09-04, modified 2006-09-18.
Object id is 6134, canonical name is ProofOfArgumentPrinciple.
Accessed 4163 times total.
Classification:
| AMS MSC: | 30E20 (Functions of a complex variable :: Miscellaneous topics of analysis in the complex domain :: Integration, integrals of Cauchy type, integral representations of analytic functions) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|