Penerapan Metode Carathéodory untuk Menentukan Solusi Periodik Persamaan Diferensial Takotonom Orde Dua
PERSAMAAN DIFERENSIAL TAKOTONOM ORDE DUA
ROSITA DWI NUGRAHASTI
DEPARTEMEN MATEMATIKA
FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM
INSTITUT PERTANIAN BOGOR
BOGOR
2008
(2)
Periodik Persamaan Diferensial Takotonom Orde Dua. Dibimbing oleh ENDAR H. NUGRAHANI dan ALI KUSNANTO.
Persamaan diferensial takotonom merupakan persamaan diferensial yang secara eksplisit memuat variabel bebas. Persamaan diferensial ini jika diberikan kondisi batas periodik akan menghasilkan suatu solusi periodik.
Pada karya ilmiah ini akan dipelajari penggunaan metode Carathéodory untuk mencari solusi periodik dari persamaan diferensial takotonom orde dua yang memiliki syarat batas periodik. Berdasarkan penggunaan metode Carathéodory didapatkan hasil bahwa solusi periodik persamaan diferensial takotonom orde dua adalah solusi dari minimizer persamaan variasional. Untuk menggambarkan solusi periodik dari persamaan diferensial takotonom orde dua digunakan bantuan software Mathematica 6.
(3)
ROSITA DWI NUGRAHASTI. Application of the Carathéodory Method to Determine the Periodic Solutions of Second Order Nonautonomous Differential Equations. Supervised by ENDAR H. NUGRAHANI and ALI KUSNANTO.
Nonautonomous differential equations contain explicitly independent variables. Those equations which have periodic boundary values also have periodic solutions.
This paper was to study the application of Carathéodory method to find the periodic solution of second order nonautonomous differential equation. The Carathéodory method showed that the periodic solution is equivalent to the solution obtained via the method of minimizer variational equation. Graphical analysis of the periodic solution obtained for the second order nonautonomous differential equation were visualised using a computer software Mathematica 6.
(4)
Skripsi
sebagai salah satu syarat untuk memperoleh gelar Sarjana Sains
pada Fakultas Matematika dan Ilmu Pengetahuan Alam
Institut Pertanian Bogor
Oleh :
ROSITA DWI NUGRAHASTI
G54104049
DEPARTEMEN MATEMATIKA
FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM
INSTITUT PERTANIAN BOGOR
BOGOR
2008
(5)
NRP :
G54104049
Menyetujui:
Pembimbing I,
Dr. Ir. Endar H. Nugrahani, MS.
NIP. 131 842 411
Pembimbing II,
Drs. Ali Kusnanto, M.Si.
NIP. 131 913 135
Mengetahui:
Dekan Fakultas Matematika dan Ilmu Pengetahuan Alam
Institut Pertanian Bogor
Dr. drh. Hasim, DEA
NIP. 131 578 806
(6)
penulis mampu menyelesaikan karya ilmiah ini. Shalawat serta salam tercurah kepada Rasulullah Muhammad SAW yang telah memberikan suri tauladan tak henti-hentinya kepada umatnya hingga akhir jaman.
Karya ilmiah ini berjudul Penerapan Metode Carathéodory Untuk Menentukan Solusi Periodik Persamaan Diferensial Takotonom Orde Dua. Karya ilmiah ini merupakan syarat untuk menyelesaikan studi pada Departemen Matematika, Fakultas Matematika dan Ilmu Pengetahuan Alam, Institut Pertanian Bogor.
Terima kasih penulis ucapkan kepada :
1. Ibu Endar H. Nugrahani selaku Pembimbing I dan Bapak Ali Kusnanto selaku Pembimbing II yang telah meluangkan waktu, tenaga dan pikirannya untuk membimbing, memberikan dorongan dan pengarahan kepada penulis hingga penulisan karya ilmiah ini selesai, Bapak Paian Sianturi selaku dosen penguji atas saran dan masukan yang telah Bapak berikan.
2. Bapak dan Ibu tercinta, atas segala doa, dukungan, restu dan segala kasih sayang yang telah diberikan hingga sekarang; kakak-kakakku mba Ia, mas Hari dan calon keponakanku, atas semangat dan doanya.
3. Dosen-dosen di Departemen Matematika, terima kasih atas ilmu yang telah Bapak dan Ibu berikan, serta staf Departemen Matematika, terima kasih atas bantuan selama di Departemen Matematika.
4. Dian, Ndhiet, Rite yang selalu ada selama kurang lebih 4 tahun, makasih atas semuanya. 5. Teman-teman sebangsa, setanah air dan seperjuangan, Matematika 41 : Abank, Uwie, Deedee,
Ami, Ayu, Liay, Ani, Echi, Momo, Neng, Roma, Ennie, Tities, Fitri, Liam, Mas Eli, Fred, Kokom, Jali, Mamah, Great, Aji, Nene’, Mukti, Janah, Iyank, Eeph, Roro, Enyon, Syifa, Kurenz, Rina, Darwisah, Nidia, Ika, Maryam, Mahar, Tia, Dika, Cumi, Udin, Iboy, Mazid, Chubby, Racil, Deny, Idris, Yaya, Triyadi, Mimin, Amin, Yos, Yeni, Hendri. Makasih atas kekeluargaannya selama 4 tahun di Departemen Matematika, I will miss you, guys.
6. Rina Fisika 41 (makasih pinjaman bukunya), K’Arie 39 (makasih bantuan Mathematicanya), Mate 40, Mate 42.
7. Warga Ponytail : Ponytail’s angels (Mb Mitoel, Mb Ratna, Mb Umi), Mb Empit, Mb Ninit, Dian, Nira, Mb Neni, Ratih, Mb Dian, Mb Uli, Maya, Mb Susi, Mb Nana, Ike.
8. Semua pihak yang ikut membantu dan penulis tidak dapat menyebutkan satu persatu.
Penulisan karya ilmiah ini tidak mungkin luput dari kekurangan, oleh karena itu kritik dan saran dari semua pihak akan sangat membantu demi kesempurnaan penulisan ini. Semoga penulisan karya ilmiah ini akan memberikan manfaat bagi para pembaca.
Bogor, Mei 2008
(7)
Penulis dilahirkan di Semarang pada tanggal 22 Juli 1986 dari pasangan Agus Suyono dan Sukari Tjiptaningsih. Penulis merupakan anak kedua dari dua bersaudara.
Penulis menyelesaikan pendidikan di SMU Negeri 5 Yogyakarta dan lulus pada tahun 2004. Pada tahun yang sama, penulis diterima di Institut Pertanian Bogor (IPB) melalui jalur Ujian Seleksi Masuk Institut Pertanian Bogor (USMI) di Departemen Matematika, Fakultas Matematika dan Ilmu Pengetahuan Alam IPB.
Selama mengikuti perkuliahan, penulis aktif di berbagai kegiatan kemahasiswaan, yaitu Gugus Mahasiswa Matematika (GUMATIKA) periode 2005-2006 sebagai staf divisi Sosial Informasi dan Komunikasi (SOSINKOM). Selama masa kepengurusan di himpunan profesi GUMATIKA, penulis sering mengikuti kepanitiaan berbagai kegiatan seperti Matematika Ria 2005, 2006, 2007, Try Out SPMB Nasional IKAHIMATIKA 2007.
(8)
DAFTAR ISI
Halaman
DAFTAR GAMBAR ... ix
DAFTAR LAMPIRAN ... ix
PENDAHULUAN... 1
Latar Belakang... 1
Tujuan... 1
L NA DASAN TEORI ... 1
PEMBAHASAN ... 5
Perumusan Masalah... 5
Metode Carathéodory ... 5
Contoh Kasus ... 8
KESIMPULAN ... 10
(9)
DAFTAR
GAMBAR
Halaman
1. Penyimpangan vertikal kurva y(x)... 3
2. Skema penyelesaian solusi periodik persamaan diferensial takotonom orde dua dengan metode Carathéodory ... 8
3. Grafik solusi
( )
(
)
1 3 3 3sin cos 10 y x = −⎛
⎜
x+ x⎝
⎠
⎞
⎟
... 10DAFTAR LAMPIRAN
Halaman 1. Bukti lema dan teorema ... 132. Mencari solusi persamaan Hamiltonian-Jacobi (33)... 17
3. Mencari solusi persamaan diferensial orde pertama ... 19
4. Perhitungan solusi persamaan (37)... 22
5. Program untuk menunjukkan grafik solusi
( )
(
)
1 3 3 3sin cos 10 y x = −⎛
⎜
x+ x⎝
⎠
⎞
⎟
... 23(10)
I. PENDAHULUAN
1. Latar Belakang
Persamaan diferensial adalah suatu persamaan yang mengandung sebuah fungsi yang tak diketahui dengan satu atau lebih turunannya [Stewart, 2003]. Persamaan diferensial dapat dibedakan menurut ordenya, salah satunya persamaan diferensial orde dua. Selain itu, berdasarkan keeksplisitan variabel bebas dalam persamaannya, persamaan diferensial dapat dibagi menjadi dua yaitu persamaan diferensial otonom dan takotonom. Persamaan diferensial otonom secara eksplisit tidak memuat variabel bebas, sedangkan persamaan diferensial takotonom memuat variabel bebas. Variabel bebas merupakan variabel yang tidak bergantung pada variabel lain.
Persamaan diferensial takotonom orde dua dapat diaplikasikan ke dalam beberapa bidang, salah satunya bidang fisika. Contoh aplikasi dalam bidang fisika adalah persamaan
diferensial untuk memodelkan gerak sistem mekanik yang mendapat gaya eksternal yang terjadi secara periodik.
Dalam karya ilmiah ini akan dibahas persamaan diferensial takotonom orde dua yang memiliki kondisi batas periodik akan menghasilkan suatu solusi periodik. Metode Carathéodory digunakan untuk mencari solusi periodik persamaan diferensial takotonom orde dua tersebut. Untuk menggambarkan solusi periodik dari persamaan diferensial takotonom orde dua digunakan bantuan software Mathematica 6.
2. Tujuan
Tujuan dari karya ilmiah ini adalah mempelajari penggunaan metode Carathéodory untuk mencari solusi periodik dari persamaan diferensial takotonom orde dua.
II. LANDASAN TEORI
Definisi 1. (Persamaan Diferensial Orde Dua)
Persamaan diferensial orde dua adalah persamaan diferensial yang memiliki bentuk umum
( , , ) 0
F x y y′ ′′ =
dimana y diturunkan terhadap x, y dy dx
′ = ,
2 2
d y y
dx
′′ = .
[Farlow, 1994] Definisi 2. (Persamaan Diferensial Takotonom)
Persamaan orde dua y′′ − ∇yV x y
( )
, =0disebut persamaan diferensial takotonom dimana V: 0,
[ ]
T ×n → kontinu dan periodik di x dengan periode T dan fungsinya dapat diturunkan dan turunannya kontinu di y,( )
1 2
, , ,...,
y
n
V V V
V x y
y y y
⎛∂ ∂ ∂ ⎞
∇ = ⎜∂ ∂ ∂ ⎟
⎝ ⎠
T
[Ji & Shi,2006]
Definisi 3. (Solusi Periodik)
Anggap bahwa x= Φ
( )
t adalah solusiperiodik untuk persamaan
( )
; nx&= f x x∈D⊂ dan terdapat bilangan positif T, sedemikian sehingga
(
t T)
( )
tΦ + = Φ untuk ∀ ∈t n maka
( )
tΦ disebut solusi periodik dari x= Φ
( )
tdengan periode T. Jika Φ
( )
t memiliki periode T, maka Φ( )
t juga memiliki periode 2T, 3T, .... Jika T adalah periode terkecil maka disebut periodik-T.(11)
Definisi 4. (Nilai Batas)
Jika kondisi tambahan untuk persamaan diferensial yang diberikan menghubungkan dua atau lebih nilai x, kondisinya disebut kondisi batas atau nilai batas.
[Rice & Strange, 1994]
Definisi 5. (Kalkulus Variasi)
Kalkulus variasi adalah salah satu teori matematika yang berhubungan dengan masalah optimisasi yang meliputi memaksimumkan atau meminimumkan nilai sebuah integral. Bentuk integral yang dipakai dalam kalkulus variasi adalah
( )
(
,( ) ( )
,)
b a
I y =
∫
L x y x y′ x dxdengan y dy dx
′ = dan
( )
1[ ]
,
y x ∈C a b .
Fungsi diasumsikan mempunyai turunan parsial pertama yang kontinu terhadap semua argumennya.
L
Untuk pembahasan selanjutnya ditetapkan . Sehingga bentuk integral di atas dapat diubah menjadi
0, a= b=T
( )
(
( ) ( )
)
0, ,
T
I y =
∫
L x y x y′ x dxdengan y x
( )
∈C1[ ]
0,T . Masalah selanjutnya adalah memilih fungsi y x( )
dalam 1
[ ]
0,
C T dengan syarat T dan kedua titik ujung peubah y x
( )
ditetapkan yaitudan
( )
0 0y = y y T
( )
= yT, agar( )
I y optimum (maksimum atau minimum) [Wan, 1995] Definisi 6. (Fungsi Lagrangian)
Bentuk integral yang dipakai dalam kalkulus variasi adalah
( )
(
( ) ( )
)
0, ,
T
I y =
∫
L x y x y′ x dxdengan y dy dx
′ = dan
( )
1[ ]
0,
y x ∈C T .
Bentuk L
(
x y x,( ) ( )
,y x′)
disebut fungsi Lagrangian.[Wan, 1995] Definisi 7. (Panjang atau Norm Vektor) Panjang atau norm dari suatu vektor
(
1, 2,..., n)
x= x x x di dalam didefinisikan sebagai
n
2 2 2
1 2 ... n
x x x
x = + + + .
Rumus diatas dinamakan norm Euclidean. [Mathews, 1992] Definisi 8. (Hasil kali dalam)
Misalkan x dan y merupakan vektor berukuran m, hasil kali dalam dari vektor x dan y adalah
1 1 2 2 1
, .
,
m m m
i i i
..
x y x y x y x y
x y x y
=
= + + +
=
∑
Suatu vektor juga merupakan suatu matriks yang hanya memiliki satu kolom. Oleh karena itu, persamaan diatas dapat ditulis menjadi
1 1 2 2 ... m m.
x yT = x y +x y + +x y
[Beezer, 2006] Definisi 9. (Himpunan konveks dan Fungsi Konveks)
Misalkan C⊂n adalah himpunan vektor. Maka C disebut sebagai himpunan konveks jika untuk semua , 'x x ∈Cterdapat λ∈
[ ]
0,1maka
(
1−λ)
x+λx′∈C.Misalkan f merupakan fungsi dengan peubah x yang terdefinisi pada himpunan konveks C. Maka f disebut sebagai fungsi konveks jika f memenuhi persamaan
(
)
(
1)
(
1) ( )
( )
f −λ x+λx′ ≤ −λ f x +λf x′ .
Jika f memiliki turunan kedua, maka f disebut sebagai fungsi konveks jika dan hanya jika
( )
2
0,
f x x C
(12)
dan merupakan strictly convex jika
( )
2
0,
f x x
∇ > ∀ ∈C.
[Hanum, 2006] Definisi 10. (Persamaan Euler-Lagrange) Persamaan
0
f d f
y dx y
∂ ∂
− =
′
∂ ∂
⎛
⎞
⎜
⎟
⎝
⎠
disebut persamaan Euler-Lagrange dengan fungsi Lagrangian f x y y
(
, , ′)
.[Simmons, 1991]
Definisi 11. (Persamaan Euler-Lagrange Pada Kalkulus Variasi)
Penjelasan tentang persamaan ini diringkaskan dari buku Differential Equations with Applications and Historical Notes Second Edition [Simmons, 1991].
Diasumsikan fungsi y x
( )
yang meminimumkan integral(
)
21 , ,
x x
I =
∫
f x y y dx′ (1) Akan dihasilkan persamaan diferensial untuk( )
y x dengan membandingkan nilai I yang sesuai untuk pendekatan fungsi y x
( )
. Ide utamanya yaitu y x( )
memberikan nilai minimum untuk I, I akan bertambah jika( )
y x diubah-ubah. Perubahan ini disusun sebagai berikut.
Misalkan η
( )
x adalah sembarang fungsi dengan diketahui η′′( )
x fungsi kontinu dan( )
x1( )
x2 0η =η = (2) Jika α adalah parameter, kemudian
( )
( )
( )
y x = y x +αη x (3) menggambarkan kelompok satu parameter dari fungsi y x
( )
. Penyimpangan vertikal dari kurva pada kelompok satu parameter berasal dari kurva y x( )
yang meminimumkan I yaitu αη( )
x , ditunjukkan pada gambar berikut.Gambar 1 Penyimpangan vertikal kurva y(x)
1
x
y
2
x
x
(
x y1, 1)
x
( )
xη
( )
y x
(
x y2, 2)
( )
xαη
( )
( )
( )
y x =y x +αη x
Maksud dari persamaan (3) bahwa untuk setiap kelompok pada tipe ini, yaitu untuk masing-masing nilai pada fungsi η
( )
x ,fungsi y x
( )
yang meminimumkan I termasuk kelompok satu parameter dan sesuai dengan nilai parameter α=0.(13)
Dengan η
( )
x tetap,( )
( )
( )
y x = y x +αη x dan
( )
( )
( )
y′ x = y′ x +αη′ x disubstitusikan ke integral (1), dan diperoleh fungsi dari α
( )
2(
)
1, ,
x x
I α =
∫
f x y y′ dx( )
( ) ( )
( )
[
]
2 1 , , x xf x y x αη x y x′ αη′ x dx
=
∫
+ +(4) Saat α =0, persamaan (3) menghasilkan
( )
( )
y x = y x , dan karena y x
( )
meminimumkan integral, diketahui bahwa
( )
I α harus minimum saat α =0. Dengan kalkulus dasar, kondisi penting untuk meminimumkan adalah menjadi nolkan turunan I′
( )
α saat α =0 yaitu I′( )
0 =0. Turunan I′( )
α dapat dihitung dengan menurunkan persamaan (4)( )
2(
)
1, ,
x x
I α f x y
α ∂
′ =
∂
∫
y dx′ . (5) Dengan rangkaian cara untuk menurunkan fungsi dari beberapa variabel diperoleh(
, ,)
f x f y f yf x y y
x y y
α α α α
′ ∂ ∂ ∂ ∂ ∂ ′ = + + ′ ∂ ∂ ∂ ∂ ∂ ∂ ∂ ∂ ∂
f
( )
x f( )
xyη yη
∂ ∂ ′
= +
′
∂ ∂ .
Jadi persamaan (5) dapat ditulis
( )
2( )
( )
1 x x f f I x y yα ∂ η ∂ η
′ = + ′ ∂ ∂
⎡
⎢
⎥
⎣
∫
′ x⎤
dx⎦
0
. (6)
( )
0I′ = , jadi letakkan α =0 pada persamaan (6) menghasilkan
( )
( )
2 1 0 x x f fx x dx
yη yη
∂ ∂ ′ + ′ ∂ ∂
⎡
⎤
⎢⎣
⎦
∫
⎥
= . (7) Pada persamaan ini turunan η′( )
x muncul bersama dengan fungsi η( )
x . η′( )
x dapat dieliminasi dengan mengintegralkan bagian kedua,( )
( )
( )
2 2 2 1 1 1 x x xx x x
f f d f
x dx x x dx
yη η y η dx
∂ ′ ∂
= −
′ ′
∂ ∂ y
∂ ′ ∂
⎡
⎤
⎛
⎜
⎟
⎢
⎥
⎞
⎣
⎦
⎝
∫
∫
⎠
( )
2 1 x x d f x dx dx y η ∂ = − ′ ∂⎛
⎞
⎜
⎟
⎝
⎠
∫
karena persamaan (2). Persamaan (7) dapat ditulis dalam bentuk
( )
2 1 0 x xf d f
x
y dx y
η ∂ − ∂ dx=
′ ∂ ∂
⎡
⎛
⎞⎤
⎜
⎟
⎢
⎥
⎣
⎝
⎠⎦
∫
. (8)Penarikan kesimpulan pada masalah ini berdasarkan pada nilai tetap fungsi η
( )
x . Meskipun demikian karena integral pada persamaan (8) harus menjadi nol untuk setiap fungsi, disimpulkan bahwa pernyataan dalam tanda kurung juga harus sama dengan nol. Sehingga dihasilkan0
f d f
y dx y
∂ ∂ − = ′ ∂ ∂
⎛
⎞
⎜
⎟
⎝
⎠
(9)yang disebut sebagai persamaan Euler-Lagrange.
Definisi 12. (Fungsi Hamiltonian)
Persamaan H x y s
(
, ,)
= s y, ′ −F x y y(
, , ′)
disebut sebagai fungsi Hamiltonian dengan
(
, ,)
F x y y′ adalah fungsi Lagrangian dan
(
, ,)
y
s= F′ x y y′ .
[Wan, 1995] Definisi 13. (Persamaan Hamiltonian-Jacobi)
Untuk fungsi Hamiltonian H x y s
(
, ,)
, persamaan diferensialdisebut persamaan Hamiltonian-Jacobi dengan
(
, , y)
x 0H x yϕ +ϕ =
( )
x y,ϕ adalah fungsi
: n
ϕ × → .
(14)
Lema 14
Misal S: 0,
[ ]
T ×n → adalah fungsi yang dapat diturunkan dan turunannya kontinu dan memenuhi( )
0,(
,)
,S y =S T y
( )
0,(
,)
,S S
y T y
x x
∂ ∂
=
∂ ∂ ,
n
y∈
sehingga syarat berikut dipenuhi
(1) Untuk setiap
(
x y y, , ′ ∈)
[ ]
0,T ×n×n,(
x y y, , ′ ≥)
0%
L
(2) Untuk setiap
(
x y,)
∈[ ]
0,T ×n, persamaannya L%(
x y q, ,)
=0 mempunyai solusi q=q x y( , ) memenuhi( )
0,(
,)
q y =q T y .
Misal q=q x y( , ) solusi dari L%
(
x y q, ,)
=0yang memenuhi q
( )
0,y =q T y(
,)
. Jika[ ]
* : 0, n
y T → solusi
( )
(
,( )
)
,y′ x =q x y x x∈
[ ]
0,T (10)( )
0( )
y = y T (11)
kemudian y* ( )x minimizer dari persamaan
( )
min ,
y
I y
∈Ω
( )
(
( ) ( )
)
,0
, ,
T
I y =
∫
L x y x y x′ dxmaka y* ( )x adalah solusi periodik dari persamaan diferensial takotonom.
[bukti lihat Lampiran 1] Teorema 15
Asumsikan bahwa S: 0,
[ ]
T ×n→ solusi dari persamaan Hamiltonian-Jacobi( )
,(
, , y(
,)
)
S
x y H x y S x y
x
∂
0
+ ∇ =
∂
dan q: 0,
[ ]
T ×n →n memenuhi(
)
(
, , ,)
(
,)
0q x y q x y yS x y
∇L − ∇ =
Jika y* : 0,
[ ]
T →n solusi( )
(
,( )
)
,y′ x =q x y x x∈
[ ]
0,T (12)( )
0( )
y = y T (13)
kemudian y* ( )x minimizer dari persamaan
( )
min ,
y
I y
∈Ω
( )
(
( ) ( )
)
,0
, ,
T
I y =
∫
L x y x y x′ dx maka y* ( )x solusi periodik dari persamaan diferensial takotonom.[bukti lihat Lampiran 1]
III. PEMBAHASAN
1. Perumusan Masalah
Didefinisikan persamaan diferensial takotonom
( )
, 0y
y′′ − ∇ V x y = (14)
dimana V: 0,
[ ]
T ×n → kontinu dan periodik di x dengan periode T dan dapat diturunkan dan turunannya kontinu di y( )
1 2
, , ,...,
y
n
V V V
V x y
y y y
⎛∂ ∂ ∂ ⎞
∇ = ⎜∂ ∂ ∂ ⎟
⎝ ⎠
T .
Akan dicari solusi periodik untuk persamaan diferensial takotonom (14). Persamaan
diferensial takotonom (14) memiliki nilai batas periodik
( )
0( )
,y = y T y′
( )
0 = y T′(
)
.
(15) 2. Metode CarathéodoryPada teori kalkulus variasi [Simmons, 1991], dijelaskan bahwa diasumsikan ada fungsi y x
( )
yang meminimumkan integral( )
2(
)
1
, , .
x
x
(15)
Akan dihasilkan persamaan diferensial untuk
( )
y x yang berbentuk
0
d
y dx y
⎛ ⎞ ∂ − ∂ ⎜ ′⎟ ∂ ⎝∂ ⎠ L L =
)
(17) yang disebut sebagai persamaan Euler-Lagrange.Fungsi L
(
x y y, , ′ pada integral (16) disebut sebagai fungsi Lagrangian. Didefinisikan fungsi Lagrangian(
, ,)
1| |2( )
, ,2
x y y′ = y′ +V x y L
(
x y y, , ′ ∈)
[ ]
0,T ×n×n (18) dimana melambangkan norm Euclidean. Diasumsikan| . |
(
x y y, , ′)
L adalah fungsi konveks untuk setiap
(
x y,)
∈[ ]
0,T ×n dan( )
,q x y adalah minimizer L
(
x y y, , ′)
dimana( )
, .y′ =q x y
Integral (16) dapat diubah menjadi persamaan variasional I:Ω →
( )
min ,
y∈Ω I y
( )
(
)
(19)0
, , .
T
I y =
∫
L x y y dx′ dengan( )
(
[ ]
)
( ) ( ) ( ) ( )
{
1}
: 0, , n 0 , 0
.
y x C T y y T y′ y T′
Ω = ∈ = =
Nilai batas periodik (15) merupakan syarat perlu persamaan variasional karena diasumsikan ada fungsi y x
( )
∈ Ω yang meminimumkan I y( )
.Untuk mencari minimizer dari persamaan variasional (19) dapat digunakan fungsi Hamiltonian dan persamaan Hamiltonian-Jacobi. Didefinisikan fungsi Hamiltonian
(
, ,)
,(
, ,)
H x y s = s q −L x y q (20)
dimana L
(
x y q, ,)
adalah fungsi Lagrangian, dan persamaan Hamiltonian-Jacobi( )
,(
, , y( )
, Sx y H x y S x y
)
0 x∂ + ∇
∂ = (21)
dimana H: 0,
[ ]
T ×n×n→ adalah fungsi Hamiltonian dan S adalah solusi persamaan Hamiltonian-Jacobi, untuk setiap fungsi S: 0,[ ]
T ×n →( )
0,(
,)
,S y =S T y
( )
0,(
,)
,S S
y T y
∂ x x ∂ = ∂ ∂ . n
y∈ (22) Fungsi Hamiltonian dapat disubstitusi ke persamaan Hamiltonian-Jacobi sehingga diperoleh solusi persamaan Hamiltonian-Jacobi.
( )
,(
, , y( )
,)
Sx y H x y S x y 0
x
∂ + ∇ =
∂
( )
(
, , y ,)
S( )
,H x y S x y x y
x ∂ ∇ = − ∂
( )
, ,(
, ,)
( )
, y SS x y q x y q x y
x ∂ ∇ − = − ∂ L
( )
,(
, ,)
( )
y SS x y q x y q x y,
x ∂ ∇ − = − ∂ L
( )
,(
, ,)
yS x y q x y q 0
∇ − ∇ L =
( )
,(
,)
yS x y q x y q
∇ = ∇ L , (23) diperoleh
( )
1 2( )
, | |
2
yS x y q V x y
q ∂ ⎛ ⎞ ∇ = ⎜ + ⎟ ∂ ⎝ , ⎠
( )
2 1 ,2q V x y
q ∂ ⎛ ⎞ = ⎜ + ⎟ ∂ ⎝ ⎠ . q
= (24) Jadi turunan pertama solusi persamaan Hamiltonian-Jacobi terhadap y merupakan minimizer dari persamaan variasional (19).
Didefinisikan fungsi Lagrangian baru
(
x y y, ,) (
x y y, ,)
S( )
x y, yS x y y( )
, , x ∂ ′ = ′ − − ∇ ′ ∂ % L L dan( )
(
( ) ( )
)
0 , , TI y% =
∫
L% x y x y x′ dx dimana( )
1 2 , , ,..., , y nS S S
S x y
y y y
⎛∂ ∂ ∂ ⎞
∇ = ⎜∂ ∂ ∂ ⎟
⎝ ⎠
T
(
1, 2,..., n)
y′= y y′ ′ y′ T.
yang dapat diturunkan dan turunannya kontinu yang memenuhi
(16)
Untuk setiap y∈ Ω,
( ) ( )
(
( ) ( )
)
0
, ,
T
I y −I y%z =
∫
L x y x y x′ dx( ) ( )
(
)
0
, ,
T
x y x y x′ dx
−
∫
L%( )
(
)
(
( )
)
( )
0
, , ,
T
y
S
x y x S x y x y x dx
x
∂
⎡ ′ ⎤
= ⎢ + ∇ ⎥
∂
⎣ ⎦
∫
( )
(
)
0
,
T
d
S x y x dx dx
=
∫
( )
(
)
0
, T
S x y x
=
( )
(
,)
(
0,( )
)
S T y T S y
= − 0
0
=
Sehingga persamaan variasional (19) sama dengan persamaan variasional ekuivalen berikut
( )
min ,
y∈Ω I y
%
( )
(
)
(25)0
, , .
T
I y% =
∫
L% x y y dx′Diasumsikan L%
(
x y y, , ′)
fungsi konveks untuk setiap(
x y,)
∈[ ]
0,T ×n dan q x y( )
,adalah minimizer L%
(
x y y, , ′)
dimana( )
, .y′ =q x y Karena persamaan variasional
ekuivalen (25) sama dengan persamaan variasional (19) maka turunan pertama solusi persamaan Hamiltonian-Jacobi terhadap y juga merupakan minimizer dari persamaan variasional ekuivalen (25).
Pada metode Carathéodory, dicari fungsi S yang memenuhi syarat berikut
(1)Untuk setiap
(
x y y, , ′ ∈)
[ ]
0,T ×n×n,(
x y y, , ′ ≥)
0.%
L (26)
(2) Untuk setiap
( )
x y, ∈[ ]
0,T ×n,(
x y q, ,)
=0%
L (27)
yang mempunyai solusi q=q x y
( )
, yang memenuhi( )
0,(
,)
.q y =q T y (28)
Turunan pertama solusi persamaan Hamiltonian-Jacobi terhadap y merupakan minimizer persamaan variasional. Dari teorema diperoleh bahwa solusi minimizer merupakan solusi periodik persamaan diferensial takotonom. Gambar berikut adalah skema penyelesaian solusi periodik persamaan diferensial takotonom orde dua dengan metode Carathéodory.
(17)
Persamaan diferensial takotonom
Fungsi Fungsi Persamaan
Lagrangian Hamiltonian Hamiltonian-Jacobi
Persamaan solusi variasional
Kalkulus variasi
turunan pertama
minimizer solusi
minimizer = turunan pertama solusi
solusi minimizer = solusi periodik persamaan diferensial takotonom
Gambar 2 Skema penyelesaian solusi periodik persamaan diferensial takotonom orde dua dengan metode Carathéodory
3. Contoh Kasus
Akan dicari solusi periodik persamaan diferensial takotonom berikut
( )
( )
(
)
(
( )
)
22 5
2
'' F x f x F x 0,
y y
y y
−
− + + =
[ ]
0,x∈ T (29)
( )
0( )
,y =y T y′
( )
0 =y T′( )
, (30)dimana fungsi kontinu
yang memenuhi 0,
T > f : →
( )
0,f x ≡ f x
(
+T)
= f x( )
,( )
( )
0
x
F x =
∫
f s ds Jawab.Definisi persamaan diferensial takotonom
( )
, 0y
y′′ − ∇ V x y = .
Dari persamaan diferensial takotonom (29) dapat diambil
( )
( )
( )
(
( )
)
2
2 5
2 ,
y
F x
F x f x
V x y y
y y
−
∇ = − −
sehingga
( )
( )
( )
(
( )
)
2 2
4
1 ,
2 2
F x
F x f x
V x y y
y y
−
= + + .
Dengan demikian fungsi Lagrangian
(
)
2( )
| |
1
, , ,
2
x y y′ = y′ +V x y L
(18)
( ) ( )
(
( )
)
22 2
4
1 1
.
2 2 2
F x F x f x
y y y y − ′ = + + + Fungsi Hamiltonian
(
, ,)
,(
, ,)
H x y s = s q −L x y q
( )
2 | | 1 , 2sq ⎛ q V x y ⎞
= −⎜ + ⎟
⎝ ⎠
( ) ( )
( )
( )
22 2
4
1 1
.
2 2 2
F x
F x f x
sq q y
y y ⎛ − ⎞ ⎜ ⎟ = − + + + ⎜ ⎟ ⎜ ⎟ ⎝ ⎠ (31)
(
)
( ) ( )
( )
( )
2 2 2 4 1 1 , ,2 2 2
q
F x F x f x
x y q q y
q y y
⎛ − ⎞ ∂ ⎜ ⎟ ∇ = ⎜ + + + ⎟ ∂ ⎜ ⎟ ⎝ ⎠ L
=q.
Dari persamaan (23), ∇qL
(
x y q, ,)
=suntuk fungsi Hamiltonian (31), berarti q=s. Eliminasi q dengan s, maka fungsi Hamiltonian (31) menjadi(
)
( ) ( )
( )
( )
2
2 2 2
4
1 1
, ,
2 2 2
F x F x f x
H x y s s s y
y y ⎛ − ⎞ ⎜ ⎟ = − + + + ⎜ ⎟ ⎜ ⎟ ⎝ ⎠
( ) ( )
(
( )
)
22 2
4
1 1
.
2 2 2
F x F x f x
s y y y ⎛ − ⎞ ⎜ ⎟ = −⎜ + + ⎟ ⎜ ⎟ ⎝ ⎠ (32) Persamaan Hamiltonian-Jacobi
( )
,(
, , y( )
,)
Sx y H x y S x y 0
x
∂ + ∇
∂ =
menjadi
( ) ( )
( )
( )
2 22
4
1 1
0
2 2 2
F x F x f x
S S
y
x y y y
⎛ − ⎞ ⎛ ⎞ ∂ + ∂ −⎜ + + ⎟= ⎜ ⎟ ⎜ ⎟ ∂ ⎝ ⎠ ⎝∂ ⎜ ⎟ ⎠ (33) dimana s= ∇yS x y
( )
, .Diasumsikan solusi persamaan Hamiltonian-Jacobi memiliki bentuk
( )
( )
2( )
( )
4( )
1 2 3
, h x ,
S x y h x y h x y h x
y
= + + +
(34) dimana dapat diturunkan dan turunannya kontinu dan memenuhi
( )
i
h x
(
)
( )
,i i
h x+T =h x Dengan
mensubstitusi persamaan (34) ke persamaan (33) diperoleh
1, 2, 3, 4. i=
( )
1 2( )
, 2
F x
S x y y C
y
= − +
adalah solusi persamaan Hamiltonian-Jacobi (33). Perhitungan lengkapnya dapat dilihat di Lampiran 2. Dari persamaan (24)
( )
, y( )
,q x y = ∇ S x y
2 ( ) . F x y y = + Diperoleh
( )
2 , F x y y y′ = + x∈
[ ]
0,T (35)( )
0( )
.y = y T (36)
Dengan memperoleh solusi persamaan (35) maka akan diperoleh solusi periodik persamaan diferensial takotonom (29).
Diperoleh solusi persamaan (35)
( )
( )
( )
( ) ( )
(
(
( )
)
)
( ) ( )
1 3 3 0 exp 3 exp 33 exp 3 exp 3 .
1 exp 3 1 exp 3
x T
x
T x
x
y x s F s ds s F s ds
T T
⎛ + ⎞
= ⎜⎜ − + − ⎟⎟
− −
⎝
∫
∫
⎠Perhitungan lengkapnya dapat dilihat di Lampiran 3.
(19)
2
2 5
(sin cos ) (2 sin )
( ) x x x 0,
y x y
y y
−
′′ − + + = x∈
[
0, 4π]
, (37)(0) (4 ),
y =y π y'(0)=y'(4 ).π (38)
Dari hasil pada contoh kasus maka dapat diperoleh
( )
( )
(
)
(
)
(
)
(
)
(
)
1
4 3
3
0
exp 3 exp 12 3
3 exp 3 sin exp 3 s
1 exp 12 1 exp 12
x
x
x x
y x s sds s sds
π
π
π π
+
= − + −
− −
⎛
⎞
⎜
⎟
⎝
∫
∫
in⎠
(
)
1 3
3
3sin cos
10 x x
= −
⎛
⎜
+⎝
⎠
⎞
⎟
(39)adalah solusi persamaan diferensial takotonom (37). Perhitungan lengkapnya dapat dilihat di Lampiran 4. Gambar berikut adalah grafik yang memperlihatkan solusi (39) periodik.
y
2
3
2 2
5
2 3
7
2 4
x
1.0 0.5 0.5 1.0
Gambar 3 Grafik solusi
( )
(
)
1 3
3
3sin cos 10
y x = −
⎛
⎜
x+ x⎞
⎟
⎝
⎠
IV. KESIMPULAN
Dengan menggunakan metode Carathéodory didapatkan hasil bahwa solusi periodik persamaan diferensial takotonom orde dua sama dengan solusi dari minimizer persamaan variasional yang termasuk dalam langkah-langkah metode tersebut. Jadi dapat disimpulkan bahwa metode Carathéodory dapat digunakan untuk mencari solusi periodik persamaan diferensial takotonom orde dua. Pada contoh kasus telah ditunjukkan bahwa metode Carathéodory
digunakan untuk persamaan diferensial tak linear.
(20)
DAFTAR PUSTAKA
Beezer, R. A. 2006. A First Course in Linear Algebra. Department of Mathematics and Computer Science: University of Puget Sound.
Boas, M. L. 1983. Mathematical Methods in The Physical Sciences 2nd Edition. Singapore: John Willey & Sons Inc. Carathéodory, C. 1999. Calculus of Variations
and Partial Differential of First Order 3rd Edition. USA: AMS Chelsea Publishing. Farlow, S. J. 1994. An Introduction To
Differential Equations and Their Applications. Singapore: McGraw-Hill Book Co.
Hanum, F. 2006. Pengoptimuman (Pemrograman Tak Linear). Bogor: Departemen Matematika FMIPA IPB. Ji, S. G. & Shi, S. Y. 2006. Periodic Solutions
for a Class of Second-Order Ordinary Differential Equations. Journal of Optimization Theory and Applications. 130: 125-137.
Mathews, J. H. 1992. Numerical Methods for Mathematics, Science, and Engineering 2nd Edition. California: Prentice-Hall International, Inc.
Purcell, E. J. 1987. Calculus with Analytic Geometry 5th Edition. New Jersey: Prentice-Hall, Inc.
Rice, B. J. & Strange. J. D. 1994. Ordinary Differential Equation with Applications 3rd Edition. Belmont, California: Wadsworth, Inc.
Simmons, G. F. 1991. Differential Equations with Applications and Historical Notes Second Edition. Singapore: McGraw-Hill Inc.
Stewart, J. 2003. Kalkulus, edisi ke-4 jilid 2. Gunawan H. & Susila I. N., alih bahasa; Mahanani N. & Safitri A., editor. Jakarta: Erlangga. Terjemahan dari: Calculus, Fourth Edition.
Tu, P. N. V. 1993. Introductory Optimization Dynamics: Optimal Control with Economics and Management Applications, Second Revised and Enlarged Edition. Berlin: Springer-Verlag.
Verhulst, F. 1990. Non Linier Differential Equation and Dynamical Systems. Hiedelberg, Germany: Springer-Verlag. Wan, Y. M. 1995. Introduction to The Calculus
of Variations and Its Application. USA: Chapman & Hall.
(21)
(22)
Lampiran 1.
Bukti Lema dan Teorema Lema 14.
Misal S: 0,
[ ]
T ×n→ adalah fungsi yang terturunkan dan turunannya kontinu dan memenuhi( )
0,(
,)
,S y =S T y
( )
0,(
,)
,S S
y T y
x x
∂ =∂
∂ ∂ ,
n y∈
sehingga syarat berikut dipenuhi
(1) Untuk setiap
(
x y y, , ′ ∈)
[ ]
0,T ×n×n, L%(
x y y, , ′ ≥)
0(2) Untuk setiap
( )
x y, ∈[ ]
0,T ×n, persamaannya L%(
x y q, ,)
=0 mempunyai solusimemenuhi .
( , )
q=q x y
( )
0,(
,q y =q T y
)
Misal q=q x y( , ) solusi dari L%
(
x y q, ,)
=0 yang memenuhi q( )
0,y =q T y(
,)
. Jika[ ]
* : 0, n
y T → solusi dari
( )
(
,( )
)
,y x′ =q x y x x∈
[ ]
0,T(10)
( )
0( )
y =y T (11)
kemudian y* ( )x minimizer dari persamaan variasional
,
( )
min ,
y∈ΩI y
( )
(
( ) ( )
)
0
, ,
T
I y =
∫
L x y x y x′ dxmaka y* ( )x adalah solusi periodik dari persamaan diferensial takotonom. Bukti Lema 14.
Misalkan y* : 0,
[ ]
T →n solusi persamaan (10) dapat dilihat( )
(
( )
)
* , * ,
y ′ x =q x y x y*∈n
( )
(
( )
)
( )
( )
( )
(
( )
)
(
( )
)
( )
* 0 0, * 0
* 0 *
* 0 0, * 0 , * *
y q y
y y T
y q y q T y T y
′ =
=
′ = = = ′ T
sehingga dihasilkan y* 0′
( )
= y*′( )
T , yang berarti y*∈ Ω. Dengan syarat (1) dan (2), maka( ) ( )
(
x y x, ,y x′)
≥(
x y, *( )
x ,q x y(
, *( )
x)
)
=% %
L L 0
Untuk setiap y∈ Ω,
( ) ( )
(
( ) ( )
)
(
( )
( )
)
0
* , , , * , *
T
I y −I y =
∫
⎣⎡L x y x y x′ −L x y x y ′ x ⎦⎤dx( ) ( )
(
)
(
( )
)
(
( )
)
( )
0
, , , , ,
T
y
S
x y x y x x y x S x y x y x dx
x
∂
⎡ ′ ′ ⎤
= ⎢ + + ∇ ⎥
∂
⎣ ⎦
(23)
(
( )
( )
)
(
( )
)
(
( )
)
( )
0 , * , * , * , * , * T y Sx y x y x x y x S x y x y x dx
x ∂ ⎡ ′ ′ ⎤ − ⎢ + + ∇ ⎥ ∂ ⎣ ⎦
∫
L%( ) ( )
(
)
(
( )
( )
)
0
, , , * , *
T
x y x y x x y x y x dx
⎡ ′ ′ ⎤
=
∫
⎣L% −L% ⎦( )
(
)
(
( )
)
( )
0 , , , T y Sx y x S x y x y x dx
x ∂ ⎡ ′ ⎤ + ⎢ + ∇ ⎥ ∂ ⎣ ⎦
∫
( )
(
)
(
( )
)
( )
0 , * , * , * T y Sx y x S x y x y x dx
x ∂ ⎡ ′ ⎤ − ⎢ + ∇ ⎥ ∂ ⎣ ⎦
∫
(
( ) ( )
)
(
( )
(
( )
)
)
0 , , , * , , * Tx y x y x x y x q x y x dx
⎡ ′ ⎤
=
∫
⎣L% −L% ⎦( )
(
)
(
( )
)
( )
0 , , , T y Sx y x S x y x y x dx
x ∂ ⎡ ′ ⎤ + ⎢ + ∇ ⎥ ∂ ⎣ ⎦
∫
( )
(
)
(
( )
)
(
( )
)
0 , * , * , , * T y Sx y x S x y x q x y x dx
x ∂ ⎡ ⎤ − ⎢ + ∇ ⎥ ∂ ⎣ ⎦
∫
(
( ) ( )
)
(
( )
(
( )
)
)
0 , , , * , , * Tx y x y x x y x q x y x dx
⎡ ′ ⎤
=
∫
⎣L% −L% ⎦( )
(
)
(
( )
)
0 0 , , T T d dS x y x dx S x y x dx
dx dx +
∫
−∫
*(
( ) ( )
)
(
( )
(
( )
)
)
0 , , , * , , * Tx y x y x x y x q x y x dx
⎡ ′ ⎤
=
∫
⎣L% −L% ⎦( )
(
)
(
( )
)
0 0
, T , * T
S x y x S x y x
+ −
(
( ) ( )
)
(
( )
(
( )
)
)
0
, , , * , , *
T
x y x y x x y x q x y x dx
⎡ ′ ⎤
=
∫
⎣L% −L% ⎦( )
(
,)
(
0,( )
0)
(
, *( )
)
(
0, *( )
)
S T y T S y S T y T S y
⎡ ⎤ ⎡
+⎣ − ⎦ ⎣− − 0 ⎤⎦
(
( ) ( )
)
(
( )
(
( )
)
)
0
, , , * , , *
0
T
x y x y x x y x q x y x dx
⎡ ′ ⎤
= ⎣ − ⎦
≥
∫
L% L%jadi I y
( ) ( )
≥I y* , y∈ ΩNilai batas periodik adalah syarat perlu dari persamaan variasional
( )
min ,
y∈ΩI y
( )
(
( ) ( )
)
.0
, ,
T
I y =
∫
L x y x y x′ dxOleh karena itu, jika persamaan variasional dipenuhi yaitu menemukan minimizernya y* ( )x maka nilai batas periodik (11) dipenuhi. y* ( )x adalah solusi dari persamaan (10) dengan nilai batas periodik (11) maka y* ( )x adalah solusi periodik.
(24)
Teorema 15
Asumsikan bahwa S: 0,
[ ]
T ×n→ solusi dari persamaan Hamiltonian-Jacobi( )
,(
, , y( )
,)
Sx y H x y S x y 0
x
∂ + ∇
∂ =
dan q: 0,
[ ]
T ×n→nmemenuhi ∇qL
(
x y q x y, ,( )
,)
− ∇yS x y( )
, =0Jika y* : 0,
[ ]
T →n solusi( )
(
,( )
)
,y x′ =q x y x x∈
[ ]
0,T( )
0( )
y =y T
kemudian y* ( )x minimizer dari persamaan variasional
( )
min ,
y
I y
∈Ω
( )
(
( ) ( )
)
,0
, ,
T
I y =
∫
L x y x y x′ dxmaka y* ( )x solusi periodik dari persamaan diferensial takotonom. Bukti teorema 15
Dengan asumsi pada S dan q, syarat (1) dan (2) dipenuhi. Dengan Lema 14, teorema siap dibuktikan.
Misalkan y* : 0,
[ ]
T →n solusi( )
(
,( )
)
,y x′ =q x y x x∈
[ ]
0,T(12)
( )
0( )
y =y T (13)
dapat dilihat
( )
(
( )
)
* , * ,
y ′ x =q x y x y*∈n
( )
(
( )
)
( )
( )
( )
(
( )
)
(
( )
)
( )
* 0 0, * 0
* 0 *
* 0 0, * 0 , * *
y q y
y y T
y q y q T y T y
′ =
=
′ = = = ′ T
sehingga dihasilkan y* 0′
( )
= y*′( )
T , yang berarti y*∈ Ω. Dan juga, dengan (1) dan (2) maka( ) ( )
(
x y x, ,y x′)
≥(
x y, *( )
x ,q x y(
, *( )
x)
)
=% %
L L 0
Untuk setiap y∈ Ω, diperoleh
( ) ( )
(
( ) ( )
)
(
( )
( )
)
0
* , , , * , *
T
I y −I y =
∫
⎣⎡L x y x y x′ −L x y x y ′ x ⎦⎤dx
(
( ) ( )
)
(
( )
)
(
( )
)
( )
0
, , , , ,
T
y
S
x y x y x x y x S x y x y x dx
x
∂
⎡ ′ ′ ⎤
= ⎢ + + ∇ ⎥
∂
⎣ ⎦
∫
L%
(
( )
( )
)
(
( )
)
(
( )
)
( )
0
, * , * , * , * , *
T
y
S
x y x y x x y x S x y x y x dx
x
∂
⎡ ′ ′ ⎤
− ⎢ + + ∇ ⎥
∂
⎣ ⎦
(25)
(
( ) ( )
)
(
( )
( )
)
0
, , , * , *
T
x y x y x x y x y x dx
⎡ ′ ′ ⎤
=
∫
⎣L% −L% ⎦( )
(
)
(
( )
)
( )
0 , , , T y Sx y x S x y x y x dx
x ∂ ⎡ ′ ⎤ + ⎢ + ∇ ⎥ ∂ ⎣ ⎦
∫
( )
(
)
(
( )
)
( )
0 , * , * , * T y Sx y x S x y x y x dx
x ∂ ⎡ ′ ⎤ − ⎢ + ∇ ⎥ ∂ ⎣ ⎦
∫
(
( ) ( )
)
(
( )
(
( )
)
)
0 , , , * , , * Tx y x y x x y x q x y x dx
⎡ ′ ⎤
=
∫
⎣L% −L% ⎦( )
(
)
(
( )
)
( )
0 , , , T y Sx y x S x y x y x dx
x ∂ ⎡ ′ ⎤ + ⎢ + ∇ ⎥ ∂ ⎣ ⎦
∫
( )
(
)
(
( )
)
(
( )
)
0 , * , * , , * T y Sx y x S x y x q x y x dx
x ∂ ⎡ ⎤ − ⎢ + ∇ ⎥ ∂ ⎣ ⎦
∫
(
( ) ( )
)
(
( )
(
( )
)
)
0 , , , * , , * Tx y x y x x y x q x y x dx
⎡ ′ ⎤
=
∫
⎣L% −L% ⎦
(
( )
)
(
( )
)
0 0
, ,
T T
d d
S x y x dx S x y x dx
dx dx +
∫
−∫
*(
( ) ( )
)
(
( )
(
( )
)
)
0 , , , * , , * Tx y x y x x y x q x y x dx
⎡ ′ ⎤
=
∫
⎣L% −L% ⎦
(
( )
)
(
( )
)
0 0
, T , * T
S x y x S x y x
+ −
(
( ) ( )
)
(
( )
(
( )
)
)
0
, , , * , , *
T
x y x y x x y x q x y x dx
⎡ ′ ⎤
=
∫
⎣L% −L% ⎦+⎡⎣S T y T
(
,( )
)
−S(
0,y( )
0)
⎤ ⎡⎦ ⎣− S T y(
, *( )
T)
−S(
0, *y( )
0)
⎤⎦
(
( ) ( )
)
(
( )
(
( )
)
)
0
, , , * , , *
0
T
x y x y x x y x q x y x dx
⎡ ′ ⎤
= ⎣ − ⎦
≥
∫
L% L%jadi I y
( ) ( )
≥I y* , y∈ Ω.Nilai batas periodik adalah syarat perlu dari persamaan variasional
( )
min ,
y
I y
∈Ω
( )
(
( ) ( )
)
.0
, ,
T
I y =
∫
L x y x y x′ dxOleh karena itu, jika persamaan variasional dipenuhi yaitu menemukan minimizernya y* ( )x maka nilai batas periodik (13) dipenuhi. y* ( )x adalah solusi dari persamaan (12) dengan nilai batas periodik (13) maka y* ( )x adalah solusi periodik.
(26)
Lampiran 2
Mencari Solusi Persamaan Hamiltonian-Jacobi (33)
Akan dicari solusi dari persamaan Hamiltonian-Jacobi berikut
( )
( )
(
( )
)
2 2 2 4 1 1 02 2 2
F x f x F x
S S
y
x y y y
− ∂ ∂ + − + + ∂ ∂
⎛
⎞
⎛
⎞
⎜
⎟ ⎜
⎟
⎝
⎠ ⎝
⎠
= . (33)Diasumsikan bahwa solusi memiliki bentuk
(
)
( )
2( )
( )
4( )
1 2 3
, h x
S x y h x y h x y h x
y
= + + + ,
)
(34)
dimana h xi( ) dapat diturunkan dan turunannya kontinu dan memenuhi h xi
(
+T)
=h xi(
,1, 2, 3, 4. i=
Dari persamaan (34)
( )
( )
4( )
1 2 2
2
S h
h x y h x x
y y ∂ = + − ∂
( )
( ) ( )
( ) ( )
( )
( ) ( )
( )
2 22 2 1 4 2 2 4 4
1 1 2 2 2 4
4 2
4 4
S h x h x h x
h x y h x h x y h x
y y ∂ = + − + − + ∂
⎛
⎞
⎜
⎟
⎝
⎠
h x h x
y y
( )
2( )
( )
4( )
1 2 3
S h
h x y h x y h x x
x y
′
∂ ′ ′ ′
= + + +
∂
disubstitusikan ke persamaan (33)
( )
( )
(
( )
)
2 2
2
4
1 1
2 2 2
S S F x f x F x
y
x y y y
∂ ∂ − = − + + + ∂ ∂
⎛
⎞
⎜
⎟
⎝
⎠
( )
2( )
( )
4( )
1 2 3
h x
h x y h x y h x
y
′
′ + ′ + ′ +
( )
( ) ( )
( ) ( )
2( )
( ) ( )
2 2 1 4 2 2 4
1 1 2 2
2
2 2
2
h x h x h x h x h x
h x y h x h x y
y y
= − − + − +
( )
( )
( )
(
( )
)
2 22 4
4 4
1
2 2 2
h x F x f x F x
y y y − − + + + y kemudian
( )
2( )
1 1
1 2
2 h x′ = − h x +
( )
2( )
1 1
1 2
2
h x′ + h x = , (40)
( )
( ) ( )
2 2 1 2
h′ x = − h x h x
( )
( ) ( )
2 2 1 2
h′ x + h x h x =0, (41)
( )
2( )
3 2
1 2
(27)
( )
2( )
3 2
1
0, 2
h′ x + h x = (42)
( )
( ) ( )
( )
( )
4 2 1 4
h′ x = h x h x +F x − f x
( )
( ) ( )
( )
( )
4 2 1 4 ,
h′ x − h x h x = F x − f x (43)
( ) ( )
2 4 0,
h x h x = (44)
( )
(
( )
)
2 24
4 4 0
2 2
h x F x
y y
− + =
2
( )
(
)
2(
( )
)
4
.
h x = F x (45)
Dari (40)-(45), diperoleh
( )
11 , 2
h x = h2
( )
x =0, h3( )
x =C, h4( )
x = −F x( )
,dimana C melambangkan konstanta sembarang. Sehingga diperoleh solusi
( )
1 2( )
, 2
F x
S x y y C
y
(28)
Lampiran 3
Mencari Solusi Persamaan Diferensial Orde Pertama
( )
2 ,F x
y y
y
′ = + x∈
[ ]
0,T , (35)( )
0( )
y = y T (36)
( )
2 3
y y′ = y +F x
misal 3
u = y
2
3
du dy
y
dx dx
=
2
1 3
du dy
y
dx dx
=
( )
2 3
y y′ = y +F x
( )
1 3
du
u F x
dx
= +
( )
3 3
du
u F x
dx
= +
( )
3 3
du
u F x
dx
− =
(
)(
)
( )
(
)
exp −3x u′−3u =3F x exp −3x
(
)
(
exp 3)
3 exp(
3)
d
( )
x u x
dx − = −
F x
(
)
(
) ( )
exp −3x u=
∫
3 exp −3x F x dx+C( )
(
(
) ( )
)
exp 3 3 exp 3
u = x
∫
− x F x dx+C1 3
y=u
(
( )
(
(
) ( )
)
)
1 3
exp 3x 3exp 3x F x dx
=
∫
− +C
(
( )
(
(
) ( )
)
)
1 3
3exp 3x exp 3x F x dx
=
∫
− +C( )
( )
( ) ( )
1 3 0
3exp 3 exp 3
x
y x =
⎛
⎜
x⎛
⎜
− s F s ds C⎝
⎝
∫
+⎞⎞
⎟⎟
⎠⎠
(29)
untuk x=0
( )
(
) ( )
1 0 3 00 3 exp 3
y =
⎛ ⎛
⎜ ⎜
− s F s d +⎞⎞
⎟⎟
⎝ ⎝
∫
s C⎠⎠
( )
1 33C
=
untuk x=T
( )
( )
(
) ( )
1 3 0
3exp 3 exp 3
T
y T =
⎛
⎜
T⎛
⎜
− s F s ds C⎝
⎝
∫
+⎞⎞
⎟⎟
⎠⎠
T
nilai batas periodik y
( )
0 = y( )
( )
( )
( ) ( )
1
1 3
3
0
3 3 exp 3 exp 3
T
C T s F s ds
⇔ =
⎛
⎜
⎛
⎜
− +⎝
⎝
∫
C⎞⎞
⎟⎟
⎠⎠
C C C ds)
s ds( )
(
) ( )
03 3 exp 3 exp 3
T
C T s F s ds
⇔ =
⎛
⎜
− +⎞
⎟
⎝
∫
⎠
( )
(
) ( )
( )
03 3 exp 3 exp 3 exp 3
T
C T s F s ds T
⇔ =
⎛
⎜
− +⎞
⎟
⎝
∫
⎠
( )
(
) ( )
( )
0exp 3 exp 3 exp 3
T
C T s F s ds T
⇔ =
∫
− +( )
( )
(
) ( )
0exp 3 exp 3 exp 3
T
C T C T s F s
⇔ − =
∫
−( )
(
)
( )
(
) (
0
1 exp 3 exp 3 exp 3
T
C T T s F
⇔ − =
∫
−( )
(
) ( )
( )
0exp 3 exp 3 1 exp 3
T
T s F s
C T − ⇔ = −
∫
ds Jadi( )
( )
(
) ( )
( )
(
) ( )
( )
1 3 0 0exp 3 exp 3
3 exp 3 exp 3
1 exp 3
T
x T s F s ds
y x x s F s ds
T − = − + −
⎛
⎛
⎜
⎜
⎜
⎜
⎜
⎜
⎜
⎜
⎝
⎝
∫
∫
⎞⎞
⎟⎟
⎟⎟
⎟⎟
⎟⎟
⎠⎠
( )
(
) ( )
(
(
)
)
( )
(
) ( )
1 3 0 0 3exp 33 exp 3 exp 3 exp 3
1 exp 3
x T
T x
x s F s ds s F s ds
T + = − + − −
⎛
⎞
⎜
⎟
⎝
∫
∫
⎠
(30)
( )
(
(
)
)
( )
(
) ( )
(
)
(
)
( )
(
) ( )
1 3 0 03exp 3 3 exp 3 3exp 3
exp 3 exp 3
1 exp 3 1 exp 3
x T
x T x T x
s F s ds s F s ds
T T − + + = − + − −
⎛
⎞
⎜
⎟
⎝
∫
∫
⎠
( ) ( ( )) ( ) − ( ) ( ) ( ( )) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 1 3 0 03 exp 3 3exp 3 3 exp 3 3 exp 3
exp 3 exp 3 exp 3
1 exp 3 1 exp 3 1 exp 3
x x T
x
x T x T x T x
s F s ds s F s ds s F s ds
T T T
− + + + = − + − + − − − − ⎛ ⎞ ⎜ ⎟ ⎝
∫
∫
∫
⎠( )
( )
(
) ( )
(
)
(
)
( )
(
) ( )
1 3 03 exp 3 3exp 3
exp 3 exp 3
1 exp 3 1 exp 3
x T
x
x T x
s F s ds s F s ds
T T + = − + − − −
⎛
⎞
⎜
⎟
⎝
∫
∫
⎠
( )
( )
(
) ( )
(
)
(
)
( )
(
) ( )
1 3 0exp 3 exp 3
3 exp 3 exp 3
1 exp 3 1 exp 3
x T
x
x T x
s F s ds s F s ds
T T + = − + − − −
⎛ ⎛
⎞⎞
⎜ ⎜
⎟⎟
⎝ ⎝
∫
∫
⎠⎠
( )
( )
(
) ( )
(
)
(
)
( )
(
) ( )
1 3 3 0exp 3 exp 3
3 exp 3 exp 3
1 exp 3 1 exp 3
x T
x
x T x
s F s ds s F s ds
T T + = − + − − −
⎛
⎞
⎜
⎟
⎝
∫
∫
⎠
( )
( )
( )
(
) ( )
(
(
( )
)
)
(
) ( )
1 3 3 0exp 3 exp 3
3 exp 3 exp 3
1 exp 3 1 exp 3
x T
x
x T x
y x s F s ds s F s ds
T T + = − + − − −
⎛
⎞
⎜
⎟
⎝
∫
∫
⎠
.(1)
( )
2( )
3 2
1
0, 2
h′ x + h x = (42)
( )
( ) ( )
( )
( )
4 2 1 4
h′ x = h x h x +F x − f x
( )
( ) ( )
( )
( )
4 2 1 4 ,
h′ x − h x h x = F x − f x (43)
( ) ( )
2 4 0,
h x h x = (44)
( )
(
( )
)
2 24
4 4 0
2 2
h x F x
y y
− + =
2
( )
(
)
2(
( )
)
4
.
h x = F x (45)
Dari (40)-(45), diperoleh
( )
1 1
, 2
h x = h2
( )
x =0, h3( )
x =C, h4( )
x = −F x( )
, dimana C melambangkan konstanta sembarang. Sehingga diperoleh solusi( )
1 2( )
,2
F x
S x y y C
y
(2)
Lampiran 3
Mencari Solusi Persamaan Diferensial Orde Pertama
( )
2 , F x y y
y
′ = + x∈
[ ]
0,T , (35)( )
0( )
y = y T (36)
( )
2 3
y y′ = y +F x misal 3
u = y 2 3
du dy
y
dx dx
=
2 1
3
du dy
y
dx dx
=
( )
2 3
y y′ = y +F x
( )
1 3
du
u F x dx
= +
( )
3 3 du
u F x dx
= +
( )
3 3 du
u F x
dx
− =
(
)(
)
( )
(
)
exp −3x u′−3u =3F x exp −3x
(
)
(
exp 3)
3 exp(
3)
d
( )
x u x
dx − = −
F x
(
)
(
) ( )
exp −3x u=
∫
3 exp −3x F x dx+C( )
(
(
) ( )
)
exp 3 3 exp 3
u = x
∫
− x F x dx+C 13
y=u
(
( )
(
(
) ( )
)
)
1 3 exp 3x 3exp 3x F x dx=
∫
− +C
(
( )
(
(
) ( )
)
)
1 3 3exp 3x exp 3x F x dx=
∫
− +C( )
( )
( ) ( )
1 3
0 3exp 3 exp 3
x
y x =
⎛
⎜
x⎛
⎜
− s F s ds C⎝
⎝
∫
+⎞⎞
⎟⎟
⎠⎠
(3)
untuk x=0
( )
(
) ( )
1 0 3 00 3 exp 3
y =
⎛ ⎛
⎜ ⎜
− s F s d +⎞⎞
⎟⎟
⎝ ⎝
∫
s C⎠⎠
( )
1 3 3C= untuk x=T
( )
( )
(
) ( )
1 3
0
3exp 3 exp 3
T
y T =
⎛
⎜
T⎛
⎜
− s F s ds C⎝
⎝
∫
+⎞⎞
⎟⎟
⎠⎠
T nilai batas periodik y
( )
0 = y( )
( )
( )
( ) ( )
1
1 3
3
0
3 3 exp 3 exp 3
T
C T s F s ds
⇔ =
⎛
⎜
⎛
⎜
− +⎝
⎝
∫
C⎞⎞
⎟⎟
⎠⎠
C C C ds)
s ds( )
(
) ( )
0 3 3 exp 3 exp 3T
C T s F s ds
⇔ =
⎛
⎜
− +⎞
⎟
⎝
∫
⎠
( )
(
) ( )
( )
0
3 3 exp 3 exp 3 exp 3
T
C T s F s ds T
⇔ =
⎛
⎜
− +⎞
⎟
⎝
∫
⎠
( )
(
) ( )
( )
0
exp 3 exp 3 exp 3
T
C T s F s ds T
⇔ =
∫
− +( )
( )
(
) ( )
0 exp 3 exp 3 exp 3
T
C T C T s F s
⇔ − =
∫
−( )
(
)
( )
(
) (
0 1 exp 3 exp 3 exp 3
T
C T T s F
⇔ − =
∫
−( )
(
) ( )
( )
0 exp 3 exp 3
1 exp 3
T
T s F s
C T − ⇔ = −
∫
ds Jadi( )
( )
(
) ( )
( )
(
) ( )
( )
1 3 0 0exp 3 exp 3 3 exp 3 exp 3
1 exp 3
T
x T s F s ds
y x x s F s ds
T − = − + −
⎛
⎛
⎜
⎜
⎜
⎜
⎜
⎜
⎜
⎜
⎝
⎝
∫
∫
⎞⎞
⎟⎟
⎟⎟
⎟⎟
⎟⎟
⎠⎠
( )
(
) ( )
(
(
)
)
( )
(
) ( )
1 3 0 0 3exp 33 exp 3 exp 3 exp 3
1 exp 3
x T
T x
x s F s ds s F s ds
T + = − + − −
⎛
⎞
⎜
⎟
⎝
∫
∫
⎠
(4)
( )
(
(
)
)
( )
(
) ( )
(
)
(
)
( )
(
) ( )
1 3 0 03exp 3 3 exp 3 3exp 3
exp 3 exp 3
1 exp 3 1 exp 3
x T
x T x T x
s F s ds s F s ds
T T − + + = − + − −
⎛
⎞
⎜
⎟
⎝
∫
∫
⎠
( ) ( ( )) ( ) − ( ) ( ) ( ( )) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 1 3 0 03 exp 3 3exp 3 3 exp 3 3 exp 3
exp 3 exp 3 exp 3
1 exp 3 1 exp 3 1 exp 3
x x T
x
x T x T x T x
s F s ds s F s ds s F s ds
T T T
− + + + = − + − + − − − − ⎛ ⎞ ⎜ ⎟ ⎝
∫
∫
∫
⎠( )
( )
(
) ( )
(
)
(
)
( )
(
) ( )
1 3 03 exp 3 3exp 3
exp 3 exp 3
1 exp 3 1 exp 3
x T
x
x T x
s F s ds s F s ds
T T + = − + − − −
⎛
⎞
⎜
⎟
⎝
∫
∫
⎠
( )
( )
(
) ( )
(
)
(
)
( )
(
) ( )
1 3 0exp 3 exp 3
3 exp 3 exp 3
1 exp 3 1 exp 3
x T
x
x T x
s F s ds s F s ds
T T + = − + − − −
⎛ ⎛
⎞⎞
⎜ ⎜
⎟⎟
⎝ ⎝
∫
∫
⎠⎠
( )
( )
(
) ( )
(
)
(
)
( )
(
) ( )
1 3 3 0exp 3 exp 3
3 exp 3 exp 3
1 exp 3 1 exp 3
x T
x
x T x
s F s ds s F s ds
T T + = − + − − −
⎛
⎞
⎜
⎟
⎝
∫
∫
⎠
( )
( )
( )
(
) ( )
(
(
( )
)
)
(
) ( )
1 3 3 0exp 3 exp 3
3 exp 3 exp 3
1 exp 3 1 exp 3
x T
x
x T x
y x s F s ds s F s ds
T T + = − + − − −
⎛
⎞
⎜
⎟
⎝
∫
∫
⎠
.(5)
Lampiran 4
Perhitungan Solusi Persamaan (37)
( )
( )
(
)
(
)
(
)
(
)
(
)
1
4 3
3
0
exp 3 exp 12 3
3 exp 3 sin exp 3 s
1 exp 12 1 exp 12
x
x
x x
y x s sds s sds
π
π
π π
+
= − + −
− −
⎛
⎞
⎜
⎟
⎝
∫
∫
in⎠
( )
( ) ( ( )( ))
( )
( ) ( ( ) ( )( ))
1 3
3 exp 3 1 exp 12 3 1
3 1 exp 3 cos 3sin exp 12 exp 3 cos 3sin
1 exp 12 10 1 exp 12 10
x x
x x x π π x x x
π π
+
= − − + + − − + − +
− −
⎛ ⎞
⎜ ⎟
⎝ ⎠
( ) (
)
( )
(
)(
)
(
)
1 3 3 3 exp 3 cos 3sin exp 3 exp 12 cos 3sin
10 1 exp 12
x x x x π x x
π
− + − + +
=
−
⎛
⎞
⎜
⎟
⎝
⎠
(
)
(
)
(
)
1 3 3 3 cos 3sin 1 exp
10 x x 1 exp 12
π π −
= − +
−
⎛
⎞
⎜
⎟
⎝
⎠
12
(
)
1 3 3
3sin cos
10 x x
= −
⎛
⎜
+⎞
⎟
(6)
Lampiran 5
Program Untuk Menunjukkan Grafik Solusi
( )
(
)
1 3 3
3sin cos 10
y x = −
⎛
⎜
x+ x⎞
⎟
⎝
⎠
fgs[x_]:=If[-((3/10) (3 Sin[x]+Cos[x]))<0, -Abs[-((3/10) (3 Sin[x]+Cos[x]))] , 1/3
Evaluate[-((3/10) (3 Sin[x]+Cos[x]))] ] 1/3
Plot[fgs[x],{x,0,4π},PlotRange→Full,
Ticks→{Table[i,{i,0,4 π,π/2}]},AxesLabel→{"x"},PlotLabel→"y"]
y
2
3
2 2
5
2 3
7
2 4
x
1.0 0.5 0.5 1.0