Logarithmic identities

From Free net encyclopedia

In mathematics, there are several logarithmic identities.

Contents 1 Algebraic identities 1.1 Using simpler operations 1.2 Cancelling exponentials 1.3 Changing the base 1.4 Trivial identities 2 Calculus identities 2.1 Limits 2.2 Derivatives of logarithmic functions 2.3 Integral definition 2.4 Integrals of logarithmic functions

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^x \cdot b^y = b^{x + y} </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^x}{b^y}\end{matrix} = b^{x - y} </math>
<math> \log_b(x^y) = y \log_b(x) \!\, </math>	because	<math> (b^x)^y = b^{xy} \!\, </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 log₁₀, but not for log₂. To find log₂(3), you have to calculate log₁₀(3) / log₁₀(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>

<math> \log_b(0) </math> is undefined because there is no number <math>x</math> such that <math>b^x = 0</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>

Integral definition

<math>\log_e x = \int_1^x \frac {1}{t} dt </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{3}{2} \end{matrix} \, x^2</math>

<math>x^{\left [ 3 \right ]} = x^3 \log(x) - \begin{matrix} \frac{11}{6} \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+1} + C</math>es:Identidades logarítmicas

fr:identités logarithmiques it:Identità sui logaritmi sr:логаритамске једначине