English
Related papers

Related papers: On Smithson's fixed point theorem for order preser…

200 papers

We introduce and study a general concept of multiple fixed point for mappings defined on partially ordered distance spaces in the presence of a contraction type condition and appropriate monotonicity properties. This notion and the obtained…

General Mathematics · Mathematics 2017-01-04 Mitrofan M. Choban , Vasile Berinde

Under the same assumptions made by Mas-Colell et al. (1995), I develop a short, simple, and complete proof of existence of equilibrium prices based on excess demand functions. The result is obtained by applying the Brouwer fixed point…

Theoretical Economics · Economics 2018-09-25 Simone Tonin

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 a study on strong t-continuity and measure of discontinuity on PN spaces. As an application, we prove a fixed point theorem for a self mapping on PN spaces by means of measure of discontinuity.

Functional Analysis · Mathematics 2007-06-12 Mohd Rafi

In this paper we prove FG-coupled fixed point theorems for different contractive mappings and generalized quasi- contractive mappings in partially ordered complete metric spaces. We prove the existence of FG-coupled fixed points of…

General Topology · Mathematics 2016-04-12 Deepa Karichery , Shaini Pulickakunnel

We introduce a new technique for proving the classical Stable Manifold theorem for hyperbolic fixed points. This method is much more geometrical than the standard approaches which rely on abstract fixed point theorems. It is based on the…

Dynamical Systems · Mathematics 2007-05-23 Mark Holland , Stefano Luzzatto

Recently, a novel fixed point operation has been introduced over certain non-monotonic functions between stratified complete lattices and used to give semantics to logic programs with negation and boolean context-free grammars. We prove…

Logic in Computer Science · Computer Science 2015-12-11 Zoltan Esik

Brouwer's fixed point theorem from 1911 is a basic result in topology - with a wealth of combinatorial and geometric consequences. In these lecture notes we present some of them, related to the game of HEX and to the piercing of multiple…

Combinatorics · Mathematics 2017-01-17 Anders Björner , Jiří Matoušek , Günter M. Ziegler

The paper discusses the conditions for the existence of fixed points of multivalued mappings that are not based on the linear structure of the set. The descriptions for the sets of fixed points for mappings with closed graph in compact…

General Topology · Mathematics 2016-02-23 Dmitrii Serkov

We define a novel, extensional, three-valued semantics for higher-order logic programs with negation. The new semantics is based on interpreting the types of the source language as three-valued Fitting-monotonic functions at all levels of…

Programming Languages · Computer Science 2019-07-25 Angelos Charalambidis , Panos Rondogiannis , Ioanna Symeonidou

We establish common fixed point theorems for two pairs of weakly compatible self-mappings using an auxiliary function of two variables. Unlike classical results, our theorems do not assume continuity of the mappings and require completeness…

Functional Analysis · Mathematics 2025-09-10 Babu G. V. R. , Alemayehu Negash , Sandhya M. L. , Meaza Bogale

Nonexpansive mappings play a central role in modern optimization and monotone operator theory because their fixed points can describe solutions to optimization or critical point problems. It is known that when the mappings are sufficiently…

Functional Analysis · Mathematics 2020-04-28 Salihah Alwadani , Heinz H. Bauschke , Xianfu Wang

We establish some new common fixed point theorems of single-valued and multivalued mappings operating between complete ordered locally convex spaces under weaker assumptions. As an application, we prove a new minimax theorem of existence of…

Functional Analysis · Mathematics 2021-09-21 Driss Mentagui , Azennar Radouane

In this paper, we study the existence of common fixed points of family of multivalued mappings satisfying generalized F-contractive conditions in ordered metric spaces. These results establish some of the general common fixed point theorems…

General Mathematics · Mathematics 2016-06-17 Talat Nazir , Sergei Silvestrov

A branch of generalizations of the Banach Fixed Point Theorem replaces contractivity by a weaker but still effective property. The aim of the present note is to extend the contraction principle in this spirit for such complete semimetric…

Functional Analysis · Mathematics 2017-06-29 Mihály Bessenyei , Zsolt Páles

Kirk and Shahzad have recently given fixed point theorems concerning local radial contractions and metric transforms. In this article, we replace the metric transforms by metric-preserving functions. This in turn gives several extensions of…

Classical Analysis and ODEs · Mathematics 2014-05-29 Prapanpong Pongsriiam , Imchit Termwuttipong

In this present article, we get sufficient conditions for the existence and uniqueness of fixed points and common fixed points for single and double mapping satisfying various contractive conditions within the partially ordered…

General Mathematics · Mathematics 2017-05-29 Meltem Kaya , Hasan Furkan

There are several extensions of the classical Banach Fixed Point Theorem in technical literature. A branch of generalizations replaces usual contractivity by weaker but still effective assumptions. Our note follows this stream, presenting…

Functional Analysis · Mathematics 2016-05-13 Mihály Bessenyei

The fixed-point theory and its applications to various areas of science are well known. In this paper we present some existence and uniqueness theorems for fixed circles of self-mappings on metric spaces with geometric interpretation. We…

Metric Geometry · Mathematics 2025-06-03 Nihal Yilmaz Özgür , Nihal Taş

Given a parameter dependent fixed point equation $x = F(x,u)$, we derive an abstract compactness principle for the fixed point map $u \mapsto x^*(u)$ under the assumptions that (i) the fixed point equation can be solved by the contraction…

Functional Analysis · Mathematics 2022-08-05 Gunther Dirr