# Tagged Questions

**0**

votes

**0**answers

174 views

### Lifting a quadratic system to a non vanishing vector field on $S^{3}$ or $T^{1} S^{2}$

Let $P:S^{3}\to S^{2}$ be the Hopf fibration. For a vector field $X$ on $S^{2}$ there is a non vanishing vector field $\tilde{X}$ on $S^{3}$ such that $DP(\tilde{X})=X$. It is constructed in ...

**11**

votes

**2**answers

463 views

### Codimension of the range of certain linear operators

Assume that $P(x,y), Q(x,y) \in \mathbb{R}[x,y]$ are two polynomials. We define a linear map
$D$ on $\mathbb{R}[x,y]$ with $D(U)=PU_{x}+QU_{y}$. In fact $D$ is the derivational operator correspond ...

**0**

votes

**1**answer

172 views

### elliptic operators corresponds to non vanishing vector fields

Let $X$ be a non vanishing vector field on a compact manifold $M$. The only differential operator associated with $X$ which I am aware of, is the derivational operator $D(g)=X.g$. Unfortunately ...

**23**

votes

**3**answers

2k views

### Trapped rays bouncing between two convex bodies

At some point during my research I was confronted with this problem, but I did not dedicate serious time to it. Anyway it stayed in the back of my mind and I'm still interested in hints for it. ...

**4**

votes

**1**answer

175 views

### Under what conditions can interval exchanges be approximated by periodic maps?

Under what conditions can an interval exchange be approximated by periodic maps? (in the weak topology for the Lebesgue measure on $[0,1]$ ).
Are there non-trivial examples of periodically ...

**1**

vote

**2**answers

201 views

### A question on involutions on the Lie algebra of vector fields

Edite According to the essential comment of Ian Agol I revise the question as follows
For a smooth manifold $M$, is there a non identity involution $\theta$ on the lie algebra $\chi^{\infty}(M)$ ...

**96**

votes

**1**answer

9k views

### What are the shapes of rational functions?

I would like to understand and compute the shapes of rational functions, that is, holomorphic maps of the Riemann sphere to itself, or equivalently, ratios of two polynomials, up to Moebius ...

**65**

votes

**11**answers

12k views

### What is an integrable system

What is an integrable system, and what is the significance of such systems? (Maybe it is easier to explain what a non-integrable system is.) In particular, is there a dichotomy between "integrable" ...

**59**

votes

**6**answers

6k views

### Is there an underlying explanation for the magical powers of the Schwarzian derivative?

Given a function $f(z)$ on the complex plane, define the Schwarzian derivative $S(f)$ to be the function
$S(f) = \frac{f'''}{f'} - \frac{3}{2} (\frac{f''}{f'})^2$
Here is a somewhat more conceptual ...

**40**

votes

**10**answers

6k views

### The functional equation $f(f(x))=x+f(x)^2$

I'd like to gather information and references on the following functional equation for power series $$f(f(x))=x+f(x)^2,$$$$f(x)=\sum_{k=1}^\infty c_k x^k$$
(so $c_0=0$ is imposed).
First things that ...

**21**

votes

**1**answer

1k views

### Analogues of Luzin's theorem

If $X$ is a compact metric space and $\mu$ is a Borel probability measure on $X$, then the space $C(X)$ of continuous real-valued functions on $X$ is a closed nowhere dense subset of ...

**28**

votes

**6**answers

2k views

### Billiard dynamics under gravity

Has the dynamics of billiards in a polygon subject to gravity been
studied?
What I have in mind is something like this:
Still Snell's ...

**14**

votes

**3**answers

1k views

### Prime factorization “demoted” leads to function whose fixed points are primes?

Let $n$ be a natural number whose prime factorization is
$$n=\prod_{i=1}^{k}p_i^{\alpha_i} \; .$$
Define a function $g(n)$ as follows
$$g(n)=\sum_{i=1}^{k}p_i {\alpha_i} \,$$
i.e., exponentiation is ...

**19**

votes

**5**answers

820 views

### Lightray trapped between two mirror disks: Computation formulation?

I would like to calculate the angle of a ray $r$ from a given
point $p$ such that it gets "stuck" reflecting between
two congruent mirror-disks.
For why there is such a ray, see the (amazing!) answer
...

**11**

votes

**3**answers

1k 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 ...

**10**

votes

**1**answer

665 views

### Different uses of the word “ergodic”

There appear to be two definitions of the word ergodic.
The dynamical systems definition says that a measure space $(X,\mathit B, \mu)$ and measure preserving transformation $T: X \mapsto X$ is ...

**12**

votes

**9**answers

3k views

### Book recommendation for ergodic theory and/or topological dynamics?

Hello,
I'd like to hear your opinion for ergodic theory books which would suit a beginner (with background in measure theory, real analysis and topological groups). I am looking for something well ...

**5**

votes

**3**answers

946 views

### Bertrand theorem - central forces

Here is a version of Bertrand theorem. Let us consider a force $F(r)$ which depends only on the distance to a given point. If all trajectories which remain bounded are closed, then either $F(r)=ar$ ...

**22**

votes

**4**answers

1k views

### Surfaces filled densely by a geodesic

Which smooth, closed surfaces $S \subset \mathbb{R}^3$ have no
single geodesic $\gamma$ that fills $S$ densely?
Say a geodesic $\gamma$ "fills $S$ densely" if the closure of the set of points
...

**14**

votes

**3**answers

965 views

### Not-lonely runners

The lonely runner conjecture
has several formulations.
They all involve a number $n$ runners running on a circular track,
each with a different speeds, and the conjecture is that each runner is ...

**17**

votes

**2**answers

2k views

+200

### The error in Petrovski and Landis' proof of the 16th Hilbert problem

What was the main error in the proof of the second part of the 16th Hilbert problem by Petrovski and Landis?
Please see this related post
Added : According to their method, what of the following ...

**15**

votes

**2**answers

784 views

### If there is a dense geodesic, are almost all geodesics equidistributed? Dense?

Let $M$ be a complete finite volume Riemannian manifold and $\gamma : \mathbb{R}^{\geq 0} \to M$ a geodesic. Suppose that $\mathrm{im}(\gamma)$ is dense. Is it equidistributed in the Riemannian ...

**8**

votes

**2**answers

890 views

### sequences with a fractal dimension

This is inspired by the self-similarity of the celebrated Golay-Rudin-Shapiro sequence, more exactly, of its alternating partial sums. (This latter one is oeis 020990). The pictures show the 550 first ...

**8**

votes

**0**answers

369 views

### Parametrisations for Null Temperature Functions: nonuniqueness of solutions to the Heat Equation

Disclaimer I expect this is a highly open problem, but maybe I'm wrong and someone has come up with some answers besides those given here. In any case, all information appreciated, thanks!
Definition ...

**18**

votes

**6**answers

1k views

### Quantitative versions of ergodic theorem

Are there any general theorems similar to Birkhoff's ergodic theorem, but giving quantitative estimates on the rate of convergence or average time of recurrence (perhaps with additional assumptions)? ...

**16**

votes

**2**answers

528 views

### “Derived” polyhedra and polytopes

The notion of derived polygon is natural and leads to remarkable convergence.
Start with a polygon, and replace it by locating a point on every edge
a fraction $\alpha$ between the two endpoints. For ...

**15**

votes

**3**answers

1k views

### Do complex iterates of functions have any meaning?

Using a method explained in this answer it is possible to calculate not only integer and real iterates of functions but also complex ones, for example, the $i$-th iterate, where $i=\sqrt{-1}$. Here ...

**12**

votes

**2**answers

923 views

### Why is every symplectomorphism of the unit disk Hamiltonian isotopic to the identity?

That is, for any symplectomorphism $\psi: D^2 \to D^2$, there should be a time-dependent Hamiltonian Ht on D2 such that the corresponding flow at time 1 is equal to $\psi$.
I found this in claim a ...

**8**

votes

**4**answers

869 views

### 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 ...

**12**

votes

**5**answers

2k views

### Proof of Krylov-Bogoliubov Theorem

Where can I find a proof (in English) of the Krylov-Bogoliubov theorem, which states if $X$ is a compact metric space and $T\colon X \to X$ is continuous, then there is a $T$-invariant Borel ...

**5**

votes

**3**answers

630 views

### Simultaneous diophantine approximation

Let $r(x)$ be the function $x$ mod $1$, i.e. $x$ minus its floor.
Now let $m$ be a given positive integer, and $c$ a vector in $\mathbb{R}^m$ whose components are linearly independent over ...

**1**

vote

**2**answers

314 views

### Replacing large-dimensional ODE systems with one PDE [closed]

Is it possible to replace a large-dimensional system of differential equations with one partial differential equation?

**19**

votes

**2**answers

1k views

### How does it End?

A recent project has forced my colleague and me to take a rather abstract approach to dynamical systems, and the following definition arose naturally in that context.
Let $\mathcal{C}$ be a category. ...

**9**

votes

**2**answers

429 views

### How to draw a Zoll surface?

I take into account that lots of questions on Zoll surfaces have already been asked on the forum. But I will stubbornly continue asking. Are there any chances to draw explicitely at least one Zoll ...

**9**

votes

**0**answers

368 views

### Poincaré recurrence and symplectic packings

Question. Is there any example of a path connected symplectic manifold $(M,\omega)$ that has infinite volume, but which cannot be packed by an infinite number of symplectic balls of a fixed radius ...

**7**

votes

**6**answers

624 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 ...

**6**

votes

**1**answer

399 views

### Aproximating dynamical systems by intrinsically ergodic systems

Let $X$ be a compact metric space and $f:X \to X$ a continuous map. We say that $(X,f)$ is approximated from below by a sequence of compact metric spaces $(X_i)_{i \geq 1}$ and a sequence of ...

**5**

votes

**1**answer

391 views

### Conley Theorem (or fundamental theorem of dynamical systems)

Notations:
$\mathcal{R}(f)$ denotes the chain recurrent set of $f$
$NW(f)$ denotes the non wandering set of $f$
$R(f)$ denotes the recurrent set of $f$ ($x: x\in \omega(x)$)
Given compact ...

**0**

votes

**0**answers

70 views

### Periodicities of a Complex Dynamical System

Consider A function $f:\mathbf{C}^2\rightarrow \mathbf{C}$ defined as $$f_{\alpha, \beta}(z,w)=\frac{\alpha}{z}+\frac{\beta}{w}$$ where $\alpha$ and $\beta$ both are complex number.
It is easy to ...

**14**

votes

**3**answers

660 views

### Codimension zero immersions

Given an immersion of the n-1-sphere into a (closed) n-manifold, when does it extend to an immersion of the n-disk?
Remark: If the sphere had dimension k smaller than n-1, then such an immersion ...

**12**

votes

**2**answers

343 views

### Are rounded rectangle billiard dynamics ergodic?

Bunimovich proved that the billiard-ball dynamics in the Bunimovich stadium is ergodic.
(Image from this link.)
Q. Is it known that the ...

**10**

votes

**2**answers

455 views

### Birkhoff ergodic theorem and the measure of the bad points

In the Birkhoff ergodic theorem we have a PMPS $(X,B,\mu,T)$ and that for any $f\in L^1(X,\mu)$ $\frac{1}{N}\sum_{n=0}^{N-1}f(T^n x)\to \int f \, d\mu,$ in measure, in $L^1$-norm and $\mu$-a.e.
My ...

**7**

votes

**4**answers

933 views

### The non-convergence of f(f(x))=exp(x)-1 and labeled rooted trees

This question is closely related to MO f(f(x))=exp(x)-1 and other functions “just in the middle” between linear and exponential. Consider $e^{e^x-1}$, this is the generating function of the Bell ...

**6**

votes

**3**answers

155 views

### Is there a effective computational criterion to all periodic points of a rational function are repelling.

I came up with a question to know the fatou component of of some types of rational function. In some sense, I may need to give a computational criterion to existence of attracting periodic basin for a ...

**6**

votes

**2**answers

330 views

### Rotation numbers for amenable group actions on the circle

Given an orientation-preserving homeomorphism $f: S^1 \to S^1$, one can define its rotation number $\rho(f) \in \mathbb{R}/\mathbb{Z}$, as $\rho(f) = (\lim_{n \to \infty} \tilde{f}^n(0)/n) + ...

**5**

votes

**3**answers

461 views

### Integer dynamics hitting infinitely many primes

I am wondering if there are any rigorous results telling that some dynamical system hits infinitely many primes (except for the case when orbits are just arithmetic progressions). To make it specific, ...

**5**

votes

**3**answers

910 views

### Dense orbits in billiards

This should be true in a more general setting, but for simplicity consider billiards that are connected, compact subsets of the plane with boundary $C^2$ except at finitely many points. A ball (or a ...

**4**

votes

**2**answers

492 views

### Limit cycles as closed geodesics(geodesible flow)

The classical Van der Pol equation is the following vector field on $\mathbb{R}^{2}$:
\begin{equation}\cases{\dot{x}=y-(x^{3}-x)\\ \dot{y}=-x}\end{equation}
This equation defines a foliation on ...

**4**

votes

**1**answer

4k views

### Calculation of Lyapunov Exponent from Time Series

I am currently doing research in non-linear dynamical systems, and I require to calculate Lyapunov exponents from time series data frequently. I found a MatLab program lyaprosen.m that does this for ...

**3**

votes

**2**answers

467 views

### $C^n$ And Forcing: Reading a Recent Paper By Kunen

While reading a recent paper by Kunen arxiv.org/abs/0912.3733, which deals with PFA and the existence of certain differentiable functions, (defined on all of $\mathbb{R}$) which map certain ...