Questions tagged [ds.dynamical-systems]
Dynamics of flows and maps (continuous and discrete time), including infinite-dimensional dynamics, Hamiltonian dynamics, ergodic theory.
2,482 questions
6
votes
1
answer
328
views
Solution of an ODE upon singular perturbation
The following question originates from a Physics problem, so I apologize if I am not using a suitable mathematical jargon.
The original system involves $N$ massless electric charges at position $\...
2
votes
1
answer
121
views
Examples of hyperbolic set and J-stable sets
I am reading the research article "The Hausdorff dimension of the boundary of Mandelbrot set and Julia sets" by Shishikura. The following two definitions are given without any examples in ...
0
votes
0
answers
85
views
A 1 dimensional foliation which is Riemannian foliation with respect to no Riemannian metric
What is an example of a non vanishing smooth vector field on a manifold $M$ whose corresponding foliation is a Riemannian foliation with respect to no Riemannian metric on $M$
0
votes
0
answers
161
views
A closed leaf with two different index with respect to two different Riemannian metrics
Inspired by this question about Jacobi equation. conjugate points and limit cycle theory we ask the following question:
Is there a geodesible 1 dimensional foliation $\mathcal{F}$ on a manifold $M$, ...
7
votes
1
answer
142
views
Hamiltonian-ization of a dynamic system
On affine space, a sufficiently smooth continuous-time Hamiltonian dynamic system $\dot p = \nabla_q H, \dot q = -\nabla_p H$ conserves $H$, preserves the volume form (e.g. if we are looking for ...
3
votes
1
answer
134
views
Analyticity of central stable manifolds
Let $X$ be a real analytic vector field defined on $\mathbb{R}^n$. Assume the origin $0 \in \mathbb{R}^n$ is a zero of $X$. Assume, furthermore, that we know that the center-stable manifold (in the ...
3
votes
0
answers
210
views
Jacobi equation and conjugate points on solution curves of the Van der Pol vector field
Let $X$ be a geodesible non vanishing vector field on a manifold $M$. Namely there is a Riemannian structure $(M,g)$ such that all integral curves of $M$ are unparametrized geodesics of the ...
3
votes
1
answer
253
views
Stability analysis of equilibrium point of non-linear ODE system with Jacobian going to infinity
Let's say I have a nonlinear system of ODEs, where one of equations looks like:
$$
\frac{dX_i}{dt} = a_1X_0+\dotsb+a_j\frac{X_j^{0.5}}{X_j^{0.5}+b_j^{0.5}}+\dotsb.
$$
And equilibrium point is 0. I ...
1
vote
1
answer
210
views
Shift-ergodic stochastic processes in continuous time
Let $\mathscr{C}:=\{\gamma : \mathbb{R}_+\rightarrow\mathbb{R}^n \mid \gamma \ \text{ continuous}\}$ be the set of all $\mathbb{R}^n$-valued paths over $[0,\infty)$. Endow $\mathscr{C}$ with the $\...
2
votes
1
answer
89
views
Lower bounds for pattern complexity of linearly repetitive aperiodic subshifts
I recently asked in this thread about lower bounds on the complexity in the case where we have an aperiodic subshift. If I denote $c_n(\Omega)$ as the number of possible patterns on $Q_n=\{0,...,n−1\}^...
1
vote
2
answers
103
views
A variation of domino tiling problem with fusions
I know several specific variations of the domino tiling problem has been determined to be decidable or undecidable, such as the seed domino problem. I have a variation which I have not been able to ...
1
vote
1
answer
209
views
Repelling invariant manifold of a discrete dynamical system
Given a $C^\infty$ map $Q: \mathbb{R}^n \rightarrow \mathbb{R}^n$ with the following properties
$Q$ fixes the $x_1$-axis, i.e. $Q(x_1,0,\dotsc,0) = (x_1,0,\dotsc,0)$.
For $x_1$ in a neighborhood of $...
4
votes
0
answers
191
views
Strongly constant divergence vector fields
Inspired by this question on homothety vector field we ask the following question
Let $M$ be a manifold equiped by a volum form $\Omega$. A strongly constant divergence vector field is a vector ...
0
votes
0
answers
120
views
Growing gliders under rule 110
I found a glider in the evolution space of rule 110 that grows constantly in size. Normal gliders live in the so-called ether, e.g. the so-called E-glider:
Other – often complex – gliders exist in an ...
0
votes
0
answers
103
views
Polynomial / quadratic autonomous system of ODEs – proving monotonicity / convexity
Problem:
Consider the autonomous ODE system
\begin{align*}
\dot{x} &= (1-x) (z-xy)\\
\dot{y} &= \tfrac 1 2 y^2 - (a+xy)(1-y) \\
\dot{z} &= \tfrac 1 2 z^2 - \tfrac 1 2 y^2 + (a+xy)z
\end{...
1
vote
0
answers
102
views
Homothety vector fields generating a foliation of $S^3$
Inspired by this question on homothety vector fields we realize that non homotheticity is some how an intrinsic property of the foliation associated to the vector field. See the comment by Prof. ...
2
votes
1
answer
129
views
Reference on relation between SFTs and Wang-tiles
I've been looking at several papers which allude to a relation between SFTs. Namely, given an SFT $\Omega \subseteq \mathcal{A}^{\mathbb{Z}^2}$ with allowed patches $\mathcal{F}$, we can associate a ...
2
votes
1
answer
101
views
Dynamical systems with disjoint $\omega$-limits of single points
For $X$ compact metric spaces and $f:X\to X$ continuous, is there a nice characterization of the systems $(X,f)$ for which, for every pair of points $x,y\in X$ with disjoint orbits, we have $\omega(x)\...
4
votes
0
answers
49
views
Getting analytic center manifolds
The center manifold of a degenerate zero of an analytic vector field need not be unique nor analytic. But say I want it analytic. Does anyone know of additional conditions to be imposed on the ...
4
votes
2
answers
307
views
Easiest self-contained proof of the Jewett–Krieger theorem?
Does anyone have a go-to reference for a proof of the Jewett–Krieger theorem in dynamical systems/ergodic theory? It's quite technical and I'd like to have something to show students. The best I ...
0
votes
0
answers
88
views
Relation between symbolic substitution and cellular automata
I recently asked this on Math Stackexchange recently in this thread. I was told that there is a relation between symbolic substitutions and cellular automata. I'm vaguely familiar with Cobham's ...
0
votes
0
answers
130
views
Approximate range of Radon-Nikodym derivative in a dynamical system
Suppose $(X, G, \Omega, \mu)$ is a dynamical system where $(X, \Omega, \mu)$ is a Borel measure space and $G$ is acting on $X$ such that each group action $x\mapsto g\cdot x$ defines a measurable ...
3
votes
1
answer
143
views
Non-twist maps of the annulus and their lack of fixed points
I have been wondering about the existence of a kind of `counterexample' to a modification of the Poincare-Birkhoff theorem which badly breaks the twist condition.
Let me state a variant of the ...
4
votes
1
answer
177
views
Density of points in the torus whose iterates under a matrix converge to zero
In Yves Benoist and Jean-François Quint's notes Introduction to random walks on homogeneous spaces (top of page 11),
the following is listed as a step in the non-Fourier analytic proof of ergodicity ...
4
votes
1
answer
331
views
First visit of intervals for an irrational rotation
I suppose that what I look for is known, but I can't find it.
Let $\left\lbrace I_n=[a_n,b_n)\right\rbrace$ and $\left\lbrace J_n=[b_n,c]\right\rbrace$ ($n\in\mathbb{N}$) be two countable families of ...
3
votes
1
answer
193
views
'Trivial' lower bounds for pattern complexity of aperiodic subshifts
I recently asked in this thread about lower bounds on the complexity in the case where we have an aperiodic subshift. If I denote $c_n(\Omega)$ as the number of possible patterns on $Q_n= \big\{ 0,...,...
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 ...
3
votes
0
answers
74
views
The most general (but useful) definition of "attractor" for dynamical systems
Consider J. Milnor's paper: On the concept of attractor.
There he writes: "A less restrictive definition" [than some of the previous ones he had considered] of the concept of an attract is &...
2
votes
1
answer
300
views
Anosov flow on the 2-sphere
Is there a simple proof that there is no Anosov flow on $S^2$? Where can I find it?
4
votes
2
answers
273
views
Lower bounds for pattern complexity of aperiodic subshifts
In the setting of symbolic dynamics over $\mathbb{Z}^d$, one can define for the $n$-th pattern complexity of a given a subshift $\Omega\subseteq \mathcal{A}^{\mathbb{Z}^d}$ as
$$ c_n(\Omega):= \Big\...
1
vote
1
answer
192
views
Topological full groups of subshifts: differences between one-dimensional and multi-dimensional subshifts
For a multidimensional subshift $X$ over $\mathbb Z^d$, the topological full group $[X]$ is the set of homeomorphisms $f$ of $X$ that can be written as $f : x \mapsto \sigma_{c(x)}(x)$ with $c : X \to ...
3
votes
0
answers
148
views
General references on dynamics of continuous, piecewise linear interval maps
I want to find a general reference on topological and measurable dynamics of continuous piecewise linear interval maps. I am particularly interested in cases with only three pieces. Even ...
1
vote
0
answers
46
views
Reason behind the names of sub and supercritical bifurcations
What is the reasoning behind the names sub- and super-critical bifurcations that occur in the context of pitchfork and Hopf bifurcations? Textbooks seem to introduce this terminology without any ...
5
votes
1
answer
429
views
On the correct definition of attractors
It is well-known in dynamical systems that the concept of "attractor" differs in the literature.
My question is whether attractors need to be defined as subsets of $\omega$-limit sets of ...
6
votes
1
answer
373
views
Is this card shuffling process weakly mixing?
Consider the following continuous analogue of a card shuffling process:
Let $Y_i, Z_i$ ($i \in \mathbb Z^+$) be sequences of jointly independent uniformly distributed random variables on $[0, 1]$. ...
2
votes
1
answer
190
views
Are arbitrary collections of ergodic measures "strongly mututally singular"?
I'm quite embarrassed not to know the answer to this question, but I think someone else will.
Suppose that $(X, T)$ is a topological dynamical system, and $\mathcal{E}$ is the collection of ergodic $T$...
3
votes
2
answers
251
views
Elementary cellular automata in stochastic modes
There are several ways to run a given elementary cellular automaton in a stochastic way:
by giving for each of the eight local configurations 000,100,010 and so on a probability by which the rule is ...
1
vote
2
answers
329
views
Sufficient conditions for periodic tiling by Wang tiles
I'm recently interested in whether a sub-shift of finite type contains a doubly-periodic problem, when the set of configurations is of the sort $\mathcal{A}^{\mathbb{Z}^2}$. When $Q_2=\{0,1\}^2$, and ...
2
votes
0
answers
72
views
On bounded solutions of a given fourth-order linear ODE
Consider the fourth-order linear ODE
$$
\label{eq1}
v^{(4)} + \frac{-C_2 - 2\alpha \phi}{C_4}v'' + \frac{4\alpha \phi'}{C_4}v' + \frac{k_1 + 3k_3\phi^2 -2\alpha \phi''}{C_4}v = 0.
$$
Without getting ...
3
votes
1
answer
211
views
Entropy of $f^{m(x)+n}$ of full shift
Let $(X,\mu,f)$ be a two-sided full shift system. Assume that there is $t \in \mathbb{N}$ such that for every $n \in \mathbb{N}$ and $x \in X$, we can define $T(x)=f^{n+m(x)}(x)$, where $m(x) \leq t; $...
3
votes
0
answers
134
views
Asymptotic behaviors of equilibrium points of a switching SDE with Levy jumps?
Consider the following paper titled: Stochastic regime switching SIR model driven by Lévy noise, authored by Yingjia Guo.
Link: https://www.sciencedirect.com/science/article/pii/S0378437117302145
The ...
1
vote
1
answer
213
views
Possible weaker version of the Domino/Wang tiling problem
This may be a dumb question, but I was wondering whether the question of 'periodically tiling the plane from a finite set of tiles' is the same as the domino tiling problem or a weaker version. I ...
3
votes
1
answer
435
views
Showing convergence of an infinite ODE system
Suppose $\{a_n(t)\}_{n \geq 0}$ is a collection of differentiable (or simply smooth) functions such that i) $0 \leq a_n(0) \leq 1$ for all $n\in \mathbb N$ (ii) $a_n(t) \approx 1 - \mu2^{-n}$ ...
4
votes
0
answers
200
views
Asymptotic behavior of a dynamical system of density functions
On September 24, 2022, I asked the question below on Mathematics Stack Exchange, linked here:
Link to question on Mathematics Stack Exchange.
I received two up-votes, but no comments or answer. I ...
1
vote
1
answer
139
views
A special kind of pseudo-garden eden states in cellular automata
I'm currently investigating Wolfram's elementary cellular automata on finite grids with periodic boundary conditions, i.e. on $\mathbb{Z}/k$ for different $k$.
It is clear that for each rule $R$ and ...
2
votes
0
answers
128
views
When is a composition of homeomorphisms topologically transitive provided one of the two is?
Suppose that $S$ is a (connected) regular surface, possibly with boundary, for instance an annulus. Suppose that both $f$ and $g$ are homeomorphisms whose restriction to $\partial S$ is the identity. ...
3
votes
0
answers
101
views
Turing reaction diffusion equations and neural networks
Suppose you have a Turing-type reaction-diffusion system
$$
\begin{cases}
\partial_t \phi = & f(\phi, \psi) + D_\phi \nabla^2\phi \\
\partial_t \psi = & g(\phi, \psi) + D_\psi \nabla^2\psi
\...
4
votes
0
answers
108
views
The logistic elliptic equation
Studying the Fisher-KPP evolution equation I came across the steady state elliptic problem which can be written in the following form:
$$
\begin{cases} -d\Delta Y(x)=r(x)Y(x)\left (1-\dfrac{Y(x)}{K(x)}...
1
vote
0
answers
100
views
Generalizing an application of the Poincaré-Bendixson theorem
I was looking for applications of the Poincaré-Bendixson theorem and on this site I have found several examples almost all similar to this post. So I tried to make a quite natural generalization
$$
\...
7
votes
1
answer
205
views
Non-recurrent points of $F(a,b)=(b,ba)$ in a compact metric group $G$
Consider a compact metric group $G$ [A compact topological group $G$ where the topology is generated by an invariant metric]. I am particularly interested in the case where $G$ is the $n$-dimensional ...