Absolutely continuous functions with values in a Banach space (Q2408622): Difference between revisions

Let \(\Omega\) be an open subset of \(\mathbb{R}^n\), \(n>1\), and let \(X\) be a Banach space. Fix \(0<\alpha<1\). A function \(f:\Omega\to X\) is \textit{\(\alpha\)-absolutely continuous} if for every \(\varepsilon>0\) there is \(\delta>0\) such that \[ \sum_i||f(\mathbf{b}_i)-f(\mathbf{a}_i||^n<\varepsilon \] for each non-overlapping finite family of \(\alpha\)-regular intervals \(\{[\mathbf{a}_i,\mathbf{b}_i]\subset\Omega\}\) with \[ \sum_i\mathcal{L}^n([\mathbf{a}_i,\mathbf{b}_i])<\delta. \] (Here, \(\mathcal{L}^n(\cdot)\) denotes the \(n\)-dimensional Lebesgue measure.) The author shows that every \(\alpha\)-absolutely continuous function \(f:\Omega\to X\) is continuous in \(\Omega\) and pointwise Lipschitz at almost each point of \(\Omega\). As a corollary, she obtained the following differentiability properties of such functions: (1) \(f\) is metrically differentiable a.e. in \(\Omega\). (2) If \(X\) is the dual of separable Banach space, then \(f\) is \(w^\ast\)-differentiable a.e. in \(\Omega\). (3) If \(X\) has the Randon-Nikodým property, then \(f\) is differentiable a.e. in \(\Omega\).