Jacobi alanı - Jacobi field

İçinde Riemann geometrisi, bir Jacobi alanı bir Vektör alanı boyunca jeodezik içinde Riemann manifoldu jeodezik ve "sonsuz derecede yakın" jeodezik arasındaki farkı açıklayan. Başka bir deyişle, bir jeodezik boyunca Jacobi alanları, tüm jeodezik uzayda jeodezik için teğet uzayı oluşturur. Adını alırlar Carl Jacobi.

Tanımlar ve özellikler

Jacobi alanları şu şekilde elde edilebilir: pürüzsüz bir parametreli jeodezik ailesi ile , sonra

bir Jacobi alanıdır ve jeodeziklerin belirli bir jeodeziğin sonsuz küçük mahallesindeki davranışını tanımlar. .

Bir vektör alanı J jeodezik boyunca olduğu söyleniyor Jacobi alanı tatmin ederse Jacobi denklemi:

nerede D gösterir kovaryant türev saygıyla Levi-Civita bağlantısı, R Riemann eğrilik tensörü, teğet vektör alanı ve t jeodezik parametresidir. tamamlayınız Riemann manifoldu, herhangi bir Jacobi alanı için bir jeodezik ailesi vardır alanı açıklama (önceki paragrafta olduğu gibi).

Jacobi denklemi bir doğrusal, ikinci emir adi diferansiyel denklem; özellikle değerleri ve bir noktada Jacobi alanını benzersiz bir şekilde belirler. Dahası, belirli bir jeodezik boyunca Jacobi alanları seti gerçek vektör alanı Manifoldun iki katı boyutta.

Jacobi alanlarının önemsiz örnekleri olarak düşünülebilir ve . Bunlar, sırasıyla aşağıdaki onarım ailelerine karşılık gelir: ve .

Herhangi bir Jacobi alanı bir toplam olarak benzersiz bir şekilde temsil edilebilir , nerede önemsiz Jacobi alanlarının doğrusal bir birleşimidir ve ortogonaldir , hepsi için . Alan daha sonra aynı jeodezik varyasyonuna karşılık gelir , yalnızca değiştirilmiş parametrelendirmelerle.

Motive edici örnek

Bir küre, jeodezik Kuzey kutbundan harika çevreler. Böyle iki jeodezik düşünün ve doğal parametreli, bir açı ile ayrılmış . Jeodezik mesafe

dır-dir

Bunu hesaplamak, jeodezikleri bilmeyi gerektirir. En ilginç bilgi sadece

, herhangi .

Bunun yerine, düşünebiliriz türev göre -de :

Hala tespit ettiğimize dikkat edin kavşak jeodeziklerin . Ayrıca, bu türevi hesaplamak için aslında bilmemiz gerekmediğine dikkat edin.

,

bunun yerine tek yapmamız gereken denklemi çözmek

,

bazı verilen ilk veriler için.

Jacobi alanları, bu fenomenin doğal bir genellemesini keyfi Riemann manifoldları.

Jacobi denklemini çözme

İzin Vermek ve bunu tamamlamak için ortonormal temel -de . Paralel taşıma bir temel elde etmek için başından beri . Bu, ile ortonormal bir temel verir . Jacobi alanı, bu temel açısından koordinatlarla yazılabilir: ve böylece

ve Jacobi denklemi bir sistem olarak yeniden yazılabilir

her biri için . Bu şekilde doğrusal bir adi diferansiyel denklem (ODE) elde ederiz. Bu ODE'nin sahip olduğu pürüzsüz katsayılar herkes için var olan çözümlere sahibiz ve benzersizdir ve , hepsi için .

Örnekler

Bir jeodezik düşünün paralel ortonormal çerçeve ile , , yukarıdaki gibi inşa edilmiştir.

  • Vektör alanları boyunca veren ve Jacobi alanlarıdır.
  • Öklid uzayında (aynı zamanda sabit sıfır olan uzaylar için kesit eğriliği ) Jacobi alanları, basitçe .
  • Sabit negatif kesitsel eğriliğe sahip Riemann manifoldları için herhangi bir Jacobi alanı, , ve , nerede .
  • Sabit pozitif kesitsel eğriliğe sahip Riemann manifoldları için herhangi bir Jacobi alanı, , , ve , nerede .
  • Bir kısıtlama Vektör alanını öldürmek jeodezik, herhangi bir Riemann manifoldundaki bir Jacobi alanıdır.

Ayrıca bakınız

Referanslar

  • Manfredo Perdigão do Carmo. Riemann geometrisi. Francis Flaherty tarafından ikinci Portekizce baskısından çevrilmiştir. Matematik: Teori ve Uygulamalar. Birkhäuser Boston, Inc., Boston, MA, 1992. xiv + 300 s. ISBN  0-8176-3490-8
  • Jeff Cheeger ve David G. Ebin. Riemann geometrisinde karşılaştırma teoremleri. 1975 tarihli orijinalin revize edilmiş yeniden baskısı. AMS Chelsea Publishing, Providence, RI, 2008. x + 168 s. ISBN  978-0-8218-4417-5
  • Shoshichi Kobayashi ve Katsumi Nomizu. Diferansiyel geometrinin temelleri. Cilt II. 1969 tarihli orijinalin yeniden basımı. Wiley Classics Kitaplığı. Bir Wiley-Interscience Yayını. John Wiley & Sons, Inc., New York, 1996. xvi + 468 s. ISBN  0-471-15732-5
  • Barrett O'Neill. Yarı Riemann geometrisi. Görelilik uygulamaları ile. Saf ve Uygulamalı Matematik, 103. Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York, 1983. xiii + 468 s. ISBN  0-12-526740-1