Math 224 — Complex Arithmetic 1 1. the Complex Numbers Definition
Total Page:16
File Type:pdf, Size:1020Kb
math 224 — Complex Arithmetic 1 1. The complex numbers Definition The complex number system C is the set of all items of the form x + iy where x, y are real numbers, and i is a special symbol whose meaning will be described below. It is useful to note that each nonzero real number x has both a magnitude jxj and a direction (the sign of x). There are only two directions on the number line, so there are only two choices of direction for a real number. We will see that a nonzero complex number z can be viewed as being a magnitude z and a direction in the plane. Here there are infinitely many different directions (one for each angle between 0 and 2π). Just as we have to worry about both magnitude and direction when multiplying two real numbers, we will worry about magnitudes and directions when multiplying two complex numbers. In fact multiplication by the complex number i (i.e., 0+1i) turns out to have no effect on magnitude, and changes the direction by ‘making a right angle turn counterclockwise’. The effect of 2 consecutive such turns is to reverse direction, so it is not surprising that i2 = −1. Note that the set of complex numbers can be identified with the plane R2 by the identification x + yi ! (x; y). The difference between C and R2 is that there is extra algebraic structure on C, as we will describe below. Note that the complex number x + iy can be graphed in the plane as the point (x; y) Here is some notation: • We often use a single symbol (like ‘z’) to denote a complex number, and we write things like ‘z = x + yi’ to denote this. • Any real number x can be thought of as the complex number x + 0i; we will also refer to the complex zero (0 + 0i) merely as ‘0’. • If z is x + yi then the real part of z is Re(z) ≡ x, and the imaginary part of z is Im(z) ≡ y. Note that the real and the imaginary parts of z are both real numbers; the imaginary part does not include the i! If a complex number x + iy is graphed as (x; y) in the plane, the horizontal axis measures the real part, and the vertical axis measures the imaginary part. • Two complex numbers are equal if and only if they have the same real parts and the same imaginary parts. • We add two complex numbers by adding their real parts to get the real part of the sum and adding their imaginary parts to get the imaginary part of the sum: if z = x + yi and w = s + ti then z + w = (x + s) + (y + t)i. Similarly for subtraction. • We multiply two complex numbers by multiplying everything out and making the identifica- tion i2 = −1: math 224 — Complex Arithmetic 2 We give the formula for multiplication below, but there is little point in trying to remember it; instead remember ‘multiply out, replace i2 by −1, and collect terms’. if z = x + yi and w = s + ti then zw = (x + yi)(s + ti) = xs + xti + ysi + yti2 = (xs − yt) + (xt + ys)i. • Before we can discuss division of complex numbers (which is slightly more complicated than multiplication) it is useful to introduce the notion of the complex conjugate of a complex number. The complex number that is obtained from z by changing the sign of its imaginary part is called the complex conjugate of z, and is denoted as z = x − iy: • Some elementary, yet simple facts about complex conjugates are summarized in the following proposition. Proposition 1.1 Let z = x + iy and w = u + iv be any two complex numbers, where x; y; u; v are real numbers. (a) z + w = z + w. z + z (b) Re(z) = . 2 z − z (c) Im(z) = . 2i (d) zz = x2 + y2 is a real number, and is strictly positive unless z = 0. (e) For any two complex numbers z; w, (zw) = (z)(w). The proofs of these 5 assertions are left as exercises. (One way of establishing (e) is just to write z = x + iy, w = u + iv, compute both sides of the equation and see that they are equal. Alternatively, note that changing the signs of the imaginary parts of both z and w does not affect the real part of their product, and the only effect on the imaginary part of their product is that the sign changes.) • The fact that the product of a complex number z and its conjugate is a nonzero real number (unless z = 0) gives us a fairly simple way of dividing a nonzero complex number into another. The idea is simple; if z = x + iy is a complex number and r is a real number, then dividing z by r should be the same as multiplying z by 1=r, which would give (for z = z +yi) z=r = (x=r) + (y=r)i: Now if w = u + iv is a complex number, then in order to compute z=w we can first replace w by a real number by multiplying both the numerator and the denominator by the conjugate of w z zw zw = = w ww u2 + v2 math 224 — Complex Arithmetic 3 where the denominator is now a real number, so we can proceed as above. For example 2 + 13i (2 + 13i)(3 + 4i) (6 − 52) + i(39 + 8) 48 47 = = = − + i : 3 − 4i (3 − 4i)(3 + 4i) 9 + 16 25 25 p • Finally, the length of z = x + yi is defined to be jzj = x2 + y2. Note that jzj ≥ 0 with jzj = 0 if and only if z = 0, that jzj = jzj, and that jzj2 = zz. 1.1 Polar notation Just as we sometimes find it useful to use polar coordinates in the plane R2, it is sometimes useful to use polar notation in C. In polar notation we keep track of a complex number z by keeping track of its length jzj and the angle, measured counterclockwise, from the positive real axis to the segment from 0 through z. This angle is called the argument of z and is denoted by arg(z). Note that there is some ambiguity in the argument, because, depending on how they went about measuring this angle, one person might come up with a certain value θ while another comes up with θ + 2π. (As an example, one might claim that the argument of z = −i is −π=2 while another claims that it is 3π=2.) Rather than trying to stamp out this ambiguity we choose to live with it, and keep in mind that arg(z) is only specified up to some integer multiple of 2π. Now suppose that z =6 0. Then we can write jzj z z = z · = · jzj = jzju jzj jzj where u is a complex number of length 1 (u = z=jzj), so that u lies on the unit circle in the plane. Clearly u and z have the same argument, which we will call θ, so that u = cos(θ) + i sin(θ). In short we can write z in polar notation as z = jzj[cos(θ) + i sin(θ)] where arg(z) = θ: An important observation about polar notation is the following: In multiplying two complex numbers, you multiply their lengths and you add their arguments. Here is the verification, where θ = arg(z) and α = arg(w) zw = (jzj[cos(θ) + i sin(θ)] · jwj[cos(α) + i sin(α)] = jzjjwj[cos(θ) cos(α) − sin(θ) sin(α) + i(cos(θ) sin(α) + sin(θ) cos(α))] = jzjjwj[cos(θ + α) + i sin(θ + α)] where we have used the addition formulas for sine and cosine to get the last line. In short zw = jzjjwj[cos(θ + α) + i sin(θ + α)] (1) One important consequence of the last formula is that it shows that in taking powers of a complex number z we are taking powers of its length and multiples of its argument: the length of math 224 — Complex Arithmetic 4 zn is jzjn and the argument of zn is nθ where θ is the argument of z. It follows that in computing an nth root we will be taking roots of lengths and dividing arguments by n. The fact that arguments are multiplied by taking powers and divided by taking roots suggests that, somehow, the argument of a complex number is ‘living in an exponent’ (becausep exponents multiply under powers — (ab)n = anb — and exponents divide under roots — n ab = ab=n). In the next subsection we will try to justify the formula eiθ = cos(θ) + i sin(θ) which exactly describes the way in which the argument ‘lives in an exponent’, and is the key to understanding a number of important aspects of complex arithmetic. Using this formula, we see that z = jzjei arg(z) is a true formula for any complex number z. The right side in the equation above is called the polar form of z, or the polar notation for z. Multiplication, division, powers, and roots are all straightforward for complex numbers written in polar form: (reiα)(Reiβ) = rRei(α+β) r (reiα)=(Reiβ) = ei(α−β) R (reiα)n = rneinα p p n reiα = n reiα/n: 1.2 The complex exponential and Euler’s formula Consider the IVP z0 = {z, z(0) = 1, where z(t) is a function taking values in the complex plane, so z(t) = x(t) + {y(t). Thus {z = −y + {x. In the more familiar R2 notation, the IVP is x0 = −y, y0 = x, with (x(0); y(0)) = (1; 0).