a special case of partial integration


In determining the antiderivative of a transcendental (http://planetmath.org/AlgebraicFunction) functionMathworldPlanetmath U whose derivative U′ is algebraic (http://planetmath.org/AlgebraicFunction), the result can be obtained when choosing in the formula

∫U⁢V′⁢𝑑x=U⁢V-∫V⁢U′⁢𝑑x

of integration by parts  V′≡1;  then one has

∫U⁢𝑑x=∫U⋅1⁢𝑑x=U⋅x-∫x⋅U′⁢𝑑x.

The functions U in question are mainly the logarithmMathworldPlanetmath (http://planetmath.org/NaturalLogarithm2), the cyclometric functions and the area functions.

Examples.

  1. 1.

    ∫ln⁡x⁢d⁢x=x⁢ln⁡x-∫x⋅1x⁢𝑑x=x⁢ln⁡x-x+C

  2. 2.

    ∫arcsin⁡x⁢d⁢x=x⁢arcsin⁡x-∫x⋅11-x2⁢𝑑x=x⁢arcsin⁡x+12⁢∫-2⁢x1-x2⁢𝑑x=x⁢arcsin⁡x+1-x2+C

  3. 3.

    ∫arctan⁡x⁢d⁢x=x⁢arctan⁡x-∫x⋅11+x2⁢𝑑x=x⁢arctan⁡x-12⁢∫2⁢x1+x2⁢𝑑x=x⁢arctan⁡x-12⁢ln⁡(1+x2)+C=x⁢arctan⁡x-ln⁡1+x2+C

  4. 4.

    ∫arcosh⁡x⁢d⁢x=x⁢arcosh⁡x-∫x⋅1x2-1⁢𝑑x=x⁢arcosh⁡x-x2-1+C

The choice  V′≡1  works as well in such cases as  ∫(ln⁡x)2⁢𝑑x  and  ∫ln⁡(ln⁡x)⁢𝑑x,  giving respectively  x⁢((ln⁡x)2-2⁢ln⁡x+2)+C  and  x⁢ln⁡(ln⁡x)-Li⁡x+C (see logarithmic integralDlmfDlmfMathworldPlanetmathPlanetmath). Also  ∫(arcsin⁡x)2⁢𝑑x  , requiring two integrations by parts, and giving the result  x⁢(arcsin⁡x)2+2⁢1-x2⁢arcsin⁡x-2⁢x+C.

Title a special case of partial integration
Canonical name ASpecialCaseOfPartialIntegration
Date of creation 2013-03-22 17:38:35
Last modified on 2013-03-22 17:38:35
Owner pahio (2872)
Last modified by pahio (2872)
Numerical id 11
Author pahio (2872)
Entry type Feature
Classification msc 26A36
Related topic IntegralTables