It is known that for Banach valued functions there are several approaches to define a Sobolev class. We compare the usual definition via weak derivatives with the Reshetnyak-Sobolev space and with the Newtonian space; in particular, we provide sufficient conditions when all three agree. As well we revise the difference quotient criterion and the property of Lipschitz mapping to preserve Sobolev space when it acting as a superposition operator.
We obtain a pointwise description of functions belonging to function spaces with the lattice property. In particular, it is valid for Banach function spaces provided that the Hardy-Littlewood maximal operator is bounded. We also study weighted grand Sobolev spaces, defined on arbitrary open sets (of finite or infinite measure), and provide pointwise description of them.
The question is addressed of when a Sobolev type space, built upon a general rearrangement-invariant norm, on an $n$-dimensional domain, is a Banach algebra under pointwise multiplication of functions. A sharp balance condition among the order of the Sobolev space, the strength of the norm, and the (ir)regularity of the domain is provided for the relevant Sobolev space to be a Banach algebra. The regularity of the domain is described in terms of its isoperimetric function. Related results on the boundedness of the multiplication operator into lower-order Sobolev type spaces are also establishe…
We prove a complex interpolation formula for the injective tensor product of vector-valued Banach function spaces satisfying certain geometric assumptions. This result unifies results of Kouba, and moreover, our approach offers an alternate proof of Kouba's interpolation formula for scalar-valued Banach function spaces.
Let \(X\) be a compact metric space and \(E\) be a Banach space. \(\lip (X, E)\) denotes the Banach space of all \(E\)-valued little Lipschitz functions on \(X\). We show that \(\lip (X, E)^{**}\) is isometrically isomorphic to Banach space of \(E^{**}\)-valued Lipschitz functions \(\Lip(X, E^{**})\) under several conditions. Moreover, we describe the isometric isomorphism from \(\lip (X, E)^{**}\) to \(\Lip (X, E^{**})\).
We give a new proof of a recent characterization by Diaz and Mayoral of compactness in the Lebesgue-Bochner spaces $L_X^p$, where $X$ is a Banach space and $1\le p<\infty$, and extend the result to vector-valued Banach function spaces $E_X$, where $E$ is a Banach function space with order continuous norm.
We present a generalization of the Radon-Riesz property to sequences of continuous functions with values in uniformly convex and uniformly smooth Banach spaces.
In complete metric measure spaces equipped with a doubling measure and supporting a weak Poincaré inequality, we investigate when a given Banach-valued Sobolev function defined on a subset satisfying a measure-density condition is the restriction of a Banach-valued Sobolev function defined on the whole space. We investigate the problem for Hajłasz- and Newton-Sobolev spaces, respectively. First, we show that Hajłasz-Sobolev extendability is independent of the target Banach spaces. We also show that every $c_0$-valued Newton-Sobolev extension set is a Banach-valued Newton-Sobolev extension set …
Given a compact space $X$, a commutative Banach algebra $A$, and an $A$-valued function algebra $\mathscr{A}$ on $X$, the notions of vector-valued spectrum of functions $f\in\mathscr{A}$ are discussed. The $A$-valued spectrum $\vec{SP}_A(f)$ of every $f\in\mathscr{A}$ is defined in such a way that $f(X) \subset \vec{SP}_A(f)$. Utilizing the $A$-characters introduced in (M. Abtahi, \textit{Vector-valued characters on vector-valued function algebras}, \texttt{arXiv:1509.09215 [math.FA]}), it is proved that $\vec{SP}_A(f) = \{Ψ(f):\text{$Ψ$ is an $A$-character of $\mathscr{A}$}\}$. For the so-cal…
We introduce the concept of an $E$-valued function algebra, a type of Banach algebra that consist of continuous $E$-valued functions on some compact Hausdorff space, where $E$ is a Banach algebra. We present some basic results about such algebras, having to do with the Shilov boundary and the set of peak points of some commutative $E$-valued function algebras. We give some specific examples.
We apply the metrical approach to Sobolev spaces, which arise in various evolution PDEs. Functions from those spaces are defined on an interval and take values in a family of Banach spaces. In this case we adapt the definition of Newtonian spaces. For a monotone family, we show the existence of weak derivative, obtain an isomorphism to the standard Sobolev space, and provide some scalar characteristics.
Banach Hardy-Sobolev Spaces on the Upper Half-plane and Operator Theory
College of Mathematics and Informatics, South China Agricultural University（华南农业大学数学与信息学院）；Faculty of Innovation Engineering, Macau University of Science and Technology（澳门科技大学创新工程学院）
This paper is devoted to the study of vector valued reproducing kernel Hilbert spaces. We focus on reproducing kernels in vector-valued reproducing kernel Hilbert spaces. In particular we extend reproducing kernels to relative reproducing kernels and prove some theorems in this subject.
Let $A$ be a commutative semisimple Banach algebra, $X$ be a locally compact Hausdorff topological space and $G$ be a locally compact topological group. In this paper, we investigate several properties of vector valued Banach algebras $C_0(X,A)$, $L^p(G,A)$, $l^p(X,A)$ and $l^{\infty}(X,A)$. We prove that these algebras are isomorphic with a $C^*-$algebra if and only if $A$ is so.
In this article we develop the theory of $H$-Orlicz space generated by generalised Young function. Modular convergence of $H$-Orlicz space for the case of vector-valued functions and norm convergence in $\mcH^θ(X, \barμ)$ where $X$ is any Banach space are discussed. Relationships of modular convergence and norm convergence of $H$-Orlicz spaces are discussed.
We introduce Kuelbs-Steadman-type spaces for real-valued functions, with respect to countably additive measures, taking values in Banach spaces. We investigate their main properties and embeddings in $L^p$-type spaces, considering both the norm associated to norm convergence of the involved integrals and that related to weak convergence of the integrals.
Let $G$ be a locally compact group and $A$ be a commutative semisimple Banach algebra over the scalar field $\mathbb{C}$. The correlation between different types of $BSE$- Banach algebras $A$, and the Banach algebras $L^{1}(G, A)$ are assessed. It is found and approved that $M(G, A) = L^{1}(G, A)$ if and only if $G$ is discrete. Furthermore, some properties of vector-valued measure algebras on groups are given, so that $M(G, A)$ is a convolution measure algebra.
Given a compact space $X$ and a commutative Banach algebra $A$, the character spaces of $A$-valued function algebras on $X$ are investigated. The class of natural $A$-valued function algebras, those whose characters can be described by means of characters of $A$ and point evaluation homomorphisms, is introduced and studied. For an admissible Banach $A$-valued function algebra $\mathcal{A}$ on $X$, conditions under which the character space $M(\mathcal{A})$ is homeomorphic to $M(\mathfrak{A}) \times M(A)$ are presented, where $\mathfrak{A}=C(X) \cap \mathcal{A}$ is the subalgebra of $\mathcal{A…
Let $X$ be a locally compact Hausdorff space, and $A$ be a commutative semisimple Banach algebra over the scalar field $\mathbb{C}$. The correlation between different types of BSE- Banach algebras $A$, and the Banach algebra $C_{0}(X, A)$ are assessed. It is found and approved that $C_{0}(X, A)$ is a $C^{*}$- algebra if and only if $A$ is so. Furthermore, $C_{b}(X, A)= C_{0}(X, A)$ if and only if $X$ is compact.
We propose a unified approach to the study of isometries on algebras of vector-valued Lipschitz maps and those of continuously differentiable maps by means of the notion of natural $C(Y)$-valuezations that take values in unital commutative $C^*$-algebras. A precise proof of a theorem of Jarosz \cite{ja} is exhibited.
We introduce Banach spaces of vector-valued random variables motivated from mathematical finance. So-called risk functionals are defined in a natural way on these Banach spaces and it is shown that these functionals are Lipschitz continuous. The risk functionals cannot be defined on strictly larger spaces of random variables which creates a particular interest for the spaces presented. We elaborate key properties of these Banach spaces and give representations of their dual spaces in terms of vector measures with values in the dual space of the state space.
We are concerned here with Sobolev-type spaces of vector-valued functions. For an open subset $Ω\subset\mathbb{R}^N$ and a Banach space $V$, we compare the classical Sobolev space $W^{1,p}(Ω, V)$ with the so-called Sobolev-Reshetnyak space $R^{1,p}(Ω, V)$. We see that, in general, $W^{1,p}(Ω, V)$ is a closed subspace of $R^{1,p}(Ω, V)$. As a main result, we obtain that $W^{1,p}(Ω, V)=R^{1,p}(Ω, V)$ if, and only if, the Banach space $V$ has the Radon-Nikodým property
We study in this short preprint the theory of trigonometric approximation in the so-called Banach functional rearrangement invariant Sobolev-Grand Lebesgue Spaces.
Suppose $(X,Σ,μ)$ is a finite measure space, $E$ is a Banach lattice, and $B(X,E,μ)$ is the space of all Bochner integrable $E$-valued functions. In this note, we show that $B(X,E,μ)$ is a $KB$-space or has the sequential Fatou property if and only if so is $E$. Among this, some results about Bochner integral convergence in $B(X,E,μ)$, using order structure of $E$, have been proved, as well.
Let $X$ be a compact Hausdorff space and $A$ a Banach algebra. We investigate amenability properties of the algebra $C(X,A)$ of all $A$-valued continuous functions. We show that $C(X,A)$ has a bounded approximate diagonal if and only if $A$ has a bounded approximate diagonal; if $A$ has a compactly central approximate diagonal (unbounded) then $C(X,A)$ has a compactly approximate diagonal. Weak amenability of $C(X,A)$ for commutative $A$ is also considered.
In this work we study the vector-valued Hardy spaces H p (D; F) (1 \leq p \leq \infty) and their relationship with RNP, ARNP and the UMDP properties. By following the approach of Taylor in the scalar-valued case, we prove that, when F and F have the ARNP property, then H p (D; F) and H q (D; F) are canonically topologically isomorphic (for p, q \in (1, \infty) conjugate indices) if and only if F has the UMDP.
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 propose a unified approach to the study of isometries on algebras of vector-valued Lipschitz maps and those of continuously differentiable maps by means of the notion of admissible quadruples. We describe isometries on function spaces of some admissible quadruples that take values in unital commutative $C^*$-algebras. As a consequence we confirm the statement of \cite[Example 8]{jp} on Lipschitz algebras and show that isometries on such algebras indeed take the canonical form.
Let $A$ be a commutative Banach algebra and $X$ be a compact space. The class of Banach $A$-valued function algebras on $X$ consists of subalgebras of $C(X,A)$ with certain properties. We introduce the notion of $A$-characters on an $A$-valued function algebra $\A$ as homomorphisms from $\A$ into $A$ that basically have the same properties as the evaluation homomorphisms $\cE_x:f\mapsto f(x)$, with $x\in X$. For the so-called natural $A$-valued function algebras, such as $C(X,A)$ and $\Lip(X,A)$, we show that $\cE_x$ ($x\in X$) are the only $A$-characters. Vector-valued characters are utilized…
We introduce a notion of differential of a Sobolev map between metric spaces. The differential is given in the framework of tangent and cotangent modules of metric measure spaces, developed by the first author. We prove that our notion is consistent with Kirchheim's metric differential when the source is a Euclidean space, and with the abstract differential provided by the first author when the target is $\mathbb{R}$.
We prove that for a Banach algebra $A$ having a bounded $\mathcal{Z}(A)$-approximate identity and for every $\bf[IN]$ group $G$ with weight $w$ which is either constant on conjugacy classes or $w \geq 1$, $\mathcal{Z}\big(L^1_w(G) \otimes^γA\big) \cong \mathcal{Z}(L^1_w(G)) \otimes^γ\mathcal{Z}(A)$. As an application, we discuss the conditions under which $\mathcal{Z}\big(L^1_w(G,A)\big)$ enjoys certain Banach algebraic properties, for example, weak amenability, semisimplicity etc.
We consider Banach spaces equipped with a set of strongly continuous bounded semigroups satisfying certain conditions. Using these semigroups we introduce an analog of a modulus of continuity and define analogs of Besov norms. A generalization of a classical interpolation theorem is proven in which the role of Sobolev spaces is played by subspaces defined in terms of infinitesimal operators of these semigroups. We show that our assumptions about a given set of semigroups are satisfied in the case of a strongly continuous bounded representation of a Lie group. In the case of a unitary represent…
We present a new approach to define a suitable integral for functions with values in quasi-Banach spaces. The integrals of Bochner and Riemann have deficiencies in the non-locally convex setting. The study of an integral for $p$-Banach spaces initiated by Vogt is neither totally satisfactory, since there are quasi-Banach spaces which are $p$-convex for all $0<p<1$, so it is not always possible to choose an optimal $p$ to develop the integration. Our method puts the emphasis on the galb of the space, which permits a precise definition of its convexity. The integration works for all spaces of ga…
Let $X$ and $Z$ be Banach spaces, $A$ a closed subset of $X$ and a mapping $f:A \to Z$. We give necessary and sufficient conditions to obtain a $C^1$ smooth mapping $F:X \to Z$ such that $F_{\mid_A}=f$, when either (i) $X$ and $Z$ are Hilbert spaces and $X$ is separable, or (ii) $X^*$ is separable and $Z$ is an absolute Lipschitz retract, or (iii) $X=L_2$ and $Z=L_p$ with $1<p<2$, or (iv) $X=L_p$ and $Z=L_2$ with $2<p<\infty$.
We investigate some properties and convergence theorem of Kluvánek-Lewis-Henstock $\m-$integrability for $\m-$measurable functions that we introduced in \cite{ABH}. We give a $\m-$a.e. convergence version of Dominated (resp. Bounded) Convergence Theorem for $\m.$ We introduce Kluvánek-Lewis-Henstock integrable of scalar-valued functions with respect to a set valued measure in a Banach space. Finally we introduce $(KL)-$type Dominated Convergence Theorem for the set-valued Kluvánek-Lewis-Henstock integral.
The paper studies Banach spaces satisfying the Littlewood-Paley-Rubio de Francia property LPR_p, 2 \leq p < \infty. The paper shows that every Banach lattice whose 2-concavification is a UMD Banach lattice has this property. The paper also shows that every space having LPR_q also has LPR_p with q \leq p < \infty.
The concept of Rademacher type $p$ ($1\leq p\leq2$) plays an important role in the local theory of Banach spaces. In \cite{mas88} Mascioni considers a weakening of this concept and shows that for a Banach space $X$ weak Rademacher type $p$ implies Rademacher type $r$ for all $r<p$. As with Rademacher type $p$ and weak Rademacher type $p$, we introduce the concept of Haar type $p$ and weak Haar type $p$ by replacing the Rademacher functions by the Haar functions in the respective definitions. We show that weak Haar type $p$ implies Haar type $r$ for all $r<p$. This solves a problem left open by…
We introduce the notions of L(H)-valued norms and Banach spaces with respect to L(H)-valued norms. In particular, we introduce Hilbert spaces with respect to L(H)-valued inner products. In addition, we provide several fundamental examples of Hilbert spaces with respect to L(H)-valued inner products.
Targeting at sparse multi-task learning, we consider regularization models with an $\ell^1$ penalty on the coefficients of kernel functions. In order to provide a kernel method for this model, we construct a class of vector-valued reproducing kernel Banach spaces with the $\ell^1$ norm. The notion of multi-task admissible kernels is proposed so that the constructed spaces could have desirable properties including the crucial linear representer theorem. Such kernels are related to bounded Lebesgue constants of a kernel interpolation question. We study the Lebesgue constant of multi-task kernels…
We will give an outline of the main results in our recent AMS Memoir, and include some new results, exposition and open problems. In that memoir we developed a general dilation theory for operator valued measures acting on Banach spaces where operator-valued measures (or maps) are not necessarily completely bounded. The main results state that any operator-valued measure, not necessarily completely bounded, always has a dilation to a projection-valued measure acting on a Banach space, and every bounded linear map, again not necessarily completely bounded, on a Banach algebra has a bounded homo…
In this paper we introduce the notion of D-valued 2-norm on hy- perbolic or D-valued modules. Further, we define D-linear 2-functional on these modules and consider some of their properties. We also establish the Hahn- Banach type extension theorem for D-linear 2-functionals.
We prove that the operator norm of every Banach space valued Calderon-Zygmund operator T on the weighted Lebesgue-Bochner space depends linearly on the Muckenhoupt A_2 characteristic of the weight. In parallel with the proof of the real-valued case, the proof is based on pointwise dominating every Banach space valued Calderon-Zygmund operator by a series of positive dyadic shifts. In common with the real-valued case, the pointwise dyadic domination relies on Lerner's local oscillation decomposition formula, which we extend from real-valued functions to Banach space valued functions. The extens…
We prove that if a metric space $M$ has the finite CEP then $\mathcal F(M)\widehat{\otimes}_π X$ has the Daugavet property for every non-zero Banach space $X$. This applies, for instance, if $M$ is a Banach space whose dual is isometrically an $L_1(μ)$ space. If $M$ has the CEP then $L(\mathcal F(M),X)=\Lip(M,X)$ has the Daugavet property for every non-zero Banach space $X$, showing that this is the case when $M$ is an injective Banach space or a convex subset of a Hilbert space.
We show that Sobolev maps with values in a dual Banach space can be characterized in terms of weak derivatives in a weak* sense. Since every metric space embeds isometrically into a dual Banach space, this implies a characterization of metric space valued Sobolev maps in terms of such derivatives. Furthermore, we investigate for which target spaces Sobolev maps are weak* differentiable almost everywhere.
We define a scale of L^q Carleson norms, all of which characterize the membership of a function in BMO. The phenomenon is analogous to the John-Nirenberg inequality, but on the level of Carleson measures. The classical Carleson condition corresponds to the L^2 case in our theory. The result is applied to give a new proof for the L^p-boundedness of paraproducts with a BMO symbol. A novel feature of the argument is that all p are covered at once in a completely interpolation-free manner. This is achieved by using the L^1 Carleson norm, and indicates the usefulness of this notion. Our approach is…
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…
We consider a certain type of geometric properties of Banach spaces, which includes for instance octahedrality, almost squareness, lushness and the Daugavet property. For this type of properties, we obtain a general reduction theorem, which, roughly speaking, states the following: if the property in question is stable under certain finite absolute sums (for example finite $\ell^p$-sums), then it is also stable under the formation of corresponding Köthe-Bochner spaces (for example $L^p$-Bochner spaces). From this general theorem, we obtain as corollaries a number of new results as well as some …
The article presents a new method of integration of functions with values in Banach spaces. This integral and related notions prove to be a useful tool in the study of Banach space geomtry.
