The integral of from to does not match a basic antiderivative as it stands, but its denominator factors as . A fraction over a product of distinct linear factors can be written as a sum of simpler fractions, one over each factor, and each of those integrates to a logarithm. This page shows how to find the coefficients exactly, why the zeros of the denominator have to lie outside the interval of integration, and how the pieces combine to the value .
Key terms
Rational function
Definition A rational function is a quotient of polynomials and with real coefficients, where is not the zero polynomial. It is defined at every real with and is continuous there. It is proper when . When , polynomial long division gives polynomials and with , where or , so that is a polynomial plus a proper rational function.
In plain words A rational function is a fraction of polynomials. Its domain leaves out the zeros of the denominator, and partial fractions apply only once the numerator has smaller degree than the denominator, which long division arranges.
Example The integrand is proper, with a numerator of degree and a denominator of degree , and it is defined for every real except and . The function is not proper. Division gives , so
and only the remainder needs to be split into partial fractions.
Partial fraction decomposition
Definition Let be a proper rational function with real coefficients, and factor over the reals as a constant times powers of distinct linear factors and of distinct irreducible quadratic factors , those with . Then is a sum of the following terms, with real constants that are uniquely determined. A factor contributes
and a factor contributes
The identity holds at every with . When is a constant times a product of distinct linear factors , the decomposition is a sum of terms .
In plain words The decomposition undoes the addition of fractions. Each factor of the denominator gets its own simple fractions, a repeated factor gets one fraction for every power up to its multiplicity, and an irreducible quadratic gets a linear numerator. By linearity, each simple fraction can then be integrated on its own.
Example The integrand of the integral from to is proper, and has two distinct linear factors. Its zeros and lie outside , so the integrand is continuous on the interval. Write
Multiplying by gives , so and , which gives and . Hence
and at the right side is , which matches . On both and are positive, so the logarithms need no absolute values, and
which is about . As a check, the integrand decreases from at to at , so the integral over this interval of length lies between and .
Comparing coefficients
Definition Two polynomials that take equal values at infinitely many real have the same coefficient for every power of , because their difference has infinitely many roots and must be the zero polynomial. After a proposed decomposition of is multiplied by , both sides are polynomials that agree wherever , which is all but finitely many . So their coefficients agree, and equating the coefficients of each power of gives a linear system for the unknown constants. Because the cleared identity then holds for every real , it may also be evaluated at a zero of , which often isolates one constant at a time. The original rational function is still undefined at that zero.
In plain words Clear the denominators, then match the terms, the terms and the constants on the two sides. Plugging in a zero of the denominator is a shortcut that works on the cleared polynomial identity, not on the original fraction.
Example To split , write it as and clear the denominators,
Matching the coefficients gives and , so and . The shortcut agrees. At the identity reads , and at it reads . Hence
and at both sides equal . In the integral from to , the same shortcut applied to gives at and at , the constants found by matching coefficients, although itself has no value at either point.
Logarithmic antiderivative
Definition For a constant , the function is differentiable at every , with derivative . So on each interval that does not contain ,
and more generally, for constants and , an antiderivative of on each interval where is . The constant of integration may differ on the two sides of the zero. On an interval where the argument is positive the absolute value may be dropped, and for positive and the identity holds.
In plain words Each simple fraction integrates to times a logarithm. The absolute value makes the formula correct on either side of , and the logarithm of a quotient combines the two logarithms of a decomposition into one.
Example On an antiderivative of is
Its values and are both negative, yet is positive, so the sign of an antiderivative says nothing about the sign of the integral. The arguments are divided, , never subtracted inside one logarithm, which would give . Differentiating confirms the coefficients, since for . A linear factor with another slope brings its own coefficient, so the antiderivatives of on each side of are .
Poles outside the interval
Definition Let be a rational function in lowest terms, so that and have no common factor of positive degree. Its real poles are the real zeros of . If no zero of lies in , then is continuous on , and for every antiderivative of on an open interval containing ,
If a pole lies in , inside or at an endpoint, the integral is improper and diverges. Near the function has the form with , continuous and , and comparison with the integral of , which diverges over every interval with endpoint , shows that the integral of diverges. In that case is not the value of the integral.
In plain words Factoring shows where the denominator vanishes, but it does not remove those points from the domain. If they stay outside the interval, the integral is an ordinary one and endpoint subtraction is valid. If one lies in the interval, the region next to it has infinite area, and the logarithm formula hides that.
Example For the poles are and , both outside , which is why the integral from to can be evaluated by subtraction. On the pole lies inside. Subtracting anyway gives , a number attached to an integral that diverges. For the factor is at most , so
and the integral of from to diverges. The integral of across behaves the same way. The difference is not the value of , which diverges.
Check yourself
- Evaluate the integral below with partial fractions.
Show the answer
The denominator factors as , and its zeros and lie outside . From , the value gives and the value gives . Both factors are positive on , so
The integrand decreases from to over an interval of length , so the value must lie between and , and it does.
- Evaluate the integral below. Why does a decomposition of the form not work?
Show the answer
The factor appears squared, so the decomposition needs a term for each power,
Clearing denominators gives . The value gives , the value gives , and the coefficient of gives , so . The poles and lie outside , where and are positive, so an antiderivative there is , and
The integrand decreases from to on an interval of length , and the value lies between those numbers. Without the term , clearing the denominator would give . This is a polynomial identity, so it would have to hold at as well, where it reads . No constants and can work.
- Someone evaluates the integral of from to as , with the antiderivative from above. Is this the value of the integral?
Show the answer
No. The pole lies inside , so the integral is improper and has to be split at . On the right part
and this limit is , because the quotient grows without bound as decreases to . So the integral from to diverges, and is not its value. The function is an antiderivative on and on separately, never on an interval that contains .