Logarithm: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Catherine Woodgold
(→‎Extension of logarithms to fractional and negative values: Starting to patch up the narrative again)
imported>Catherine Woodgold
m (→‎Logarithms of intermediate and fractional values: moving punctuation to inside math environments)
Line 7: Line 7:
== Logarithms of intermediate and fractional values ==
== Logarithms of intermediate and fractional values ==


Considering logarithms to the base 10, it's easy to find the logarithm of a number such as 1000, because <math>1000 = 10^3</math>, therefore <math>log_{10}(1000) = 3</math>. (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?
Considering logarithms to the base 10, it's easy to find the logarithm of a number such as 1000, because <math>1000 = 10^3,</math> therefore <math>log_{10}(1000) = 3.</math>  (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, <math>10^\frac{1}{2}</math> is <math>\sqrt{10}</math> and this then supplies a value for <math>\log_{10}(\sqrt{10}) = 0.5</math>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.
We know from the study of [[exponents]] that, for example, <math>10^\frac{1}{2}</math> is <math>\sqrt{10}</math> and this then supplies a value for <math>\log_{10}(\sqrt{10}) = 0.5.</math> 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.


<!--  :<math>b^x b^y = b^{x + y}.</math>  -->
<!--  :<math>b^x b^y = b^{x + y}.</math>  -->
Line 23: Line 23:
: <math>\log_b\left(\frac{1}{x}\right) = - \log_b(x).</math>
: <math>\log_b\left(\frac{1}{x}\right) = - \log_b(x).</math>


By a similar argument it can be established that <math>b^0 = 1</math> for any base <math>b>1</math> and therefore that <math>\log_b(1) = 0</math>.
By a similar argument it can be established that <math>b^0 = 1</math> for any base <math>b>1</math> and therefore that <math>\log_b(1) = 0.</math>


Thus, logarithms of numbers between 0 and 1 are negative numbers, the logarithm of 1 is 0, and logarithms of numbers that fall between powers of the base are (usually non-integer) real numbers.
Thus, logarithms of numbers between 0 and 1 are negative numbers, the logarithm of 1 is 0, and logarithms of numbers that fall between powers of the base are (usually non-integer) real numbers.

Revision as of 19:31, 20 May 2007

Computing logarithms is the inverse of exponentiation, as subtraction is the inverse of addition and division is the inverse of multiplication. For example, since , then the base-7 logarithm of 343 is 3. In general, if , then .

Because we use a base-10 number system, it is often convenient to use 10 as the base of the logarithm. Multiplying a number by 10 appends a zero to the numeral and adds 1 to the logarithm. For example, is approximately equal to 1.63347, and multiplying by 10, is approximately 2.63347.

Mathematicians and physicists often find, however, that the transcendental number is more convenient as a base for a logarithmic function. The value of is approximately equal to 2.718281828459045. The logarithmic function with as a base is called the "natural logarithm" and is often written ; it is the function whose derivative is .

Logarithms of intermediate and fractional values

Considering logarithms to the base 10, it's easy to find the logarithm of a number such as 1000, because 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_{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, 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 10^\frac{1}{2}} is 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 \sqrt{10}} and this then supplies a value 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_{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.


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 10^{-3} = \frac{10}{10^4} = 0.001}

and it then follows that

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_{10}(0.001) = -3,}

or in general,

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\left(\frac{1}{x}\right) = - \log_b(x).}

By a similar argument it can be established that 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^0 = 1} for any base 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>1} and therefore that 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(1) = 0.}

Thus, logarithms of numbers between 0 and 1 are negative numbers, the logarithm of 1 is 0, and logarithms of numbers that fall between powers of the base are (usually non-integer) real numbers.

Shape of the logarithm function

Consider the function 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 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 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 f} continually increases, but increases more and more slowly as 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} heads towards infinity. Between 1 and 0, the logarithmic function has negative values, and asymptotically approaches minus infinity as 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} approaches zero. For negative values 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 x} , there is no defined 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 f(x)} within the real numbers — but using complex numbers a value can be found, as will be discussed further below.

Logarithms.png

Manipulating logarithms

Suppose we know the logarithm of a number using one base 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 we want to find the logarithm using a different base 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}  :

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 \scriptstyle{\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)}

Notational variants

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 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 \scriptstyle\log x} means 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 \scriptstyle\log_{10} \,x} . In mathematics, it is more useful to use natural logarithms (i.e., logarithms to the base 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 e} ). The notation 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 \scriptstyle\ln x} is sometimes used for natural logarithms, but in mathematics it is just as common to use the notation 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\, x} and write logarithms to base 10 using the full notation . 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 which become common for logarithms to a base of 2. Finally, the notation is sometimes used for logarithms to base 2, but this is usage is less common.

Complex numbers and logarithms

The exponential function of an imaginary number is given as

To find the logarithm of a complex number , it's convenient to express the number in polar coordinates where and . (Intuitively, is the length of the line segment joining the number to the origin in the complex plane, and is the angle that line segment makes with the -axis.) The equivalence of the two notations is given by

Suppose we define such that . Using the formula for the exponential function above,

It can be seen from similarity with the above formula for polar coordinates that and . Therefore,

In this way, 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.