We present a constructive proof of the fact that the set of algebraic Pfaff equations without algebraic solutions over the complex projective plane is dense in the set of all algebraic Pfaff equations of a given degree.
Matrix polynomials play an important role in the theory of matrix differential equations. We develop a fixed point method to compute solutions of matrix polynomials equations, where the matricial elements of the matrix polynomial are considered separately as complex polynomials. Numerical examples illustrate the method presented.
Let X be a germ of holomorphic vector field at the origin of Cn and vanishing there. We assume that X is a good perturbation of a “nondegenerate” singular completely integrable system. The latter is associated to a family of linear diagonal vector fields which is assumed to have nontrivial polynomial first integrals (they are generated by the so called “resonant monomials”). We show that X admits many invariant analytic subsets in a neighborhood of the origin. These are biholomorphic to the intersection...
We give a new proof of multisummability of formal power series solutions of a non linear meromorphic differential equation. We use the recent Malgrange-Ramis definition of multisummability. The first proof of the main result is due to B. Braaksma. Our method of proof is very different: Braaksma used Écalle definition of multisummability and Laplace transform. Starting from a preliminary normal form of the differential equationthe idea of our proof is to interpret a formal power series solution...
We obtain an algebraic interpretation by means of the Picard-Vessiot theory of a result by Ziglin about the self-intersection of complex separatrices of time-periodically perturbed one-degree of freedom complex analytical Hamiltonian systems.
The first and the second Painlevé equations are explicitly Hamiltonian with time dependent Hamilton function. By a natural extension of the phase space one gets corresponding autonomous Hamiltonian systems in ℂ⁴. We prove that the latter systems do not have any additional algebraic first integral. In the proof equations in variations with respect to a parameter are used.
We propose a variant of the classical Liouville-Green approximation theorem for linear complex differential equations of the second order. We obtain rigorous error bounds for the asymptotics at infinity, in the spirit of F. W. J. Olver’s formulation, by using rather arbitrary -progressive paths. This approach can provide higher flexibility in practical applications of the method.