Related papers: Coupled fixed points of multivalued operators and …
We establish three major fixed-point theorems for functions satisfying an odd power type contractive condition in G-metric spaces. We first consider the case of a single mapping, followed by that of a triplet of mappings and we conclude by…
We prove fixed point theorems in a space with a distance function that takes values in a partially ordered monoid. On the one hand, such an approach allows one to generalize some fixed point theorems in a broad class of spaces, including…
In this paper we establish the existence of related fixed points theorems for two pairs of mappings with different contraction conditions in two fuzzy metric spaces.
We prove a uniform vector-valued Wiener-Wintner Theorem for a class of operators that includes compositions of ergodic Koopman operators with contractive multiplication operators. Our results are new even in the case of complex-valued…
In this paper, we present new multiplicity fixed point theorems for operators acting on Cartesian products of two normed linear spaces. We show that Leggett-Williams type conditions in each component of the system guarantee the existence of…
In this paper, we firstly prove the existence of the equilibrium for the generalized abstract economy. We apply these results to show the existence of solutions for systems of vector quasi-equilibrium problems with multivalued trifunctions.…
Combining monotonicity theory related to the parametric version of the Browder-Minty Theorem with fixed point arguments we obtain hybrid existence results for a system of two operator equations. Applications are given to a system of…
We present a version of Krasnosel'skii fixed point theorem for operators acting on Cartesian products of normed linear spaces, under cone-compression and cone-expansion conditions of norm type. Our approach, based on the fixed point index…
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…
In this paper, we establish some new variants of fixed point theorems for a large class of countably nonexpansive multi-valued mappings. Some fixed point theorems for the sum and the product of three multi-valued mappings defined on…
The dominant method for defining multivariate operator means is to express them as fix-points under a contraction with respect to the Thompson metric. Although this method is powerful, it crucially depends on monotonicity. We are developing…
By using the theory of first-order differential subordination for functions with fixed initial coefficient, several well-known results for subclasses of univalent functions are improved by restricting the functions to have fixed second…
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…
This work considers a second order impulsive coupled system of differential equations with generalized jump conditions in half-line, which can depend on the impulses of the unknown functions and their first derivatives. The arguments apply…
In this paper, we study the existence of fixed points for mappings defined on complete (compact) metric space (X, d) satisfying a general contractive (contraction) inequality depended on another function. These conditions are analogous to…
In this paper we give some coupled fixed point results for mappings satisfying different contractive conditions on complete partial metric spaces.
Fixpoint operators are tools to reason on recursive programs and data types obtained by induction (e.g. lists, trees) or coinduction (e.g. streams). They were given a categorical treatment with the notion of categories with fixpoints. A…
We consider a class of formula equations in first-order logic, Horn formula equations, which are defined by a syntactic restriction on the occurrences of predicate variables. Horn formula equations play an important role in many…
We introduce two new classes of single-valued contractions of polynomial type defined on a metric space. For the first one, called the class of polynomial contractions, we establish two fixed point theorems. Namely, we first consider the…
It is well known that, under standard assumptions, initial value problems for fractional ordinary differential equations involving Caputo-type derivatives are well posed in the sense that a unique solution exists and that this solution…