Related papers: Diagonalizing by Fixed-Points
Fixed points are a recurring theme in computer science and are often constructed as limits of suitably seeded fixed point iterations. We present the algebra of iterative constructions (AIC) -- a purely algebraic approach to reasoning about…
Dynamic topological logic ($\mathbf{DTL}$) is a trimodal logic designed for reasoning about dynamic topological systems. It was shown by Fern\'andez-Duque that the natural set of axioms for $\mathbf{DTL}$ is incomplete, but he provided a…
In this paper, influenced by the ideas from A. Mihail, The canonical projection between the shift space of an IIFS and its attractor as a fixed point, Fixed Point Theory Appl., 2015, Paper No. 75, 15 p., we associate to every generalized…
A parametric version of Brouwer's Fixed Point Theorem, which is proven using the fixed-point index, states that for every continuous mapping $f : (X \times Y) \to Y$, where $X$ is nonempty, compact, and connected subset of a Hausdorff…
Lyapunov functions are essential tools in dynamical systems, as they allow the stability analysis of equilibrium points without the need to explicitly solve the system's equations. Despite their importance, no systematic method exists for…
This paper provides an overview of Lawvere's Fixed-Point Theorem in category theory and aims to detail the universal framework underlying self-reference and recursive structures. First, we rigorously define fundamental concepts - such as…
Isaak Moiseevich Yaglom deduced complete classification of geometric spaces. In this work, supposed to your attention, author formalizes Yaglom's approach and constructs uniform theory of geometric spaces on analytic level. Among its…
This article critically reappraises arguments in support of Cantor's theory of transfinite numbers. The following results are reported: i) Cantor's proofs of nondenumerability are refuted by analyzing the logical inconsistencies in…
The time-ordered exponential is defined as the function that solves a system of coupled first-order linear differential equations with generally non-constant coefficients. In spite of being at the heart of much system dynamics, control…
In this paper, we introduce an extension of rectangular metric spaces called controlled rectangular metric spaces, by changing the rectangular inequality as follows: \begin{equation*} d(x, y)\leq\alpha(x, u)d(x, u)+\alpha(u, v)d(u,…
The paper is devoted to the fixed point theory in four aspects: of contractions, nonexpansive mappings, generalized inward mappings, and of the tool theorems. The manuscript was written about ten years ago. At first Nadler's concept of…
J. Mather characterized uniform hyperbolicity of a discrete dynamical system as equivalent to invertibility of an operator on the set of all sequences bounded in norm in the tangent bundle of an orbit. We develop a similar characterization…
In this paper we study certain analogues of the map defined by Alain Connes, which follows an idea of Atiyah in trying to simplify the proof of Feit-Thompson theorem. It turns out that the the non-zero fixed points of the map can be…
We check claims for a generalized central limit theorem holding at the Feigenbaum (infinite bifurcation) point of the logistic map, made recently by U. Tirnakli, C. Beck, and C. Tsallis (Phys. Rev. {\bf 75}, 040106(R) (2007)). We show that…
A new technique for proving fixed point theorems for families of holomorphic transformations of operator balls is developed. One of these theorems is used to show that a bounded representation in a real or complex Hilbert space is…
A well-known result says that the Euclidean unit ball is the unique fixed point of the polarity operator. This result implies that if, in $\mathbb{R}^n$, the unit ball of some norm is equal to the unit ball of the dual norm, then the norm…
We consider small nonlinear perturbations of linear systems on a time scale with the phase space being finite or infinite-dimensional. For $\Delta$-differential operators, corresponding to linear dynamic systems we consider their…
The Krylov-Safonov theorem says that solutions to non-divergence uniformly elliptic equations with rough coefficients are H\"{o}lder continuous. The proof combines a basic measure estimate with delicate localization and covering arguments.…
Completely positive trace-preserving maps $S$, also known as quantum channels, arise in quantum physics as a description of how the density operator $\rho$ of a system changes in a given time interval, allowing not only for unitary…
We expose some simple facts at the interplay between mathematics and the real world, putting in evidence mathematical objects " nonlinear generalized functions" that are needed to model the real world, which appear to have been generally…