Heaviside cover-up method
The Heaviside cover-up method, named after Oliver Heaviside, is one possible approach in determining the coefficients when performing the partial-fraction expansion of a rational function.[1]
Method
Separation of a fractional algebraic expression into partial fractions is the reverse of the process of combining fractions by converting each fraction to the lowest common denominator (LCD) and adding the numerators. This separation can be accomplished by the Heaviside cover-up method, another method for determining the coefficients of a partial fraction. Case one has fractional expressions where factors in the denominator are unique. Case two has fractional expressions where some factors may repeat as powers of a binomial.
In integral calculus we would want to write a fractional algebraic expression as the sum of its partial fractions in order to take the integral of each simple fraction separately. Once the original denominator, D0, has been factored we set up a fraction for each factor in the denominator. We may use a subscripted D to represent the denominator of the respective partial fractions which are the factors in D0. Letters A, B, C, D, E, and so on will represent the numerators of the respective partial fractions. When a partial fraction term has a single (i.e. unrepeated) binomial in the denominator, the numerator is a residue of the function defined by the input fraction.
We calculate each respective numerator by (1) taking the root of the denominator (i.e. the value of x that makes the denominator zero) and (2) then substituting this root into the original expression but ignoring the corresponding factor in the denominator. Each root for the variable is the value which would give an undefined value to the expression since we do not divide by zero.
General formula for a cubic denominator with three distinct roots:
Where
and where
and where
Case one
Factorize the expression in the denominator. Set up a partial fraction for each factor in the denominator. Apply the cover-up rule to solve for the new numerator of each partial fraction.
Example
Set up a partial fraction for each factor in the denominator. With this framework we apply the cover-up rule to solve for A, B, and C.
- D1 is x + 1; set it equal to zero. This gives the residue for A when x = −1.
- Next, substitute this value of x into the fractional expression, but without D1.
- Put this value down as the value of A.
Proceed similarly for B and C.
D2 is x + 2; For the residue B use x = −2.
D3 is x + 3; For residue C use x = −3.
Thus, to solve for A, use x = −1 in the expression but without D1:
Thus, to solve for B, use x = −2 in the expression but without D2:
Thus, to solve for C, use x = −3 in the expression but without D3:
Thus,
Case two
When factors of the denominator include powers of one expression we
- Set up a partial fraction for each unique factor and each lower power of D;
- Set up an equation showing the relation of the numerators if all were converted to the LCD.
From the equation of numerators we solve for each numerator, A, B, C, D, and so on. This equation of the numerators is an absolute identity, true for all values of x. So, we may select any value of x and solve for the numerator.
Example
Here, we set up a partial fraction for each descending power of the denominator. Then we solve for the numerators, A and B. As is a repeated factor, we now need to find two numbers, as so we need an additional relation in order to solve for both. To write the relation of numerators the second fraction needs another factor of to convert it to the LCD, giving us . In general, if a binomial factor is raised to the power of , then constants will be needed, each appearing divided by successive powers, , where runs from 1 to . The cover-up rule can be used to find , but is still that is called the residue. Here, , , and
To solve for :
can be solved by setting the denominator of the first fraction to zero, .
Solving for gives the cover-up value for : when .
When we substitute this value, , we get:
To solve for :
Since the equation of the numerators, here, , is true for all values of , pick a value for and use it to solve for .
As we have solved for the value of above, , we may use that value to solve for .
We may pick , use , and then solve for :
We may pick , Then solve for :
We may pick . Solve for :
Hence,
or
References
- ^ Calculus and Analytic Geometry 7th Edition, Thomas/Finney, 1988, pp. 482-489