Difference between revisions of "Integrals Involving Exponential and Logarithmic Functions"

From Department of Mathematics at UTSA
Jump to navigation Jump to search
Line 80: Line 80:
 
|}
 
|}
  
==Logarithmic Differentiation==
+
=== Exponential & Logarithm /integrals ===
We can use the properties of the logarithm, particularly the natural log, to differentiate more difficult functions, such a products with many terms, quotients of composed functions, or functions with variable or function exponents. We do this by taking the natural logarithm of both sides, re-arranging terms using the logarithm laws below, and then differentiating both sides implicitly, before multiplying through by <math>y</math> .
 
  
{| WIDTH="100%"
+
Regarding the derivatives of exponentials and logarithms, we know that:
|-
 
|style="background-color: #FFFFFF; border: solid 1px #D6D6FF; padding: 1em;" valign="top"|
 
  
<math>\log(a)+\log(b)=\log(ab)</math>
+
* <math>\dfrac{d}{dx} e^x = e^x</math>
 +
* <math>\dfrac{d}{dx} \ln x = \frac{1}{x}</math>
  
<math>\log\left(\frac{a}{b}\right)=\log(a)-\log(b)</math>
+
Reversing these, we get:
  
<math>\log(a^n)=n\log(a)</math>  
+
* <math>\int e^x = e^x + c</math>
 +
* <math>\int \frac{1}{x} = \ln |x|</math>
  
|}
+
The natural logarithm takes a modulus input so that it can handle negative numbers.
  
See the examples below.
+
Note that similar rules apply to any linear expressions that may be composed with these functions:
  
====Example 1====
+
* <math>\int e^{ax+b} = \frac{1}{a}e^{ax+b} + c</math>
We shall now prove the validity of the power rule using logarithmic differentiation.
+
* <math>\int \frac{1}{ax+b} = \frac{1}{a}\ln|ax+b|</math>
 
 
<math>\frac{d}{dx}\ln(x^n)=n\frac{d}{dx}\ln(x)=nx^{-1}</math>
 
 
 
<math>\frac{d}{dx}\ln(x^n)=\frac{1}{x^n}\cdot\frac{d}{dx}x^n</math>
 
 
 
Thus:
 
 
 
<math>\frac{1}{x^n}\cdot\frac{d}{dx}x^n=nx^{-1}</math>
 
 
 
<math>\frac{d}{dx}x^n=nx^{n-1}</math>
 
;Example 2
 
 
 
{| WIDTH="75%"
 
|-
 
| style="background-color: #FFFFFF; border: solid 1px #D6D6FF; padding: 1em;" valign="top" |
 
Suppose we wished to differentiate
 
:<math>y=\frac{(6x^2+9)^2}{\sqrt{3x^3-2}}</math>
 
We take the natural logarithm of both sides
 
:<math>\begin{align}
 
\ln(y)&=\ln\left(\frac{(6x^2+9)^2}{\sqrt{3x^3-2}}\right)\\
 
&=\ln\big((6x^2+9)^2\big)-\ln\big((3x^3-2)^{\frac12}\big)\\
 
&=2\ln(6x^2+9)-\frac{\ln(3x^3-2)}{2}
 
\end{align}</math>
 
Differentiating implicitly, recalling the chain rule
 
:<math>\begin{align}
 
\frac{1}{y}\cdot\frac{dy}{dx}&=2\cdot\frac{12x}{6x^2+9}-\frac12\cdot\frac{9x^2}{3x^3-2}\\
 
&=\frac{24x}{6x^2+9}-\frac{\frac{9}{2}x^2}{3x^3-2}\\
 
&=\frac{24x(3x^3-2)-\frac92x^2(6x^2+9)}{(6x^2+9)(3x^3-2)}
 
\end{align}</math>
 
Multiplying by <math>y</math> , the original function
 
:<math>\frac{dy}{dx}=\frac{(6x^2+9)^2}{\sqrt{3x^3-2}}\cdot\frac{24x(3x^3-2)-\frac{9}{2}x^2(6x^2+9)}{(6x^2+9)(3x^3-2)}</math>
 
|}
 
 
 
;Example 3
 
 
 
{| WIDTH="75%"
 
|-
 
| style="background-color: #FFFFFF; border: solid 1px #D6D6FF; padding: 1em;" valign="top" |
 
Let us differentiate a function
 
:<math>y=x^x</math>
 
Taking the natural logarithm of left and right
 
:<math>\begin{align}\ln(y)&=\ln(x^x)\\&=x\ln(x)\end{align}</math>
 
We then differentiate both sides, recalling the product and chain rules
 
:<math>\begin{align}\frac{1}{y}\cdot\frac{dy}{dx}&=\ln(x)+x\frac{1}{x}\\&=\ln(x)+1\end{align}</math>
 
Multiplying by the original function <math>y</math>
 
:<math>\frac{dy}{dx}=x^x(\ln(x)+1)</math>
 
|}
 
 
 
;Example 4
 
 
 
{| WIDTH="75%"
 
|-
 
| style="background-color: #FFFFFF; border: solid 1px #D6D6FF; padding: 1em;" valign="top" |
 
Take a function
 
:<math>y=x^{6\cos(x)}</math>
 
Then
 
:<math>\begin{align}\ln(y)&=\ln(x^{6\cos(x)})\\&=6\cos(x)\ln(x)\end{align}</math>
 
We then differentiate
 
:<math>\frac{1}{y}\cdot\frac{dy}{dx}=-6\sin(x)\ln(x)+\frac{6\cos(x)}{x}</math>
 
And finally multiply by <math>y</math>
 
:<math>\begin{align}
 
\frac{dy}{dx}&=y\left(-6\sin(x)\ln(x)+\frac{6\cos(x)}{x}\right)\\&=6x^{6\cos(x)}\left(\frac{\cos(x)}{x}-\sin(x)\ln(x)\right)
 
\end{align}</math>
 
|}
 
  
 
==Resources==
 
==Resources==
 
* [https://youtu.be/D9dqdbCgJQM Integrating Exponential Functions By Substitution - Antiderivatives - Calculus] by The Organic Chemistry Tutor
 
* [https://youtu.be/D9dqdbCgJQM Integrating Exponential Functions By Substitution - Antiderivatives - Calculus] by The Organic Chemistry Tutor
 
* [https://en.wikibooks.org/wiki/Calculus/Indefinite_integral Indefinite Integral], WikiBooks: Calculus
 
* [https://en.wikibooks.org/wiki/Calculus/Indefinite_integral Indefinite Integral], WikiBooks: Calculus

Revision as of 13:29, 28 October 2021

Logarithm Function

We shall first look at the irrational number Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle e} in order to show its special properties when used with derivatives of exponential and logarithm functions. As mentioned before in the Algebra section, the value of is approximately Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle e\approx2.718282} but it may also be calculated as the Infinite Limit:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle e=\lim_{n\to\infty}\left(1+\frac{1}{n}\right)^n}

Now we find the derivative of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ln(x)} using the formal definition of the derivative:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d}{dx}\ln(x)=\lim_{h\to0}\frac{\ln(x+h)-\ln(x)}{h}=\lim_{h\to0}\frac{1}{h}\ln\left(\frac{x+h}{x}\right)=\lim_{h\to0}\ln\left(\frac{x+h}{x}\right)^\frac{1}{h}}

Let Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n=\frac{x}{h}} . Note that as Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n\to\infty} , we get Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle h\to0} . So we can redefine our limit as:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lim_{n\to\infty}\ln\left(1+\frac{1}{n}\right)^\frac{n}{x}=\frac{1}{x}\ln\left(\lim_{n\to\infty}\left(1+\frac{1}{n}\right)^n\right)=\frac{1}{x}\ln(e)=\frac{1}{x}}

Here we could take the natural logarithm outside the limit because it doesn't have anything to do with the limit (we could have chosen not to). We then substituted the value of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle e} .

Derivative of the Natural Logarithm

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d}{dx}\ln(x)=\frac{1}{x}}

If we wanted, we could go through that same process again for a generalized base, but it is easier just to use properties of logs and realize that:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \log_a(x)=\frac{\ln(x)}{\ln(a)}}

Since Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{1}{\ln(a)}} is a constant, we can just take it outside of the derivative:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d}{dx}\log_a(x)=\frac{1}{\ln(a)}\cdot\frac{d}{dx}\ln(x)}

Which leaves us with the generalized form of:

Derivative of the Logarithm

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d}{dx}\log_a(x)=\frac{1}{\ln(a)x}}

An alternative approach to derivative of the logarithm refers to the original expression of the logarithm as quadrature of the hyperbola y = 1/x .

Exponential Function

We shall take two different approaches to finding the derivative of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ln(e^x)} . The first approach:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d}{dx}\ln(e^x)=\frac{d}{dx}x=1}

The second approach:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d}{dx}\ln(e^x)=\frac{1}{e^x}\left(\frac{d}{dx}e^x\right)}

Note that in the second approach we made some use of the chain rule. Thus:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{1}{e^x}\left(\frac{d}{dx}e^x\right)=1}
Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d}{dx}e^x=e^x}

so that we have proved the following rule:

Derivative of the exponential function

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d}{dx}e^x=e^x}

Now that we have derived a specific case, let us extend things to the general case. Assuming that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a} is a positive real constant, we wish to calculate:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d}{dx}a^x}

One of the oldest tricks in mathematics is to break a problem down into a form that we already know we can handle. Since we have already determined the derivative of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle e^x} , we will attempt to rewrite Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a^x} in that form.

Using that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle e^{\ln(c)}=c} and that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ln(a^b)=b\cdot\ln(a)} , we find that:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a^x=e^{\ln(a)x}}

Thus, we simply apply the chain rule:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d}{dx}e^{\ln(a)x}=e^{\ln(a)x}\cdot\frac{d}{dx}[\ln(a)x]=\ln(a)a^x}
Derivative of the exponential function

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d}{dx}a^x=\ln(a)a^x}

Exponential & Logarithm /integrals

Regarding the derivatives of exponentials and logarithms, we know that:

  • Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \dfrac{d}{dx} e^x = e^x}
  • Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \dfrac{d}{dx} \ln x = \frac{1}{x}}

Reversing these, we get:

  • Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \int e^x = e^x + c}
  • Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \int \frac{1}{x} = \ln |x|}

The natural logarithm takes a modulus input so that it can handle negative numbers.

Note that similar rules apply to any linear expressions that may be composed with these functions:

  • Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \int e^{ax+b} = \frac{1}{a}e^{ax+b} + c}
  • Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \int \frac{1}{ax+b} = \frac{1}{a}\ln|ax+b|}

Resources