Lesson 1.4: Translation of Differentiation Formulas To Integration Formulas (TDFIF)
Lesson 1.4: Translation of Differentiation Formulas To Integration Formulas (TDFIF)
Lesson Summary
Indefinite integration formulas are initially derived from differentiation
formulas. It is done by simply switching the inputs and outputs based on the
indefinite integrals being the inverse of derivatives but with a slight difference.
Always add ܥto the antiderivative solved.
Learning Outcome
Derive integration formulas from differentiation formulas.
Motivation Question
Is it possible to derive all indefinite integration formulas directly from
differentiation formulas?
Discussion
In previous section, indefinite integration was introduced as the inverse of
differentiation. This relationship between indefinite integration and
differentiation is demonstrated by the following formulas.
݀
න ݂ሺ ݔሻ݀ݔ൨ ൌ ݂ሺ ݔሻ ܥ
݀ݔ
Page 42 of 110
Vision: A globally competitive university for science, technology, and environmental conservation.
Mission: Development of a highly competitive human resource, cutting-edge scientific knowledge TP-IMD-02
V0 07-15-2020
and innovative technologies for sustainable communities and environment.
No. CET.ESC SLG20-03
For instructional purposes only • 1st Semester SY 2020-2021 43
Integration
න Ͳ݀ ݔൌ ܥ
Formula
݀
ሾܥሿ ൌ Ͳ
Differentiation ݀ݔ
Formula or
݀ሾܥሿ ൌ Ͳ
The formulas above show why indefinite integrals are called as such. Basing
merely on the zeroed term, the best guess of indefinite integration is that it
must be a constant.
There is a way to pinpoint a value for that arbitrary constant. And that is with
the help of initial conditions. These conditions describe the state of the input
ݔand output ݕvalues at the start of the scenario of the problem being solved.
This is an example of an initial condition
ݕሺͲሻ ൌ ߨ.
݀
ሾݔሿ ൌ ͳ
Differentiation ݀ݔ
Formula or
݀ሾݔሿ ൌ ݀ݔ
This integration formula in Table 2 may be the easiest one, but also the most
important. It is even the simplest version of the definition of the indefinite
integral.
In the next two tables are the third and second general properties of indefinite
integral which were introduced in the previous lesson. The use of these
properties was already demonstrated. Tables 3 and 4 shows how closely they
resemble their differentiation formula counterparts.
Page 43 of 110
Vision: A globally competitive university for science, technology, and environmental conservation.
Mission: Development of a highly competitive human resource, cutting-edge scientific knowledge TP-IMD-02
V0 07-15-2020
and innovative technologies for sustainable communities and environment.
No. CET.ESC SLG20-03
44 ESci 113: Calculus for Engineers II
Table 3. TDFIF for General Property Integral: Function multiplied by a constant (k)
Integration
න ݂݇ሺݔሻ݀ ݔൌ ݇ න ݂ሺݔሻ݀ݔ
Formula
݀ ݀
ሾ݂݇ሺݔሻሿ ൌ ݇ ሾ݂ሺݔሻሿ
Differentiation ݀ݔ ݀ݔ
Formula or
݀ሾ݂݇ሺݔሻሿ ൌ ݇݀ሾ݂ሺݔሻሿ
Integration
නሾ݂ሺݔሻ േ ݃ሺݔሻሿ݀ ݔൌ න ݂ሺݔሻ݀ ݔേ න ݃ሺݔሻ݀ݔ
Formula
Differentiation
݀ሾ݂ሺݔሻ േ ݃ሺݔሻሿ ൌ ݀ሾ݂ሺݔሻሿ േ ݀ሾ݃ሺݔሻሿ
Formula
The next and last table shows how the Fundamental Integration Formulas are
derived. It starts with the one that we reversed in Lesson 1.1 to introduce the
concept of antiderivatives, the Power Rule. We described what the rule meant
in indefinite integration. In Table 5, the first and second steps of Power Rule
for indefinite integration are shown simultaneously.
Power Rule
Integration ݑାଵ
Formula න ݑ ݀ ݑൌ ܥ ݊ ് െͳ
݊ͳ
݀
ሾ ݑሿ ൌ ݊ݑିଵ
Differentiation ݀ݑ
Formula or
݀ሾݑ ሿ ൌ ݊ݑିଵ ݀ݑ
Logarithmic Integrals
ͳ
න ݀ ݑൌ ݑ ܥ , ݑ Ͳ
ݑ
Integration ͳ
න ݀ ݑൌ ሺെݑሻ ܥ , ݑ൏ Ͳ
Formula ݑ
ͳ
න ݀ ݑൌ ȁݑȁ ܥ ,Ͳ ് ݑ
ݑ
Page 44 of 110
Vision: A globally competitive university for science, technology, and environmental conservation.
Mission: Development of a highly competitive human resource, cutting-edge scientific knowledge TP-IMD-02
V0 07-15-2020
and innovative technologies for sustainable communities and environment.
No. CET.ESC SLG20-03
For instructional purposes only • 1st Semester SY 2020-2021 45
݀ ͳ
ሾ ݑሿ ൌ
Differentiation ݀ݑ ݑ
Or
Formula ͳ
݀ሾ ݑሿ ൌ ݀ݑ
ݑ
Exponential Integrals
Integration ܽ௨
න ܽ௨ ݀ ݑൌ ܥ
Formula ܽ
݀ ௨
ሾܽ ሿ ൌ ሺ ܽሻܽ௨
Differentiation ݀ݑ
Formula Or
݀ሾܽ௨ ሿ ൌ ሺ ܽሻܽ௨ ݀ݑ
Integration න ݁ ௨ ݀ ݑൌ ݁ ௨ ܥ
Formula
݀ ௨
ሾ݁ ሿ ൌ ݁ ௨
Differentiation ݀ݑ
Formula Or
݀ሾ݁ ௨ ሿ ൌ ݁ ௨ ݀ݑ
Trigonometric Integrals
Integration
න
ݑ݀ ݑൌ ݑ ܥ
Formula
݀
ሾ ݑሿ ൌ
ݑ
Differentiation ݀ݑ
Formula or
݀ሾ ݑሿ ൌ
ݑ݀ ݑ
Integration න ݑ݀ ݑൌ െ
ݔ ܥ
Formula
݀
ሾ
ݑሿ ൌ െ ݑ
Differentiation ݀ݑ
Formula or
݀ሾ
ݑሿ ൌ െ ݑ݀ ݑ
Integration
න
ଶ ݑ݀ ݑൌ ݑ ܥ
Formula
݀
ሾ ݑሿ ൌ
ଶ ݑ
Differentiation ݀ݑ
Formula or
݀ሾ ݑሿ ൌ
ଶ ݑ݀ ݑ
Integration
න
ଶ ݑ݀ ݑൌ െ
ݑ ܥ
Formula
݀
ሾ
ݑሿ ൌ െ
ଶ ݑ
Differentiation ݀ݑ
Formula or
݀ሾ
ݑሿ ൌ െ
ଶ ݑ݀ ݑ
Integration
න
ݑ݀ ݑ ݑൌ
ݑ ܥ
Formula
݀
ሾ
ݑሿ ൌ
ݑ ݑ
Differentiation ݀ݑ
Formula or
݀ሾ
ݑሿ ൌ
ݑ݀ ݑ ݑ
Page 45 of 110
Vision: A globally competitive university for science, technology, and environmental conservation.
Mission: Development of a highly competitive human resource, cutting-edge scientific knowledge TP-IMD-02
V0 07-15-2020
and innovative technologies for sustainable communities and environment.
No. CET.ESC SLG20-03
46 ESci 113: Calculus for Engineers II
Integration
න
ݑ݀ ݑ
ݑൌ െ
ݑ ܥ
Formula
݀
ሾ
ݑሿ ൌ െ
ݑ
ݑ
Differentiation ݀ݑ
Formula or
݀ሾ
ݑሿ ൌ െ
ݑ݀ ݑ
ݑ
Inverse Trigonometric Integrals
Integration ݀ݑ ݑ ܽͲ
න ൌ
ܥǡ
Formula ξܽଶ െ ݑଶ ܽ ܽ is a constant
݀ ͳ
ሾ
ݕሿ ൌ
݀ݕ ඥͳ െ ݕଶ
Differentiation
or (i)
Formula ͳ
݀ሾ
ݕሿ ൌ ݀ݕ
ඥͳ െ ݕଶ
Proof Let
ݑ
ݕൌ (ii)
ܽ
݀ͳ ݕ
ൌ
݀ܽ ݑ
ͳ
݀ ݕൌ ݀ݑ (iii)
ܽ
Substitute (ii) and (iii) into (i)
ݑ ͳ ͳ
݀ ቂ
ቃ ൌ ൬ ݀ݑ൰
ܽ ଶ ܽ
ටͳ െ ቀݑቁ
ܽ
ݑ ͳ ͳ
݀ ቂ
ቃ ൌ ൬ ൰ ݀ݑ
ܽ ଶ ܽ
ටͳ െ ݑଶ
ܽ
ݑ ͳ ͳ
݀ ቂ
ቃ ൌ ൬ ൰ ݀ݑ
ܽ ܽଶ െ ݑଶ ܽ
ට
ܽଶ
ݑ ͳ ͳ
݀ ቂ
ቃ ൌ ൬ ൰ ݀ݑ
ܽ ͳ ଶ െ ݑଶ ܽ
ܽ ξܽ
ݑ ݀ݑ
݀ ቂ
ቃ ൌ
ܽ ξܽଶ െ ݑଶ
Integration െ݀ݑ ݑ ܽͲ
න ൌ
ܥ
Formula ξܽଶ െ ݑଶ ܽ ܽ is a constant
݀ ͳ ݀ݕ
ሾ
ݕሿ ൌ ଶ or
݀ݔ ܽ ݕଶ ݀ݔ
Differentiation ͳ
݀ሾ
ݕሿ ൌ ଶ ݀ݕ or
Formula ܽ ݕଶ
ݑ െ݀ݑ
݀ ቂ
ቃ ൌ
ܽ ξܽଶ െ ݑଶ
Page 46 of 110
Vision: A globally competitive university for science, technology, and environmental conservation.
Mission: Development of a highly competitive human resource, cutting-edge scientific knowledge TP-IMD-02
V0 07-15-2020
and innovative technologies for sustainable communities and environment.
No. CET.ESC SLG20-03
For instructional purposes only • 1st Semester SY 2020-2021 47
ͳ
݀ ݕൌ ݀ݑ (iii)
ܽ
Substitute (ii) and (iii) into (i)
ݑ ͳ ͳ
݀ ቂ
ቃ ൌ ൬ ݀ݑ൰
ܽ ݑଶ ܽ
ͳቀ ቁ
ܽ
ݑ ͳ ͳ
݀ ቂ
ቃ ൌ ଶ ൬ ൰ ݀ݑ
ܽ ܽ ݑଶ ܽ
ܽଶ
ݑ ͳ ܽଶ
݀ ቂ
ቃ ൌ ή ଶ ݀ݑ
ܽ ܽ ܽ ݑଶ
ݑ ܽ
݀ ቂ
ቃ ൌ ଶ ݀ݑ
ܽ ܽ ݑଶ
Divide both sides by ܽ
ͳ ݑ ݀ݑ
ή ݀ ቂ
ቃ ൌ ଶ
ܽ ܽ ܽ ݑଶ
Applying formulas from Table 3 on the left side
of equation
ͳ ݑ ݀ݑ
݀
൨ ൌ ଶ
ܽ ܽ ܽ ݑଶ
Integration െ݀ݑ ͳ ݑ ܽͲ
න ଶ ൌ
ܥ
Formula ܽ ݑଶ ܽ ܽ ܽ is a constant
݀ ͳ ݀ݕ
ሾ
ݕሿ ൌ ଶ or
݀ݔ ܽ ݕଶ ݀ݔ
Differentiation ͳ
݀ሾ
ݕሿ ൌ ଶ ݀ݕ or
Formula ܽ ݕଶ
ͳ ݑ െ݀ݑ
݀
൨ ൌ ଶ
ܽ ܽ ܽ ݑଶ
Integration ݀ݑ ͳ ݑ ܽͲ
න ൌ
ܥ ܽ is a constant
Formula ଶ
ݑξ ݑെ ܽ ଶ ܽ ܽ
݀ ͳ ݀ݕ (i)
ሾ
ݕሿ ൌ
݀ݔ ݑξ ݑെ ͳ ݀ݔ
ଶ
Differentiation or
Formula ͳ
݀ሾ
ݕሿ ൌ ݀ݕ
ݑξݑଶ െ ͳ
Proof Let
Page 47 of 110
Vision: A globally competitive university for science, technology, and environmental conservation.
Mission: Development of a highly competitive human resource, cutting-edge scientific knowledge TP-IMD-02
V0 07-15-2020
and innovative technologies for sustainable communities and environment.
No. CET.ESC SLG20-03
48 ESci 113: Calculus for Engineers II
ݑ (ii)
ݕൌ
ܽ
ͳ (iii)
݀ ݕൌ ݀ݑ
ܽ
Substitute (ii) and (iii) into (i)
ݑ ͳ ͳ
݀ ቂ
ቃ ൌ ൬ ݀ݑ൰
ܽ ݑට ݑ ଶ ܽ
െͳ
ܽ ቀܽ ቁ
ݑ ͳ ͳ
݀ ቂ
ቃ ൌ ൬ ൰ ݀ݑ
ܽ ଶ
ݑට ݑെ ܽ ଶ ܽ
ܽ ܽଶ
ݑ ͳ ͳ
݀ ቂ
ቃ ൌ ൬ ൰ ݀ݑ
ܽ ͳ െ ݑଶ ܽଶ ܽ
ݑή ට
ܽ ܽଶ
ݑ ݀ݑ
݀ ቂ
ቃ ൌ
ܽ ͳ ଶ
ݑξ ݑെ ܽଶ
ܽ
ଵ
Multiply both sides by
ͳ ݑ ݀ݑ
ή ݀ ቂ
ቃ ൌ
ܽ ܽ ݑξݑଶ െ ܽଶ
Applying formulas from Table 3 on the left side
of equation
ͳ ݑ ݀ݑ
݀
൨ ൌ
ܽ ܽ ݑξݑଶ െ ܽଶ
Integration െ݀ݑ ͳ ݑ ܽͲ
න ൌ
ܥ
Formula ݑξݑଶ െ ܽଶ ܽ ܽ ܽ is a constant
݀ െͳ ݀ݕ or
ሾ
ݕሿ ൌ
݀ݔ ݑξݑଶ െ ͳ ݀ݔ
Differentiation െͳ or
݀ሾ
ݕሿ ൌ ݀ݕ
Formula ݑξݑଶ െ ͳ
ͳ ݑ െ݀ݑ
݀
൨ ൌ
ܽ ܽ ݑξݑଶ െ ܽଶ
Integration by Parts
Integration
න ݒ݀ݑൌ ݒݑെ න ݑ݀ݒ
Formula
Product Rule
݀ ݀ݒ ݀ݑ
ሾݒݑሿ ൌ ݑ ݒ or
݀ݔ ݀ݔ ݀ݔ
Differentiation
Formula ݀ሾݒݑሿ ൌ ݒ݀ݑ ݑ݀ݒ
Rearranging the terms
ݒ݀ݑൌ ݀ሾݒݑሿ െ ݑ݀ݒ
Hyperbolic Functions
Integration
න ݑ݀ ݑൌ
ݑ ܥ
Formula
Page 48 of 110
Vision: A globally competitive university for science, technology, and environmental conservation.
Mission: Development of a highly competitive human resource, cutting-edge scientific knowledge TP-IMD-02
V0 07-15-2020
and innovative technologies for sustainable communities and environment.
No. CET.ESC SLG20-03
For instructional purposes only • 1st Semester SY 2020-2021 49
Differentiation ݀
ሾ
ݑሿ ൌ ݑ
Formula ݀ݔ
Integration
න
ݑ݀ ݑൌ ݑ ܥ
Formula
Differentiation ݀
ሾ ݑሿ ൌ
ݑ
Formula ݀ݔ
Example 1.6
Solution:
The constants can be readily transferred to the left side of the integral sign
(or outside the integral)
ߨ ߨ
a) න ݔ݀ ݔൌ න ݔ݀ ݔ
ʹ ʹ
Except for the variable of integration, the indefinite integral matches on
the of the fundamental trigonometric integrals
ߨ
ൌ ή ሺെ
ݔሻ
ʹ
The antiderivative of the integrand has been identified according to the
integration formula. Now to express the general antiderivative or the
indefinite integral, we add the arbitrary constant ܥ
ߨ ߨ
න ݔ݀ ݔ ൌ െ
ݔ ܥ
ʹ ʹ
b) න ͷݔ݀ݔ ൌ ͷ න ݔ݀ݔ
Using the Power Rule since the form of the integrand fits it
ݔଶ
ൌ ͷή
ʹ
The antiderivative of the integrand has been identified, now to complete
the indefinite integral. Let us add ܥ
ͷ ଶ
න ͷݔ݀ݔ ൌ ݔܥ
ʹ
ߨ
c) ͵ න ݔଶ ݀ ݔെ න ݔ݀ ݔ න ݁ ௫ ݀ݔ ൌ
Using Power Rule in the first term
ݔଷ ߨ
ൌ ͵ڄ െ න ݔ݀ ݔ න ݁ ௫ ݀ݔ
͵
Page 49 of 110
Vision: A globally competitive university for science, technology, and environmental conservation.
Mission: Development of a highly competitive human resource, cutting-edge scientific knowledge TP-IMD-02
V0 07-15-2020
and innovative technologies for sustainable communities and environment.
No. CET.ESC SLG20-03
50 ESci 113: Calculus for Engineers II
Example 1.7
Solution:
The integrand almost fits the formula for Arctan indefinite integral except
that there is the constant 5 at the numerator and Ͷ in the denominator is not
an ܽଶ .
Now the integrand fits the Arctangent integral, where ݑൌ ݔ, ܽ ൌ ʹ, and
݀ ݑൌ ݀ݔ. Now we use the integration formula to determine the
antiderivative of the integrand,
ͳ ݔ
ൌ ͷ ή
ʹ ʹ
Page 50 of 110
Vision: A globally competitive university for science, technology, and environmental conservation.
Mission: Development of a highly competitive human resource, cutting-edge scientific knowledge TP-IMD-02
V0 07-15-2020
and innovative technologies for sustainable communities and environment.
No. CET.ESC SLG20-03
For instructional purposes only • 1st Semester SY 2020-2021 51
ͷ ͷ ݔ
න ݀ݔ ൌ
ܥ
ݔଶ Ͷ ʹ ʹ
Assessment
Evaluate the following indefinite integrals
ʹ݁ ଶ௫
1. නሺʹ ʹ ଶ ݔሻ ݀ݔ 2. න ݀ݔ
݁௫
ʹ ݔ݀ݔ
5. න ݀ݔ 6. න
ξͻ െ ݔଶ ݔଶ ξ ݔଶ െ ͳ
ݔ
7. න ݀ݔ 8. නሺ͵ ଼ ݔെ ʹ ݔ ݔଶ െ ͳሻ݀ݔ
ξ ݔଶ െ ݔସ
Osborne, G.A. (1906). Differential and Integral Calculus: With Examples and Application,
Revised Ed. D.C. Heath & Co., Publishers, Boston, USA.
Page 51 of 110
Vision: A globally competitive university for science, technology, and environmental conservation.
Mission: Development of a highly competitive human resource, cutting-edge scientific knowledge TP-IMD-02
V0 07-15-2020
and innovative technologies for sustainable communities and environment.
No. CET.ESC SLG20-03