arXiv subjects

Greg Reid

Publications and source records attributed to Greg Reid.

7 recordsLinked to original sources

arXiv2023

Structural Analysis by Modified Signature Matrix for Integro-differential-algebraic Equations

Integro-differential-algebraic equations (IDAE)s are widely used in applications of engineering and analysis. When there are hidden constraints in an IDAE, structural analysis is necessary. But if derivatives of dependent variables appear in their integrals, the existing definition of the signature matrix for an IDAE cannot be satisfied. Moreover, if an IDAE has a singular Jacobian matrix after structural analysis by the Sigma-method, improved structural analysis methods are proposed to regularize it. However, the optimal value of an IDAE may be negative which can not ensure the termination of the regularization. Furthermore, overestimation of the signature matrix may also lead to failure of its structural analysis. In this paper, firstly, we redefine the signature matrix and introduce a definition of the degree of freedom for IDAEs. Thus, the termination of improved structural analysis methods can be guaranteed. Secondly, the detection method by points is proposed to deal with the problem of overestimation of signature matrix. Thirdly, the embedding method has proved to suitable for structural unamenable IDAEs, including those types that arise from symbolic cancellation and numerical degeneration. Finally, the global numerical method is applied to an example of two-stage drive system which can help to find all solutions for IDAEs by witness points. Hopefully, through the example of pendulum curtain, the approach for IDAEs proposed in this paper can be applied to integro-partial-differential-algebraic equations (IPDAE)s.

math.DS↗

arXiv2022

Index Reduction for Degenerated Differential-Algebraic Equations by Embedding

To find consistent initial data points for a system of differential-algebraic equations, requires the identification of its missing constraints. An efficient class of structural methods exploiting a dependency graph for this task was initiated by Pantiledes. More complete methods rely on differential-algebraic geometry but suffer from other issues (e.g. high complexity). In this paper we give a new class of efficient structural methods combined with new tools from numerical real algebraic geometry that has much improved completeness properties. Existing structural methods may fail for a system of differential-algebraic equations if its Jacobian matrix after differentiation is still singular due to symbolic cancellation or numerical degeneration. Existing structural methods can only handle degenerated cases caused by symbolic cancellation. However, if a system has parameters, then its parametric Jacobian matrix may be still singular after application of the structural method for certain values of the parameters. This case is called numerical degeneration. For polynomially nonlinear systems of differential-algebraic equations, numerical methods are given to solve both degenerated cases using numerical real algebraic geometry. First, we introduce a witness point method, which produces at least one witness point on every constraint component. This can help to ensure constant rank and detection of degeneration on all components of such systems. Secondly, we present a Constant Rank Embedding Lemma, and based on it propose an Index Reduction by Embedding (IRE) method which can construct an equivalent system with a full rank Jacobian matrix. Thirdly, IRE leads to a global structural differentiation method, to solve degenerated differential-algebraic equations on all components numerically. Application examples from circuits, mechanics, are used to demonstrate our method.

math.NA↗

arXiv2021

Embedding Method by Real Numerical Algebraic Geometry for Structurally Unamenable Differential-Algebraic Equations

Existing structural analysis methods may fail to find all hidden constraints for a system of differential-algebraic equations with parameters if the system is structurally unamenable for certain values of the parameters. In this paper, for polynomial systems of differential-algebraic equations, numerical methods are given to solve such cases using numerical real algebraic geometry. First, we propose an embedding method that for a given real analytic system constructs an equivalent system with a full-rank Jacobian matrix. Secondly, we introduce a witness point method, which can help to detect degeneration on all components of constraints of such systems. Thirdly, the two methods above lead to a numerical global structural analysis method for structurally unamenable differential-algebraic equations on all components of constraints.

math.NA↗

arXiv2016

Computing the generators of the truncated real radical ideal by moment matrices and SDP facial reduction

Recent breakthroughs have been made in the use of semidefinite programming and its application to real polynomial solving. For example, the real radical of a zero dimensional ideal, can be determined by such approaches as shown by Lasserre and collaborators. Some progress has been made on the determination of the real radical in positive dimension by Ma, Wang and Zhi. Such work involves the determination of maximal rank semidefinite moment matrices. Existing methods are computationally expensive and have poorer accuracy on larger examples. This paper is motivated by problems in the numerical computation of the real radical ideal in the general positive case. In this paper we give a method to compute the generators of the real radical for any given degree $d$. We combine the use of moment matrices and techniques from SDP optimization: facial reduction first developed by Borwein and Wolkowicz. In use of the semidefinite moment matrices to compute the real radical, the maximum rank property is very key, and with facial reduction, it can be guaranteed with very high accuracy. Our algorithm can be used to test the real radical membership of a given polynomial. In a special situation, we can determine the real radical ideal in the positive dimensional case.

math.OC↗

arXiv2015

Facial Reduction and SDP Methods for Systems of Polynomial Equations

The real radical ideal of a system of polynomials with finitely many complex roots is generated by a system of real polynomials having only real roots and free of multiplicities. It is a central object in computational real algebraic geometry and important as a preconditioner for numerical solvers. Lasserre and co-workers have shown that the real radical ideal of real polynomial systems with finitely many real solutions can be determined by a combination of semi-definite programming (SDP) and geometric involution techniques. A conjectured extension of such methods to positive dimensional polynomial systems has been given recently by Ma, Wang and Zhi. We show that regularity in the form of the Slater constraint qualification (strict feasibility) fails for the resulting SDP feasibility problems. Facial reduction is then a popular technique whereby SDP problems that fail strict feasibility can be regularized by projecting onto a face of the convex cone of semi-definite problems. In this paper we introduce a framework for combining facial reduction with such SDP methods for analyzing $0$ and positive dimensional real ideals of real polynomial systems. The SDP methods are implemented in MATLAB and our geometric involutive form is implemented in Maple. We use two approaches to find a feasible moment matrix. We use an interior point method within the CVX package for MATLAB and also the Douglas-Rachford (DR) projection-reflection method. Illustrative examples show the advantages of the DR approach for some problems over standard interior point methods. We also see the advantage of facial reduction both in regularizing the problem and also in reducing the dimension of the moment matrices. Problems requiring more than one facial reduction are also presented.

math.OC↗

arXiv2014

Geometric involutive bases for positive dimensional polynomial ideals and SDP methods

Geometric involutive bases for polynomial systems of equations have their origin in the prolongation and projection methods of the geometers Cartan and Kuranishi for systems of PDE. They are useful for numerical ideal membership testing and the solution of polynomial systems. In this paper we further develop our symbolic-numeric methods for such bases. We give methods to explicitly extract and decrease the degree of intermediate systems and the output basis. Algorithms for the numerical computation of involutivity criteria for positive dimensional ideals are also discussed. We were also motivated by some remarkable recent work by Lasserre and collaborators who employed our prolongation projection involutive criteria as a part of their semi-definite based programming (SDP) method for identifying the real radical of zero dimensional polynomial ideals. Consequently in this paper we begin an exploration of the interaction between geometric involutive bases and these methods particularly in the positive dimensional case. Motivated by the extension of these methods to the positive dimensional case we explore the interplay between geometric involutive bases and the new SDP methods.

math.AG↗

arXiv2012

Structural analysis of high-index DAE for process simulation

This paper deals with the structural analysis problem of dynamic lumped process high-index DAE models. We consider two methods for index reduction of such models by differentiation: Pryce's method and the symbolic differential elimination algorithm rifsimp. Discussion and comparison of these methods are given via a class of fundamental process simulation examples. In particular, the efficiency of the Pryce method is illustrated as a function of the number of tanks in process design.

eess.SY↗