Skip to content

Mathematics · Ch 5 — Continuity and Differentiability

Exponential and Logarithmic Functions

5.4

Exponential and Logarithmic Functions

5.4 Exponential and Logarithmic Functions

Why a New Class of Functions?

Polynomial functions grow at a rate set by their degree: for x>1x > 1, fn(x)=xnf_n(x) = x^n rises faster as nn increases. This raises a question: is there a function that grows faster than any polynomial, no matter how high the degree?

The answer is yes. Take f(x)=10xf(x) = 10^x. At x=103x = 10^3, compare:

  • f100(x)=(103)100=10300f_{100}(x) = (10^3)^{100} = 10^{300}
  • f(x)=10103=101000f(x) = 10^{10^3} = 10^{1000}

So 10x10^x dwarfs x100x^{100}; in fact 10x>x10010^x > x^{100} for all x>103x > 10^3. More generally bxb^x (with b>1b > 1) outgrows any xnx^n for large enough xx. This motivates the exponential functions.


The Exponential Function

Definition (Exponential function with base b>1b > 1)

y=f(x)=bxy = f(x) = b^x

The graph of y=10xy = 10^x is shown in Fig 5.9 of the textbook; sketching y=2xy = 2^x, y=3xy = 3^x, y=4xy = 4^x shows how the base affects steepness.

Salient Features of Exponential Functions

  1. Domain: all real numbers R\mathbb{R}.
  2. Range: all positive reals (0,∞)(0, \infty).
  3. Fixed point: (0,1)(0, 1) always lies on the graph, since b0=1b^0 = 1.
  4. Monotonicity: ever increasing — as xx increases, bxb^x increases.
  5. Large negative xx: bxb^x is very close to 00; the graph approaches the xx-axis (a horizontal asymptote) but never touches it.

Common and Natural Exponential Functions

  • When b=10b = 10, y=10xy = 10^x is the common exponential function.
  • The special number ee is defined by

e=1+11!+12!+13!+⋯e = 1 + \frac{1}{1!} + \frac{1}{2!} + \frac{1}{3!} + \cdots

and lies between 22 and 33. Base ee gives the natural exponential function y=exy = e^x.


The Logarithmic Function

The exponential function bxb^x is one-to-one (strictly increasing), so it has an inverse — the logarithmic function.

Definition (Logarithm to base b>1b > 1)

For a>0a > 0, log⁡ba=x\log_b a = x if and only if bx=ab^x = a.

Examples

  • 23=8  ⟺  log⁡28=32^3 = 8 \iff \log_2 8 = 3.
  • 104=10000  ⟺  log⁡1010000=410^4 = 10000 \iff \log_{10} 10000 = 4.
  • 625=54=252  ⟺  log⁡5625=4625 = 5^4 = 25^2 \iff \log_5 625 = 4 or log⁡25625=2\log_{25} 625 = 2.

Logarithm as a Function

Fixing b>1b > 1, the logarithmic function is log⁡b:R+→R\log_b : \mathbb{R}^+ \to \mathbb{R}, with log⁡bx=y\log_b x = y if by=xb^y = x.

  • b=10b = 10: common logarithm.
  • b=eb = e: natural logarithm, denoted ln⁡\ln. In this chapter, log⁡x\log x means ln⁡x\ln x (base ee).

Important Observations About the Logarithm Function (any base b>1b > 1)

  1. Domain: R+\mathbb{R}^+; the logarithm of a non-positive number is undefined.
  2. Range: all real numbers R\mathbb{R}.
  3. Fixed point: (1,0)(1, 0) always lies on the graph, since log⁡b1=0\log_b 1 = 0.
  4. Monotonicity: ever increasing — as xx increases, log⁡bx\log_b x increases.
  5. Near zero: for xx close to 00, log⁡bx\log_b x can be made arbitrarily negative; the graph approaches the yy-axis (a vertical asymptote) but never touches it.
  6. Mirror property: y=exy = e^x and y=ln⁡xy = \ln x are mirror images in the line y=xy = x (Fig 5.11).

Properties of Logarithms (with Proofs)

Property 1: Change of Base Rule

log⁡ap=log⁡bplog⁡ba\log_a p = \frac{\log_b p}{\log_b a}

›Proof

Proof: Let log⁡ap=α\log_a p = \alpha, log⁡bp=β\log_b p = \beta, log⁡ba=γ\log_b a = \gamma, so aα=pa^\alpha = p, bβ=pb^\beta = p, bγ=ab^\gamma = a. Substituting a=bγa = b^\gamma into aα=pa^\alpha = p:

(bγ)α=bγα=p=bβ(b^\gamma)^\alpha = b^{\gamma\alpha} = p = b^\beta

Since the exponential is one-to-one, β=γα\beta = \gamma\alpha, so α=βγ\alpha = \frac{\beta}{\gamma}, i.e.

log⁡ap=log⁡bplog⁡ba\log_a p = \frac{\log_b p}{\log_b a}

Property 2: Product Rule

log⁡b(pq)=log⁡bp+log⁡bq\log_b (pq) = \log_b p + \log_b q

›Proof

Proof: Let log⁡b(pq)=α\log_b(pq) = \alpha, log⁡bp=β\log_b p = \beta, log⁡bq=γ\log_b q = \gamma, so bα=pqb^\alpha = pq, bβ=pb^\beta = p, bγ=qb^\gamma = q. Then

bα=pq=bβ⋅bγ=bβ+γb^\alpha = pq = b^\beta \cdot b^\gamma = b^{\beta + \gamma}

so α=β+γ\alpha = \beta + \gamma, that is log⁡b(pq)=log⁡bp+log⁡bq\log_b(pq) = \log_b p + \log_b q.

Special Case: Power Rule

With p=qp = q, the product rule gives log⁡bp2=2log⁡bp\log_b p^2 = 2\log_b p, and by repeated application (or induction), for any positive integer nn:

log⁡bpn=nlog⁡bp\log_b p^n = n \log_b p

Note

This result actually holds for any real number nn, not just positive integers, though that proof is beyond this text.

Property 3: Quotient Rule

log⁡b(xy)=log⁡bx−log⁡by\log_b \left(\frac{x}{y}\right) = \log_b x - \log_b y

›Proof

Proof: Let log⁡b(xy)=α\log_b\left(\frac{x}{y}\right) = \alpha, log⁡bx=β\log_b x = \beta, log⁡by=γ\log_b y = \gamma, so bα=xyb^\alpha = \frac{x}{y}, bβ=xb^\beta = x, bγ=yb^\gamma = y. Then

bα=xy=bβbγ=bβ−γb^\alpha = \frac{x}{y} = \frac{b^\beta}{b^\gamma} = b^{\beta - \gamma} …

Definition 3Exponential function

Exponential function

Fix a base b>1b > 1 (a real number). The exponential function to base bb is the function

y=f(x)=bx.y = f(x) = b^{x}.

Here the exponent xx is the variable, and the base bb stays constant.

Domain and range:

  • The domain is all of R\mathbb{R} — you may raise bb to any real power.
  • The range is (0,∞)(0,\infty), so bx>0b^{x} > 0 for every xx.

The curve passes through (0,1)(0,1) (since b0=1b^{0}=1) and rises steadily as xx increases.

Concrete example: …

Definition 4Logarithm (logarithmic function to base b)

Definition of Logarithm

Let b>1b > 1 be a fixed real number (the base).

For a positive real number aa, we say that the logarithm of aa to the base bb is xx if

bx=a.b^x = a.

This is written as

log⁡ba=x⟺bx=a.\log_b a = x \quad \Longleftrightarrow \quad b^x = a.

Domain and range:

  • The logarithm log⁡ba\log_b a is defined only for a>0a > 0 (positive real numbers).
  • The value xx can be any real number.

Intuition:

A logarithm answers the question: "To what exponent must I raise the base bb to get aa?" …

Theorem 5

Theorem 5 (Derivative of the Natural Exponential Function)

The derivative of exe^x with respect to xx is exe^x itself. That is,

ddx(ex)=ex\frac{d}{dx}(e^x) = e^x

This theorem holds for all real xx. No additional hypotheses are needed — the function exe^x is differentiable on its entire domain R\mathbb{R}.


Proof

›Proof

The proof uses the first principle of differentiation (the definition of the derivative):

f′(x)=lim⁡h→0f(x+h)−f(x)hf'(x) = \lim_{h \to 0} \frac{f(x+h) - f(x)}{h}

For f(x)=exf(x) = e^x, we have:

ddx(ex)=lim⁡h→0ex+h−exh\frac{d}{dx}(e^x) = \lim_{h \to 0} \frac{e^{x+h} - e^x}{h}

Step 1: Factor out exe^x

Using the law of exponents ex+h=ex⋅ehe^{x+h} = e^x \cdot e^h:

ddx(ex)=lim⁡h→0ex⋅eh−exh=lim⁡h→0ex(eh−1)h\frac{d}{dx}(e^x) = \lim_{h \to 0} \frac{e^x \cdot e^h - e^x}{h} = \lim_{h \to 0} \frac{e^x(e^h - 1)}{h}

Since exe^x does not depend on hh, it can be taken outside the limit:

ddx(ex)=ex⋅lim⁡h→0eh−1h\frac{d}{dx}(e^x) = e^x \cdot \lim_{h \to 0} \frac{e^h - 1}{h}

Step 2: Evaluate the limit lim⁡h→0eh−1h\displaystyle \lim_{h \to 0} \frac{e^h - 1}{h}

Recall that ee is defined as:

e=lim⁡n→∞(1+1n)ne = \lim_{n \to \infty} \left(1 + \frac{1}{n}\right)^n

Equivalently, for small hh, we can write eh≈1+he^h \approx 1 + h (this is the linear approximation of ehe^h near h=0h=0). More precisely, the limit:

lim⁡h→0eh−1h=1\lim_{h \to 0} \frac{e^h - 1}{h} = 1

This is a standard limit whose proof relies on the series expansion of ehe^h or on the definition of ee itself. The NCERT text states this result without deriving it here, as a rigorous proof is beyond the scope of this chapter.

Step 3: Conclude

Substituting the limit value:

ddx(ex)=ex⋅1=ex\frac{d}{dx}(e^x) = e^x \cdot 1 = e^x

Hence, ddx(ex)=ex\displaystyle \frac{d}{dx}(e^x) = e^x, as required.


When Is This Used?

This result is the foundation for differentiating any function involving exe^x, especially when combined with the chain rule. For example, to differentiate eg(x)e^{g(x)}, we use:

ddxeg(x)=eg(x)⋅g′(x)\frac{d}{dx} e^{g(x)} = e^{g(x)} \cdot g'(x) …

Figure 5.9Graphs of the power functions y = x, y = x², y = x³, y = x⁴ together with the exponential y = 10ˣ, comparing their rates of growth
Fig. 5.9 — Graphs of the power functions y = x, y = x², y = x³, y = x⁴ together with the exponential y = 10ˣ, comparing their rates of growth

Drawn by us to help you understand the concept clearly, and verified to make sure it's accurate. For exams, practice from your textbook's own diagram.

Fig. 5.9 is a single plot with five curves, four of which pass through both the origin (0,0)(0,0) and the point (1,1)(1,1); the fifth (the exponential) passes through (0,1)(0,1) and (1,1)(1,1)-ish region but is drawn to a different, non-literal scale, as is typical in this schematic sketch. The horizontal axis is xx, the vertical axis is yy. The five functions drawn are:

  • y=xy = x — a straight line through the origin, shown as an indigo line, drawn only for x≥0x \ge 0.
  • y=x2y = x^2 — drawn only for x≥0x \ge 0 here (the figure restricts every power-function curve to the positive xx-axis, fanning out from the origin).
  • y=x3y = x^3 — drawn only for x≥0x \ge 0 in this figure.
  • y=x4y = x^4 — the steepest of the four power curves for x>1x>1, also drawn only for x≥0x \ge 0.
  • y=10xy = 10^x — the steepest curve of all. Unlike the four power functions, it is drawn for negative xx too: it hugs the xx-axis closely (but never touches it) as x→−∞x \to -\infty, passes through (0,1)(0,1), and then rises far more steeply than any of the power curves.

The points (0,1)(0,1) and (1,1)(1,1) are marked and joined by a dashed horizontal guide line. Each curve is labelled directly on the figure, in the order (steepest to least steep near x=1x=1): y=10xy=10^x, y=x4y=x^4, y=x3y=x^3, y=x2y=x^2, y=xy=x.

The central idea the figure teaches is rate of growth. Among the four power functions, as the exponent nn increases from 11 to 44, the curves become steeper for x>1x>1. For a fixed increment in xx (say from 11 to 22), the corresponding increment in yy grows dramatically with nn:

  • x=1→2x=1 \to 2: y=xy=x goes from 11 to 22 (increase of 11).
  • y=x2y=x^2 goes from 11 to 44 (increase of 33).
  • y=x3y=x^3 goes from 11 to 88 (increase of 77).
  • y=x4y=x^4 goes from 11 to 1616 (increase of 1515).

The textbook uses this visual to argue that higher-degree polynomial functions grow faster than lower-degree ones for x>1x>1, and then poses the question: is there a function that grows faster than any polynomial? The answer is the exponential function y=10xy = 10^x, which for x=103x=10^3 gives 10100010^{1000} — far larger than x100=10300x^{100} = 10^{300}. The figure itself draws this exponential curve alongside the power functions to make the comparison visually immediate, even though (being schematic) it is not drawn strictly to the same numeric scale as the power curves beyond x≈1x \approx 1.

fn(x)=xn(n=1,2,3,4,… ),f(x)=10xf_n(x) = x^n \quad (n = 1,2,3,4,\dots), \qquad f(x) = 10^x

For x>1x>1, the larger nn is, the faster fn(x)f_n(x) increases — but 10x10^x eventually outgrows every fnf_n. …

Figure 5.10Graphs of y = log₂x, y = logₑx, and y = log₁₀x, showing how the base of a logarithm changes its rate of growth
Fig. 5.10 — Graphs of y = log₂x, y = logₑx, and y = log₁₀x, showing how the base of a logarithm changes its rate of growth

Drawn by us to help you understand the concept clearly, and verified to make sure it's accurate. For exams, practice from your textbook's own diagram.

Fig 5.10 shows three logarithmic curves on the same set of axes: y=log⁡2xy = \log_2 x, y=log⁡exy = \log_e x (often written as y=ln⁡xy = \ln x), and y=log⁡10xy = \log_{10} x. The horizontal axis is the xx-axis (positive real numbers only, since logarithms are undefined for x≤0x \le 0), and the vertical axis is the yy-axis (all real numbers). Each curve passes through the point (1,0)(1,0) because log⁡b1=0\log_b 1 = 0 for any base b>1b > 1. The curves are ordered by their base: the curve for base 2 is the topmost, base ee is in the middle, and base 10 is the lowest. All three rise slowly as xx increases beyond 1, and as xx approaches 0 from the right, each curve drops steeply toward −∞-\infty, getting arbitrarily close to the yy-axis without ever touching it.

The central idea this figure teaches is that logarithmic functions with different bases are all increasing functions (for b>1b > 1), but they grow at different rates. A larger base gives a slower rate of increase — that is why log⁡2x\log_2 x lies above log⁡ex\log_e x, which lies above log⁡10x\log_{10} x, for any x>1x > 1. Conversely, for 0<x<10 < x < 1, the ordering reverses: the curve with the larger base is lower (more negative). The figure also illustrates the key properties listed in the textbook: the domain is x>0x > 0, the range is all real numbers, the point (1,0)(1,0) is always on the graph, and the function is ever-increasing.

The textbook uses this figure to introduce the logarithmic function and then develops two essential formulas. The first is the change-of-base rule:

log⁡ap=log⁡bplog⁡ba\log_a p = \frac{\log_b p}{\log_b a}

Here aa and bb are any bases greater than 1, and p>0p > 0. This formula lets you convert a logarithm from one base to another — for instance, to compute log⁡25\log_2 5 using natural logs: log⁡25=ln⁡5ln⁡2\log_2 5 = \frac{\ln 5}{\ln 2}.

The second key result is the product rule for logarithms:

log⁡b(pq)=log⁡bp+log⁡bq\log_b (pq) = \log_b p + \log_b q

where b>1b > 1, p>0p > 0, q>0q > 0. A direct consequence is the power rule: log⁡b(pn)=nlog⁡bp\log_b (p^n) = n \log_b p for any real nn (the textbook proves it for positive integers and states it holds for all real nn). There is also the quotient rule: log⁡b(xy)=log⁡bx−log⁡by\log_b \left(\frac{x}{y}\right) = \log_b x - \log_b y. …

Figure 5.11Graphs of y = eˣ and y = logₑx as mirror images in y = x
Fig. 5.11 — Graphs of y = eˣ and y = logₑx as mirror images in y = x

Drawn by us to help you understand the concept clearly, and verified to make sure it's accurate. For exams, practice from your textbook's own diagram.

Fig. 5.11 is a single Cartesian plot with two curves and one dashed line. The horizontal axis is labelled xx, the vertical axis is labelled yy, and both axes are drawn to the same scale so that the line y=xy = x (dashed) runs at 45∘45^\circ through the origin.

The first curve is y=exy = e^x. It passes through (0,1)(0,1) and rises steeply as xx increases. For negative xx, the curve hugs the xx-axis very closely but never touches it — this is the horizontal asymptote y=0y = 0. The second curve is y=log⁡exy = \log_e x (often written as ln⁡x\ln x). It passes through (1,0)(1,0) and rises slowly for x>1x > 1. As xx approaches 00 from the right, the curve plunges downward without bound, approaching the yy-axis as a vertical asymptote. The two points (0,1)(0,1) and (1,0)(1,0) are marked explicitly. All three lines — y=exy = e^x, y=xy = x, and y=log⁡exy = \log_e x — are labelled directly on the figure.

The physical idea is that the exponential function and the natural logarithm are inverses of each other. When you reflect the graph of y=exy = e^x across the line y=xy = x, you obtain the graph of y=log⁡exy = \log_e x, and vice versa. This mirror-image relationship is the geometric signature of inverse functions: if a point (a,b)(a,b) lies on one curve, then (b,a)(b,a) lies on the other. Here, (0,1)(0,1) on exe^x reflects to (1,0)(1,0) on log⁡ex\log_e x, exactly as expected.

Important

The figure visually confirms the inverse relationship:

y=ex⟺x=log⁡eyy = e^x \quad \Longleftrightarrow \quad x = \log_e y

For every point (x,ex)(x, e^x) on the exponential curve, the reflected point (ex,x)(e^x, x) lies on the logarithmic curve.

The textbook uses this figure to anchor two fundamental derivative results, stated as Theorem 5:

ddx(ex)=ex\frac{d}{dx}(e^x) = e^x

ddx(log⁡x)=1x,x>0\frac{d}{dx}(\log x) = \frac{1}{x}, \quad x > 0 …