On sets of non-differentiability of Lipschitz and convex functions

summary:We observe that each set from the system $\widetilde{\mathcal A}$ (or even $\widetilde{\mathcal{C}}$) is $\Gamma$-null; consequently, the version of Rademacher’s theorem (on Gâteaux differentiability of Lipschitz functions on separable Banach spaces) proved by D. Preiss and the author is stronger than that proved by D. Preiss and J. Lindenstrauss. Further, we show that the set of non-differentiability points of a convex function on ${\mathbb{R}}^n$ is $\sigma$-strongly lower porous. A discussion concerning sets of Fréchet non-differentiability points of continuous convex functions on a separable Hilbert space is also presented

Area theorem and smoothness of compact Cauchy horizons

We obtain an improved version of the area theorem for not necessarily differentiable horizons which, in conjunction with a recent result on the completeness of generators, allows us to prove that under the null energy condition every compactly generated Cauchy horizon is smooth and compact. We explore the consequences of this result for time machines, topology change, black holes and cosmic censorship. For instance, it is shown that compact Cauchy horizons cannot form in a non-empty spacetime which satisfies the stable dominant energy condition wherever there is some source content.Comment: 44 pages. v2: added Sect. 2.4 on the propagation of singularities and a second version of the area theorem (Theor. 14) which quantifies the area increase due to the jump se

Nearest points and delta convex functions in Banach spaces

Given a closed set $C$ in a Banach space $(X, \|\cdot\|)$, a point $x\in X$ is said to have a nearest point in $C$ if there exists $z\in C$ such that $d_C(x) =\|x-z\|$, where $d_C$ is the distance of $x$ from $C$. We shortly survey the problem of studying how large is the set of points in $X$ which have nearest points in $C$. We then discuss the topic of delta-convex functions and how it is related to finding nearest points.Comment: To appear in Bull. Aust. Math. So

Limited operators and differentiability

We characterize the limited operators by differentiability of convex continuous functions. Given Banach spaces $Y$ and $X$ and a linear continuous operator $T: Y \longrightarrow X$, we prove that $T$ is a limited operator if and only if, for every convex continuous function $f: X \longrightarrow \R$ and every point $y\in Y$, $f\circ T$ is Fr\'echet differentiable at $y\in Y$ whenever $f$ is G\^ateaux differentiable at $T(y)\in X$