In this paper we investigate the question of existence nonnegative solution to some fractional liouville equation. Our main tools based on well known Krasnoselskiis xed point theorem.

In this paper, we discuss the existence and uniqueness of xed points for Banach and Kannancontractions dened on modular spaces endowed with a graph. We do not impose the Δ2-conditionor the Fatou property on the modular spaces to give generalizations of some recent results. Thegiven results play as a modular version of metric xed point results.

in this paper we formulate and prove some xed and common xed pointtheorems for self-mappings dened on complete lower transversal functionalprobabilistic spaces.

In this paper we obtain a unique common xed point theorem for sixweakly compatible mappings in G-metric spaces.

The xed point result in Mustafa-Sims metrical structures obtained by Karapinar and Agarwal[Fixed Point Th. Appl., 2013, 2013:154] is deductible from a corresponding one stated in terms ofanticipative contractions over the associated (standard) metric space.

In this paper, we prove the existence of fixed point for J-type multi-valuedmap T in CAT(0) spaces and also we prove the strong convergence theoremsfor Ishikawa iteration scheme without using the xed point of involving map.

in this paper, we introduce a new concept of - -ϕ-contractive integral type mappings and establish some new xed point theorems in complete metric spaces.

We discuss the temporal logic`USF', involving Until, Since and the xed point operator ' of Gabbay, with semantics over the natural numbers. We show that any formula not involving Until is equivalent to one without nested xed point operators. We then prove that USF has expressive power matching that of the monadic second-order logic S1S. The proof shows that any USF-formula is equivalent to one ...

Let Q IFP be any quantiier such that FO(Q IFP), rst order logic enhanced with Q IFP and its vectorizations, equals inductive xed point logic, IFP in expressive power. It is known that for certain quantiiers Q, the equivalence FO(Q IFP) IFP is no longer true if Q is added on both sides 12, 13]. Rather, we have FO(Q IFP ; Q) < IFP(Q) in such cases. We extend these results to a great variety of qu...

Let (x n) and (^ x n) be two vector sequences converging to a common limit. First, we shall deene nonlinear hybrid procedures which consist of constructing a new vector sequence (y n) with better convergence properties than (x n) and (^ x n). Then, this procedure is used for accelerating the convergence of a given sequence and applied to the construction of xed point methods. New methods are de...