Math1202 Supplementary Notes

  • November 2019
  • PDF

This document was uploaded by user and they confirmed that they have the permission to share it. If you are author or own the copyright of this book, please report to us by using this DMCA report form. Report DMCA


Overview

Download & View Math1202 Supplementary Notes as PDF for free.

More details

  • Words: 1,587
  • Pages: 5
The Logarithm and Exponential Functions We begin with the following question: If a > 0, what is ax ? We define a1 = a,

a2 = a · a,

a3 = a · a · a,

...

and more generally, an = |a · a{z· · · a} n times

for positive integers n. We also define a0 = 1

a−n =

and

1 for n in N. an

1

To define ax for rational x, we first let a n be the unique b > 0 such that bn = a. This b is the nth root of a √ and is also denoted by n a. It is the image of the inverse function of f (x) = xn

for all x ≥ 0

at the point a. It can also be obtained directly from the Completeness Axiom as sup{x ≥ 0| xn < a}. Then we define m

1

1

a n = (am ) n = a n

m

and

m

a− n =

1 m an

for every natural numbers m, n. Thus ax is defined for every rational number x. The following index laws hold for every rational numbers x and y: ax+y = ax · ay

and

y

axy = (ax ) .

Can we define ax for irrational numbers x so that the above index laws still hold? For example, what √

should be a 2 ? One approach is to interpolate a nice curve through the points (x, ax ), for all rational numbers x, and define ax for irrational numbers x according to the values on the curve. We observe that if the function f : R → R satisfies f (x + y) = f (x)f (y)

for every x, y in Q,

and that f (1) 6= 0, then f (x) = f (1)x for every rational number x. Proof: Note that f (0) = f (0 + 0) = f (0)2 so that f (0) = 0 or 1. If f (0) = 0, then f (x) = f (x + 0) = f (x)f (0) = 0 for every x. In particular, f (1) = 0. Hence f (0) = 1. For every positive integer n, f (n) = f (1 + · · · + 1) = f (1) · · · f (1) = f (1)n . and 1 = f (0) = f (n + (−n)) = f (n)f (−n) so that f (−n) =

1 1 = = f (1)−n . f (n) f (1)n 1

(∗)

 n As f n1 =f  m m f n = f (1) n .

1 n

+ ··· +

1 n



= f (1), we have f

1 n



1

= f (1) n . Finally, it is straightforward to prove that

Hence we have to find a solution of (∗) such that f (1) = a. If such an f is further assumed to be differentiable, then f (x + h) − f (x) f (x)(f (h) − 1) f ′ (x) = lim = lim = cf (x), h→0 h→0 h h for c = f ′ (0). In other words, f is a solution of the differential equation f ′ (x) = cf (x)

for every x.

It turns out that it is easier to find the inverse function g = f −1 . Intuitively, g = loga , as loga y is the unique x such that ax = y. Now g = f −1 is also differentiable and g ′ (y) =

1 1 1 = = . f ′ (g(y)) cf (g(y)) cy

As g(1) = 0, g(y) = g(y) − g(1) =

Z

y

g ′ (t) dt =

1

1 c

Z

y

1

1 dt. t

When c = 1, we get the natural logarithm function, log, given by log x =

Z

x

1

1 dt t

for every x > 0.

It is clear that if x < 1, log x =

Z

1

x

1 dt = − t

Z

1

x

1 dt < 0, t

log 1 = 0, and log x > 0 if x > 1. Furthermore we have i. log is differentiable and log′ x = 1/x; ii. log is strictly increasing and is hence injective; iii. log xy = log x + log y; iv. log(x/y) = log x − log y; v. log xn = n log x for every integer n. Proof: iii. Fix any y > 0 and define h(x) = log(xy). The function h is differentiable, and h′ (x) = y log′ (xy) = y ·

1 1 = = log′ x. xy x

Hence log(xy) = h(x) = log x + c for some constant c. Putting x = 1, we get c = log y and the result follows.

2

iv. It follows from the equations log x = log



x ·y y



= log

x + log y. y

v. It can be proved by Mathematical Induction that log xn = n log x

for every natural number n.

It also follows from (iv) that  n 1 1 = n log = −n log x. = log x x

−n

log x

To recover f = g −1 , note that lim log x = +∞

x→+∞

and

lim log x = −∞.

x→0+

Proof: Observe that log 2n = n log 2,

log 2−n = −n log 2,

where

log 2 > 0.

Hence the image of log (which is the domain of f ) is R. Let exp = log−1 . It is called the exponential function and is defined on R into the set of all positive numbers. We have the following properties: i. exp is differentiable and exp′ x = exp x; ii. exp is strictly increasing; iii. exp (x + y) = exp x · exp y. Proof: i. For all number x, exp′ x = (log−1 )′ x =

1 1 = = log−1 x = exp x. log′ (log−1 x) 1/ log−1 x

iii. Suppose u = exp x and v = exp y. Then x + y = log u + log v = log uv. This means exp(x + y) = uv = exp x exp y.

Let e = exp 1. Then e is characterized by Z

1

2

Re

1 1 t

dt = 1. As

1 dt < 1 · (2 − 1) = 1, t

and Z

1

4

1 1 1 1 13 dt > · (2 − 1) + · (2 − 1) + · (2 − 1) = , t 2 3 4 12 3

we get 2 < e < 4. By some more delicate computation, we can show that e ≈ 2.71828. From property (iii) above, exp x = (exp 1)x = ex . for every rational number x. Define ex = exp x for every x ∈ R. It follows that ex+y = ex · ey for every x, y ∈ R. In order to define ax , observe that if a > 0, then ax = (elog a )x = ex log a , for every rational number x. As ex log a is defined for all x, we can use it to define ax . Definition: If a > 0, define for every real number x, ax = ex log a . Note that the requirement a > 0 is necessary in order that log a is defined. The following properties holds: i. ax is differentiable and (ax )′ = ax log a; ii. ax is strictly increasing; y

iii. axy = (ax ) ; iv. a1 = a; v. ax+y = ax · ay . Proof: i. Recall that ax = ex log a . Hence by the Chain Rule, (ax )′ = log a · ex log a = log a · ax . iii. (ax )y = ey log a = ey log(e x

x log a

)

= ey(x log a) = exy log a = axy .

iv. a1 = e1 log a = elog a = a. v. ax+y = e(x+y) log a = ex log a+y log a = ex log a · ey log a = ax · ab . The function loga is the inverse function of ax . It can also be expressed in terms of log as follows. If y = loga x, then x = ay = ey log a . So log x = y log a, and y=

log x . log a

4

It follows that (loga x)′ =

1 . x log a

Let a in R. Define f : (0, ∞) → R by f (x) = xa

for every x > 0.

Then f ′ (x) = axa−1

for every x > 0.

Proof: Write f (x) = xa = ea log x , then f ′ (x) =

a a log x a ·e = · xa = axa−1 . x x

Exercise: If f is differentiable and f ′ (x) = f (x)

for all x,

then there is a number c such that f (x) = cex

for all x.

Solution: Let g(x) =

f (x) . ex

Then g ′ (x) =

ex f ′ (x) − f (x)ex = 0. ex

Hence there is a number c such that g(x) =

f (x) = c. ex

Reference Michael Spivak, Calculus, W.A. Benjamin, Menlo Park, 1967.

5

Related Documents