When must an improper rational transform be divided before it can be decomposed?

When the degree of the numerator N(s) is greater than or equal to the degree of the denominator D(s). This is the definition of an improper rational function. Partial-fraction decomposition requires a proper fraction where deg(N) < deg(D). The division step transforms the improper fraction into a polynomial plus a proper remainder, making decomposition possible.

What happens if I skip polynomial division on an improper fraction?

The partial-fraction form will be algebraically invalid. The coefficients you compute for the partial-fraction terms will be wrong because the decomposition assumes a proper fraction. The resulting inverse Laplace transform will not match the correct time-domain function.

Does polynomial division work for non-rational functions like those with exponentials?

No. Polynomial division applies only to rational functions, ratios of polynomials. If F(s) contains terms like e^{-as}, log(s), or trigonometric functions of s, the division step is not defined. You must handle those functions using the time-shift theorem or other Laplace transform properties before attempting partial fractions on any rational part.

What is the correct partial-fraction form for a proper remainder after division?

The remainder has deg(R) < deg(D). Use the standard partial-fraction forms: for distinct linear factors, use constants over each factor; for repeated linear factors, use a sum of constants over increasing powers; for irreducible quadratics, use (As + B)/(quadratic) plus additional terms for repeated quadratics. The Heaviside cover-up method works for distinct real poles on the remainder.

How do I verify my partial-fraction decomposition after the division step?

Recombine the partial-fraction terms into a single rational expression. Compare it to the original remainder R(s)/D(s). If they match, the decomposition is correct. For the full F(s), add the quotient Q(s) and verify the sum equals the original N(s)/D(s). Use a symbolic tool like SymPy's inverse_laplace_transform or Wolfram InverseLaplaceTransform for a quick cross-check on the final inverse.

Polynomial Division Before Partial Fractions Explained

Q: What happens if I skip polynomial division on an improper fraction?

The partial-fraction form will be algebraically invalid. The coefficients you compute for the partial-fraction terms will be wrong because the decomposition assumes a proper fraction. The resulting inverse Laplace transform will not match the correct time-domain function.

Q: Does polynomial division work for non-rational functions like those with exponentials?

No. Polynomial division applies only to rational functions, ratios of polynomials. If F(s) contains terms like e^{-as}, log(s), or trigonometric functions of s, the division step is not defined. You must handle those functions using the time-shift theorem or other Laplace transform properties before attempting partial fractions on any rational part.

Q: What is the correct partial-fraction form for a proper remainder after division?

The remainder has deg(R) < deg(D). Use the standard partial-fraction forms: for distinct linear factors, use constants over each factor; for repeated linear factors, use a sum of constants over increasing powers; for irreducible quadratics, use (As + B)/(quadratic) plus additional terms for repeated quadratics. The Heaviside cover-up method works for distinct real poles on the remainder.

Q: How do I verify my partial-fraction decomposition after the division step?

Recombine the partial-fraction terms into a single rational expression. Compare it to the original remainder R(s)/D(s). If they match, the decomposition is correct. For the full F(s), add the quotient Q(s) and verify the sum equals the original N(s)/D(s). Use a symbolic tool like SymPy's inverse_laplace_transform or Wolfram InverseLaplaceTransform for a quick cross-check on the final inverse.

Polynomial Division Before Partial Fractions Is Required When The Numerator Degree Equals Or Exceeds The Denominator Degree

You have a rational function F(s) = N(s)/D(s) that you need to decompose into partial fractions so you can look up its inverse Laplace transform. If the degree of N(s) is greater than or equal to the degree of D(s), the fraction is improper. Partial fractions only work when the fraction is proper, the numerator degree must be strictly less than the denominator degree. This means you must perform polynomial division before partial fractions can proceed. The single action that fixes this is polynomial long division: divide N(s) by D(s) to get a polynomial quotient Q(s) plus a remainder fraction R(s)/D(s) where deg(R) is now less than deg(D). Only that remainder is eligible for partial-fraction decomposition. Skipping this step produces an algebraically invalid form that will not match any standard Laplace transform pair, and your inverse will be wrong.

When The Division Must Happen: The Degree Test

Check the degree of the numerator polynomial N(s) and the denominator polynomial D(s). If deg(N) ≥ deg(D), the rational expression is improper and must be transformed. This rule is standard in every calculus textbook that teaches partial fractions; Boyce & DiPrima 'Elementary Differential Equations' Chapter 6 makes it explicit. The division produces the proper rational expression required for partial fractions. If deg(N) < deg(D), you are already proper and can decompose directly. The decision takes two seconds but is the most common place to go wrong.

A Worked Example

Work through F(s) = (s² + 3s + 2)/(s² + 1). The numerator and denominator are both degree 2, so the fraction is improper. Divide: (s² + 3s + 2) ÷ (s² + 1). The polynomial long division yields 1 with a remainder of (3s + 1)/(s² + 1). Verifying: 1*(s² + 1) + (3s + 1) = s² + 1 + 3s + 1 = s² + 3s + 2, which matches the original numerator.

The proper fraction (3s + 1)/(s² + 1) is now eligible for partial-fraction decomposition. Split it as 3s/(s² + 1) + 1/(s² + 1). Each term matches a standard Laplace transform pair: ℒ⁻¹{3s/(s² + 1)} = 3 cos(t) and ℒ⁻¹{1/(s² + 1)} = sin(t). The quotient 1 from the division inverts to the Dirac delta δ(t). So the complete inverse is f(t) = δ(t) + 3 cos(t) + sin(t).

Calculation Steps

Take F(s) = (s³ + 2s² + 3s + 4)/(s² + 1). Here deg(N) = 3, deg(D) = 2, so deg(N) > deg(D). The fraction is improper. Divide: (s³ + 2s² + 3s + 4) ÷ (s² + 1). The polynomial long division gives a quotient of s + 2 and a remainder of (2s + 2)/(s² + 1). Checking: (s + 2)*(s² + 1) = s³ + s + 2s² + 2 = s³ + 2s² + s + 2. Adding the remainder (2s + 2) yields s³ + 2s² + 3s + 4, which matches the original numerator.

At this point, you need to do the inverse Laplace transform. You could continue by hand, but for a more complex quotient or remainder, the simplest method is to use a polynomial long division calculator to verify your algebraic steps. The proper fraction (2s + 2)/(s² + 1) decomposes as 2s/(s² + 1) + 2/(s² + 1). The inverse: ℒ⁻¹{s + 2} = δ'(t) + 2δ(t), but the derivative of the delta is not a standard table entry, this is a limit case where the result is non-causal unless you account for the distributional nature. In practice, for a step response or impulse response from a control-system transfer function, a numerator degree more than one above the denominator produces terms that do not appear in standard tables and often requires returning to the definition via the Bromwich integral. This is why the rule exists: the division step alone does not guarantee a simple table lookup; it only guarantees the remainder is proper.

Limits and Failure Cases

Consider again F(s) = (s² + 3s + 2)/(s² + 1). If you skip the polynomial division and attempt partial fractions directly, you would write A/(s + i) + B/(s - i) for the denominator s² + 1. Solving gives numerators that are not constants but linear functions of s because the original numerator degree equals the denominator degree. The resulting form will have the wrong coefficients, and when you look up the inverse, you get a function that does not match the correct f(t) = δ(t) + 3 cos(t) + sin(t). This is the failure case: the partial-fraction decomposition is algebraically invalid because the fraction is improper. You will waste time on an incorrect result.