Converting DAE models to ODE models: application to reactive Rayleigh distillation

This paper illustrates the application of an index reduction method to some differential algebraic equations (DAE) modelling the reactive Rayleigh distillation. After two deflation steps, this DAE is converted to an equivalent first-order explicit ordinary differential equation (ODE). This ODE involves a reduced number of dependent variables, and some evaluations of implicit functions defined, either from the original algebraic constraints, or from the hidden ones. Consistent initial conditions are no longer to be computed; at the opposite of some other index reduction methods, which generate a drift-off effect, the algebraic constraints remain satisfied at any time; and, finally, the computational effort to solve the ODE may be less than the one associated to the original DAE

A Geometric Index Reduction Method for Implicit Systems of Differential Algebraic Equations

This paper deals with the index reduction problem for the class of quasi-regular DAE systems. It is shown that any of these systems can be transformed to a generically equivalent first order DAE system consisting of a single purely algebraic (polynomial) equation plus an under-determined ODE (that is, a semi-explicit DAE system of differentiation index 1) in as many variables as the order of the input system. This can be done by means of a Kronecker-type algorithm with bounded complexity

Invariant Modules and the Reduction of Nonlinear Partial Differential Equations to Dynamical Systems

We completely characterize all nonlinear partial differential equations leaving a given finite-dimensional vector space of analytic functions invariant. Existence of an invariant subspace leads to a re duction of the associated dynamical partial differential equations to a system of ordinary differential equations, and provide a nonlinear counterpart to quasi-exactly solvable quantum Hamiltonians. These results rely on a useful extension of the classical Wronskian determinant condition for linear independence of functions. In addition, new approaches to the characterization o f the annihilating differential operators for spaces of analytic functions are presented.Comment: 28 pages. To appear in Advances in Mathematic

Thomas Decomposition of Algebraic and Differential Systems

In this paper we consider disjoint decomposition of algebraic and non-linear partial differential systems of equations and inequations into so-called simple subsystems. We exploit Thomas decomposition ideas and develop them into a new algorithm. For algebraic systems simplicity means triangularity, squarefreeness and non-vanishing initials. For differential systems the algorithm provides not only algebraic simplicity but also involutivity. The algorithm has been implemented in Maple

[SADE] A Maple package for the Symmetry Analysis of Differential Equations

We present the package SADE (Symmetry Analysis of Differential Equations) for the determination of symmetries and related properties of systems of differential equations. The main methods implemented are: Lie, nonclassical, Lie-B\"acklund and potential symmetries, invariant solutions, first-integrals, N\"other theorem for both discrete and continuous systems, solution of ordinary differential equations, reduction of order or dimension using Lie symmetries, classification of differential equations, Casimir invariants, and the quasi-polynomial formalism for ODE's (previously implemented in the package QPSI by the authors) for the determination of quasi-polynomial first-integrals, Lie symmetries and invariant surfaces. Examples of use of the package are given

Continuous, Semi-discrete, and Fully Discretized Navier-Stokes Equations

The Navier--Stokes equations are commonly used to model and to simulate flow phenomena. We introduce the basic equations and discuss the standard methods for the spatial and temporal discretization. We analyse the semi-discrete equations -- a semi-explicit nonlinear DAE -- in terms of the strangeness index and quantify the numerical difficulties in the fully discrete schemes, that are induced by the strangeness of the system. By analyzing the Kronecker index of the difference-algebraic equations, that represent commonly and successfully used time stepping schemes for the Navier--Stokes equations, we show that those time-integration schemes factually remove the strangeness. The theoretical considerations are backed and illustrated by numerical examples.Comment: 28 pages, 2 figure, code available under DOI: 10.5281/zenodo.998909, https://doi.org/10.5281/zenodo.99890

New Fundamental Symmetries of Integrable Systems and Partial Bethe Ansatz

We introduce a new concept of quasi-Yang-Baxter algebras. The quantum quasi-Yang-Baxter algebras being simple but non-trivial deformations of ordinary algebras of monodromy matrices realize a new type of quantum dynamical symmetries and find an unexpected and remarkable applications in quantum inverse scattering method (QISM). We show that applying to quasi-Yang-Baxter algebras the standard procedure of QISM one obtains new wide classes of quantum models which, being integrable (i.e. having enough number of commuting integrals of motion) are only quasi-exactly solvable (i.e. admit an algebraic Bethe ansatz solution for arbitrarily large but limited parts of the spectrum). These quasi-exactly solvable models naturally arise as deformations of known exactly solvable ones. A general theory of such deformations is proposed. The correspondence ``Yangian --- quasi-Yangian'' and ``$XXX$ spin models --- quasi-$XXX$ spin models'' is discussed in detail. We also construct the classical conterparts of quasi-Yang-Baxter algebras and show that they naturally lead to new classes of classical integrable models. We conjecture that these models are quasi-exactly solvable in the sense of classical inverse scattering method, i.e. admit only partial construction of action-angle variables.Comment: 49 pages, LaTe