Approximation and Complexity: Liouvillean-Type Theorems for Linear Differential Equations on an Interval |
| |
Authors: | Dima Grigoriev |
| |
Affiliation: | (1) IRMAR Université de Rennes Campus de Beaulieu 35042 Rennes Cedex, France, FR |
| |
Abstract: | Let u,v be solutions on an interval I of linear differential equations (LDEs) P=0 , Q=0 , respectively. We obtain a lower bound on the approximation of v by u in terms of bounds on the coefficients of LDE S i =0 (for several i ), satisfied by the i th derivative of v and by the i th derivative of a basis of the LDE P=0 . One could view this result as a differential analog of the Liouville theorem which states that two different algebraic numbers are well separated if they satisfy algebraic equations with small enough integer coefficients. Unlike the algebraic situation, in the differential setting, in order to bound from below the difference |u-v| , we need to involve not only the coefficients of P,Q themselves, but also those of S i . September 22, 2000. Final version received: March 11, 2001. |
| |
Keywords: | . Approximation and complexity Liouvillean-type theorems Linear differential equations. AMS Classification. 68C25. |
本文献已被 SpringerLink 等数据库收录! |
|