4.4 The exponential and logarithm functions

Analysis of functions of a single Page 1 / 1

We derive next the elementary properties of the exponential and logarithmic functions. Of course, by “exponential function,” we mean the power series function

exp .

And, as yet, we have not even defined a logarithm function.

We derive next the elementary properties of the exponential and logarithmic functions. Of course, by “exponential function,” we mean the power series function $exp .$ And, as yet, we have not even defined a logarithm function.

Define a complex-valued function $f : C \to C$ by $f (z) = exp (z) exp (- z) .$ Prove that $f (z) = 1$ for all $z \in C .$
Conclude from part (a) that the exponential function is never 0, and that $exp (- z) = 1 / exp (z) .$
Show that the exponential function is always positive on $R,$ and that ${lim}_{x \to - \infty} exp (x) = 0 .$
Prove that $exp$ is continuous and 1-1 from $(- \infty, \infty)$ onto $(0, \infty) .$
Show that the exponential function is not 1-1 on $C .$
Use parts b and e to show that the Mean Value Theorem is not in any way valid for complex-valued functions of a complex variable.

Using part (d) of the preceding exercise, we make the following important definition.

We call the inverse ${exp}^{- 1}$ of the restriction of the exponential function to $R$ the (natural) logarithm function, and we denote this function by $ln .$

The properties of the exponential and logarithm functions are strongly tied to the simplestkinds of differential equations. The connection is suggested by the fact, we have already observed, that ${exp}^{'} = exp .$ The next theorem, corollary, and exercises make these remarks more precise.

Suppose $f : C \to C$ is differentiable everywhere and satisfies thedifferential equation $f^{'} = a f,$ where $a$ is a complex number. Then $f (z) = c exp (a z),$ where $c = f (0) .$

Consider the function $h (z) = f (z) / exp (a z) .$ Using the Quotient Formula, we have that

h^{'} (z) = \frac{exp (a z) f^{'} (z) - a exp (a z) f (z)}{{[exp (a z)]}^{2}} = \frac{exp (a z) (f^{'} (z) - a f (z))}{{[exp (z)]}^{2}} = 0 .

Hence, there exists a complex number $c$ such that $h (z) = c$ for all $z .$ Therefore, $f (z) = c exp (a z)$ for all $z .$ Setting $z = 0$ gives $f (0) = c,$ as desired.

Law of exponents

For all complex numbers $z$ and $w,$ $exp (z + w) = exp (z) exp (w) .$

Fix $w,$ define $f (z) = exp (z + w),$ and apply the preceding theorem. We have $f^{'} (z) = exp (z + w) = f (z),$ so we get

exp (z + w) = f (z) = f (0) exp (z) = exp (w) exp (z) .

If $n$ is a positive integer and $z$ is any complex number, show that $exp (n z) = {(exp (z))}^{n} .$
If $r$ is a rational number and $x$ is any real number, show that $exp (r x) = {(exp (x))}^{r} .$

Show that $ln$ is continuous and 1-1 from $(0, \infty)$ onto $R .$
Prove that the logarithm function $ln$ is differentiable at each point $y \in (0, \infty)$ and that ${ln}^{'} (y) = 1 / y .$ HINT: Write $y = exp (c)$ and use Theorem 4.10.
Derive the first law of logarithms: $ln (x y) = ln (x) + ln (y) .$
Derive the second law of logarithms: That is, if $r$ is a rational number and $x$ is a positive real number, show that $ln (x^{r}) = r ln (x) .$

We are about to make the connection between the number $e$ and the exponential function. The next theorem is the first step.

$ln (1) = 0$ and $ln (e) = 1 .$

If we write $1 = exp (t),$ then $t = ln (1) .$ But $exp (0) = 1,$ so that $ln (1) = 0,$ which establishes the first assertion.

Recall that

e = lim_{n} {(1 + \frac{1}{n})}^{n} .

Therefore,

\begin{matrix} ln (e) & = & ln (lim_{n} {(1 + \frac{1}{n})}^{n}) \\ = & lim_{n} ln ({(1 + \frac{1}{n})}^{n}) \\ = & lim_{n} n ln (1 + \frac{1}{n}) \\ = & lim_{n} \frac{ln (1 + \frac{1}{n})}{\frac{1}{n}} \\ = & lim_{n} \frac{ln (1 + \frac{1}{n}) - ln (1)}{\frac{1}{n}} \\ = & {ln}^{'} (1) \\ = & 1 / 1 \\ = & 1 . \end{matrix}

This establishes the second assertion of the theorem.

Prove that
$e = \sum_{n = 0}^{\infty} \frac{1}{n!} .$
HINT: Use the fact that the logarithm function is 1-1.
For $r$ a rational number, show that $exp (r) = e^{r} .$
If $a$ is a positive number and $r = p / q$ is a rational number, show that
$a^{r} = exp (r ln (a)) .$
Prove that $e$ is irrational. HINT: Let $p_{n} / q_{n}$ be the $n$ th partial sum of the series in part (a). Show that $q_{n} \leq n!,$ and that $lim q_{n} (e - p_{n} / q_{n}) = 0 .$ Then use [link] .

We have finally reached a point in our development where we can make sense of raising any positive number to an arbitrary complex exponent.Of course this includes raising positive numbers to irrational powers. We make our general definition based on part (c) of the preceding exercise.

For $a$ a positive real number and $z$ an arbitrary complex number, define $a^{z}$ by

a^{z} = exp (z ln (a)) .

REMARK The point is that our old understanding of what $a^{r}$ means, where $a > 0$ and $r$ is a rational number, coincides with the function $exp (r ln (a)) .$ So, this new definition of $a^{z}$ coincides and is consistent with our old definition. And, it now allows us to raies a positive number $a$ to an arbitrary complex exponent.

REMARK Let the bugles sound!! Now, having made all the appropriate definitions and derived all therelevant theorems, we can finally prove that $e^{i π} = - 1 .$ From the definition above, we see that if $a = e,$ then we have $e^{z} = exp (z) .$ Then, from part (c) of [link] , we have what we want:

e^{i π} = - 1 .

Prove that, for all complex numbers $z$ and $w,$ $e^{z + w} = e^{z} e^{w} .$
If $x$ is a real number and $z$ is any complex number, show that
${(e^{x})}^{z} = e^{x z} .$
Let $a$ be a fixed positive number, and define a function $f : C \to C$ by $f (z) = a^{z} .$ Show that $f$ is differentiable at every $z \in C$ and that $f^{'} (z) = ln (a) a^{z} .$
Prove the general laws of exponents: If $a$ and $b$ are positive real numbers and $z$ and $w$ are complex numbers,
$a^{z + w} = a^{z} a^{w},$

$a^{z} b^{z} = {(a b)}^{z},$
and, if $x$ is real,
$a^{x w} = {(a^{x})}^{w} .$
If $y$ is a real number, show that $| e^{i y} | = 1 .$ If $z = x + i y$ is a complex number, show that $| e^{z} | = e^{x} .$
Let $α = a + b i$ be a complex number, and define a function $f : (0, \infty) \to C$ by $f (x) = x^{α} = e^{α ln (x)} .$ Prove that $f$ is differentiable at each point $x$ of $(0, \infty)$ and that $f^{'} (x) = α x^{α - 1} .$
Let $α = a + b i$ be as in part (f). For $x > 0,$ show that $| x^{α} | = x^{a} .$

<< Chapter < Page Page > Chapter >>

Read also:

Get Jobilize Job Search Mobile App in your pocket Now!

100% Free Mobile Applications
Receive real-time job alerts and never miss the right job again

Source: OpenStax, Analysis of functions of a single variable. OpenStax CNX. Dec 11, 2010 Download for free at http://cnx.org/content/col11249/1.1

Google Play and the Google Play logo are trademarks of Google Inc.

Notification Switch

Would you like to follow the 'Analysis of functions of a single variable' conversation and receive update notifications?

Ask

	40 Biology 40 The Circulatory System MCQ By OpenStax Start Quiz
	Anthropology Environment, Adaption Subsistence By Richley Crapo Start Assignment
	5 Biology 05 Plasma Membranes Structure Function By OpenStax Start Quiz
	7 Arts Society: Theater 7 By Jonathan Long Start Quiz
	Gastrointestinal Pathophysiology 2006 By Tamsin Knox Start Exam
	6 AP Key Terms 06 The Skeletal System By OpenStax Start Key Terms
©flickr: Derek	Treatment Of Psychological Disorders By Michael Nelson Start Quiz
	Introduction to sociology By OpenStax Read Online Course
©flickr:	Word Roots and Prefixes By Ellie Banfield Start Quiz
	13 Dr Garry GI Ruminants quiz By Brooke Delaney Start Exam