The reader is undoubtedly familiar with the logarithm function and the exponential function. In this section, we define these functions precisely and develop their principal properties.

Definitions

The natural logarithm function, denoted by log, is defined by the formula

    Theorem 1.1

   Let f :x → log x be defined for x> 0 and suppose a and b are positive numbers. The following statements hold:

 (i) log (ab) =log a + log b.

  (ii) log 1 0.

   (iii) log (a^r) = r log a  for every rational number r.

  (iv) f^/(x) =1/x.

      (v) log x →+∞ as x →+∞.

    (vi) The range of f is all of R¹.

Proof

To prove (i), we write

Changing variables in the last integral on the right by letting u = t/a, we see that

Hence log(ab) = log a + log b.

Figure 1.1 The logarithm and its inverse.

To verify (ii) simply set b = 1 in the above formula.

To establish (iii)we proceed step by step. If r is a positive integer, we get the result from (i) with a = b and mathematical induction. For negative integers, write a⁻ⁿ= 1/aⁿ. Finally, if r = p/q where p and q are integers, set u = a¹/q, and thus uq= a. Hence q log u = log a. Since

a^r= a^p/q= u^p,

we have

Statement (iv) is simply a statement of the Fundamental theorem of calculus.

To prove (v), note that if x> 2ⁿ, n a positive integer, then

the last inequality being obvious from Figure 1.1(a). That the range of f is all of R¹ (vi) follows from the Intermediate-value theorem.

Since the logarithm function is strictly increasing, its inverse is a function; therefore, the following definition makes sense.

Definition

The inverse of the logarithm function is called the exponential function and is denoted by exp.

Theorem 1.2

If f :x → exp x is the exponential function, the following statements hold:

(i) f is continuous and increasing for all x ∈ R¹; the range of f is I={x:0 <x< +∞}.

(ii) f^/(x) =exp x for all x.

(iii) exp (x + y) =( exp x) · ( exp y).

(iv) exp (rx) =( exp x)^r, for r rational.

(v) f(x) →+∞  as  x →+∞.

(vi) f(x) → 0 as x →−∞.

(vii) log ( exp x) = x for all x ∈ R¹ and exp ( log x)= x for all x> 0.

(viii) If a> 0 and r is rational, then exp (r log a) = a^r

Proof

Items(i) and (vii) are immediate consequences of the Inverse function theorem.

To establish (ii), first set y =exp x. By the Chain rule applied to log y =x, it follows that.

To prove (iii), set y₁ = exp x₁ and y₂ = exp x₂. Then x₁ = log y₁, x₂ = log y₂, and

The formula in (iv) is obtained by induction (as in the proof of part (iii) of Theorem1.1). The proofs of (v) and (vi) follow from the corresponding results for the logarithm function. See Figure 5.4, in which we note that since the exponential function is the inverse of the logarithm, it is the reflection of the logarithm function with respect to the line y = x.Item (viii) is simply proved: exp(r log a) = exp(log(a^r)) =a^r.

Expressions of the form

a^x,a> 0,

for x rational have been defined by elementary means. If x = p/q, then wemerely take the pth power of a and then take the q th root of the result.

However, the definition of quantities such as

 cannot be given in such an elementary way. For this purpose, we use the following technique.

Definition

For a> 0, and x ∈ R¹, we define

a^x= exp(x log a).

Observe that when x is rational this formula coincides with (viii) of Theorem 1.2, so that the definition is consistent with the basic idea of “raising to a power.”

Definitions

If b> 0 and b ≠ 1, the function log b (called logarithm to the base b)is defined as the inverse of the function f : x → b^x. When b =10 we call the function the common logarithm.

The number e is defined as exp 1. In the graph of Figure 1.1(b) we can estimate the value of e as a number slightly larger than 2.7. The following statements about e are mostly self-evident:

Problems

1. Given f : x → a^x, show that f^/(x) = a^x log a. (Theorem1.2, Part(ii).)

2. Given f : x → xⁿ with n any real number; show that f^/(x) = nxⁿ⁻¹.

3. Show that 2 <e< 4.

4. Prove that lim_x→0+ (1 + x)^1/x= e.

Basic Elements of Real Analysis, Murray H. Protter, Springer, 1998 .Page(96-100)

اخر الاخبار

اخبار العتبة العباسية المقدسة

جولة تفقدية لمتابعة خطة تنظيم مداخل المعزّين المشاركين في عزاء ركضة طويريج

لتعزيز التعاون الأكاديمي والبحثي.. جامعة الكفيل توقع اتفاقيتي توأمة مع جامعتين عراقيتين

المجمَع العلميّ يواصل إقامة مجلسه العزائي بذكرى شهادة الإمام الحسين (عليه السلام) في النجف الأشرف

قسم حفظ النظام يواصل تنفيذ خطته لتنظيم سير المواكب والزائرين في شهر المحرم

المزيد

الآخبار الصحية

لهذا السبب.. إغلاق 25 مركزًا لعلاج الإدمان في مصر ؟

خلافا للاعتقاد الشائع.. علماء يكشفون أسرار بذور البطيخ ؟!

هذا ما يحدث لجسمك عند تناولك الطماطم بانتظام !

تعرف على أطعمة تسرّع "تعافي الجسم" من حروق الشمس

المزيد

الآخبار التكنلوجية

الثلوج تغطي الصحراء الأكثر جفافا في العالم!

بتلسكوب "ألما".. التقاط صورا غير مسبوقة لبدايات الكون !

هل هاتفك مراقب؟.. 5 علامات خطيرة تكشف التجسس عليك

دبي تطلق أول رحلة تجريبية للتاكسي الجوي

المزيد

مواضيع ذات صلة

Elementary Theory of Metric Spaces-The Schwarz and Triangle Inequalities; Metric Spaces

Elementary Theory of Metric Spaces-Functions on Compact Sets

Elementary Theory of integration -The Darboux Integral for Functions on RN

Elementary Theory of integration -The Riemann Integral

Differentiation and Integration in RN-The Riemann Integral in RN

Differentiation and Integration in RN-The Darboux Integral in RN

Differentiation and Integration in RN-The Derivative in RN

Differentiation and Integration in RN-Taylor,s Theorem; Maxima and Minima

Differentiation and Integration in RN-Partial Derivatives and the Chain Rule

Continuity

Basic Properties of Functions on R1 -The Heine–Borel Theorem

Basic Properties of Functions on R1 -The Cauchy Criterion