Dominant Powers in Rational Series

Why Leading Powers Matter

Rational terms often contain several powers of \(n\), but their behavior for large \(n\) is governed by the highest powers in the numerator and denominator. That makes the degrees of the polynomials a useful first guide when deciding whether a series might converge.

The key is to connect the dominant power of the term to a familiar benchmark, the p-series \(\sum_{n=1}^{\infty}1/n^p\). The degree difference tells us which p-series to compare with; the comparison test then gives a justified conclusion. The degree calculation is a guide, not a substitute for checking positivity and applying a valid test.

The Degree Difference and the p-Series Exponent

Let \(P(n)\) and \(Q(n)\) be polynomials with degrees \(m\) and \(d\), respectively. Write their leading terms as \(a_m n^m\) and \(b_d n^d\), where \(a_m\ne 0\) and \(b_d\ne 0\). Dividing numerator and denominator by their leading powers shows that

Here, “behaves like” means that the ratio of the two expressions approaches \(1\) as \(n\to\infty\). When \(a_m/b_d>0\), the rational term is positive for all sufficiently large \(n\), provided the denominator has no zeros there. Define \(p=d-m\). Then the p-series benchmark has term \(1/n^p\).

The p-series test states that \(\sum 1/n^p\) converges when \(p>1\) and diverges when \(p\le 1\). Thus, for an eventually positive rational term with a positive leading-coefficient ratio, the degree calculation predicts convergence when the denominator degree exceeds the numerator degree by more than \(1\), and divergence when the difference is at most \(1\). We will justify this prediction using limit comparison below.

Worked Example: A Convergent Rational Series

Limit Comparison: Why the Degree Rule Works

The limit comparison test applies to series with positive terms. If \(a_n>0\) and \(b_n>0\) for all sufficiently large \(n\), and

then \(\sum a_n\) and \(\sum b_n\) either both converge or both diverge. A finite number of initial terms does not change whether a series converges, so eventual positivity is sufficient.

For a rational term \(a_n=P(n)/Q(n)\), choose \(b_n=1/n^p\), where \(p=d-m\). Here is the complete calculation that produces the comparison limit.

For clarity, the limit follows by writing

and

Since \(p=d-m\), substituting these expressions gives

As \(n\to\infty\), every term involving \(1/n\) approaches \(0\). The denominator approaches the nonzero number \(b_d\), so the ratio approaches \(a_m/b_d\). If this ratio is positive, the limit comparison test applies. Because the p-series benchmark converges for \(p>1\) and diverges for \(p\le 1\), the degree rule follows.

Worked Example: The Harmonic Boundary

Worked Example: A Denominator Degree Two Higher

When the Degree Difference Is Zero or Negative

The exponent \(p=d-m\) need not be positive. If \(p=0\), the rational term approaches the nonzero leading-coefficient ratio \(a_m/b_d\). If \(p<0\), its magnitude grows like a positive constant times \(n^{-p}\). In either case, the terms do not approach zero. The divergence test says that if the terms of a series do not tend to zero, the series diverges.

This is different from the case \(p=1\). When \(p=1\), the terms do approach zero, but the harmonic comparison still proves divergence. A term tending to zero is necessary for convergence of a series, but it is not sufficient.

A Common Mistake: Reversing the Exponent

A frequent error is to calculate the power \(m-d\) and then treat it as the p-series exponent. These are related, but they have opposite signs: the term has a factor \(n^{m-d}\), while the benchmark is written \(1/n^p=n^{-p}\). Therefore \(p=d-m\).

Another mistake is to infer convergence just because the terms tend to zero. The harmonic series is a counterexample to that reasoning: its terms approach zero, but its partial sums do not approach a finite limit.

Conditions to Check Before Concluding

The degree method is useful only when its hypotheses are respected. Before applying a comparison test, check the following:

• Defined terms: The denominator must be nonzero at the indices in the series. A rational expression with a zero denominator is not a valid term at that index.
• Positivity: Direct and limit comparison in the forms used here require positive terms, at least eventually. Check the signs of the leading coefficients and the polynomials, rather than assuming positivity from the degrees alone.
• Correct benchmark: Use \(p=d-m\), because \(n^{m-d}=1/n^{d-m}\).
• Valid conclusion: For \(p>1\), comparison with a convergent p-series establishes convergence. For \(p\le1\), comparison with a divergent p-series establishes divergence, provided the limit comparison ratio is positive and finite.
• Term test: When \(p\le0\), the terms fail to approach zero, so use the divergence test directly.

If a rational term is eventually negative instead of positive, do not apply a positive-term comparison test to it as written. One can often analyze its magnitude or multiply the entire tail by \(-1\); a finite initial segment never changes convergence. The important point is to establish the relevant sign before using comparison.

Why This Classification Is Useful

Dominant powers turn a complicated-looking rational expression into a familiar benchmark without requiring every lower-degree term to be manipulated separately. The method is especially efficient when the numerator and denominator are polynomials with clear leading terms. It also provides a reliable first decision: a degree gap greater than one leads to a convergent p-series comparison, while a gap of one leads to the harmonic boundary and divergence.

The final conclusion still comes from a theorem, not from visual resemblance alone. Direct comparison requires an inequality; limit comparison requires eventual positivity and a finite positive ratio. Keeping those conditions visible makes the degree calculation both quick and rigorous.