English
Related papers

Related papers: A logical analysis of fixpoint theorems

200 papers

Inspired by the well-known result stating that if any iterate of a mapping is a Banach contraction on a complete metric space, then the mapping itself possesses a unique fixed point, we investigate that claim for a Chatterjea contraction…

Functional Analysis · Mathematics 2026-05-22 Shallu Sharma , Irfan Ahmed , Sahil Billawria

A concept of abstract inductive definition on a complete lattice is formulated and studied. As an application, a constructive and predicative version of Tarski's fixed point theorem is obtained.

Logic · Mathematics 2014-07-21 Giovanni Curi

We obtain sufficient conditions for the uniqueness of solutions to the Cauchy problem for the continuity equation in classes of measures that need not be absolutely continuous.

Analysis of PDEs · Mathematics 2018-06-18 V. I. Bogachev , G. Da Prato , M. Röckner , S. V. Shaposhnikov

In this paper, the notion of $\mathbb{C}$-simulation function is introduced and the existence and uniqueness of common fixed points of two self-mappings satisfying contractive conditions in the setting of complex valued metric spaces via…

Functional Analysis · Mathematics 2019-05-10 Anuradha Gupta , Manu Rohilla

The aim of the current paper is to introduce a new class of contractive mappings, which are contracting (a feature of) triangles. We prove that maps contracting triangles are continuous and give the fixed point result for such mappings. We…

General Topology · Mathematics 2024-03-29 Ovidiu Popescu , Cristina Maria Pacurar

We give a new proof of Cartan's fixed point theorem using topological fixed point theory. For an odd dimensional, simply connected and complete manifold having non-positive curvature, we further prove that every isometry with finite order…

Differential Geometry · Mathematics 2023-04-20 Chaitanya Ambi

We consider constrained Horn clause solving from the more general point of view of solving formula equations. Constrained Horn clauses correspond to the subclass of Horn formula equations. We state and prove a fixed-point theorem for Horn…

Logic in Computer Science · Computer Science 2021-09-13 Stefan Hetzl , Johannes Kloibhofer

We present new criteria on the existence of fixed points that combine some monotonicity assumptions with the classical fixed point index theory. As an illustrative application, we use our theoretical results to prove the existence of…

Classical Analysis and ODEs · Mathematics 2014-12-12 Alberto Cabada , José Ángel Cid , Gennaro Infante

Taking into account that Rold\'an et al.'s ample spectrum contractions have managed to extend and unify more than ten distinct families of contractive mappings in the setting of metric spaces, in this manuscript we present a first study on…

General Mathematics · Mathematics 2021-04-20 Antonio Francisco Roldán López de Hierro , Erdal Karapınar , Naseer Shahzad

This paper establishes novel fixed point theorems for Kannan-type and Chatterjea-type mappings in probabilistic cone metric spaces. By integrating probabilistic distance functions with cone-valued structures, we generalize classical fixed…

Functional Analysis · Mathematics 2025-09-10 Elvin Rada

Some fixed point results of classical theory, such as Banach's Fixed Point Theorem, have been previously extended by other authors to asymmetric spaces in recent years. The aim of this paper is to extend to asymmetric spaces some others…

General Topology · Mathematics 2023-05-17 L. Benítez-Babilonia , R. Felipe , L. Rubio

Generalising Nachbin's theory of "topology and order", in this paper we continue the study of quantale-enriched categories equipped with a compact Hausdorff topology. We compare these $\mathcal{V}$-categorical compact Hausdorff spaces with…

Category Theory · Mathematics 2017-05-25 Dirk Hofmann , Carla Reis

We have verified various proposals that were suggested in our last paper concerning the continuum limit of a compact formulation of the lattice U(1) pure gauge theory in 4 dimensions using a nonperturbative gauge-fixed regularization. Our…

High Energy Physics - Lattice · Physics 2007-05-23 Asit K. De , Tilak Sinha

In this paper, inspired by the concept of generalized weakly contractive mappings in metric spaces, we introduce C-Class function and fixed point theory for weakly contractive in the setting of rectangular $b$-metric spaces and established…

General Topology · Mathematics 2023-05-23 Mohamed Rossafi , Abdelkarim Kari , Arsalan Hojjat Ansari

We survey several applications of fixed point theorems in the theory of invariant subspaces. The general idea is that a fixed point theorem applied to a suitable map yields the existence of invariant subspaces for an operator on a Banach…

Operator Algebras · Mathematics 2012-10-23 Rafa Espínola , Miguel Lacruz

We employ Schauder fixed-point Theorem to prove the existence of at least one positive continuous solution of the quadratic integral equation Moreover, the maximal and the minimal solutions of the last equation are also proved.

Classical Analysis and ODEs · Mathematics 2021-11-17 Insaf F. Ben Saouda , Haitham A. Makhzoumb , Kheria M. Msaikc

A theory of gravity with a generic action functional and minimally coupled to N matter fields has a nontrivial fixed point in the leading large N approximation. At this fixed point, the cosmological constant and Newton's constant are…

High Energy Physics - Theory · Physics 2009-11-11 R. Percacci

In this paper, we introduce the concepts of weaknorm, quasi-weaknorm on real vector spaces. By these concepts, we introduce the concept of quasi-locally convex topological vector spaces, which include locally convex topological vector…

Functional Analysis · Mathematics 2020-01-01 Jinlu Li

The aim of this paper is to generalize some fixed point theorems in the class of convex contraction of order $m$ on a complete suprametric space. Then, we will prove that the class of convex contraction of order m is strong enough to…

General Mathematics · Mathematics 2026-05-11 Nicola Fabiano , Sedigheh Barootkoob , Hossein Lakzian

In this paper, we introduce the concepts of m-quasiconvex, originally m-quasiconvex,and generalized m-quasiconvex functionals on topological vector spaces. Then we extend the concept of point separable topological vector spaces (by the…

Functional Analysis · Mathematics 2020-12-07 Jinlu Li