In this paper we analyze some applications of the category of exterior spaces
to the study of dynamical systems (flows). We study the notion of an absorbing
open subset of a dynamical system; i.e., an open subset that contains the
"future part" of all the trajectories. The family of all absorbing open subsets
is a quasi-filter which gives the structure of an exterior space to the flow.
The limit space and end space of an exterior space is used to construct the
limit spaces and end spaces of a dynamical system.
We present a new matrix-valued isospectral ordinary differential equation
that asymptotically block-diagonalizes a finite-dimensional zero-diagonal
Jacobi matrix employed as its initial condition. This differential equation is
closely related to the one introduced by M. Kac and P. Van Moerbeke in 1975,
although our approach to prove the key properties of this o.d.e. differs from
the techniques developed by them. We show that our o.d.e. can be represented as
a double bracket differential equation similar to the one studied by R.W.
Brockett in 1991.
This article explains why a paper by Heinz G. Helfenstein entitled "Ovals
with equichordal points", published in J.London Math.Soc.31, 54-57, 1956, is
incorrect. We point out a computational error which renders his conclusions
invalid. More importantly, we explain that the method cannot be used to solve
the equichordal point problem with the method presented there. Today, there is
a solution to the problem: Marek R. Rychlik, "A complete solution to the
equichordal point problem of Fujiwara, Blaschke, Rothe and Weizenb\"ock",
Inventiones Mathematicae 129 (1), 141-212, 1997.
Let f be an obstructed Thurston map with canonical obstruction \Gamma_f. We
prove the following generalization of Pilgrim's conjecture: if the first-return
map F of a periodic component C of the topological surface obtained from the
sphere by pinching the curves of \Gamma_f is a Thurston map then the canonical
obstruction of F is empty. Using this result, we give a complete topological
characterization of canonical Thurston obstructions.
We give a complete description of the qualitative behavior of the
second-order rational difference equation #166. We also establish the
boundedness character for the rational system in the plane #(8,30).
Let M be a complete hyperbolic surface of infinite area. Assuming that its
fundamental group is finitely generated and has critical exponent bigger than
1/2, we obtain an effective equidistribution of closed horocycles in the unit
tangent bundle of M. This extends a result of Sarnak in 1981 for surfaces of
finite area. We use this result to prove an orbital counting statement in
sectors for thin subgroups, with a uniform error term for all congruence
subgroups. This has an application in studying almost prime Pythagorean triples
in the Affine linear sieve.
This paper is devoted to study thermodynamic formalism for suspension flows
defined over countable alphabets. We are mostly interested in the regularity
properties of the pressure function. We establish conditions for the pressure
function to be real analytic or to exhibit a phase transition. We also
construct an example of a potential for which the pressure has countably many
phase transitions.
We study the regularity of the Lyapunov exponent for quasi-periodic cocycles
$(T_\omega, A)$ where $T_\omega$ is an irrational rotation $x\to x+ 2\pi\omega$
on $\SS^1$ and $A\in {\cal C}^l(\SS^1, SL(2,\RR))$, $0\le l\le \infty$. For any
fixed $l=0, 1, 2,..., \infty$ and any fixed $\omega$ of bounded-type, we
construct a
$D_{l}\in {\cal C}^l(\SS^1, SL(2,\RR))$ such that the Lyapunov exponent is
not continuous at $(T_\omega, D_{l})$ in ${\cal C}^l$-topology.
In this work we introduce the notion of weak quasi groups, that are,
quasi-group operations defined almost everywhere on some set. Then we present
sufficient conditions for an expansive ergodic map $T:X\to X$ to be an
automorphism for some topological weak quasi group. Therefore, we find out an
Abelian topological weak group operation and a standard decomposition of the
dynamics of $T$ in terms of $T$-invariant weak sub-groups.
We study the partial case of the planar $N+1$ body problem, $N\ge2$, of the
type of planetary system with satellites. We assume that one of the bodies (the
Sun) is much heavier than the other bodies ("planets" and "satellites"),
moreover the planets are much heavier than the satellites, and the "years" are
much longer than the "months".
The FitzHugh-Nagumo equation has been investigated with a wide array of
different methods in the last three decades. Recently a version of the
equations with an applied current was analyzed by Champneys, Kirk, Knobloch,
Oldeman and Sneyd using numerical continuation methods. They obtained a
complicated bifurcation diagram in parameter space featuring a C-shaped curve
of homoclinic bifurcations and a U-shaped curve of Hopf bifurcations.
We show that for a family of randomly kicked Hamilton-Jacobi equations, the
unique global minimizer is hyperbolic, almost surely. Furthermore, we prove the
unique forward and backward viscosity solutions, though in general only
Lipshitz, are smooth in a neighbourhood of the global minimizer. Our result
generalizes the result of E, Khanin, Mazel and Sinai (\cite{EKMS00}) to
dimension $d\ge 2$, and extends the result of Iturriaga and Khanin in
\cite{IK03}.
We translate Akin's notion of {\it good} (and related concepts) from measures
on Cantor sets to traces on dimension groups, and particularly for invariant
measures of minimal homeomorphisms (and their corresponding simple dimension
groups), this yields characterizations and examples, which translate back to
the original context. Good traces on a simple dimension group are characterized
by their kernel having dense image in their annihilating set of affine
functions on the trace space; this makes it possible to construct many examples
with seemingly paradoxical properties.
Slow-fast dynamical systems have two time scales and an explicit parameter
representing the ratio of these time scales. Locally invariant slow manifolds
along which motion occurs on the slow time scale are a prominent feature of
slow-fast systems. This paper introduces a rigorous numerical method to compute
enclosures of the slow manifold of a slow-fast system with one fast and two
slow variables. A triangulated first order approximation to the two dimensional
invariant manifold is computed "algebraically".
These are expanded lecture notes for the summer school on Berkovich spaces
that took place at the Institut de Math\'ematiques de Jussieu, Paris in 2010.
They serve to illustrate some techniques and results from the dynamics on
low-dimensional Berkovich spaces and to exhibit the structure of these spaces.
We give an example of a transcendental entire function with a simply
connected fast escaping Fatou component, but with no multiply connected Fatou
components. We also give a new criterion for points to be in the fast escaping
set.
Meminductors and memcapacitors do not allow a Lagrangian formulation in the
classical sense since these elements are nonconservative in nature and the
associated energies are not state functions. To circumvent this problem, a
different configuration space is considered that, instead of the usual loop
charges, consist of time-integrated loop charges. As a result, the
corresponding Euler-Lagrange equations provide a set of integrated Kirchhoff
voltage laws in terms of the element fluxes. Memristive losses can be included
via a second scalar function that has the dimension of action.
We study the existence of periodic solutions of the non--autonomous periodic
Lyness' recurrence u_{n+2}=(a_n+u_{n+1})/u_n, where {a_n} is a cycle with
positive values a,b and with positive initial conditions. It is known that for
a=b=1 all the sequences generated by this recurrence are 5-periodic. We prove
that for each pair (a,b) different from (1,1) there are infinitely many initial
conditions giving rise to periodic sequences, and that the family of
recurrences have almost all the even periods. If a is not equal to b, then any
odd period, except 1, appears.
Consider in R^2 the semi-planes N={y>0} and S={y<0}$ having as common
boundary the straight line D={y=0}$. In N and S are defined polynomial vector
fields X and Y, respectively, leading to a discontinuous piecewise polynomial
vector field Z=(X,Y). This work pursues the stability and the transition
analysis of solutions of Z between N and S, started by Filippov (1988) and
Kozlova (1984) and reformulated by Sotomayor-Teixeira (1995) in terms of the
regularization method.
The endocrine control of the reproductive function is often studied from the
analysis of luteinizing hormone (LH) pulsatile secretion by the pituitary
gland. Whereas measurements in the cavernous sinus cumulate anatomical and
technical difficulties, LH levels can be easily assessed from jugular blood.
However, plasma levels result from a convolution process due to clearance
effects when LH enters the general circulation. Simultaneous measurements
comparing LH levels in the cavernous sinus and jugular blood have revealed
clear differences in the pulse shape, the amplitude and the baseline.
In this paper, a new rigorous numerical method to compute fundamental matrix
solutions of non-autonomous linear differential equations with periodic
coefficients is introduced. Decomposing the fundamental matrix solutions
$\Phi(t)$ by their Floquet normal forms, that is as product of real periodic
and exponential matrices $\Phi(t)=Q(t)e^{Rt}$, one solves simultaneously for
$R$ and for the Fourier coefficients of $Q$ via a fixed point argument in a
suitable Banach space of rapidly decaying coefficients.
Motivated by non-equilibrium phenomena in nature, we study dynamical systems
whose time-evolution is determined by non-stationary compositions of chaotic
maps. The constituent maps are topologically transitive Anosov diffeomorphisms
on a 2-dimensional compact Riemannian manifold, which are allowed to change
with time - slowly, but in a rather arbitrary fashion. In particular, such
systems admit no invariant measure. By constructing a coupling, we prove that
any two sufficiently regular distributions of the initial state converge
exponentially with time.
We prove that the Hausdorff dimension of the set of three-period orbits in
classical billiards is at most one. Moreover, if the set of three-period orbits
has Hausdorff dimension one, then it has a tangent line at almost every point.
We study different conditions which turn out to be equivalent to
equicontinuity for a transitive compact Hausdorff flow with a general group
action. Among them are a notion of "regional" equicontinuity, also known as
"Furstenberg" condition, and the condition that every point of the phase space
is almost automorphic. Then we study relations on the phase space arising from
dynamical properties, among them the regionally proximal relation and two
relations introduced by Veech.
We compute the Cech cohomology with integer coefficients of one-dimensional
tiling spaces arising from not just one, but several different substitutions,
all acting on the same set of tiles. These calculations involve the
introduction of a universal version of the Anderson-Putnam complex. We show
that, under a certain condition on the substitutions, the projective limit of
this universal Anderson-Putnam complex is isomorphic to the tiling space, and
we introduce a simplified universal Anderson-Putnam complex that can be used to
compute Cech cohomology.
This paper defines and discusses the dimension notion of topological slow
entropy of any subset for Z^d actions. Also, the notion of measure-theoretic
slow entropy for Z^d actions is presented, which is modified from Brin and
Katok [2]. Relations between Bowen topological entropy [3,17] and topological
slow entropy are studied in this paper, and several examples of the topological
slow entropy in a symbolic system are given. Specifically, a variational
principle is proved.
We prove existence of absolutely continuous invariant probability measures
for skew-products with arbitrary base dynamics and asymptotic expansion along
the one-dimensional fibers. We also prove a similar result for skew-product
maps having higher-dimensional fibers with essentially arbitrary base dynamics
and non-uniform expansion along the fibers. In both cases either critical or
singular points on the dynamics along the fibers are admitted.
Let $S$ be a compact surface with constant negative curvature -1. From among
all closed geodesics on $\Upsilon$ of length $\leq T$, choose one at random and
let $N_{T}$ be the number of its self-intersections. We prove that for a
certain constant $\kappa =\kappa_{\Upsilon}>0$ the random variable
$(N_{T}-\kappa T^{2})/T$ has a limit distribution as $T \rightarrow \infty$. We
conjecture that for surfaces of \emph{variable} negative curvature the order of
magnitude of typical variations is $T^{3/2}$, rather than $T$.
A pentagon in the plane with fixed side-lengths has a two-dimensional shape
space. Considering the pentagon as a mechanical system with point masses at the
corners we answer the question of how much the pentagon can rotate with zero
angular momentum. We show that the shape space of the equilateral pentagon has
genus 4 and find a fundamental region by discrete symmetry reduction with
respect to symmetry group D_5.
In this paper, we prove that there exist at least $[\frac{n+1}{2}]+1$
geometrically distinct brake orbits on every $C^2$ compact convex symmetric
hypersurface $\Sg$ in $\R^{2n}$ for $n\ge 2$ satisfying the reversible
condition $N\Sg=\Sg$ with $N=\diag (-I_n,I_n)$. As a consequence, we show that
there exist at least $[\frac{n+1}{2}]+1$ geometrically distinct brake orbits in
every bounded convex symmetric domain in $\R^{n}$ with $n\ge 2$ which gives a
positive answer to the Seifert conjecture of 1948 in the symmetric case for
$n=3$.
If the stable, center, and unstable foliations of a partially hyperbolic
system are quasi-isometric, the system has Global Product Structure. This
result also applies to Anosov systems and to other invariant splittings.
If a partially hyperbolic system on a manifold with abelian fundamental group
has quasi-isometric stable and unstable foliations, the center foliation is
without holonomy. If, further, the system has Global Product Structure, then
all center leaves are homeomorphic.
We prove that the non-linear part of the Hamiltonian of the KdV equation on
the circle, written as a function of the actions, defines a continuous convex
function on the $\ell^2$ space and derive for it lower and upper bounds in
terms of some functions of the $\ell^2$-norm. The proof is based on a new
representation of the Hamiltonian in terms of the quasimomentum and its
analysis using the conformal mapping theory.
Systems biology of plants offers myriad opportunities and many challenges in
modeling. A number of technical challenges stem from paucity of computational
methods for discovery of the most fundamental properties of complex dynamical
systems. In systems engineering, eigen-mode analysis have proved to be a
powerful approach.
We explore the convergence/divergence of the normal form for a singularity of
a vector field on $\C^n$ with nilpotent linear part. We show that a
Gevrey-$\alpha$ vector field $X$ with a nilpotent linear part can be reduced to
a normal form of Gevrey-$1+\alpha$ type with the use of a Gevrey-$1+\alpha$
transformation. We also give a proof of the existence of an optimal order to
stop the normal form procedure. If one stops the normal form procedure at this
order, the remainder becomes exponentially small.
In this paper we investigate multifractal decompositions based on values of
Birkhoff averages of functions from a class of symbolically continuous
functions. This will be done for an expanding interval map with infinitely many
branches and is a generalisation of previous work for expanding maps with
finitely many branches. We show that there are substantial differences between
this case and the setting where the expanding map has only finitely many
branches.
We consider a one parameter family of dynamical systems W :[0, 1] -> [0, 1]
constructed from a pair of monotone increasing diffeomorphisms Wsub(i), such
that Wsub(i)(inverse): [0, 1] -> [0, 1], (i = 0, 1). We characterise the set of
symbolic itineraries of W using an attractor of an iterated closed relation,in
the terminology of McGehee, and prove that there is a member of the family for
which is symmetrical.
We investigate the invariant probability measures for Cherry flows, i.e.
flows on the two-torus which have a saddle, a source, and no other fixed
points, closed orbits or homoclinic orbits. In the case when the saddle is
dissipative or conservative we show that the only invariant probability
measures are the Dirac measures at the two fixed points, and the Dirac measure
at the saddle is the physical measure.
Let S be an ergodic measure-preserving automorphism on a non-atomic
probability space, and let T be the time-one map of a topologically weak mixing
suspension flow over an irreducible subshift of finite type under a Holder
ceiling function. We show that if the measure-theoretic entropy of the S is
strictly less than the topological entropy of T, then there exists an embedding
from the measure-preserving automorphism into the suspension flow.
We prove the existence of at least two geometrically different periodic
solution with winding number N for the forced relativistic pendulum. The
instability of a solution is also proved. The proof is topological and based on
the version of the Poincar\'e-Birkhoff theorem by Franks. Moreover, with some
restriction on the parameters, we prove the existence of twist dynamics.
For a class of dynamical systems, the cookie-cutter maps, we prove that the
Lyapunov spectrum coincides with the map given by the Newton-Raphson method
applied to the derivative of the pressure function.
We establish the existence of new rigidity and rationality phenomena in the
theory of nonabelian group actions on the circle, and introduce tools to
translate questions about the existence of actions with prescribed dynamics
into finite combinatorics. A special case of our theory gives a very short new
proof of Naimi's theorem (i.e. the conjecture of Jankins-Neumann) which was the
last step in the classification of taut foliations of Seifert fibered spaces.
The well-studied Hindmarsh-Rose model of neural action potential is revisited
from the point of view of global bifurcation analysis. This slow-fast system of
three paremeterised differential equations is arguably the simplest reduction
of Hodgkin-Huxley models capable of exhibiting all qualitatively important
distinct kinds of spiking and bursting behaviour. First, keeping the singular
perturbation parameter fixed, a comprehensive two-parameter bifurcation diagram
is computed by brute force.
We show that if $f \colon S^1 \times S^1 \to S^1 \times S^1$ is $C^2$, with
$f(x, t) = (f_t(x), t)$, and the rotation number of $f_t$ is equal to $t$ for
all $t \in S^1$, then $f$ is topologically conjugate to the linear Dehn twist
of the torus $(1&1 0&1)$. We prove a differentiability result where the
assumption that the rotation number of $f_t$ is $t$ is weakened to say that the
rotation number is strictly monotone in $t$.
First, for the family P_{n,c}(z) = z^n + c, we show that the geometric limit
of the Mandelbrot sets M_n(P) as n tends to infinity exists and is the closed
unit disk, and that the geometric limit of the Julia sets J(P_{n,c}) as n tends
to infinity is the unit circle, at least when the modulus of c is not one. Then
we establish similar results for some generalizations of this family; namely,
the maps F_{t,c} (z) = z^t+c for real t>= 2, and the rational maps R_{n,c,a}
(z) = z^n + c + a/z^n.
Following [6,12], we study coupled map networks over arbitrary finite graphs.
An estimate from below for a topological entropy of a perturbed coupled map
network via a topological entropy of an unperturbed network by making use of
the covering relations for coupled map networks is obtained. The result is
quite general, particularly no assumptions on hyperbolicity of a local dynamics
or linearity of coupling are made.
We consider toral extensions of hyperbolic dynamical systems. We prove that
its quantitative recurrence (also with respect to given observables) and
hitting time scale behavior depend on the arithmetical properties of the
extension.
An analog of the Baumslag-Solitar group BS(1,k) naturally acts on the sphere
by conformal transformations. The action is not locally rigid in higher
dimension, but exhibits a weak form of local rigidity. More precisely, any
perturbation preserves a smooth conformal structure.
Given a measure preserving transformation $T$ on a Lebesgue $\sigma$ algebra,
a complete $T$ invariant sub $\sigma$ algebra is said to split if there is
another complete $T$ invariant sub $\sigma$ algebra on which $T$ is Bernoulli
which is completely independent of the given sub $\sigma$ algebra and such that
the two sub $\sigma$ algebras together generate the entire $\sigma$ algebra. It
is easily shown that two splitting sub $\sigma$ algebras with nothing in common
imply $T$ to be K.
There are several different common definitions of a property in topological
dynamics called "topological transitivity," and it is part of the folklore of
dynamical systems that under reasonable hypotheses, they are equivalent.
Various equivalences are proved in different places, but the full story is
difficult to find. This note provides a complete description of the
relationships among the different properties.
We study the relationship between the multiplicity of a fixed point of a
function g, and the dependence on epsilon of the length of epsilon-neighborhood
of any orbit of g, tending to the fixed point. The relationship between these
two notions was discovered before by Elezovic, Zubrinic, Zupanovic in the
differentiable case, and related to the box dimension of the orbit. Here, we
generalize these results to non-differentiable cases. We study the space of
functions having a development in a Chebyshev scale and use multiplicity with
respect to this space of functions.
We investigate the use of iterated function system (IFS) models for data
analysis. An IFS is a collection of dynamical systems that switches between
deterministic regimes. An algorithm is developed to detect the regime switches
under the assumption of continuity. This method is tested on a simple IFS and
applied to an experimental computer performance data set. This methodology has
a wide range of potential uses: from change-point detection in time-series
data, to the field of digital communications.
We consider the 3-dimensional gravitational $n$-body problem, $n\ge 2$, in
spaces of constant Gaussian curvature $\kappa\ne 0$, i.e.\ on spheres ${\mathbb
S}_\kappa^3$, for $\kappa>0$, and on hyperbolic manifolds ${\mathbb
H}_\kappa^3$, for $\kappa<0$. Our goal is to define and study relative
equilibria, which are orbits whose mutual distances remain constant in time. We
also briefly discuss the issue of singularities in order to avoid impossible
configurations.
We consider a ground state (soliton) of a Hamiltonian PDE. We prove that if
the soliton is orbitally stable then it is also asymptotically stable. The main
assumptions are transversal nondegeneracy of the manifold of ground states,
linear dispersion (in the form of Strichartz estimates) and nonlinear Fermi
Golden Rule. We allow for an arbitrary number of eigenvalues of the
linearization of the equations at the soliton. The theory is modeled on the
application to the translational invariant NLS in space dimension 3.
Let $T$ be an expanding Markov map with countable number of inverse branches
and a repeller $\Lambda$ contained within $[0,1]$. Given a well behaved
non-negative potential $\phi$ we consider the set of points $x$ in $\Lambda$
for which $T^n(x)$ hits a shrinking ball of radius $e^{-S_n(\phi)(x)}$ around
$y$, where $S_n(\phi)$ denotes the n-th level Birkhoff sum, for infinitely many
iterates $n$. Let $s(\phi)$ denote the infimal value of $s$ for which the
pressure function $P(-s (\psi+\phi))$ is negative.
The arithmetics of the frequency and of the rotation number play a fun-
damental role in the study of reducibility of analytic quasi-periodic cocycles
which are sufficiently close to a constant. In this paper we show how to
generalize previous works by L.H.Eliasson which deal with the diophantine case
so as to implement a Brjuno-Russmann arithmetical condition both on the
frequency and on the rotation number. Our approach adapts the Poschel-Russmann
KAM method, which was previously used in the problem of linearization of vector
fields, to the problem of reducing cocycles.
We study the smooth untwisted cohomology with real coefficients for the
action on [SL(2, R) \times \cdot \cdot \cdot \times SL(2, R)]/{\Gamma} by the
subgroup of diagonal matrices, where {\Gamma} is an irreducible lattice. In the
top degree, we show that the obstructions to solving the coboundary equation
come from distributions that are invariant under the action. In intermediate
degrees, we show that the cohomology trivializes. It has been conjectured by A.
and S.
We investigate the existence of Arnold diffusion-type orbits for systems
obtained by iterating in any order the flows of a family of Tonelli
Hamiltonians. Our approach is close to the one of Bernard in [3]. When
specialized to families of twist maps, our results are similar to those of
Moeckel [20] and Le Calvez [15], and generalize the connecting results of
Mather for a single twist map in [18].
Let H be an infinite dimensional separable Hilbert space, X a compact
Hausdorff space and f : X \rightarrow X a homeomorphism which preserves a Borel
ergodic measure which is positive on non-empty open sets. We prove that the
non-uniformly Anosov cocycles are C0-dense in the family of partially
hyperbolic f,H-skew products with non-trivial unstable bundles.
In this paper we consider the Stochastic isothermal, nonlinear,
incompressible bipolar viscous fluids driven by a genuine cylindrical
fractional Bronwnian motion with Hurst parameter $H \in (1/4,1/2)$ under
Dirichlet boundary condition on 2D square domain. First we prove the existence
and regularity of the stochastic convolution corresponding to the stochastic
non-Newtonian fluids. Then we obtain the existence and uniqueness results for
the stochastic non-Newtonian fluids. Under certain condition, the random
dynamical system generated by non-Newtonian fluids has a random attractor.
We give an algorithm to determine if the dynamical system generated by a
positive automorphism of the free group can also be generated by a self-induced
interval exchange transformation. The algorithm effectively yields the interval
exchange transformation in case of success.
The periodic wind-tree model is a family T(a,b) of billiards in the plane in
which identical rectangular scatterers of size axb are disposed at each integer
point. It was proven by P. Hubert, S. Leli\`evre and S. Troubetzkoy
(arXiv:0912.2891v1) that for a residual set of parameters (a,b) the billiard
flow in T(a,b) is recurrent in almost every direction. We prove that for many
parameters (a,b) there exists a set S of angles of positive Hausdorff dimension
such that every billiard trajectory in T(a,b) with initial angle in S is
self-avoiding.
In the paper the notion of {\em Rauzy scheme} is introduced. From Rauzy graph
Rauzy Scheme can be obtaining by uniting sequence of vertices of ingoing and
outgoing degree 1 by arches. This notion is a tool to describe Rauzy graph
behavior. For morphic superword we prove periodicity of Rauzy schemes. This is
generalization of fact that quadratic irrationals have periodic chain
fractions.
Let $\bS=\{S_1,...,S_K\}$ be a finite set of complex $d\times d$ matrices and
$\varSigma_{K}^+$ the compact space of all one-sided infinite sequences
$i_{\bcdot}\colon\mathbb{N}\rightarrow\{1,...,K\}$. An ergodic probability
$\mu_*$ of the Markov shift
$\theta\colon\varSigma_{K}^+\rightarrow\varSigma_{K}^+;\ i_{\bcdot}\mapsto
i_{\bcdot+1}$, is called "extremal" for $\bS$, if
${\rho}(\bS)=\lim_{n\to\infty}\sqrt[n]{\norm{S_{i_1}...S_{i_n}}}$ holds for
$\mu_*$-a.e. $i_{\bcdot}\in\varSigma_{K}^+$, where $\rho(\bS)$ denotes the
generalized/joint spectral radius of $\bS$.
The Hasegawa-Wakatani models are used in the study of confinement of hot
plasmas with externally imposed magnetic fields. The nonlinear terms in the
Hasegawa-Wakatani models complicate the analysis of the system as they
propagate local changes across the entire system. Centre manifold analysis
allows us to project down onto much smaller systems that are more easily
analysed. Qualitative information about the behaviour of the reduced system,
such as whether it is stable or unstable, can be used to predict the behaviour
of the original full system.
We prove that the Lyapunov exponent of quasi-periodic cocyles with
singularities behaves continuously over the analytic category. We thereby
generalize earlier results, where singularities were either excluded completely
or constrained by additional hypotheses. Applications are one-parameter
families of analytic Jacobi operators, such as extended Harper's model
describing crystals subject to external magnetic fields.
In this paper we continue to explore infinitely renormalizable H\'enon maps
with small Jacobian. It was shown in [CLM] that contrary to the one-dimensional
intuition, the Cantor attractor of such a map is non-rigid and the conjugacy
with the one-dimensional Cantor attractor is at most 1/2-H\"older. Another
formulation of this phenomenon is that the scaling structure of the H\'enon
Cantor attractor differs from its one-dimensional counterpart. However, in this
paper we prove that the weight assigned by the canonical invariant measure to
these bad spots tends to zero on microscopic scales.
We study quantitatively a dynamically weighted asymptotic Feketeness of
pullbacks of points under a rational function of degree $d>1$ on the projective
line over a possibly non-archimedean algebraically closed field which is more
general than that of complex numbers.
It is an open problem whether repelling periodic points are dense in the
classical Julia set of a non-archimedean rational function of degree more than
one. We give a partial positive answer to this question based on a study of a
logarithmic equidistribution on the Berkovich projective line over
non-archimedean fields.
We consider $(M,d)$ a connected and compact manifold and we denote by $X$ the
Bernoulli space $M^{\mathbb{N}}$. The shift acting on $X$ is denoted by
$\sigma$.
We consider $(M,d)$ a connected and compact manifold and we denote by
$\mathcal{B}_i$ the Bernoulli space $M^{\Z}$ of sequences represented by
$$x=(... x_{-3},x_{-2},x_{-1},x_0,x_1,x_2,x_3,...),$$ where $x_i$ belongs to
the space (alphabet) $M$. The case where $M=\mathbb{S}^1$, the unit circle, is
of particular interest here. The analogous problem in the one-dimensional
lattice $\mathbb{N}$ is also considered.
Deviation of ergodic sums is studied for substitution dynamical systems with
a matrix that admits eigenvalues of modulus 1. We consider the corresponding
eigenfunctions, and in Theorem 1.1 we prove that the limit inferior of the
ergodic sums is bounded for every point in the phase space. In Theorem 1.2, we
prove existence of limit distributions along certain exponential subsequences
of times for substitutions of constant length. Under additional assumptions, we
prove that ergodic integrals satisfy the Central Limit Theorem (Theorem 1.3,
Theorem 1.9).
Let $N$ be a connected and simply connected nilpotent Lie group, $\Lambda$ a
lattice in $N$, and $X=N/\Lambda$ the corresponding nilmanifold. Let $Aff(X)$
be the group of affine transformations of $X$. We characterize the countable
subgroups $H$ of $Aff(X)$ for which the action of $H$ on $X$ has a spectral
gap, that is, such that the associated unitary representation $U$ of $H$ on the
space of functions from $L^2(X)$ with zero mean does not weakly contain the
trivial representation. Denote by $T$ the maximal torus factor associated to
$X$.
In this paper we study the differential equations in $D\subseteq \R^{2N}$
having a complete set of independent first integrals. In particular we study
the case when the first integrals are
\[f_\nu=(Ax_\nu+By_\nu)^2+\displaystyle\sum_{j=1}^{N}\dfrac{(x_\nu
y_j-x_jy_\nu)^2}{a_\nu-a_j},\]for $\nu=1,...,N,$ where $A,B$ and
$a_1<a_2...<a_N$ are constants.
We study the continuous and discrete versions of the Markus-Yamabe Conjecture
for polynomial vector fields in $ \mathbb{R}^3 $ of the form $ X = \lambda \, I
+ H $, where $ \lambda $ is a real number, I the identity map, and H a map with
nilpotent Jacobian matrix $ JH $. We distinguish the cases when the rows of $ J
H $ are linearly dependent over $ \mathbb{R} $ and when they are linearly
independent over $ \mathbb{R} $.
For a normal subgroup $N$ of the free group $\F_{d}$ with at least two
generators we introduce the radial limit set $L_{r}(N,\Phi)$ of $N$ with
respect to a graph directed Markov system $\Phi$ associated to $\F_{d}$. These
sets are shown to provide fractal models of radial limit sets of normal
subgroups of Kleinian groups of Schottky type.
This article deals with higher order Caputo fractional variational problems
with the presence of delay in the state variables and their integer higher
order derivatives.
In late sixties, Mihail Budyko and William Sellers, a Russian and an American
climate scientists, independently introduced the concept of Energy Balance
Model with ice albedo feedback. Since then many have followed in their
footsteps to establish various versions of this model. In this paper, a novel
equation is introduced to account for the dynamics of the ice line, and is
coupled to Budyko's model. We found that the coupled temperature profile-ice
line system has a one dimensional center stable manifold.
Let $\phi:\R^2\to\R^2$ be an orientation--preserving $C^1$ involution such
that $\phi(0)=0$ and let ${\rm Spc}\,(\phi)=\{{\rm Eigenvalues\,\,of}\,\,
D\phi(p)\mid p\in\R^2\}$.
The no invariant line fields conjecture is one of the main outstanding
problems in traditional complex dynamics. In this paper we consider
non-autonomous iteration where one works with compositions of sequences of
polynomials with suitable bounds on the degrees and coefficients. We show that
the natural generalization of the no invariant line fields conjecture to this
setting is not true.
We develop a notion of entropy, using hyperbolic time, for laminations by
hyperbolic Riemann surfaces. When the lamination is compact and transversally
smooth, we show that the entropy is finite and the Poincare metric on leaves is
transversally Holder continuous. A notion of metric entropy is also introduced
for harmonic measures.
Let $f:M\rightarrow M$ be a biholomorphisms on two--dimensional a complex
manifold, and let $X\subseteq M$ be a compact $f$--invariant set such that
$f|X$ is asymptotically dissipative and without sinks periodic points. We
introduce a solely dynamical obstruction to dominated splitting, namely
critical point. Critical point is a dynamical object and capture many of the
dynamical properties of their one--dimensional counterpart.
We prove exponential decay of correlations for a realistic model of piecewise
hyperbolic flows preserving a contact form, in dimension three. This is the
first time exponential decay of correlations is proved for continuous-time
dynamics with singularities on a manifold. Our proof combines the second
author's version of Dolgopyat's estimates for contact flows and the first
author's work with Gou\"ezel on piecewise hyperbolic discrete-time dynamics
We study an intermittent map which has exactly two ergodic invariant
densities. The densities are supported on two subintervals with a common
boundary point. Due to certain perturbations, leakage of mass through subsets,
called holes, of the initially invariant subintervals occurs and forces the
subsystems to merge into one system that has exactly one invariant density. We
prove that the invariant density of the perturbed system converges in the
$L^1$-norm to a particular convex combination of the invariant densities of the
intermittent map.
We combine the KSS nest constructed by Kozlovski, Shen and van Strien, and
the analytic method proposed by Avila, Kahn, Lyubich and Shen to prove the
combinatorial rigidity of multicritical maps.
The main results of this paper are limit theorems for horocycle flows on
compact surfaces of constant negative curvature. One of the main objects of the
paper is a special family of horocycle-invariant finitely-additive Hoelder
measures on rectifiable arcs. An asymptotic formula for ergodic integrals for
horocycle flows is obtained in terms of the finitely-additive measures, and
limit theorems follow as a corollary of the asymptotic formula. The objects and
results of this paper are similar to those in [15], [16], [4] and [5] for
translation flows on flat surfaces.
Thurston introduced $\si_d$-invariant laminations (where $\si_d(z)$ coincides
with $z^d:\ucirc\to \ucirc$, $d\ge 2$). He defined \emph{wandering $k$-gons} as
sets $\T\subset \ucirc$ such that $\si_d^n(\T)$ consists of $k\ge 3$ distinct
points for all $n\ge 0$ and the convex hulls of all the sets $\si_d^n(\T)$ in
the plane are pairwise disjoint. Thurston proved that $\si_2$ has no wandering
$k$-gons and posed the problem of their existence for $\si_d$,\, $d\ge 3$. Call
a lamination with wandering $k$-gons a \emph{WT-lamination}. Denote the set of
cubic critical portraits by $\A_3$.
E. G. Effros and C-L. Shen constructed the dimension group of free rank 2
from the simple continued fraction algorithm. The notion of negative slope
algorithm was introduced by S. Ferenczi, C. Holton, and L. Zamboni in their
study of 3-interval exchange transformations. The negative slope algorithm is
the 2-dimensional continued fraction algorithm. Then the author succeed to
construct the dimensional group of free rank 3 by the similar method which E.
G. Effros and C-L. Shen used.
We consider a fixed point free homeomorphsim $h$ of the closed band
$B=\R\times[0,1]$ which leaves each leaf of a Reeb foliation on $B$ invariant.
Assuming $h$ is the time one of various topological flows, we compare the
restriction of the flows on the boundary.
We show that there are no normally contracting actions of unimodular Lie
groups on closed manifolds.
A well-known theorem of B\"ottcher asserts that an analytic germ
f:(C,0)->(C,0) which has a superattracting fixed point at 0, more precisely of
the form f(z) = az^k + o(z^k) for some a in C^*, is analytically conjugate to
z->az^k by an analytic germ phi:(C,0)->(C,0) which is tangent to the identity
at 0. In this article, we generalize this result to analytic maps of several
complex variables.
We consider the standard family of area-preserving twist maps of the annulus
and the corresponding KAM curves. Inspired by Kolmogorov, Arnold and Herman, we
show that, instead of viewing these invariant curves as separate objects, each
of which having its own Diophantine frequency, one can encode them in a single
function of the frequency which is monogenic in the sense of Borel; this
implies a remarkable property of quasianalyticity.
We show that on any compact Riemann surface with variable negative curvature
there exists a measure which is invariant and ergodic under the geodesic flow
and whose projection to the base manifold is 2-dimensional and singular with
respect to the 2-dimensional Lebesgue measure.
We study the effects of noise in two models of spiny dendrites. Through the
introduction of different types of noise to both the Spike-diffuse-spike (SDS)
and Baer-Rinzel (BR) models we investigate the change in behaviour of the
travelling wave solutions present in the deterministic systems, as noise
intensity increases. We show that the speed of wave propagation in the SDS and
BR models respectively decreases and increases as the noise intensity in the
spine heads increases.
We study the entropy production of Gibbs (equilibrium) measures for chaotic
dynamical systems with folding of the phase space. The dynamical chaotic model
is that generated by a hyperbolic non-invertible map $f$ on a general basic
(possibly fractal) set $\Lambda$; the non-invertibility creates new phenomena
and techniques than in the diffeomorphism case. We prove a formula for the
\textit{entropy production}, involving an asymptotic logarithmic degree, with
respect to the equilibrium measure $\mu_\phi$ associated to the potential
$\phi$.
Time-delayed control in a balancing problem may be a nonsmooth function for a
variety of reasons. In this paper we study a simple model of the control of an
inverted pendulum by either a connected movable cart or an applied torque for
which the control is turned off when the pendulum is located within certain
regions of phase space. Without applying a small angle approximation for
deviations about the vertical position, we see structurally stable periodic
orbits which may be attracting or repelling.
We conduct the multifractal analysis of the level sets of the asymptotic
behavior of almost additive continuous potentials $(\phi_n)_{n=1}^\infty$ on a
topologically mixing subshift of finite type $X$ endowed itself with a metric
associated with such a potential. We work without additional regularity
assumption other than continuity. Our approach differs from those used
previously to deal with this question under stronger assumptions on the
potentials. As a consequence, it provides a new description of the structure of
the spectrum in terms of {\it weak} concavity.
Helmut Hofer introduced in '93 a novel technique based on holomorphic curves
to prove the Weinstein conjecture. Among the cases where these methods apply
are all contact 3--manifolds $(M,\xi)$ with $\pi_2(M) \ne 0$. We modify Hofer's
argument to prove the Weinstein conjecture for some examples of higher
dimensional contact manifolds. In particular, we are able to show that the
connected sum with a real projective space always has a closed contractible
Reeb orbit.
The Truchet tiles are a pair of square tiles decorated by arcs. When the
tiles are pieced together to form a Truchet tiling, these arcs join to form a
family of simple curves in the plane. We consider a family of probability
measures on the space of Truchet tilings. Renormalization methods are used to
investigate the probability that a curve in a Truchet tiling is closed.
We generalize recent developments on normal forms and the spectral sequences
method to make a foundation for parametric normal forms. We further introduce a
new style and costyle to obtain unique parametric normal forms. The results are
applied to systems of generalized Hopf singularity with multiple parameters. A
different (new) version of this paper has been submitted for a possible
publication in a refereed journal.
This is a first attempt to organize a list of some open problems on three
closely related topics: (i) The limiting behavior of single and multiple
ergodic averages, (ii) Single and multiple recurrence properties of measure
preserving systems, and (iii) Universal patterns, meaning, patterns that can be
found in every set of integers with positive upper density, and related
problems on higher dimensions.
In this paper, we consider the family of rational maps $$\F(z) = z^n +
\frac{\la}{z^d},$$ where $n \geq 2$, $d\geq 1$, and$\la \in \bbC$. We consider
the case where $\la$ lies in the main cardioid of one of the $n-1$ principal
Mandelbrot sets in these families. We show that the Julia sets of these maps
are always homeomorphic. However, two such maps $\F$ and $F_\mu$ are conjugate
on these Julia sets only if the parameters at the centers of the given
cardioids satisfy $\mu = \nu^{j(d+1)}\la$ or $\mu = \nu^{j(d+1)}\bar{\la}$
where $j \in \bbZ$ and $\nu$ is an $n-1^{\rm st}$ root of unity.
Every partially hyperbolic diffeomorphism on a 3-dimensional nilmanifold is
leaf conjugate to a nilmanifold automorphism.
Among the topological conjugacy classes of the continuous flows $\{\phi^t\}$
whose orbit foliations are the planar Reeb foliation, there is one class called
the standard Reeb flow. We show that $\{\phi^t\}$ is conjugate to the standard
Reeb flow if and only if $\{\phi^t\}$ is conjugate to $\{\phi^{\lambda t}\}$
for any $\lambda>0$.
We consider a broad class of partially hyperbolic algebraic actions of
higher-rank abelian groups. Those actions appear as restrictions of full Cartan
actions on homogeneous spaces of Lie groups and their factors by compact
subgroups of the centralizer. The common property of those actions is that
hyperbolic directions generate the whole tangent space. For these actions we
prove differentiable rigidity for perturbations of sufficiently high
regularity. The method of proof is KAM type iteration scheme.
Approaching a dangerous bifurcation, from which a dynamical system such as
the Earth's climate will jump (tip) to a different state, the current stable
state lies within a shrinking basin of attraction. Persistence of the state
becomes increasingly precarious in the presence of noisy disturbances. We
consider an underlying potential, as defined theoretically for a saddle-node
fold and (via averaging) for a Hopf bifurcation. Close to a stable state, this
potential has a parabolic form; but approaching a jump it becomes increasingly
dominated by softening nonlinearities.
Studying the dynamics of attracting rigid germs $f:(\mathbb{C}^d, 0)
\rightarrow (\mathbb{C}^d, 0)$ in dimension $d \geq 3$, a new phenomenon arise:
principal resonances. The resonances of the classic Poincar\'e-Dulac theory are
given by (multiplicative) relations between the eigenvalues of $df_0$;
principal resonances arise as (multiplicative) relations between the non-null
eigenvalues of $df_0$, and the "leading term" for the superattracting part of
$f$.
This paper is concerned with the dynamics of an infinite-dimensional gradient
system under small almost periodic perturbations. Under the assumption that the
original autonomous system has a global attractor given as the union of
unstable manifolds of a finite number of hyperbolic equilibrium solutions, we
prove that the perturbed non-autonomous system has exactly the same number of
almost periodic solutions. As a consequence, the pullback attractor of the
perturbed system is given by the union of unstable manifolds of these finitely
many almost periodic solutions.
A coupled cell network is a model for many situations such as food webs in
ecosystems, cellular metabolism, economical networks... It consists in a
directed graph $G$, each node (or cell) representing an agent of the network
and each directed arrow representing which agent acts on which one. It yields a
system of differential equations $\dot x(t)=f(x(t))$, where the component $i$
of $f$ depends only on the cells $x_j(t)$ for which the arrow $j\rightarrow i$
exists in $G$.
We prove positive characteristic versions of the logarithm laws of Sullivan
and Kleinbock-Margulis and obtain related results in Metric Diophantine
Approximation.
We compute the Poisson boundary of locally discrete groups of diffeomorphisms
of the circle.
We consider volume-preserving flows $(\Phi^f_t)_{t\in\mathbb{R}}$ on $S\times
\mathbb{R}$, where $S$ is a closed connected surface of genus $g\geq 2$ and
$(\Phi^f_t)_{t\in\mathbb{R}}$ has the form $\Phi^f_t(x,y)=(\phi_tx,y+\int_0^t
f(\phi_sx)ds)$, where $(\phi_t)_{t\in\mathbb{R}}$ is a locally Hamiltonian flow
of hyperbolic periodic type on $S$ and $f$ is a smooth real valued function on
$S$.
We consider subsets of the (symbolic) sequence space that are invariant under
the action of the semigroup of multiplicative integers. A representative
example is the collection of all 0-1 sequences $(x_k)$ such that $x_k x_{2k}=0$
for all $k$. We compute the Hausdorff and Minkowski dimensions of these sets
and show that they are typically different. The proof proceeds via a
variational principle for multiplicative subshifts.
In this long paper we give a fairly complete analysis of outer billiards on
the Penrose kite. Our analysis reveals that this 2-dimensional non-compact
system has a 3-dimensional compactification, a certain polyhedron exchange map,
and that this compactification has a renormalization scheme. These two features
allow us to make some sharp statements concerning the distribution, large-scale
geometry, fine-scale geometry, and hidden algebraic symmetries of the orbits.
For instance, one of our results is that the union of the unbounded orbits has
Hausdorff dimension 1.
We give a topological model of the critical locus for complex H\'{e}non maps
that are perturbations of the quadratic polynomial with disconnected Julia set.
Many interesting physical systems have mathematical descriptions as
finite-dimensional or infinite-dimensional Hamiltonian systems. Poincare who
started the modern theory of dynamical systems and symplectic geometry
developed a particular viewpoint combining geometric and dynamical systems
ideas in the study of Hamiltonian systems. After Poincare the field of
dynamical systems and the field of symplectic geometry developed separately.
Both fields have rich theories and the time seems ripe to develop the common
core with highly integrated ideas from both fields.
We show that every uniquely ergodic minimal Cantor system is topological
orbit equivalent to the natural extension of a numeration scale associated to a
logistic map.
In this paper, we develop numerical algorithms that use small requirements of
storage and operations for the computation of hyperbolic cocycles over a
rotation. We present fast algorithms for the iteration of the quasi-periodic
cocycles and the computation of the invariant bundles, which is a preliminary
step for the computation of invariant whiskered tori.
We propose a simple mathematical model by applying Michaelis-Menton equations
of enzyme kinetics to study the mutualistic interaction between the leaf cutter
ant and its fungus garden at the early stage of colony expansion. We derive the
sufficient conditions on the extinction and coexistence of these two species.
In addition, we give a region of initial condition that leads to the extinction
of two species when the model has an interior attractor.
In this article, we study the global dynamics of a discrete two dimensional
competition model. We give sufficient conditions on the persistence of one
species and the existence of local asymptotically stable interior period-2
orbit for this system. Moreover, we show that for a certain parameter range,
there exists a compact interior attractor that attracts all interior points
except a Lebesgue measure zero set. This result gives a weaker form of
coexistence which is referred to as relative permanence.