High index differential algebraic equations (DAEs) are ordinary differential equations (ODEs) with constraints and arise frequently from many mathematical models of physical phenomenons and engineering fields. In this paper, we generalize the idea of differential elimination with Dixon resultant to polynomially nonlinear DAEs. We propose a new algorithm for index reduction of DAEs and establish the notion of differential Dixon resultant, which can provide the differential resultant of the enlarged system of original equations. To make use of structure of DAEs, variable pencil technique is given to determine the termination of differentiation. Moreover, we also provide a heuristic method for removing the extraneous factors from differential resultant. The experimentation shows that the proposed algorithm outperforms existing ones for many examples taken from the literature. (c) 2018 Elsevier Inc. All rights reserved.
Funding Agencies|National Natural Science Foundation of China [61402537, 11671377]; West Light Foundation of Chinese Academy of Sciences; Open Project of Academy of Intelligent Software of Guangzhou University