Compression–Expansion Fixed Point Theorems for Decomposable Maps and Applications to Discontinuous ϕ-Laplacian problems

In this paper, we prove new compression–expansion type fixed point theorems in cones for the so-called decomposable maps, that is, compositions of two upper semicontinuous multivalued maps. As an application, we obtain existence and localization of positive solutions for a differential equation with ϕ-Laplacian and discontinuous nonlinearity subject to multi-point boundary conditions. As far as we are aware, the existence results are new even in the classical case of continuous nonlinearitiesJorge Rodríguez-López was partially supported by Xunta de Galicia ED431C 2019/02S

Some Coupled coincidence and common fixed point theorems for hybrid pair of mappings

In this paper we extend the multi-valued mappings and obtain coupled coincidence points and common coupled fixed point theorems involving hybrid pair of single valued and multi-valued maps satisfying generalized contractive conditions in the frame work of a complete metric space. Keywords: coupled common fixed point, coupled coincidence point, coupled point of coincidence, w-compatible mappings, F-weakly commuting mappings

Best approximation and fixed-point theorems for discontinuous increasing maps in Banach lattices

In this paper, we extend and prove Ky Fan’s Theorem for discontinuous increasing maps f in a Banach lattice X when f has no compact conditions. The main tools of analysis are the variational characterization of the generalized projection operator and order-theoretic fixed-point theory. Moreover, we establish a sequence {xn} which converges strongly to the unique best approximation point. As an application of our best approximation theorems, a fixed-point theorem for non-self maps is established and proved under some conditions. Our results generalize and improve many recent results obtained by many authors

Multiple fixed point theorems for contractive and Meir-Keeler type mappings defined on partially ordered spaces with a distance

[EN] 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 results complement the corresponding ones from [M. Choban, V. Berinde, A general concept of multiple fixed point for mappings defined on spaces with a distance, Carpathian J. Math. 33 (2017), no. 3, 275--286] and also simplifies some concepts of multiple fixed point considered by various authors in the last decade or so.This second author acknowledges the support provided by the Deanship of Scientific Research at King Fahd University of Petroleum and Minerals for funding this work through the projects IN151014 and IN141047.Choban, MM.; Berinde, V. (2017). Multiple fixed point theorems for contractive and Meir-Keeler type mappings defined on partially ordered spaces with a distance. Applied General Topology. 18(2):317-330. https://doi.org/10.4995/agt.2017.7067SWORD31733018

Quantitative Continuity and Computable Analysis in Coq

We give a number of formal proofs of theorems from the field of computable analysis. Many of our results specify executable algorithms that work on infinite inputs by means of operating on finite approximations and are proven correct in the sense of computable analysis. The development is done in the proof assistant Coq and heavily relies on the Incone library for information theoretic continuity. This library is developed by one of the authors and the results of this paper extend the library. While full executability in a formal development of mathematical statements about real numbers and the like is not a feature that is unique to the Incone library, its original contribution is to adhere to the conventions of computable analysis to provide a general purpose interface for algorithmic reasoning on continuous structures. The paper includes a brief description of the most important concepts of Incone and its sub libraries mf and Metric. The results that provide complete computational content include that the algebraic operations and the efficient limit operator on the reals are computable, that the countably infinite product of a space with itself is isomorphic to a space of functions, compatibility of the enumeration representation of subsets of natural numbers with the abstract definition of the space of open subsets of the natural numbers, and that continuous realizability implies sequential continuity. We also describe many non-computational results that support the correctness of definitions from the library. These include that the information theoretic notion of continuity used in the library is equivalent to the metric notion of continuity on Baire space, a complete comparison of the different concepts of continuity that arise from metric and represented space structures and the discontinuity of the unrestricted limit operator on the real numbers and the task of selecting an element of a closed subset of the natural numbers