A decision method for the integrability of differential-algebraic Pfaffian systems

DOI10.1016/J.AAM.2015.09.001MaRDI QIDQ895975zbMATH OpenOpenAlexFDO

Authors Lisi D'Alfonso, Gabriela Jeronimo, Pablo Solernó

Publication date 11 December 2015

Published in Advances in Applied Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1501.04941

zbMATH Keywords

Pfaffian systemsFrobenius theoremdifferential Nullstellensatzintegrability of PDAE

Mathematics Subject Classification ID

Geometric theory, characteristics, transformations in context of PDEs (35A30) Abstract differential equations (12H20) Systems of nonlinear first-order PDEs (35F50)

Abstract: We prove an effective integrability criterion for differential-algebraic Pfaffian systems leading to a decision method of consistency with a triple exponential complexity bound. As a byproduct, we obtain an upper bound for the order of differentiations in the differential Nullstellensatz for these systems.

Recommendations

• Fully integrable Pfaffian systems
• scientific article; zbMATH DE number 3975398
• Formal solutions of completely integrable Pfaffian systems with normal crossings
• On the integrability problem for systems of partial differential equations in one unknown function, II
• scientific article; zbMATH DE number 3893574

Cites work

• scientific article; zbMATH DE number 3651027 (Why is no real title available?)
• scientific article; zbMATH DE number 3900153 (Why is no real title available?)
• scientific article; zbMATH DE number 3937298 (Why is no real title available?)
• scientific article; zbMATH DE number 3181735 (Why is no real title available?)
• scientific article; zbMATH DE number 16653 (Why is no real title available?)
• scientific article; zbMATH DE number 177873 (Why is no real title available?)
• scientific article; zbMATH DE number 3280851 (Why is no real title available?)
• scientific article; zbMATH DE number 3415973 (Why is no real title available?)
• scientific article; zbMATH DE number 3103544 (Why is no real title available?)
• A bound for orders in differential Nullstellensatz
• A note on the axioms for differentially closed fields of characteristic zero
• An algebraic model of transitive differential geometry
• An algorithm for the computation of the radical of an ideal
• Cartan-Kuranishi's prolongation of differential systems combined with that of Lagrange and Jacobi
• Effective bounds for the number of transcendental points on subvarieties of semi-abelian varieties
• Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients
• Frobenius, Cartan, and the problem of Pfaff
• On E. Cartan's Prolongation Theorem of Exterior Differential Systems
• On the effective Nullstellensatz
• The Structure of Polynomial Ideals and Gröbner Bases
• The infinite groups of Lie and Cartan. I: The transitive groups

Cited in

(1)

• Decision problem for a class of univariate Pfaffian functions

This page was built for publication: A decision method for the integrability of differential-algebraic Pfaffian systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q895975)