The Greenspan bound for the order of differential systems

Cohn, Richard M.

doi:10.1090/S0002-9939-1980-0572294-0

The Greenspan bound for the order of differential systems
HTML articles powered by AMS MathViewer

by Richard M. Cohn PDF

Proc. Amer. Math. Soc. 79 (1980), 523-526 Request permission

Abstract:

Let S be a system of ordinary differential polynomials in indeterminates ${y_1}, \ldots ,{y_n}$ and of order at most ${r_i}$ in ${y_i},1 \leqslant i \leqslant n$. It was shown by J. F. Ritt that if $\mathfrak {M}$ is a component of S of differential dimension 0, then the order of $\mathfrak {M}$ is at most ${r_1} + \ldots + {r_n}$. B. Greenspan improved this bound in the case that every component of S has differential dimension 0. (His work was carried out for difference equations, but is easily transferred to the differential case.) It is shown that the Greenspan bound is valid without this restriction.

References

Richard M. Cohn, Difference algebra, Interscience Publishers John Wiley & Sons, New York-London-Sydeny, 1965. MR 0205987
Bernard Greenspan, A bound for the orders of the components of a system of algebraic difference equations, Pacific J. Math. 9 (1959), 473–486. MR 109153
E. R. Kolchin, Differential algebra and algebraic groups, Pure and Applied Mathematics, Vol. 54, Academic Press, New York-London, 1973. MR 0568864
Barbara A. Lando, Jacobi’s bound for the order of systems of first order differential equations, Trans. Amer. Math. Soc. 152 (1970), 119–135. MR 279079, DOI 10.1090/S0002-9947-1970-0279079-1
Barbara A. Lando, Jacobi’s bound for first order difference equations, Proc. Amer. Math. Soc. 32 (1972), 8–12. MR 289474, DOI 10.1090/S0002-9939-1972-0289474-X
J. F. Ritt, Systems of algebraic differential equations, Ann. of Math. (2) 36 (1935), no. 2, 293–302. MR 1503223, DOI 10.2307/1968571
J. F. Ritt, Jacobi’s problem on the order of a system of differential equations, Ann. of Math. (2) 36 (1935), no. 2, 303–312. MR 1503224, DOI 10.2307/1968572

A generalized Jacobi conjecture for partial differential equations