Related papers: Computation of Normal Forms for Systems with Many …

In this work we consider a saddle-center equilibrium for general vector fields as well as Hamiltonian systems, and we transform it locally into a polynomial normal form in the saddle variables by a change of coordinates. This problem was…

Studying 2 degree-of-freedom (DOF) Hamiltonian dynamical systems often involves the computation of stable & unstable manifolds of periodic orbits, due to the homoclinic & heteroclinic connections they can generate. Such study is generally…

We obtain closed-form solutions of several inhomogeneous Lienard equations by the factorization method. The two factorization conditions involved in the method are turned into a system of first-order differential equations containing the…

We establish a Poincar\'e-Dulac theorem for sequences (G_n)_n of holomorphic contractions whose differentials d_0 G_n split regularly. The resonant relations determining the normal forms hold on the moduli of the exponential rates of…

In a soliton sector of a quantum field theory, it is often convenient to expand the quantum fields in terms of normal modes. Normal mode creation and annihilation operators can be normal ordered, and their normal ordered products have…

Periodic normal forms for the codim 2 bifurcations of limit cycles up to a 3-dimensional center manifold in generic autonomous ODEs and computational formulas for their coefficients are derived. The formulas are independent of the dimension…

The first order nonlinear ODE \dot \phi(t) + \sin\phi(t)=q(t),q(t)=B+A\cos\omega t, where A,B,\omega are real constants, is considered, the transformation converting it to a second order linear homogeneous ODE with polynoimial coefficients…

The goal of this paper is to provide computational tools able to find a solution of a system of polynomial inequalities. The set of inequalities is reformulated as a system of polynomial equations. Three different methods, two of which…

We present a Kolmogorov-like algorithm for the computation of a normal form in the neighborhood of an invariant torus in `isochronous' Hamiltonian systems, i.e., systems with Hamiltonians of the form $\mathcal{H}=\mathcal{H}_0+\varepsilon…

Here we present an efficient method for finding and using a nonlocal symmetry admitted by a rational second order ordinary differential equation (rational 2ODE) in order to find a Liouvillian first integral (belonging to a vast class of…

We combine the parameterization method for invariant manifolds with the finite element method for elliptic PDEs,to obtain a new computational framework for high order approximation of invariant manifolds attached to unstable equilibrium…

Normal form theory is developed deeply for planar smooth systems but has few results for piecewise-smooth systems because difficulties arise from continuity of the near-identity transformation, which is constructed piecewise. In this paper,…

Explicit computational formulas for coefficients of the periodic normal forms of the three most complex codim 2 bifurcations of limit cycles with dimension of the center manifold equal to 4 or to 5 in generic autonomous ODEs are derived.…

Let $\mathrm{R}$ be a real closed field and $\mathrm{D} \subset \mathrm{R}$ an ordered domain. We consider the algorithmic problem of computing the generalized Euler-Poincar\'e characteristic of real algebraic as well as semi-algebraic…

Inferring the parameters of ordinary differential equations (ODEs) from noisy observations is an important problem in many scientific fields. Currently, most parameter estimation methods that bypass numerical integration tend to rely on…

Normalizing flows are a powerful technique for obtaining reparameterizable samples from complex multimodal distributions. Unfortunately current approaches fall short when the underlying space has a non trivial topology, and are only…

The purpose of this note is to survey a methodology to solve systems of polynomial equations and inequalities. The techniques we discuss use the algebra of multivariate polynomials with coefficients over a field to create large-scale linear…

Most algorithms constructing bases of finite-dimensional vector spaces return basis vectors which, apart from orthogonality, do not show any special properties. While every basis is sufficient to define the vector space, not all bases are…

Here we present an efficient method to compute Darboux polynomials for polynomial vector fields in the plane. This approach is restricetd to polynomial vector fields presenting a Liouvillian first integral (or, equivalently, to rational…

We perform a detailed classification of the Lie point symmetries and of the resulting similarity transformations for the Generalized Boiti-Leon-Pempinelli equations. The latter equations for a system of two nonlinear 1+2 partial…