Jurnal Matematika UNAND Vol. VI No. 1 Hal. 66 73 ISSN : 303 910 c Jurusan Matematika FMIPA UNAND ANALISIS LAX PAIR DAN PENERAPANNYA PADA PERSAMAAN KORTEWEG-DE VRIES ANCE SATRIA Program Studi Matematika, Fakultas Matematika dan Ilmu Pengetahuan Alam, Universitas Andalas, Kampus UNAND Limau Manis Padang, Indonesia, email : satriaance@gmail.com Abstrak. Lax pair adalah pasangan dua operator diferensial yang jika disubstitusikan ke suatu persamaan dinamakan persamaan Lax) akan menghasilkan suatu persamaan diferensial parsial tertentu. Pada makalah ini dibahas konsep Lax pair secara umum, baik dalam bentuk operator L dan M maupun dalam bentuk matriks X dan T, serta penerapannya secara khusus pada persamaan Korteweg-de Vries orde lima. Beberapa sifat Lax pair juga dibuktikan, yaitu i) kuantitas ψ t Mψ, ψ suatu fungsi eigen, merupakan solusi dari persamaan Lψ = λψ, λ suatu nilai eigen, ii) nilai TraceT k ) selalu konstan untuk setiap k N dan iii) setiap nilai eigen matriks T bernilai konstan. Kata Kunci: Lax pair, operator diferensial, persamaan Lax, persamaan Korteweg-de Vries, fungsi eigen, nilai eigen, Trace 1. Pendahuluan Salah satu kajian menarik yang muncul dalam teori persamaan diferensial adalah konsep tentang Lax pair. Pada tahun 1968 [6, Peter Lax mempublikasikan konsep tentang Lax pair, Lax pair merupakan pasangan dua operator diferensial yang jika disubstitusikan ke suatu persamaan dinamakan persamaan Lax) akan menghasilkan suatu persamaan diferensial tertentu. Jika suatu persamaan diferensial memiliki Lax pair, maka hal itu mengindikasikan bahwa persamaan diferensial tersebut bersifat integrable dapat diselesaikan secara eksak). Sejak saat itu Lax pair menjadi objek penting dalam analisis suatu sistem integrable. Lax pair terdiri dari operator L, yang bergantung pada x, u x, u xx,, dan operator M yang bersama-sama merepresentasikan suatu persamaan diferensial parsial F x, t, u, u x, u t, ) = 0 ketika disubstitusikan ke persamaan L t = [M, L disebut persamaan Lax). Di sini notasi [M, L didefinisikan sebagai [M, L = ML LM) dan disebut sebagai komutator commutator) dari operator M dan L. Operator M dan L dapat berupa operator skalar atau matriks. Untuk menghindari keharusan dalam menggunakan operator-operator Lax dengan orde yang lebih tinggi, pada tahun 1974, Ablowitz, Kaup, Newell, dan Segur [1 memformulasi suatu matriks untuk Lax pair. Metode ini dikenal dengan metode AKNS. Proses menemukan M dan L yang bersesuaian dengan persamaan diferensial yang diberikan, secara umum bersifat tak trivial. Oleh karena itu, jika terlebih 66
Analisis Lax Pair dan Penerapannya pada Persamaan Korteweg-De Vries 67 dahulu menetapkan L dan M, dan kemudian menentukan persamaan diferensial parsial yang mana yang bersesuaian, terkadang dapat memberikan hasil yang baik. Namun hal ini memerlukan banyak percobaan trial), dan tentu saja bisa tidak mengarah ke solusi yang dikehendaki [6. Dalam makalah ini akan dibahas konsep Lax pair secara umum dan analisis beberapa sifat terkait yang muncul, kemudian menerapkannya secara khusus pada persamaan Korteweg-de Vries. Kajian tentang masalah ini mengeksplorasi kembali studi pada referensi [4 dan [5.. Analisis Lax Pair.1. Bentuk Operator Misalkan terdapat suatu operator linier L yang bergantung pada fungsi ux, t), variabel spasial x dan turunan spasial u x, u xx,, sedemikian sehingga Lψ = λψ dengan ψ = ψx, t)..1) Pada persamaan.1), λ adalah nilai eigen dan ψ adalah fungsi eigen yang bersesuaian dengan nilai eigen λ. Selanjutnya misalkan juga terdapat operator lain M, sedemikian sehingga berlaku ψ t = Mψ..) Berdasarkan ide yang dikemukakan oleh Ablowitz dan Clarkson [, syarat kompatibilitas bagi persamaan.1) dan.) dapat ditentukan dengan terlebih dahulu menurunkan persamaan.1) terhadap waktu t dan kemudian gunakan aturan rantai, sehingga diperoleh L t ψ + Lψ t = λ t ψ + λψ t..3) Selanjutnya substitusikan persamaan.) ke persamaan.3) sehingga didapatkan L t ψ + LMψ = λ t ψ + λmψ = λ t ψ + Mλψ..4) Dengan menggunakan persamaan.1), maka persamaan.4) menjadi L t ψ + LMψ = λ t ψ + MLψ L t + LM ML)ψ = λ t ψ..5) Oleh karena itu, agar dapat diperoleh solusi nontrivial fungsi eigen ψx, t), haruslah L t + [L, M = 0,.6) [L, M = LM ML.7) yang akan bernilai benar jika dan hanya jika λ t = 0, atau dengan kata lain λ tidak bergantung pada waktu. Persamaan.6) memberikan syarat kompatibilitas bagi persamaan.1) dan.) dan dikenal sebagai representasi Lax atau persamaan Lax dari persamaan
68 Ance Satria diferensial parsial yang diberikan. Selanjutnya [L, M pada persamaan.7) merepresentasikan komutator dari dua operator L dan M yang membentuk suatu Lax pair. Selanjutnya dari persamaan.1) dan persamaan.) diperoleh teorema berikut. Teorema.1. [5 ψ t Mψ merupakan solusi dari persamaan Lψ = λψ dengan ψ = ψx, t). Bukti. Dari persamaan.1) diperoleh dan Lψ t Mψ) = Lψ t LMψ = LMψ LMψ = 0, λψ t Mψ) = λψ t λmψ = λmψ λmψ = 0. Karena Lψ t Mψ) = λψ t Mψ) = 0, maka ψ t Mψ merupakan solusi dari persamaan.1)... Bentuk Matriks Pada tahun 1974, Ablowitz, Kaup, Newell, dan Segur [1 memformulasi suatu matriks untuk Lax pair sehingga dapat menghindari keharusan dalam menggunakan operator-operator Lax dengan orde yang lebih tinggi. Metode ini juga dikenal sebagai metode AKNS. Dalam analisisnya, mereka mengenalkan sistem berikut: D x Ψ = XΨ,.8) D t Ψ = T Ψ,.9) matriks persegi X dan T berturut-turut berkorespondensi dengan operator L dan M, dan Ψ adalah suatu fungsi bernilai vektor. Matriks X dan T pada umumnya bergantung pada nilai eigen λ yang bebas terhadap waktu, sedangkan ukuran dari Ψ bergantung pada orde L. Dengan demikian, jika L berorde, maka vektor Ψ akan mempunyai dua elemen, sedangkan X dan T masing-masing adalah matriks berukuran. Dengan menggunakan persamaaan.7),.8), dan.9), diperoleh syarat kompatibiltas bagi persaamaan.8) dan.9), yaitu dengan menghitung [D t, D x Ψ = D t D x D x D t )Ψ = D t D x Ψ D x D t Ψ = D t XΨ) D x T Ψ) = D t X)Ψ + XD t Ψ) D x T )Ψ T D x Ψ) = 0..10)
Analisis Lax Pair dan Penerapannya pada Persamaan Korteweg-De Vries 69 Persamaan.10) dapat ditulis menjadi D t X)Ψ + XT Ψ D x T )Ψ T XΨ = 0 D t X)Ψ D x T )Ψ + XT Ψ T XΨ = 0 D t X D x T + [X, T )Ψ = 0..11) Untuk memperoleh solusi non-trivial bagi fungsi Ψ, maka haruslah D t X D x T + [X, T = 0,.1) yang memberikan syarat kompatibilitas bagi persamaan.8) dan.9) dan dikenal sebagai persamaan matriks Lax. Disini [X, T didefinisikan dengan [X, T = XT T X,.13) yang dikenal sebagai komutator matriks. Jika X tidak bergantung terhadap waktu t, maka persamaan.1) menjadi T x = [X, T,.14) yang memberikan representasi Lax bagi suatu persamaan stasioner. Pasangan matriks X, T ) disebut pasangan matriks Lax untuk suatu persamaan stasioner. Berikut adalah sifat-sifat yang berlaku pada representasi Lax.14). Teorema.. [4 Misalkan X, T ) adalah suatu pasangan matriks Lax untuk suatu persamaan stasioner, maka TrT k ) bernilai konstan untuk setiap k N. Bukti. Akan ditunjukkan bahwa TrT k ) terhadap x bernilai konstan dengan menurunkannya terhadap x untuk setiap k N. Dengan menggunakan sifat dari trace, diperoleh dtrt k ) dx ) dt k = Tr dx = TrT x T k 1 + T T x T k + + T k 1 T x ) = ktrt x T k 1 ) = ktrxt T X)T k 1 ) = ktrxt k T XT k 1 ) = ktrxt k XT k ) = ktr0) = 0. Akibat dari Teorema. adalah bahwa nilai eigen dari matriks T juga bernilai konstan. Akibat.3. [4 Misalkan X, T ) adalah pasangan matriks Lax untuk suatu persamaan stasioner, maka λ adalah bernilai konstan untuk setiap λ SpecT ).
70 Ance Satria Bukti. Misalkan matriks T berukuran n n. Koefisien-koefisien dari polinomial karakteristik matriks T dapat dinyatakan secara rekursif dalam TrT k ) dengan k = 1,,, n. Karena Teorema. menyatakan bahwa TrT k ) bernilai konstan, maka semua koefisien polinomial karakteristik juga bernilai konstan. Perhatikan bahwa setiap akar-akar polinomial dapat dinyatakan sebagai fungsi terhadap koefisien-koefisien polinomialnya. Karena nilai eigen matriks T merupakan akar-akar polinomial karakteristik, dan semua koefisien polinomialnya bernilai konstan, maka nilai eigen matriks T mestilah juga bernilai konstan. 3. Matriks Lax Pair untuk Persamaan Korteweg-de Vries Orde Lima Pada bagian ini akan dibahas matriks Lax pair untuk persamaan Korteweg-de Vries orde lima KdV5) [5 u u + 30u t + 0 u u + u 10u 3 3 + 5 u = 0, u = ux, t). 3.1) 5 Selain itu juga akan dikonfirmasi sifat-sifat terkait yang dibahas sebelumnya. Pasangan matriks Lax untuk persamaan KdV5 3.1) adalah X,T) [5 [ 0 1 X = 3.) u 0 dan T = [ 6u 3 + 6 u + 3 u 3 ) + 8u u 4 ) 6u + u ) + 3 u 3. 3.3) Untuk menunjukkan bahwa X, T ) adalah pasangan matriks Lax untuk persamaan KdV5 3.1), substitusikan persamaan 3.) dan persamaan 3.3) ke persamaan matriks Lax.11). Perhatikan bahwa [ 0 0 dan D x T = [ Selanjutnya dan 18u u 6 u + 6u u u + 0 [ 6u 3 + 6 u XT = u D t X = 4 + 8u 3 u 3 u t 0 ) + 5 5 + 8u u 4 + 3 u ) T X = u 6u + u u 3 u 3 ) 3 ) u 1u u + 3 u 3 + 6u u 6 u + 3 u 3 ) 6u + u ) + 3 u 3 6u 3 + 6 u + 8u u 4. ) 4.
Dengan demikian diperoleh Analisis Lax Pair dan Penerapannya pada Persamaan Korteweg-De Vries 71 [X, T = XT T X [ 6 u ) + 6u u = u 1u u + 3 u ) 4 3 1u u + 3 u ) 3 + 6u u 6 u Dari persamaan matriks Lax.11), didapatkan [ 0 0 D t X D x T + [X, T = = c 0 [ 0 0, 0 0 c = u u + 30u t + 0 u u + u 10u 3 3 + 5 u 5. Oleh karena itu, syarat kompatibilitas untuk X dan T haruslah ) 4 u u + 30u t + 0 u u + u 10u 3 3 + 5 u = 0, 3.4) 5 yaitu persamaan KdV5 3.1). Sekarang pandang kasus stasioner dari persaamaan KdV5 3.1). Dengan menetapkan u tidak bergantung terhadap waktu t, maka persamaan 3.1) menjadi persamaan stasioner 30u u + 0 u u + u 10u 3 3 + 5 u = 0. 3.5) 5 Ini berarti bahwa X, T ) merupakan pasanngan matriks Lax untuk persamaan stasioner 3.5). Selanjutnya perhatikan kembali matriks T yang diberikan oleh persamaan 3.3). Dapat dibuktikan bahwa untuk k genap berlaku [ T11 ) ) k + T 1 T 1 T k = 0 0 T11 ) + T 1 T 1 ) k dan untuk k ganjil berlaku [ ) T k T = 11 T11 ) k 1 ) + T 1 T 1 T 1 T11 ) k 1 + T 1 T 1 ) T 1 T11 ) k 1 ) + T 1 T 1 T 11 T11 ) k 1, + T 1 T 1 T 11 = + 3 u 3, Nilai TrT k ) sebagai berikut: T 1 = 6u + u, ) ) u T 1 = 6u 3 + 6 + 8u u 4 T = ) + 3 u 3.,,.
7 Ance Satria i) Untuk k genap, TrT k ) = T 11 ) ) k + T 1 T 1 + T 11 ) ) k + T 1 T 1 = T 11 ) + T 1 T 1 ) k = d e) k, 3.6) d = e = ) + 3 u 3, ) 6u 3 + 6 6u + u ) ) u + 8u u 4. ii) Untuk k ganjil, TrT k ) = T 11 T11 ) + T 1 T 1 ) k 1 + ) T 11 T11 ) ) k 1 + T 1 T 1 = T 11 T11 ) ) k 1 + T 1 T 1 T 11 T11 ) ) k 1 + T 1 T 1 = 0. 3.7) Menurut Teorema., TrT k ) selalu bernilai konstan terhadap x) untuk setiap k N. Ini berarti bahwa kuantitas di sisi kanan persamaan 3.6) bernilai konstan. Selanjutnya perhatikan pula bahwa nilai eigen dari matriks T diberikan oleh λ 1 = a + b dan λ = a + b, 3.8) a = 36u 5 60u 3 u ) ) 16u u u u 1, b = 1u u 3 u 3 ) 3 + u 3 6u 4 u 4 u 4 u 4. Berdasarkan Akibat.3, ini berarti bahwa kuantitas λ 1 dan λ pada persamaan 3.8) bernilai konstan. 4. Kesimpulan dan Saran Berdasarkan hasil yang telah didapatkan pada pembahasan sebelumnya maka dapat disimpulkan bahwa: 1) Kuantitas ψ t Mψ, ψ suatu fungsi eigen, merupakan solusi dari persamaan Lψ = λψ, λ suatu nilai eigen. ) Nilai TrT k ) selalu konstan untuk setiap k N. 3) Setiap nilai eigen matriks T bernilai konstan. Dalam makalah ini juga telah dibahas secara khusus penerapan Lax pair pada persamaan Korteweg-de Vries orde lima dan mengkonfirmasi sifat-sifat terkait yang muncul.
Analisis Lax Pair dan Penerapannya pada Persamaan Korteweg-De Vries 73 Untuk penelitian selanjutnya, Penulis menyarankan agar mengkaji sifat-sifat lain yang muncul dari Lax pair suatu persamaan diferensial parsial, misalnya sifat determinan dari matriks Lax pair. 5. Ucapan Terima kasih Penulis mengucapkan terima kasih kepada Bapak Mahdhivan Syafwan, Ibu Nova Noliza Bakar, Bapak Zulakmal, Bapak Admi Nazra dan Bapak Bukti Ginting yang telah memberikan masukan dan saran sehingga makalah ini dapat diselesaikan dengan baik. Daftar Pustaka [1 Ablowitz, M. J., D. J. Kaup, A. C. Newell, and H. Segur. 1974. The inverse scattering transform - Fourier analysis for nonlinear problems. Stud. Appl. Math. 53: 49 315. [ Ablowitz, M. J. and P. A. Clarkson. 1991. Solitons, Nonlinear Evolution Equations and Inverse Scattering London Mathematical Society Lecture Note Series, 149). Cambridge: Cambridge University Press. [3 Anton, H. and C. Rorres. 1991. Aljabar Linier Elementer Edisi Kedelapan-Jilid 1. Erlangga. Jakarta. [4 Goriely, A. 001. Integrability and Nonintegrability of Dynamical Systems. Singapore: World Scientific Publishing Co. Pte. Ltd. [5 Griffiths, G.W. 01. Lax Pairs. City University. UK. www.researchgate.net/publication/70581873 Lax Pairs [diakses pada tanggal Februari 016. [6 Lax, P. 1968. Integrals of Nonlinear Equations of Evolution and Solitary Waves. Comm. Pure Applied Math. 1: 467 490.