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

learn more… | top users | synonyms

1
vote
2answers
189 views

If Non wandering Set is whole space then recurrent set is dense?

I tried to prove following statement and use some techniques but I couldn't get result : Question: If Non wandering Set is whole space then Recurent set is dense?? when $T:X \to X$ is ...
0
votes
0answers
78 views

The growth rate of almost periods for almost periodic function

A subset $A \subset \mathbb{R}^2$ is relative dense if there exists $L>0$ such that for every $p\in \mathbb{R}^2$ there exists $p' \in A$ such that $|p-p'|<L.$ A continuous function $f : \...
0
votes
0answers
63 views

Joint point of coarse geometry and dynamical system?

My major interest is on dynamical systems, but I did REU in a coarse embedding problem. I wonder whether there's some significant connection between those two subjects. I've tried to google for a ...
5
votes
0answers
104 views

Topologically transitive, pointwise minimal systems

I'm cross-posting this from SE. Let $T$ be a group, and let $(X,T)$ be a flow, i.e. $X$ is a compact Hausdorff space and $T$ acts on $X$ by homeomorphisms. A flow $X$ is called topologically ...
4
votes
1answer
132 views

Is there a mixing condition to get the decay property I want?

Let $(X,\mu)$ be a probability measure space and $T:X\to X$ an ergodic invertible measure preserving transformation. Consider a measurable set $A\subset X$ with $0<\mu(A)<1$ For each $N$ define ...
1
vote
1answer
232 views

A quantitative Kronecker theorem

I encounter the following question. $\textbf{Problem}$: For almost all Matrix $M\in\mathcal M_{m\times n}(\mathbb R),$ all $y\in \mathbb R^m$ and any $N$, small $\epsilon>0$, there exists a ...
1
vote
0answers
94 views

Strict factor of a dynamical system with the same entropy [closed]

Say that a factor of an invertible measure-preserving transformation $T$ is strict if it is not isomorphic to $T$. Does there exist an invertibe mpt $T$ such that $0 < h(T) < \infty$ and ...
7
votes
0answers
250 views

Generator of a $\bigoplus_{n=0}^\infty \mathbb{Z}/2\mathbb{Z}$-action

Let $T$ be a measure-preserving action of a group $G$ on a Lebesgue space $X$. That means that $T$ associates an automorphism (i.e. an invertible measure-preserving transformation) $T^g$ of $X$ to ...
8
votes
1answer
143 views

How to eliminate secular terms for perturbed non-oscillatory equations?

Even in a linear second order equation like $x''+x'+\epsilon x=0$ the standard asymptotic expansion has a secular term already in the first order of $\epsilon$, namely $$x(t)=a_0+b_0e^{-t}+\epsilon(...
6
votes
1answer
121 views

Generator determined by finitely many translates implies zero entropy

Let $T$ be a measure preserving transformation of a standard probability space $(X,\mathcal{B},\mu)$. A partition $\alpha$ of $X$ is said to be a generator for $T$ if the smallest $T$ invariant $\...
7
votes
2answers
310 views

Periodicity in iterated powers of sin, cos, exp

Given a complex number $z$, consider the sequence \begin{align*} a_0 & = 1\\ a_1 & = (cos(1))^z\\ a_n & = (cos(a_{n-1}))^z \end{align*} This question is about trying to understand ...
0
votes
1answer
56 views

Stabilize the vector field of $y' = f (y) - \gamma H^T(HH^T)^{-1}h( y ) $ of ODE $y' = f(y)$

This question has been asked here but there is no answer: http://math.stackexchange.com/questions/1585400/stabilize-the-vector-field-of-y-f-y-hthht-1h-y-of-ode-y Consider autonomous ODE $y' = ...
0
votes
0answers
183 views

Can we find an upper bound?

Let $f\in C^1(\mathbb R)$ with $f(0)=0$ and $|f'(x)|\le m$, where $m\in (1,2]$. Let $x(0)\in\mathbb R$ be arbitrary, and define $x(n),y(n)$ recursively by $$ x(n+1)=f(x(n)) , \quad\quad y(n)=\frac{x(n+...
11
votes
1answer
229 views

Unusual digit sets that allow finite expansions for all (positive and negative) integers

Informal introduction (If you don't like informal introductions, please skip to 'Mathematical formulation') Whenever our 'decimal positional system' for writing numbers comes up in conversation, ...
5
votes
1answer
391 views

Algebraic dynamics in finite fields

What is known about combinatorial structure of the rational maps of degree 2 over finite fields? From some general reasons I think it was studied. For being more specific, consider the field $\mathbb{...
3
votes
1answer
121 views

Packing measure and Kleinian groups

There has been "some" debate on the notion of fractal (as an illustration, see for example the discussion in this link). One of the possible notions includes relating Hausdorff dimension and packing ...
2
votes
2answers
261 views

How to prove Liouville measure is invariant under geodesic flow?

Let $M$ be a complete n dimensional Riemannian manifold. $vol$ denotes the n dimensional Hausdorff measure. Let $$ SM=\{(x,v)|x\in M, v\in T_xM, \|v\|=1\} $$ be the unit tangent bundle of $M$. Then $...
2
votes
0answers
71 views

Distal actions on coset spaces

Let $H$ be a group acting by homeomorphisms on a Hausdorff space $X$. Say the action is distal if for all $(x,y) \in X \times X$, if the set $\{(hx,hy) \mid h \in H\}$ accumulates at a diagonal point ...
5
votes
0answers
71 views

Uniqueness of Birkhoff Normal Form and KAM theory for Symplectomorphims

I am starting to work with Hamiltonian Dynamics and I have been taking a look at some of the basic stuff in KAM theory. I have posted part of this question at MSE but as I did not get any response I ...
3
votes
0answers
65 views

Almost sure convergence of double nonconventional ergodic averages with respect to $L^p$ function

A famous result of J. Bourgain says that for a probability measure preserving system $(X,\beta,\mu,T)$, with $T_1$ and $T_2$ powers of $T$, we have that for $f_1$, $f_2\in L^{\infty}(\mu)$,$$\frac{1}{...
0
votes
0answers
41 views

An almost periodic point must be a unifomly recurrent point?

$(X,G)$ is a topological semi-group action, $G$ is a topological (abelian) semigroup, and $X$ is a Hausdorff space. $x\in X$ is called almost periodic of $(X,G)$, if for any neibourhood $U$ of $x$, ...
0
votes
0answers
79 views

A question from One Dimensional Dynamics book by De-Melo and van-Strien

In One Dimensional Dynamics, on page 27 I don't understand how does $(1.7)$ follow; anyone care to explain this to me? Thanks in advance. I am adding some information from the text below: We are ...
7
votes
2answers
153 views

Characterizing when matrices are 'dissipative'

An $n$ by $n$ matrix A is said to be dissipative with respect to a norm $\|\cdot \|$ if for all $x$ and $t\geq 0$, we have $\|e^{At}x\|\leq\|x\|$. Two matrices $A$ and $B$ are said to be jointly ...
7
votes
2answers
127 views

List of Bernoulli chaotic systems

Which discrete chaotic systems are known to be Bernoulli (i.e. measure theoretically isomorphic to a Bernoulli shift, one-sided or two-sided)? I am aware that it is known for some uniformly ...
1
vote
0answers
53 views

Complexity theory and closed form formulas in analysis

My question concerns definitions of "closed form" solutions. In hamiltonian systems this is closely related to complete integrability. In this context closed form can refers to having $(q(t),p(t))$ ...
2
votes
0answers
147 views

Shape-related vector fields

Assume that $M$ is a surface in $\mathbb{R}^{3}$. We denote its shape operator by $S$. A vector field $X$ is shape related to $Y$ if $S(X)=Y$. (of course it is not an equivalent relation). ...
3
votes
1answer
72 views

Convergence of local stable manifolds

This question is a kind of local version of a previous post (MO224171). Let $\ f_n \ $ be a sequence of Morse functions on $\mathbb{R}^d$, converging, in the $C^\infty$-topology, to a limit Morse ...
6
votes
1answer
105 views

Stable manifolds of a sequence of Morse functions

Let $\ f_n \ $ be a sequence of Morse functions on $\mathbb{R}^d$, adequately converging (in the $C^2$-topology, say) to a limit Morse function $\ f$: $$ f_n \to f \ .$$ At any critical point $\ p\ $...
3
votes
1answer
110 views

The action of $GL(\mathbb{R}^{n})\otimes GL(\mathbb{R}^{m})$ on $\mathbb{R}P^{(mn-1)}$

Motivated by the following RG question we ask a related question as follows: We identify $\mathbb{R}^{n} \otimes \mathbb{R}^{m}$ with $\mathbb{R}^{mn}$. We define $GL(\mathbb{R}^{n})\otimes GL(\...
27
votes
3answers
816 views

A point set of power series with coefficients in {-1, 1}. Connected or not?

Let $z$ be a fixed complex number with $|z|<1$ and consider the set $$X_z := \Big\{\sum\limits_{i=1}^{\infty} a_i z^i \ \Big|\ a_i\in \{-1,1\} \forall i\Big\}.$$ What can be said about the set $M$ ...
5
votes
3answers
371 views

Ergodic theory: from Dynamics to Gibbs measure

I'm trying to understand the ergodic theory approach to statistical mechanics, namely how ergodic measure preserving dynamics lead to the Gibbs measure. I have a compact space $X$, a probability ...
0
votes
0answers
46 views

Integrability of the orthogonal complement of a holomorphic vector field on $\mathbb{C}^{2}$

Assume that $$\begin{cases}\dot x=P(x,y)\\\dot y=Q(x,y)\end{cases}$$ is a non vanishing holomorphic vector field on an open subset $U$ of $\mathbb{C}^{2}\simeq \mathbb{R}^{4}$. It defines a two ...
0
votes
0answers
161 views

On a certain set of probability measures on a shift

Denote by $\mathbb{Z}_2=\{0,1\}$ the integers modulo 2. Let $S:\mathbb{Z}_{2}^{\mathbb{N}}\times\mathbb{Z}_{2}^{\mathbb{N}} \rightarrow \mathbb{Z}_{2}^{\mathbb{N}}$ be the sum $S(a,b) = a+b$, where $...
9
votes
1answer
268 views

The intuition behind the Hilbert projective metric and the Perron Frobenius Theorem

Recently I have read a proof of the Perron Frobenius Theorem for positive aperiodic matrices. In this proof, the trick is to put a metric in the "positive quadrant" of $\mathbb{R}^n$, $\mathbb{R}^{n}_+...
1
vote
1answer
64 views

Holomorphic vector field with infinite separatrix

Let $V=\sum_{i=1}^{n}a_i(z_1,\ldots z_n)\frac{\partial}{\partial z_i}$ be a holomorphic vector field defined on a neighborhood $U\subset \mathbb{C}^n$ of the origin, such that the common zero point of ...
2
votes
2answers
100 views

“Dynamical” spectral gap for the orignal system out of the spectral gap for the induced system

I would like to prove presence of a spectral gap for the transfer (Ruelle-Perron-Frobenius) operator for some non-uniformly hyperbolic dynamical system on the unit interval. Suppose that I know how to ...
1
vote
3answers
211 views

reference on complex dynamics

Please someone suggest me some reference on the topic "Complex Dynamics". I want a brief geometric treatment from the root level. I have graduate level background on complex analysis, riemannian ...
6
votes
0answers
122 views

How much energy will be released in the explosion when one shoots a superelastic billiard ball into a collection of still superelastic billiard balls?

Consider the following scenario. Let $\alpha>1$. Suppose whenever two superelastic balls collide at speed $\gamma$ they bounce off each other at speed $\gamma\cdot\alpha$ (i.e. $\alpha$ is the ...
5
votes
2answers
225 views

Noninvariance for a specific nonlinear oscillator

Consider the nonlinear system \begin{align*} \frac{d}{dt} \begin{pmatrix} x_1(t) \\ x_2(t) \end{pmatrix} = \begin{pmatrix} x_2(t) \\ -4x_1(t) + x_1^2(t) \end{pmatrix}, \end{align*} which admits ...
0
votes
0answers
85 views

when the composition of two ergodic maps is ergodic?

I would like to know if there are sufficient criteria for the composition of two ergodic maps to be still ergodic. My context is piecewise affine transformations of the torus in arbitrary dimensions
20
votes
2answers
656 views

Distribution of the Error term in GH Hardy's “curious result” $\sum_{\nu \leq n } \{ \nu \theta \}^2 = \tfrac{1}{12} n + O(1)$

In an early paper, GH Hardy talks about the distribution of "curious" sum: $$ \sum_{\nu \leq n } \{ \nu \theta \}^2 = \tfrac{1}{12} n + O(1)$$ where $\{x\}:=x-\left \lfloor x \right \rfloor -1/2$. ...
0
votes
0answers
79 views

A heat equation approach to the perturbation of vector field with center

Edit: According to the comment of Willie Wong I realize that the previous version was trivial. I thank him for his comment. Now I revise it. We consider the heat equation $$U_{t}=\Delta U\\U(x,y,0)=...
16
votes
1answer
666 views

Are the algebraic numbers dense everywhere on the boundary of the Mandelbrot set?

Let $\mathcal{B}$ denote the boundary of the Mandelbrot set, and let $\overline{\mathbb{Q}}$ denote the algebraic closure of the rationals. Further put $\mathcal{B}_{\overline{\mathbb{Q}}} := \mathcal{...
9
votes
1answer
229 views

Conformal changes of metric and geodesics

Suppose $(M,g)$ is a Riemannian manifold. Let us assume that $X$ denotes a vector field in this manifold and consider the integral curves of this vector field. Does there exist a conformal factor $c$ ...
5
votes
0answers
74 views

What statistical data/quantities are known about the time spent by a generic orbit of an ergodic system in a fixed set?

By the ergodic theorem, we know that for almost every point, the average time spent by an orbit in a set is equal to the relative measure of that set. What other information about that time can we ...
5
votes
0answers
95 views

A finiteness question for integrable polynomial distributions on $\mathbb{R}^3$

This question is motivated by the finitness of limit cycles for polynomial vector fields on $\mathbb{R}^2$ Assume that $X,Y$ are two independent polynomial vector fields on $\mathbb{R}^{3}$ such ...
5
votes
0answers
62 views

Is there a name for a bifurcation where a stable fixed point bifurcates into three fixed points: stable, unstable and saddle?

Consider the differential equation on $\mathbb{R}^2$ whose polar-coordinate representation is given by $$ \begin{array}{r c l} \dot{r} & = & r(\alpha - r^2) \\ \dot{\theta} & = & -sin(\...
4
votes
2answers
263 views

Entropy equals zero?

Imagine you have a shift invariant ($\sigma$-invariant) probability measure $\eta$ in the Bernoulli space $\{0,1\}^{\mathbb{N}}$. Define $\mathcal{P} = \{[0],[1]\}$; $\mathcal{P}^{n} = \mathcal{P}\...
2
votes
0answers
122 views

Flow on invariant Lagrangian tori

The most concrete version of the question is : A (necessarily) invariant Lagrangian torus $L$ on the unit cotangent of a Riemannian metric on the two-torus carries a periodic orbit with period $T$. ...
2
votes
0answers
87 views

What is known about topological equivalence of polynomial dynamical systems on two different domains in R^n?

The question is mainly about $\it flows$, not maps (i.e., continuous time, not discrete time). Is it known if the study of polynomial dynamical systems on $\mathbb R^n$ can be reduced to the study ...