Lipschitz stability of operators in Banach spaces

We consider approximations of an arbitrarymap F: X → Y between Banach spaces X and Y by an affine operator A: X → Y in the Lipschitz metric: the difference F — A has to be Lipschitz continuous with a small constant ? > 0. In the case Y = ? we show that if F can be affinely ?-approximated on any straight line in X, then it can be globally 2?-approximated by an affine operator on X. The constant 2? is sharp. Generalizations of this result to arbitrary dual Banach spaces Y are proved, and optimality of the conditions is shown in examples. As a corollary we obtain a solution to the problem stated by Zs. Páles in 2008. The relation of our results to the Ulam-Hyers-Rassias stability of the Cauchy type equations is discussed.     

Lipschitz Quotients from Metric Trees and from Banach Spaces Containing ?1

If X is any separable Banach space containing l₁, then there is a Lipschitz quotient map from X onto any separable Banach space Y.     

A fixed point theorem for eventually nonexpansive semigroups of mappings

Let K be a subset of a Banach space X. A semigroup $\text{F}$ = {?_α ∥ α ∞ A} of Lipschitz mappings of K into itself is called eventually nonexpansive if the family of corresponding Lipschitz constants $\text{{k}{}_{\mathrm{\alpha }}\text{¦ α ? A}}$ satisfies the following condition: for every ? > 0, there is a γ?A such that k_β < 1 + ? whenever ?_β ? ?_γ$\text{F}$ = {?_gg?_α ¦ ?_α ? $\text{F}$}. It is shown that if K is a nonempty, closed, convex, and bounded subset of a uniformly convex Banach space, and if $\text{F}$:K → K is an eventually nonexpansive, commutative, linearly ordered semigroup of mappings, then $\text{F}$ has a common fixed point. This result generalizes a fixed point theorem by Goebel and Kirk.     

Existence and asymptotic behavior of a functional differential equation in Banach space

Existence and asymptotic behavior of solutions are given for the equation u′(t) = ?A(t)u(t) + F(t,u_t) (t ? 0) and u₀ = ? ? C([?r,0]; X)  C. The space X is a Banach space; the family $\text{{A(t) ¦ 0 ? t ? T}}$ of unbounded linear operators defined on D(A) ? X → X generates a linear evolution system and F: C → X is continuous with respect to a fractional power of A(t₀) for some t₀ ? [0, T].     

Fixed point theory and product,sub-, super-spaces

In this paper, we definen-segmentwise metric spaces and then we prove the following results:

1. (i)|Let (X, d) be ann-segmentwise metric space. ThenX ⁿ has the fixed point property with respect to uniformly continuous bounded functions if and only if, for any continuous functionF: C ^*(X) → C^*(X) and for anyn-tuple of distinct points x₁, x₂, ?, x_n ∈X, there exists anh ∈C ^*(X) such that $$F(h)(x_1 ) = h(x_1 ),i = 1,2,...,n;$$ whereC ^*(X) has either the uniform topology or the subspace product (Tychonoff) topology \((C^ * (X) \subseteq X^X )\) .
2. LetX _i (i = 1, 2, ?) be countably compact Hausdorff spaces such thatX ₁ × ? × X_n has the fixed point property for alln ∈N Then the product spaceX ₁ × X₂ × ? has the fixed point property. We shall also discuss several problems in the Fixed Point Theory and give examples if necessary. Among these examples, we have:
3. There exists a connected metric spaceX which can be decomposed as a disjoint union of a closed setA and an open setB such thatA andB have the fixed point property andX does not have.
4. There exists a locally compact metrizable spaceX which has the fixed point property but its one-point compactificationX ⁺ does not have the fixed point property.

Other relevant results and examples will be presented in this paper.     

An embedding theorem for partial algebras and the free completion of a free partial algebra within a primitive class

Let U be any nontrivial primitive class of partial algebras, i.e. there existsA ∈ U with |A|≥2, and U is closed with respect to homomorphic images (in the weak sense), subalgebras (on closed subsets) and cartesian products of U-algebras, and let U _f denote the—also nontrivial and primitive—class of all full U-algebras. Then every U-algebra with at least two elements is a relative algebra of some U _f -algebra. For any U-algebraAsetU _A =U _i εI({i}×(A ^K _i—domf _i ^A )), where (K _i) _i εI is the type under consideration. Furthermore let F(N, U) denote any U-algebra U-freely generated by some setN (and let F (M, U _f ) be similarly defined). Then for every nonempty setM there exists a setN satisfyingM ?N such that there exists a bijective mapping σ:U _{F(N, U)} →N ?M satisfying σ((i, α)) ? α(K _i ) for all (i, α) ∈U _{F (N, U)}, and, for the structureg=(g _i)_iεI defined by ,g _i : =f _i ^{F(N, U)} ∪ {(α, σ((i, α))) | (i, α ∈U _{F(N, U)}} id _M induces an isomorphism betweenF(M, U _f ), and (F(N, U)g).     

Injective Banach spaces of typeC(T)

A Banach spaceX is aP _λ-space if wheneverX is isometrically embedded in another Banach spaceY there is a projection ofY ontoX with norm at most λ.C(T) denotes the Banach space of continuous real-valued functions on the compact Hausdorff spaceT. T satisfies the countable chain condition (CCC) if every family of disjoint non-empty open sets inT is countable.T is extremally disconnected if the closure of every open set inT is open. The main result is that ifT satisfies the CCC andC(T) is aP _λ-space, thenT is the union of an open dense extremally disconnected subset and a complementary closed setT _Asuch thatC(T_A) is aP _λ?1-space.     

Interpolation and vector-valued functions

Let A be a subspace of C(X), and let K ? X be an interpolation set for A. Let F be a Banach space. We study the following question: When is K a set of interpolation for A ? F, a space of vector-valued functions naturally associated with A ?     

The Fibre of a Pinch Map in a Model Category

In the category of pointed topological spaces, let F be the homotopy fibre of the pinching map X?∪?CA?→?X?∪?CA?/?X from the mapping cone on a cofibration A?→?X onto the suspension of A. Gray (Proc Lond Math Soc (3) 26:497–520, 1973) proved that F is weakly homotopy equivalent to the reduced product (X, A)_∞. In this paper we prove an analogue of this phenomenon in a model category, under suitable conditions including a cube axiom.     

Surjective isometries on spaces of vector valued continuous and Lipschitz functions

For X a compact Hausdorff topological space and F a strictly convex and reflexive Banach space we characterize the surjective isometries of certain subspaces of C(X, F). It follows from this characterization that surjective isometries on spaces of vector valued Lipschitz functions equipped with a p-norm are also weighted composition operators.     

Improved gradient method for monotone and lipschitz continuous mappings in banach spaces

Let C be a nonempty closed convex subset of a 2-uniformly convex and uniformly smooth Banach space E and {A_n}_(n∈N) be a family of monotone and Lipschitz continuos mappings of C into E~*. In this article, we consider the improved gradient method by the hybrid method in mathematical programming [10] for solving the variational inequality problem for{A_n} and prove strong convergence theorems. And we get several results which improve the well-known results in a real 2-uniformly convex and uniformly smooth Banach space and a real Hilbert space.     

Barycentric selectors and a Steiner-type point of a convex body in a Banach space

Let F be a mapping from a metric space into the family of all m-dimensional affine subsets of a Banach space X. We present a Helly-type criterion for the existence of a Lipschitz selection f of the set-valued mapping F, i.e., a Lipschitz continuous mapping satisfying . The proof of the main result is based on an inductive geometrical construction which reduces the problem to the existence of a Lipschitz (with respect to the Hausdorff distance) selector S_X^(m) defined on the family of all convex compacts in X of dimension at most m. If X is a Hilbert space, then the classical Steiner point of a convex body provides such a selector, but in the non-Hilbert case there is no known way of constructing such a point. We prove the existence of a Lipschitz continuous selector for an arbitrary Banach space X. The proof is based on a new result about Lipschitz properties of the center of mass of a convex set.     

Analytic functions whose range is dense in a ball

Denote by Δ(resp. $\text{Δ}$) the open (resp. closed) unit disc in C. Let E be a closed subset of the unit circle T and let F be a relatively closed subset of T ? E of Lesbesgue measure zero. The following result is proved. Given a complex Banach space X and a bounded continuous function f:F → X, there exists an extension f? of f, bounded and continuous on $\text{}\text{?}\text{gD ? E}$, analytic on Δ and satisfying sup$\text{{6}\text{f}\text{?}\text{(z)6:zε}\text{δ}\text{?E}$. This is applied to show that for any separable complex Banach space X there exists an analytic function from Δ to X whose range is contained and dense in the unit ball of X.     

Perturbing the boundary conditions of the generator of a cosine family

Let A be a densely defined, closed linear operator (which we shall call maximal operator) with domain D(A) on a Banach space X and consider closed linear operators L:D(A)???X and ??:D(A)???X (where ?X is another Banach space called boundary space). Putting conditions on L and ??, we show that the second order abstract Cauchy problem for the operator A _?? with A _?? u=Au and domain D(A _??):={u??D(A):Lu=??u} is well-posed and thus it generates a cosine operator function on the Banach space X.     

On Lipschitz extension from finite subsets

We prove that for every n ∈ ? there exists a metric space (X, d _X), an n-point subset S ? X, a Banach space (Z, \({\left\| \right\|_Z}\)) and a 1-Lipschitz function f: S → Z such that the Lipschitz constant of every function F: X → Z that extends f is at least a constant multiple of \(\sqrt {\log n} \). This improves a bound of Johnson and Lindenstrauss [JL84]. We also obtain the following quantitative counterpart to a classical extension theorem of Minty [Min70]. For every α ∈ (1/2, 1] and n ∈ ? there exists a metric space (X, d _X), an n-point subset S ? X and a function f: S → ?₂ that is α-Hölder with constant 1, yet the α-Hölder constant of any F: X → ?₂ that extends f satisfies \({\left\| F \right\|_{Lip\left( \alpha \right)}} > {\left( {\log n} \right)^{\frac{{2\alpha - 1}}{{4\alpha }}}} + {\left( {\frac{{\log n}}{{\log \log n}}} \right)^{{\alpha ^2} - \frac{1}{2}}}\). We formulate a conjecture whose positive solution would strengthen Ball’s nonlinear Maurey extension theorem [Bal92], serving as a far-reaching nonlinear version of a theorem of König, Retherford and Tomczak-Jaegermann [KRTJ80]. We explain how this conjecture would imply as special cases answers to longstanding open questions of Johnson and Lindenstrauss [JL84] and Kalton [Kal04].     

An extension of the Aumann-shapley value concept to functions on arbitrary banach spaces

LetX denote a linear space of real valued functions defined on a subset of a Banach space such thatX containsE′ the dual space ofE as a subspace. Given a distinguished vectorx ₀ inE anx ₀-value (onX) is defined to be a projectionP fromX ontoE′ which satisfies the following two hypotheses: (VA) (PF)(x₀)=Fx₀ for allF inX; (VB) IfT is a continuous isomorphism fromE intoE such thatTx ₀=x ₀ thenP(F?T) = (PF) ? T for allF inX. The existence and uniqueness of a value is established for two choices ofX, one of which is the space of polynomials in functional onE. The existence and partial uniqueness of a value is established on a third choice forX.     

Dichotomies of the set of test measures of a Haar-null set

We prove that ifX is a Polish space andF a face ofP(X) with the Baire property, thenF is either a meager or a co-meager subset ofP(X). As a consequence we show that for every abelian Polish groupX and every analytic Haar-null set Λ⊆X, the set of test measuresT(Λ) of Λ is either meager or co-meager. We characterize the non-locally-compact groups as the ones for which there exists a closed Haar-null setF⊆X withT(F) meager, Moreover, we answer negatively a question of J. Mycielski by showing that for every non-locally-compact abelian Polish group and every σ-compact subgroupG ofX there exists aG-invariantF _σ subset ofX which is neither prevalent nor Haar-null. Research supported by a grant of EPEAEK program “Pythagoras”.     

On the minimum number of disjoint pairs in a family of finite sets

The following conjecture of Katona is proved. Let X be a finite set of cardinality n, 1 ? m ? 2ⁿ. Then there is a family $\text{F}$, |$\text{F}$| = m, such that F ∈ $\text{F}$, G ? X, | G | > | F | implies G ∈ $\text{F}$ and $\text{F}$ minimizes the number of pairs (F₁, F₂), F₁, F₂ ∈ $\text{F}$ F₁ ∩ F₂ = ? over all families consisting of m subsets of X.     

Birkhoff integral for multi-valued functions

The aim of this paper is to study Birkhoff integrability for multi-valued maps , where (Ω,Σ,μ) is a complete finite measure space, X is a Banach space and cwk(X) is the family of all non-empty convex weakly compact subsets of X. It is shown that the Birkhoff integral of F can be computed as the limit for the Hausdorff distance in cwk(X) of a net of Riemann sums ∑_nμ(A_n)F(t_n). We link Birkhoff integrability with Debreu integrability, a notion introduced to replace sums associated to correspondences when studying certain models in Mathematical Economics. We show that each Debreu integrable multi-valued function is Birkhoff integrable and that each Birkhoff integrable multi-valued function is Pettis integrable. The three previous notions coincide for finite dimensional Banach spaces and they are different even for bounded multi-valued functions when X is infinite dimensional and X∗ is assumed to be separable. We show that when F takes values in the family of all non-empty convex norm compact sets of a separable Banach space X, then F is Pettis integrable if, and only if, F is Birkhoff integrable; in particular, these Pettis integrable F's can be seen as single-valued Pettis integrable functions with values in some other adequate Banach space. Incidentally, to handle some of the constructions needed we prove that if X is an Asplund Banach space, then cwk(X) is separable for the Hausdorff distance if, and only if, X is finite dimensional.     

On a new geometric constant related to the modulus of smoothness of a Banach space

We shall introduce a new geometric constant A(X) of a Banach space X,which is closely related to the modulus of smoothness ρX(τ),and investigate it in relation with the constant A2(X) by Baronti et al.,the von Neumann–Jordan constant CNJ(X) and the James constant J(X).A sequence of recent results on these constants as well as some other geometric constants will be strengthened and improved.