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
2
votes
0
answers
386
views
Semigroup transformation (symmetry?) and hamiltionan dynamic. Noether Theorem generalization?
In reasoning about symmetries of dynamical systems usually there is an Legrangian $ L(p,q) $ and symmetry transformation $s' = f(s)$ where $s = p$ or $q$. If $f(s)$ represent continuous symmetry of ...
- 1,446
12
votes
1
answer
2k
views
Entropy of first return map and suspension flows
There are some well know formulas of Abramov about derived systems.
Firstly let $(X,\mu,f)$ be a probability preserving system and $A\subset X$ is measurable such that $\bigcup_{n\ge0}f^nA=X$. Let $\...
7
votes
2
answers
380
views
Liverani's CLT (a question)
Let $(\Omega,\mathcal{F},P)$ be a probability space where $\Omega$ is a complete separable metric space, let $T:\Omega\to \Omega$ ` be an ergodic transformation, let $\hat{T}:L^{2}_{_P}(\Omega)\to L^{...
0
votes
0
answers
105
views
Proving Hopf bifurcations for 3D system
I am working with a 3D continuous system of ODEs. I have found Hopf bifurcation numerically for a certain value of parameter. However, I want prove it analytically. Is it enough to show that the ...
- 53
1
vote
0
answers
108
views
Stability of rigid bodies spinning around $z$-axis under gravity
Consider the problem of a rigid body rotating in 3D space under gravity with one point fixed. I am particularly curious about the equilibrium state where the body is spinning at a constant angular ...
- 807
2
votes
2
answers
285
views
How should the "measure theoretic" Jacobians of a dynamical map be understood in Lai-Sang Young's "Recurrence Times and Rates of Mixing"
In Young's article: Recurrence Times and Rates of Mixing, she uses multiple times the notation $JF, JF^k, JF^R$ to mean the Jacobian of a dynamical map $F:\Delta\to\Delta$ w.r.t. a given reference ...
- 8,903
2
votes
0
answers
60
views
Identifying bifurcation
[![enter image description here]] 1]1I am trying to analyze the bifurcation of a 3D continuous model. For a certain range of parameter values, the origin is always an unstable point, whereas the ...
- 53
2
votes
1
answer
103
views
Proving period doubling bifurcation
I am working with a 3D continuous dynamical system. I have plotted the bifurcation diagram and found that period-doubling bifurcation occurs at a certain parameter value. However, I also want to prove ...
- 2,281
0
votes
0
answers
49
views
Estimate for the length of a partial orbit for a shift map for which its delta neighbourhood covers an interval
Consider $f:[0,2\pi) \to [0,2\pi )$ given by $f(x) = (x + 1) \bmod 2\pi$ for all $x\in [0,2\pi )$, i.e. a shift map on the unit circle with anti-clockwise shift of $1$.
Denote the sequence $\{ x_n \}$ ...
- 63.9k
10
votes
1
answer
315
views
Fixpoints of $m\longmapsto \mathrm{rad}(\phi(m^2))$ under iteration
Given a strictly positive integer $m$ let $\alpha(m)=\mathrm{rad}(m\phi(m))$
be the radical (product of all distinct prime divisors) of the product of $m$ and of Euler's totient function $\phi(m)=m\...
- 105k
9
votes
1
answer
2k
views
A problem involving the inverse Collatz map
Let $C$ be the Collatz map on the natural numbers, defined by:
$$C(n) :=
\begin{cases}
n/2 & \text{if} \;n \;\text{even} \\
(3n+1)/2 & \text{if} \;n \;\text{odd}
\end{cases}$$
The inverse ...
5
votes
5
answers
2k
views
Fractal questions: Weierstraß-Mandelbrot
Coming from a specific field in algebraic geometry, I am a total noob in Fractal Theory and I'd like to learn it a bit. I hope I am tolerated for my maybe-trivial questions. I just read about the ...
- 91.8k
6
votes
1
answer
161
views
Symplectic diffeomorphism of the cylinder moving a point to 0
I am currently reading though part of Zehnder's Lectures on Dynamical Systems. In Chapter VII, I have found myself in the following situation:
$Z(1)$ is a subset of standard symplectic space $(\...
- 7,583
6
votes
1
answer
142
views
Topological entropy of semi-conjugated dynamical systems
Let $(X,T)$ and $(Y,G)$ be topological dynamical systems. If $(Y,G)$ is a factor of $(X,T)$ it is well known and easy to proof that $h(G)\le h(T)$ , where $h$ denotes the topological entropy. If the ...
- 1,060
1
vote
0
answers
62
views
Under which condition, such that all second-order critical points satisfy $\sum_j\cos(\theta_i-\theta_j)>0$ for all $i\in[n]$?
Consider the following non-convex function
$$E(\theta):=-\sum_{i,j}A_{ij}\cos(\theta_i-\theta_j)$$
where $A$ is a symmetric, diagonal-free matrix whose non-diagonal element are $\pm 1$. In other words,...
3
votes
0
answers
56
views
Perturbation method for time-periodic singular system of ODEs
I am studying a problem arising in physics, and I managed to simplify it to a differential system (initial value problem) of the form:
$$
\begin{cases}
\dot{x} = \epsilon f_1(x,y,t) + \epsilon^2 f_2(...
- 131
0
votes
0
answers
27
views
How to control the angles of Kuramoto model by controlling its order parameter?
Consider Homogenous Kuramoto model in this paper. In theorem 3.1, the author derive condition on $A$ such that all second-order critical points of $E(\theta)$ are in two opposite quadrants, by saying ...
- 49
2
votes
2
answers
252
views
Devaney chaos and topological entropy
I am searching for dynamical systems on compact spaces which are Devaney chaotic but have topological entropy zero. On the interval such systems do not exist. I think on the Cantor space and on the ...
- 2,621
7
votes
2
answers
607
views
If the average of a sequence converges, can I find a uniform bound that does not depend on where I start?
Let $\{a_k\}_{k\in \mathbb{Z}} \subset \mathbb{R}$ a real sequence and $a\in \mathbb{R}$ such that $$ \lim_{n\to +\infty} \frac{1}{n} \sum_{k=1}^n a_k = a = \lim_{n\to +\infty} \frac{1}{n+1} \sum_{k=0}...
- 8,903
2
votes
0
answers
57
views
Regularization for Newtonian n-body collisions in $\mathbb{R}^3$
In working with binary collisions in the Hamiltonian formulation of the Newtonian $n$-body problem, two common regularization techniques that deal with binary collisions are the Levi-Civita technique, ...
- 63.9k
4
votes
1
answer
430
views
Criteria for extending vector field on sphere to ball
Below is a theorem that is equivalent to Brouwer fixed-point theorem, which I found quite interesting. The proof is in this PDF file.
Let $v: \mathbb S^{n-1} \to \mathbb R^n$ be a continuous map, ...
- 11.1k
14
votes
1
answer
955
views
On the iterated automorphism groups of the cyclic groups
Let $C_n$ be the cyclic group of order $n$. Its automorphism group $Aut(C_n)$ is a group of order $\varphi(n)$ isomorphic to $(\mathbb{Z}/n\mathbb{Z})^{\times}$ the multiplicative group of integer ...
2
votes
1
answer
148
views
Entire function of finite order with deficient value
There are some sufficient conditions for an entire function to have a finite deficient value e.g., if the order $\rho$ of an entire function $f$ is such that $2<\rho<+\infty$ with all but ...
1
vote
0
answers
71
views
Multiply connected Fatou component of an entire function
This question may be trivial but still I want to know the answer.
Question: Is there any necessary condition (except boundedness of the Fatou component) for the existence of a multiply connected Fatou ...
20
votes
2
answers
1k
views
Find $Y\in\operatorname{GL}_n(\mathbb{Z})$ such that all eigenvalues of $YX$ are nonnegative
I saw this problem some years ago and I would greatly appreciate any reference or solution.
Let $X \in \operatorname{M}_n ( \mathbb{R} )$. Prove that there is $Y \in \operatorname{M}_n ( \mathbb{Z} )$...
- 12.9k
3
votes
2
answers
429
views
Functional equations based on composition
I have asked this question here (*), but there are no answer.
Let $n \in \mathbb N^*$, $\{a_0,\ldots,a_n\} \subset \left] 0,+\infty\right]$. We suppose $Eq : \sum\limits_{k=0}^n a_k f^k(x)=0$ have no ...
- 109k
14
votes
7
answers
3k
views
Furstenberg $\times 2 \times 3$ conjecture, bibliography
Furstenberg $\times 2 \times 3$ original conjecture states that the unique continuous invariant probability measure for $2x$ mod $1$ and $3x$ mod $1$ is the Lebesgue measure.
I wanted to have a ...
- 101
3
votes
1
answer
241
views
Is the geodesic flow on a Riemannian manifold conservative?
Let's consider a complete Riemannian manifold $\mathcal{M}$. The geodesic flow of $\mathcal{M}$ is a first-order flow on the tangent bundle $T\mathcal{M}$.
My question: Is it conservative? By ...
- 26.3k
0
votes
1
answer
77
views
Same occupation measure $\Rightarrow$ same trajectory
Let $f$ be a $\mathcal{C}^1$ vector field (VF) on a compact subset $M \subset \mathbb{R}^n$. $M$ inherits the Euclidean metric. We define a dynamical system by
$$\dot{x}(t)=f(x(t))$$
The occupation ...
- 1,989
6
votes
1
answer
173
views
References on semigroup actions
I posted this question on Math Stack Exchange about 10 days ago, but received no answer (https://math.stackexchange.com/q/4843881/1223994).
I would like to ask for references on semigroup actions on ...
- 4,459
1
vote
1
answer
87
views
Is equal natural density on intervals with matching areas but opposite signs sufficient to use fixed-width part sizes for a simple Riemann sum?
Suppose we have a sequence $\theta_n$ which is dense on $\left(0,2\pi\right)$. Furthermore, if $A=(x,y)\subset(0,\pi)$ and $B=(x+\pi,y+\pi)$ for some $x,y$, and if we define the natural density of a ...
- 63.9k
6
votes
2
answers
2k
views
Textbooks or lecture notes about mean field games
I am looking for a good introductory level textbook (or lecture notes) on mean field games that would be suitable for a graduate course. Ideally, it would include some brief words about optimal ...
- 188k
16
votes
6
answers
1k
views
A Leibniz-like formula for $(f(x) \frac{d}{dx})^n f(x)$?
Let $f(x)$ be sufficiently regular (e.g. a smooth function or a formal power series in characteristic 0 etc.). In my research the following recursion made a surprising entrance
$$
f_1(x) = f(x),\ f_{n+...
- 10.5k
8
votes
2
answers
2k
views
5n+1 sequence starting at 7
Consider the following variant of the Collatz function: $f:\mathbb N\rightarrow\mathbb N$ is defined by
\begin{equation}
f(n):=\begin{cases}
n/2 & \text{if $n$ is even}\\
5n+1 & \...
- 6,969
2
votes
0
answers
71
views
Any solution of an evolution problem tends to a steady state in $L^2$?
I have a general question. Suppose that we have the following simple evolution problem $\begin{cases} \dfrac{\partial u}{\partial t}-\Delta u=f(u), & (t,x)\in (0,\infty)\times\Omega\\ \dfrac{\...
- 1,759
5
votes
2
answers
2k
views
Invariance of dynamical system under a transformation
I have come across an interesting property of a dynamical system, being transformed by a map, but i haven't been able to figure out why this is happening (for quite some time now actually). Any help ...
CommunityBot
- 1
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
2
votes
1
answer
139
views
Can a chaotic trajectory solve an algebraic equation?
Given a polynomial ODE in $n$-dimensions of maximal degree $d$
$$\dot{x}_j=f_j(x)=\sum_{i_{1},\dots,i_{n}=1}^{d}a_{i_{1},\dots,i_{n}}^{j}x_{1}^{i_{1}}\dots x_{n}^{i_{n}} \quad \forall j=1,...,n$$
we ...
- 177
2
votes
0
answers
65
views
Where can I find resources for a paper "Stability analysis of a novel DDE of HIV CD4+ T-cells"?
I am currently working on a the paper [NND]:
Question:
On page 4, equation 6 introduces a concept related to the infection rate within the context of the HIV model. Unfortunately, the paper does not ...
- 6,367
12
votes
6
answers
1k
views
Radial behavior of dynamical map $x_{n+1}=2x_ny_n$, $y_{n+1}=1-2x_n^2$
Consider the sequence in the unit disk $D=\{(x,y)\,|\,x^2+y^2\leq 1\}$ iteratively defined by the quadratic map $$\begin{aligned} x_{n+1}&=2x_ny_n\\y_{n+1}&=1-2x_n^2\end{aligned},$$
starting ...
- 61.9k
57
votes
0
answers
3k
views
On the first sequence without triple in arithmetic progression
In this Numberphile video (from 3:36 to 7:41), Neil Sloane explains an amazing sequence:
It is the lexicographically first among the sequences of positive integers without triple in arithmetic ...
- 2,858
11
votes
2
answers
2k
views
De Finetti's theorem, the pointwise ergodic theorem, and reverse martingales
De Finetti's theorem says that an exchangeable sequence of random variables $X_i$ is a mixture of i.i.d. random variables. In other words, if $\mu$ is a measure on $\mathbb{R}^\infty$ that is ...
- 113
0
votes
1
answer
188
views
Hitting times in ergodic dynamical systems
For an ergodic Dynamical System, we know that the return has average equal to 1 over the measure of the set in question. What can we say about the hitting time? Also has finite average? Is it ...
- 2,621
1
vote
0
answers
83
views
Approximating evalutation maps at open sets over invariant measures
Let $G$ be a group acting by homeomorphisms on a compact metrizable space, say $X$; let's denote by $\alpha:G\to\mathrm{Homeo}(X)$ the action, $g\mapsto\alpha_g$, and consider the weak-$^*$ compact ...
- 93
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 ...
- 4,938
2
votes
0
answers
136
views
Progess on conjectures of Palis
I came across a "A Global Perspective for Non-Conservative Dynamics" by Palis. He has some conjectures
"Global Conjecture:
There is a dense set $D$ of dynamics such that any element of ...
- 247
0
votes
1
answer
282
views
Do invariant open sets generate the $\sigma$-algebra of invariant sets?
Let $X$ be a Polish space with Borel $\sigma$-algebra $B(X)$. Let $G$ be a locally compact group. $T:G\times X\to X$ be a continuous action of $G$ on $X$.
The $\sigma$-algebra of invariant sets is ...
- 6,406
-5
votes
1
answer
592
views
Central limit theorem for irrational rotations
Let $\alpha$ be an algebraic integer of modulus 1, and $ R_\alpha z=\alpha z$. Is
$$\lim_{n\to\infty}\frac{\log|\sum_{k=1}^n \Re R_\alpha^k z|}{\log n}=\frac12$$ for all $z\in S^1$?
Birkhoff's ergodic ...
- 2,135
11
votes
1
answer
462
views
A strengthening of base 2 Fermat pseudoprime
If $n$ is a prime then for all $k$ with $1 \le k \le [n/2]$,
$k$ divides ${n-1 \choose 2k-1}$ because of the identity
${n-1 \choose 2k-1} \frac{n}{k}=2{n \choose 2k}$. My question is whether
an ...
- 1,362
4
votes
1
answer
616
views
Types of triangles admitting periodic billiard orbits
It is an open problem in dynamical systems if every triangle has a periodic billiard orbit. So far it has been proven that equilateral triangles, isosceles triangles, right triangles, and obtuse ...
- 11