bedah materi masalah syarat batas sekaligus pembuktian teorema 1 dan 2 sturm

13
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.

Upload: rukmono-budi-utomo

Post on 30-Jun-2015

736 views

Category:

Science


4 download

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