Weakly equicompact sets of operators defined on Banach spaces

Let X and Y be Banach spaces. We say that a set (the space of all weakly compact operators from X into Y) is weakly equicompact if, for every bounded sequence (x_n) in X, there exists a subsequence (x_k(n)) so that (Tx_k(n)) is weakly uniformly convergent for T ∈ M. We study some properties of weakly equicompact sets and, among other results, we prove: 1) if is collectively weakly compact, then M^* is weakly equicompact iff M^** x^**={T^** x^** : T ∈ M} is relatively compact in Y for every x^** ∈X^**; 2) weakly equicompact sets are precompact in for the topology of uniform convergence on the weakly null sequences in X. Received: 14 February 2005; revised: 1 June 2005     

Criteria for the single-valued metric generalized inverses of multi-valued linear operators in banach spaces

Let X, Y be Banach spaces and M be a linear subspace in X × Y = {{x, y}|x ∈ X, y ∈ Y }. We may view M as a multi-valued linear operator from X to Y by taking M (x) = {y|{x, y} ∈ M }. In this paper, we give several criteria for a single-valued operator from Y to X to be the metric generalized inverse of the multi-valued linear operator M . The principal tool in this paper is also the generalized orthogonal decomposition theorem in Banach spaces.     

Idealization of a decomposition theorem

In 1986, Tong [13] proved that a function f : (X,τ)→(Y,φ) is continuous if and only if it is α-continuous and A-continuous. We extend this decomposition of continuity in terms of ideals. First, we introduce the notions of regular-I-closed sets, A _I-sets and A _I -continuous functions in ideal topological spaces and investigate their properties. Then, we show that a function f : (X,τ,I)→(Y, φ) is continuous if and only if it is α-I-continuous and A _I-continuous. This revised version was published online in June 2006 with corrections to the Cover Date.     

Chaos caused by a strong-mixing measure-preserving transformation

The chaos caused by a strong-mixing preserving transformation is discussed and it is shown that for a topological spaceX satisfying the second axiom of countability and for an outer measurem onX satisfying the conditions: (i) every non-empty open set ofX ism-measurable with positivem-measure; (ii) the restriction ofm on Borel σ-algebra ℬ(X) ofX is a probability measure, and (iii) for everyY⊂X there exists a Borel setB⊂ℬ(X) such thatB⊃Y andm(B) =m(Y), iff:X→X is a strong-mixing measure-preserving transformation of the probability space (X, ℬ(X),m), and if {m}, is a strictly increasing sequence of positive integers, then there exists a subsetC⊂X withm (C) = 1, finitely chaotic with respect to the sequence {m _i}, i.e. for any finite subsetA ofC and for any mapF:A→X there is a subsequencer _i such that lim_i→∞ f ^r i(a) =F(a) for anya ∈A. There are some applications to maps of one dimension. the National Natural Science Foundation of China.     

Stability of <Emphasis Type="Italic">C</Emphasis>-regularized Semigroups

Let T = (T(t))t≥0 be a bounded C-regularized semigroup generated by A on a Banach space X and R(C) be dense in X. We show that if there is a dense subspace Y of X such that for every x ∈ Y, σu(A, Cx), the set of all points λ ∈ iR to which (λ - A)^-1 Cx can not be extended holomorphically, is at most countable and σr(A) N iR = Ф, then T is stable. A stability result for the case of R(C) being non-dense is also given. Our results generalize the work on the stability of strongly continuous senfigroups.     

Factorization of weakly continuous differentiable mappings

Given real Banach spaces X and Y, let C _wbu¹(X, Y) be the space, introduced by R.M. Aron and J.B. Prolla, of C ¹ mappings from X into Y such that the mappings and their derivatives are weakly uniformly continuous on bounded sets. We show that f ∈ C _wbu¹(X, Y) if and only if f may be written in the form f = g ∘ S, where the intermediate space is normed, S is a precompact operator, and g is a Gateaux differentiable mapping with some additional properties.     

First-order optimality conditions in set-valued optimization

A a set-valued optimization problem min _C F(x), x ∈X ₀, is considered, where X ₀ ⊂ X, X and Y are normed spaces, F: X ₀ ⊂ Y is a set-valued function and C ⊂ Y is a closed cone. The solutions of the set-valued problem are defined as pairs (x ⁰,y ⁰), y ⁰ ∈F(x ⁰), and are called minimizers. The notions of w-minimizers (weakly efficient points), p-minimizers (properly efficient points) and i-minimizers (isolated minimizers) are introduced and characterized through the so called oriented distance. The relation between p-minimizers and i-minimizers under Lipschitz type conditions is investigated. The main purpose of the paper is to derive in terms of the Dini directional derivative first order necessary conditions and sufficient conditions a pair (x ⁰, y ⁰) to be a w-minimizer, and similarly to be a i-minimizer. The i-minimizers seem to be a new concept in set-valued optimization. For the case of w-minimizers some comparison with existing results is done.     

On tame operators between non-archimedean power series spaces

Let p ∈ {1, ∞}. We show that any continuous linear operator T from A1 (a) to Ap (b) is tame, i.e., there exists a positive integer c such that sup x||Tx||k/|x|ck ∞ for every k ∈ N. Next we prove that a similar result holds for operators from A∞(a) to Ap(b) if and only if the set Mb,a of all finite limit points of the double sequence (bi /aj ) i,j∈N is bounded. Finally we show that the range of every tame operator from A∞(a) to A∞(b) has a Schauder basis.     

Hyperreflexivity and operator ideals

Suppose (B,β) is an operator ideal, and A is a linear space of operators between Banach spaces X and Y. Modifying the classical notion of hyperreflexivity, we say that A is called B-hyperreflexive if there exists a constant C such that, for any T∈B(X,Y) with α=supβ(qTi)<∞ (the supremum runs over all isometric embeddings i into X, and all quotient maps of Y, satisfying qAi=0), there exists a∈A, for which β(T−a)?Cα. In this paper, we give examples of B-hyperreflexive spaces, as well as of spaces failing this property. In the last section, we apply SE-hyperreflexivity of operator algebras (SE is a regular symmetrically normed operator ideal) to constructing operator spaces with prescribed families of completely bounded maps.     

Functional characterization of Vasil’ev invariants

A cover of a manifold X is called an r-cover if any r points of X belong to a set in the cover. Let X and Y be two smooth manifolds, let Emb(X, Y) be the family of smooth embeddings X → Y, let M be an Abelian group, and let F: Emb(X, Y) → M be a functional. One says that the degree of F does not exceed r if for each finite open r-cover {U _i } _i∈I ; of X there exist functionals F _i : Emb(U _i , Y) → M, i ∈ I, such that for each a ∈ Emb(X, Y) one has

Exact controllability for the wave equation with variable coefficients

We consider in this paper the evolution systemy″−Ay=0, whereA =∂ _i(a_ij∂_j) anda _ij ∈C ¹ (ℝ⁺;W ^1,∞ (Ω)) ∩W ^1,∞ (Ω × ℝ⁺), with initial data given by (y ₀,y ₁) ∈L ²(Ω) ×H ⁻¹ (Ω) and the nonhomogeneous conditiony=v on Γ ×]0,T[. Exact controllability means that there exist a timeT>0 and a controlv such thaty(T, v)=y′(T, v)=0. The main result of this paper is to prove that the above system is exactly controllable whenT is “sufficiently large”. Moreover, we obtain sharper estimates onT.     

The nonlinear version of Pazy’s local existence theorem

LetX be a real Banach space,U ⊂X a given open set,A ⊂X×X am-dissipative set andF:C(0,a;U) →L ^∞(0,a;X) a continuous mapping. Assume thatA generates a nonlinear semigroup of contractionsS(t): {ie221-2}) → {ie221-3}), strongly continuous at the origin, withS(t) compact for allt>0. Then, for eachu ₀ ∈ {ie221-4}) ∩U there existsT ∈ ]0,a] such that the following initial value problem: (du(t))/(dt) ∈Au(t) +F(u)(t),u(0)=u ₀, has at least one integral solution on [0,T]. Some extensions and applications are also included.     

On the existence of invariant probability measures

Let (X,A) be a measureable space andT:X →X a measurable mapping. Consider a family ℳ of probability measures onA which satisfies certain closure conditions. IfA ₀⊂A is a convergence class for ℳ such that, for everyA ∈A ₀, the sequence ((1/n) Σ _i ^=0/n−1 1 _A ∘T ⁱ) converges in distribution (with respect to some probability measurev ∈ ℳ), then there exists aT-invariant element in ℳ. In particular, for the special case of a topological spaceX and a continuous mappingT, sufficient conditions for the existence ofT-invariant Borel probability measures with additional regularity properties are obtained.     

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.     

On the Cauchy difference on normed spaces

LetX be a real linear normed space, (G, +) be a topological group, andK be a discrete normal subgroup ofG. We prove that if a continuous at a point or measurable (in the sense specified later) functionf:X →G fulfils the condition:f(x +y) -f(x) -f(y) ∈K whenever ‖x‖ = ‖y‖, then, under some additional assumptions onG,K, andX, there esists a continuous additive functionA :X →G such thatf(x) -A(x) ∈K.     

Version of the Grothendieck theorem for subspaces of analytic functions in lattices

A version of Grothendieck’s inequality says that any bounded linear operator acting from a Banach lattice X to a Banach lattice Y acts from X(ℓ²) to Y (ℓ²) as well. A similar statement is proved for Hardy-type subspaces in lattices of measurable functions. Namely, let X be a Banach lattice of measurable functions on the circle, and let an operator T act from the corresponding subspace of analytic functions X_A to a Banach lattice Y or, if Y is also a lattice of measurable functions on the circle, to the quotient space Y/Y_A. Under certain mild conditions on the lattices involved, it is proved that T induces an operator acting from X_A(ℓ²) to Y (ℓ²) or to Y/Y_A(ℓ2), respectively. Bibliography: 7 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 327, 2005, pp. 5–16.     

A generalization of peripherally-multiplicative surjections between standard operator algebras

Let A and B be standard operator algebras on Banach spaces X and Y, respectively. The peripheral spectrum σ_π (T) of T is defined by σ_π (T) = z ∈ σ(T): |z| = max_w∈σ(T) |w|. If surjective (not necessarily linear nor continuous) maps φ, ϕ: A → B satisfy σ_π (φ(S)ϕ(T)) = σ_π (ST) for all S; T ∈ A, then φ and ϕ are either of the form φ(T) = A ₁ TA ₂ ⁻¹ and ϕ(T) = A ₂ TA ₁ ⁻¹ for some bijective bounded linear operators A ₁; A ₂ of X onto Y, or of the form φ(T) = B ₁ T*B ₂ ⁻¹ and ϕ(T) = B ₂ T*B ⁻¹ for some bijective bounded linear operators B ₁;B ₂ of X* onto Y.      

A characterization of totally <Emphasis Type="Italic">η</Emphasis>-umbilical real hypersurfaces and ruled real hypersurfaces of a complex space form

We give a characterization of totally η-umbilical real hypersurfaces and ruled real hypersurfaces of a complex space form in terms of totally umbilical condition for the holomorphic distribution on real hypersurfaces. We prove that if the shape operator A of a real hypersurface M of a complex space form M ⁿ (c), c ≠ 0, n ⩾ 3, satisfies g(AX, Y) = ag(X, Y) for any X, Y ∈ T ₀(x), a being a function, where T ₀ is the holomorphic distribution on M, then M is a totally η-umbilical real hypersurface or locally congruent to a ruled real hypersurface. This condition for the shape operator is a generalization of the notion of η-umbilical real hypersurfaces.