On the differentiability of Lipschitz functions with respect to measures in the Euclidean space (Q295837): Difference between revisions

As the title suggests, this long paper (66 pages!) is dedicated to the investigation of differentiability of Lipschitz-continuous functions with respect to measures in Euclidean spaces. It is divided into eight parts, the first discusses the existing literature, gives introductory ideas and formulates the main result of the paper. This states: every Lipschitz-continuous function defined on an Euclidean space is differentiable at \(\mu\)-a.e. \(x\) with respect to the linear subspace \(V (\mu, x)\), where \(\mu\) denotes a finite measure on the considered space and \(V (\mu, \cdot)\) a decomposability bundle of it. Moreover, this assertion is optimal in the sense that one can construct Lipschitz functions which are not differentiable at \(\mu\)-a.e. \(x\) in any direction which is not in \(V (\mu, x)\). The second, third and fourth section are addressed to the laborious proof of this main result. Afterwards, measures associated to \(k\)-dimensional normal currents are considered and a differentiability result for Lipschitz-continuous functions with respect to them is derived and a characterization of the decomposability bundle of a measure in terms of normal \(1\)-currents is provided. Two appendices close the paper, one deals with Rainwater's lemma and some of its consequences which play an important role in the previous sections and the other with two results regarding approximations of Lipschitz functions.