Alir Ricci: Perbedaan antara revisi
Tag: Pengembalian |
kTidak ada ringkasan suntingan |
||
(Satu revisi perantara oleh satu pengguna lainnya tidak ditampilkan) | |||
Baris 1: | Baris 1: | ||
{{rapikan}} |
{{rapikan}} |
||
{{tanpa referensi}} |
|||
Dalam [[geometri diferensial]], '''alir Ricci''' adalah [[alir geometri]] instrinsik - suatu proses yang mendeformasi metrik [[manifold Riemannian]] - dalam hal ini dalam cara formal analog dengan difusi kalor, dengan demikian melicinkan ketakteraturan dalam metrik. Alir Ricci memegang peranan penting dalam pembuktian [[dugaan Poincaré]], salah satu dari tujuh [[Problem Hadiah Millennium]] yang mana [[Institut Matematika Clay]] menawarkan hadiah $1,000,000 untuk solusi yang benar; lihat [[Solusi Dugaan Poincaré]], dan dalam konteks ini juga disebut |
Dalam [[geometri diferensial]], '''alir Ricci''' adalah [[alir geometri]] instrinsik - suatu proses yang mendeformasi metrik [[manifold Riemannian]] - dalam hal ini dalam cara formal analog dengan difusi kalor, dengan demikian melicinkan ketakteraturan dalam metrik. Alir Ricci memegang peranan penting dalam pembuktian [[dugaan Poincaré]], salah satu dari tujuh [[Problem Hadiah Millennium]] yang mana [[Institut Matematika Clay]] menawarkan hadiah $1,000,000 untuk solusi yang benar; lihat [[Solusi Dugaan Poincaré]], dan dalam konteks ini juga disebut |
||
'''alir Ricci-Hamilton'''. |
'''alir Ricci-Hamilton'''. |
||
Baris 15: | Baris 16: | ||
dimana <math>R_\mathrm{avg}</math> adalah kelengkungan skalar rata-rata (yang diperoleh dari tensor Ricci dengan mengambil trace) dan <math>n</math> adalah dimensi manifold. Persamaan ternormalisasi ini mengekalkan volume metrik. |
dimana <math>R_\mathrm{avg}</math> adalah kelengkungan skalar rata-rata (yang diperoleh dari tensor Ricci dengan mengambil trace) dan <math>n</math> adalah dimensi manifold. Persamaan ternormalisasi ini mengekalkan volume metrik. |
||
Faktor −2 tak begitu signifikan, karena ia dapat diubah menjadi sembarang bilangan riil tak nol dengan cara menskala ''t''. Namun, tanda minus menjamin bahwa alir Ricci terdefinisi baik untuk waktu positip yang cukup kecil; jika tanda berubah maka alir Ricci akan terdefinisi untuk waktu negatip kecil. (Hal ini serupa dengan cara dimana persamaan panas dapat mengalir maju dalam waktu, |
Faktor −2 tak begitu signifikan, karena ia dapat diubah menjadi sembarang bilangan riil tak nol dengan cara menskala ''t''. Namun, tanda minus menjamin bahwa alir Ricci terdefinisi baik untuk waktu positip yang cukup kecil; jika tanda berubah maka alir Ricci akan terdefinisi untuk waktu negatip kecil. (Hal ini serupa dengan cara dimana persamaan panas dapat mengalir maju dalam waktu, tetapi tidak mengalir mundur dalam waktu.) |
||
Secara informal, alir Ricci cenderung mengekspansi daerah melengkung negatip dari manifold, dan mengontraksi daerah melengkung positip. |
Secara informal, alir Ricci cenderung mengekspansi daerah melengkung negatip dari manifold, dan mengontraksi daerah melengkung positip. |
Revisi terkini sejak 8 Mei 2023 05.47
![]() | artikel ini perlu dirapikan agar memenuhi standar Wikipedia. |
Dalam geometri diferensial, alir Ricci adalah alir geometri instrinsik - suatu proses yang mendeformasi metrik manifold Riemannian - dalam hal ini dalam cara formal analog dengan difusi kalor, dengan demikian melicinkan ketakteraturan dalam metrik. Alir Ricci memegang peranan penting dalam pembuktian dugaan Poincaré, salah satu dari tujuh Problem Hadiah Millennium yang mana Institut Matematika Clay menawarkan hadiah $1,000,000 untuk solusi yang benar; lihat Solusi Dugaan Poincaré, dan dalam konteks ini juga disebut alir Ricci-Hamilton.
Definisi Matematika
[sunting | sunting sumber]Diberikan manifold Riemannian dengan tensor metrik , kita dapat menghitung tensor Ricci , yang menghimpun rerata kelengkungan bagian ke dalam "trace" dari tensor kelengkungan Riemann. Jika kita meninjau tensor metrik (dan tensor Ricci terkait) menjadi fungsi peubah yang biasanya disebut "waktu", maka alir Ricci dapat didefinisikan dengan persamaan evolusi geometri
Alir Ricci ternormalisasi memiliki makna untuk manifold kompak dan diberikan oleh persamaan
dimana adalah kelengkungan skalar rata-rata (yang diperoleh dari tensor Ricci dengan mengambil trace) dan adalah dimensi manifold. Persamaan ternormalisasi ini mengekalkan volume metrik.
Faktor −2 tak begitu signifikan, karena ia dapat diubah menjadi sembarang bilangan riil tak nol dengan cara menskala t. Namun, tanda minus menjamin bahwa alir Ricci terdefinisi baik untuk waktu positip yang cukup kecil; jika tanda berubah maka alir Ricci akan terdefinisi untuk waktu negatip kecil. (Hal ini serupa dengan cara dimana persamaan panas dapat mengalir maju dalam waktu, tetapi tidak mengalir mundur dalam waktu.)
Secara informal, alir Ricci cenderung mengekspansi daerah melengkung negatip dari manifold, dan mengontraksi daerah melengkung positip.
Hubungan Alir Ricci dengan Difusi
[sunting | sunting sumber]Untuk melihat mengapa persamaan evolusi yang mendefinisikan alir Ricci adalah sungguh-sungguh suatu jenis persamaan difusi nonlinier, kita dapat meninjau kasus khusus manifold-dua (riil) secara lebih rinci.
Sembarang tensor metrik pada manifold-dua dapat ditulis berhubungan dengan peta koordinat isotermal eksponensial dalam bentuk
(Koordinat ini memberi contoh peta koordinat pemetaan konformal karena sudut, bukan jarak, terwakilkan dengan benar.)
Cara yang paling mudah menghitung tensor Ricci dan operator Laplace-Beltrami untuk manifold-dua Riemannian adalah dengan cara menggunakan metode bentuk diferensial Élie Cartan. Ambil medan koframe
sehingga tensor metrik menjadi
Kemudian, diberikan sembarang fungsi halus , hitung turunan eksterior
Ambil dual Hodge
Ambil turunan eksterior yang lain
(dimana kita menggunakan sifat anti-komutatif dari perkalian eksterior. Yakni,
Ambil dual Hodge yang lain memberikan
yang memberikan pernyataan yang diperlukan untuk operator Laplace/Beltrami
Untuk menghitung tensor kelengkungan, kita mengambil turunan eksterior dari medan kovektor pembuat koframe:
Dari ekspresi ini, kita dapat membacakan hanya satu-bentuk hubungan tak gayut
Ambil turunan eksterior yang lain
Hal ini memberi dua-bentuk kelengkungan
dari mana kita dapat membacakan hanya komponen tak gayut linier dari tensor Riemann menggunakan
Katakanlah
dari mana hanya komponen tak nol dari tensor Ricci adalah
Dari sini, kita menemukan komponen berhubungan dengan kobasis koordinat, katakanlah
Namun, tensor metrik adalah juga diagonal, dengan
dan setelah beberapa manipulasi dasar, kita memperoleh pernyataan yang elegan untuk alir Ricci:
Hal ini adalah perwujudan yang analog dengan ketenaran persamaan difusi, persamaan kalor
dimana sekarang adalah Laplacian biasa pada bidang Euklidean.
Pembaca dapat berkeberatan bahwa persamaan kalor adalah tentunya persamaan turunan parsial linier---dimana nonlinieritas yang dijanjikan dalam persamaan turunan parsial mendefinisikan alir Ricci?
Jawabannya adalah bahwa nonlinieritas ada karena operator Laplace-Beltrami gayut pada fungsi yang sama p yang kita gunakan untuk mendefinisikan metrik. Namun, nyatakan bahwa bidang Euklidean datar diberikan dengan mengambil . Sehingga jika adalah kecil dalam ukuran, kita dapat meninjaunya untuk mendefinisikan deviasi kecil dari geometri bidang datar, dan jika kita menahan hanya suku-suku orde pertama dalam perhitungan eksponensial, alir Ricci pada dua-dimensi hampir seluruhnya manifold Riemann datar menjadi persamaan kalor dua dimensi.