We propose a geometric framework to describe and analyse a wide array of operator splitting methods for solving monotone inclusion problems. The initial inclusion problem, which typically involves several operators combined through monotonicity-preserving operations, is seldom solvable in its original form. We embed it in an auxiliary space, where it is associated with a surrogate monotone inclusion problem with a more tractable structure and which allows for easy recovery of solutions to the initial problem. The surrogate problem is solved by successive projections onto half-spaces containing its solution set. The outer approximation half-spaces are constructed by using the individual operators present in the model separately. This geometric framework is shown to encompass traditional methods as well as state-of-the-art asynchronous block-iterative algorithms, and its flexible structure provides a pattern to design new ones.

In this article, using an Halpern extragradient method, we study a new iterative scheme for finding a common element of the set of solutions of multiple set split equality equilibrium problems consisting of pseudomonotone bifunctions and the set of fixed points for two finite families of Bregman quasi-nonexpansive mappings in the framework of p-uniformly convex Banach spaces, which are also uniformly smooth. For this purpose, we design an algorithm so that it does not depend on prior estimates of the Lipschitz-type constants for the pseudomonotone bifunctions. Furthermore, we present an application of our study for finding a common element of the set of solutions of multiple set split equality variational inequality problems and fixed point sets for two finite families of Bregman quasi-nonexpansive mappings. Finally, we conclude with two numerical experiments to support our proposed algorithm.

Celebrating 100 years of the Banach contraction principle, we prove some fixed point theorems having all ingredients of the principle, but dealing with common fixed points of a contractive semigroup of nonlinear mappings acting in a modulated topological vector space. This research follows the ideas of the author’s recent papers [‘On modulated topological vector spaces and applications’, Bull. Aust. Math. Soc. 101 (2020), 325–332, and ‘Normal structure in modulated topological vector spaces’, Comment. Math. 60 (2020), 1–11]. Modulated topological vector spaces generalise, among others, Banach spaces and modular function spaces. The interest in modulars reflects the fact that the notions of ‘norm like’ but ‘noneuclidean’ (and not even necessarily convex) constructs to measure a level of proximity between complex objects are frequently used in science and technology. To prove our fixed point results in this setting, we introduce a new concept of Opial sets using analogies with the norm-weak and modular versions of the Opial property. As an example, the results of this work can be applied to spaces like $L^p$ for $p> 0 $, variable Lebesgue spaces $L^{p(\cdot )}$ where $1 \leq p(t) < + \infty $, Orlicz and Musielak–Orlicz spaces.

In this doctoral thesis, we show how the bounded functional interpretation of F. Ferreira and P. Oliva can be used and contribute to the Proof Mining program, a program which aims to extract computational information from mathematical theorems using proof-theoretic techniques. We present a method for the elimination of sequential weak compactness arguments from the quantitative analysis of certain mathematical results. This method works as a “macro” and allowed us to obtain quantitative versions of important results of F. E. Browder, R. Wittmann, and H. H. Bauschke in fixed point theory in Hilbert spaces. Although the theorems of Browder and Wittmann were previously analyzed by U. Kohlenbach using the monotone functional interpretation, it was not clear why such analyses did not require the use of functionals defined by bar recursion. This phenomenon is now fully understood by a theoretical justification for the elimination of sequential weak compactness in the context of the bounded functional interpretation. Bauschke’s theorem is an important generalization of Wittmann’s theorem and its original proof is also analyzed here. The analyses of these results also require a quantitative version of a projection argument which turned out to be simpler when guided by the bounded functional interpretation than when using the monotone functional interpretation. In the context of the theory of monotone operators, results due to Boikanyo/Moroşanu and Xu for the strong convergence of variants of the proximal point algorithm are analyzed and bounds on the metastablility property of these iterations are obtained. These results are the first applications of the bounded functional interpretation to the proof mining of concrete mathematical results.

Abstract prepared by Pedro Pinto.

E-mail: [email protected]

URL: http://hdl.handle.net/10451/42661

Let $X,Y$ be two Hilbert spaces, let E be a subset of $X,$ and let $G\colon E \to Y$ be a Lipschitz mapping. A famous theorem of Kirszbraun’s states that there exists $\tilde {G} : X \to Y$ with $\tilde {G}=G$ on E and $ \operatorname {\mathrm {Lip}}(\tilde {G})= \operatorname {\mathrm {Lip}}(G).$ In this note we show that in fact the function $\tilde {G}:=\nabla _Y( \operatorname {\mathrm {conv}} (g))( \cdot , 0)$, where

$$\begin{align*}g(x,y) = \inf_{z \in E} \Big\lbrace \langle G(z), y \rangle + \frac{\operatorname{\mathrm{Lip}}(G)}{2} \|(x-z,y)\|^2 \Big\rbrace + \frac{\operatorname{\mathrm{Lip}}(G)}{2}\|(x,y)\|^2, \end{align*}$$

$C^{1,1}$

We introduce a notion of modulated topological vector spaces, that generalises, among others, Banach and modular function spaces. As applications, we prove some results which extend Kirk’s and Browder’s fixed point theorems. The theory of modulated topological vector spaces provides a very minimalist framework, where powerful fixed point theorems are valid under a bare minimum of assumptions.

In the framework of fixed point theory, many generalizations of the classical results due to Krasnosel'skii are known. One of these extensions consists in relaxing the conditions imposed on the mapping, working with k-set contractions instead of continuous and compact maps. The aim of this work if to study in detail some fixed point results of this type, and obtain a certain generalization by using star convex sets.

Through appropriate choices of elements in the underlying iterated function system, the methodology of fractal interpolation enables us to associate a family of continuous self-referential functions with a prescribed real-valued continuous function on a real compact interval. This procedure elicits what is referred to as an α-fractal operator on , the space of all real-valued continuous functions defined on a compact interval I. With an eye towards connecting fractal functions with other branches of mathematics, in this paper we continue to investigate the fractal operator in more general spaces such as the space of all bounded functions and the Lebesgue space , and in some standard spaces of smooth functions such as the space of k-times continuously differentiable functions, Hölder spaces and Sobolev spaces . Using properties of the α-fractal operator, the existence of Schauder bases consisting of self-referential functions for these function spaces is established.

We study the existence of fixed points for contraction multivalued mappings in modular metric spaces endowed with a graph. The notion of a modular metric on an arbitrary set and the corresponding modular spaces, generalizing classical modulars over linear spaces like Orlicz spaces, were recently introduced. This paper can be seen as a generalization of Nadler and Edelstein’s fixed point theorems to modular metric spaces endowed with a graph.

In this paper, we investigate the common approximate fixed point sequences of nonexpansive semigroups of nonlinear mappings ${{\left\{ {{T}_{t}} \right\}}_{t\ge 0}}$, i.e., a family such that ${{T}_{0}}\left( x \right)\,=\,x,\,{{T}_{s+t}}\,=\,{{T}_{s}}\left( {{T}_{t}}\left( x \right) \right)$, where the domain is a metric space $\left( M,\,d \right)$. In particular, we prove that under suitable conditions the common approximate fixed point sequences set is the same as the common approximate fixed point sequences set of two mappings from the family. Then we use the Ishikawa iteration to construct a common approximate fixed point sequence of nonexpansive semigroups of nonlinear mappings.

In this paper, we prove that if $X$ is an infinite-dimensional real Hilbert space and $J: X\rightarrow \mathbb{R} $ is a sequentially weakly lower semicontinuous ${C}^{1} $ functional whose Gâteaux derivative is non-expansive, then there exists a closed ball $B$ in $X$ such that $(\mathrm{id} + {J}^{\prime } )(B)$ intersects every convex and dense subset of $X$.

We show that the direct sum $\mathop{({X}_{1} \oplus \cdots \oplus {X}_{r} )}\nolimits_{\psi } $ with a strictly monotone norm has the weak fixed point property for nonexpansive mappings whenever $M({X}_{i} )\gt 1$ for each $i= 1, \ldots , r$. In particular, $\mathop{({X}_{1} \oplus \cdots \oplus {X}_{r} )}\nolimits_{\psi } $ enjoys the fixed point property if Banach spaces ${X}_{i} $ are uniformly nonsquare. This combined with the earlier results gives a definitive answer for $r= 2$: a direct sum ${X}_{1} {\mathop{\oplus }\nolimits}_{\psi } {X}_{2} $ of uniformly nonsquare spaces with any monotone norm has the fixed point property. Our results are extended to asymptotically nonexpansive mappings in the intermediate sense.

In this paper we study the existence and uniqueness of best proximity points of cyclic contractions as well as the convergence of iterates to such proximity points. We take two different approaches, each one leading to different results that complete, if not improve, other similar results in the theory. Results in this paper stand for Banach spaces, geodesic metric spaces and metric spaces. We also include an appendix on $\text{CAT(0)}$ spaces where we study the particular behavior of these spaces regarding the problems we are concerned with.

Using the Kobayashi distance, we provide sufficient conditions for the intersection of a family of holomorphic retracts in a Banach space to also be a holomorphic retract.

Let C be a non-empty closed convex subset of a reflexive and strictly convex Banach space E which also has a weakly continuous duality map Jφ(x) with the gauge φ. Let S and T be non-expansive mappings from C into itself such that F = F(S) ∩ F(T) ≠ ∅. Let {αn} and {βn} be sequences in (0, 1). Let {xn} be a sequence defined by where u ∈ C is a given point. Assume that the following restrictions imposed on the control sequences are satisfied:

Moudafi and Maingé [Towards viscosity approximations of hierarchical fixed-point problems, Fixed Point Theory Appl. (2006), Art. ID 95453, 10pp] and Xu [Viscosity method for hierarchical fixed point approach to variational inequalities, Taiwanese J. Math.13(6) (2009)] studied an implicit viscosity method for approximating solutions of variational inequalities by solving hierarchical fixed point problems. The approximate solutions are a net (xs,t) of two parameters s,t∈(0,1), and under certain conditions, the iterated lim t→0lim s→0xs,t exists in the norm topology. Moudafi, Maingé and Xu stated the problem of convergence of (xs,t) as (s,t)→(0,0) jointly in the norm topology. In this paper we further study the behaviour of the net (xs,t); in particular, we give a negative answer to this problem.

We establish the existence and approximation of solutions to the operator inclusion y ∈ Ty for deterministic and random cases for a nonexpansive and *-nonexpansive multivalued mapping T defined on a closed bounded (not necessarily convex) subset C of a Banach space. We also prover random fixed points and approximation results for*-nonexpansive random operators defined on an unbounded subject C of a uniformly convex Banach space.

The omega limit sets of a nonlinear operator $T$ which is defined on a positive cone and satisfies certain ray-contractive type conditions are discussed. Under the assumption that the restriction of $T$ to a compact subset is surjective, the following alternatives are proved: the omega limit set of a point in the cone either consists of a fixed point or forms a 2-cycle. In addition, new proofs and extensions to relevant results are given.

This paper focuses on the analyticity of the limiting behavior of a class of dynamical systems defined by iteration of non-expansive random operators. The analyticity is understood with respect to the parameters which govern the law of the operators. The proofs are based on contraction with respect to certain projective semi-norms. Several examples are considered, including Lyapunov exponents associated with products of random matrices both in the conventional algebra, and in the (max, +) semi-field, and Lyapunov exponents associated with non-linear dynamical systems arising in stochastic control. For the class of reducible operators (defined in the paper), we also address the issue of analyticity of the expectation of functionals of the limiting behavior, and connect this with contraction properties with respect to the supremum norm. We give several applications to queueing theory.

A closed convex subset of ${{c}_{0}}$ has the fixed point property (fpp) if every nonexpansive self mapping of it has a fixed point. All nonempty weak compact convex subsets of ${{c}_{0}}$ are known to have the fpp. We show that closed convex subsets with a nonempty interior and nonempty convex subsets which are compact in a topology slightly coarser than the weak topology may fail to have the fpp.