-
Three-dimensional horseshoes near an unfolding of a Hopf-Hopf singularity
Authors:
Santiago Ibáñez,
Alexandre A. P. Rodrigues
Abstract:
Motivated by a certain type of unfolding of a Hopf-Hopf singularity, we consider a one-parameter family $(f_γ)_{γ\geq0}$ of $C^3$--vector fields in $\mathbb{R}^4$ whose flows exhibit a heteroclinic cycle associated to two periodic solutions and a bifocus, all of them hyperbolic. It is formally proved that combining rotation with a generic condition concerning the transverse intersection between th…
▽ More
Motivated by a certain type of unfolding of a Hopf-Hopf singularity, we consider a one-parameter family $(f_γ)_{γ\geq0}$ of $C^3$--vector fields in $\mathbb{R}^4$ whose flows exhibit a heteroclinic cycle associated to two periodic solutions and a bifocus, all of them hyperbolic. It is formally proved that combining rotation with a generic condition concerning the transverse intersection between the three-dimensional invariant manifolds of the periodic solutions, all sets are highly distorted by the first return map and hyperbolic three-dimensional horseshoes emerge, accumulating on the network. Infinitely many linked horseshoes prompt the coexistence of infinitely many saddle-type invariant sets for all values of $γ\gtrsim 0$ belonging to the heteroclinic class of the two hyperbolic periodic solutions. We apply the results to a particular unfolding of the Hopf-Hopf singularity, the so called \emph{Gaspard-type unfolding}.
△ Less
Submitted 30 April, 2025;
originally announced April 2025.
-
Synchrony and canards in two coupled FitzHugh--Nagumo equations
Authors:
Bruno F. F. Gonçalves,
Isabel S. Labouriau,
Alexandre A. P. Rodrigues
Abstract:
We describe the fast-slow dynamics of two FitzHugh--Nagumo equations coupled symmetrically through the slow equations. We find a non-empty open set of parameter values for which the two equations synchronise, and another set with antisynchrony -- where the solution of one equation is minus the solution of the other. We also obtain bistability -- where these two types of solution coexist as attract…
▽ More
We describe the fast-slow dynamics of two FitzHugh--Nagumo equations coupled symmetrically through the slow equations. We find a non-empty open set of parameter values for which the two equations synchronise, and another set with antisynchrony -- where the solution of one equation is minus the solution of the other. We also obtain bistability -- where these two types of solution coexist as attractors.
Canards are shown to give rise to mixed-mode oscillations. They also initiate small amplitude transient oscillations before the onset of large amplitude relaxation oscillations. We also discuss briefly the effect of asymmetric coupling, with periodic forcing of one of the equations by the other. We illustrate our results with numerical simulations.
△ Less
Submitted 18 June, 2025; v1 submitted 16 March, 2025;
originally announced March 2025.
-
On Universally Free First-Order Extensions of Belnap-Dunn's Four-Valued Logic and Nelson's Paraconsistent Logic N4
Authors:
Henrique Antunes,
Abilio Rodrigues
Abstract:
The aim of this paper is to introduce the logics FFDE and FN4, which are universally free versions of Belnap-Dunn's four-valued logic, also known as the logic of first-degree entailment (FDE), and Nelson's paraconsistent logic QN4 (N-). Both FDE and QN4 are suitable to be interpreted as information-based logics, that is, logics that are capable of representing the deductive behavior of possibly in…
▽ More
The aim of this paper is to introduce the logics FFDE and FN4, which are universally free versions of Belnap-Dunn's four-valued logic, also known as the logic of first-degree entailment (FDE), and Nelson's paraconsistent logic QN4 (N-). Both FDE and QN4 are suitable to be interpreted as information-based logics, that is, logics that are capable of representing the deductive behavior of possibly inconsistent and incomplete information in a database. Like QN4 and some non-free first-order extensions of FDE, FFDE and FN4 are endowed with Kripke-style variable domain semantics, which allows representing the dynamic aspect of information processing, that is, how a database receives new information over time, including information about new individuals. We argue, however, that FFDE and FN4 can better represent the development of inconsistent and incomplete information states (i.e., configurations of a database) over time than their non-free versions. First, because they allow for empty domains, which corresponds to the idea that a database may acknowledge no individual at all at an early stage of its development. Second, because they allow for empty names, which get interpreted as information about new individuals is inserted into the database. Also, both systems include an identity predicate that is interpreted along the same lines of the other logical operators, viz., in terms of independent positive and negative rules.
△ Less
Submitted 27 December, 2024;
originally announced December 2024.
-
A definição de verdade de Tarski
Authors:
Guilherme Cardoso,
Abilio Rodrigues
Abstract:
The aim of this text is to present, in a technically accessible way, Tarski's definition of truth, the indefinability theorem, and to discuss two aspects of Tarski's work on truth, namely, whether or not the definition captures the notion of truth as correspondence, and Kripke's objection to the hierarchy of languages.
The aim of this text is to present, in a technically accessible way, Tarski's definition of truth, the indefinability theorem, and to discuss two aspects of Tarski's work on truth, namely, whether or not the definition captures the notion of truth as correspondence, and Kripke's objection to the hierarchy of languages.
△ Less
Submitted 22 December, 2024;
originally announced December 2024.
-
Analytic proofs for logics of evidence and truth
Authors:
Walter Carnielli,
Lorenzzo Frade,
Abilio Rodrigues
Abstract:
This paper presents a sound, complete, and decidable analytic tableau system for the logic of evidence and truth \letf, introduced in
Rodrigues, Bueno-Soler \& Carnielli (Synthese, DOI: 10.1007/s11229-020-02571-w, 2020). \letf\ is an extension of the logic of first-degree entailment (\fde), also known as Belnap-Dunn logic. \fde\ is a widely studied four-valued paraconsistent logic, with applicat…
▽ More
This paper presents a sound, complete, and decidable analytic tableau system for the logic of evidence and truth \letf, introduced in
Rodrigues, Bueno-Soler \& Carnielli (Synthese, DOI: 10.1007/s11229-020-02571-w, 2020). \letf\ is an extension of the logic of first-degree entailment (\fde), also known as Belnap-Dunn logic. \fde\ is a widely studied four-valued paraconsistent logic, with applications in computer science and in the algebra of processes. \letf\ extends \fde\ in a very natural way, by adding a classicality operator \cons, which recovers classical logic for propositions in its scope, and a non-classicality operator \incon, dual of \cons.
△ Less
Submitted 13 December, 2024;
originally announced December 2024.
-
Frege on the reference of sentences
Authors:
Abilio Rodrigues
Abstract:
The aim of this paper is to show that Frege's argument which concluded that the reference of a sentence is its truth-value, presented in 'On Sense and Reference' (1892), can be reconstructed taking into account the problems of the notion of conceptual content presented in the 'Begriffsschrift' (1879) and also other passages from a letter to Russell (1902) and the posthumous 'Logic in Mathematics'…
▽ More
The aim of this paper is to show that Frege's argument which concluded that the reference of a sentence is its truth-value, presented in 'On Sense and Reference' (1892), can be reconstructed taking into account the problems of the notion of conceptual content presented in the 'Begriffsschrift' (1879) and also other passages from a letter to Russell (1902) and the posthumous 'Logic in Mathematics' (1914). Once the `hybrid' notion of conceptual content was rejected as the semantic value of the expressions of the formal language designed to carry out the logicist project, there was no alternative between truth-values and thoughts. I claim that the reconstructed argument is perfectly sound and convincing.
△ Less
Submitted 13 December, 2024;
originally announced December 2024.
-
Bifurcations and canards in the FitzHugh-Nagumo system: a tutorial in fast-slow dynamics
Authors:
Bruno F. F. Gonçalves,
Isabel S. Labouriau,
Alexandre A. P. Rodrigues
Abstract:
In this article, we study the FitzHugh-Nagumo $(1,1)$--fast-slow system where the vector fields associated to the slow/fast equations come from the reduction of the Hodgin-Huxley model for the nerve impulse. After deriving dynamical properties of the singular and regular cases, we perform a bifurcation analysis and we investigate how the parameters (of the affine slow equation) impact the dynamics…
▽ More
In this article, we study the FitzHugh-Nagumo $(1,1)$--fast-slow system where the vector fields associated to the slow/fast equations come from the reduction of the Hodgin-Huxley model for the nerve impulse. After deriving dynamical properties of the singular and regular cases, we perform a bifurcation analysis and we investigate how the parameters (of the affine slow equation) impact the dynamics of the system. The study of codimension one bifurcations and the numerical locus of canards concludes this case-study. All theoretical results are numerically illustrated.
△ Less
Submitted 1 May, 2025; v1 submitted 17 November, 2024;
originally announced November 2024.
-
On the dynamics of rotating rank-one strange attractors families
Authors:
Alexandre A. P. Rodrigues,
Bruno F. Gonçalves
Abstract:
In this article, we study a two-parameter family of rotating rank-one maps defined on $\textbf{S}^1\times [1, 1+b]\times \textbf{S}^1$, with $b\gtrsim 0$, whose dynamics is characterised by a coupling of a family of planar maps exhibiting rank-one strange attractors and an Arnold family of circle maps. The main result is about the dynamics on the skew-product, which is governed by the existence an…
▽ More
In this article, we study a two-parameter family of rotating rank-one maps defined on $\textbf{S}^1\times [1, 1+b]\times \textbf{S}^1$, with $b\gtrsim 0$, whose dynamics is characterised by a coupling of a family of planar maps exhibiting rank-one strange attractors and an Arnold family of circle maps. The main result is about the dynamics on the skew-product, which is governed by the existence and prevalence of strange attractors in the corresponding resonance tongues of the Arnold family. The strange attractors carry the unique physical measure of the system, which determines the behaviour of Lebesgue-almost all initial conditions. This phenomenon can be considered as the transition dynamics from a strange attractor with one positive Lyapunov exponent to hyperchaos. Besides an analytical rigorous proof, we illustrate the main results with numerical simulations. We also conjecture how persistent hyperchaos can be obtained.
△ Less
Submitted 19 August, 2024;
originally announced August 2024.
-
Normalization and cut-elimination theorems for some logics of evidence and truth
Authors:
Marcelo E. Coniglio,
Martín Figallo,
Abilio Rodrigues
Abstract:
In this paper, we investigate proof-theoretic aspects of the logics of evidence and truth LETJ and LETF. These logics extend, respectively, Nelson's logic N and the logic of first-degree entailment FDE, also known as Belnap-Dunn four-valued logic, with a classicality operator that recovers classical logic for formulas in its scope. We will present natural deduction and sequent systems for LETJ and…
▽ More
In this paper, we investigate proof-theoretic aspects of the logics of evidence and truth LETJ and LETF. These logics extend, respectively, Nelson's logic N and the logic of first-degree entailment FDE, also known as Belnap-Dunn four-valued logic, with a classicality operator that recovers classical logic for formulas in its scope. We will present natural deduction and sequent systems for LETJ and LETF, together with proofs of normalization and cut-elimination theorems, respectively. As a corollary, we obtain decidability for both logics.
△ Less
Submitted 31 May, 2024;
originally announced May 2024.
-
Construction of Invariant Curves for Some Piecewise Isometries
Authors:
Noah Cockram,
Peter Ashwin,
Ana Rodrigues
Abstract:
We establish conditions for the existence of a family of piecewise linear invariant curves in a two-parameter family of piecewise isometries on the upper half-plane known as Translated Cone Exchange Transformations. We show that these curves are embeddings of interval exchange transformations and give rise to layers of invariant regions. We also show the existence of a trapezoidal piecewise isomet…
▽ More
We establish conditions for the existence of a family of piecewise linear invariant curves in a two-parameter family of piecewise isometries on the upper half-plane known as Translated Cone Exchange Transformations. We show that these curves are embeddings of interval exchange transformations and give rise to layers of invariant regions. We also show the existence of a trapezoidal piecewise isometry for which the dynamics on the top and bottom edges are distinct 2-interval exchange transformations.
△ Less
Submitted 15 November, 2024; v1 submitted 28 December, 2023;
originally announced December 2023.
-
Renormalization of Translated Cone Exchange Transformations
Authors:
Noah Cockram,
Peter Ashwin,
Ana Rodrigues
Abstract:
In this paper, we investigate a class of non-invertible piecewise isometries on the upper half-plane known as Translated Cone Exchanges. These maps include a simple interval exchange on a boundary we call the baseline. We provide a geometric construction for the first return map to a neighbourhood of the vertex of the middle cone for a large class of parameters, then we show a recurrence in the fi…
▽ More
In this paper, we investigate a class of non-invertible piecewise isometries on the upper half-plane known as Translated Cone Exchanges. These maps include a simple interval exchange on a boundary we call the baseline. We provide a geometric construction for the first return map to a neighbourhood of the vertex of the middle cone for a large class of parameters, then we show a recurrence in the first return map tied to Diophantine properties of the parameters, and subsequently prove the infinite renormalizability of the first return map for these parameters.
△ Less
Submitted 4 July, 2024; v1 submitted 28 December, 2023;
originally announced December 2023.
-
Pulse vaccination in a SIR model: global dynamics, bifurcations and seasonality
Authors:
João P. S. Maurício de Carvalho,
Alexandre A. Rodrigues
Abstract:
We analyze a periodically-forced dynamical system inspired by the SIR model with impulsive vaccination. We fully characterize its dynamics according to the proportion $p$ of vaccinated individuals and the time $T$ between doses. If the basic reproduction number is less than 1 (i.e. $\mathcal{R}_p<1$), then we obtain precise conditions for the existence and global stability of a disease-free it…
▽ More
We analyze a periodically-forced dynamical system inspired by the SIR model with impulsive vaccination. We fully characterize its dynamics according to the proportion $p$ of vaccinated individuals and the time $T$ between doses. If the basic reproduction number is less than 1 (i.e. $\mathcal{R}_p<1$), then we obtain precise conditions for the existence and global stability of a disease-free it $T$-periodic solution. Otherwise, if $\mathcal{R}_p>1$, then a globally stable $T$-periodic solution emerges with positive coordinates.
We draw a bifurcation diagram $(T,p)$ and we describe the associated bifurcations. We also find analytically and numerically chaotic dynamics by adding seasonality to the disease transmission rate. In a realistic context, low vaccination coverage and intense seasonality may result in unpredictable dynamics. Previous experiments have suggested chaos in periodically-forced biological impulsive models, but no analytic proof has been given.
△ Less
Submitted 1 August, 2024; v1 submitted 4 December, 2023;
originally announced December 2023.
-
Transitions of bifurcation diagrams of a forced heteroclinic cycle
Authors:
Isabel S. Labouriau,
Alexandre A. P Rodrigues
Abstract:
A family of periodic perturbations of an attracting robust heteroclinic cycle defined on the two-sphere is studied by reducing the analysis to that of a one-parameter family of maps on a circle. The set of zeros of the family forms a bifurcation diagram on the cylinder. The different bifurcation diagrams and the transitions between them are obtained as the strength of attraction of the cycle and t…
▽ More
A family of periodic perturbations of an attracting robust heteroclinic cycle defined on the two-sphere is studied by reducing the analysis to that of a one-parameter family of maps on a circle. The set of zeros of the family forms a bifurcation diagram on the cylinder. The different bifurcation diagrams and the transitions between them are obtained as the strength of attraction of the cycle and the amplitude of the periodic perturbation vary. We determine a threshold in the cycle's attraction strength above which frequency locked periodic solutions with arbitrarily long periods bifurcate from the cycle as the period of the perturbation decreases. Below this threshold further transitions are found giving rise to a frequency locked invariant torus and to a frequency locked suspended horseshoe, arising from heteroclinic tangencies in the family of maps.
△ Less
Submitted 30 December, 2024; v1 submitted 1 December, 2023;
originally announced December 2023.
-
Proofs of valid categorical syllogisms in one diagrammatic and two symbolic axiomatic systems
Authors:
Antonielly Garcia Rodrigues,
Eduardo Mario Dias
Abstract:
Gottfried Leibniz embarked on a research program to prove all the Aristotelic categorical syllogisms by diagrammatic and algebraic methods. He succeeded in proving them by means of Euler diagrams, but didn't produce a manuscript with their algebraic proofs. We demonstrate how key excerpts scattered across various Leibniz's drafts on logic contained sufficient ingredients to prove them by an algebr…
▽ More
Gottfried Leibniz embarked on a research program to prove all the Aristotelic categorical syllogisms by diagrammatic and algebraic methods. He succeeded in proving them by means of Euler diagrams, but didn't produce a manuscript with their algebraic proofs. We demonstrate how key excerpts scattered across various Leibniz's drafts on logic contained sufficient ingredients to prove them by an algebraic method -- which we call the Leibniz-Cayley (LC) system -- without having to make use of the more expressive and complex machinery of first-order quantificational logic. In addition, we prove the classic categorical syllogisms again by a relational method -- which we call the McColl-Ladd (ML) system -- employing categorical relations studied by Hugh McColl and Christine Ladd. Finally, we show the connection of ML and LC with Boolean algebra, proving that ML is a consequence of LC, and that LC is a consequence of the Boolean lattice axioms, thus establishing Leibniz's historical priority over George Boole in characterizing and applying (a sufficient fragment of) Boolean algebra to effectively tackle categorical syllogistic.
△ Less
Submitted 17 August, 2023;
originally announced August 2023.
-
High frequency forcing of an attracting heteroclinic cycle
Authors:
Isabel S. Labouriau,
Alexandre A. P. Rodrigues
Abstract:
This article is concerned with the effect of time-periodic forcing on a vector field exhibiting an attracting heteroclinic network. We show that as the forcing frequency tends to infinity, the dynamics reduces to that of a network under constant forcing, the constant being the average value of the forcing term. We also show that under small constant forcing the network breaks up into an attracting…
▽ More
This article is concerned with the effect of time-periodic forcing on a vector field exhibiting an attracting heteroclinic network. We show that as the forcing frequency tends to infinity, the dynamics reduces to that of a network under constant forcing, the constant being the average value of the forcing term. We also show that under small constant forcing the network breaks up into an attracting periodic solution that persists for periodic forcing of high frequency.
△ Less
Submitted 21 May, 2024; v1 submitted 16 June, 2023;
originally announced June 2023.
-
Differential equations with pulses: existence and stability of periodic solutions
Authors:
Alexandre A. P. Rodrigues
Abstract:
We consider generic differential equations in $\mathbb{R}$ with a finite number of hyperbolic equilibria, which are subject to $ω$--periodic instantaneous perturbative pulses ($ω>0$). Using the time-$ ω$ map of the original system (without perturbation), we are able to find all periodic solutions of the perturbed system and study their stability. In this article, we establish an algorithm to locat…
▽ More
We consider generic differential equations in $\mathbb{R}$ with a finite number of hyperbolic equilibria, which are subject to $ω$--periodic instantaneous perturbative pulses ($ω>0$). Using the time-$ ω$ map of the original system (without perturbation), we are able to find all periodic solutions of the perturbed system and study their stability. In this article, we establish an algorithm to locate $ω$--periodic solutions of impulsive systems of frequency $ω$, to study their stability and to locate Saddle-node bifurcations. With our technique, we are able to fully characterise the asymptotic dynamics of the system under consideration.
△ Less
Submitted 6 February, 2023;
originally announced February 2023.
-
SIR model with vaccination: bifurcation analysis
Authors:
João P. S. Maurício de Carvalho,
Alexandre A. Rodrigues
Abstract:
There are few adapted SIR models in the literature that combine vaccination and logistic growth. In this article, we study bifurcations of a SIR model where the class of Susceptible individuals grows logistically and has been subject to constant vaccination. We explicitly prove that the endemic equilibrium is a codimension two singularity in the parameter space $(\mathcal{R}_0, p)$, where…
▽ More
There are few adapted SIR models in the literature that combine vaccination and logistic growth. In this article, we study bifurcations of a SIR model where the class of Susceptible individuals grows logistically and has been subject to constant vaccination. We explicitly prove that the endemic equilibrium is a codimension two singularity in the parameter space $(\mathcal{R}_0, p)$, where $\mathcal{R}_0$ is the basic reproduction number and $p$ is the proportion of Susceptible individuals successfully vaccinated at birth.
We exhibit explicitly the Hopf, transcritical, Belyakov, heteroclinic and saddle-node bifurcation curves unfolding the singularity. The two parameters $(\mathcal{R}_0, p)$ are written in a useful way to evaluate the proportion of vaccinated individuals necessary to eliminate the disease and to conclude how the vaccination may affect the outcome of the epidemic. We also exhibit the region in the parameter space where the disease persists and we illustrate our main result with numerical simulations, emphasizing the role of the parameters.
△ Less
Submitted 25 April, 2023; v1 submitted 29 November, 2022;
originally announced November 2022.
-
On six-valued logics of evidence and truth expanding Belnap-Dunn four-valued logic
Authors:
Marcelo E. Coniglio,
Abilio Rodrigues
Abstract:
The main aim of this paper is to introduce the logics of evidence and truth LETK+ and LETF+ together with a sound, complete, and decidable six-valued deterministic semantics for them. These logics extend the logics LETK and LETF- with rules of propagation of classicality, which are inferences that express how the classicality operator o is transmitted from less complex to more complex sentences, a…
▽ More
The main aim of this paper is to introduce the logics of evidence and truth LETK+ and LETF+ together with a sound, complete, and decidable six-valued deterministic semantics for them. These logics extend the logics LETK and LETF- with rules of propagation of classicality, which are inferences that express how the classicality operator o is transmitted from less complex to more complex sentences, and vice-versa. The six-valued semantics here proposed extends the 4 values of Belnap-Dunn logic with 2 more values that intend to represent (positive and negative) reliable information. A six-valued non-deterministic semantics for LETK is obtained by means of Nmatrices based on swap structures, and the six-valued semantics for LETK+ is then obtained by imposing restrictions on the semantics of LETK. These restrictions correspond exactly to the rules of propagation of classicality that extend LETK. The logic LETF+ is obtained as the implication-free fragment of LETK+. We also show that the 6 values of LETK+ and LETF+ define a lattice structure that extends the lattice L4 defined by the Belnap-Dunn four-valued logic with the 2 additional values mentioned above, intuitively interpreted as positive and negative reliable information. Finally, we also show that LETK+ is Blok-Pigozzi algebraizable and that its implication-free fragment LETF+ coincides with the degree-preserving logic of the involutive Stone algebras.
△ Less
Submitted 8 June, 2023; v1 submitted 25 September, 2022;
originally announced September 2022.
-
A Robust Scientific Machine Learning for Optimization: A Novel Robustness Theorem
Authors:
Luana P. Queiroz,
Carine M. Rebello,
Erber A. Costa,
Vinicius V. Santana,
Alirio E. Rodrigues,
Ana M. Ribeiro,
Idelfonso B. R. Nogueira
Abstract:
Scientific machine learning (SciML) is a field of increasing interest in several different application fields. In an optimization context, SciML-based tools have enabled the development of more efficient optimization methods. However, implementing SciML tools for optimization must be rigorously evaluated and performed with caution. This work proposes the deductions of a robustness test that guaran…
▽ More
Scientific machine learning (SciML) is a field of increasing interest in several different application fields. In an optimization context, SciML-based tools have enabled the development of more efficient optimization methods. However, implementing SciML tools for optimization must be rigorously evaluated and performed with caution. This work proposes the deductions of a robustness test that guarantees the robustness of multiobjective SciML-based optimization by showing that its results respect the universal approximator theorem. The test is applied in the framework of a novel methodology which is evaluated in a series of benchmarks illustrating its consistency. Moreover, the proposed methodology results are compared with feasible regions of rigorous optimization, which requires a significantly higher computational effort. Hence, this work provides a robustness test for guaranteed robustness in applying SciML tools in multiobjective optimization with lower computational effort than the existent alternative.
△ Less
Submitted 13 September, 2022;
originally announced September 2022.
-
Abundance of infinite switching
Authors:
Alexandre A. Rodrigues,
Maria Luisa Castro
Abstract:
In this article, we describe a class of vector fields exhibiting abundant switching} near a network: for every neighbourhood of the network and every infinite admissible path, the set of initial conditions within the neighbourhood that follows the path has positive Lebesgue measure.
The proof relies on the existence of "large'' strange attractors in the terminology of Broer, Simó and Tatjer (Non…
▽ More
In this article, we describe a class of vector fields exhibiting abundant switching} near a network: for every neighbourhood of the network and every infinite admissible path, the set of initial conditions within the neighbourhood that follows the path has positive Lebesgue measure.
The proof relies on the existence of "large'' strange attractors in the terminology of Broer, Simó and Tatjer (Nonlinearity, 667--770, 1998) near a heteroclinic tangle unfolding an attracting network with a two-dimensional heteroclinic connection. For our class of vector fields, any small non-empty open ball of initial conditions realizes infinite switching. We illustrate the theory with a specific one-parameter family of differential equations, for which we are able to characterise its global dynamics for almost all parameters.
△ Less
Submitted 17 February, 2023; v1 submitted 3 August, 2022;
originally announced August 2022.
-
Stability of heteroclinic cycles: a new approach
Authors:
Telmo Peixe,
Alexandre A. Rodrigues
Abstract:
This paper analyses the stability of cycles within a heteroclinic network lying in a three-dimensional manifold formed by six cycles, for a one-parameter model developed in the context of game theory. We show the asymptotic stability of the network for a range of parameter values compatible with the existence of an interior equilibrium and we describe an asymptotic technique to decide which cycle…
▽ More
This paper analyses the stability of cycles within a heteroclinic network lying in a three-dimensional manifold formed by six cycles, for a one-parameter model developed in the context of game theory. We show the asymptotic stability of the network for a range of parameter values compatible with the existence of an interior equilibrium and we describe an asymptotic technique to decide which cycle (within the network) is visible in numerics. The technique consists of reducing the relevant dynamics to a suitable one-dimensional map, the so called \emph{projective map}. Stability of the fixed points of the projective map determines the stability of the associated cycles. The description of this new asymptotic approach is applicable to more general types of networks and is potentially useful in computational dynamics.
△ Less
Submitted 2 April, 2022;
originally announced April 2022.
-
The buckling load of cylindrical shells under axial compression depends on the cross-section curvature
Authors:
Davit Harutyunyan,
Andre Martins Rodrigues
Abstract:
It is known that the famous theoretical formula by Koiter for the critical buckling load of circular cylindrical shells under axial compression does not coincide with the experimental data. Namely, while Koiter's formula predicts linear dependence of the buckling load $λ(h)$ of the shell thickness $h$ ($h>0$ is a small parameter), one observes the dependence $λ(h)\sim h^{3/2}$ in experiments; i.e.…
▽ More
It is known that the famous theoretical formula by Koiter for the critical buckling load of circular cylindrical shells under axial compression does not coincide with the experimental data. Namely, while Koiter's formula predicts linear dependence of the buckling load $λ(h)$ of the shell thickness $h$ ($h>0$ is a small parameter), one observes the dependence $λ(h)\sim h^{3/2}$ in experiments; i.e., the shell buckles at much smaller loads for small thickness. This theoretical prediction failure is believed to be caused by the so-called sensitivity to imperfections phenomenon (both, shape and load). Grabovsky and the first author have rigorously proven in [\textit{J. Nonl. Sci.,} Vol. 26, Iss. 1, pp. 83--119, Feb. 2016], that in the problem of circular cylindrical shells buckling under axial compression, a small load twist leads to the buckling load scaling $λ(h)\sim h^{5/4},$ while shape imperfections are likely to result in the scaling $λ(h)\sim h^{3/2}.$ In this work we prove, that in fact the buckling load $λ(h)$ of cylindrical (not necessarily circular) shells under vertical compression depends on the curvature of the cross section curve. When the cross section is a convex curve with uniformly positive curvature, then $λ(h)\sim h,$ and when the the cross section curve has positive curvature except at finitely many points, then $C_1h^{8/5}\leq λ(h)\leq C_2h^{3/2}$ for $h$ small thickness $h>0.$
△ Less
Submitted 24 August, 2022; v1 submitted 27 February, 2022;
originally announced February 2022.
-
Rank-one strange attractors versus Heteroclinic tangles
Authors:
Alexandre A. P. Rodrigues
Abstract:
We present a mechanism for the emergence of strange attractors (observable chaos) in a two-parameter periodically-perturbed family of differential equations on the plane. The two parameters are independent and act on different ways in the invariant manifolds of consecutive saddles in the cycle. When both parameters are zero, the flow exhibits an attracting heteroclinic cycle associated to two equi…
▽ More
We present a mechanism for the emergence of strange attractors (observable chaos) in a two-parameter periodically-perturbed family of differential equations on the plane. The two parameters are independent and act on different ways in the invariant manifolds of consecutive saddles in the cycle. When both parameters are zero, the flow exhibits an attracting heteroclinic cycle associated to two equilibria. The first parameter makes the two-dimensional invariant manifolds of consecutive saddles in the cycle to pull apart; the second forces transverse intersection. These relative positions may be determined using the Melnikov method.
Extending the previous theory on the field, we prove the existence of many complicated dynamical objects in the two-parameter family, ranging from "large" strange attractors supporting SRB (Sinai-Ruelle-Bowen) measures to superstable sinks and Hénon-type attractors. We draw a plausible bifurcation diagram associated to the problem under consideration and we show that the occurrence of heteroclinic tangles is a \emph{prevalent} phenomenon.
△ Less
Submitted 3 January, 2022;
originally announced January 2022.
-
"Large" strange attractors in the unfolding of a heteroclinic attractor
Authors:
Alexandre A. P. Rodrigues
Abstract:
In this paper we present a mechanism for the emergence of strange attractors in a one-parameter family of differential equations acting on a 3-dimensional sphere. When the parameter is zero, its flow exhibits an attracting heteroclinic network (Bykov network) made by two 1-dimensional connections and one 2-dimensional separatrix between hyperbolic saddles-foci with different Morse indices. After s…
▽ More
In this paper we present a mechanism for the emergence of strange attractors in a one-parameter family of differential equations acting on a 3-dimensional sphere. When the parameter is zero, its flow exhibits an attracting heteroclinic network (Bykov network) made by two 1-dimensional connections and one 2-dimensional separatrix between hyperbolic saddles-foci with different Morse indices. After slightly increasing the parameter, while keeping the 1-dimensional connections unaltered, we concentrate our study in the case where the 2-dimensional invariant manifolds of the equilibria do not intersect. We will show that, for a set of parameters close enough to zero with positive Lebesgue measure, the dynamics exhibits strange attractors winding around an annulus in the phase space, supporting Sinai-Ruelle-Bowen (SRB) measures. We prove the existence of a sequence of parameter values for which the family exhibits a superstable sink. We also characterise the transition from a Bykov network to a strange attractor.
△ Less
Submitted 3 November, 2021;
originally announced November 2021.
-
Valuation semantics for first-order logics of evidence and truth (and some related logics)
Authors:
H. Antunes,
A. Rodrigues,
W. Carnielli,
M. E. Coniglio
Abstract:
This paper introduces the logic $QLET_{F}$, a quantified extension of the logic of evidence and truth $LET_{F}$, together with a corresponding sound and complete first-order non-deterministic valuation semantics. $LET_{F}$ is a paraconsistent and paracomplete sentential logic that extends the logic of first-degree entailment ($FDE$) with a classicality operator ${\circ}$ and a non-classicality ope…
▽ More
This paper introduces the logic $QLET_{F}$, a quantified extension of the logic of evidence and truth $LET_{F}$, together with a corresponding sound and complete first-order non-deterministic valuation semantics. $LET_{F}$ is a paraconsistent and paracomplete sentential logic that extends the logic of first-degree entailment ($FDE$) with a classicality operator ${\circ}$ and a non-classicality operator $\bullet$, dual to each other: while ${\circ} A$ entails that $A$ behaves classically, ${\bullet} A$ follows from $A$'s violating some classically valid inferences. The semantics of $QLET_{F}$ combines structures that interpret negated predicates in terms of anti-extensions with first-order non-deterministic valuations, and completeness is obtained through a generalization of Henkin's method. By providing sound and complete semantics for first-order extensions of $FDE$, $K3$, and $LP$, we show how these tools, which we call here the method of ``anti-extensions + valuations'', can be naturally applied to a number of non-classical logics.
△ Less
Submitted 17 June, 2021;
originally announced June 2021.
-
Periodic forcing of a heteroclinic network
Authors:
Isabel S. Labouriau,
Alexandre A. P. Rodrigues
Abstract:
We present a comprehensive mechanism for the emergence of rotational horseshoes and strange attractors in a class of two-parameter families of periodically-perturbed differential equations defining a flow on a three-dimensional manifold. When both parameters are zero, its flow exhibits an attracting heteroclinic network associated to two periodic solutions. After slightly increasing both parameter…
▽ More
We present a comprehensive mechanism for the emergence of rotational horseshoes and strange attractors in a class of two-parameter families of periodically-perturbed differential equations defining a flow on a three-dimensional manifold. When both parameters are zero, its flow exhibits an attracting heteroclinic network associated to two periodic solutions. After slightly increasing both parameters, while keeping a two-dimensional connection unaltered, we focus our attention in the case where the two-dimensional invariant manifolds of the periodic solutions do not intersect. We prove a wide range of dynamical behaviour, ranging from an attracting quasi-periodic torus to rotational horseshoes and Hénon-like strange attractors. We illustrate our results with an explicit example.
△ Less
Submitted 25 July, 2021; v1 submitted 22 May, 2021;
originally announced May 2021.
-
Strange attractors in a dynamical system inspired by a seasonally forced SIR model
Authors:
João P. S. Maurício de Carvalho,
Alexandre A. Rodrigues
Abstract:
We analyze a multiparameter periodically-forced dynamical system inspired in the SIR endemic model. We show that the condition on the \emph{basic reproduction number} $\mathcal{R}_0 < 1$ is not sufficient to guarantee the elimination of \emph{Infectious} individuals due to a \emph{backward bifurcation}. Using the theory of rank-one attractors, for an open subset in the space of parameters where…
▽ More
We analyze a multiparameter periodically-forced dynamical system inspired in the SIR endemic model. We show that the condition on the \emph{basic reproduction number} $\mathcal{R}_0 < 1$ is not sufficient to guarantee the elimination of \emph{Infectious} individuals due to a \emph{backward bifurcation}. Using the theory of rank-one attractors, for an open subset in the space of parameters where $\mathcal{R}_0<1$, the flow exhibits \emph{persistent strange attractors}. These sets are not confined to a tubular neighbourhood in the phase space, are numerically observable and shadow the ghost of a two-dimensional invariant torus. Although numerical experiments have already suggested that periodically-forced biological models may exhibit observable chaos, a rigorous proof was not given before. Our results agree well with the empirical belief that intense seasonality induces chaos.
This work provides a preliminary investigation of the interplay between seasonality, deterministic dynamics and the prevalence of strange attractors in a nonlinear forced system inspired by biology.
△ Less
Submitted 21 March, 2022; v1 submitted 24 March, 2021;
originally announced March 2021.
-
Persistent Strange attractors in 3D Polymatrix Replicators
Authors:
Telmo Peixe,
Alexandre A. Rodrigues
Abstract:
We introduce a one-parameter family of polymatrix replicators defined in a three-dimensional cube and study its bifurcations. For a given interval of parameters, this family exhibits suspended horseshoes and persistent strange attractors. The proof relies on the existence of a homoclinic cycle to the interior equilibrium. We also describe the phenomenological steps responsible for the transition f…
▽ More
We introduce a one-parameter family of polymatrix replicators defined in a three-dimensional cube and study its bifurcations. For a given interval of parameters, this family exhibits suspended horseshoes and persistent strange attractors. The proof relies on the existence of a homoclinic cycle to the interior equilibrium. We also describe the phenomenological steps responsible for the transition from regular to chaotic dynamics in our system (route to chaos).
△ Less
Submitted 20 January, 2022; v1 submitted 20 March, 2021;
originally announced March 2021.
-
Objective Bayesian Analysis for the Differential Entropy of the Gamma Distribution
Authors:
Eduardo Ramos,
Osafu A. Egbon,
Pedro L. Ramos,
Francisco A. Rodrigues,
Francisco Louzada
Abstract:
The present paper introduces a fully objective Bayesian analysis to obtain the posterior distribution of an entropy measure. Notably, we consider the gamma distribution, which describes many natural phenomena in physics, engineering, and biology. We reparametrize the model in terms of entropy, and different objective priors are derived, such as Jeffreys prior, reference prior, and matching priors.…
▽ More
The present paper introduces a fully objective Bayesian analysis to obtain the posterior distribution of an entropy measure. Notably, we consider the gamma distribution, which describes many natural phenomena in physics, engineering, and biology. We reparametrize the model in terms of entropy, and different objective priors are derived, such as Jeffreys prior, reference prior, and matching priors. Since the obtained priors are improper, we prove that the obtained posterior distributions are proper and that their respective posterior means are finite. An intensive simulation study is conducted to select the prior that returns better results regarding bias, mean square error, and coverage probabilities. The proposed approach is illustrated in two datasets: the first relates to the Achaemenid dynasty reign period, and the second describes the time to failure of an electronic component in a sugarcane harvest machine.
△ Less
Submitted 13 November, 2023; v1 submitted 27 December, 2020;
originally announced December 2020.
-
Dissecting a resonance wedge on heteroclinic bifurcations
Authors:
Alexandre A. P. Rodrigues
Abstract:
This article studies routes to chaos occurring within a resonance wedge for a 3-parametric family of differential equations acting on a 3-sphere. Our starting point is an autonomous vector field whose flow exhibits a weakly attracting heteroclinic network made by two 1-dimensional connections and a 2-dimensional separatrix between two equilibria with different Morse indices. After changing the par…
▽ More
This article studies routes to chaos occurring within a resonance wedge for a 3-parametric family of differential equations acting on a 3-sphere. Our starting point is an autonomous vector field whose flow exhibits a weakly attracting heteroclinic network made by two 1-dimensional connections and a 2-dimensional separatrix between two equilibria with different Morse indices. After changing the parameters, while keeping the 1-dimensional connections unaltered, we concentrate our study in the case where the 2-dimensional invariant manifolds of the equilibria do not intersect. We derive the first return map near the ghost of the attractor and we reduce the analysis of the system to a 2-dimensional map on the cylinder. Complex dynamical features arise from a discrete-time Bogdanov-Takens singularity, which may be seen as the organizing center by which one can obtain infinitely many attracting tori, strange attractors, infinitely many sinks and non-trivial contracting wandering domains. These dynamical phenomena occur within a structure that we call resonance wedge. As an application, we may see the "classical" Arnold tongue as a projection of a resonance wedge. The results are general, extend to other contexts and lead to a fine-tuning of the theory.
△ Less
Submitted 2 June, 2021; v1 submitted 23 December, 2020;
originally announced December 2020.
-
Abundance of strange attractors near an attracting periodically-perturbed network
Authors:
Alexandre A. P. Rodrigues
Abstract:
We study the dynamics of the periodically-forced May-Leonard system. We extend previous results on the field and we identify different dynamical regimes depending on the strength of attraction $δ$ of the network and the frequency $ω$ of the periodic forcing. We focus our attention in the case $δ\gg1$ and $ω\approx 0$, where we show that, for a positive Lebesgue measure set of parameters (amplitude…
▽ More
We study the dynamics of the periodically-forced May-Leonard system. We extend previous results on the field and we identify different dynamical regimes depending on the strength of attraction $δ$ of the network and the frequency $ω$ of the periodic forcing. We focus our attention in the case $δ\gg1$ and $ω\approx 0$, where we show that, for a positive Lebesgue measure set of parameters (amplitude of the periodic forcing), the dynamics are dominated by strange attractors with fully stochastic properties, supporting a Sinai-Ruelle-Bowen (SRB) measure. The proof is performed by using the Wang and Young Theory of rank-one strange attractors. This work ends the discussion about the existence of observable and sustainable chaos in this scenario. We also identify some bifurcations occurring in the transition from an attracting two-torus to rank-one strange attractors, whose existence has been suggested by numerical simulations.
△ Less
Submitted 20 December, 2020; v1 submitted 12 October, 2020;
originally announced October 2020.
-
Strong downward Löwenheim-Skolem theorems for stationary logics, II -- reflection down to the continuum
Authors:
Sakaé Fuchino,
André Ottenbreit Maschio Rodrigues,
Hiroshi Sakai
Abstract:
Continuing the previous paper, we study the Strong Downward Löwenheim-Skolem Theorems (SDLSs) of the stationary logic and their variations. It has been shown that the SDLS for the ordinary stationary logic with weak second-order parameters down to $<\aleph_2$ is equivalent to the conjunction of CH and Cox's Diagonal Reflection Principle for internally clubness. We show that the SDLS for the statio…
▽ More
Continuing the previous paper, we study the Strong Downward Löwenheim-Skolem Theorems (SDLSs) of the stationary logic and their variations. It has been shown that the SDLS for the ordinary stationary logic with weak second-order parameters down to $<\aleph_2$ is equivalent to the conjunction of CH and Cox's Diagonal Reflection Principle for internally clubness. We show that the SDLS for the stationary logic without weak second-order parameters down to $<2^{\aleph_0}$ implies that the size of the continuum is $\aleph_2$. In contrast, an internal interpretation of the stationary logic can satisfy the SDLS down to $<2^{\aleph_0}$ under the continuum being of size $>\aleph_2$. This SDLS is shown to be equivalent to an internal version of the Diagonal Reflection Principle down to an internally stationary set of size $<2^{\aleph_0}$. We also consider a ${\cal P}_κλ$ version of the stationary logic and show that the SDLS for this logic in internal interpretation for reflection down to $<2^{\aleph_0}$ is consistent under the assumption of the consistency of ZFC $+$ "the existence of a supercompact cardinal" and this SDLS implies that the continuum is (at least) weakly Mahlo. These three "axioms" in terms of SDLS are consequences of three instances of a strengthening of generic supercompactness which we call Laver-generic supercompactness. Existence of a Laver-generic supercompact cardinal in each of these three instances also fixes the cardinality of the continuum to be $\aleph_1$ or $\aleph_2$ or very large respectively. We also show that the existence of one of these generic large cardinals implies the "$++$" version of the corresponding forcing axiom.
△ Less
Submitted 7 September, 2020;
originally announced September 2020.
-
Reflection principles, generic large cardinals, and the Continuum Problem
Authors:
Sakaé Fuchino,
André Ottenbreit Maschio Rodrigues
Abstract:
Strong reflection principles with the reflection cardinal $\leq\aleph_1$ or $<2^{\aleph_0}$ imply that the size of the continuum is either $\aleph_1$ or $\aleph_2$ or very large. Thus, the stipulation, that a strong reflection principle should hold, seems to support the trichotomy on the possible size of the continuum.
In this article, we examine the situation with the reflection principles and…
▽ More
Strong reflection principles with the reflection cardinal $\leq\aleph_1$ or $<2^{\aleph_0}$ imply that the size of the continuum is either $\aleph_1$ or $\aleph_2$ or very large. Thus, the stipulation, that a strong reflection principle should hold, seems to support the trichotomy on the possible size of the continuum.
In this article, we examine the situation with the reflection principles and related notions of generic large cardinals.
△ Less
Submitted 5 September, 2020; v1 submitted 3 September, 2020;
originally announced September 2020.
-
Semigroups and Controllability of Invariant Control Systems on $\mathrm{Sl}\left(n,\mathbb{H}\right)$
Authors:
Bruno A. Rodrigues,
Luiz A. B. San Martin,
Alexandre J. Santana
Abstract:
Let $\mathrm{Sl}\left( n,\mathbb{H}\right)$ be the Lie group of $n\times n$ quaternionic matrices $g$ with $\left\vert \det g\right\vert =1$. We prove that a subsemigroup $S \subset \mathrm{Sl}\left( n,\mathbb{H}\right)$ with nonempty interior is equal to $\mathrm{Sl}\left( n,\mathbb{H}\right)$ if $S$ contains a subgroup isomorphic to $\mathrm{Sl}\left( 2,\mathbb{H}\right)$. As application we give…
▽ More
Let $\mathrm{Sl}\left( n,\mathbb{H}\right)$ be the Lie group of $n\times n$ quaternionic matrices $g$ with $\left\vert \det g\right\vert =1$. We prove that a subsemigroup $S \subset \mathrm{Sl}\left( n,\mathbb{H}\right)$ with nonempty interior is equal to $\mathrm{Sl}\left( n,\mathbb{H}\right)$ if $S$ contains a subgroup isomorphic to $\mathrm{Sl}\left( 2,\mathbb{H}\right)$. As application we give sufficient conditions on $A,B\in \mathfrak{sl}\left( n,\mathbb{H}\right)$ to ensuring that the invariant control system $\dot{g}=Ag+uBg$ is controllable on $\mathrm{Sl}\left( n,\mathbb{H}\right)$. We prove also that these conditions are generic in the sense that we obtain an open and dense set of controllable pairs $\left( A,B\right)\in\mathfrak{sl}\left( n,\mathbb{H}\right)^{2}$.
△ Less
Submitted 27 August, 2020;
originally announced August 2020.
-
A survey on the topological entropy of cubic polynomials
Authors:
Noah Cockram,
Ana Rodrigues
Abstract:
In this paper we discuss two different existing algorithms for computing topological entropy and we perform one of them in order to compute the isentropes for cubic polynomials.
In this paper we discuss two different existing algorithms for computing topological entropy and we perform one of them in order to compute the isentropes for cubic polynomials.
△ Less
Submitted 24 June, 2020;
originally announced June 2020.
-
Torus-breakdown near a Bykov attractor: a case study
Authors:
Luísa Castro,
Alexandre A. P. Rodrigues
Abstract:
There are few explicit examples in the literature of vector fields exhibiting complex dynamics that may be proved analytically. This paper reports numerical experiments performed for an explicit two-parameter family of vector fields unfolding an attracting heteroclinic network, linking two saddle-foci with $ (\mathbb{SO}(2) \oplus \mathbb{Z}_2)$-symmetry. The vector field is the restriction to…
▽ More
There are few explicit examples in the literature of vector fields exhibiting complex dynamics that may be proved analytically. This paper reports numerical experiments performed for an explicit two-parameter family of vector fields unfolding an attracting heteroclinic network, linking two saddle-foci with $ (\mathbb{SO}(2) \oplus \mathbb{Z}_2)$-symmetry. The vector field is the restriction to $\mathbb{S}^3$ of a polynomial vector field in $\mathbb{R}^4$. We investigate global bifurcations due to symmetry-breaking and we detect strange attractors via a phenomenon called Torus-Breakdown theory. We explain how an attracting torus gets destroyed by following the changes in the invariant manifolds of the saddle-foci. Although a complete understanding of the corresponding bifurcation diagram and the mechanisms underlying the dynamical changes is still out of reach, using a combination of theoretical tools and computer simulations, we have uncovered some complex patterns for the symmetric family under analysis. This also suggests a route to obtain rotational horseshoes; additionally, we give an attempt to elucidate some of the bifurcations involved in an Arnold wedge.
△ Less
Submitted 18 May, 2020;
originally announced May 2020.
-
Power laws distributions in objective priors
Authors:
Pedro L. Ramos,
Francisco A. Rodrigues,
Eduardo Ramos,
Dipak K. Dey,
Francisco Louzada
Abstract:
The use of objective prior in Bayesian applications has become a common practice to analyze data without subjective information. Formal rules usually obtain these priors distributions, and the data provide the dominant information in the posterior distribution. However, these priors are typically improper and may lead to improper posterior. Here, we show, for a general family of distributions, tha…
▽ More
The use of objective prior in Bayesian applications has become a common practice to analyze data without subjective information. Formal rules usually obtain these priors distributions, and the data provide the dominant information in the posterior distribution. However, these priors are typically improper and may lead to improper posterior. Here, we show, for a general family of distributions, that the obtained objective priors for the parameters either follow a power-law distribution or has an asymptotic power-law behavior. As a result, we observed that the exponents of the model are between 0.5 and 1. Understand these behaviors allow us to easily verify if such priors lead to proper or improper posteriors directly from the exponent of the power-law. The general family considered in our study includes essential models such as Exponential, Gamma, Weibull, Nakagami-m, Haf-Normal, Rayleigh, Erlang, and Maxwell Boltzmann distributions, to list a few. In summary, we show that comprehending the mechanisms describing the shapes of the priors provides essential information that can be used in situations where additional complexity is presented.
△ Less
Submitted 15 May, 2020;
originally announced May 2020.
-
Feed-in Tariff Contract Schemes and Regulatory Uncertainty
Authors:
Luciana Barbosa,
Cláudia Nunes,
Artur Rodrigues,
Alberto Sardinha
Abstract:
This paper presents a novel analysis of two feed-in tariffs (FIT) under market and regulatory uncertainty, namely a sliding premium with cap and floor and a minimum price guarantee. Regulatory uncertainty is modeled with a Poisson process, whereby a jump event may reduce the tariff before the signature of the contract. Using a semi-analytical real options framework, we derive the project value, th…
▽ More
This paper presents a novel analysis of two feed-in tariffs (FIT) under market and regulatory uncertainty, namely a sliding premium with cap and floor and a minimum price guarantee. Regulatory uncertainty is modeled with a Poisson process, whereby a jump event may reduce the tariff before the signature of the contract. Using a semi-analytical real options framework, we derive the project value, the optimal investment threshold, and the value of the investment opportunity for these schemes. Taking into consideration the optimal investment threshold, we also compare the two aforementioned FITs with the fixed-price FIT and the fixed-premium FIT, which are policy schemes that have been extensively studied in the literature. Our results show that increasing the likelihood of a jump event lowers the investment threshold for all the schemes; moreover, the investment threshold also decreases when the tariff reduction increases. We also compare the four schemes in terms of the corresponding optimal investment thresholds. For example, we find that the investment threshold of the sliding premium is lower than the minimum price guarantee. This result suggests that the first regime is a better policy than the latter because it accelerates the investment while avoiding excessive earnings to producers.
△ Less
Submitted 5 February, 2020;
originally announced February 2020.
-
Expansion properties of Double Standard Maps
Authors:
Michael Benedicks,
Michal Misiurewicz,
Ana Rodrigues
Abstract:
For the family of Double Standard Maps $f_{a,b}=2x+a+\frac{b}π \sin2πx \quad\pmod{1}$ we investigate the structure of the space of parameters $a$ when $b=1$ and when $b\in[0,1)$. In the first case the maps have a critical point, but for a set of parameters $E_1$ of positive Lebesgue measure there is an invariant absolutely continuous measure for $f_{a,1}$. In the second case there is an open nonem…
▽ More
For the family of Double Standard Maps $f_{a,b}=2x+a+\frac{b}π \sin2πx \quad\pmod{1}$ we investigate the structure of the space of parameters $a$ when $b=1$ and when $b\in[0,1)$. In the first case the maps have a critical point, but for a set of parameters $E_1$ of positive Lebesgue measure there is an invariant absolutely continuous measure for $f_{a,1}$. In the second case there is an open nonempty set $E_b$ of parameters for which the map $f_{a,b}$ is expanding. We show that as $b\nearrow 1$, the set $E_b$ accumulates on many points of $E_1$ in a regular way from the measure point of view.
△ Less
Submitted 5 April, 2022; v1 submitted 5 February, 2020;
originally announced February 2020.
-
Unfolding a Bykov attractor: from an attracting torus to strange attractors
Authors:
Alexandre A. P. Rodrigues
Abstract:
In this paper we present a comprehensive mechanism for the emergence of strange attractors in a two-parametric family of differential equations acting on a three-dimensional sphere. When both parameters are zero, its flow exhibits an attracting heteroclinic network (Bykov network) made by two 1-dimensional connections and one 2-dimensional separatrix between two hyperbolic saddles-foci with differ…
▽ More
In this paper we present a comprehensive mechanism for the emergence of strange attractors in a two-parametric family of differential equations acting on a three-dimensional sphere. When both parameters are zero, its flow exhibits an attracting heteroclinic network (Bykov network) made by two 1-dimensional connections and one 2-dimensional separatrix between two hyperbolic saddles-foci with different Morse indices. After slightly increasing both parameters, while keeping the one-dimensional connections unaltered, we focus our attention in the case where the two-dimensional invariant manifolds of the equilibria do not intersect. Under some conditions on the parameters and on the eigenvalues of the linearisation of the vector field at the saddle-foci, we prove the existence of many complicated dynamical objects, ranging from an attracting quasi-periodic torus to Hénon-like strange attractors, as a consequence of the Torus-Breakdown Theory. The mechanism for the creation of horseshoes and strange attractors is also discussed. Theoretical results are applied to show the occurrence of strange attractors in some analytic unfoldings of a Hopf-zero singularity.
△ Less
Submitted 16 May, 2020; v1 submitted 21 November, 2019;
originally announced November 2019.
-
Existence of non-trivial embeddings of Interval Exchange Transformations into Piecewise Isometries
Authors:
Pedro Peres,
Ana Rodrigues
Abstract:
We prove that almost every interval exchange transformation, with an associated translation surface of genus $g\geq 2$, can be non-trivially and isometrically embedded in a family of piecewise isometries. In particular this proves the existence of invariant curves for piecewise isometries, reminiscent of KAM curves for area preserving maps, which are not unions of circle arcs or line segments.
We prove that almost every interval exchange transformation, with an associated translation surface of genus $g\geq 2$, can be non-trivially and isometrically embedded in a family of piecewise isometries. In particular this proves the existence of invariant curves for piecewise isometries, reminiscent of KAM curves for area preserving maps, which are not unions of circle arcs or line segments.
△ Less
Submitted 29 January, 2019;
originally announced January 2019.
-
Moduli of stability for heteroclinic cycles of periodic solutions
Authors:
Maria Carvalho,
Alexander Lohse,
Alexandre Rodrigues
Abstract:
We consider $C^2$ vector fields in the three dimensional sphere with an attracting heteroclinic cycle between two periodic hyperbolic solutions with real Floquet multipliers. The proper basin of this attracting set exhibits historic behavior and from the asymptotic properties of its orbits we obtain a complete set of invariants under topological conjugacy in a neighborhood of the cycle. As expecte…
▽ More
We consider $C^2$ vector fields in the three dimensional sphere with an attracting heteroclinic cycle between two periodic hyperbolic solutions with real Floquet multipliers. The proper basin of this attracting set exhibits historic behavior and from the asymptotic properties of its orbits we obtain a complete set of invariants under topological conjugacy in a neighborhood of the cycle. As expected, this set contains the periods of the orbits involved in the cycle, a combination of their angular speeds, the rates of expansion and contraction in linearizing neighborhoods of them, besides information regarding the transition maps and the transition times between these neighborhoods. We conclude with an application of this result to a class of cycles obtained by the lifting of an example of R. Bowen.
△ Less
Submitted 27 June, 2019; v1 submitted 7 January, 2019;
originally announced January 2019.
-
Fair Measures for Countable-to-one Maps
Authors:
Ana Rodrigues,
Samuel Roth,
Zuzana Roth
Abstract:
In this paper we generalize the recently introduced concept of fair measure (M. Misiurewicz and A. Rodrigues, Counting preimages. Ergod. Th. & Dynam. Sys. 38 (2018), no. 5, 1837 -- 1856). We study transitive countable state Markov shift maps and extend our results to a particular class of interval maps, Markov and mixing interval maps. Finally, we move beyond the interval and look for fair measure…
▽ More
In this paper we generalize the recently introduced concept of fair measure (M. Misiurewicz and A. Rodrigues, Counting preimages. Ergod. Th. & Dynam. Sys. 38 (2018), no. 5, 1837 -- 1856). We study transitive countable state Markov shift maps and extend our results to a particular class of interval maps, Markov and mixing interval maps. Finally, we move beyond the interval and look for fair measures for graph maps.
△ Less
Submitted 16 October, 2018;
originally announced October 2018.
-
Chaos near a reversible homoclinic bifocus
Authors:
Pablo G. Barrientos,
Artem Raibekas,
Alexandre A. P. Rodrigues
Abstract:
We show that any neighborhood of a non-degenerate reversible bifocal homoclinic orbit contains chaotic suspended invariant sets on $N$-symbols for all $N\geq 2$. This will be achieved by showing switching associated with networks of secondary homoclinic orbits. We also prove the existence of super-homoclinic orbits (trajectories homoclinic to a network of homoclinic orbits), whose presence leads t…
▽ More
We show that any neighborhood of a non-degenerate reversible bifocal homoclinic orbit contains chaotic suspended invariant sets on $N$-symbols for all $N\geq 2$. This will be achieved by showing switching associated with networks of secondary homoclinic orbits. We also prove the existence of super-homoclinic orbits (trajectories homoclinic to a network of homoclinic orbits), whose presence leads to a particularly rich structure.
△ Less
Submitted 1 July, 2019; v1 submitted 15 October, 2018;
originally announced October 2018.
-
On the dynamics of Translated Cone Exchange Transformations
Authors:
Pedro Peres,
Ana Rodrigues
Abstract:
In this paper we investigate translated cone exchange transformations, a new family of piecewise isometries and renormalize its first return map to a subset of its partition. As a consequence we show that the existence of an embedding of an interval exchange transformation into a map of this family implies the existence of infinitely many bounded invariant sets. We also prove the existence of infi…
▽ More
In this paper we investigate translated cone exchange transformations, a new family of piecewise isometries and renormalize its first return map to a subset of its partition. As a consequence we show that the existence of an embedding of an interval exchange transformation into a map of this family implies the existence of infinitely many bounded invariant sets. We also prove the existence of infinitely many periodic islands, accumulating on the real line, as well as non-ergodicity of our family of maps close to the origin.
△ Less
Submitted 29 January, 2019; v1 submitted 14 September, 2018;
originally announced September 2018.
-
Bifurcations from an attracting heteroclinic cycle under periodic forcing
Authors:
Isabel S. Labouriau,
Alexandre A. P. Rodrigues
Abstract:
There are few examples of non-autonomous vector fields exhibiting complex dynamics that may be proven analytically. We analyse a family of periodic perturbations of a weakly attracting robust heteroclinic network defined on the two-sphere. We derive the first return map near the heteroclinic cycle for small amplitude of the perturbing term, and we reduce the analysis of the non-autonomous system t…
▽ More
There are few examples of non-autonomous vector fields exhibiting complex dynamics that may be proven analytically. We analyse a family of periodic perturbations of a weakly attracting robust heteroclinic network defined on the two-sphere. We derive the first return map near the heteroclinic cycle for small amplitude of the perturbing term, and we reduce the analysis of the non-autonomous system to that of a two-dimensional map on a cylinder.
Interesting dynamical features arise from a discrete-time Bogdanov-Takens bifurcation. When the perturbation strength is small the first return map has an attracting invariant closed curve that is not contractible on the cylinder. Near the centre of frequency locking there are parameter values with bistability: the invariant curve coexists with an attracting fixed point. Increasing the perturbation strength there are periodic solutions that bifurcate into a closed contractible invariant curve and into a region where the dynamics is conjugate to a full shift on two symbols.
△ Less
Submitted 18 September, 2019; v1 submitted 11 September, 2018;
originally announced September 2018.
-
Embeddings of interval exchange transformations into planar piecewise isometries
Authors:
Peter Ashwin,
Arek Goetz,
Pedro Peres,
Ana Rodrigues
Abstract:
Although piecewise isometries (PWIs) are higher dimensional generalizations of one dimensional interval exchange transformations (IETs), their generic dynamical properties seem to be quite different. In this paper we consider embeddings of IET dynamics into PWI with a view to better understanding their similarities and differences. We derive some necessary conditions for existence of such embeddin…
▽ More
Although piecewise isometries (PWIs) are higher dimensional generalizations of one dimensional interval exchange transformations (IETs), their generic dynamical properties seem to be quite different. In this paper we consider embeddings of IET dynamics into PWI with a view to better understanding their similarities and differences. We derive some necessary conditions for existence of such embeddings using combinatorial, topological and measure theoretic properties of IETs. In particular, we prove that continuous embeddings of minimal $2$-IETs into orientation preserving PWIs are necessarily trivial and that any $3$-PWI has at most one non-trivially continuously embedded minimal $3$-IET with the same underlying permutation. Finally, we introduce a family of $4$-PWIs with apparent abundance of invariant nonsmooth fractal curves supporting IETs, that limit to a trivial embedding of an IET.
△ Less
Submitted 1 May, 2018;
originally announced May 2018.
-
Limit cycles for two classes of control piecewise linear differential systems
Authors:
J. Llibre,
R. D. S. Oliveira,
C. A. B. Rodrigues
Abstract:
We study the bifurcation of limit cycles from the periodic orbits of $2n$--dimensional linear centers $\dot{x} = A_0 x$ when they are perturbed inside classes of continuous and discontinuous piecewise linear differential systems of control theory of the form $\dot{x} = A_0 x + \varepsilon \big(A x + φ(x_1) b\big)$, where $φ$ is a continuous or discontinuous piecewise linear function, $A_0$ is a…
▽ More
We study the bifurcation of limit cycles from the periodic orbits of $2n$--dimensional linear centers $\dot{x} = A_0 x$ when they are perturbed inside classes of continuous and discontinuous piecewise linear differential systems of control theory of the form $\dot{x} = A_0 x + \varepsilon \big(A x + φ(x_1) b\big)$, where $φ$ is a continuous or discontinuous piecewise linear function, $A_0$ is a $2n\times 2n$ matrix with only purely imaginary eigenvalues, $\varepsilon$ is a small parameter, $A$ is an arbitrary $2n\times 2n$ matrix, and $b$ is an arbitrary vector of $\mathbb{R}^n$.
△ Less
Submitted 22 April, 2018;
originally announced April 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.
-
Strange attractors and non wandering domains near a homoclinic cycle to a bifocus
Authors:
Alexandre A. P. Rodrigues
Abstract:
In this paper, we explore the three-dimensional chaotic set near a homoclinic cycle to a hyperbolic bifocus at which the vector field has negative divergence. If the invariant manifolds of the bifocus satisfy a non-degeneracy condition, a sequence of hyperbolic suspended horseshoes arises near the cycle, with one expanding and two contracting directions. We extend previous results on the field and…
▽ More
In this paper, we explore the three-dimensional chaotic set near a homoclinic cycle to a hyperbolic bifocus at which the vector field has negative divergence. If the invariant manifolds of the bifocus satisfy a non-degeneracy condition, a sequence of hyperbolic suspended horseshoes arises near the cycle, with one expanding and two contracting directions. We extend previous results on the field and we show that the first return map to a given cross section may be approximated by a map exhibiting heteroclinic tangencies associated to two periodic orbits. When the cycle is broken, under an additional hypothesis about the coexistence of two heteroclinically related periodic points (one without dominated splitting into one-dimensional sub-bundles), the heteroclinic tangencies can be slightly modified in order to satisfy Tatjer's conditions for a generalized tangency of codimension two. This configuration may be seen as the organizing center, by which one can obtain Bogdanov-Takens bifurcations and therefore, strange attractors, infinitely many sinks and non-trivial contracting wandering domains.
△ Less
Submitted 20 October, 2019; v1 submitted 11 January, 2018;
originally announced January 2018.
