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: pinto@mathematik.tu-darmstadt.de

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

We extract quantitative information (specifically, a rate of metastability in the sense of Terence Tao) from a proof due to Kazuo Kobayasi and Isao Miyadera, which shows strong convergence for Cesàro means of non-expansive maps on Banach spaces.

Finding a common point in a finite intersection of sets, say, $C=\cap _{i=1}^{n} F(T_i)$, where each $T_i$ is a non-expansive-type mapping, is a central task in mathematics as it cuts across different areas of application, such as road design and medical image reconstruction. There are many algorithms for approximating solutions of such problems. Of particular interest in the implementation of these algorithms are cost and speed. This is due to the large computations to be performed at each step of the iterative process. One of the most efficient methods that optimizes the time of computation and cost of implementation is the asynchronous-parallel algorithm method. In this paper, we prove a weak convergence theorem for the asynchronous sequential inertial (ASI) algorithm (introduced by Heaton and Censor in [H. Heaton and Y. Censor, Asynchronous sequential inertial iterations for common fixed points problems with an application to linear systems, J. Glob. Optim. 74 (2019), 95–119.] ) for strictly pseudo-contractive mappings in Hilbert spaces. Under additional mild conditions, we also obtain a strong convergence theorem. Finally, we apply the ASI algorithm to solving convex minimization problems and Hammerstein integral equations.

In this paper we study the existence and the analytic dependence upon domain perturbation of the solutions of a nonlinear nonautonomous transmission problem for the Laplace equation. The problem is defined in a pair of sets consisting of a perforated domain and an inclusion whose shape is determined by a suitable diffeomorphism $\phi$. First we analyse the case in which the inclusion is a fixed domain. Then we will perturb the inclusion and study the arising boundary value problem and the dependence of a specific family of solutions upon the perturbation parameter $\phi$.

We study a mathematical model proposed in the literature with the aim of describing the interactions between tumor cells and the immune system, when a periodic treatment of immunotherapy is applied. Combining some techniques from non-linear analysis (degree theory, lower and upper solutions, and theory of free-homeomorphisms in the plane), we give a detailed global analysis of the model. We also observe that for certain therapies, the maximum level of aggressiveness of a cancer, for which the treatment works (or does not work), can be computed explicitly. We discuss some strategies for designing therapies. The mathematical analysis is completed with numerical results and conclusions.

We prove that the restriction of a given orthogonal-complete metric space to the closure of the orbit induced by the origin point with respect to an orthogonal-preserving and orthogonal-continuous map is a complete metric space. Then we show that many existence results on fixed points in orthogonal-complete metric spaces can be proved by using the corresponding existence results in complete metric spaces.

In this paper, we extend the study of fixed point properties of semitopological semigroups of continuous mappings in locally convex spaces to the setting of completely regular topological spaces. As applications, we establish a general fixed point theorem, a convergence theorem and an application to amenable locally compact groups.

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 study the dynamics induced by homogeneous polynomials on Banach spaces. It is known that no homogeneous polynomial defined on a Banach space can have a dense orbit. We show a simple and natural example of a homogeneous polynomial with an orbit that is at the same time $\unicode[STIX]{x1D6FF}$ -dense (the orbit meets every ball of radius $\unicode[STIX]{x1D6FF}$ ), weakly dense and such that $\unicode[STIX]{x1D6E4}\cdot \text{Orb}_{P}(x)$ is dense for every $\unicode[STIX]{x1D6E4}\subset \mathbb{C}$ that either is unbounded or has 0 as an accumulation point. Moreover, we generalize the construction to arbitrary infinite-dimensional separable Banach spaces. To prove this, we study Julia sets of homogeneous polynomials on Banach spaces.

The existence and nonexistence of semi-trivial or coexistence steady-state solutions of one-dimensional competition models in an unstirred chemostat are studied by establishing new results on systems of Hammerstein integral equations via the classical fixed point index theory. We provide three ranges for the two parameters involved in the competition models under which the models have no semi-trivial and coexistence steady-state solutions or have semi-trivial steady-state solutions but no coexistence steady-state solutions or have semi-trivial or coexistence steady-state solutions. It remains open to find the largest range for the two parameters under which the models have only coexistence steady-state solutions. We apply the new results on systems of Hammerstein integral equations to obtain results on steady-state solutions of systems of reaction-diffusion equations with general separated boundary conditions. Such type of results have not been studied in the literature. However, these results are very useful for studying the competition models in an unstirred chemostat. Our results on Hammerstein integral equations and differential equations generalize and improve some previous results.

For $p\geq 2$, let $E$ be a 2-uniformly smooth and $p$-uniformly convex real Banach space and let $A:E\rightarrow E^{\ast }$ be a Lipschitz and strongly monotone mapping such that $A^{-1}(0)\neq \emptyset$. For given $x_{1}\in E$, let $\{x_{n}\}$ be generated by the algorithm $x_{n+1}=J^{-1}(Jx_{n}-\unicode[STIX]{x1D706}Ax_{n})$, $n\geq 1$, where $J$ is the normalized duality mapping from $E$ into $E^{\ast }$ and $\unicode[STIX]{x1D706}$ is a positive real number in $(0,1)$ satisfying suitable conditions. Then it is proved that $\{x_{n}\}$ converges strongly to the unique point $x^{\ast }\in A^{-1}(0)$. Furthermore, our theorems provide an affirmative answer to the Chidume et al. open problem [‘Krasnoselskii-type algorithm for zeros of strongly monotone Lipschitz maps in classical Banach spaces’, SpringerPlus4 (2015), 297]. Finally, applications to convex minimization problems are given.

A basic problem in the theory of partially ordered vector spaces is to characterise those cones on which every order-isomorphism is linear. We show that this is the case for every Archimedean cone that equals the inf-sup hull of the sum of its engaged extreme rays. This condition is milder than existing ones and is satisfied by, for example, the cone of positive operators in the space of bounded self-adjoint operators on a Hilbert space. We also give a general form of order-isomorphisms on the inf-sup hull of the sum of all extreme rays of the cone, which extends results of Artstein–Avidan and Slomka to infinite-dimensional partially ordered vector spaces, and prove the linearity of homogeneous order-isomorphisms in a variety of new settings.

In this paper, we initiate the study of fixed point properties of amenable or reversible semitopological semigroups in modular spaces. Takahashi’s fixed point theorem for amenable semigroups of nonexpansive mappings, and T. Mitchell’s fixed point theorem for reversible semigroups of nonexpansive mappings in Banach spaces are extended to the setting of modular spaces. Among other things, we also generalize another classical result due to Mitchell characterizing the left amenability property of the space of left uniformly continuous functions on semitopological semigroups by introducing the notion of a semi-modular space as a generalization of the concept of a locally convex space.

We show how some Ulam stability issues can be approached for functions taking values in 2-Banach spaces. We use the example of the well-known Cauchy equation $f(x+y)=f(x)+f(y)$, but we believe that this method can be applied for many other equations. In particular we provide an extension of an earlier stability result that has been motivated by a problem of Th. M. Rassias. The main tool is a recent fixed point theorem in some spaces of functions with values in 2-Banach spaces.

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.

We consider a nonlinear Robin problem for the Poisson equation in an unbounded periodically perforated domain. The domain has a periodic structure, and the size of each cell is determined by a positive parameter δ. The relative size of each periodic perforation is determined by a positive parameter ε. Under suitable assumptions, such a problem admits a family of solutions which depends on ε and δ. We analyse the behaviour the energy integral of such a family as (ε, δ) tends to (0, 0) by an approach that represents an alternative to asymptotic expansions and classical homogenization theory.

As a continuation of previous work of the first author with Ranjbar [‘A variational inequality in complete CAT(0) spaces’, J. Fixed Point Theory Appl. 17 (2015), 557–574] on a special form of variational inequalities in Hadamard spaces, in this paper we study equilibrium problems in Hadamard spaces, which extend variational inequalities and many other problems in nonlinear analysis. In this paper, first we study the existence of solutions of equilibrium problems associated with pseudo-monotone bifunctions with suitable conditions on the bifunctions in Hadamard spaces. Then, to approximate an equilibrium point, we consider the proximal point algorithm for pseudo-monotone bifunctions. We prove existence of the sequence generated by the algorithm in several cases in Hadamard spaces. Next, we introduce the resolvent of a bifunction in Hadamard spaces. We prove convergence of the resolvent to an equilibrium point. We also prove $\triangle$-convergence of the sequence generated by the proximal point algorithm to an equilibrium point of the pseudo-monotone bifunction and also the strong convergence under additional assumptions on the bifunction. Finally, we study a regularization of Halpern type and prove the strong convergence of the generated sequence to an equilibrium point without any additional assumption on the pseudo-monotone bifunction. Some examples in fixed point theory and convex minimization are also presented.

For a complex function $F$ on $\mathbb{C}$, we study the associated composition operator $T_{F}(f):=F\circ f=F(f)$ on Wiener amalgam $W^{p,q}(\mathbb{R}^{d})\;(1\leqslant p<\infty ,1\leqslant q<2)$. We have shown $T_{F}$ maps $W^{p,1}(\mathbb{R}^{d})$ to $W^{p,q}(\mathbb{R}^{d})$ if and only if $F$ is real analytic on $\mathbb{R}^{2}$ and $F(0)=0$. Similar result is proved in the case of modulation spaces $M^{p,q}(\mathbb{R}^{d})$. In particular, this gives an affirmative answer to the open question proposed in Bhimani and Ratnakumar (J. Funct. Anal. 270(2) (2016), 621–648).

The Douglas–Rachford method has been employed successfully to solve many kinds of nonconvex feasibility problems. In particular, recent research has shown surprising stability for the method when it is applied to finding the intersections of hypersurfaces. Motivated by these discoveries, we reformulate a second order boundary value problem (BVP) as a feasibility problem where the sets are hypersurfaces. We show that such a problem may always be reformulated as a feasibility problem on no more than three sets and is well suited to parallelization. We explore the stability of the method by applying it to several BVPs, including cases where the traditional Newton’s method fails.

The implication $(i)\Rightarrow (ii)$ of Theorem 2.1 in our article [1] is not true as it stands. We give here two correct statements which follow from the original proof.