乐趣区

关于后端:MATH252-Complex-Analysis

UNSW — School of Mathematics and Statistics
MATH2521 Complex Analysis

  1. THE EXPONENTIAL AND OTHER FUNCTIONS
    Apart from rational functions and“special”complex functions such
    as modulus and conjugate, we don’t really know of any complex func-
    tions yet. We’ll remedy this in the present chapter by defining various
    important complex expressions. Mostly we shall try to create functions
    f(z) which have properties corresponding to standard real functions,
    and which will actually equal these real functions in the case z = x.
    The terminology often used is that we seek to“extend functions from
    the real line to the complex plane”. We shall find that most of the signif-
    icant properties of the real functions remain true for our new functions,
    though there may also be additional properties which are specific to the
    complex case.
    First, let’s consider the exponential function. The real exponential
    function f(x) = ex is uniquely determined by the facts that it is defined
    and differentiable for all real x, that it is equal to its own derivative and
    that f(0) = 1. So –
    Problem. Can we determine an entire complex function f such that
    f(0) = 1 and f ′(z) = f(z) for all z ∈ C?
    Solution. Let f(z) = u+ iv where u and v are real. If f is to be entire
    then the Cauchy–Riemann equations
    must hold for all real x, y. From the theorem“differentiability and the
    Cauchy–Riemann equations”f ′(z) = ux + ivx, so if f
    ′(z) = f(z) then
    for all x, y. We also have the conditions
    u(0, 0) = 1 and v(0, 0) = 0 .
    1
    Equations (?) involve differentiation with respect to x, keeping y con-
    stant, so they are, in effect, just ordinary differential equations in one
    variable. You will recall from first year that the general solution of
    dF
    dx
    = F
    is F (x) = Cex, where C is a constant. In the present case (compare
    chapter 3, page 6) we have taken y as constant, so C could be a function
    of y. Hence equations (?), together with the initial conditions, yield
    u = C(y)ex , v = D(y)ex , C(0) = 1 , D(0) = 0 .
    Now substitute into the Cauchy–Riemann equations: we have
    C(y)ex = D′(y)ex , C ′(y)ex = ?D(y)ex .
    Cancelling ex (which is not zero) and eliminating D from the equations,
    we end up with
    C ′′(y) = ?C(y) , C(0) = 1 , C ′(0) = 0 .
    Once again this type of initial value problem should be familiar from
    first year. The solution is C(y) = cos y; hence D(y) = ?C ′(y) = sin y;
    substituting back and simplifying leads to
    f(z) = ex cos y + iex sin y .
    Definition. The (complex) exponential function is
    f : C→ C where f(z) = f(x+ iy) = ex(cos y + i sin y) .
    We shall write this function as f(z) = ez or f(z) = exp z.
    Comments.
    ? Taking x = 0 gives eiy = cos y + i sin y, which you will recall from
    first year. Thus our definition of ez is consistent with our earlier
    usage of eiθ.
    2
    ? Taking y = 0 gives f(z) = f(x) = ex. So when z is real, the complex
    exponential function is the same as the real exponential function.
    In fact, the complex exponential function is the only possible entire
    function which has the values ex on the real axis – proving this is an
    easy application of the identity theorem for holomorphic functions
    (chapter 3, page 12).
    Lemma. Properties of the exponential function.
  2. The function ez is entire, and d
    dz
    (ez) = ez for all z.
  3. If z = x + iy with x, y real then |ez| = ex and arg(ez) = y + 2npi
    with n ∈ Z.
  4. For all z1, z2 in C we have e
    z1+z2 = ez1ez2 .
  5. The exponential function is periodic with period 2pii; and ez1 = ez2
    if and only if z1 = z2 + 2npii for some integer n.
  6. For all z ∈ C we have ez 6= 0 and (ez)?1 = e?z.
    Proof. We give brief hints – please write these up as detailed proofs.
  7. Use the Cauchy–Riemann equations.
  8. Use the definition of modulus and argument.
  9. Write z1 = x1 + iy1, z2 = x2 + iy2 and do the algebra.
  10. For the second part, use property 2; the first part follows.
  11. Use part 3 to show that eze?z = 1.
    Examples.
    ? Solve ez = ?1+ i. Solution. Let z = x+ iy and take the modulus
    and argument of both sides: we have
    ex =
  12. and y = 34pi + 2npi , n ∈ Z .
    The solution of the first equation is x = 12 ln 2,
    Solve ez = e1+i. Solution. We could compute e?1+i and then
    use the method of the previous problem; but it is easier to note that
    3
    z = 1+ i is an obvious solution, and then use property 4 from the
    lemma to get the complete solution
    z = 1 + i+ 2npii , n ∈ Z .
    For which z is it the case that ez = 1? Solution. It is easy to
    see from the definition that z = 0 is one possibility; therefore the
    second part of property 4 shows that
    ez = 1 if and only if z = 2npii , n ∈ Z .
    Similarly, we can check that eipi = ?1, and hence
    ez = 1 if and only if z = (2n + 1)pii , n ∈ Z .
    Trigonometric functions. There are various ways to approach the
    problem of defining complex trigonometric functions, though all“sensi-
    ble”ways give the same final outcome. Here are two.
    Find an entire complex function f such that its derivative f ′ is also
    entire, and f ′′(z) = ?f(z) for all z, and f(0) = 1 and f ′(0) = 0.
    Call this function the (complex) cosine function.
    Find two entire complex functions f and g such that f ′(z) = ?g(z)
    and g′(z) = f(z) and f(0) = 1 and g(0) = 0: call them cosine and
    sine respectively.
    Both of these methods involve similar working to that on page 2, though
    the details are notably more intricate. Instead, we shall take the ap-
    proach of directly extending the real cosine and sine functions. We
    know the identities
    cos θ =
    eiθ + e?iθ
    2
    and sin θ =
    eiθ ? e?iθ
    2i
    for real θ, and we therefore say –
    Definition. The complex cosine and sine functions are defined by
    cos z =
    eiz + e?iz
    2
    and sin z =
    eiz ? e?iz
    2i
    for all z ∈ C.
    4
    Lemma. Properties of the complex cosine and sine functions.
  13. The cosine and sine functions are entire, and
    d
    dz
    (cos z) = ? sin z , d
    dz
    (sin z) = cos z
    for all z.
  14. The cosine function is even and the sine function is odd.
  15. The cosine and sine functions have period 2pi.
  16. For all real y we have cos(iy) = cosh y and sin(iy) = i sinh y.
  17. We have cos z = 0 if and only if z = (n+ 1
    2
    )pi, and sin z = 0 if and
    only if z = npi, with in each case n ∈ Z.
  18. For all complex z and w we have
    cos2 z + sin2 z = 1 ,
    cos(z + w) = cos z cosw ? sin z sinw ,
    sin(z + w) = sin z cosw + cos z sinw .
  19. If z = x+ iy then
    cos z = cos x cosh y ? i sin x sinh y ,
    sin z = sinx cosh y + i cos x sinh y .
    Proof (sketch). For part 1: iz and ?iz are polynomials so they are en-
    tire. Then eiz and e?iz are compositions of entire functions so they are
    entire (chapter 2, page 15). So cos z is a constant times the sum of two
    entire functions, and is entire; similarly for sin z. Use the known deriva-
    tive of the exponential function, together with standard differentiation
    rules, to verify the formulae for the derivatives.
    For property 2 substitute ?z for z in the definitions; for property 3,
    substitute z + 2pi; for property 4, substitute z = iy and recall the defi-
    nitions of cosh and sinh (MATH1131 calculus).
    5
    We prove property 5 for cosine, and leave sine as an exercise. Using
    one of the examples from page 4,
    cos z = 0 ? eiz + e?iz = 0
    ? eiz = ?e?iz
    ? e2iz = ?1
    ? 2iz = (2n + 1)pii , n ∈ Z
    ? z = (n + 12)pi , n ∈ Z .
    For part 6, make appropriate substitutions and do the algebra. An
    alternative, much simpler, proof for the first part: define
    f(z) = cos2 z + sin2 z and g(z) = 1 .
    These are both entire functions, and they coincide on the real line; so
    by the identity theorem, they are equal for all z in C. To prove part 7,
    use part 6 and part 4.
    Comments.
    ? We have shown that the complex cosine and sine functions are en-
    tire; they coincide with the real cosine and sine functions when z
    is real; and it follows from the identity theorem that they are the
    only entire functions with this property.
    Other trigonometric functions are defined exactly as in the real case:
    tan z =
    sin z
    cos z
    and sec z =
    1
    cos z
    provided cos z 6= 0;
    and
    cot z =
    cos z
    sin z
    and csc z =
    1
    sin z
    provided sin z 6= 0.
    For a complex function f ,“even”and“odd”are defined alge-
    braically as for real functions:
    f(?z) = f(z) and f(?z) = ?f(z)
    6
    respectively. However these concepts do not have the graphical
    interpretations with which you are familiar in the real case.
    Part 5 of the lemma shows that the equations cos z = 0 and sin z = 0
    have no solutions other than the real solutions we already know
    about.
    Other real trigonometric identities (double angle formulae, sums–
    to–products and products–to–sums formulae, and so on) extend to
    the complex case, and many can be proved by imitating our alter-
    native proof for property 6.
    Notice that important inequalities for real trigonometric functions
    are no longer true in the complex case. For example it is not true
    for all complex z that sin z ≤ 1 (obviously – why?). Nor is it true
    that | sin z| ≤ 1, because, for example, | sin(iy)| = | sinh y|, and this
    tends to infinity as y →∞.
    It follows easily from the definition that for all complex z we have
    eiz = cos z + i sin z .
    But note that cos z and sin z are not always real, so this does not
    mean that cos z and sin z are the real and imaginary parts of eiz.
    Example. The equation cos z = 3 obviously has no real solutions. We
    give two methods of finding its complex solutions.
    Let z = x + iy. Using part 7 of the lemma, we equate real and
    imaginary parts to obtain
    cos x cosh y = 3 and sinx sinh y = 0 .
    From the second equation there are two possibilities: sinx = 0 or
    sinh y = 0. However in the latter case we have y = 0 and the first
    equation becomes cos x = 3 (with x real), so this must be rejected.
    For sinx = 0 we have x = npi and hence
    cosnpi cosh y = 3 ? cosh y = 3cosnpi .
    If n is odd this gives cosh y = ?3, which is impossible; therefore n
    is even, say n = 2m; hence, cosh y = 3 and y = ± cosh?1 3. So we
    have the solutions
    cos z = 3 if and only if z = 2mpi ± i cosh?1 3 , m ∈ Z .
    7
    ? Alternatively, work directly from the definition:
    cos z = 3 e
    iz + e?iz
    2
    = 3
    eiz + eiz = 6
    eiz 6 + eiz = 0
    (eiz)2 6eiz + 1 = 0 .
    This is a quadratic in eiz, and solving by any method gives
    eiz = 3±
  20. . (?)
    Now let z = x + iy. Then eiz = e?y+ix; equating modulus and
    argument in (?) yields
    e?y = 3±
  21. and x = arg
    (


    8
    )
    = 2npi .
    Solving the first equation and putting everything back together, we
    find that
    cos z = 3 if and only if z = 2npi ? i ln(3±√8) , n ∈ Z .
    Comment. This does not look the same as our previous answer!
    However, if you recall from MATH1131 Calculus how to write in-
    verse hyperbolic functions in terms of logarithms, you will be able
    to reconcile the two solutions.
    Note that there are sometimes traps in the“exponential”method, and
    you will need to be careful. For instance, let’s try to solve sin z = ?3i
    in the same way. We have
    sin z = 3i eiz 6 eiz = 0 eiz = 3±

    10
    and hence
    sin z = ?3i ? z = 2npi ? i ln(3±√10) , n ∈ Z .
    8
    Exercise. By carefully filling in the details we have omitted, explain
    why this is wrong! Fix the errors and show that the correct solution is
    sin z = 3i z = mpi (?1)mi ln(3 +√10) , m ∈ Z .
    Also, give an alternative solution by starting with
    sinx cosh y = 0 , cos x sinh y = ?3 .
退出移动版