Source author record

Elismar R. Oliveira

Elismar R. Oliveira appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

14works
9topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

14 published item(s)

preprint2026arXiv

Foundations of local iterated function systems

In this paper we present a systematic study of continuous local iterated function systems. We prove local iterated function systems admit compact attractors and, under a contractivity assumption, construct their code space and present an extended shift that describes admissible compositions. In particular, the possible combinatorial structure of a local iterated function system is in bijection with the space of invariant subsets of the full shift. Nevertheless, these objects reveal a degree of unexpectedness relative to the classical framework, as we build examples of local iterated function systems which are not modeled by subshifts of finite type and give rise to non self-similar attractors. We also prove that all attractors of graph-directed IFSs are obtained from local IFSs on an enriched compact metric space. We provide several classes of examples illustrating the scope of our results, emphasizing both their contrasts and connections with the classical theory of iterated function systems.

preprint2020arXiv

A multiresolution algorithm to approximate the Hutchinson measure for IFS and GIFS

We introduce the discrete version of the Hutchinson--Barnsley theory providing algorithms to approximate the Hutchinson measure for iterated function systems (IFS) and generalized iterated function systems (GIFS) complementing the discrete version of the deterministic algorithm considered in our previous work DOS to generate attractors of both classical and fuzzy IFS and GIFS.

preprint2016arXiv

Fuzzy Attractors Appearing from GIFZS

Cabrelli, Forte, Molter and Vrscay in 1992 considered a {fuzzy} version of the theory of iterated function systems (IFSs in short) and their fractals%The idea was to extend the classical Hutchinson-Barnsley operator to selfmaps of a metric space to appropriate selfmaps of space of fuzzy , which now is quite rich and important part of the fractals theory. On the other hand, Miculescu and Mihail in 2008 introduced another generalization of the IFSs' theory - instead of selfmaps of a metric space $X$, they considered mappings defined on the finite Cartesian product $X^m$. %It turns out that many parts of the classical Hutchinson-Barnsley fractals theory have natural counterparts in this generalized setting. In particular, if $X$ is complete, then appropriately contractive systems of such maps generate unique fractal sets. In this paper we show that the \emph{fuzzyfication} ideas of Cabrelli et al. can be naturally adjusted to the case of mappings defined on finite Cartesian product. In particular, we define the notion of a generalized iterated fuzzy function system (GIFZS in short) and prove that it generates a unique fuzzy fractal set. We also study some basic properties of GIFZSs and their fractals, and consider the question whether our setting gives us some new fuzzy fractal sets.

preprint2016arXiv

On the thin boundary of the fat attractor

For, $0<λ<1$, consider the transformation $T(x) = d x $ (mod 1) on the circle $S^1$, a $C^1$ function $A:S^1 \to \mathbb{R}$, and, the map $F(x,s) = ( T(x) , λ\, s + A(x))$, $(x,s)\in S^1 \times \mathbb{R}$. We denote $\mathcal{B}= \mathcal{B}_λ$ the upper boundary of the attractor (known as fat attractor). We are interested in the regularity of $\mathcal{B}_λ$, and, also in what happens in the limit when $λ\to 1$. We also address the analysis of the following conjecture which were proposed by R. Bamón, J. Kiwi, J. Rivera-Letelier and R. Urzúa: for any fixed $λ$, $C^1$ generically on the potential $A$, the upper boundary $\mathcal{B}_λ$ is formed by a finite number of pieces of smooth unstable manifolds of periodic orbits for $F$. We show the proof of the conjecture for the class of $C^2$ potentials $A(x)$ satisfying the twist condition (plus a combinatorial condition). We do not need the generic hypothesis for this result. We present explicit examples. On the other hand, when $λ$ is close to $1$ and the potential $A$ is generic a more precise description can be done. In this case the finite number of pieces of $C^1$ curves on the boundary have some special properties. Having a finite number of pieces on this boundary is an important issue in a problem related to semi-classical limits and micro-support. This was consider in a recent published work by A. Lopes and J. Mohr. Finally, we present the general analysis of the case where $A$ is Lipschitz and its relation with Ergodic Transport

preprint2015arXiv

Duality results for Iterated Function Systems with a general family of branches

For $X$, $Y$, $Z$ and $W$ compact metric spaces, consider two uniformly contractive IFS $\{τ_x: Z\to Z,\, x\in x\}$ and $\{τ_y:W\to W,\, y\in Y\}$. For a fixed $α\in \mathcal{P}(X)$ with $supp(α)=X$ we define the entropy of a holonomic measure $π\in \mathcal{P}(X\times Z)$ relative to $α$, the pressure of a continuous cost function $c(x,z)$ and show that for $c$ Lipschitz this pressure coincides with the spectral radius of the associated transfer operator. The same approach can be applied to the pair $Y,W$. For fixed probabilities $α\in \mathcal{P}(X)$ and $β\in \mathcal{P}(Y)$ with $supp(α)=X,\,supp(β)=Y$ we denote by $H_α(π), π\in Π(\cdot,\cdot,τ)$, the entropy of the $(X,Z)-$marginal of $π$ relative to $α$ and denote by $H_β(π)$, the entropy of the $(Y,W)-$marginal of $π$ relative to $β$. The marginal pressure of a continuous cost function $c \in C(X\times Y \times Z \times W)$ relative to $(α,β)$ will be defined by $P^{m}(c) = \sup_{π\inΠ(\cdot,\cdot,τ)} \int c\, dπ+ H_α(π) +H_β(π)$ and we will show the following duality result: \[\inf_{P^{m}(c -φ(x) -ψ(y))=0} \int φ(x)\,dμ+\int ψ(y)\,dν= \sup_{π\inΠ(μ,ν,τ)} \int c\, dπ+ H_α(π) +H_β(π).\] When $Z$ and $W$ have only one point and the entropy is unconsidered this equality can be rewritten as the Kantorovich Duality for compact spaces $X,Y$ and continuous cost $-c$: \[\inf_{c -φ(x) -ψ(y)\leq 0} \int φ(x)\,dμ+\int ψ(y)\,dν= \sup_{π\inΠ(μ,ν)} \int c\, dπ.\]

preprint2015arXiv

The Ergodic Theorem for a new kind of attractor of a GIFS

In 1987, J. H. Elton, has proved the first fundamental result in convergence of IFS, the Elton's Ergodic Theorem. In this work we prove the natural extension of this theorem to the projected Hutchinson measure $μ_α$ associated to a GIFSpdp $\mathcal{S}=\left(X, (ϕ_j:X^{m} \to X)_{j=0,1, ..., n-1}, (p_j)_{j=0,1, ..., n-1}\right),$ in a compact metric space $(X,d)$. More precisely, the average along of the trajectories $x_{n}(a)$ of the GIFS, starting in any initial points $x_0, ..., x_{m-1} \in X$ satisfies, for any $f \in C(X , \mathbb{R})$, $$\lim_{N\to +\infty} \frac{1}{N}\sum_{n=0 }^{N-1} f(x_{n}(a)) = \int_{X} f(t) dμ_α(t),$$ for almost all $a \in Ω=\{0,1, ..., n-1\}^{\mathbb{N}}$, the symbolic space. Additionally, we give some examples and applications to Chaos Games and Nonautonomous Dynamical Systems defined by finite difference equations.

preprint2014arXiv

A note on the dynamics of linear automorphisms of a measure convolution algebra

In this work we are going to study the dynamics of the linear automorphisms of a measure convolution algebra over a finite group, $T(μ)=ν* μ$. In order to understand an classify the asymptotic behavior of this dynamical system we provide an alternative to classical results, a very direct way to understand convergence of the sequence $\{ν^{n}\}_{n\in\mathbb{N}}$, where $G$ is a finite group, $ν\in\mathcal{P}(G)$ and $ν^n=\underbrace{ν\ast...\astν}_n$, trough the subgroup generated by his support.

preprint2014arXiv

The Dual Potential, the involution kernel and Transport in Ergodic Optimization

Consider the shift $σ$ acting on the Bernoulli space $Σ={1,2,...,n}^\mathbb{N}$. We denote $\hatΣ= {1,2,...,n}^\mathbb{Z}$. We analyze several properties of the maximizing probability $μ_{\infty,A}$ of a Holder potential $A: Σ\to \mathbb{R}$. Associated to $A(x)$, via the involution kernel, $W: \hatΣ \to \mathbb{R}$, it is known that can we get the dual potential $A^*(y)$, where $(x,y)\in \hatΣ$. Consider $μ_{\infty, A^*}$ a maximizing probability for $A^*$. We would like to consider the transport problem from $μ_{\infty,A}$ to $μ_{\infty,A^*}$. In this case, it is natural to consider the cost function $c(x,y) = I(x) - W(x,y) +γ$, where $I$ is the deviation function. The pair of functions for the Kantorovich Transport dual Problem are $(-V,-V^*$), where we denote the two calibrated sub-actions by $V$ and $V^*$, respectively, for $A$ and $A^*$ for $μ_{\infty,A}$. We analyze the graph property for the optimal plan $\hatμ$.

preprint2012arXiv

Ergodic Transport Theory and Piecewise Analytic Subactions for Analytic Dynamics

We consider a piecewise analytic real expanding map $f: [0,1]\to [0,1]$ of degree $d$ which preserves orientation, and a real analytic positive potential $g: [0,1] \to \mathbb{R}$. We assume the map and the potential have a complex analytic extension to a neighborhood of the interval in the complex plane. We also assume $\log g$ is well defined for this extension. It is known in Complex Dynamics that under the above hypothesis, for the given potential $β\,\log g$, where $β$ is a real constant, there exists a real analytic eigenfunction $ϕ_β$ defined on $[0,1]$ (with a complex analytic extension) for the Ruelle operator of $β\,\log g$. Under some assumptions we show that $\frac{1}β\, \log ϕ_β$ converges and is a piecewise analytic calibrated subaction. Our theory can be applied when $\log g(x)=-\log f'(x)$. In that case we relate the involution kernel to the so called scaling function.

preprint2011arXiv

Piecewise Analytic Subactions for Analytic Dynamics

We consider a piecewise analytic expanding map f: [0,1]-> [0,1] of degree d which preserves orientation, and an analytic positive potential g: [0,1] -> R. We address the analysis of the following problem: for a given analytic potential beta log g, where beta is a real constant, it is well known that there exists a real analytic (with a complex analytic extension to a small complex neighborhood of [0,1]) eigenfunction phi_beta for the Ruelle operator. One can ask: what happen with the function phi_beta, when beta goes to infinity. The domain of analyticity can change with beta. The correct question should be: is 1/ beta log phi_beta analytic in the limit, when beta goes to infinity ? Under a uniqueness assumption, this limit, when beta goes to infinity, is in fact a calibrated subaction V (see bellow definition). We show here that under certain conditions and for a certain class of generic potentials this continuous function is piecewise analytic (but not analytic). In a few examples one can get that the subaction is analytic (we need at least to assume that the maximizing probability has support in a unique fixed point).