-
Hölder continuity and Fourier asymptotics of spectral measures for 1D Schrödinger operators under exponentially decaying perturbations
Authors:
M. Aloisio,
Silas L. Carvalho,
C. R. de Oliveira
Abstract:
We establish $\frac{1}{2}$-Hölder continuity, or even the Lipschitz property, for the spectral measures of half-line discrete Schrödinger operators under suitable boundary conditions and exponentially decaying small potentials. These are the first known examples, apart from the free case, of Schrödinger operators with Lipschitz continuous spectral measures up to the spectral edge, and it was obtai…
▽ More
We establish $\frac{1}{2}$-Hölder continuity, or even the Lipschitz property, for the spectral measures of half-line discrete Schrödinger operators under suitable boundary conditions and exponentially decaying small potentials. These are the first known examples, apart from the free case, of Schrödinger operators with Lipschitz continuous spectral measures up to the spectral edge, and it was obtained as a consequence of the Dirichlet boundary condition. Notably, we show that the asymptotic behavior of the time-averaged quantum return probability, either $\log (t) / t$ or $1 / t$, as in the case of the free Laplacian, remains unchanged in this setting. Furthermore, we prove the persistence of the purely absolutely continuous spectrum and the $\frac{1}{2}$-Hölder continuity of the spectral measures for (Diophantine) quasi-periodic operators under exponentially decaying small perturbations. These results are optimal and hold for all energies, up to the border of the absolutely continuous spectrum.
△ Less
Submitted 10 June, 2025; v1 submitted 4 June, 2025;
originally announced June 2025.
-
Decay rates given by regularly varying functions for $C_0$-semigroups on Banach spaces
Authors:
Genilson Santana,
Silas L. Carvalho
Abstract:
We study rates of decay for (possibly unbounded) $C_0$-semigroups on Banach spaces under the assumption that the norm of the resolvent of the respective semigroup generator grows as a regularly varying function of type $β>0$, that is, as $|s|^β\ell(1+|s|)$ or $|s|^β/κ(1+|s|)$, where $\ell,κ$ are arbitrary monotone and slowly varying functions. The main result extends the estimates obtained by Deng…
▽ More
We study rates of decay for (possibly unbounded) $C_0$-semigroups on Banach spaces under the assumption that the norm of the resolvent of the respective semigroup generator grows as a regularly varying function of type $β>0$, that is, as $|s|^β\ell(1+|s|)$ or $|s|^β/κ(1+|s|)$, where $\ell,κ$ are arbitrary monotone and slowly varying functions. The main result extends the estimates obtained by Deng, Rozendaal and Veraar (J. Evol. Equ. 24, 99 (2024)) to this setting of regularly varying functions and improves the estimates obtained by Santana and Carvalho (J. Evol. Equ. 24, 28 (2024)) in case $|s|^β\log(1+|s|)^b$, with $b\ge 0$.
△ Less
Submitted 15 May, 2025; v1 submitted 13 May, 2025;
originally announced May 2025.
-
Qualitative analysis of HAART effects on HIV and SARS-CoV-2 coinfection
Authors:
João P. S. Maurício de Carvalho
Abstract:
HIV is known for causing the destruction of the immune system by affecting different types of cells, while SARS-CoV-2 is an extremely contagious virus that leads to the development of COVID-19. In this study, we propose a mathematical model to investigate the interaction between HIV and SARS-CoV-2 under highly active antiretroviral therapy (HAART). We determine the conditions for the endemic equil…
▽ More
HIV is known for causing the destruction of the immune system by affecting different types of cells, while SARS-CoV-2 is an extremely contagious virus that leads to the development of COVID-19. In this study, we propose a mathematical model to investigate the interaction between HIV and SARS-CoV-2 under highly active antiretroviral therapy (HAART). We determine the conditions for the endemic equilibria of both viruses, showing that transcritical bifurcations occur when the basic reproduction numbers of HIV and SARS-CoV-2 pass through 1. We set the condition for the stability of the disease-free equilibrium point of the model with coinfection as a function of the basic reproduction number $\mathcal{R}_0$. Through numerical simulations, we conclude that HAART, used to control HIV, also reduces the proliferation of SARS-CoV-2-infected cells in coinfected hosts. These findings provide important insights into the epidemiological dynamics of HIV and SARS-CoV-2 coinfection.
△ Less
Submitted 2 November, 2024;
originally announced November 2024.
-
Generic dimensional and dynamical properties of invariant measures of full-shift systems over countable alphabets
Authors:
Silas L. Carvalho,
Alexander Condori
Abstract:
In this work, we are interested in characterizing typical (generic) dimensional properties of invariant measures associated with the full-shift system, $T$, in a product space whose alphabet is a countable set. More specifically, we show that the set of invariant measures with infinite packing dimension equal to infinity is a dense $G_δ$ subset of $\mathcal{M}(T)$, the space of $T$-invariant measu…
▽ More
In this work, we are interested in characterizing typical (generic) dimensional properties of invariant measures associated with the full-shift system, $T$, in a product space whose alphabet is a countable set. More specifically, we show that the set of invariant measures with infinite packing dimension equal to infinity is a dense $G_δ$ subset of $\mathcal{M}(T)$, the space of $T$-invariant measures endowed with the weak topology, where the alphabet $M$ is a countable Polish metric space. We also show that the set of invariant measures with upper $q$-generalized fractal dimension (with $q>1$) equal to infinity is a dense $G_δ$ subset of $\mathcal{M}(T)$, where the alphabet $M$ is a countable compact metric space. This improves the results obtained by Carvalho and Condori in \cite{AS} and \cite{AS2}, respectively. Furthermore, we discuss the dynamical consequences of such results, regarding the upper recurrence rates and upper quantitative waiting time indicator for typical orbits, and how the fractal dimensions of invariant measures and such dynamical quantities behave under an $α$-Hölder conjugation.
△ Less
Submitted 26 March, 2024;
originally announced March 2024.
-
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.
-
Refined decay rates of $C_0$-semigroups on Banach spaces
Authors:
Genilson S. de Santana,
Silas L. Carvalho
Abstract:
We study rates of decay for $C_0$-semigroups on Banach spaces under the assumption that the norm of the resolvent of the semigroup generator grows with $\vert s\vert^β\log(\vert s\vert)^b$, $β, b \geq 0$, as $\vert s\vert\rightarrow\infty$, and with $\vert s\vert^{-α}\log(1/\vert s\vert)^a$, $α, a \geq 0$, as $\vert s\vert \rightarrow 0$. Our results do not suppose that the semigroup is bounded. I…
▽ More
We study rates of decay for $C_0$-semigroups on Banach spaces under the assumption that the norm of the resolvent of the semigroup generator grows with $\vert s\vert^β\log(\vert s\vert)^b$, $β, b \geq 0$, as $\vert s\vert\rightarrow\infty$, and with $\vert s\vert^{-α}\log(1/\vert s\vert)^a$, $α, a \geq 0$, as $\vert s\vert \rightarrow 0$. Our results do not suppose that the semigroup is bounded. In particular, for $a=b=0$, our results improve the rates involving Fourier types obtained by Rozendaal and Veraar (J. Funct. Anal. 275(10): 2845-2894, 2018).
△ Less
Submitted 10 November, 2023; v1 submitted 8 November, 2023;
originally announced November 2023.
-
On the fundamental tone of the $p$-Laplacian on Riemannian manifolds and applications
Authors:
Francisco G. de S. Carvalho,
Marcos Petrucio Cavalcante
Abstract:
We present a general lower bound for the fundamental tone for the $p$-Laplacian on Riemannian manifolds carrying a special kind of function. We then apply our result to the cases of negatively curved simply connected manifolds, a class of warped product manifolds and for a class of Riemannian submersions.
We present a general lower bound for the fundamental tone for the $p$-Laplacian on Riemannian manifolds carrying a special kind of function. We then apply our result to the cases of negatively curved simply connected manifolds, a class of warped product manifolds and for a class of Riemannian submersions.
△ Less
Submitted 28 January, 2023;
originally announced January 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 spectral measures and convergence rates in von Neumann's Ergodic Theorem
Authors:
M. Aloisio,
S. L. Carvalho,
C. R. de Oliveira,
E. Souza
Abstract:
We show that the power-law decay exponents in von Neumann's Ergodic Theorem (for discrete systems) are the pointwise scaling exponents of a spectral measure at the spectral value~$1$. In this work we also prove that, under an assumption of weak convergence, in the absence of a spectral gap, the convergence rates of the time-average in von Neumann's Ergodic Theorem depend on sequences of time going…
▽ More
We show that the power-law decay exponents in von Neumann's Ergodic Theorem (for discrete systems) are the pointwise scaling exponents of a spectral measure at the spectral value~$1$. In this work we also prove that, under an assumption of weak convergence, in the absence of a spectral gap, the convergence rates of the time-average in von Neumann's Ergodic Theorem depend on sequences of time going to infinity.
△ Less
Submitted 11 December, 2023; v1 submitted 12 September, 2022;
originally announced September 2022.
-
On the Fourier asymptotics of absolutely continuous measures with power-law singularities
Authors:
M. Aloisio,
S. L. de Carvalho,
C. R. de Oliveira,
E. Souza
Abstract:
We prove sharp estimates on the time-average behavior of the squared absolute value of the Fourier transform of some absolutely continuous measures that may have power-law singularities, in the sense that their Radon-Nikodym derivatives diverge with a power-law order. We also discuss an application to spectral measures of finite-rank perturbations of the discrete Laplacian.
We prove sharp estimates on the time-average behavior of the squared absolute value of the Fourier transform of some absolutely continuous measures that may have power-law singularities, in the sense that their Radon-Nikodym derivatives diverge with a power-law order. We also discuss an application to spectral measures of finite-rank perturbations of the discrete Laplacian.
△ Less
Submitted 14 May, 2022; v1 submitted 6 May, 2022;
originally announced May 2022.
-
Exponential dichotomy for dynamically defined matrix-valued Jacobi operators
Authors:
Silas L. Carvalho,
Fabricio Vieira
Abstract:
We present in this work a proof of the exponential dichotomy for dynamically defined matrix-valued Jacobi operators in $(\mathbb{C}^{l})^{\mathbb{Z}}$, given for each $ω\in Ω$ by the law $[H_ω \textbf{u}]_{n} := D(T^{n - 1}ω) \textbf{u}_{n - 1} + D(T^{n}ω) \textbf{u}_{n + 1} + V(T^{n}ω) \textbf{u}_{n}$, where $Ω$ is a compact metric space, $T: Ω\rightarrow Ω$ is a minimal homeomorphism and…
▽ More
We present in this work a proof of the exponential dichotomy for dynamically defined matrix-valued Jacobi operators in $(\mathbb{C}^{l})^{\mathbb{Z}}$, given for each $ω\in Ω$ by the law $[H_ω \textbf{u}]_{n} := D(T^{n - 1}ω) \textbf{u}_{n - 1} + D(T^{n}ω) \textbf{u}_{n + 1} + V(T^{n}ω) \textbf{u}_{n}$, where $Ω$ is a compact metric space, $T: Ω\rightarrow Ω$ is a minimal homeomorphism and $D, V: Ω\rightarrow M(l, \mathbb{R})$ are continuous maps with $D(ω)$ invertible for each $ω\inΩ$. Namely, we show that for each $ω\inΩ$,
\[ρ(H_ω)=\{z \in \mathbb{C}\mid (T, A_z)\;\mathrm{is\; uniformly\; hyperbolic}\}, \] where $ρ(H_ω)$ is the resolvent set of $H_ω$ and $(T, A_z)$ is the $SL(2l,\mathbb{C})$-cocycle induced by the eigenvalue equation $[H_ωu]_n=zu_n$ at $z\in\mathbb{C}$.
△ Less
Submitted 12 June, 2025; v1 submitted 22 April, 2022;
originally announced April 2022.
-
A QUBO Formulation for Minimum Loss Spanning Tree Reconfiguration Problems in Electric Power Networks
Authors:
Filipe F. C. Silva,
Pedro M. S. Carvalho,
Luis A. F. M. Ferreira,
Yasser Omar
Abstract:
We introduce a novel quadratic unconstrained binary optimization (QUBO) formulation for a classical problem in electrical engineering -- the optimal reconfiguration of distribution grids. For a given graph representing the grid infrastructure and known nodal loads, the problem consists in finding the spanning tree that minimizes the total link ohmic losses. A set of constraints is initially define…
▽ More
We introduce a novel quadratic unconstrained binary optimization (QUBO) formulation for a classical problem in electrical engineering -- the optimal reconfiguration of distribution grids. For a given graph representing the grid infrastructure and known nodal loads, the problem consists in finding the spanning tree that minimizes the total link ohmic losses. A set of constraints is initially defined to impose topologically valid solutions. These constraints are then converted to a QUBO model as penalty terms. The electrical losses terms are finally added to the model as the objective function to minimize. In order to maximize the performance of solution searching with classical solvers, with hybrid quantum-classical solvers and with quantum annealers, our QUBO formulation has the goal of being very efficient in terms of variables usage. A standard 33-node test network is used as an illustrative example of our general formulation. Model metrics for this example are presented and discussed. Finally, the optimal solution for this example was obtained and validated through comparison with the optimal solution from an independent method.
△ Less
Submitted 15 March, 2022; v1 submitted 20 September, 2021;
originally announced September 2021.
-
Criteria for the Absolutely Continuous Spectral Components of matrix-valued Jacobi operators
Authors:
Fabricio Vieira Oliveira,
Silas L. Carvalho
Abstract:
We extend in this work the Jitomirskaya-Last inequality and Last-Simoncriterion for the absolutely continuous spectral component of a half-line Schrödinger operator to the special class of matrix-valued Jacobi operators $H:l^2(\mathbb{Z},\mathbb{C})\rightarrow l^2(\mathbb{Z},\mathbb{C})$ given by the law…
▽ More
We extend in this work the Jitomirskaya-Last inequality and Last-Simoncriterion for the absolutely continuous spectral component of a half-line Schrödinger operator to the special class of matrix-valued Jacobi operators $H:l^2(\mathbb{Z},\mathbb{C})\rightarrow l^2(\mathbb{Z},\mathbb{C})$ given by the law $[H \textbf{u}]_{n} := D_{n - 1} \textbf{u}_{n - 1} + D_{n} \textbf{u}_{n + 1} + V_{n} \textbf{u}_{n}$, where $(D_n)_n$ and $(V_n)_n$ are bilateral sequences of $l\times l$ self-adjoint matrices such that $0<\inf_{n\in\mathbb{Z}}s_l[D_n]\le\sup_{n\in\mathbb{Z}}s_1[D_n]<\infty$ (here, $s_k[A]$ stands for the $k$-th singular value of $A$).
Moreover, we also show that the absolutely continuous components of even multiplicity of minimal dynamically defined matrix-valued Jacobi operators are constant, extending another result from Last-Simon originally proven for scalar Schrödinger operators.
△ Less
Submitted 30 August, 2022; v1 submitted 27 August, 2021;
originally announced August 2021.
-
Slow dynamics for self-adjoint semigroups and unitary evolution groups
Authors:
Moacir Aloisio,
Silas L. Carvalho,
César R. de Oliveira,
Genilson Santana
Abstract:
We obtain slow dynamics for self-adjoint semigroups and unitary evolution groups. For semigroups, the slow dynamics is for orbits, and for the average return probability in the case of unitary evolution groups. We present an application to the quantum dynamics of purely absolutely continuous systems
We obtain slow dynamics for self-adjoint semigroups and unitary evolution groups. For semigroups, the slow dynamics is for orbits, and for the average return probability in the case of unitary evolution groups. We present an application to the quantum dynamics of purely absolutely continuous systems
△ Less
Submitted 3 September, 2022; v1 submitted 16 May, 2021;
originally announced May 2021.
-
A fractional-order model for CoViD-19 dynamics with reinfection and the importance of quarantine
Authors:
João P. S. Maurício de Carvalho,
Beatriz Moreira-Pinto
Abstract:
Coronavirus disease 2019 (CoViD-19) is an infectious disease caused by severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2). Among many symptoms, cough, fever and tiredness are the most common. People over 60 years old and with associated comorbidities are most likely to develop a worsening health condition. This paper proposes a non-integer order model to describe the dynamics of CoViD-19…
▽ More
Coronavirus disease 2019 (CoViD-19) is an infectious disease caused by severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2). Among many symptoms, cough, fever and tiredness are the most common. People over 60 years old and with associated comorbidities are most likely to develop a worsening health condition. This paper proposes a non-integer order model to describe the dynamics of CoViD-19 in a standard population. The model incorporates the reinfection rate in the individuals recovered from the disease. Numerical simulations are performed for different values of the order of the fractional derivative and of reinfection rate. The results are discussed from a biological point of view.
△ Less
Submitted 19 July, 2021; v1 submitted 9 April, 2021;
originally announced April 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.
-
A novel approach to understanding CoViD-19: exploring the interplay of SARS-CoV-2 and CTL response
Authors:
João Paulo Simões Maurício de Carvalho
Abstract:
Facing a global challenge with over 6.9 million fatalities, severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2), the causative agent of CoViD-19, demands novel and comprehensive approaches to understand its complex dynamics. This paper introduces a non-integer order model, capturing the intricate interplay between SARS-CoV-2 and the host's cytotoxic T lymphocytes (CTLs) response. Our work…
▽ More
Facing a global challenge with over 6.9 million fatalities, severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2), the causative agent of CoViD-19, demands novel and comprehensive approaches to understand its complex dynamics. This paper introduces a non-integer order model, capturing the intricate interplay between SARS-CoV-2 and the host's cytotoxic T lymphocytes (CTLs) response. Our work reveals a unique parameter space, in which an endemic state of SARS-CoV-2 and a CTL response-free equilibrium can coexist -- a crucial finding in our quest to decipher this pervasive virus. We further explore the basic reproduction number, assessing how different model parameters can potentially inhibit or fuel the infection's progression. Through extensive numerical simulations, we scrutinize the impact of varying the order of the fractional derivative and employing diverse CTL proliferation functions. This study significantly enriches our understanding of CoViD-19 immunopathology, offering invaluable insights that could guide future research and therapeutic strategies.
△ Less
Submitted 1 June, 2023; v1 submitted 16 March, 2021;
originally announced March 2021.
-
Families of ICIS with constant total Milnor number
Authors:
Rafaela Soares de Carvalho,
Juan José Nuño-Ballesteros,
Bruna Oréfice-Okamoto,
João Nivaldo Tomazella
Abstract:
We show that a family of isolated complete intersection singularities (ICIS) with constant total Milnor number has no coalescence of singularities. This extends a well known result of Gabrielov, Lazzeri and Lê for hypersurfaces. We use A'Campo's theorem to see that the Lefschetz number of the generic monodromy of the ICIS is zero when the ICIS is singular. We give a pair applications for families…
▽ More
We show that a family of isolated complete intersection singularities (ICIS) with constant total Milnor number has no coalescence of singularities. This extends a well known result of Gabrielov, Lazzeri and Lê for hypersurfaces. We use A'Campo's theorem to see that the Lefschetz number of the generic monodromy of the ICIS is zero when the ICIS is singular. We give a pair applications for families of functions on ICIS which extend also some known results for functions on a smooth variety.
△ Less
Submitted 15 April, 2021; v1 submitted 12 March, 2021;
originally announced March 2021.
-
Some generic fractal properties of bounded self-adjoint operators
Authors:
Moacir Aloisio,
Silas L. Carvalho,
César R. de Oliveira
Abstract:
We study generic fractal properties of bounded self-adjoint operators through lower and upper generalized fractal dimensions of their spectral measures. Two groups of results are presented. Firstly, it is shown that the set of vectors whose associated spectral measures have lower (upper) generalized fractal dimension equal to zero (one) for every $q>1$ ($0<q<1$) is either empty or generic. The sec…
▽ More
We study generic fractal properties of bounded self-adjoint operators through lower and upper generalized fractal dimensions of their spectral measures. Two groups of results are presented. Firstly, it is shown that the set of vectors whose associated spectral measures have lower (upper) generalized fractal dimension equal to zero (one) for every $q>1$ ($0<q<1$) is either empty or generic. The second one gives sufficient conditions, for separable regular spaces of operators, for the presence of generic extreme dimensional values; in this context, we have a new proof of the celebrated Wonderland Theorem.
△ Less
Submitted 20 August, 2021; v1 submitted 26 July, 2020;
originally announced July 2020.
-
Generic zero-Hausdorff and one-packing spectral measures
Authors:
Silas L. Carvalho,
César R. de Oliveira
Abstract:
For some metric spaces of self-adjoint operators, it is shown that the set of operators whose spectral measures have simultaneously zero upper-Hausdorff and one lower-packing dimensions contains a dense $G_δ$ subset. Applications include sets of limit-periodic operators.
For some metric spaces of self-adjoint operators, it is shown that the set of operators whose spectral measures have simultaneously zero upper-Hausdorff and one lower-packing dimensions contains a dense $G_δ$ subset. Applications include sets of limit-periodic operators.
△ Less
Submitted 24 January, 2021; v1 submitted 1 June, 2020;
originally announced June 2020.
-
On the generic behavior of the metric entropy, and related quantities, of uniformly continuous maps over Polish metric spaces
Authors:
Silas L. Carvalho,
Alexander Condori
Abstract:
In this work, we show that if $f$ is a uniformly continuous map defined over a Polish metric space, then the set of $f$-invariant measures with zero metric entropy is a $G_δ$ set (in the weak topology). In particular, this set is generic if the set of $f$-periodic measures is dense in the set of $f$-invariant measures. This settles a conjecture posed by Sigmund (Sigmund, K. On dynamical systems wi…
▽ More
In this work, we show that if $f$ is a uniformly continuous map defined over a Polish metric space, then the set of $f$-invariant measures with zero metric entropy is a $G_δ$ set (in the weak topology). In particular, this set is generic if the set of $f$-periodic measures is dense in the set of $f$-invariant measures. This settles a conjecture posed by Sigmund (Sigmund, K. On dynamical systems with the specification property. Trans. Amer. Math. Soc. 190 (1974), 285-299) which states that the metric entropy of an invariant measure of a topological dynamical system that satisfies the periodic specification property is typically zero.
We also show that if $X$ is compact and if $f$ is an expansive or a Lipschitz map with a dense set of periodic measures, typically the lower correlation entropy for $q\in(0,1)$ is equal to zero. Moreover, we show that if $X$ is a compact metric space and if $f$ is an expanding map with a dense set of periodic measures, then the set of invariant measures with packing dimension, upper rate of recurrence and upper quantitative waiting time indicator equal to zero is residual.
Finally, we present an alternative proof of the fact that the set of expansive measures is a $G_{δσ}$ set in the set of probability measures $\M(X)$, if $X$ is a Polish metric space and if $f$ is uniformly continuous; this result was originally proved by Lee, Morales and Shin (Lee, K., Morales, C. A., and Shin, B. On the set of expansive measures. Commun. Contemp. Math. 20, 7 (2018), 1750086, 10) for compact metric spaces.
△ Less
Submitted 23 May, 2020;
originally announced May 2020.
-
Equisingularity of families of functions on isolated determinantal singularities
Authors:
Rafaela S. Carvalho,
Juan J. Nuño-Ballesteros,
Bruna Oréfice-Okamoto,
João N. Tomazella
Abstract:
We study the equisingularity of a family of function germs $\{f_t\colon(X_t,0)\to (\mathbb{C},0)\}$, where $(X_t,0)$ are $d$-dimensional isolated determinantal singularities. We define the $(d-1)$th polar multiplicity of the fibers $X_t\cap f_t^{-1}(0)$ and we show how the constancy of the polar multiplicities is related to the constancy of the Milnor number of $f_t$ and the Whitney equisingularit…
▽ More
We study the equisingularity of a family of function germs $\{f_t\colon(X_t,0)\to (\mathbb{C},0)\}$, where $(X_t,0)$ are $d$-dimensional isolated determinantal singularities. We define the $(d-1)$th polar multiplicity of the fibers $X_t\cap f_t^{-1}(0)$ and we show how the constancy of the polar multiplicities is related to the constancy of the Milnor number of $f_t$ and the Whitney equisingularity of the family.
△ Less
Submitted 9 May, 2020;
originally announced May 2020.
-
Hydrogen atom bound states whose spectral measures have positive upper fractal dimensions
Authors:
Moacir Aloisio,
Silas L. Carvalho,
César R. de Oliveira
Abstract:
It is shown that, Baire generically, the bound states of the Hamiltonian of the Hydrogen atom have spectral measures with exact $0$-lower and $1/3$-upper generalized fractal dimensions; the relation to (a weak form of) dynamical delocalization along orthonormal bases is also discussed. Such result is a consequence of the distribution of the Hamiltonian eigenvalues.
It is shown that, Baire generically, the bound states of the Hamiltonian of the Hydrogen atom have spectral measures with exact $0$-lower and $1/3$-upper generalized fractal dimensions; the relation to (a weak form of) dynamical delocalization along orthonormal bases is also discussed. Such result is a consequence of the distribution of the Hamiltonian eigenvalues.
△ Less
Submitted 26 March, 2020;
originally announced March 2020.
-
Structure recovery for partially observed discrete Markov random fields on graphs under not necessarily positive distributions
Authors:
Florencia Leonardi,
Rodrigo R. S. Carvalho
Abstract:
We propose a penalized pseudo-likelihood criterion to estimate the graph of conditional dependencies in a discrete Markov random field that can be partially observed. We prove the convergence of the estimator in the case of a finite or countable infinite set of nodes. In the finite case, the underlying graph can be recovered with probability one, while in the countable infinite case, we can recove…
▽ More
We propose a penalized pseudo-likelihood criterion to estimate the graph of conditional dependencies in a discrete Markov random field that can be partially observed. We prove the convergence of the estimator in the case of a finite or countable infinite set of nodes. In the finite case, the underlying graph can be recovered with probability one, while in the countable infinite case, we can recover any finite sub-graph with probability one by allowing the candidate neighborhoods to grow as a function o(log n), with n the sample size. Our method requires minimal assumptions on the probability distribution, and contrary to other approaches in the literature, the usual positivity condition is not needed. We evaluate the performance of the estimator on simulated data, and we apply the methodology to a real dataset of stock index markets in different countries.
△ Less
Submitted 1 September, 2022; v1 submitted 27 November, 2019;
originally announced November 2019.
-
A note on the relation between the metric entropy and the generalized fractal dimensions of invariant measures
Authors:
Alexander Condori,
Silas L. Carvalho
Abstract:
We investigate in this work some situations where it is possible to estimate or determine the upper and the lower $q$-generalized fractal dimensions $D^{\pm}_μ(q)$, $q\in\mathbb{R}$, of invariant measures associated with continuous transformations over compact metric spaces. In particular, we present an alternative proof of Young's Theorem~\cite{Young} for the generalized fractal dimensions of the…
▽ More
We investigate in this work some situations where it is possible to estimate or determine the upper and the lower $q$-generalized fractal dimensions $D^{\pm}_μ(q)$, $q\in\mathbb{R}$, of invariant measures associated with continuous transformations over compact metric spaces. In particular, we present an alternative proof of Young's Theorem~\cite{Young} for the generalized fractal dimensions of the Bowen-Margulis measure associated with a $C^{1+α}$-Axiom A system over a two-dimensional compact Riemannian manifold $M$. We also present estimates for the generalized fractal dimensions of an ergodic measure for which Brin-Katok's Theorem is satisfied punctually, in terms of its metric entropy.
Furthermore, for expansive homeomorphisms (like $C^1$-Axiom A systems), we show that the set of invariant measures such that $D_μ^+(q)=0$ ($q\ge 1$), under a hyperbolic metric, is generic (taking into account the weak topology). We also show that for each $s\in [0,1)$, $D^{+}_μ(s)$ is bounded above, up to a constant, by the topological entropy, also under a hyperbolic metric.
Finally, we show that, for some dynamical systems, the metric entropy of an invariant measure is typically zero, settling a conjecture posed by Sigmund in~\cite{Sigmund1974} for Lipschitz transformations which satisfy the specification property.
△ Less
Submitted 12 October, 2019; v1 submitted 2 August, 2019;
originally announced August 2019.
-
Generalized fractal dimensions of invariant measures of full-shift systems over uncountable alphabets: generic behavior
Authors:
Silas Luiz Carvalho,
Alexander Condori
Abstract:
In this paper we show that, for topological dynamical systems with a dense set (in the weak topology) of periodic measures, a typical (in Baire's sense) invariant measure has, for each $q>0$, zero lower $q$-generalized fractal dimension. This implies, in particular, that a typical invariant measure has zero upper Hausdorff dimension and zero lower rate of recurrence. Of special interest is the ful…
▽ More
In this paper we show that, for topological dynamical systems with a dense set (in the weak topology) of periodic measures, a typical (in Baire's sense) invariant measure has, for each $q>0$, zero lower $q$-generalized fractal dimension. This implies, in particular, that a typical invariant measure has zero upper Hausdorff dimension and zero lower rate of recurrence. Of special interest is the full-shift system $(X,T)$ (where $X= M^{\Z}$ is endowed with a sub-exponential metric and the alphabet $M$ is a perfect and compact metric space), for which we show that a typical invariant measure has, for each $q>1$, infinite upper $q$-correlation dimension. Under the same conditions, we show that a typical invariant measure has, for each $s\in(0,1)$ and each $q>1$, zero lower $s$-generalized and infinite upper $q$-generalized dimensions.
△ Less
Submitted 24 January, 2021; v1 submitted 8 March, 2019;
originally announced March 2019.
-
Generic properties of invariant measures of full-shift systems over perfect separable metric spaces
Authors:
Silas Luiz Carvalho,
Alexander Condori
Abstract:
In this work, we are interested in characterizing typical (generic) dimensional properties of invariant measures associated with the full-shift system, $T$, in a product space whose alphabet is a perfect and separable metric space (thus, complete and uncountable). More specifically, we show that the set of invariant measures with upper Hausdorff dimension equal to zero and lower packing dimension…
▽ More
In this work, we are interested in characterizing typical (generic) dimensional properties of invariant measures associated with the full-shift system, $T$, in a product space whose alphabet is a perfect and separable metric space (thus, complete and uncountable). More specifically, we show that the set of invariant measures with upper Hausdorff dimension equal to zero and lower packing dimension equal to infinity is a dense $G_δ$ subset of $\mathcal{M}(T)$, the space of $T$-invariant measures endowed with the weak topology. We also show that the set of invariant measures with upper rate of recurrence equal to infinity and lower rate of recurrence equal to zero is a $G_δ$ subset of $\mathcal{M}(T)$. Furthermore, we show that the set of invariant measures with upper quantitative waiting time indicator equal to infinity and lower quantitative waiting time indicator equal to zero is residual in $\mathcal{M}(T)$.
△ Less
Submitted 24 January, 2021; v1 submitted 7 March, 2019;
originally announced March 2019.
-
Category theorems for Schrödinger semigroups
Authors:
Moacir Aloisio,
Silas L. Carvalho,
César R. de Oliveira
Abstract:
Stimulated by the category theorems of Eisner and Serény in the setting of unitary and isometric $C_0$-semigroups on separable Hilbert spaces, we prove category theorems for Schrödinger semigroups. Specifically, we show that, to a given class of Schrödinger semigroups, Baire generically the semigroups are strongly stable but not exponentially stable. We also present a typical spectral property of…
▽ More
Stimulated by the category theorems of Eisner and Serény in the setting of unitary and isometric $C_0$-semigroups on separable Hilbert spaces, we prove category theorems for Schrödinger semigroups. Specifically, we show that, to a given class of Schrödinger semigroups, Baire generically the semigroups are strongly stable but not exponentially stable. We also present a typical spectral property of the corresponding Schrödinger operators.
△ Less
Submitted 29 November, 2019; v1 submitted 21 February, 2019;
originally announced February 2019.
-
Quantum quasiballistic dynamics and thick point spectrum
Authors:
Moacir Aloisio,
Silas L. Carvalho,
César R. de Oliveira
Abstract:
We obtain dynamical lower bounds for some self-adjoint operators with pure point spectrum in terms of the spacing properties of their eigenvalues. In particular, it is shown that for systems with thick point spectrum, typically in Baire's sense, the dynamics of each initial condition (with respect to some orthonormal bases of the space) presents a quasiballistic behaviour. We present explicit appl…
▽ More
We obtain dynamical lower bounds for some self-adjoint operators with pure point spectrum in terms of the spacing properties of their eigenvalues. In particular, it is shown that for systems with thick point spectrum, typically in Baire's sense, the dynamics of each initial condition (with respect to some orthonormal bases of the space) presents a quasiballistic behaviour. We present explicit applications to some Schrödinger operators.
△ Less
Submitted 21 February, 2019; v1 submitted 1 August, 2018;
originally announced August 2018.
-
$μ$-constant deformations of functions on ICIS
Authors:
R. S. Carvalho,
B. Orefice-Okamoto,
J. N. Tomazella
Abstract:
We study deformations of holomorphic function germs $f:(X,0)\to\mathbb C$ where $(X,0)$ is an ICIS. We present conditions for these deformations to have constant Milnor number, Euler obstruction and Bruce-Roberts number.
We study deformations of holomorphic function germs $f:(X,0)\to\mathbb C$ where $(X,0)$ is an ICIS. We present conditions for these deformations to have constant Milnor number, Euler obstruction and Bruce-Roberts number.
△ Less
Submitted 29 June, 2018;
originally announced July 2018.
-
Refined scales of decaying rates of operator semigroups on Hilbert spaces: typical behaviour
Authors:
Moacir Aloisio,
Silas L. Carvalho,
César R. de Oliveira
Abstract:
We study relations between the decaying rates of operator semigroups on Hilbert spaces and some spectral properties of their respective generators; in particular, we show that the decaying rates of orbits of semigroups which are stable but not exponentially stable, typically in Baire's sense, depend on sequences of time going to infinity.
We study relations between the decaying rates of operator semigroups on Hilbert spaces and some spectral properties of their respective generators; in particular, we show that the decaying rates of orbits of semigroups which are stable but not exponentially stable, typically in Baire's sense, depend on sequences of time going to infinity.
△ Less
Submitted 22 October, 2019; v1 submitted 20 April, 2018;
originally announced April 2018.
-
Site recurrence of open and unitary quantum walks on the line
Authors:
Silas L. Carvalho,
Leonardo F. Guidi,
Carlos F. Lardizabal
Abstract:
We study the problem of site recurrence of discrete time nearest neighbor open quantum random walks (OQWs) on the integer line, proving basic properties and some of its relations with the corresponding problem for unitary (coined) quantum walks (UQWs). For both kinds of walks our discussion concerns two notions of recurrence, one given by a monitoring procedure, another in terms of Pólya numbers,…
▽ More
We study the problem of site recurrence of discrete time nearest neighbor open quantum random walks (OQWs) on the integer line, proving basic properties and some of its relations with the corresponding problem for unitary (coined) quantum walks (UQWs). For both kinds of walks our discussion concerns two notions of recurrence, one given by a monitoring procedure, another in terms of Pólya numbers, and we study their similarities and differences. In particular, by considering UQWs and OQWs induced by the same pair of matrices, we discuss the fact that recurrence of these walks are related by an additive interference term in a simple way. Based on a previous result of positive recurrence we describe an open quantum version of Kac's lemma for the expected return time to a site.
△ Less
Submitted 29 September, 2016; v1 submitted 25 July, 2016;
originally announced July 2016.
-
A characterization of singular packing subspaces with an application to limit-periodic operators
Authors:
Silas L. Carvalho,
César R. de Oliveira
Abstract:
A new characterization of the singular packing subspaces of general bounded self-adjoint operators is presented, which is used to show that the set of operators whose spectral measures have upper packing dimension equal to one is a $G_δ$ (in suitable metric spaces). As an application, it is proven that, generically (in space of continuous sampling functions), spectral measures of the limit-periodi…
▽ More
A new characterization of the singular packing subspaces of general bounded self-adjoint operators is presented, which is used to show that the set of operators whose spectral measures have upper packing dimension equal to one is a $G_δ$ (in suitable metric spaces). As an application, it is proven that, generically (in space of continuous sampling functions), spectral measures of the limit-periodic Schrödinger operators have upper packing dimensions equal to one. Consequently, in a generic set, these operators are quasiballistic.
△ Less
Submitted 28 April, 2016;
originally announced April 2016.
-
Mathematical Modeling of Dengue Epidemic: Control Methods and Vaccination Strategies
Authors:
Sylvestre Aureliano Carvalho,
Stella Olívia da Silva,
Iraziet da Cunha Charret
Abstract:
Dengue is one of the most important infectious diseases in the world, in terms of death and economic cost. Hence, the modeling of dengue is of great importance to help us understand the dynamics disease, and interfering with its spreading mathematical by the proposition of control methods. In this work, control strategies in an attempt to eliminate the Aedes aegypti mosquito, as well as proposals…
▽ More
Dengue is one of the most important infectious diseases in the world, in terms of death and economic cost. Hence, the modeling of dengue is of great importance to help us understand the dynamics disease, and interfering with its spreading mathematical by the proposition of control methods. In this work, control strategies in an attempt to eliminate the Aedes aegypti mosquito, as well as proposals for the vaccination campaign are evaluated. In our mathematical model, the mechanical control is accomplished through the environmental support capacity affected by a discrete function that represents removal of breeding. Chemical control is carried out from the use of insecticide and larvicidal. The efficacious of vaccination is studied through the removal of a fraction of individuals, proportional to the rate of vaccination, from the susceptible compartment and its transfer to the recovered compartment. Our major find is that the dengue fever epidemic is only eradicated with the use of an immunizing vaccine because control measures directed against the vector are not enough to halt disease spreading. Even where the infected mosquitoes are eliminated from the system, susceptible mosquitoes are still present, and infected humans cause dengue fever to reappear in the human population.
△ Less
Submitted 4 August, 2015;
originally announced August 2015.
-
The norm of the $k$-th derivative of the $χ$-symmetric power of an operator
Authors:
Sónia Carvalho,
Pedro J. Freitas
Abstract:
In this paper we present the exact value for the norm of directional derivatives, of all orders, for symmetric tensor powers of operators on finite dimensional vector spaces. Using this result we obtain an upper bound for the norm of all directional derivatives of immanants.
This work is inspired in results by R. Bhatia, J. Dias da Silva, P. Grover and T. Jain.
In this paper we present the exact value for the norm of directional derivatives, of all orders, for symmetric tensor powers of operators on finite dimensional vector spaces. Using this result we obtain an upper bound for the norm of all directional derivatives of immanants.
This work is inspired in results by R. Bhatia, J. Dias da Silva, P. Grover and T. Jain.
△ Less
Submitted 6 May, 2013;
originally announced May 2013.
-
The $k$-th derivatives of the immanant and the $χ$-symmetric power of an operator
Authors:
Sónia Carvalho,
Pedro J. Freitas
Abstract:
In recent papers, R. Bhatia, T. Jain and P. Grover obtained formulas for directional derivatives, of all orders, of the determinant, the permanent, the $m$-th compound map and the $m$-th induced power map. In this paper we generalize these results for immanants and for other symmetric powers of a matrix.
In recent papers, R. Bhatia, T. Jain and P. Grover obtained formulas for directional derivatives, of all orders, of the determinant, the permanent, the $m$-th compound map and the $m$-th induced power map. In this paper we generalize these results for immanants and for other symmetric powers of a matrix.
△ Less
Submitted 6 May, 2013;
originally announced May 2013.
-
Pointwise Decay of Fourier-Stieltjes transform of the Spectral Measure for Jacobi Matrices with Faster-than-Exponential Sparse Perturbations
Authors:
S. L. Carvalho,
D. H. U. Marchetti,
W. F. Wreszinski
Abstract:
We consider off-diagonal Jacobi matrices $J$ with (faster-than-exponential) sparse perturbations. We prove (Theorem \ref{onehalf}) that the Fourier transform $\hat{\left\| f\right\| ^{2}dρ}(t)$ of the spectral measure $ρ$ of $J$, whose sparse perturbations are at least separated by a distance $\exp \left(cj(\ln j)^{2}\right) /δ^{j}$, for some $c>1/2,$ $0<δ<1$ and for a dense subset of…
▽ More
We consider off-diagonal Jacobi matrices $J$ with (faster-than-exponential) sparse perturbations. We prove (Theorem \ref{onehalf}) that the Fourier transform $\hat{\left\| f\right\| ^{2}dρ}(t)$ of the spectral measure $ρ$ of $J$, whose sparse perturbations are at least separated by a distance $\exp \left(cj(\ln j)^{2}\right) /δ^{j}$, for some $c>1/2,$ $0<δ<1$ and for a dense subset of $C_{0}^{\infty}(-2,2)$-functions $f$, decays as $t^{-1/2}Ω(t)$, uniformly in the spectrum $[-2,2]$, $Ω(t)$ increasing less rapidly than any positive power of $t$, improving earlier results obtained by Simon (Commun. Math. Phys. \textbf{179}, 713-722 (1996)) and by Krutikov-Remling (Commun. Math. Phys. \textbf{223}, 509-532 (2001)) for Schrödinger operators with sparse potential that increases as fast as exponential-of-exponential. Applications to the spectrum of the Kronecker sum of two (or more) copies of the model are given.
△ Less
Submitted 25 October, 2010;
originally announced October 2010.
-
On the uniform distribution of the Prüfer angles and its implication to a sharp spectral transition of Jacobi matrices with randomly sparse perturbations
Authors:
S. L. Carvalho,
D. H. U. Marchetti,
W. F. Wreszinski
Abstract:
In the present work we consider off-diagonal Jacobi matrices with uncertainty in the position of sparse perturbations. We prove (Theorem 3.2) that the sequence of Prüfer angles (θ_{k}^ω)_{k\geq 1} is u.d mod πfor all φ\in [0,π] with exception of the set of rational numbers and for almost every ωwith respect to the product ν=\prod_{j\geq 1}ν_{j} of uniform measures on {-j,...,j}. Together with an i…
▽ More
In the present work we consider off-diagonal Jacobi matrices with uncertainty in the position of sparse perturbations. We prove (Theorem 3.2) that the sequence of Prüfer angles (θ_{k}^ω)_{k\geq 1} is u.d mod πfor all φ\in [0,π] with exception of the set of rational numbers and for almost every ωwith respect to the product ν=\prod_{j\geq 1}ν_{j} of uniform measures on {-j,...,j}. Together with an improved criterion for pure point spectrum (Lemma 4.1), this provides a simple and natural alternative proof of a result of Zlatos (J. Funct. Anal. \textbf{207}, 216-252 (2004)): the existence of pure point (p.p) spectrum and singular continuous (s.c.) spectra on sets complementary to one another with respect to the essential spectrum [-2,2], outside sets A_{sc} and A_{pp}, respectively, both of zero Lebesgue measure (Theorem 2.4). Our method allows for an explicit characterization of A_{pp}, which is seen to be also of dense p.p. type, and thus the spectrum is proved to be exclusively pure point on one subset of the essential spectrum.
△ Less
Submitted 6 November, 2011; v1 submitted 14 June, 2010;
originally announced June 2010.
-
Sparse Block-Jacobi Matrices with Exact Hausdorff Dimension
Authors:
S. L. Carvalho,
D. H. U. Marchetti,
W. F. Wreszinski
Abstract:
We show that the Hausdorff dimension of the spectral measure of a class of deterministic, i. e. nonrandom, block-Jacobi matrices may be determined exactly, improving a result of Zlatos (J. Funct. Anal. 207, 216-252 (2004)).
We show that the Hausdorff dimension of the spectral measure of a class of deterministic, i. e. nonrandom, block-Jacobi matrices may be determined exactly, improving a result of Zlatos (J. Funct. Anal. 207, 216-252 (2004)).
△ Less
Submitted 4 August, 2009;
originally announced August 2009.
-
The First Birkhoff Coefficient and the Stability of 2-Periodic Orbits on Billiards
Authors:
Sylvie Oliffson Kamphorst,
Sonia Pinto de Carvalho
Abstract:
In this work we address the question of proving the stability of elliptic 2-periodic orbits for strictly convex billiards. Eventhough it is part of a widely accepted belief that ellipticity implies stability, classical theorems show that the certainty of stability relies upon more fine conditions. We present a review of the main results and general theorems and describe the procedure to fullfill…
▽ More
In this work we address the question of proving the stability of elliptic 2-periodic orbits for strictly convex billiards. Eventhough it is part of a widely accepted belief that ellipticity implies stability, classical theorems show that the certainty of stability relies upon more fine conditions. We present a review of the main results and general theorems and describe the procedure to fullfill the supplementary conditions for strictly convex billiards.
△ Less
Submitted 14 October, 2004;
originally announced October 2004.
-
Elliptic Islands on Strictly Convex Billiards
Authors:
Mario Jorge Dias Carneiro,
Sylvie Oliffson Kamphorst,
Sonia Pinto De Carvalho
Abstract:
This paper addresses the question of genericity of existence of elliptic islands for the billiard map associated to strictly convex closed curves. More precisely, we study 2-periodic orbits of billiards associated to C5 closed and strictly convex curves and show that the existence of elliptic islands is a dense property on the subset of those billiards having an elliptic 2-periodic point. Our ma…
▽ More
This paper addresses the question of genericity of existence of elliptic islands for the billiard map associated to strictly convex closed curves. More precisely, we study 2-periodic orbits of billiards associated to C5 closed and strictly convex curves and show that the existence of elliptic islands is a dense property on the subset of those billiards having an elliptic 2-periodic point. Our main tools are normal perturbations, the Birkhoff Normal Form for elliptic fixed points and Moser's Twist Theorem.
△ Less
Submitted 11 January, 2002;
originally announced January 2002.
-
Elliptic Islands on the Elliptical Stadium
Authors:
Sylvie Oliffson Kamphorst,
Sonia Pinto de Carvalho
Abstract:
We investigate the existence of elliptic islands for a special family of periodic orbits of a two-parameter family of maps corresponding to the billiard problem on the elliptical stadium. The hyperbolic or elliptical character of these orbits is also investigated. Depending on the parameters, we obtain upper bounds of ellipticity for this special family as a lower bound for chaos. On a different…
▽ More
We investigate the existence of elliptic islands for a special family of periodic orbits of a two-parameter family of maps corresponding to the billiard problem on the elliptical stadium. The hyperbolic or elliptical character of these orbits is also investigated. Depending on the parameters, we obtain upper bounds of ellipticity for this special family as a lower bound for chaos. On a different region of the parameter space, we can prove that there is no upper bound for the existence of elliptic islands. The main results we use are Birkhoff Normal Form and Moser's Twist Theorem.
△ Less
Submitted 22 September, 2000;
originally announced September 2000.
