Convex neighborhoods for Lipschitz connections and sprays (Q495310): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
The author establishes that over a \(C^{2,1}\) manifold the exponentional map of any Lipschitz connection or spray determines a local Lipeomorphism and that, furthermore, reversible convex neighborhoods do exist. To that end he uses the method of Picard-Lindelöf approximation to prove the strong differentiability of the exponential map at the origin and hence a version of Gauss' Lemma which does not require the differentiability of the exponential map. Contrary to naive differential degree counting, the distance functions are shown to gain one degree and hence to be \(C^{1,1}\). As an application to mathematical relativity, it is argued that the mentioned differentiability conditions can be considered as the optimal ones to preserve most results of causality theory. This theory is also shown to be generalizable to the Finsler spacetime case. In particular, it is proved that the local Lorentzian(-Finsler) length maximization property of casual geodesics in the class of absolutely continuous casual curves holds already for \(C^{1,1}\) spacetime metrics. Finally, the author studies the local existence of convex functions and shows that arbitrarily small globally hyperbolic convex normal neighborghoods do exist. | |||
Property / review text: The author establishes that over a \(C^{2,1}\) manifold the exponentional map of any Lipschitz connection or spray determines a local Lipeomorphism and that, furthermore, reversible convex neighborhoods do exist. To that end he uses the method of Picard-Lindelöf approximation to prove the strong differentiability of the exponential map at the origin and hence a version of Gauss' Lemma which does not require the differentiability of the exponential map. Contrary to naive differential degree counting, the distance functions are shown to gain one degree and hence to be \(C^{1,1}\). As an application to mathematical relativity, it is argued that the mentioned differentiability conditions can be considered as the optimal ones to preserve most results of causality theory. This theory is also shown to be generalizable to the Finsler spacetime case. In particular, it is proved that the local Lorentzian(-Finsler) length maximization property of casual geodesics in the class of absolutely continuous casual curves holds already for \(C^{1,1}\) spacetime metrics. Finally, the author studies the local existence of convex functions and shows that arbitrarily small globally hyperbolic convex normal neighborghoods do exist. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Miroslav Doupovec / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53B15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 26A16 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53B40 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 83Cxx / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6479903 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Lipschitz connections | |||
Property / zbMATH Keywords: Lipschitz connections / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
exponential map | |||
Property / zbMATH Keywords: exponential map / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
convex neighborhood | |||
Property / zbMATH Keywords: convex neighborhood / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
distance function | |||
Property / zbMATH Keywords: distance function / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
low differentiability | |||
Property / zbMATH Keywords: low differentiability / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Lipeomorphism | |||
Property / zbMATH Keywords: Lipeomorphism / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
relativity | |||
Property / zbMATH Keywords: relativity / rank | |||
Normal rank |
Revision as of 23:52, 30 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Convex neighborhoods for Lipschitz connections and sprays |
scientific article |
Statements
Convex neighborhoods for Lipschitz connections and sprays (English)
0 references
9 September 2015
0 references
The author establishes that over a \(C^{2,1}\) manifold the exponentional map of any Lipschitz connection or spray determines a local Lipeomorphism and that, furthermore, reversible convex neighborhoods do exist. To that end he uses the method of Picard-Lindelöf approximation to prove the strong differentiability of the exponential map at the origin and hence a version of Gauss' Lemma which does not require the differentiability of the exponential map. Contrary to naive differential degree counting, the distance functions are shown to gain one degree and hence to be \(C^{1,1}\). As an application to mathematical relativity, it is argued that the mentioned differentiability conditions can be considered as the optimal ones to preserve most results of causality theory. This theory is also shown to be generalizable to the Finsler spacetime case. In particular, it is proved that the local Lorentzian(-Finsler) length maximization property of casual geodesics in the class of absolutely continuous casual curves holds already for \(C^{1,1}\) spacetime metrics. Finally, the author studies the local existence of convex functions and shows that arbitrarily small globally hyperbolic convex normal neighborghoods do exist.
0 references
Lipschitz connections
0 references
exponential map
0 references
convex neighborhood
0 references
distance function
0 references
low differentiability
0 references
Lipeomorphism
0 references
relativity
0 references