Subspaces with a Common Complement in a Separable Hilbert Space

We present an alternative proof of a characterization, due to M. Lauzon and S. Treil, of subspaces with a common complement in a separable Hilbert space. Our approach is motivated by known results concerning the relative position of two subspaces in a Hilbert space. As byproducts we obtain a simple example of a double triangle subspace lattice which is not similar to an operator double triangle and a characterization of pairs of subspaces in generic position which are not completely asymptotic to one another.      

The smallness problem for -algebras

Akemann showed that any von Neumann algebra with a weak^* separable dual space has a faithful normal representation on a separable Hilbert space. He posed the question: If a C^*-algebra has a weak^* separable state space, must it have a faithful representation on a separable Hilbert space? Wright solved this question negatively and showed that a unital C^*-algebra has the weak^* separable state space if and only if it has a unital completely positive map, into a type I factor on a separable Hilbert space, whose restriction to the self-adjoint part induces an order isomorphism. He called such a C^*-algebra almost separably representable. We say that a unital C^*-algebra is small if it has a unital complete isometry into a type I factor on a separable Hilbert space. In this paper we show that a unital C^*-algebra is small if and only if the state spaces of all n by n matrix algebras over the C^*-algebra are weak^*-separable. It is natural to ask whether almost separably representable algebras are small or not. We settle this question positively for simple C^*-algebras but the general question remains open.     

Weak-type normal families of holomorphic mappings in Banach spaces and characterization of the Hilbert ball by its automorphism group

We present a characterization of the open unit ball in a separable infinite dimensional Hilbert space by the property of automorphism orbits among the domains that are not necessarily bounded. This generalizes the recent work of Kim and Krantz [6]. Key new features of this article include: a lower bound estimate of the Kobayashi metric and distance near a pluri-subharmonic peak boundary point of the domains in Banach spaces, an effective localization argument, and an improvement of weak-type convergence of sequences of biholomorphic mappings of domains in Banach spaces.     

Hypercyclic and topologically mixing cosine functions on Banach spaces

Our first aim in this paper is to give sufficient conditions for the hypercyclicity and topological mixing of a strongly continuous cosine function. We apply these results to study the cosine function associated to translation groups. We also prove that every separable infinite dimensional complex Banach space admits a topologically mixing uniformly continuous cosine family.

     

Characterizing the nondominated set by separable functions

We present sufficient and necessary conditions for classes of separable (additive) functions to generate the set of nondominated outcomes in multicriteria optimization problems. The basic technique consists of convexifying the set of outcomes and then applying the standard characterization of a convex set by a class of linear functions. The conditions include the case when the set of feasible alternatives is convex and the criteria are convex-transformable. We show that the sum of powers and the sum of functions of exponents can generate the nondominated set for an arbitrary set of outcomes (under compactness conditions). We also discuss monotonicity, proper nondominance, uniqueness and connectedness of solutions, and weights and trade-offs with respect to these functions.The research was done while the author was Visiting Professor at the University of Illinois at Urbana-Champaign, Illinois. The author is grateful to G. Hazen, Northwestern University, for helpful discussions.     

Lyapunov functions versus exponential contractions

For nonautonomous linear equations in a Banach space admitting a nonuniform version of exponential contraction, we give an optimal characterization of the exponential behavior in terms of strict Lyapunov sequences. In particular, we construct explicitly strict Lyapunov sequences for each exponential contraction. We also consider the particular case of quadratic Lyapunov functions, and we use the corresponding characterization of the exponential behavior in terms of these functions to show that the stability of an exponential contraction persists under sufficiently small perturbations.     

Properties of representations of operators acting between spaces of vector-valued functions

A well-known result going back to the 1930s states that all bounded linear operators mapping scalar-valued L ¹-spaces into L ^∞-spaces are kernel operators and that in fact this relation induces an isometric isomorphism between the space of such operators and the space of all bounded kernels. We extend this result to the case of spaces of vector-valued functions. A recent result due to Arendt and Thomaschewski states that the local operators acting on L ^p -spaces of functions with values in separable Banach spaces are precisely the multiplication operators. We extend this result to non-separable dual spaces. Moreover, we relate positivity and other order properties of the operators to corresponding properties of the representations.     

A simple proof of the approximation by real analytic Lipschitz functions

A theorem in Azagra et al. (preprint) [1] asserts that on a real separable Banach space with separating polynomial every Lipschitz function can be uniformly approximated by real analytic Lipschitz function with a control over the Lipschitz constant. We give a simple proof of this theorem.     

On the instability of non-semi-Fredholm operators under compact perturbations

The stability of several natural sets of the non-semi-Fredholm operators in a separable Hilbert space under compact perturbations studied by R. Bouldin. (The instability of non-semi-Fredholm operators under compact perturbations, J. Math. Anal. Appl.87 (1982), 632–638.) The aim of the present article is to study this problem in arbitrary Banach spaces. We also derive a curious characterization of separable Banach spaces.     

局部可分度量空间闭s映象的注记

该文讨论局部可分度量空间闭s映象的分解定理, 证明了正则的Fréchet空间是局部可分度量空间的闭s映象当且仅当满足如下条件: 具有点可数的cs*网, 第一可数的闭子空间是局部可分的, 且Lindelof的闭子空间是可分的.     

Approximate Separability of the Green's Function of the Helmholtz Equation in the High Frequency Limit

The minimum number of terms that are needed in a separable approximation for a Green's function reveals the intrinsic complexity of the solution space of the underlying differential equation. It also has implications for whether low‐rank structures exist in the linear system after numerical discretization. The Green's function for a coercive elliptic differential operator in divergence form was shown to be highly separable [2], and efficient numerical algorithms exploiting low‐rank structures of the discretized systems were developed. In this work, a new approach to study the approximate separability of the Green's function of the Helmholtz equation in the high‐frequency limit is developed. We show (1) lower bounds based on an explicit characterization of the correlation between two Green's functions and a tight dimension estimate for the best linear subspace to approximate a set of decorrelated Green's functions, (2) upper bounds based on constructing specific separable approximations, and (3) sharpness of these bounds for a few case studies of practical interest. © 2018 Wiley Periodicals, Inc.     

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.     

Characterizations of evenly convex sets and evenly quasiconvex functions

The aim of this paper is to present a geometric characterization of even convexity in separable Banach spaces, which is not expressed in terms of dual functionals or separation theorems. As an application, an analytic equivalent definition for the class of evenly quasiconvex functions is derived.     

A large deviation principle for random upper semicontinuous functions

We obtain necessary and sufficient conditions in the Large Deviation Principle for random upper semicontinuous functions on a separable Banach space. The main tool is the recent work of Arcones on the LDP for empirical processes.

     

Lipschitz functions with maximal Clarke subdifferentials are generic

We show that on a separable Banach space most Lipschitz functions have maximal Clarke subdifferential mappings. In particular, the generic nonexpansive function has the dual unit ball as its Clarke subdifferential at every point. Diverse corollaries are given.

     

A tighter variant of Jensen’s lower bound for stochastic programs and separable approximations to recourse functions

In this paper, we propose a new method to compute lower bounds on the optimal objective value of a stochastic program and show how this method can be used to construct separable approximations to the recourse functions. We show that our method yields tighter lower bounds than Jensen’s lower bound and it requires a reasonable amount of computational effort even for large problems. The fundamental idea behind our method is to relax certain constraints by associating dual multipliers with them. This yields a smaller stochastic program that is easier to solve. We particularly focus on the special case where we relax all but one of the constraints. In this case, the recourse functions of the smaller stochastic program are one dimensional functions. We use these one dimensional recourse functions to construct separable approximations to the original recourse functions. Computational experiments indicate that our lower bounds can significantly improve Jensen’s lower bound and our recourse function approximations can provide good solutions.     

Products of orthogonal projections

We give a characterization of operators on a separable Hilbert space of norm less than one that can be represented as products of orthogonal projections and give an estimate on the number of factors. We also describe the norm closure of the set of all products of orthogonal projections.

     

En appliquant un théorème de Talagrand: une caractérisation des espaces auto-reproduisants

This Note characterizes the pairs (H, E) of an Hilbert space II and a separable Banach space II in order that there exists an E-valued Gaussian vector X such that II is the reproducing kernel space of X. This characterization is not probabilistic and purely geometric.     

A characterization of dual Banach lattices

In this paper we give a characterization of dual Banach lattices. In fact, we prove that a Banach function space E on a separable measure space which has the Fatou property is a dual Banach lattice if and only if all positive operators from L¹(0,1) into E are abstract kernel operators, hence extending the fact, proved by M. Talagrand, that separable Banach lattices with the Radon-Nikodym property are dual Banach lattices.     

Invariant subspaces of finite codimension in Banach spaces of analytic functions

We give a characterization of invariant subspaces of finite codimension in Banach spaces of vector-valued analytic functions in several variables, where invariant refers to invariance under multiplication by any polynomial. We obtain very weak conditions under which our characterization applies, that unifies and improves a number of previous results. In the vector-valued case, the results are new even for one complex variable. As a concrete application in several variables, we consider the Bergman space on a strictly pseudo-convex domain, and we improve previous results (assuming C^∞-boundary) to the case of C²-boundary.