<?xml version="1.0" encoding="utf-8" standalone="no"?>
<!DOCTYPE document PUBLIC "-//CNX//DTD CNXML 0.5 plus MathML//EN" "http://cnx.rice.edu/technology/cnxml/schema/dtd/0.5/cnxml_mathml.dtd">
<document xmlns="http://cnx.rice.edu/cnxml" xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:bib="http://bibtexml.sf.net/" xmlns:m="http://www.w3.org/1998/Math/MathML" id="new">
  <name>Logarithmic and exponential functions</name>
  <metadata>
  <md:version>1.3</md:version>
  <md:created>2007/10/19 10:39:36 GMT-5</md:created>
  <md:revised>2007/10/28 12:46:37.964 GMT-5</md:revised>
  <md:authorlist>
      <md:author id="Sunil_Singh">
      <md:firstname>Sunil</md:firstname>
      <md:othername>Kumar</md:othername>
      <md:surname>Singh</md:surname>
      <md:email>sunilkr99@yahoo.com</md:email>
    </md:author>
  </md:authorlist>

  <md:maintainerlist>
    <md:maintainer id="Sunil_Singh">
      <md:firstname>Sunil</md:firstname>
      <md:othername>Kumar</md:othername>
      <md:surname>Singh</md:surname>
      <md:email>sunilkr99@yahoo.com</md:email>
    </md:maintainer>
  </md:maintainerlist>
  
  <md:keywordlist>
    <md:keyword>Cartesian</md:keyword>
    <md:keyword>complements</md:keyword>
    <md:keyword>composition</md:keyword>
    <md:keyword>diagram</md:keyword>
    <md:keyword>difference</md:keyword>
    <md:keyword>domain</md:keyword>
    <md:keyword>exponential</md:keyword>
    <md:keyword>intersection</md:keyword>
    <md:keyword>inverse</md:keyword>
    <md:keyword>logarithmic</md:keyword>
    <md:keyword>operations</md:keyword>
    <md:keyword>proper</md:keyword>
    <md:keyword>range</md:keyword>
    <md:keyword>relation</md:keyword>
    <md:keyword>sets</md:keyword>
    <md:keyword>subsets</md:keyword>
    <md:keyword>union</md:keyword>
    <md:keyword>unions</md:keyword>
    <md:keyword>universal</md:keyword>
    <md:keyword>venn</md:keyword>
  </md:keywordlist>

  <md:abstract/>
</metadata>
  <content>
<para id="element-1">Logarithmic and exponential functions are closely related functions. Logarithmic functions are useful in interpreting expressions/ equations, in which exponents are unknown. On the other hand, exponential functions are representation of natural process or mathematical relations, having exponential growth or decay. We shall encounter many expressions, involving these two functions in mathematics, while analyzing or describing processes.
</para>
<para id="element-2">The two functions have simple derivatives (we shall learn about derivatives in differential calculus). This, in turn, is helpful in carrying out integration, involving these functions. 
</para>
<para id="element-3">
Symbolically, logarithmic and exponential functions, respectively, are :
</para>
<para id="element-4">
<m:math display="block">
  <m:mrow>
    <m:mi>f</m:mi>
    <m:mfenced>
      <m:mrow>
        <m:mi>x</m:mi>
      </m:mrow>
    </m:mfenced>
    <m:mo>=</m:mo>
    <m:msub>
      <m:mi>log</m:mi>
      <m:mi>a</m:mi>
    </m:msub>
    <m:mi>x</m:mi>
  </m:mrow>
</m:math>
</para>
<para id="element-5">and
</para>
<para id="element-6">
<m:math display="block">
  <m:mrow>
    <m:mi>f</m:mi>
    <m:mfenced>
      <m:mrow>
        <m:mi>x</m:mi>
      </m:mrow>
    </m:mfenced>
    <m:mo>=</m:mo>
    <m:msup>
      <m:mi>a</m:mi>
      <m:mi>x</m:mi>
    </m:msup>
  </m:mrow>
</m:math>
</para>
<para id="element-7">In this module, we shall find out that logarithmic and exponential functions, as a matter of fact, are inverse functions to each other. 
</para>
<section id="section-1">
<name>Logarithmic functions</name>
<para id="element-8"> A logarithmic function gives “exponent” of an expression in terms of a base, “a”, and a number, “x”. The following two representations, in this context, are equivalent :
</para>
<para id="element-9">
<m:math display="block">
  <m:mrow>
    <m:msup>
      <m:mi>a</m:mi>
      <m:mi>y</m:mi>
    </m:msup>
    <m:mo>=</m:mo>
    <m:mi>x</m:mi>
  </m:mrow>
</m:math>
</para>
<para id="element-10">and
</para>
<para id="element-11">
<m:math display="block">
  <m:mrow>
    <m:mi>f</m:mi>
    <m:mfenced>
      <m:mrow>
        <m:mi>x</m:mi>
      </m:mrow>
    </m:mfenced>
    <m:mo>=</m:mo>
    <m:mi>y</m:mi>
    <m:mo>=</m:mo>
    <m:msub>
      <m:mi>log</m:mi>
      <m:mi>a</m:mi>
    </m:msub>
    <m:mi>x</m:mi>
  </m:mrow>
</m:math>
</para>
<para id="element-12">where :
</para>
<para id="element-14">
<list id="list-14" type="enumerated"><item> The base “a” is positive real number, but excluding “1”. Symbolically, 
<m:math>
  <m:mrow>
    <m:mi>a</m:mi>
    <m:mo>&gt;</m:mo>
    <m:mn>0,</m:mn>
    <m:mi>a</m:mi>
    <m:mo>≠</m:mo>
    <m:mn>1</m:mn>
  </m:mrow>
</m:math>
. </item>
<item> The “x” represents result of exponentiation, “
<m:math>
  <m:mrow>
    <m:msup>
      <m:mi>a</m:mi>
      <m:mi>y</m:mi>
    </m:msup>
  </m:mrow>
</m:math>
” and is also a positive real number. Symbolically, x &gt;0. </item>
<item> The exponent “y” i.e. logarithm of “x” is a real number.  </item>
</list>
</para>
<para id="element-15">Note that neither “a” nor “x” equals to zero. 
</para>
<para id="element-16">The equation of a logarithmic value for “x” on a certain base represents logarithmic function. In words, we can say that a logarithmic function associates every positive real number (x) to a real valued exponent (y), following the relation symbolically represented as :
</para>
<para id="element-17">
<m:math display="block">
  <m:mrow>
    <m:mi>f</m:mi>
    <m:mfenced>
      <m:mrow>
        <m:mi>x</m:mi>
      </m:mrow>
    </m:mfenced>
    <m:mo>=</m:mo>
    <m:mi>log</m:mi>
    <m:msub>
      <m:mi/>
      <m:mi>a</m:mi>
    </m:msub>
    <m:mi>x</m:mi>
    <m:mo>;</m:mo>
    <m:mspace width="1em"/>
    <m:mi>a</m:mi>
    <m:mo>,</m:mo>
    <m:mi>x</m:mi>
    <m:mo>&gt;</m:mo>
    <m:mn>0,</m:mn>
    <m:mspace width="1em"/>
    <m:mi>a</m:mi>
    <m:mo>≠</m:mo>
    <m:mn>1</m:mn>
  </m:mrow>
</m:math>
</para>
<para id="element-18">We exclude "a = 1" as logarithmic function is not relevant to this base. Consider the exponentiation :
</para>
<para id="element-19">
<m:math display="block">
  <m:mrow>
    <m:msup>
      <m:mn>1</m:mn>
      <m:mi>y</m:mi>
    </m:msup>
    <m:mo>=</m:mo>
    <m:mn>1</m:mn>
  </m:mrow>
</m:math>
</para>
<para id="element-20">We can easily see here that whatever be the exponent, the value of logarithmic function is “1". Hence, base “1” is irrelevant as exponent “y” is not uniquely associated with “x”.
</para>
<para id="element-21">We can associate logarithmic concept easily with decimal values represented as a power of base “10”. Consider the examples given here :
</para>
<para id="element-22">
<m:math display="block">
  <m:mrow>
    <m:msup>
      <m:mn>10</m:mn>
      <m:mrow>
        <m:mo>-</m:mo>
        <m:mn>1</m:mn>
      </m:mrow>
    </m:msup>
    <m:mo>=</m:mo>
    <m:mn>0.1</m:mn>
  </m:mrow>
</m:math>
</para>
<para id="element-23">
<m:math display="block">
  <m:mrow>
    <m:msup>
      <m:mn>10</m:mn>
      <m:mn>0</m:mn>
    </m:msup>
    <m:mo>=</m:mo>
    <m:mn>1</m:mn>
  </m:mrow>
</m:math>
</para>
<para id="element-24">
<m:math display="block">
  <m:mrow>
    <m:msup>
      <m:mn>10</m:mn>
      <m:mn>2</m:mn>
    </m:msup>
    <m:mo>=</m:mo>
    <m:mn>100</m:mn>
  </m:mrow>
</m:math>
</para>
<para id="element-25">Note that base, in this case, is a positive number, “10”. The resulting value (x) is also a positive number, irrespective of whether exponent is positive or negative. However, exponents are zero or positive or negative integer. This is a specific example. We can easily visualize that exponents can be any real number. 
</para>
<para id="element-26">From this discussion, we conclude that :
</para>
<para id="element-27">
<m:math display="block">
  <m:mrow>
    <m:mtext>Value of “x”</m:mtext>
    <m:mo>=</m:mo>
    <m:mtext>Domain</m:mtext>
    <m:mo>=</m:mo>
    <m:mfenced>
      <m:mrow>
        <m:mn>0,</m:mn>
        <m:mi>∞</m:mi>
      </m:mrow>
    </m:mfenced>
  </m:mrow>
</m:math>
</para>
<para id="element-28">
<m:math display="block">
  <m:mrow>
    <m:mtext>Value of “y”</m:mtext>
    <m:mo>=</m:mo>
    <m:mtext>Range</m:mtext>
    <m:mo>=</m:mo>
    <m:mi>R</m:mi>
  </m:mrow>
</m:math>
</para>
<section id="section-1a">
<name>Base</name>
<para id="element-29">The base of the logarithmic function can be any positive number. However, “10” and “e” are two common bases that we often use. Here, “e” is a mathematical constant given by :
</para>
<para id="element-30">
<m:math display="block">
  <m:mrow>
    <m:mi>e</m:mi>
    <m:mo>=</m:mo>
    <m:mn>2.718281828</m:mn>
  </m:mrow>
</m:math>
</para>
<para id="element-31">If we use “e” as the base, then the corresponding logarithmic function is called “natural” logarithmic function. The plots, here, show logarithmic functions for two bases (i) 10 and (ii) e.
</para>
<para id="element-32">
<figure id="fig-32">
<name> Logarithmic function </name>
<media type="image/gif" src="le1.gif"/>
<caption> The plots of logarithmic function on different bases.</caption>
</figure>
</para>
<para id="element-33">Note that expanse of logarithmic function "f(x)" is along y – axis on either side of the x-axis, showing that its range is R. On the other hand, the expanse of “x” is limited to positive side of x-axis, showing that domain is positive real number. Further, irrespective of bases, all plots intersect x-axis at the same point i.e. x = 1 as :
</para>
<para id="element-34">
<m:math display="block">
  <m:mrow>
    <m:mi>x</m:mi>
    <m:mo>=</m:mo>
    <m:msup>
      <m:mi>a</m:mi>
      <m:mi>y</m:mi>
    </m:msup>
    <m:mo>=</m:mo>
    <m:msup>
      <m:mi>a</m:mi>
      <m:mn>0</m:mn>
    </m:msup>
    <m:mo>=</m:mo>
    <m:mn>1</m:mn>
  </m:mrow>
</m:math>
</para>
</section>
<section id="section-1b">
<name>Graphs</name>
<para id="element-35">We have noted the importance of base “1” for logarithmic function. Base “1” plays an important role for determining nature of logarithmic function. Here, we have drawn plots for two cases : (i) a &lt; 1 and (ii) a &gt; 1. 
</para>
<para id="element-36">If the base is greater than zero, but less than “1”, then the logarithm function asymptotes to positive y-axis. 
</para>
<para id="element-37">
<figure id="fig-37">
<name> Logarithmic function </name>
<media type="image/gif" src="le2.gif"/>
<caption> The plot of logarithmic function, when base is less than "1".</caption>
</figure>
</para>
<para id="element-38">If the base is greater than “1”, then the logarithm function asymptotes to negative y-axis. 
</para>
<para id="element-39">
<figure id="fig-39">
<name> Logarithmic function </name>
<media type="image/gif" src="le3.gif"/>
<caption> The plot of logarithmic function, when base is greater than "1".</caption>
</figure>
</para>
</section>
<section id="section-1c">
<name>Logarithmic identities</name>
<para id="element-40">Some of the important logarithmic identities are given here without proof. Idea, here, is to simply equip ourselves so that we can work with logarithmic functions in conjunction with itself or with other functions.
</para>
<para id="element-41a">
<m:math display="block">
  <m:mrow>
    <m:msub>
      <m:mi>log</m:mi>
      <m:mi>a</m:mi>
    </m:msub>
    <m:mfenced>
      <m:mrow>
        <m:mi>x</m:mi>
        <m:mi>y</m:mi>
      </m:mrow>
    </m:mfenced>
    <m:mo>=</m:mo>
    <m:msub>
      <m:mi>log</m:mi>
      <m:mi>a</m:mi>
    </m:msub>
    <m:mfenced>
      <m:mrow>
        <m:mi>x</m:mi>
      </m:mrow>
    </m:mfenced>
    <m:mo>+</m:mo>
    <m:msub>
      <m:mi>log</m:mi>
      <m:mi>a</m:mi>
    </m:msub>
    <m:mfenced>
      <m:mrow>
        <m:mi>y</m:mi>
      </m:mrow>
    </m:mfenced>
  </m:mrow>
</m:math>
</para>
<para id="element-41b">
<m:math display="block">
  <m:mrow>
    <m:msub>
      <m:mi>log</m:mi>
      <m:mi>a</m:mi>
    </m:msub>
    <m:mfenced>
      <m:mrow>
        <m:mfrac>
          <m:mi>x</m:mi>
          <m:mi>y</m:mi>
        </m:mfrac>
      </m:mrow>
    </m:mfenced>
    <m:mo>=</m:mo>
    <m:msub>
      <m:mi>log</m:mi>
      <m:mi>a</m:mi>
    </m:msub>
    <m:mfenced>
      <m:mrow>
        <m:mi>x</m:mi>
      </m:mrow>
    </m:mfenced>
    <m:mo>-</m:mo>
    <m:msub>
      <m:mi>log</m:mi>
      <m:mi>a</m:mi>
    </m:msub>
    <m:mfenced>
      <m:mrow>
        <m:mi>y</m:mi>
      </m:mrow>
    </m:mfenced>
  </m:mrow>
</m:math>
</para>
<para id="element-41c">
<m:math display="block">
  <m:mrow>
    <m:msub>
      <m:mi>log</m:mi>
      <m:mi>a</m:mi>
    </m:msub>
    <m:mfenced>
      <m:mrow>
        <m:msup>
          <m:mi>x</m:mi>
          <m:mi>y</m:mi>
        </m:msup>
      </m:mrow>
    </m:mfenced>
    <m:mo>=</m:mo>
    <m:mi>y</m:mi>
    <m:msub>
      <m:mi>log</m:mi>
      <m:mi>a</m:mi>
    </m:msub>
    <m:mfenced>
      <m:mrow>
        <m:mi>x</m:mi>
      </m:mrow>
    </m:mfenced>
  </m:mrow>
</m:math>
</para>
<para id="element-41d">
<m:math display="block">
  <m:mrow>
    <m:msub>
      <m:mi>log</m:mi>
      <m:mi>a</m:mi>
    </m:msub>
    <m:mfenced>
      <m:mrow>
        <m:msup>
          <m:mi>x</m:mi>
          <m:mrow>
            <m:mfrac>
              <m:mn>1</m:mn>
              <m:mi>y</m:mi>
            </m:mfrac>
          </m:mrow>
        </m:msup>
      </m:mrow>
    </m:mfenced>
    <m:mo>=</m:mo>
    <m:mfrac>
      <m:mrow>
        <m:msub>
          <m:mi>log</m:mi>
          <m:mi>a</m:mi>
        </m:msub>
        <m:mfenced>
          <m:mrow>
            <m:mi>x</m:mi>
          </m:mrow>
        </m:mfenced>
      </m:mrow>
      <m:mi>y</m:mi>
    </m:mfrac>
  </m:mrow>
</m:math>
</para>
<section id="section-1c1">
<name>Change of base</name>
<para id="element-43">Sometimes, we are required to work with logarithmic expressions of different bases. In such cases, we convert them to same base, using following relation :
</para>
<para id="element-44">
<m:math display="block">
  <m:mrow>
    <m:msub>
      <m:mi>log</m:mi>
      <m:mi>a</m:mi>
    </m:msub>
    <m:mfenced>
      <m:mrow>
        <m:mi>x</m:mi>
      </m:mrow>
    </m:mfenced>
    <m:mo>=</m:mo>
    <m:mfrac>
      <m:mrow>
        <m:msub>
          <m:mi>log</m:mi>
          <m:mi>b</m:mi>
        </m:msub>
        <m:mfenced>
          <m:mrow>
            <m:mi>x</m:mi>
          </m:mrow>
        </m:mfenced>
      </m:mrow>
      <m:mrow>
        <m:msub>
          <m:mi>log</m:mi>
          <m:mi>b</m:mi>
        </m:msub>
        <m:mfenced>
          <m:mrow>
            <m:mi>a</m:mi>
          </m:mrow>
        </m:mfenced>
      </m:mrow>
    </m:mfrac>
  </m:mrow>
</m:math>
</para>
</section>
<section id="section-1d">
<name>Example</name>
<para id="element-62"><term>Problem 1 :</term> Find the domain of the function given by :
</para>
<para id="element-63">
<m:math display="block">
  <m:mrow>
    <m:mi>f</m:mi>
    <m:mfenced>
      <m:mrow>
        <m:mi>x</m:mi>
      </m:mrow>
    </m:mfenced>
    <m:mo>=</m:mo>
    <m:mfrac>
      <m:mn>1</m:mn>
      <m:mrow>
        <m:msub>
          <m:mi>log</m:mi>
          <m:mn>10</m:mn>
        </m:msub>
        <m:mfenced>
          <m:mrow>
            <m:mn>1</m:mn>
            <m:mo>−</m:mo>
            <m:mi>x</m:mi>
          </m:mrow>
        </m:mfenced>
      </m:mrow>
    </m:mfrac>
  </m:mrow>
</m:math>
</para>
<para id="element-64"><term>Solution :</term>  The given function is reciprocal of a logarithmic function. Therefore, we first need to ensure that logarithmic function does not evaluate to zero for a value of “x”. A logarithmic function evaluates to zero if its argument is equal to “1”. Hence,
</para>
<para id="element-65">
<m:math display="block">
  <m:mrow>
    <m:mn>1</m:mn>
    <m:mo>−</m:mo>
    <m:mi>x</m:mi>
    <m:mo>≠</m:mo>
    <m:mn>1</m:mn>
  </m:mrow>
</m:math>
</para>
<para id="element-66">
<m:math display="block">
  <m:mrow>
    <m:mo>⇒</m:mo>
    <m:mi>x</m:mi>
    <m:mo>≠</m:mo>
    <m:mn>0</m:mn>
  </m:mrow>
</m:math>
</para>
<para id="element-67">Further domain of logarithmic function is a positive real number. For that :
</para>
<para id="element-68">
<m:math display="block">
  <m:mrow>
    <m:mn>1</m:mn>
    <m:mo>-</m:mo>
    <m:mi>x</m:mi>
    <m:mo>&gt;</m:mo>
    <m:mn>0</m:mn>
  </m:mrow>
</m:math>
</para>
<para id="element-69">
<m:math display="block">
  <m:mrow>
    <m:mo>⇒</m:mo>
    <m:mn>1</m:mn>
    <m:mo>&gt;</m:mo>
    <m:mi>x</m:mi>
  </m:mrow>
</m:math>
</para>
<para id="element-70">
<m:math display="block">
  <m:mrow>
    <m:mo>⇒</m:mo>
    <m:mi>x</m:mi>
    <m:mo>&lt;</m:mo>
    <m:mn>1</m:mn>
  </m:mrow>
</m:math>
</para>
<para id="element-71">Combining two results, the domain of the given function is :
</para>
<para id="element-72">
<m:math display="block">
  <m:mrow>
    <m:mtext>Domain of “f”</m:mtext>
    <m:mo>=</m:mo>
    <m:mfenced>
      <m:mrow>
        <m:mo>-</m:mo>
        <m:mi>∞</m:mi>
        <m:mo>,</m:mo>
        <m:mn>1</m:mn>
      </m:mrow>
    </m:mfenced>
    <m:mo>−</m:mo>
    <m:mo>{</m:mo>
    <m:mn>0</m:mn>
    <m:mo>}</m:mo>
  </m:mrow>
</m:math>
</para>
</section>
</section>
</section>
<section id="section-2">
<name>Exponential function</name>
<para id="element-45">An exponential function relates every real number “x” to the exponentiation, “
<m:math>
  <m:mrow>
    <m:msup>
      <m:mi>a</m:mi>
      <m:mi>x</m:mi>
    </m:msup>
  </m:mrow>
</m:math>
”. In other words, we can say that an exponential function associates every real number (x) to a function given by :
</para>
<para id="element-46">
<m:math display="block">
  <m:mrow>
    <m:mi>f</m:mi>
    <m:mfenced>
      <m:mrow>
        <m:mi>x</m:mi>
      </m:mrow>
    </m:mfenced>
    <m:mo>=</m:mo>
    <m:mi>y</m:mi>
    <m:mo>=</m:mo>
    <m:msup>
      <m:mi>a</m:mi>
      <m:mi>x</m:mi>
    </m:msup>
  </m:mrow>
</m:math>
</para>
<para id="element-47">where :
</para>
<para id="element-48">
<list id="list-48" type="enumerated">
<item> The base “a” is positive real number, but excluding “1”. Symbolically, 
<m:math>
  <m:mrow>
    <m:mi>a</m:mi>
    <m:mo>&gt;</m:mo>
    <m:mn>0,</m:mn>
    <m:mi>a</m:mi>
    <m:mo>≠</m:mo>
    <m:mn>1</m:mn>
  </m:mrow>
</m:math>
. </item>
<item> The exponent “x” is a real number.  </item>
<item> The “y” represents the result of exponentiation, “
<m:math>
  <m:mrow>
    <m:msup>
      <m:mi>a</m:mi>
      <m:mi>x</m:mi>
    </m:msup>
  </m:mrow>
</m:math>
” and is a positive real number. Symbolically, y &gt;0.  </item>
</list>
</para>
<para id="element-49">Note that neither “a” nor “y” equals to zero.
</para>
<para id="element-50">It can be easily seen that roles of “x” and “f(x)” have exchanged here with respect to logarithmic function. Here, “x” is the exponent i.e. the logarithmic value and “f(x)” is the result of exponentiation. For this reason, we say that logarithmic and exponential functions are inverse to each other. 
</para>
<para id="element-51">In this case,
</para>
<para id="element-52">
<m:math display="block">
  <m:mrow>
    <m:mtext>Value of “x”</m:mtext>
    <m:mo>=</m:mo>
    <m:mtext>Domain</m:mtext>
    <m:mo>=</m:mo>
    <m:mi>R</m:mi>
  </m:mrow>
</m:math>
</para>
<para id="element-53">
<m:math display="block">
  <m:mrow>
    <m:mtext>Value of “y”</m:mtext>
    <m:mo>=</m:mo>
    <m:mtext>Range</m:mtext>
    <m:mo>=</m:mo>
    <m:mfenced>
      <m:mrow>
        <m:mn>0,</m:mn>
        <m:mi>∞</m:mi>
      </m:mrow>
    </m:mfenced>
  </m:mrow>
</m:math>
</para>
<para id="element-54">As expected, we see that domain and range of logarithmic and exponential functions have also been exchanged.
</para>
<para id="element-55">The exponential function corresponding to base “e” is called “natural” exponential function. The plots of exponential functions for two cases (i) a &lt; 1 and (ii) a &gt; 1 are considered here as in the case of logarithmic function.
</para>
<para id="element-56">If the base is greater than zero, but less than “1”, then the exponential function asymptotes to positive x-axis. 
</para>
<para id="element-57">
<figure id="fig-57">
<name> Exponential function </name>
<media type="image/gif" src="le4.gif"/>
<caption> The plot of exponential function, when base is less than "1".</caption>
</figure>
</para>
<para id="element-58">If the base is greater than “1”, then the logarithm function asymptotes to negative x-axis. 
</para>
<para id="element-59">
<figure id="fig-59">
<name> Exponential function </name>
<media type="image/gif" src="le5.gif"/>
<caption> The plot of exponential function, when base is greater than "1".</caption>
</figure>
</para>
<para id="element-60">Note that expanse of logarithmic function is along x – axis on either side of the y-axis, showing that its domain is R. On the other hand, the expanse of “y” is limited to positive side of y-axis, showing that its range is positive real number. Further, irrespective of bases, all plots intersect y-axis at the same point i.e. y = 1 as :
</para>
<para id="element-61">
<m:math display="block">
  <m:mrow>
    <m:mi>y</m:mi>
    <m:mo>=</m:mo>
    <m:msup>
      <m:mi>a</m:mi>
      <m:mi>x</m:mi>
    </m:msup>
    <m:mo>=</m:mo>
    <m:msup>
      <m:mi>a</m:mi>
      <m:mn>0</m:mn>
    </m:msup>
    <m:mo>=</m:mo>
    <m:mn>1</m:mn>
  </m:mrow>
</m:math>
</para>
<section id="section-2a">
<name>Example</name>
<para id="element-73"><term>Problem 2 : </term> Find all real values of “x” such that : 
</para>
<para id="element-86">
<m:math display="block">
  <m:mrow>
    <m:mn>1</m:mn>
    <m:mo>-</m:mo>
    <m:msup>
      <m:mi>e</m:mi>
      <m:mrow>
        <m:mfrac>
          <m:mn>1</m:mn>
          <m:mi>x</m:mi>
        </m:mfrac>
        <m:mo>−</m:mo>
        <m:mn>1</m:mn>
      </m:mrow>
    </m:msup>
    <m:mo>&gt;</m:mo>
    <m:mn>0</m:mn>
  </m:mrow>
</m:math>
</para>
<para id="element-74"><term>Solution </term>  Solving for the exponential function, we get following inequality :
</para>
<para id="element-75">
<m:math display="block">
  <m:mrow>
    <m:mo>⇒</m:mo>
    <m:msup>
      <m:mi>e</m:mi>
      <m:mrow>
        <m:mfrac>
          <m:mn>1</m:mn>
          <m:mi>x</m:mi>
        </m:mfrac>
        <m:mo>−</m:mo>
        <m:mn>1</m:mn>
      </m:mrow>
    </m:msup>
    <m:mo>&lt;</m:mo>
    <m:mn>1</m:mn>
  </m:mrow>
</m:math>
</para>
<para id="element-76">Now, we know that domain of an exponential function is “R”. However, this information is not helpful here to find values of “x” that satisfies the inequality. Taking natural logarithm on either side of the equation,
</para>
<para id="element-78">
<m:math display="block">
  <m:mrow>
    <m:mo>⇒</m:mo>
    <m:mfrac>
      <m:mn>1</m:mn>
      <m:mi>x</m:mi>
    </m:mfrac>
    <m:mo>−</m:mo>
    <m:mn>1</m:mn>
    <m:mo>&lt;</m:mo>
    <m:msub>
      <m:mi>log</m:mi>
      <m:mi>e</m:mi>
    </m:msub>
    <m:mn>1</m:mn>
  </m:mrow>
</m:math>
</para>
<para id="element-79">But, logarithm of “1” i.e. 
<m:math>
  <m:mrow>
    <m:msub>
      <m:mi>log</m:mi>
      <m:mi>e</m:mi>
    </m:msub>
    <m:mn>1</m:mn>
  </m:mrow>
</m:math>
 is zero. Hence,
</para>
<para id="element-80">
<m:math display="block">
  <m:mrow>
    <m:mo>⇒</m:mo>
    <m:mfrac>
      <m:mn>1</m:mn>
      <m:mi>x</m:mi>
    </m:mfrac>
    <m:mo>−</m:mo>
    <m:mn>1</m:mn>
    <m:mo>&lt;</m:mo>
    <m:mn>0</m:mn>
  </m:mrow>
</m:math>
</para>
<para id="element-80a">
Here, we should not solve for "x" to obtain the interval as it is in the rational polynomial form. The important point is to understand that we are required to find the values of "x" for which the given inequality holds. 
</para>
<para id="element-81">
<m:math display="block">
  <m:mrow>
    <m:mo>⇒</m:mo>
    <m:mfrac>
      <m:mrow>
        <m:mn>1</m:mn>
        <m:mo>−</m:mo>
        <m:mi>x</m:mi>
      </m:mrow>
      <m:mi>x</m:mi>
    </m:mfrac>
    <m:mo>&lt;</m:mo>
    <m:mn>0</m:mn>
  </m:mrow>
</m:math>
</para>
<para id="element-82">Now, we proceed to find the values of “x” for which left hand side expression is negative. Following sign convention, the roots of the numerator and denominator are “0” and “1”. For a value x = 2, the expression evaluates to a negative value. Hence, interval x &gt; 1 gives negative value for the expression. Now, “1” appears only 1 time i.e. odd time. Therefore, the interval to the left of “1” gives positive value of the expression. Also, “0” appears only 1 time. The interval to the left of “0” is negative for the expression.
</para>
<para id="element-83">
<figure id="fig-83">
<name> Sign convention </name>
<media type="image/gif" src="le6.gif"/>
<caption> Positive and negative intervals.</caption>
</figure>
</para>
<para id="element-84">Picking the intervals for which expression is negative :
</para>
<para id="element-85">
<figure id="fig-85">
<name> Intervals </name>
<media type="image/gif" src="le7.gif"/>
<caption> Intervals for which given function is positive.</caption>
</figure>
</para>
<para id="element-87">
<m:math display="block">
  <m:mrow>
    <m:mfenced>
      <m:mrow>
        <m:mo>-</m:mo>
        <m:mi>∞</m:mi>
        <m:mo>,</m:mo>
        <m:mn>0</m:mn>
      </m:mrow>
    </m:mfenced>
    <m:mo>∪</m:mo>
    <m:mfenced>
      <m:mrow>
        <m:mn>1,</m:mn>
        <m:mi>∞</m:mi>
      </m:mrow>
    </m:mfenced>
  </m:mrow>
</m:math>
</para>
</section>
</section>
<section id="section-3">
<name>Logarithmic inequality</name>
<para id="element-88">The nature of logarithmic function is dependent on the base value. We know that base of a logarithmic function is a positive number excluding “1”. The value of “1” plays important role in deciding nature of logarithmic function and hence that of inequality associated to it. Let us consider an equality :
</para>
<para id="element-89">
<m:math display="block">
  <m:mrow>
    <m:msub>
      <m:mi>log</m:mi>
      <m:mi>a</m:mi>
    </m:msub>
    <m:mi>x</m:mi>
    <m:mo>&gt;</m:mo>
    <m:mi>y</m:mi>
  </m:mrow>
</m:math>
</para>
<para id="element-90">What should we conclude : <m:math>
  <m:mrow>
    <m:mi>x</m:mi>
    <m:mo>&gt;</m:mo>
    <m:msup>
      <m:mi>a</m:mi>
      <m:mi>y</m:mi>
    </m:msup>
    <m:mspace width="1em"/>
    <m:mtext>or</m:mtext>
    <m:mspace width="1em"/>
    <m:mi>x</m:mi>
    <m:mo>&lt;</m:mo>
    <m:msup>
      <m:mi>a</m:mi>
      <m:mi>y</m:mi>
    </m:msup>
  </m:mrow>
</m:math>? It depends on the value of “a”. We can understand the same by considering LHS of the inequality equal to an exponent z :
</para>
<para id="element-91">
<m:math display="block">
  <m:mrow>
    <m:msub>
      <m:mi>log</m:mi>
      <m:mi>a</m:mi>
    </m:msub>
    <m:mi>x</m:mi>
    <m:mo>=</m:mo>
    <m:mi>z</m:mi>
  </m:mrow>
</m:math>
</para>
<para id="element-92">If a &gt; 1, then "<m:math>
  <m:mrow>
    <m:msup>
      <m:mi>a</m:mi>
      <m:mi>z</m:mi>
    </m:msup>
  </m:mrow>
</m:math>" will yield a greater “x” than "<m:math>
  <m:mrow>
    <m:msup>
      <m:mi>a</m:mi>
      <m:mi>y</m:mi>
    </m:msup>
  </m:mrow>
</m:math>", because z&gt;y (it is given by the inequality). On the other hand, if 0&lt;a&lt;1, then "<m:math>
  <m:mrow>
    <m:msup>
      <m:mi>a</m:mi>
      <m:mi>z</m:mi>
    </m:msup>
  </m:mrow>
</m:math>" will yield a smaller “x” than "<m:math>
  <m:mrow>
    <m:msup>
      <m:mi>a</m:mi>
      <m:mi>y</m:mi>
    </m:msup>
  </m:mrow>
</m:math>", because z&gt;y. We can understand this conclusion with the help of an example. Let
</para>
<para id="element-93">
<m:math display="block">
  <m:mrow>
    <m:msub>
      <m:mi>log</m:mi>
      <m:mn>2</m:mn>
    </m:msub>
    <m:mi>x</m:mi>
    <m:mo>&gt;</m:mo>
    <m:mn>3</m:mn>
  </m:mrow>
</m:math>
</para>
<para id="element-94">
<m:math display="block">
  <m:mrow>
    <m:msub>
      <m:mi>log</m:mi>
      <m:mn>2</m:mn>
    </m:msub>
    <m:mi>x</m:mi>
    <m:mo>=</m:mo>
    <m:mn>4</m:mn>
  </m:mrow>
</m:math>
</para>
<para id="element-95">
Clearly, <m:math>
  <m:mrow>
    <m:msup>
      <m:mn>2</m:mn>
      <m:mn>4</m:mn>
    </m:msup>
    <m:mo>&gt;</m:mo>
    <m:msup>
      <m:mn>2</m:mn>
      <m:mn>3</m:mn>
    </m:msup>
    <m:mspace width="1em"/>
    <m:mtext>as</m:mtext>
    <m:mspace width="1em"/>
    <m:mn>16</m:mn>
    <m:mo>&gt;</m:mo>
    <m:mn>8</m:mn>
  </m:mrow>
</m:math>
</para>
<para id="element-100">
Let us now consider a &lt;1,
</para>
<para id="element-96">
<m:math display="block">
  <m:mrow>
    <m:mi>log</m:mi>
    <m:msub>
      <m:mi/>
      <m:mrow>
        <m:mn>0.5</m:mn>
      </m:mrow>
    </m:msub>
    <m:mi>x</m:mi>
    <m:mo>&gt;</m:mo>
    <m:mn>3</m:mn>
  </m:mrow>
</m:math>
</para>
<para id="element-97">
<m:math display="block">
  <m:mrow>
    <m:msub>
      <m:mi>log</m:mi>
      <m:mrow>
        <m:mn>0.5</m:mn>
      </m:mrow>
    </m:msub>
    <m:mi>x</m:mi>
    <m:mo>=</m:mo>
    <m:mn>4</m:mn>
  </m:mrow>
</m:math>
</para>
<para id="element-98">
Clearly, <m:math>
  <m:mrow>
    <m:msup>
      <m:mn>0.5</m:mn>
      <m:mn>4</m:mn>
    </m:msup>
    <m:mo>&lt;</m:mo>
    <m:msup>
      <m:mn>0.5</m:mn>
      <m:mn>3</m:mn>
    </m:msup>
    <m:mspace width="1em"/>
    <m:mtext>as</m:mtext>
    <m:mspace width="1em"/>
    <m:mn>0.0625</m:mn>
    <m:mo>&lt;</m:mo>
    <m:mn>0.125</m:mn>
  </m:mrow>
</m:math>. Thus, we finally conclude :
</para>
<para id="element-99">
<list id="list-99" type="enumerated">
<item> <m:math>
  <m:mrow>
    <m:msub>
      <m:mi>log</m:mi>
      <m:mi>a</m:mi>
    </m:msub>
    <m:mi>x</m:mi>
    <m:mo>&gt;</m:mo>
    <m:mi>y</m:mi>
    <m:mo>⇔</m:mo>
    <m:mi>x</m:mi>
    <m:mo>&gt;</m:mo>
    <m:msup>
      <m:mi>a</m:mi>
      <m:mi>y</m:mi>
    </m:msup>
    <m:mo>;</m:mo>
    <m:mspace width="1em"/>
    <m:mi>a</m:mi>
    <m:mo>&gt;</m:mo>
    <m:mn>1</m:mn>
  </m:mrow>
</m:math></item>
<item> <m:math>
  <m:mrow>
    <m:mi>log</m:mi>
    <m:msub>
      <m:mi/>
      <m:mi>a</m:mi>
    </m:msub>
    <m:mi>x</m:mi>
    <m:mo>&gt;</m:mo>
    <m:mi>y</m:mi>
    <m:mo>⇔</m:mo>
    <m:mi>x</m:mi>
    <m:mo>&lt;</m:mo>
    <m:msup>
      <m:mi>a</m:mi>
      <m:mi>y</m:mi>
    </m:msup>
    <m:mo>;</m:mo>
    <m:mspace width="1em"/>
    <m:mi>a</m:mi>
    <m:mo>&lt;</m:mo>
    <m:mn>1</m:mn>
  </m:mrow>
</m:math> </item>
</list>
</para>
<para id="element-101">
We have used two ways notation to indicate that interpretation of logarithmic inequality is true in either direction.
</para>
</section>
  </content>
  
</document>
