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)

اخر الاخبار

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

مجموعة مناحل الكفيل تختتم مشاركتها في معرض السليمانية الدولي للزراعة والصناعات الغذائية

لتوثيق التراث العلمي.. وفد قسم شؤون المعارف يلتقي عددًا من أعلام مدينة النجف

قسم الشؤون الفكرية ومؤسسة الشهداء يبحثان سبل تعزيز التعاون في برامج الذاكرة الوطنية

المجمع العلمي يقيم دورته التطويرية الثالثة لإعداد أساتذة الدورات الصيفية في صلاح الدين

المزيد

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

طبيب يكشف تأثير برودة الشتاء على النوم

دون أن تعلم.. 10 عادات يومية تسرع شيخوخة جسمك

تقرير: النيكوتين خطر على القلب مهما كانت الطريقة

أيهما أفضل لصحتك.. زبدة الفول السوداني أم النوتيلا؟

المزيد

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

السعودية تدشن أكبر نظام لتخزين الكهرباء بالبطاريات في العالم !

بأمر تنفيذي.. ترامب يؤكد هدف عودة الأميركيين إلى القمر في عام 2028

بعيدا عن البشر.. "قتال جوي في الفضاء" بين أميركا والصين

كشف مذهل في قاع "برمودا" !

المزيد

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

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