相关论文: A dynamical system proof of Niven's theorem and it…

Niven's Theorem asserts that $\{\cos(r\pi)|r\in \mathbb{Q}\}\cap\mathbb{Q} = \{0, \pm 1, \pm\frac{1}{2}\}$. This paper uses elementary methods to classify all elements in the sets $\{\cos^n(r\pi)|r\in \mathbb{Q}, n \in…

We introduce an effective algorithmic method for the computation of a lower bound for uniform expansion in one-dimensional dynamics. The approach employs interval arithmetic and thus provides a rigorous numerical result (computer-assisted…

Let $K$ be a finite extension of the field $\mathbb{Q}_p$ of $p$-adic numbers and $\O$ be its integral ring. The convergent power series with coefficients in $\O$ are studied as dynamical systems on $\O$. A minimal decomposition theorem for…

This paper studies a well-known $\pi$ machine illustrated by Fig.(1). It is shown that the $\pi$ machine can compute digits of $\pi$ if the ratio of block weights, $m_2/m_1$, satisfies certain conditions, and that dynamics of the $\pi$…

The main purpose of this paper is to present a new and more uniform model-theoretic/combinatorial proof of the theorem ([5]): The randomization $T^{R}$ of a complete first-order theory $T$ with $NIP$ is a (complete) first-order continuous…

$\mathbb{N}^* = \beta\mathbb{N} \setminus \mathbb{N}$ has a canonical dynamical structure provided by the shift map, the unique continuous extension to $\beta\mathbb{N}$ of the map $n \mapsto n+1$ on $\mathbb{N}$. Here we investigate the…

We show by a constructive proof that in all aperiodic dynamical system, for all sequences $(a_n)_{n\in\N}\subset\R_+$ such that $a_n\nearrow\infty$ and $\frac{a_n}{n}\to 0$ as $n\to\infty$, there exists a set $A\in\A$ having the property…

In this note, we present a few methods (Theorems 1, 2, and 3) from discrete dynamical systems theory of obtaining new functions Q(n) from the known ones so that the dividing formulas n|Q(n) hold.

Let $K$ be an elementary extension of $\mathbb{Q}_p$, $V$ be the set of finite $a \in K$, $\mathrm{st}$ be the standard part map $K^m \to \mathbb{Q}^m_p$, and $X \subseteq K^m$ be $K$-definable. Delon has shown that $\mathbb{Q}^m_p \cap X$…

We introduce a discrete dynamical system on the integers, defined by moving a composite $m$ forward to $m+\pi(m)$ and a prime $p$ backward to $p-\mathrm{prevprime}(p)$. This map produces trajectories whose contraction properties are closely…

We prove that any type in an NIP theory can be decomposed into a stable part (a generically stable partial type) and a distal-like quotient.

We present a geometric proof of the averaging theorem for perturbed dynamical systems on a Riemannian manifold, in the case where the flow of the unperturbed vector field is periodic and the $\mathbb{S}^{1}$-action associated to this vector…

This paper gives a classification of classes of discrete dynamical systems (a set equipped with an endofunction) closed under finite limits and small colimits. The conclusion is simple: they bijectively correspond to the ideals of the…

We consider a tippe top modeled as an eccentric sphere, spinning on a horizontal table and subject to a sliding friction. Ignoring translational effects, we show that the system is reducible using a Routhian reduction technique. The reduced…

We prove the inequality sum_{k=1}^infty (-1)^{k+1} r^k cos(k*phi) (k+2)^{-1} < sum_{k=1}^infty(-1)^{k+1} r^k (k+2)^{-1} for 0 < r <= 1 and 0 < phi < pi. For the case r = 1 we give two proofs. The first one is by means of a general numerical…

Pesin's formula relates the entropy of a dynamical system with its positive Lyapunov exponents. It is well known, that this formula holds true for random dynamical systems on a compact Riemannian manifold with invariant probability measure…

The ergodic decomposition theorem is a cornerstone result of dynamical systems and ergodic theory. It states that every invariant measure on a dynamical system is a mixture of ergodic ones. Here we formulate and prove the theorem in terms…

It has long been conjectured that generic dynamical systems has finite periodic orbits, ever since the time of Poincar\'e. In this article, a perturbation method is proposed for the $C^r$ closing of periodic orbits. This method is…

We characterize inverse limits of nilsystems in topological dynamics, via a structure theorem for topological dynamical systems that is an analog of the structure theorem for measure preserving systems. We provide two applications of the…

We utilise the graphon--a continuous mathematical object which represents the limit of convergent sequences of dense graphs--to formulate a general, continuous description of quantum spin systems in thermal equilibrium when the average…