Compatibility of systems of super differential equations
This paper develops a formal theory for general systems of super differential equations, with the emphasis on the development of effective method of analyzing concrete systems of super differential equations. The paper first introduces the conditions of formal Gröbner integrability for systems of super differential equations, which says that there are no unexpected compatibility conditions for the system and hence guarantees the possibility of parametrizing explicitly the space of the formal solutions. One of the main problems of the formal study of super differential equations is, as in the usual boson case, to judge in finite steps whether a given system is formally Gröbner integrable or not. The first main result asserts that a system is formally Gröbner integrable if and only if it is precompatible. A system is called precompatible if there exist no compatibility conditions in the first state of prolongations except for the obvious ones. By introducing the notion of the involutiveness, the above result implies an analogue of the classical Cartan-Kähler theorem: a system of super differential equations is formally Gröbner integrable if it is involutive. Finally, the paper expresses the condition of the involutiveness in terms of the symbol modules, which is very close to the usual definition of the involutiveness in the pure boson case. The following points deserve to be pointed out: (i) This paper contains a brief introduction to the local theory of super geometry, (ii) The paper contains many concrete easy examples to illustrate the various concepts introduced, (iii) the notion of formal Gröbner integrability is inspired by the theory of computer algebra and the concepts and methods in this paper are suited to computer implementation, and (iv) the theory and method introduced in this paper gives, even for the usual pure boson case, a new simpler method of analyzing concrete systems of differential equations.
- Systems of ordinary differential equations with nonlinear superposition principles
- scientific article; zbMATH DE number 3966754
- On the integrability of systems of nonlinear ordinary differential equations with superposition principles
- Compatibility, multi-brackets and integrability of systems of PDEs
- Superposition formulas for exterior differential systems
- Superlinear systems of second-order ODE's
- Exact solvability of superintegrable systems
- Completeness of systems of functions for classes of extended superposition
- Superintegrable extensions of superintegrable systems
- Classification of systems of nonlinear ordinary differential equations with superposition principles
- Algebraic simplification
- Associative differential operations
- Existence theorems for analytic linear partial differential equations
- scientific article; zbMATH DE number 3852462 (Why is no real title available?)
- scientific article; zbMATH DE number 3379863 (Why is no real title available?)
- On variation bicomplexes associated to differential equations
- Overdetermined systems of linear partial differential equations
- Superposition formulas for exterior differential systems
- The variational bicomplex for hyperbolic second-order scalar partial differential equations in the plane
- Conservation laws and the variational bicomplex for second-order scalar hyperbolic equations in the plane
- scientific article; zbMATH DE number 3929970 (Why is no real title available?)
- scientific article; zbMATH DE number 513002 (Why is no real title available?)
- Homological method of computing invariants of systems of differential equations
This page was built for publication: Compatibility of systems of super differential equations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q913323)
