Optimal Embeddings of Bessel-Potential-Type Spaces into Generalized Hölder Spaces Involving <Emphasis Type="Italic">k</Emphasis>-Modulus of Smoothness

We establish necessary and sufficient conditions for embeddings of Bessel potential spaces H ^σ X(IR ⁿ ) with order of smoothness σ?∈?(0, n), modelled upon rearrangement invariant Banach function spaces X(IR ⁿ ), into generalized Hölder spaces (involving k-modulus of smoothness). We apply our results to the case when X(IR ⁿ ) is the Lorentz-Karamata space \(L_{p,q;b}({{\rm I\kern-.17em R}}^n)\). In particular, we are able to characterize optimal embeddings of Bessel potential spaces \(H^{\sigma}L_{p,q;b}({{\rm I\kern-.17em R}}^n)\) into generalized Hölder spaces. Applications cover both superlimiting and limiting cases. We also show that our results yield new and sharp embeddings of Sobolev-Orlicz spaces W ^k?+?1 L ^n/k(logL) ^α (IR ⁿ ) and W ^k L ^n/k(logL) ^α (IR ⁿ ) into generalized Hölder spaces.     

Convex Komlós sets in Banach function spaces

In 1967 Komlós proved that for any sequence n{fn} in L₁(μ), with ‖fn‖?M<∞ (where μ is a probability measure), there exists a subsequence n{gn} of n{fn} and a function g∈L₁(μ) such that for any further subsequence n{hn} of n{gn},

     

The space of scalarly integrable functions for a Fréchet-space-valued measure

The space of all scalarly integrable functions with respect to a Fréchet-space-valued vector measure ν is shown to be a complete Fréchet lattice with the σ-Fatou property which contains the (traditional) space L¹(ν), of all ν-integrable functions. Indeed, L¹(ν) is the σ-order continuous part of . Every Fréchet lattice with the σ-Fatou property and containing a weak unit in its σ-order continuous part is Fréchet lattice isomorphic to a space of the kind .     

Polynomial numerical indices of Banach spaces with absolute norm

We study when a Banach space with absolute norm may have polynomial numerical indices equal to one. In the real case, we show that a Banach space X with absolute norm, which has the Radon-Nikodým property or is Asplund, satisfies n⁽²⁾(X)<1 unless it is one-dimensional. In the complex case, we show that the only Banach spaces X with absolute norm and the Radon-Nikodým property which satisfy n⁽²⁾(X)=1 are the spaces . Also, the only Asplund complex space X with absolute norm which satisfies n⁽²⁾(X)=1 is c₀(Λ).     

Vector measures: where are their integrals?

Let ν be a vector measure with values in a Banach space Z. The integration map $I_\nu: L^1(\nu)\to Z$ , given by $f\mapsto \int f\,d\nu$ for f ∈ L ¹(ν), always has a formal extension to its bidual operator $I_\nu^{**}: L^1(\nu)^{**}\to Z^{**}$ . So, we may consider the “integral” of any element f ^** of L ¹(ν)^** as I _ν ^** (f ^**). Our aim is to identify when these integrals lie in more tractable subspaces Y of Z ^**. For Z a Banach function space X, we consider this question when Y is any one of the subspaces of X ^** given by the corresponding identifications of X, X′′ (the Köthe bidual of X) and X′^* (the topological dual of the Köthe dual of X). Also, we consider certain kernel operators T and study the extended operator I _ν ^** for the particular vector measure ν defined by ν(A) := T(χ _A ).     

Extreme points of Banach lattices related to conditional expectations

Let (X,F,μ) be a complete probability space, B a sub-σ-algebra, and Φ the probabilistic conditional expectation operator determined by B. Let K be the Banach lattice {f∈L¹(X,F,μ):‖Φ(|f|)_‖∞<∞} with the norm ‖f‖=‖Φ(|f|)_‖∞. We prove the following theorems:

(1)

The closed unit ball of K contains an extreme point if and only if there is a localizing set E for B such that supp(Φ(χE))=X.

(2)

Suppose that there is n∈N such that f?nΦ(f) for all positive f in L^∞(X,F,μ). Then K has the uniformly λ-property and every element f in the complex K with is a convex combination of at most 2n extreme points in the closed unit ball of K.

     

The dual space of <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> of a vector measure

For a vector measure ν having values in a real or complex Banach space and \({p \in}\) [1, ∞), we consider L ^p (ν) and \({L_{w}^{p}(\nu)}\), the corresponding spaces of p-integrable and scalarly p-integrable functions. Given μ, a Rybakov measure for ν, and taking q to be the conjugate exponent of p, we construct a μ-Köthe function space E _q (μ) and show it is σ-order continuous when p > 1. In this case, for the associate spaces we prove that L ^p (ν) ^×  = E _q (μ) and \({E_q(\mu)^\times = L_w^p(\nu)}\). It follows that \({L_p (\nu) ^{**} = L_w^p (\nu)}\). We also show that L ¹ (ν) ^×  may be equal or not to E _∞ (μ).     

Universally L 1 good sequences with gaps tending to infinity

We construct a sequence (n _k ) such that n _{k + 1} − n _k → ∞ and for any ergodic dynamical system (X, Σ, μ, T) and f ε L ¹(μ) the averages converge to ∝ _X f dμ for μ almost every x. Since the above sequence is of zero Banach density this disproves a conjecture of J. Rosenblatt and M. Wierdl about the nonexistence of such sequences. Research supported by the Hungarian National Foundation for Scientific research T049727.     

On almost sure convergence of Cesaro averages of subsequences of vector-valued functions

A remarkable theorem proved by Komlòs [4] states that if {f_n} is a bounded sequence in L¹(R), then there exists a subsequence {f_nk} and f L¹(R) such that f_nk (as well as any further subsequence) converges Cesaro to f almost everywhere. A similar theorem due to Révész [6] states that if {f_n} is a bounded sequence in L²(R), then there is a subsequence {f_nk} and f L²(R) such that Σ_k=1^∞ a_k(f_nk − f) converges a.e. whenever Σ_k=1^∞ | a_k |² < ∞. In this paper, we generalize these two theorems to functions with values in a Hilbert space (Theorems 3.1 and 3.3).     

Complex strict convexity of certain Banach spaces

Istratescu's characterization of complex strict convex (csc) Banach spaces is used to show that a modulared sum of a sequence ofcsc Banach spaces is again acsc Banach space. The equivalence of the Strong Maximum Modulus Property and complex strict convexity is used to show thatL ¹(,X) iscsc whenX is (real) strictly convex and thatl ¹(X _n) iscsc if and only if eachX _n iscsc.     

A Grothendieck-type theorem for the space of totally measurable functions

Let Σ be a σ-algebra of subsets of a non-empty set Ω. Let X be a real Banach space and let X^* stand for the Banach dual of X. Let B(Σ, X) be the Banach space of Σ-totally measurable functions f: Ω → X, and let B(Σ, X)^* and B(Σ, X)^** denote the Banach dual and the Banach bidual of B(Σ, X) respectively. Let bvca(Σ, X^*) denote the Banach space of all countably additive vector measures ν: Σ → X^* of bounded variation. We prove a form of generalized Vitali-Hahn-Saks theorem saying that relative σ(bvca(Σ, X^*), B(Σ, X))-sequential compactness in bvca(Σ, X^*) implies uniform countable additivity. We derive that if X reflexive, then every relatively σ(B(Σ, X)^*, B(Σ, X))-sequentially compact subset of B(Σ, X)_c^~ (= the σ-order continuous dual of B(Σ, X)) is relatively σ(B(Σ, X)^*, B(Σ, X)^**)-sequentially compact. As a consequence, we obtain a Grothendieck type theorem saying that σ(B(Σ, X)^*, B(Σ, X))-convergent sequences in B(Σ, X)_c^~ are σ(B(Σ, X)^*, B(Σ, X)^**)-convergent.     

Approximation by smooth functions with no critical points on separable Banach spaces

We characterize the class of separable Banach spaces X such that for every continuous function and for every continuous function there exists a C¹ smooth function for which |f(x)−g(x)|?ε(x) and g^′(x)≠0 for all x∈X (that is, g has no critical points), as those infinite-dimensional Banach spaces X with separable dual X^∗. We also state sufficient conditions on a separable Banach space so that the function g can be taken to be of class Cp, for p=1,2,…,+∞. In particular, we obtain the optimal order of smoothness of the approximating functions with no critical points on the classical spaces ?p(N) and Lp(Rn). Some important consequences of the above results are (1) the existence of a non-linear Hahn-Banach theorem and the smooth approximation of closed sets, on the classes of spaces considered above; and (2) versions of all these results for a wide class of infinite-dimensional Banach manifolds.     

The Bishop-Phelps-Bollobás theorem for operators

We prove the Bishop-Phelps-Bollobás theorem for operators from an arbitrary Banach space X into a Banach space Y whenever the range space has property β of Lindenstrauss. We also characterize those Banach spaces Y for which the Bishop-Phelps-Bollobás theorem holds for operators from ?₁ into Y. Several examples of classes of such spaces are provided. For instance, the Bishop-Phelps-Bollobás theorem holds when the range space is finite-dimensional, an L₁(μ)-space for a σ-finite measure μ, a C(K)-space for a compact Hausdorff space K, or a uniformly convex Banach space.     

On the near differentiability property of Banach spaces

Let μ be a scalar measure of bounded variation on a compact metrizable abelian group G. Suppose that μ has the property that for any measure σ whose Fourier-Stieltjes transform vanishes at ∞, the measure μ*σ has Radon-Nikodým derivative with respect to λ, the Haar measure on G. Then L. Pigno and S. Saeki showed that μ itself has Radon-Nikodým derivative. Such property is not shared by vector measures in general. We say that a Banach space X has the near differentiability property if every X-valued measure of bounded variation shares the above property. We prove that Banach spaces with the Radon-Nikodým property have the near differentiability property, while Banach spaces with the near differentiability property enjoy the near Radon-Nikodým property. We also show that the Banach spaces L¹[0,1] and have the near differentiability property. Lastly, we show that Banach spaces with the near differentiability property have type II-Λ-Radon-Nikodým property, whenever Λ is a Riesz subset of type 0 of .     

Kato's square root problem in Banach spaces

Let L be an elliptic differential operator with bounded measurable coefficients, acting in Bochner spaces Lp(Rn;X) of X -valued functions on Rn. We characterize Kato's square root estimates and the H^∞-functional calculus of L in terms of R-boundedness properties of the resolvent of L, when X is a Banach function lattice with the UMD property, or a noncommutative Lp space. To do so, we develop various vector-valued analogues of classical objects in Harmonic Analysis, including a maximal function for Bochner spaces. In the special case X=C, we get a new approach to the Lp theory of square roots of elliptic operators, as well as an Lp version of Carleson's inequality.     

Hardy and Carleson Measure Spaces Associated with Operators on Spaces of Homogeneous Type

Let (X, d, μ) be a metric measure space with doubling property. The Hardy spaces associated with operators L were introduced and studied by many authors. All these spaces, however, were first defined by L ²(X) functions and finally the Hardy spaces were formally defined by the closure of these subspaces of L ²(X) with respect to Hardy spaces norms. A natural and interesting question in this context is to characterize the closure. The purpose of this paper is to answer this question. More precisely, we will introduce \({CMO}_{L}^{p}(X)\), the Carleson measure spaces associated with operators L, and characterize the Hardy spaces associated with operators L via \(({CMO}_{L}^{p}(X))'\), the distributions of \({CMO}_{L}^{p}(X)\).     

Two, more readily computable equivariant Nielsen numbers I. Nielsen theory for M-ads

In this, the first of two papers outlining a Nielsen theory for “two, more readily computable equivariant numbers”, we define and study two Nielsen type numbers N(f,k;X−{Xν}_ν∈M) and N(f,k;X,{Xν}_ν∈M), where f and k are M-ad maps. While a Nielsen theory of M-ads is of interest in its own right, our main motivation lies in the fact that maps of M-ads accurately mirror one of two fundamental structures of equivariant maps. Being simpler however, M-ad Nielsen numbers are easier to study and to compute than equivariant Nielsen numbers. In the sequel, we show our M-ad numbers can be used to form both upper and lower bounds on their equivariant counterparts.The numbers N(f,k;X−{Xν}_ν∈M) and N(f,k;X,{Xν}_ν∈M), generalize the generalizations to coincidences, of Zhao's Nielsen number on the complement N(f;X−A), respectively Schirmer's relative Nielsen number N(f;X,A). Our generalizations are from the category of pairs, to the category of M-ads. The new numbers are lower bounds for the number of coincidence points of all maps f^′ and k^′ which are homotopic as maps ofM-ads to f, respectively k firstly on the complement of the union of the subspaces Xν in the domain M-ad X, and secondly on all of X. The second number is shown to be greater than or equal to a sum of the first of our numbers. Conditions are given which allow for both equality, and Möbius inversion. Finally we show that the fixed point case of our second number generalizes Schirmer's triad Nielsen number N(f;X₁∪X₂).Our work is very different from what at first sight appears to be similar partial results due to P. Wong. The differences, while in some sense subtle in terms of definition, are profound in terms of commutability. In order to work in a variety of both fixed point and coincidence points contexts, we introduce in this first paper and extend in the second, the concept of an essentiality on a topological category. This allows us to give computational theorems within this diversity. Finally we include an introduction to both papers here.     

The crossed product by a partial endomorphism and the covariance algebra

Given a local homeomorphism where U⊆X is clopen and X is a compact and Hausdorff topological space, we obtain the possible transfer operators Lρ which may occur for given by α(f)=f○σ. We obtain examples of partial dynamical systems (XA,σA) such that the construction of the covariance algebra C^∗(XA,σA), proposed by B.K. Kwasniewski, and the crossed product by a partial endomorphism O(XA,α,L), recently introduced by the author and R. Exel, associated to this system are not equivalent, in the sense that there does not exist an invertible function ρ∈C(U) such that O(XA,α,Lρ)≅C^∗(XA,σA).