Questions tagged [ds.dynamical-systems]
Dynamics of flows and maps (continuous and discrete time), including infinite-dimensional dynamics, Hamiltonian dynamics, ergodic theory.
854 questions with no upvoted or accepted answers
8
votes
0
answers
246
views
Billiards with incompatible regions
An existing question asks whether "almost every" two-dimensional billiard possesses at least one orbit that is dense in its interior. My question is about the following set of strong counter-examples:...
- 131
8
votes
0
answers
249
views
Monotone invariants of braid forcing
Let $\phi$ be a diffeomorphism of the unit disk $D^2$, fixed on the boundary, and suppose that $Q$ is a finite subset of the interior permuted by $\phi$. The isotopy class of $\phi$ relative to $Q$ ...
- 2,562
7
votes
0
answers
165
views
Lonely globe trotters
In analogy with the lonely runners conjecture,
imagine "globe trotters" each traveling on a longitudinal great circle at different
(constant, positive) speeds. Each "trotter" ...
- 151k
7
votes
0
answers
253
views
Direct proof that $g_t=\text{diag}(e^{t/m}I_m,e^{-t/n}I_n)$'s action on $\operatorname{SL}(d,\mathbb R)/{\operatorname{SL}(d,\mathbb Z)}$ is ergodic
I wonder if there are any direct proof that $g_t=\operatorname{diag}(e^{t/m}I_m,e^{-t/n}I_n)$'s action on $\operatorname{SL}(d,\mathbb R)/{\operatorname{SL}(d,\mathbb Z)}$ is ergodic (or even stronger,...
- 1,565
7
votes
0
answers
369
views
On the solvability of a nonlinear differential system
A nonlinear formulation of differential Galois theory was discussed here and here for three dimensional nonlinear systems (proof is on pages 6 – 10). For a two dimensional system, the following system ...
- 79
7
votes
0
answers
429
views
Dynamics of a curious bijection of $\mathbb N$
The two sequences A48680 and A48679 of the OEIS define two mutually inverse bijections on the set of all strictly positive natural numbers given (for the comfort of the reader) as follows:
Given an ...
- 17.9k
7
votes
0
answers
157
views
Non-compact dynamical systems
In topological dynamics, most of the time, we consider the continuous action of a (semi)group $G$ on a compact Hausdorff space $X$. In this context, we can envelop the group in a compact left ...
- 1,338
7
votes
0
answers
299
views
Possible Birkhoff spectra for irrational rotations
Let $\mathbb{T}=\mathbb{R}/\mathbb{Z}$ be the unit circle (think of it as of the interval $[0,1)$ with endpoints identified). Assume that $\alpha$ is irrational and consider the rotation by $\alpha$, ...
- 1,658
7
votes
0
answers
282
views
A cohomology associated to a vector field on a Riemannian manifold
Edit: Accoring to the comment of Asura Path I revise the question.
Let $X$ be a vector field on a Riemannian manifold $(M,g)$. So we have a $1$-form $\beta$ with $\beta(Y)=\langle Y,X\...
- 356
7
votes
0
answers
1k
views
Absolute oscillator in Langton's Ant
We have a simple (or single) block of Langton's Ants colony which includes two ants looking in the same direction. Their positions can be interpreted as knight's walk. The distances between each next ...
- 303
7
votes
0
answers
452
views
Geometric bang-bang theorem for nonlinear optimal control
The classical bang-bang theorem is usually stated for linear systems (e.g. Control Theory from the Geometric Viewpoint by Agrachev-Sachkov, p. 209). Sussman proved a nice generalization for systems ...
- 1,731
7
votes
0
answers
286
views
Hyperbolic group with boundary $S^1$ implies virtually Fuchsian via bounded cohomology?
Question: Is there an approach to $\partial G \cong S^1$ implies virtually Fuchsian using bounded cohomology of $\mathrm{Homeo^+} (S^1)$? If not is there a reason to believe it wouldn't work, or maybe ...
user35370
7
votes
0
answers
156
views
Partition the rationals with respect to a multivariate polynomial which sends classes to classes
Let $R$ be a commutative ring and let $f\in R[x_1,x_2,\cdots,x_{n-1}],n\geq 2$ be a polynomial.
Definition: We say $f$ is $n$-severable over $R$ if there exists a partition (of set) $$R=\coprod_{i=...
- 171
7
votes
0
answers
521
views
Limit cycles as closed geodesics(2)
Hilbert 16th problem asks for a uniform upper bound $H(n)$ for the number of limit cycles of a polynomial vector field of degree $n$ on the plane. Here is an updated proof of the ...
- 356
7
votes
0
answers
307
views
Smooth dependence on parameters of invariant manifolds
This may be considered a followup question to smooth dependence of stable manifold on parameters. In particular, I would like to know in more detail how smooth parameter dependence of a (generalized) ...
- 2,481
7
votes
0
answers
221
views
integrality of a Riccati-type equation
The following is a problem we were unable to prove and left stated in the paper
"Arithmetical properties of a sequence arising from an arctangent sum", J. Numb. Theory 128 (2008) 1807–1846.
Define ...
- 43.2k
7
votes
0
answers
145
views
Is there any example of a endomorphism of a Lie group that has recurrent points with non-compact orbit closure?
Is there any example of a continuous endomorphism of a Lie group that has recurrent points with non-compact orbit closure?
- 139
7
votes
0
answers
305
views
Generator of a $\bigoplus_{n=0}^\infty \mathbb{Z}/2\mathbb{Z}$-action
Let $T$ be a measure-preserving action of a group $G$ on a Lebesgue space $X$. That means that $T$ associates an automorphism (i.e. an invertible measure-preserving transformation) $T^g$ of $X$ to ...
- 2,560
7
votes
0
answers
364
views
Reference - Asymptotic geodesics on compact surfaces without conjugate points
I would like to ask about possible references on the following problem: consider a compact surface and a metric without conjugate points. Consider it's universal covering endowed whith the lifting of ...
- 345
7
votes
0
answers
299
views
Generalized Skorokhod spaces
Skorokhod spaces of càdlàg functions are an extremely useful setting to describe stochastic processes. I'd like to understand the Skorokhod topology from a pure topological point of view, without ...
- 8,512
7
votes
0
answers
452
views
The Arnol'd family of circle maps - origins and density of hyperbolicity
$\newcommand{\R}{\mathbb{R}}\newcommand{\Z}{\mathbb{Z}}$
The Arnol'd family or standard family of circle maps is defined by
$$F_{\mu_1,\mu_2}:\R/\Z\to\R/\Z;\quad t\mapsto t + \mu_1 + \mu_2\sin(2\pi t);...
- 6,548
7
votes
0
answers
177
views
A model of self-organizing behavior
I'd just like to know if the following model has received any attention:
A state at discrete time $t$ consists of a function $S_t:{\Bbb Z}^2\rightarrow S^1$.
So view each cell $c$ (element of ${\Bbb ...
- 17.6k
7
votes
0
answers
170
views
Unbounded energy growth in a Hamiltonian system
Does there exist an orbit with unbounded velocity in the system
$\ddot x = (-1)^{[t]+[x]}$, where $[*]$ denotes the integer part of *?
- 71
6
votes
0
answers
94
views
Automorphism groups of subshifts and factor maps
Let $\pi : X \to Y$ be a factor map between subshifts over finite alphabets.
Let $\operatorname{Aut}(X)$ and $\operatorname{Aut}(Y)$ stand for automorphism groups of these shifts.
We say that $\varphi ...
- 1,658
6
votes
0
answers
355
views
Arithmetic Teichmüller curves, first eigenvalue of the Laplacian, McMullen's expander conjecture
$\DeclareMathOperator\SL{SL}$By a result due to Ellenberg and McReynolds, any finite index subgroup $\Gamma$ of $\Gamma(2) \subset \SL\left(2,\mathbb{Z}\right)$ is the Veech group of an arithmetic ...
- 31
6
votes
0
answers
348
views
Examples of expansive homeomorphisms with the specification property that are neither symbolic nor factors of mixing SFT nor product of thereof
I am looking for nontrivial examples of expansive homeomorphisms with the specification property on compact metric spaces. Here, by a ``trivial'' example I understand a subshift with the specification ...
- 1,658
6
votes
0
answers
498
views
“Cohomological equation” in dynamical systems
Let $$\dot{x}=Ax+v_r(x)+v_{r+1}(x)+ \dots$$ with $x \in \mathbb{C}^n$ and $v_r: \mathbb{C}^n \to \mathbb{C}^n$ a homogenous, polynomial function of order $r.$
Then, being able to find a suitable $h$ ...
- 1,514
6
votes
0
answers
172
views
Construction of minimal zero entropy measure-theoretically strong mixing subshift?
Does anyone know of a construction of a subshift (over $\mathbb{Z}$) which is
(1) minimal
(2) zero (topological) entropy
(3) measure-theoretically strong mixing (for some measure)?
I am in particular ...
- 2,621
6
votes
0
answers
126
views
Dynamical phenomena in $\mathbb{R}^n$ first arising for n > 3?
For differentiable dynamical systems defined on, say, an open ball in $\mathbb{R}^n$, when $n=2$ Poincaré-Bendixson tells us a lot about what can happen. In particular, P-B precludes chaos and strange ...
- 3,230
6
votes
0
answers
222
views
2D quadrant sandpile: emergent highway structure
Consider the top-right quadrant of the plane divided into unit cells, each cell containing some number of chips. A cell containing at least two chips can fire two chips, one to the cell above it and ...
- 5,590
6
votes
0
answers
219
views
Foliations and locally free action of $\mathbb{R}^{n-1}$
Let $M$ be a $n$-dimensional closed manifold endowed with a foliation ${\cal F}$ suppose that the leaves of ${\cal F}$ are diffeomorphic to $\mathbb{R}^{n-1}$ are the leaves of ${\cal F}$ defined by a ...
- 3,652
6
votes
0
answers
136
views
Difficulty of homeomorphism of effective Cantor dynamics
Let $X = \{0,1\}^{\mathbb{N}}$ with the product topology. Given a Turing machine $M$ and $x \in X$, define $M(x) \in \{0,1\}^* \cup X$ as the sequence of bits output by $M$ when given an oracle for $x$...
- 6,652
6
votes
0
answers
267
views
Elliptic foliations of the plane
A $1$ dimensional foliation of the plane $\mathbb{R}^2$is called elliptic if it admits a non vanishing smooth tangent vector field $X$ with the following properties:
The differential operator ...
- 356
6
votes
0
answers
124
views
Countable-to-one factors of measure preserving systems do not change entropy
It is known that if $\psi$ is a factor map between probability measure preserving systems $(X,\mathscr{X},\mu,T)$ and $(Y,\mathscr{Y},\nu,S)$ is countable-to-one almost everywhere, then $h(\mu,T)=h(\...
- 1,658
6
votes
0
answers
163
views
Quantitive and computational improvement of the Oseledets multiplicative ergodic theorem for irrational rotation
Consider irrational rotation $T:S^1\to S^1, T(x) = x + \alpha$ where $\alpha\notin \mathbb{Q}$ (you may assume additional number theoretic properties of $\alpha$, say $\alpha = \sqrt{2}$ is already ...
- 6,476
6
votes
0
answers
366
views
$C^{1+\epsilon}$ conjugacy of expanding map on circle
A continuously differentiable map $f:S^{1}\rightarrow S^{1}$ is called expanding if $|f^{'}(x)|>1$ for all $x\in S^{1}$.
We can define the degree of f, def(f) to be number of preimage $f^{-1}(x)$, ...
- 1,043
6
votes
0
answers
283
views
A concept weaker than geodesibility of flows which is possibly useful in limit cycle theory
The main objective of this post is to apply the Gauss Bonnet Theorem to count the number of limit cycles of a polynomial vector field as described in this MO post and its linked MO posts But in this ...
- 356
6
votes
0
answers
108
views
Stable commutator lengths of pseudo-Anosovs
Does anyone have an example of a pseudo-Anosov mapping class for which the stable commutator length is known exactly?
- 61
6
votes
0
answers
185
views
Is this "stretched eigenvector" studied? (If so, what are its properties?)
An eigenvector is defined by
$$
\lambda \mathbf{v} = A\mathbf{v}.\tag{1}
$$
But suppose I change this to
$$
\lambda \mathbf{v} = A\mathbf{v}^\alpha,\tag{2}
$$
for real $\alpha\ne 1$, where $\mathbf{v}^...
- 1,344
6
votes
0
answers
282
views
Spectral properties of Non-local Differential operators on real line
I am encountering non-local (and nonlinear) PDEs in my work. To compute stability, I am trying to numerically estimate the spectrum of linearized-but-nonlocal version of the said PDEs.
Definition: A ...
- 318
6
votes
0
answers
223
views
Reference request: Complex geodesic flow
Can someone suggest a book on complex geodesic flow? I am interested in it mainly because I was told these form a very useful class of Riemann surface laminations. Of special interest to me is the ...
6
votes
0
answers
342
views
Had this theorem in Tresser's article been proven somewhere?
The article in question is About Some Theorems by L.P. Sil'nikov by Charles Tresser. I am interested in the theorem C from page 453 and a particular application of such theorem which is illustrated ...
- 165
6
votes
0
answers
255
views
Completeness of the space of measures under $d$-bar metric
Does anybody know the reference to a proof of the following fact (which is not hard to prove, but seems to be well-known, see here): The space of shift-invariant measures under Ornstein's d-bar metric ...
- 1,658
6
votes
0
answers
537
views
Counting limit cycles via curvature in Riemannian geometry
In this post we would like to give a possible new approach to the second part of the Hilbert 16th problem
First we give a short introduction:
A quadratic system is a polynomial vector field on ...
- 356
6
votes
0
answers
104
views
Uniform approximation of a continuous flow by a $\mathcal{C}^1$ flow
Setup: Consider a (smooth) compact Riemannian manifold $M$, whose distance is denoted by $d$. Let $\Phi$ be a continuous flow, namely a continuous application from $\mathbb{R} \times M $ to $M$ ...
6
votes
0
answers
400
views
Topologically transitive, pointwise minimal systems
I'm cross-posting this from SE.
Let $T$ be a group, and let $(X,T)$ be a flow, i.e. $X$ is a compact Hausdorff space and $T$ acts on $X$ by homeomorphisms. A flow $X$ is called topologically ...
- 369
6
votes
0
answers
180
views
How much energy will be released in the explosion when one shoots a superelastic billiard ball into a collection of still superelastic billiard balls?
Consider the following scenario. Let $\alpha>1$. Suppose whenever two superelastic balls collide at speed $\gamma$ they bounce off each other at speed $\gamma\cdot\alpha$ (i.e. $\alpha$ is the ...
6
votes
0
answers
469
views
An algebraic Hamiltonian vector field with a finite number of periodic orbits (2)
Is there a polynomial Hamiltonian $H:\mathbb{R}^{4}\to \mathbb{R}$ such that the number of nontrivial periodic orbits of the corresponding Hamiltonian vector field $X_{H}$ is finite but different ...
- 356
6
votes
0
answers
690
views
Unique Nash equilibrium games
Multicast network design game is a special case of a general network design game (http://www.cs.cornell.edu/home/kleinber/focs04-game.pdf) in which there is a target vertex $t$ and $n$ rational ...
- 399
6
votes
0
answers
448
views
Are there always at least *five* divisions?
@JosephO'Rourke asked a question about a Collatz like function related to primes:
$f(n) =
\begin{cases}
n^2 & \text{if} \;n \;\text{is prime} \\
\lfloor n/2 \rfloor & \text{if} \;n \;\text{...
- 1,375