Complex Analysis/Print version
Introduction
[edit | edit source]This book assumes you have some passing familiarity with the complex numbers. Indeed much of the material in the book assumes your already familiar with the multi-variable calculus. If you have not encountered the complex numbers previously it would be a good idea to read a more detailed introduction which will have many more worked examples of arithmetic of complex numbers which this book assumes is already familiar. Such an introduction can often be found in an Algebra (or "Algebra II") text, such as the Algebra wikibook's section on complex numbers.
Intuitively a complex number z is a number written in the form:
- ,
where x and y are real number and i is an imaginary number that satisfies . We call x the real part and y the imaginary part of z, and denote them by and , respectively. Note that for the number , , not . Also, to distinguish between complex and purely real numbers, we will often use the letters z and w for the complex numbers. It is useful to have a more formal definition of the complex numbers. For example, one frequently encounters treatments of the complex numbers that state that is the number so that , and we then operate with using many of our usual rules for arithmetic. Unfortunately if one is not careful this will lead to difficulties. Not all of the usual rules for algebra carry through in the way one might expect. For example, there is a flaw in the following calculation: , but is very difficult to point out the flaw without first being clear about what a complex number is, and what operations are allowed with complex numbers.
Mathematically the complex numbers are defined as an ordered pair, endowed with algebraic operations.
- Definition
A complex number z is an ordered pair of real numbers. That is where x and y are real numbers. The collection of all complex numbers is denoted by the symbol .
The most immediate consequence of this definition is that we may think of a complex number as a point lying the plane. Comparing this definition with the intuitive definition above, it is easy to see that the imaginary number i simply acts as a place holder for denoting which number belongs in the second coordinate.
- Definition
We define the following two functions on the complex plane. Let be a complex number. We define the real part is as function given by . Similarly we define the imaginary part as a function given by .
We say two complex numbers are equal if and only if they are equal as ordered pairs. That is if and then z = w if and only if x = u and y = v. Put more succinctly, two complex numbers are equal iff their real parts and imaginary parts are equal.
If complex numbers were simply ordered pairs there would not really be much to say about them. But the complex numbers are ordered pairs together with several algebraic operations, and it is these operations that make the complex numbers so interesting.
- Definition
Let z = (x, y) and w = (u, v) then we define addition as:
- z + w = (x + u, y + v)
and multiplication as:
- z · w = (x · u − y · v, x · v + y · u)
Of course, we can view any real number r as being a complex number. Using our intuitive model for the complex numbers it is clear that the real number r should correspond to the complex number (r, 0), and with this identification the above operations correspond exactly to the usual definitions of addition and multiplication of real numbers. For the remainder of the text we will freely refer to a real number r as being a complex number, where the above identification is understood.
The following facts about addition and multiplication follow easily from the corresponding operators for the real numbers. Their verification is left as an exercise to the reader. Let z, w and v be complex numbers, then:
• z + (w + v) = (z + w) + v | (Associativity of addition); |
• z · (w · v) = (z · w) · v | (Associativity of multiplication); |
• z + w = w + z | (Commutativity of addition); |
• z · w = w · z | (Commutativity of multiplication); |
• z · (w + v) = z · w + z · v | (Distributive Property). |
One nice feature of complex addition and multiplication is that 0 and 1 play the same role in the real numbers as they do in the complex numbers. That is 0 is the additive identity for the complex numbers (meaning z + 0 = 0 + z = z) and 1 is the multiplicative identity (meaning z · 1 = 1 · z = z).
Of course it is natural at this point to ask about subtraction and division. But stating the formula's for subtraction and division outright, we instead follow the usual course for other subjects of algebra and first discuss inverses.
- Definition
Let z = (x, y) be any complex number, then we define the additive inverse −z as:
- −z = (−x, −y)
Then it is immediate to verify that z + −z = 0.
Now for any two complex numbers z and w we define z − w to be z + −w. We now turn to doing the same for multiplication.
- Definition
Let z = (x, y) be any non-zero complex number, then we define the multiplicative inverse, as:
It is left to the reader to verify that .
We may now of course define division as . Just as with the real numbers, division by zero remains undefined. In order for this last definition to make more sense it helps to introduce two more operations on the complex numbers. The first is the absolute value.
- Definition
Let z = (x, y) be any complex number, then we define the complex absolute value, denoted |z| as:
Notice that |z| is always a real number and |z| ≥ 0 for any z.
Of course with this definition of the absolute value, if z = (x, y) then |z| is exactly the same as the norm of the vector (x, y).
Before introducing the second definition, notice that our intuitive definition simply required us to find a number whose square was −1. Of course i^{2} = (−i)^{2} = −1, so for a starting point one could have chosen -i as the most basic imaginary number. This idea motivates the following definition.
- Definition
Let z = (x, y) be any complex number, then we define the conjugate of z, denoted as:
With this definition it is an easy exercise to check that , so dividing both sides by |z|^{2} we arrive at . Compare this with the definition of the multiplicative inverse above.
Recall that, every point in the plane can be written using rectangular coordinates such as (x, y) where of course the numbers denote the distance from the x and y axes respectively. But the point could equally well be described using polar coordinates (r, θ), where the first number represents the distance from the origin, and the second is the angle that is made with the positive x axis when you connect the origin and the point with a line segment. Since complex numbers may be thought of simply as points in the plane, we can immediately derive a polar representation of a complex number. As usual we can let a point z = (x, y) = (r cos θ, r sin θ) where . The choice of θ is not unique because sine and cosine are 2π periodic. A value θ for which z = (r cos θ, r sin θ) is called an argument of z. If we restrict our choice of θ so that 0 ≤ θ < 2π then the choice of θ is unique provided that z ≠ 0. This is often called the principle branch of the argument.
As a shorthand, we may write , so . This notation simplifies multiplication and taking powers, because
by elementary trigonometric identities. Applying this formula can therefore simplify many calculations with complex numbers.
Using induction we can show that
- ,
holds for all positive integers .
Now that we have set up the basic concept of a complex number, we continue to topological properties of the complex plane.
Exercises
[edit | edit source]- Determine in terms of and .
- Determine in terms of and .
- Show that the absolute value on the complex plane obeys the triangle inequality. That is show that:
- Show that the absolute value on the complex plane obeys the reverse triangle inequality. That is show that:
- Given a non-zero complex number determine and so that .
- Determine formulas for and in terms of and .
- Find distinct complex numbers , so that . Hint: Use the formula given above for and the periodicity of and .
The Topology of the Complex Plane and Stereographic Projection
[edit | edit source]As we have already seen the complex numbers are identified with the Euclidean Plane. So it is not surprising that much of what we know about the plane carries over to the complex numbers. In this section we will be specifically interested in topological properties of the complex plane. What are "topological properties"? In mathematics the term topology is used to describe certain geometric properties of spaces. Here we will mostly be concerned with ideas of open, closed, and connected. The notion of limits also falls under this section, because it is really a statement about the geometry of the complex plane to say two quantities are "close" or that one quantity "approaches" another.
We begin with the notion of a limit of a sequence of complex numbers.
We say that the limit of a sequence of complex numbers is if given there is a natural number so that if then
One difficulty with this notion of limit is that it requires us to know the limit ahead of time before we can decide if a sequence is convergent. To handle cases when we do not know the limit, an equivalent reformulation called the Cauchy criteria for convergence is stated below.
A sequence of complex numbers converges to some limit iff given there is a natural number so that if then
One direction of this equivalence is easy, but the other direction relies on the completeness of the Complex numbers. A topic we will defer until later.
Of course this is precisely the same as the definition for a limit of a sequence of points in . Of course, a first important application of the limit of a sequence is defining convergence for a series of numbers.
Given a series we define partial sum of order to be the sum . We shall say the infinite series converges to if .
Notice that when the Cauchy criteria is applied to infinite sums it takes the form: given there is an so that, if then .
To give a concrete example consider the series . For a fixed it can easily be seen that this series converges, and we shall denote the value it converges to by .
To show this we simply we "bootstrap" from what we know about the real numbers. Recall that, for the real number we know that the sum for converges. Applying the Cauchy criteria to we know there is an so that, if then . Now consider the series . For the determined above, lets examine for .
- .
And hence by the Cauchy criteria the sum converges.
Even more, we showed the series converges absolutely. Recall that for a series of real numbers, any possible reordering of the series converged to the same value. This theorem remains true for complex numbers. For us it will be very useful to examine the series for theta a real number.
In this case we have
Now using that and we can rewrite the series above as
Finally if we rearrange the series to determine the real and imaginary parts we have that:
But now we notice by inspection that the series in the first set of parenthesis is exactly the Taylor series for and the series in the second parenthesis is exactly the Taylor series for . And so we we conclude:
- Euler's Formula
Thus we no longer need the name cis θ, we will instead simply use .
Advanced Topics
[edit | edit source]This section contains some more advanced topics that should perhaps be skipped on a first reading of this text.
Metric property
[edit | edit source]Define the metric as
It can easily be seen that satisfies positive definiteness, symmetry and the triangle inequality, implying that is a metric space.
Completeness
[edit | edit source]Recall that a metric space is said to be complete if every Cauchy sequence converges to a limit.
For any point , we call the open ball , consisting of all the points such that , a neighborhood of . Similarly, a set consisting of points z such that for a positive δ will be called a neighborhood of infinity. Given a set , we call the set open if every point in has a neighborhood completely contained in . Similarly, we call a set closed if its complement is open. A point is called an accumulation point of if every neighborhood of z contains a point in other than z itself. It can be shown that a set is closed if and only if it contains all of its accumulation points: see proof.
The Riemann Sphere
[edit | edit source]An interesting idea related to the extension of the complex numbers is the construction of the Riemann Sphere. The Riemann Sphere, essentially a stereographic projection, is constructed by projecting the Complex plane onto the unit sphere about the point .
Formally, the rectangular coordinates of the projection can be given by the transformations
Or equivalently, the reverse transformation,
The Riemann sphere is this transformation, together with the point labeled as
It can also be shown that the stereographic projection preserves angles, and that circles and lines in the plane correspond to circles on the sphere: see proof.
In the metric |a-b| used earlier, the point z=∞ causes problems. However, using the stereographic projection, we can define another metric where the distance between two points a and b is the chordal distance
- ,
which has a well-defined meaning even when one of the points is ∞. We will only employ this metric when dealing with infinite values. For example, using this metric, neighborhoods of infinity do not require special treatment; we say that a neighborhood of a point is the set of all points z satisfying
- ,
where is allowed to be infinity.
Complex Functions
[edit | edit source]A complex function is one that takes complex values and maps them onto complex numbers, which we write as . Unless explicitly stated, whenever the term function appears, we will mean a complex function. A function can also be multi-valued – for example, has two roots for every number. This notion will be explained in more detail in later chapters.
A complex function will sometimes be written in the form , where are real-valued functions of two real variables. We can convert between this form and one expressed strictly in terms of through the use of the following identities:
While real functions can be graphed on the x-y plane, complex functions map from a two-dimensional to a two-dimensional space, so visualizing it would require four dimensions. Since this is impossible we will often use the three-dimensional plots of , and to gain an understanding of what the function "looks" like.
For an example of this, take the function . The plot of the surface is shown to the right.
Another common way to visualize a complex function is to graph input-output regions. For instance, consider the same function and the input region being the "quarter disc" obtained by taking the region
(i.e. is the first quadrant)
and intersecting this with the disc of radius 1:
If we imagine inputting every point of into , marking the output point, and then graphing the set of output points, the output region would be where
( is called the upper half plane).
So, the squaring function "rotationally stretches" the input region to produce the output region. This can be seen using the polar-coordinate representation of , . For example, if we consider points on the unit circle (i.e. the set "") with then the squaring function acts as follows:
(here we have used ). We see that a point having angle is mapped to the point having angle . If is small, meaning that the point is close to , then this means the point doesn't move very far. As becomes larger, the difference between and becomes larger, meaning that the squaring function moves the point further. If (i.e. ) then (i.e. ).
Limits and Continuous Functions
[edit | edit source]In this section, we
- introduce a 'broader class of limits' than known from real analysis (namely limits with respect to a subset of ) and
- characterise continuity of functions mapping from a subset of the complex numbers to the complex numbers using this 'class of limits'.
Limits of complex functions with respect to subsets of the preimage
[edit | edit source]We shall now define and deal with statements of the form
for , and prove two lemmas about these statements.
Definition 2.2.1:
Let be a set, let be a function, let , let and let . If
we define:
Lemma 2.2.2:
Let be a set, let be a function, let , let and . If
then
Proof: Let be arbitrary. Since
there exists a such that
But since , we also have , and thus
and therefore
Lemma 2.2.3:
Let , be a function, be open, and . If
then for all such that :
- Proof
Let such that .
First, since is open, we may choose such that .
Let now be arbitrary. As
there exists a such that:
We define and obtain:
Continuity of complex functions
[edit | edit source]We recall that a function
where are metric spaces, is continuous if and only if
for all convergent sequences in .
Theorem 2.2.4:
Let and be a function. Then is continuous if and only if
- Proof
Exercises
[edit | edit source]- Prove that if we define
- then is not continuous at . Hint: Consider the limit with respect to different lines through and use theorem 2.2.4.
Complex Derivatives
[edit | edit source]Complex differentiability
[edit | edit source]Let us now define what complex differentiability is.
Definition 2.3.1:
Let , let be a function and let . is called complex differentiable at if and only if there exists a such that:
- Example 2.3.2
The function
is nowhere complex differentiable.
- Proof
Let be arbitrary. Assume that is complex differentiable at , i.e. that
exists.
We choose
Due to lemma 2.2.3, which is applicable since of course is open, we have:
But
a contradiction.
The Cauchy–Riemann equations
[edit | edit source]We can define a natural bijective function from to as follows:
In fact, is a vector space isomorphism between and .
The inverse of is given by
Theorem and definitions 2.3.3:
Let be open, let be a function and let . If is complex differentiable at , then the functions
are well-defined, differentiable at and satisfy the equations
These equations are called the Cauchy-Riemann equations.
- Proof
1. We prove well-definedness of .
Let . We apply the inverse function on both sides to obtain:
where the last equality holds since is bijective (for any bijective we have if ; see exercise 1).
3. We prove differentiability of and and the Cauchy-Riemann equations.
We define
Then we have:
From these equations follows the existence of , since for example
exists due to lemma 2.2.3.
The proof for
and the existence of we leave for exercise 2.
Holomorphic functions
[edit | edit source]Definitions 2.3.4:
Let and let be a function. We call holomorphic if and only if for all , is differentiable at . In this case, the function
is called the complex derivative of . We write for the set of holomorphic functions defined on .
Exercises
[edit | edit source]- Let be sets such that , and let be a bijective function. Prove that .
- Let be open, let be a function and let . Prove that if is complex differentiable at , then and exist and satisfy the equation .
Holomorphic and Harmonic Functions
[edit | edit source]From our look at complex derivatives, we now examine the analytic functions, the Cauchy-Riemann Equations, and Harmonic Functions.
- 2.4.1 Holomorphic functions
Note: Holomorphic functions are sometimes referred to as analytic functions. This equivalence will be shown later, though the terms may be used interchangeably until then.
Definition: A complex valued function is holomorphic on an open set if it has a derivative at every point in .
Here, holomorphicity is defined over an open set, however, differentiability could only at one point. If f(z) is holomorphic over the entire complex plane, we say that f is entire. As an example, all polynomial functions of z are entire. (proof)
- 2.4.2 The Cauchy-Riemann Equations
The definition of holomorphic suggests a relationship between both the real and imaginary parts of the said function. Suppose is differentiable at . Then the limit
can be determined by letting approach zero from any direction in .
If it approaches horizontally, we have . Similarly, if it approaches vertically, we have . By equating the real and imaginary parts of these two equations, we arrive at:
These are known as the Cauchy-Riemann Equations, and leads us to an important theorem.
Theorem: Let a function be defined on an open set containing a point, . If the first partials of exist in and are continuous at and satisfy the Cauchy-Riemann equations, then f is differentiable at . Furthermore, if the above conditions are satisfied, is analytic in . (proof).
- 2.4.3 Harmonic Functions
Now we move to Harmonic functions. Recall the Laplace equation,
Definition: A real valued function is harmonic in a domain if all of its second partials are continuous in and if at each point in , is analytic in a domain , then both are harmonic in . (proof)
Polynomial Functions
[edit | edit source]Polynomial Function
[edit | edit source]A function containing a polynomial rule is known as a polynomial function. A polynomial function with only one variable looks like this: f(t) = t^{3} - 2t^{2} + 3t.
Graphing Polynomial Functions
[edit | edit source]Graphing such functions can be challenging if you don't know what you are doing. A graphing calculator is very helpful in this process if one is available. To graph polynomial functions on a graphing calculator, follow these steps: 1. turn on the calculator, 2. press the y= button, 3. in the area \Y_{1}, enter in the equation (for example, using the equation above, you would press "x", then the karat button, then 3, then -2, then the "x^{2}" button, then +3x), 4. press the graph button. If no graph appears, then the information entered is incorrect, or you need to widen the window, in which case you would press the "zoom" button and then "zoom out".
Exponential and Trigonometric Functions
[edit | edit source]Consider the real-valued exponential function defined by . It has the following properties:
1)
2)
3)
We want to extend the exponential function to the complex numbers in such a way that
1)
2)
3)
But has been already defined for and we have .
Logarithmic Functions
[edit | edit source]Logarithmic Functions
[edit | edit source]Logarithm
[edit | edit source]A logarithm is the exponent that a base is raised to get a value. Such exponential equations can be written as logarithmic equations and vice versa. Exponential equations are in the form of b^{x} = a , and logarithmic equations are in the form of log_{b}a = x . When converting from exponential to logarithmic form, and vice versa, there are some key points to keep in mind:
1. The base of the exponent become the base of the logarithm.
Example:
3^{7} = 2187
log_{3}2187 = 7
2. The exponent is the logarithm.
Example:
5^{2} = 25
log_{5}25 = 2
3. Any nonzero base to the 0 power is 1.
6^{0} = 1
log_{6}1 = 0
4. An exponent or log can be negative.
4^{-2} = 0.0625
log_{4}0.0625 = -2
5. The exponent and the log can be variables.
4^{y} = 1024
log_{4}1024 = y
A logarithm is also an exponent. This means that the exponent rules apply to logarithms as well.
A common logarithm is a logarithm that has a base of 10. Bases of logarithms are known to be 10 when there is no base written for them. For example:
log6 = log_{10}6
Logarithmic functions are inverses of exponential functions, since logarithms are inverses of exponents. For example:
y = 3^{x}
is the inverse of
y = log_{3}x
And, since these two functions are inverses, their domain and ranges are switched. So, for
y = 3^{x}
the domain is all real numbers and the range is y > 0.
And, for
y = log_{3}x
the domain is x > 0 and the range is all real numbers.
Inverse Trigonometric Functions
[edit | edit source]Solve Equations Using Inverses
[edit | edit source]Oftentimes, the value of a trigonometric function for an angle is known and the value to be found is the measure of the angle. In order to find the inverse of trigonometric functions, the idea of inverse functions is applied.
The relation in which all the values of x and y are reversed in the inverse of a function. y = sinx has an inverse of x = siny.
When graphed, the inverse x = siny is found to not be a function since it doesn't pass the vertical line test. Similarly, trigonometric inverses aren't functions either.
In order to make trigonometric inverses functions, the domain of the original trigonometric function has to be restricted. These are known as principal values. Principal values are those values that are in the restricted domains. In order to differentiate trigonometric functions with restricted domains, capital letters are used.
Principal Values of Sine, Cosine, and Tangent
y = Sinx if and only if y = sinx and -pi/2 < x < pi/2.
y = Cosx if amd only if y = cosx and 0 < x < pi.
y = Tanx if and only if y = tanx and -pi/2 < x < pi/2.
The Arcsine function is the inverse of the Sine function. It is symbolized by Sin^{-1} or Arcsin. These are its characteristics:
1. The set of real numbers from -1 to 1 is its domain.
2. The set of angle measures from -pi/2 < x < pi/2 is its range.
3. Sin^{-1}y = x if and only if Sinx = y.
4. (Sin^{-1} x Sin)(x) = (Sin x Sin^{-1})(x) = x
Arccosine and Arctangent functions are similar to the above definition of the Arcsine function.
Inverse Sine, Cosine, and Tangent
1. The inverse Sine function is y = Sin^{-1}x or y = Arcsinx given y = Sinx.
2. The inverse Cosine function is y = Cos^{-1}x or y = Arccosx given y = Cosx.
3. The inverse Tangent function is y = Tan^{-1}x or y = Arctanx given y = Tanx.
The expressions in rows below are all equivalent. These can be used to rewrite and/or solve trigonometric equations.
y = Sinx x = Sin^{-1}y x = Arcsiny
y = Cosx x = Cos^{-1}y x = Arccosy
y = Tanx x = Tan^{-1}y x = Arctany
Example 1
[edit | edit source]Solve an Equation
Solve Sinx = 1/2 by finding the value of x to the nearest degree.
If Sinx = 1/2, then x is the least value whose sine is 1/2. So, x = Arcsin(1/2). Use a calculator to find x.
For a TI-84 Plus Silver Edition:
1. Press 2nd
2. Sin^{-1}
3. 2nd
4. 1/2
5. )
6. Enter
The answer is 30. So, x = 30 degrees.
The inverse of trigonometric functions is also used in application problems.
Example 2
[edit | edit source]Apply an Inverse to Solve a Problem
The ship Vegas sailed West 25 miles before turning south. When Vegas ran into trouble and radioed for help, the rescue boat found that the fastest way to them covered a distance of 50 miles. The cosine of the angle that the rescue boat should sail at is 0.5. Find the angle, to the nearest hundredth of a degree, at which the rescue boat should travel to give Vegas help.
Cosx = 25/50
Cos^{-1}(25/50) = Cos^{-1}(0.5) = 60
60 degrees south of west
Trigonometric Values
[edit | edit source]The values of trigonometric expressions are also found using a calculator.
Example 3
[edit | edit source]Find a Trigonometric Value
Find each value. Write angle measures in radians. Round to the nearest hundredth.
ArcTan(1)
For TI-84 Plus Silver Edition:
1. 2nd
2. TAN^{-1}
3. 2nd
4. 1
5. ENTER
0.7853981634
So, ArcTan(1) = 0.7853981634
The Basics
[edit | edit source]What is a residue?
[edit | edit source]When we say we want a Residue of a function at a point, we mean that we want the coefficients of the term of the expanded function with a simple pole (something that gives a zero in the denominator) at that point. For example, the residue of the function:
About is 3.
And similarly for:
Is also 3, for the second term isn't a pole at -1.
Of course, the functions we will be dealing with will be much more complicated, some may have quadratics on the denominator, some may not be well defined like ; and according to the type of function, there are different types of what's called isolated singularities that we'll run across. Of course, such things need to be well defined to include possible conflicts before we continue. Also because our method of finding the residue varies with the type of the singularity! This is probably the most important point in this chapter.
Isolated Singularities
[edit | edit source]There are three types:
1) Removable Singularities
2) Poles of order m
3) Essential Singularites
Which we will cover in detail one-by-one.
Removable Singularities
[edit | edit source]The rigorous definition is a function such that where is some constant value (you may have to use L'Hopital's Rule to come to this conclusion).
In layman's terms, this is a function that has a similar term multiplied on the numerator and denominator that can be cancelled.
For example, the following function:
has a removable singularity at .
as for what this has to do with residues, with the rigorous definition, this means that the function's residue at that point is considered to be 0. If after cancellation some of the same terms are left over, like in the following function:
Poles of order m
[edit | edit source]Again, the rigorous definition is a function f has a pole at if , we classify the order m by the highest power of the pole in the Laurent series (in more layman's terms, the number of the power after it has been cancelled). Another way of say this would be:
- The order of a pole at is the least integer m such that is bounded.
Example:
has a 2nd order pole about . This could be said to follow from the fact that: for not equal to and thus
Essential Singularity
[edit | edit source]The rigorous definition is a function such that is neither bounded nor infinite, like the limit being undefined. A good example of such a function is a typical example from 1st semester Calculus classes:
about is an essential singularity.
What typically happens with these functions is when the Laurent (or in the case for the function above, Taylor) series is examined, it turns out that the order m is infinite (there are an infinite number of poles). Keeping along the lines of our example, if we perform a Taylor series expansion we obtain:
Which shows our infinite number of poles.
This is the only type of isolated singularity where the only way known to determine the residue (the power of that 1/z term) is to manually create the Laurent series and read off the coefficient.
Also, but beyond the scope of this book, is an interesting theorem regarding functions with essential singularities called Picard's Theorem, which states that a function with an essential singularity approaches every value except possibly one around a neighborhood about the singularity.
Partial Fractions
[edit | edit source]This is probably the most basic technique, and doesn't require a lot of theory, mainly just algebraic manipulation. However, it does have its limitations, namely it really only works with polynomials. It is more of a cookbook method: here's the recipe, follow the steps.
Given two polynomial functions and , where the degree of Q is greater than the degree of P, we define another function to be the quotient of the two polynomials:
And we note that if we factor Q we obtain:
Then depending on the form of we can reduce the function into a limited series of simple or m-th order poles as so:
And then the coefficients can be solved for and the function can be stated into an explicit form with readable residues.
Of course, this is taught a lot better by example and case.
Case 1, simple one-order factors
[edit | edit source]We begin with the function:
And note that it can be factored thusly:
For this case the correct form we "guess" is like so:
The remaining portion is by algebra, we multiply both sides by :
Which gives us two equations:
Thus:
and
And our function can be rewritten as:
The remainder of this section discusses suggests fractional forms that aid in separation, since the actual method and theory hold.
The Other Two Cases
[edit | edit source]Case 1, Unfactorable Terms. In our generic expression, there is A(x)+B term, but really should include an additional polynomial for possible "unfactorable" terms (i.e., terms that can't be factored with only real numbers, although if the terms are factored correctly with imaginary numbers, the method works). To account for this the "guessed" fraction, include these extra terms. For example,
With , , and to be solved.
Case 2, Term(s) Raised To A Power, The correct "guess" will include a trailing series of decreasing powers of the factor. For example,
Remark
[edit | edit source]Again, partial fractioning only really works with polynomials, and can be a huge hassle for large denominators. The next section looks at a more general way of determining the residue.
A More "Complex" Solution
[edit | edit source]There is a much more general, more lovely, all-pole encompassing formula for determining residues. We start off by examining the Laurent series of a function:
And when examining the expansion we note that if we want the residue of the simple pole of a function, we want the coefficient . The second order pole, , and so on. In order to really see what's going on in the formula, it's best to look at the expansion:
Say we want the residue of from a function with a 2nd-order pole about that point, we first multiply by :
We now want to isolate the term, so we take a derivative:
Now if we evaluate at , the remaining terms will be zero, thus:
gets us the residue, from repeating this same procedure the general formula can be obtained quite easily.
The Residue Formula
[edit | edit source]
Where is the point about which the residue is to be found, is the function.
There are some extra terms placed into this formula that weren't discussed above. The factorial eliminates the extra multiplied terms from the derivatives, and the limit deals with issues caused by a removable singularity.
Some Consequences
[edit | edit source]Simplifying Integrals
[edit | edit source]Given the following integral:
Now with partial fractions (or the residue theorem) we can split this up into a series of mono-pole terms, which would allow us to use substitution and receive logarithmic answers:
Cauchy's Residue Theorem
[edit | edit source]Cauchy's Residue Theorem is a VERY important result which gives many other results in Complex Analysis and Theory, but more importantly to us, is that it allows us to calculate integration with only residue, that is, we can literally integrate without actually 'integrating'. Note: Its derivation is in Complex Analysis, which is listed as a prerequisite for these more advanced tricks.
This is the actual (general) theorem:
Let Γ be a simple closed positively oriented contour. If f is analytic in some simply connected domain D containing Γ and is any point inside Γs, then:
Upon first look, this has absolutely nothing to do with residues, but mathematicians are very abstract and tricky people.
Take a general function, call it , just so we don't confuse it with the function in Cauchy's Integral Formula. can be made into a Laurent Series:
Now, we integrate over a contour Γ of , keeping in mind that has been 'Laurentized':
Also by Complex Analysis, the parts of the series that are analytic and zero and thus dropped out (which is actually ANOTHER result by Cauchy), this leaves the sum of the integrals containing powers on the bottom, now by carrying out the differentiations of and applying the General Cauchy Integral Formula (The proof is tedious but you can do the Laurent series and check yourself), you will come upon the Cauchy Residue Theorem (Cauchy really did do a lot of this stuff, a running joke in Complex Analysis classes is, "Isn't every proof done by Cauchy?"):
Read over that equation a few times, make sure you really grasp what it's saying, to do an integral, you need only calculate the residues. Does it seem useless because you're concerned with only the real number line? You're not being creative enough. Take the line integral with one part over the real-number line, and the other lines over the complex such that they are easily computable, as a general example:
Unfortunately, this too borders the line with a book on Complex Analysis, since these 'simple lines' are discussed therein, but just to not leave you hanging, here's a typically simple one so you can try out integration without integrating on your own:
If is the quotient of two polynomials such that the degree of the lower polynomial is at least two more than the numerator polynomial then .
Where is a half-circle on the plane. This allows you to close some loops made by integrals over the real-number line and try out this method for yourself.
And that's where we leave off!