**0**

votes

**0**answers

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

**3**

votes

**2**answers

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

**25**

votes

**2**answers

4k views

### 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 and also the following post.
Added : According to their ...

**5**

votes

**3**answers

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

**14**

votes

**2**answers

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

**71**

votes

**11**answers

15k 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" ...

**42**

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

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

**10**

votes

**1**answer

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

**25**

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

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

**11**

votes

**3**answers

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

**14**

votes

**1**answer

344 views

### Nonperiodic points of homeomorphisms of a ball

Suppose $B$ is a $d$-dimensional ball (for some $d \geq 1$) and $T$ is a homeomorphism from $B$ to itself. Suppose also that $T$ is not of finite order (that is, for no $n \geq 1$ is it the case that ...

**4**

votes

**1**answer

295 views

### for which values of $\theta$ does this equation $x_{n+1}=\cos(\theta)x^2_{n}-\sin(\theta)x^2_{n-1}$ have bounded solutions?

I would like to investigate the global behavior of the following equation :
$$x_{n+1}=Ax^2_{n}-Bx^2_{n-1}$$
where $A(\theta)= \cos(\theta)$ and $B(\theta) =\sin(\theta)$ are nonnegative parameters ...

**2**

votes

**0**answers

160 views

### Why Poincare sphere compactification and not torus compactification

The Poincare compactification is a method to carry a polynomial vector field on the plane to an analytic vector field on $S^{2}$ via analytic embedding $$(x,y)\to ...

**4**

votes

**1**answer

188 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

221 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)$ ...

**105**

votes

**2**answers

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

**61**

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

**36**

votes

**6**answers

3k views

### Can we actually find any fixed points with Brouwer's theorem?

Background
At the risk of greatly oversimplifying matters, let me state a heuristic from Granas and Dugundji's beautiful book: fixed point theorems fall into two broad categories. The first class is ...

**22**

votes

**2**answers

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

**16**

votes

**4**answers

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

**26**

votes

**3**answers

919 views

### Rational functions with a common iterate

Let $f$ and $g$ be two rational functions. To avoid trivialities, we suppose that their degrees are
at least $2$. We say that they have a common iterate if $f^m=g^n$ for some positive integers $m,n$,
...

**17**

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

**31**

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

**19**

votes

**5**answers

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

**13**

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

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

**16**

votes

**2**answers

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

**14**

votes

**1**answer

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

**11**

votes

**3**answers

344 views

### Dynamics in one matrix variable

Are dynamical systems
$$X \mapsto F(X)$$
studied where $X \in \mathrm{M}_n$, $\mathrm{M}_n:=\mathrm{Mat}(n,\mathbb{C})$ or $\mathrm{Mat}(n,\mathbb{R})$, and $F$ is a (properly defined ...

**9**

votes

**0**answers

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

**8**

votes

**2**answers

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

**7**

votes

**1**answer

199 views

### “The” kronecker foliation or “a” kronecker foliation?

Consider the following two foliations of torus:
1)The Kronecker foliation with slope $\sqrt{2}$
2)The Kronecker foliation with slope $\pi$
As I learn from the literature, these two foliations are ...

**18**

votes

**6**answers

2k 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

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

**14**

votes

**1**answer

760 views

### In how many steps a random walk visits all the elements of a finite group, with a probability 1/2?

This question is a variation of the return to the origin problem.
Let $G$ be the finite group $\mathbb{Z}/n \times \mathbb{Z}/n$ and let the random transformation $T: G \to G$ such that $T(a,b) = ...

**12**

votes

**1**answer

747 views

### Conjectures on iterated polynomial maps on finite fields

Let $p$ be a prime, and consider the sequence $x_0, x_1, \dots$ of elements of the finite field $\mathbf F_p$ given by $x_0 = 0$ and $x_{i+1} = x_i^2 + 1$ for all $i \ge 0$. This sequence must ...

**12**

votes

**2**answers

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

**11**

votes

**0**answers

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

**9**

votes

**4**answers

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

**8**

votes

**6**answers

1k views

### Examples of transformations which are weak-mixing but not strong-mixing

I was reminded of this topic by some of the answers to this question, where it was noted that "typical" measure-preserving transformations are weak-mixing but not strong-mixing for several senses of ...

**6**

votes

**4**answers

743 views

### Lie algebra admitting some hyperbolic automorphism is nilpotent

Let $\mathfrak{g}$ be a finite dimensional Lie algebra over $\mathbb{R}$ and $\phi:\mathfrak{g}\to\mathfrak{g}$ be a Lie algebra automorphism.
Viewing $\mathfrak{g}$ as a linear space and $\phi$ a ...

**18**

votes

**0**answers

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

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

**7**

votes

**2**answers

193 views

### Well-definedness of single-particle smooth billiards flow

Single-particle billiards systems in a domain with corners, or multi-particle billiards in a domain with smooth boundary, can exhibit singularities in finite time. (The former phenomenon is well ...

**5**

votes

**3**answers

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

**2**

votes

**0**answers

437 views

### The integral of torsion

I found the following * exercise (exercise *9) in page 407 of the book of Do Carmo "Differential geometry of curves and surfaces". This problem is a classical theorem which is referenced in the book ...

**2**

votes

**2**answers

325 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?