On the structure of A-free measures and applications

DOI10.4007/ANNALS.2016.184.3.10MaRDI QIDQ338432zbMATH OpenOpenAlexFDO

Authors Guido De Philippis, Filip Rindler

Publication date 4 November 2016

Published in Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1601.06543

\({\mathcal A}\)-free measures Alberti's rank-one theorem Ambrosio-Kirchheim metric currents Federer flat chain functions of bounded deformation normal currents partial differential operator Rademacher theorem

Mathematics Subject Classification ID

Vector-valued set functions, measures and integrals (28B05) Weak solutions to PDEs (35D30) Geometric measure and integration theory, integral and normal currents in optimization (49Q15) Variational problems in a geometric measure-theoretic setting (49Q20)

Abstract: We establish a general structure theorem for the singular part of

m a t h s c r A

-free Radon measures, where

m a t h s c r A

is a linear PDE operator. By applying the theorem to suitably chosen differential operators

m a t h s c r A

, we obtain a simple proof of Alberti's rank-one theorem and, for the first time, its extensions to functions of bounded deformation (BD). We also prove a structure theorem for the singular part of a finite family of normal currents. The latter result implies that the Rademacher theorem on the differentiability of Lipschitz functions can hold only for absolutely continuous measures and that every top-dimensional Ambrosio--Kirchheim metric current in

m a t h b b R^{d}

is a Federer-Fleming flat chain.

Review text

Consider a \(k\)-th order linear constant-coefficients PDE operator \(\mathcal A\), \((k\in\mathbb N)\), i.e. \(\mathcal A=\sum_{|\alpha|\leq k}A_\alpha\partial^\alpha\), where \(A_\alpha\in\mathbb R^{n\times m}\) and \(\alpha=(\alpha_1,\dots\alpha_d)\) is a multi-index. Assume that \(\mu\) is a finite Radon measure on an open set \(\Omega\subset\mathbb R^d\) with values in \(\mathbb R^m\) and it is \(\mathcal A\)-free. Define the wave cone \(\Lambda_{\mathcal A}=\bigcup_{|\xi|=1}\ker \mathcal A^k(\xi)\subset\mathbb R^m\) with \(\mathcal A^k(\xi)=(2\pi i)^k\sum _{|\alpha |=k}A_\alpha\xi^\alpha\), where \(\xi^\alpha =\xi_1^{\alpha_1}\dots \xi_d^{\alpha_d}\). The authors show that for a measure \(\mu\) solving the initial PDE \(\mathcal A\mu=0\) , the polar \(d\mu/d|\mu|\), i.e. the Radon-Nikodým derivative of \(\mu\) with respect to its total variation measure \(|\mu|\) lies in the wave cone at almost all singular points.NEWLINENEWLINE NEWLINETheorem 1.1. Let \(\Omega \subset \mathbb R^d\) be an open set, let \(\mathcal A\) be a \(k\)-th order linear constant-coefficients differential operator and let \(\mu\in\mathcal M(\Omega;\mathbb R^m)\) be an \(\mathcal A\)-free Radon measure on \(\Omega\) with values in \(\mathbb R^m\). Then, \(d\mu/d|\mu|(x)\in \Lambda_{\mathcal A}\), for \(|\mu|^s\)-a.e. \(x\in\Omega\).NEWLINENEWLINE NEWLINEBy applying Theorem 1.1. to suitably chosen differential operators, one can easily obtain several remarkable consequences. First of all, a simple proof of Alberti's rank-one theorem and its extensions to functions of bounded deformation are obtained. Then, the authors prove a structure theorem for the singular part of a finite family of normal currents in the spirit of the rank-one theorem. Considering the results of Alberti and Marquese and of Schioppa, it follows that the Rademacher theorem can hold only for absolutely continuous measures and that every top-dimensional Ambrosio-Kirchheim metric current in \(\mathbb R^d\) is a Federer flat chain.

Recommendations

Cites work

Cited in

(96)

This page was built for publication: On the structure of \({\mathcal A}\)-free measures and applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q338432)