Generalized subdifferentials: a Baire categorical approach

Authors:
Jonathan M. Borwein, Warren B. Moors and Xianfu Wang

Journal:
Trans. Amer. Math. Soc. **353** (2001), 3875-3893

MSC (1991):
Primary 49J52, 54E52

Published electronically:
May 14, 2001

MathSciNet review:
1837212

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: We use Baire categorical arguments to construct pathological locally Lipschitz functions. The origins of this approach can be traced back to Banach and Mazurkiewicz (1931) who independently used similar categorical arguments to show that ``almost every continuous real-valued function defined on [0,1] is nowhere differentiable". As with the results of Banach and Mazurkiewicz, it appears that it is easier to show that almost every function possesses a certain property than to construct a single concrete example. Among the most striking results contained in this paper are: Almost every 1-Lipschitz function defined on a Banach space has a Clarke subdifferential mapping that is identically equal to the dual ball; if is a family of maximal cyclically monotone operators defined on a Banach space then there exists a real-valued locally Lipschitz function such that for each ; in a separable Banach space each non-empty weakcompact convex subset in the dual space is identically equal to the approximate subdifferential mapping of some Lipschitz function and for locally Lipschitz functions defined on separable spaces the notions of strong and weak integrability coincide.

**1.**J. M. Borwein,*Minimal CUSCOS and subgradients of Lipschitz functions*, Fixed point theory and applications (Marseille, 1989) Pitman Res. Notes Math. Ser., vol. 252, Longman Sci. Tech., Harlow, 1991, pp. 57–81 (English, with French summary). MR**1122818****2.**J. M. Borwein and S. Fitzpatrick, Characterization of Clarke subgradients among one-dimensional multifunctions, in*Proc. of the Optimization Miniconference II*, edited by B. M. Glover and V. Jeyakumar, (1995), 61-73.**3.**Jonathan M. Borwein and Alexander Ioffe,*Proximal analysis in smooth spaces*, Set-Valued Anal.**4**(1996), no. 1, 1–24. MR**1384247**, 10.1007/BF00419371**4.**Jonathan M. Borwein and Warren B. Moors,*Null sets and essentially smooth Lipschitz functions*, SIAM J. Optim.**8**(1998), no. 2, 309–323. MR**1618798**, 10.1137/S1052623496305213**5.**Shuzhong Shi and Bingwu Wang,*Geometric conditions of differentiability for a regular locally Lipschitz function*, Acta Math. Sinica (N.S.)**14**(1998), no. 2, 209–222. MR**1704798**, 10.1007/BF02560208**6.**Jonathan M. Borwein and Warren B. Moors,*Essentially smooth Lipschitz functions*, J. Funct. Anal.**149**(1997), no. 2, 305–351. MR**1472362**, 10.1006/jfan.1997.3101**7.**J. Borwein, W. B. Moors, and Y. Shao,*Subgradient representation of multifunctions*, J. Austral. Math. Soc. Ser. B**40**(1999), no. 3, 301–313. MR**1674589**, 10.1017/S0334270000010924**8.**Jonathan M. Borwein, Warren B. Moors, and Xianfu Wang,*Lipschitz functions with prescribed derivatives and subderivatives*, Nonlinear Anal.**29**(1997), no. 1, 53–63. MR**1447569**, 10.1016/S0362-546X(96)00050-8**9.**J. M. Borwein and D. Preiss,*A smooth variational principle with applications to subdifferentiability and to differentiability of convex functions*, Trans. Amer. Math. Soc.**303**(1987), no. 2, 517–527. MR**902782**, 10.1090/S0002-9947-1987-0902782-7**10.**A. M. Bruckner, J. B. Bruckner, B. S. Thomson, Real Analysis, Prentice-Hall, Inc. 1997.**11.**Frank H. Clarke,*Optimization and nonsmooth analysis*, Canadian Mathematical Society Series of Monographs and Advanced Texts, John Wiley & Sons, Inc., New York, 1983. A Wiley-Interscience Publication. MR**709590****12.**Bernard Dacorogna and Paolo Marcellini,*General existence theorems for Hamilton-Jacobi equations in the scalar and vectorial cases*, Acta Math.**178**(1997), no. 1, 1–37. MR**1448710**, 10.1007/BF02392708**13.**Bernard Dacorogna and Paolo Marcellini,*Dirichlet problem for nonlinear first order partial differential equations*, Optimization methods in partial differential equations (South Hadley, MA, 1996) Contemp. Math., vol. 209, Amer. Math. Soc., Providence, RI, 1997, pp. 43–57. MR**1472287**, 10.1090/conm/209/02758**14.**Marián J. Fabian,*Gâteaux differentiability of convex functions and topology*, Canadian Mathematical Society Series of Monographs and Advanced Texts, John Wiley & Sons, Inc., New York, 1997. Weak Asplund spaces; A Wiley-Interscience Publication. MR**1461271****15.**John R. Giles and Warren B. Moors,*A continuity property related to Kuratowski’s index of noncompactness, its relevance to the drop property, and its implications for differentiability theory*, J. Math. Anal. Appl.**178**(1993), no. 1, 247–268. MR**1231740**, 10.1006/jmaa.1993.1304**16.**J. R. Giles and Scott Sciffer,*Locally Lipschitz functions are generically pseudo-regular on separable Banach spaces*, Bull. Austral. Math. Soc.**47**(1993), no. 2, 205–212. MR**1210135**, 10.1017/S0004972700012430**17.**A. D. Ioffe,*Approximate subdifferentials and applications. II*, Mathematika**33**(1986), no. 1, 111–128. MR**859504**, 10.1112/S0025579300013930**18.**A. D. Ioffe,*Approximate subdifferentials and applications. III. The metric theory*, Mathematika**36**(1989), no. 1, 1–38. MR**1014198**, 10.1112/S0025579300013541**19.**E. Michael,*A note on closed maps and compact sets*, Israel J. Math.**2**(1964), 173–176. MR**0177396****20.**Robert R. Phelps,*Convex functions, monotone operators and differentiability*, 2nd ed., Lecture Notes in Mathematics, vol. 1364, Springer-Verlag, Berlin, 1993. MR**1238715****21.**D. Preiss,*Differentiability of Lipschitz functions on Banach spaces*, J. Funct. Anal.**91**(1990), no. 2, 312–345. MR**1058975**, 10.1016/0022-1236(90)90147-D**22.**David Preiss, R. R. Phelps, and I. Namioka,*Smooth Banach spaces, weak Asplund spaces and monotone or usco mappings*, Israel J. Math.**72**(1990), no. 3, 257–279 (1991). MR**1120220**, 10.1007/BF02773783**23.**D. Preiss and J. Tišer,*Points of non-differentiability of typical Lipschitz functions*, Real Anal. Exchange**20**(1994/95), no. 1, 219–226. MR**1313687****24.**Ralph T. Rockafellar,*The theory of subgradients and its applications to problems of optimization*, R & E, vol. 1, Heldermann Verlag, Berlin, 1981. Convex and nonconvex functions. MR**623763****25.**R. Tyrrell Rockafellar and Roger J.-B. Wets,*Variational analysis*, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 317, Springer-Verlag, Berlin, 1998. MR**1491362****26.**Xianfu Wang, Fine and pathological properties of subdifferentials, Ph. D. Thesis, Simon Fraser University, 1999.

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (1991):
49J52,
54E52

Retrieve articles in all journals with MSC (1991): 49J52, 54E52

Additional Information

**Jonathan M. Borwein**

Affiliation:
Centre for Experimental and Constructive Mathematics, Department of Mathematics and Statistics, Simon Fraser University, Burnaby, B.C. V5A1S6, Canada

Email:
jborwein@cecm.sfu.ca

**Warren B. Moors**

Affiliation:
Department of Mathematics, The University of Waikato, Private bag 3105 Hamilton, New Zealand

Email:
moors@math.waikato.ac.nz

**Xianfu Wang**

Affiliation:
Centre for Experimental and Constructive Mathematics, Department of Mathematics and Statistics, Simon Fraser University, Burnaby, B.C. V5A1S6, Canada

Email:
xwang@cecm.sfu.ca

DOI:
https://doi.org/10.1090/S0002-9947-01-02820-3

Keywords:
Subdifferentials,
differentiability,
Baire category,
upper semi--continuous set--valued map,
$T$-Lipschitz function

Received by editor(s):
March 24, 1999

Received by editor(s) in revised form:
February 25, 2000

Published electronically:
May 14, 2001

Additional Notes:
Research of the first author was supported by NSERC and the Shrum endowment of Simon Fraser University

Research of the second author was supported by a Marsden fund grant, VUW 703, administered by the Royal Society of New Zealand

Article copyright:
© Copyright 2001
American Mathematical Society