The subdifferentiability properties of typical functions in \(C[0,1]\)
type: Item
instance of: scholarly article
title: The subdifferentiability properties of typical functions in \(C[0,1]\)
zbMATH Open document ID: 0896.49008
published in: Journal of Mathematical Analysis and Applications
publication date: 1998-10-01T00:00:00Z
review text: Let \(C\) denote the Banach space of continuous real-valued functions on \([0, 1]\). In the paper, the differentiability behavior of typical functions of \(C\) is described, where ``typical'' means all functions, except those in some meager (i.e., first category) subset of \(C\). Naturally, a typical function in such sense is nondifferentiable on \([0,1]\) and it can be shown that for the (upper/lower, right/left) Dini derivatives it is \(f^+(x)= f^-(x) =\infty\), \(f_+ (x)= f_-(x) =-\infty\). In the main theorem of the paper, the author extends this result. Regarding the Jeyakumar convexification \(\partial^*f(x)\), the Dini subdifferential \(\partial^-f(x)\), the Clarke subdifferential \(\partial_cf(x)\) and the Ioffe-Mordukhovich-Kruger approximate subdifferential \(\partial_\alpha f(x)\), respectively, it is shown that there exists a residual set of functions \(f\in C\) such that (1) the set \(E(f)= \{x\in (0,1) \mid f^+ (x)=f^-(x)= +\infty\), \(f_+(x) =f_-(x)= -\infty\}\) is residual in \((0,1)\) and has a full Lebesgue measure; (2) for all \(x\in E(f)\), every closed set in \(\mathbb{R}\) may be chosen as \(\partial^* f(x)\); (3) for all \(x\in E(f)\) it is \(\partial_-f(x) =\emptyset\); (4) for all \(x\in E[0,1]\) it is \(\partial_\alpha f(x)= \partial_cf(x) =\mathbb{R}\). Hence, a typical function turns out to be pathological in a certain sense. At the end of the paper some examples are presented using the well-known nowhere differentiable Weierstrass and van der Waerden functions. Finally, it is pointed out that by the operation \(g(x,y): =f(x) +f(y)\) the results can be extended to the two-dimensional case.
Mathematics Subject Classification ID: 49J52
Mathematics Subject Classification ID: 26A27
Mathematics Subject Classification ID: 26A30
zbMATH DE Number: 1130522
zbMATH Keywords: typical functions
zbMATH Keywords: Dini derivatives
zbMATH Keywords: Jeyakumar convexification
zbMATH Keywords: Dini subdifferential
zbMATH Keywords: Clarke subdifferential
zbMATH Keywords: Ioffe-Mordukhovich-Kruger approximate subdifferential
author: Xianfu Wang
reviewed by: Jörg Thierfelder
MaRDI profile type: Publication
full work available at URL: jmaa.1997.5794
OpenAlex ID: W2031789131
cites work: Differentiation of real functions
cites work: Lipschitz functions with prescribed derivatives and subderivatives
cites work: Q4000274
cites work: Q5621509
cites work: On Asymmetrical Derivates of Non-Differentiable Functions
cites work: Q5512276
cites work: Q4217270
cites work: Approximate Subdifferentials and Applications. I: The Finite Dimensional Theory
cites work: Approximate subdifferentials and applications 3: the metric theory
cites work: Nonsmooth calculus, minimality, and monotonicity of convexificators
cites work: Are the approximate and the Clarke subgradients generically equal?
cites work: Generalized differential calculus for nonsmooth and set-valued mappings
cites work: Integration of subdifferentials of nonconvex functions
cites work: Characterization of the subdifferentials of convex functions
cites work: Q3912354
cites work: Q3901719
cites work: Regularity of locally Lipschitz functions on the line
cites work: Integration of subdifferentials of lower semicontinuous functions on Banach spaces
DOI: 10.1006/JMAA.1997.5794
description: scientific article; zbMATH DE number 1130522