We develop a new method suitable for establishing lower bounds on the ball measure of noncompactness of operators acting between considerably general quasinormed function spaces. This new method removes some of the restrictions oft-presented in the previous work. Most notably, the target function space need not be disjointly superadditive nor equipped with a norm. Instead, a property that is far more often at our disposal is exploited—namely the absolute continuity of the target quasinorm.

We use this new method to prove that limiting Sobolev embeddings into spaces of Brezis–Wainger type are so-called maximally noncompact, i.e. their ball measure of noncompactness is the worst possible.

In loving memory of my beloved miniature dachshund Maddie (16 March 2002 – 16 March 2020). We consider nonlocal differential equations with convolution coefficients of the form

\[{-}M\Big(\big(a*(g\circ |u|)\big)(1)\Big)u''(t)=\lambda f\big(t,u(t)\big),\quad t\in(0,1), \]

$g$

$M$

$M$

$f$

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.

This thesis is concerned with extending the underlying logical approach as well as the breadth of applications of the proof mining program to various (mostly previously untreated) areas of nonlinear analysis and optimization, with a particular focus being placed on topics which involve set-valued operators.

For this, we extend the current logical methodology of proof mining by new systems and corresponding so-called logical metatheorems that cover these more involved areas of nonlinear analysis. Most of these systems crucially rely on the use of intensional methods, treating sets with potentially high quantifier complexity in the defining matrix via characteristic functions and axioms that describe only their properties and do not completely characterize the elements of the sets.

The applicability of all of these metatheorems is then substantiated by a range of case studies for the respective areas which in particular also highlight the naturalness of the use of intensional methods in the design of the corresponding systems.

The first new area covered thereby is the theory of nonlinear semigroups induced by corresponding evolution equations for accretive operators. In that context, we present (besides an initial foray into the area from 2015) essentially the first applications of proof mining to the theory of partial differential equations. Concretely, we provide quantitative versions of four central results on the asymptotic behavior of solutions to such equations.

The second new area unlocked in this thesis is that of the continuous dual of a Banach space and its norm (which are also approached via intensional methods). This in particular relies on a proof-theoretically tame treatment of suprema over (certain) bounded sets in this intensional context which is further exploited later on. These systems, which give access to this until now untreated fundamental notion from functional analysis, are then used to provide further substantial extensions to treat various notions from convex analysis like the Fréchet derivative of a convex function, Fenchel conjugates, Bregman distances, and monotone operators on Banach spaces in the sense of Browder.

These systems are then utilized to provide applications in the context of Picard- and Halpern-style iterations of so-called Bregman strongly nonexpansive mappings where we provide both new quantitative and qualitative results.

Lastly, we discuss the key notion of extensionality of a set-valued operator and its relation to set-theoretic maximality principles in more depth (which was already singled out—to some degree—in previous work). We thereby exhibit an issue arising with treating full extensionality in the context of these intensional approaches to set-valued operators and present useful fragments of the full extensionality statement where these issues are avoided.

Corresponding to these fragments, we discuss a range of uniform continuity statements for set-valued operators beyond the usual notion involving the Hausdorff-metric. In particular, in that context, we utilize the previous tame treatment of suprema over bounded sets to also provide the first proof-theoretic treatment of that Hausdorff-metric in the context of systems for proof mining.

The applicability of this treatment of the Hausdorff-metric is then in particular substantiated by a last case study where we provide quantitative information for a Mann-type iteration of set-valued mappings which are nonexpansive w.r.t. the Hausdorff-metric.

The abstract was taken directly from the thesis.

Abstract prepared by Nicholas Pischke, Technische Universität Darmstadt, Darmstadt, Germany

E-mail: pischke@mathematik.tu-darmstadt.de.

URL: https://doi.org/10.26083/tuprints-00026584.

In this work, we study the existence of solutions of nonlinear fractional coupled system of $\varphi $-Hilfer type in the frame of Banach spaces. We improve a property of a measure of noncompactness in a suitably selected Banach space. Darbo’s fixed point theorem is applied to obtain a new existence result. Finally, the validity of our result is illustrated through an example.

In this paper, we obtain the $H^{p_1}\times H^{p_2}\times H^{p_3}\to H^p$ boundedness for trilinear Fourier multiplier operators, which is a trilinear analogue of the multiplier theorem of Calderón and Torchinsky [4]. Our result improves the trilinear estimate in [22] by additionally assuming an appropriate vanishing moment condition, which is natural in the boundedness into the Hardy space $H^p$ for $0<p\le 1$.

We show that for the case of uniformly convex Banach spaces, the conditions of Brøndsted’s fixed point theorem can be relaxed.

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.

In this paper, we prove the continuity of iteration operators $\mathcal {J}_n$ on the space of all continuous self-maps of a locally compact Hausdorff space X and generally discuss dynamical behaviors of them. We characterize their fixed points and periodic points for $X=\mathbb {R}$ and the unit circle $S^1$. Then we indicate that all orbits of $\mathcal {J}_n$ are bounded; however, we prove that for $X=\mathbb {R}$ and $S^1$, every fixed point of $\mathcal {J}_n$ which is non-constant and equals the identity on its range is not Lyapunov stable. The boundedness and the instability exhibit the complexity of the system, but we show that the complicated behavior is not Devaney chaotic. We give a sufficient condition to classify the systems generated by iteration operators up to topological conjugacy.

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.

We prove the existence of exponentially and superexponentially localized breather solutions for discrete nonlinear Klein–Gordon systems. Our approach considers $d$-dimensional infinite lattice models with general on-site potentials and interaction potentials being bounded by an arbitrary power law, as well as, systems with purely anharmonic forces, cases which are much less studied particularly in a higher-dimensional set-up. The existence problem is formulated in terms of a fixed-point equation considered in weighted sequence spaces, which is solved by means of Schauder's Fixed-Point Theorem. The proofs provide energy bounds for the solutions depending on the lattice parameters and its dimension under physically relevant non-resonance conditions.

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}$