Zona Fisika | Blogger Lampung Tengah
Perhitungan Besaran Fisis Dinamika Fluida
Relativistik dengan Menggunakan Lattice Gauge
Theory
Tugas Akhir
Diajukan sebagai salah satu syarat untuk meraih gelar Sarjana Sains
Andhika Oxalion
0303020139
Departemen Fisika
Fakultas Matematika dan Ilmu Pengetahuan Alam
Universitas Indonesia
Depok
2007
Lembar Persetujuan
Judul Skripsi
:
Perhitungan Besaran Fisis Dinamika Fluida Relativistik dengan
Menggunakan Lattice Gauge Theory
Nama
:
Andhika Oxalion
NPM
:
0303020139
Skripsi ini telah diperiksa dan disetujui
Depok, Mei 2007
Mengesahkan
Pembimbing I
Pembimbing II
Dr. L. T. Handoko
Dr. Terry Mart
Penguji I
Penguji II
Dr. Anto Sulaksono
Dr. Agus Salam
Kata Pengantar
Teori Medan Kuantum (Quantum Field Theory), alat kita untuk menjelaskan
gaya fundamental, diformulasikan dalam ruang-waktu kontinu dengan memperlakukan ruang dan waktu dalam dimensi yang setara. Di sisi lain, dinamika
fluida klasik mengandung besaran yang bergantung ruang dan waktu. Hal ini
menimbulkan ide mengenai kemungkinan dinamika fluida diformulasikan ulang
menggunakan teori medan. Kemudian, jika dapat dilakukan, harus dapat dihitung besaran-besaran fisis yang ada dalam dinamika fluida tersebut.
Sebelumnya, penulis lain telah berhasil memformulasikan dinamika fluida menggunakan teori medan, yaitu mencari Lagrangian dinamika fluida yang bila diproses lebih lanjut akan menghasilkan persamaan dinamika fluida relativistik. Pada
tugas akhir ini, penulis menghitung besaran-besaran fisis dinamika fluida berdasarkan Lagrangian tersebut. Perhitungan besaran fisis ini dilakukan dengan
menggunakan Lattice Gauge Theory di mana ruang dan waktu kontinu pada
teori medan diganti dengan kumpulan titik diskrit pada kisi empat dimensi. Keuntungan yang diperoleh adalah, perhitungan yang rumit secara analitik dapat
diperoleh secara numerik. Penulis secara khusus mengucapkan terima kasih kepada semua pihak yang telah membantu penyelesaian tugas akhir ini baik secara
langsung maupun tidak langsung, antara lain:
1. Dr. L.T. Handoko selaku pembimbing I yang telah membimbing penulis
mulai dari awal diskusi hingga penyelesaian tugas akhir ini serta atas ideide, dukungan dan saran yang diberikan.
2. Dr. Terry Mart selaku pembimbing II dan ketua peminatan Fisika Nuklir
dan Partikel atas bimbingan dan dukungan yang diberikan baik itu selama
kuliah maupun pengerjaan tugas akhir ini.
iii
3. Dr. Anto Sulaksono dan Dr. Agus Salam selaku penguji I dan II atas
diskusi dalam penyelesaian tugas akhir ini.
4. Orang tua dan kakak Alvin Stanza atas saran dan bantuan yang diberikan
semasa kuliah.
5. Rekan-rekan di Lab Teori : Ryky, Victor, Juju, Beriya, Popo, Freddy, Handhika, Arum, Ardy, Nita, Harykin, Chandi, Pak Ayung, Pak Sulaiman, Mas
Parada.
6. Teman-teman fisika angkatan 2003 dan teman-teman di KMK.
7. Special thanks, kepada Heribertus Bayu Hartanto serta Nowo Riveli yang
sungguh membantu penulis mengejar materi dan juga dalam pemrograman.
Kepada Arif Budi Mulyawan yang telah bersedia meminjamkan komputernya untuk menjalankan program.
8. Juga semua pihak yang tidak dapat disebutkan di sini atas dukungan dan
doa kepada penulis selama penyelesaian tugas akhir ini.
Penulis menyadari bahwa karya tulis ini masih jauh dari sempurna, maka dari itu
penulis mengharapkan kritik dan saran dari para pembaca demi perkembangan
riset di Fisika UI.
Depok, Mei 2007
Andhika Oxalion
iv
Abstrak
Dinamika fluida berbasis teori medan diformulasikan dalam kisi ruang waktu
diskrit. Dengan formulasi tersebut dihitung besaran fisis dinamika fluida relativistik dengan menggunakan simulasi Metropolis Monte Carlo. Formulasi ini
memberikan pemahaman dasar untuk perhitungan bermacam-macam observable
dari fenomena yang dimodelkan dengan Lagrangian dinamika fluida di mana tidak ada jaminan teori perturbasi berlaku.
Kata kunci: Lagrangian dinamika fluida, lattice gauge theory, interaksi sistem
multi fluida
viii+30 hlm.; lamp.
Daftar Acuan: 13(1993-2006)
Abstract
Fluid dynamics based on the gauge field theory is formulated on a discrete spacetime lattice. Using this formulation, physical observable of relativistic fluid dynamics is calculated using Metropolis Monte Carlo simulation. This formulation
provides basic knowledge to calculate some observables for phenomenon modeled
with the fluid dynamics Lagrangian where no guarantee that perturbation theory
can be applied.
Keywords: Fluid dynamics Lagrangian, lattice gauge theory, multi-fluids interaction
viii+30 pp.; appendices.
References: 13(1993-2006)
v
Daftar Isi
Kata Pengantar
iii
Abstrak
v
Daftar Isi
vi
Daftar Gambar
viii
1 Pendahuluan
1
1.1 Latar Belakang . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1
1.2 Perumusan Masalah
. . . . . . . . . . . . . . . . . . . . . . . . .
1
1.3 Metode Penelitian . . . . . . . . . . . . . . . . . . . . . . . . . . .
2
1.4 Tujuan Penelitian . . . . . . . . . . . . . . . . . . . . . . . . . . .
2
2 Dinamika Fluida Berbasis Teori Medan
4
2.1 Dinamika Fluida Klasik . . . . . . . . . . . . . . . . . . . . . . .
4
2.2 Teori Medan Gauge untuk Dinamika Fluida . . . . . . . . . . . .
6
2.3 Sistem Multi Fluida . . . . . . . . . . . . . . . . . . . . . . . . . .
10
3 Teori Medan Gauge pada Lattice
12
3.1 Path Integral dalam Mekanika Kuantum . . . . . . . . . . . . . .
13
3.2 Teori Medan Kuantum Menggunakan Path Integral . . . . . . . .
15
3.3 Diskritisasi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
18
3.4 Transformasi Gauge pada Lattice . . . . . . . . . . . . . . . . . .
19
3.5 Observable . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
23
3.6 Path Integral dan Mekanika Statistik . . . . . . . . . . . . . . . .
24
vi
4 Hasil dan Pembahasan
26
5 Kesimpulan
30
A Evaluasi Path Integral dengan Metode Monte Carlo
31
B Pemrograman
35
B.1 Perhitungan Matriks Kompleks . . . . . . . . . . . . . . . . . . .
35
B.2 Generator Matriks SU(2) . . . . . . . . . . . . . . . . . . . . . . .
40
B.3 Program Simulasi pada Lattice . . . . . . . . . . . . . . . . . . .
41
B.4 Program Iterasi Z terhadap |v| . . . . . . . . . . . . . . . . . . .
44
Daftar Acuan
46
vii
Daftar Gambar
3.1 Diskritisasi interval waktu . . . . . . . . . . . . . . . . . . . . . .
14
3.2 Lintasan partikel . . . . . . . . . . . . . . . . . . . . . . . . . . .
15
3.3 Lattice atau kisi 3 dimensi . . . . . . . . . . . . . . . . . . . . . .
18
3.4 Lintasan C antara x dan y . . . . . . . . . . . . . . . . . . . . . .
21
3.5 Uµνx pada sebuah Plaquette . . . . . . . . . . . . . . . . . . . . .
23
4.1 Nilai Z pada kisi 104 site |v| = 0, 8c hingga 0.9c . . . . . . . . . .
27
4
28
4
28
4
29
4.2 Nilai Z pada kisi 30 site dengan |v| = 0.8 hingga 0.9c . . . . . .
4.3 Nilai Z pada kisi 30 site dengan |v| = 0 hingga 0.5c . . . . . . .
4.4 Nilai F pada kisi 30 site dengan |v| = 0 hingga 0.5c . . . . . . .
viii
Bab 1
Pendahuluan
1.1
Latar Belakang
Dinamika fluida klasik diturunkan dari Hukum II Newton dan hukum kekekalan massa. Persamaan tersebut nonlinier sehingga mengakibatkan solusi sulit
dicari karena solusinya tidak dapat disuperposisikan[1]. Sementara itu, banyak
sistem-sistem yang dapat dimodelkan dengan menggunakan dinamika fluida, misalnya kosmologi turbulen, quark-gluon plasma, dll yang memerlukan solusi tersebut untuk melakukan perhitungan-perhitungan berikutnya. Sebagai alternatif,
dinamika fluida dimodelkan sebagai Lagrangian boson yang invarian terhadap
transformasi gauge. Metode ini telah diaplikasikan pada sistem fluida yang berinteraksi dengan soliton yaitu protein α heliks yang berinteraksi dengan biofluida
[2]. Lagrangian yang invarian terhadap transformasi gauge tersebut dapat diformulasikan untuk sistem relativistik yang invarian terhadap transformasi Lorentz
sehingga dengan menggunakan persamaan Euler-Lagrange dapat diperoleh persamaan dinamika fluida relativistik [3]. Dinamika fluida berbasis teori medan ini
juga dapat mendeskripsikan sistem multi fluida dengan menggunakan Lagrangian
yang invarian terhadap transformasi gauge non-Abelian.
1.2
Perumusan Masalah
Pendekatan alternatif untuk formulasi dinamika fluida dari first principle telah
dilakukan dengan menggunakan mekanika analitik. Persamaan dinamika fluida diturunkan sebagai persamaan gerak dari Lagrangian boson yang invarian
1
terhadap transformasi gauge dengan menggunakan persamaan Euler-Lagrange.
Interaksi pada sistem multifluida dimodelkan dengan menggunakan Lagrangian
boson yang invarian terhadap transformasi gauge non-Abelian yang merepresentasikan fluida murni tanpa materi. Perhitungan fungsi partisi dan observable
energi bebas interaksi fluida dilakukan dengan mengevaluasi path integral. Namun besarnya konstanta kopling g tidak diketahui, sehingga path integral secara
umum harus dihitung secara non-perturbatif.
Perhitungan secara non-perturbatif dilakukan dengan menggunakan Lattice Gauge Theory. Formulasi Quantum Chromodynamics dalam ruang-waktu diskrit
atau sering disebut dengan Lattice QCD digunakan untuk menghitung besaranbesaran QCD pada energi rendah di mana konstanta kopling QCD sangat besar. Pada Lattice Gauge Theory, aksi disusun pada kisi ruang dan waktu diskrit
sehingga memungkinkan path integral dihitung secara numerik dengan menggunakan metode Monte Carlo. Dengan menghitung observable dari Lagrangian
ini maka diharapkan kita bisa mempelajari perilaku atau sifat-sifatnya terutama
dalam kaitannya dengan besar konstanta kopling g maupun kecepatan.
1.3
Metode Penelitian
Penelitian ini bersifat teoritik. Teori yang digunakan ialah dinamika fluida dengan pendekatan teori medan. Untuk memperoleh observable dari teori ini, aksi
yang menggambarkan interaksi fluida murni terlebih dahulu diformulasikan dalam ruang dan waktu diskrit. Setelah itu dapat dihitung fungsi partisi dengan
mengevaluasi path integral menggunakan metode Metropolis Monte Carlo.
1.4
Tujuan Penelitian
Penelitian ini bertujuan untuk mempelajari teknik dasar perhitungan Lattice Gauge Theory dengan menggunakan metode Metropolis Monte Carlo dan implementasinya pada pemrograman serta menghitung besaran fisis dari dinamika fluida
relativistik dengan metode Lattice Gauge Theory. Penelitian difokuskan pada
formulasi teori gauge untuk fluida pada kisi ruang waktu diskrit dan besaran fisis
2
energi bebas dari interaksi fluida murni yang direpresentasikan dengan medan
gauge dalam Lagrangian boson. Perhitungan besaran fisis ini dapat dilakukan
dengan terlebih dahulu mencari fungsi partisi dari sistem, kemudian besaran fisis
tersebut dapat dihitung dengan metode mekanika statistik.
3
Bab 2
Dinamika Fluida Berbasis Teori
Medan
Pada bab ini dibahas secara singkat teori dinamika fluida secara klasik maupun
dengan pendekatan berbasis teori medan.
2.1
Dinamika Fluida Klasik
Fluida didefinisikan sebagai materi yang mengalami perubahan bentuk secara
kontinu bila diberi tegangan geser. Dinamika fluida merupakan cabang dari ilmu
fisika yang mempelajari aliran fluida (cairan dan gas). Persamaan dinamika fluida
klasik, seperti mekanika klasik pada umumnya, diturunkan berdasarkan hukum
II Newton dan hukum kekekalan massa
∂~v
~ + µ∇
~ 2~v
~ v = − 1 ∇P
+ (~v · ∇)~
∂t
ρ
(2.1)
dengan ~v ialah kecepatan fluida, P ialah tekanan, ρ ialah kerapatan dan µ ialah
koefisien viskositas. Hukum kekekalan massa menyatakan bahwa fluida tidak
dapat diciptakan maupun dimusnahkan. Bila kita memberi gangguan pada fluida,
massa fluida sebelum dan sesudah gangguan haruslah tetap. Pandang suatu
fluida dengan volume V dengan S merupakan permukaan tertutup dari volume
R
V . Massa fluida ialah V ρdV , sementara fluks massa fluida pada permukaan
H
tertutup S ialah (ρ~v ) · dS sehingga hukum kekekalan massa dinyatakan sebagai
berikut
I
∂
(ρ~v ) · dS = −
∂t
4
Z
ρdV
V
(2.2)
dengan teorema Gauss diperoleh,
Z
Z
∂
~
ρdV
∇ · (ρ~v )dV = −
∂t V
V
Z
∂ρ ~
+ ∇ · (ρ~v ) dV = 0
∂t
V
∂ρ ~
+ ∇ · (ρ~v ) = 0
∂t
(2.3)
yang tidak lain merupakan persamaan kontinuitas. Hukum II Newton menyatakan kekekalan momentum
2
d ~x
F~ = m 2
(2.4)
dt
Terdapat dua jenis gaya yang dapat bekerja pada fluida yang bergerak, yaitu
1. Gaya badan (body force), yang bekerja langsung pada elemen volume fluida.
Contohnya adalah gaya gravitasi, listrik dan magnet.
2. Gaya permukaan, (surface force) yang bekerja langsung pada permukaan
elemen fluida. Hanya ada 2 sumber gaya jenis ini: (a) distribusi tekanan
pada permukaan dan (b) distribusi regangan dan tegangan normal pada
permukaan elemen fluida.
Untuk aliran fluida bermassa m → ρV dan percepatan,
d2~x
D~v
→
dt2
Dt
dengan material derivative
D
∂
~
=
+ ~v · ∇.
Dt
∂t
Maka hukum II Newton untuk aliran fluida dapat ditulis menjadi
ρ
D~v
F~
=
Dt
V
(2.5)
Gaya yang fundamental pada aliran fluida ialah gradien tekanan yang dapat
ditulis sebagai berikut,
∂
Fi
=−
Πik ,
V
∂xk
dimana tensor tekanan, Πik diberikan oleh
Πik = P δik − σik ,
5
(2.6)
(2.7)
dengan P tekanan dan σik ialah tensor viskositas. Tensor viskositas secara umum
merupakan tensor asimetrik. Tensor viskositas dapat ditulis [4],
∂vk 2 ~
∂vi
~ · ~v ,
+
− δij ∇ · ~v + νδik ∇
σij = η
∂xk
∂xi
3
(2.8)
dengan η dan ν masing-masing merupakan koefisien viskositas kinematis dan
dinamis. Dengan melakukan substitusi persamaan (2.6), (2.7) dan (2.8) ke hukum
II Newton untuk fluida pada persamaan (2.5) dapat diperoleh,
1
∂~v
2
~ v = −∇P
~ + η∇
~ ~v + ν + η ∇(
~ ∇
~ · ~v ).
+ (~v · ∇)~
ρ
∂t
3
(2.9)
~ · ~v = 0 dan µ ≡ η/ρ didapatkan persamaan gerak
Untuk fluida inkompresibel ∇
untuk fluida inkompresibel
∂~v
~ + µ∇
~ 2~v
~ v = − 1 ∇P
+ (~v · ∇)~
∂t
ρ
(2.10)
seperti pada persamaan (2.1).
2.2
Teori Medan Gauge untuk Dinamika Fluida
Persamaan dinamika fluida merupakan persamaan nonlinier yang menggambarkan aliran fluida dengan kecepatan aliran ~v ≡ ~v (t, xi ), dimana xi adalah koordinat
3 dimensi. Hal ini memungkinkan persamaan tersebut diperumum sebagai per-
samaan nonlinier dalam koordinat 4 dimensi xµ ≡ (x0 , xi ) = (xt, ~r) = (ct, x, y, z)
dengan kecepatan ~v ≡ ~v (xµ ) Dalam hal ini digunakan ruang Minkowski dengan
tensor metrik gµν = (1, −~1) = (1, −1, −1, −1) sehingga x2 = xµ xµ = xµ gµν xν =
x20 − x2 = x20 − x21 − x22 − x23 . Karena diturunkan dari hukum II Newton maka,
secara prinsip, persamaan gerak fluida dapat diturunkan melalui mekanika analitik dengan prinsip aksi minimum. Penurunan telah dikerjakan dalam sejumlah
paper demikian pula dengan formulasi dinamika fluida menggunakan Lagrangian
berdasarkan simetri gauge. Beberapa paper bahkan menganalogikannya dengan
persamaan Maxwell. Namun perlu ditekankan bahwa persamaan dinamika fluida dan persamaan Maxwell merupakan persamaan untuk sistem yang berbeda,
analogi yang dimaksud adalah dalam konstruksi Lagrangian dinamika fluida. Pada subbab ini akan dijelaskan konstruksi persamaan dinamika fluida berdasarkan
6
first principle mekanika analitik yaitu dengan Lagrangian density. Karena persamaan gerak fluida secara umum bergantung pada ruang dan waktu, maka dapat
digunakan metode pada teori medan relativistik yang memperlakukan ruang dan
waktu dalam dimensi yang sama. Persamaan dinamika fluida diturunkan sebagai persamaan gerak dari Lagrangian boson yang invarian terhadap transformasi
gauge dan transformasi Lorentz melalui persamaan Euler-Lagrange.
Lagrangian untuk medan boson yang invarian terhadap transformasi gauge lokal
ialah
L = (∂µ φ∗ )(∂ µ φ) + V (φ) + LA
(2.11)
dimana
1
LA = − Fµν F µν + gJµ Aµ + g 2 Aµ Aµ φ∗ φ
(2.12)
4
dengan tensor kuat medan Fµν ≡ ∂µ Aν − ∂ν Aµ , sementara arus vektor empatnya,
Jµ = i [φ(∂µ φ∗ ) − φ∗ (∂µ φ)]
(2.13)
memenuhi kekekalan arus ∂ µ Jµ = 0. Suku-suku tambahan pada LA muncul seba-
gai konsekuensi sifat invarian Lagrangian boson tersebut terhadap transformasi
gauge lokal U = exp[−iθ(x)] sehingga,
φ → φ′ = e−iθ(x) φ ≈ (1 − iθ(x))φ
(2.14)
1
Aµ → Aµ ′ = Aµ + (∂µ θ)
(2.15)
g
Seperti disebutkan dalam [1], kita dapat melihat kemiripan bentuk persamaan
dinamika fluida dengan persamaan Maxwell dengan mengganti medan magnet
dan medan listrik dengan vektor Lamb dan vortisitas
~ → ~l = ~ω × ~v
E
~ → ~ω = ∇
~ × ~v
B
sehingga persamaan ”Maxwell” untuk fluida ialah
~ · ~l = ρ˜
∇
~ × ~l = − ∂~ω
∇
∂t
~
∇ · ~ω = 0
~
~ × ~ω = α~j + α ∂ l
∇
∂t
7
dengan α = 1/~v 2. Hasil ini memberi petunjuk bahwa kita dapat mengkonstruksi
Lagrangian yang bentuknya mirip dengan Lagrangian elektrodinamika kuantum
yaitu LA pada persamaan (2.12). Hal ini dibuktikan dengan mengambil bentuk
spesifik dari medan gauge,
~
Φ, A
1 2
|~v| , −~v
=
2
Aµ =
(2.16)
dengan ~v ialah kecepatan fluida. Bentuk medan gauge tersebut jelas tidak memenuhi transformasi Lorentz. Namun, dengan pemilihan ini tampak jelas bahwa
pada dinamika fluida, potensial skalar merupakan energi total per satuan massa
berupa rapat energi kinetik, sementara potensial vektor menggambarkan dinamika dalam suku kecepatan. Dengan demikian, LA pada persamaan (2.12) tidak
lain ialah Lagrangian yang menghasilkan persamaan dinamika fluida dengan pemilihan medan gauge di atas, LA = LDF .
Berdasarkan prinsip aksi minimum δS = 0 dengan S =
persamaan Euler-Lagrange
∂ν
R
d4 xLDF dapat diperoleh
∂LDF
∂LDF
=0
−
ν
∂(∂ Aµ )
∂Aµ
(2.17)
Dengan melakukan substitusi persamaan (2.12) ke persamaan (2.17) maka dihasilkan persamaan gerak dalam Aµ ,
∂ν (∂ µ Aν ) − ∂ 2 Aµ + gJµ = 0.
(2.18)
dengan Aµ merepresentasikan medan fluida. Relasi nontrivial diperoleh untuk
µ 6= ν sehingga dapat dihasilkan persamaan gerak fluida.
Untuk memperoleh persamaan gerak yang relativistik, kita dapat mendefinisikan
~ dengan potensial skalar dan vektornya sebagai berikut
medan gauge Aa = Φ, A
µ
[3],
|~v|2
φ,
1 − β2
~ = p −~v φ,
A
1 − β2
Φ =
8
(2.19)
(2.20)
dengan β = |~v | /c. Suku pertama pada persamaan (2.19) menunjukkan versi
relativistik energi kinetik persatuan massa. Substitusi persamaan (2.19) dan
(2.20) ke persamaan (2.18), diperoleh persamaan gerak yang relativistik,
∂~v ~ |~v |2
p
−∇
= g J~˜
2
2
1−β
1 − β ∂t
1
dengan J˜i ≡
R
(2.21)
R
dxi J0 = − dtJi . Kita dapat memperoleh bentuk nonrelativistik
dengan mengambil |~v | ≪ c dan menggunakan relasi
1~ 2
~ v + ~v × (∇
~ × ~v )
∇ |~v| = (~v · ∇)~
2
sehingga didapatkan,
∂~v
~˜
~ v = −~v × (∇
~ × ~v ) + g J,
+ (~v · ∇)~
∂t
(2.22)
Dengan demikian persamaan dinamika fluida untuk sembarang gaya konservatif telah dibentuk menggunakan teori medan gauge. Terlihat pada persamaan
~ × ~v ) yang
(2.22) terdapat gaya tambahan, yaitu pada suku g J~˜ dan suku ~v × (∇
~ × ~v. Untuk fluida irotasional ∇
~ × ~v = 0 dan
relevan untuk fluida rotasional ∇
~ · ~v = 0. Persamaan (2.21) invarian terhadap transformasi
fluida inkompresibel ∇
Lorentz,
xi → x′i = p
xi − vi t
1 − |~v|2 /c2
,
p
~˜
dan J~˜ → J~˜′ = 1 − |~v |2 /c2 J.
t − xi /vi
t → t′ = p
1 − |~v|2 /c2
Dari model yang dibuat untuk dinamika fluida dengan menggunakan teori medan
gauge, tampak adanya interaksi antara fluida (Aµ ) dengan materi di dalamnya
(φ). Dari suku pure gauge 1/4Fµν F µν tampak adanya interaksi fluida dengan
fluida itu sendiri. Sementara itu, potensial pada Lagrangian menggambarkan
interaksi antar medan boson. Pada dinamika fluida klasik, arus vektor empat
Jµ = (ρ, ρ~v ) menggambarkan distribusi makroskopik dari kerapatan dan vektor
rapat arus. Sementara dalam pendekatan ini, Jµ menggambarkan fungsi distribusi materi dalam fluida. Hal ini analog dengan arus yang terdapat pada persamaan
Maxwell dan elektrodinamika kuantum (QED) yang merupakan akibat dari interaksi pasangan fermion. Konsekuensinya, arus fluida muncul akibat interaksi
9
medan fluida dengan mediumnya. Jadi kita dapat menginvestigasi dinamika fluida walaupun Jµ = 0. Dengan menggunakan Lagrangian tersebut, kita juga dapat
mempelajari interaksi antara fluida dengan medium lainnya.
2.3
Sistem Multi Fluida
Model yang telah dikembangkan pada sub-bab sebelumnya dapat digeneralisasi
untuk sistem multi fluida. Pada sistem ini kita menggunakan simetri SU(N) untuk menggambarkan sistem multi fluida serta interaksinya dengan materi. Untuk
melakukannya, transformasi gauge yang digunakan ialah transformasi gauge lokal
yang bersifat non-Abelian
U = exp(−iT a θa (x))
(2.23)
dimana T a merupakan generator dari grup Lie dan memenuhi relasi komutasi
[T a , T b ] = if abc T c dengan f abc merupakan konstanta struktur antisimetrik. Lagrangian untuk sistem multi fluida dapat dituliskan
dimana
L = (∂µ φ)† (∂ µ φ) + V (φ) + LA
(2.24)
1 a aµν
i
LA = − Fµν
F
+ gJµa Aaµ + f abc g 2 (φ† T a φ)Abµ Acµ
4
2
(2.25)
a
dengan tensor kuat medan Fµν
≡ ∂µ Aaν − ∂ν Aaµ − gf abc Abµ Acν , sementara arus
vektor empatnya,
Jµa = i (∂µ φ)† T a φ − φ† T a (∂µ φ)
(2.26)
dengan transformasi gauge untuk tiap-tiap medan ialah
φ → φ′ = e−iT
a θ a (x)
φ ≈ (1 − iT a θa (x))φ
1
Aaµ → Aaµ ′ = Aaµ + (∂µ θa ) + f abc θb Acµ
g
(2.27)
(2.28)
Bila Aaµ diperhatikan sebagai medan fluida yang mewakili sekumpulan fluida untuk tiap a, maka kita memiliki sistem multi fluida yang digambarkan oleh persamaan persamaan gerak tunggal dimana LA pada persamaan (2.27) merupakan
10
Lagrangian dari persamaan dinamika fluida (LDF ). Sebagai contoh, untuk menggambarkan interaksi antara 2 fluida, dapat digunakan Lagrangian yang berbentuk
[5]
Ltotal = LaDF + LbDF + Lab
int
(2.29)
dengan Lab
int merupakan Lagrangian interaksi antara dua fluida. Dari model yang
dibuat untuk sistem multi fluida, kita dapat melihat interaksi antara fluida (Aaµ )
dengan materi di dalamnya (φ) berdasarkan grup simetri SU(N) untuk n × 1
medan φ dan n × n generator T a secara umum. Pada Lagrangian juga terdapat
suku interaksi antar fluida yang digambarkan oleh suku pure gauge
1 a aµν
F
LP G = − Fµν
4
11
(2.30)
Bab 3
Teori Medan Gauge pada Lattice
Pada bab ini dijelaskan secara singkat metode path integral dan formulasi lattice serta hubungan antara keduanya. Metode path integral diperkenalkan oleh
Feynman pada tahun 1948. Metode ini merupakan formulasi alternatif dari mekanika kuantum dan teori medan. Keuntungan menggunakan formulasi ini adalah
dapat dilakukannya kuantisasi suatu teori hanya dengan menggunakan medan
kompleks, tanpa mengubah medan menjadi operator [6]. Keuntungan lain yang
didapat adalah
• Merupakan cara termudah dan langsung untuk mendapatkan aturan Feynman untuk teori medan apapun.
• Memungkinkan diperoleh solusi eksak ataupun numerik dari medan inte-
raksi kuat, dimana ekspansi perturbasi tidak berlaku dengan lattice gauge
theory.
• Memperlihatkan hubungan antara teori medan dengan mekanika statistik.
Meskipun demikian, sebelum metode lattice dikenal banyak kasus hanya dapat
dipecahkan menggunakan metode perturbatif dengan menggunakan probe energi
tinggi di mana nilai konstanta kopling sangat kecil. Setelah metode lattice dari
teori medan kuantum dikenal, barulah dapat dilakukan studi nonperturbatif pada
Quantum Chromodynamics [7].
12
3.1
Path Integral dalam Mekanika Kuantum
Perhitungan menggunakan path integral dilakukan dengan menggunakan Lagrangian dan Hamiltonian. Untuk lebih jelasnya, pandang suatu sistem mekanika kuantum satu dimensi dengan Lagrangian L = L(q, q)
˙ dan Hamiltonian H = H(p, q),
yang pada mekanika klasik dinyatakan dengan
1
L = mq˙2 − V (q)
2
(3.1)
p2
+ V q.
(3.2)
2m
Dalam persamaan tersebut, p dan q dihubungkan oleh persamaan kanonik p =
H=
∂L/∂ q˙ = mq.
˙ Namun harus diperhatikan bahwa pada mekanika kuantum, p dan
q adalah operator dengan relasi komutasi [p, q] = i~.
Amplitudo transisi dalam mekanika kuantum dinyatakan dengan
′
hq ′ , t′ | q, ti = hq ′ | e−iH(t −t) | qi
= hq ′ | U(t′ , t) | qi
(3.3)
dengan U(t′ , t) = exp(−iH(t′ − t)) adalah operator evolusi waktu. Selanjutnya,
dengan melakukan diskritisasi waktu T = t′ − t = n∆t dan memasukkan relasi
kelengkapan eigenstate koordinat qn
1=
Z
dq | qi hq |
(3.4)
sebanyak n − 1 maka diperoleh
Z
′ ′
h q , t | q, ti =
dq1 . . . dqn−1 hq ′ | e−iH∆t | qn−1 i hqn−1 | e−iH∆t | qn−2 i
× . . . hq2 | e−iH∆t | q1 i hq1 | e−iH∆t |qi .
(3.5)
Matriks transfer Tˆ didefinisikan sebagai amplitudo transisi suatu sistem pada
interval waktu ∆t. Untuk n yang besar dan ∆t sangat kecil, eksponen pada
elemen matriks Tˆ dapat diaproksimasi menggunakan suku pertama dari formula
Baker-Campbell-Hausdorff menjadi [7]
hqk+1 | Tˆ |qk i = hqk+1 | e−iH∆t |qk i
≈ hqk+1 | e−i∆tp
13
2 /2m
|qk i e−i∆tV (qk )
(3.6)
Gambar 3.1: Diskritisasi interval waktu
karena potensial V hanya bergantung pada koordinat spasial. Kemudian, elemen
matriks hqk+1 | e−i∆tp
kelengkapan
2 /2m
| qk i dievaluasi dengan transformasi Fourier dan relasi
1
hq| pi = √ e−iqp ,
2π
sehingga diperoleh
m 21
−iH∆t
hqk+1 | e
| qk i ≈
exp i∆t
2πi∆t
Z
dq |pi hp | = 1,
(
m
2
qk+1 − qk
∆t
2
(3.7)
− V (qk )
)
(3.8)
Dengan mengevaluasi seluruh elemen matriks transfer, amplitudo transisi (3.3)
dapat ditulis menjadi
(
)
2
Z
n−1
n2
X
q
−
q
m
m
k+1
k
dq1 . . . dqn−1 exp i
∆t
− V (qk )
hq ′ | U(t′ , t) |qi =
2πi∆t
2
∆t
k=0
(3.9)
′
′
hq | U(t , t) |qi =
=
dengan
Z
Dq exp i
Z
DqeiS
Z
T
dt
0
nm
2
m n2
Dq ≡
dq1 . . . dqn−1
2πi∆t
q˙2 − V (q)
o
(3.10)
(3.11)
Dengan S merupakan aksi fungsional dari suatu sistem,
S(q) =
Z
t′
dtL(q(t), q(t)),
˙
(3.12)
t
dan
R
Dq merupakan integrasi dari seluruh fungsi q(t). Path integral merupakan
penjumlahan terhadap semua lintasan partikel q(t).
Lintasan partikel yang dimaksud bukan hanya lintasan dengan aksi minimum
14
Gambar 3.2: Lintasan partikel
seperti pada mekanika klasik. Lintasan klasik yang memenuhi persamaan gerak
δS(q) = 0 yang dinyatakan dengan persamaan Euler-Lagrange
∂ ∂L
∂L
−
=0
∂q
∂t ∂ q˙
(3.13)
hanyalah satu dari seluruh lintasan tak berhingga yang mungkin sebab mekanika
kuantum tidak memperbolehkan adanya hanya satu lintasan unik [8]. Akibatnya, semua lintasan yang mungkin harus dilibatkan dalam perhitungan. Setiap
lintasan memiliki bobot exp(iS) yang dinyatakan dalam persamaan (3.10) [9].
iS
Munculnya faktor bobot (sebenarnya : e ~ ) untuk setiap lintasan merupakan
konsekuensi bahwa lintasan klasik harus diperoleh pada limit klasik ~ → 0.
3.2
Teori Medan Kuantum Menggunakan Path
Integral
Pada subbab ini, representasi path integral dalam mekanika kuantum akan diadopsi dalam teori medan kuantum. Sebelumnya telah diturunkan formulasi path
integral pada mekanika kuantum nonrelativistik dengan dimensi ruang 0 dan waktu 1. Formulasi path integral untuk teori medan didapatkan dengan mengganti
variabel dasar q(t) menjadi medan skalar φ(x, t). Variabel-variabel yang diganti
15
antara lain [10]
Y
t,i
S=
q(t) ↔ φ(x, t)
Y
dqi (t) ↔
dφ(x, t) ≡ Dφ
Z
t,x
dtL ↔ S =
Z
d4 xL
dengan S adalah aksi klasik. Besaran yang penting di teori medan ialah nilai
ekspektasi vakum dari produk time-ordered operator medan, yaitu fungsi Green:
h0 | φ(x1 )φ(x2 ) . . . φ(xn )) |0i ,
t1 > t2 > . . . > tn
(3.14)
seperti contohnya ialah propagator
h0 | φ(x1 )φ(x2 ) |0i
(3.15)
Dengan analogi path integral mekanika kuantum kita menuliskan representasi
fungsi Green dalam integral fungsional [11],
Z
1
Dφ φ(x1 )φ(x2 ) . . . φ(xn )eiS
h0| φ(x1 )φ(x2 ) . . . φ(xn ) | 0i =
Z
(3.16)
dengan
Z=
Z
DφeiS
(3.17)
Pada pembahasan sebelumnya, dapat dilihat bahwa perhitungan path integral
melibatkan komponen eksponen imaginer, yang bila diekspansi merupakan komponen yang berosilasi. Hal ini membuat integral tidak dapat dihitung secara
numerik. Namun, hal ini dapat diatasi dengan menggunakan kontinuasi analitik
ke waktu imaginer. Dengan cara ini, eksponen menjadi real dan dapat dihitung secara numerik. Sistem ruang waktu dengan komponen waktu imaginer
ini disebut ruang waktu Euclidean. Karena sebelumnya diturunkan persamaan
menggunakan ruang waktu Minkowski, maka harus dilakukan substitusi
t = x0 → −ix4
Sebagai contoh, kita lakukan kontinuasi pada medan skalar dengan aksi
Z
1
m2 2
4
µ
S = d x (∂µ φ)(∂ φ) −
φ
2
2
16
(3.18)
(3.19)
Dengan melakukan integrasi parsial, aksi dapat ditulis sebagai
Z
1
d4 xφ(−∂ 2 − m2 )φ.
S=
2
(3.20)
Kontinuasi ke waktu imaginer dilakukan dengan substitusi
d4 x = dx0 dx1 dx2 dx3
= −idx1 dx2 dx3 dx4
= −id4 xE
∂ 2 = ∂02 − ∂12 − ∂22 − ∂32
= −∂12 − ∂22 − ∂32 − ∂42
= −∂E2
yang menghasilkan
i
iS =
2
Z
(−i)d4 xE φ(∂E2 − m2 )φ
Z
1
= −
d4 xE φ(−∂E2 + m2 )φ
2
= −SE
(3.21)
dengan
Z
1
SE =
d4 xE φ(−∂E2 + m2 )φ
(3.22)
2
merupakan aksi medan skalar dalam ruang waktu Euclidean. Fungsi Green versi
Euclidean adalah
1
h0 | φ(x1 )φ(x2 ) . . . φ(xn ) |0i E =
Z
Z
Dφ φ(x1 )φ(x2 ) . . . φ(xn )e−SE
(3.23)
dengan
Z=
Z
Dφe−SE
(3.24)
Selanjutnya huruf E untuk menunjukkan versi Euclidean akan dihilangkan, tetapi dimengerti bahwa kita menggunakan ruang waktu Euclidean. Kita lihat
bahwa setelah dilakukan kontinuasi ke waktu imajiner, integran dari Z tidak lagi berosilasi sehingga integrasi tersebut dapat dihitung secara numerik. Dengan
representasi Euclidean, faktor yang berosilasi berubah menjadi eksponensial menurun yang lebih mirip dengan faktor bobot klasik. Lintasan yang lebih disukai
tetap lintasan yang memiliki aksi SE minimum [8].
17
3.3
Diskritisasi
Setelah membuat formulasi ruang-waktu secara Euclidean, kita membentuk kisi
sebagai metode perhitungan. Kisi pada hal ini adalah susunan ruang waktu secara
diskrit dengan geometri hiperkubik empat dimensi dengan jarak antar tiap titik
kisi (sites) adalah a. Dengan demikian pada, medan hanya memiliki nilai pada
titik-titik kisi
xµ = mµ a,
mµ = 0, 1, . . . , N − 1.
(3.25)
sehingga panjang sisi dari kotak hiperkubik ialah L = Na dan volumenya L4 .
Medan Aµ pada titik kisi xµ = mµ a ditulis dengan notasi Aµx . Dengan dilaku-
Gambar 3.3: Lattice atau kisi 3 dimensi
kannya diskritisasi, maka integral dapat digantikan dengan sumasi
Z
d4 x → a4
−1
−1 N
−1 N
N
−1 N
X
X
X
X
m1
m2
m3
= a4
m4
X
m
=
X
x
yang pada limit kontinu harus dipenuhi
Z L
X
f (x) →
d4 xf (x), N → ∞, a → 0, L tetap
x
(3.26)
(3.27)
0
Sekarang akan dilakukan diskritisasi suku pure gauge pada persamaan 2.12. Tensor kuat medan yang diberikan oleh
Fµν = ∂µ Aν − ∂ν Aµ
18
(3.28)
Dengan turunan atau derivatif medan diganti dengan perbedaan atau selisih medan antara dua titik kisi,
1
(Aνx+aˆµ − Aνx ),
a
1
(Aµx+aˆν − Aµx )
=
a
∂µ Aν =
(3.29)
∂ν Aµ
(3.30)
dengan µ
ˆ dan νˆ merupakan vektor satuan pada arah µ dan ν. Dengan diskritisasi
yang telah dijelaskan maka kita dapat menulis aksi untuk medan pure gauge pada
persamaan (2.12) dalam bentuk diskrit [7]
Z
1X 1
1
d4 xFµν F µν →
[(Aνx+aˆµ − Aνx ) − (Aµx+aˆν − Aµx )]
S=
4
4 x a2
[(Aνx+aˆµ − Aνx ) − (Aµx+aˆν − Aµx )] (3.31)
3.4
Transformasi Gauge pada Lattice
Perhatikan aksi dari medan skalar pada persamaan (3.19). Untuk medan skalar
kompleks, setelah diskritisasi, aksi tersebut dapat ditulis menjadi
X
φx+aˆµ + φx−aˆµ − 2φx
2 †
4
†
+ m φx φx
S=a
Re −φx
a2
m,µ
(3.32)
Aksi tersebut invarian terhadap transformasi gauge global
φx → φ′x = Ωφx
† †
φ†x → φ†′
x = φx Ω
dengan Ω = e−iθ merupakan elemen dari grup U(1). Kemudian, aksi tersebut
harus invarian terhadap transformasi gauge lokal U(1), dengan elemen grup Ω
bergantung pada titik kisi, Ω = Ωx . Sehingga medan φx bertransformasi sebagai
berikut,
φx → φ′x = Ωx φx
(3.33)
† †
φ†x → φ†′
x = φx Ωx .
(3.34)
Dari transformasi tersebut, perhatikan besaran φ†x φx+aˆµ dan φ†x φx−aˆµ . Besaran
tersebut tidak invarian terhadap transformasi gauge lokal yang didefinisikan pada
19
persamaan (3.32) dan (3.33)
φ†x φx+aˆµ → φ†x Ω†x Ωx+aˆµ φx+aˆµ ,
(3.35)
φ†x φx+aˆµ → φ†x Ω†x Ωx−aˆµ φx−aˆµ .
(3.36)
Agar besaran tersebut invarian, maka kita membutuhkan suatu besaran Uµx yang
bertransformasi sebagai berikut,
Uµx → Ωx Uµx Ω†x+aˆµ
(3.37)
Uµx merupakan besaran yang menghubungkan titik kisi yang satu dengan titik kisi
lainnya pada lattice, dan disebut dengan variabel ”link ”. Di dalam variabel link
terdapat medan gauge Aµ agar besaran pada persamaan (3.31) invarian terhadap
transformasi gauge lokal. Variabel link didefinisikan sebagai
Uµx = Ux,x+aˆµ = eigaAµx
(3.38)
Sehingga kita memiliki bentuk yang invarian terhadap transformasi gauge lokal
pada lattice
φ†x φx+aˆµ → φ†x Ux,x+aˆµ φx+aˆµ
(3.39)
†
φ†x φx−aˆµ → φ†x Ux−aˆ
µ
µ,x φx+aˆ
(3.40)
†
−igaAµx−aµˆ
U−µx = Ux−aˆ
µ = e
µ,x = Ux,x−aˆ
(3.41)
dimana
Pada teori kontinum Uµx tidak lain merupakan parallel transporter yang analog
dengan obyek yang sama pada geometri diferensial, yang memetakan vektor dari
titik yang satu ke titik lainnya sepanjang kurva.
U(x, y; C) = eig
Rx
y
Aµ (z)dzµ
.
(3.42)
Parallel transporter tidak hanya bergantung pada titik x dan y tetapi juga kurva
C yang dipilih.
Dengan diperkenalkannya variabel link Uµx yang didalamnya terdapat medan
gauge Aµ , maka kita dapat menulis aksi untuk medan gauge pada lattice yang
20
Gambar 3.4: Lintasan C antara x dan y
invarian terhadap transformasi gauge lokal dalam Uµx . Untuk itu perhatikan
medan gauge yang didefinisikan sebagai berikut
Fµν F µν = (∂µ Aν − ∂ν Aµ ) (∂ µ Aν − ∂ ν Aµ )
(3.43)
di mana
Aµ =
−~v
|~v |2
p
φ,
φ
1 − β2
1 − β2
!
(3.44)
= ǫµ φ
dengan
ǫµ =
−~v
|~v |2
,p
2
1−β
1 − β2
!
(3.45)
Pada Aµ telah dibuat ansatz bahwa Aµ dapat diseparasi menjadi ǫµ dan φ, di
mana φ merupakan suatu besaran medan berdimensi massa, [φ] = 1, atau suatu
medan yang memiliki kecepatan ~v. Sehingga persamaan (3.42) dapat ditulis
menjadi
Fµν F µν = (∂µ (ǫν φν ) − ∂ν (ǫµ φµ )) (∂ µ (ǫν φν ) − ∂ ν (ǫµ φµ ))
(3.46)
Kemudian dilakukan separasi komponen waktu dan ruang secara eksplisit untuk
mempermudah perhitungan. Sebagai berikut
Fij F ij = (∂i (ǫj φj ) − ∂j (ǫi φi )) ∂ i ǫj φj − ∂ j ǫi φi
Fi0 F i0 = (∂i (ǫ0 φ0 ) − ∂0 (ǫi φi )) ∂ i ǫ0 φ0 − ∂ 0 ǫi φi
F0j F 0j = (∂0 (ǫj φj ) − ∂j (ǫ0 φ0 )) ∂ 0 ǫj φj − ∂ j ǫ0 φ0
21
(3.47)
(3.48)
(3.49)
Dengan asumsi bahwa loop yang diamati sangat kecil maka dapat diasumsikan
bahwa ǫ0 = ǫi = ǫj = konstanta. Dengan menjumlahkan persamaan (3.47)
hingga (3.49), diperoleh
Fµν F µν = ǫi ǫj (∂i φj − ∂j φi) ∂ i φj − ∂ j φi + 2ǫ0 ǫi (∂0 φi − ∂i φ0 ) ∂ 0 φi − ∂ i φ0
(3.50)
Dalam tugas akhir ini digunakan variabel link yang berbeda sebab digunakan
separasi pada Aµ . Variabel link, Uµx dengan Aµ yang kita gunakan dapat ditulis
sebagai
Uµx = eigaAµx
= eigaǫµ φx
ǫµ
= eigaφx
¯ ǫµ
= U
x
(3.51)
dengan U¯x = eigaφx . Dengan cara ini, kita dapat menuliskan medan gauge pada
persamaan (3.43) dalam variabel link U¯x sebagai
¯ix U
¯jx+ai U
¯†
¯ † + 2ǫ0 ǫi U¯0x U¯ix+a0 U¯ †
¯†
Fµν F µν = ǫi ǫj U
U
U
ix+aj jx
0x+ai ix
Aksi pada kisi pada persamaan (3.31) yang kecil dapat dituliskan [7]
1X 4
1
1 XX
†
a Fµνx Fµνx
Uµνx + Uµνx ≈
1−
S= 2
g x µ 0, bangkitkan bilangan acak η yang terdistribusi secara uniform
antara 0 dan 1; ambil nilai yang baru untuk xj bila exp(−∆S) > η, selain-
nya am
Relativistik dengan Menggunakan Lattice Gauge
Theory
Tugas Akhir
Diajukan sebagai salah satu syarat untuk meraih gelar Sarjana Sains
Andhika Oxalion
0303020139
Departemen Fisika
Fakultas Matematika dan Ilmu Pengetahuan Alam
Universitas Indonesia
Depok
2007
Lembar Persetujuan
Judul Skripsi
:
Perhitungan Besaran Fisis Dinamika Fluida Relativistik dengan
Menggunakan Lattice Gauge Theory
Nama
:
Andhika Oxalion
NPM
:
0303020139
Skripsi ini telah diperiksa dan disetujui
Depok, Mei 2007
Mengesahkan
Pembimbing I
Pembimbing II
Dr. L. T. Handoko
Dr. Terry Mart
Penguji I
Penguji II
Dr. Anto Sulaksono
Dr. Agus Salam
Kata Pengantar
Teori Medan Kuantum (Quantum Field Theory), alat kita untuk menjelaskan
gaya fundamental, diformulasikan dalam ruang-waktu kontinu dengan memperlakukan ruang dan waktu dalam dimensi yang setara. Di sisi lain, dinamika
fluida klasik mengandung besaran yang bergantung ruang dan waktu. Hal ini
menimbulkan ide mengenai kemungkinan dinamika fluida diformulasikan ulang
menggunakan teori medan. Kemudian, jika dapat dilakukan, harus dapat dihitung besaran-besaran fisis yang ada dalam dinamika fluida tersebut.
Sebelumnya, penulis lain telah berhasil memformulasikan dinamika fluida menggunakan teori medan, yaitu mencari Lagrangian dinamika fluida yang bila diproses lebih lanjut akan menghasilkan persamaan dinamika fluida relativistik. Pada
tugas akhir ini, penulis menghitung besaran-besaran fisis dinamika fluida berdasarkan Lagrangian tersebut. Perhitungan besaran fisis ini dilakukan dengan
menggunakan Lattice Gauge Theory di mana ruang dan waktu kontinu pada
teori medan diganti dengan kumpulan titik diskrit pada kisi empat dimensi. Keuntungan yang diperoleh adalah, perhitungan yang rumit secara analitik dapat
diperoleh secara numerik. Penulis secara khusus mengucapkan terima kasih kepada semua pihak yang telah membantu penyelesaian tugas akhir ini baik secara
langsung maupun tidak langsung, antara lain:
1. Dr. L.T. Handoko selaku pembimbing I yang telah membimbing penulis
mulai dari awal diskusi hingga penyelesaian tugas akhir ini serta atas ideide, dukungan dan saran yang diberikan.
2. Dr. Terry Mart selaku pembimbing II dan ketua peminatan Fisika Nuklir
dan Partikel atas bimbingan dan dukungan yang diberikan baik itu selama
kuliah maupun pengerjaan tugas akhir ini.
iii
3. Dr. Anto Sulaksono dan Dr. Agus Salam selaku penguji I dan II atas
diskusi dalam penyelesaian tugas akhir ini.
4. Orang tua dan kakak Alvin Stanza atas saran dan bantuan yang diberikan
semasa kuliah.
5. Rekan-rekan di Lab Teori : Ryky, Victor, Juju, Beriya, Popo, Freddy, Handhika, Arum, Ardy, Nita, Harykin, Chandi, Pak Ayung, Pak Sulaiman, Mas
Parada.
6. Teman-teman fisika angkatan 2003 dan teman-teman di KMK.
7. Special thanks, kepada Heribertus Bayu Hartanto serta Nowo Riveli yang
sungguh membantu penulis mengejar materi dan juga dalam pemrograman.
Kepada Arif Budi Mulyawan yang telah bersedia meminjamkan komputernya untuk menjalankan program.
8. Juga semua pihak yang tidak dapat disebutkan di sini atas dukungan dan
doa kepada penulis selama penyelesaian tugas akhir ini.
Penulis menyadari bahwa karya tulis ini masih jauh dari sempurna, maka dari itu
penulis mengharapkan kritik dan saran dari para pembaca demi perkembangan
riset di Fisika UI.
Depok, Mei 2007
Andhika Oxalion
iv
Abstrak
Dinamika fluida berbasis teori medan diformulasikan dalam kisi ruang waktu
diskrit. Dengan formulasi tersebut dihitung besaran fisis dinamika fluida relativistik dengan menggunakan simulasi Metropolis Monte Carlo. Formulasi ini
memberikan pemahaman dasar untuk perhitungan bermacam-macam observable
dari fenomena yang dimodelkan dengan Lagrangian dinamika fluida di mana tidak ada jaminan teori perturbasi berlaku.
Kata kunci: Lagrangian dinamika fluida, lattice gauge theory, interaksi sistem
multi fluida
viii+30 hlm.; lamp.
Daftar Acuan: 13(1993-2006)
Abstract
Fluid dynamics based on the gauge field theory is formulated on a discrete spacetime lattice. Using this formulation, physical observable of relativistic fluid dynamics is calculated using Metropolis Monte Carlo simulation. This formulation
provides basic knowledge to calculate some observables for phenomenon modeled
with the fluid dynamics Lagrangian where no guarantee that perturbation theory
can be applied.
Keywords: Fluid dynamics Lagrangian, lattice gauge theory, multi-fluids interaction
viii+30 pp.; appendices.
References: 13(1993-2006)
v
Daftar Isi
Kata Pengantar
iii
Abstrak
v
Daftar Isi
vi
Daftar Gambar
viii
1 Pendahuluan
1
1.1 Latar Belakang . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1
1.2 Perumusan Masalah
. . . . . . . . . . . . . . . . . . . . . . . . .
1
1.3 Metode Penelitian . . . . . . . . . . . . . . . . . . . . . . . . . . .
2
1.4 Tujuan Penelitian . . . . . . . . . . . . . . . . . . . . . . . . . . .
2
2 Dinamika Fluida Berbasis Teori Medan
4
2.1 Dinamika Fluida Klasik . . . . . . . . . . . . . . . . . . . . . . .
4
2.2 Teori Medan Gauge untuk Dinamika Fluida . . . . . . . . . . . .
6
2.3 Sistem Multi Fluida . . . . . . . . . . . . . . . . . . . . . . . . . .
10
3 Teori Medan Gauge pada Lattice
12
3.1 Path Integral dalam Mekanika Kuantum . . . . . . . . . . . . . .
13
3.2 Teori Medan Kuantum Menggunakan Path Integral . . . . . . . .
15
3.3 Diskritisasi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
18
3.4 Transformasi Gauge pada Lattice . . . . . . . . . . . . . . . . . .
19
3.5 Observable . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
23
3.6 Path Integral dan Mekanika Statistik . . . . . . . . . . . . . . . .
24
vi
4 Hasil dan Pembahasan
26
5 Kesimpulan
30
A Evaluasi Path Integral dengan Metode Monte Carlo
31
B Pemrograman
35
B.1 Perhitungan Matriks Kompleks . . . . . . . . . . . . . . . . . . .
35
B.2 Generator Matriks SU(2) . . . . . . . . . . . . . . . . . . . . . . .
40
B.3 Program Simulasi pada Lattice . . . . . . . . . . . . . . . . . . .
41
B.4 Program Iterasi Z terhadap |v| . . . . . . . . . . . . . . . . . . .
44
Daftar Acuan
46
vii
Daftar Gambar
3.1 Diskritisasi interval waktu . . . . . . . . . . . . . . . . . . . . . .
14
3.2 Lintasan partikel . . . . . . . . . . . . . . . . . . . . . . . . . . .
15
3.3 Lattice atau kisi 3 dimensi . . . . . . . . . . . . . . . . . . . . . .
18
3.4 Lintasan C antara x dan y . . . . . . . . . . . . . . . . . . . . . .
21
3.5 Uµνx pada sebuah Plaquette . . . . . . . . . . . . . . . . . . . . .
23
4.1 Nilai Z pada kisi 104 site |v| = 0, 8c hingga 0.9c . . . . . . . . . .
27
4
28
4
28
4
29
4.2 Nilai Z pada kisi 30 site dengan |v| = 0.8 hingga 0.9c . . . . . .
4.3 Nilai Z pada kisi 30 site dengan |v| = 0 hingga 0.5c . . . . . . .
4.4 Nilai F pada kisi 30 site dengan |v| = 0 hingga 0.5c . . . . . . .
viii
Bab 1
Pendahuluan
1.1
Latar Belakang
Dinamika fluida klasik diturunkan dari Hukum II Newton dan hukum kekekalan massa. Persamaan tersebut nonlinier sehingga mengakibatkan solusi sulit
dicari karena solusinya tidak dapat disuperposisikan[1]. Sementara itu, banyak
sistem-sistem yang dapat dimodelkan dengan menggunakan dinamika fluida, misalnya kosmologi turbulen, quark-gluon plasma, dll yang memerlukan solusi tersebut untuk melakukan perhitungan-perhitungan berikutnya. Sebagai alternatif,
dinamika fluida dimodelkan sebagai Lagrangian boson yang invarian terhadap
transformasi gauge. Metode ini telah diaplikasikan pada sistem fluida yang berinteraksi dengan soliton yaitu protein α heliks yang berinteraksi dengan biofluida
[2]. Lagrangian yang invarian terhadap transformasi gauge tersebut dapat diformulasikan untuk sistem relativistik yang invarian terhadap transformasi Lorentz
sehingga dengan menggunakan persamaan Euler-Lagrange dapat diperoleh persamaan dinamika fluida relativistik [3]. Dinamika fluida berbasis teori medan ini
juga dapat mendeskripsikan sistem multi fluida dengan menggunakan Lagrangian
yang invarian terhadap transformasi gauge non-Abelian.
1.2
Perumusan Masalah
Pendekatan alternatif untuk formulasi dinamika fluida dari first principle telah
dilakukan dengan menggunakan mekanika analitik. Persamaan dinamika fluida diturunkan sebagai persamaan gerak dari Lagrangian boson yang invarian
1
terhadap transformasi gauge dengan menggunakan persamaan Euler-Lagrange.
Interaksi pada sistem multifluida dimodelkan dengan menggunakan Lagrangian
boson yang invarian terhadap transformasi gauge non-Abelian yang merepresentasikan fluida murni tanpa materi. Perhitungan fungsi partisi dan observable
energi bebas interaksi fluida dilakukan dengan mengevaluasi path integral. Namun besarnya konstanta kopling g tidak diketahui, sehingga path integral secara
umum harus dihitung secara non-perturbatif.
Perhitungan secara non-perturbatif dilakukan dengan menggunakan Lattice Gauge Theory. Formulasi Quantum Chromodynamics dalam ruang-waktu diskrit
atau sering disebut dengan Lattice QCD digunakan untuk menghitung besaranbesaran QCD pada energi rendah di mana konstanta kopling QCD sangat besar. Pada Lattice Gauge Theory, aksi disusun pada kisi ruang dan waktu diskrit
sehingga memungkinkan path integral dihitung secara numerik dengan menggunakan metode Monte Carlo. Dengan menghitung observable dari Lagrangian
ini maka diharapkan kita bisa mempelajari perilaku atau sifat-sifatnya terutama
dalam kaitannya dengan besar konstanta kopling g maupun kecepatan.
1.3
Metode Penelitian
Penelitian ini bersifat teoritik. Teori yang digunakan ialah dinamika fluida dengan pendekatan teori medan. Untuk memperoleh observable dari teori ini, aksi
yang menggambarkan interaksi fluida murni terlebih dahulu diformulasikan dalam ruang dan waktu diskrit. Setelah itu dapat dihitung fungsi partisi dengan
mengevaluasi path integral menggunakan metode Metropolis Monte Carlo.
1.4
Tujuan Penelitian
Penelitian ini bertujuan untuk mempelajari teknik dasar perhitungan Lattice Gauge Theory dengan menggunakan metode Metropolis Monte Carlo dan implementasinya pada pemrograman serta menghitung besaran fisis dari dinamika fluida
relativistik dengan metode Lattice Gauge Theory. Penelitian difokuskan pada
formulasi teori gauge untuk fluida pada kisi ruang waktu diskrit dan besaran fisis
2
energi bebas dari interaksi fluida murni yang direpresentasikan dengan medan
gauge dalam Lagrangian boson. Perhitungan besaran fisis ini dapat dilakukan
dengan terlebih dahulu mencari fungsi partisi dari sistem, kemudian besaran fisis
tersebut dapat dihitung dengan metode mekanika statistik.
3
Bab 2
Dinamika Fluida Berbasis Teori
Medan
Pada bab ini dibahas secara singkat teori dinamika fluida secara klasik maupun
dengan pendekatan berbasis teori medan.
2.1
Dinamika Fluida Klasik
Fluida didefinisikan sebagai materi yang mengalami perubahan bentuk secara
kontinu bila diberi tegangan geser. Dinamika fluida merupakan cabang dari ilmu
fisika yang mempelajari aliran fluida (cairan dan gas). Persamaan dinamika fluida
klasik, seperti mekanika klasik pada umumnya, diturunkan berdasarkan hukum
II Newton dan hukum kekekalan massa
∂~v
~ + µ∇
~ 2~v
~ v = − 1 ∇P
+ (~v · ∇)~
∂t
ρ
(2.1)
dengan ~v ialah kecepatan fluida, P ialah tekanan, ρ ialah kerapatan dan µ ialah
koefisien viskositas. Hukum kekekalan massa menyatakan bahwa fluida tidak
dapat diciptakan maupun dimusnahkan. Bila kita memberi gangguan pada fluida,
massa fluida sebelum dan sesudah gangguan haruslah tetap. Pandang suatu
fluida dengan volume V dengan S merupakan permukaan tertutup dari volume
R
V . Massa fluida ialah V ρdV , sementara fluks massa fluida pada permukaan
H
tertutup S ialah (ρ~v ) · dS sehingga hukum kekekalan massa dinyatakan sebagai
berikut
I
∂
(ρ~v ) · dS = −
∂t
4
Z
ρdV
V
(2.2)
dengan teorema Gauss diperoleh,
Z
Z
∂
~
ρdV
∇ · (ρ~v )dV = −
∂t V
V
Z
∂ρ ~
+ ∇ · (ρ~v ) dV = 0
∂t
V
∂ρ ~
+ ∇ · (ρ~v ) = 0
∂t
(2.3)
yang tidak lain merupakan persamaan kontinuitas. Hukum II Newton menyatakan kekekalan momentum
2
d ~x
F~ = m 2
(2.4)
dt
Terdapat dua jenis gaya yang dapat bekerja pada fluida yang bergerak, yaitu
1. Gaya badan (body force), yang bekerja langsung pada elemen volume fluida.
Contohnya adalah gaya gravitasi, listrik dan magnet.
2. Gaya permukaan, (surface force) yang bekerja langsung pada permukaan
elemen fluida. Hanya ada 2 sumber gaya jenis ini: (a) distribusi tekanan
pada permukaan dan (b) distribusi regangan dan tegangan normal pada
permukaan elemen fluida.
Untuk aliran fluida bermassa m → ρV dan percepatan,
d2~x
D~v
→
dt2
Dt
dengan material derivative
D
∂
~
=
+ ~v · ∇.
Dt
∂t
Maka hukum II Newton untuk aliran fluida dapat ditulis menjadi
ρ
D~v
F~
=
Dt
V
(2.5)
Gaya yang fundamental pada aliran fluida ialah gradien tekanan yang dapat
ditulis sebagai berikut,
∂
Fi
=−
Πik ,
V
∂xk
dimana tensor tekanan, Πik diberikan oleh
Πik = P δik − σik ,
5
(2.6)
(2.7)
dengan P tekanan dan σik ialah tensor viskositas. Tensor viskositas secara umum
merupakan tensor asimetrik. Tensor viskositas dapat ditulis [4],
∂vk 2 ~
∂vi
~ · ~v ,
+
− δij ∇ · ~v + νδik ∇
σij = η
∂xk
∂xi
3
(2.8)
dengan η dan ν masing-masing merupakan koefisien viskositas kinematis dan
dinamis. Dengan melakukan substitusi persamaan (2.6), (2.7) dan (2.8) ke hukum
II Newton untuk fluida pada persamaan (2.5) dapat diperoleh,
1
∂~v
2
~ v = −∇P
~ + η∇
~ ~v + ν + η ∇(
~ ∇
~ · ~v ).
+ (~v · ∇)~
ρ
∂t
3
(2.9)
~ · ~v = 0 dan µ ≡ η/ρ didapatkan persamaan gerak
Untuk fluida inkompresibel ∇
untuk fluida inkompresibel
∂~v
~ + µ∇
~ 2~v
~ v = − 1 ∇P
+ (~v · ∇)~
∂t
ρ
(2.10)
seperti pada persamaan (2.1).
2.2
Teori Medan Gauge untuk Dinamika Fluida
Persamaan dinamika fluida merupakan persamaan nonlinier yang menggambarkan aliran fluida dengan kecepatan aliran ~v ≡ ~v (t, xi ), dimana xi adalah koordinat
3 dimensi. Hal ini memungkinkan persamaan tersebut diperumum sebagai per-
samaan nonlinier dalam koordinat 4 dimensi xµ ≡ (x0 , xi ) = (xt, ~r) = (ct, x, y, z)
dengan kecepatan ~v ≡ ~v (xµ ) Dalam hal ini digunakan ruang Minkowski dengan
tensor metrik gµν = (1, −~1) = (1, −1, −1, −1) sehingga x2 = xµ xµ = xµ gµν xν =
x20 − x2 = x20 − x21 − x22 − x23 . Karena diturunkan dari hukum II Newton maka,
secara prinsip, persamaan gerak fluida dapat diturunkan melalui mekanika analitik dengan prinsip aksi minimum. Penurunan telah dikerjakan dalam sejumlah
paper demikian pula dengan formulasi dinamika fluida menggunakan Lagrangian
berdasarkan simetri gauge. Beberapa paper bahkan menganalogikannya dengan
persamaan Maxwell. Namun perlu ditekankan bahwa persamaan dinamika fluida dan persamaan Maxwell merupakan persamaan untuk sistem yang berbeda,
analogi yang dimaksud adalah dalam konstruksi Lagrangian dinamika fluida. Pada subbab ini akan dijelaskan konstruksi persamaan dinamika fluida berdasarkan
6
first principle mekanika analitik yaitu dengan Lagrangian density. Karena persamaan gerak fluida secara umum bergantung pada ruang dan waktu, maka dapat
digunakan metode pada teori medan relativistik yang memperlakukan ruang dan
waktu dalam dimensi yang sama. Persamaan dinamika fluida diturunkan sebagai persamaan gerak dari Lagrangian boson yang invarian terhadap transformasi
gauge dan transformasi Lorentz melalui persamaan Euler-Lagrange.
Lagrangian untuk medan boson yang invarian terhadap transformasi gauge lokal
ialah
L = (∂µ φ∗ )(∂ µ φ) + V (φ) + LA
(2.11)
dimana
1
LA = − Fµν F µν + gJµ Aµ + g 2 Aµ Aµ φ∗ φ
(2.12)
4
dengan tensor kuat medan Fµν ≡ ∂µ Aν − ∂ν Aµ , sementara arus vektor empatnya,
Jµ = i [φ(∂µ φ∗ ) − φ∗ (∂µ φ)]
(2.13)
memenuhi kekekalan arus ∂ µ Jµ = 0. Suku-suku tambahan pada LA muncul seba-
gai konsekuensi sifat invarian Lagrangian boson tersebut terhadap transformasi
gauge lokal U = exp[−iθ(x)] sehingga,
φ → φ′ = e−iθ(x) φ ≈ (1 − iθ(x))φ
(2.14)
1
Aµ → Aµ ′ = Aµ + (∂µ θ)
(2.15)
g
Seperti disebutkan dalam [1], kita dapat melihat kemiripan bentuk persamaan
dinamika fluida dengan persamaan Maxwell dengan mengganti medan magnet
dan medan listrik dengan vektor Lamb dan vortisitas
~ → ~l = ~ω × ~v
E
~ → ~ω = ∇
~ × ~v
B
sehingga persamaan ”Maxwell” untuk fluida ialah
~ · ~l = ρ˜
∇
~ × ~l = − ∂~ω
∇
∂t
~
∇ · ~ω = 0
~
~ × ~ω = α~j + α ∂ l
∇
∂t
7
dengan α = 1/~v 2. Hasil ini memberi petunjuk bahwa kita dapat mengkonstruksi
Lagrangian yang bentuknya mirip dengan Lagrangian elektrodinamika kuantum
yaitu LA pada persamaan (2.12). Hal ini dibuktikan dengan mengambil bentuk
spesifik dari medan gauge,
~
Φ, A
1 2
|~v| , −~v
=
2
Aµ =
(2.16)
dengan ~v ialah kecepatan fluida. Bentuk medan gauge tersebut jelas tidak memenuhi transformasi Lorentz. Namun, dengan pemilihan ini tampak jelas bahwa
pada dinamika fluida, potensial skalar merupakan energi total per satuan massa
berupa rapat energi kinetik, sementara potensial vektor menggambarkan dinamika dalam suku kecepatan. Dengan demikian, LA pada persamaan (2.12) tidak
lain ialah Lagrangian yang menghasilkan persamaan dinamika fluida dengan pemilihan medan gauge di atas, LA = LDF .
Berdasarkan prinsip aksi minimum δS = 0 dengan S =
persamaan Euler-Lagrange
∂ν
R
d4 xLDF dapat diperoleh
∂LDF
∂LDF
=0
−
ν
∂(∂ Aµ )
∂Aµ
(2.17)
Dengan melakukan substitusi persamaan (2.12) ke persamaan (2.17) maka dihasilkan persamaan gerak dalam Aµ ,
∂ν (∂ µ Aν ) − ∂ 2 Aµ + gJµ = 0.
(2.18)
dengan Aµ merepresentasikan medan fluida. Relasi nontrivial diperoleh untuk
µ 6= ν sehingga dapat dihasilkan persamaan gerak fluida.
Untuk memperoleh persamaan gerak yang relativistik, kita dapat mendefinisikan
~ dengan potensial skalar dan vektornya sebagai berikut
medan gauge Aa = Φ, A
µ
[3],
|~v|2
φ,
1 − β2
~ = p −~v φ,
A
1 − β2
Φ =
8
(2.19)
(2.20)
dengan β = |~v | /c. Suku pertama pada persamaan (2.19) menunjukkan versi
relativistik energi kinetik persatuan massa. Substitusi persamaan (2.19) dan
(2.20) ke persamaan (2.18), diperoleh persamaan gerak yang relativistik,
∂~v ~ |~v |2
p
−∇
= g J~˜
2
2
1−β
1 − β ∂t
1
dengan J˜i ≡
R
(2.21)
R
dxi J0 = − dtJi . Kita dapat memperoleh bentuk nonrelativistik
dengan mengambil |~v | ≪ c dan menggunakan relasi
1~ 2
~ v + ~v × (∇
~ × ~v )
∇ |~v| = (~v · ∇)~
2
sehingga didapatkan,
∂~v
~˜
~ v = −~v × (∇
~ × ~v ) + g J,
+ (~v · ∇)~
∂t
(2.22)
Dengan demikian persamaan dinamika fluida untuk sembarang gaya konservatif telah dibentuk menggunakan teori medan gauge. Terlihat pada persamaan
~ × ~v ) yang
(2.22) terdapat gaya tambahan, yaitu pada suku g J~˜ dan suku ~v × (∇
~ × ~v. Untuk fluida irotasional ∇
~ × ~v = 0 dan
relevan untuk fluida rotasional ∇
~ · ~v = 0. Persamaan (2.21) invarian terhadap transformasi
fluida inkompresibel ∇
Lorentz,
xi → x′i = p
xi − vi t
1 − |~v|2 /c2
,
p
~˜
dan J~˜ → J~˜′ = 1 − |~v |2 /c2 J.
t − xi /vi
t → t′ = p
1 − |~v|2 /c2
Dari model yang dibuat untuk dinamika fluida dengan menggunakan teori medan
gauge, tampak adanya interaksi antara fluida (Aµ ) dengan materi di dalamnya
(φ). Dari suku pure gauge 1/4Fµν F µν tampak adanya interaksi fluida dengan
fluida itu sendiri. Sementara itu, potensial pada Lagrangian menggambarkan
interaksi antar medan boson. Pada dinamika fluida klasik, arus vektor empat
Jµ = (ρ, ρ~v ) menggambarkan distribusi makroskopik dari kerapatan dan vektor
rapat arus. Sementara dalam pendekatan ini, Jµ menggambarkan fungsi distribusi materi dalam fluida. Hal ini analog dengan arus yang terdapat pada persamaan
Maxwell dan elektrodinamika kuantum (QED) yang merupakan akibat dari interaksi pasangan fermion. Konsekuensinya, arus fluida muncul akibat interaksi
9
medan fluida dengan mediumnya. Jadi kita dapat menginvestigasi dinamika fluida walaupun Jµ = 0. Dengan menggunakan Lagrangian tersebut, kita juga dapat
mempelajari interaksi antara fluida dengan medium lainnya.
2.3
Sistem Multi Fluida
Model yang telah dikembangkan pada sub-bab sebelumnya dapat digeneralisasi
untuk sistem multi fluida. Pada sistem ini kita menggunakan simetri SU(N) untuk menggambarkan sistem multi fluida serta interaksinya dengan materi. Untuk
melakukannya, transformasi gauge yang digunakan ialah transformasi gauge lokal
yang bersifat non-Abelian
U = exp(−iT a θa (x))
(2.23)
dimana T a merupakan generator dari grup Lie dan memenuhi relasi komutasi
[T a , T b ] = if abc T c dengan f abc merupakan konstanta struktur antisimetrik. Lagrangian untuk sistem multi fluida dapat dituliskan
dimana
L = (∂µ φ)† (∂ µ φ) + V (φ) + LA
(2.24)
1 a aµν
i
LA = − Fµν
F
+ gJµa Aaµ + f abc g 2 (φ† T a φ)Abµ Acµ
4
2
(2.25)
a
dengan tensor kuat medan Fµν
≡ ∂µ Aaν − ∂ν Aaµ − gf abc Abµ Acν , sementara arus
vektor empatnya,
Jµa = i (∂µ φ)† T a φ − φ† T a (∂µ φ)
(2.26)
dengan transformasi gauge untuk tiap-tiap medan ialah
φ → φ′ = e−iT
a θ a (x)
φ ≈ (1 − iT a θa (x))φ
1
Aaµ → Aaµ ′ = Aaµ + (∂µ θa ) + f abc θb Acµ
g
(2.27)
(2.28)
Bila Aaµ diperhatikan sebagai medan fluida yang mewakili sekumpulan fluida untuk tiap a, maka kita memiliki sistem multi fluida yang digambarkan oleh persamaan persamaan gerak tunggal dimana LA pada persamaan (2.27) merupakan
10
Lagrangian dari persamaan dinamika fluida (LDF ). Sebagai contoh, untuk menggambarkan interaksi antara 2 fluida, dapat digunakan Lagrangian yang berbentuk
[5]
Ltotal = LaDF + LbDF + Lab
int
(2.29)
dengan Lab
int merupakan Lagrangian interaksi antara dua fluida. Dari model yang
dibuat untuk sistem multi fluida, kita dapat melihat interaksi antara fluida (Aaµ )
dengan materi di dalamnya (φ) berdasarkan grup simetri SU(N) untuk n × 1
medan φ dan n × n generator T a secara umum. Pada Lagrangian juga terdapat
suku interaksi antar fluida yang digambarkan oleh suku pure gauge
1 a aµν
F
LP G = − Fµν
4
11
(2.30)
Bab 3
Teori Medan Gauge pada Lattice
Pada bab ini dijelaskan secara singkat metode path integral dan formulasi lattice serta hubungan antara keduanya. Metode path integral diperkenalkan oleh
Feynman pada tahun 1948. Metode ini merupakan formulasi alternatif dari mekanika kuantum dan teori medan. Keuntungan menggunakan formulasi ini adalah
dapat dilakukannya kuantisasi suatu teori hanya dengan menggunakan medan
kompleks, tanpa mengubah medan menjadi operator [6]. Keuntungan lain yang
didapat adalah
• Merupakan cara termudah dan langsung untuk mendapatkan aturan Feynman untuk teori medan apapun.
• Memungkinkan diperoleh solusi eksak ataupun numerik dari medan inte-
raksi kuat, dimana ekspansi perturbasi tidak berlaku dengan lattice gauge
theory.
• Memperlihatkan hubungan antara teori medan dengan mekanika statistik.
Meskipun demikian, sebelum metode lattice dikenal banyak kasus hanya dapat
dipecahkan menggunakan metode perturbatif dengan menggunakan probe energi
tinggi di mana nilai konstanta kopling sangat kecil. Setelah metode lattice dari
teori medan kuantum dikenal, barulah dapat dilakukan studi nonperturbatif pada
Quantum Chromodynamics [7].
12
3.1
Path Integral dalam Mekanika Kuantum
Perhitungan menggunakan path integral dilakukan dengan menggunakan Lagrangian dan Hamiltonian. Untuk lebih jelasnya, pandang suatu sistem mekanika kuantum satu dimensi dengan Lagrangian L = L(q, q)
˙ dan Hamiltonian H = H(p, q),
yang pada mekanika klasik dinyatakan dengan
1
L = mq˙2 − V (q)
2
(3.1)
p2
+ V q.
(3.2)
2m
Dalam persamaan tersebut, p dan q dihubungkan oleh persamaan kanonik p =
H=
∂L/∂ q˙ = mq.
˙ Namun harus diperhatikan bahwa pada mekanika kuantum, p dan
q adalah operator dengan relasi komutasi [p, q] = i~.
Amplitudo transisi dalam mekanika kuantum dinyatakan dengan
′
hq ′ , t′ | q, ti = hq ′ | e−iH(t −t) | qi
= hq ′ | U(t′ , t) | qi
(3.3)
dengan U(t′ , t) = exp(−iH(t′ − t)) adalah operator evolusi waktu. Selanjutnya,
dengan melakukan diskritisasi waktu T = t′ − t = n∆t dan memasukkan relasi
kelengkapan eigenstate koordinat qn
1=
Z
dq | qi hq |
(3.4)
sebanyak n − 1 maka diperoleh
Z
′ ′
h q , t | q, ti =
dq1 . . . dqn−1 hq ′ | e−iH∆t | qn−1 i hqn−1 | e−iH∆t | qn−2 i
× . . . hq2 | e−iH∆t | q1 i hq1 | e−iH∆t |qi .
(3.5)
Matriks transfer Tˆ didefinisikan sebagai amplitudo transisi suatu sistem pada
interval waktu ∆t. Untuk n yang besar dan ∆t sangat kecil, eksponen pada
elemen matriks Tˆ dapat diaproksimasi menggunakan suku pertama dari formula
Baker-Campbell-Hausdorff menjadi [7]
hqk+1 | Tˆ |qk i = hqk+1 | e−iH∆t |qk i
≈ hqk+1 | e−i∆tp
13
2 /2m
|qk i e−i∆tV (qk )
(3.6)
Gambar 3.1: Diskritisasi interval waktu
karena potensial V hanya bergantung pada koordinat spasial. Kemudian, elemen
matriks hqk+1 | e−i∆tp
kelengkapan
2 /2m
| qk i dievaluasi dengan transformasi Fourier dan relasi
1
hq| pi = √ e−iqp ,
2π
sehingga diperoleh
m 21
−iH∆t
hqk+1 | e
| qk i ≈
exp i∆t
2πi∆t
Z
dq |pi hp | = 1,
(
m
2
qk+1 − qk
∆t
2
(3.7)
− V (qk )
)
(3.8)
Dengan mengevaluasi seluruh elemen matriks transfer, amplitudo transisi (3.3)
dapat ditulis menjadi
(
)
2
Z
n−1
n2
X
q
−
q
m
m
k+1
k
dq1 . . . dqn−1 exp i
∆t
− V (qk )
hq ′ | U(t′ , t) |qi =
2πi∆t
2
∆t
k=0
(3.9)
′
′
hq | U(t , t) |qi =
=
dengan
Z
Dq exp i
Z
DqeiS
Z
T
dt
0
nm
2
m n2
Dq ≡
dq1 . . . dqn−1
2πi∆t
q˙2 − V (q)
o
(3.10)
(3.11)
Dengan S merupakan aksi fungsional dari suatu sistem,
S(q) =
Z
t′
dtL(q(t), q(t)),
˙
(3.12)
t
dan
R
Dq merupakan integrasi dari seluruh fungsi q(t). Path integral merupakan
penjumlahan terhadap semua lintasan partikel q(t).
Lintasan partikel yang dimaksud bukan hanya lintasan dengan aksi minimum
14
Gambar 3.2: Lintasan partikel
seperti pada mekanika klasik. Lintasan klasik yang memenuhi persamaan gerak
δS(q) = 0 yang dinyatakan dengan persamaan Euler-Lagrange
∂ ∂L
∂L
−
=0
∂q
∂t ∂ q˙
(3.13)
hanyalah satu dari seluruh lintasan tak berhingga yang mungkin sebab mekanika
kuantum tidak memperbolehkan adanya hanya satu lintasan unik [8]. Akibatnya, semua lintasan yang mungkin harus dilibatkan dalam perhitungan. Setiap
lintasan memiliki bobot exp(iS) yang dinyatakan dalam persamaan (3.10) [9].
iS
Munculnya faktor bobot (sebenarnya : e ~ ) untuk setiap lintasan merupakan
konsekuensi bahwa lintasan klasik harus diperoleh pada limit klasik ~ → 0.
3.2
Teori Medan Kuantum Menggunakan Path
Integral
Pada subbab ini, representasi path integral dalam mekanika kuantum akan diadopsi dalam teori medan kuantum. Sebelumnya telah diturunkan formulasi path
integral pada mekanika kuantum nonrelativistik dengan dimensi ruang 0 dan waktu 1. Formulasi path integral untuk teori medan didapatkan dengan mengganti
variabel dasar q(t) menjadi medan skalar φ(x, t). Variabel-variabel yang diganti
15
antara lain [10]
Y
t,i
S=
q(t) ↔ φ(x, t)
Y
dqi (t) ↔
dφ(x, t) ≡ Dφ
Z
t,x
dtL ↔ S =
Z
d4 xL
dengan S adalah aksi klasik. Besaran yang penting di teori medan ialah nilai
ekspektasi vakum dari produk time-ordered operator medan, yaitu fungsi Green:
h0 | φ(x1 )φ(x2 ) . . . φ(xn )) |0i ,
t1 > t2 > . . . > tn
(3.14)
seperti contohnya ialah propagator
h0 | φ(x1 )φ(x2 ) |0i
(3.15)
Dengan analogi path integral mekanika kuantum kita menuliskan representasi
fungsi Green dalam integral fungsional [11],
Z
1
Dφ φ(x1 )φ(x2 ) . . . φ(xn )eiS
h0| φ(x1 )φ(x2 ) . . . φ(xn ) | 0i =
Z
(3.16)
dengan
Z=
Z
DφeiS
(3.17)
Pada pembahasan sebelumnya, dapat dilihat bahwa perhitungan path integral
melibatkan komponen eksponen imaginer, yang bila diekspansi merupakan komponen yang berosilasi. Hal ini membuat integral tidak dapat dihitung secara
numerik. Namun, hal ini dapat diatasi dengan menggunakan kontinuasi analitik
ke waktu imaginer. Dengan cara ini, eksponen menjadi real dan dapat dihitung secara numerik. Sistem ruang waktu dengan komponen waktu imaginer
ini disebut ruang waktu Euclidean. Karena sebelumnya diturunkan persamaan
menggunakan ruang waktu Minkowski, maka harus dilakukan substitusi
t = x0 → −ix4
Sebagai contoh, kita lakukan kontinuasi pada medan skalar dengan aksi
Z
1
m2 2
4
µ
S = d x (∂µ φ)(∂ φ) −
φ
2
2
16
(3.18)
(3.19)
Dengan melakukan integrasi parsial, aksi dapat ditulis sebagai
Z
1
d4 xφ(−∂ 2 − m2 )φ.
S=
2
(3.20)
Kontinuasi ke waktu imaginer dilakukan dengan substitusi
d4 x = dx0 dx1 dx2 dx3
= −idx1 dx2 dx3 dx4
= −id4 xE
∂ 2 = ∂02 − ∂12 − ∂22 − ∂32
= −∂12 − ∂22 − ∂32 − ∂42
= −∂E2
yang menghasilkan
i
iS =
2
Z
(−i)d4 xE φ(∂E2 − m2 )φ
Z
1
= −
d4 xE φ(−∂E2 + m2 )φ
2
= −SE
(3.21)
dengan
Z
1
SE =
d4 xE φ(−∂E2 + m2 )φ
(3.22)
2
merupakan aksi medan skalar dalam ruang waktu Euclidean. Fungsi Green versi
Euclidean adalah
1
h0 | φ(x1 )φ(x2 ) . . . φ(xn ) |0i E =
Z
Z
Dφ φ(x1 )φ(x2 ) . . . φ(xn )e−SE
(3.23)
dengan
Z=
Z
Dφe−SE
(3.24)
Selanjutnya huruf E untuk menunjukkan versi Euclidean akan dihilangkan, tetapi dimengerti bahwa kita menggunakan ruang waktu Euclidean. Kita lihat
bahwa setelah dilakukan kontinuasi ke waktu imajiner, integran dari Z tidak lagi berosilasi sehingga integrasi tersebut dapat dihitung secara numerik. Dengan
representasi Euclidean, faktor yang berosilasi berubah menjadi eksponensial menurun yang lebih mirip dengan faktor bobot klasik. Lintasan yang lebih disukai
tetap lintasan yang memiliki aksi SE minimum [8].
17
3.3
Diskritisasi
Setelah membuat formulasi ruang-waktu secara Euclidean, kita membentuk kisi
sebagai metode perhitungan. Kisi pada hal ini adalah susunan ruang waktu secara
diskrit dengan geometri hiperkubik empat dimensi dengan jarak antar tiap titik
kisi (sites) adalah a. Dengan demikian pada, medan hanya memiliki nilai pada
titik-titik kisi
xµ = mµ a,
mµ = 0, 1, . . . , N − 1.
(3.25)
sehingga panjang sisi dari kotak hiperkubik ialah L = Na dan volumenya L4 .
Medan Aµ pada titik kisi xµ = mµ a ditulis dengan notasi Aµx . Dengan dilaku-
Gambar 3.3: Lattice atau kisi 3 dimensi
kannya diskritisasi, maka integral dapat digantikan dengan sumasi
Z
d4 x → a4
−1
−1 N
−1 N
N
−1 N
X
X
X
X
m1
m2
m3
= a4
m4
X
m
=
X
x
yang pada limit kontinu harus dipenuhi
Z L
X
f (x) →
d4 xf (x), N → ∞, a → 0, L tetap
x
(3.26)
(3.27)
0
Sekarang akan dilakukan diskritisasi suku pure gauge pada persamaan 2.12. Tensor kuat medan yang diberikan oleh
Fµν = ∂µ Aν − ∂ν Aµ
18
(3.28)
Dengan turunan atau derivatif medan diganti dengan perbedaan atau selisih medan antara dua titik kisi,
1
(Aνx+aˆµ − Aνx ),
a
1
(Aµx+aˆν − Aµx )
=
a
∂µ Aν =
(3.29)
∂ν Aµ
(3.30)
dengan µ
ˆ dan νˆ merupakan vektor satuan pada arah µ dan ν. Dengan diskritisasi
yang telah dijelaskan maka kita dapat menulis aksi untuk medan pure gauge pada
persamaan (2.12) dalam bentuk diskrit [7]
Z
1X 1
1
d4 xFµν F µν →
[(Aνx+aˆµ − Aνx ) − (Aµx+aˆν − Aµx )]
S=
4
4 x a2
[(Aνx+aˆµ − Aνx ) − (Aµx+aˆν − Aµx )] (3.31)
3.4
Transformasi Gauge pada Lattice
Perhatikan aksi dari medan skalar pada persamaan (3.19). Untuk medan skalar
kompleks, setelah diskritisasi, aksi tersebut dapat ditulis menjadi
X
φx+aˆµ + φx−aˆµ − 2φx
2 †
4
†
+ m φx φx
S=a
Re −φx
a2
m,µ
(3.32)
Aksi tersebut invarian terhadap transformasi gauge global
φx → φ′x = Ωφx
† †
φ†x → φ†′
x = φx Ω
dengan Ω = e−iθ merupakan elemen dari grup U(1). Kemudian, aksi tersebut
harus invarian terhadap transformasi gauge lokal U(1), dengan elemen grup Ω
bergantung pada titik kisi, Ω = Ωx . Sehingga medan φx bertransformasi sebagai
berikut,
φx → φ′x = Ωx φx
(3.33)
† †
φ†x → φ†′
x = φx Ωx .
(3.34)
Dari transformasi tersebut, perhatikan besaran φ†x φx+aˆµ dan φ†x φx−aˆµ . Besaran
tersebut tidak invarian terhadap transformasi gauge lokal yang didefinisikan pada
19
persamaan (3.32) dan (3.33)
φ†x φx+aˆµ → φ†x Ω†x Ωx+aˆµ φx+aˆµ ,
(3.35)
φ†x φx+aˆµ → φ†x Ω†x Ωx−aˆµ φx−aˆµ .
(3.36)
Agar besaran tersebut invarian, maka kita membutuhkan suatu besaran Uµx yang
bertransformasi sebagai berikut,
Uµx → Ωx Uµx Ω†x+aˆµ
(3.37)
Uµx merupakan besaran yang menghubungkan titik kisi yang satu dengan titik kisi
lainnya pada lattice, dan disebut dengan variabel ”link ”. Di dalam variabel link
terdapat medan gauge Aµ agar besaran pada persamaan (3.31) invarian terhadap
transformasi gauge lokal. Variabel link didefinisikan sebagai
Uµx = Ux,x+aˆµ = eigaAµx
(3.38)
Sehingga kita memiliki bentuk yang invarian terhadap transformasi gauge lokal
pada lattice
φ†x φx+aˆµ → φ†x Ux,x+aˆµ φx+aˆµ
(3.39)
†
φ†x φx−aˆµ → φ†x Ux−aˆ
µ
µ,x φx+aˆ
(3.40)
†
−igaAµx−aµˆ
U−µx = Ux−aˆ
µ = e
µ,x = Ux,x−aˆ
(3.41)
dimana
Pada teori kontinum Uµx tidak lain merupakan parallel transporter yang analog
dengan obyek yang sama pada geometri diferensial, yang memetakan vektor dari
titik yang satu ke titik lainnya sepanjang kurva.
U(x, y; C) = eig
Rx
y
Aµ (z)dzµ
.
(3.42)
Parallel transporter tidak hanya bergantung pada titik x dan y tetapi juga kurva
C yang dipilih.
Dengan diperkenalkannya variabel link Uµx yang didalamnya terdapat medan
gauge Aµ , maka kita dapat menulis aksi untuk medan gauge pada lattice yang
20
Gambar 3.4: Lintasan C antara x dan y
invarian terhadap transformasi gauge lokal dalam Uµx . Untuk itu perhatikan
medan gauge yang didefinisikan sebagai berikut
Fµν F µν = (∂µ Aν − ∂ν Aµ ) (∂ µ Aν − ∂ ν Aµ )
(3.43)
di mana
Aµ =
−~v
|~v |2
p
φ,
φ
1 − β2
1 − β2
!
(3.44)
= ǫµ φ
dengan
ǫµ =
−~v
|~v |2
,p
2
1−β
1 − β2
!
(3.45)
Pada Aµ telah dibuat ansatz bahwa Aµ dapat diseparasi menjadi ǫµ dan φ, di
mana φ merupakan suatu besaran medan berdimensi massa, [φ] = 1, atau suatu
medan yang memiliki kecepatan ~v. Sehingga persamaan (3.42) dapat ditulis
menjadi
Fµν F µν = (∂µ (ǫν φν ) − ∂ν (ǫµ φµ )) (∂ µ (ǫν φν ) − ∂ ν (ǫµ φµ ))
(3.46)
Kemudian dilakukan separasi komponen waktu dan ruang secara eksplisit untuk
mempermudah perhitungan. Sebagai berikut
Fij F ij = (∂i (ǫj φj ) − ∂j (ǫi φi )) ∂ i ǫj φj − ∂ j ǫi φi
Fi0 F i0 = (∂i (ǫ0 φ0 ) − ∂0 (ǫi φi )) ∂ i ǫ0 φ0 − ∂ 0 ǫi φi
F0j F 0j = (∂0 (ǫj φj ) − ∂j (ǫ0 φ0 )) ∂ 0 ǫj φj − ∂ j ǫ0 φ0
21
(3.47)
(3.48)
(3.49)
Dengan asumsi bahwa loop yang diamati sangat kecil maka dapat diasumsikan
bahwa ǫ0 = ǫi = ǫj = konstanta. Dengan menjumlahkan persamaan (3.47)
hingga (3.49), diperoleh
Fµν F µν = ǫi ǫj (∂i φj − ∂j φi) ∂ i φj − ∂ j φi + 2ǫ0 ǫi (∂0 φi − ∂i φ0 ) ∂ 0 φi − ∂ i φ0
(3.50)
Dalam tugas akhir ini digunakan variabel link yang berbeda sebab digunakan
separasi pada Aµ . Variabel link, Uµx dengan Aµ yang kita gunakan dapat ditulis
sebagai
Uµx = eigaAµx
= eigaǫµ φx
ǫµ
= eigaφx
¯ ǫµ
= U
x
(3.51)
dengan U¯x = eigaφx . Dengan cara ini, kita dapat menuliskan medan gauge pada
persamaan (3.43) dalam variabel link U¯x sebagai
¯ix U
¯jx+ai U
¯†
¯ † + 2ǫ0 ǫi U¯0x U¯ix+a0 U¯ †
¯†
Fµν F µν = ǫi ǫj U
U
U
ix+aj jx
0x+ai ix
Aksi pada kisi pada persamaan (3.31) yang kecil dapat dituliskan [7]
1X 4
1
1 XX
†
a Fµνx Fµνx
Uµνx + Uµνx ≈
1−
S= 2
g x µ 0, bangkitkan bilangan acak η yang terdistribusi secara uniform
antara 0 dan 1; ambil nilai yang baru untuk xj bila exp(−∆S) > η, selain-
nya am