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

DOI10.1016/J.AAM.2015.09.001zbMATH Open1334.35016arXiv1501.04941OpenAlexW2963153596MaRDI QIDQ895975FDOQ895975

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

Publication date: 11 December 2015

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

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.

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

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

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)

Cites Work

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

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)