Related papers: A fixed point theorem for twist maps
The Banach contraction principle is the most celebrated fixed point theorem, it has been generalized in various directions. In this paper, inspired by the concept of $(\phi, F)-$contraction in metric spaces, introduced by Wardowski. We…
Brouwer's fixed point theorem states that any continuous function from a closed $n$-dimensional ball to itself has a fixed point. In 1961, Klee showed that if such a function has discontinuities that are bounded, then it has a point that is…
This paper seeks to advance the theory of nonexpansive mappings by introducing and exploring a novel class of nonexpansive type mappings, which we aptly designate as perimetric nonexpansive mappings. We establish that the collection of…
The Initial Algebra Theorem by Trnkov\'a et al.~states, under mild assumptions, that an endofunctor has an initial algebra provided it has a pre-fixed point. The proof crucially depends on transfinitely iterating the functor and in fact…
Variational monotone recurrence relations arise in solid state physics as generalizations of the Frenkel-Kontorova model for a ferromagnetic crystal. For such problems, Aubry-Mather theory establishes the existence of "ground states" or…
We prove that the fixed point iteration of arbitrary positive concave mappings with nonempty fixed point set converges geometrically for any starting point. We also show that positivity is crucial for this result to hold, and the concept of…
We investigate bifurcation of closed orbits with a fixed energy level for a class of nearly integrable Hamiltonian systems with two degrees of freedom. More precisely, we make a joint use of Moser invariant curve theorem and…
We consider the configuration space of planar $n$-gons with fixed perimeter, which is diffeomorphic to the complex projective space $\mathbb{C}P^{n-2}$. The oriented area function has the minimal number of critical points on the…
We prove that if the stable foliation and the unstable foliation of an Anosov diffeomorphism on a connected compact manifold are $C^3$, then the diffeomorphism has fixed points. This is a partial positive answer to a Smale conjecture for…
Vogt's theorem, concerning boundary angles of a convex arc with monotonic curvature (spiral arc), is taken as a starting point to establish basic properties of spirals. The theorem is expanded by removing requirements of convexity and…
In [8] the authors introduced a pair of new de Rham complexes on a compact oriented Riemannian manifold with boundary by using a pair of new boundary conditions to discuss the refined analytic torsion on a compact manifold with boundary. In…
We introduce and study a new type of mappings in metric spaces termed $n$-point Kannan-type mappings. A fixed-point theorem is proved for these mappings. In general case such mappings are discontinuous in the domain but necessarily…
A Lorenz map is a Poincar\'e map for a three-dimensional Lorenz flow. We describe the theory of renormalization for Lorenz maps with a critical point and prove that a restriction of the renormalization operator acting on such maps has a…
In this paper shall we endeavour to substantiate that the evolution of the Riemann- Christoffel tensor or curvature tensor can be expressed entirely by an arbitrary timelike vector field and that the curvature tensor returns to its initial…
Using the setting of $G$-metric spaces, common fixed point theorems for four maps satisfying the weakly commuting conditions are obtained for various generalized contractive conditions. Several examples are also presented to show the…
We prove a fixed point theorem that combines the contraction mapping principle and some Knaster-Tarski-like theorem. As a consequence we obtain an existence theorem to initial value problem for ordinary differential equation with…
In his 1979 paper Trotman proves, using the techniques of the Thom transversality theorem, that under some conditions on the dimensions of the manifolds under consideration, openness of the set of maps transverse to a stratification in the…
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…
We introduce a weak asymptotic version of nonlinear contraction, termed \emph{asymptotic pointwise contraction}. For a mapping on a metric space, this notion requires the existence of a sequence of functions that dominate the distances…
We show that for each k and n, the cyclic shift map on the complex Grassmannian Gr(k,n) has exactly $\binom{n}{k}$ fixed points. There is a unique totally nonnegative fixed point, given by taking n equally spaced points on the trigonometric…