Integration of rational function with quadratic denominator: Difference between revisions
(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.}} | ||
{{ | {{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:
Note that and can be determined from the quadratic formula for the roots of a quadratic polynomial. Specifically, if the polynomial in the denominator is , we have:
Here are the details of how the formula is obtained:
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