Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I thought it was interesting that $\frac{u^2+1}{(u^2-2u-1)^2}$ has the very simple integral $-\frac{u}{u^2-2u-1}$ but both of $\frac{u^2}{(u^2-2u-1)^2}$ and $\frac{1}{(u^2-2u-1)^2}$ are very complicated (the transcendental parts cancel each other though).

So my question is how do I check by looking at a rational function whether or not it's a derivative of a rational function?

For example $\frac{1}{(x^2+1)^2}$ isn't but $\frac{x}{(x^2+1)^2}$ is. How can we tell in general?

share|improve this question
    
Could this be related to checking if the recurrence relations associated to the generating function satisfy $n|a_n$? –  user58512 Feb 7 '13 at 21:40
2  
Consider the partial fractions decomposition of a rational function. What kind of terms have rational primitives? And which ones don't? –  1015 Feb 7 '13 at 21:42
1  
See here, over the reals: en.wikipedia.org/wiki/Partial_fractions –  1015 Feb 7 '13 at 21:55
    
@julien, thank you but does applying partial fractions reduce the problem to something simpler? I can't see it –  user58512 Feb 7 '13 at 21:57
1  
Yes, there are only finitely many cases to consider then. For instance, as soon as the decomposition involves $1/(x-\alpha)$, your primitive has some $\ln|1-\alpha|$ and it's not gonna be rational. Likewise, if there is some $1/(x^2+a^2)$ ($a\neq 0$), there will be some $\arctan (x/a)$ and the primitive will not be rational. –  1015 Feb 7 '13 at 21:59

2 Answers 2

up vote 4 down vote accepted

Examine the poles of your function (in the complex plane). If all residues are zero, you are in good shape.

share|improve this answer
    
thank you very much. is this an if and only if condition? –  user58512 Feb 7 '13 at 22:32
2  
Of course. You will learn about this when you study complex analysis. –  GEdgar Feb 8 '13 at 1:29

For your last example, it is easy to see that a) you have a simple factor of $x$ in the numerator, and b) your denominator is a simple power of $1+x^2$. The integral is easily transformed into the form $\int du/(1+u)^2$, which is a rational function. This works for any power of $1+x^2$ greater than 1.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.