Related papers: Analytic relations on a dynamical orbit

In this paper we prove the following theorem. Let $f:\mathbb{A}^2\rightarrow \mathbb{A}^2$ be a dominate polynomial endomorphisms defined over an algebraically closed field $k$ of characteristic $0$. If there are no nonconstant rational…

In this paper, an $\mathbb{R}$-analytical function and the sequence of its Taylor polynomials (which are Lyapunov functions different from those of Vanelli & Vidyasagar (1985, Automatica, 21(1):6 9--80)) is presented, in order to determine…

In this paper, we investigate the precise behavior of orbits inside attracting basins of rational functions on $\mathbb P^1$ and entire functions $f$ in $\mathbb{C}$. Let $R(z)$ be a rational function on $\mathbb P^1$, $\mathcal {A}(p)$ be…

Let X be a Noetherian space, let f be a continuous self-map on X, let Y be a closed subset of X, and let x be a point on X. We show that the set S consisting of all nonnegative integers n such that f^n(x) is in Y is a union of at most…

Let $G$ be connected nilpotent Lie group acting locally on a real surface $M$. Let $\varphi$ be the local flow on $M$ induced by a $1$-parameter subgroup. Assume $K$ is a compact set of fixed points of $\varphi$ and $U$ is a neighborhood of…

Let k be an algebraically closed field of characteristic 0, and let f be a morphism of smooth projective varieties from X to Y over the ring k((t)) of formal Laurent series. We prove that if a general geometric fiber of f is rationally…

Let $D$ be the open unit disc in the complex plane. We denote by $\mathbb{C}$ the set of complex numbers and consider any compact set $K$ which is disjoint from $D$ and which also has connected complement. Let $A(K)$ denote all the…

Let $k$ be a finitely generated field, let $X$ be an algebraic variety and $G$ a linear algebraic group, both defined over $k$. Suppose $G$ acts on $X$ and every element of a Zariski-dense semigroup $\Gamma \subset G(k)$ has a rational…

In this paper, we develop an Isabelle/HOL library of order-theoretic fixed-point theorems. We keep our formalization as general as possible: we reprove several well-known results about complete orders, often with only antisymmetry or…

Given a compact metric space $X$ and an upper semicontinuous function $F\colon X \to 2^X$, we explore the dynamic system $(X,F)$. In this study, we introduce new concepts, demonstrate various results, and provide numerous examples. In…

We prove an analogue of the Manin-Mumford conjecture for polynomial dynamical systems over number fields. In our setting the role of torsion points is taken by the small orbit of a point $\alpha$. The small orbit of a point was introduced…

Let f be an orientation-preserving homeomorphism of the plane such that f-Id is contracting. Under these hypotheses, we establish the existence, for every periodic orbit, of a fixed point which has nonzero linking number with this periodic…

The main result asserts: Let $G$ be a reductive, affine algebraic group and let $(\rho ,V)$ be a regular representation of $G$. Let $X$ be an irreducible $\mathbb{C}^{ \times } G$ invariant Zariski closed subset such that $G$ has a closed…

Let $R$ be the ring of $S$-integers in a number field $K$. Let $\mathcal{B}=\{\beta, \beta^{\ast}\}$ be the multi-set of roots of a nonzero quadratic polynomial over $R$. There are varieties $V(\mathcal{B})_{N,k}$ defined over $R$…

A binding group theorem is proved in the context of quantifier-free internality to the fixed field in difference-closed fields of characteristic zero. This is articulated as a statement about the birational geometry of isotrivial algebraic…

We consider dynamical systems given by interval maps with a finite number of turning points (including critical points, discontinuities) possibly of different critical orders from two sides. If such a map $f$ is continuous and piecewise…

We show that a continuous map or a continuous flow on $\R^{n}$ with a certain recurrence relation must have a fixed point. Specifically, if there is a compact set W with the property that the forward orbit of every point in $\R^{n}$…

In this article, we functorially associate definable sets to $k$-analytic curves, and definable maps to analytic morphisms between them, for a large class of $k$-analytic curves. Given a $k$-analytic curve $X$, our association allows us to…

Let X be an analytic vector field on a real or complex 2-manifold, and K a compact set of zeros of X whose fixed point index is not zero. Let A denote the Lie algebra of analytic vector fields Y on M such that at every point of M the values…

The Newton map N_f of an entire function f turns the roots of f into attracting fixed points. Let U be the immediate attracting basin for such a fixed point of N_f. We study the behavior of N_f in a component V of C\U. If V can be…