Logarithm

Logarithmic function of real argument for most common values of base.

Logarithm or log, is mathematical function, inverse of exponential function, holomorphic in the whole complex plane, except singularity at zero and cut at the negative part of the real axis. Roughly, logarithm of number $z$ on the base $b$ counts, how many times the base $b$ should be multiplied by itself in order to get $z$. However, this function can be extended to non-integer values of $z$: real, complex, matrices, etc.

Evaluation of logarithm

Computing logarithms is the inverse of exponentiation, as subtraction is the inverse of addition and division is the inverse of multiplication. For example, since $343=7^{3}$, then the base-7 logarithm of 343 is 3. In general, if $a=b^{c}$, then $\log _{b}(a)=c,$ where $b$ is called the base and $c$ is the logarithm. In other words, the logarithm $c$ is the exponential power to which the base must be raised to produce the number $a$.

Logarithms show up in a variety of scientific formulas: for example, the number of bits required to represent the address of a particular location in computer memory is equal to the base-2 logarithm (rounded upwards) of the number of possible locations. Logarithms are also useful for representing large numbers in a more manageable form.

Logarithms of intermediate and fractional values

Because we use a base-10 number system, it is often convenient to use 10 as the base of the logarithm. It's easy to find the base-10 logarithm of a number such as 1000, because $1000=10^{3},$ therefore $\log _{10}(1000)=3.$ (The value of the logarithmic function is the number that appeared as an exponent in the other equation.) But what is the logarithm of a number such as 43, or 0.001?

We know from the study of exponents that, for example, $10^{\frac {1}{2}}$ is ${\sqrt {10}}$ and this then supplies a value for $\log _{10}({\sqrt {10}})=0.5.$ Values for many other numbers can be worked out similarly using cube roots and so on, and values for all real numbers can then be defined using limits. For example, $\log _{10}(43)$ is approximately equal to 1.63347. Multiplying a number by 10 appends a zero to the numeral and adds 1 to the base-10 logarithm, therefore $\log _{10}(430)$ is approximately 2.63347.

$10^{-3}={\frac {10}{10^{4}}}=0.001$

and it then follows that

$\log _{10}(0.001)=-3,$

or in general,

$\log _{b}\left({\frac {1}{x}}\right)=-\log _{b}(x).$

By a similar argument it can be established that $b^{0}=1$ for any base $b>1$ and therefore that $\log _{b}(1)=0.$

Thus, logarithms of numbers between 0 and 1 are negative numbers, the logarithm of 1 is 0, and logarithms of numbers greater than 1 are positive real numbers as seen in the image below.

Shape of the logarithm function

Consider the function $f(x)=\log _{b}(x)$ where b is a real-number base greater than 1 of the logarithm. Since any positive real number raised to the exponent zero is 1, the logarithm of 1 is zero. To the right of 1 on the x-axis, the function $f$ continually increases, but increases more and more slowly as $x$ heads towards infinity. Between 1 and 0, the logarithmic function has negative values, and asymptotically approaches minus infinity as $x$ approaches zero. For negative values of $x$, there is no defined value of $f(x)$ within the real numbers — but using complex numbers a value can be found, as will be discussed further below.

Manipulating logarithms

Suppose we know the logarithm of a number using one base $b$, and we want to find the logarithm using a different base $c$ :

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \log_b(x) = y}

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \log_c(x) = } ?

Suppose we know Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y} , Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle b} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle c} and we want to find Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \log_c(x)} . We need to look up the value of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \log_c(b)} , and then by multiplying we can find the desired quantity:

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \log_c(x) = \log_c(b)\log_b(x) }

This formula can be established using the definition of logarithms and the rule for multiplying exponents:

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x = b^{\log_bx}}

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle b = c^{\log_cb}}

Substituting for b,

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x = (c^{\log_cb})^{\log_bx}}

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x = c^{\log_c(b) \log_b(x)}}

Therefore Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \log_c(x) = \log_c(b)\log_b(x) } , the formula we wished to prove.

A useful formula for Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \log(xy)} can be derived using the rule for adding exponents:

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle b^{\log_b(xy)} = xy = b^{\log_bx}b^{\log_by} = b^{\log_bx + \log_by}}

Therefore :

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \log_b(xy) = \log_b(x) + \log_b(y)}

Other useful formulas include these identities:

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \log_b (x / y) = \log_b (x) - \log_b (y)}

$\log _{b}(x^{y})=y\log _{b}(x)$

$\log _{b}({\sqrt[{y}]{x}})={\frac {\log _{b}(x)}{y}}$

Bases and notational variants

The base must not be 0 nor 1. The most widely used bases for logarithms are 10, 2 and the transcendental number $e$ (also known as Euler's number) which is approximately 2.7182818284.

When logarithms are used to measure physical values (e.g., when noise is measured in deciBels) it is common to use 10 as a base, and in these contexts, the notation $\log x$ means $\log _{10}\,x$.

Mathematicians and physicists often find, however, that $e$ is more convenient as a base for a logarithmic function. The logarithmic function with $e$ as a base is called the natural logarithm; it has the special property that its derivative is $1/x$. The notation $\ln x$ is often used for natural logarithms, but in mathematics it is just as common to use the notation $\log \,x$ and write logarithms to base 10 using the full notation $\log _{10}\,x$.

Computer science adds a whole new wrinkle because, in some cases, it is most useful to consider logarithms to base 2, and this has led to a new notation $\mathrm {lg} \,x$ which become common for logarithms to a base of 2. Finally, the notation $\log \,x$ is sometimes used for logarithms to base 2, but this is usage is less common.

In German and Russian literature, $lg$ is used to mean the common logarithm $log_{10}(x)$. The advice of the United States Department of Commerce's National Institute of Standards and Technology is to follow the ISO standard Mathematical signs and symbols for use in physical sciences and technology, ISO 31-11:1992, which suggests these notations:

• The notation $ln(x)$ means $log_{e}(x)$
• The notation $lg(x)$ means $log_{10}(x)$
• The notation $lb(x)$ means $log_{2}(x)$

It is obvious that, until a standard such as the ISO standard is universally accepted, perhaps the surest way to avoid confusion is to always use the notation of $log_{e}(x)$, $log_{10}(x)$, or $log_{2}(x)$, whichever is applicable.

Complex numbers and logarithms

$~f=\ln(z)~$ with lines $~\Re (f)={\rm {const~}}$ and lines $~\Im (f)={\rm {const~}}$ in the complex $~z~$-plane. The cut is assumed along the negative part of the real axis; in such a way the logarithmic function is interpreted by the most of software.

The exponential function of an imaginary number is given as

$e^{ix}=\cos(x)+i\sin(x).\,$

Consequently if a and b are real numbers then

$e^{u+vi}=e^{u}(\cos(v)+i\sin(v)).\,$

The sine and cosine functions are not one-to-one and hence neither is this complex exponential function. Therefore it has no inverse function, as the concept of "function" is generally defined in the present day. However, one may speak of the logarithm as being a multiple-valued function (strictly speaking, an oxymoronic term by current conventions).

To find the logarithm of a complex number $a+bi$, it is convenient to express the number in polar coordinates $(r,\theta )$ where $r={\sqrt {a^{2}+b^{2}}}$ and $\theta =\arctan(b/a)$. (Intuitively, $r$ is the length of the line segment joining the number to the origin in the complex plane, and $\theta$ is the angle that line segment makes with the $x$-axis). The equivalence of the two notations is given by

$a+bi=r(\cos(\theta )+i\sin(\theta )).\,$

Let us define $c+di$ so that $\ln(a+bi)=c+di$. Using the formula for the exponential function above,

$a+bi=e^{c+di}=e^{c}e^{di}=e^{c}(\cos(d)+i\sin(d)).\,$

It can be seen from similarity with the above formula for polar coordinates that $r=e^{c}$ and $d=\theta$. Therefore,

$\ln(a+bi)=c+di=\ln(r)+i\theta =\ln({\sqrt {a^{2}+b^{2}}})+i\arctan \left({\frac {b}{a}}\right).\,$

This is "multiple-valued" because the arctangent function is "multiple-valued". If $w$ is a value of $ln(a+bi),$ then $w+2n\pi i$ is also a value of the "function" for any integer $n$. A single-valued function can be obtained by, for example, restricting the values of the $arctan$ function to $-\pi <\theta <=\pi$. In this case, the complex logarithm function has a discontinuity along the negative $x$-axis (see figure).

In this way, the domain of the logarithmic function can be extended to cover the entire complex plane except for the number zero, which has an undefined value — a singularity with the real part plunging towards minus infinity and the imaginary part spinning wildly like a compass at the North Pole.

History

© Image: The History for Computing Project
Portrait of John Napier.

The method of logarithms was first publicly propounded in 1614, in a book entitled Mirifici Logarithmorum Canonis Descriptio, by John Napier, Baron of Merchiston, in Scotland.

Jost Bürgi, a Swiss mathematician, independently discovered logarithms but did not publish his discovery until four years after Napier.

Early resistance to the use of logarithms was muted by the support of Johannes Kepler, the German mathematician and astronomer, who published a clear and impeccable explanation in 1624 of how logarithms worked.

The use of logarithms contributed to the advance of science, and especially of astronomy, by making some difficult calculations possible. Prior to the advent of electronic calculators and computers, logarithms were used extensively in surveying, navigation, engineering, chemistry and many other disciplines.