Formel Santalo
Santalo-formlen er en konsekvens af Liouville-sætningen om bevarelse af fasevolumen , der bruges til at integrere funktioner givet på bundtet af enhedssfærer i en Riemann-manifold . Det gør det nemlig muligt først at integrere over hver geodæt for sig, og derefter over alle geodætiske rum.
Dette værktøj bruges til at bevise isoperimetriske uligheder, [1] såvel som stivhedsresultater. [2]
Formlen er opkaldt efter Luis Santalo , som beviste det i 1952. [3] [4]
Ordlyd
Lad være en kompakt, orienteret Riemann-manifold med grænse . Vi antager, at længden af geodætik i er begrænset, det vil sige, at enhver geodætik når grænsen på et bestemt tidspunkt. Lad betegne det geodætiske flow på bundtet af enhedskugler . Derefter
for enhver integrerbar funktion på . Det antager vi samtidig
- er vinklen mellem og den indadrettede normal til ved basispunktet af vektoren , altså vektoren med basispunktet på grænsen af den indadrettede .
- og er også riemannske volumenformer med hensyn til Sasaki-metrikken på og .
- angiver udgangstiden for den geodætiske med begyndelsesbetingelser ; det er
Se også
Noter
- ↑ Croke, Christopher B. "En skarp firedimensionel isoperimetrisk ulighed." Commentarii Mathematici Helvetici 59.1 (1984): 187–192.
- ↑ Ilmavirta, Joonas og Francois Monard. "4 Integreret geometri på manifolder med grænse og anvendelser." The Radon Transform: The First 100 Years and Beyond 22 (2019): 43.
- ↑ Santalo, Luis Antonio. Måling af sæt af geodetik i et Riemannsk rum og anvendelser til integralformler i elliptiske og hyperbolske rum. 1952
- ↑ Santaló, Luis A. Integralgeometri og geometrisk sandsynlighed. Cambridge University Press, 2004
Links