bedah materi masalah syarat batas sekaligus pembuktian teorema 1 dan 2 sturm
TRANSCRIPT
1
BEDAH MATERI MASALAH SYARAT BATAS SEKALIGUS PEMBUKTIAN
TEOREMA 1 DAN 2 STURM-LIOUVILLE
Oleh:Rukmono, Meivita, Anastasya, Endah Dwi, Siti Nurrokhmah
Jurusan matematika Undip
Pengampu: Farikhin, Ph.D.
I. Persamaan Sturm-Liouville
Nama Sturm-Liouville merujuk pada nama matematikawan Swiss, Jacques
Sturm (1803-1855) dan metematikawan Prancis, Joseph Liouville (1809-1882).
Keduanya mempelajari masalah syarat tertentu dan perilaku solusinya.
Pandang persamaan Sturm-Liouville:
๐ ๐ฅ ๐ฆโฒ(๐ฅ) โฒ + ๐ ๐ฅ + ๐ ๐ (๐ฅ) ๐ฆ ๐ฅ = 0 โฆโฆโฆ (๐)
Yang terkait dengan syarat batas:
๐1 ๐ฆ ๐ + ๐2 ๐ฆโฒ ๐ = 0 โฆโฆ . . (๐1)
๐1 ๐ฆ ๐ + ๐2 ๐ฆโฒ ๐ = 0 โฆ . (๐1)
Dimana :
๐ adalah nilai eigen terkait dengan ๐ฆ ๐ฅ
๐1 ,๐2 , ๐1 , ๐2 adalah bilangan- bilangan riil tak nol
๐ ,๐ , ๐ adalah tiga fungsi continuously differentiable pada ๐, ๐
๐ ๐ฅ > 0 dan ๐ ๐ฅ โ ๐ฅ ๐ ๐, ๐
Contoh:
Diberikan masalah syarat batas (๐ > 0)
๐ฆ" ๐ฅ + ๐ ๐ฆ ๐ฅ = 0
Dengan syarat batas ๐ฆโฒ 0 = 0, dan ๐ฆ ๐ = 0.
2
Dalam materi yang diberikan, Sang penulis telah mendapatkan hasil
sebagai berikut:
a. Solusi persamaan dari contoh diatas adalah
๐ฆ ๐ฅ = ๐ด cos ( ๐ ๐ฅ) + ๐ต sin( ๐ ๐ฅ)
b. Dengan menggunakan syarat batas yang diberikan , solusi non
trivial akan diperoleh jika ๐ =2๐+1
2
c. Untuk ๐ = 0, 1 , 2,โฆ , nilai-nilai eigennya adalah ๐๐ =2๐+1
2
d. Untuk ๐ = 0, 1 , 2,โฆ solusi pertsamaan differensial diatas yang terkait
dengan nilai eigen ๐๐ adalah ๐ฆ๐ ๐ฅ = cos 2๐+1
2
e. Pada contoh diatas, Persamaan differensial akan memiliki solusi
non trivial jika ๐ > 0 dan tidak memiliki solusi non trivial jika
๐ โค 0
PEMBUKTIAN
a. Untuk Positif ๐ = ๐๐ berlaku:
๐ฆ" ๐ฅ + ๐2 ๐ฆ ๐ฅ = 0 . โฆโฆโฆ (๐)
๐2๐ฆ(๐ฅ)
๐๐ฅ2+ ๐2 ๐ฆ ๐ฅ = 0 โฆโฆโฆโฆ (๐๐)
Misalkan ๐
๐๐ฅ= ๐ท, maka persamaan (๐๐) dapat ditulis sebagai
berikut:
(๐ท2 + ๐2) ๐ฆ ๐ฅ = 0, dimana ๐ฆ ๐ฅ โ 0, untuk itu
(๐ท2 + ๐2) = 0
๐ท2 โ ๐2๐2 = 0
3
๐ท2 โ ๐ ๐ 2 2
= 0
๐ท2 โ ๐ ๐ 2 = 0
๐ท + ๐ ๐ ๐ท โ ๐ ๐ = 0
๐ท1 = ๐ ๐ ๐๐ก๐๐ข ๐ท2 = โ ๐ ๐
Solusi Umum didapat
๐ฆ ๐ฅ = ๐ถ1 ๐๐ ๐ ๐ฅ + ๐ถ2 ๐
โ๐ ๐ ๐ฅ
= ๐ถ1 cos๐ ๐ฅ + ๐ sin ๐ ๐ฅ + ๐ถ2 (cos๐ ๐ฅ โ ๐ sin ๐ ๐ฅ)
= ๐ถ1 cos ๐ ๐ฅ + ๐ ๐ถ1 sin ๐ ๐ฅ + ๐ถ2 cos ๐ ๐ฅ โ ๐ ๐ถ2 sin ๐ ๐ฅ
= ๐ถ1 + ๐ถ2 cos ๐ ๐ฅ + ๐ ( ๐ถ1 โ ๐ถ2 ) sin ๐ ๐ฅ . . . . . . . (๐๐๐)
Misalkan
(๐ถ1 + ๐ถ2 ) = A
(๐ถ1 โ ๐ถ2 )๐ = B, maka persamaan (๐๐๐) dapat ditulis sebagai:
๐ ๐ = ๐จ ๐๐จ๐ฌ(๐ ๐) + ๐ฉ ๐ฌ๐ข๐ง(๐ ๐) Terbukti
b. Dengan menggunakan syarat batas, solusi non trivial akan
diperoleh jika ๐ =๐๐+๐
๐
Bukti :
Pandang solusi umum :
๐ฆ ๐ฅ = ๐ด cos(๐ ๐ฅ) + ๐ต sin ๐ ๐ฅ . . . . . . (๐๐ฃ)
๐ฆโฒ ๐ฅ = โ๐๐ด sin ๐ ๐ฅ + ๐๐ต cos ๐ ๐ฅ . . . . . . (๐ฃ)
4
Pandang persamaan (๐)
๐ฆโฒ ๐ฅ = โ๐๐ด sin ๐ ๐ฅ + ๐๐ต cos ๐ ๐ฅ
Untuk ๐ฆโฒ 0 = 0
0 = โ๐๐ด sin 0 + ๐๐ต cos 0
0 = 0 + ๐๐ต cos 0
0 = ๐๐ต cos 0
0 = ๐๐ต, ๐๐๐๐๐๐ ๐ โ 0 , ๐๐๐๐๐๐๐ข ๐ฉ = ๐
Pandang persamaan (๐๐)
๐ฆ ๐ฅ = ๐ด cos(๐ ๐ฅ) + ๐ต sin ๐ ๐ฅ
Untuk ๐ฆ ๐ = 0 ๐๐๐๐๐๐๐ข
0 = ๐ด cos(๐ ๐ ) + ๐ต sin ๐ ๐
Kita telah mengetahui bahwa ๐ฉ = ๐, untuk itu
0 = ๐ด cos(๐ ๐ ) + 0
0 = ๐ด cos(๐ ๐ ). . . . . . . . . . . . (๐ฃ๐)
Ingat bahwa cos(๐ ๐ ) = 0 Untuk setiap ๐ = 1
2 ,
3
2 ,
5
2 ,โฆ
Atau ๐ = 2๐+1
2 , dimana n = 0 ,1,2,3โฆ
Untuk itu, persamaan (๐ฃ๐) dapat ditulis :
0 = ๐ด cos ๐ ๐ , dimana A โ 0
cos ๐ ๐ = 0
๐ = ๐๐+๐
๐ Terbukti
5
Meskipun Konstanta B = 0 , namun karena nilai konstanta A โ 0, maka
solusi PD pada contoh soal adalah non trivial (Solusi Banyak) untuk
๐ = 2๐+1
2 . Hal ini disebabkan nilai A dapat bernilai berapapun
(Terbukti).
c. Untuk ๐ = ๐,๐ ,๐,โฆ , nilai-nilai eigennya adalah ๐๐ =๐๐+๐
๐
Bukti:
Kita telah membuktikan bahwan untuk ๐ =2๐+1
2, solusi PD pada soal
adalah non trivial . Untuk itu, jelas โ ๐ = 0, 1, 2,โฆ berlaku ๐๐ =๐๐+๐
๐
Terbukti
d. ๐ = ๐,๐,๐,โฆ solusi PD pada soal yang terkait dengan nilai
eigen ๐๐ adalah
๐๐ = ๐๐จ๐ฌ ๐๐ + ๐
๐ ๐
Bukti:
Pandang solusi (๐๐ฃ)
๐ฆ ๐ฅ = ๐ด cos(๐ ๐ฅ) + ๐ต sin ๐ ๐ฅ
6
Untuk syarat awal ๐ฆโฒ 0 = 0 kita telah membuktikan bahwa nilai B = 0.
Untuk itu, kita dapat menuliskan persamaan (๐๐ฃ) sebagai berikut:
๐ฆ (๐ฅ) = ๐ด cos(๐ ๐ฅ)
untuk ๐ =2๐+1
2,๐ = 0, 1, 2, 3โฆ diperoleh ๐ฆ (๐ฅ) = 0. Pada pembuktian
(a), kita mengambil positif ๐ = ๐๐. Jika nilai ฮป adalah 1,2,3. . . . Maka
table dibawah ini akan menunjukkan hubungan ฮป dengan ฮป2.
๐ ๐๐
1 1
2 4
3 9
Karena nilai A โ 0 (hal tersebul telah terbukti pada pembuktian b ),
misalkan diambil nilai A =1 , maka solusi persamaan Differensial diatas
manjadi
๐ฆ (๐ฅ) = cos(๐ ๐ฅ)
Karena
๐ =2๐+1
2,๐ = 0, 1, 2, 3โฆ maka berlaku ๐๐ =
๐๐+๐
๐.
Untuk itu
๐๐(๐) = ๐๐จ๐ฌ ๐๐+๐
๐ ๐ Terbukti
๐ ๐๐
4 16
: :
dst dst
7
e. Untuk ๐ > 0, solusi PD diatas adalah non trivial. begitu
sebaliknya, untuk ๐ โค ๐, solusinya adalah trivial.
Bukti:
Berdasarkan pembuktian a, b, c, d, pernyataan diatas terbukti
PEMBUKTIAN TEOREMA 1 DAN 2 STURM-LIOUVILLE
Teorema1:
Jika ๐ฆ adalah solusi umumuntuk PD Sturm- Liouville yang terkait
dengan nilai eigen ๐ , maka ๐ > 0.
Bukti:
Sebelum kita melangkah lebih jauh, pandang kembali PD Sturm-
Liouville
๐ ๐ฅ ๐ฆโฒ(๐ฅ) โฒ + ๐ ๐ฅ + ๐ ๐ (๐ฅ) ๐ฆ ๐ฅ = 0 โฆโฆ . . (๐)
Yang terkait dengan syarat batas:
๐1 ๐ฆ ๐ + ๐2 ๐ฆโฒ ๐ = 0
๐1 ๐ฆ ๐ + ๐2 ๐ฆโฒ ๐ = 0โฆโฆ . . (๐1)
Dimana :
๐ adalah nilai eigen terkait dengan ๐ฆ ๐ฅ
๐1 ,๐2 , ๐1 , ๐2 adalah bilangan- bilangan riil tak nol
๐ ,๐ , ๐ adalah tiga fungsi continuously differentiable pada ๐, ๐
8
๐ ๐ฅ > 0 dan ๐ ๐ฅ โ ๐ฅ ๐ ๐, ๐
Persamaan (a) dapat kita tulis sebagai
๐ ๐ฅ ๐ฆโฒ(๐ฅ) โฒ + ๐ ๐ฅ ๐ฆ ๐ฅ + ๐ ๐ (๐ฅ) ๐ฆ ๐ฅ = 0
Atau
๐ ๐ฅ ๐ฆโฒ โฒ + ๐ ๐ฅ ๐ฆ + ๐ ๐ ๐ฅ ๐ฆ = 0โฆ . . (๐)
Persamaan Sturm-Liouville diatas adalah homogeny dan linier, maka kita
kenalkan operator ๐ฟ yang didefinisikan sebagai
๐ฟ ๐ฆ = โ ๐ ๐ฅ ๐ฆโฒ โฒ โ ๐ ๐ฅ ๐ฆ โฆ . โฆโฆ . (๐)
Dengan demikian, persamaan (a) dapat dituliskan sebagai berikut:
โ ๐ ๐ฅ ๐ฆโฒ โฒ โ ๐ ๐ฅ ๐ฆ = ๐ ๐ (๐ฅ) ๐ฆ ๐ฅ
๐ฟ ๐ฆ = ๐ ๐ (๐ฅ) ๐ฆ ๐ฅ โฆ . โฆโฆ . (๐)
Karena ๐,๐, ๐ adalah tiga fungsi continuously differentiable pada ๐, ๐ ,
maka untuk menyelesaikan PD Sturm-Liouville (a), kita perlu
memandang identitas Lagrange.
Identitas Lagrange : Misalkan U dan V adalah dua fungsi yang derifatif
keduanya dalam interval ๐, ๐ , maka:
๐ฟ ๐ข ๐ฃ ๐๐ฅ = โ ๐ ๐ขโฒ โฒ๐ฃ โ ๐ ๐ข ๐ฃ
๐
๐
๐๐ฅ
๐
๐
Integrasikan ruas kanan dengan membagi ruas kanan tersebut menjadi 2
bagian. Kita peroleh:
9
๐ฟ ๐ข ๐ฃ ๐๐ฅ = โ๐ ๐ฅ ๐ขโฒ ๐ฅ ๐ฃ ๐ฅ [๐๐
+ ๐ ๐ฅ ๐ข ๐ฅ ๐ฃโฒ ๐ฅ [๐๐
๐
๐
+ โ๐ขโฒ ๐ ๐ฃโฒ โฒ โ ๐ข ๐ ๐ฃ ๐๐ฅ
๐
๐
๐ฟ ๐ข ๐ฃ ๐๐ฅ = โ๐ ๐ฅ ๐ขโฒ ๐ฅ ๐ฃ ๐ฅ โ ๐ข ๐ฅ ๐ฃโฒ ๐ฅ [๐๐
+ ๐ข ๐ฟ ๐ฃ
๐
๐
๐๐ฅ
๐
๐
๐ฟ ๐ข ๐ฃ ๐๐ฅ โ ๐ข ๐ฟ ๐ฃ
๐
๐
๐๐ฅ = โ๐ ๐ฅ ๐ขโฒ ๐ฅ ๐ฃ ๐ฅ โ ๐ข ๐ฅ ๐ฃโฒ ๐ฅ
๐
๐
๐ฟ ๐ข ๐ฃ โ ๐ข ๐ฟ ๐ฃ ๐๐ฅ = โ๐ ๐ฅ ๐ขโฒ ๐ฅ ๐ฃ ๐ฅ โ ๐ข ๐ฅ ๐ฃโฒ ๐ฅ
๐
๐
โฆ (๐)
Persamaan (e) adalah Identitas Lagrange.
Sekarang Andaikan fungsi ๐ข ๐๐๐ ๐ฃ di persamaan (e) stabil pada kondisi
syarat batas (a1). Kemudian Asumsikan ๐2 โ 0, ๐2 โ 0. Sehingga ruas
kanan persamaan (e) berwujud:
โ๐ ๐ฅ ๐ขโฒ ๐ฅ ๐ฃ ๐ฅ โ ๐ข ๐ฅ ๐ฃโฒ ๐ฅ [๐๐
= โ๐ ๐ ๐ขโฒ ๐ ๐ฃ ๐ โ
๐ข ๐ ๐ฃโฒ ๐ + ๐ ๐ ๐ขโฒ ๐ ๐ฃ ๐ โ ๐ข ๐ ๐ฃโฒ ๐
10
= โ๐ ๐ โ ๐1
๐2๐ข ๐ ๐ฃ ๐ +
๐1
๐2๐ข ๐ ๐ฃโฒ ๐
+ ๐ ๐ โ๐1
๐2๐ข ๐ ๐ฃ ๐ +
๐1
๐2๐ข ๐ ๐ฃโฒ ๐
= 0
Hasil diatas akan sama jika a =0 , atau b =0
Ruas kiri Persamaan (e)
{๐ฟ[๐ข]
๐
๐
๐ฃ โ ๐ข๐ฟ[๐ฃ]}๐๐ฅ = 0
Hal ini akibat dari ruas kanannya = 0 โฆโฆโฆโฆโฆโฆโฆโฆโฆโฆโฆ. (f)
Dari persamaan (f) , Pandang bentuk inner product (u,v) dari dua buah
fungsi u dan v bilangan riil yang didefinisikan sebagai :
(u,v) = ๐ข ๐ฅ ๐ฃ ๐ฅ ๐๐ฅโฆโฆโฆโฆโฆโฆโฆ . . (๐)๐
๐
Dalam pembahasan ini, persamaan (f) berwujud :
(L[u],v)-(u,L[v]) = 0 โฆโฆโฆโฆโฆโฆโฆโฆโฆโฆโฆโฆ.. (h)
*Kembali ke Teorema 1
Berdasarkan persamaan (g), penting untuk mendeskripsikan fungsi
kompleks. Untuk itu persamaan (g) ditulis :
(u,v) = ๐ข ๐ฅ ๐ฃ ๐ฅ ๐๐ฅ๐
๐ , ๐ฃ ๐ฅ : kompleks konjugat v(x).
11
Untuk membuktikan ๐ > 0 pada ๐ yang terkait solusi PD Sturm-
Liouville, misalkan ๐ adalah fungsi kompleks nilai eigen dari (a) yang
diberikan oleh
๐ = ๐ + ๐๐ฃ dan ๐ ๐ฅ adalah fungsi eigen yang berkorespondensi yang
juga berupa fungsi kompleks ๐ ๐ฅ = ๐ ๐ฅ + ๐๐(๐ฅ) dimana
u,v,U(x),V(x) adalah bilangan riil.
Misalkan u = ๐ dan v= , maka dari persamaan (h) dapat ditentukan
(L[๐], ๐) = (๐, L[๐]) โฆโฆโฆโฆโฆโฆโฆโฆโฆโฆโฆโฆโฆ. (i)
Kita tahu bahwa
L[๐] = ๐ s ๐
Sedemikian sehingga persamaan (i) menjadi
(๐ s ๐, ๐) = (๐, L[๐]) โฆโฆโฆโฆโฆโฆโฆโฆโฆโฆโฆ (j)
Karena (u,v) = ๐ข ๐ฅ ๐ฃ ๐ฅ ๐๐ฅ๐
๐ , maka kita dapatkan
๐ s x ๐ ๐ฅ ๐(๐ฅ)๐๐ฅ๐
๐ = ๐ ๐ฅ ๐ ๐ ๐ฅ ๐ (๐ฅ)๐๐ฅ
1
0 โฆโฆโฆโฆโฆโฆโฆโฆโฆ.. (k)
Karena s(x) adalah bilangan riil, dari persamaan (k),
(๐ โ ๐ ) ๐ (๐ฅ)๐ ๐ฅ ๐ (๐ฅ)๐๐ฅ๐
๐ = 0
Atau
(๐ โ ๐ ) ๐ ๐ฅ ๐2 ๐ฅ + ๐2 ๐ฅ ๐๐ฅ๐
๐ = 0 โฆโฆโฆโฆโฆโฆโฆโฆโฆ. (l)
Karena integran Persamaan (l) non negative dan โ 0 serta kontinu maka
hasil integrasi (l) adalah positif, dan karena faktor ๐ โ ๐ = 2 i v , dan
๐ โ ๐ harus = 0 , v = 0, maka ๐ adalah Riil (> 0) Teorema 1 Terbukti.
12
Teorema 2
Jika y1 dan y2 adalah dua solusi untuk persamaan differensial
Sturm-Viouville berturut-turut yang terkait dengan nilai eigen 1
dan 2, maka
๐ ๐ ๐๐ ๐ ๐๐ ๐ ๐ ๐ = ๐
๐
๐
Asalkan 1 โ 2
Bukti
Teorema ini menyatakan orthogonal dari eigenfunctions dengan
mematuhi bobot fungsi ke s. Untuk membuktikan teorema dinyatakan
bahwa y1 dan y2 merupakan persamaan diferensial.
L[y1] = ฮป1sy1
Dan
L[y2] = ฮป2sy2,
berturut-turut jika kita lihat u = y1, v = y2, kemudian subtitusikan L[u]
dan L[v] ke persamaan
(L[u], v) โ (u, L[v]) = 0
Diperoleh
(ฮป1sy1, y2) โ (y1, ฮป2sy2) = 0
13
atau menggunakan persamaan
(u, v) = ๐ข ๐ฅ .๐ฃ(๐ฅ) ๐๐ฅ๐
๐
akan diperoleh
ฮป1 ๐ ๐ฅ ๐ฆ1 ๐ฅ ๐ฆ2 ๐ฅ ๐๐ฅ โ ๐2๐
๐ ๐ฆ1(๐ฅ)๐ (๐ฅ)๐ฆ2(๐ฅ) ๐๐ฅ = 0.๐
๐
karena ฮป2, s(x), dan y2(x) merupakan bilangan riil, sehingga
(ฮป1โ ฮป2) ๐ (๐ฅ)๐ฆ1(๐ฅ)๐ฆ2(๐ฅ) ๐๐ฅ = 0b
a
Karena menurut hipotesis 1 โ 2, berarti y1 dan y2 harus memenuhi
persamaan
๐ ๐ฅ ๐ฆ1 ๐ฅ ๐ฆ2 ๐ฅ ๐๐ฅ = 0
๐
๐
Sehingga teorema terbukti