The residual theorem is an important theorem of function theory , a branch of mathematics . It represents a generalization of Cauchy's integral theorem and Cauchy's integral formula . Its importance lies not only in the far-reaching consequences within function theory, but also in the calculation of integrals over real functions .
It says that the curve integral along a closed curve over a holomorphic function except for isolated singularities depends only on the residual in the singularities inside the curve and the number of revolutions of the curve around these singularities. Instead of a curve integral, you only have to calculate residuals and circulating numbers, which is easier in many cases.
sentence
Let be an elementary domain , i.e. a simply connected domain in the complex number plane . Furthermore, let be a discrete subset of , a holomorphic function , a real interval and a closed path in . Then applies to the complex path integral
-
,
where the rotation number of is with respect to and the residual of in .
Remarks
- The sum on the right-hand side is always finite, because the area enclosed by (simply connected) is relatively compact in and therefore restricted. Because discrete is in, is finite, and only these are the points that contribute to the sum, because for all others the number of turns or the residual vanishes.
- If the points are liftable singularities, if the residual vanishes in these points, then one obtains Cauchy's integral theorem
-
.
- Is on holomorphic and has a first order pole in with a residual then one gets the integral formula of Cauchy
Integral counting zero and poles
Is on meromorphic with the set of zeros , the set of poles and , then with the residue theorem it follows:
Here designated
the zero or pole order of in . With the calculation rule of the residual for the logarithmic derivative, the following applies
-
.
Application examples
With the residual theorem one can calculate real integrals with infinite integration limits. To do this, a closed curve is introduced in the complex plane, which covers the real integration limits; the integral over the rest of the curve is usually constructed in such a way that it disappears after the limit has been crossed. The complex level is supplemented by a point at infinity ( Riemann number ball ). This method of calculating improper real integrals is often referred to in theoretical physics as the “method of residuals”.
Fractional rational functions
The integral over the semicircle disappears for , it remains the integral over the real axis.
Is the quotient of two polynomials with and for all , is
-
,
where is the upper half-level, because you can integrate with , for a large one , over the closed semicircle and cross the border . Because of large and constants follows with the standard estimate for curve integrals
-
,
so it holds and because of the above estimate the latter integral also exists. The calculation formula follows with the residual rate.
Example: Let , with Poland 1st order in . Then is , and with it .
Fractional rational functions with exponential function
The integral over the three upper sides of the rectangle vanishes for , it remains the integral over the real axis.
and let polynomials with , the polynomial has no real zeros and the zeros in the upper complex half-plane. Then applies to each
with . As above, a closed path is also defined here , which consists of the straight path from to , but instead of the semicircle one uses the rectangle built above it with a height , which is traversed counterclockwise. The function can by assumption to a constant times are estimated. The integrals over the vertical lines are then by means of a standard estimate , which approaches zero. For the top horizontal side is and so . The integral over this side of the rectangle is then using a standard estimate . It follows that the integral over the entire upper part of the rectangle converges to zero and one obtains the assertion.
Example:
consider the function . It fulfills all of the above conditions: The polynomial in the denominator only has zeros and therefore none on the real axis. Hence:
Fractional rational function with a non-integer term
Are and polynomials for which applies, where applies, have no zeros in and no zeros in zero. Then applies
Example: Is , so is , the function has the poles and all other requirements are also met. It is accordingly . Thus applies
Trigonometric functions
Is the quotient of two polynomials with for all with . Then applies
where is the unit disk. Because the number of turns of the unit circle is inside the unit circle , and according to the assumption there are no singularities on the unit circle line. Theoretically, such integrals can also be solved using the Weierstrasse substitution , but this is usually more complex. If the interval limits of the integral to be calculated are not exact and zero, this can be achieved by means of a linear substitution or by means of symmetry arguments.
Example: It applies
-
,
because in pole has 1st order, but only the pole at is in , and there has the residual .
Fourier transform
Given a function . Furthermore, there are points with , where is. Are there then two numbers with
for large , then for all the formula
The same formula applies to . With the help of this method, complicated Fourier integrals can be calculated. The proof is carried out as above by breaking down the path of integration into the part on the real axis and the part in the upper half-plane. Then the limit value is considered again and the integral over the curve in the upper half plane disappears due to Jordan's lemma .
The residual theorem for Riemann surfaces
The residual theorem can be generalized to compact Riemann surfaces . For a meromorphic 1-form on such a surface, the sum of the residuals is zero.
The consequence is Liouville's second theorem on elliptic functions .
literature
- Kurt Endl, Wolfgang Luh : Analysis. Volume 3: Function Theory, Differential Equations. 6th revised edition. Aula-Verlag, Wiesbaden 1987, ISBN 3-89104-456-9 , p. 229.
- Wolfgang Fischer, Ingo Lieb : Function theory. 7th improved edition. Vieweg, Braunschweig a. a. 1994, ISBN 3-528-67247-1 , p. 145, sentence 4.1.
- AP Yuzhakov: Residue of an analytic function . In: Michiel Hazewinkel (Ed.): Encyclopaedia of Mathematics . Springer-Verlag , Berlin 2002, ISBN 978-1-55608-010-4 (English, online ).
Web links