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
1
vote
0
answers
87
views
How fast will it converge to equilibrium?
$\alpha \in \mathbb{R} \backslash \mathbb{Q}$, given $\varepsilon>0 \quad \lambda>0$.
given $n_{1}, \cdots, n_{k} \in N^{*}$ satisfied $(1-\varepsilon) \lambda<n_{1}<\cdots<n_{k}<(1+...
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 ...
7
votes
3
answers
577
views
Ergodicity of the action of $\operatorname{SL}(n,\mathbb R)$ on $\operatorname{SL}(n,\mathbb R)/\operatorname{SL}(n,\mathbb Z)$
$\DeclareMathOperator\SL{SL}$Let $G\mathrel{:=}\SL(n,\mathbb R)$ and $\Gamma\mathrel{:=}\SL(n,\mathbb Z)$. Consider the action of $G$ on $(G/\Gamma,\mu)$ by left translation, where $\mu$ is the Borel ...
1
vote
0
answers
138
views
Diophantine approximation and the Euclidean algorithm
My question is whether something I've noticed is well-known. It seems like it must be, but I've been unable to find any references that describe what is outlined below.
Given real $x$ and irrational $...
2
votes
0
answers
86
views
Gronwall-type bound for a mix-effect inequality?
This popped up in my research: we have the following mix-effect inequality that $\forall T \geq 1$
\begin{equation}\tag{*}
Y(T) - \frac{1}{100T^2}\int_1^T[\alpha^2 + e^{-(T - t)}]Y(t)dt
\lesssim \...
1
vote
0
answers
99
views
Long-term behavior of asynchronous, stochastic, numerical solution to a dynamical system
I am simulating the behavior of a dynamical system, say $$\dot{x} = f(Ax; \lambda), $$
with an Euler update, where $x\in \mathbb{R}^n$ and $\lambda$ are some parameters. In my scenario, $A\in \mathbb{...
4
votes
1
answer
242
views
Nonlinear system of integral equations
I have encountered a system of nonlinear integral equations in my work. They take the form
$$\int_{0}^{1} \frac{1}{g(y)}e^{f(x)/g(y)}(x+f(x)/g(y)-f(x))dy=0$$
$$\int_{0}^{1}\frac{f(x)}{g(y)^2} e^{f(x)/...
2
votes
0
answers
91
views
Examples of minimal almost 1-to-1 extension of torus having positive entropy?
It is well known that Toeplitz subshifts are minimal almost 1-to-1 extensions of an odometer, and that some of these subshifts have positive entropy. Thus, even if a system is an almost 1-to-1 ...
-1
votes
1
answer
176
views
How do we approximate the pressure in the Boussinesq equations of hydrodynamics? [closed]
How do we approximate the pressure or the gradient of it in the Boussinesq equations of hydrodynamics ?
Is the pressure limited or can it be any amount?
3
votes
0
answers
143
views
Is composition of discrete Hamiltonian flows integrable?
Consider $\Bbb{R}^2$ with the usual symplectic form $$\omega = dx \wedge dy$$
For a function $H \colon \Bbb{R}^2 \to \Bbb{R}$, let $X_H$ be the Hamiltonian vector field. Then the map $\Bbb{R}^2 \to \...
1
vote
0
answers
77
views
Is there a term for a linear operator on an $L^p$ space that "locally respects boundedness"?
Let $X$ be a Polish space, and $\mu$ a locally finite measure. Take any $p \in \{0\} \cup [1,\infty)$. We will say that a linear operator $T \colon L^p(\mu) \to L^p(\mu)$ has property $(\ast)$ if ...
0
votes
0
answers
154
views
A general proof for the first digit problem
Consider two sequences {$a_n$} and {$b_n$}. The former is defined as {$2^n: n = 0 \text{ to } \infty$} and the latter as { first digit (from the left) of each element in the first sequence}. The first ...
0
votes
0
answers
108
views
Uniform convergence for pointwise ergodic theorem
Let $K$ be a compact set of $\mathbb{R}^n$ $(n\geq 1)$ and $v\in\mathcal{C}^1(K,\mathbb{R}^n)$ be a speed field on $K$ such that for any initial condition $x_0\in K$, the following dynamical system
\...
25
votes
2
answers
2k
views
Do these rational sequences always reach an integer?
This post comes from the suggestion of Joel Moreira in a comment on An alternative to continued fraction and applications (itself inspired by the Numberphile video 2.920050977316 and Fridman, ...
3
votes
0
answers
73
views
The diversity of Riemannian metrics adapted to a given foliation، A Krein Millman view point(2)
Inspired by this answer to the linked question we add a more bounded conditions to this post. This question is asked seperately because the previous one had a complete answer so we did not revise ...
5
votes
0
answers
140
views
What kinds of gradient-flows on $\mathbb R^d$ preserve the log-concavity of the distribution $\mu_0$ of starting point $x_0$
Let $\mu_0$ be a log-concave distribution on $\mathbb R^d$ and let $f:\mathbb R^d \to \mathbb R$ be $C^2$. Let $x_0$ be sampled uniformly at random from a log-concave distribution $\mu_0$, meaning ...
5
votes
1
answer
204
views
The diversity of Riemannian metrics adapted to a given (1 dimensional) foliation, A Krein Millman view point
Let $X$ be a Kronecker vector field on the two dimensional torus $\mathbb{T}^2$. Let $K$ be the space of all 1- forms $\alpha$ of class $C^1$ on $\mathbb{T}^2$ which satisfy $d\alpha=0,\;\alpha(X)=1$...
5
votes
0
answers
38
views
Complex $2$ manifold $M$ with a given real 2 dimensional submanifold which meets all complex limit cycles of foliations of $M$
Is there a $2$ dimensional holomorphic manifold $M$ with a closed $2$ dimensional real submanifold $A$ of $M$ such that for every singular holomorphic foliation of $M$, all leaf with non trivial ...
1
vote
0
answers
45
views
Generalizations of the Wiener Tauberian Theorem to Musielak-Orlicz spaces
Musielak-Orlicz spaces provide a generalization of the usual $L^p$ spaces on $(\mathbb{R},\mathcal{B}(\mathbb{R}))$ to spaces of functions for which the Luxemburg norm
$$
\|f\|_M:=\inf\left\{\lambda &...
0
votes
0
answers
70
views
Discrepancy estimate for $3$-interval exchange or $n$-interval exchange map, $n\geq 3$
We know that 2-interval exchange on $\mathbb{T}$($\mathbb{T}$ is identified with $[0,1]$ for convenient in the follow context) is just a rotation on $\mathbb{T}$, and there is a process called ...
1
vote
0
answers
177
views
Is a set over which dynamics are topologically conjugate to a shift map on two symbols always repelling?
Consider the one-sided full shift map $\sigma$ and the associated shift space of infinite sequences in two letters $\{0,1\}^\mathbb{N}$ on which the shift map acts, equipped with the usual metric. ...
0
votes
1
answer
161
views
Why does bounded distortion imply the following inequality?
Let $f: I \to I$ be a one-dimensional differentiable function of bounded distortion with distortion constant $M$, where $I$ is a compact interval in $\mathbb{R}$. That is, $I$ can be partitioned such ...
0
votes
0
answers
28
views
Proof of property for Fiedland entropy
I am working with Friedland entropy and there is a proof I cannot figure out how to do.
Friedland entropy is defined for $\mathbb{Z}^k$ continuos actions $\mathcal{T}$ on a topological metric space $X$...
3
votes
1
answer
263
views
How much algebra is preferable for studying/doing research in dynamical/complex systems and networks
I asked this question earlier on Mathematics StackExchange (link), but I think it might be better to put it here.
This question seems quite broad to ask...
The situation here is that I'm a second-...
3
votes
2
answers
216
views
Showing that the inverse of a function is approximately equivalent to $\frac{1}{n^{1/\alpha}}$
I'm currently working with someone on my PhD, and last week they asked me to check that a certain approximation holds as an exercise. Unfortunately, I couldn't figure out how to do it, and we've since ...
2
votes
0
answers
110
views
A quantity associated to a foliated manifold and its non-commutative interpretation
Let $M$ be a compact $n$-dimensional manifold. Assume that $F$ is a $k$-dimensional foliation of $M$.
The graph $G(M,F)$ of this foliation is a $(n+k)$-dimensional manifold. We recall its definition:
...
2
votes
3
answers
638
views
The critical exponent function
It is a known fact [1] that, for every $c\in (1,\infty]$, it is possible to find a finite alphabet $\mathcal{A}$ and a word $w\in \mathcal{A}^\omega$ such that $w$ has critical exponent $c$. It looks ...
2
votes
1
answer
188
views
Minimal components of the translation action on the Stone–Čech compactification
$\newcommand\Cb{C^\text b}$Let $\Cb(\mathbb R)$ be the C*-algebra formed by all bounded, continuous, complex valued functions on $\mathbb R$.
Consider the action $\tau $ of $\mathbb R$ on $\Cb(\...
2
votes
2
answers
212
views
Is Birkhoff's ergodic theorem true for $L_\infty$?
Is Birkhoff's pointwise/individual ergodic theorem for $L_\infty.$ Clearly, it is true if the measure space is finite? What about the measure space not finite?
6
votes
1
answer
443
views
Can the methods of algebra characterize nonlinear PDE blow-ups?
Consider 2 simple differential equations: $x'(t)=x(t)^2, x(0)=1$ and $x'(t)=-x(t)^2, x(0)=1$.
As $t$ goes from $0$ to $\infty$, the first equation ($x(t)=1/(1-t)$) will lead to a finite-time blow-up, ...
2
votes
0
answers
61
views
Limit set for IFS has either empty interior or dense interior
Let $f_1,\ldots,f_k:\mathbb R^n\to\mathbb R^n$ be contracting affine maps. By the theory of iterated function systems, there is a unique minimal compact $K\subseteq\mathbb R^n$ such that $K=f_1(K)\cup\...
2
votes
2
answers
210
views
Oscillator with discrete number of amplitudes?
I know the question is a little vague, but I would like to know if someone can direct me to what kind of oscillator (if exist), that can follow the next behavior.
I manually create the gif to try to ...
8
votes
1
answer
486
views
The entropy of a partition of unity
A partition of unity can be thought of as a blurred out set partition: identify the fibers of the set partition with their indicator functions; the sum of these indicators is $1$. I would like to ...
1
vote
1
answer
107
views
Lyapunov spectrum($h_{\mathrm{top}}(K(\alpha))$) achieves a positive value somewhere
$\DeclareMathOperator{\top}{\mathrm{top}}$Let $(\Sigma, T)$ be a topologically mixing subshift of finite type and $f:\Sigma \to \mathbb{R}$ be a Hölder continuous map.
Let
$$K(\alpha)=\Big\{x\in \...
0
votes
1
answer
82
views
Can the identity function be approximated by compositions of a "uniformly monotone-and-convex" set of functions?
Does there exist a set $F$ of monotone continuous functions $f \colon [0,1] \to [0,1]$ with the following properties?
For each $f \in F$ there exists $x \in [0,1]$ such that $f(x)=1$.
There exist $0&...
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 ...
2
votes
0
answers
281
views
Surreal numbers and the Collatz iteration as a game?
Let us define a game based on the Collatz function $C(n) = n/2$ if $n$ is even, otherwise $=3n+1$.
Each number $n$ represents a game played by left $L$ and right $R$:
$$n = \{L_n | R_n \}$$
The rules ...
4
votes
1
answer
485
views
All rational periodic points
I am trying to find all rational periodic points of a polynomial. To specify: a periodic point is the point that satisfy $f^n(x)=x$. It is related to dynamical systems in fact. So the current codes ...
5
votes
3
answers
643
views
What quantities are conserved under a general gradient-flow $\dot X(t) = -\nabla L(X(t))$?
Let $L:\mathbb R^N \to \mathbb R$ be a continuously differential function with gradient $x \mapsto \nabla L(x)$ and consider induced gradient-flow
$$
\dot X(t) = -\nabla L(X(t)).
$$
Question. Is ...
2
votes
0
answers
91
views
Does there exist a natural number $m$ such that $\sigma^{(k)}((2m+1)^2)$ is an odd square number for all $k\ge 0$?
This question, comes out of a question in MSE and I hope it is ok to ask it here:
Does there exist a natural number $m$ such that $\sigma^{(k)}((2m+1)^2)$ is an odd square number for all $k\ge 0$?
...
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 ...
0
votes
1
answer
106
views
Lyapunov vectors along a trajectory
I have the equation:
$$
\dot{x}_i = F_i(x)
\tag{1}
$$
with $x\in \mathbb{R}^n$. To deal with the Lyapunov exponents, we write the equation for small displacements $\delta x_i$:
$$
\dot{\delta x}_i = \...
0
votes
0
answers
124
views
Can non wandering sets be connected?
I know that the alpha and omega limit sets of a flow on a compact connected invariant subset of a manifold must be connected and these limit sets are contained in the non wandering set.
My question is ...
11
votes
1
answer
1k
views
Generating functions of Collatz iterates?
Let $C(n) = n/2$ if $n$ is even and $3n+1$ otherwise be the Collatz function.
We look at the generating function $f_n(x) = \sum_{k=0}^\infty C^{(k)}(n)x^k$ of the iterates of the Collatz function.
The ...
4
votes
2
answers
231
views
Inclusion of infinite intersection
Let $E$ be a Banach space, $T:E\rightarrow E$ a continuous bounded nonlinear mapping., and $\{x_n\}_{n\in\mathbb N}$ such that $$x_{n+1}=T(x_n),\:\forall n\in \mathbb{N}:=\{0,1,\cdots\}.$$
Let $$X_n=\...
1
vote
1
answer
130
views
Starting vector in Lyapunov exponents evaluation
Let us consider the equation:
$$
\dot{x}_i = F_i(x)
$$
with $x\in \mathbb{R}^n$ and $i=1\dots n$, and the equation for small displacements:
$$
\dot{\delta x} = \sum_j \frac{\partial}{\partial x_j} F_i(...
0
votes
0
answers
80
views
Distribution of the values of the product $\prod_{k=1}^n |1-e(k\alpha)|$ for an irrational number $\alpha$
For an irrational number $\alpha$, let $e(k\alpha):=\exp(2k\pi i\alpha)$. It was indicated in this thread that
$$\limsup_{n \to \infty} \prod_{k=1}^n |1-e(k\alpha)|=\infty$$
(actually a weaker result ...
1
vote
0
answers
189
views
Vandermonde shift
I'm looking for any known results on a shift operator commutated by a Vandermonde matrix. That is, let
$$T=\begin{bmatrix}0 & 1 & 0 & 0 & \cdots \\
0 & 0 & 1 & 0 & \...
3
votes
0
answers
65
views
Uniform stability of linear operators - reference request
Let $T$ be a bounded linear operator on a complex Banach space $X$. I am looking for a reference for the following result:
Theorem 1. Let $p \in [1,\infty]$. The following assertions are equivalent:
(...
10
votes
3
answers
553
views
Can an "almost injective'' function exist between compact connected metric spaces?
Let $\pi: X\to Y$ be a surjective continuous function between the compact, metric and connected spaces $X$, $Y$, and $Y_0 = \{y\in Y: \#\pi^{-1}(y)>1\}$. Suppose that:
$Y_0$ is dense in $Y$,
$Y\...