TY - JOUR

T1 - On the multiple zeros of a real analytic function with applications to the averaging theory of differential equations

AU - García, Isaac A.

AU - Llibre, Jaume

AU - Maza, Susanna

PY - 2018/4/27

Y1 - 2018/4/27

N2 - © 2018 IOP Publishing Ltd and London Mathematical Society. In this work we consider real analytic functions d(z, λ, ϵ), where d : ω × ℝp × I → ω, ω is a bounded open subset of ℝ, I ⊂ ℝ is an interval containing the origin, λ ∈ ℝp are parameters, and ϵ is a small parameter. We study the branching of the zero-set of d(z, λ, ϵ) at multiple points when the parameter ϵ varies. We apply the obtained results to improve the classical averaging theory for computing T-periodic solutions of λ-families of analytic T-periodic ordinary differential equations defined on ℝ, using the displacement functions d(z, λ, ϵ) defined by these equations. We call the coefficients in the Taylor expansion of d(z, λ, ϵ) in powers of ϵ the averaged functions. The main contribution consists in analyzing the role that have the multiple zeros z0 ∈ ω of the first non-zero averaged function. The outcome is that these multiple zeros can be of two different classes depending on whether the zeros (z0, λ) belong or not to the analytic set defined by the real variety associated to the ideal generated by the averaged functions in the Noetheriang ring of all the real analytic functions at (z0,λ). We bound the maximum number of branches of isolated zeros that can bifurcate from each multiple zero z0. Sometimes these bounds depend on the cardinalities of minimal bases of the former ideal. Several examples illustrate our results and they are compared with the classical theory, branching theory and also under the light of singularity theory of smooth maps. The examples range from polynomial vector fields to Abel differential equations and perturbed linear centers.

AB - © 2018 IOP Publishing Ltd and London Mathematical Society. In this work we consider real analytic functions d(z, λ, ϵ), where d : ω × ℝp × I → ω, ω is a bounded open subset of ℝ, I ⊂ ℝ is an interval containing the origin, λ ∈ ℝp are parameters, and ϵ is a small parameter. We study the branching of the zero-set of d(z, λ, ϵ) at multiple points when the parameter ϵ varies. We apply the obtained results to improve the classical averaging theory for computing T-periodic solutions of λ-families of analytic T-periodic ordinary differential equations defined on ℝ, using the displacement functions d(z, λ, ϵ) defined by these equations. We call the coefficients in the Taylor expansion of d(z, λ, ϵ) in powers of ϵ the averaged functions. The main contribution consists in analyzing the role that have the multiple zeros z0 ∈ ω of the first non-zero averaged function. The outcome is that these multiple zeros can be of two different classes depending on whether the zeros (z0, λ) belong or not to the analytic set defined by the real variety associated to the ideal generated by the averaged functions in the Noetheriang ring of all the real analytic functions at (z0,λ). We bound the maximum number of branches of isolated zeros that can bifurcate from each multiple zero z0. Sometimes these bounds depend on the cardinalities of minimal bases of the former ideal. Several examples illustrate our results and they are compared with the classical theory, branching theory and also under the light of singularity theory of smooth maps. The examples range from polynomial vector fields to Abel differential equations and perturbed linear centers.

KW - Poincarémap

KW - averaging theory

KW - periodic orbits

U2 - https://doi.org/10.1088/1361-6544/aab592

DO - https://doi.org/10.1088/1361-6544/aab592

M3 - Article

SN - 0951-7715

VL - 31

SP - 2666

EP - 2688

JO - Nonlinearity

JF - Nonlinearity

IS - 6

ER -