An algorithm for solving partial differential parametric systems. (Q1421488): Difference between revisions

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.