Complex Functions A complex function is merely a rule for assigning certain complex numbers to other complex numbers. The simplest (nonconstant) assignment is the identity function f z z . Perhaps the next simplest function assigns to each number its square, i.e., f z z 2 . As we decomposed the argument of f, namely z, into its real and imaginary parts, we shall also find it convenient to partition the value of f, z 2 in this case, into its real and imaginary parts. In general, we write f x y u x y v x y where u and v are both real-valued functions of two real variables. In the case that f z z 2 we find u x y x 2 y 2 and v x y 2 x y With the tools of complex numbers, we may produce complex polynomials f z z m c m - 1 z m 1 … c1 z c0 We say that such an f is order m. We shall often find it convenient to represent polynomials as the product of their factors, namely f z z λ1 d1 z λ2 d2 … z λh dh Each λj is a root of degree dj. Here h is the number of distinct roots of f. We call λj a simple root when dj 1 . We can observe the appearance of ratios of polynomials or so called rational functions. Suppose q z f z g z in rational, that f is of order at most m 1 while g is of order m with the simple roots λ1 … λm . It should come as no surprise that such q should admit a Partial Fraction Expansion q z j 1 m qj z λj One uncovers the qj by first multiplying each side by z λj and then letting z tend to λj. For example, if 1 z 2 1 q1 z q2 z then multiplying each side by z produces 1 z q1 q2 z z Now, in order to isolate q1 it is clear that we should set z . So doing we find that q1 2 . In order to find q2 we multiply by z . and then set z . So doing we find q2 2 , and so 1 z 2 2 z 2 z . Returning to the general case, we encode the above in the simple formula qj z z λj z λj q z You should be able to use this to confirm that z z 2 1 12 z 12 z Recall that the transfer function we met in The Laplace Transform module was in fact a matrix of rational functions. Now, the partial fraction expansion of a matrix of rational functions is simply the matrix of partial fraction expansions of each of its elements. This is easier done than said. For example, the transfer function of B 0 1 -1 0 is z I B -1 1 z 2 1 z 1 -1 z 1 z 12 2 2 12 1 z 12 2 2 12 The first line comes form either Gauss-Jordan by hand or via the symbolic toolbox in Matlab. More importantly, the second line is simply an amalgamation of and . Complex matrices have finally entered the picture. We shall devote all of Chapter 10 to uncovering the remarkable properties enjoyed by the matrices that appear in the partial fraction expansion of z I B -1 Have you noticed that, in our example, the two matrices are each projections, and they sum to I, and that their product is 0? Could this be an accident? In The Laplace Transform module we were confronted with the complex exponential. By analogy to the real exponential we define z n 0 z n n and find that e θ 1 θ θ 2 2 θ 3 3 θ 4 4 … 1 θ 2 2 θ 4 4 … θ θ 3 3 θ 5 5 … θ θ With this observation, the polar form is now simply z z θ . One may just as easily verify that θ θ θ 2 and θ θ θ 2 These suggest the definitions, for complex z, of z z z 2 and z z z 2 As in the real case the exponential enjoys the property that z1 z2 z1 z2 and in particular x y x y x y x y Finally, the inverse of the complex exponential is the complex logarithm, z z θ for z z θ . One finds that -1 2 3 4 .