Convexities and approximative compactness and continuity of metric projection in Banach spaces

In this paper, we investigate the continuities of the metric projection in a nonreflexive Banach space X, which improve the results in [X.N. Fang, J.H. Wang, Convexity and continuity of metric projection, Math. Appl. 14 (1) (2001) 47–51; P.D. Liu, Y.L. Hou, A convergence theorem of martingales in the limit, Northeast. Math. J. 6 (2) (1990) 227–234; H.J. Wang, Some results on the continuity of metric projections, Math. Appl. 8 (1) (1995) 80–84]. Under the assumption that X has some convexities, we discuss the relationship between approximative compactness of a subset A of X and continuity of the metric projection P_A. We also give a representation theorem for the metric projection to a hyperplane in dual space X^∗ and discuss its continuity.     

Application of bases to the study of measures and operators on measure spaces

Summary Under investigation are measures m defined on a σ-algebraA with range in a Banach space X having a Schauder basis {x_n}. Utilizing the corresponding coefficient functionals and coefficient measures, we study the interaction between properties for these measures and properties for the existing measure m. For the spaceCA(A, X) of all countably additive measures of finite variation fromA into X, we show that certain separable subspaces of it are isomorphic-isometric with certain separable subspaces of functions of bounded variation on the interval [0, 1]. For {v_n} inCA(A, X) such that {v_n(A)} converges to v(A) for all A εA a certain ? control measure ? is constructed. An integral for set functions relative to a measure is defined and necessary and sufficient conditions are given for weak convergence. Bounded operators on the space FAC(A,R) of finitelly additive scalar valued set functions onA which are absolutely continuous with respect to λ are considered. Necessary and sufficient conditions for continuity and for compactness are given for Banach space valued operators T defined on such spaces. Weak compactness of T is also studied. Finally, a different kind of representation is given for Banach space valued operators defined on the space FA_v(A, X) of finitely additive set functions fromA into X. Entrata in Redazione il 26 novembre 1976. The first author expresses his gratitude to the Italian Consiglio Nazionale delle Ricerche and the Università degli Studi di Param for the support of his work during his tenure as Visiting Professor of Mathematics. This work was supported by NATO Research Grant No. 835.     

A Three Solutions Theorem for Nonlinear Operator Equations in Ordered Banach Spaces

In this paper we consider the operator equation in a real Banach space E with cone P: where A = KF; here K is a e-positive, e-continuous and completely continuous operator, and F is a strictly increasing and continuous operator which is Fréchet differentiable at θ. Under certain conditions, we show that the operator equation has at least three solutions x₁, x₂, x₃ such that x₁ ∈ P, x₂ ∈ (−P), x₃ ∈ E\(P ∪ (−P)). Now since the third solution x₃ ∈ E\(P ∪ (−P)), we call it a sign-changing solution. As an application of the main results, we investigate the existence of sign-changing solutions for some three-point boundary value problem.     

On the approximate solution of time-optimal control problems

In this paper we are concerned with the approximate solution of time-optimal control problems in a nonreflexive Banach SpaceE by sequences of similar problems in Banach spacesE _n which are assumed to approximateE in a fairly general sense. The problems under consideration are such that the solution operator of the associated evolution equation is a strongly continuous holomorphic contraction semigroup and the class of controls is taken from the dual of the Phillips adjoint space with respect to the infinitesimal generator of that semigroup. The main object is to establish convergence of optimal controls, transition times and corresponding trajectories of the approximating control problems which can be done by means of some results from the theory of approximation of semigroups of operators. Finally, these abstract convergence results will be applied to time-optimal control problems arising from heat transfer and diffusion processes.Research supported in part by the Deutsche Forschungsgemeinschaft (DFG)     

James type results for polynomials and symmetric multilinear forms

We prove versions of James' weak compactness theorem for polynomials and symmetric multilinear forms of finite type. We also show that a Banach spaceX is reflexive if and only if it admits and equivalent norm such that there existsx ₀≠0 inX and a weak-^*-open subsetA of the dual space, satisfying thatx ^*⊗x ₀ attains its numerical radius. for eachx ^* inA. The first and third author were supported in part by D.G.E.S., project no. BFM 2000-1467. The second author was partially supported by Junta de Andalucía Grant FQM0199.     

Algébres topologiquement uniformes et algébres fortement topologiquement uniformes

We characterize locally convex topological algebrasA satisfying: a sequence (x _n) inA converges to 0 if, and only if, (x _n ²) converges to 0. We also show that a real Banach algebra such thatx _n ²+y _n ²→0 if, and only if,x _n → 0 andy _n → 0, for every sequences (x _n) and (y _n) inA, is isomorphic to, whereX is a compact space.      

Universal fundamental systems in ordered Banach spaces

Let E be a separable Banach space ordered by a reproducing cone with empty interior. We prove the existence of operator functions A : [0, ) P (P the cone of monotone increasing linear operators) and of initial values x₀ such that the solution of x (t) = A(t) x(t), x(0) = x₀, is dense in E.Received: 27 February 2004     

On Diagonal Subdifferential Operators in Nonreflexive Banach Spaces

Consider a real-valued bifunction f defined on C ×C, where C is a closed and convex subset of a Banach space X, which is concave in its first argument and convex in its second one. We study its subdifferential with respect to the second argument, evaluated at pairs of the form (x,x), and the subdifferential of − f with respect to its first argument, evaluated at the same pairs. We prove that if f vanishes whenever both arguments coincide, these operators are maximal monotone, under rather undemanding continuity assumptions on f. We also establish similar results under related assumptions on f, e.g. monotonicity and convexity in the second argument. These results were known for the case in which the Banach space is reflexive and C = X. Here we use a different approach, based upon a recently established sufficient condition for maximal monotonicity of operators, in order to cover the nonreflexive and constrained case (C ≠ X). Our results have consequences in terms of the reformulation of equilibrium problems as variational inequality ones.     

Variable target value relaxed alternating projection method

In this paper we propose a modification of the von Neumann method of alternating projection x _k+1=P _A P _B x _k where A,B are closed and convex subsets of a real Hilbert space ℋ. If Fix P _A P _B ≠∅ then any sequence generated by the classical method converges weakly to a fixed point of the operator T=P _A P _B . If the distance δ=inf  _x∈A,y∈B ‖ x−y ‖ is known then one can efficiently apply a modification of the von Neumann method, which has the form x _k+1=P _A (x _k +λ _k (P _A P _B x _k −x _k )) for λ _k >0 depending on x _k (for details see: Cegielski and Suchocka, SIAM J. Optim. 19:1093–1106, 2008). Our paper contains a generalization of this modification, where we do not suppose that we know the value δ. Instead of δ we apply its approximation which is updated in each iteration.     

On a problem of Namioka on norm-attaining functionals

Isaac Namioka conjectured that every nonreflexive Banach space can be renormed is such a way that, in the new norm, the set of norm attaining functionals has an empty interior in the norm topology. We prove the rightness of this conjecture for spaces containing an isomorphic copy of ℓ₁. As a consequence, we prove also that the same result holds for a wide class of Banach spaces containing, for example, the weakly compactly generated ones.     

Properties of the normed cone of semi-Lipschitz functions

Summary We obtain several properties of the normed cone of semi-Lipschitz functions defined on a quasi-metric space (X,d) that vanish at a fixed point x₀∈X. For instance, we prove that it is both bicomplete and right K-sequentially complete, and the unit ball is compact with respect to the topology of quasi-uniform convergence. Furthermore, it has a structure of a Banach space if and only if (X,d) is a metric space.     

Minimization of the Tikhonov functional in Banach spaces smooth and convex of power type by steepest descent in the dual

For Tikhonov functionals of the form Ψ(x)=‖Ax−y‖ _Y ^r +α‖x‖ _X ^q we investigate a steepest descent method in the dual of the Banach space X. We show convergence rates for the proposed method and present numerical tests.     

On linear selections of convex set-valued maps

We study continuous subadditive set-valued maps taking points of a linear space X to convex compact subsets of a linear space Y. The subadditivity means that φ(x ₁ + x ₂) ⊂ φ(x ₁) + φ(x ₂). We characterize all pairs of locally convex spaces (X, Y) for which any such map has a linear selection, i.e., there exists a linear operator A: X → Y such that Ax ∈ φ(x), x ∈ X. The existence of linear selections for a class of subadditive maps generated by differences of a continuous function is proved. This result is applied to the Lipschitz stability problem for linear operators in Banach spaces.     

A Dual Approach to Constrained Interpolationfrom a Convex Subset of Hilbert Space

Many interesting and important problems of best approximationare included in (or can be reduced to) one of the followingtype: in a Hilbert spaceX, find the best approximationP_K(x) to anyxXfrom the setKC∩A⁻¹(b),whereCis a closed convex subset ofX,Ais a bounded linearoperator fromXinto a finite-dimensional Hilbert spaceY, andbY. The main point of this paper is to show thatP_K(x)isidenticaltoP_C(x+A*y)—the best approximationto a certain perturbationx+A*yofx—from the convexsetCor from a certain convex extremal subsetC_bofC. Thelatter best approximation is generally much easier to computethan the former. Prior to this, the result had been known onlyin the case of a convex cone or forspecialdata sets associatedwith a closed convex set. In fact, we give anintrinsic characterizationof those pairs of setsCandA⁻¹(b) for which this canalways be done. Finally, in many cases, the best approximationP_C(x+A*y) can be obtained numerically from existingalgorithms or from modifications to existing algorithms. Wegive such an algorithm and prove its convergence     

Strong convergence of approximated sequences for nonexpansive mappings in Banach spaces

This paper studies the convergence of the sequence defined by x0∈C,xn 1=αnu (1-αn)Txn,n=0,1,2,…, where 0 ≤αn ≤ 1, limn→∞αn = 0, ∑∞n=0 αn = ∞, and T is a nonexpansive mapping from a nonempty closed convex subset C of a Banach space X into itself. The iterative sequence {xn} converges strongly to a fixed point of T in the case when X is a uniformly convex Banach space with a uniformly Gateaux differentiable norm or a uniformly smooth Banach space only. The results presented in this paper extend and improve some recent results.     

On Approximate ℓ 1 Systems in Banach Spaces

Let X be a real Banach space and let (f(n)) be a positive nondecreasing sequence. We consider systems of unit vectors (x_i)^∞_i=1 in X which satisfy ∑_iA±x_i|A|−f(|A|), for all finite A and for all choices of signs. We identify the spaces which contain such systems for bounded (f(n)) and for all unbounded (f(n)). For arbitrary unbounded (f(n)), we give examples of systems for which [x_i] is H.I., and we exhibit systems in all isomorphs of ℓ₁ which are not equivalent to the unit vector basis of ℓ₁. We also prove that certain lacunary Haar systems in L₁ are quasi-greedy basic sequences.     

Strong convergence of contraction semigroups and of iterative methods for accretive operators in Banach spaces

LetA be anm-accretive operator in a Banach spaceE. Suppose thatA ⁻¹0 is not empty and that bothE andE ^* are uniformly convex. We study a general condition onA that guarantees the strong convergence of the semigroup generated by—A and of related implicit and explicit iterative schemes to a zero ofA. Rates of convergence are also obtained. In Hilbert space this condition has been recently introduced by A. Pazy. We also establish strong convergence under the assumption that the interior ofA ⁻¹0 is not empty. In Hilbert space this result is due to H. Brezis. Sponsored by the United States Army under Contract No. DAAG29-75-C-0024.     

On the Crank-Nicolson scheme once again

Let (t_j)_{j ? \mathbbN}{\left(\tau_j\right)_{j\in\mathbb{N}}} be a sequence of strictly positive real numbers, and let A be the generator of a bounded analytic semigroup in a Banach space X. Put A_n=?_j=1ⁿ(I+\frac12 t_jA) (I-\frac12 t_jA)^-1{A_n=\prod_{j=1}^n\left(I+\frac{1}{2} \tau_jA\right) \left(I-\frac{1}{2} \tau_jA\right)^{-1}}, and let x ? X{x\in X}. Define the sequence (x_n)_{n ? \mathbbN} ì X{\left(x_n\right)_{n\in\mathbb{N}}\subset X} by the Crank–Nicolson scheme: x _n  = A _n x. In this paper, it is proved that the Crank–Nicolson scheme is stable in the sense that sup_{n ? \mathbbN}||A_nx|| < ￥{\sup_{n\in\mathbb{N}}\left\Vert A_nx\right\Vert<\infty}. Some convergence results are also given.     

Maximal subspaces for solutions of the second order abstract cauchy problem

For a continuous, increasing function ω: R → R \{0} of finite exponential type, this paper introduces the set Z(A, ω) of all x in a Banach space X for which the second order abstract differential equation (2) has a mild solution such that [ω(t)]-1u(t,x) is uniformly continues on R , and show that Z(A, ω) is a maximal Banach subspace continuously embedded in X, where A ∈ B(X) is closed. Moreover, A|z(A,ω) generates an O(ω(t))strongly continuous cosine operator function family.     

Integrals and Banach spaces for finite order distributions

Let B _c denote the real-valued functions continuous on the extended real line and vanishing at −∞. Let B _r denote the functions that are left continuous, have a right limit at each point and vanish at −∞. Define A _c ⁿ to be the space of tempered distributions that are the nth distributional derivative of a unique function in B _c . Similarly with A _r ⁿ from B _r . A type of integral is defined on distributions in A _c ⁿ and A _r ⁿ . The multipliers are iterated integrals of functions of bounded variation. For each n ∈ ℕ, the spaces A _c ⁿ and A _r ⁿ are Banach spaces, Banach lattices and Banach algebras isometrically isomorphic to B _c and B _r , respectively. Under the ordering in this lattice, if a distribution is integrable then its absolute value is integrable. The dual space is isometrically isomorphic to the functions of bounded variation. The space A _c ¹ is the completion of the L ¹ functions in the Alexiewicz norm. The space A _r ¹ contains all finite signed Borel measures. Many of the usual properties of integrals hold: H?lder inequality, second mean value theorem, continuity in norm, linear change of variables, a convergence theorem.