Skip to main content

Questions tagged [ds.dynamical-systems]

Dynamics of flows and maps (continuous and discrete time), including infinite-dimensional dynamics, Hamiltonian dynamics, ergodic theory.

Filter by
Sorted by
Tagged with
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+...
katago's user avatar
  • 543
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 ...
Joseph O'Rourke's user avatar
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 ...
No One's user avatar
  • 1,565
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 $...
Randall Fairman's user avatar
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 \...
Nikolayevich's user avatar
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{...
MRicci's user avatar
  • 131
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)/...
mwalth's user avatar
  • 143
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 ...
RB1995's user avatar
  • 265
-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?
mahdi's user avatar
  • 11
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 \...
Nick's user avatar
  • 213
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 ...
Julian Newman's user avatar
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 ...
Debbie's user avatar
  • 117
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 \...
G. Panel's user avatar
  • 449
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, ...
Sebastien Palcoux's user avatar
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 ...
Ali Taghavi's user avatar
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 ...
dohmatob's user avatar
  • 6,853
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$...
Ali Taghavi's user avatar
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 ...
Ali Taghavi's user avatar
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 &...
ABIM's user avatar
  • 5,405
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 ...
katago's user avatar
  • 543
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. ...
aghostinthefigures's user avatar
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 ...
Andrew Larkin's user avatar
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$...
user502940's user avatar
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-...
J-A-S's user avatar
  • 131
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 ...
Andrew Larkin's user avatar
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: ...
Ali Taghavi's user avatar
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 ...
Alessandro Della Corte's user avatar
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(\...
Black's user avatar
  • 483
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?
A beginner mathmatician's user avatar
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, ...
Iza_lazet's user avatar
  • 179
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\...
chronondecay's user avatar
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 ...
Carlos Giraldo's user avatar
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 ...
Yakov Shklarov's user avatar
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 \...
Adam's user avatar
  • 1,043
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&...
Julian Newman's user avatar
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 ...
Doriano Brogioli's user avatar
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 ...
mathoverflowUser's user avatar
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 ...
nomadd's user avatar
  • 41
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 ...
dohmatob's user avatar
  • 6,853
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$? ...
mathoverflowUser's user avatar
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 ...
Mikhail Tikhomirov's user avatar
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 = \...
Doriano Brogioli's user avatar
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 ...
Atul Anurag Sharma's user avatar
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 ...
mathoverflowUser's user avatar
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=\...
Motaka's user avatar
  • 291
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(...
Doriano Brogioli's user avatar
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 ...
No One's user avatar
  • 1,565
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 & \...
Linas's user avatar
  • 384
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: (...
Jochen Glueck's user avatar
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\...
RB1995's user avatar
  • 265

1
11 12
13
14 15
50