Ricci hesabı

Matematikte Ricci hesabı tensörler ve tensör alanları için indis notasyonu ve manipülasyon kurallarını oluşturmaktadır.[1][2][3] Bunun ayrıca 1887–96 içinde daha sonraki bir yazıda Gregorio Ricci-Curbastro tarafından geliştirilen, mutlak diferansiyel hesabı (tensor hesabının temeli) popüler olarak kullanılan modern adıdır [4] 1900 yılında onun öğrencisi(gözbebeği) Tullio Levi - Civita tarafından yazılmıştır.

Jan Arnoldus Schouten, modern gösterim ve formalizmini geliştirilen bu matematiksel çerçeve için ve yirminci yüzyılın genel görelilik ve diferansiyel geometri uygulamaları sırasında, teorisine katkılarda bulundu.[5] Bir tensörün bir bileşeni tensör uzayı için bir temel ögenin katsayısı olarak kullanılan bir gerçek sayıdır.Tensor taban ögeleri ile bileşenlerin çarpımıdır. Tensorler ve tensör alanları burada bileşenlerinin terimleri içinde ifade edilebilir, ve tensörler ve tensör alanları üzerindeki operasyonlar bu bileşenler üzerinde işlemlerin terimleri içinde ifade edilebilir.Buradaki bileşenlerin terimleri içinde bunun üzerinde tensor alanlarının ve işlemlerin tanıtımı Ricci hesabının odağıdır. Bu gösterim tensör alanları ve işlemlerin en etkin ifadelerini sağlar. Böyleyken gösterimin birçok herhangi tensörleri ile uygulanabilir, bir diferansiyel yapıya ilişik işlemler yalnızca tensör alanlarına uygulanabilir.Burada gereken özellikle çokboyutlu dizilerin tensör-olmayanların bileşenlerine bağlanan gösterimdir.

Bir vektör ve eşvektör tabanlı ögelerin tensör çarpımının bir doğrusal toplamı olarak ifade edilebilir. tensör bileşenlerinin sonuçları tabanın indisleri ile etiketlenir.Her indis vektör uzayı altında yatanın tek olası değerli iki boyutu vardı.İndislerinin sayısı tensörün sırasına eşittir. Kompakt ve kolaylık sağlamak için, gösterimsel kural bir terim içinde ve tekrarlanan indisler üzerinde toplanır evrensel sayısallaştırma serbest indisleri üzerinde (olanlar bu yüzden özetlenebilir değil) özellikle bu, bazı şeyleri ima eder.Genel olarak Ricci hesabın gösteriminde ifadeler genellikle daha spesifik manifoldu üzerindeki koordinat fonksiyonları olarak, bir manifold üzerinde fonksiyonları olarak bileşenler ile eşzamanlı denklemler kümesi olarak yorumlanabilir. Bu kurallar sadece sınırlı bir kümenin aşinalık ifadelerinin sezgisel bir düzenlemesini sağlar.

İndisler için gösterimDüzenle

Taban ile ilgili ayrımlarDüzenle

Ayrık-uzay zamanDüzenle

Bir ayrık uzaysal temel unsurlar ve klasik fiziğin dört-boyutlu uzay-zamanda zaman benzeri bir öge arasında yapılacak olanlar aşağıdaki gibidir, bu geleneksel indisler aracılığıyla yapılır:[6]

  • küçük latin alfabesi a, b, c... 3-boyutlu Öklid uzayı'yla ayrık sınır kullanılıyor, bunun boşluk bileşenleri için 1, 2, 3 değerleri alınır; ve zamansal-öge, 0 ile ayrılır, ayrı ayrı gösterilir.
  • küçük yunan alfabesi α, β, γ... 4-boyutlu uzay-zaman için kullanılıyor, bunun tipik zaman bileşenleri için 0 değeri ve boşluk bileşenleri için 1, 2, 3 alinir.

Bazı kaynaklar zamana karşılık indis değerler olarak 0'ın yerine 4 kullanıyor ;bu yazılar içinde 0 kullanılıyor. diğer yandan,genel matematiksel kavramlar içinde, herhangi semboller indisler için kullanılabiliyor, genellikle vektör uzayının tüm boyutları üzerinde koşuyor.

Koordinate ve indis gösterimiDüzenle

Yazar(lar) genellikle belli olarak yapılacak bir alt indis bir indis olarak veya bir etiket olarak isteniyor.

örneğin,3-D içinde öklidyen uzay ve Kartezyen koordinatlar kullanılıyor;koordinat vektör A = (A1, A2, A3) = (Ax, Ay, Az) 1, 2, 3 altindisleri ve x, y, z etiketleri arasında doğrudan bir karşılıklılık gösterir. Ai ifadesi içinde, i 1, 2, 3 değerleri üzerinde bir indis arasında değişen olarak yorumlanıyor, öyle ki x, y, z altsimgeleri değişen indisler değil, bileşenler için "isim" daha isim gibidir. uzayzamanın kavramları içinde, 0 indis değeri t etiketine karşılık gelir.

Koordinat sistemlerine başvuruDüzenle

Indisler, bir şapka (^), çubuk (), yaklaşık (~), veya tırnak (′) seklinde olabilir.

 

ifadesinde olası bir farklı taban (ve bundan dolayı koordinat sistemi) bu indis için etiketleme belirteç-gibi semboller kullanabilir.Diğerine bir örnek olarak tek referans çerçevesinden Lorentz dönüşümüne'dir, burada tek çerçeve üssüz ve diğeri üslü olabilir:

  içindedir

Bu spinörler van der Waerden gösterimi ile karıştırılmamalıdır, burada bir spinörün kiralite yansımasında şapkalar ve indisleri üzerindeki noktalar kullanılıyor .

Eşdeğişken tensör bileşenleri

Bir alt indis (altsimge) ve bu indisin sırali bileşenlerinin eşdeğişir indisleri:  

Karşıtdeğişken tensör bileşenleri

Bir üst indis (üstsimge) ve bu indisin sırali bileşenlerin karşıtdeğişir indisleri:  

Karışık-değişken tensör bileşenleri

Bir tensörün hem üst ve hem alt indisleri olmalidir:  

Toplam

İki indis (tek üst ve tek alt) ile bir terim içinde aynı sembol üzerinde özetlenebilir:   or  

İşlem tensör büzülmesi için bir toplam ile vurgulaniyor:

 

Daha ötesi tek indis iki kere oluşabilir, ama yalnızca iki kez tek terim içinde, örneğin:

 

Eş-olmayan için,

 

iyi bir biçimlendirilme degildir, yani, anlamsızdir.

Çoklu-indis gösterimi

Eğer bir tensörün tüm üst veya alt indislerinin bir listesi varsa, özet bir liste için büyük harf kullanılıyor:[7]

 

burada I = i1 i2 ... in ve J = j1 j2 ... jm.

Dizisel toplam

İki dik çubuklarin | | indislerin bir kümesi çevresinde (bir büzülme ile):[8]

 

toplam ifadesi bu bir önceki indis içinde (ve yerleşik değil)bitiş indisinin değerine kadar sayılır:

 

Yalnızca tek indislerin tekrarlı kümesinin grubu dik çubuklar çevresinde yer alir. (diğer büzülmüş indisler değil). Tek grup haricindekiler söyle özetlenebilir:

 

burada

 

Bu bazı toplamlar içinde aşırı sayımı önlemek yararlıdır, o zaman tensörler ya simetrik veya antisimetriktir.

karşıt olarak,büyük harf geleneksel çoklu-indis için kullanılıyor, bir alt ok bu indislerin blokları altında yerleşir:[9]

 

burada

 
Indisleri üst ve alt

Tekil olmayan bir indisin büzülmesi bir metrik tensör ile, bir tensörün tipi değişebilir, bir alt bir üst indis veya tersine dönüştürülüyor:

  ve  

Taban sembol birçok durumlar için korunuyor(yani kulanılan A, B burada görüntülenir), ve o zaman burada belirsizlik yoktur,işleme alınan bir indis vurgulanarak yeniden konumlandırılmalıdır .

Ayrıca bakınızDüzenle

KaynakçaDüzenle

  1. ^ Synge J.L., Schild A. (1949). Tensor Calculus. first Dover Publications 1978 edition. ss. 6–108. 
  2. ^ J.A. Wheeler, C. Misner, K.S. Thorne (1973). Gravitation. W.H. Freeman & Co. ss. 85–86, §3.5. ISBN 0-7167-0344-0. 
  3. ^ R. Penrose (2007). The Road to Reality. Vintage books. ISBN 0-679-77631-1. 
  4. ^ Ricci, Gregorio; Levi-Civita, Tullio (Mart 1900), "Méthodes de calcul différentiel absolu et leurs applications", Mathematische Annalen, Springer, 54 (1–2), ss. 125–201, doi:10.1007/BF01454201 
  5. ^ Schouten, Jan A. (1924). R. Courant (Ed.). Der Ricci-Kalkül – Eine Einführung in die neueren Methoden und Probleme der mehrdimensionalen Differentialgeometrie (Ricci Calculus – An introduction in the latest methods and problems in multi-dimmensional differential geometry). Grundlehren der mathematischen Wissenschaften (Almanca). 10. Berlin: Springer Verlag. 
  6. ^ C. Møller (1952), The Theory of Relativity, s. 234  is an example of a variation: 'Greek indices run from 1 to 3, Latin indices from 1 to 4'
  7. ^ T. Frankel (2012), The Geometry of Physics (3rd bas.), Cambridge University Press, s. 67, ISBN 978-1107-602601 
  8. ^ Gravitation, J.A. Wheeler, C. Misner, K.S. Thorne, W.H. Freeman & Co, 1973, ISBN 0-7167-0344-0
  9. ^ T. Frankel (2012), The Geometry of Physics (3rd bas.), Cambridge University Press, s. 67, ISBN 978-1107-602601 

KitaplarDüzenle

Şablon:Tensors