2.5 Exponential Functions and Trigonometric Functions

Transcription

1 5 CHAPTER. COMPLEX-VALUED FUNCTIONS.5 Exponential Functions and Trigonometric Functions Exponential Function and Its Properties By the theory of power series, we can define e z := which is called the exponential function. Here 0! = and n! =... (n ) n. e z has the following properties:. The radius of convergence R = +. In fact, R = lim n a n a n+ = lim n n = +. Therefore, e z is an analytic function defined on C.. When z = x R, the restriction e x is the usual real exponential function. This is because the Taylor series of e x is z n n! n! xn. 3. e z+w = e z e w, z, w C. In fact, e x+u = e x e u forall x, u R. Then by the uniqueness theorem.4.6, e z+w = e z e w holds for any z, w C. 4. As a function from C to C, e z is not a one-to-one function. Consider solutions of the equation e z =. It is equivalent to z = πki for any integer k. 6π 4π π e z 0 π 4π 6π 5. We have ( e z ) = e z by the power series definition.

2 .5. EXPONENTIAL FUNCTIONS AND TRIGONOMETRIC FUNCTIONS 53 n 6. e x = lim n ( + n) x, x R. 7. Euler s formula: e ix = cos x + i sin x, x R. (.0) From this, we have e z = r(cos θ + i sin θ) for any z C. Trigonometric Functions. From Euler s formula, taking conjugate: e ix = cos x i sin x so that cos x = eix + e ix, sin x = eix e ix. i which can be used to define complex-valued function cos z and sin z. Hence e iz = cons z + isin z, and cos z = cos z := eiz + e iz, sin z := eiz e iz. i (n)! zn, sin z = (n + )! zn+. Here the formulas are similar to the real case: cos x = (n+)! xn+. (n)! xn and sin x =. We shall see the difference between the real case and the complex case. In the real case, cos x and sin x ; in the complex case, cosz and sin z are no longer true. In fact, take z = iy where y R, we have 3. We can verify: sin z = ei(iy) e i(iy) = e y e y i cons z + sin z =, as y. cos(z + w) = cos z cos w sin z sin w, sin(z + w) = sin z cos w + cos z sin w. 4. Consider sin z = 0 e iz e iz = 0 s iz = z = πk where k Z z = πk where k Z. Similarly, cos z = 0 z = π + πk where k Z.

3 54 CHAPTER. COMPLEX-VALUED FUNCTIONS 5. We can also define tan z := sin z cos z, cos z cot z := sin z. Logarithm Function. Review Calculus: the inverse function of e x is log x. In this course we denote log x to be the natural log ln x. By the inverse function property, we have e log x = x, x (0, ); log e x = x, x R. (.) Denote y = e x. By the derivative formula of inverse function ((f ) = f, we have (log x) = (e y ) = e y = x. (.) Then by the fundamental theorem of calculus f(x) = x f (t)dt, we obtain a log x = x which is regarded as definition of log x in some textbook. dt (.3) t. We notice that e z is not one-to-one function on C (see above) so that we cannot define the inverse function log z of e z. However, e z could be one-to-one function on some domains and log z could be defined on some domain. Recall the logarithm function has power series expansion: log( + x) = n + xn+, x (, ). Here the radius of convergence of this power series is. Then we have log( + z) := n + zn+, z (). and, by replacing + z with z, log z = n + (z )n+, z (; ). If f : X Y is an one-to-one and onto map, it has inverse map f : Y X satisfying f (f(x)) = x, x X and f(f (y)) = y, y Y.

4 .5. EXPONENTIAL FUNCTIONS AND TRIGONOMETRIC FUNCTIONS 55 Since e log x = x, x (0, ), by applying the uniqueness theorem.4.6, it implies e log z = z, z (; ). 3. On the other hand, write z = re iθ = z e i arg z, by the addition property of logarithm, we obtain log z = log z + log e iarg z = log z + iarg z, z (; ). 4. The addition theorem of exponential functions implies log(z z ) = log(z ) + log(z ), arg(z z ) = arg(z ) + arg(z ). 5. At this moment, the analytic function log z is defined on the disk (, ). We ll show later that the domain of definition for log z can be extended. Historic Remark Logarithm function is closely related to its inverse function: exponential function by x = b y y = log b x. In 64, John Napier (550-67) published a book entitled Mirifici Logarithmorum Canonis Descriptio in which logarithm was introduced. The table of logarithms made by Napier contributed to the advance of science, and especially of astronomy, by making some difficult calculations possible (it turns multiplication into addition). 3 Early resistance to the use of logarithms was muted by Kepler s enthusiastic support and his publication of a clear and impeccable explanation of how they worked. By the way, Napier did not use a base as we now understand it, but his logarithms were, up to a scaling factor, effectively to base e. In 668, Nicholas Mercator (60-687), a Germany mathematician, first mentioned the natural logarithm ln x in his work Logarithmo-technia 4 In this treatise Mercator described the Mercator series, also independently discovered by Gregory Saint-Vincent: log( + x) = x x + 3 x3 4 x Joost Bürgi independently discovered logarithms; however, he did not publish his discovery until four years after Napier. 4 en.wikipedia.org: natural logarithm. The mathematics teacher John Speidell had already in 69 compiled a table on the natural logarithm.

5 56 CHAPTER. COMPLEX-VALUED FUNCTIONS which was treated as the area of the hyperbola x dt = x+ dt (see (.3)). It was also 0 +t t in this treatise that the first known use of the term natural log for the natural log appears, in the Latin form log naturalis; his use of this term is somewhat surprising, since it predates the development of calculus, in which the most natural properties of this logarithm appear. In 697, Jacob Bernoulli studied lim n (+ n )n, which had been implicit in earlier work on natural logarithms. In 748, Euler defined the two functions: 5 ( e x = lim + x n, log x = lim n n) n( n x ). (.4) n and also proved his famous formula: e ix = cos x + i sin x (.5) Euler proved that the infinite series (.5) of both sides being equal. 50 years later, the view of complex numbers as points in the complex plane arose. Until Euler the trigonometrical quantities sine, cosine, tangent, etc., were regarded as lines connected with the circle rather than functions. Even the derivation of the series expansion for the sine in dependence of the arc by Newton and Leibniz did not change this view. It was Euler who introduced the functional point of view. 6 By the way, in 988, readers of the Mathematical Intelligencer voted it the Most Beautiful Mathematical Formula Ever. In total, Euler was responsible for three of the top five formulas in that poll. 7 It was a difficulty problem how to define log a when a is a negative number. Between 7 and 73, Bernoulli held the view that log a = log( a) because d( x) = dx, while x x Leibniz believed that log( a) must be imaginary. Between 77 and 73, the question was taken up by Bernoulli and Euler without at a solution. It was only in 749/75, Euler developed ideas far enough to study logarithm so that it leads to a satisfying solution. Euler s approach is to deal with logarithm of general complex numbers. Euler s argument is as follows: by the definition (.4), log z = lim n n( n z ). For each positive integer n, n( n z ) has n different roots (Euler realized it!) so that the limit indeed has infinitely many different values. When z =, he got log = ±πki, k =,, 3, Morris Kline, Mathematical Thought from Ancient to Modern Times, volume, New York Oxford, Oxford University Press, 97, p Hans Niels Jahnke (editor), A History of Analysis, AMS, 003, p Here is the list of the top five:. Euler s formula;. Euler s formula for a polyhedron: V + F = E The number of primes is infinite. 4. There are 5 regular polyhedrons = π 6 (Euler). cf., David Wells, Are these the most beautiful? Mathematical Intelligencer (3)(990), Hans Niels Jahnke (editor), A History of Analysis, AMS, 003, p.7-8.