Primitive of a rational function

605 Views Asked by At

Does there exists some simple criteria to know when the primitive of a rational function of $\mathbb{C}[z]$ is still a rational function?

In fact my question is more about the stability of this property. Let $P$ and $Q$ two coprime polynomials and let $A$ and $B$ two coprime polynomials such that $$\frac{A}{B}= \left(\frac{P}{Q}\right)'= \frac{P'Q-PQ'}{Q^2}.$$ Then considering a pertubation $A^\varepsilon$ of $A$ (in the sense the roots of $A^\varepsilon$ converge to the one of $A$ with the same multiplicity as $\varepsilon$ goes to zero.): does $\dfrac{A^\varepsilon}{B}$ admit a primitive which is rational function?

1

There are 1 best solutions below

1
On BEST ANSWER

One simple criterion is the following. If the denominator of $\,f\,$ has squarefree factorization $\,Q_1 Q_2^2\cdots Q_n^n\,$ then $\,f\,$ has a partial fraction expansion $\, P_1/Q_1+\cdots+ P_n/Q_n^n,\,$ which is the derivative of a rational function $\iff$ each $\,P/Q^i\,$ is $\iff Q\mid W(P,Q',(Q^2)',\ldots,(Q^{i-1})'),\, $ where $\,W\,$ denotes the Wronskian. Recall that the squarefree factorization of a polynomial over a field of characteristic $\,0\,$ may be quickly computed by gcds.

Special cases of this criterion go back to G. H. Hardy's classical treatise on integration in finite terms, see The Integration of Functions of a Single Varaible, 1916, 5 (iv), p. 19. For a proof of the general case, see the following paper, which is freely accessible.

Jan Marik. A note on the integration of rational functions.
Mathematica Bohemia, Vol 116(1991), No 4, 405-411.