Arxiv:Math/9410203V1

arXiv:math/9410203v1 [math.FA] 31 Oct 1994 erbefntos sn h at[1 hoe .]ta s a that e from easily 1.1] Theorem can Theorem tiation one [P1, separably-valued, essentially fact is the function Using functions. tegrable nerbefntos function A functions. integrable f in aigvle ntera numbers real the in values taking tions o lotall almost for hr sa element an is there esr pc (Ω space measure sial omltd ucin aigvle naBnc s Banach a in values taking functions formulated) (suitably n so and ∈ h otcmo eeaiaini h space the is generalization common most The nte eeaiainof generalization Another h eodato a upre npr yNFDMS-9306460. NSF by part in supported was author second The space the of generalizations several are There 1991 L reo odffrniblt fteidfiiePti nerlt integral Pettis indefinite the W of nondifferentiability spectacularly. of rather gree fails thus, differentiable; Theorem weakly Differentiation nowhere Lebesgue are integrals Pettis inite strongly-measurable of examples hc tflosta u xmlsaeraoal sharp. reasonably are examples our that follows it which Abstract. 1 ( ahmtc ujc Classification Subject Mathematics X ,then ), t OHR EKDIFFERENTIABILITY WEAK NOWHERE nΩ. in o nabtayifiiedmninlBnc space Banach infinite-dimensional arbitrary an For , Σ ..Dilworth S.J. x µ , E h lim FTEPTI INTEGRAL PETTIS THE OF L → n[0 on ) ∈ 1 0 h oapa:QasinsMathematicae Quaestiones appear: to ( lim X ia eso:3 coe 1994 October 31 Version: Final → R h 1 0 satisfying to ) L Z , 1 t h 1 x ])t pc fsrnl-esrbe“integrable” strongly-measurable of space a to ) 1] ( t + R ∗ Z L ( h f t stespace the is ) x 1 X t k + ( E Ω : vle etsitgal ucin hs indef- whose functions integrable Pettis -valued f X h = ) 81,4E0 46G05. 46E40, 28A15, . ( .Seicly[;c.D,TermI..] if II.2.9], Theorem DU, cf. [B; Specifically ). f ω and → ( ) ω 1 − ) R Z X dµ f E ( sPti nerbei o each for if integrable Pettis is addfie nteuulLebesgue usual the on defined (and x t ( ai Girardi Maria ) ω ∗ P k fdµ L = ) 1 dµ 1 ( ( X L R ( fsrnl-esrbePettis strongly-measurable of ) 1 ω fLbsu nerbefunc- integrable Lebesgue of ) ( f 0 = ) X ( t tn eegesDifferen- Lebesgue’s xtend in- Bochner-Lebesgue of ) ) h oyeof cotype the o o hs ucin the functions these for pace lorlt h de- the relate also e X trongly-measurable yee by Typeset econstruct we , X . X from , A M E S -T ∈ E Σ X ∗ ∗ for each x in the dual space X of X. The element xE is called the Pettis integral of f over E and we write f dµ = x . P − E ZE It is clear that L (X) (X), while the reverse inclusion holds if and only if X is 1 ⊂ P1 finite dimensional (see e.g. [DG]). If f (X), then for each x∗ X∗ the function x∗f L (R) and so there ∈ P1 ∈ ∈ 1 exists a set A (which depends on x∗) of full measure such that

t+h 1 ∗ ∗ lim x f(ω) dµ(ω) = x f(t) h→0 h Zt for each t A. In his paper [P1] introducing the Pettis integral, Pettis phrased this ∈ by saying that the Pettis integral of a function in (X) is pseudo-diﬀerentiable . P1 He closed his paper by asking whether the Pettis integral of a function f in (X) P1 enjoys the stronger property of being a.e. weakly diﬀerentiable ; that is, does there necessarily exist a set A (independent of x∗) of full measure such that

t+h 1 ∗ ∗ lim x f(ω) dµ(ω) = x f(t) h→0 h Zt for each t A and x∗ X∗, or such that (which is the same thing of course) ∈ ∈ 1 t+h weak lim f(ω) dµ(ω) = f(t) − h→0 h P − Zt for each t A. ∈ If X is finite dimensional, then the Pettis integral of a function in (X) is P1 a.e. weakly differentiable. R.S. Phillips [Ph] (for X = ℓ2) and M.E. Munroe [M] (for X = C[0, 1]) each constructed an example of a function in (X) whose Pettis P1 integral is not a.e. weakly differentiable. G.E.F. Thomas [T, p. 131] conjectured that such a function in (X) exists for every infinite-dimensional Banach space X. P1 At the recent May 1993 Kent State University Functional Analysis Conference, Joe Diestel requested a further investigation into Pettis’s question. Independently, V. Kadets [K] recently constructed, for each infinite-dimensional Banach space X, a function in (X) whose Pettis integral fails to be a.e. weakly differentiable; P1 specifically, it fails to be weakly differentiable on a set of positive, but not full, measure. The main theorem of this paper constructs, for each infinite-dimensional Banach space X, a function in (X) whose Pettis integral is nowhere weakly differentiable. P1 This theorem also addresses the degree of nondifferentiability of the Pettis integral. Our second theorem shows, for arbitrary Banach spaces, that the functions which we construct are close to being optimal with respect to their degree of nondifferentiability. From these two theorems it follows (Corollaries 3 and 4) that the cotype of a space is closely tied to the degree of nondifferentiability of the Pettis integral. 2 Theorem 2 was shown to us by Nigel Kalton in answer to a question posed in a preliminary version of this paper. We are grateful to him for permission to include this result here. To state our main result we introduce the collection Ψ of all increasing functions ψ : [0, ) [0, ) satisfying the growth condition ∞ → ∞ ∞ − ψ(2 pn−1 ) √2pn < , ( ) ∞ † n=1 X for some increasing sequence p ∞ of integers. Examples of functions in Ψ are { n}n=0

1 +ǫ ψ(s) = s 2 , 1+ǫ 1+ǫ 1 1 1 1 1 ψ(s) = s 2 and ψ(s) = s 2 log (1/s) log (1/s) loglog(1/s) for pn = n and any ǫ > 0. Theorem 1. Let X be an inﬁnite-dimensional Banach space. For each ψ Ψ, ∈ there exists f (X) such that ∈ P1

f dµ > ψ (µ (I)) ( ) P − ‡ ZI X

for each interval I contained in [0, 1].

3 Remark. Taking ψ(t) = t 4 gives a Pettis integrable function f such that for each t Ω, ∈ 1 t+h lim f(ω) dµ(ω) = . → h 0 h P − t ∞ Z X

If the Pettis integral of this f were weakly diﬀerentiable at t, then the above limit

would be finite. Proof. Let In : n =0, 1,... ; k =1,..., 2n be the dyadic intervals on [0, 1], i.e. { k } k 1 k In = − , . k 2n 2n Define inductively a collection An : n =0, 1,... ; k =1,..., 2n of disjoint sets of { k } strictly positive measure such that An In (e.g. appropriately chosen “fat Cantor” k ⊂ k sets). Fix K > 1. By a theorem of Mazur there is a basic sequence x in X with { n} basis constant at most K. Take a blocking F of the basis with each sub- { n} space Fn of large enough dimension to find (using the finite-dimensional version n of Dvoretzky’s Theorem [D]) a 2 -dimensional subspace En of Fn such that the 2n Banach-Mazur distance between En and ℓ2 is less than 2. Note that En forms n { } a finite-dimensional decomposition. Next find operators T : ℓ2 E such that n 2 → n 3 −1 n n Tn 6 2 and Tn = 1. Let uk : k = 1,... 2 be the standard unit vectors of k n k { } ℓ2 and let en T un. 2 k ≡ n k By the growth condition ( ) on ψ, there is an increasing sequence p ∞ of † { n}n=0 integers, with p0 = 0, satisfying ∞ −p − ψ(4 2 n 1 ) √2pn < . · ∞ n=1 X Define f : [0, 1] X by → ∞ 2n 1An (ω) f(ω) = c k en , n µ(An) k n=1 k X kX=1 where − c = 2K ψ 4 2 pn−1 δ , m · · m,pn (here δj,k is the usual Kronecker delta symbol). Clearly, f is strongly measurable. The Pettis integral of f is easily computable; namely,

∞ 2n 1An f dµ = c k dµ en . ( ) P − n µ(An) k ∗ E n=1 E k Z X Xk=1 Z To see this, ﬁrst note that the growth condition on ψ guarantees that the above series does indeed converge to an element of X, since

q 2n q 2n 1An 1An c k dµ en = c k dµ T un n µ(An) k n µ(An) n k n=p E k n=p E k X Xk=1 Z X X Xk=1 Z X q 2n 1An 6 k n 2 cn n dµ uk E µ(Ak ) n n=p k=1 ℓ2 X X Z 2 1 q 2n 2 2 1An = 2 c k dµ n µ(An) n=p "k=1 ZE k # X X q n 6 2 cn √2 , n=p X ∗ X∗ n which approaches zero as p, q . Now ﬁx E Σ and x and let ǫk = ∗ n → ∞ ∈ ∈ sign(x ek ). Then

2n 2n 2n ∗ ∗ ∗ ∗ ∗ x en = ǫnx T un 6 T x ǫnun 6 2 x √2n , | k | k n k k n k k k k k k k k=1 k=1 k=1 2n ℓ2 X X X

and so

∞ 2n ∞ 2n 1 n 1 n Ak ∗ n Ak ∗ n cn n x (ek ) dµ = cn n x (ek ) dµ E µ(Ak ) E µ(Ak ) Z n=1 k=1 n=1 Z k=1 X X 4 X X

∞ 2n 1An ∗ 6 c k dµ x en n µ(An) | k | n=1 E k X kX=1 Z ∞ 2n ∗ 6 c x en n | k | n=1 k=1 X X ∞ ∗ 6 2 x c √2n < . k k n ∞ n=1 X Thus we may interchange the integral and summation below to see that

∞ 2n ∗ 1An ∗ x f dµ = c k x (en) dµ n µ(An) k E E n=1 k Z Z X kX=1 ∞ 2n ∞ 2n 1An ∗ ∗ 1An = c k x (en) dµ = x c k dµ en , n µ(An) k n µ(An) k n=1 E k n=1 E k ! X Z kX=1 X Xk=1 Z as needed for ( ). ∗ Fix an interval I Σ. Find a dyadic interval Im I such that 4 µ(Im) > µ(I) ∈ j ⊂ j and then ﬁnd n such that pn−1 6 m < pn. Let P be the natural projection from E onto E . Since P 6 2K, ⊕ j pn k k P 2K f dµ > P f dµ P − P − ZI X ZI X 2pn 1Apn k pn = cpn pn dµ ek I µ(Ak ) kX=1 Z X 2pn 1Apn > k pn cpn pn dµ uk I µ(Ak ) pn k=1 ℓ2 X Z 2 1 2pn 2 2 1Apn = c k dµ , pn µ(Apn ) "k=1 ZI k # X pn pn m and so since A I Ij I for some k, k ⊂ k ⊂ ⊂ − 2K f dµ > c = 2K ψ 4 2 pn−1 . P − pn · ZI X − − But ψ is increasing and 4 2 p n−1 > 4 2 m > µ(I) and so · · f dµ > ψ (µ (I)) . P − ZI X

Thus f satisﬁes the statement of the theorem.

The functions in Ψ can be viewed as indicators of the degree of nondiﬀeren- tiability (i.e. the poor “averaging behavior”) of the indeﬁnite Pettis integral. For instance, taking 1+ǫ 1 1 ψ(s) = s 2 , log (1/s) 5 we deduce from Theorem 1 that there exists f (X) such that, not only do we ∈ P1 have 1 t+h lim f(ω) dµ(ω) = , → h 0 h P − t ∞ Z X

but even worse,

1+ǫ t+h 1 1 1 lim h 2 log f(ω) dµ(ω) = → h 0 · h h P − t ∞ Z X

for all t Ω. ∈ The next theorem shows that Theorem 1 comes close to describing the worst type of averaging behavior of the Pettis integral that can occur in an arbitrary inﬁnite-dimensional Banach space. In particular, it shows that, for spaces on which the identity operator is (2, 1)-summing (i.e., spaces with the Orlicz property), The- 1 orem 1 fails to hold for the function ψ(s) = s 2 . Thus, the growth condition ( ) on 1 † ψ Ψ can not be replaced by ψ(s) = O(s 2 ) as s 0. We do not know, however, ∈ 1 → whether it can be replaced by ψ(s) = o(s 2 ) as s 0. → Theorem 2. If the identity operator on an inﬁnite-dimensional Banach space X is (q, 1)-summing for some 2 6 q < , then, for every f (X), ∞ ∈ P1 t+h 1 f dµ = o h q P − t Z X

as h 0+ for µ-a.e. t. → The proof below, which uses a factorization theorem of Pisier [P], was pointed out to us by Nigel Kalton. Proof. Fix f (X) for an inﬁnite-dimensional Banach space X. Consider the ∈ P1 operator K : L∞ X given by → K(g) = g(ω)f(ω) dµ(ω) . P − ZΩ We need to show that

1 K 1 K 1 = o h q [0,t+h] − [0,t] X as h 0+ for µ-a.e. t . Fix ǫ > 0. → Since K is compact and since the dual of L∞ has the approximation property, there is [e.g. DU, Thm. VIII.3.6] a decomposition K = K1 + K2, with K (L∞, X), such that K has ﬁnite rank and K has norm at most ǫ2. It i ∈ L 1 2 is enough to show that there is some constant A, which depends only on X and q, such that for each i,

− 1 q lim sup h Ki 1[0,t+h] Ki 1[0,t] X 6 Aǫ, (♦) h→0+ − 6 on a set of µ-measure at least 1 ǫq. − Towards this, consider [see e.g. R] the natural surjective isometry τ : L∞ C(∆) → for the appropriate extremally disconnected compact Hausdorﬀ space ∆. Recall that τ takes an indicator function of a Borel set in [0, 1] to an indicator function of a clopen set in ∆, say τ (1A)=1A in such a way that if A B Ω, then \ ⊂ ⊂ A B ∆ and B A = B A. Let Ki be the composite map: ⊂ ⊂ \ \ b −1 τ Ki b b K : C(∆)b b b L∞ X . i −→ −→

First we dealb with K1. We assume, without loss of generality, that K1 is of rank one. So the mapping K1 is of the form

b K1 (ϕ) = ϕ dλ x Z∆ for some norm one element x bin X and a ﬁnite regular signed Borel measure λ on ∆. Thus

K1 1[0,t+h] K1 1[0,t] = K1 1 \ K1 1 − X [0,t+h] − [0,t] X \ = λb [0,t + h] λb [0,t]d − = α(t + h) α(t) , | − | d \ where α: [0, 1] R is given by α(t) = λ [0,t] . Since [0,t] [0,t + h] for positive → ⊂ h, the function α is of bounded variation and so is diﬀerentiable µ-almost everywhere. Thus, K 1 K 1 d= O(h) µd-a.e. and so (♦) holds for 1 [0,t+h] − 1 [0,t] X any q > 1. Now we deal with K . Fix 2 6 q < . If the identity operator on X is (q, 1)- 2 ∞ summing, then [P, Cor. 2.7] there is a probability measure ν on the Borel sets of ∆ such that the operator K2 admits a factorization of the form

K b C(∆) 2 X −→ b

J T ց ր

Lq,1(ν) where J is the natural inclusion map and T is a bounded linear operator with operator norm at most C K Cǫ2, where C depends only on X and q. Here, k 2k ≤ Lq,1(ν) is the usual Lorentz space of all real-valued ν-measurable functions f on ∆ for which the norm f isb ﬁnite, where k kq,1 ∞ 1 − ∗ q 1 f q,1 = t f (t) dt k k 0 Z 7 and f ∗ is the non-increasing rearrangement of f . As above | | K 1 K 1 = K 1 2 [0,t+h] − 2 [0,t] X 2 (t,t+h] X = K2 1 \ (t,t+h] X 2 6 Cǫ J 1 \ . b (t,t+h] Lq,1(ν)

Since the non-increasing rearrangement of J 1 \ is just the indicator function (t,t+h] \ of the set 0, ν (t,t + h] , we have h 1 \ q J 1 \ = q ν (t,t + h] , (t,t+h] Lq,1(ν) h i and so

1 − 1 β (t + h) β (t) q h q K 1 K 1 6 Cqǫ2 | − | , 2 [0,t+h] − 2 [0,t] X h where β : [0, 1] R is given by β(t) = ν [0,t] . The function β is increasing and → hence diﬀerentiable µ-almost everywhere. Thus d − 1 ′ 1 q 2 q lim sup h K2 1[0,t+h] K2 1[0,t] X 6 C q ǫ [β (t)] h→0+ −

for µ-a.e. t. ¿From 1 β′(t) dt 6 β(1) β(0) 6 1, it follows that µ [β′(t) > ǫ−q] 6 ǫq. 0 − Thus, on a set of measure at least 1 ǫq, R − − 1 q lim sup h K2 1[0,t+h] K2 1[0,t] X 6 Cqǫ, h→0+ −

which implies (♦) for K2.

Recall that the identity operator on a space with finite cotype q is (q, 1)-summing. Indeed, cotype plays a major rôle in the unfolding drama. To see this, consider a space X which contains a finite-dimensional decomposition E where the ⊕ n 2n Banach-Mazur distance between En and ℓp is less than M forX each n for some fixed 1 6 p 6 and M > 1. By modifying Mazur’s construction [see e. g. LT] ∞ of a basic sequence and using the fact (a simple compactness argument suffices) that finite representability of ℓp is inherited by subspaces of finite codimension, it is possible to construct such a finite-dimensional decomposition in X whenever ℓp X is finitely representable in . By the Maurey-Pisier Theorem [MP], ℓq0 is finitely representable in X where 2 6 q 6 and 0 ∞ q = inf q : X has cotype q . 0 { } 8 In the same spirit as in the proof of Theorem 1 (and with similar notation), for 1 6 p 6 let Ψ be the collection of all increasing functions ψ : [0, ) [0, ) ∞ p ∞ → ∞ satisfying the growth condition ∞ − 1 ψ 2 pn−1 [2pn ] p < ( ) ∞ †p n=1 X for some increasing sequence p ∞ of integers (following the convention that { n}n=0 1/ is 0). For 1 6 p < , a typical function in Ψ is ∞ ∞ p 1 +ǫ ψ(s) = s p with p = n and for any ǫ > 0. For p = ,( ) reduces to the condition n ∞ †p lim ψ(s)=0 . s→0+ Fix ψ Ψ and find an increasing sequence p ∞ of integers, with p = 0, ∈ p { n}n=0 0 satisfying ∞ − 1 ψ(4 2 pn−1 ) [2pn ] p < · ∞ n=1 X (again, 1/ is 0). Define f : [0, 1] X by ∞ → ∞ 2n 1An (ω) f(ω) = c k en , n µ(An) k n=1 k X kX=1 where − c = 2K ψ 4 2 pn−1 δ , m · · m,pn where K is the finite-dimensional decomposition constant. Minor variations of the proof of Theorem 1 show that this function f satisfies

f dµ > ψ (µ (I)) P − ZI X

for each interval I contained in [0, 1].

Theorems 1 and 2, along with the above observations, give the following corollaries. Corollary 3. Let X be an inﬁnite-dimensional Banach space with ﬁnite cotype and let q = inf q : X has cotype q . Then the following hold. 0 { 0 } (1) If p > q , then for each f (X), we have 0 ∈ P1 t+h 1 f dµ = o h p P − t Z X

as h 0+ for µ-a.e. t. → (2) If p < q , then there is an f (X) such that 0 ∈ P1 t+h 1 f dµ > h p P − t Z X

for all t [0, 1]. ∈ 9 Corollary 4. For an inﬁnite-dimensional Banach space X, the following are equiv- alent. (1) X fails cotype. (2) For each ψ Ψ∞, there exists f (X) such that ∈ ∈ P1

f dµ > ψ (µ (I)) P − ZI X

for each interval I contained in [0, 1].

Remark. Note that Corollary 4 proves the existence of a reflexive Banach space for which the Pettis integral has essentially no kind of differentiability property whatsoever. Theorem 1 can be reformulated by considering the indefinite Pettis integral

t g(t) = f(ω) dµ(ω) , P − Z0 and then expressing ( ) as ‡ g(s) g(t) > ψ( s t ) . ( ′) k − k | − | ‡ Corollary 4 shows that if g is the indefinite integral of a Pettis-integrable function taking values in a space failing cotype, then there are (essentially) no restrictions on ψ in ( ′). Since g(t) is always continuous [P1, Thm. 2.5], it is not unreasonable ‡ to inquire, in the case of an arbitrary infinite-dimensional Banach space, whether there are any restrictions on ψ which are attributable merely to the continuity of g as opposed to the additional fact that g is an indefinite Pettis integral. Our final result answers this question with a resounding no.

Theorem 5. Let X be an inﬁnite-dimensional Banach space and let ψ Ψ∞. ∈ Then there exists a continuous function f : Ω X such that →

f(s) f(t) X > ψ ( s t ) k − k | − | for each s and t in Ω.

Remark. As Ralph Howard pointed out, Theorem 5 does not hold if X is ﬁnite- dimensional. In fact, if f is a continuous function taking values in Rn and satisfying the lower estimate given above, then an easy Hausdorﬀ dimension argument (see − e.g. [Kah]) shows that the function ψ must satisfy lim inf → ψ(t)tǫ 1/n < for t 0 ∞ every ǫ > 0.

Proof. Find an increasing sequence p ∞ of integers with p = 0 such that { n}n=0 0 −pn n ψ (2 ) is finite and fix K > 1. Keeping with the notations and ideas of The- orem 1, find a finite-dimensional decomposition E in X and, to avoid excessive P { n} 10 n pn n pn n pn superscripts, let Jk = Ik and likewisee ˜k = ek andu ˜k = uk for each admissible n and k. Consider the continuous piecewise-linear function

2pn pn k n k 1 n fn (ω) = 2 ω e˜k + ω − e˜k+1 1J n (ω) . 2pn − − 2pn k Xk=1 If ω J n, then f (ω) is of the form α eñ + (1 α)e ñ for some 0 6 α 6 1. ∈ k n k − k+1 Thus the norm of f (ω) is at most 2 for each ω Ω. Define f : Ω X by n ∈ → ∞

f (ω) = cn fn (ω) , n=2 X where −pn cn+2 = 2 K ψ 2 .

Since each fn is uniformly continuous and

q q

cnfn (ω) 6 2 cn ,

n=p n=p X X

the choice of pn guarantees not only that f(ω) is indeed in X for each ω Ω but { } ∈ also that f is uniformly continuous. − − Fix s,t Ω. Find p such that 2 pn < s t 6 2 pn−1 . Since s and t are in nei- ∈ n | − | ther the same nor adjacent intervals of the partition J n+1 of Ω, for appropriate { k }k distinct integers k 1, k, j, and j + 1, − f (s) = α eñ+1 + (1 α)e ñ+1 n+1 k−1 − k f (t) = β eñ+1 + (1 β)e ñ+1 n+1 j − j+1 for some 0 6 α, β 6 1 and so

n+1 n+1 n+1 n+1 fn+1 (s) fn+1 (t) X > α u˜k−1 + (1 α)u ˜k β u˜j (1 β)u ˜j+1 k − k − − − − ℓ2 1 2 = (α)2 + (1 α)2 + (β)2 + (1 β)2 − − > h 1 . i

Let P be the natural projection from E onto E . Since ψ is increasing, we ⊕ j pn+1 see that P 2 K f (s) f (t) > P (f (s) f (t)) k − kX k − kX = c (f (s) f (t)) n+1 k n+1 − n+1 kX > cn+1 − = 2 K ψ 2 pn−1 > 2 K ψ ( s t ). | − | 11 Thus f satisﬁes the statement of the theorem.

Remark. Theorem 5 really only uses the existence of a basic sequence inside X, while Theorem 1 makes full use of Dvoretzky’s Theorem. We close with a few observations. [DG, Ex. 3] constructs, for each fixed infinite- dimensional Banach space X, a strongly-measurable X-valued function that is Pettis integrable but not Bochner-Lebesgue integrable; however, that function is Bochner- Lebesgue integrable over any interval not containing 0. Theorem 1 pushes this construction a bit further to give a Pettis integrable function that is not Bochner- Lebesgue integrable over any interval. Consider the collection K(µ, X) of the µ-continuous countably additive X-valued vector measure with relatively compact range. If f is in (X), then the corre- P1 sponding measure ν (E) = f dµ is in K(µ, X) [cf. DU, Thm. VIII.1.5]. f P − E The measure ν (E) is of bounded semi-variation; furthermore, ν (E) is of bounded f R f variation if and only if f is in L1(X) [cf. DU, Thm. II.2.4, Cor. 2.5]. Theorem 1 (consider the measure νf corresponding to f as above) and [JK, Theorem 2] both construct, for each fixed infinite-dimensional Banach space X, a vector measure in K(µ, X) that is of bounded semi-variation but of infinite variation on every interval. The measure in [JK, Theorem 2] cannot arise, however, as an indefinite Pettis integral, while the measure from Theorem 1 is (of course) precisely an indefinite Pettis integral.

References

[B]. S. Bochner, Integration von Funktionen, deren Werte die Elemente eines Vektorraumes sind, Fund. Math. 20 (1933), 262–276. [DU]. J. Diestel and J. J. Uhl, Jr., Vector Measures, Math. Surveys, no. 15, Amer. Math. Soc., Providence, R.I., 1977. [DG]. S.J. Dilworth and Maria Girardi, Bochner vs. Pettis norms: examples and results, Banach Spaces (Bor-Luh Lin and William B. Johnson, ed.), Contemp. Math., vol. 144, American Mathematical Society, Providence, Rhode Island, 1993, pp. 69–80. [D]. A. Dvoretzky, Some results on convex bodies and Banach spaces, Proceedings of the International Symposium on Linear spaces, Jerusalem, 1961, pp. 123–160. [JK]. Liliana Janicka and Nigel J. Kalton, Vector Measures of Infinite Variation, Bull. Polish Acad. Sci. Math. XXV (1977), no. 3, 239–241. [K]. V.M. Kadets, Non-Differentiable Indefinite Pettis Integrals, Quaestiones Math. (to appear). [Kah]. Jean-Pierre Kahane, Some random series of functions, Cambridge Stud. Adv. Math., vol. 5, Cambridge Univ. Press, Cambridge-New York, 1985. [LT]. J. Lindenstrauss and L.Tzafriri, Classical Banach Spaces I, Springer-Verlag, New York- Berlin, 1977. [MP]. B. Maurey and G. Pisier, Séries de variables aléatoires vectorielles indépendantes et propriétés geométriques des espace de Banach, Studia Math. 58 (1976), 45–90. [M]. M. Evans Munroe, A note on weak differentiability of Pettis integrals, Bull. Amer. Math. Soc. 52 (1946), 167–174. [P1]. B.J. Pettis, On integration in vector spaces, Trans. Amer. Math. Soc. 44 (1938), 277– 304. [P2]. B.J. Pettis, Differentiation in Banach spaces, Duke Math. J. 5 (1939), 254–269. [Ph]. R.S. Phillips, Integration in a convex linear topological space, Trans. Amer. Math. Soc. 47 (1940), 114–145. 12 [P]. Gilles Pisier, Factorization of Operators Through Lp∞ or Lp1 and Non-Commutative Generalizations, Math. Ann. 276 (1986), 105–136. [R]. Walter Rudin, Functional Analysis, McGraw-Hill, Inc., New York, 1991. [T]. G. Erik F. Thomas, Totally summable functions with values in locally convex spaces, Measure Theory (A. Bellow and D. Kölzow, eds.), Lecture Notes in Math., vol. 541, Springer-Verlag, New York-Berlin, 1976, pp. 115–131.

Department of Mathematics, University of South Carolina, Columbia, SC 29208, U.S.A. Current address: Department of Mathematics, Bowling Green State University, Bowling Green, Ohio 43403, U.S.A. E-mail address: [email protected]

Department of Mathematics, University of South Carolina, Columbia, SC 29208, U.S.A. E-mail address: [email protected]