Dynamics of differential equations and flows, mechanics, classical few-body problems, iterations, complex dynamics, delayed differential equations.

learn more… | top users | synonyms

2
votes
0answers
56 views

A different Lie algebra structure on $\chi^{\infty}(\mathbb{R}^{2})$

In this question $\chi^{\infty}(\mathbb{R}^{2})$ or $\chi^{\infty}(S^{2})$ is the space of all smooth vector fields on the plane or sphere. A limit cycle for a vector field $X$ is an isolated closed ...
3
votes
0answers
57 views

Integrability of Continuous Tangent Subbundles

Are there any field of mathematics, except dynamical systems, where one needs to integrate continuous sub-bundles of the tangent space? More specifically given a smooth manifold of $M$ and a ...
2
votes
1answer
75 views

Smooth conditional measures for strong stable foliations of Anosov flows

I am trying to prove an analytic result for gesodesic flows on negatively curved manifolds and I encountered the following dynamical-system porblem. Let $B^n$ be $n$-dimensional balls and ...
18
votes
1answer
883 views

Periodic Orbit property

A topological space $X$ satisfies "Periodic orbit property", briefly POP, if for every continuous map $f:X \to X$, there exist a natural number $n$ and a point $x_{0}\in X$ such that ...
8
votes
2answers
294 views

An algorithm for Poincare recurrence time

Define the function $[0,+\infty) \rightarrow R$: $$ f = \cos (t) + \cos (\sqrt{2} t) + \cos (\sqrt{3} t) + \cos (\sqrt{5} t ) . $$ I want a number $t $ bigger than $10^7$ such that $$ f(t) > 4 ...
3
votes
2answers
170 views

Equidistribution of Hecke points and $p = (a+bi)(a-bi) = e^{i\theta}\sqrt{a^2 + b^2}$

I have seen two versions of a result called "Hecke Equidistribution" and I wanted to know if they were the same or different. #1 Let $p = 4k+1 = (a+bi)(a-bi) = e^{i\theta}\sqrt{a^2 + b^2}$. Then ...
3
votes
1answer
106 views

Regarding the definition of S-flows over a category (given a monoid S)

(This question was originally directed to Simone Virili, referring to the answer http://mathoverflow.net/a/103840/2926, but could also be addressed to the greater community.) I was wondering if you ...
2
votes
1answer
300 views

How to find representatives of $SL(2,\mathbb{R})/SL(2, \mathbb{Z})$

While reading about the Teichmuller flow, I am reading about the space of lattices $SL(2,\mathbb{R})/SL(2, \mathbb{Z})$. I could not a find a good way of computing the Teichmuller flow on this ...
9
votes
4answers
964 views

Computing the centers of Apollonian Circle Packings

The radii of an Apollonian circle packing are computed from the initial curvatures e.g. (-1, 28, 27, 23) solving Descartes equation $2(a^2+b^2+c^2+d^2)=(a+b+c+d)^2$ and using the four matrices to ...
3
votes
1answer
969 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 ...
0
votes
0answers
25 views

Quadratic stability of linear time varying system

(This question was originally asked at Math.SE, where it didn't receive any answers.) Consider the linear time-varying system $$ \dot{x} = A(t) x, $$ where $x \in \mathbb{R}^n$ and $A: [0,+\infty) ...
6
votes
1answer
324 views

Who introduced the concept of topological mixing?

I am writing an introduction and I want to know who introduced the concept of topological mixing?
6
votes
4answers
603 views

A follow up question related to entropy

For a self-map $\varphi:X\longrightarrow X$ of a space $X$, many important notions of entropy are defined through a limit of the form $$\lim_{n\rightarrow\infty}\frac{1}{n}\log a_n,$$ where in each ...
4
votes
3answers
189 views

Approximating Subshifts From Below

I'm looking to understand how to approximate certain countable alphabet subshifts by Markov shifts, and realised that I don't know how to do it even in the finite alphabet case. My guess is that the ...
2
votes
0answers
154 views

Characterization of certain analytic vector fields on $S^{2}$

Let $X$ be a real analytic vector field on $S^{2}$ which satisfies: $X$ has a finite number of singularities on $S^{2}$ The equator is invariant under flow of $X$ 3.$g_{*}X=\pm X$ where $g$ ...
0
votes
0answers
89 views

Can the image of a disk have nontrivial Hausdorff measure for $1 < d < 2$?

I am reading a blog which talks about a $C^1$ diffeomorphism $f: \mathbb{D}\{ x^2 + y^2 < 1\} \to \mathbb{R}^2$ and estimates the Hausdorff dimension of its image $\mathcal{H}_\sqrt{2}^d ...
0
votes
1answer
94 views

Stability of singularity in singular holomorphic foliation

For an open subset $U$ of $\mathbb{C}^{2}$ containing $0$ and a holomorphic map $f:U\to \mathbb{C}^{2}$ which has a unique zero at the origin we associate a natural singular holomorphic ...
13
votes
1answer
437 views

A Collatz-like function that bifurcates on primes

This is likely piling one mystery on another, but ... I was exploring a function $f(n): \mathbb{N} \mapsto \mathbb{N}$ defined as follows: $$ f(n) = \begin{cases} n^2 & \text{if} \;n \;\text{is ...
4
votes
0answers
242 views

Are there always at least *five* divisions?

@JosephO'Rourke asked a question about a Collatz like function related to primes: $f(n) = \begin{cases} n^2 & \text{if} \;n \;\text{is prime} \\ \lfloor n/2 \rfloor & \text{if} \;n ...
6
votes
1answer
114 views

Decay of cusps in geometrically finite groups

Let $X=\mathbb{H}^{n}/\Gamma$ be a quotient of hyperbolic space of a geometric finite subgroup. Let $\mu$ be the Bowen-Margulis measure on the unit tangent bundle, and $m$ its projection to $X$. Fix ...
3
votes
2answers
141 views

Differential form equation in Bowen's lecture notes

I'm reading one of the classical theorems presented in Bowen's lecture notes, "Equilibrium States and the Ergodic Theory of Anosov Diffeomorphisms." I'm trying to figure out a very short line of ...
8
votes
1answer
226 views

is there a diffeomorphism with only finite orbits but of infinite order?

I asked this in stackexchange, but got no answer, so I am trying here. Is it possible for a diffeomorphism $\phi$ (of a smooth manifold $M$) to have the following properties: All its orbits are ...
30
votes
5answers
852 views

Can every $\mathbb{Z}^2$ disk be pinball-reached?

Let every point of $\mathbb{Z}^2$ be surrounded by a mirrored disk of radius $r < \frac{1}{2}$, except leave the origin $(0,0)$ unoccupied by a disk. Q. Is it the case that every disk can be ...
6
votes
6answers
471 views

Finite-space dynamical systems

This question is quite open-ended, but I will formulate several sub-questions that I'll try to make precise. It is about finite-state dynamical system: start with a finite set $X$, with say $n$ ...
1
vote
0answers
368 views

Partial feedback linearization (Control theory)

I'm trying to understand a theorem about partial feedback linearization from the paper "On the largest feedback linearizable subsystem" by R. Marino (published in: Systems & Control Letters, ...
3
votes
0answers
71 views

Trapped Billiard trajectories on non-convex billiard tables

Let $\Omega$ be a domain in $\mathbb{R}^2$ with smooth boundary. A billiard trajectory is a continuous curve $c: \mathbb{R}\supseteq I \longrightarrow \overline{\Omega}$ such that $c(t) \in ...
0
votes
0answers
62 views

Non-ergodic Dye Theorem for orbit equivalent automorphisms

The Dye Theorem states that any two free ergodic p.m.p automorphisms of a standard probability space are orbit-equivalent. Question: Is there a version of the above theorem for non-ergodic ...
2
votes
0answers
39 views

Mappings between adaptive networks and Markov processes

Are there any known mappings between adaptive networks models (i.e. graph model representations of networks where the internal vertex dynamics and connectivity topology can change subject to specific ...
2
votes
0answers
80 views

Motivation for the existence of periodic solutions [closed]

I have been reading the book Critical Point Theory and Hamiltonian System by Mawhin and Willem, as well as several other papers on the existence of periodic solutions for equations of the form ...
6
votes
2answers
106 views

Uniquely ergodicity and polynomial ergodic average

Let $(X,T)$ be a uniquely ergodic system (here X is compact, T is a continuous map form $X$ to itself), so for any continuous function $f:X\rightarrow\mathbb{R}$ we have for any $x\in X$, the ergodic ...
1
vote
0answers
88 views

Size of the eigenfunction of Laplacian (reference request)

It is a classical Sobolev inequality that if $\phi$ is an eigenfunction of the Laplace-Beltrami operator on a $n$-dim compact Riemannian manifold $M$ with eigenvalue $\lambda$ then ...
5
votes
2answers
214 views

Examples of surface automorphisms with no periodic points

Consider a smooth projective complex surface $S$ with an automorphism $g:S\to S$. A point $p$ is periodic if it has finite orbit under iterates of $g$. What are some examples of surface ...
0
votes
0answers
81 views

Invariant mesures for expanding maps of the circle

Is there any characterization for the support of T-invariant measures? where T is a C¹ expanding map of the circle i.e. T'(x)>Lambda>1 for all x in the circle. I know there are periodic and total ...
9
votes
1answer
117 views

Nonconventional ergodic averages for commuting transformations

Let $S$ and $T$ be commuting measure-preserving transformations of a standard probability space $(X,\mu)$, so $S$ and $T$ define an action of $\mathbb{Z}^2$ on $(X,\mu)$. I am wondering about ...
9
votes
2answers
3k views

*The* open problem in General Relativity?

Q. Is there a single, clear mathematical question that has emerged as the open problem in General Relativity? I ask this on the ~100th anniversary of Einstein's (4-page!) 1915 paper, "Die ...
1
vote
1answer
144 views

Langevin equation with position-dependant damping: existence of an invariant measure?

The usual Langevin equation for a particle in a 1D harmonic potential $dq(t) = p(t)~dt$ $dp(t) = -q(t)~dt + a ~dW(t) - b~p(t)~dt$ admits as an invariant measure the Gibbs measure ${1\over ...
2
votes
1answer
183 views

Embeddings of subshifts

Consider $(X,\sigma_X)$ and $(Y, \sigma_{Y})$ be subshifts of the one sided shift in two symbols. Assume that $(X,\sigma_X)$ is a transitive subshift of finite type and $(Y, \sigma_{Y})$ is a ...
3
votes
1answer
171 views

invariant measure of uniquely ergodic horocycle flow

Let $S$ be a compact connected orientable surface of variable negative curvature, and let $M=T^1S$ be the unit tangent bundle of $S$. Then, we know from the paper of Brian Marcus (*) that the negative ...
1
vote
1answer
291 views

Does specification implies that entropy map is upper semicontinuous?

Let $(X,d)$ be a compact metric space and f a continuous transformation on X. f has the specification if one can always find a single orbit to interpolate between different pieces of orbits, up to a ...
2
votes
1answer
170 views

Reading Ratner's paper “Ragunathan's conjectures for SL(2,R)”

Hello everyone (interested), I am trying to read Marina Ratner's paper "Ragunathan's conjectures for $SL_{2}(R)$" (Israel Journal of Mathematics 80 (1992), 1-31). There is a claim right at the end of ...
9
votes
4answers
530 views

Rounding errors in images of Julia sets

One typically computes Julia sets by iterating a complex function, such as a polynomial or rational function. How do rounding errors affect the results? I'm looking for references on this issue, ...
7
votes
5answers
1k views

When does the sequence of iterates of a rational function converge?

Darsh asks at the 20-questions seminar: Let $f:P^1 \rightarrow P^1$ be rational function. Can you say when the sequence $\{ f^n(x)\}_n=\{ x,f(x),f(f(x)),\cdots\} $ converges? What about the sequence ...
3
votes
0answers
84 views

Stability of a linear system and spectrum of the product of two matrices

Let us consider an invertible matrix $\mathbf{A}\in GL_d(\mathbb{R})$ such that all its diagonal entries $\mathbf{A}_{ii}=-1 \; \forall \, i$. My question is the following: Does it always exists a ...
5
votes
0answers
97 views

Hyperbolic toral automorphisms, and maximizing over orbits the minimum along an orbit of a function

Setup: Let $\phi\colon T^2 \to T^2$ be a hyperbolic toral automorphism. Let $f\colon T^2 \to \mathbb{R}$ be a continuous function. For $x \in T^2$, let $\underline{f}(x) = \inf_{n \in \mathbb{Z}} ...
19
votes
0answers
442 views

Time for Langton's ant to cover a “square” torus

Langton's ant is a cellular automaton running as follows: Squares on a plane are colored variously either black or white. We arbitrarily identify one square as the "ant". The ant can travel ...
8
votes
0answers
242 views

A question about Mirzakhani et. al.'s algebraicity theorem

While the geodesic flow on a complete hyperbolic surface is ergodic, the closure of an individual orbit (a geodesic line) can take a complicated fractal-like shape. Nonetheless, there is an ...
16
votes
4answers
2k views

Is there a categorical treatment of dynamical systems?

Let $X$ be a set and $(T,\cdot)$ an abelian group. Is there a category of $T$-dynamical systems on $X$ which yields useful information about $X$ and $T$? More precisely, is there a category whose ...
11
votes
0answers
300 views

Does Langton's ant cover every n by 6 gridded torus?

This post follows this other post about times cover by Langton's ant of $n$ by $n$ gridded torus. For $n$ by $n$ gridded torus, I've checked for $n \le 1000$ that the ant covers all. This fact needs ...
1
vote
2answers
128 views

Density of periodic points and density of periodic measures

There are many results (usually connected to specification-like properties) about density of periodic measures in the space of all invariant ones. However some questions that seem to be easy (at first ...
0
votes
1answer
91 views

Does every measure-preserving dynamical system admit a backward orbit?

This seems like a really basic question, and yet I haven't managed to find the answer! Let $(X,\Sigma,\mu,T)$ be a measure-preserving dynamical system. Does there necessarily exist at least one ...