Degree difference test

From Calculus

Statement

Statement for rational functions

The four different scenarios are discussed below:

  1. Integration of rational function:
    x0p(x)q(x)dx
    where p and q are polynomials, q is not the zero polynomial, and q(x) is nonzero everywhere on [x0,).
  2. Series of (unsigned) rational function: Series of the form
    k=k0p(k)q(k)
    where p and q are polynomials, where p and q are polynomials, q is not the zero polynomial, and q(k) is nonzero for all integers kk0.
  3. Integration of sine function times rational function: Integration of the form
    x0p(x)sinxq(x)dx
    where p and q are polynomials, q is not the zero polynomial, and q(x) is nonzero everywhere on [x0,).
  4. Series of signed rational function: Series of the form
    k=k0(1)kp(k)q(k)
    where p and q are polynomials, q is not the zero polynomial, and q(k) is nonzero for all integers kk0.

Then the following cases need to be made and conclusions drawn:

Case on degree difference Alternative formulation of case using the fact that degrees are integers Conclusion for improper integral in (1) Conclusion for series summation in (2) Conclusion for improper integral in (3) Conclusion for series summation in (4)
degqdegp>1 degqdegp2 integral converges (absolutely) summation converges (absolutely) integral converges (absolutely) summation converges (absolutely)
0<degqdegp1 degqdegp=1 integral diverges, but integrand approaches zero summation diverges, but terms approach zero integral converges (conditionally) summation converges (conditionally)
degqdegp0 degqdegp0 integral diverges, integrand does not approach zero summation diverges, terms do not approach zero integral diverges, integrand does not approach zero summation diverges, terms do not approach zero

Statement for quotients of sums of power functions

The general version replaces polynomials by function obtained as linear combinations of positive power functions, e.g., we could have p(k)=k3/2+5k4/32k. We assume both p and q are of this type. For such functions, we define the degree as the highest exponent with a nonzero coefficient.

Note that the degree difference test is identical, but we no longer have the alternative formulation because the degrees are no longer guaranteed to be integers. The shortened table is below:

Case on degree difference Conclusion for improper integral in (1) Conclusion for series summation in (2) Conclusion for improper integral in (3) Conclusion for series summation in (4)
degqdegp>1 integral converges (absolutely) summation converges (absolutely) integral converges (absolutely) summation converges (absolutely)
0<degqdegp1 integral diverges, but integrand approaches zero summation diverges, but terms approach zero integral converges (conditionally) summation converges (conditionally)
degqdegp0 integral diverges, integrand does not approach zero summation diverges, terms do not approach zero integral diverges, integrand does not approach zero summation diverges, terms do not approach zero

Related tests