Logarithmic identities
|
|
In mathematics, there are several logarithmic identities.
| Contents |
Algebraic identities
Using simpler operations
People use logarithms to make calculations easier. For instance, two numbers can be multiplied just by using a logarithm table and adding.
| <math> \log_b(xy) = \log_b(x) + \log_b(y) \!\, <math> | because | <math> b^m \cdot b^n = b^{m + n} <math> |
| <math> \log_b\!\left(\begin{matrix}\frac{x}{y}\end{matrix}\right) = \log_b(x) - \log_b(y) <math> | because | <math> \begin{matrix}\frac{b^m}{b^n}\end{matrix} = b^{m - n} <math> |
| <math> \log_b(x^y) = y \log_b(x) \!\, <math> | because | <math> (b^n)^y = b^{ny} \!\, <math> |
| <math> \log_b\!\left(\!\sqrt[y]{x}\right) = \begin{matrix}\frac{\log_b(x)}{y}\end{matrix} <math> | because | <math> \sqrt[y]{x} = x^{1/y} <math> |
Cancelling exponentials
Logarithms and exponentials (antilogarithms) with the same base cancel each other.
| <math> b^{\log_b(x)} = x <math> | because | <math> \mathrm{antilog}_b(\log_b(x)) = x \!\, <math> |
| <math> \log_b(b^x) = x \!\, <math> | because | <math> \log_b(\mathrm{antilog}_b(x)) = x \!\, <math> |
Changing the base
- <math>\log_a b = {\log_c b \over \log_c a}<math>
This identity is needed to evaluate logarithms on calculators. For instance, most calculators have buttons for ln and for log10, but not for log2. To find log2(3), you have to calculate log10(3) / log10(2) (or ln(3)/ln(2), which is the same thing).
This formula has several consequences:
- <math>\log_a b = \frac{1}{\log_b a}<math>
- <math>\log_{a^n} b = \frac{1}{n} \log_a b<math>
- <math>a^{\log_b c} = c^{\log_b a}<math>
Trivial identities
| <math> \log_b(1) = 0 \!\, <math> | because | <math> b^0 = 1\!\, <math> |
| <math> \log_b(b) = 1 \!\, <math> | because | <math> b^1 = b\!\, <math> |
Calculus identities
Limits
- <math>\lim_{x \to 0^+} \log_a x = -\infty \quad \mbox{if } a > 1<math>
- <math>\lim_{x \to 0^+} \log_a x = \infty \quad \mbox{if } a < 1<math>
- <math>\lim_{x \to \infty} \log_a x = \infty \quad \mbox{if } a > 1<math>
- <math>\lim_{x \to \infty} \log_a x = -\infty \quad \mbox{if } a < 1<math>
- <math>\lim_{x \to 0^+} x^b \log_a x = 0<math>
- <math>\lim_{x \to \infty} {1 \over x^b} \log_a x = 0<math>
The last limit is often summarized as "logarithms grow more slowly than any power or root of x".
Derivatives of logarithmic functions
- <math>{d \over dx} \log_a x = {1 \over x \ln a} = {\log_a e \over x }<math>
Integrals of logarithmic functions
- <math>\int \log_a x \, dx = x(\log_a x - \log_a e) + C<math>
To remember higher integrals, it's convenient to define:
- <math>x^{\left [ n \right ]} = x^{n}(\log(x) - H_n)<math>
where <math>H_n<math> is the nth harmonic number. So, for example, the first few are:
- <math>x^{\left [ 0 \right ]} = \log x<math>
- <math>x^{\left [ 1 \right ]} = x \log(x) - x<math>
- <math>x^{\left [ 2 \right ]} = x^2 \log(x) - \begin{matrix} \frac{1}{2} \end{matrix} \, x^2<math>
- <math>x^{\left [ 3 \right ]} = x^3 \log(x) - \begin{matrix} \frac{3}{4} \end{matrix} \, x^3<math>
Then,
- <math>\frac {d}{dx} \, x^{\left [ n \right ]} = n \, x^{\left [ n-1 \right ]}<math>
- <math>\int x^{\left [ n \right ]}\,dx = \frac {x^{\left [ n+1 \right ]}} {n} + C<math>fr:identités logarithmiques