General logical metatheorems for functional analysis

In this paper we prove general logical metatheorems which state that for large classes of theorems and proofs in (nonlinear) functional analysis it is possible to extract from the proofs effective bounds which depend only on very sparse local bounds on certain parameters. This means that the bounds are uniform for all parameters meeting these weak local boundedness conditions. The results vastly generalize related theorems due to the second author where the global boundedness of the underlying metric space (resp. a convex subset of a normed space) was assumed. Our results treat general classes of spaces such as metric, hyperbolic, CAT(0), normed, uniformly convex and inner product spaces and classes of functions such as nonexpansive, Hölder-Lipschitz, uniformly continuous, bounded and weakly quasi-nonexpansive ones. We give several applications in the area of metric fixed point theory. In particular, we show that the uniformities observed in a number of recently found effective bounds (by proof theoretic analysis) can be seen as instances of our general logical results.

     

An application of proof mining to nonlinear iterations

In this paper we apply methods of proof mining to obtain a highly uniform effective rate of asymptotic regularity for the Ishikawa iteration associated with nonexpansive self-mappings of convex subsets of a class of uniformly convex geodesic spaces. Moreover, we show that these results are guaranteed by a combination of logical metatheorems for classical and semi-intuitionistic systems.     

A quantitative nonlinear strong ergodic theorem for Hilbert spaces

We give a quantitative version of a strong nonlinear ergodic theorem for (a class of possibly even discontinuous) selfmappings of an arbitrary subset of a Hilbert space due to R. Wittmann and outline how the existence of uniform bounds in such quantitative formulations of ergodic theorems can be proved by means of a general logical metatheorem. In particular these bounds depend neither on the operator nor on the initial point. Furthermore, we extract such uniform bounds in our quantitative formulation of Wittmann?s theorem, implicitly using the proof-theoretic techniques on which the metatheorem is based. However, we present our result and its proof in analytic terms without any reference to logic as such. Our bounds turn out to involve nested iterations of relatively low computational complexity. While in theory these kind of iterations ought to be expected, so far this seems to be the first occurrence of such a nested use observed in practice.     

Effective results on a fixed point algorithm for families of nonlinear mappings

We use proof mining techniques to obtain a uniform rate of asymptotic regularity for the instance of the parallel algorithm used by López-Acedo and Xu to find common fixed points of finite families of k-strict pseudocontractive self-mappings of convex subsets of Hilbert spaces. We show that these results are guaranteed by a number of logical metatheorems for classical and semi-intuitionistic systems.     

The global existence of solutions for two classes of chemotaxis models

This paper is concerned with the global existence and uniform boundedness of solutions for two classes of chemotaxis models in two or three dimensional spaces. Firstly, by using detailed energy estimates, special interpolation relation and uniform Gronwall inequality, we prove the global existence of uniformly bounded solutions for a class of chemotaztic systems with linear chemotactic-sensitivity terms and logistic reaction terms. Secondly, by applying detailed analytic semigroup estimates and special iteration techniques, we obtain the global existence of uniformly bounded solutions for a class of chemotactic systems with nonlinear chemotacticsensitivity terms, which extends the global existence results of [6] to other general cases.     

Three-step iterative methods for general variational inclusions in L P spaces

In this paper, we show that the general variational inclusions are equivalent to the fixed point problem. We use this equivalence to discuss the existence of the variational inclusions in L ^p spaces. Using the technique of the updating solution, we suggest some three-step iterative methods for solving the general variational inclusion. We also consider the convergence analysis of the proposed iterative methods under some mild conditions. Since the general variational inclusions include several classes of variational inequalities and optimization problems as special cases, results proved in this paper continue to hold for these problems.     

Equivalent Conditions for Local Error Bounds

In this paper we present two classes of equivalent conditions for local error bounds in finite dimensional spaces. We formulate conditions of the first class by using subderivatives, subdifferentials and strong slopes for nearby points outside the referenced set, and show that these conditions actually characterize a uniform version of the local error bound property. We demonstrate this uniformity for the max function of a finite collection of smooth functions, and as a consequence we show that quasinormality constraint qualifications guarantee the existence of local error bounds. We further present the second class of equivalent conditions for local error bounds by using the various limits defined on the boundary of the referenced set. In presenting these conditions, we exploit the variational geometry of the referenced set in a systematic way and unify some existing results in the literature.     

Contractivity of Leader type and fixed points in uniform spaces with generalized pseudodistances

Recently, Jachymski and Jó?wik proved that among various classes of contractions which are introduced and studied in the metric fixed point theory, the Leader contractions are greatest general contractions. In this article, we want to show how generalized pseudodistances in uniform spaces can be used to obtain new and general results of Leader type without complete graph assumptions about maps and without sequentially complete assumptions about spaces, which was not done in the previous publications on this subject. The definitions, results and methods presented here are new for maps in uniform and locally convex spaces and even in metric spaces. Examples showing a difference between our results and the well-known ones are given.     

Fixed Point Theorems on Product Topological Spaces and Applications

A new collectively fixed point theorem for a family of set-valued mappings defined on product spaces of non-compact topological spaces without linear structure is proved and some special cases are also discussed. As applications, some non-empty intersection theorems of sets with convex sections and equilibrium existence theorem of abstract economies are obtained under much weaker assumptions. Our results includes a number of known results as many special cases.     

Uniform asymptotic regularity for Mann iterates

In Numer. Funct. Anal. Optim. 22 (2001) 641-656, we obtained an effective quantitative analysis of a theorem due to Borwein, Reich, and Shafrir on the asymptotic behavior of general Krasnoselski-Mann iterations for nonexpansive self-mappings of convex sets C in arbitrary normed spaces. We used this result to obtain a new strong uniform version of Ishikawa's theorem for bounded C. In this paper we give a qualitative improvement of our result in the unbounded case and prove the uniformity result for the bounded case under the weaker assumption that C contains a point x whose Krasnoselski-Mann iteration (x_k) is bounded. We also consider more general iterations for which asymptotic regularity is known only for uniformly convex spaces (Groetsch). We give uniform effective bounds for (an extension of) Groetsch's theorem which generalize previous results by Kirk, Martinez-Yanez, and the author.     

A new existence theory for periodic solutions to evolution equations

ABSTRACT

This paper deals with a new existence theory for periodic solutions to a broad class of evolution equations. We first establish new fixed point theorems for affine maps in locally convex spaces and ordered Banach spaces. Our new fixed point results extend, encompass and complement a number of well-known theorems in the literature, including the famous Chow and Hale fixed point theorem. With these obtained fixed point results, we investigate the existence of periodic solutions for some class of nonhomogeneous linear systems in Banach spaces with lack of compactness. Some illustrative examples are also given.     

Endpoints of set-valued dynamical systems of asymptotic contractions of Meir–Keeler type and strict contractions in uniform spaces

In this paper, we introduce the concepts of the set-valued dynamical systems of asymptotic contractions of Meir–Keeler type and set-valued dynamical systems of strict contractions in uniform spaces and we present a method which is useful for establishing conditions guaranteeing the existence and uniqueness of endpoints of these contractions and the convergence to these endpoints of all generalized sequences of iterations of these contractions. The result, concerning the investigations of problems of the set-valued asymptotic fixed point theory, include some well-known results of Meir and Keeler, Kirk and Suzuki concerning the asymptotic fixed point theory of single-valued maps in metric spaces. The result, concerning set-valued strict contractions (in which the contractive coefficient is not constant), is different from the result of Yuan concerning the existence of endpoints of Tarafdar–Vyborny generalized contractions (in which the contractive coefficient is constant) in bounded metric spaces and provides some examples of Tarafdar–Yuan topological contractions in compact uniform spaces. Definitions and results presented here are new for set-valued dynamical systems in uniform, locally convex and metric spaces and even for single-valued maps. Examples show a fundamental difference between our results and the well-known ones.     

非局部条件下半线性微分方程的适度解

讨论了Banach空间中非局部条件下半线性微分方程的适度解的存在性,利用不动点和非紧测度的方法,给出了在不需要半群紧性条件下方程适度解的存在性,并且对f是连续紧算子和f是Lipschitz连续的情形做了统一处理,从而得到了更为广泛和一般性的结果.     

Existence and localization of positive solutions for a nonlocal BVP arising in chemical reactor theory

We discuss the existence of positive solutions of a nonlocal boundary value problem that models a chemical tubular reactor. Our approach allows us to deal with a wide range of parameters, nonlocal conditions and to provide upper and lower bounds for the solutions. We make use of the theory of fixed point index for compact maps. Some examples are presented to illustrate the theory.     

On Some Applications of Geometry of Banach Spaces and Some New Results Related to the Fixed Point Theory in Orlicz Sequence Spaces

We present some applications of the geometry of Banach spaces in the approximation theory and in the theory of generalized inverses. We also give some new results, on Orlicz sequence spaces, related to the fixed point theory. After a short introduction, in Section 2 we consider the best approximation projection from a Banach space $X$ onto its non-empty subset and proximinality of the subspaces of order continuous elements in various classes of Köthe spaces. We present formulas for the distance to these subspaces of the elements from the outside of them. In Section 3 we recall some results and definitions concerning generalized inverses of operators (metric generalized inverses and Moore-Penrose generalized inverses). We also recall some results on the perturbation analysis of generalized inverses in Banach spaces. The last part of this section concerns generalized inverses of multivalued linear operators (their definitions and representations). The last section starts with a formula for modulus of nearly uniform smoothness of Orlicz sequence spaces $\ell^\Phi$equipped with the Amemiya-Orlicz norm. From this result a criterion for nearly uniform smoothness of these spaces is deduced. A formula for the Domínguez-Benavides coefficient $R(a,l_\Phi)$ is also presented, whence a sufficient condition for the weak fixed point property of the space $\ell^\Phi$is obtained.     

隐式形式多值向量均衡问题解的存在性

考虑一类隐式形式多值向量均衡问题的解的存在性,该类问题包含了多值均衡问题、隐式向量均衡问题、多值变分不等式问题、向量变分不等式问题以及向量互补问题作为其特殊情形.利用广义Fan-Browder不动点定理,得到了拓扑向量空间中该类问题解的存要性定理,该结果推广并统一了已有问题解的存在性结果.     

混水平均匀设计的构造

我们用离散偏差来度量部分因子设计的均匀性,本文的目的在于寻找一些构造混水平均匀设计的方法,这些方法比文献中已有的方法更简单且计算成本更低.我们得到了离散偏差的一个下界,如果一个U 型设计的离散偏差值达到这个下界,那么该设计是—个均匀设计.我们建立了均匀设计与组合设计理论中一致可分解设计之间的联系.通过一致可分解设计,我们提出了一些构造均匀设计的新方法,同时也给出了许多均匀设计存在的无穷类.     

Solutions of system of generalized vector quasi-equilibrium problems in locally G-convex uniform spaces

In this paper we establish a collectively fixed point theorem and an equilibrium existence theorem for generalized games in product locally G-convex uniform spaces. As applications, some new existence theorems of solutions for the system of generalized vector quasi-equilibrium problems are derived in product locally G-convex uniform spaces. These theorems are new and generalize some known results in the literature.     

A QUANTITATIVE VERSION OF A THEOREM DUE TO BORWEIN-REICH-SHAFRIR

We give a quantitative analysis of a result due to Borwein, Reich and Shafrir on the asymptotic behaviour of the general Krasnoselski-Mann iteration for nonexpansive self-mappings of convex sets in arbitrary normed spaces. Besides providing explicit bounds we also get new qualitative results concerning the independence of the rate of asymptotic regularity of that iteration from various input data. In the special case of bounded convex sets, where by well-known results of Ishikawa, Edelstein/O'Brien and Goebel/Kirk the norm of the iteration converges to zero, we obtain uniform bounds which do not depend on the starting point of the iteration and the nonexpansive function, but only depend on the error ε, an upper bound on the diameter of C and some very general information on the sequence of scalars λ _k used in the iteration. Only in the special situation, where λ _k := λ is constant, uniform bounds were known in that bounded case. For the unbounded case, no quantitative information was known before. Our results were obtained in a case study of analysing non-effective proofs in analysis by certain logical methods. General logical meta-theorems of the author guarantee (at least under some additional restrictions) the extractability of such bounds from proofs of a certain kind and provide an algorithm to extract them. Our results in the present paper (which we present here without any reference to that logical background) were found by applying that method to the original proof of the Borwein/Reich/Shafrir theorem. The general logical method which led to these results will be discussed (with further examples) in [22] Kohlenbach, U. On the computational content of the Krasnoselski and Ishikawa fixed point theorems. Proceedings of the Fourth Workshop on Computability and Complexity in Analysis. San Sebastian. Edited by: Blanck, J., Brattka, V. and Hertling, P. Springer LNCS 2064.  [Google Scholar].

     

Function spaces in metrically generated theories

The theory of metrically generated constructs provides us with an excellent setting for the study of function spaces. In this paper we develop a function space theory for metrically generated constructs and, by considering different metrically generated constructs, we capture interesting examples. For instance, for uniform spaces we retrieve the uniformity of uniform convergence and its generalization to Σ-convergence and for UG-spaces we obtain a quantified version of these structures. Our theory also allows for many applications, in particular we are able to characterize the complete subspaces of these function spaces and we succeed in producing an appropriate Ascoli theorem.