Integration of rational function with quadratic denominator: Difference between revisions

From Calculus
(Created page with "{{specific function class integration strategy}} ==Outline of method== ===Reduction to the case where the numerator is constant or linear and the denominator is monic=== {{fil...")
 
Line 11: Line 11:
{{quotation|'''UPSHOT''': The antiderivative in this case is expressible as a linear combination with constant coefficients of the natural logarithms of the absolute values of the linear factors.}}
{{quotation|'''UPSHOT''': The antiderivative in this case is expressible as a linear combination with constant coefficients of the natural logarithms of the absolute values of the linear factors.}}


{{fillin}}
{{quotation|This falls under the general case of [[integration of rational function whose denominator has distinct linear factors]]}}
 
The integration formula is:
 
<math>\! \int \frac{Ax + B}{(x - \alpha_1)(x - \alpha_2)} = \frac{A\alpha_1 + B}{\alpha_1 - \alpha_2} \ln|x - \alpha_1| + \frac{A\alpha_2 + B}{\alpha_2 - \alpha_1}\ln|x - \alpha_2| + C</math>
 
Note that <math>\alpha_1</math> and <matH>\alpha_2</math> can be determined from the [[quadratic formula]] for the roots of a quadratic polynomial. Specifically, if the polynomial in the denominator is <math>x^2 + px + q</math>, we have:
 
<math>\alpha_1 = \frac{-p + \sqrt{p^2 - 4q}}{2}, \qquad \alpha_2 = \frac{-p - \sqrt{p^2 - 4q}}{2}</math>
 
Here are the details of how the formula is obtained:
 
<toggledisplay>We want to write:
 
<math>\frac{Ax + B}{(x - \alpha_1)(x - \alpha_2)} = \frac{c_1}{x - \alpha_1} + \frac{c_2}{x - \alpha_2}, \qquad c_1,c_2 \in \R</math>
 
First, note that this ''is'' possible, because the denominator has higher degree than the numerator.
 
Multiplying both sides by the denominator, we get:
 
<math>Ax + B = c_1(x - \alpha_2) + c_2(x - \alpha_1)</math>
 
Plugging <math>x = \alpha_1</math> in the above, we get:
 
<math>A\alpha_1 + B = c_1(\alpha_1 - \alpha_2) \qquad \implies c_1 = \frac{A\alpha_1 + B}{\alpha_1 - \alpha_2}</math>
 
Similarly, plugging <math>x = \alpha_2</math> instead gives:
 
<math>A\alpha_2 + B = c_2(\alpha_2 - \alpha_1) \qquad \implies c_2 = \frac{A\alpha_2 + B}{\alpha_2 - \alpha_1}</math>
 
Plugging the values of <math>c_1,c_2</math> thus obtained into the original expression, we get:
 
<math>\frac{Ax + B}{(x - \alpha_1)(x - \alpha_2)} = \frac{A\alpha_1 + B}{\alpha_1 - \alpha_2} \cdot \frac{1}{x - \alpha_1} + \frac{A\alpha_2 + B}{\alpha_2 - \alpha_1}\frac{1}{x - \alpha_2}</math>
 
Integrating both sides, we obtain:
 
<math>\int \frac{Ax + B}{(x - \alpha_1)(x - \alpha_2)} \, dx = \int \frac{A\alpha_1 + B}{\alpha_1 - \alpha_2} \cdot \frac{1}{x - \alpha_1} \, dx + \int \frac{A\alpha_2 + B}{\alpha_2 - \alpha_1}\frac{1}{x - \alpha_2} \, dx = \frac{A\alpha_1 + B}{\alpha_1 - \alpha_2} \ln|x - \alpha_1| + \frac{A\alpha_2 + B}{\alpha_2 - \alpha_1}\ln|x - \alpha_2| + C</math>
 
</toggledisplay>


===Case that the denominator has repeated linear factors===
===Case that the denominator has repeated linear factors===

Revision as of 19:38, 4 September 2011

Template:Specific function class integration strategy

Outline of method

Reduction to the case where the numerator is constant or linear and the denominator is monic

Fill this in later

Case that the denominator has distinct linear factors

UPSHOT: The antiderivative in this case is expressible as a linear combination with constant coefficients of the natural logarithms of the absolute values of the linear factors.

This falls under the general case of integration of rational function whose denominator has distinct linear factors

The integration formula is:

Ax+B(xα1)(xα2)=Aα1+Bα1α2ln|xα1|+Aα2+Bα2α1ln|xα2|+C

Note that α1 and α2 can be determined from the quadratic formula for the roots of a quadratic polynomial. Specifically, if the polynomial in the denominator is x2+px+q, we have:

α1=p+p24q2,α2=pp24q2

Here are the details of how the formula is obtained:

[SHOW MORE]

Case that the denominator has repeated linear factors

UPSHOT: The antiderivative in this case is a constant divided by the linear factor plus a constant times the natural logarithm of the linear factor.

Fill this in later

Case that the denominator has negative discriminant

UPSHOT: The antiderivative in this case is a constant times an arc tangent function plus a constant times the natural logarithm of the absolute value of the quadratic.

Fill this in later