-
Limit cycles bifurcating from periodic integral manifold in non-smooth differential systems
Authors:
Oscar A. R. Cespedes,
Douglas D. Novaes
Abstract:
This paper addresses the perturbation of higher-dimensional non-smooth autonomous differential systems characterized by two zones separated by a codimension-one manifold, with an integral manifold foliated by crossing periodic solutions. Our primary focus is on developing the Melnikov method to analyze the emergence of limit cycles originating from the periodic integral manifold. While previous st…
▽ More
This paper addresses the perturbation of higher-dimensional non-smooth autonomous differential systems characterized by two zones separated by a codimension-one manifold, with an integral manifold foliated by crossing periodic solutions. Our primary focus is on developing the Melnikov method to analyze the emergence of limit cycles originating from the periodic integral manifold. While previous studies have explored the Melnikov method for autonomous perturbations of non-smooth differential systems with a linear switching manifold and with a periodic integral manifold, either open or of codimension 1, our work extends to non-smooth differential systems with a non-linear switching manifold and more general periodic integral manifolds, where the persistence of periodic orbits is of interest. We illustrate our findings through several examples, highlighting the applicability and significance of our main result.
△ Less
Submitted 3 September, 2024;
originally announced September 2024.
-
Invariant Tori and Periodic Orbits in the FitzHugh-Nagumo System
Authors:
Murilo R. Cândido,
Douglas D. Novaes,
Nasrin Sadri
Abstract:
The FitzHugh-Nagumo system is a $4$-parameter family of $3$D vector field used for modeling neural excitation and nerve impulse propagation. The origin represents a Hopf-zero equilibrium in the FitzHugh-Nagumo system for two classes of parameters. In this paper, we employ recent techniques in averaging theory to investigate, besides periodic solutions, the bifurcation of invariant tori within the…
▽ More
The FitzHugh-Nagumo system is a $4$-parameter family of $3$D vector field used for modeling neural excitation and nerve impulse propagation. The origin represents a Hopf-zero equilibrium in the FitzHugh-Nagumo system for two classes of parameters. In this paper, we employ recent techniques in averaging theory to investigate, besides periodic solutions, the bifurcation of invariant tori within the aforementioned families. We provide explicit generic conditions for the existence of these tori and analyze their stability properties. Furthermore, we employ the backward differentiation formula to solve the stiff differential equations and provide numerical simulations for each of the mentioned results.
△ Less
Submitted 22 August, 2024;
originally announced August 2024.
-
On the Hausdorff dimension and Cantor set structure of sliding Shilnikov invariant sets
Authors:
Matheus G. C. Cunha,
Douglas D. Novaes,
Gabriel Ponce
Abstract:
The concept of sliding Shilnikov connection has been recently introduced and represents an important notion in Filippov systems, because its existence implies chaotic behavior on an invariant subset of the system. The investigation of its properties has just begun, and understanding the topology and complexity of its invariant set is of interest. In this paper, we conduct a local analysis on the f…
▽ More
The concept of sliding Shilnikov connection has been recently introduced and represents an important notion in Filippov systems, because its existence implies chaotic behavior on an invariant subset of the system. The investigation of its properties has just begun, and understanding the topology and complexity of its invariant set is of interest. In this paper, we conduct a local analysis on the first return map associated to a Shilnikov sliding connection, which reveals a conformal iterated function system (CIFS) structure. By using the theory of CIFS, we estimate the Hausdorff dimension of the local invariant set of the first return map, showing, in particular, that it is strictly greater than $0$ and strictly less than $1$, and its one-dimensional Lebesgue measure is 0. Moreover, we prove that the closure of the local invariant set is a Cantor set and has the same Hausdorff dimension and Lebesgue measure of the original invariant set. Furthermore, it is given by the invariant set adjoined with the set of all pre-images of the regular-fold point.
△ Less
Submitted 23 August, 2024; v1 submitted 17 December, 2023;
originally announced December 2023.
-
On the periodic and antiperiodic aspects of the Floquet normal form
Authors:
Douglas D. Novaes,
Pedro C. C. R. Pereira
Abstract:
Floquet's Theorem is a celebrated result in the theory of ordinary differential equations. Essentially, the theorem states that, when studying a linear differential system with $T$-periodic coefficients, we can apply a, possibly complex, $T$-periodic change of variables that transforms it into a linear system with constant coefficients. In this paper, we explore further the question of the nature…
▽ More
Floquet's Theorem is a celebrated result in the theory of ordinary differential equations. Essentially, the theorem states that, when studying a linear differential system with $T$-periodic coefficients, we can apply a, possibly complex, $T$-periodic change of variables that transforms it into a linear system with constant coefficients. In this paper, we explore further the question of the nature of this change of variables. We state necessary and sufficient conditions for it to be real and $T$-periodic. Failing those conditions, we prove that we can still find a real change of variables that is "partially" $T$-periodic and "partially" $T$-antiperiodic. We also present applications of this new form of Floquet's Theorem to the study of the behavior of solutions of nonlinear differential systems near periodic orbits.
△ Less
Submitted 22 August, 2024; v1 submitted 9 December, 2023;
originally announced December 2023.
-
A Melnikov analysis on a family of second order discontinuous differential equations
Authors:
Douglas D. Novaes,
Luan V. M. F. Silva
Abstract:
This paper aims to provide a Melnikov-like function that governs the existence of periodic solutions bifurcating from period annuli in certain families of second-order discontinuous differential equations of the form $\ddot{x}+α\; \textrm{sign}(x)=ηx+\varepsilon \;f(t,x,\dot{x})$. This family has attracted considerable attention from researchers, particularly in the analysis of specific instances…
▽ More
This paper aims to provide a Melnikov-like function that governs the existence of periodic solutions bifurcating from period annuli in certain families of second-order discontinuous differential equations of the form $\ddot{x}+α\; \textrm{sign}(x)=ηx+\varepsilon \;f(t,x,\dot{x})$. This family has attracted considerable attention from researchers, particularly in the analysis of specific instances of $f(t,x,\dot{x})$. The study of this type of differential equation is motivated by its significance in modeling systems with abrupt state changes, both in natural and engineering contexts.
△ Less
Submitted 22 August, 2024; v1 submitted 5 December, 2023;
originally announced December 2023.
-
The complete dynamics description of positively curved metrics in the Wallach flag manifold $\mathrm{SU}(3)/\mathrm{T}^2$
Authors:
Leonardo F. Cavenaghi,
Lino Grama,
Ricardo M. Martins,
Douglas D. Novaes
Abstract:
The family of invariant Riemannian manifolds in the Wallach flag manifold $\mathrm{SU}(3)/\mathrm{T}^2$ is described by three parameters $(x,y,z)$ of positive real numbers. By restricting such a family of metrics in the \emph{tetrahedron} $\cal{T}:= x+y+z = 1$, in this paper, we describe all regions $\cal R \subset \cal T$ admitting metrics with curvature properties varying from positive sectional…
▽ More
The family of invariant Riemannian manifolds in the Wallach flag manifold $\mathrm{SU}(3)/\mathrm{T}^2$ is described by three parameters $(x,y,z)$ of positive real numbers. By restricting such a family of metrics in the \emph{tetrahedron} $\cal{T}:= x+y+z = 1$, in this paper, we describe all regions $\cal R \subset \cal T$ admitting metrics with curvature properties varying from positive sectional curvature to positive scalar curvature, including positive intermediate curvature notion's. We study the dynamics of such regions under the \emph{projected Ricci flow} in the plane $(x,y)$, concluding sign curvature maintenance and escaping. In addition, we obtain some results for positive intermediate Ricci curvature for a path of metrics on fiber bundles over $\mathrm{SU}(3)/\mathrm{T}^2$, further studying its evolution under the Ricci flow on the base.
△ Less
Submitted 12 July, 2023;
originally announced July 2023.
-
Existence of a cylinder foliated by periodic orbits in the generalized Chazy differential equation
Authors:
Jaume Llibre,
Douglas D. Novaes,
Claudia Valls
Abstract:
The generalized Chazy differential equation corresponds to the following two-parameter family of differential equations \begin{equation*}\label{gcdeq} \dddot x+|x|^q \ddot x+\dfrac{k |x|^q}{x}\dot x^2=0, \end{equation*} which has its regularity varying with $q$ , a positive integer. Indeed, for $q=1$ it is discontinuous on the straight line $x=0$, whereas for $q$ a positive even integer it is poly…
▽ More
The generalized Chazy differential equation corresponds to the following two-parameter family of differential equations \begin{equation*}\label{gcdeq} \dddot x+|x|^q \ddot x+\dfrac{k |x|^q}{x}\dot x^2=0, \end{equation*} which has its regularity varying with $q$ , a positive integer. Indeed, for $q=1$ it is discontinuous on the straight line $x=0$, whereas for $q$ a positive even integer it is polynomial, and for $q>1$ a positive odd integer it is continuous but not differentiable on the straight line $x=0$. In 1999, the existence of periodic solutions in the generalized Chazy differential equation was numerically observed for $q=2$ and $k=3$. In this paper, we prove analytically the existence of such periodic solutions. Our strategy allows to establish sufficient conditions ensuring that the generalized Chazy differential equation, for $k=q+1$ and any positive integer $q$ , has actually an invariant topological cylinder foliated by periodic solutions in the $(x,\dot x,\ddot x)$-space. In order to set forth the bases of our approach, we start by considering $q=1,2,3$, which are representatives of the different classes of regularity. For an arbitrary positive integer $q$, an algorithm is provided for checking the sufficient conditions for the existence of such an invariant cylinder, which we conjecture that always exists. The algorithm was successfully applied up to $q=100$.
△ Less
Submitted 30 June, 2023;
originally announced July 2023.
-
Invariant tori and boundedness of solutions of non-smooth oscillators with Lebesgue integrable forcing term
Authors:
Douglas D. Novaes,
Luan V. M. F. Silva
Abstract:
Since Littlewood works in the 1960's, the boundedness of solutions of Duffing-type equations $\ddot{x}+g(x)=p(t)$ has been extensively investigated. More recently, some researches have focused on the family of non-smooth forced oscillators $ \ddot{x}+\text{sgn}(x)=p(t)$, mainly because it represents a simple limit scenario of Duffing-type equations for when $g$ is bounded. Here, we provide a simpl…
▽ More
Since Littlewood works in the 1960's, the boundedness of solutions of Duffing-type equations $\ddot{x}+g(x)=p(t)$ has been extensively investigated. More recently, some researches have focused on the family of non-smooth forced oscillators $ \ddot{x}+\text{sgn}(x)=p(t)$, mainly because it represents a simple limit scenario of Duffing-type equations for when $g$ is bounded. Here, we provide a simple proof for the boundedness of solutions of the non-smooth forced oscillator in the case that the forcing term $p(t)$ is a $T$-periodic Lebesgue integrable function with vanishing average. We reach this result by constructing a sequence of invariant tori whose union of their interiors covers all the $(t,x,\dot x)$-space, $(t,x,\dot{x})\in \mathbb{S}^1\times\mathbb{R}^2$.
△ Less
Submitted 7 February, 2024; v1 submitted 22 May, 2023;
originally announced May 2023.
-
Invariant tori via higher order averaging method: existence, regularity, convergence, stability, and dynamics
Authors:
Douglas D. Novaes,
Pedro C. C. R. Pereira
Abstract:
Important information about the dynamical structure of a differential system can be revealed by looking into its invariant compact manifolds, such as equilibria, periodic orbits, and invariant tori. This knowledge is significantly increased if asymptotic properties of the trajectories nearby such invariant manifolds can be determined. In this paper, we present a result providing sufficient conditi…
▽ More
Important information about the dynamical structure of a differential system can be revealed by looking into its invariant compact manifolds, such as equilibria, periodic orbits, and invariant tori. This knowledge is significantly increased if asymptotic properties of the trajectories nearby such invariant manifolds can be determined. In this paper, we present a result providing sufficient conditions for the existence of invariant tori in perturbative differential systems. The regularity, convergence, and stability of such tori as well as the dynamics defined on them are also investigated. The conditions are given in terms of their so-called higher order averaged equations. This result is an extension to a wider class of differential systems of theorems due to Krylov, Bogoliubov, Mitropolsky, and Hale.
△ Less
Submitted 19 May, 2023;
originally announced May 2023.
-
On the cyclicity of monodromic tangential singularities: a look beyond the pseudo-Hopf bifurcation
Authors:
Douglas D. Novaes,
Leandro A. Silva
Abstract:
The cyclicity problem consists in estimating the number of limit cycles bifurcating from a monodromic singularity of planar vector fields and is usually addressed by means of Lyapunov coefficients. For nonsmooth systems, besides the limit cycles bifurcating by varying the Lyapunov coefficients, monodromic singularities lying on the switching curve can always be split apart generating, under suitab…
▽ More
The cyclicity problem consists in estimating the number of limit cycles bifurcating from a monodromic singularity of planar vector fields and is usually addressed by means of Lyapunov coefficients. For nonsmooth systems, besides the limit cycles bifurcating by varying the Lyapunov coefficients, monodromic singularities lying on the switching curve can always be split apart generating, under suitable conditions, a sliding region and an extra limit cycle surrounding it. This bifurcation phenomenon is called pseudo-Hopf bifurcation and has been used to increase the lower bounds for the cyclicity of monodromic singularities in Filippov vector fields. In this paper, we aim to go beyond the pseudo-Hopf bifurcation by showing that the destruction of (2k,2k)-monodromic tangential singularities give birth to at least k limit cycles surrounding sliding segments.
△ Less
Submitted 10 March, 2023;
originally announced March 2023.
-
Poincaré-Hopf Theorem for Filippov vector fields on 2-dimensional compact manifolds
Authors:
Joyce A. Casimiro,
Ricardo M. Martins,
Douglas D. Novaes
Abstract:
The Euler characteristic of a 2-dimensional compact manifold and the local behavior of smooth vector fields defined on it are related to each other by means of the Poincaré--Hopf Theorem. Despite of the importance of Filippov vector fields, concerning both their theoretical and applied aspects, until now, it was not known if this result it still true for Filippov vector fields. In this paper, we s…
▽ More
The Euler characteristic of a 2-dimensional compact manifold and the local behavior of smooth vector fields defined on it are related to each other by means of the Poincaré--Hopf Theorem. Despite of the importance of Filippov vector fields, concerning both their theoretical and applied aspects, until now, it was not known if this result it still true for Filippov vector fields. In this paper, we show it is.
While in the smooth case the singularities consist of the points where the vector field vanishes, in the context of Filippov vector fields the notion of singularity also comprehend new kinds of points, namely, pseudo-equilibria and tangency points. Here, the classical index definition for singularities of smooth vector fields is extended to singularities of Filippov vector fields. Such an extension is based on an invariance property under a regularization process. With this new index definition, we provide a version of the Poincaré--Hopf Theorem for Filippov vector fields. Consequently, we also get a Hairy Ball Theorem in this context, i.e. ``any Filippov vector field defined on a sphere must have at least one singularity (in the Filippov sense)''.
△ Less
Submitted 7 March, 2023;
originally announced March 2023.
-
On the number of isolated invariant tori for 3D polynomial vector fields
Authors:
Douglas D. Novaes,
Pedro C. C. R. Pereira
Abstract:
The 16th Hilbert's Problem, about the maximum number of limit cycles of planar polynomial vector fields of a given degree $m$, has been one of the most important driving forces for new developments in the qualitative theory of vector fields. Increasing the dimension, one cannot expect the existence of a finite upper bound for the number of limit cycles of, for instance, $3$D polynomial vector fiel…
▽ More
The 16th Hilbert's Problem, about the maximum number of limit cycles of planar polynomial vector fields of a given degree $m$, has been one of the most important driving forces for new developments in the qualitative theory of vector fields. Increasing the dimension, one cannot expect the existence of a finite upper bound for the number of limit cycles of, for instance, $3$D polynomial vector fields of a given degree $m$. Here, as an extension of such a problem in the $3$D space, we investigate the number of isolated invariant tori in $3$D polynomial vector fields. In this context, given a natural number $m$, we denote by $N(m)$ the upper bound for the number of isolated invariant tori of $3$D polynomial vector fields of degree $m$. Our main result provides a lower bound for $N(m)$ in terms of lower bounds for the number of hyperbolic limit cycles of planar polynomial vector fields of degree $[m/2]-1$.
△ Less
Submitted 22 December, 2022;
originally announced December 2022.
-
On the stability of smooth branches of periodic solutions for higher order perturbed differential equations
Authors:
Murilo R. Cândido,
Douglas D. Novaes
Abstract:
The averaging method combined with the Lyapunov-Schmidt reduction provides sufficient conditions for the existence of periodic solutions of the following class of perturbative $T$-periodic nonautonomous differential equations $x'=F_0(t,x)+\varepsilon F(t,x,\varepsilon)$. Such periodic solutions bifurcate from a manifold $\mathcal{Z}$ of periodic solutions of the unperturbed system $x'=F_0(t,x)$. D…
▽ More
The averaging method combined with the Lyapunov-Schmidt reduction provides sufficient conditions for the existence of periodic solutions of the following class of perturbative $T$-periodic nonautonomous differential equations $x'=F_0(t,x)+\varepsilon F(t,x,\varepsilon)$. Such periodic solutions bifurcate from a manifold $\mathcal{Z}$ of periodic solutions of the unperturbed system $x'=F_0(t,x)$. Determining the stability of this kind of periodic solutions involves the computation of eigenvalues of matrix-valued functions $M(\varepsilon)$, which can done using the theory of $k$-hyperbolic matrices. Usually, in this theory, a diagonalizing process of $k$-jets of $M(\varepsilon)$ must be employed and no general algorithm exists for doing that. In this paper, we develop an alternative strategy for determining the stability of the periodic solutions without the need of such a diagonalization process, which can work even when the diagonalization is not possible. Applications of our result for two families of $4$D vector fields are also presented.
△ Less
Submitted 22 December, 2022;
originally announced December 2022.
-
A succinct characterization of period annuli in planar piecewise linear differential systems with a straight line of nonsmoothness
Authors:
Victoriano Carmona,
Fernando Fernández-Sánchez,
Douglas D. Novaes
Abstract:
We close the problem of the existence of period annuli in planar piecewise linear differential systems with a straight line of nonsmoothness. In fact, a characterization for the existence of such objects is provided by means of a few basic operations on the parameters.
We close the problem of the existence of period annuli in planar piecewise linear differential systems with a straight line of nonsmoothness. In fact, a characterization for the existence of such objects is provided by means of a few basic operations on the parameters.
△ Less
Submitted 27 July, 2023; v1 submitted 18 December, 2022;
originally announced December 2022.
-
Uniform upper bound for the number of limit cycles of planar piecewise linear differential systems with two zones separated by a straight line
Authors:
Victoriano Carmona,
Fernando Fernández-Sánchez,
Douglas D. Novaes
Abstract:
The existence of a uniform upper bound for the maximum number of limit cycles of planar piecewise linear differential systems with two zones separated by a straight line has been subject of interest of hundreds of papers. After more than 30 years of investigation since Lum-Chua's work, it has remained an open question whether this uniform upper bound exists or not. Here, we give a positive answer…
▽ More
The existence of a uniform upper bound for the maximum number of limit cycles of planar piecewise linear differential systems with two zones separated by a straight line has been subject of interest of hundreds of papers. After more than 30 years of investigation since Lum-Chua's work, it has remained an open question whether this uniform upper bound exists or not. Here, we give a positive answer for this question by establishing the existence of a natural number $L^*\leq 8$ for which any planar piecewise linear differential system with two zones separated by a straight line has no more than $L^*$ limit cycles. The proof is obtained by combining a newly developed integral characterization of Poincaré half-maps for linear differential systems with an extension of Khovanskiĭ's theory for investigating the number of intersection points between smooth curves and a particular kind of orbits of vector fields.
△ Less
Submitted 24 November, 2022; v1 submitted 21 October, 2022;
originally announced October 2022.
-
A mechanism for detecting normally hyperbolic invariant tori in differential equations
Authors:
Pedro C. C. R. Pereira,
Douglas D. Novaes,
Murilo R. Cândido
Abstract:
Determining the existence of compact invariant manifolds is a central quest in the qualitative theory of differential equations. Singularities, periodic solutions, and invariant tori are examples of such invariant manifolds. A classical and useful result from the averaging theory relates the existence of isolated periodic solutions of non-autonomous periodic differential equations, given in a spec…
▽ More
Determining the existence of compact invariant manifolds is a central quest in the qualitative theory of differential equations. Singularities, periodic solutions, and invariant tori are examples of such invariant manifolds. A classical and useful result from the averaging theory relates the existence of isolated periodic solutions of non-autonomous periodic differential equations, given in a specific standard form, with the existence of simple singularities of the so-called guiding system, which is an autonomous differential equation given in terms of the first non-vanishing higher order averaged function. In this paper, we provide an analogous result for the existence of invariant tori. Namely, we show that a non-autonomous periodic differential equation, given in the standard form, has a normally hyperbolic invariant torus in the extended phase space provided that the guiding system has a hyperbolic limit cycle. We apply this result to show the existence of normally hyperbolic invariant tori in a family of jerk differential equations.
△ Less
Submitted 18 June, 2023; v1 submitted 23 August, 2022;
originally announced August 2022.
-
Uniqueness and stability of limit cycles in planar piecewise linear differential systems without sliding region
Authors:
Victoriano Carmona,
Fernando Fernández-Sánchez,
Douglas D. Novaes
Abstract:
In this paper, we consider the family of planar piecewise linear differential systems with two zones separated by a straight line without sliding regions, that is, differential systems whose flow transversally crosses the switching line except for at most one point. In the research literature, many papers deal with the problem of determining the maximum number of limit cycles that these differenti…
▽ More
In this paper, we consider the family of planar piecewise linear differential systems with two zones separated by a straight line without sliding regions, that is, differential systems whose flow transversally crosses the switching line except for at most one point. In the research literature, many papers deal with the problem of determining the maximum number of limit cycles that these differential systems can have. This problem has been usually approached via large case-by-case analyses which distinguish the many different possibilities for the spectra of the matrices of the differential systems. Here, by using a novel integral characterization of Poincaré half-maps, we prove, without unnecessary distinctions of matrix spectra, that the optimal uniform upper bound for the number of limit cycles of these differential systems is one. In addition, it is proven that this limit cycle, if it exists, is hyperbolic and its stability is determined by a simple condition in terms of the parameters of the system. As a byproduct of our analysis, a condition for the existence of the limit cycle is also derived.
△ Less
Submitted 9 April, 2023; v1 submitted 29 July, 2022;
originally announced July 2022.
-
On the Hilbert number for piecewise linear vector fields with algebraic discontinuity set
Authors:
Douglas D. Novaes
Abstract:
The second part of the Hilbert's sixteenth problem consists in determining the upper bound $\mathcal{H}(n)$ for the number of limit cycles that planar polynomial vector fields of degree $n$ can have. For $n\geq2$, it is still unknown whether $\mathcal{H}(n)$ is finite or not. The main achievements obtained so far establish lower bounds for $\mathcal{H}(n)$. Regarding asymptotic behavior, the best…
▽ More
The second part of the Hilbert's sixteenth problem consists in determining the upper bound $\mathcal{H}(n)$ for the number of limit cycles that planar polynomial vector fields of degree $n$ can have. For $n\geq2$, it is still unknown whether $\mathcal{H}(n)$ is finite or not. The main achievements obtained so far establish lower bounds for $\mathcal{H}(n)$. Regarding asymptotic behavior, the best result says that $\mathcal{H}(n)$ grows as fast as $n^2\log(n)$. Better lower bounds for small values of $n$ are known in the research literature. In the recent paper "Some open problems in low dimensional dynamical systems" by A. Gasull, Problem 18 proposes another Hilbert's sixteenth type problem, namely improving the lower bounds for $\mathcal{L}(n)$, $n\in\mathbb{N}$, which is defined as the maximum number of limit cycles that planar piecewise linear differential systems with two zones separated by a branch of an algebraic curve of degree $n$ can have. So far, $\mathcal{L}(n)\geq [n/2],$ $n\in\mathbb{N}$, is the best known general lower bound. Again, better lower bounds for small values of $n$ are known in the research literature. Here, by using a recently developed second order Melnikov method for nonsmooth systems with nonlinear discontinuity manifold, it is shown that $\mathcal{L}(n)$ grows as fast as $n^2.$ This will be achieved by providing lower bounds for $\mathcal{L}(n)$, which improves every previous estimates for $n\geq 4$.
△ Less
Submitted 6 January, 2022;
originally announced January 2022.
-
Sliding mode on tangential sets of Filippov systems
Authors:
Tiago Carvalho,
Douglas D. Novaes,
Durval J. Tonon
Abstract:
We consider piecewise smooth vector fields $Z=(Z_+, Z_-)$ defined in $\mathbb{R}^n$ where both vector fields are tangent to the switching manifold $Σ$ along a submanifold $M\subset Σ$. We shall see that, under suitable assumptions, Filippov convention gives rise to a unique sliding mode on $M$, governed by what we call the {\it tangential sliding vector field}. Here, we will provide the necessary…
▽ More
We consider piecewise smooth vector fields $Z=(Z_+, Z_-)$ defined in $\mathbb{R}^n$ where both vector fields are tangent to the switching manifold $Σ$ along a submanifold $M\subset Σ$. We shall see that, under suitable assumptions, Filippov convention gives rise to a unique sliding mode on $M$, governed by what we call the {\it tangential sliding vector field}. Here, we will provide the necessary and sufficient conditions for characterizing such a vector field. Additionally, we prove that the tangential sliding vector field is conjugated to the reduced dynamics of a singular perturbation problem arising from the Sotomayor-Teixeira regularization of $Z$ around $M$. Finally, we analyze several examples where tangential sliding vector fields can be observed, including a model for intermittent treatment of HIV.
△ Less
Submitted 22 August, 2024; v1 submitted 24 November, 2021;
originally announced November 2021.
-
On the non-existence of isochronous tangential centers in Filippov vector fields
Authors:
Douglas D. Novaes,
Leandro A. Silva
Abstract:
The isochronicity problem is a classical problem in the qualitative theory of planar vector fields which consists in characterizing whether a center is isochronous or not, that is, if all the trajectories in a neighbourhood of the center have the same period. This problem is usually investigated by means of the so-called period function. In this paper, we are interested in exploring the isochronic…
▽ More
The isochronicity problem is a classical problem in the qualitative theory of planar vector fields which consists in characterizing whether a center is isochronous or not, that is, if all the trajectories in a neighbourhood of the center have the same period. This problem is usually investigated by means of the so-called period function. In this paper, we are interested in exploring the isochronicity problem for tangential centers of planar Filippov vector fields. By computing the period function for planar Filippov vector fields around tangential centers, we show that such centers are never isochronous.
△ Less
Submitted 10 March, 2022; v1 submitted 17 November, 2021;
originally announced November 2021.
-
Properties of Poincaré half-maps for planar linear systems and some direct applications to periodic orbits of piecewise systems
Authors:
Victoriano Carmona,
Fernando Fernández-Sánchez,
Elisabeth García-Medina,
Douglas D. Novaes
Abstract:
This paper deals with fundamental properties of Poincaré half-maps defined on a straight line for planar linear systems. Concretely, we focus on the analyticity of the Poincaré half-maps, their series expansions (Taylor and Newton-Puiseux) at the tangency point and at infinity, the relative position between the graph of Poincaré half-maps and the bisector of the fourth quadrant, and the sign of th…
▽ More
This paper deals with fundamental properties of Poincaré half-maps defined on a straight line for planar linear systems. Concretely, we focus on the analyticity of the Poincaré half-maps, their series expansions (Taylor and Newton-Puiseux) at the tangency point and at infinity, the relative position between the graph of Poincaré half-maps and the bisector of the fourth quadrant, and the sign of their second derivatives. All these properties are essential to understand the dynamic behavior of planar piecewise linear systems. Accordingly, we also provide some of their most immediate, but non-trivial, consequences regarding periodic orbits.
△ Less
Submitted 2 April, 2023; v1 submitted 26 September, 2021;
originally announced September 2021.
-
An averaging result for periodic solutions of Carathéodory differential equations
Authors:
Douglas D. Novaes
Abstract:
This paper is concerned with the problem of existence of periodic solutions for perturbative Carathéodory differential equations. The main result provides sufficient conditions on the averaged equation that guarantee the existence of periodic solutions. Additional conditions are also provided to ensure the uniform convergence of a periodic solution to a constant function. The proof of the main the…
▽ More
This paper is concerned with the problem of existence of periodic solutions for perturbative Carathéodory differential equations. The main result provides sufficient conditions on the averaged equation that guarantee the existence of periodic solutions. Additional conditions are also provided to ensure the uniform convergence of a periodic solution to a constant function. The proof of the main theorem is mainly based on an abstract continuation result for operator equations.
△ Less
Submitted 29 April, 2022; v1 submitted 3 August, 2021;
originally announced August 2021.
-
Higher order stroboscopic averaged functions: a general relationship with Melnikov functions
Authors:
Douglas D. Novaes
Abstract:
In the research literature, one can find distinct notions for higher order averaged functions of regularly perturbed non-autonomous $T$- periodic differential equations of the kind $x'=\varepsilon F(t,x,\varepsilon)$. By one hand, the classical (stroboscopic) averaging method provides asymptotic estimates for its solutions in terms of some uniquely defined functions $\mathbf{g}_i$'s, called averag…
▽ More
In the research literature, one can find distinct notions for higher order averaged functions of regularly perturbed non-autonomous $T$- periodic differential equations of the kind $x'=\varepsilon F(t,x,\varepsilon)$. By one hand, the classical (stroboscopic) averaging method provides asymptotic estimates for its solutions in terms of some uniquely defined functions $\mathbf{g}_i$'s, called averaged functions, which are obtained through near-identity stroboscopic transformations and by solving homological equations. On the other hand, a Melnikov procedure is employed to obtain bifurcation functions $\mathbf{f}_i$'s which controls in some sense the existence of isolated $T$-periodic solutions of the differential equation above. In the research literature, the bifurcation functions $\mathbf{f}_i$'s are sometimes likewise called averaged functions, nevertheless, they also receive the name of Poincaré-Pontryagin-Melnikov functions or just Melnikov functions. While it is known that $\mathbf{f}_1=T \mathbf{g}_1,$ a general relationship between $\mathbf{g}_i$ and $\mathbf{f}_i$ is not known so far for $i\geq 2.$ Here, such a general relationship between these two distinct notions of averaged functions is provided, which allows the computation of the stroboscopic averaged functions of any order avoiding the necessity of dealing with near-identity transformations and homological equations. In addition, an Appendix is provided with implemented Mathematica algorithms for computing both higher order averaging functions.
△ Less
Submitted 7 October, 2021; v1 submitted 6 November, 2020;
originally announced November 2020.
-
Lyapunov coefficients for monodromic tangential singularities in Filippov vector fields
Authors:
Douglas D. Novaes,
Leandro A. Silva
Abstract:
In planar analytic vector fields, a monodromic singularity can be distinguished between a focus or a center by means of the Lyapunov coefficients, which are given in terms of the power series coefficients of the first-return map defined around the singularity. In this paper, we are interested in an analogous problem for monodromic tangential singularities of piecewise analytic vector fields…
▽ More
In planar analytic vector fields, a monodromic singularity can be distinguished between a focus or a center by means of the Lyapunov coefficients, which are given in terms of the power series coefficients of the first-return map defined around the singularity. In this paper, we are interested in an analogous problem for monodromic tangential singularities of piecewise analytic vector fields $Z=(Z^+ ,Z^-)$. First, we prove that the first-return map, defined in a neighborhood of a monodromic tangential singularity, is analytic, which allows the definition of the Lyapunov coefficients. Then, as a consequence of a general property for pair of involutions, we obtain that the index of the first non-vanishing Lyapunov coefficient is always even. In addition, a general recursive formula together with a Mathematica algorithm for computing the Lyapunov coefficients is obtained. We also provide results regarding limit cycles bifurcating from monodromic tangential singularities. Several examples are analyzed.
△ Less
Submitted 20 August, 2021; v1 submitted 1 October, 2020;
originally announced October 2020.
-
Higher order Melnikov analysis for planar piecewise linear vector fields with nonlinear switching curve
Authors:
Kamila da S. Andrade,
Oscar A. R. Cespedes,
Dayane R. Cruz,
Douglas D. Novaes
Abstract:
In this paper, we are interested in providing lower estimations for the maximum number of limit cycles $H(n)$ that planar piecewise linear differential systems with two zones separated by the curve $y=x^n$ can have, where $n$ is a positive integer. For this, we perform a higher order Melnikov analysis for piecewise linear perturbations of the linear center. In particular, we obtain that…
▽ More
In this paper, we are interested in providing lower estimations for the maximum number of limit cycles $H(n)$ that planar piecewise linear differential systems with two zones separated by the curve $y=x^n$ can have, where $n$ is a positive integer. For this, we perform a higher order Melnikov analysis for piecewise linear perturbations of the linear center. In particular, we obtain that $H(2)\geq 4,$ $H(3)\geq 8,$ $H(n)\geq7,$ for $n\geq 4$ even, and $H(n)\geq 9,$ for $n\geq 5$ odd. This improves all the previous results for $n\geq2.$ Our analysis is mainly based on some recent results about Chebyshev systems with positive accuracy and Melnikov theory, which will be developed at any order for a class of nonsmooth differential systems with nonlinear switching manifold.
△ Less
Submitted 23 April, 2021; v1 submitted 19 June, 2020;
originally announced June 2020.
-
Higher order analysis on the existence of periodic solutions in continuous differential equations via degree theory
Authors:
Douglas D. Novaes,
Francisco B. G. Silva
Abstract:
Recently, the higher order averaging method for studying periodic solutions of both Lipschitz differential equations and discontinuous piecewise smooth differential equations was developed in terms of Brouwer degree theory. Between the Lipschitz and the discontinuous piecewise smooth differential equations, there is a huge class of differential equations lacking in a higher order analysis on the e…
▽ More
Recently, the higher order averaging method for studying periodic solutions of both Lipschitz differential equations and discontinuous piecewise smooth differential equations was developed in terms of Brouwer degree theory. Between the Lipschitz and the discontinuous piecewise smooth differential equations, there is a huge class of differential equations lacking in a higher order analysis on the existence of periodic solutions, namely the class of continuous non-Lipschitz differential equations. In this paper, based on the coincidence degree theory for nonlinear operator equations, we perform a higher order analysis of continuous (non-Lipschitz) perturbed differential equations and derive sufficient conditions for the existence of periodic solutions for such systems. We apply our results to study continuous (non-Lipschitz) higher order perturbations of a harmonic oscillator.
△ Less
Submitted 3 May, 2021; v1 submitted 18 June, 2020;
originally announced June 2020.
-
On limit cycles in regularized Filippov systems bifurcating from homoclinic-like connections to regular-tangential singularities
Authors:
Douglas D. Novaes,
Gabriel Rondón
Abstract:
In this paper, we are concerned about smoothing of Filippov systems around homoclinic-like connections to regular-tangential singularities. We provide conditions to guarantee the existence of limit cycles bifurcating from such connections. Additional conditions are also provided to ensured the stability and uniqueness of such limit cycles. All the proofs are based on the construction of the first…
▽ More
In this paper, we are concerned about smoothing of Filippov systems around homoclinic-like connections to regular-tangential singularities. We provide conditions to guarantee the existence of limit cycles bifurcating from such connections. Additional conditions are also provided to ensured the stability and uniqueness of such limit cycles. All the proofs are based on the construction of the first return map of the regularized Filippov system around homoclinic-like connections. Such a map is obtained by using a recent characterization of the local behaviour of the regularized Filippov system around regular-tangential singularities. Fixed point theorems and Poincaré-Bendixson arguments are also employed.
△ Less
Submitted 26 June, 2022; v1 submitted 26 May, 2020;
originally announced May 2020.
-
Smoothing of nonsmooth differential systems near regular-tangential singularities and boundary limit cycles
Authors:
Douglas D. Novaes,
Gabriel A. R. Vielma
Abstract:
Understanding how tangential singularities evolve under smoothing processes was one of the first problem concerning regularization of Filippov systems. In this paper, we are interested in $C^n$-regularizations of Filippov systems around visible regular-tangential singularities of even multiplicity. More specifically, using Fenichel Theory and Blow-up Methods, we aim to understand how the trajector…
▽ More
Understanding how tangential singularities evolve under smoothing processes was one of the first problem concerning regularization of Filippov systems. In this paper, we are interested in $C^n$-regularizations of Filippov systems around visible regular-tangential singularities of even multiplicity. More specifically, using Fenichel Theory and Blow-up Methods, we aim to understand how the trajectories of the regularized system transits through the region of regularization. We apply our results to investigate $C^n$-regularizations of boundary limit cycles with even multiplicity contact with the switching manifold.
△ Less
Submitted 13 July, 2021; v1 submitted 20 March, 2020;
originally announced March 2020.
-
A note on Vishik's normal form
Authors:
Matheus M. Castro,
Ricardo M. Martins,
Douglas D. Novaes
Abstract:
The Vishik's Normal Form provides a local smooth conjugation with a linear vector field for smooth vector fields near contacts with a manifold. In the present study, we focus on the analytic case. Our main result ensures that for analytic vector field and manifold, the conjugation with the Vishik's normal form is also analytic. As an application, we investigate the analyticity of Poincaré Half Map…
▽ More
The Vishik's Normal Form provides a local smooth conjugation with a linear vector field for smooth vector fields near contacts with a manifold. In the present study, we focus on the analytic case. Our main result ensures that for analytic vector field and manifold, the conjugation with the Vishik's normal form is also analytic. As an application, we investigate the analyticity of Poincaré Half Maps defined locally near contacts between analytic vector field and manifold.
△ Less
Submitted 13 July, 2021; v1 submitted 12 November, 2019;
originally announced November 2019.
-
A new simple proof for Lum-Chua's conjecture
Authors:
Victoriano Carmona,
Fernando Fernández-Sánchez,
Douglas D. Novaes
Abstract:
The already proved Lum-Chua's conjecture says that a continuous planar piecewise linear differential system with two zones separated by a straight line has at most one limit cycle. In this paper, we provide a new proof by using a novel characterization for Poincaré half-maps in planar linear systems. This proof is very short and straightforward, because this characterization avoids the inherent fl…
▽ More
The already proved Lum-Chua's conjecture says that a continuous planar piecewise linear differential system with two zones separated by a straight line has at most one limit cycle. In this paper, we provide a new proof by using a novel characterization for Poincaré half-maps in planar linear systems. This proof is very short and straightforward, because this characterization avoids the inherent flaws of the usual methods to study piecewise linear systems (the appearance of large case-by-case analysis due to the unnecessary discrimination between the different spectra of the involved matrices, to deal with transcendental equations forced by the implicit occurrence of flight time, ...). In addition, the application of the characterization allow us to prove that if a limit cycle exists, then it is hyperbolic and its stability is determined by a simple relationship between the parameters. To the best of our knowledge, the hyperbolicity of the limit cycle and this simple expression for its stability have not been pointed out before.
△ Less
Submitted 20 January, 2021; v1 submitted 4 November, 2019;
originally announced November 2019.
-
Study of periodic orbits in periodic perturbations of planar reversible Filippov systems having a two-fold cycle
Authors:
Douglas D. Novaes,
Tere M. Seara,
Marco A. Teixeira,
Iris O. Zeli
Abstract:
We study the existence of periodic solutions in a class of planar Filippov systems obtained from non-autonomous periodic perturbations of reversible piecewise smooth differential systems. It is assumed that the unperturbed system presents a simple two-fold cycle, which is characterized by a closed trajectory connecting a visible two-fold singularity to itself. It is shown that under certain generi…
▽ More
We study the existence of periodic solutions in a class of planar Filippov systems obtained from non-autonomous periodic perturbations of reversible piecewise smooth differential systems. It is assumed that the unperturbed system presents a simple two-fold cycle, which is characterized by a closed trajectory connecting a visible two-fold singularity to itself. It is shown that under certain generic conditions the perturbed system has sliding and crossing periodic solutions. In order to get our results, Melnikov's ideas were applied together with tools from the geometric singular perturbation theory. Finally, a study of a perturbed piecewise Hamiltonian model is performed.
△ Less
Submitted 12 June, 2020; v1 submitted 4 October, 2019;
originally announced October 2019.
-
Bifurcation Diagrams of Global Connections in Filippov Systems
Authors:
Kamila S. Andrade,
Otávio M. L. Gomide,
Douglas D. Novaes
Abstract:
In this paper, we are concerned about the qualitative behavior of planar Filippov systems around some typical invariant sets, namely, polycycles. In the smooth context, a polycycle is a simple closed curve composed by a collection of singularities and regular orbits, inducing a first return map. Here, this concept is extended to Filippov systems by allowing typical Filippov singularities lying on…
▽ More
In this paper, we are concerned about the qualitative behavior of planar Filippov systems around some typical invariant sets, namely, polycycles. In the smooth context, a polycycle is a simple closed curve composed by a collection of singularities and regular orbits, inducing a first return map. Here, this concept is extended to Filippov systems by allowing typical Filippov singularities lying on the switching manifold. Our main goal consists in developing a method to investigate the unfolding of polycycles in Filippov systems. In addition, we apply this method to describe bifurcation diagrams of Filippov systems around certain polycycles.
△ Less
Submitted 30 June, 2023; v1 submitted 28 May, 2019;
originally announced May 2019.
-
Simultaneous occurrence of sliding and crossing limit cycles in piecewise linear planar vector fields
Authors:
Joao L. Cardoso,
Jaume Llibre,
Douglas D. Novaes,
Durval J. Tonon
Abstract:
In the present study we consider planar piecewise linear vector fields with two zones separated by the straight line $x=0$. Our goal is to study the existence of simultaneous crossing and sliding limit cycles for such a class of vector fields. First, we provide a canonical form for these systems assuming that each linear system has center, a real one for $y<0$ and a virtual one for $y>0$, and such…
▽ More
In the present study we consider planar piecewise linear vector fields with two zones separated by the straight line $x=0$. Our goal is to study the existence of simultaneous crossing and sliding limit cycles for such a class of vector fields. First, we provide a canonical form for these systems assuming that each linear system has center, a real one for $y<0$ and a virtual one for $y>0$, and such that the real center is a global center. Then, working with a first order piecewise linear perturbation we obtain piecewise linear differential systems with three crossing limit cycles. Second, we see that a sliding cycle can be detected after a second order piecewise linear perturbation. Finally, imposing the existence of a sliding limit cycle we prove that only one additional crossing limit cycle can appear. Furthermore, we also characterize the stability of the higher amplitude limit cycle and of the infinity. The main techniques used in our proofs are the Melnikov method, the Extended Chebyshev systems with positive accuracy, and the Bendixson transformation.
△ Less
Submitted 7 October, 2021; v1 submitted 15 May, 2019;
originally announced May 2019.
-
Periodic solutions and invariant torus in the Rössler System
Authors:
Murilo R. Cândido,
Douglas D. Novaes,
Claudia Valls
Abstract:
The Rössler System is characterized by a three-parameter family of quadratic 3D vector fields. There exist two one-parameter families of Rössler Systems exhibiting a zero-Hopf equilibrium. For Rössler Systems near to one of these families, we provide generic conditions ensuring the existence of a torus bifurcation. In this case, the torus surrounds a periodic solution that bifurcates from the zero…
▽ More
The Rössler System is characterized by a three-parameter family of quadratic 3D vector fields. There exist two one-parameter families of Rössler Systems exhibiting a zero-Hopf equilibrium. For Rössler Systems near to one of these families, we provide generic conditions ensuring the existence of a torus bifurcation. In this case, the torus surrounds a periodic solution that bifurcates from the zero-Hopf equilibrium. For Rössler Systems near to the other family, we provide generic conditions for the existence of a periodic solution bifurcating from the zero-Hopf equilibrium. This improves currently known results regarding periodic solutions for such a family. In addition, the stability properties of the periodic solutions and invariant torus are analysed.
△ Less
Submitted 7 October, 2021; v1 submitted 6 March, 2019;
originally announced March 2019.
-
Melnikov analysis in nonsmooth differential systems with nonlinear switching manifold
Authors:
Jéfferson L. R. Bastos,
Claudio A. Buzzi,
Jaume Llibre,
Douglas D. Novaes
Abstract:
We study the family of piecewise linear differential systems in the plane with two pieces separated by a cubic curve. Our main result is that 7 is a lower bound for the Hilbert number of this family. In order to get our main result, we develop the Melnikov functions for a class of nonsmooth differential systems, which generalizes, up to order 2, some previous results in the literature. Whereas the…
▽ More
We study the family of piecewise linear differential systems in the plane with two pieces separated by a cubic curve. Our main result is that 7 is a lower bound for the Hilbert number of this family. In order to get our main result, we develop the Melnikov functions for a class of nonsmooth differential systems, which generalizes, up to order 2, some previous results in the literature. Whereas the first order Melnikov function for the nonsmooth case remains the same as for the smooth one (i.e. the first order averaged function) the second order Melnikov function for the nonsmooth case is different from the smooth one (i.e. the second order averaged function). We show that, in this case, a new term depending on the jump of discontinuity and on the geometry of the switching manifold is added to the second order averaged function.
△ Less
Submitted 6 October, 2018;
originally announced October 2018.
-
On the torus bifurcation in averaging theory
Authors:
Murilo R. Cândido,
Douglas D. Novaes
Abstract:
In this paper, we take advantage of the averaging theory to investigate a torus bifurcation in two-parameter families of 2D nonautonomous differential equations. Our strategy consists in looking for generic conditions on the averaged functions that ensure the existence of a curve in the parameter space characterized by a Neimark-Sacker bifurcation in the corresponding Poincaré map. A Neimark-Sacke…
▽ More
In this paper, we take advantage of the averaging theory to investigate a torus bifurcation in two-parameter families of 2D nonautonomous differential equations. Our strategy consists in looking for generic conditions on the averaged functions that ensure the existence of a curve in the parameter space characterized by a Neimark-Sacker bifurcation in the corresponding Poincaré map. A Neimark-Sacker bifurcation for planar maps consists in the birth of an invariant closed curve from a fixed point, as the fixed point changes stability. In addition, we apply our results to study a torus bifurcation in a family of 3D vector fields.
△ Less
Submitted 2 June, 2019; v1 submitted 6 October, 2018;
originally announced October 2018.
-
New lower bound for the Hilbert number in piecewise quadratic differential systems
Authors:
Leonardo P. C. da Cruz,
Douglas D. Novaes,
Joan Torregrosa
Abstract:
We study the number of limit cycles bifurcating from a piecewise quadratic system. All the differential systems considered are piecewise in two zones separated by a straight line. We prove the existence of 16 crossing limit cycles in this class of systems. If we denote by $H_p(n)$ the extension of the Hilbert number to degree $n$ piecewise polynomial differential systems, then $H_p(2)\geq 16.$ As…
▽ More
We study the number of limit cycles bifurcating from a piecewise quadratic system. All the differential systems considered are piecewise in two zones separated by a straight line. We prove the existence of 16 crossing limit cycles in this class of systems. If we denote by $H_p(n)$ the extension of the Hilbert number to degree $n$ piecewise polynomial differential systems, then $H_p(2)\geq 16.$ As fas as we are concerned, this is the best lower bound for the quadratic class. Moreover, all the limit cycles appear in one nest bifurcating from the period annulus of some isochronous quadratic centers.
△ Less
Submitted 10 September, 2018;
originally announced September 2018.
-
Sliding Shilnikov Connection in Filippov-type Predator-Prey Model
Authors:
Tiago de Carvalho,
Douglas Duarte Novaes,
Luiz Fernando Gonçalves
Abstract:
Recently, a piecewise smooth differential system was derived as a model of a 1 predator-2 prey interaction where the predator feeds adaptively on its preferred prey and an alternative prey. In such a model, strong evidence of chaotic behavior was numerically found. Here, we revisit this model and prove the existence of a Shilnikov sliding connection when the parameters are taken in a codimension o…
▽ More
Recently, a piecewise smooth differential system was derived as a model of a 1 predator-2 prey interaction where the predator feeds adaptively on its preferred prey and an alternative prey. In such a model, strong evidence of chaotic behavior was numerically found. Here, we revisit this model and prove the existence of a Shilnikov sliding connection when the parameters are taken in a codimension one submanifold of the parameter space. As a consequence of this connection, we conclude, analytically, that the model behaves chaotically for an open region of the parameter space.
△ Less
Submitted 30 May, 2020; v1 submitted 6 September, 2018;
originally announced September 2018.
-
Bifurcations from families of periodic solutions in piecewise differential systems
Authors:
Jaume Llibre,
Douglas D. Novaes,
Camila A. B. Rodrigues
Abstract:
Consider a differential system of the form $$ x'=F_0(t,x)+\sum_{i=1}^k \varepsilon^i F_i(t,x)+\varepsilon^{k+1} R(t,x,\varepsilon), $$ where $F_i:\mathbb{S}^1 \times D \to \mathbb{R}^m$ and $R:\mathbb{S}^1 \times D \times (-\varepsilon_0,\varepsilon_0) \to \mathbb{R}^m$ are piecewise $C^{k+1}$ functions and $T$-periodic in the variable $t$. Assuming that the unperturbed system $x'=F_0(t,x)$ has a…
▽ More
Consider a differential system of the form $$ x'=F_0(t,x)+\sum_{i=1}^k \varepsilon^i F_i(t,x)+\varepsilon^{k+1} R(t,x,\varepsilon), $$ where $F_i:\mathbb{S}^1 \times D \to \mathbb{R}^m$ and $R:\mathbb{S}^1 \times D \times (-\varepsilon_0,\varepsilon_0) \to \mathbb{R}^m$ are piecewise $C^{k+1}$ functions and $T$-periodic in the variable $t$. Assuming that the unperturbed system $x'=F_0(t,x)$ has a $d$-dimensional submanifold of periodic solutions with $d<m$, we use the Lyapunov-Schmidt reduction and the averaging theory to study the existence of isolated $T$-periodic solutions of the above differential system.
△ Less
Submitted 2 February, 2020; v1 submitted 22 April, 2018;
originally announced April 2018.
-
Limit cycles of piecewise polynomial perturbations of higher dimensional linear differential systems
Authors:
Jaume Llibre,
Douglas Duarte Novaes,
Iris de Oliveira Zeli
Abstract:
The averaging theory has been extensively employed for studying periodic solutions of smooth and nonsmooth differential systems. Here, we extend the averaging theory for studying periodic solutions a class of regularly perturbed non-autonomous $n$-dimensional discontinuous piecewise smooth differential system. As a fundamental hypothesis, it is assumed that the unperturbed system has a manifold…
▽ More
The averaging theory has been extensively employed for studying periodic solutions of smooth and nonsmooth differential systems. Here, we extend the averaging theory for studying periodic solutions a class of regularly perturbed non-autonomous $n$-dimensional discontinuous piecewise smooth differential system. As a fundamental hypothesis, it is assumed that the unperturbed system has a manifold $\mathcal{Z}\subset\mathbb{R}^n$ of periodic solutions satisfying $\dim(\mathcal{Z})<n.$ Then, we apply this result to study limit cycles bifurcating from periodic solutions of linear differential systems, $x'=Mx$, when they are perturbed inside a class of discontinuous piecewise polynomial differential systems with two zones. More precisely, we study the periodic solutions of the following differential system $x'=Mx+ \varepsilon F_1^n(x)+\varepsilon^2F_2^n(x),$ in $\mathbb{R}^{d+2}$ where $\varepsilon$ is a small parameter, $M$ is a $(d+2)\times(d+2)$ matrix having one pair of pure imaginary conjugate eigenvalues, $m$ zeros eigenvalues, and $d-m$ non-zero real eigenvalues.
△ Less
Submitted 6 December, 2019; v1 submitted 5 January, 2018;
originally announced January 2018.
-
The generic unfolding of a codimension-two connection to a two-fold singularity of planar Filippov systems
Authors:
Douglas Duarte Novaes,
Marco Antonio Teixeira,
Iris de Oliveira Zeli
Abstract:
Generic bifurcation theory was classically well developed for smooth differential systems, establishing results for $k$-parameter families of planar vector fields. In the present study we focus on a qualitative analysis of $2$-parameter families, $Z_{α,β}$, of planar Filippov systems assuming that $Z_{0,0}$ presents a codimension-two minimal set. Such object, named elementary simple two-fold cycle…
▽ More
Generic bifurcation theory was classically well developed for smooth differential systems, establishing results for $k$-parameter families of planar vector fields. In the present study we focus on a qualitative analysis of $2$-parameter families, $Z_{α,β}$, of planar Filippov systems assuming that $Z_{0,0}$ presents a codimension-two minimal set. Such object, named elementary simple two-fold cycle, is characterized by a regular trajectory connecting a visible two-fold singularity to itself, for which the second derivative of the first return map is nonvanishing. We analyzed the codimension-two scenario through the exhibition of its bifurcation diagram.
△ Less
Submitted 27 December, 2017; v1 submitted 25 July, 2017;
originally announced July 2017.
-
Nonlinear Sliding of Discontinuous Vector Fields and Singular Perturbation
Authors:
Paulo Ricardo da Silva,
Ingrid Sofia Meza-Sarmiento,
Douglas Duarte Novaes
Abstract:
We consider piecewise smooth vector fields (PSVF) defined in open sets $M\subseteq R^n$ with switching manifold being a smooth surface $Σ$. The PSVF are given by pairs $X = (X_+, X_-)$, with $X = X_+$ in $Σ_+$ and $X = X_-$ in $Σ_-$ where $Σ_+$ and $Σ_-$ are the regions on $M$ separated by $Σ.$ A regularization of $X$ is a 1-parameter family of smooth vector fields $X^ε,ε>0,$ satisfying that…
▽ More
We consider piecewise smooth vector fields (PSVF) defined in open sets $M\subseteq R^n$ with switching manifold being a smooth surface $Σ$. The PSVF are given by pairs $X = (X_+, X_-)$, with $X = X_+$ in $Σ_+$ and $X = X_-$ in $Σ_-$ where $Σ_+$ and $Σ_-$ are the regions on $M$ separated by $Σ.$ A regularization of $X$ is a 1-parameter family of smooth vector fields $X^ε,ε>0,$ satisfying that $X^ε$ converges pointwise to $X$ on $M\setminusΣ$, when $ε\rightarrow 0$. Inspired by the Fenichel Theory , the sliding and sewing dynamics on the discontinuity locus $Σ$ can be defined as some sort of limit of the dynamics of a nearby smooth regularization $X^ε$. While the linear regularization requires that for every $ε>0$ the regularized field $X^ε$ is in the convex combination of $X_+ $ and $X_- $ the nonlinear regularization requires only that $X^ε$ is in a continuous combination of $X_+ $ and $X_- $. We prove that for both cases, the sliding dynamics on $Σ$ is determined by the reduced dynamics on the critical manifold of a singular perturbation problem. \end{abstract}
△ Less
Submitted 22 June, 2017;
originally announced June 2017.
-
A note on invariant measures for Filippov systems
Authors:
Douglas Duarte Novaes,
Régis Varão
Abstract:
We are interested in Filippov systems which preserve a probability measure on a compact manifold. We define a measure to be invariant for a Filippov system as the natural analogous definition of invariant measure for flows. Our main result concerns Filippov systems which preserve a probability measure equivalent to the volume measure. As a consequence, the volume preserving Filippov systems are th…
▽ More
We are interested in Filippov systems which preserve a probability measure on a compact manifold. We define a measure to be invariant for a Filippov system as the natural analogous definition of invariant measure for flows. Our main result concerns Filippov systems which preserve a probability measure equivalent to the volume measure. As a consequence, the volume preserving Filippov systems are the refractive piecewise volume preserving ones. We conjecture that if a Filippov system admits an invariant probability measure, this measure does not see the trajectories where there is a break of uniqueness. We prove this conjecture for Lipschitz differential inclusions. Then, in light of our previous results, we analyze the existence of invariant measures for many examples of Filippov systems defined on compact manifolds.
△ Less
Submitted 3 February, 2021; v1 submitted 13 June, 2017;
originally announced June 2017.
-
Asymptotic behavior of periodic solutions in one-parameter families of Liénard equations
Authors:
Pedro Toniol Cardin,
Douglas Duarte Novaes
Abstract:
In this paper, we consider one--parameter ($λ>0$) families of Liénard differential equations. We are concerned with the study on the asymptotic behavior of periodic solutions for small and large values of $λ>0$. To prove our main result we use the relaxation oscillation theory and a topological version of the averaging theory. More specifically, the first one is appropriate for studying the period…
▽ More
In this paper, we consider one--parameter ($λ>0$) families of Liénard differential equations. We are concerned with the study on the asymptotic behavior of periodic solutions for small and large values of $λ>0$. To prove our main result we use the relaxation oscillation theory and a topological version of the averaging theory. More specifically, the first one is appropriate for studying the periodic solutions for large values of $λ$ and the second one for small values of $λ$. In particular, our hypotheses allow us to establish a link between these two theories.
△ Less
Submitted 6 December, 2019; v1 submitted 5 May, 2017;
originally announced May 2017.
-
Persistence of periodic solutions for higher order perturbed differential systems via Lyapunov-Schmidt reduction
Authors:
Murilo R. Cândido,
Jaume Llibre,
Douglas D. Novaes
Abstract:
In this work we first provide sufficient conditions to assure the persistence of some zeros of functions having the form $$g(z,\varepsilon)=g_0(z)+\sum_{i=1}^k \varepsilon^i g_i(z)+\mathcal{O}(\varepsilon^{k+1}),$$ for $|\varepsilon|\neq0$ sufficiently small. Here $g_i:\mathcal{D}\rightarrow\mathbb{R}^n$, for $i=0,1,\ldots,k$, are smooth functions being $\mathcal{D}\subset \mathbb{R}^n$ an open bo…
▽ More
In this work we first provide sufficient conditions to assure the persistence of some zeros of functions having the form $$g(z,\varepsilon)=g_0(z)+\sum_{i=1}^k \varepsilon^i g_i(z)+\mathcal{O}(\varepsilon^{k+1}),$$ for $|\varepsilon|\neq0$ sufficiently small. Here $g_i:\mathcal{D}\rightarrow\mathbb{R}^n$, for $i=0,1,\ldots,k$, are smooth functions being $\mathcal{D}\subset \mathbb{R}^n$ an open bounded set. Then we use this result to compute the bifurcation functions which controls the periodic solutions of the following $T$-periodic smooth differential system $$ x'=F_0(t,x)+\sum_{i=1}^k \varepsilon^i F_i(t,x)+\mathcal{O}(\varepsilon^{k+1}), \quad (t,z)\in\mathbb{S}^1\times\mathcal{D}. $$ It is assumed that the unperturbed differential system has a sub-manifold of periodic solutions $\mathcal{Z}$, $\textrm{dim}(\mathcal{Z})\leq n$. We also study the case when the bifurcation functions have a continuum of zeros. Finally we provide the explicit expressions of the bifurcation functions up to order 5.
△ Less
Submitted 14 August, 2017; v1 submitted 15 November, 2016;
originally announced November 2016.
-
Chaos induced by sliding phenomena in Filippov systems
Authors:
Douglas Duarte Novaes,
Gabriel Ponce,
Régis Varão
Abstract:
In this paper we provide a full topological and ergodic description of the dynamics of Filippov systems nearby a sliding Shilnikov orbit. More specifically we prove that the first return map, defined nearby this orbit, is topologically conjugate to a Bernoulli shift with infinite topological entropy. In particular, we see that for each natural number m it has infinitely many periodic points with p…
▽ More
In this paper we provide a full topological and ergodic description of the dynamics of Filippov systems nearby a sliding Shilnikov orbit. More specifically we prove that the first return map, defined nearby this orbit, is topologically conjugate to a Bernoulli shift with infinite topological entropy. In particular, we see that for each natural number m it has infinitely many periodic points with period m.
△ Less
Submitted 8 September, 2016;
originally announced September 2016.
-
Averaging theory at any order for computing limit cycles of discontinuous piecewise differential systems with many zones
Authors:
Jaume Llibre,
Douglas D. Novaes,
Camila A. B. Rodrigues
Abstract:
This work is devoted to study the existence of periodic solutions for a family of discontinuous differential systems $Z(x,y;ε)$ with many zones. We show that for $ε$ sufficiently small the averaged functions at any order control the existence of crossing limit cycles for systems in this family. We also provide some examples dealing with nonlinear centers.
This work is devoted to study the existence of periodic solutions for a family of discontinuous differential systems $Z(x,y;ε)$ with many zones. We show that for $ε$ sufficiently small the averaged functions at any order control the existence of crossing limit cycles for systems in this family. We also provide some examples dealing with nonlinear centers.
△ Less
Submitted 14 July, 2016;
originally announced July 2016.
-
On the periodic solutions of discontinuous piecewise differential systems
Authors:
Jaume Llibre,
Douglas Duarte Novaes
Abstract:
Motivated by problems coming from different areas of the applied science we study the periodic solutions of the following differential system $$x'(t)=F_0(t,x)+\varepsilon F_1(t,x)+\varepsilon^2 R(t,x,\varepsilon),$$ when $F_0$, $F_1$, and $R$ are discontinuous piecewise functions, and $\varepsilon$ is a small parameter. It is assumed that the manifold $\mathbb{Z}$ of all periodic solutions of the…
▽ More
Motivated by problems coming from different areas of the applied science we study the periodic solutions of the following differential system $$x'(t)=F_0(t,x)+\varepsilon F_1(t,x)+\varepsilon^2 R(t,x,\varepsilon),$$ when $F_0$, $F_1$, and $R$ are discontinuous piecewise functions, and $\varepsilon$ is a small parameter. It is assumed that the manifold $\mathbb{Z}$ of all periodic solutions of the unperturbed system $x'=F_0(t,x)$ has dimension $n$ or smaller then $n$. The averaging theory is one of the best tools to attack this problem. This theory is completely developed when $F_0$, $F_1$ and $R$ are continuous functions, and also when $F_0=0$ for a class of discontinuous differential systems. Nevertheless does not exist the averaging theory for studying the periodic solutions of discontinuous differential system when $F_0\neq0$. In this paper we develop this theory for a big class of discontinuous differential systems.
△ Less
Submitted 12 April, 2015;
originally announced April 2015.
-
Shilnikov problem in Filippov dynamical systems
Authors:
Douglas D. Novaes,
Marco A. Teixeira
Abstract:
In this paper we introduce the concept of sliding Shilnikov orbits for $3$D Filippov systems. In short, such an orbit is a piecewise smooth closed curve, composed by Filippov trajectories, which slides on the switching surface and connects a Filippov equilibrium to itself, namely a pseudo saddle-focus. A version of the Shilnikov's Theorem is provided for such systems. Particularly, we show that sl…
▽ More
In this paper we introduce the concept of sliding Shilnikov orbits for $3$D Filippov systems. In short, such an orbit is a piecewise smooth closed curve, composed by Filippov trajectories, which slides on the switching surface and connects a Filippov equilibrium to itself, namely a pseudo saddle-focus. A version of the Shilnikov's Theorem is provided for such systems. Particularly, we show that sliding Shilnikov orbits occur in generic one-parameter families of Filippov systems, and that arbitrarily close to a sliding Shilnikov orbit there exist countably infinitely many sliding periodic orbits. Here, no additional Shilnikov-like assumption is needed in order to get this last result. In addition, we show the existence of sliding Shilnikov orbits in discontinuous piecewise linear differential systems. As far as we know, the examples of Fillippov systems provided in this paper are the first exhibiting such a sliding phenomenon.
△ Less
Submitted 23 May, 2019; v1 submitted 9 April, 2015;
originally announced April 2015.
-
Regularization of hidden dynamics in piecewise smooth flows
Authors:
Douglas D. Novaes,
Mike R. Jeffrey
Abstract:
This paper studies the equivalence between differentiable and non-differentiable dynamics in Rn. Filippov's theory of discontinuous differential equations allows us to find flow solutions of dynamical systems whose vector fields undergo switches at thresholds in phase space. The canonical convex combination at the discontinuity is only the linear part of a nonlinear combination that more fully exp…
▽ More
This paper studies the equivalence between differentiable and non-differentiable dynamics in Rn. Filippov's theory of discontinuous differential equations allows us to find flow solutions of dynamical systems whose vector fields undergo switches at thresholds in phase space. The canonical convex combination at the discontinuity is only the linear part of a nonlinear combination that more fully explores Filippov's most general problem: the differential inclusion. Here we show how recent work relating discontinuous systems to singular limits of continuous (or regularized) systems extends to nonlinear combinations. We show that if sliding occurs in a discontinuous systems, there exists a differentiable slow-fast system with equivalent slow invariant dynamics. We also show the corresponding result for the pinching method, a converse to regularization which approximates a smooth system by a discontinuous one.
△ Less
Submitted 3 June, 2015; v1 submitted 5 December, 2014;
originally announced December 2014.
