Completion of Linear Differential Systems to Involution
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
1999
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912655969615872 |
|---|---|
| author | Gerdt, Vladimir P. |
| author_facet | Gerdt, Vladimir P. |
| contents | In this paper we generalize the involutive methods and algorithms devised for polynomial ideals to differential ones generated by a finite set of linear differential polynomials in the differential polynomial ring over a zero characteristic differential field. Given a ranking of derivative terms and an involutive division, we formulate the involutivity conditions which form a basis of involutive algorithms. We present an algorithm for computation of a minimal involutive differential basis. Its correctness and termination hold for any constructive and noetherian involutive division. As two important applications we consider posing of an initial value problem for a linear differential system providing uniqueness of its solution and the Lie symmetry analysis of nonlinear differential equations. In particular, this allows to determine the structure of arbitrariness in general solution of linear systems and thereby to find the size of symmetry group. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_math_9909114 |
| institution | arXiv |
| publishDate | 1999 |
| record_format | arxiv |
| spellingShingle | Completion of Linear Differential Systems to Involution Gerdt, Vladimir P. Analysis of PDEs Numerical Analysis In this paper we generalize the involutive methods and algorithms devised for polynomial ideals to differential ones generated by a finite set of linear differential polynomials in the differential polynomial ring over a zero characteristic differential field. Given a ranking of derivative terms and an involutive division, we formulate the involutivity conditions which form a basis of involutive algorithms. We present an algorithm for computation of a minimal involutive differential basis. Its correctness and termination hold for any constructive and noetherian involutive division. As two important applications we consider posing of an initial value problem for a linear differential system providing uniqueness of its solution and the Lie symmetry analysis of nonlinear differential equations. In particular, this allows to determine the structure of arbitrariness in general solution of linear systems and thereby to find the size of symmetry group. |
| title | Completion of Linear Differential Systems to Involution |
| topic | Analysis of PDEs Numerical Analysis |
| url | https://arxiv.org/abs/math/9909114 |