YORK UNIVERSITY YORK UNIVERSITY

MATH 3410.03 - COMPLEX VARIABLES

MID-TERM TEST -February 24, 1999

  1. Find the complex numbers which are complex conjugates of their own cubes. Explain.

    Let [`z] = z3. Then |z| = |z|3 so |z| = 0 or |z| = 1. One solution is z = 0. All the other solutions have |z| = 1 and, for them, z4 = [`z]z = |z|2 = 1. This leads to four other solutions, z = 1,i,-1,-i.

    Alternatively, if we assume that the given complex number is of the form x + iy, where x and y are real, we are led to the equations x(x2 - 3y2 -1) = 0,  y(3x2 -y2 +1) = 0. This leads to four possibilities: (i) x = 0, y = 0; (ii) x = 0,  3x2 -y2 +1 = 0; (iii)x2 - 3y2 -1 = 0,  y = 0; (iv) x2 - 3y2 -1 = 0,  3x2 -y2 +1 = 0. The first of these leads to z = 0, the second to z = ±i, and the third to z = ±1. Adding the two equations in the fourth leads to x2 = y2 and putting this back in either of the equation leads to an impossible equation 2y2 + 1 = 0.

  2. Show that limn ® ¥ zn = 0 is equivalent to limn ® ¥ |zn| = 0 but that limn® ¥ zn = 1 is not equivalent to limn® ¥ |zn| = 1.

    It is clear that |zn - 0| = ||zn| - 0|, so |zn - 0| is small if and only if ||zn| - 0| is small. Hence limn ®¥ zn = 0 is equivalent to limn ® ¥ |zn| = 0. On the other hand, |zn - 1| ¹ ||zn| - 1|, and in fact ||zn| - 1| can be small without |zn - 1| being small. For example, we could have zn = -1, for each n. Then limn® ¥ |zn| = 1 but limn® ¥ zn = -1.

  3. At what points is the function f(z) = z Rez differentiable? At what points is it analytic? Explain.

    The function fails to be differentiable for z ¹ 0, because the Cauchy-Riemann equations do not hold. On the other hand,

    f¢(0) =
    lim
    h ® 0 
    h Re h/h =
    lim
    h ® 0 
    Reh = 0.
    (Note that the validity of the C-R equations at 0 is not sufficient, in itself, to guarantee the differentiability of f at 0.) So the function is differentiable at the point 0 only. It is not analytic anywhere. To be analytic at 0, it would have to be differentiable in a neighbourhood of 0 as well as at 0 itself.

  4. State Cauchy's Integral Theorem and Cauchy's Integral Formula and say why they are important in complex analysis.

    Cauchy's Integral Theorem: Let f(z) be analytic in a simply connected domain G. Then òC f(z) dz = 0 for every piecewise smooth closed curve C contained in G. (The phrase simply connected is necessary; for example, 1/z is analytic in the domain {z|z ¹ 0} but its integral around the circle |z| = 1 is not 0.)

    Cauchy's Integral Formula:

    Let f(z) be analytic be a domain G containing a piecewise smooth closed curve C and its interior. Then

    f(z0) = 1
    2p1
    ó
    õ


    C 
    f(z)
    z - z0
    dz,
    if z0 lies inside C.

    Cauchy's Integral Theorem shows that under appropriate conditions an integral of a function is independent of path. This makes possible the idea of an indefinite integral and leads to the possibility of deforming a contour and Cauchy's Integral Formula which shows, among other things that an analytic function is determined by its values in a relatively small set of points and that an analytic function is infinitely differentiable.

  5. Show that a sequence of continuous functions which converges on a set E does not have to converge to a continuous function on E. What would be a sufficient additional conditional which would guarantee the continuity of the limit function?

    Let sn(x) = xn,  n = 1,2.... Then sn(x) ® f(x),  0 £ x < 1, where

    f(x) = ì
    í
    î
    0,  0 £ x £ 1,
    1,  x = 1.
    Each sn(x) is continuous on 0 £ x £ 1 but f(x) is not. A uniformly convergent sequence of continuous functions on a set E converges to a continuous function on E.

  6. Find the radius of convergence of each of the following series:

    (a) ån = 1¥ zn. Here an = zn and

    ê
    ê
    ê
    an+1
    an
    ê
    ê
    ê
    = |z| ® |z|,
    as n ® ¥. Hence by the ratio test the given series is absolutely convergent for |z| < 1. This cannot be improved because for |z| > 1 we have |zn| ® ¥ as n ® ¥. Thus the radius of convergence is 1.

    (b) ån = 0¥ zn/n!. Here an = zn/n! and

    ê
    ê
    ê
    an+1
    an
    ê
    ê
    ê
    = |z|/(n+1) ® 0,
    as n ® ¥, no matter what the value of z. Hence by the ratio test the given series is absolutely convergent for all z. Thus the radius of convergence is ¥.


File translated from TEX by TTH, version 1.98.
On 28 Feb 1999, 21:05.