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

learn more… | top users | synonyms

0
votes
0answers
20 views

Reference request: Invariant sets of dynamical systems

(I should preface this with the disclaimer that this is a slightly elaborated version of a question that I posted onto math se recently to which I received no responses, and have since deleted the ...
1
vote
1answer
102 views

Generic path in the space of vector fields on the orientable surface

Who knows, does a theorem of such form exist: Any one-parameter family of vector fields on the orientable surface may be slightly perturbed such that 1) all fields in the family except finite number ...
53
votes
4answers
2k views

Perron number distribution

A Perron number is a real algebraic integer $\lambda$ that is larger than the absolute value of any of its Galois conjugates. The Perron-Frobenius theorem says that any non-negative integer matrix $M$ ...
7
votes
4answers
833 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 ...
3
votes
1answer
856 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 ...
4
votes
2answers
475 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 ...
-1
votes
0answers
10 views

1 dimensional flows and phase portraits [migrated]

I have a flow defined by $\dot{x} = x-x^4+1 :=f(x)$. I need to sketch its phase portrait. Firstly, I have to find its fixed points, these occur at $f(x)=x$. So, $x^4=1 \Rightarrow x= \pm1$. Next, I ...
2
votes
0answers
33 views

Steady state of a dynamical equation

Suppose we have the following dynamical equation: $P(k+1)=A\bigg(P(k) - P(k)H^T(k)\big(H(k)P(k)H^T(k)+Z\big)^{-1}H(k)P(k)\bigg)A^T+W$ with $P(0)=0$, where $P$, $A$, $H$, $Z$, $W$ are all $N\times N$ ...
0
votes
0answers
17 views

Derivative of a projective transformation [migrated]

Assume $A$ is a matrix from $R^{n\times n}$, $A:R^n\rightarrow R^n$. Then $A$ induces a projective transformation $f:RP^{n-1}\rightarrow RP^{n-1}$. For example, $\\$ $$\begin{pmatrix} 4 & 0 ...
-4
votes
1answer
110 views

A question regarding Kingman's theorem as described in “Ergodic Theorems” book written by Ulrich Krengel [closed]

Hi so I am reading Ulrich Krengel's book called Ergodic Theorems. And in the proof of Kingman's theorem I don't understand why on page 48 $$d_n(1,1)\leq d_n(r,r)^{-1/(r-1)}$$, how did he get this ...
-3
votes
0answers
75 views

A question about dominated ergodic theorem [closed]

Again this question is from Krengel's book Ergodic theorems. On page 53, where he proves theorem 6.3 (the dominated ergodic theorem), my diffuclty is with the definition of $\psi(t)$ over there. He ...
2
votes
0answers
111 views

A special non vanishing vector field on $S^{3}$

Is there a non vanishing vector field on $S^{3}$ with an infinite family $T_{\lambda}$ of invariant torus such that each $T_{\lambda}$ has an structure of a Kronecker foliation but for ...
1
vote
0answers
29 views

Uniform upper bound for dim of kernel and codimension of range of certain familly of PDE

A polynomial vector field of degree $n$ on $S^{2}$ is the Poincare compactification of a $n$ degree polynomial vector field on $\mathbb{R}^{2}$. According to the comment of Joonas on this ...
58
votes
6answers
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 ...
1
vote
1answer
126 views

Algebraic topology, Dynamical systems [closed]

Let $T^2$ be a 2-torus and $f:T^2\rightarrow T^2$ a smooth map. Let $f_*:\pi_1(T^2)\rightarrow\pi_1(T^2)$ be the induced map on the fundamental group $\pi_1$. If $f_*$ has no eigenvalue greater than ...
0
votes
1answer
124 views

Find a sequence with uniform frequencies and recurrent property

Given any 4 positive numbers $p_{00}\,,p_{01}=p_{10}\,,p_{11}$,such that the sum of the 4 numbers is 1, now I want to find a sequence in $\{0\,,1\}^\mathbb{N}$ such that this sequence has uniform ...
1
vote
0answers
75 views

The value of the sequence generated by the substitution

Given a substitution $1\to 100$, $0\to 01$, then we have $1\to 100\to1000101\to10001010110001100\to\cdots$, we denote this limits (fixed point of this substitution) as $(a_n)$, given $\beta>1 $. ...
0
votes
0answers
64 views

Elliptic PDE-Fredholm PDE(Is there a contradictory situation)

Let $E$ be a smooth vector bundle on a closed manifold $M$. Assume that $D:\Gamma^{\infty}(E)\to \Gamma^{\infty}(E)$ is a diff. operator which is a fredhoolm operator, in the algebraic ...
0
votes
1answer
150 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 ...
1
vote
0answers
108 views

The “Rolle theorem” for sections of a vector bundle

1)Assume that $E\to M$ is a smooth real vector bundle and $\nabla$ is a connection. (We do not assume any metric compatibility since we do not fix a metric on $E$). Assume that ...
2
votes
1answer
93 views

Weak Convergence to Lebesgue Measure

I'm trying to understand the proof given by D. Rudolph in his paper "x2 and x3 invariant measures and entropy". I'm particularly trying to undestand the proof of lema 4.4. Let's consider a secuence ...
23
votes
2answers
622 views

Ellipses on spheres (and other surfaces)

Define an ellipse $E$ on a sphere as the locus of points whose sum of shortest geodesic distances to two foci $p_1$ and $p_2$ is a constant $d$. There are conditions on $\{ p_1, p_2, d \}$ for this ...
5
votes
0answers
85 views

Growth in families of trees

I'm hoping that the question below is simple thermodynamic formalism, but I can't quite make it work. Any help would be very welcome. Let $\Sigma:=\{0,1\}^{\mathbb N}$ and let $\Sigma^*$ be the set ...
3
votes
1answer
83 views

Substitutions and Sturmian sequences

We know that any substitution can generate sequence, for example the Fibonacci substitution: $\sigma(0)=01, \sigma(1)=0$, then we can define a Sturmian sequence $\omega$, i.e., the fixed point of ...
1
vote
0answers
80 views

Lifting a quadratic system to a non vanishing vector field on $S^{3}$

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 ...
14
votes
6answers
2k views

Parametrization of the boundary of the Mandelbrot set

Does anyone know how to parametrize the boundary of the Mandelbrot set? I am not a fractal-geometer or a dynamical systems person. I just have some idle curiosity about this question. The ...
2
votes
2answers
170 views

A question about transitivity

Recently in something that I'm studying, I needed to know if the following map is transitive: $\sigma: M^{\mathbb{N}}\to M^{\mathbb{N}}$ the unilateral shift, where $M$ is a uncountable compact metric ...
0
votes
0answers
29 views

Help in finding the probability density function

This may seem trivial but I will appreciate help in determining the functional form of the probability density function (pdf) for the following case. Will highly appreciate some guidelines on how to ...
0
votes
1answer
155 views

A derivational approach to the Poincare Bendixson Theorem

Let $X=P\frac{\partial}{\partial x}+Q\frac{\partial}{\partial y}$ be a smooth vector field on the plane. Assume that $K\subset \mathbb{R}^{2}$ is a compact subset (not necessarily invariant under ...
1
vote
1answer
229 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 ...
5
votes
4answers
698 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 ...
7
votes
5answers
795 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 ...
3
votes
2answers
151 views

Isomophism between two irrational rotations

Define two dynamical systems $([0,1), \mathbb{B}_1, \mathbb{L}, T_1(x)=x+\alpha_1\mod 1)$ and $([0,1), \mathbb{B}_2, \mathbb{L}, T_2(x)=x+\alpha_2\mod 1)$, where $\alpha_1,\alpha_2 $ are two ...
10
votes
2answers
406 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
0answers
102 views

Regarding a paper relating surfaces and integrable mappings

This question has been posted on stackexchange, without answers. I'm reading the paper "A classification of two-dimensional integrable mappings and rational elliptic surfaces". I have two questions: ...
6
votes
2answers
154 views

Geodesic flow on infinite surfaces

The geodesic flow on a compact hyperbolic surface (i.e. a surface with a riemannian metric of constant curvature $-1$) has been well-studied, in particular it has been known for a long time that it is ...
31
votes
2answers
720 views

Does iterating a certain function related to the sums of divisors eventually always result in a prime value?

Let define the following function for integers (from 2): $f(x)=\sigma(x)-1$, where $\sigma$ is the sum of the divisors of $x$. For example $f(6)=6+3+2=11$, $f(5)=5$. Note that $x$ is a fixed point for ...
1
vote
0answers
50 views

square tiled surfaces: Counting Saddle Connections vs Counting Square-Tiled Surfaces

I am reading Prime arithmetic Teichmuller discs in H(2) where they discuss the Siegel-Veech constant in a stratum $\mathcal{H}(2)$ of surfaces. However I see two definitions of Siegel-Veech constant: ...
2
votes
2answers
101 views

Question on the number of equilibria

Let $f: C \to C$ be a smooth function and $C$ be a compact set, subset of $\mathbb{R}^n$. We assume that all the fixed points are hyperbolic. Is it true that the number of fixed points is finite or ...
4
votes
2answers
132 views

Lecture notes on semi group theory for linear evolution equations

I am reading (or trying to read :)) One parameter semigroups for Linear Evolution equations by Klaus-Jochen Engel and Rainer Nagel. I was wondering if someone was aware of a good set of lecture notes ...
1
vote
1answer
108 views

Smoothness in Ecalle's method for fractional iterates

Some four years ago I answered my own question on fractional iteration, concluding that there is a half iterate of sine, that is $f(f(x)) = \sin x,$ which is real analytic for $0 < x < \pi$ but ...
0
votes
0answers
64 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 ...
5
votes
1answer
376 views

Differential Geometric Aspects of Rubber Bands

What happens, if a rubber band ( of length $l_0$ that has been stretched to length $l_1:=l_0+\Delta l\;$ and brought into the shape of a closed curve in $\mathbb{R}^3$ ) is released and if the only ...
3
votes
0answers
74 views

Conjectural growth rate for ergodic sums of logarithms

Let $\theta, \phi \in [0,1)$, and consider the sums $$ S_n(\theta,\phi)=\sum_{k=0}^n \log|e^{2\pi i (k\theta+\phi)}-1|. $$ The possible boundedness from above of such sums plays a key role in ...
3
votes
1answer
155 views

Self-diffeomorphisms of $\mathbb{R}^2$

I guess my question is very vague. Let $\phi: \mathbb{R}^2 \to \mathbb{R}^2$ be an orientation-preserving diffeomorphism that fixes the origin. Does $\phi$ take any sort of "normal form" if we allow ...
2
votes
2answers
87 views

Making a system of second-order ODEs chaotic

Consider a system of N linear 2nd-order OEDs, describing a system of coupled one-dimensional harmonic oscillators, with couplings given by matrix A and positions $X = (x_1, x_2, ..., x_N)$, we have ...
63
votes
11answers
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" ...
3
votes
0answers
48 views

Ferenczi: minimal, uniquely ergodic, sublinear complexity systems are not strongly mixing

The following result is on page 26 of this paper by Ferenczi [PDF]. Corollary 3. A minimal and uniquely ergodic system of sub-affine complexity cannot be strongly mixing (i.e., $\mu(T^nA \cap B) ...
10
votes
1answer
273 views

Trapping a particle

A particle starts a brownian walk in the middle of a long tunnel in the plane, at one end of the tunnel is a region Y of given area A. Does the shape of region Y affect average time for the particle ...
5
votes
2answers
135 views

Algorithm for determining when polynomial iteration is bounded?

Let $f: \mathbb{Q}\to \mathbb{Q}$ be a polynomial map with rational coefficients. Let $p\in \mathbb{Q}^n$. Is there a known algorithm that given this data determines whether or not the iterates ...