Related papers: Proving the Chow-Rashevskii Theorem \`a la Rashevs…
Based on various strategies and a new general doubling operator, we obtain several simple proofs of the celebrated Sharkovsky's cycle coexistence theorem. A simple non-directed graph proof which is especially suitable for a calculus course…
Following the unified approach of A. Kriegl and P.W. Michor (1997) for a treatment of global analysis on a class of locally convex spaces known as convenient, we give a generalization of Rashevsky-Chow's theorem for control systems in…
In this note, we present a simple non-directed graph proof of Sharkovsky's theorem which is different from the one given in [2].
Based on various strategies, we obtain several simple proofs of the celebrated Sharkovsky cycle coexistence theorem.
We prove a version of Hrushovski's socle lemma for rigid groups in an arbitrary simple theory.
Recently we have obtained two simple proofs of Sharkovsky's theorem, one with directed graphs [7] and the other without [8]. In this note, we present yet more simple proofs of Sharkovsky's theorem.
We study possibilities to control an ensemble (a parameterized family) of nonlinear control systems by a single parameter-independent control. Proceeding by Lie algebraic methods we establish genericity of exact controllability property for…
We give two proofs of the Kalman Theorem, alternative to the most common ones, which infer such a classical result of Control Theory using just very basic facts on flows of vector fields. These proofs are apt to be generalised in diverse…
We present a new result on uniform attractivity of the origin for nonlinear time-varying systems. Our theorem generalizes Matrosov's theorem which extends, in a certain manner, Krasovskii-LaSalle invariance principle to the case of general…
We discuss smooth nonlinear control systems with symmetry. For a free and proper action of the symmetry group, the reduction of symmetry gives rise to a reduced smooth nonlinear control system. If the action of the symmetry group is only…
The original proof of the Sharkovsky theorem is presented in full detail. The proof should be accessible to readers with basic Real Analysis background. Although nowadays there are several alternative proofs of this classical result, we…
We generalize Hrushovski's group configuration theorem to the case where the type of the configuration is generically stable, without assuming tameness of the ambient theory. The properties of generically stable types, which we recall in…
Consider a finite family $\{f_1,\dots,f_\nu\}$ of $C^\infty$ vector fields on a $n$-dimensional ($n\in\mathbb{N}$), smooth manifold $\mathcal{M}$. The celebrated Rashevskii-Chow theorem states that, provided the vector fields…
We extend Sharkovskii's theorem to the cases of $N$-dimensional maps which are close to 1D maps, with an attracting $n$-periodic orbit. We prove that, with relatively weak topological assumptions, there exist also $m$-periodic orbits for…
Circular proofs, introduced by Daniyar Shamkanov, are proofs in which assumptions are allowed that are not axioms but do appear at least twice along a branch. Shamkanov has shown that a formula belongs to the provability logic GL exactly if…
We prove the exact controllability result to trajectories of a simplified model of motion of a rigid body in fluid flow. Unlike a previously know results such a trajectory does not need to be a stationary solution.
Empirical properties of generating systems for complex reflection groups and their braid groups have been observed by Orlik-Solomon and Brou\'e-Malle-Rouquier, using Shephard-Todd classification. We give a general existence result for…
Lyapunov's theorem provides a fundamental characterization of the stability of dynamical systems. This paper presents a categorical framework for Lyapunov theory, generalizing stability analysis with Lyapunov functions categorically. Core…
We shall prove that the celebrated R\'enyi entropy is the first example of a new family of infinitely many multi-parametric entropies. We shall call them the $Z$-entropies. Each of them, under suitable hypotheses, generalizes the celebrated…
A fundamental tool in the analysis of Ricci flow is a compactness result of Hamilton in the spirit of the work of Cheeger, Gromov and others. Roughly speaking it allows one to take a sequence of Ricci flows with uniformly bounded curvature…