We review the current state of the homogeneous Banach space problem. We then formulate several questions which arise naturally from this problem, some of which seem to be fundamental but new. We give many examples defining the bounds on the problem. We end with a simple construction showing that every infinite dimensional Banach space contains a subspace on which weak properties have become stable (under passing to further subspaces). Implications of this construction are considered.
In article is constructed a wide couple of pairwice non-isomorphic separable superreflexive Banach spaces E that are subspace homogeneous. Their conjugates are quotient homogeneous. None of this couple neither isomorphic to its Cartesian square nor has the approximation property. At the same time, any such E is isomorphic to E+ E+ W for some Banach space W and, hence, solves the Schroeder - Bernstein problem.
We present many examples of Banach spaces of linear operators and homogeneous polynomials without the approximation property, thus improving results of Dineen and Mujica [11] and Godefroy and Saphar [13].
We study the dynamics induced by homogeneous polynomials on Banach spaces. It is known that no homogeneous polynomial defined on a Banach space can have a dense orbit. We show, a simple and natural example of a homogeneous polynomial with an orbit that is at the same time $d$-dense (the orbit meets every ball of radius $d$), weakly dense and such that $Γ\cdot Orb_P(x)$ is dense for every $Γ\subset \mathbb C$ that is either unbounded or that has 0 as an accumulation point. Moreover we generalize the construction to arbitrary infinite dimensional separable Fréchet spaces. To prove this we study …
Spaces of homogeneous polynomials on a Banach space are frequently equipped with quasinorms instead of norms. In this paper we develop a technique to replace the original quasi-norm by a norm in a dual preserving way, in the sense that the dual of the space with the new norm coincides with the dual of the space with the original quasi-norm. Applications to problems on the existence and approximation of solutions of convolution equations and on hypercyclic convolution operators on spaces of entire functions are provided.
This is a survey on disjointly homogeneous Banach lattices and their applicactions. Several structural properties of this class are analyzed. In addition we show how these spaces provide a natural framework for studying the compactness of powers of operators allowing for a unified treatment of well-known results.
We show that for each Banach ideal of homogeneous polynomials, there exists a (necessarily unique) Banach operator ideal compatible with it. Analogously, we prove that any ideal of $n$-homogeneous polynomials belongs to a coherent sequence of ideals of $k$-homogeneous polynomials.
In this paper, we study the stability of the orthogonal equation,which is closely related to the results by Wlodzimierz Fechner and Justyna Sikorska in 2010. There are some differences that we consider the target space with the \b{eta}-homogeneous norm and quasi-norm. Overcoming the \b{eta}-homogeneous norm and quasi-norm bottlenecks, we get some new results.
We study the bounded and the compact weighted composition operators from the Bloch space into the weighted Banach spaces of holomorphic functions on bounded homogeneous domains, with particular attention to the unit polydisk. For bounded homogeneous domains, we characterize the bounded weighted composition operators and determine the operator norm. In addition, we provide sufficient conditions for compactness. For the unit polydisk, we completely characterize the compact weighted composition operators, as well as provide computable estimates on the operator norm.
We prove the existence of a separable approximately ultra-homogeneous Banach lattice $\mathfrak{BL}$ that is isometrically universal for separable Banach lattices. This is done by showing that the class of Banach lattices has the Amalgamation Property, and thus finitely generated Banach lattices form a metric Fraïssé class. Some additional results about the structural properties of $\mathfrak{ BL}$ are also proven.
In 1979 Pisier proved remarkably that a sequence of independent and identically distributed standard Gaussian random variables determines, via random Fourier series, a homogeneous Banach algebra $\mathscr{P}$ strictly contained in $C(\mathbb{T})$, the class of continuous functions on the unit circle $\mathbb{T}$ and strictly containing the classical Wiener algebra $\mathbb{A}(\mathbb{T})$, that is, $\mathbb{A}(\mathbb{T}) \subsetneqq \mathscr{P} \subsetneqq C(\mathbb{T}).$ This improved some previous results obtained by Zafran in solving a long-standing problem raised by Katznelson. In this pa…
In this note, we will discuss how to relate an operator ideal on Banach spaces to the sequential structures it defines. Concrete examples of ideals of compact, weakly compact, completely continuous, Banach-Saks and weakly Banach-Saks operators will be demonstrated.
Let G be a locally compact group. Consider the Banach algebra L_1(G)^**, equipped with the first Arens multiplication, as well as the algebra LUC(G)^*, the dual of the space of bounded left uniformly continuous functions on G, whose product extends the convolution in the measure algebra M(G). We present (for the most interesting case of a non-compact group) completely different - in particular, direct - proofs and even obtain sharpened versions of the results, first proved by Lau-Losert and Lau, that the topological centres of the latter algebras precisely are L_1(G) and M(G), respectively. Th…
By adopting the direct method and fixed point method, we prove that the Hyers-Ulam stability of the following additive-quadratic functional equation \begin{equation} f(x+y, z+w)+f(x-y, z-w)-2 f(x, z)-2 f(x, w)=0 \end{equation} in $β$-homogeneous $F$-spaces and quasi-Banach spaces. There are some differences that we consider the target space with the $β$-homogeneous norm and quasi-norm. Overcoming the $β$-homogeneous norm and quasi-norm bottlenecks, we get some new results.
We prove a Rademacher-type theorem for Lipschitz mappings from a subset of a Carnot group to a Banach homogeneous group, equipped with a suitably weakened Radon-Nikodym property. We provide a metric area formula that applies to these mappings and more generally to all almost everywhere metrically differentiable Lipschitz mappings defined on a Carnot group.
Let $f$ be a Lipschitz map from a subset $A$ of a stratified group to a Banach homogeneous group. We show that directional derivatives of $f$ act as homogeneous homomorphisms at density points of $A$ outside a $σ$-porous set. At density points of $A$ we establish a pointwise characterization of differentiability in terms of directional derivatives. We use these new results to obtain an alternate proof of almost everywhere differentiability of Lipschitz maps from subsets of stratified groups to Banach homogeneous groups satisfying a suitably weakened Radon-Nikodym property. As a consequence we …
We investigate stability of Fredholm properties on interpolation scales of quasi-Banach spaces. This analysis is motivated by problems arising in PDE's and several applications are presented.
Following previous works for the unit ball, we define quasi-radial pseudo-homogeneous symbols on the projective space and obtain the corresponding commutativity results for Toeplitz operators. A geometric interpretation of these symbols in terms of moment maps is developed. This leads us to the introduction of a new family of symbols, extended pseudo-homogeneous, that provide larger commutative Banach algebras generated by Toeplitz operators. This family of symbols provides new commutative Banach algebras generated by Toeplitz operators on the unit ball.
We prove a number of decoupling inequalities for nonhomogeneous random polynomials with coefficients in Banach space. Degrees of homogeneous components enter into comparison as exponents of multipliers of terms of certain Poincaré-type polynomials. It turns out that the fulfillment of most of types of decoupling inequalities may depend on the geometry of Banach space.
We show that a continuous additive positively homogeneous map from a closed not necessarily proper cone in a Banach space onto a Banach space is an open map precisely when it is surjective. This generalization of the usual Open Mapping Theorem for Banach spaces is then combined with Michael's Selection Theorem to yield the existence of a continuous bounded positively homogeneous right inverse of such a surjective map; a strong version of the usual Open Mapping Theorem is then a special case. As another consequence, an improved version of the analogue of Andô's Theorem for an ordered Banach spa…
We introduce the notion of index of summability for pairs of Banach spaces; for Banach spaces E; F, this index plays the role of a kind of measure of how the m-homogeneous polynomials from E to F are far from being absolutely summing. In some cases the optimal index of summability is computed.
Let $G$ be a locally compact group and also let $H$ be a compact subgroup of $G$. It is shown that, if $μ$ is a relatively invariant measure on $G/H$ then there is a well-defined convolution on $L^1(G/H,μ)$ such that the Banach space $L^1(G/H,μ)$ becomes a Banach algebra. We also find a generalized definition of this convolution for other $L^p$-spaces. Finally, we show that various types of involutions can be considered on $G/H$.
Real smooth three-dimensional or higher Banach spaces are isomorphic with respect to the nonlinear structure of Birkhoff-James orthogonality if and only if they are isometrically isomorphic. Moreover, using smooth Radon planes and non-smooth direct sums, in arbitrary dimensions, we construct examples of non-isometric pairs of real Banach spaces that admit norm-preserving homogeneous bicontinuous Birkhoff-James orthogonality preservers among them.
We present here the General formulation of the problem of existence and construction of upper and lower envelope for an arbitrary function with values from the completion of the ordered set ${\rm S}$ for a certain class of functions with values in ${\rm S}$. The task is parsed only for the simplest case of model class of homogeneous functions. Consider only order-algebraic version without the involvement of the topology.
In this paper we give the isomorphic classification of atomic $H^1(X,d,μ)$, where $(X,d,μ)$ is a space of homogeneous type, hereby completing a line of investigation opened by the work of Bernard Maurey [Ma1], [Ma2], [Ma3] and continued by Lennard Carleson [C] and Przemyslaw Wojtaszczyk [Woj1], [Wpj2].
A Banach lattice E is called p-disjointly homogeneous, 1< p< infty, when every sequence of pairwise disjoint normalized elements in E has a subsequence equivalent to the unit vector basis of l_p. Employing methods from interpolation theory, we clarify which rearrangement invariant (r.i.) spaces on [0,1] are p-disjointly homogeneous. In particular, for every 1<p< infty and any increasing concave function f on [0,1], which is not equivalent neither 1 nor t, there exists a p-disjointly homogeneous r.i. space with the fundamental function f. Moreover, in the class of all interpolation r.i. spaces …
We prove that the class of Banach function lattices in which all relatively weakly compact sets are equi-integrable sets (i.e. spaces satisfying the Dunford-Pettis criterion) coincides with the class of 1-disjointly homogeneous Banach lattices. A new examples of such spaces are provided. Furthermore, it is shown that Dunford-Pettis criterion is equivalent to de la Vallee Poussin criterion in all rearrangement invariant spaces on the interval. Finally, the results are applied to characterize weakly compact pointwise multipliers between Banach function lattices.
For a locally compact group $G$ and a compact subgroup $H$, we show that the Banach space $M(G/H)$ may be considered as a quotient space of $M(G)$. Also, we define a convolution on $M(G/H)$ which makes it into a Banach algebra. It may be identified with a closed subalgebra of the involutive Banach algebra $M(G)$, and there is no involution on $M(G/H)$ compatible with this identification unless $H$ is a normal subgroup of $G$. In other words, $M(G/H)$ is a $*$-Banach subalgebra of $M(G)$ only if $H$ is a normal subgroup of $G$. As well, it is a unital Banach algebra just when $H$ is a normal su…
We present and study commutative Banach algebras generated by Toeplitz operators with generalized quasi-radial pseudo-homogeneous symbols acting on the Bergman space over the unit ball. We develop the Gelfand theory of these algebras and give some structural information about them. In particular, we provide a description of the radical of these algebras. This paper generalizes and completes the results from previous works related to Toeplitz operators with quasi-radial quasi-homogeneous symbols.
We study the homogeneous equation (*) $ u' = Δu$, $t > 0$, $u(0)=f\in wX$, where $wX$ is a weighted Banach space, $w(x)= (1+||x||)^k$, $x\in \r^n$ with $k\ge 0$, $ Δ$ is the Laplacian, $Y$ a complex Banach space and $X$ one of the spaces $ BUC (\r^n,Y)\} $, $ C_0 (\r^n,Y)$, $ L^p (\r^n,Y)$, $1 \le p < \infty$. It is shown that the mild solutions of (*) are still given by the classical Gauss-Poisson formula, a holomorphic $C_0$-semigroup.
We give a functional representation theorem for a class of real p-Banach algebras. This theorem is used to show that every p-homogeneous seminorm with square property on a real associative algebra is submultiplicative.
In this paper we study the maximal subspaces of continuous n-homogeneous polynomials on complex and real non separable Banach spaces. In the real case we will prove that if P is a 2-homogeneous polynomial and if there exist a k-dimensional P-maximal subspace then every P-maximal subspace is k-dimensional.
Local Hardy Spaces Associated with Ball Quasi-Banach Function Spaces and Non-negative Self-adjoint Operators on Spaces of Homogeneous Type and Their Applications
Let $\mathcal{E}(X,d,μ)$ be a Banach function space over a space of homogeneous type $(X,d,μ)$. We show that if the Hardy-Littlewood maximal operator $M$ is bounded on the space $\mathcal{E}(X,d,μ)$, then its boundedness on the associate space $\mathcal{E}'(X,d,μ)$ is equivalent to a certain condition $\mathcal{A}_\infty$. This result extends a theorem by Andrei Lerner from the Euclidean setting of $\mathbb{R}^n$ to the setting of spaces of homogeneous type.
We show that the duals of Banach algebras of scalar-valued bounded holomorphic functions on the open unit ball $B_E$ of a Banach space $E$ lack weak$^*$-strongly exposed points. Consequently, we obtain that some Banach algebras of holomorphic functions on an arbitrary Banach space have the Daugavet property which extends the observation of P. Wojtaszczyk. Moreover, we present a new denseness result by proving that the set of norm-attaining vector-valued holomorphic functions on the open unit ball of a dual Banach space is dense provided that its predual space has the metric $π$-property. Besid…
Let (X,d,μ) be a space of homogeneous type and E a UMD Banach space. Under the assumption mu({x})=0 for all x in X, we prove a representation theorem for singular integral operators on (X,d,mu) as a series of simple shifts and rearrangements plus two paraproducts. This gives a T(1) Theorem in this setting.
Let $1\le p<\infty$. A symmetric space $X$ on $[0,1]$ is said to be $p$-disjointly homogeneous (resp. restricted $p$-disjointly homogeneous) if every sequence of normalized pairwise disjoint functions from $X$ (resp. characteristic functions) contains a subsequence equivalent in $X$ to the unit vector basis of $l_p$. Answering a question posed recently, we construct, for each $1\le p<\infty$, a restricted $p$-disjointly homogeneous symmetric space, which is not $p$-disjointly homogeneous. Moreover, we prove that the property of $p$-disjoint homogeneity is preserved under Banach isomorphisms.
We lift upper and lower estimates from linear functionals to $n$-homogeneous polynomials and using this result show that $l_\infty$ is finitely represented in the space of $n$-homogeneous polynomials, $n\ge2$, for any infinite dimensional Banach space. Refinements are also given.
Let $L$ be a homogeneous divergence form higher order elliptic operator with complex bounded measurable coefficients on $\mathbb{R}^n$ and $X$ a ball quasi-Banach function space on $\mathbb{R}^n$ satisfying some mild assumptions. Denote by $H_{X,\, L}(\mathbb{R}^n)$ the Hardy space, associated with both $L$ and $X$, which is defined via the Lusin area function related to the semigroup generated by $L$. In this article, the authors establish both the maximal function and the Riesz transform characterizations of $H_{X,\, L}(\mathbb{R}^n)$. The results obtained in this article have a wide range o…
The Banach space $\mathcal{P}({}^2X)$ of $2$-homogeneous polynomials on the Banach space $X$ can be naturally embedded in the Banach space ${{\rm Lip}_0}(B_X)$ of real-valued Lipschitz functions on $B_X$ that vanish at $0$. We investigate whether $\mathcal{P}({}^2X)$ is a complemented subspace of ${{\rm Lip}_0}(B_X)$. This line of research can be considered as a polynomial counterpart to a classical result by Joram Lindenstrauss, asserting that $\mathcal{P}({}^1X)=X^*$ is complemented in ${{\rm Lip}_0}(B_X)$ for every Banach space $X$. Our main result asserts that $\mathcal{P}({}^2X)$ is not c…
It is known that homogeneous polynomials on Banach spaces cannot be hypercyclic, but there are examples of hypercyclic homogeneous polynomials on some non-normable Fréchet spaces. We show the existence of hypercyclic polynomials on $H(\mathbb C)$, by exhibiting a concrete polynomial which is also the first example of a frequently hypercyclic homogeneous polynomial on any $F$-space. We prove that the homogeneous polynomial on $ H(\mathbb C)$ defined as the product of a translation operator and the evaluation at 0 is mixing, frequently hypercyclic and chaotic. We prove, in contrast, that some na…
By extending the notion of Arens regularity of bilinear mappings, we say that a bounded trilinear map on Banach spaces id Aron--Berner regular when all its six Aron-Berner extensions to the bidual spaces coincide. We give some results on the Aron-Berner regularity of certain trilinear maps. We then focus on the bidual, $E^{**},$ of a Jordan banach triple system $(E,π)$, and investigate those conditions under which $E^{**}$ is itself a Jordan Banach triple system under each of the Aron-Berner extensions of the triple product $π.$ We also compare these six triple products with those arising from…
We study the space of orthogonally additive $n$-homogeneous polynomials on $C(K)$. There are two natural norms on this space. First, there is the usual supremum norm of uniform convergence on the closed unit ball. As every orthogonally additive $n$-homogeneous polynomial is regular with respect to the Banach lattice structure, there is also the regular norm. These norms are equivalent, but have significantly different geometric properties. We characterise the extreme points of the unit ball for both norms, with different results for even and odd degrees. As an application, we prove a Banach-St…
