Loading...
Please wait, while we are loading the content...
Similar Documents
Existence and uniqueness theorems for formal power series solutions of analytic differential systems (1999).
| Content Provider | CiteSeerX |
|---|---|
| Author | Rust, C. J. Reid, G. J. Wittkopf, A. D. |
| Abstract | We present Existence and Uniqueness Theorems for formal power series solutions of analytic systems of pde in a certain form. This form can be obtained by a finite number of differentiations and eliminations of the original system, and allows its formal power series solutions to be computed in an algorithmic fashion. The resulting reduced involutive form (rif 0 form) produced by our rif 0 algorithm is a generalization of the classical form of Riquier and Janet, and that of Cauchy-- Kovalevskaya. We weaken the assumption of linearity in the highest derivatives in those approaches to allow for systems which are nonlinear in their highest derivatives. A new formal development of Riquier's theory is given, with proofs, modeled after those in Grobner Basis Theory. For the nonlinear theory, the concept of relative Riquier Bases is introduced. This allows for the easy extension of ideas from the linear to the nonlinear theory. The essential idea is that an arbitrary nonlinear system can ... |
| File Format | |
| Publisher Date | 1999-01-01 |
| Access Restriction | Open |
| Subject Keyword | Formal Power Series Solution Uniqueness Theorem Analytic Differential System Nonlinear Theory Classical Form Reduced Involutive Form Present Existence Arbitrary Nonlinear System Cauchy Kovalevskaya New Formal Development Relative Riquier Base Grobner Basis Theory Analytic System Certain Form Original System Essential Idea Algorithmic Fashion Finite Number Easy Extension |
| Content Type | Text |
