An algorithm for solving partial differential parametric systems.

DOI10.1016/S0166-218X(03)00202-6MaRDI QIDQ1421488zbMATH OpenOpenAlexFDO

Authors Jimin Wang, Xiao-Shan Gao

Publication date 26 January 2004

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

Full work available at URL https://doi.org/10.1016/s0166-218x(03)00202-6, http://ir.lzu.edu.cn/handle/262010/116065

zbMATH Keywords

coverdifferential algebradifferential parametric systemWu-Ritt method

Mathematics Subject Classification ID

Differential algebra (12H05) Implicit ordinary differential equations, differential-algebraic equations (34A09) Symbolic computation and algebraic computation (68W30)

Review text

Let \(K\) be a differential field of characteristic 0 with a finite number of differential operators, and \(K\{u_1,\dots,u_t,y_1,\dots,y_n\}\) be the differential polynomial ring with parameters \(u_1,\dots,u_t\) and indeterminates \(y_1,\dots,y_n\). For a partial differential parametric system \(P_1=0,\dots,P_r=0\), \(Q_1\neq0,\dots,Q_S\neq0\), where \(P_i\), \(Q_j\) are differential polynomials in \(K\{u_1,\dots,u_t,y_1,\dots.y_n\}\), an algorithm for solving the parametric system is presented. The algorithm finds not only the values of the parameters \(u_k\) such that the system has solutions, but also all solutions to this system.

Recommendations

• A zero structure theorem for differential parametric systems
• scientific article; zbMATH DE number 1263418
• scientific article; zbMATH DE number 1263377
• Computer Algebra in Scientific Computing
• scientific article; zbMATH DE number 3135928

Cites work

• A zero structure theorem for differential parametric systems
• Coherent, regular and simple systems in zero decompositions of partial differential systems.
• Comprehensive Gröbner bases
• Differential-algebraic decision methods and some applications to system theory
• Formal elimination for multidimensional systems and application to control theory.
• scientific article; zbMATH DE number 3135928 (Why is no real title available?)
• scientific article; zbMATH DE number 3771786 (Why is no real title available?)
• scientific article; zbMATH DE number 1263377 (Why is no real title available?)
• scientific article; zbMATH DE number 1263418 (Why is no real title available?)
• scientific article; zbMATH DE number 1273648 (Why is no real title available?)
• scientific article; zbMATH DE number 10446 (Why is no real title available?)
• scientific article; zbMATH DE number 3415973 (Why is no real title available?)
• Mathematics mechanization. Mechanical geometry theorem-proving, mechanical geometry problem-solving and polynomial equations-solving
• On a projection theorem of quasi-varieties in elimination theory
• Specializations in Differential Algebra
• The differential ideal \([P] : M^ \infty\).

Cited in

(5)

• An algorithm for solving parametric linear systems
• A perturbed differential resultant based implicitization algorithm for linear DPPEs
• scientific article; zbMATH DE number 1263377 (Why is no real title available?)
• Computer Algebra in Scientific Computing
• Implicitization of partial differential rational parametric equations

This page was built for publication: An algorithm for solving partial differential parametric systems.

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