A microlocal characterization of Lipschitz continuity

DOI10.4171/PRIMS/54-4-2MaRDI QIDQ1626589zbMATH OpenOpenAlexWikidataFDO

Authors Benoît Jubin

Publication date 21 November 2018

Published in Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)

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

zbMATH Keywords

causal manifoldsDini derivativesLipschitz mapsmicrolocal theory of sheavesWhitney cone

Mathematics Subject Classification ID

Lipschitz (Hölder) classes (26A16) Differentiation (real functions of one variable): general theory, generalized derivatives, mean value theorems (26A24) Microlocal methods and methods of sheaf theory and homological algebra applied to PDEs (35A27)

Abstract: We study continuous maps between differential manifolds from a microlocal point of view. In particular, we characterize the Lipschitz continuity of these maps in terms of the microsupport of the constant sheaf on their graph. Furthermore, we give lower and upper bounds on the microsupport of the graph of a continuous map and use these bounds to characterize strict differentiability in microlocal terms.

Review text

The author studies continuous linear maps between differential manifolds from a microlocal point of view using methods of the microlocal theory of sheaves [\textit{M. Kashiwara} and \textit{P. Schapira}, Sheaves on manifolds. With a short history ``Les débuts de la théorie des faisceaux by Christian Houzel. Berlin etc.: Springer-Verlag (1990; Zbl 0709.18001)]. \par The first main result is a characterization of Lipschitz continuity of a map $f$ in terms of its Whitney cone $C_f$ (defined to be the Whitney cone of its graph) and its conormal $\Lambda_f$ (defined to be the microsupport of the constant sheaf on its graph). It is shown that $f$ is Lipschitz if and only if its Whitney cone $C_f$ contains no nonzero vertical vectors, i.e., $C_f \cap (0_M \times TN) \subseteq 0_{M\times N}$, or if and only if its conormal contains no nonzero horizontal covectors, i.e., $\Lambda_f \cap (T^*M \times 0^*_N) \subseteq 0^*_{M\times N}$. \par The second main result is a characterization of strict differentiability of $f$ in terms of its Whitney cone and of its conormal. \par In addition, the article gives applications to the theory of causal manifolds and extends some of the obtained results to topological submanifolds. \par The presentation of the results is very clear and detailed and includes a pleasant exposition of the necessary background material.

Recommendations

• scientific article; zbMATH DE number 1036146
• Adapted topology in the sheaf of continuous functions
• LE FONCTEUR μhom RELATIF ET L'ACTION DE εR RELATIF SUR LES FONCTIONS HOLOMORPHES
• Abstract differential calculus
• On the complex \({\mathcal C}_\Lambda\) attached to a certain class of Lagrangian set
• Lie algebroids and characteristic classes
• scientific article; zbMATH DE number 4092202
• scientific article; zbMATH DE number 1046985
• scientific article; zbMATH DE number 2159061
• scientific article; zbMATH DE number 5862752

Cites work

• scientific article; zbMATH DE number 47944 (Why is no real title available?)
• scientific article; zbMATH DE number 2219854 (Why is no real title available?)
• Involutivity of truncated microsupports
• Microlocal theory of sheaves and Tamarkin's non displaceability theorem
• On smooth time functions
• Sheaves and \(\mathcal{D}\)-modules on Lorentzian manifolds

Cited in

(1)

• Magnitude cohomology

This page was built for publication: A microlocal characterization of Lipschitz continuity

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