Certifying solutions to square systems of polynomial-exponential equations (Q507164)

A map \(f : \mathbb{C}^n \to \mathbb{C}^n\) is called a square system of polynomial-exponential functions if it is polynomial in both the variables \(x_1,\dots,x_n\) and finitely many exponentials of the form \(e^{\beta x_i}\) where \(\beta \in \mathbb{C}\). Systems of polynomial-exponential functions arise in many applications such as engineering, mathematical physics, control theory and so on. Smale's \(\alpha\)-theory states that Newton iterations will converge quadratically to a solution of a square system of analytic functions based on the Newton residual and all higher order derivatives at the given point. Given a system of polynomial-exponential equations, the authors consider a related system of polynomial-exponential equations and provide a bound on the higher order derivatives of this related system. Furthermore, they discuss methods for generating numerical approximations to solutions of polynomial-exponential systems. Finally, based on these results, they describe an algorithm for certifying solutions to polynomial-exponential systems, and demonstrate their algorithm on several examples.