BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Armengol Gasull appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We give lower bounds in terms of~$n,$ for the number of limit cycles of polynomial vector fields of degree~$n,$ having any prescribed invariant algebraic curve. By applying them when the ovals of this curve are also algebraic limit cycles we obtain a new recurrent property for the Hilbert numbers. Finally, we apply our results to two important families of models: Kolmogorov systems and a general family of systems appearing in Game Theory.
An equilateral pentagon is a polygon in the plane with five sides of equal length. In this paper we classify the central configurations of the $5$-body problem having the five bodies at the vertices of an equilateral pentagon with an axis of symmetry. We prove that there are two unique classes of such equilateral pentagons providing central configurations, one concave equilateral pentagon and one convex equilateral pentagon, the regular one. A key point of our proof is the use of rational parameterizations to transform the corresponding equations, which involve square roots, into polynomial equations.
We illustrate with several new applications the power and elegance of the Bendixson Dulac theorem to obtain upper bounds of the number of limit cycles for several families of planar vector fields. In some cases we propose to use a function related with the curvature of the orbits of the vector field as a Dulac function. We get some general results for Lienard type equations and for rigid planar systems. We also present a remarkable phenomenon: for each integer m greater than one, we provide a simple one parametric differential system for which we prove that it has limit cycles only for the values of the parameter in a subset of an interval that decreases exponentially when m grows. One of the strengths of the results presented in this work is that although they are obtained with simple calculations, that can be easily checked by hand, they improve and extend previous studies. Another one is that, for certain systems, it is possible to reduce the question of the number of limit cycles to the study of the shape of a planar curve and the sign of an associated function in one or two variables.
We describe the global dynamics of some pointwise periodic piecewise linear maps in the plane that exhibit interesting dynamic features. For each of these maps we find a first integral. For these integrals the set of values are discrete, thus quantized. Furthermore, the level sets are bounded sets whose interior is formed by a finite number of open tiles of certain regular or uniform tessellations. The action of the maps on each invariant set of tiles is described geometrically.
In this paper, we apply the averaging method via Brouwer degree in a class of planar systems given by a linear center perturbed by a sum of continuous homogeneous vector fields, to study lower bounds for their number of limit cycles. Our results can be applied to models where the smoothness is lost on the set $Σ=\{xy=0\}$. We also apply them to present a variant of Hilbert 16th problem, where the goal is to bound the number of limit cycles in terms of the number of monomials of a family of polynomial vector fields, instead of doing this in terms of their degrees.
We study the phase portraits with positive probability of random planar homogeneous vector fields of degree n. In particular, for n=1,2,3, we give a complete solution of the problem and, moreover, either we give the exact value of each probability or we estimate it by using the Monte Carlo method. It is remarkable that all but two of these phase portraits are characterized by their index at the origin and by their number of invariant straight lines through it.
In this work we consider a given root of a family of n-degree polynomials as a one-variable function that depends only on the independent term. Then we prove that this function satisfies several ordinary differential equations (ODE). More concretely, it satisfies several simple separated variables ODE, a first order generalized Abel ODE of degree n-1 and an (n-1)-th order linear ODE. Although some of our results are not new, our approach is simple and self-contained. For n=2, 3 and 4 we recover, from these ODE, the classical formulas for solving these polynomials.
In the first part of the paper we develop a constructive procedure to obtain the Taylor expansion, in terms of the energy, of the period function for a non-degenerated center of any planar analytic Hamiltonian system. We apply it to several examples, including the whirling pendulum and a cubic Hamiltonian system. The knowledge of this Taylor expansion of the period function for this system is one of the key points to study the number of zeroes of an Abelian integral that controls the number of limit cycles bifurcating from the periodic orbits of a planar Hamiltonian system that is inspired by a physical model on capillarity. Several other classical tools, like for instance Chebyshev systems are applied to study this number of zeroes. The approach introduced can also be applied in other situations.
We consider perturbed pendulum-like equations on the cylinder of the form $ \ddot x+\sin(x)= \varepsilon \sum_{s=0}^{m}{Q_{n,s} (x)\, \dot x^{s}}$ where $Q_{n,s}$ are trigonometric polynomials of degree $n$, and study the number of limit cycles that bifurcate from the periodic orbits of the unperturbed case $\varepsilon=0$ in terms of $m$ and $n$. Our first result gives upper bounds on the number of zeros of its associated first order Melnikov function, in both the oscillatory and the rotary regions. These upper bounds are obtained expressing the corresponding Abelian integrals in terms of polynomials and the complete elliptic functions of first and second kind. Some further results give sharp bounds on the number of zeros of these integrals by identifying subfamilies which are shown to be Chebyshev systems.
This paper deals with the problem of location and existence of limit cycles for real planar polynomial differential systems. We provide a method to construct Poincaré--Bendixson regions by using transversal curves, that enables us to prove the existence of a limit cycle that has been numerically detected. We apply our results to several known systems, like the Brusselator one or some Liénard systems, to prove the existence of the limit cycles and to locate them very precisely in the phase space. Our method, combined with some other classical tools can be applied to obtain sharp bounds for the bifurcation values of a saddle-node bifurcation of limit cycles, as we do for the Rychkov system.
Consider real or complex polynomial Riccati differential equations $a(x) \dot y=b_0(x)+b_1(x)y+b_2(x)y^2$ with all the involved functions being polynomials of degree at most $η$. We prove that the maximum number of polynomial solutions is $η+1$ (resp. 2) when $η\ge 1$ (resp. $η=0$) and that these bounds are sharp. For real trigonometric polynomial Riccati differential equations with all the functions being trigonometric polynomials of degree at most $η\ge 1$ we prove a similar result. In this case, the maximum number of trigonometric polynomial solutions is $2η$ (resp. $3$) when $η\ge 2$ (resp. $η=1$) and, again, these bounds are sharp. Although the proof of both results has the same starting point, the classical result that asserts that the cross ratio of four different solutions of a Riccati differential equation is constant, the trigonometric case is much more involved. The main reason is that the ring of trigonometric polynomials is not a unique factorization domain.
We consider the problem of characterizing, for certain natural number $m$, the local $\mathcal{C}^m$-non-integrability near elliptic fixed points of smooth planar measure preserving maps. Our criterion relates this non-integrability with the existence of some Lie Symmetries associated to the maps, together with the study of the finiteness of its periodic points. One of the steps in the proof uses the regularity of the period function on the whole period annulus for non-degenerate centers, question that we believe that is interesting by itself. The obtained criterion can be applied to prove the local non-integrability of the Cohen map and of several rational maps coming from second order difference equations.
The Bogdanov-Takens system has at most one limit cycle and, in the parameter space, it exists between a Hopf and a saddle-loop bifurcation curves. The aim of this paper is to prove the Perko's conjectures about some analytic properties of the saddle-loop bifurcation curve. Moreover, we provide sharp piecewise algebraic upper and lower bounds for this curve.
Consider the Mills ratio $f(x)=\big(1-Φ(x)\big)/ϕ(x), \, x\ge 0$, where $ϕ$ is the density function of the standard Gaussian law and $Φ$ its cumulative distribution.We introduce a general procedure to approximate $f$ on the whole $[0,\infty)$ which allows to prove interesting properties where $f$ is involved. As applications we present a new proof that $1/f$ is strictly convex, and we give new sharp bounds of $f$ involving rational functions, functions with square roots or exponential terms. Also Chernoff type bounds for the Gaussian $Q$--function are studied.
We consider the 1-parameter family of planar quintic systems, $\dot x= y^3-x^3$, $\dot y= -x+my^5$, introduced by A. Bacciotti in 1985. It is known that it has at most one limit cycle and that it can exist only when the parameter $m$ is in $(0.36,0.6)$. In this paper, using the Bendixon-Dulac theorem, we give a new unified proof of all the previous results, we shrink this to $(0.547,0.6)$, and we prove the hyperbolicity of the limit cycle. We also consider the question of the existence of polycycles. The main interest and difficulty for studying this family is that it is not a semi-complete family of rotated vector fields. When the system has a limit cycle, we also determine explicit lower bounds of the basin of attraction of the origin. Finally we answer an open question about the change of stability of the origin for an extension of the above systems.
In this paper we introduce a precise definition of algebraic traveling wave solution for general n-th order partial differential equations. All examples of explicit traveling waves known by the authors fall in this category. Our main result proves that algebraic traveling waves exist if and only if an associated n- dimensional first order ordinary differential system has some invariant algebraic curve. As a paradigmatic application we prove that, for the celebrated Fisher- Kolmogorov equation, the only algebraic traveling waves solutions are the ones found in 1979 by Ablowitz and Zeppetella. To the best of our knowledge, this is the first time that this type of results have been obtained.
Consider the Mills ratio corresponding to the standard Gaussian law, $f(x)=\big(1-Φ(x)\big)/ϕ(x), \, x\ge 0$, where $ϕ$ is the density function of this law and $Φ$ its cumulative distribution function. We prove that this function is completely monotone. In the proof we obtain a sequence of rational functions that are sharp bounds for $f$; it turns out that these rational functions are the convergents of the continued fraction defined by $f$, and provide an approximation procedure that allows to prove interesting properties where $f$ or its derivatives are involved. As an application we show that $1/f$ is strictly convex.
The Weibull--like distributions form a large class of probability distributions that belong to the domain of attraction for the maxima of the Gumbel law. Besides the Weibull distribution, it includes important distributions as the Gamma laws and, in particular, the $χ^2$ distributions. In order to have explicit expressions of the norming constants for the maxima it is necessary to solve asymptotically a nonlinear equation; however, for some members of that family, numerical and simulation studies show that the constants that are usual suggested are inaccurate for moderate or even large sample sizes. In this paper we propose other norming constants computed with the asymptotics of the Lambert W function that significantly improve the accuracy of the approximation to the Gumbel law. These results are applied to the computation of the constants for the maxima of Gamma random variables that appear in some applied problems.
In a remarkable paper, Peter Hall [{\it On the rate of convergence of normal extremes}, J. App. Prob, {\bf 16} (1979) 433--439] proved that the supremum norm distance between the distribution function of the normalized maximum of $n$ independent standard normal random variables and the distribution function of the Gumbel law is bounded by $3/\log n$. In the present paper we prove that choosing a different set of norming constants that bound can be reduced to $1/\log n$. As a consequence, using the asymptotic expansion of a Lambert $W$ type function, we propose new explicit constants for the maxima of normal random variables.
During the last years the authors have studied the number of limit cycles of several families of planar vector fields. The common tool has been the use of an extended version of the celebrated Bendixson-Dulac Theorem. The aim of this work is to present an unified approach of some of these results, together with their corresponding proofs. We also provide several applications.
In this paper we consider several families of potential non-isochronous systems and study their associated period functions. Firstly, we prove some properties of these functions, like their local behavior near the critical point or infinity, or their global monotonicity. Secondly, we show that these properties are also present when we approach to the same questions using the Harmonic Balance Method.
We study traveling wave solutions of an equation for surface waves of moderate amplitude arising as a shallow water approximation of the Euler equations for inviscid, incompressible and homogenous fluids. We obtain solitary waves of elevation and depression, including a family of solitary waves with compact support, where the amplitude may increase or decrease with respect to the wave speed. Our approach is based on techniques from dynamical systems and relies on a reformulation of the evolution equation as an autonomous Hamiltonian system which facilitates an explicit expression for bounded orbits in the phase plane to establish existence of the corresponding periodic and solitary traveling wave solutions.
We prove that the differential equation $x\ddot{x} + 1 = 0$ has continuous weak periodic solutions and compute their periods. Then, we use the Harmonic Balance Method until order six to approach these periods and to illustrate how the sharpness of the method increases with the order. Our computations rely on the Gröbner basis method.
The Harmonic Balance method provides a heuristic approach for finding truncated Fourier series as an approximation to the periodic solutions of ordinary differential equations. Another natural way for obtaining these type of approximations consists in applying numerical methods. In this paper we recover the pioneering results of Stokes and Urabe that provide a theoretical basis for proving that near these truncated series, whatever is the way they have been obtained, there are actual periodic solutions of the equation. We will restrict our attention to one-dimensional non-autonomous ordinary differential equations and we apply the results obtained to a couple of concrete examples coming from planar autonomous systems.
It is well-known that the existence of traveling wave solutions for reaction-diffusion partial differential equations can be proved by showing the existence of certain heteroclinic orbits for related autonomous planar differential equations. We introduce a method for finding explicit upper and lower bounds of these heteroclinic orbits. In particular, for the classical Fisher-Kolmogorov equation we give rational upper and lower bounds which allow to locate these solutions analytically and with very high accuracy.
We consider two types of non-autonomous 2-periodic Gumovski-Mira difference equations. We show that while the corresponding autonomous recurrences are conjugated, the behavior of the sequences generated by the 2-periodic ones differ dramatically: in one case the behavior of the sequences is simple (integrable) and in the other case it is much more complicated (chaotic). We also present a global study of the integrable case that includes which periods appear for the recurrence.
Consider the celebrated Lyness recurrence $x_{n+2}=(a+x_{n+1})/x_{n}$ with $a\in\Q$. First we prove that there exist initial conditions and values of $a$ for which it generates periodic sequences of rational numbers with prime periods $1,2,3,5,6,7,8,9,10$ or $12$ and that these are the only periods that rational sequences $\{x_n\}_n$ can have. It is known that if we restrict our attention to positive rational values of $a$ and positive rational initial conditions the only possible periods are $1,5$ and $9$. Moreover 1-periodic and 5-periodic sequences are easily obtained. We prove that for infinitely many positive values of $a,$ positive 9-period rational sequences occur. This last result is our main contribution and answers an open question left in previous works of Bastien \& Rogalski and Zeeman. We also prove that the level sets of the invariant associated to the Lyness map is a two-parameter family of elliptic curves that is a universal family of the elliptic curves with a point of order $n, n\ge5,$ including $n$ infinity. This fact implies that the Lyness map is a universal normal form for most birrational maps on elliptic curves.
Consider the vector field $x'= -yG(x, y), y'=xG(x, y),$ where the set of critical points $\{G(x, y) = 0\}$ is formed by $K$ straight lines, not passing through the origin and parallel to one or two orthogonal directions. We perturb it with a general polynomial perturbation of degree $n$ and study which is the maximum number of limit cycles that can bifurcate from the period annulus of the origin in terms of $K$ and $n.$ Our approach is based on the explicit computation of the Abelian integral that controls the bifurcation and in a new result for bounding the number of zeroes of a certain family of real functions. When we apply our results for $K\le4$ we recover or improve some results obtained in several previous works.
We describe the sequences {x_n}_n given by the non-autonomous second order Lyness difference equations x_{n+2}=(a_n+x_{n+1})/x_n, where {a_n}_n is either a 2-periodic or a 3-periodic sequence of positive values and the initial conditions x_1,x_2 are as well positive. We also show an interesting phenomenon of the discrete dynamical systems associated to some of these difference equations: the existence of one oscillation of their associated rotation number functions. This behavior does not appear for the autonomous Lyness difference equations.
Consider a family of planar systems depending on two parameters $(n,b)$ and having at most one limit cycle. Assume that the limit cycle disappears at some homoclinic (or heteroclinic) connection when $Φ(n,b)=0.$ We present a method that allows to obtain a sequence of explicit algebraic lower and upper bounds for the bifurcation set ${Φ(n,b)=0}.$ The method is applied to two quadratic families, one of them is the well-known Bogdanov-Takens system. One of the results that we obtain for this system is the bifurcation curve for small values of $n$, given by $b=\frac5 7 n^{1/2}+{72/2401}n- {30024/45294865}n^{3/2}- {2352961656/11108339166925} n^2+O(n^{5/2})$. We obtain the new three terms from purely algebraic calculations, without evaluating Melnikov functions.
Given two ellipses, one surrounding the other one, Poncelet introduced a map $P$ from the exterior one to itself by using the tangent lines to the interior ellipse. This procedure can be extended to any two smooth, nested and convex ovals and we call this type of maps Poncelet's maps. We recall what he proved around 1814 in the dynamical systems language: In the two ellipses case and when the rotation number of P is rational there exists a natural number such that P^n is the identity, or in other words, the Poncelet's map is conjugated to a rational rotation. In this paper we study general Poncelet's maps and give several examples of algebraic ovals where the corresponding Poncelet's map has a rational rotation number and it is not conjugated to a rotation. Finally, we also provide a new proof of Poncelet's result based on dynamical tools.
This paper is devoted to study some properties of the k-dimensional Lyness' map. Our main result presentes a rational vector field that gives a Lie symmetry for F. This vector field is used, for k less or equal to 5 to give information about the nature of the invariant sets under F. When k is odd, we also present a new (as far as we know) first integral for F^2 which allows to deduce in a very simple way several properties of the dynamical system generated by F. In particular for this case we prove that, except on a given codimension one algebraic set, none of the positive initial conditions can be a periodic point of odd period.
In this paper we consider dynamical systems generated by a diffeomorphism F defined on U an open subset of R^n, and give conditions over F which imply that their dynamics can be understood by studying the flow of an associated differential equation, $\dot x=X(x),$ also defined on U. In particular the case where F has n-1 functionally independent first integrals is considered. In this case X is constructed by imposing that it shares with $F$ the same set of first integrals and that the functional equation $μ(F(x))=\det((DF(x))μ(x),$ for x in U has some non-zero solution. Several examples for n=2,3 are presented, most of them coming from several well-known difference equations.
This paper studies the iterates of the third order Lyness' recurrence $x_{k+3}=(a+x_{k+1}+x_{k+2})/x_k,$ with positive initial conditions, being $a$ also a positive parameter. It is known that for $a=1$ all the sequences generated by this recurrence are 8-periodic. We prove that for each $a\ne1$ there are infinitely many initial conditions giving rise to periodic sequences which have almost all the even periods and that for a full measure set of initial conditions the sequences generated by the recurrence are dense in either one or two disjoint bounded intervals of $\R.$ Finally we show that the set of initial conditions giving rise to periodic sequences of odd period is contained in a codimension one algebraic variety (so it has zero measure) and that for an open set of values of $a$ it also contains all the odd numbers, except finitely many of them.