-
Piecewise continuous maps on the interval
Authors:
Kleyber Cunha,
Marcio Gouveia,
Paulo Santana
Abstract:
Let $f$ be a piecewise continuous map on the interval with at most a finite number of turning points. In this paper we study some basic properties about this class of functions and show its main difference from the continuous case. We define and study the notion of closed structure, which can be seen as an extension of the notion of periodic orbit. Moreover, we also study the periodic orbits which…
▽ More
Let $f$ be a piecewise continuous map on the interval with at most a finite number of turning points. In this paper we study some basic properties about this class of functions and show its main difference from the continuous case. We define and study the notion of closed structure, which can be seen as an extension of the notion of periodic orbit. Moreover, we also study the periodic orbits which are away from the discontinuities of $f$, extending the notion of trapped and free periodic orbits.
△ Less
Submitted 7 May, 2024;
originally announced May 2024.
-
On cyclicity in discontinuous piecewise linear near-Hamiltonian differential systems with three zones having a saddle in the central one
Authors:
R. Euzébio,
M. Gouveia,
D. Novaes,
C. Pessoa,
R. Ribeiro
Abstract:
In this paper, we study the number of limit cycles that can bifurcate from a periodic annulus of discontinuous planar piecewise linear Hamiltonian differential system with three zones separated by two parallel straight lines, such that the linear differential system, given by the piecewise one, in the region between the two straight lines (called of central subsystem) has a saddle at a point equid…
▽ More
In this paper, we study the number of limit cycles that can bifurcate from a periodic annulus of discontinuous planar piecewise linear Hamiltonian differential system with three zones separated by two parallel straight lines, such that the linear differential system, given by the piecewise one, in the region between the two straight lines (called of central subsystem) has a saddle at a point equidistant from these lines (obviously, the others subsystems have saddles and centers). We prove that the maximum number of limit cycles that bifurcate from the periodic annulus of this kind of piecewise Hamiltonian differential systems, by linear perturbations, is at least six. For this, we obtain normal forms for the systems and study the number of zeros of its Melnikov functions defined in two and three zones.
△ Less
Submitted 1 December, 2022;
originally announced December 2022.
-
Phase Transitions for one-dimensional Lorenz-like expanding Maps
Authors:
M. R. A. Gouveia,
J. G. Oler
Abstract:
Given an one-dimensional Lorenz-like expanding map we prove that the condition\linebreak $P_{top}(φ,\partial \mathcal{P},\ell)<P_{top}(φ,\ell)$ (see, subsection 2.4 for definition), introduced by Buzzi and Sarig in [1] is satisfied for all continuous potentials $φ:[0,1]\longrightarrow \mathbb{R}$. We apply this to prove that quasi-Hölder-continuous potentials (see, subsection 2.2 for definition) h…
▽ More
Given an one-dimensional Lorenz-like expanding map we prove that the condition\linebreak $P_{top}(φ,\partial \mathcal{P},\ell)<P_{top}(φ,\ell)$ (see, subsection 2.4 for definition), introduced by Buzzi and Sarig in [1] is satisfied for all continuous potentials $φ:[0,1]\longrightarrow \mathbb{R}$. We apply this to prove that quasi-Hölder-continuous potentials (see, subsection 2.2 for definition) have at most one equilibrium measure and we construct a family of continuous but not Hölder and neither weak Hölder continuous potentials for which we observe phase transitions. Indeed, this class includes all Hölder and weak-Hölder continuous potentials and form an open and [2].
△ Less
Submitted 7 May, 2020;
originally announced May 2020.
-
Canonical extensions of lattices are more than perfect
Authors:
Andrew P. K. Craig,
Maria J. Gouveia,
Miroslav Haviar
Abstract:
In \cite{CGH15} we introduced TiRS graphs and TiRS frames to create a new natural setting for duals of canonical extensions of lattices. In this continuation of \cite{CGH15} we answer Problem 2 from there by characterising the perfect lattices that are dual to TiRS frames (and hence TiRS graphs). We introduce a new subclass of perfect lattices called PTi lattices and show that the canonical extens…
▽ More
In \cite{CGH15} we introduced TiRS graphs and TiRS frames to create a new natural setting for duals of canonical extensions of lattices. In this continuation of \cite{CGH15} we answer Problem 2 from there by characterising the perfect lattices that are dual to TiRS frames (and hence TiRS graphs). We introduce a new subclass of perfect lattices called PTi lattices and show that the canonical extensions of lattices are PTi lattices, and so are `more' than just perfect lattices. We introduce morphisms of TiRS structures and put our correspondence between TiRS graphs and TiRS frames from \cite{CGH15} into a full categorical framework. We illustrate our correspondences between classes of perfects lattices and classes of TiRS graphs by examples.
△ Less
Submitted 13 January, 2020;
originally announced January 2020.
-
Hyperbolicity of renormalization for dissipative gap mappings
Authors:
Trevor Clark,
Márcio Gouveia
Abstract:
A gap mapping is a discontinuous interval mapping with two strictly increasing branches that have a gap between their ranges. They are one-dimensional dynamical systems, which arise in the study of certain higher dimensional flows, for example the Lorenz flow and the Cherry flow. In this paper, we prove hyperbolicity of renormalization acting on $C^3$ dissipative gap mappings, and show that the to…
▽ More
A gap mapping is a discontinuous interval mapping with two strictly increasing branches that have a gap between their ranges. They are one-dimensional dynamical systems, which arise in the study of certain higher dimensional flows, for example the Lorenz flow and the Cherry flow. In this paper, we prove hyperbolicity of renormalization acting on $C^3$ dissipative gap mappings, and show that the topological conjugacy classes of infinitely renormalizable gap mappings are $C^1$ manifolds.
△ Less
Submitted 17 July, 2019;
originally announced July 2019.
-
The continuous weak order
Authors:
Maria João Gouveia,
Luigi Santocanale
Abstract:
The set of permutations on a finite set can be given the lattice structure known as the weak Bruhat order. This lattice structure is generalized to the set of words on a fixed alphabet $Σ$ = {x,y,z,...}, where each letter has a fixed number of occurrences. These lattices are known as multinomial lattices and, when card($Σ$) = 2, as lattices of lattice paths. By interpreting the letters x, y, z, .…
▽ More
The set of permutations on a finite set can be given the lattice structure known as the weak Bruhat order. This lattice structure is generalized to the set of words on a fixed alphabet $Σ$ = {x,y,z,...}, where each letter has a fixed number of occurrences. These lattices are known as multinomial lattices and, when card($Σ$) = 2, as lattices of lattice paths. By interpreting the letters x, y, z, . . . as axes, these words can be interpreted as discrete increasing paths on a grid of a d-dimensional cube, with d = card($Σ$).We show how to extend this ordering to images of continuous monotone functions from the unit interval to a d-dimensional cube and prove that this ordering is a lattice, denoted by L(I^d). This construction relies on a few algebraic properties of the quantale of join-continuous functions from the unit interval of the reals to itself: it is cyclic $\star$-autonomous and it satisfies the mix rule.We investigate structural properties of these lattices, which are self-dual and not distributive. We characterize join-irreducible elements and show that these lattices are generated under infinite joins from their join-irreducible elements, they have no completely join-irreducible elements nor compact elements. We study then embeddings of the d-dimensional multinomial lattices into L(I^d). We show that these embeddings arise functorially from subdivisions of the unit interval and observe that L(I^d) is the Dedekind-MacNeille completion of the colimit of these embeddings. Yet, if we restrict to embeddings that take rational values and if d > 2, then every element of L(I^d) is only a join of meets of elements from the colimit of these embeddings.
△ Less
Submitted 17 December, 2018; v1 submitted 5 December, 2018;
originally announced December 2018.
-
Mix $\star$-autonomous quantales and the continuous weak order
Authors:
Maria João Gouveia,
Luigi Santocanale
Abstract:
The set of permutations on a finite set can be given a lattice structure (known as the weak Bruhat order). The lattice structure is generalized to the set of words on a fixed alphabet $Σ= \{ x, y, z, ... \}$, where each letter has a fixed number of occurrences (these lattices are known as multinomial lattices and, in dimension 2, as lattices of lattice paths). By interpreting the letters…
▽ More
The set of permutations on a finite set can be given a lattice structure (known as the weak Bruhat order). The lattice structure is generalized to the set of words on a fixed alphabet $Σ= \{ x, y, z, ... \}$, where each letter has a fixed number of occurrences (these lattices are known as multinomial lattices and, in dimension 2, as lattices of lattice paths). By interpreting the letters $x, y, z, ...$ as axes, these words can be interpreted as discrete increasing paths on a grid of a $d$-dimensional cube, where $d = {\rm card}(Σ)$. We show in this paper how to extend this order to images of continuous monotone paths from the unit interval to a $d$-dimensional cube. The key tool used to realize this construction is the quantale $\mathsf{L}_{\vee}(\mathbb{I})$ of join-continuous functions from the unit interval to itself; the construction relies on a few algebraic properties of this quantale: it is $\star$-autonomous and it satisfies the mix rule. We begin developing a structural theory of these lattices by characterizing join-irreducible elements, and by proving these lattices are generated from their join-irreducible elements under infinite joins.
△ Less
Submitted 18 July, 2018;
originally announced July 2018.
-
Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version)
Authors:
Silvio Ghilardi,
Maria Joao Gouveia,
Luigi Santocanale
Abstract:
It is a consequence of existing literature that least and greatest fixed-points of monotone polynomials on Heyting algebras-that is, the alge- braic models of the Intuitionistic Propositional Calculus-always exist, even when these algebras are not complete as lattices. The reason is that these extremal fixed-points are definable by formulas of the IPC. Consequently, the $μ$-calculus based on intui…
▽ More
It is a consequence of existing literature that least and greatest fixed-points of monotone polynomials on Heyting algebras-that is, the alge- braic models of the Intuitionistic Propositional Calculus-always exist, even when these algebras are not complete as lattices. The reason is that these extremal fixed-points are definable by formulas of the IPC. Consequently, the $μ$-calculus based on intuitionistic logic is trivial, every $μ$-formula being equiv- alent to a fixed-point free formula. We give in this paper an axiomatization of least and greatest fixed-points of formulas, and an algorithm to compute a fixed-point free formula equivalent to a given $μ$-formula. The axiomatization of the greatest fixed-point is simple. The axiomatization of the least fixed- point is more complex, in particular every monotone formula converges to its least fixed-point by Kleene's iteration in a finite number of steps, but there is no uniform upper bound on the number of iterations. We extract, out of the algorithm, upper bounds for such n, depending on the size of the formula. For some formulas, we show that these upper bounds are polynomial and optimal.
△ Less
Submitted 5 March, 2018;
originally announced March 2018.
-
$\aleph_1$ and the modal $μ$-calculus
Authors:
Maria João Gouveia,
Luigi Santocanale
Abstract:
For a regular cardinal $κ$, a formula of the modal $μ$-calculus is $κ$-continuous in a variable x if, on every model, its interpretation as a unary function of x is monotone and preserves unions of $κ$-directed sets. We define the fragment $C_{\aleph_1}(x)$ of the modal $μ$-calculus and prove that all the formulas in this fragment are $\aleph_1$-continuous. For each formula $φ(x)$ of the modal…
▽ More
For a regular cardinal $κ$, a formula of the modal $μ$-calculus is $κ$-continuous in a variable x if, on every model, its interpretation as a unary function of x is monotone and preserves unions of $κ$-directed sets. We define the fragment $C_{\aleph_1}(x)$ of the modal $μ$-calculus and prove that all the formulas in this fragment are $\aleph_1$-continuous. For each formula $φ(x)$ of the modal $μ$-calculus, we construct a formula $ψ(x) \in C_{\aleph_1 }(x)$ such that $φ(x)$ is $κ$-continuous, for some $κ$, if and only if $φ(x)$ is equivalent to $ψ(x)$. Consequently, we prove that (i) the problem whether a formula is $κ$-continuous for some $κ$ is decidable, (ii) up to equivalence, there are only two fragments determined by continuity at some regular cardinal: the fragment $C_{\aleph_0}(x)$ studied by Fontaine and the fragment $C_{\aleph_1}(x)$. We apply our considerations to the problem of characterizing closure ordinals of formulas of the modal $μ$-calculus. An ordinal $α$ is the closure ordinal of a formula $φ(x)$ if its interpretation on every model converges to its least fixed-point in at most $α$ steps and if there is a model where the convergence occurs exactly in $α$ steps. We prove that $ω_1$, the least uncountable ordinal, is such a closure ordinal. Moreover we prove that closure ordinals are closed under ordinal sum. Thus, any formal expression built from 0, 1, $ω$, $ω_1$ by using the binary operator symbol + gives rise to a closure ordinal.
△ Less
Submitted 3 October, 2019; v1 submitted 12 April, 2017;
originally announced April 2017.
-
Fixed-point elimination in the intuitionistic propositional calculus
Authors:
Silvio Ghilardi,
Maria Joao Gouveia,
Luigi Santocanale
Abstract:
It is a consequence of existing literature that least and greatest fixed-points of monotone polynomials on Heyting algebras-that is, the algebraic models of the Intuitionistic Propositional Calculus-always exist, even when these algebras are not complete as lattices. The reason is that these extremal fixed-points are definable by formulas of the IPC. Consequently, the $μ$-calculus based on intuiti…
▽ More
It is a consequence of existing literature that least and greatest fixed-points of monotone polynomials on Heyting algebras-that is, the algebraic models of the Intuitionistic Propositional Calculus-always exist, even when these algebras are not complete as lattices. The reason is that these extremal fixed-points are definable by formulas of the IPC. Consequently, the $μ$-calculus based on intuitionistic logic is trivial, every $μ$-formula being equivalent to a fixed-point free formula. We give in this paper an axiomatization of least and greatest fixed-points of formulas, and an algorithm to compute a fixed-point free formula equivalent to a given $μ$-formula. The axiomatization of the greatest fixed-point is simple. The axiomatization of the least fixed-point is more complex, in particular every monotone formula converges to its least fixed-point by Kleene's iteration in a finite number of steps, but there is no uniform upper bound on the number of iterations. We extract, out of the algorithm, upper bounds for such n, depending on the size of the formula. For some formulas, we show that these upper bounds are polynomial and optimal.
△ Less
Submitted 4 January, 2016;
originally announced January 2016.
