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
5
votes
0
answers
288
views
Example for a dynamical system which is not point-distal
Let $(X, d)$ be a compact metric space, let $T$ be a group of actions on $X$. Then $(X,T)$ is a topological dynamical system with transformation group $T$, and we denote it by $(X,T)$. We say points $...
- 395
5
votes
0
answers
226
views
Using topological pressure to determine a subshift of finite type
I am interested in recognising graphs (or matrices, or subshifts of finite type) using topological pressure. Suppose that we play the following game:
${\bf Step 1:}$ I write down an irreducible n x n ...
- 717
5
votes
0
answers
206
views
Reference for and Properties of the $\alpha$-entropy
Let $T \colon X \to X$ be a continuous map on, say, a compact metric space $X$. Let $\mu$ be an invariant borel measure. Under suitable conditions, a result of Brin and Katok states that $\mu$-almost ...
- 485
5
votes
0
answers
104
views
Is a closed set with orbit capacity zero automatically thin?
Let $G$ be a countably infinite amenable group. Let $\alpha: G\curvearrowright X$ be a continuous group action. (Mostly free and minimal, though!)
Definition 1: Let $A\subset X$ be closed and $U\...
- 1,023
5
votes
0
answers
115
views
Equivariant zero dimensional extension recovering a given measure
Let $X$ be a compact metrizable space and $\alpha: \mathbb{Z}^d\curvearrowright X$ a continuous group action. Then it is well known that there exists a zero dimensional compact space $Y$, an action $\...
- 1,023
5
votes
0
answers
221
views
Quasicompactness of transfer operators associated to IID matrix products
Let $P^1$ denote one-dimensional real projective space, and for each $A \in GL(2,\mathbb{R})$ let $\overline{A}$ denote the homeomorphism of $P^1$ induced by $A$. I am currently reading a paper which ...
- 6,206
5
votes
0
answers
976
views
Fibre Mixing for Dynamical Systems
Hi all,
I'm interested in understanding a fairly difficult theorem of Lindenstrauss Peres and Schlag. In that paper the authors prove that certain dynamical systems related to beta expansions and ...
- 717
5
votes
0
answers
283
views
Limits of $p/\ln p - q /\ln q$, $p, q$ prime
Is there any $\alpha>0$ for which there are known to exist two sequences of primes, $(p_i), (q_i)$ such that
$$\alpha = \lim_{i\to\infty} \left(p_i/\ln p_i - q_i /\ln q_i\right)\ ?$$
The ...
- 17.6k
5
votes
0
answers
343
views
Fixed point sets that carry topology
Let $M$ be a closed smooth manifold. A generic diffeomorphism $\phi: M\rightarrow M$ has non-degenerate fixed points, i.e. the intersections of its graph with the diagonal in $M\times M$ are all ...
5
votes
0
answers
282
views
Linearization of a gradient field
Setup: Suppose we are given a smooth function $\phi$ that has a nondegenerate minimum at $x=0$. Then we can choose a coordinate system $x$ such that the gradient is given by
$$X = \mathrm{grad} \phi = ...
- 9,853
5
votes
0
answers
135
views
Possible homogeneity of infinite dimensional Sierpinski carpet analogues?
Start with the Hilbert cube $H=I^\omega$, thinking of its coordinates as written in ternary expansion.
Construct subsets $S_n$ by removing points from $H$ if for any $m$,
at least $n$ of the ...
- 17.6k
5
votes
0
answers
303
views
Quantum dynamics on varieties: asymptotic quantum trace distance on SHL varieties
The Question Asked
Definition: the Second-Hand Lion trace distance $D_k$
Let $\mathcal{M}^{(kk)}_r$ be the set of $k\times k$ complex matrices of rank $\le r$ having unit trace norm. Then the ...
- 1,389
5
votes
0
answers
352
views
"topological" conjugacy of group automorphisms
In the paper "Orbit Equivalence and Topological Conjugacy of Affine
Actions on Compact Abelian Groups", S. Bhattacharya shows (Theorem 3) the following:
Theorem. Given two actions $\alpha$ and $\...
- 3,897
5
votes
0
answers
250
views
'ninja' segments - do they exist?
This question is about a sort of "weak topological $k$-mixing" where the
$k$-point set is replaced by a (topological) segment.
Let $f:M\rightarrow M$ be a homeomorphism on a (compact) topological ...
- 303
5
votes
0
answers
817
views
Entropy conjecture for flows
The entropy conjecture for diffeomorphisms (see for example this paper) asserts that for diffeomorphisms of manifolds, the log of the spectral radius of the actions of the diffeomorphism on the ...
- 3,928
4
votes
0
answers
179
views
Recognize this metric? Do you have a name for this metric on the product of spheres?
Take the product $S^2 \times S^2$ of two two-spheres,
but perturb the product metric as follows.
Think of each $S^2$ as the unit two-sphere in Euclidean 3-space
in the standard way
so that for $p ...
- 8,336
4
votes
0
answers
116
views
Convergence in probability results with still open point-wise versions
In ergodic theory and more generally in stochastic processes, often convergence in probability results precede convergence almost-surely results in quite a few years. Classical examples include the ...
- 41
4
votes
0
answers
122
views
Conditions on $R\subseteq \mathbb{N}$ so that $\{\{xr\}:r\in R\}$ is dense in $[0,1]$ for all irrational $x$
A related question was posted on MSE (link), although that had some additional stipulations.
Let $S^1=\{w\in \mathbb{C}:|w|=1\}$ be the unit complex circle. Call a set $R\subseteq\mathbb{N}$ good if, ...
- 141
4
votes
0
answers
102
views
Are smooth dynamical systems stabilised by "sufficient noisiness"?
Preliminaries.
(See [1] for further details.)
Let $M$ be a compact connected $C^\infty$ Riemannian manifold.
We say that a list $\sigma_1,\ldots,\sigma_n$ ($n \in \mathbb{N}$) of $C^\infty$ vector ...
- 708
4
votes
0
answers
148
views
Exponential map for tangent space of space of distributions $\mathscr{P}_2(X)$
In Chapter 8 of the book Gradient Flows In Metric Spaces and in the Space of Probability Measures by Ambrosio et al., the tangent space to the space of distributions on $X$ (let's say $X=\mathbb{R}^d$)...
- 91
4
votes
0
answers
108
views
Decidability of whether two polynomial bijections generate a free group
I am wondering about the decidability of the following question:
Given two polynomial bijections $f, g$ from the real numbers to the real numbers (with say rational coefficient just to simplify what &...
- 1,075
4
votes
0
answers
246
views
Dynamical obstruction for a vector field to have a Harmonic divergence
Let $(M,g)$ be an analytic Riemannian manifold and $X$ be an analytic vector field on $M$. Can we always have a volume form $\Omega$ such that $\operatorname{Div}_{\Omega} X$ is a harmonic ...
- 356
4
votes
0
answers
169
views
Local dimension of stationary measures for iterated function systems with an expanding map
Consider the iterated function system (IFS) $X_n$ on $I = [0,1] $generated by the functions $\Phi = \{f_1,f_2,f_3\}$ and the probability vector $P = (p/2,p/2,1-p),$ where:
$f_1,f_2: I\to I$, where $...
- 333
4
votes
1
answer
373
views
Equidistribution of the orbit $\{\text{diag}(t^a,t^{-a})\Lambda \}_{t>0}$ for a.e. $\Lambda\in \text{SL}(2,\mathbb R)/\text{SL}(2,\mathbb Z)$
$\DeclareMathOperator\diag{diag}\DeclareMathOperator\SL{SL}$It is well-known that geodesic flow $g_t=\{\diag(e^t,e^{-t}) \}_{t>0}$ acts ergodically (actually mixing) on $\SL(2,\mathbb R)$ (Howe–...
- 321
4
votes
0
answers
233
views
References for derivative w.r.t. initial condition of an ODE
Let $b:\mathbb R_+ \times \mathbb R^d \to \mathbb R^d$ be measurable such that for all $n \in \mathbb N$ we have
$$
\sup_{t \ge 0} |b(t, 0)| + \sup_{t \ge 0} \sup_{x \in \mathbb R^d} |\nabla^n_x b (t, ...
- 835
4
votes
0
answers
121
views
$f(n) = \frac{n^2 + n + 4}{2}$, $g(f(n)) = f(g(n))$ such that $g(n)$ is an integer
Let $n$ be a strict positive integer and let's define an integer sequence $f(n)$ :
$$f(n) = \frac{n^2 + n + 4}{2}$$
so
$$
\begin{split}
f (\Bbb N)& \triangleq {3,5,8,12,17,23,30,38,47,\ldots}\\
f(...
- 763
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 ...
- 356
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 ...
- 8,336
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 ...
- 41
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,759
4
votes
0
answers
149
views
The Logistic map have subexponential decay of correlation?
I was looking for information about the correlation decay of the logistic map, more precisely if there is any parameter for which its decay is subexponential, in which case I would like to know if it ...
- 136
4
votes
0
answers
142
views
An algebraic foliation of $\mathbb{C}^2$ with real coefficients whose all complex limit cycles intersect the real plane $\mathbb{R}^2$
Is there a polynomial vector field $X$ on $\mathbb{R}^2$ such that every complex limit cycle
of the corresponding foliation of $\mathbb{C}^2$ must necessarily intersect the real plane $\mathbb{R}^2$.
...
- 356
4
votes
0
answers
759
views
What is a holomorphic foliation?
For a smooth foliation $F$, there are three equivalent definitions:
the leaves of $F$ are tangent to a smooth vector field;
the foliation chart $\phi:U\to \mathbb R^k\times \mathbb R^{n-k}$ is ...
- 307
4
votes
0
answers
88
views
Correspondence between Hoelder cocycles and Hoelder potential functions for noncompact negatively curved manifolds
Let $\tilde{M}$ be the universal cover of a pinched\ negatively curved manifold $M$ and $\Gamma=\pi_{1}(M)$ its fundamental group and $\partial \Gamma =\partial \tilde{M}$ its Gromov boundary.
When $M$...
- 481
4
votes
0
answers
149
views
Cyclic vectors for the translation operator
Let $b\in \mathbb{R}\neq 0$, and consider the translation operators:
$$
\begin{align}
T_b:C(\mathbb{R}) & \rightarrow C(\mathbb{R})\\
f &\mapsto f(\cdot + b).
\end{align}
$$
*Are there known ...
- 5,405
4
votes
0
answers
339
views
Why are critical points important for dynamical systems?
I have just started reading a little about (arithmetic) dynamics and it seems like critical points are very important - for instance, rational maps so that critical points have finite forward orbit (...
- 7,746
4
votes
0
answers
114
views
Is this pair of coupled sequences known, and what are their properties?
I was examining the following pair of 'coupled' sequences (I don't know the correct terminology):
$a_{n+1}=a_n+b_n+\frac{a_n}{b_n}$
$b_{n+1}=b_n\left(1+\frac{b_n}{a_n}\right)$
Both sequences grow ...
4
votes
0
answers
173
views
Random walks on the Poincaré disk
Let $G$ be the group of isometries of the Poincaré disk. Let $\mu$ be a probability measure on $G$, and consider $g_1,..,g_n$ i.i.d. random variables on $G$ distributed according to $\mu$. For $z\in \...
- 401
4
votes
0
answers
95
views
When the Jacobian of unstable measure converges
Let $T:X \to X$ be a hyperbolic map on the compact metric space $X$. Hyperbolicity means that $T$ has local stable and unstable sets with uniform exponential bounds, which satisfy a local product ...
- 1,043
4
votes
1
answer
848
views
Does $P_xP_y+Q_xQ_y=0 \implies$ "non-existence of limit cycle" for $P\partial_x+Q\partial_y$"? (Complex dilatation and limit cycle theory)
Let $X=P\partial_x+Q\partial_y$ be a vector field on the plane $\mathbb{R}^2$. Assume that we have :$$P_xP_y+Q_xQ_y=0$$ Does this imply that the vector field $X$ is a divergence-free vector field ...
- 356
4
votes
1
answer
324
views
The Hausdorff codimension of singular matrices vs. the Hausdorff codimension of points with divergent trajectories
Let $G:=SL(m+n,\mathbb R)$ and $\Gamma :=SL(m+n,\mathbb Z)$ and $X:=G/\Gamma$.
(1) Let $M$ denote the set of all $m \times n$ matrices with real entries. A matrix $A \in M$ is called $\textit{singular}...
- 1,565
4
votes
0
answers
232
views
Illuminating a just-barely irrational polygon
As has been discussed earlier on MO,1,2
recently an impressive advance was proved concerning
internally illuminating a mirrored polygon.
Here is the result:
Let $P$ be a rational polygon.
Then for ...
- 151k
4
votes
0
answers
201
views
How does a Lyapunov vector evolve along a trajectory?
First I introduce the Lyapunov vectors. Here I follow the notations of a previous answer I got on MO.
We have a dynamic system with discrete time $t$ (integer values). The
time evolution is defined by ...
- 469
4
votes
0
answers
110
views
Counting simple closed curves
I'm currently trying to understand how to count simple closed curves. I've been reading Alex Wright's survey (https://arxiv.org/pdf/1905.01753.pdf). However, I don't feel like I'm getting the big ...
- 4,418
4
votes
0
answers
114
views
Can every dynamical system be interpreted in terms of (unitary) conjugation in an operator algebra
Let $H$ be a Hilbert space and $X$ be a compact Hausdorff space with a homeomorphism $\alpha: X \to X$. Assume that $C(X)$ is a commutative sub algebra of $B(H)$, namely $C(X)$ is embedded in $B(H)$...
- 356
4
votes
0
answers
66
views
Can a nonlinear dynamical system be rewritten in terms of constraints?
My question is based on thoughts after reading to a specific section in the paper "On Contraction Analysis for Nonlinear Systems" by W. Lohmiller and JJ. Slotine, Section 4.2 Constrained Systems. ...
- 141
4
votes
0
answers
210
views
Looking for a counterexample for Ruelle's inequality on compact manifold
Let $M$ be a compact differentiable manifold, and $f:M\to M$ be a $C^1$- smooth diffeomorphism.
If Assume that $\mu$ be a $f$-invariant probability measure on $M$.
Then D.Ruelle proved that
$$
h_\...
- 41
4
votes
0
answers
100
views
Flow lines of a real analytic vector field convergent to a point
Let $X$ be a real analytic vector field defined on an open connected subset $U$ of $\mathbb{R}^n$. Let $p \in \mathbb{R}^n \setminus U$. Let $L$ be union of the flow lines $\ell$ of $X$ such that $p$ ...
- 1,409
4
votes
0
answers
98
views
Weighted distribution of irrational rotation
Let $\theta\in [0,1]\setminus\mathbb{Q}$. Let $\alpha_0=\theta$ and $\alpha_1=1$. Let $0<p_0<1$ and $p_1=1-p_0$. For a finite word $I=(i_1, i_2, \dots, i_n)\in \{0,1\}^n$, denote by $I'=(i_1, ...
- 675
4
votes
0
answers
93
views
Flow of zeros in the shifted exponential generating function?
Given a sequence $a_n$ (of real numbers, described more fully below), one may define the exponential generating function (on the complex plane) as $E(z)=\sum_{n=0}^\infty a_n z^n/n!$. The derivatives $...
- 384