Logarithmic Functions

Definition of Logarithmic Functions

Definition of Logarithmic Functions

A logarithmic function refers to a function of the form y=log⁡axy = \log_a x, where a>0a > 0 and a≠1a \neq 1.

SymbolTypePronunciation/ExplanationMeaning in This Document
log⁡ax\log_a xMathematical symbollog base a of xLogarithm of x with base a
aaMathematical symbolaBase of the logarithm, must be greater than 0 and not equal to 1
xxMathematical symbolxArgument of the logarithm, must be greater than 0
R\mathbb{R}Mathematical symbolBlackboard bold R (Real numbers)Represents the set of real numbers, all real numbers
(0,+∞)(0, +\infty)Mathematical symbolOpen intervalLeft-open right-infinite interval
Mathematical language

The rigorous definition of a logarithmic function is: for any positive real number xx and positive real number a≠1a \neq 1, log⁡ax\log_a x exists and has a uniquely determined real value, and satisfies alog⁡ax=xa^{\log_a x} = x.

Logarithmic functions are the inverse functions of exponential functions, describing the process of finding the exponent from the result of exponential operations, with important applications in science, engineering, and mathematics.

Pronunciation

y=log⁡axy = \log_a x is read as: ”yy equals the logarithm of xx with base aa”.

For example:

  • y=log⁡2xy = \log_2 x is read as: ”yy equals the logarithm of xx with base 2”
  • y=log⁡10xy = \log_{10} x is read as: ”yy equals the logarithm of xx with base 10”
  • y=log⁡exy = \log_e x can also be written as y=ln⁡xy = \ln x, read as ”yy equals the natural logarithm of xx”

Properties and Graphs

  • Domain: (0,+∞)(0, +\infty)
  • Range: R\mathbb{R}
  • When a>1a > 1, the function is monotonically increasing
  • When 0<a<10 < a < 1, the function is monotonically decreasing
  • Graph passes through point (1,0)(1, 0)
  • Approaches y-axis asymptotically

Common Logarithmic Functions

  • y=ln⁡xy = \ln x
  • y=log⁡2xy = \log_2 x
  • y=log⁡10xy = \log_{10} x

Change of Base Formula

Logarithmic functions have an important property called the change of base formula, which allows us to convert logarithms between different bases.

Change of Base Formula

For any positive numbers aa, bb, cc (where a≠1a \neq 1, b≠1b \neq 1, c>0c > 0), we have:

log⁡ac=log⁡bclog⁡ba\log_a c = \frac{\log_b c}{\log_b a}

Common Forms

  1. Using natural logarithm as base: log⁡ac=ln⁡cln⁡a\log_a c = \frac{\ln c}{\ln a}

  2. Using common logarithm as base: log⁡ac=log⁡10clog⁡10a\log_a c = \frac{\log_{10} c}{\log_{10} a}

  3. Using 2 as base: log⁡ac=log⁡2clog⁡2a\log_a c = \frac{\log_2 c}{\log_2 a}

Proof

Let log⁡ac=x\log_a c = x, then ax=ca^x = c.

Take logarithm with base bb on both sides: log⁡b(ax)=log⁡bc\log_b (a^x) = \log_b c

Using the power property of logarithms: x⋅log⁡ba=log⁡bcx \cdot \log_b a = \log_b c

Therefore: x=log⁡bclog⁡bax = \frac{\log_b c}{\log_b a}

That is: log⁡ac=log⁡bclog⁡ba\log_a c = \frac{\log_b c}{\log_b a}

Application Examples

Example 1: Calculate log⁡38\log_3 8

Using the change of base formula: log⁡38=ln⁡8ln⁡3=2.07941.0986≈1.893\log_3 8 = \frac{\ln 8}{\ln 3} = \frac{2.0794}{1.0986} \approx 1.893

Example 2: Calculate log⁡5125\log_5 125

Using the change of base formula: log⁡5125=ln⁡125ln⁡5=4.82831.6094=3\log_5 125 = \frac{\ln 125}{\ln 5} = \frac{4.8283}{1.6094} = 3

Example 3: Prove log⁡ab⋅log⁡ba=1\log_a b \cdot \log_b a = 1

Using the change of base formula: log⁡ab=ln⁡bln⁡a\log_a b = \frac{\ln b}{\ln a} log⁡ba=ln⁡aln⁡b\log_b a = \frac{\ln a}{\ln b}

Therefore: log⁡ab⋅log⁡ba=ln⁡bln⁡a⋅ln⁡aln⁡b=1\log_a b \cdot \log_b a = \frac{\ln b}{\ln a} \cdot \frac{\ln a}{\ln b} = 1


Exercises

Exercise 1

Given the logarithmic function y=log⁡2xy = \log_2 x, find its domain and range.

logarithmic functiondomainrange

Approach:

The argument of a logarithm y=log⁡axy = \log_a x with a>0a > 0 and a≠1a \neq 1 must be positive, so the domain is (0,+∞)(0, +\infty); since axa^x runs through all positive numbers on R\mathbb{R}, its inverse takes every real value.

Steps:

  1. For the logarithmic expression log⁡ax\log_a x to be meaningful the argument must satisfy x>0x > 0, so the domain is (0,+∞)(0, +\infty).
  2. y=log⁡axy = \log_a x is the inverse of the exponential function y=axy = a^x, whose range is (0,+∞)(0, +\infty), so the range of the inverse is R\mathbb{R}.
  3. As x→0+x \to 0^+ we have y→−∞y \to -\infty and as x→+∞x \to +\infty we have y→+∞y \to +\infty, so the graph covers every real value on its domain.

Answer:

Domain: (0,+∞)(0, +\infty); Range: R\mathbb{R}.

Exercise 2

Determine which of the following functions are logarithmic functions: y=log⁡3xy = \log_3 x, y=x3y = x^3, y=ln⁡xy = \ln x, y=2xy = 2^x.

logarithmic functiondefinition

Approach:

The criterion for a logarithmic function is that it can be written as y=log⁡axy = \log_a x with a>0a > 0 and a≠1a \neq 1, that is, the argument sits inside the logarithm and the base is a constant; match each of the four functions against that form.

Steps:

  1. y=log⁡3xy = \log_3 x is a logarithmic function with base 3>03 > 0 and 3≠13 \neq 1.
  2. y=x3y = x^3 is a power function, so it is neither a logarithmic nor an exponential function.
  3. y=ln⁡xy = \ln x is a logarithmic function with the natural constant ee as base, that is ln⁡x=log⁡ex\ln x = \log_e x.
  4. y=2xy = 2^x is an exponential function; the argument xx does not sit inside a logarithm, so it is not a logarithmic function.

Answer:

y=log⁡3xy = \log_3 x, y=ln⁡xy = \ln x are logarithmic functions, y=x3y = x^3, y=2xy = 2^x are not.

Exercise 3

Draw approximate graphs of y=log⁡2xy = \log_2 x and y=log⁡1/2xy = \log_{1/2} x, and compare their monotonicity.

logarithmic functiongraphmonotonicity

Approach:

Every logarithmic graph passes through the fixed point (1,0)(1, 0), and its direction of monotonicity is decided solely by how the base compares with 11; that fixes the shape of both curves and allows the comparison.

Steps:

  1. The graph of a logarithmic function always passes through (1,0)(1, 0) and has the yy-axis as an asymptote.
  2. For y=log⁡2xy = \log_2 x the base 2>12 > 1, so the function is monotonically increasing on (0,+∞)(0, +\infty); the graph rises along the yy-axis from the lower left.
  3. For y=log⁡1/2xy = \log_{1/2} x the base 0<1/2<10 < 1/2 < 1, so the function is monotonically decreasing on (0,+∞)(0, +\infty); the graph falls along the yy-axis from the upper left.
  4. Since log⁡1/2x=ln⁡xln⁡(1/2)=−log⁡2x\log_{1/2} x = \frac{\ln x}{\ln (1/2)} = -\log_2 x, the two graphs are symmetric about the xx-axis and their directions of monotonicity are opposite.

Answer:

y=log⁡2xy = \log_2 x is monotonically increasing, y=log⁡1/2xy = \log_{1/2} x is monotonically decreasing.

Exercise 4

Given y=log⁡axy = \log_a x, a>1a > 1, determine its asymptote on the y-axis.

logarithmic functionasymptote

Approach:

An asymptote is a line the graph approaches arbitrarily closely without ever meeting it; for y=log⁡axy = \log_a x with a>1a > 1 it is enough to study the behaviour of the function as xx tends to 0+0^+.

Steps:

  1. From log⁡ax=ln⁡xln⁡a\log_a x = \frac{\ln x}{\ln a} and ln⁡a>0\ln a > 0 for a>1a > 1, we see that ln⁡x→−∞\ln x \to -\infty and hence y→−∞y \to -\infty as x→0+x \to 0^+.
  2. To the left of the yy-axis the graph therefore drops without bound as x→0+x \to 0^+ and hugs the yy-axis.
  3. Since the domain is (0,+∞)(0, +\infty), the graph never meets the yy-axis, so the yy-axis, that is x=0x = 0, is the vertical asymptote.

Answer:

The y-axis (x=0x=0) is its asymptote.

Exercise 5

Determine whether y=log⁡−2xy = \log_{-2} x is a logarithmic function, and explain why.

logarithmic functiondefinition

Approach:

To decide whether a function is logarithmic, check only whether it can be written as y=log⁡axy = \log_a x with a base satisfying a>0a > 0 and a≠1a \neq 1.

Steps:

  1. The base of y=log⁡−2xy = \log_{-2} x is −2-2, which does not satisfy the requirement a>0a > 0.
  2. An arbitrary real power of a negative base cannot be defined for every positive argument, for instance (−2)1/2=−2(-2)^{1/2} = \sqrt{-2} is not a real number.
  3. Since the base of a logarithmic function must be positive, log⁡−2x\log_{-2} x cannot be treated as a logarithmic function.

Answer:

No. The base aa of a logarithmic function must be greater than 0 and not equal to 1.

Exercise 6

Use the change of base formula to calculate log⁡416\log_4 16.

logarithmic functionchange of base formula

Approach:

Use the change of base formula to rewrite the logarithm with base 44 in terms of natural logarithms so that approximate values can be used, then verify the result directly from the definition.

Steps:

  1. The change of base formula gives log⁡416=ln⁡16ln⁡4\log_4 16 = \frac{\ln 16}{\ln 4}.
  2. Substituting the values, ln⁡16≈2.7726\ln 16 \approx 2.7726 and ln⁡4≈1.3863\ln 4 \approx 1.3863.
  3. Dividing gives 2.77261.3863=2\frac{2.7726}{1.3863} = 2.
  4. Checking directly from the definition, 42=164^2 = 16, so log⁡416=2\log_4 16 = 2, in agreement with the change of base computation.

Answer:

Using the change of base formula: log⁡416=ln⁡16ln⁡4=2.77261.3863=2\log_4 16 = \frac{\ln 16}{\ln 4} = \frac{2.7726}{1.3863} = 2.

Or directly calculate: 42=164^2 = 16, so log⁡416=2\log_4 16 = 2.

Exercise 7

Use the change of base formula to calculate log⁡327\log_3 27.

logarithmic functionchange of base formula

Approach:

Use the change of base formula to rewrite the logarithm with base 33 in terms of natural logarithms, then verify the result directly from the definition.

Steps:

  1. The change of base formula gives log⁡327=ln⁡27ln⁡3\log_3 27 = \frac{\ln 27}{\ln 3}.
  2. Substituting the values, ln⁡27≈3.2958\ln 27 \approx 3.2958 and ln⁡3≈1.0986\ln 3 \approx 1.0986.
  3. Dividing gives 3.29581.0986=3\frac{3.2958}{1.0986} = 3.
  4. Checking directly from the definition, 33=273^3 = 27, so log⁡327=3\log_3 27 = 3, in agreement with the change of base computation.

Answer:

Using the change of base formula: log⁡327=ln⁡27ln⁡3=3.29581.0986=3\log_3 27 = \frac{\ln 27}{\ln 3} = \frac{3.2958}{1.0986} = 3.

Or directly calculate: 33=273^3 = 27, so log⁡327=3\log_3 27 = 3.

Exercise 8

Prove: log⁡ab⋅log⁡bc=log⁡ac\log_a b \cdot \log_b c = \log_a c.

logarithmic functionchange of base formula

Approach:

Rewrite both sides with natural logarithms through the change of base formula, multiply the two fractions and watch the intermediate factor ln⁡b\ln b cancel out.

Steps:

  1. By the change of base formula, log⁡ab=ln⁡bln⁡a\log_a b = \frac{\ln b}{\ln a}.
  2. Likewise, log⁡bc=ln⁡cln⁡b\log_b c = \frac{\ln c}{\ln b}.
  3. Multiplying, log⁡ab⋅log⁡bc=ln⁡bln⁡a⋅ln⁡cln⁡b=ln⁡cln⁡a\log_a b \cdot \log_b c = \frac{\ln b}{\ln a} \cdot \frac{\ln c}{\ln b} = \frac{\ln c}{\ln a}, where the non-zero factor ln⁡b\ln b cancels.
  4. Applying the change of base formula once more, ln⁡cln⁡a=log⁡ac\frac{\ln c}{\ln a} = \log_a c, which proves the identity.

Answer:

Using the change of base formula: log⁡ab=ln⁡bln⁡a\log_a b = \frac{\ln b}{\ln a}, log⁡bc=ln⁡cln⁡b\log_b c = \frac{\ln c}{\ln b}

Therefore: log⁡ab⋅log⁡bc=ln⁡bln⁡a⋅ln⁡cln⁡b=ln⁡cln⁡a=log⁡ac\log_a b \cdot \log_b c = \frac{\ln b}{\ln a} \cdot \frac{\ln c}{\ln b} = \frac{\ln c}{\ln a} = \log_a c

Exercise 9

Given y=log⁡axy = \log_a x, a>1a > 1, if y(1)=0y(1) = 0, y(a)=1y(a) = 1, find the value of aa.

logarithmic functiondefinition

Approach:

The two given function values are direct consequences of the logarithmic identities, so they impose no extra restriction on the base; verify each of them and then check the allowed range of the base.

Steps:

  1. For every base with a>0a > 0 and a≠1a \neq 1 we have log⁡a1=0\log_a 1 = 0, so y(1)=0y(1) = 0 always holds.
  2. Likewise log⁡aa=1\log_a a = 1, so y(a)=1y(a) = 1 always holds as well.
  3. Neither condition adds a new constraint, so the only remaining restriction is the given a>1a > 1, which already guarantees a positive base different from 11.

Answer:

Since y(1)=log⁡a1=0y(1) = \log_a 1 = 0 is always true, and y(a)=log⁡aa=1y(a) = \log_a a = 1 is also always true; therefore, as long as a>1a > 1, y=log⁡axy = \log_a x satisfies the conditions, and aa can be any value greater than 1.

Exercise 10

Which of the following functions are logarithmic functions?
(A) y=log⁡2xy = \log_2 x
(B) y=x2y = x^2
(C) y=ln⁡xy = \ln x
(D) y=2xy = 2^x

logarithmic functiondefinition

Approach:

Check for each option whether it can be written as y=log⁡axy = \log_a x with a>0a > 0 and a≠1a \neq 1, that is, whether the argument appears inside a logarithm.

Steps:

  1. (A) y=log⁡2xy = \log_2 x has base 2>02 > 0 with 2≠12 \neq 1, so it is a logarithmic function.
  2. (B) y=x2y = x^2 is a power function and its argument does not appear inside a logarithm, so it is not a logarithmic function.
  3. (C) y=ln⁡x=log⁡exy = \ln x = \log_e x has base e>0e > 0 with e≠1e \neq 1, so it is a logarithmic function.
  4. (D) y=2xy = 2^x is an exponential function and does not have the form of a logarithmic function.

Answer:

(A), (C) are logarithmic functions, (B), (D) are not.

Exercise 11

Given y=log⁡axy = \log_a x, 0<a<10 < a < 1, what is the monotonicity of yy?

logarithmic functionmonotonicity

Approach:

The monotonicity of a logarithmic function is decided solely by how the base compares with 11: a base above 11 gives an increasing function, a base between 00 and 11 gives a decreasing one.

Steps:

  1. For any x1<x2x_1 < x_2, since 0<a<10 < a < 1 the exponential function axa^x is monotonically decreasing on R\mathbb{R}, so ax1>ax2a^{x_1} > a^{x_2}.
  2. A larger argument therefore gives a smaller logarithmic value, so y=log⁡axy = \log_a x is monotonically decreasing on (0,+∞)(0, +\infty).
  3. Accordingly the graph passes through (1,0)(1, 0) and falls along the yy-axis from the upper left, mirroring the case a>1a > 1 about the xx-axis.

Answer:

yy is monotonically decreasing.

Exercise 12

Given log⁡23=a\log_2 3 = a, log⁡25=b\log_2 5 = b, find the value of log⁡615\log_6 15.

logarithmic functionchange of base formula

Approach:

Rewrite log⁡615\log_6 15 with base 22, so that the given values log⁡23\log_2 3 and log⁡25\log_2 5 appear directly, and then split products and quotients with the logarithm laws.

Steps:

  1. The change of base formula gives log⁡615=log⁡215log⁡26\log_6 15 = \frac{\log_2 15}{\log_2 6}.
  2. Factor the argument and the base separately: 15=3×515 = 3 \times 5 and 6=2×36 = 2 \times 3.
  3. Expand with the product and quotient laws of logarithms: log⁡23+log⁡25log⁡22+log⁡23\frac{\log_2 3 + \log_2 5}{\log_2 2 + \log_2 3}.
  4. Substituting log⁡23=a\log_2 3 = a, log⁡25=b\log_2 5 = b and log⁡22=1\log_2 2 = 1 gives a+b1+a\frac{a + b}{1 + a}.

Answer:

Using the change of base formula: log⁡615=log⁡215log⁡26=log⁡2(3×5)log⁡2(2×3)=log⁡23+log⁡25log⁡22+log⁡23=a+b1+a\log_6 15 = \frac{\log_2 15}{\log_2 6} = \frac{\log_2 (3 \times 5)}{\log_2 (2 \times 3)} = \frac{\log_2 3 + \log_2 5}{\log_2 2 + \log_2 3} = \frac{a + b}{1 + a}


Summary

Symbols Used in This Article

SymbolTypePronunciation/ExplanationMeaning in This Article
log⁡ax\log_a xMathematical symbollog base a of xLogarithm of x with base a
ln⁡x\ln xMathematical symbolnatural log of xNatural logarithm of x
log⁡2x\log_2 xMathematical symbollog base 2 of xLogarithm of x with base 2
log⁡10x\log_{10} xMathematical symbollog base 10 of xLogarithm of x with base 10
aaMathematical symbolaBase of the logarithm, must be greater than 0 and not equal to 1
(0,+∞)(0, +\infty)Mathematical symbolOpen intervalLeft-open right-infinite interval
R\mathbb{R}Mathematical symbolBlackboard bold R (Real numbers)Represents the set of real numbers, all real numbers

Found an issue with this content?

Tell us what could be improved.