Norming sets and integration with respect to vector measures

Let v be a countably additive measure defined on a measurable space (Ω, Σ) and taking values in a Banach space X. Let f : Ω → ? be a measurable function. In order to check the integrability (respectively, weak integrability) of f with respect to v it is sometimes enough to test on a norming set Λ ⊂ X^*. In this paper we show that this is the case when A is a James boundary for BX^* (respectively, Λ is weak^*-thick). Some examples and applications are given as well.     

The Birkhoff integral and the property of Bourgain

In this paper we study the Birkhoff integral of functions f:X defined on a complete probability space (,,) with values in a Banach space X. We prove that if f is bounded then its Birkhoff integrability is equivalent to the fact that the set of compositions of f with elements of the dual unit ball Z_f={x*,f:x*B_X*} has the Bourgain property. A non necessarily bounded function f is shown to be Birkhoff integrable if, and only if, Z_f is uniformly integrable and has the Bourgain property. As a consequence it turns out that the range of the indefinite integral of a Birkhoff integrable function is relatively norm compact. We characterize the weak Radon-Nikodým property in dual Banach spaces via Birkhoff integrable Radon-Nikodým derivatives. We also point out that a recently introduced notion of unconditional Riemann-Lebesgue integrability coincides with the notion of Birkhoff integrability. Some other applications are given.Mathematics Subject Classification (2000): 28B05, 46B22, 46G10Partially supported by the research grant BFM2002-01719 of MCyT (Spain). The second author was supported by a FPU grant of MECD (Spain).Acknowledgement We gratefully thank Gabriel Vera for lively discussions about some material considered in this paper. We also thank the referee for helpful suggestions that have improved the exposition of this work.     

An abstract Radon-Nikodym theorem

In this paper we obtain a Radon-Nikodym theorem for positive linear functionals on a B¹-algebra M. Some corollaries analogous to those obtained in the classical case are also obtained here. It is known that if X is a Banach space, then the space $\text{L}{}_1\text{(Ω, X)}$ of Bochner integrable functions on a probability space Ω with values in X is the completion (in a suitable topology) of the tensor product $\text{L}{}_1\text{(Ω) ? X}$. Using our theorem, it is possible to extend this result for certain linear mappings from M ? X to X.     

Weak continuity of Riemann integrable functions in Lebesgue-Bochner spaces

In general, Banach space-valued Riemann integrable functions defined on [0, 1] （equipped with the Lebesgue measure） need not be weakly continuous almost everywhere. A Banach space is said to have the weak Lebesgue property if every Riemann integrable function taking values in it is weakly continuous almost everywhere. In this paper we discuss this property for the Banach space LX^1 of all Bochner integrable functions from [0, 1] to the Banach space X. We show that LX^1 has the weak Lebesgue property whenever X has the Radon-Nikodym property and X＊ is separable. This generalizes the result by Chonghu Wang and Kang Wan [Rocky Mountain J. Math., 31（2）, 697-703 （2001）] that L^1[0, 1] has the weak Lebesgue property.     

On local convexity of nonlinear mappings between Banach spaces

We find conditions for a smooth nonlinear map f: U → V between open subsets of Hilbert or Banach spaces to be locally convex in the sense that for some c and each positive ? < c the image f(B _?(x)) of each ?-ball B _?(x) ? U is convex. We give a lower bound on c via the second order Lipschitz constant Lip₂(f), the Lipschitz-open constant Lip_o(f) of f, and the 2-convexity number conv₂(X) of the Banach space X.     

Best simultaneous approximation in L∞(μ, X)

Let Y be a reflexive subspace of the Banach space X, let (Ω, Σ, μ) be a finite measure space, and let L_∞(μ, X) be the Banach space of all essentially bounded μ ‐Bochner integrable functions on Ω with values in X, endowed with its usual norm. Let us suppose that Σ₀ is a sub‐σ ‐algebra of Σ, and let μ₀ be the restriction of μ to Σ₀. Given a natural number n, let N be a monotonous norm in ?ⁿ . We prove that L_∞(μ, Y) is N ‐simultaneously proximinal in L_∞(μ,X), and that if X is reflexive then L_∞(μ₀, X) is N ‐simultaneously proximinal in L_∞(μ, X) in the sense of Fathi, Hussein, and Khalil [3]. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Copies of c 0 in the space of Pettis integrable functions with integrals of finite variation

Let (Ω,Σ,μ) be a complete finite measure space and X a Banach space. If all X-valued Pettis integrals defined on (Ω,Σ,μ) have separable ranges we show that the space of all weakly μ-measurable (classes of scalarly equivalent) X-valued Pettis integrable functions with integrals of finite variation, equipped with the variation norm, contains a copy of?c ₀ if and only if X does.     

Some Extremal Properties of Section Spaces of Banach Bundles and Their Duals,II

Let π : E → X be a real Banach bundle with section space Γ(π), where X is a compact Hausdorff space. We complete the characterization of weak-* and sequential weak-* points of continuity in the unit ball of Γ(π) ? for certain classes of bundles (which include the trivial ones), which was begun in an earlier paper. The proofs avoid the use of vector measures.     

A Decomposition Theorem for Compact-Valued Henstock Integral

We prove that if X is a separable Banach space, then a measurable multifunction Γ : [0, 1] → ck(X) is Henstock integrable if and only if Γ can be represented as Γ = G + f, where G : [0, 1] → ck(X) is McShane integrable and f is a Henstock integrable selection of Γ.     

The Dirichlet problem for the minimal surface system in arbitrary dimensions and codimensions

Let Ω be a bounded C² domain in ?ⁿ and ? ?Ω → ?^m be a continuous map. The Dirichlet problem for the minimal surface system asks whether there exists a Lipschitz map f : Ω → ?^m with f|_?Ω = ? and with the graph of f a minimal submanifold in ?^n+m. For m = 1, the Dirichlet problem was solved more than 30 years ago by Jenkins and Serrin [12] for any mean convex domains and the solutions are all smooth. This paper considers the Dirichlet problem for convex domains in arbitrary codimension m. We prove that if ψ : ¯Ω → ?^m satisfies 8nδ sup_Ω |D²ψ| + √2 sup_?Ω |Dψ| < 1, then the Dirichlet problem for ψ|_?Ω is solvable in smooth maps. Here δ is the diameter of Ω. Such a condition is necessary in view of an example of Lawson and Osserman [13]. In order to prove this result, we study the associated parabolic system and solve the Cauchy‐Dirichlet problem with ψ as initial data. © 2003 Wiley Periodicals, Inc.     

Hyers–Ulam–Rassias stability of a generalized Apollonius–Jensen type additive mapping and isomorphisms between C *‐algebras

Let X, Y be Banach modules over a C *‐algebra. We prove the Hyers–Ulam–Rassias stability of the following functional equation in Banach modules over a unital C *‐algebra: It is shown that a mapping f: X → Y satisfies the above functional equation and f (0) = 0 if and only if the mapping f: X → Y is Cauchy additive. As an application, we show that every almost linear bijection h: A → B of a unital C *‐algebra A onto a unital C *‐algebra B is a C *‐algebra isomorphism when h (2^d uy) = h (2^d u) h (y) for all unitaries u ∈ A, all y ∈ A, and all d ∈ Z . (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On Henstock–Kurzweil and McShane integrals of Banach space-valued functions

This paper deals with the relation between the McShane integral and the Henstock–Kurzweil integral for the functions mapping a compact interval into a Banach space X and some other questions in connection with the McShane integral and the Henstock–Kurzweil integral of Banach space-valued functions. We prove that if a Banach space-valued function f is Henstock–Kurzweil integrable on I₀ and satisfies Property (P), then I₀ can be written as a countable union of closed sets E_n such that f is McShane integrable on each E_n when X contains no copy of c₀. We further give an answer to the Karták's question.     

A note on operator‐valued Fourier multipliers on Besov spaces

Let X be a Banach space. We show that each m : ? \ {0} → L (X ) satisfying the Mikhlin condition sup_{x ≠0}(‖m (x )‖ + ‖xm ′(x )‖) < ∞ defines a Fourier multiplier on B ^s _p,q (?; X ) if and only if 1 < p < ∞ and X is isomorphic to a Hilbert space; each bounded measurable function m : ? → L (X ) having a uniformly bounded variation on dyadic intervals defines a Fourier multiplier on B ^s _p,q (?; X ) if and only if 1 < p < ∞ and X is a UMD space. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

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 solution sets of multivalued differential equations

Let X be a Banach space, 2^x\? the nonempty subsets of X,J = [o,a]?R and F:J×X→2^x\? a multivalued map. We consider U′ ? F(t,u) a.e. on J, u(o) = X_p ? X. A solution of (1) is understood to be a.e. differentiable with u′ Bochner integrable over J such that u(t) =X₀ + ∫^{0 t} u′(s)ds on J and u′(t)?F(t,u(t)) a.e. Under appropriate conditions on F the set S of solutions to (1) is compact ≠ ? in C_X (J), the space of continuous v : J → X with ∣v∣₀ = max∣v(t)∣. We concentrate on maps F with F(t,.) upper semicontinuous andshow that S is connected or even a compact R_δ in the sense of Borsuk. This is interesting in itself, but also in connection with the multivalued Poincare map in case F is periodic in time.     

Composition operators on W 1 X are necessarily induced by quasiconformal mappings

Let Ω ? ? ⁿ be an open set and X(Ω) be any rearrangement invariant function space close to L ^q (Ω), i.e. X has the q-scaling property. We prove that each homeomorphism f which induces the composition operator u ? u ? f from W ¹ X to W ¹ X is necessarily a q-quasiconformal mapping. We also give some new results for the sufficiency of this condition for the composition operator.     

On the Fourier-Coefficients of Vector-Valued Functions

We study the decay of the Fourier-coefficients of vector-valued functions F : T → X, X a Banach space. Differentiable functions f generally have absolutely summable Fourier-coefficients, f (n) <, iff X is K-convex. More precise statements on the decay of f (n) for regular functions f can be given if X has Fourier-type p. If f belongs to the Besov space, the sequence (||f(n)||) belongs to the Lorentz sequence space l_t,v with 1/t = λ + 1/max (u′, p′). This result is the best possible in the vector-valued case and generalizes the well-known scalar results.     

The Pettis integral for multi-valued functions via single-valued ones

We study the Pettis integral for multi-functions defined on a complete probability space (Ω,Σ,μ) with values into the family cwk(X) of all convex weakly compact non-empty subsets of a separable Banach space X. From the notion of Pettis integrability for such an F studied in the literature one readily infers that if we embed cwk(X) into ?_∞(BX^∗) by means of the mapping defined by j(C)(x^∗)=sup(x^∗(C)), then j○F is integrable with respect to a norming subset of B?_∞^∗(BX^∗). A natural question arises: When is j○F Pettis integrable? In this paper we answer this question by proving that the Pettis integrability of any cwk(X)-valued function F is equivalent to the Pettis integrability of j○F if and only if X has the Schur property that is shown to be equivalent to the fact that cwk(X) is separable when endowed with the Hausdorff distance. We complete the paper with some sufficient conditions (involving stability in Talagrand's sense) that ensure the Pettis integrability of j○F for a given Pettis integrable cwk(X)-valued function F.     

The Hahn-Banach Property and the Axiom of Choice

We work in set theory ZF without axiom of choice. Though the Hahn-Banach theorem cannot be proved in ZF, we prove that every Gateaux-differentiable uniformly convex Banach space E satisfies the following continuous Hahn-Banach property: if p is a continuous sublinear functional on E, if F is a subspace of E, and if f: F → ? is a linear functional such that f ≤ p|F then there exists a linear functional g : E → ? such that g extends f and g ≤ p. We also prove that the continuous Hahn-Banach property on a topological vector space E is equivalent to the classical geometrical forms of the Hahn-Banach theorem on E. We then prove that the axiom of Dependent choices DC is equivalent to Ekeland's variational principle, and that it implies the continuous Hahn-Banach property on Gateaux-differentiable Banach spaces. Finally, we prove that, though separable normed spaces satisfy the continuous Hahn-Banach property, they do not satisfy the whole Hahn-Banach property in ZF+DC.     

On the square root of a positive B(X,X1)-valued function

Let (Ω, $\text{B}$, μ) be a measure space, $\text{X}$ a separable Banach space, and $\text{X}$¹ the space of all bounded conjugate linear functionals on $\text{X}$. Let f be a weak¹ summable positive B($\text{X, X}$¹)-valued function defined on Ω. The existence of a separable Hilbert space $\text{K}$, a weakly measurable B($\text{X, K}$)-valued function Q satisfying the relation $\text{Q}{}^1\text{(ω)Q(ω) = f(ω)}$ is proved. This result is used to define the Hilbert space L_2,f of square integrable operator-valued functions with respect to f. It is shown that for B⁺($\text{X, X}$¹)-valued measures, the concepts of weak¹, weak, and strong countable additivity are all the same. Connections with stochastic processes are explained.