The natural logarithm

1. Introduction

A previous web page defined two particular sequences converging to a number - which by experiment can be shown to be approximately 2.718281828. The very reasonable question arises asking if this number really is the Euler number familiar from exponentials and natural logarithms. One approach is to define for each real number the value ()= 1+ and prove that this function has the expected properties of the expontential function () , such as

(0)=1
(+)=() ()
0 (+)-() =()

for all , .

An alternative approach is to define the limit of the infinite series

1++ ² 2+ ³ 3+

and prove that this limit is precisely () . Both these methods can be made precise, and will (with some effort) work to make rigorous the real exponential function. Much of this work goes beyond the scope of the present sequence of web pages, however. In particular the notion of a limit of the form 0 has not been discussed here.

For any doubting students of analysis, or indeed just for interested readers, this web page explores these ideas further. Just for fun, I have chosen to take a very different approach to either of the more normal ones just outlined and will define and use the natural logarithm function, and apply that to the function () defined above. Because logarithms tend to use additions where exponentials use multiplication, many of the algebraic manipulations turn out to be easier. However, the material in this web page is sketched in less detail than you will normally find on these web pages and is not part of an official sequences and series module, so is for interested readers only. You may safely skip to the next page if you wish.

2. The logarithm

We start by defining two functions using a limiting process similar to things you have already seen.

Suppose is a positive real number. Then we define

()= 1- ^-1

and

()= ^1
-1

We will spend a bit of time proving that both these limits exist and in fact they are equal.

To this end, we fix some positive , and let _=

1-
^-1 and _=

^1
-1.

Lemma.

For all , we have .

Proof.

Indeed, we have ^{2
-2
^1
+1} =( ^1
-1)² 0 whence ^1
-1 1- ^-1 which gives .

Lemma.

For all sufficiently large and all we have .

Proof.

Let be sufficiently large so that ^1
-1 1 . Then

¹ =(1+( ^1
-1)) 1+ ( ^1
-1)

by the exponential inequality, hence

( ^1
-1) ( ^1
-1)

as required.

Lemma.

For all sufficiently large and all we have .

Proof.

Let be sufficiently large so that ^1
-1 1 . Then

^-1 =(1-(1- ^1
)) 1- (1- ^-1
)

by the exponential inequality, hence

( ^-1
-1) -(1- ^-1
)

and so

(1- ^-1
) (1- ^-1
)

as required.

Proposition.

For all real 0 the functions () and () are defined and equal.

Proof.

The monotone convergence theorem together with the three preceding lemmas already show that the limits () and () are defined with () () , since they show that the sequences (₎ and (₎ are monotonic and bounded. If 1 then 0 _1
() so () ₁₀ , and if 1 then () ₁₀ so () ₁₀ . Moreover, it is easy to see that (1)=(1)=0 . Suppose 1 and = and = . Then

= ^1
-1 1- ^-1 = ^{1

1-
^-1
1-
^-1} = ¹ 1

Therefore by continuty of division at (,) and uniqueness of limits =1 and hence =.

Definition.

For 0 we define () , the natural logarithm of , to be the value of () or () .

3. Properties of the logarithm function

Having defined this function, we want to explore some of its properties. In particular, we would like to know that it behaves as a logarithm function and is the inverse to the () function. Some properties emerge remarkably quickly. For example, if 0 then ( ²⁾⁼²⁽⁾ . More generally,

Lemma.

For each 0 and we have ( ^)=
() .

Proof.

( ⁾ = _(
^-1) = _{(

(
^-1))} = _(
^-1) = ()

using the continuity of scalar multiplication.

Lemma.

For each 0 we have ( ^-1)=-() .

Proof.

We have

( ^-1) = ^-1 ^1
-1 = ^-1
-1 = - 1- ^-1 =-()

and this together with ()=() proves the result.

Proposition.

The function :(0,) is everywhere nondecreasing and unbounded.

Proof.

Suppose 1 . Then ( ^{1
-1)
(
^1
-1)} hence taking limits () () . A similar argument applies to , 1 . To see that is unbounded let =2 and note that ()0 . So ( ^)=
() can be taken as large or as small as we like by suitable choice of large positive or negative .

The argument just given does not show that is increasing as is not preserved in limits. However we will prove that is in fact increasing in a moment.

Proposition.

For each we have (())= .

Proof.

By definition () = _(1+

) = _(1+

)⁺¹ with the first limit being eventually monotonic nondecreasing and the second limit eventually monotonic nonincreasing. Furthermore () = _(1-
^-1
) = _(
^1
-1) with the first eventually monotonic nondecreasing and the second eventually monotonic nonincreasing. Putting these together we have

1+ ^+1

-1 (()) 1- 1+ ^-1 = 1-11+

for eventually all . The right hand side here equals (1- + )= + which converges to as . The left hand side is

1+ 1+ ^1
-1 = 1+ ^1
-1 + 1+ ¹

and 1+ ¹ as as 1+ 1 and hence 1+ ¹ 1. Also 1+ ^1
-1 0 . This can be proved by taking an arbitrary 0 and choosing such that . Then for all we have 1+ ^1

1+1 by the exponential inequality and so 1+ ^1
-1 . This shows that

(())

where both sequences and converge to . So (())= , as required.

Proposition.

The function :(0,) is everywhere increasing, bijective, and continuous.

Proof.

We already know is nondecreasing. To see that it is increasing suppose to get a contradiction 1 with ()=() . From ^1

1 we know that there is such that ¹ . In particular letting be ¹ we have 1 and =^⁺¹ . By the fact that is nondecreasing we deduce that ()= ()(+1) () () . As by supposition ()=() we deduce that ()=0 . But as 1 the sequence (⁾ is unbounded so for each 1 in reals there is such that and hence 0 () (^)=
()=0 . It follows that ()=0 for all 1 . This is a contradiction to the previous proposition.

The case when 1 is similar.

Continuity follows from a general result that says a nondecreasing function :(0,) which takes all values in is automatically continuous.

The notion of derivative is outside the scope of these notes. However, you may be familiar enough with it to understand the following argument.

Proposition.

The function :(0,) has derivative '()=1 .

Proof.

By definition,

'() = _0

(+)-()

or, as _^1
=1 , we can use ^+1

- as a possible value for a positive . (This is justified by the facts that ^+1

-
0 and the fact that is continuous and increasing. Strictly speaking since we are only looking at positive we are computing a one-sided derivative. The derivative on the left can be computed and found equal to the right derivative by a similar argument.) This gives

'() = _{(
^+1

)-()

^+1

-}

which equals

_{1

()

(
^1
-1)} = () _(
^1
-1) =1

as required.

Proposition.

The function :(0,) satisfies ( )=()+() for all , 0 .

Proof.

(Sketch.)

Given and which for simplicity we assume are greater than 1, let _=
¹ so _⁼ and let be the unique integer with _¹⁺ . Then = and

( ) =(_⁾ = _{(_⁾} = _{(_)+

(₎} = _{()+(_⁾} =()+( ₎ =()+()

by continuity of various functions including .