Machine Translated by Google

Edward Parkerÿ
(Tanggal: 9 Februari 2023)
Rotasi benda tegar di ruang Euclidean dicirikan oleh kecepatan sudut sesaat dan momentum
sudutnya. Dalam sejumlah dimensi spasial yang berubah-ubah, besaran ini diwakili oleh bivektor
(tensor peringkat-2 antisimetris), dan mereka dihubungkan oleh tensor inersia peringkat-4.
Hebatnya, tensor inersia ini milik kelas tensor kelengkungan aljabar yang dipelajari dengan baik
yang memiliki simetri indeks yang sama dengan tensor kelengkungan Riemann yang digunakan dalam relativitas umum.
Tensor kelengkungan aljabar apa pun dapat didekomposisi menjadi representasi grup ortogonal
yang tidak dapat direduksi melalui dekomposisi Ricci. Kami menghitung dekomposisi Ricci dari
tensor inersia untuk benda tegar dalam sejumlah dimensi, dan kami menemukan bahwa (tidak
seperti tensor kelengkungan Riemann) tensor Weyl-nya selalu nol, sehingga tensor inersia
sepenuhnya dicirikan oleh (peringkat- 2) Kontraksi Ricci. Jadi tidak seperti relativitas umum,
tensor Weyl tidak menyebabkan fenomenologi baru secara kualitatif untuk dinamika benda tegar dalam n ÿ 4 dimensi.

I. PENDAHULUAN ÿ = r × dFext(r), dan ÿ = dÿ/dt. (Lebih tepatnya, mereka semua

Mata kuliah pertama dalam mekanika klasik biasanya
dimulai dengan membahas rotasi bangun datar bidang kaku
dalam dua dimensi. Dalam konteks ini, siswa diajari
persamaan umum untuk rotasi benda tegar 2D di sekitar titik
tetap
adalah jumlah vektor semu yang tidak mengubah orientasi
di bawah inversi paritas.) Momen skalar inersia I (2D)
digeneralisasikan ke tensor inersia peringkat-2 simetris, atau
(lebih biasa tetapi konkret) simetris 3 × 3 matriks I (3D)
. Komponen tensor ini ditentukan oleh
distribusi massa benda tegar:

dL 1
I (2D)ÿ 2 , (1) I =(3D)
dm r ij 2
L = I (2D)ÿ, ÿ = = I (2D)ÿ, T = ÿij ÿrirj . _ (3)
dt 2

di mana L adalah momentum sudut benda, I (2D) =

Karena tensor diwakili oleh matriks simetris nyata, tensor
dm r2 adalah momen inersianya terhadap titik rotasi r selalu dapat didiagonalisasi. Vektor eigennya disebut sebagai
2
tion (dm = ÿ(r) d dengan ÿ(r) kerapatan massa area), ÿ sumbu utama benda tegar dan nilai eigen yang sesuai adalah
adalah kecepatan sudutnya, ÿ adalah torsi eksternal bersih momen inersia utama terhadap sumbu tersebut. Hanya untuk
r Fÿ yang diterapkan padanya, t adalah waktu, ÿ adalah rotasi terhadap sumbu utama persamaan vektor (2)
percepatan sudut benda, dan T adalah energi kinetik disederhanakan menjadi persamaan skalar (1).
rotasinya. Dalam konteks 2D , I (2D) dan T dianggap sebagai
skalar nonnegatif dan L, ÿ, ÿ, dan ÿ sebagai skalar bertanda Tensor I (3D) tidak lagi harus konstan dalam kerangka
arXiv:2302.04092v1
[fisika.kelas-
2023
Feb
ph]
5
yang tandanya mewakili orientasi berlawanan arah jarum laboratorium karena orientasinya berubah, sehingga tindakan
jam atau searah jarum jam. sumbu dengan simetri tinggi dan yang paling mudah sering kali adalah beralih ke non-inersia
diberikan rumus yang agak misterius untuk momen inersia kerangka acuan "tubuh" di mana I (3D) konstan, bahkan
tentang berbagai sumbu untuk berbagai bentuk 3D. dengan mengorbankan komplikasi tambahan dari bekerja
dalam kerangka acuan non-inersia. Setiap siswa yang telah
mempelajari gerak benda tegar dalam 3D dapat bersaksi
Kursus selanjutnya biasanya akan membahas rotasi benda
bahwa persamaan yang relatif sederhana (2) dan (3) sudah
tegar dalam 3D secara lebih sistematis. Siswa mempelajari bahwa dapat menyebabkan dinamika rotasi yang sangat rumit dan tidak intuitif.
dalam 3D, persamaan (1) digeneralisasi menjadi
Namun tiga dimensi bukanlah akhir cerita.
dL 1 1 Bagaimana dengan jumlah dimensi n yang berubah-ubah?
(3D)
L = I (3D)ÿ, ÿ = , T= ÿ · I (3D) · ÿ := ÿiI ij ÿj 2 Rotasi benda kaku di lebih tinggi dari tiga dimensi memang
dt 2
(2) (dalam diakui kurang realistis daripada n = 2 atau n = 3, tetapi
kerangka acuan "laboratorium" inersia) [1]. Energi kinetik T mempertimbangkan kasus yang sepenuhnya umum masih
tetap merupakan besaran skalar, tetapi L, ÿ, ÿ dan ÿ sekarang, merupakan latihan pemikiran yang menarik yang akan
dianggap sebagai besaran vektor. Sekarang L = r × dm v(r) menghasilkan hubungan tak terduga dengan studi relativitas
3 umum, yang tentu saja dirumuskan dalam lebih dari tiga dimensi.
(di mana sekarang dm = ÿ(r)d kerapatan massa r dengan ÿ(r)
volume), ÿ diorientasikan sepanjang sumbu rotasi dengan Meskipun artikel ini pada akhirnya akan menggunakan
besaran yang sama dengan kecepatan sudut, beberapa alat canggih yang dikembangkan untuk mempelajari
relativitas umum, sebagian besar harus dapat diakses oleh
seseorang dengan pemahaman yang kuat tentang mekanika
klasik sarjana tingkat lanjut. Kami meninggalkan beberapa
ÿ
tparker@alumni.physics.ucsb.edu detail matematika yang lebih teknis di catatan kaki.
Machine Translated by Google

II. PENDAHULUAN MATEMATIKA
(Bagian ini dapat dilewati oleh mereka yang kurang peduli
dengan detail matematis.)
Kami mendefinisikan benda tegar sebagai sekumpulan titik
yang jarak relatifnya tetap konstan. Benda yang diperluas hanya
dapat tetap kaku jika pengaruh kausal dari gaya eksternal pada
satu titik ditransmisikan secara instan ke semua titik lainnya,
sehingga benda kaku tidak dapat eksis dalam pengaturan relativistik.dari multivektor sebanding dengan kontraksinya dengan tensor
Selain itu, kami akan meminta agar benda bebas melakukan
rotasi tanpa kendala, yang mengharuskan ruang menjadi rata.
Oleh karena itu, kita akan bekerja dalam ruang Euclid R n en
dengan hasil kali dalam Euclid datar dan definit positif biasa
(kecuali jika dinyatakan lain).1 Kita akan selalu bekerja dalam
koordinat Cartesian, di mana indeks metrik diberikan oleh delta
Kronecker ÿij . Kami akan menggunakan konvensi penjumlahan
Einstein bahwa indeks berulang dijumlahkan dari 1 hingga n,
dan kami tidak akan membedakan antara indeks tensor yang
dinaikkan dan diturunkan. Kami akan menunjukkan tensor
metrik Euclidean (konstan) dengan ÿ dan hanya akan sesekali
menggunakan g untuk menunjukkan bidang tensor metrik untuk
manifold arbitrer (berpotensi melengkung).
A. Aljabar eksterior
Beberapa ide dari aljabar eksterior akan sangat berguna [2].
Jika k adalah bilangan asli, maka k-vektor atau multi-vektor
adalah elemen dari ÿ k (V ), pangkat ke-k dari a Pada “tingkat
2
vektor V . ruang kekakuan fisikawan”, ÿ k (V ) adalah medan
tensor peringkat-k yang benar-benar antisimetrik di atas V .
Vektor-p A dan vektor-q B dapat digabungkan bersama menjadi
vektor (p + q) menggunakan perkalian baji
(p + q)!
(A ÿ B)µ1,...,µp+q = A[µ1...µpBµp+1...µp+q] , p! Q!
di mana [ ] di sekitar indeks tensor menunjukkan metrisasi
antisim total.3 Multivektor itu sederhana (atau dapat didekomposisi
atau k-blade) jika dapat dinyatakan sebagai produk baji v1 ÿ · · ·
ÿ vk dari k vektor peringkat-1 vi . ÿ k (R
n) adalah ruang vektor nyata berdimensi karena aNk , basis
natural adalah himpunan produk baji sederhana ei1 ÿ· · ·ÿ eik
dari k vektor satuan dalam basis ortonormal untuk R n.
Selain itu, kita dapat menggunakan hasil kali dalam pada R n
untuk memetakan multivektor A ÿ ÿ k (V ) menjadi multivektor
ganda HodgeÿA ÿ ÿ nÿk . Untuk ruang Euclidean, dual Hodge
Levi-Civita yang benar-benar antisimetrik ÿµ1...µn :
1
(ÿA)µ1...µnÿk = ÿµ1...µnÿkÿ1...ÿk Aÿ1...ÿk . k!
(Rumusnya lebih rumit untuk lipatan manusia yang lebih
umum.) Untuk metrik Reimannian (yaitu pasti-positif), bintang
Hodge ganda dari vektor-k A ÿ ÿ k (R n) adalah ÿ ÿ A =
( ÿ1 )k(nÿk)A. Ruang vektor ÿ k (R n) mewarisi hasil kali dalamnya
sendiri dari hasil kali dalam Euclidean.
Hasil kali dalam antara vektor-k sederhana diberikan oleh
v1 ÿ · · · ÿ vk, w1 ÿ · · · ÿ wk := det M, Mij := vi , wj ,
dan itu meluas ke multivektor umum dengan linearitas. Sebagai
kasus khusus, norma-kuadrat dari k-vektor sederhana v1 ÿ · · ·
ÿvk sama dengan determinan Gram dari matriks dengan entri
4
vi , vj .
B. Rotasi dalam dimensi sewenang-wenang
Menurut definisi, rotasi R ruang Euclidean n-dimensi
mempertahankan sudut dan jarak antar titik, dan lebih umum
mempertahankan produk dalam Euclidean antara vektor. Juga
mudah untuk menunjukkan bahwa rotasi harus berupa
transformasi linier pada vektor.
Oleh karena itu, untuk sembarang vektor v dan u, ÿ(v, u) ÿ ÿ(Rv, Ru).
Dalam bahasa matriks, ini menjadi
T T
(RV) ÿ(Ru) = v R TÿRu = v T
kamu,

di mana ÿ mewakili matriks identitas n × n. Karena persamaan

1 Dalam artikel ini, notasi Rn selalu mengacu pada ruang hasil kali
dalam Euclidean penuh, bukan hanya ruang vektor.
2 Kami menggunakan konvensi terminologi bahwa "multivektor"
harus homogen dengan k tetap. Istilah "multivektor", "bivektor",
dll. sering dikaitkan dengan formalisme aljabar geometris yang
agak tidak jelas, tetapi artikel ini tidak menggunakan konsep apa
pun dari aljabar geometris - hanya aljabar eksterior yang lebih
sederhana dan lebih standar dari tensor yang sepenuhnya
antisimetris . Beberapa fisikawan yang akrab dengan relativitas
umum mungkin lebih terbiasa menyebut tensor yang sepenuhnya antisimetris sebagai "bentuk diferensial".
Namun sebenarnya, bentuk diferensial adalah bidang multivektor
halus yang merupakan fungsi dari manifold ruangwaktu. Bivektor
yang dibahas dalam artikel ini bukan bidang lokal tetapi sesuai
dengan objek yang diperluas individu, jadi bivektor tersebut
hanya bivektor tetap dan bukan bentuk diferensial.
3 Ada dua konvensi normalisasi yang berbeda untuk produk irisan
yang umum digunakan. Dalam artikel ini, kami menggunakan
"konvensi geometer" yang merupakan standar dalam fisika
daripada "konvensi alge braist". Lihat [3] untuk pembahasan mendetail tentang
dan kontra dari setiap konvensi.
ini harus berlaku untuk semua vektor u dan v, kita harus
memiliki RT ÿR = ÿ. Jika kita hanya mempertimbangkan rotasi
yang tepat, yang terhubung ke operator identitas, maka
himpunan operator rotasi yang tepat membentuk grup Lie SO(n).
Kecepatan sudut dan momentum sudut sesuai dengan rotasi
sangat kecil, yang merupakan elemen dari Kebohongan
4 Kita akan menggunakan konvensi normalisasi bahwa saat
menghitung hasil kali dalam vektor-k, faktor kombinatorial 1/k!
masuk ke kontraksi indeks daripada ke tensor antisimetri yang
mewakili vektor basis ortonormal eˆi1 ÿ· · ·ÿeˆik untuk ÿk(Rn).
Artinya, tensor yang merepresentasikan eˆi1 ÿ · · · ÿ eˆik memiliki
elemen 1, 0, dan ÿ1 untuk semua k, sedangkan inner product
1
aljabar eksterior ÿk(R n) diberikan oleh A, Bÿk(Rn) = (di pada k!AIBI
mana I pro
menunjukkan multi-indeks (i1, . . , ik)) alih-alih oleh AIBI
hasil kali dalam biasa pada aljabar tensor.
Machine Translated by Google

aljabar jadi(n). Untuk melihat seperti apa elemen A dari
(representasi dasar yang menyenangkan dari) so(n) , kita
dapat Tay atau memperluas operator rotasi dalam persamaan
RT R = ÿ ke urutan pertama dalam sudut rotasi ÿ: membiarkan
2
R = ÿ + ÿA + o(ÿ) memberi
2 2
ÿ + ÿAT + o(ÿ ) ÿ + ÿA + o(ÿ ) kecepatan sudut, percepatan sudut, momentum sudut, dan
T 2
= ÿ + ÿA + A + o(ÿ
= ÿ,
jadi A + AT = 0 dan A harus berupa matriks antisimetrik n × n.
Generator rotasi sangat kecil A ÿ so(n) dapat dipetakan ke
rotasi R ÿ SO(n) melalui sudut tidak sangat kecil ÿ dengan peta
eksponensial R = exp(ÿA).
5
Untuk representasi matriks seperti yang kita
pertimbangkan secara implisit, peta eksponensial hanyalah
matriks eksponensial biasa.
Pada tingkat ketelitian kami, matriks antisimetrik adalah
2 Untuk n = 3, ruang bivektor adalah tiga dimensi, sesuai
bivec tor di ÿ ). Jadi dalam dimensi umum, rotasi sangat kecil
(Rn
tidak diwakili oleh vektor (semu) tetapi oleh bivektor [4].6
Lebih konkret,
jika xi dan xj adalah vektor ortonormal di R n, maka rotasi
sangat kecil di bidang ij ( berorientasi sehingga xi berotasi
menjadi xj ) dihasilkan oleh bivektor sederhana xi ÿ xj . Secara
lebih umum, magnitudo dari sebuah bivektor sederhana
memberikan sudut rotasi (sangat kecil), dan tandanya (atau
ekuivalennya, urutan dua vektor yang digabungkan)
memberikan orientasi rotasi.7 Sebuah bivektor sederhana
menghasilkan sebuah rotasi dalam satu bidang yang membuat
semua arah ortogonal tidak berubah. (Dalam n > 3 dimensi,
kita tidak dapat menggambarkan ini sebagai rotasi pada
sumbu 1D tunggal, karena ada banyak arah yang semuanya
ortogonal terhadap bidang dan satu sama lain.) Semua
bivektor di atas R n adalah sederhana jika n ÿ 3, jadi semua
rotasi terjadi dalam satu bidang. Tetapi tidak semua bivektor
sederhana jika n ÿ 4; sebagai gantinya, setiap bivektor dalam
N
2 ÿ (R n) dapat didekomposisi menjadi jumlah bivektor 2
sederhana paling ortogonal (di mana ÿ ÿ menunjukkan fungsi
lantai). Dekomposisi ini secara umum unik, kecuali beberapa
bivektor sederhana memiliki besaran yang sama
[4].8 Oleh karena itu, tidak semua rotasi ruang Euclidean
berdimensi lebih tinggi terjadi dalam satu bidang; rotasi
umum ruang Euclidean dalam dimensi n dihasilkan oleh
bidang ortogonal yang berputar secara bersamaan (umumnya
pada kecepatan yang berbeda).
Dalam tiga dimensi, vektor (pseudo-) biasa mewakili
torsi semuanya berasal dari rotasi vektor semu sangat kecil
)
dÿ. Representasi vektor semu ini adalah dual Hodge dari
bivektor yang sesuai. (Fakta bahwa mereka berubah sebagai
pseudovectors adalah petunjuk bahwa deskripsi bivector lebih
mendasar, karena tidak seperti pseudovectors, bivectors
berubah dengan cara alami di bawah inversi paritas [4].)
Representasi bivector dari semua ikatan kuantitas ini
didefinisikan dalam dimensi apa pun, tetapi representasi
vektor semu hanya masuk akal untuk n = 3. Seperti yang
diharapkan, untuk n = 2 ruang bivektor adalah satu dimensi,
yang mewakili derajat kebebasan skalar tunggal untuk rotasi
bidang.
dengan representasi besar-sumbu biasa dari rotasi 3D. Tetapi
untuk n = 4, ruang bivektor adalah enam dimensi – lebih dari
empat derajat kebebasan yang mungkin kita harapkan
berdasarkan intuisi 3D kita.
AKU AKU AKU. TENSOR INERTIA DALAM DIMENSI
ARBITRARY
Dalam tiga dimensi, tensor inersia adalah peta linier yang
memetakan vektor kecepatan sudut (pseudo-) ke vektor
momentum gular (pseudo-). Tetapi dalam dimensi sewenang-
wenang, kecepatan sudut dan momentum sudut diwakili oleh
bivektor, bukan vektor. Oleh karena itu, tensor inersia
2
digeneralisasikan ke tensor peringkat-4 I : ÿ2 (R n) ÿ ÿ (Rn )
yang memetakan bivektor ke bivektor secara linier. Dalam hal
indeks, ini menjadi9
Lij = 1 Iijklÿkl. (4)
2
Secara lebih abstrak, tensor inersia masih dapat dianggap
sebagai operator linear pada ruang hasil kali dalam nyata –
tetapi ruang hasil kali dalam tidak lagi berdimensi-n

5
Dalam konteks mekanika kuantum, fisikawan biasanya menggunakan
konvensi bahwa generator adalah operator Hermitian dan peta
eksponensial diberikan oleh A ÿ exp(ÿiAt/), di mana t adalah
parameter real kontinu seperti waktu, jarak, atau sudut. Pada artikel
ini, akan lebih mudah untuk tetap berpegang pada bilangan real
dan menggunakan konvensi fase yang lebih umum di kalangan matematikawan.
6 Aljabar Lie so(n) adalah isomorfik terhadap ÿ2 (Rn) sebagai ruang
vektor, tetapi sebagai ganti perkalian baji aljabar Lie memiliki braket
Lie yang diberikan oleh komutator matriks. Kami tidak membutuhkan
braket Lie ini di artikel ini.
7 Ketika kita mengatakan bahwa rotasi adalah "sangat kecil", maksud kita adalah bahwa
mereka cukup kecil sehingga kita dapat mengabaikan efek komposisi kecil non-
komutatif dan menjumlahkannya bersama-sama tanpa mencatat urutannya. Efek non-
komutatif tingkat tinggi ditangkap oleh struktur braket Lie yang disebutkan dalam
catatan kaki sebelumnya.
8
Dalam bahasa matriks, matriks antisimetrik n × n nyata A mewakili
N
bivektor sederhana jika ada vektor bukan nol v ÿ R sehingga
A[ijvk] ÿ 0. Hal ini berlaku untuk semua matriks antisimetrik n × n A
jika n ÿ 3, tetapi hanya untuk beberapa matriks seperti itu jika n ÿ
4. Secara geometris, ini berarti bahwa vektor v terletak pada bidang
unik di Rn yang direntang oleh bivektor sederhana A.
9 Faktor 1/2 in (4) tidak perlu. Kami hanya memasukkannya untuk
mencocokkan normalisasi standar untuk tensor peringkat-2 3D,
dan untuk menyejajarkan konvensi kami untuk produk dalam pada
ÿk(Rn) dan operator bintang Hodge bahwa kami menormalkan
kontraksi k indeks tensor yang benar-benar antisimetrik dengan 1/
k!. Tetapi kontraksi tensor pada (4) tidak merepresentasikan hasil
kali dalam pada ÿk(R n), jadi kita juga dapat secara konsisten menyerap faktor 1/2
normalisasi I.
Machine Translated by Google
4

ruang Euclidean fisik, tapi

N = n(n ÿ 1)- Tensor inersia memenuhi beberapa simetri indeks:
2 12
2
dimensi ruang produk dalam ÿ (R n) dari bivektor
pada R n. Operator linier ini akan berubah menjadi self- Iijkl = ÿIjikl = ÿIijlk Iijkl = Iklij Iijkl + (7a)
adjoint, seperti pada kasus 3D. Iiklj + Iiljk = 0. (7b)
Setelah semua pengaturan ini, sebenarnya sangat mudah (7c)
untuk menurunkan tensor inersia. Dalam dimensi arbitrer,
kita tidak memiliki perkalian silang, sehingga momentum Hebatnya, ini adalah simetri yang sama persis yang dipenuhi
sudut digeneralisasikan menjadi perkalian bivektor dari oleh tensor kelengkungan Riemann dalam relativitas umum
vektor r dan dm v: [5]. Namun ada satu perbedaan struktural penting antara
tensor inersia dan tensor kelengkungan Riemann: tensor

L = r ÿ (dmv ). inersia adalah tensor tetap tunggal, sedangkan tensor

(dm sekarang mewakili bentuk volume dimensi arbitrer ÿ(r)
d n r.) Dengan konvensi tanda pilihan kami, rumus rotasi
kaku 3D v = ÿ × r (yang pada akhirnya diturunkan dari dr =
dÿ × r) digeneralisasi menjadi vj = rkÿkj . Jadi
kelengkungan Riemann adalah bidang tensor yang
didefinisikan pada manifold ruangwaktu.10 Bagian terakhir
dari artikel ini mengeksploitasi paralel ini dengan
menggunakan alat dari relativitas umum untuk mempelajari
tensor inersia untuk benda tegar dalam ruangwaktu Euclidean.

IV. DEKOMPOSISI RICCI DARI TENSOR INERTIA

Lij = dm 2r[ivj] = dm 2r[i|rkÿk|j] (5)

= dm 2r[i|rkÿ|j]lÿkl A. tensor kelengkungan aljabar

Persamaan ini tampaknya menunjukkan bahwa Iijkl = dm
4r[iÿj]lrk . Tegasnya, rumus ini benar dalam arti bahwa ia
mengembalikan nilai L yang benar, tetapi mengandung
derajat kebebasan tak-fisik. Tensor inersia memasukkan
momentum sudut bivektor ÿ yang selalu antisimetri, jadi
setiap bagian Iijkl yang simetris di k dan l akan hilang secara
simetris ketika berkontraksi dengan ÿkl, dan hanya bagian
yang antisimetri di k dan l yang akan mempengaruhi output
L. Oleh karena itu, kami secara eksplisit antisymmetrize I
pada k dan l untuk lebih jelas menunjukkan derajat kebebasan
mana yang mempengaruhi momentum sudut:
Iijkl = dm ÿ4r[iÿj][krl]
= dm (ÿriÿjkrl + riÿjlrk + rj ÿikrl ÿ rj ÿilrk).
Tensor peringkat-4 apa pun yang memenuhi simetri indeks
(7), termasuk tensor inersia I yang diberikan oleh (6), disebut
sebagai tensor kelengkungan aljabar dengan analogi dengan
tensor kelengkungan Riemann [7].
Identitas (7c) dikenal sebagai Bianchi pertama atau aljabar
11
identitas. Mengikuti dari identitas (7a) dan (7b) jika n = 2
atau 3, tetapi merupakan kondisi bebas jika n ÿ 4 [7].
Identitas (7a) secara sederhana berarti bahwa tensor
2
kelengkungan aljabar dapat dianggap sebagai operator linier
pada ÿ (R n). Iden tity (7b) berarti operator ini self-adjoint,
sama seperti tensor inersia rank-2 dalam 3D. Oleh karena
N
itu, selalu ada basis ortonormal lengkap vektor2
eigen (i)
ÿ dengan nilai eigen I (i) (momen inersia utama) sehingga
(6) jika benda tegar berotasi dengan sudut (i) maka momentum
,
ini adalah sudutnya L = I (i )ÿ (i) kecepatan ÿ Vektor eigen .
generalisasi dari sumbu utama dalam 3D (tetapi dalam
dimensi yang lebih tinggi, mereka mungkin tidak

Dalam tiga dimensi, (4) dapat diformulasikan ulang dalam

besaran vektor semu sebagai
10 Ada poin halus di sini. Tensor I terintegrasi memang hanya satu
tensor tanpa ketergantungan spasial. Tetapi, seperti disebutkan di
1 1
L = ÿL = ÿ Iÿ = ÿ 2 atas, diferensial dm secara teknis merupakan bentuk volume
saya(ÿÿ) ,
2 diferensial sejati pada Rn (walaupun mesin penuh bentuk diferensial
agak berlebihan untuk integrasi di atas ruang Euclid).
Integran dalam tanda kurung dalam (6) secara eksplisit bergantung
atau dalam notasi indeks, pada posisi r dan jelas merupakan bidang tensor yang bervariasi di ruang angkasa.
Secara bersama-sama, bentuk diferensial penuh yang diintegrasikan
dalam (6) adalah bentuk volume bernilai tensor [6]. Bentuk diferensial
Lp = 41 ÿpij Iijklÿklqÿq. bernilai tensor tidak dapat diintegrasikan pada ruang lengkung umum,
karena tidak ada cara alami untuk memindahkan tensor secara paralel
pada setiap titik dalam manifold ke titik dasar yang sama sehingga
Membandingkan dengan persamaan pertama dalam (2), kita melihat bahwa
sepuluh sor dapat dijumlahkan bersama dalam ruang vektor yang sama . Tetapi
bentuk diferensial bernilai vektor yang didefinisikan pada manifold
saya (3D) = 1 ÿpij Iijklÿklq = dm r 2
ÿpq ÿ rprq , datar dapat diintegrasikan, karena ruang vektor pada setiap titik
pq 4 secara alami bersifat isomorfik.
11 Sesuai dengan hukum eponim Stigler, identitas aljabar Bianchi
ditemukan oleh Ricci.
yang setuju dengan (3).
Machine Translated by Google
sederhana dan mungkin tidak sesuai dengan rotasi dalam satu
bidang). Dalam relativitas umum, pendekatan ini (memikirkan
tensor kelengkungan Riemann sebagai op (M) yang berdampingan
generator pada ÿ2 sendiri dan mempertimbangkan komposisi eigende-
nya) mengarah ke klasifikasi ruangwaktu Petrov [8].
B. Produk Kulkarni-Nomizu
Akan lebih mudah untuk memperkenalkan produk Kulkarni
Nomizu bilinear dari tensor peringkat-2 simetris [7]. Jika A dan
B adalah tensor rank-2 simetris, maka produk Kulkarni Nomizu
mereka AB adalah tensor rank-4 yang ditentukan oleh
(A B)ijkl := AikBjl ÿ AilBjk ÿ AjkBil + AjlBik.
Perkalian Kulkarni-Nomizu apa pun adalah tensor kelengkungan
aljabar yang memenuhi (7) (walaupun kebalikannya tidak
benar).12 Perkalian Kulkarni-Nomizu simetris: AB ÿ B A.
Perhatikan bahwa
(A A)ijkl = 4Ai[kAl]j .
Untuk permukaan lengkung dua dimensi arbitrer, medan tensor
1
kelengkungan Rie mann sama dengan 4R gg, di mana R adalah
medan skalar Ricci (dua kali kelengkungan Gaussian) dan g
adalah medan tensor metrik. Semua bentuk ruang – manifold
Rieman nian dari dimensi apa pun dengan kelengkungan
penampang konstan – juga memiliki bidang tensor kelengkungan
1
Riemann sama dengan 4R gg, meskipun dalam kasus ini medan
skalar Ricci R konstan di atas manifold.
Perhatikan juga bahwa jika v adalah vektor peringkat-1, maka
(A (v ÿ v))ijkl = ÿ4v[iAj][kvl] .
Persamaan (6) disederhanakan menjadi ekspresi kompak
I = ÿ dm (r ÿ r).
C. Dekomposisi Ricci
Jika R adalah tensor kelengkungan aljabar pada R n bidang atau
tensor kelengkungan aljabar pada manifold n dimensi arbitrer
dengan tensor metrik g, maka R telah
12 Ada kemiripan formal antara relasi pergantian [J µÿ, Jÿÿ]
untuk aljabar Lie so(3, 1) (pembangkit dari grup (3 + 1)D
Lorentz) dan produk formal Kulkarni-Nomizu ÿi ÿ J, di mana
ÿ adalah metrik Minkowski datar dengan tanda tangan (ÿ,
+, +, +) (dan kami menggunakan konvensi fisikawan standar
untuk normalisasi generator, daripada konvensi
matematikawan yang digunakan dalam teks utama) [9].
Tetapi ekspresi yang terakhir sebenarnya bukan produk
Kulkarni-Nomizu yang sebenarnya, karena tensor J
antisimetri daripada simetris. Oleh karena itu, komutator
bukanlah tensor kelengkungan aljabar; itu antisimetri
daripada simetris di bawah pertukaran simultan (µ ÿ ÿ, ÿ ÿ ÿ), dan persyaratan (7b) dari kontraksi Ricci.
5
hanya satu jejak tunggal independen: simetri peringkat-2
Tensor (atau bidang tensor) yang dikontrak Ricci[7]13
(2)
R := Rijil. jl
Lima jejak tunggal lainnya sama dengan ±Rjl atau 0. Satu-satunya
jejak ganda independen dari R adalah skalar (atau medan skalar)
yang dikontrak Ricci
R (0) := R =ii(2)
Rijij .
Dari sini, kita dapat membentuk tensor (atau bidang tensor) yang
dikontrak Ricci tanpa jejak
1
Rˆ(2) := R (2) ÿ
R (0)g.
N
R dapat didekomposisi secara alami menjadi jumlah (langsung)
dari tiga representasi grup ortogonal yang tidak dapat direduksi
Pada):
R = S + E + C. (9)
Dekomposisi ini dikenal dengan dekomposisi Ricci [7]. Di sini S,
E, dan C sendiri adalah tensor kelengkungan aljabar (atau bidang
tensor) yang diberikan oleh
R(0)
S :=
2n(n ÿ 1)g g
1
E := Rˆ(2) G
nÿ2
C := R ÿ S ÿ E.
Untuk n = 2, hanya suku S yang terdefinisi dengan baik, jadi de
komposisinya sepele. Untuk n = 3, suku C menghilang secara
identik. Untuk n ÿ 4, ketiga suku tersebut secara umum
bukan nol.
Persamaan (9) secara matematis sepele dengan definisi C,
(8) tetapi dekomposisi Ricci berguna karena setiap istilah terletak
pada representasi tak tereduksi yang berbeda dari grup
ortogonal. Secara umum, suku S berisi derajat kebebasan
terkontraksi ganda dalam tensor kelengkungan aljabar yang
berubah di bawah rotasi sebagai skalar, suku E berisi derajat
kebebasan terkontraksi tunggal yang bertransformasi di bawah
rotasi sebagai tensor peringkat-2 simetris tanpa jejak , dan suku
C berisi derajat kebebasan tak terkontrak yang berubah di bawah
rotasi sebagai tensor peringkat-4.
Dalam relativitas umum, istilah S + E berisi informasi yang
sama dengan bidang tensor Ricci, yang mencerminkan respons
lokal ruang waktu terhadap materi, sedangkan C adalah bidang
tensor Weyl, yang sama sekali tidak dapat dilacak dan berisi
13 Jika kita mempertimbangkan peta linier dari ruang tensor
rank-2 simetris A ke ruang tensor kelengkungan aljabar
yang diberikan oleh A ÿ g A (di mana g adalah perkalian
dalam arbitrer pada R n), maka peta ini ternyata menjadi
persis transpos
dilanggar.
Machine Translated by Google
derajat kebebasan gravitasi yang merambat melalui ruang hampa.
Kita dapat menyederhanakan penjumlahan sebelumnya menjadi
S + E = Ag,
di mana tensor peringkat-2 simetris
1 1
A := Rˆ(2) +
nÿ2 2n(n ÿ 1)R (0)g
1 1
= R (2) ÿ
nÿ 2 2(n ÿ 1)R (0)g
dikenal sebagai tensor Schouten untuk tensor lengkung aljabar
[10].14 Tensor Schouten dan tensor Ricci sangat erat kaitannya,
dan keduanya dapat dengan mudah diturunkan dari yang lain;
mereka pada dasarnya hanyalah versi yang diskalakan ulang
dan disesuaikan jejak satu sama lain.
Untuk tensor inersia tetap (6), kita memiliki (pergeseran
notasi dari R ke I)
I (2) = dm (n ÿ 2)r ÿ r + r 2ÿ
I (0) = 2(n ÿ 1) dm r 2
12
ˆI (2) = (n ÿ 2) dm r ÿ r ÿ ÿ medan tensor Weyl menghilang (atau tidak terdefinisi), sehingga
rn
A = dm (r ÿ r).
Menggabungkan persamaan (10), (11), dan (8), kita melihat
bahwa I = S + E sehingga C = 0. Berbeda dengan tensor
kelengkungan Riemann dalam relativitas umum, komponen
Weyl dari tensor inersia untuk benda tegar rotasi menghilang
secara identik di semua dimensi.
Tensor inersia I sepenuhnya dicirikan oleh tensor Schouten
(11) melalui persamaan (8). Untuk n ÿ 3 dimensi, tensor inersia
1
hanya memiliki n(n + 1) derajat kebebasan bebas
2 tensor
Schouten-nya. Untuk n ÿ 4, ÿ 1) derajat kebebasan di a ini kurang
1 2 2 dan tensor inersia: tensor inersia dan Riemann tidak dapat
12n (n dari
tensor kelengkungan aljabar umum.
Selain itu, fakta bahwa bagian Weyl dari I menghilang
mengikuti langsung dari persamaan (8) dengan percobaan
simetri rotasi. Saya hanya bergantung pada tensor simetris
peringkat-2. Jadi derajat kebebasan I semua harus berubah di
bawah rotasi sebagai tensor simetris peringkat-2, yang berarti
bahwa mereka harus terletak pada representasi S ÿ E dari grup
orthog on. Ini menyiratkan bahwa saya hanya dapat memiliki
komponen S dan E bukan nol dalam dekomposisi Ricci, dan
14 Beberapa sumber menormalkan tensor Schouten menjadi dua kali
ekspresi ini atau memiliki tanda yang
berlawanan. 15 Tentu saja, ada perbedaan yang jauh lebih jelas antara
tensor Riemann dan tensor inersia: tensor Riemann adalah medan
tensor yang bervariasi pada manifold ruangwaktu, sedangkan tensor
tensor tetap. Jadi analoginya hanya kasar, dan tebakan ini mungkin
tidak masuk akal sejak awal.
Selain itu, kami tidak mengklaim bahwa tidak ada perbedaan
kualitatif antara dinamika benda tegar dalam n ÿ 3 dan n ÿ 4
6
komponen Weyl C-nya harus lenyap. Oleh karena itu, kami
dapat menyimpulkan bahwa C = 0 langsung dari persamaan (8)
tanpa secara eksplisit menghitung jejak I atau tensor Schouten
(10) (walaupun dalam kasus ini, melakukannya tidak sulit).
Persamaan (8) menyiratkan redundansi tinggi dalam
komponen tensor inersia I yang hanya mencerminkan fakta
bahwa sebagian besar "pekerjaan" yang saya lakukan hanyalah
mencocokkan indeks dengan benar dalam kontraksi tensor.
Jika tensor kelengkungan aljabar pada R n memiliki komponen
Weyl yang hilang – atau ekuivalen, jika dapat dinyatakan dalam
bentuk Aÿ – maka aksinya (4) hanya memetakan bivektor ÿ
menjadi dua kali bagian antisimetrik dari produk matriks Aÿ.
Jadi untuk menghitung momentum sudut L yang
berkorespondensi dengan bivektor kecepatan sudut eksplisit ÿ,
tindakan yang paling efisien seringkali melewatkan perhitungan
I dan langsung menggunakan persamaan (5).
Dalam tiga dimensi, tensor inersia 3D standar (3) dapat
dinyatakan dalam tensor Schouten (11) dengan
saya (3D)
= Tr(A)ÿ ÿ A.
Fenomenologi relativitas umum berubah secara kualitatif
antara n ÿ 3 dan n ÿ 4 dimensi ruangwaktu. Jika n ÿ 3, maka
tidak ada derajat kebebasan gravitasi yang dapat merambat
secara lokal melalui ruang hampa. Tetapi jika n ÿ 4, maka
(11)
kemungkinan bidang tensor Weyl nontrivial memungkinkan
fenomenologi yang lebih kaya, seperti gelombang gravitasi.
Kami telah menunjukkan bahwa dalam dimensi arbitrer, tensor
inersia untuk rotasi benda tegar adalah tensor kelengkungan
aljabar yang memiliki banyak kesamaan matematis dengan
tensor kelengkungan Riemann. Dari paralel ini saja, kita dapat
menebak (dengan analogi dengan relativitas umum) bahwa
kemungkinan tensor Weyl bukan nol dalam tensor inerta secara
kualitatif mengubah fenomenologi dinamika benda tegar dalam
n ÿ 4 dimensi . Tetapi kami telah menunjukkan bahwa tebakan
ini tidak benar, karena ada perbedaan krusial antara Riemann
memuat tensor Weyl bahkan dalam n ÿ 4 dimensi.15
UCAPAN TERIMA KASIH
Penulis berterima kasih kepada Brayden Ware dan Gavin
Hartnett untuk diskusi yang bermanfaat.
ukuran. Ada - terutama, fakta bahwa dalam n ÿ 4 dimensi terdapat
bivektor non-sederhana, yang menghasilkan rotasi yang tepat yang
tidak dibatasi dalam satu bidang tunggal. (Dalam empat dimensi, ini
terkadang disebut rotasi ganda.)
Kami hanya membuat klaim yang lebih sempit bahwa – berbeda
dengan relativitas umum – tensor Weyl tidak menyebabkan
fenomenologi baru secara kualitatif dalam dimensi yang lebih tinggi.
Machine Translated by Google

[1] ST Thornton dan JB Marion, Dinamika Klasik Partikel dan [6] D. Bini, C. Cherubini, RT Jantzen, and R. Ruffini,
Sistem, edisi ke-5. (Brooks/Cole, 2004). Jurnal Internasional Fisika Modern D 12, 1363 (2003), https://
[2] M. Nakahara, Geometry, Topology, and Physics, 2nd ed., doi.org/10.1142/S0218271803003785.
Graduate Student Series in Physics (Taylor & Francis [7] AL Besse, Manifold Einstein, Klasik dalam Matematika
Group, 2003). (Springer Berlin, 1987).
[3] Math Overflow, Apakah ada konvensi yang lebih disukai untuk mendefinisikan
produk irisan? [8] AZ Petrov, Relativitas Umum dan Gravitasi
(2011). 32, 1665–1685 (2000).
[4] S. Jensen Dan J. Poling, [9] M. Srednicki, Teori Medan Kuantum (Cambridge University
Pengajaran fisika rotasi dengan bivektor (2022). Press, 2007).
[5] M. Berrondo, J. Greenwald, dan C. Ver haaren, [10] W. Kühnel dan H.-B. Rademacher, dalam Perkembangan
American Journal of Physics 80, 905 (2012), https:// Terkini dalam Pseudo-Riemannian Geometry, diedit oleh DV
doi.org/10.1119/1.4734014. Alekseevskiÿÿ dan H. Baum (Masyarakat Matematika
Eropa, 2008) hlm. 261–298.