arxiv:math/ v2 [math.fa] 30 Jul 2006

Transcription

1 ON GÂTEAUX DIFFERENTIABILITY OF POINTWISE LIPSCHITZ MAPPINGS arxiv:mah/ v2 [mah.fa] 30 Jul 2006 JAKUB DUDA Abrac. We prove ha for every funcion f : X Y, where X i a eparable Banach pace and Y i a Banach pace wih RNP, here exi a e A à uch ha f i Gâeaux differeniable a all x S(f) \ A, where S(f) i he e of poin where f i poinwie-lipchiz. Thi improve a reul of Bongiorno. A a corollary, we obain ha every K-monoone funcion on a eparable Banach pace i Hadamard differeniable ouide of a e belonging o C; hi improve a reul due o Borwein and Wang. Anoher corollary i ha if X i Aplund, f : X R cone monoone, g : X R coninuou convex, hen here exi a poin in X, where f i Hadamard differeniable and g i Fréche differeniable. 1. Inroducion The claical Rademacher heorem [9] concerning a.e. differeniabiliy of Lipchiz funcion defined on R n wa exended by Sepanoff o poinwie Lipchiz funcion [10, 11]. D. Bongiorno [2, Theorem 1] proved a verion for infinie-dimenional mapping; namely, ha for every f : X Y, where X i a eparable Banach pace and Y i a Banach pace wih RNP, here exi an Aronzajn null e A X (ee e.g. [1] for he definiion of Aronzajn null e) uch ha f i Gâeaux differeniable a all x S(f) \ A (here, S(f) i he e of poin where f i poinwie-lipchiz). Thi generalized reul for Lipchiz funcion obained by Aronzajn, Chrienen, Mankiewicz, and Phelp; ee e.g. [1] for he definiion of variou noion of null e hey ued. We prove a ronger verion of infinie dimenional Sepanoff-like heorem, which aer ha under he ame aumpion a in [2, Theorem 1], he e A can be aken in he cla à defined by Prei and Zajíček [8]; ee Theorem 10. By reul of [8], à i a ric ubcla of Aronzajn null e. Recenly, Zajíček [12] proved ha he e in à (and even C) are Γ-null, which i a noion of null e due o Lindenrau and Prei [7] (here, a definiion and baic properie of hi noion can be found). Thu, Theorem 10 ha he following corollary: if X i a Banach pace wih eparable dual (i.e. an Aplund pace), and Y i a Banach pace wih RNP, f : X Y i poinwie-lipchiz a all x X \ A where A C, g : X R i coninuou convex, hen here exi x X uch ha f i Gâeaux differeniable a x and g i Fréche differeniable a x. In ome ene, our proof of Theorem 10 i impler han he proof of [2, Theorem 1]; ome of he (raher cumberome) meaurabiliy conideraion from [2] are replaced by Lemma 6 and he conrucion of Dae: July 26, Mahemaic Subjec Claificaion. Primary 46G05; Secondary 46T20. Key word and phrae. Gâeaux differeniable funcion, Radon-Nikodým propery, differeniabiliy of Lipchiz funcion, poinwie-lipchiz funcion, cone mononoone funcion. The auhor wa uppored in par by ISF. 1

2 2 JAKUB DUDA a oal e from [2] i replaced by he Lipchiz propery of cerain rericion of he given mapping. In he proof, we ue everal idea from [8]. Le X be a Banach pace and K X be a cone. Following [3], we ay ha f : X R i K-monoone provided f or f i K-increaing (we ay ha f : X R i K-increaing provided x K y implie f(x) f(y) whenever x, y X; here, x K y mean y x K). Borwein, Burke and Lewi [3] proved ha every K- monoone f : X R i Gâeaux differeniable ouide of a Haar null e (ee [1] for definiion) provided X i eparable and K i cloed convex wih in(k). Thi wa renghened by Borwein and Wang [4] who howed ha Haar null can be replaced by Aronzajn null. In ecion 5, a a corollary o Theorem 10, we obain ha an analogou reul hold if we replace Haar null by he cla C defined by Prei and Zajíček [8]; ee Theorem 15 for deail. The cla C i a ric ubcla of Aronzajn null e (ee [8, p. 19]) and hu our reul improve he reul due o Borwein and Wang. [4, Propoiion 16(iv)] how ha inead of Gâeaux differeniable we can wrie Hadamard differeniable (ee Corollary 17). Our reul ha anoher inereing corollary; namely, if X ha a eparable dual (i.e. X i an Aplund pace), f : X R i K-monoone, g : X R i coninuou convex, hen here exi x X uch ha f i Hadamard differeniable a x, and g i Fréche differeniable a x (ee Corollary 18). Thi doe no follow from he reul of Borwein and Wang ince Aronzajn null e and Γ-null e are incomparable. I eem o be a difficul open problem wheher C = à (ee [8]). If hi were rue, hen our heorem would alo hold wih à in place of C. Thu, i remain open, wheher we can replace C by à in Theorem 15 and Corollary 17. Going in anoher direcion, he auhor [6] proved ome reul abou a.e. differeniabiliy of vecor-valued cone monoone mapping. The curren paper i organized a follow. Secion 2 conain baic definiion and fac. Secion 3 conain auxiliary reul. Secion 4 conain he proof of he main Theorem 10, and Corollary 11. Secion 5 conain he proof of Theorem 15, and Corollarie 17 and Preliminarie All Banach pace are aumed o be real. By λ we will denoe he Lebegue meaure on R. Le X be a Banach pace. By B(x, r) we will denoe he open ball wih cener x X and radiu r > 0, and by S X we denoe {x X : x = 1}. If M X, hen by d M (x) := inf{ y x : y M} we denoe he diance from x X o M. Le X, Y be Banach pace. We ay ha f : X Y i poinwie Lipchiz a <. By S(f), we will denoe he e of poin of X where f i poinwie Lipchiz. By Lip(f) we will denoe he uual Lipchiz conan of f. In he following, le X be a Banach pace. If f i a mapping from X o a Banach pace Y and x, v X, hen we conider he direcional derivaive f (x, v) defined by x X, provided limup y x f(x) f(y) x y (1) f f(x + v) f(x) (x, v) = lim. 0 If x X, f (x, v) exi for all v X, and T(v) := f (x, v) i a bounded linear operaor from X o Y, hen we ay ha f i Gâeaux differeniable a x. If f i

3 ON GÂTEAUX DIFFERENTIABILITY OF POINTWISE LIPSCHITZ MAPPINGS 3 Gâeaux differeniable a x and he limi in (1) i uniform in v = 1, hen we ay ha f i Fréche differeniable a x. If f i Gâeaux differeniable a x, and he limi in (1) i uniform wih repec o norm-compac e, hen we ay ha f i Hadamard differeniable a x. We will need he following noion of mallne of e in Banach pace from [8]. Definiion 1. Le X be a Banach pace, M X, a X. Then we ay ha (i) M i porou a a if here exi c > 0 uch ha for each ε > 0 here exi b X and r > 0 uch ha a b < ε, M B(b, r) =, and r > c a b. (ii) M i porou a a in direcion v if he b X from (i) verifying he poroiy of M a a can be alway found in he form b = a + v, where 0. We ay ha M i direcionally porou a a if here exi v X uch ha M i porou a a in direcion v. (iii) M i direcionally porou if M i direcionally porou a each of i poin. (iv) M i σ-direcionally porou if i i a counable union of direcionally porou e. For a recen urvey of properie of negligible e, ee [13]. We will alo need he following noion of null e in a Banach pace. I wa defined in [8]. Definiion 2. Le X be a eparable Banach pace and 0 v X. Then Ã(v, ε) i he yem of all Borel e B X uch ha { : ϕ() B} i Lebegue null whenever ϕ : R X i uch ha he funcion ϕ() v ha Lipchiz conan a mo ε, and Ã(v) i he yem of all e B uch ha B = k=1 B k, where B k Ã(v, ε k) for ome ε k > 0. We define à (rep. C) a he yem of hoe B X ha can be, for every given complee 1 equence (v n ) n in X (rep. for ome equence (v n ) n in X), wrien a B = n=1 B n, where each B n belong o Ã(v n). The following imple lemma how ha every direcionally porou e i conained in a e from Ã. A a corollary, we have he ame reul for σ-direcionally porou e. Lemma 3. Le X be a eparable Banach pace, and A X be direcionally porou. Then here exi a e  à uch ha A Â. Proof. Thi follow from he proof of [8, Theorem 10]; ee alo [8, Remark 6]. The following imple lemma i proved in [2]: Lemma 4 ([2], Lemma 1). Given f : X Y and L, δ > 0, le S be he e of all poin x X uch ha f(x + h) f(x) L h whenever h < δ. Then S i a cloed e. 3. Auxiliary reul The following i an exenion of [4, Lemma 3] o vecor-valued eing. Lemma 5. Le X, Y be Banach pace, f : X Y. Fix v 1, v 2 X, k, l, m N, and y, z Y. Then he e A(k, l, m, y, z) of all x X verifying (i) f(x+u) f(x) y < 1 l for u v 1 < 1/m and 0 < < 1/k; 1 We ay ha (vn) n X \ {0} i a complee equence provided pan(v n) = X.

4 4 JAKUB DUDA (ii) f(x+u) f(x) z < 1 l for u v 2 < 1/m and 0 < < 1/k; and (iii) f(x+(v1+v2)) f(x) (y + z) > 3 l occur for arbirarily mall > 0, i direcionally porou in X. Proof. Le x A(k, l, m, y, z). Chooe 0 < < 1/k uch ha he inequaliy in (iii) hold. We claim ha B ( x + v 1, m) A(k, l, m, y, z) =. Indeed, for h < 1 m, if x + (v 1 + h) aifie (ii), we have (2) f(x + (v 1 + h) + u) f(x + (v 1 + h)) for u v 2 < 1 m. By (i) we ge (3) f(x + (v 1 + h)) f(x) y < 1 l. z < 1 l, By he riangle inequaliy, (2), and (3) we ge f(x + (v 1 + h) + u) f(x) (y + z) < 2 l, for u v 2 < 1 m. Taking u = v 2 h, we have f(x + v 1 + v 2 ) f(x) (y + z) < 2 l. Thi choice conradic he choice of. Suppoe ha X, Y are Banach pace, f : X Y. For x X, 0 v X, and ε > 0 by O(f, x, v, ε) we denoe he expreion { f(x + v) f(x) f(x + v) f(x) up }. : 0 <, < ε We alo define O(f, x, v) := lim O(f, x, v, ε). ε 0+ We borrow hi definiion from [8]. The following i rue in general (in [8, Lemma 11] i i aumed ha f i Lipchiz, bu i i clearly no neceary): (4) f (x, v) exi if and only if O(f, x, v) = 0. For he re of hi ecion, X will be a eparable Banach pace and Y will be a Banach pace wih RNP. Alo, G X will be a cloed e and f : X Y a mapping uch ha here exi L, δ > 0 wih (5) f(y) f(x) L y x whenever y G, x B(y, δ). We alo aume ha D i a Borel ube of G uch ha he diance funcion d G (x) i Gâeaux differeniable a each poin x D. Lemma 6. Le X be eparable, 0 v X, and we pu g(x) := O(f, x, v). Then g D i Borel meaurable. Proof. Le w D. Then h = f B(w,δ/4) G i L-Lipchiz by (5), and hu Z = h(b(w, δ/4) G) i eparable. Thu, Z can be iomerically embedded ino l, and by [1, Lemma 1.1(ii)], h can be exended o an L-Lipchiz mapping H : X l (we idenify Z wih i iomeric repreenaion in l for he momen). By [8, Lemma 11(ii)], G(x) := O(H, x, v) i a Borel meaurable funcion on X. We will

5 ON GÂTEAUX DIFFERENTIABILITY OF POINTWISE LIPSCHITZ MAPPINGS 5 prove ha g(x) = G(x) for all x B(w, δ/4) D, and conclude ha g D i Borel meaurable (by eparabiliy of X). Le x B(w, δ/4) D. Fix γ > 0 uch ha B(x, 2γ) B(w, δ/4). Le ε > 0 and find 0 < τ < ε uch ha d G (x + v) < ε L and x + v B(x, γ) whenever 0 < < τ. Take η := 1 2 min ( ε, τ, Lγ ) ε. For 0 <, < η find y, z G B(w, δ/4) uch ha x + v y < ε L and x + v z < ε L. Then we have f(x + v) f(y) L x + v y ε, and imilarly f(x+v) f(z) ε. Alo, H(y) H(x + v) L x + v y ε, and H(x+v) H(z) ε. Thu uing f(x) = H(x), f(y) = H(y), and f(z) = H(z), we obain (6) H(x + v) H(x) H(x + v) H(x) f(x + v) f(x) f(x + v) f(x) + f(x + v) f(y) + f(x + v) f(z) + H(y) H(x + v) + H(x + v) H(z) O(f, x, v, ε) + 4ε. By aking a upremum over 0 <, < η in (6), we obain O(H, x, v, η) O(f, x, v, ε) + 4ε. Send η 0+ o ge O(H, x, v) O(f, x, v, ε) + 4ε, and hen ε 0+ o ee ha O(H, x, v) O(f, x, v). By (5) and H being L-Lipchiz, we can revere he rôle of f and H in he above argumen o how ha O(f, x, v) O(H, x, v). Lemma 7. If x D, 0 v X, O(f, x, v) > 0, ϕ : R X, r R, ϕ(r) = x, and he mapping ψ : ϕ() v ha Lipchiz conan ricly le han O(f, ϕ(r), v)/8l, hen he mapping f ϕ i no differeniable a r. Proof. Denoe K := O(f, x, v) > 0. To prove he lemma, le δ > 0 be uch ha x + v B(x, δ/2) and d G (x + v) < K 16L for each 0 < < δ. Fix ε > 0 and le τ = min ( ) ε, δ, 16Lδ 2K. By he aumpion on f, le 0 <, < τ uch ha f(x + v) f(x) f(x + v) f(x) > 3 O(f, x, v), 4 and eimae D := f ϕ(r + ) f ϕ(r) f ϕ(r + ) f ϕ(r) f(x + v) f(x) f(x + v) f(x) f(x + v) f(ϕ(r + )) f(x + v) f(ϕ(r + )).

6 6 JAKUB DUDA Find y, z G B(x, δ) uch ha x + v y < K K 16L and x + v z < 16L. Then we have f(x+v) f(y) L x + v y K 16, and imilarly f(y) f(ϕ(r + )) L y ϕ(r + ) Thu L y (x + v) + L ϕ(r) + v ϕ(r + ) K 16 + L ψ(r) ψ(r + ) K 16 + L Lip(ψ) < K 16 + K 8 = 3K 16. f(x + v) f(ϕ(r + )) f(x + v) f(y) + f(y) f(ϕ(r + )) < K K 16 = K 4. Since an analogou eimae hold for f(x+v) f(ϕ(r+)), we obain D > 3 4 K 2 K 4 = O(f,x,v) 4 ; o O(f ϕ, r, 1) O(f, ϕ(r), v)/4 i ricly poiive a required. Lemma 8. For each 0 u X, he e = {x D : f (x, u) doe no exi} belong o Ã(u). Proof. Since = {x D : O(f, x, u) > 0} by (4), and by Lemma 6 we have ha g(x) = O(f, x, u) i Borel on D, we obain ha i Borel. By he ame reaoning, each A k = { } x : O(f, x, u) > 1 k i Borel for k N, and we have = k A k. To finih he proof of he lemma, i i enough o how ha A k Ã(u, 1/16kL) for each k N. Le k N be fixed. If ϕ : R X i uch ha he funcion ϕ() u ha Lipchiz conan a mo 1/16kL, hen Lemma 7 implie ha f ϕ i no differeniable a any for which ϕ() A k. Hence B k := { R : ϕ() A k } i a ube of he e of poin a which f ϕ i no differeniable. Since f ϕ i poinwie Lipchiz a all uch ha ϕ(), and ince Y ha RNP, [2, Propoiion 1] implie ha λ(b k ) = 0 a required for howing ha A k Ã(u, 1/16kL). Lemma 9. Le X be eparable. Then here exi a e R Ã uch ha (N f D) \ R Ã, where N f i he e of all poin x X a which f i no Gâeaux differeniable. Proof. Le w D, and denoe D w = D B(w, δ/4). If g := f B(w,δ/4) G, hen g i L-Lipchiz on i domain (by (5)). Since T := g(b(w, δ/4) G) i eparable, we will how ha Z := pan{u Y : u = f (x, v) for ome x D w, v X \ {0}} i a ube of W := pan(t) (and hu i eparable). Suppoe ha x D w, 0 v X, and f (x, v) exi. Fix γ > 0 uch ha B(x, 2γ) B(w, δ/4). Le ε > 0 and find τ > 0 uch ha for 0 < < τ we have d G (x + v) < ε L, x + v B(x, γ), and f(x+v) f(x) f (x, v) < ε. Le η = min ( τ, Lγ 2ε ) and

7 ON GÂTEAUX DIFFERENTIABILITY OF POINTWISE LIPSCHITZ MAPPINGS 7 0 < < η. Find y G B(w, δ/4) wih x + v y < ε L. Then f f(y) f(x) (x, v) ε + f(x + v) f(x) f(y) f(x) Since f(y) f(x) ε + L x + v y 2ε. W, end ε 0+ o obain d W (f (x, v)) = 0, and hu f (x, v) W. Since X, Z are eparable, by R w denoe he e obained a a union of all A(k, l, m, y, y ) D (ee Lemma 5) where k, l, m N, y, y are choen from a counable dene ube of Z and v 1, v 2 are choen from a counable dene ube of X. By Lemma 5 and 3, here exi R w à uch ha R w R w. We have he following: if x D w \ R w, hen he following implicaion hold: ( ) If he direcional derivaive f (x, u) exi in all direcion u from a e U x X whoe linear pan i dene in X, hen f (x, v) exi for all v pan Q U 2 x ; furhermore, f (x, ) i bounded and linear on pan Q U x. The proof of ( ) i imilar o he proof of [8, Theorem 2] and o we omi i. For he re of he proof, le (v n ) n be a complee equence in X. Le n = n (w) be he e from Lemma 8 applied o v n ; he lemma implie ha n i Borel and n Ã(v n) for each n N. Denoe F w = D w \ ( n n). I follow ha H w := F w \ R w i Borel. We will how ha f i Gâeaux differeniable a each x H w. Le x H w. Fix γ > 0 uch ha B(x, 2γ) B(w, δ/4). Le Q := pan Q {v n : n N}. By ( ) we have a bounded linear mapping ˆT : Q Z uch ha ˆT(q) = f (x, q) for each q Q. By he deniy of Q, ˆT exend o a bounded linear mapping T : X Y. We have o how ha f (x, v) = T(v) for each 0 v X. Given 0 v X and ε > 0, by he deniy of Q and coninuiy of T here exi q Q uch ha (7) v q < ε 9L and T(v q) < ε 3. By he exience of f (x, q) and by he differeniabiliy of he diance funcion d G (x) a he poin x, here exi τ ε > 0 uch ha (8) f(x + q) f(x) f (x, q) < ε 3, x + v B(x, γ), and d G (x + v) < ε 9L for each 0 < < τ ε. Le 0 < < min(τ ε, 9γL/2ε) and le y G B(w, δ/4) be uch ha x+v y < ε 9L. Then x + q y 2ε 9L. Thu we have (9) f(x + v) f(x + q) f(x + v) f(y) + f(x + q) f(y) ε 3. Now ince f (x, q) = T(q), by (7), (8), and (9) i follow ha f(x + v) f(x) T(v) f(x + q) f(x) f (x, q) + f(x + v) f(x + q) + T(v q) ε, 2 Here, panq V = { n i=1 q iv i : q i Q, v i V, i = 1,..., n, n N}.

8 8 JAKUB DUDA for each 0 < < τ ε. Thi prove ha f (x, v) exi and f (x, v) = T(v). Thu f i Gâeaux differeniable a x. Since here exi w k D uch ha D = k (D B(w k, δ/4)), le R = k R w k we have ha R i Borel and ince ( ) ( ) (10) (N f D) \ R = ((N f D wk ) \ R w ( k ) \ R = Dwk \ H wk ) \ R, k we alo obain ha (N f D) \ R i Borel (ricly peaking, he righ hand ide of (10) depend on he complee equence (v n ), bu he lef hand ide doe no o (N f D) \ R i indeed Borel ince a complee equence in X clearly exi by he eparabiliy of X). Since we have he following imple obervaion: if A Ã(v) and B X i Borel, hen A \ B Ã(v); we can conclude ha (N f D) \ R i indeed in Ã. 4. Main heorem Theorem 10. Le X be a eparable Banach pace and le Y be a Banach pace wih he RNP. Given f : X Y, le S(f) be he e of all poin x X a which f i poinwie Lipchiz. Then here exi a e E à uch ha f i Gâeaux differeniable a every poin of S(f) \ E. k Proof. We follow he proof from [2]. For each n N le G n be he e of all x X uch ha f(x+h) f(x) n h whenever h < 1 n. Lemma 4 implie ha each G n i cloed, and S(f) = n G n. Since he diance funcion d Gn (x) i Lipchiz on X, by [8, Theorem 12] here exi a Borel e M n uch ha X \ M n à and d Gn (x) i Gâeaux differeniable on M n. Le D n := G n M n. Thu, in paricular, G n \D n Ã. By Ω n denoe he e of all poin x D n a which f i no Gâeaux differeniable. By Lemma 9 applied o D n we obain R n à uch ha Ω n\r n Ã. Define E := ( n (Ω ) ( ( )) n \R n ) R n n Gn \D n. Then E à by he previou paragraph. If x S(f) \ E, hen here exi n N uch ha x G n \ E. The condiion x E implie ha x G n \D n and x Ω n. Therefore x D n \Ω n, and hence f i Gâeaux differeniable a x. Corollary 11. Le X be a Banach pace wih X eparable, Y be a Banach pace wih RNP, f : X Y be poinwie Lipchiz ouide ome e C C (or even ome e D which i Γ-null), g : X R be coninuou convex. Then here exi a poin x X uch ha f i Gâeaux differeniable a x and g i Fréche differeniable a x. Proof. Aume ha f i poinwie Lipchiz ouide ome C C. By Theorem 10, here exi A à uch ha f i Gâeaux differeniable a each x X \ (A C). By [7, Corollary 3.11] here exi a Γ-null B X uch ha g i Fréche differeniable a each x X \ B. Since A C i Γ-null by [12, Theorem 2.4], we have ha A B C i Γ-null and hu here exi x X \ (A B C). If f i poinwie Lipchiz ouide a Γ-null e D, hen he proof proceed imilarly. 5. Cone monoone funcion Lemma 12. Le X be a Banach pace, K X be a cloed convex cone wih 0 v in(k), and f : X R be K-monoone. If limup 0 1 f(x + v) f(x) <, hen f i poinwie-lipchiz a x.

9 ON GÂTEAUX DIFFERENTIABILITY OF POINTWISE LIPSCHITZ MAPPINGS 9 Proof. Wihou any lo of generaliy, we can aume ha v + B(0, 1) K; hen he proof i idenical o he proof of [6, Lemma 2.5] (noe ha here we aume ha f i Gâeaux differeniable a x, bu, in fac, we are only uing ha f aifie limup 0 1 f(x + v) f(x) < ). Le (X, ) be a normed linear pace. We ay ha i LUR a x S X provided x n x whenever x n = 1, and x n + x 2. For more informaion abou roundiy and renorming, ee [5]. Lemma 13. Le X be a eparable Banach pace, K X be a cloed convex cone, v in(k) S X. Then here exi a norm 1 on X which i LUR a v, x (X, 1 ) wih x (v) = v 1 = x = 1, and α (0, 1) uch ha K 1 := {x X : x 1 αx (x)} i conained in K. Proof. The concluion follow from [5, Lemma II.8.1] (ee e.g. he proof of [6, Propoiion 15]). Lemma 14. Le X be a Banach pace, v S X, x X uch ha v = x = x (v) = 1, α (0, 1). Le K α,x = {x X : α x x (x)}. Then here exi ε = ε(k, v) (0, 1) uch ha if ϕ : R X i a mapping uch ha ψ : ϕ() v ha Lipchiz conan le han ε, hen < implie ϕ() Kα,x ϕ(). Proof. Since x (v) = 1, for each α < α < 1 we have v in(k α,x ). Fix α (α, 1). Le ε := min ( (α 1, α) 2α (1+α)). Take <,, R. Then (11) α ϕ() ϕ() α ϕ() v (ϕ() v) + α v α ε + x (v) = α ε + x (v ϕ() (v ϕ()) + x (ϕ() ϕ()) α ε + v ϕ() (v ϕ()) + x (ϕ() ϕ()) (1 + α )ε + x (ϕ() ϕ()). A in (11), we how ha x (v ϕ() (v ϕ())) ε, and from hi we obain (x (v) ε) x (ϕ() ϕ()). Then (11) implie ha ( α ϕ() ϕ() 1 + (1 + ) α )ε x (ϕ() ϕ()). 1 ε The choice of ε how ha α ϕ() ϕ() x (ϕ() ϕ()), and herefore ϕ() Kα,x ϕ(). We prove he following heorem, which improve [4, Theorem 9]: Theorem 15. Le X be a eparable Banach pace, K X be a cloed convex cone wih in(k). Suppoe ha f : X R i K-monoone. Then f i Gâeaux differeniable on X excep for a e belonging o C. Remark 16. I i no known wheher C Theorem 15 hold alo wih à inead of C. à (ee [8, p. 19]). If i i rue, hen Proof. Wihou any lo of generaliy, we can aume ha f i K-increaing and lower emiconinuou (we can work wih f inead by [4, Propoiion 17 and Propoiion 16(iii)], where f(x) = up δ>0 inf z B(x,δ) f(z) i he l..c. envelope of f). By Lemma 13, we can alo aume ha he norm on X i LUR a v S X and

10 10 JAKUB DUDA K = K α,x = {x X : x αx (x)} for ome x X and α (0, 1) wih x = x (v) = 1. Find η > 0 uch ha B(v, η) in(v/2+k α,x ) (uch an η exi ince obviouly v in(v/2 + K α,x )). Le x X be uch ha x = 1 and β x x (x) for ome 0 < β < 1. Since 1 + β = 1 + β x x (v) + x (x) x + v, and he norm on X i LUR a v, here exi β (α, 1) uch ha K β,x S(0, 1) B(v, η) v/2 + K α,x and hu (12) K β,x S(0, ) B(v, η) v/2 + K α,x for each > 0. Pu B := { f(x+v) f(x) x X : limup 0 = }. Then Lemma 12 how ha S(f) = X \ B, and Lemma 4 how ha B i Borel. We will how ha B Ã(v). Le ϕ : R X be a mapping uch ha ψ() = ϕ() v ha Lipchiz conan ricly le han ε > 0, where ε i given by applicaion of Lemma 14 o K β,x. Suppoe ha r R aifie ϕ(r) = x B. Wihou any lo of generaliy, we can aume ha here exi k 0+ uch ha f(x+ kv/2) f(x) k /2 k (oherwie work wih f( )). For each k, find r k R uch ha ϕ(r k ) (x+k β,x ) S(x, k). Such r k exi ince ϕ(r) = x, ϕ() a, and ϕ(u) (x + K β,x ) by he choice of ε. Then (12) implie ha ϕ(r k ) Kα,x x + k v/2, and hu f(ϕ(r k )) f(x + k v/2). Now, ince ψ i ε-lipchiz, we have (1 ε) r r k ϕ(r k ) ϕ(r) = k, and hu k f(x + kv/2) f(x) k /2 2 1 ε f(ϕ(r k)) f(ϕ(r)) r r k. I follow ha f ϕ i no poinwie Lipchiz a r. By he choice of ε and Lemma 14, we have ha f ϕ i monoone; hu λ({r R : ϕ(r) B}) = 0 (ince monoone funcion from R o R are known o be a.e. differeniable), and B Ã(v, ε/2). We proved ha B Ã(v). By Lemma 12 we have ha S(f) = X \ B. By Theorem 10, here exi a e A Ã uch ha f i Gâeaux differeniable a all x X \ (A B). In [4, Theorem 9] i i proved ha he e N f of poin of Gâeaux non-differeniabiliy of f i Borel, and hu we obain ha N f C (ince N f A B). Theorem 15 and [4, Propoiion 16(iv)] how ha: Corollary 17. Le X be a eparable Banach pace, K X be a cloed convex cone wih in(k). Suppoe ha f i K-monoone. Then f i Hadamard differeniable ouide of a e belonging o C. We alo have he following corollary. Corollary 18. Le X be a Banach pace wih X eparable, K X be a cloed convex cone wih in(k), f : X R be K-monoone, g : X R be coninuou convex. Then here exi a poin x X uch ha f i Hadamard differeniable a x and g i Fréche differeniable a x. Proof. By Corollary 17, here exi A C uch ha f i Hadamard differeniable a each x X \ A. By [7, Corollary 3.11] here exi a Γ-null B X uch ha g i Fréche differeniable a each x X \ B. Since A i Γ-null by [12, Theorem 2.4], we have ha A B i Γ-null and hu here exi x X \ (A B).

11 ON GÂTEAUX DIFFERENTIABILITY OF POINTWISE LIPSCHITZ MAPPINGS 11 Acknowledgmen The auhor would like o hank o Prof. Luděk Zajíček for a ueful dicuion abou Γ-null e. Reference [1] Y. Benyamini, J. Lindenrau, Geomeric Nonlinear Funcional Analyi, Vol. 1, Colloquium Publicaion 48, American Mahemaical Sociey, Providence, [2] D. Bongiorno, Sepanoff heorem in eparable Banach pace, Commen. Mah. Univ. Carolin. 39 (1998), [3] J.M. Borwein, J.V. Burke, A.S. Lewi, Differeniabiliy of cone-monoone funcion on eparable Banach pace, Proc. Amer. Mah. Soc. 132 (2004), no. 4, [4] J.M. Borwein, X. Wang, Cone monoone funcion:differeniabiliy and coninuiy, Canadian J. Mah. 57, [5] R. Deville, G. Godefroy, V. Zizler, Smoohne and renorming in Banach pace, Piman Monograph and Survey in Pure and Applied Mahemaic, 64. [6] J. Duda, Cone monoone mapping: coninuiy and differeniabiliy, ubmied. [7] J. Lindenrau, D. Prei, On Fréche differeniabiliy of Lipchiz map beween Banach pace, Annal of Mah. 157 (2003), [8] D. Prei, L. Zajíček, Direcional derivaive of Lipchiz funcion, Irael J. Mah. 125 (2001), [9] H. Rademacher, Über parielle und oale Differenziebarkei, Mah. Ann. 79 (1919), [10] W. Sepanoff, Über oale Differenziebarkei, Mah. Ann. 90 (1923), [11] W. Sepanoff, Sur le condiion de l exience de la differenzielle oale, Rec. Mah. Soc. Mah. Mocou 32 (1925), [12] L. Zajíček, On e of non-differeniabiliy of Lipchiz and convex funcion, preprin, available a hp:// [13] L. Zajíček, On σ-porou e in abrac pace, Abrac and Applied Analyi 2005 (2005), addre: duda@karlin.mff.cuni.cz Deparmen of Mahemaic, Weizmann Iniue of Science, Rehovo 76100, Irael Curren addre: Charle Univeriy, Deparmen of Mahemaical Analyi, Sokolovká 83, Praha 8-Karlín, Czech Republic