Seminar Nasional Sains & Teknologi VI Lembaga Penelitian dan Pengabdian Universitas Lampung 3 November 2015 DINAMIK SISTEM DISKRIT DIMENSI-2 YANG DITURUNKAN DARI SEBUAH KELUARGA PEMETAAN 12-PARAMETER QRT Lazakaria1) 1)
Jurusan Matematia FMIPA Universitas Lampung Jl. Prof. Dr. Soemantri Brodjonegoro No. 1 Bandar Lampung 35145 Surel:
[email protected] ABSTRACT The discussion of two-dimensional mapping in this paper is based on a member of a family of system derived from a family 12-parameters QRT mappings. By replacing the role of integral and parameter in a system of difference equations, we will generate a new mapping and show the properties of the new mapping, i.e. measure preserving property and reversing symmetry properties. Keywords: measure preserving, QRT mapping, reversing dimensional mapping.
symmetric, Two-
ABSTRAK Sistem dinamik dimensi-2 yang didiskusikan dalam paper ini merupakan sebuah anggota keluarga sistem integrabel yang diturunkan dari suatu pemetaan yang dikenal dengan sebutan keluarga 12-parameter pemetaan QRT (Quispel-RobertsThomson Mapping). Dengan menggantikan sebuah parameter ยต pada sistem yang integrabel tersebut dengan parameter ยต yang ada pada integralnya akan diperoleh sebuah sistem baru. Sistem baru yang terbentuk diperlihatkan sifat-sifatnya dengan sistem lama. Adapun sifat-sifat yang dilihat adalah sifat mengawetkan ukuran dan kerkebalikan simetris. Kata kunci: mengawetkan ukuran, pemetaan dimensi-2, pemetaan QRT, simetris yang berkebalikan.
PENDAHULUAN Pemetaan QRT yang diperkenalkan oleh Quispel, Robert, dan Thomson di tahun 1989 merupakan sebuah pemetaan yang populer dengan sebutan pemetaan keluarga 12-parameter yang simetris, integrable, dan measure preserving. Pemetaan QRT ini dapat ditulis dalam bentuk persamaan diskrit orde dua berikut:
792
Seminar Nasional Sains & Teknologi VI Lembaga Penelitian dan Pengabdian Universitas Lampung 3 November 2015 ๐ฅ๐+2 =
๐1 (๐ฅ๐+1 ) โ ๐ฅ๐ ๐2 (๐ฅ๐+1 ) ๐2 (๐ฅ๐+1 ) โ ๐ฅ๐ ๐3 (๐ฅ๐+1 )
(1)
dengan ๐๐ , ๐ = 0, 1, 2 dinyatakan sebagai ๐0 (๐ฅ๐+1 ) ๐ฅ2 ๐ฅ2 (๐1 (๐ฅ๐+1 )) = ๐ด0 ( ๐ฅ ) ร ๐ด1 ( ๐ฅ ) ๐2 (๐ฅ๐+1 ) 1 1
(2)
dengan A0 dan A1 dalam persamaan (2) merupakan notasi untuk matriks simetris 3ร3 yang didefinisikan sebagai berikut ๐ผ๐ ๐ด๐ = ( ๐ฝ๐ ๐พ๐
๐ฝ๐ ๐๐ ๐๐
๐พ๐ ๐๐ ) ; ๐ = 0,1. ๐
๐
Persamaan diskrit (1) mempunyai
(3)
invarian/integral ๐บ yang berarti
๐บ(๐ฅ๐ , ๐ฅ๐+1 ) = ๐บ (๐ฅ๐+1 , ๐ฅ๐+2 ) yang dinyatakan dalam sebuah rasio polinomial bikuadratik berikut ini ๐บ(๐ฅ, ๐ฆ) ๐ผ0 ๐ฅ 2 ๐ฆ 2 + ๐ฝ0 (๐ฅ 2 ๐ฆ + ๐ฅ๐ฆ 2 ) + ๐พ0 (๐ฅ 2 + ๐ฆ 2 ) + ๐0 (๐ฅ 2 + ๐ฆ 2 ) + ๐0 (๐ฅ + ๐ฆ) + ๐
0 (4) = ๐ผ1 ๐ฅ 2 ๐ฆ 2 + ๐ฝ1 (๐ฅ 2 ๐ฆ + ๐ฅ๐ฆ 2 ) + ๐พ1 (๐ฅ 2 + ๐ฆ 2 ) + ๐1 (๐ฅ 2 + ๐ฆ 2 ) + ๐1 (๐ฅ + ๐ฆ) + ๐
1 Perlu diketahui bahwa, sifat yang dimiliki pemetaan simetris QRT di atas antara lain reversible dan (anti) measure preserving. Pandang persamaan diskrit berikut ini ๐ฅ๐+2 =
๐ฅ๐+1 (1 โ ๐๐ฅ๐+1 ) ;๐ โ โ ๐ฅ๐ (๐ฅ๐+1 โ ๐)
(5)
Persamaan diskrit (5) merupakan bentuk khusus dari persamaan diskrit (1). Dalam hal ini matriks simetris A0 dan A1 masing-masing berbentuk โ1 ๐ด0 = ( 0 ๐
0 0 0
๐ 0 0 ) ; ๐ด1 = (0 โ1 0
793
0 1 0
0 0) 0
(6)
Seminar Nasional Sains & Teknologi VI Lembaga Penelitian dan Pengabdian Universitas Lampung 3 November 2015 Akibatnya, fungsi gi , i = 0, 1, 2 dalam (2) berbentuk 3 ๐0 (๐ฅ๐+1 ) ๐ฅ๐+1 โ ๐๐ฅ๐+1 (๐1 (๐ฅ๐+1 )) = ( ) 0 3 ๐๐ฅ๐+1 โ ๐ฅ๐+1 ๐2 (๐ฅ๐+1 )
(6)
Dapat diperiksa bahwa persamaan diskrit (4) merupakan sebuah sistem dinamik yang diturunkan dari persamaan generalized โโ-sine Gordon ( Zakaria dkk, 2013). Pandang matriks simetris A0 dan A1 masing-masing berbentuk 0 ๐ด0 = (โ1 ๐
โ1 1 โ1
๐ 0 โ1) ; ๐ด1 = (0 1 0
0 1 0
0 0) 0
(7)
Dengan matriks simetris (7), fungsi gi , i = 0, 1, 2 berbentuk 3 2 ๐0 (๐ฅ๐+1 ) ๐ฅ๐+1 โ ๐๐ฅ๐+1 (๐1 (๐ฅ๐+1 )) = ( ) 0 2 ๐๐ฅ๐+1 โ ๐ฅ๐+1 ๐2 (๐ฅ๐+1 )
(8)
Dari bentuk matriks simetris (7) dan vektor fungsi (8) maka bentuk khusus persamaan diskrit (1) adalah ๐ฅ๐+2 = Dalam
artikel
๐ฅ๐+1 (1 โ ๐๐ฅ๐+1 ) ; ๐, ๐ โ โ ๐ฅ๐ (๐ฅ๐+1 โ ๐)
(Zakaria dkk, 2013), sebuah
studi
(9) tentang
pemetaan
keluarga 3-parameter yang diturunkan dari suatu persamaan generalized โโ-sine Gordon telah dibahas. Pemetaan keluarga 3-parameter yang dimaksud dinyatakan dalam bentuk persamaan beda parsial berikut ini : ๐1 (๐(๐,๐+1) โ๐(๐+1,๐) โ ๐(๐+1,๐+1) ๐(๐,๐) ) + ๐2 (๐(๐+1,๐+1) ๐(๐,๐+1) โ๐(๐+1,๐) ๐(๐,๐) ) = ๐3
(10)
Persamaan beda parsial (10) dapat direduksi kedalam beda ordiner dengan menggunakan kondisi traveling wave solution, yakni dengan memilih hubungan
794
Seminar Nasional Sains & Teknologi VI Lembaga Penelitian dan Pengabdian Universitas Lampung 3 November 2015 ๐(๐,๐) = ๐(๐) , ๐ = ๐ง1 ๐ + ๐ง2 ๐
(11)
dimana ๐ง1 dan ๐ง2 adalah bilangan bulat relatif prima. Dengan mensubsitusikan (11) ke dalam (10), kita mempunyai persamaan beda ordiner berikut ini:
๐1 (๐(๐+๐ง2 ) โ๐(๐+๐ง1 ) โ ๐(๐+๐ง1 +๐ง2 ) ๐(๐) ) + ๐2 (๐(๐+๐ง1 +๐ง2 ) ๐(๐+๐ง2 ) โ๐(๐+๐ง1 ) ๐(๐) ) = ๐3
(12)
Persamaan (12) dinamakan persamaan beda ordiner generalized โโ-Sine Gordon yang merepresentasikan sebuah proses rekursif tak berhingga dari suatu pemetaan yang dilabelkan dengan ๐ง1 dan ๐ง2 . Untuk ๐ง1 dan ๐ง2 yang ditetapkan, persamaan (12) merupakan sebuah pemetaan dari โ๐ง1 +๐ง2 โถ โ๐ง1+๐ง2 . Dapat dicatat bahwa bentuk standar persamaan (12) yang dinyatakan di dalam ( Q u i s p e l d k k , 1 9 9 1 ) diperoleh dengan memilih nilai paremeter ๐1 = ๐๐, ๐2 = 1 , dan ๐3 = 1. Pilih nilai ๐ง1 = 1 dan ๐ง2 = 2 pada persamaan (12) diperoleh ๐1 (๐(๐+2) โ๐(๐+1) โ ๐(๐+3) ๐(๐) ) + ๐2 (๐(๐+3) ๐(๐+2) โ๐(๐+1) ๐(๐) ) = ๐3
(13)
Persamaan (13) dapat ditulis sebagai suatu sistem persamaan berikut: ๐(๐+3) =
(๐3 โ ๐1 ๐(๐+1) ๐(๐+2) ) ๐๐ (๐2 ๐(๐+1) ๐(๐+2) โ ๐1 ) ๐(๐+2) = ๐(๐+1) ๐(๐+1) = ๐๐
(14)
Misalkan ๐ 0 = ๐(๐+1) ๐๐ dan ๐1 = ๐(๐+2) ๐(๐+1) . Subsitusikan ๐ 0 dan ๐1 ke dalam persamaan (14) diperoleh i.
๐๐0 = ๐๐1
ii.
๐(๐+3) = ๐
๐๐0 (๐+1)
(๐(๐+2) ) (๐(๐+2) )
๐0
(๐3 โ๐1 ๐๐1 )
๐
(๐2 ๐๐1 โ๐1 )
= ๐(๐+3) ๐(๐+2) ๐๐1 =
0 1 Kemudian misalkan ๐๐+1 = ๐๐1 dan ๐๐+1 = ๐(๐+3) ๐(๐+2) , maka dari (i) dan (ii)
diperoleh
795
Seminar Nasional Sains & Teknologi VI Lembaga Penelitian dan Pengabdian Universitas Lampung 3 November 2015 0 ๐๐+1 = ๐๐1
1 ๐๐+1 =
๐๐1 (๐3 โ ๐1 ๐๐1 ) ๐๐0 (๐2 ๐๐1 โ ๐1 )
(15)
atau ๐๐+1 = ๐๐ (๐๐ )
(16)
dimana ๐๐ : โ2 โถ โ2 ๐ฅ(๐3 โ ๐1 โ๐ฅ) (๐ฅ, ๐ฆ) โฆ ( , ๐ฅ) . โ๐ฆ(๐2 โ๐ฅ โ ๐1 ) Persamaan (16) merupakan sebuah keluarga sistem dinamik Dimensi-2 berparameter tiga. Dengan kata lain, pemetaan (15) yang diturunkan dari sebuah persamaan generalized โโ-sine Gordon Dimensi-3 dapat direduksi menjadi pemetaan Dimensi-2.
HASIL DAN PEMBAHASAN Sifat Sistem Diskrit (๐๐+๐ , ๐๐+๐ ) =
๐๐ (๐โ๐ ๐๐ ) ๐๐ (๐๐ โ๐)
Pilih nilai parameter ๐1 = ๐๐2 dan nilai parameter ๐1 = ๐2 , maka sistem dinamik (17) tidak
lain adalah
sebuah keluarga sistem dinamik dimensi-2
berparameter satu, yakni ๐๐+1 = ๐ฬ๐ (๐๐ )
(17)
dimana ๐ฬ๐ : โ2 โถ โ2 ๐ฅ(1 โ ฮผโ๐ฅ) (๐ฅ, ๐ฆ) โฆ ( , ๐ฅ) โ๐ฆ(โ๐ฅ โ ฮผ) Pemetaan (17) mempunyai integral/invarian (terdapat sebuah fungsi G: โ2 โถ โ sedemikian sehingga G(๐๐+1 ) = G(๐๐ ) untuk semua bilangan asli n), yakni ๐ฅ ๐ฆ 1 1 G๐ (๐ฅ, ๐ฆ) = ๐ ( + ) โ (๐ฅ + ๐ฆ) โ ( + ) ๐ฆ ๐ฅ ๐ฆ ๐ฅ
796
(18)
Seminar Nasional Sains & Teknologi VI Lembaga Penelitian dan Pengabdian Universitas Lampung 3 November 2015 Integral/invarian ini bermakna untuk semua bilangan asli n, solusi dari (17) senantiasa berada pada level set G๐ (๐ฅ, ๐ฆ) (18).
๏จ ๏ฑ1, ๏ฑ1๏ฉ
Dapat diperiksa bahwa titik-titik
dan
๏จ ๏ฑ1, 1๏ฉ
masing-masing
merupakan titik-titik tetap yang dinotasikan dengan ๏จ x*, y *๏ฉ dan titik-titik periodik-2
๏จ
yang dinotasikan dengan x p2 , y p2
๏ฉ
dari sistem (17). Selain mempunyai integral (18),
sistem (17) mempunyai sifat yang lain diantaranya: ๏ท
Sistem (17) merupakan sistem measure preserving :
D g ๏ญ ๏จ x, y ๏ฉ ๏ฝ
๏ญ1 ๏ซ x 2 ๏ญ ๏ฝ y 2 x2 ๏ญ ๏ญ
๏จ
๏ฉ
dimana ๏ฒ ๏จ x, y ๏ฉ diberikan dalam bentuk
๏ฒ ๏จ x, y ๏ฉ ๏ฝ ๏ท
Terdapat sebuah reversing symmetry
๏ฒ ๏จ x, y ๏ฉ
๏ฆ x ๏จ1 ๏ญ ๏ญ x ๏ฉ ๏ถ ๏ฒ ๏ง๏ง , x ๏ท๏ท ๏จ y๏จx ๏ญ ๏ญ๏ฉ ๏ธ
.
1 . xy
L ๏จ x, y ๏ฉ ๏ฝ ๏จ y, x ๏ฉ sedemikian sehingga L g ๏ญ ๏จ x, y ๏ฉ L๏ญ1 ๏ฝ g ๏ญ๏ญ1 ๏จ x, y ๏ฉ .
Dengan kata lain, sistem (17) reversible g ๏ญ ๏จ x, y ๏ฉ L g ๏ญ ๏จ x , y ๏ฉ ๏ฝ L ๏ท
Terdapat sebuah involusi S ๏จ x, y ๏ฉ ๏ฝ ๏จ x, ๏ญ y ๏ฉ sedemikian sehingga
S g ๏ญ ๏จ x, y ๏ฉ S ๏ญ1 ๏ฝ ๏ญ g ๏ญ ๏จ x, y ๏ฉ Hubungan antara (17) beserta involusi L dan (9), dapat dinyatakan sebagai U SG : x ' ๏ฝ
x ๏จ1 ๏ญ ๏ญ x ๏ฉ y๏จx ๏ญ ๏ญ๏ฉ
, y ' ๏ฝ x; L : x ' ๏ฝ y, y ' ๏ฝ x
Ini artinya sistem (17) yang diturunkan dari persamaan generalized โโ-sine Gordon adalah kasus khusus dari keluarga 12-parameter pemetaan reversing symmeric integrable QRT. Dapat dicatat bahwa pemetaan (17) mempunyai garis singular (garis
797
Seminar Nasional Sains & Teknologi VI Lembaga Penelitian dan Pengabdian Universitas Lampung 3 November 2015 dimana involusi tidak terdefinisi) dan garis simetris (garis yang melalui titik tetap involusi), yakni :
๏จ
๏ฉ
Garis Singular :
yg 2 ๏จ x ๏ฉ ๏ญ g1 ๏จ x ๏ฉ ๏ฝ 0 ๏ฎ y x๏ญ ๏ซ x3 ๏ฝ 0
Garis Simetris :
y ๏ฝ x; y 2 g 2 ๏จ x ๏ฉ ๏ญ 2 yg1 ๏จ x ๏ฉ ๏ซ g 0 ๏จ x ๏ฉ ๏ฝ 0
๏จ
๏ฉ
๏ฎ x ๏ฝ y; x x ๏ญ x 2 ๏ญ ๏ซ y 2 ๏จ ๏ญ x ๏ซ ๏ญ ๏ฉ ๏ฝ 0
Reparameterisasi ๏ญ Pada Sistem Diskrit (๐๐+๐ , ๐๐+๐ ) =
๐๐ (๐โ๐ ๐๐ ) ๐๐ (๐๐ โ๐)
Roberts, J.A.G., et.al. (2002) memberikan jaminan bahwa pertukaran sebuah parameter dalam sistem diskrit yang integrable dengan parameter sejenis yang ada pada integral/invariannya dapat dilakukan dan menghasilkan sistem baru yang integrable pula. Menggunakan ide Roberts, J.A.G. et.al., sistem diskrit integrable (17) dengan menggantikan parameter ยต yang ada dalam sistem dengan parameter ยต yang ada pada integral (18) diperoleh sebuah sistem baru. Berikut langkah dan hasil penukaran parameter yang dimaksudkan tersebut. Pandang integral G ๏จ x, y ๏ฉ (18). Perlu dicatat bahwa G ๏จ x, y ๏ฉ adalah linear dalam ๏ญ . Karena
๏ฆ x ๏จ1 ๏ญ ๏ญ x ๏ฉ ๏ถ G ๏จ x, y ๏ฉ ๏ฝ G ๏ง ,x ๏ง y ๏จ x ๏ญ ๏ญ ๏ฉ ๏ท๏ท ๏จ ๏ธ maka
๏ฆ x ๏จ1 ๏ญ ๏ญ x ๏ฉ ๏ถ G ๏จ x, y ๏ฉ ๏ฝ 0 ๏ G ๏ง ,x ๏ฝ0 ๏ง y ๏จ x ๏ญ ๏ญ ๏ฉ ๏ท๏ท ๏จ ๏ธ Oleh karena itu, kita mempunyai
๏ญ ๏จ x, y ๏ฉ ๏ฝ
๏จ x ๏ซ y ๏ฉ๏จ xy ๏ซ 1๏ฉ x2 ๏ซ y 2
Dapat diperiksa bahwa
798
(19)
Seminar Nasional Sains & Teknologi VI Lembaga Penelitian dan Pengabdian Universitas Lampung 3 November 2015
๏ฆ x ๏จ1 ๏ญ ๏ญ x ๏ฉ
๏ถ , x๏ท ๏ท ๏จ y๏จx ๏ญ ๏ญ๏ฉ ๏ธ Akibatnya, sistem (17), dengan menggantikan parameter ๏ญ yang ada padanya dengan
๏ญ ๏จ x, y ๏ฉ ๏ฝ ๏ญ ๏ง๏ง
๏ญ ๏จ x, y ๏ฉ persamaan (19) diperoleh sebuah pemetaan baru yakni x ๏จ x3 ๏ซ x 2 y ๏ซ x ๏ญ y ๏ฉ
๏จ x, y ๏ฉ ๏ฝ g ๏จ x, y ๏ฉ ๏ฝ ๏ญ
(20)
x3 ๏ญ x 2 y ๏ญ x ๏ญ y
Pemetaan (20) memiliki sifat-sifat: ๏ท
Memiliki
๏จx ๏ท
fp
titik
tetap
(fp)
๏จ
๏ฉ
dan
titik
(tp2)
masing-masing
๏ฉ
, y fp ๏ฝ ๏จ ๏ฑ1, ๏ฑ1๏ฉ dan xtp2 , y tp2 ๏ฝ ๏จ ๏ฑ1, 1๏ฉ
Integrable dengan integral G ๏จ x, y ๏ฉ ๏ฝ
๏ท
periodik-2
๏จ x ๏ซ y ๏ฉ๏จ xy ๏ซ 1๏ฉ
x2 ๏ซ y 2 Mengawetkan ukuran (measure preserving) :
D g ๏ญ ๏จ x, y ๏ฉ ๏ฝ
๏จ
๏ฉ
2 x2 x4 ๏ซ 1
๏จ
๏ญ x3 ๏ซ x 2 y ๏ซ x ๏ซ y
๏ฉ
2
๏ฝ
๏จ
๏ฒ ๏จ x, y ๏ฉ
๏ฉ
๏ฆ x x3 ๏ซ x 2 y ๏ซ x ๏ญ y ๏ถ ๏ฒ ๏ง๏ญ 3 2 , x๏ท ๏ง ๏ท x ๏ญx y๏ญx๏ญ y ๏จ ๏ธ
.
dengan 1 x ๏ซ y2 yang berkebalikan
๏ฒ ๏จ x, y ๏ฉ ๏ฝ ๏ท
Terdapat
sebuah
semetris
2
(reversing
L ๏จ x, y ๏ฉ ๏ฝ ๏จ y, x ๏ฉ sedemikian sehingga
L g ๏จ x, y ๏ฉ
๏จ๏ฉ ๏จ๏ฉ ๏ญ1
L
Dengan kata lain, sistem (17) reversible.
799
๏ฝ g
๏ญ1
๏จ x, y ๏ฉ .
symmetric)
Seminar Nasional Sains & Teknologi VI Lembaga Penelitian dan Pengabdian Universitas Lampung 3 November 2015 KESIMPULAN Dari hasil dan pembahasan yang telah disampaikan sebelumnya dapat disimpulkan bahwa dengan melakukan parametrisasi ulang terhadap sebuah parameter pada sebuah pemetaan dimensi-2 yang diturunkan dari sebuah persamaan generalized โโ-sine Gordon menghasilkan pemetaan baru dengan titik tetap dan titik periodik-2 yang sama dengan pemetaan semula. Selain itu sifat reversing symmetric juga dipunyai oleh pemetaan semula dan pemetaan baru dengan sebuah involusi yang sama.
DAFTAR PUSTAKA Quispel GRW, Roberts JAG, & Thompson CJ. 1988. Integrable mappings and soliton equations. Physics Letters A. 126:419-421. Quispel GRW, Roberts JAG, & Thompson CJ. 1989. Integrable mappings and soliton equations II. Physica D. 34:183-192. Quispel GRW, Capel HW, Papageorgiou VG, & Nijhoff FW. 1991. Integrable mappings derived from soliton equations. Physica A 173 :243-266. Roberts JAG, Iatrou A, & Quispel GRW. 2002. Interchanging parameters and integrals in dynamical systems: the mapping case, J.Phys.A: Math. Gen 55: 2309-2325. Tanaka H, Matsukidaira J, Nobe A, & Tsuda T. 2009. Constructing two dimensional integrable mappings that posses invariants of high degreee. RIMS Kokyuroku Bessatsu 13 : 75-84. Zakaria L, Tuwankotta JM, & Budhi. 2013. The Normal Form For The Integral Of 3Dimensional Maps Derived From A โโ-Sine-Gordon Equation. The Proceeding of SEACMA 2013, Mathematics Department, ITS-Surabaya, ISBN: 978-97996152-8-2, page AM33
800