The Fatou property in p-convex Banach lattices

New features of the Banach function space , that is, the space of all ν-scalarly pth power integrable functions (with 1?p<∞ and ν any vector measure), are presented. The Fatou property plays an essential role and leads to a new representation theorem for a large class of abstract p-convex Banach lattices.     

A new class of function spaces connecting Triebel-Lizorkin spaces and Q spaces

Let s∈R, τ∈[0,∞), p∈(1,∞) and q∈(1,∞]. In this paper, we introduce a new class of function spaces which unify and generalize the Triebel-Lizorkin spaces with both p∈(1,∞) and p=∞ and Q spaces. By establishing the Carleson measure characterization of Q space, we then determine the relationship between Triebel-Lizorkin spaces and Q spaces, which answers a question posed by Dafni and Xiao in [G. Dafni, J. Xiao, Some new tent spaces and duality theorem for fractional Carleson measures and Qα(Rn), J. Funct. Anal. 208 (2004) 377-422]. Moreover, via the Hausdorff capacity, we introduce a new class of tent spaces and determine their dual spaces , where s∈R, p,q∈[1,∞), max{p,q}>1, , and t^′ denotes the conjugate index of t∈(1,∞); as an application of this, we further introduce certain Hardy-Hausdorff spaces and prove that the dual space of is just when p,q∈(1,∞).     

Operators on the space of vector-valued totally measurable functions

Let L(X,Y) stand for the space of all bounded linear operators between real Banach spaces X and Y, and let Σ be a σ-algebra of sets. A bounded linear operator T from the Banach space B(Σ,X) of X-valued Σ-totally measurable functions to Y is said to be σ-smooth if ‖T(fn)Y_‖→0 whenever a sequence of scalar functions (‖fn(⋅)X_‖) is order convergent to 0 in B(Σ). It is shown that a bounded linear operator is σ-smooth if and only if its representing measure is variationally semi-regular, i.e., as An↓∅ (here stands for the semivariation of m on A∈Σ). As an application, we show that the space Lσs(B(Σ,X),Y) of all σ-smooth operators from B(Σ,X) to Y provided with the strong operator topology is sequentially complete. We derive a Banach-Steinhaus type theorem for σ-smooth operators from B(Σ,X) to Y. Moreover, we characterize countable additivity of measures in terms of continuity of the corresponding operators .     

Absolutely summing operators and integration of vector-valued functions

Let (Ω,Σ,μ) be a complete probability space and an absolutely summing operator between Banach spaces. We prove that for each Dunford integrable (i.e., scalarly integrable) function the composition u○f is scalarly equivalent to a Bochner integrable function. Such a composition is shown to be Bochner integrable in several cases, for instance, when f is properly measurable, Birkhoff integrable or McShane integrable, as well as when X is a subspace of an Asplund generated space or a subspace of a weakly Lindelöf space of the form C(K). We also study the continuity of the composition operator f?u○f. Some other applications are given.     

Kolmogorov and linear widths of weighted Besov classes

We study the Kolmogorov m-widths and the linear m-widths of the weighted Besov classes on [−1,1], where Lq,μ, 1?q?∞, denotes the Lq space on [−1,1] with respect to the measure , μ>0. Optimal asymptotic orders of and as m→∞ are obtained for all 1?p,τ?∞. It turns out that in many cases, the orders of are significantly smaller than the corresponding orders of the best m-term approximation by ultraspherical polynomials, which is somewhat surprising.     

Global minimum and orthogonality in C1-classes

In this paper we characterize the global minimum of an arbitrary function defined on a Banach space, in terms of a new concept of derivatives adapted for our case from a recent work due to D.J. Keckic (J. Operator Theory, submitted for publication). Using these results we establish several new characterizations of the global minimum of the map defined by F_ψ(X)=‖ψ(X)‖₁, where is a map defined by ψ(X)=S+φ(X) and φ:B(H)→B(H) is a linear map, S∈C₁, and . Further, we apply these results to characterize the operators which are orthogonal to the range of elementary operators.     

Measurable selectors and set-valued Pettis integral in non-separable Banach spaces

Kuratowski and Ryll-Nardzewski's theorem about the existence of measurable selectors for multi-functions is one of the keystones for the study of set-valued integration; one of the drawbacks of this result is that separability is always required for the range space. In this paper we study Pettis integrability for multi-functions and we obtain a Kuratowski and Ryll-Nardzewski's type selection theorem without the requirement of separability for the range space. Being more precise, we show that any Pettis integrable multi-function F:Ω→cwk(X) defined in a complete finite measure space (Ω,Σ,μ) with values in the family cwk(X) of all non-empty convex weakly compact subsets of a general (non-necessarily separable) Banach space X always admits Pettis integrable selectors and that, moreover, for each A∈Σ the Pettis integral coincides with the closure of the set of integrals over A of all Pettis integrable selectors of F. As a consequence we prove that if X is reflexive then every scalarly measurable multi-function F:Ω→cwk(X) admits scalarly measurable selectors; the latter is also proved when (X^∗,w^∗) is angelic and has density character at most ω₁. In each of these two situations the Pettis integrability of a multi-function F:Ω→cwk(X) is equivalent to the uniform integrability of the family . Results about norm-Borel measurable selectors for multi-functions satisfying stronger measurability properties but without the classical requirement of the range Banach space being separable are also obtained.     

An operator-valued Tb theorem

We establish conditions similar to the Tb theorem of David, Journé and Semmes which guarantee the boundedness of an integral transformation T with L(X)-valued kernel on , where 1<p<∞ and X is a Banach space with the unconditionality property of martingale differences (UMD).     

The L resolvents of second-order elliptic operators of divergence form under the Dirichlet condition

Let A be the 2mth-order elliptic operator of divergence form with bounded measurable coefficients defined in a domain Ω of . For 1<p<∞ we regard A as a bounded linear operator from the L^p Sobolev space to H−m,p(Ω). It is known that when , we can construct the resolvent (A−λ)⁻¹ and estimate its operator norm for some λ if the leading coefficients are uniformly continuous. In this paper, we try to extend this result to a general domain. It is successful when m=1 if Ω is the half-space or a domain with C² bounded boundary. For m>1 it is shown that the problem is reduced to the case where Ω is the half-space and A is a homogeneous operator with constant coefficients. We also give a perturbation theorem.     

On the base dimension I and the property of universality

In Iliadis (2005) [13] for an ordinal α the notion of the so-called (bn-Ind?α)-dimensional normal base C for the closed subsets of a space X was introduced. This notion is defined similarly to the classical large inductive dimension Ind. In this case we shall write here I(X,C)?α and say that the base dimension I of the space X by the normal base C is less than or equal to α. The classical large inductive dimension Ind of a normal space X, the large inductive dimension Ind₀ of a Tychonoff space X defined independently by Charalambous and Filippov, as well as, the relative inductive dimension defined by Chigogidze for a subspace X of a Tychonoff space Y may be considered as the base dimension I of X by normal bases Z(X) (all closed subsets of X), Z(X) (all functionally closed subsets of X), and , respectively.In the present paper, we shall consider normal bases of spaces consisting of functionally closed subsets. In particular, we introduce new dimension invariant : for a space X, is the minimal element α of the class O∪{−1,∞}, where O is the class of all ordinals, for which there exists a normal base C on X consisting of functionally closed subsets such that I(X,C)?α. We prove that in the class of all completely regular spaces X of weight less than or equal to a given infinite cardinal τ such that there exist universal spaces. However, the following questions are open.(1) Are there universal elements in the class of all normal (respectively, of all compact) spaces X of weight ?τ with ?(2) Are there universal elements in the class of all Tychonoff (respectively, of all normal) spaces X of weight ?τ with Ind₀(X)?n∈ω? (Note that for a compact space X.)     

Estimate of the L-Fourier transform norm on nilpotent Lie groups

Let 1<p?2 and q be such that . It is well known that the norm of the L^p-Fourier transform of the additive group is , where . For a nilpotent Lie group G, we obtain the estimate , where m is the maximal dimension of the coadjoint orbits. Such a result was known only for some particular cases.     

Integral representations for a class of operators

Let X be a completely regular Hausdorff space, E Hausdorff a quasi-complete locally convex space and Cb(X,E) all E-valued bounded continuous functions on X with strict topologies βt, , . We prove that a linear continuous mapping T:Cb(X,E)→E arises from a scalar measure μ∈(Cb^′(X),βz)(z=t,∞,τ) if and only if g(T(f))=0 whenever g○f=0 for any f∈Cb(X,E), g∈E^′.     

Necessary and sufficient conditions for the boundedness of B-Riesz potential in the B-Morrey spaces

We consider the generalized shift operator, associated with the Laplace-Bessel differential operator . The maximal operator Mγ (B-maximal operator) and the Riesz potential (B-Riesz potential), associated with the generalized shift operator are investigated. At first, we prove that the B-maximal operator Mγ is bounded from the B-Morrey space Lp,λ,γ to Lp,λ,γ for all 1<p<∞ and 0?λ<n+|γ|. We prove that the B-Riesz potential , 0<α<n+|γ| is bounded from the B-Morrey space Lp,λ,γ to Lq,λ,γ if and only if α/(n+|γ|−λ)=1/p−1/q, 1<p<(n+|γ|−λ)/α. Also we prove that the B-Riesz potential is bounded from the B-Morrey space L1,λ,γ to the weak B-Morrey space WLq,λ,γ if and only if α/(n+|γ|−λ)=1−1/q.     

Derivative of power series attached to Γ-transform of p-adic measures

We extend the result of Anglès (2007) [1], namely for the Iwasawa power series . For the derivative , a numerical polynomial Q on Zp, and a prime π in over p, we show that if and only if i.e. for all x∈Zp. This result comes from a similar assertion for the power series attached to the Γ-transform of a p-adic measure which is related to a certain rational function in .     

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.     

On the equivalence of McShane and Pettis integrability in non-separable Banach spaces

We show that McShane and Pettis integrability coincide for functions , where μ is any finite measure. On the other hand, assuming the Continuum Hypothesis, we prove that there exist a weakly Lindelöf determined Banach space X, a scalarly null (hence Pettis integrable) function and an absolutely summing operator u from X to another Banach space Y such that the composition is not Bochner integrable; in particular, h is not McShane integrable.     

Semi-regular relative difference sets with large forbidden subgroups

Motivated by a connection between semi-regular relative difference sets and mutually unbiased bases, we study relative difference sets with parameters (m,n,m,m/n) in groups of non-prime-power orders. Let p be an odd prime. We prove that there does not exist a (2p,p,2p,2) relative difference set in any group of order 2p², and an abelian (4p,p,4p,4) relative difference set can only exist in the group . On the other hand, we construct a family of non-abelian relative difference sets with parameters (4q,q,4q,4), where q is an odd prime power greater than 9 and . When q=p is a prime, p>9, and , the (4p,p,4p,4) non-abelian relative difference sets constructed here are genuinely non-abelian in the sense that there does not exist an abelian relative difference set with the same parameters.     

The quantitative difference between countable compactness and compactness

We establish here some inequalities between distances of pointwise bounded subsets H of RX to the space of real-valued continuous functions C(X) that allow us to examine the quantitative difference between (pointwise) countable compactness and compactness of H relative to C(X). We prove, amongst other things, that if X is a countably K-determined space the worst distance of the pointwise closure of H to C(X) is at most 5 times the worst distance of the sets of cluster points of sequences in H to C(X): here distance refers to the metric of uniform convergence in RX. We study the quantitative behavior of sequences in H approximating points in . As a particular case we obtain the results known about angelicity for these Cp(X) spaces obtained by Orihuela. We indeed prove our results for spaces C(X,Z) (hence for Banach-valued functions) and we give examples that show when our estimates are sharp.