Sum rule in integration

In calculus the sum rule in integration states that the integral of a sum of two functions is equal to the sum of their integrals. It is of particular use for the integration of sums, and is one part of the linearity of integration.

As with many properties of integrals in calculus, the sum rule applies both to definite integrals and indefinite integrals. For indefinite integrals, the sum rule states

:$int\; left(f\; +\; g\; ight)\; ,dx\; =\; int\; f\; ,dx\; +\; int\; g\; ,dx$

Application to indefinite integrals

For example, if you know that the integral of exp(x) is exp(x) from calculus with exponentials and that the integral of cos(x) is sin(x) from calculus with trigonometry then:

:$int\; left(e^x\; +\; cos\{x\}\; ight)\; ,dx\; =\; int\; e^x\; ,dx\; +\; int\; cos\{x\}\; ,dx\; =\; e^x\; +\; sin\{x\}\; +\; C$

Some other general results come from this rule. For example:

The proof above relied on the special case of the constant factor rule in integration with k=-1.

Thus, the sum rule might be written as:

:$int\; u\; pm\; v\; ,dx\; =\; int\; u,\; dx\; pm\; int\; v,\; dx$

Another basic application is that sigma and integral signs can be changed around. That is:

:$int\; sum^b\_\{r=a\}\; fleft(r,x\; ight),\; dx\; =\; sum^b\_\{r=a\}\; int\; fleft(r,x\; ight)\; ,dx$

This is simply because:

:$int\; sum^b\_\{r=a\}\; f(r,x),\; dx$:$=\; int\; fleft(a,x\; ight)\; +\; f((a+1),x)\; +\; f((a+2),x)\; +\; dots$::::::$+\; f((b-1),x)\; +\; f(b,x),\; dx$:$=\; int\; f(a,x),dx\; +\; int\; f((a+1),x),\; dx\; +\; int\; f((a+2),x)\; ,dx\; +\; dots$::::::$+\; int\; f((b-1),x),\; dx\; +\; int\; f(b,x),\; dx$:$=\; sum^b\_\{r=a\}\; int\; f(r,x),\; dx$

Since the integral is similar to a sum anyway, this is hardly surprising.

Application to definite integrals

Passing from the case of indefinite integrals to the case of integrals over an interval [a,b] , we get exactly the same form of rule (the arbitrary constant of integration disappears).

The proof of the rule

First note that from the definition of integration as the antiderivative, the reverse process of differentiation:

:$u\; =\; int\; frac\{du\}\{dx\}\; ,dx$:$v\; =\; int\; frac\{dv\}\{dx\}\; ,dx$

Adding these,

:$u\; +\; v\; =\; int\; frac\{du\}\{dx\}\; ,dx\; +\; int\; frac\{dv\}\{dx\}\; ,dx\; quad\; mbox\{(1)\}$

Now take the sum rule in differentiation:

:$frac\{d\}\{dx\}\; left(u+v\; ight)\; =\; frac\{du\}\{dx\}\; +\; frac\{dv\}\{dx\}$

Integrate both sides with respect to x:

:$u\; +\; v\; =\; int\; frac\{du\}\{dx\}\; +\; frac\{dv\}\{dx\}\; ,dx\; quad\; mbox\{(2)\}$

So we have, looking at (1) and (2):

:$u+v\; =\; int\; frac\{du\}\{dx\}\; ,dx\; +\; int\; frac\{dv\}\{dx\},dx$:$u+v\; =\; int\; frac\{du\}\{dx\}\; +\; frac\{dv\}\{dx\}\; ,dx$

Therefore:

:$int\; frac\{du\}\{dx\}\; +\; frac\{dv\}\{dx\}\; ,dx\; =\; int\; frac\{du\}\{dx\}\; ,dx\; +\; int\; frac\{dv\}\{dx\}\; ,dx$

Now substitute:

:$f\; =\; frac\{du\}\{dx\}$:$g\; =\; frac\{dv\}\{dx\}$