{"id":3183,"date":"2024-06-13T17:26:08","date_gmt":"2024-06-13T17:26:08","guid":{"rendered":"https:\/\/content.one.lumenlearning.com\/calculus1\/?post_type=chapter&p=3183"},"modified":"2024-08-05T13:34:50","modified_gmt":"2024-08-05T13:34:50","slug":"antiderivatives-learn-it-2","status":"publish","type":"chapter","link":"https:\/\/content.one.lumenlearning.com\/calculus1\/chapter\/antiderivatives-learn-it-2\/","title":{"raw":"Antiderivatives: Learn It 2","rendered":"Antiderivatives: Learn It 2"},"content":{"raw":"

Indefinite Integrals<\/h2>\r\n

We now look at the formal notation used to represent antiderivatives and examine some of their properties. These properties allow us to find antiderivatives of more complicated functions.<\/p>\r\n

Given a function [latex]f[\/latex], we use the notation [latex]f^{\\prime}(x)[\/latex] or [latex]\\frac{df}{dx}[\/latex] to denote the derivative of [latex]f[\/latex]. Here we introduce notation for antiderivatives.<\/p>\r\n

If [latex]F[\/latex] is an antiderivative of [latex]f[\/latex], we say that [latex]F(x)+C[\/latex] is the most general antiderivative of [latex]f[\/latex] and write<\/p>\r\n

[latex]\\displaystyle\\int f(x) dx=F(x)+C[\/latex]<\/div>\r\n

The symbol [latex]\\displaystyle\\int [\/latex] is called an integral sign<\/em>, and [latex]\\displaystyle\\int f(x) dx[\/latex] is called the indefinite integral<\/strong> of [latex]f[\/latex].<\/p>\r\n

\r\n
\r\n

indefinite integral<\/h3>\r\n\r\nGiven a function [latex]f[\/latex], the indefinite integral<\/strong> of [latex]f[\/latex], denoted<\/div>\r\n
[latex]\\displaystyle\\int f(x) dx[\/latex],<\/div>\r\n
\u00a0<\/div>\r\n

is the most general antiderivative of [latex]f[\/latex]. If [latex]F[\/latex] is an antiderivative of [latex]f[\/latex], then<\/p>\r\n

[latex]\\displaystyle\\int f(x) dx=F(x)+C[\/latex]<\/div>\r\n
\u00a0<\/div>\r\n

The expression [latex]f(x)[\/latex] is called the integrand<\/em> and the variable [latex]x[\/latex] is the variable of integration<\/em>.<\/p>\r\n<\/section>\r\n

Given the terminology introduced in this definition, the act of finding the antiderivatives of a function [latex]f[\/latex] is usually referred to as integrating<\/em> [latex]f[\/latex].<\/p>\r\n

For a function [latex]f[\/latex] and an antiderivative [latex]F[\/latex], the functions [latex]F(x)+C[\/latex], where [latex]C[\/latex] is any real number, is often referred to as the family of antiderivatives of<\/em> [latex]f[\/latex].<\/p>\r\n

\r\n

Since [latex]x^2[\/latex] is an antiderivative of [latex]2x[\/latex] and any antiderivative of [latex]2x[\/latex] is of the form [latex]x^2+C[\/latex], we write<\/p>\r\n

[latex]\\displaystyle\\int 2x dx=x^2+C[\/latex]<\/div>\r\n
\r\n

The collection of all functions of the form [latex]x^2+C[\/latex], where [latex]C[\/latex] is any real number, is known as the family of antiderivatives of<\/em> [latex]2x[\/latex]. Figure 1 shows a graph of this family of antiderivatives.<\/p>\r\n\r\n[caption id=\"\" align=\"aligncenter\" width=\"646\"]\"The Figure 1. The family of antiderivatives of [latex]2x[\/latex] consists of all functions of the form [latex]x^2+C[\/latex], where [latex]C[\/latex] is any real number.[\/caption]\r\n<\/div>\r\n<\/section>\r\n

For some functions, evaluating indefinite integrals follows directly from properties of derivatives.<\/p>\r\n

\r\n

For [latex]n \\ne \u22121[\/latex],<\/p>\r\n

[latex]\\displaystyle\\int x^n dx=\\dfrac{x^{n+1}}{n+1}+C[\/latex],<\/div>\r\n

 <\/p>\r\n

which comes directly from<\/p>\r\n

[latex]\\frac{d}{dx}\\left(\\dfrac{x^{n+1}}{n+1}\\right)=(n+1)\\dfrac{x^n}{n+1}=x^n[\/latex]<\/div>\r\n<\/section>\r\n

This fact is known as the power rule for integrals<\/em>.<\/p>\r\n

\r\n

power rule for integrals<\/h3>\r\n

For [latex]n \\ne \u22121[\/latex],<\/p>\r\n

[latex]\\displaystyle\\int x^n dx=\\dfrac{x^{n+1}}{n+1}+C[\/latex]<\/div>\r\n<\/section>\r\n

Evaluating indefinite integrals for some other functions is also a straightforward calculation. The following table lists the indefinite integrals for several common functions.\u00a0<\/p>\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n
Integration Formulas<\/caption>\r\n
Differentiation Formula<\/th>\r\nIndefinite Integral<\/th>\r\n<\/tr>\r\n<\/thead>\r\n
[latex]\\frac{d}{dx}(k)=0[\/latex]<\/td>\r\n[latex]\\displaystyle\\int kdx=\\displaystyle\\int kx^0 dx=kx+C[\/latex]<\/td>\r\n<\/tr>\r\n
[latex]\\frac{d}{dx}(x^n)=nx^{n-1}[\/latex]<\/td>\r\n[latex]\\displaystyle\\int x^n dx=\\frac{x^{n+1}}{n+1}+C[\/latex] for [latex]n\\ne \u22121[\/latex]<\/td>\r\n<\/tr>\r\n
[latex]\\frac{d}{dx}(\\ln |x|)=\\frac{1}{x}[\/latex]<\/td>\r\n[latex]\\displaystyle\\int \\frac{1}{x}dx=\\ln |x|+C[\/latex]<\/td>\r\n<\/tr>\r\n
[latex]\\frac{d}{dx}(e^x)=e^x[\/latex]<\/td>\r\n[latex]\\displaystyle\\int e^x dx=e^x+C[\/latex]<\/td>\r\n<\/tr>\r\n
[latex]\\frac{d}{dx}(\\sin x)= \\cos x[\/latex]<\/td>\r\n[latex]\\displaystyle\\int \\cos x dx= \\sin x+C[\/latex]<\/td>\r\n<\/tr>\r\n
[latex]\\frac{d}{dx}(\\cos x)=\u2212 \\sin x[\/latex]<\/td>\r\n[latex]\\displaystyle\\int \\sin x dx=\u2212 \\cos x+C[\/latex]<\/td>\r\n<\/tr>\r\n
[latex]\\frac{d}{dx}(\\tan x)= \\sec^2 x[\/latex]<\/td>\r\n[latex]\\displaystyle\\int \\sec^2 x dx= \\tan x+C[\/latex]<\/td>\r\n<\/tr>\r\n
[latex]\\frac{d}{dx}(\\csc x)=\u2212\\csc x \\cot x[\/latex]<\/td>\r\n[latex]\\displaystyle\\int \\csc x \\cot x dx=\u2212\\csc x+C[\/latex]<\/td>\r\n<\/tr>\r\n
[latex]\\frac{d}{dx}(\\sec x)= \\sec x \\tan x[\/latex]<\/td>\r\n[latex]\\displaystyle\\int \\sec x \\tan x dx= \\sec x+C[\/latex]<\/td>\r\n<\/tr>\r\n
[latex]\\frac{d}{dx}(\\cot x)=\u2212\\csc^2 x[\/latex]<\/td>\r\n[latex]\\displaystyle\\int \\csc^2 x dx=\u2212\\cot x+C[\/latex]<\/td>\r\n<\/tr>\r\n
[latex]\\frac{d}{dx}( \\sin^{-1} x)=\\frac{1}{\\sqrt{1-x^2}}[\/latex]<\/td>\r\n[latex]\\displaystyle\\int \\frac{1}{\\sqrt{1-x^2}} dx= \\sin^{-1} x+C[\/latex]<\/td>\r\n<\/tr>\r\n
[latex]\\frac{d}{dx}(\\tan^{-1} x)=\\frac{1}{1+x^2}[\/latex]<\/td>\r\n[latex]\\displaystyle\\int \\frac{1}{1+x^2} dx= \\tan^{-1} x+C[\/latex]<\/td>\r\n<\/tr>\r\n
[latex]\\frac{d}{dx}(\\sec^{-1} |x|)=\\frac{1}{x\\sqrt{x^2-1}}[\/latex]<\/td>\r\n[latex]\\displaystyle\\int \\frac{1}{x\\sqrt{x^2-1}} dx= \\sec^{-1} |x|+C[\/latex]<\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\n
\r\n

From the definition of indefinite integral of [latex]f[\/latex], we know<\/p>\r\n

[latex]\\displaystyle\\int f(x) dx=F(x)+C[\/latex]<\/div>\r\n

if and only if [latex]F[\/latex] is an antiderivative of [latex]f[\/latex]. Therefore, when claiming that<\/p>\r\n

[latex]\\displaystyle\\int f(x) dx=F(x)+C[\/latex]<\/div>\r\n

it is important to check whether this statement is correct by verifying that [latex]F^{\\prime}(x)=f(x)[\/latex].<\/p>\r\n<\/section>\r\n

\r\n

Each of the following statements is of the form [latex]\\displaystyle\\int f(x) dx=F(x)+C[\/latex]. Verify that each statement is correct by showing that [latex]F^{\\prime}(x)=f(x)[\/latex].<\/p>\r\n

    \r\n\t
  1. [latex]\\displaystyle\\int (x+e^x) dx=\\dfrac{x^2}{2}+e^x+C[\/latex]<\/li>\r\n\t
  2. [latex]\\displaystyle\\int xe^xdx=xe^x-e^x+C[\/latex]<\/li>\r\n<\/ol>\r\n\r\n[reveal-answer q=\"fs-id1165042710847\"]Show Solution[\/reveal-answer]
    \r\n[hidden-answer a=\"fs-id1165042710847\"]\r\n\r\n
      \r\n\t
    1. Since
      \r\n
      [latex]\\frac{d}{dx}\\left(\\frac{x^2}{2}+e^x+C\\right)=x+e^x[\/latex],<\/div>\r\n

      the statement<\/p>\r\n

      [latex]\\displaystyle\\int (x+e^x)dx=\\frac{x^2}{2}+e^x+C[\/latex]<\/div>\r\n

      is correct.
      \r\nNote that we are verifying an indefinite integral for a sum. Furthermore, [latex]\\frac{x^2}{2}[\/latex] and [latex]e^x[\/latex] are antiderivatives of [latex]x[\/latex] and [latex]e^x[\/latex], respectively, and the sum of the antiderivatives is an antiderivative of the sum. We discuss this fact again later in this section.<\/p>\r\n<\/li>\r\n\t

    2. Using the product rule, we see that
      \r\n
      [latex]\\frac{d}{dx}(xe^x-e^x+C)=e^x+xe^x-e^x=xe^x[\/latex]<\/div>\r\n

      Therefore, the statement<\/p>\r\n

      [latex]\\displaystyle\\int xe^x dx=xe^x-e^x+C[\/latex]<\/div>\r\n

      is correct.
      \r\nNote that we are verifying an indefinite integral for a product. The antiderivative [latex]xe^x-e^x[\/latex] is not a product of the antiderivatives. Furthermore, the product of antiderivatives, [latex]x^2 e^x\/2[\/latex] is not an antiderivative of [latex]xe^x[\/latex] since<\/p>\r\n

      [latex]\\frac{d}{dx}\\left(\\frac{x^2e^x}{2}\\right)=xe^x+\\frac{x^2e^x}{2} \\ne xe^x[\/latex].<\/div>\r\n

      In general, the product of antiderivatives is not an antiderivative of a product.<\/p>\r\n<\/li>\r\n<\/ol>\r\n

      [\/hidden-answer]<\/p>\r\n<\/section>\r\n

      Earlier, we listed the indefinite integrals for many elementary functions. Let\u2019s now turn our attention to evaluating indefinite integrals for more complicated functions.<\/p>\r\n

      For example, consider finding an antiderivative of a sum [latex]f+g[\/latex]. In the last example. we showed that an antiderivative of the sum [latex]x+e^x[\/latex] is given by the sum [latex](\\frac{x^2}{2})+e^x[\/latex]\u2014that is, an antiderivative of a sum is given by a sum of antiderivatives. This result was not specific to this example.<\/p>\r\n

      In general, if [latex]F[\/latex] and [latex]G[\/latex] are antiderivatives of any functions [latex]f[\/latex] and [latex]g[\/latex], respectively, then<\/p>\r\n

      [latex]\\frac{d}{dx}(F(x)+G(x))=F^{\\prime}(x)+G^{\\prime}(x)=f(x)+g(x)[\/latex]<\/div>\r\n

      Therefore, [latex]F(x)+G(x)[\/latex] is an antiderivative of [latex]f(x)+g(x)[\/latex] and we have<\/p>\r\n

      [latex]\\displaystyle\\int (f(x)+g(x)) dx=F(x)+G(x)+C[\/latex]<\/div>\r\n

      Similarly,<\/p>\r\n

      [latex]\\displaystyle\\int (f(x)-g(x)) dx=F(x)-G(x)+C[\/latex]<\/div>\r\n

      In addition, consider the task of finding an antiderivative of [latex]kf(x)[\/latex], where [latex]k[\/latex] is any real number. Since<\/p>\r\n

      [latex]\\frac{d}{dx}(kf(x))=k\\frac{d}{dx}F(x)=kF^{\\prime}(x)[\/latex]<\/div>\r\n

      for any real number [latex]k[\/latex], we conclude that<\/p>\r\n

      [latex]\\displaystyle\\int kf(x) dx=kF(x)+C[\/latex]<\/div>\r\n

      These properties are summarized next.<\/p>\r\n

      \r\n

      properties of indefinite integrals<\/h3>\r\n

      Let [latex]F[\/latex] and [latex]G[\/latex] be antiderivatives of [latex]f[\/latex] and [latex]g[\/latex], respectively, and let [latex]k[\/latex] be any real number.<\/p>\r\n

       <\/p>\r\n

      Sums and Differences<\/strong><\/p>\r\n

      [latex]\\displaystyle\\int (f(x) \\pm g(x)) dx=F(x) \\pm G(x)+C[\/latex]<\/div>\r\n

       <\/p>\r\n

      Constant Multiples<\/strong><\/p>\r\n

      [latex]\\displaystyle\\int kf(x) dx=kF(x)+C[\/latex]<\/div>\r\n<\/section>\r\n

      From this theorem, we can evaluate any integral involving a sum, difference, or constant multiple of functions with antiderivatives that are known. Evaluating integrals involving products, quotients, or compositions is more complicated. We look at and address integrals involving these more complicated functions later on in the text. In the next example, we examine how to use this theorem to calculate the indefinite integrals of several functions.<\/p>\r\n

      \r\n

      Evaluate each of the following indefinite integrals:<\/p>\r\n

        \r\n\t
      1. [latex]\\displaystyle\\int (5x^3-7x^2+3x+4) dx[\/latex]<\/li>\r\n\t
      2. [latex]\\displaystyle\\int \\frac{x^2+4\\sqrt[3]{x}}{x} dx[\/latex]<\/li>\r\n\t
      3. [latex]\\displaystyle\\int \\frac{4}{1+x^2} dx[\/latex]<\/li>\r\n\t
      4. [latex]\\displaystyle\\int \\tan x \\cos x dx[\/latex]<\/li>\r\n<\/ol>\r\n\r\n[reveal-answer q=\"fs-id1165042552215\"]Show Solution[\/reveal-answer]
        \r\n[hidden-answer a=\"fs-id1165042552215\"]\r\n\r\n
          \r\n\t
        1. Using the properties of indefinite integrals, we can integrate each of the four terms in the integrand separately. We obtain
          \r\n
          [latex]\\displaystyle\\int (5x^3-7x^2+3x+4) dx=\\displaystyle\\int 5x^3 dx-\\displaystyle\\int 7x^2 dx+\\displaystyle\\int 3x dx+\\displaystyle\\int 4 dx[\/latex]<\/div>\r\n

          From the Constant Multiples property of indefinite integrals, each coefficient can be written in front of the integral sign, which gives<\/p>\r\n

          [latex]\\displaystyle\\int 5x^3 dx-\\displaystyle\\int 7x^2 dx+\\displaystyle\\int 3x dx+\\displaystyle\\int 4 dx=5\\displaystyle\\int x^3 dx-7\\displaystyle\\int x^2 dx+3\\displaystyle\\int x dx+4\\displaystyle\\int 1 dx[\/latex]<\/div>\r\n

          Using the power rule for integrals, we conclude that<\/p>\r\n

          [latex]\\displaystyle\\int (5x^3-7x^2+3x+4) dx=\\frac{5}{4}x^4-\\frac{7}{3}x^3+\\frac{3}{2}x^2+4x+C[\/latex]<\/div>\r\n<\/li>\r\n\t
        2. Rewrite the integrand as
          \r\n
          [latex]\\frac{x^2+4\\sqrt[3]{x}}{x}=\\frac{x^2}{x}+\\frac{4\\sqrt[3]{x}}{x}[\/latex]<\/div>\r\n

          Then, to evaluate the integral, integrate each of these terms separately. Using the power rule, we have<\/p>\r\n

          [latex]\\begin{array}{ll} \\displaystyle\\int (x+\\frac{4}{x^{2\/3}}) dx & =\\displaystyle\\int x dx+4\\displaystyle\\int x^{-2\/3} dx \\\\ & =\\frac{1}{2}x^2+4\\frac{1}{(\\frac{-2}{3})+1}x^{(-2\/3)+1}+C \\\\ & =\\frac{1}{2}x^2+12x^{1\/3}+C \\end{array}[\/latex]<\/div>\r\n<\/li>\r\n\t
        3. Using the properties of indefinite integrals, write the integral as
          \r\n
          [latex]4\\displaystyle\\int \\frac{1}{1+x^2} dx[\/latex].<\/div>\r\n

          Then, use the fact that [latex] \\tan^{-1} (x)[\/latex] is an antiderivative of [latex]\\frac{1}{1+x^2}[\/latex] to conclude that<\/p>\r\n

          [latex]\\displaystyle\\int \\frac{4}{1+x^2} dx=4 \\tan^{-1} (x)+C[\/latex]<\/div>\r\n<\/li>\r\n\t
        4. Rewrite the integrand as
          \r\n
          [latex] \\tan x \\cos x=\\frac{ \\sin x}{ \\cos x} \\cos x= \\sin x[\/latex].<\/div>\r\n

          Therefore,<\/p>\r\n

          [latex]\\displaystyle\\int \\tan x \\cos x dx=\\displaystyle\\int \\sin x dx=\u2212 \\cos x+C[\/latex]<\/div>\r\n<\/li>\r\n<\/ol>\r\n

          Watch the following video to see the worked solution to this example.<\/p>\r\n