Operators whose dual has non-separable range

Let X and Y be separable Banach spaces and T:X→Y be a bounded linear operator. We characterize the non-separability of T^?(Y^?) by means of fixing properties of the operator T.     

The approximation property in terms of the approximability of weak∗-weak continuous operators

By a well-known result of Grothendieck, a Banach space X has the approximation property if and only if, for every Banach space Y, every weak∗-weak continuous compact operator T:X∗→Y can be uniformly approximated by finite rank operators from X⊗Y. We prove the following “metric” version of this criterion: X has the approximation property if and only if, for every Banach space Y, every weak∗-weak continuous weakly compact operator T:X∗→Y can be approximated in the strong operator topology by operators of norm ?‖T‖ from X⊗Y. As application, easier alternative proofs are given for recent criteria of approximation property due to Lima, Nygaard and Oja.     

Unbounded strictly singular operators

Let D(T)⊂X→Y be an unbounded linear operator where X and Y are normed spaces. It is shown that if Y is complete then T is strictly singular if and only if T is the sum of a continuous strictly singular operator and an unbounded finite rank operator. A counterexample is constructed for the case in which Y is not complete.     

Dilation theorems for positive definite operator kernels having majorants

Dilation theorems for Banach space valued stochastic processes and operator valued positive definite kernels are considered. It is shown, e.g., that a Banach space valued stochastic process X can be dilated to another process Y, if and only if the covariance kernel of Y is a majorant of the covariance kernel of X. Positive definite operator kernels having majorants of certain special type are characterized.     

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.     

G-narrow operators and G-rich subspaces

Let X and Y be Banach spaces. An operator G: X → Y is a Daugavet center if ‖G +T‖ = ‖G‖+‖T‖ for every rank-1 operator T. For every Daugavet center G we consider a certain set of operators acting from X, so-called G-narrow operators. We prove that if J is the natural embedding of Y into a Banach space E, then E can be equivalently renormed so that an operator T is (J ○ G)-narrow if and only if T is G-narrow. We study G-rich subspaces of X: Z ? X is called G-rich if the quotient map q: X → X/Z is G-narrow.     

Semigroups and abstract Gevrey spaces

Conditions are found under which a closed linear operator A in a Banach space X generates a continuous semigroup in a linear topological space Y which is dense in X. The space Y is an abstract Gevrey space associated with the operator A. This is an abstract setting for some results for hyperbolic systems with data in spaces of Gevrey functions.     

Some mapping properties of p-summing adjoint operators

Let X and Y be Banach spaces and u be a continuous linear operator from X to Y. We prove that if u^*, the adjoint operator of u, is p-summing for some p?1, then for any q?2, u takes (almost) unconditionally summable sequences in X into members of , the projective tensor product of ?q and Y.     

On the Navier–Stokes flows for heat-conducting fluids with mixed boundary conditions

We consider a coupled model for steady flows of viscous incompressible heat-conducting fluids with temperature dependent material coefficients in a fixed three-dimensional open cylindrical channel. We introduce the Banach spaces X and Y to be the space of possible solutions of this problem and the space of its data, respectively. We show that the corresponding operator of the problem acting between X and Y is Fréchet differentiable. Applying the local diffeomorphism theorem we get the local solvability results for a variational formulation.     

-Operator frames for a Banach space

In this paper, (p,Y)-Bessel operator sequences, operator frames and (p,Y)-Riesz bases for a Banach space X are introduced and discussed as generalizations of the usual concepts for a Hilbert space and of the g-frames. It is proved that the set of all (p,Y)-Bessel operator sequences for a Banach space X is a Banach space and isometrically isomorphic to the operator space B(X,ℓ^p(Y)). Some necessary and sufficient conditions for a sequence of operators to be a (p,Y)-Bessel operator sequence are given. Also, a characterization of an independent (p,Y)-operator frame for X is obtained. Lastly, it is shown that an independent (p,Y)-operator frame for X is just a (p,Y)-Riesz basis for X and has a unique dual (q,Y^*)-operator frame for X^*.     

Continuity of spectrum and approximate point spectrum on operator matrices

Let X and Y be given Banach spaces. For A∈B(X), B∈B(Y) and C∈B(Y,X), let MC be the operator defined on X⊕Y by . In this paper we give conditions for continuity of τ at MC through continuity of τ at A and B, where τ can be equal to the spectrum or approximate point spectrum.     

Spaces Λα(X) and interpolation

For two pairs of rearrangement invariant spaces α = [(X₁, Y₁), (X₂, Y₂)] we give necessary and sufficient conditions for pairs (X, Y) to be weak intermediate for σ, i.e., each operator which is of weak types (X_i, Y_i), i = 1, 2, also maps X boundedly to Y. Spaces Λ_α(X) are introduced and are shown to have many of the properties that characterize Lorentz L^pq spaces. Necessary and sufficient conditions in terms of a simple function F(s, t) are given in order that (Λ_α(X), Λ_α(Y)) be weak intermediate for σ. Other properties of the function F(s, t) yield sufficient conditions and necessary conditions for interpolation theorems.     

Complexity Analysis via Approach Spaces

Complexity of a recursive algorithm typically is related to the solution to a recurrence equation based on its recursive structure. For a broad class of recursive algorithms we model their complexity in what we call the complexity approach space, the space of all functions in X?=? ]0,?∞?] ^Y , where Y can be a more dimensional input space. The set X, which is a dcpo for the pointwise order, moreover carries the complexity approach structure. There is an associated selfmap Φ on the complexity approach space X such that the problem of solving the recurrence equation is reduced to finding a fixed point for Φ. We will prove a general fixed point theorem that relies on the presence of the limit operator of the complexity approach space X and on a given well founded relation on Y. Our fixed point theorem deals with monotone selfmaps Φ that need not be contractive. We formulate conditions describing a class of recursive algorithms that can be treated in this way.     

Increasing and decreasing operators on complete lattices

The (isotone) map f: X → X is an increasing (decreasing) operator on the poset X if f(x) ? f²(x) (f²(x) ? f(x), resp.) holds for each x ∈ X. Properties of increasing (decreasing) operators on complete lattices are studied and shown to extend and clarify those of closure (resp. anticlosure) operators. The notion of the decreasing closure, $\text{f}$, (the increasing anticlosure, $\text{f}$,) of the map f: X → X is introduced extending that of the transitive closure, $\text{f}\text{?}$, of f. $\text{f}\text{f}$, and $\text{f}$ are all shown to have the same set of fixed points. Our results enable us to solve some problems raised by H. Crapo. In particular, the order structure of H(X), the set of retraction operators on X is analyzed. For X a complete lattice H(X) is shown to be a complete lattice in the pointwise partial order. We conclude by claiming that it is the increasing-decreasing character of the identity maps which yields the peculiar properties of Galois connections. This is done by defining a u-v connection between the posets X and Y, where u: X → X (v: Y → Y) is an increasing (resp. decreasing) operator to be a pair f, g of maps f; X → Y, g: Y → X such that gf ? u, fg ? v. It is shown that the whole theory of Galois connections can be carried over to u-v connections.     

Little Grothendieck's theorem for sublinear operators

Let SB(X,Y) be the set of the bounded sublinear operators from a Banach space X into a Banach lattice Y. Consider π₂(X,Y) the set of 2-summing sublinear operators. We study in this paper a variation of Grothendieck's theorem in the sublinear operators case. We prove under some conditions that every operator in SB(C(K),H) is in π₂(C(K),H) for any compact K and any Hilbert H. In the noncommutative case the problem is still open.     

Applications of the theory of semi-embeddings to Banach space theory

Let X and Y be Banach spaces and T:X → Y an injective bounded linear operator. T is called a semi-embedding if T maps the closed unit ball of X to a closed subset of Y. (This concept was introduced by Lotz, Peck, and Porta, Proc. Edinburgh Math. Soc.22 (1979), 233–240.) It is proved that if X semi-embeds in Y, and X is separable, then X has the Radon-Nikodym property provided Y does. It is shown that if L¹ semi-embeds in Y, then Y fails the Schur property and contains a subspace isomorphic to l¹. As a consequence of the proof, it is shown that if X is a subspace of L¹, either L¹ embeds in X or l¹ embeds in $\text{L}{}^1\text{X}$. The simpler result that L¹ does not semi-embed in c₀ is treated separately. This result is used to deduce the classic result of Menchoff that there exists a singular probability measure on the circle with Fourier coefficients vanishing at infinity. Some generalizations of the notion of semi-embedding are given, and several complements and open questions are discussed.     

The wave equation on asymptotically de Sitter-like spaces

In this paper we obtain the asymptotic behavior of solutions of the Klein-Gordon equation on Lorentzian manifolds (X^○,g) which are de Sitter-like at infinity. Such manifolds are Lorentzian analogues of the so-called Riemannian conformally compact (or asymptotically hyperbolic) spaces. Under global assumptions on the (null)bicharacteristic flow, namely that the boundary of the compactification X is a union of two disjoint manifolds, Y_±, and each bicharacteristic converges to one of these two manifolds as the parameter along the bicharacteristic goes to +∞, and to the other manifold as the parameter goes to −∞, we also define the scattering operator, and show that it is a Fourier integral operator associated to the bicharacteristic flow from Y₊ to Y₋.     

The best generalized inverse of the linear operator in normed linear space

Let X,Y be normed linear spaces, T∈L(X,Y) be a bounded linear operator from X to Y. One wants to solve the linear problem Ax=y for x (given y∈Y), as well as one can. When A is invertible, the unique solution is x=A^-1y. If this is not the case, one seeks an approximate solution of the form x=By, where B is an operator from Y to X. Such B is called a generalised inverse of A. Unfortunately, in general normed linear spaces, such an approximate solution depends nonlinearly on y. We introduce the concept of bounded quasi-linear generalised inverse T^h of T, which contains the single-valued metric generalised inverse T^M and the continuous linear projector generalised inverse T⁺. If X and Y are reflexive, we prove that the set of all bounded quasi-linear generalised inverses of T, denoted by G_H(T), is not empty In the normed linear space of all bounded homogeneous operators, the best bounded quasi-linear generalised inverse T^h of T is just the Moore-Penrose metric generalised inverse T^M. In the case, X and Y are finite dimension spaces Rⁿ and R^m, respectively, the results deduce the main result by G.R. Goldstein and J.A. Goldstein in 2000.     

Extremal continua: A class of non-separating subcontinua

The notion of a terminal continuum, as defined by D.E. Bennett and J.B. Fugate, is used to introduce extremal continua, a class of non-separating subcontinua of a continuum. An extremal continuum can be characterized as a proper subcontinuum Y of a metric continuum X with the property that Y contains a point of irreducibility of each irreducible subcontinuum of X that meets Y. If Y is an extremal subcontinuum of X, then Y does not separate any subcontinuum of X containing Y; moreover, if Y is a proper subcontinuum of X and Y does not cut any subcontinuum of X containing Y, then Y is extremal in X.     

Large sublattices in subsets of Banach lattices

A classical problem (initially studied by N. Kalton and A. Wilansky) concerns finding closed infinite dimensional subspaces of X / Y, where Y is a subspace of a Banach space X. We study the Banach lattice analogue of this question. For a Banach lattice X, we prove that X / Y contains a closed infinite dimensional sublattice under the following conditions: either (i) Y is a closed infinite codimensional subspace of X, and X is either order continuous or a C(K) space, where K is a compact subset of \({\mathbb {R}}^n\); or (ii) Y is the range of a compact operator.