Gelombang sangat umum terjadi di dunia fisik. Contohnya adalah gangguan permukaan dari
suatu benda fluida, getaran alat musik dawai, dan gangguan tekanan di udara yang
menghantarkan suara. Dalam semua kasus ini, jika amplitudo gangguan cukup kecil,
variabel gangguan φ (x, t) yang mencirikan gangguan akan memenuhi persamaan
gelombang:
∂2 φ 22
∂t2 = c ∇ φ (5.1)
di mana c adalah kecepatan rambat (fase) dari maksimum dan minimum gelombang
sinusoidal bentuk. Dalam contoh-contoh ini, istilah-istilah non-linier tambahan perlu
diperkenalkan jika distur- bance menjadi besar, dan persamaan gelombang hanya
merupakan semacam perkiraan orde terendah. Hal ini sepenuhnya analog dengan perilaku
sebuah partikel titik dalam mekanika, yang terperangkap dalam minimum lokal dari
beberapa fungsi potensial dan melakukan gerakan kecil: terlepas dari bentuk keseluruhan
potensial, untuk pendekatan orde terendah (misalnya dalam deret Taylor ex- pansion) fungsi
apa pun (yang dapat didiferensiasikan) muncul kuadratik di sekitar minimum lokal, dan
dengan demikian partikel tersebut akan melakukan gerakan harmonik sederhana jika
amplitudonya kecil. Tetapi persamaan gelombang juga memiliki arti penting yang sangat
mendasar di bidang lain: misalnya dalam teori elektromagnetik, persamaan Maxwell
menyiratkan bahwa potensial elektromagnetik harus memenuhi persamaan gelombang di
daerah yang bebas dari sumber, dan ini mengarah pada pemahaman cahaya (klasik) sebagai
fenomena elektromagnetik - penemuan yang sangat mengagumkan pada saat itu.
untuk beberapa fungsi f dan g yang diberikan, yang merepresentasikan bentuk dan
kecepatan awal senar. Pemisahan variabel φ(x, t) = X(x)T (t) mengarah ke o.d.e.s
dalam hal konstanta pemisahan λ . Ini diselesaikan dengan sinus dan kosinus, dan kondisi batas φ
(0, t) = φ (L, t) = 0 memberlakukan bahwa
n2π2
λ = L2 untuk beberapa n ∈ N. (5.9)
yang mana, untuk nilai n yang tetap dikenal sebagai mode normal osilasi. Secara
khusus, nilai non-sepele terendah n = 1 dikenal sebagai mode fundamental. Kita melihat
bahwa semua frekuensi osilasi ωn = nπc/L merupakan kelipatan bilangan bulat dari
frekuensi fundamental ω1 .
Menjumlahkan semua konstanta pemisahan yang mungkin, solusi umum adalah
penjumlahan atas
mode normal
∞
Σ " #
nπx nπct nπct
φ(x, t) = do L An cos + Bn sin L . (5.11)
sa L
n=1
- 64 -
Sebagai contoh, jika kita memetik senar, menariknya kembali ke ketinggian h di tengah dan
melepaskannya dari posisi diam,&maka kita memiliki kondisi awal
2hx/L 0 ≤ x ≤ L/2
f (x) =
2h(L - x)/L L/2 ≤ x /
leqL
sementara g(x) = 0. Kami menghitung koefisien Fourier dari fungsi string yang dipetik
ini f (x) dalam set masalah, menemukan
8
(1) (n + 1) / 2 ketika n ganjil
fˆn= (5.13)
- jam
�
n2π2
�0 yang lain.
Dengan menggunakan
hasil ini, kami memiliki
∞ - " #
8 jam
Σ ( 1)n+1 (2n - 1) πx nπct
φ(x, t) = sin do . (5.14)
π2
n=1 (2n - 1)
2 L
sa L
Sebaiknya Anda memeriksa apakah hal ini memang memenuhi persamaan gelombang,
k o n d i s i batas, dan kondisi awal.
∂x
Pada perkiraan terakhir, kami menggunakan fakta bahwa osilasi kecil. Dengan
menggunakan fakta bahwa c2 = T/µ kita melihat bahwa energi total senar adalah
∫ 1* ∂φ+2 * ∂φ+22
µ L
E(t) = +c 2
- 65 -
Perhatikan secara khusus bahwa energi total ini tidak bergantung pada waktu; seperti
halnya pada gerak har- monik sederhana, PE dan KE terus menerus saling dikonversi
selama gerak sehingga energi total tetap terjaga. Perhatikan juga bahwa, sesuai dengan
intuisi kita, jika ada dua mode dengan amplitudo yang sama, maka mode yang lebih
tinggi memiliki energi yang lebih tinggi. Terakhir, ingatlah bahwa periode osilasi (yaitu
periode mode fundamental) adalah
2π L 2L
T= = 2π = . (5.21)
ω πc c
dan kita dapat menghitung rata-rata selama satu periode untuk mendapatkan
c ∫ c c ∫ c
2L 2L
E
K= K (t) dt = V = V (t) dt , (5.22)
2L 0 2L = 2
0
sehingga ada ekuipartisi energi antara energi potensial dan kinetik rata-rata.
Energi memberikan cara yang baik untuk membuktikan keunikan solusi persamaan
gelombang secara umum, asalkan solusi tersebut tunduk pada kondisi batas dan kondisi
awal yang sesuai. Untuk
lihat ini, misalkan M ∼= Ω × [0, ∞) dan misalkan φ : M → R adalah solusi dari
persamaan gelombang24 dalam
interior dari M , yang memenuhi kondisi
φ|Ω×{0} = f (x) (kondisi awal pada φ itu sendiri)
∂t φ|Ω×{0} = g(x) (kondisi awal pada turunan waktu dari φ) (5.23)
φ|∂Ω×(0,∞) = h(x) (Kondisi batas Dirichlet pada ∂Ω)
Perhatikan bahwa, seperti di atas, kita memiliki dua kondisi awal: pada waktu t = 0 kita
menentukan nilai φ itu sendiri dan turunan waktu pertamanya di mana-mana di atas
ruang Ω. Kita juga memberikan syarat batas Dirichlet pada batas daerah kompak Ω
yang berlaku untuk semua waktu.
Dengan memasukkan faktor µ ke dalam penskalaan φ, kita mendefinisikan energi Eφ
(t) dari gelombang ini pada waktu t ∈ (0, ∞) sebagai integral
∫ * +
1 ∂φ ∂φ
E φ(t) ≡ φ - ∇φ dV
+ c2 ∇ (5.24)
2 Ω ∂t ∂t
24Untuk m e m p e r m u d a h , saya hanya akan mempertimbangkan fungsi bernilai nyata di sini. Apa yang saya
katakan dapat digeneralisasi ke gelombang bernilai kompleks dengan mudah - silakan dicoba!
di mana pada baris kedua kita mengintegrasikan per bagian dalam variabel spasial, dan
pada baris terakhir kita menggunakan fakta bahwa φ menyelesaikan persamaan
gelombang. Dengan demikian, jika salah satu dari
n- ∇φ|∂Ω = 0 atau ∂t φ|∂Ω = 0 sehingga tidak ada energi yang mengalir keluar dari
daerah Λ, maka evolusi
melalui persamaan gelombang mempertahankan Eφ (t).
Sekarang kita siap untuk teorema keunikan kita. Misalkan φ1 dan φ2 adalah dua solusi
dari persamaan gelombang di dalam M yang masing-masing memenuhi syarat batas (5.23).
Maka ψ ≡ φ1 - φ2 menyelesaikan persamaan gelombang yang tunduk pada
Secara khusus, fakta bahwa ψ|∂Ω = 0 untuk semua waktu berarti bahwa ∂t ψ|∂Ω = 0
sehingga dEψ /dt = 0
dan oleh karena itu
∫ * ∇ψ+
1 ∂ψ ∂ψ
E (t) = ∂t ∂t + c ∇ψ - dV
ψ 2
2 Ω
tetap konstan. Tetapi karena ∂t ψ dan ψ itu sendiri lenyap di sepanjang Λ pada t = 0,
maka evaluasi integral ini pada waktu awal memberikan
Akhirnya, karena E(t) adalah integral dari jumlah kuantitas non-negatif, satu-satunya cara
agar E(t) lenyap adalah jika ∂t ψ dan ∇ψ masing-masing lenyap secara terpisah di seluruh Λ
pada setiap waktu. Dengan demikian ψ konstan pada Λ × [0, ∞) dan karena nilai awal ψ
adalah nol, maka ψ bernilai nol di setiap saat. Oleh karena itu, kedua solusi kita φ1 dan φ2
adalah sama.
Hasil ini berguna: dikatakan bahwa jika kita berhasil menemukan solusi yang memenuhi
syarat batas dan syarat awal seperti pada (5.23) dengan cara apapun (misal: pemisahan
variabel), maka kita telah
menemukan satu-satunya solusi dan kita selesai. Seperti biasa, jika kita mengganti
syarat Dirichlet pada batas wilayah spasial Λ dengan syarat Neumann n - ∇φ|∂Ω = h(x)
argumen keunikannya tidak berubah hingga langkah terakhir, di mana kita
menyimpulkan bahwa
dua solusi kami dapat berbeda paling banyak dengan sebuah konstanta.
- 67 -
Persamaan T dan Θ memiliki solusi sinusoidal dan kosinusoidal y a n g biasa, dan untuk
memastikan solusi kita bernilai tunggal sebagai θ → θ + 2π kita harus mengambil µ = m2
untuk beberapa m ∈ N. Persamaan radial menjadi r(rR )JJ + (r2 λ - m2 )R = 0, yang
merupakan persamaan Bessel dengan orde m. Sebagaimana pada bagian 3.4.1, solusinya
adalah
3√λr4 3√λr4
R(r) = a Jmm + b Ymm (5.30)
λ = kmi
2 di mana Jm (kmi ) = 0 (5.31)
sehingga kmi adalah akar ith dari mth fungsi Bessel Jm (r).
Dengan menggabungkan potongan-potongan tersebut, kami
memiliki solusi umum
∞
Σ
φ(r, θ, t) = [A0i sin(k0i ct)+ C0i cos(k0i ct)] J0 (k0i r)
i=1
Σ∞ ∞
+ Σ [Ami cos mθ + Bmi sin mθ] sin(kmi ct) Jm (kmi (5.32)
r)
m=1i=1
∞ ∞
Σ
+ Σ [Cmi cos mθ + Dmi sin mθ] cos(kmi ct) Jm (kmi r)
m=1i=1
yang memang agak sulit untuk diucapkan. Gambar beberapa mode osilasi normal dapat dilihat
pada gambar 9. Jika permukaan drum memiliki profil dan kecepatan awal
di mana kecepatan awal adalah fungsi dari r saja. Solusinya juga tidak bergantung pada
sudut θ dan satu-satunya konstanta yang tidak lenyap adalah A0i . (C0i harus lenyap
karena kita membutuhkan φ|t=0 = 0. Solusi umum (5.32) tereduksi menjadi
∞
Σ
φ(r, θ, t) = A0i sin(k0i ct) J0 (k0i r) (5.36)
i=1
2 2
1 1
0 0
0 1 2 3 0 1 2 3
Gambar 10. Kedua bentuk ini, yang dibuat oleh Gordon, Webb & Wolpert dengan mengikuti metode
Sunada, memiliki semua nilai eigen Laplacian yang sama, sehingga drum yang dibuat dengan
bentuk-bentuk ini akan terdengar identik. Kedua poligon memiliki luas dan keliling yang sama.
Pada tahun 1966, Mark Kac membalikkan pertanyaannya. Alih-alih bertanya "Diberikan
sebuah membrae,
dapatkah kita menemukan frekuensi osilasinya?" dia bertanya, "Misalkan kita diberi set
lengkap {ωI } frekuensi dari mode normal osilasi beberapa membran, di mana saya
mengambil nilai dalam beberapa set pengindeksan. Dapatkah kita menggunakan ini untuk
mencari domain
Λ ⊂ Rn direntangkan oleh membran?". Secara lebih puitis, pertanyaan tersebut dapat
diutarakan dengan kalimat "Dapatkah seseorang mendengar bentuk drum?".
Seperti yang sudah dikatakan, jawaban untuk pertanyaan ini adalah "Tidak". Dengan
kata lain, kita sekarang tahu bahwa memang ada dua bentuk yang berbeda yang semua nilai
eigennya sama dengan Laplacian. Bentuk-bentuk seperti itu disebut sebagai isospektral.
Contoh pertama yang ditemukan, cukup mengagumkan, ber ada dalam enam belas (!)
dimensi dan kedua bentuk isospektral 16 dimensi ini ternyata memainkan peran penting
dalam teori dawai modern: Masing-masing bertanggung jawab atas salah satu dari dua teori
dawai heterotik yang berpasangan lemah, yang salah satunya ditemukan oleh Prof. Michael
Green di Cambridge, bersama Prof. John Schwarz di Caltech. Fakta bahwa mereka adalah
isospektral sebenarnya penting untuk konsistensi kedua teori tersebut. Belakangan, semakin
banyak contoh bentuk isospektral yang ditemukan; pasangan yang paling sederhana yang
diketahui dalam dua dimensi spasial ditunjukkan pada gambar 10.
Tidak puas dengan hasil negatif ini, orang-orang kemudian bertanya apakah pertanyaan
tersebut dapat dijawab 'ya' dalam kondisi khusus. Sebagai contoh, diketahui bahwa jika
membran cembung25 dan memiliki batas yang ditentukan oleh fungsi analitik riil, maka
seseorang dapat mendengar bentuknya. Secara umum, Anda mungkin bertanya-tanya berapa
banyak informasi tentang Λ yang dapat diperoleh dari mengetahui semua frekuensi ωI .
Sebagai contoh, Weyl menunjukkan bahwa luas total A(Λ) dari permukaan sebuah drum
diberikan oleh
N (λ0)
A(Λ) = 4π2 lim , (5.38)
λ0 →∞ λ0
di mana N (λ0 ) adalah jumlah frekuensi eigen yang kurang dari skala λ0 . Dengan
demikian, luas area terkait dengan pertumbuhan asimtotik dari jumlah nilai eigen. Weyl
juga menggeneralisasi hal ini
25Sebuah daerah Ω ⊂ Rn adalah cembung jika, diberikan sepasang titik x1, x2 ∈ Ω segmen garis lurus
yang menghubungkan x1
ke x2 juga seluruhnya terkandung dalam Ω.
Koefisien kompleks T dan R mendefinisikan amplitudo dan fase baru melalui modulasi
dan argumennya. Koefisien-koefisien ini ditentukan oleh kondisi pencocokan fisik
berikut ini pada x = 0: