Fungsi Khusus

Didalam bab ini akan dibahas perilaku dan sifat dari fungsi yang dikenal sebagai fungsi khusus
dari fisika matematika. Fungsi khusus yang sering muncul di dalam pembahasan masalah fisika
standard adalah polinom legendre, fungsi bessel, polinom hermite dan polinom laguere. Fungsi
tersebut dikatakan fungsi khusus mengingat kenyataan bahwa sistem dengan karakteristik
tertentu memerlukan perangkat analisa berupa fungsi tertentu dari fungsi tersebut. Fungsi khusus
diatas merupakan solusi dari persamaan diferensial tertentu yang diperoleh melalui metode
Frobenius yaitu solusi ekspansi deret.
Metode Probenius
Metode yang umum digunakan untuk menyelesaikan persamaan diferensial berbentuk
d2y
dy
p ( x)
q ( x) y 0
(2.1)
2
dx
dx
adalah metoda ekspansi deret Frobenius-Fuchs. Jenis solusi bagi pers.(..1), menurut teorema
teorema Frobenius-Fuchs bergantung pada (i) sifat p(x) dan q(x), (ii) sifat persamaan indicial.
Pada pembahasan di sini hanya akan ditinjau pengaruh atau kebergantungan terhadap sifat yang
pertama. Informasi dari sifat p(x) dan q(x) :
1) Jika p(x) dan q(x) ada (reguler) pada x = 0, maka pers.( .1) mempunyai dua solusi bebas
berbentuk :
y ( x ) a 0 a1 x a 2 x 2 a 3 x 3

r 0

xr

(2.2)

2) Jika p(x) dan q(x) singular pada x = 0 tetapi xp(x) dan x2q(x) ada pada x = 0 maka ada
sedikitnya satu solusi bagi pers.(2.1) dengan bentuk
y ( x) x 3 (a 0 a1 x a 2 x 2 a3 x 3 )

a
r 0

x sr

(2.3)

3) Jika p(x), q(x) singular di x = 0, dan xp(x), x2q(x) juga singular di x = 0 maka tak ada metoda
umum untuk menyelesaikan pers.(2.1)
Rincian metoda Frobenius ini diberikan melalui contoh soal berikut :
Contoh 1. Selesaikan persamaan
dy
3x 2 y 0
dx

(A.1)

Jawab : Substitusi pers.( .2) ke dalam pers.(A.1) diperoleh

dy
ra r x r 1 a1 2a 2 x 3a 3 x 2 4a 4 x 3 (n 1)a n 1 x n
dx r 0

3 x 2 y 3a r x r 2 3a 0 x 2 3a1 x 3 3a n 2 x n
r 0

y 3 x y a1 2a 2 x 3(a3 a0 ) x 2 (4a 4 3a1 ) x 3 (n 1)a n 1 3a n 2 x n 0

(A.2)
1

Pers. (A.2) dipenuhi untuk semua x jika semua koefisien dari

Ini berarti,
a1

=0

x l ,l 0,1,2,

sama dengan nol.

(A.3a)

2 a2
=0
(A.3b)
3 (a3-a0) = 0
(A.3c)
4 a4 3 a1 = 0
(A.3d)
dan
(n + 1) an+1 3 an-2 = 0
(A.3e)
Pers. (A.3a) dan (A.3b) memberikan, a1 = a2 = 0, sedangkan pers.(A.3e) dapat ditulis menjadi
3a
a n 1 n 2
(A.4a)
n 1
atau jika n + 1 = m, maka pers.(A.4a) menjadi
3a
a m m 3 , m 3
(A.4b)
m
Pers.(A.4b) disebut rumus rekursi.
Uraian rumus rekursi (A.4b) memberikan :
3a
a3 0 a 0
m=3
3
sebagaimana pers.(A.3c), sedangkan
3a
a 4 1 0 , karena a1 = 0
m=4
4
3a 2
a5
0 , karena a2 = 0
m=5
5
3a
1
1
a 6 3 a3 a 0
m=6
6
2
2
m=7
m=8

3
a4 0
7
3
a8 a5 0
8
a7

a
3
11
a6
a0 0
9
32
3!

m=9

a9

m = 10

a10

m = 11

3
a7 0
10
3
a11 a8 0
11

3
1 a0 a 0
a9

12
4 3! 4!
dan seterusnya. Secara umum,

m = 12

a12

a 3 k 1 0
a3k 2 0

(A.5a)
(A.5b)

a0
, untuk k = 0,1,2,
k!
Substitusi hasil (A.5a), (A.5b) dan (A.5c) ke dalam persamaan

dan

a3k

y ( x)

a
r 0

xr

didapatkan
y ( x) a 0 a3 x 3 a6 x 6 a9 x 9

(A.5c)

= a0 a 0 x 3

= a0
k 0

a 0 6 a0 9
x x
2
3!

x 3k
k!

(A.6)

Mengingat uraian deret Mc Laurin dari

ez 1 z

z2
zn
zn


2!
n!
n 0 n!

(A.7)

Untuk z = x3, maka

(x3 )n
x3n

n!
n 0
n 0 n!

ex
3

(A.8)

Karena itu, pers.(A.6) menjadi

y( x) a0 e x

(A.9)
Bandingkan solusi ini dengan solusi yang diperoleh melalui metoda elementer, yaitu separasi
variabel dan integrasi langsung.
dy
3x 2 y 0
dx

atau
dy
3x 2 y
dx

Setelah dilakukan pemisahan variabel, diperoleh

dy
3 x 2 dx
y

dan integrasinya

dy
ln y
y

3x

dx

= x3 c

Jadi

ln y x 3 c

(A.10)

atau
y ex

c
3

= ke x
Dus, diperoleh hasil yang sama.
Contoh 2. Selesaikan persamaan
y-xy = x
Jawab : jika
y ( x)

a
r 0

(A.11)
(B.1)

xr

maka
y-xy =

ra
r 0

x r 1 a r x r 1 x
r 0

Uraiannya :
a1 2a 2 x 3a3 x 2 (n 1)a n 1 x n a 0 x a1 x 2 a n 1 x n x
Atau

a1 2a 2 a 0 1 x 3a3 a1 x 2 n 1 a n 1 a n 1 x n 0
(B.2)
Pers.(B.2) dipenuhi untuk semua x jika semua koefisien x pangkat bulat sama dengan nol. Ini
berarti
a1 = 0
(B.3a)
2 a2 a0 1 = 0
(B.3b)
(n+1) an+1 an-1 = 0
(B.3c)
Jika n+1 = m, maka pers.(B.3c) menjadi
ma m a m 2 0

atau
am2
(B.4)
m
Pers.(B.4) ini disebut rumus rekursi dari pers.(B.1)
Rumus rekursi (B.4) dan pers.(B.3a) memberikan ar = 0 untuk r ganjil, sedang pers. (B.3b)
memberikan
a 1
a2 0
(B.5)
2
Selanjutnya dari pers.(B.4) untuk m genap,
a 1
a
a4 2 0
m=4
4
42
a0 1
a0 1
a 1
a4
a6

03
m=6
6 6 4 2 (2 3)(2 2)(2 1)
2 3!
am

a6 a0 1

8 2 4 4!

m=8

a8

m = 2j

a2 j

a0 1
2 j j!

Dengan demikian,
y ( x) a 0 a 2 x 2 a 4 x 4 a 2 j x 2 j

( a0 1) 2 ( a0 1) 4
a 1
x
x 0j x2 j
1
2
2
2 2!
2 j!
( a0 1) a0 1 2
a 1

x 0 j x2 j
= 1
0
1
2
2
2 j!

= a0

= 1 ( a 0 1)
j 0

= 1 ( a 1)
0

ke

x2

Jadi solusi dari pers.(B.1) adalah

x 2
2

j!

j 0

= 1 (a 1)e
0

x2

x2 j
2 j j!

y ke

x2

(B.6)

dengan konstanta k = a0 + 1
Dua contoh diatas merupakan persamaan diferensial orde-satu homogen dan tak-homogen. Dua
contoh berikut adalah PD orde-dua, dengan trick atau prosedur penyelesaian yang serupa, hanya
saja tampak lebih njlimet dan ruwet.
Contoh 3. Selesaikan persamaan
( 1 + x2) y - 2xy + 2y = 0
(C.1)
Jawab : Jika pers.(C.1) dibuat seperti bentuk pers.(2.1), didapat
2x
2
y0
y (C.1)
2 y +
1 x
1 x2
Sehingga
2x
p( x)
(C.2a)
1 x2
2
q ( x)
(C.2b)
1 x2
dan p(o), q(o) ada (regular) yaitu
p (o) 0, q (o) 2
(C.3)
Karena itu, solusi pers.(C.1) dapat berbentuk (2.2)
y (k )

a
r 0

xr

(2.2)

Substitusi pers.(2.2) ke dalam pers.(C.1) memberikan :

2 y ( x)

2a
r 0

x r 2a 0 2a1 x 2a 2 x 2 2a n x

2 xy 2a r x r 0 2a1 x 4a 2 x 2 2na n x
r 0

r
2
x y = a r r (r 1) x 0 0 2a 2 x n(n 1)a n x

r 0

y =

a r (r 1) x
r 0

r 2

2a 2 a 3 6 x 12a 4 x 2 ( n 2)(n 1)a n 2 x

(1+x2)
y2xy
+
2y
2
2
n
2(a 0 a 2 ) 6a 3 x 12a 4 x (n 2)(n 1)a n 2 (n 3n 2)a n x 0
Pers.(C.4) memberikan :
2 (a0 + a2) = 0
atau
a2 = -a0
dan
6 a3 = 0
12 a4 = 0

=
(C.4)
(C.5a)
(C.5b)
(C.5c)

(n 2)(n 1)a n 2 (n 2 3n 2)a n 0

atau
an2

( n 2)(n 1)
an
(n 2)(n 1)

yang disebut rumus rekursi.

Hasil (C.5a), (C.5b) dan (C.5c) juga bisa diperoleh dari rumus rekursi (C.5d)

(C.5d)

Karena a3 a 4 0 , maka dari rumus (C.5d) diperoleh :

a3 a5 a 7 a 2 n 1 0

(C.6a)
(C.6b)

a4 a6 a8 a2 n 0

dan a 2 a 0 , sedang a1 ada (sebarang). Dengan demikian,

y ( x)

a
r 0

xr

= a0 a1 x a 2 x 2
2
= a0 (1 x ) a1 x
Contoh 4. Selesaikan persamaan
x2y - 3xy + 3y = 0
Jawab : Pers.(D.1) dapat ditulis menjadi
3
3
yy + 2 y 0
x
x
Sehingga
p( x)

3
,
x

p (o) ,

(D.1)

3
x2

(D.2)

q(o)

(D.3)

q ( x)

singular di x = 0, yaitu

(C.7)

tetapi xp(x) dan x q(x) ada di x=0,

xp( x )

x 0

2
; x q( x)

x 0

(D.4)

Karena itu solusinya berbentuk

y( x)

a
r 0

x 3 r

(2.3)

Substitusi pers.(2.3) ke dalam pers.(D.1), didapatkan :

a (r s)(r s 1) 3(r s) 3 x
r 0

(D.5)

Karena itu, solusi tak trivial diperoleh jika ar 0 tetapi

(r s )(r s 1) 3( r s) 3 ( r s)(r s 4) 3
= (r s) 2 4( r s ) 3

= r 2 2rs s 2 4r 4 s 3
= r 2 (2 s 4) r ( s 2 4s 3) 0 (D.6)
Pers.(D.6) tidak lain adalah persamaan kuadrat dalam r, karena itu solusinya diberikan oleh :
(4 25) ( 2 s 4) 2 4( s 2 4 s 3)
2
(
2

s
)

1
=

r1, 2

Jadi
dan

(D.7)

r1 3 s atau r1 s 3

(D.8a)

r2 1 s

(D.8b)

atau r2 s 1
Hasil ini mengikat pangkat x dari pers.( .3), jika diambil s 0 , maka
y ( x) (a 0 a1 ) x (a 0 a1 a 2 a3 ) x 3

= k1 x k 2 x 3

(D.9)

dengan k1 (a 0 a1 ) dan k 2 a 0 a1 a 2 a3
Catatan : Karena bentuk solusi (2.2) merupakan keadaan khusus dari bentuk solusi (2.3) s = 0,
maka dalam penentuan solusi bagi persamaan diferensial sering langsung diambil bentuk solusi
yang lebih umum yaitu bentuk (2.3).
Sebagai contoh adalah perumusan solusi bagi persamaan diferensial legendre berikut ini.
Polinom Legendre
Persamaan diferensial orde dua berikut ini
d2y
dy
(1 x 2 ) 2 2 x
y 0
(2.4)
dx
dx
disebut persamaan diferensial legendre. Pers.(2.4) ini sejenis dengan persamaan diferensial pada
contoh 3, diatas karena itu solusinya bisa diambil bentuk (2.2). Tetapi umumnya solusi dari pers.
(2.4) diambilkan bentuk (2.3).
Diferensiasi seperti contoh di depan,

y(x) =

r 0

( r s ) x r s 1

(2.5a)

(r s) x r s

(2.5b)

sehingga

xy(x) =

r 0

Diferensiasi sekali lagi

y =

a
r 0

( r s )(r s 1) x r s 2

(2.5c)

dan,
x2y =

a
r 0

( r s )(r s 1) x r s

(2.5d)

Substitusi pers.(2.3), (2.5a), (2.5b), (2.5c) dan (2.5d) ke dalam per.(2.4), diperoleh
0 =

a
r 0

ar (r s )(r s 1) x r s2 r 0

a r (r s )(r s 1) x r s

r 0

2a
r 0

(r s) x r s

x rs

a
r 0

( r s )(r s 1) x r s 2 -

(a
r 0

( r s )(r s 1) 2a r ( r s ) a r ) x r s

=
a 0 s( s 1) x

5 2

a1 (1 s) sx

s 1

a 2 (2 s)( s 1) x a3 (3 s )( s 2) x
5

51

a n (n s )

(n s 1) x n s 2 a n 1 (n 1 s)(n s) x n s 1 a n 2 (n 2 s )(n s 1) x n s

a 0 s ( s 1) 2 s x s a1 ( s 1) s 2( s 1) x n s 1 a n ( s n)( s n 1) 2( s n)
x ns

a 0 s ( s 1) x s 2 a1 ( s 1) sx s 1 a 2 (2 s )( s 1) a 0 s ( s 1) 2s x s

a n 2 (n s 2)(n s 1) a n (1 n)( s n 1) 2( s n) x n s

Pers.(2.6)

ini

dipenuhi

untuk

semua

jika

x s 2 , x s 1 , x s , , x n s , sama dengan nol. Ini berarti

dan

hanya

jika

(2.6)
koefisien

dari

a 0 s ( s 1) 0

a1 ( s 1) s 0
a 2 (2 s )( s 1) a 0 s ( s 1) 2 s 0

(2.7a)
(2.7b)
(2.7c)

dan

a n 2 ( n s 2)(n s 1) a n ( s n)( s n 1) 2( s n) 0
(2.7d)
Dari pers. (2.7a) dan (2.7b), jika a 0 0 dan a1 0 maka s = 0, karena itu pers.(2.7d) tereduksi

menjadi
Atau

a n 2 (n 2)(n 1) a n n(n 1) 2n 0
n(n 1) 2n
an
(n 2)(n 1)
n( n 1)
an
=
( n 2)(n 1)

a n 2

(2.8)

Persamaan (2.8) ini dikenal sebagai rumus rekursi (pengulangan)

Dari rumus rekursi, semua koefisien ar bisa dihitung jika a0 dan a1 diketahui untuk n genap,

a02 a 2
a0
n=0
n=2
n=4

2
2(3)
(6 )
(6 )
a 2 2 a 4
a2
a0
a0
4.3
2.3.4
4!
4. 5
(6 )(20 )
(6 )(20 )
a6
a4
a0
a0
6.5
2.3.4.5.6
6!

dan seterusnya jadi semua ar dengan r genap bisa dihitung jika a0 ditentukan. Selanjutnya, untuk
n ganjil
1.2
a1 2 a 3
a1
n = 1,
n = 3,
n=5

3.2
3.4
( 2 )(12 )
( 2 )(12 )
a 3 2 a 5
a3
a1
a1
5.4
2.3.4.5
5!
5.6
( 2 )(12 )(30 )
a7
a5
a1
7.6
7!

dan seterusnya. Semua ar dengan r ganjil bisa ihitung jika a 1 diketahui. Dengan demikian solusi
persamaan (2.4) adalah

(6 ) 4 (6 )(20 ) 6

Y ( x) a 0 1 x 2
x
x ...... +
2!
4!
6!

2 3 ( 2 )(12 ) 5 ( 2 )(12 )(30 ) 7

a1 x
x
x
x ......
3!
5!
7!

Daerah konvergensi dari y persamaan (2.9) adalah -1 < x < 1, sedangkan untuk x = 1 deret y(x)
divergen. Meskipun demikian solusi y tersebut dapat dibuat absah (konvergen) untuk -1 x 1.
hal ini dapat dilakukan
i)
mengganti menjadi l (l 1)
ii)
Koefisien ar dinyatakan dalam l(l+1)

l (l 1) , persamaan (2.4) menjadi

Melalui pengambilan
2
(1 x )Y ' '2 XY 'l (l 1)Y 0
(2.10)
dan rumus rekursi (2.8) menjadi

n(n 1) l (l 1)
an
(n 2)(n 1)
(l n)(l n 1)

a n atau
(n 2)(n 1)
(n 2)( n 1)
an
a n 2
(l n)(l n 1)
a n2

jika n = l-2, maka

(2.11)

l (l 1)
al
2(2l 1)
(l 2)(l 3)
l (l 1)(l 2)(l 3)

al 2
al
4( 2l 3)
2.4( 2l 1)(2l 3)
(l 4)(l 5)
l (l 1)(l 2)(l 3)(l 4)(l 5)

al 4
al
6(2l 5)
2.4.6(2l 1)(2l 3)(2l 5)

al 2

n = l-4

al 4

n = l-6

al 6

dalam bentuk umum

a l 2 r ( 1) r

l (l 1)(l 2)(l 3).........(l 2r 2)(l 2r 1)

al (2.12)
2.4.6.........2r ( 2l 1)(2l 3)...........( 2l 2r 1)

perhatikan evaluasi lebih lanjut bagi persamaan (2.12) ini

i)
l (l 1)(l 2)......(l 2r 1) l (l 1)(l 2).........(l 2r 1) x

(l 2r )(l 2r 1)....3.2.1
(l 2r )(l 2r 1).....3.2.1

l!
(2.13a)
(l 2r )!
ii) 2.4.6.8.....2r ( 2.1)(2.2)(2.3)( 2.4).......( 2.r ) 2.2.2.....2(1.2.3.4.....r ) 2 r r!

(2.13b)
iii)
( 2l 1)(2l 3)(2l s )....( 2l 2r 3)(2l 2r 1)

2l (2l 1) 2l 2 (2l 3) 2l 4.... 2l 2r 2 (2l 2r 1

2l 2l 2 2l 4 2l 6..... 2l 2r 2

2l !
x
2l 2 l 1 2 l 2 2 l 3.....2 l r 1 ( 2l 2r )!

( 2l )!
(l r )!
2 ( 2l 2r )!l (l 1)(l 2)(l 3).....(l r 1) (l r )!
( 2l )!(l r )!
r
2 ( 2l 2r )!l!

(2.13c)

Subtitusi hasil ini ke persamaan (2.12) didapatkan

(l!) 2 (2l 2r )!
al
r!(2l )!(l 2r )!(l r )!

a l 2 r ( 1) r

dengan demikian solusi (2.9) sekarang tereduksi menuju satu persamaan terpadu yaitu
N
( 1) r (l!) 2 ( 2l 2r )! l 2 r
Yl ( x ) al
x
r 0 r!( 2l )!(l 2 r )!(l r )!
karena untuk l ganjil semua koefisien dapat dinyatakan dalam a1 sebagaimana persamaan (2.9)
maka untuk r = N. Yaitu r tertinggi (a l 2 r terkecil )

al 2 N a1

(2.15a)
sehingga l-2N=1, maka

l 1
2
sedangkan untuk l genap, a l 2 N a 0
l
maka l-2N=0, sehingga N
2
N

jadi batas atas indeks r pada persamaan 2.14 adalah N dengan

l
2 , jika lg enap
N
l 1 , jika lg anjil
2
kemudian, jika a l dipilih
al

( 2l )!
2 l (l!) 2

(2.16a)
(2.16b)

(2.17)

(2.18)

maka solusi yang absah untuk -1 x 1, adalah

N
(1) r (2l 2r )!
y l ( x) Pl ( x) l
X l 2 r
2
r
!
(
l

r
)!
(
l

2
r
)!
r 0
Pl (x) disebut polinominal legendre jenis pertama berorde l.
Sebagai ilustrasi ambil l = 4, maka persamaan diferensial Legendre-nya:
d 2Y
dy
2
(1 x )
2x
2
dx
dx
Solusinya:
z
( 1) r (8 2r )!
y 4 ( x) P4 ( x) 4
x 42r
2
r
!
(
4

r
)!
(
4

2
r
)!
r 0

(2.19)

(2.20)

( 1) o 8! 4
( 1)1 6! 2
(1) 2 4!
x
x
x 0 16
160! 4! 4!
16.1!.3!.2!
16.2!.2!.0!

35 4 15 2
3
x
x
8
4
8
1
(35 x 4 30 x 2 3)
8

Enam polinomial pertama diberikan oleh:

P0 (x) = 1
P1 (x) = x
1
(3 x 2 1)
2
1
P3 (x) = (5 x 3 1)
2
1
P4 (x) = (35 x 4 30 x 2 3)
8
1
P5 (x) = (63 x 5 70 x 3 15 x )
8

P2 (x) =

(2.15b)

(2.21)

2.1.1 Rumus Rodrigues, Fungsi Pembangkit dan Hubungan Rekursi

Polinomial (2.19) juga dipenuhi oleh rumus Rodrigues
1 dl
Pl l . l ( x 2 1) l
2 l! dx
sebagai contoh ambil l = 4,
P4

(2.22)

1 d4
1 d4
2
4
(
x

1
)

( x 8 4 x 6 6 x 4 4 x 2 1)
2 4.4! dx 4
2 4.4! dx 4
1 d3
(8 x 7 24 x 5 6.4 x 3 4.2 x )
2 4.4! dx 3
1 d2
(8.7 x 6 4.6.5.x 4 6.4.3 x 2 8)
2 4.4! dx 2
1 d
(8.7.6 x 5 4.6.5.4 x 3 6.4.3.2 x )
2 4 4! dx
1
(8.7.6.5 x 4 4.6.5.4.3 x 2 6.4.3.2)
4
2 4!
1
(35 x 4 30 x 3)
8

ungkapan berikut ini,

1

( x, h )

1 2 xh h 2

, h 1

(2.24)

disebut fungsi pembangkit untuk polinom Legendre. Misalkan t = 2zh-h 2 maka pers. (2.24)
menjadi
1

(t )

(2.25)

1 t

Dari ekspausi deret f(z)

f ( z ) (1 z ) p 1 pz

p ( p 1) 2 P ( P 1)( P 2) 3 P ( P 1)( P 2)( P 3) 4

z
z
z ...
2!
3!
4!

(2.26)
Pers (2.25) merupakan bentuk pers.(2.26) dengan z = -t dan P = -

1
, karena itu
2

1
1
3
15 3
1 t t2
t
2
8
48
1 t
1
3
15
1 ( 2 xh h 2 ) (2 xh h 2 ) 2
(2 xh h 2 ) 3 ...
2
8
48
3
1
5
3
1 hx h 2 ( x 2 ) h 3 ( x 3 x) ...
2
2
2
2
Po hP1 ( x) h 2 P 2 ( x) h 3 P3 ( x) ...

h l Pl ( x)
l 0

Dus,(x,h) membangkitkan polinom Pl (x).

(2.27)

Selanjutnya, diferensilkan terhadap h memberikan:

1
3
(1 2 xh h 2 ) 2 (2 x 2h)
h
2
xh

3
(1 2 xh h 2 ) 2

xh

( x h)
(1-2xh+h2)
h (1 2 xh h 2 ) 12

atau

(2.28)

Subtirusi pers.(2.27) ke dalam pers. (2.28), diperoleh

(1 2 xh h 2 ) h 1 P ( x h) h P

(2.29)

uraiannya

l 0

l 0

l 0

l 0

(1 2 xh h 2 ) lh l 1 p l ( x ) lp l ( x )h l 1 ....... 2lxp l ( x)h l lp l ( x)h l 1

l 0

l 0

l 0

l
l
l 1
dan ( x h) h pl ( x) xpl ( x)h pl ( x)h

(2.30a)
(2.30b)

Subtitusi persamaan (2.30a) dan (2.30b) kedalam persamaan (2.29)

lp
l 0

l 0

l 0

( x) h l 1 ( 2 L 1) xpl ( x)h l ( L 1) p l ( x)h l 1 0

(2.31)

Pers.(2.31) dipenuhi oleh semua h jika setiap koefisien dari h m sama dengan nol. Koefisien untuk
hm dengan m l 1 , adalah
( x)
( x)
l p l ( x ) (2l 1) xPl 1 (l 1) Pl 2 0
atau
( x)
( x)
l p l ( x) (2l 1) xPl 1 (l 1) Pl 2 0
(2.32)
Pers.(2.32) disebut hubungan rekursi. Sebagai contoh, ambil l 2 , maka
( x)
( x)
2 P2 ( x) ( 2.2 1) xP1 (2 1) P0
= 3x( x) 1
sehingga
P2 ( x)

1
(3 x 2 1)
2

sebagaimana telah diperoleh didepan

i) xPl (x) - P l 1 (x) = l Pl (x )
ii) P l 1 (x) - P l 1 (x) = (2l 1) Pl ( x )
iii) (x2-1) P l (x ) = l x Pl ( x ) l Pl 1 ( x)
iv) (x2-1) P l (x ) = (l 1) Pl 1 ( x) (l 1) xPl ( x)
Kembali pada fungsi pembangkit (2.24); fungsi ini berguna untuk menganalisa potensial yang
berkaitan dengan gaya invers kuadratik dari jarak.
Sebagai contoh, ambil potensial listrik di r oleh distribusi muatan di r ;
potensial tersebut diberikan oleh :
(r ,r )

q
1
4 0 r r '

,k

'

r r

q
4 0

(2.33)

Dari gambar
r r

'

r 2 2rr ' cos r ' 2

r'
r

= r 1 2

r'
cos

, untuk r > r

(2.34)

(2.35)

Sehingga
'

(r , r )

k
r

1
r'
r'
cos

1 2
r
r

Dengan membandingkan bentuk akar antara pers.(2.35) dan (2.24) diperoleh

hr

'

r
x cos

(2.36)

Mengingat ungkapan (2.27) bagi pers.(2.24) maka

k
(r , r )
r
'

r'

l 0 r

= k
l 0

Pl (cos )

'

rl
Pl (cos ) , untuk r > r
r l 1

(2.37)

Untuk r < r, maka

r
r
r r ' r ' 1 2
cos

r'
r'

(2.38a)

dan

hr
Sehingga

'

r
x cos

(2.38b)

'

(r , r ) k
l 0

rl
Pl (cos )
r ' l 1

(2.38c)

2.1.2 Ortogonalitas Polinom Legendre

Polinom legendre merupakan sekumpulan fungsi ortogonal di 1 x 1 , yaitu
1

p ( x) P
l

( x ) dx Alm , A = konstan

(2.39)

Untuk membuktikan hubungan ini gunakan persamaan diferensial legendre.

Pers.(2.10) dapat ditulis sebagai
d
1 x 2 Pl ' l (l 1) Pl ( x) 0 ; Pl ' ( x) dPl ( x)
dx
dx
Kalikan pers.(2.40) oleh Pm (x), maka

d
1 x 2 Pl ' ( x) l (l 1) Pm ( x) Pl ( x) 0
dx
Lakukan pertukaran m l pada pers.(2.41a), maka didapat
Pm ( x )

(2.40)

(2.41a)

d
1 x 2 Pm ' ( x) m(m 1) Pl ( x) Pm ( x) 0
dx

Pl ( x)

Kurangkan pers.(2.41a) pada pers.(2.41b)

Pl ( x)

d
d
d
1 x 2 Pm ' ( x) Pm ( x) dx
1 x 2 Pl ' ( x) dx
1 x 2 Pl Pm ' Pm Pl ' (2.43)
dx

Karena itu
Pl ( x )

d
d

1 x 2 Pm ' ( x) Pm ( x)

1 x 2 Pl ' ( x) m(m 1) l (l 1) Pl ( x) Pm ( x) 0
dx
dx

(2.42)
Dua suku pertama
Pl ( x )

(2.41b)

d
1 x 2 P1 Pm ' Pm Pl ' m(m 1) l (l 1) Pl Pm 0
dx

(2.44)

Integrasikan pers.(2.44) ini,

1

1 x 2 Pl Pm ' Pm P ' l dx
dx
1

l (l 1) m(m 1) Pl ( x) Pm ( x)dx
1

2
= 1 x Pl P ' m Pm P ' l
=0
Untuk , m l maka l (l 1) m(m 1) 0 karena itu

1
1

(2.45)

P ( x) P
l

( x) dx 0 , jika l m

(2.46)

Jika m l , dihitung menggunakan pers.(2.32) yaitu kalikan hubungan rekursi ini dengan Pl (x )
maka

P 2 l ( x) (2l 1) xPl ( x) Pl 1 ( x) (l 1) Pl ( x) Pl 2 ( x)
kemudian integrasikan dan gunakan hasil (2.46)
1

Pl ( x )dx (2l 1) xPl ( x ) Pl 1 ( x )dx (l 1) Pl ( x) Pl 2 ( x) dx

2

= ( 2l 1) xPl ( x) Pl 1 ( x ) dx

(2.47)

Selanjutnya lakukan pergeseran l l 1 pada hubungan rekursi (2.32)

(l 1) Pl 1 ( x ) ( 2l 1) xPl ( x ) Pl 1 ( x )
Kalikan dengan Pl 1 ( x) dan integralkan

(2.32)

( 1) Pl 1 ( x ) Pl 1 ( x) dx ( 2l 1) xPl ( x ) Pl 1 ( x) dx l Pl ( x ) P 2 l 1 ( x ) dx

Kembali gunakan pers.(2.46) maka

1

Pl 1 ( x )dx ( 2l 1) xPl ( x ) Pl 1 ( x )dx

(2.48)

kalikan persamaan (2.47) dengan (2l+1) dan persamaan (2.48) dengan (2l-1) kemudian
kurangkan maka diperoleh
1

l (2l 1) p l2 ( x )dx l (2l 1) p l21 ( x) dx 0

atau

Pl 2 ( x ) dx

2l 1 1 2
Pl 1 ( x ) dx
2l 1 1

(2.49)

dari persamaan 2.49 ini bisa diperoleh:

2(l 1) 1 1 2
2l 3 1 2
Pl 2 ( x ) dx
Pl 2 ( x ) dx (2.50a)

1
2(l 1) 1 1
2l 1 1
1
2l 5 1 2
2
(2.50b)
1 Pl 2 ( x)dx 2l 3 1 Pl 3 ( x)dx
1
1 1 2
2
(2.50c)
1 P1 ( x)dx 3 1 P0 ( x)dx
1

dan seterusnya

Pl 21 ( x) dx

kemudian subtitusi kepersamaan (2.49), didapatkan

2l 1 2l 3 2l 5
31 1 2
1
2
1
........
P0 ( x) dx
x 1

1
2l 1 2l 1 2l 3
53
2l 1
2l 1
1
2
lm
dengan demikian, 1 Pl ( x) Pm ( x )
2l 1
1

P12 ( x) dx

(2.51)
(2.52)

Deret Legendre
Karena polinom Legendre membentuk sekumpulan (fungsi) ortogonal lengkap (complete
orthogonal set) pada -1 x 1, maka setiap fungsi f(x) yang didefinisikan pada -1 x 1 selalu
dapat diekspansikan dalam deret Legendre.
f ( x)

C P ( x)
l

l 0

dengan

Cl

(2.53)

2l 1 1
f ( x ) Pl ( x)
2 1

(2.54)

Contoh 1. ekspansi f(x) dalam deret Legendre jika

f ( x)

0 , 1 x 0
1, 0 x 1

(A.1)

Jawab:
Untuk mengekspansi f(x) dalam deret Legendre, yang harus dilakukan praktis, adalah penentuan
koefisien cl (2.54). subtitusi (A.1) ke (2.54), diperoleh
2l 1 1
Pl ( x ) dx
2 0
2l 1 1 N
( 1) r ( 2l 2r )!

x l 2 r dx

2 0 r 0 2 l r!(l r )!(l 2r )!

Cl

2l 1 N
( 1) r ( 2l 2r )!
x l 2 r 1

2 l 1 r 0 r!(l r )!(l 2r 1)!

2 l 1
2 l 1

1
0

(1) r (2l 2r )!

r o r!(l r )!(l 2r 1)!

N

1
3
7
11
c0 , c1 , c 2 0, c3 , c4 0, c5 ,
2
4
16
32
Maka

(A.2)
(A.3)

f ( x)

1
3
7
11
P0 ( x ) P1 ( x )
P3 ( x )
P5 ( x )
2
4
16
32

2.1.4 Persamaan Legendre Polar dan Polinom Legendre Terasosiasi

Pers.(2.10) dapat ditulis dalam bentuk (2.40)
( x)

d
2 dPl

l (l 1) Pl ( x) 0
dx
dx
Persamaan Legendre ini dapat diungkapkan dalam bentuk polar melalui
sehingga

(A.4)

(2.40)

x cos (atau arccos x )

(2.55)

d
d d
1
d
1 d

dx dx d
sin d
1 x 2 d

(2.56)

Substitusi pers.(2.55) dan (2.56) ke pers (2.40) diperoleh:

1 d sin 2 dPl

l (l 1) Pl 0
sin d sin d

atau
1 d
d
sin

Pl (cos ) l (l 1) Pl (cos ) 0
sin d
d

(2.57)

Pers.(2.57) ini merupakan persamaan legendre dalam variabel polar, dan muncul dalam separasi
variabel operator laplacian dalam koordinat bola.

Persamaan diferensial berikut ini

1 x d
2

dx 2

2x

dy
m2
l (l 1)
y 0 , m2 l 2
dx
1 x2

disebut persamaan legendre terasosiasi. Solusinya

m
dm
m
y ( x) Pl ( x) (1 x 2 ) 2 m Pl ( x)
dx
atau

(1 x 2 )
Pl ( x)
2 l !

Pers.(2.58) dalam variabel polar ,

d l m 2
( x 1) l
l m
dx

1 d
d m
m2 m

sin

P
(cos

l
(
l

1
)

Pl (cos ) 0
l
sin d
d
sin 2

(2.58)

(2.59a)

(2.59b)

(2.60)

Pers.(2.60) ini merupakan bentuk pemisahan persamaan laplace dalam

koordinat bola yaitu bagian variabel polar .

Ortogonalitas polinom legendre polar; dari pers.(5.55)

arccos x
maka
x 1 0

x 1 0

dan

dx = -sin d
Sehingga ortogonalitus (2.52) menjadi
0

Pl (cos ) Pm (cos ) sin d Pl (cos ) Pm (cos ) sin d

2
lm
2l 1

(2.61)

Sedangkan ortogonalitas bagi Pl (x ) , diberikan oleh

1

( x ) Pl

( x )dx

2(l m)
ll '
(2l 1)(l m)!

(2.62)

Hubungan rekursi Pl ,
2mx

m 1
i) Pl ( x)

1 x

Pl ( x) l (l 1) m(m 1) Pl
m

m 1

( x)

ii) ( 2l 1) xPl ( x) (l m) Pl 1 ( x ) (l m 1) Pl 1 ( x)
iii)

1 x 2 Pl ( x)

Pl m11 ( x ) Pl m11 ( x )
2l 1

2.1.5 Polinom Legendre Jenis Kedua

Solusi independen lainnya bagi pers.(2.9) adalah Ql (x )
1
1 x M ( 2l 4r 1)
Ql ( x) Pl ( x) ln

Pl 2 r 1 ( x) , l 1
2
1 x r 0 (2r 1)(l r )
dengan
M

(2.63)

l 1
, l ganjil
2
l 2
, l genap
2

Ql (x ) ini disebut polinom legendre jenis kedua.

Bentuk eksplisit dari empat Ql pertama,
1 1 x
Q0 ( x) ln
2 1 x
x 1 x
Q1 ( x ) ln
1
2 1 x
1
1 x 3
Q2 ( x) (3 x 2 1) ln
x
4
1 x 2
1
1 x 5x 2 2
Q3 ( x ) (5 x 3 3x ) ln

4
1 x
2
3

Rumus Neumann bagi Q1 ( x ),

(2.64)

1 Pl ( y )
dy
2 1 x y

Ql ( x)

(2.65)

Hubungan rekursi bagi Pl (x ) juga berlaku untuk Pl (m) Ql ( x). Demikian juga bentuk
m
m
polinom legendre terasosiasi, Pl Ql

dm
Ql ( x)
dx m
Dengan demikian solusi lengkap dari pers.( .9) adalah
m

Ql ( x) (1 x 2 )

(2.66)

y Pl ( x) Ql ( x)

(2.67)

Karena Ql (x) ini jarang muncul maka tidak dibahas lebih lanjut di sini.
2.2 Fungsi Bessel
Persamaan diferensial berikut ini:
d2y
dy
x 2 2 x (x 2 n2 ) y 0
(2.68)
dx
dx
disebut persamaan Bessel dan solusinya disebut fungsi Bessel atau fungsi silinder. Solusinya bisa
diperoleh melalui ekspansi deret
y( x)

a
r 0

x sr

(2.2)

maka
xy ' ( x )

a
r 0

(s r ) x s r

(2.3b)

x 2 y ' ' ( x) a r ( s r )( s r 1) x s r

(2.3d)

r 0

dan

x 2 y ( x) a r x s r 2
r 0

Bila uraian di atas di substitusi ke dalam pers.(2.68) dan di susun dalam tabel sesuai pangkat x,

Dengan argumentasi seperti pada ekspansi legendre, deret akan sama dengan nol untuk semua x
jika koefisien dari x s p ,

p 0,1,2,

sama dengan nol. Dari tabel di atas di peroleh, untuk

koefisien
xs
x

s 1

dan x s m
atau

a 0 s ( s 1) a 0 s a 0 n 2 a 0 ( s 2 n 2 ) 0

a0 ( s 1) s a1 ( s 1) a1 n a1 ( s 1) n 0
2

a m ( s m) 2 n 2 a m 2 0 ,

m 2,3,

(2.69a)
(2.69b)

a m2
( s m) 2 n 2
Pers.(2.70) ini merupakan rumus rekursi bagi solusi Bessel.
Dari pers.(2.69a) diperoleh
s n untuk a 0 0
dan akibatnya, dari pers.(2.69b)
a1 0
Kasus s n , a 0 0 , a1 0 , maka
a m2
am
( n m) 2 n 2
a m2
=
, m2
m ( 2n m )
a0
a2
Untuk m = 2
2( 2 n 2)
a0
= 2
2 ( n 1)
a2
a4
m=4
4(2n 4)
a0
= 4
2 2!(n 2)(n 1)
a4
a6
m=6
6(2n 6)
a4
= 3
2 3( n 3)
a0
= 6
2 3!( n 3)(n 2)(n 1)
Secara umum, m = 2j
a0
a 2 j (1) j 2 j
2 j!(n j )(n j 1) (n 1)
Karena
1 2 3 n(n 1) ( n j )
(n 1)(n 2) ( n j 1)(n j )
1 2 3 n
( n j 1)
=
( n 1)
maka
( n 1)
a 2 j ( 1) j 2 j
2 j! ( n j 1)
Jika di pilih
1
a0 n ( n 1)
2
maka solusi, untuk s = n, m
am

(2.70)

(2.71)
(2.72)

(2.73)

(2.74)

(2.75)

(2.76)

y ( x) J n ( x)
j 0

(1) j x 2 j n
2 2 j n j! ( n j 1)

(1) j x

2 jn

(2.77)

j! ( n j 1)

j 0

J n (x ) ini disebut fungsi Bessel jenis pertama beroede n.

Kasus s n ;
Solusi untuk kasus ini diperoleh melalui penggeseran
s n di atas. Hasilnya :

J n ( x)
j 0

(1) j x

n n di dalam semua persamaan kasus

2 j n

(2.78)

j!( j n 1)

Karena ( p ) untuk p negatif dan nol maka semua suku sampai j = n-1, pada J n lenyap
atau nol. Karena itu J n bisa di mulai dari j = n.

J n ( x)
j n

k 0

( 1) j x

2 j n

j!( j n 1)

(1) k n x

2( k n ) n

(k n)!(k 1)

= (1) n

(1) k x

; j kn

2k n

k!(k n 1)
k 0

= (1) n J n ( x )

(2.79)

Fungsi pembangkit untuk fungsi Bessel diberikan oleh

1
1
exp' x t t n J n ( x )
(2.80)
t
n
2
2.2.1 Fungsi Neumann dan Fungsi Hankel
Untuk n bulat, telah diperlihatkan bahwa hanya ada satu solusi bebas, J n (x) . Solusi lain
didefinisikan untuk n bulat
cos nJ n ( x) J n ( x)
N n ( x) Yn ( x)
(2.81)
sin n
yang disebut fungsi Neumann atau fungsi Bessel jenis kedua.
Untuk n bulat ungkapan Nn di atas mempunyai bentuk tak tertentu

0
. Tetapi, untuk x 0
0

solusi tersebut mempunyai limit yang sesuai untuk n bulat. Karena itu solusi paling umum untuk
n bulat adalah
y ( x ) J n ( x ) N n ( x )
(2.82)
dengan A dan B adalah konstanta.

Solusi lain didefinisikan oleh :

i
e ni J n ( x ) J n ( x )
sin n
= J n ( x) iN n ( x)

H n(1) ( x )

dan

i
e ni J n ( x) J n ( x )
sin n
= J n ( x) iN n ( x)

H n( 2) ( x )

(2.83a)

(2.83b)
Kedua fungsi ini disebut fungsi Hankel dan merupakan solusi independen bagi persamaan
Bessel. Fungsi tersebut berguna pada x besar karena fungsi tersebut infinit pada x = 0. Fungsi
Hankel ini disebut fungsi Bessel jenis ketiga.
2.2.2 Hubungan Rekursi
Hubungan rekursi berikut bisa dihitung langsung dari fungsi Bessel J n (x)

J n ( x)
j 0

(1) n x

2 j n

j!( j n 1)

Misal

d
J n ( x)
dx
j 0

(1) j (2 j n) x

2 j n 1

1
2

j!( j n 1)

2 j n 1

2 j n 1

j
( 1) x
(1) j j x
n
2
2
=

2 j 0 j!( j n 1) j 0 j!( j n 1)

Uraian ruas kanannya ; suku pertama

(1) j x

2 j n 1

( 1) j x

(2.84)

2 j n 1

n
nx

2 j 0 j!( j n 1)
2 x j 0 j!( j n 1)
= n

j 0

(1) j x

2 j n 1

j!( j n 1)

2 jn

j!( j n 1)
j 0

x
J n (x)
n

=
Suku keduanya;

(1) j x

(2.85a)

(1) j x

2 j n 1

j 0 ( j 1)! ( j n 1)

(1) j x

, suku ini nol untuk j = 0

2 j n 1

( j 1)!( j n 1) , ambil j = m+1, m = 0,1,2,...

j 1

(1) m x

2 m n 1

m!(m (n 1) 1)

m0

= ( 1)

(1) m x

2 m n 1

m!(m (n 1) 1)

m 0

= J n1 ( x )
Substitusi kembali hasil (2.85a) dan (2.85b) ke dalam pers. (2.84) diperoleh
d
n
J n ( x) J n ' ( x) J n ( x) J n 1 ( x)
dx
x

(2.85b)
(2.86)

Dengan cara serupa, diperoleh juga

J n ' ( x)

Hubungan rekursi lainnya

n
J n ( x ) J n 1 ( x )
x

(2.87)

d
x n J n ( x ) x n J n 1 ( x )
dx
d
x n J n ( x ) x n J n 1 ( x )
dx

(2.88a)

(2.88b)

2.2.3 Fungsi Bessel Termodifikasi

Persamaan diferensial berikut
d2y
dy
x2 2 x (x2 n2 ) y 0
dx
dx
disebut persamaan Bessel termodifikasi. Solusinya

x 2

y ( x) I n ( x) i n J n (ix)
j 0

(2.89)
2 j n

j!( j n 1)

(2.90)

disebut fungsi Bessel termodifikasi. Jika n bulat I n ( x) I n ( x) , jika n bukan bulat I n ( x) dan
I n (x ) merupakan solusi yang bebas (independen).
Fungsi Bessel termodifikasi jenis kedua didefinisikan oleh :
I ( x) I n ( x )
K n ( x) n
(2.91)

2
sin n

yang berprilaku baik (well behaved) untuk semua n.

Analig dengan fungsi sinus dan sinus hiperbolik sin x sin(ix ) , fungsi Bessel termodifikasi
disebut juga fungsi Bessel hiperbolik.
2.2.4 fungsi Bessel Steris
Persamaan radial
d 2R
dR
r2
2r
k 2 r 2 l (l 1) R 0
(2.92)
2
dr
dr
mempunyai kemiripan pada persamaan Bessel. Solusinya

(2.93)
R(r ) J n ( kr )
J 1 (kr )
2kr n 2
jn(kr) ini disebut fungsi Bessel steris.

Serupa dengan fungsi Bessel sebelumnya, didefinisikan juga fungsi Neumann steris :

(2.94)
nn ( x)
N 1 ( x)
2 x n 2
dan fungsi Hankel steris
hn(1) ( x) j n ( x ) in n ( x)
hn( 2 ) ( x ) j n ( x) in n ( x)
Fungsi Bessel steris termodifikasi di definisikan oleh :

in ( x)

I 1 ( x)
2 x n 2

(2.95)

(2.96)

dan
2
(2.97)
K 1 ( x)
x n 2
2.2.5 Karakteristik Fungsi Bessel
Semua J n 0 ( x ) berprilaku seperti fungsi sinus dengan amplitudo mengecil. J 0 ( x) sama
dengan satu pada x = 0, dan berprilaku seperti cosinus teredam.
N n (x ) untuk x = 0.
Untuk x
2
J n ( x)
cos x n 1
2 2
x
k n ( x)

N n ( x)

2
sin x n 1
2 2
x

2
exp i x n 1
2 2
x

H n( 2 ) ( x )

2
exp i x n 1
2 2
x

I n ( x)

1
2x

ex

x
K n ( x)
e
2x
1
n
j n ( x ) sin x

x
2
1
n

n n ( x) cos x

x
2

i
hn(1) ( x) exp i x n
2
x
i
hn( 2 ) ( x ) exp i x n
2
x

Untuk x 0

H n(1) ( x)

(2.98)

J n ( x)

1
x

( n 1) 2

(2.99a)

N n ( x)

1 (n) 2

x
2
ln x , n 0

,n 0

(2.99b)

Grafik dari beberapa fungsi Bessel

2.2.6 Ortogonalitas Fungsi Bessel

Dari grafik dan tabel, fungsi J n ( x) 0 pada harga tertentu. Misalkan harga tersebut x = a,b,c,...
J n ( x ) 0 , pada x = a,b,c,...
(2.100a)
maka untuk n yang sama
J n ( ax) 0 ,

J n (bx) 0,

pada x =1

(2.100b)

Fungsi Bessel J n (x) merupakan solusi dari persamaan Bessel

x 2 y ' ' xy ' ( x 2 n 2 ) y x ( xy ' )' ( x 2 n 2 ) y 0

(2.101)

Sedang J n (ax ) merupakan solusi dari

x( xy ' )' (a 2 x 2 n 2 ) y 0

(2.102a)

dan J n (bx ) solusi dari

x ( xy ' )'(b 2 x 2 n 2 ) y 0
Untuk sederhananya, tuliskan J n ( ax) u , J n (bx) v , maka

(2.102b)

x ( xu ' )'(a 2 x 2 n 2 )u 0

(2.103a)
(2.103b)

x( xv ' )' (bx 2 n 2 )v 0

Pers. (2.103a) di kali v dan pers. (2.103b) di kali u, kemudian dikurangkan

v( xu ' )'u ( xv ' )' ( a 2 b 2 ) xuv 0

(2.104)

Dua suku pertama pers. (2.104)

v ( xu ' )'u ( xv' )'

d
v( xu ' ) u ( xv' )
dx

(2.105)

dengan demikian
xuv

Integrasikan

1
d
vxu'u ( xv' )
2
b a dx
2

(2.106)

xuvdx b

1
vxu 'uxv'
a2

1
0

1
J n (b) J n ' (a) J n (a) J n ' (b)
b a2
= 0 , untuk a b

Dus
1

xJ

(ax ) J n (bx )dx 0 , untuk a b

(2.107)

Sedangkan untuk a = b; tuliskan pers. (2.103a) dalam bentuk semula

x 2 u ' ' xu ' (a 2 x 2 n 2 )u 0

kalikan dengan 2u, diperoleh

2 x 2 u ' ' u '2 xu 12 2( a 2 x 2 n 2 )uu ' 0

Persamaan ini dapat ditulis menjadi

d 2 12

x u n 2 u 2 a 2 x 2 u 2 2a 2 xu 2 0
dx

Jika di integrasikan
1

2a 2 xu 2 dx x 2 u 12 n 2 u 2 a 2 x 2 u 2

1
0

J n ( ax ) 2
dx

12
J
(
a
)
= n

x 1

(2.108)

Jika digunakan rekursi (2.86) dan (2.87),

J n1 ( ax )

x 1

aJ n ( ax )

x 1

aJ n 1 ( ax )

x 1

(2.109)

Substitusi hasil (2.109) ke pers. (2.108), diperoleh:

1

xJ

1 12
1
1
J (a ) J n21 ( a) J n21 ( a)
2
2
2

2
n

( ax )dx

( ax ) J n (bx) dx

(2.110)

Dengan demikian
1

xJ
0

2.3 Polinom Hermite

Persamaan Hermite diberikan oleh
d2y
dy
2x
2ny 0
2
dx
dx
Solusi berbentuk

1 '2
J n ab
2

(2.111)

(2.112)

y ar x sr
r 0

memberi hubungan

s ( s 1) a 0 0

( s 1) sa1 0

dan

(2.113a)
(2.113b)

ar 2

2( s r n)
ar
( s r 2)( s r 1)

(2.113c)

Jika s = 0, maka diperoleh dua solusi yang independen dan hubungan rekursi (2.113c) menjadi
2( r n ) a r
ar 2
(2.114)
(r 2)(r 1)
Kalkulasi lebih lanjut dari rumus rekursi (2.114) memberikan
a2 j
a 2 j 1

( 2) j n( n 2) ( n 2 j 2)
a0
( 2 j )!
( 2) j ( n 1)(n 3) ( n 2 j 1)

a1
( 2 j 1)!

(2.115)

dengan j = 1,2,3,...
Dengan demikian solusi pers. (2.112),

(2) j n( n 2) (n 2 j 2) 2 j
(2) j (n 1)(n 3) (n 2 j 1) 2 j
y ( x) a0 1
x a1 x 1
x
(
2
j
)!
(
2
j

1
)!
j

1
j

(2.116)
Deret tak hingga pertama (2.116) menjadi berhingga dan merupakan polinom genap tingkat n
jika
n - 2j + 2 = 0
(2.117a)
dan polinom ganjil tingkat n jika
n 2j + 1 = 0
(2.117b)
Deret tunggal yang berlaku baik untuk n ganjil atau n genap diperoleh melalui pengambilan
bentuk rumus rekursi (2.113c) sebagai
ar

(r 2)(r 1)
ar 2
2( n r )

(2.113c)

rumus rekursi ini memberi hubungan

(1) j n(n 1)( n 2)....(n 2 j 1)
an
2 j 2.4.6.....2 j

an2 j

(2.118)

setelah diatur kembali didapatkan bentuk umum

a n 2 j

( 1) j n!
an
2 2 j j!(n 2 j )!

(2.119)

subtitusi persamaan (2.119) kedalam Y(x), diperoleh solusi bagi persamaan (2.112),
N
(1) j n! x n 2 j
Y ( x) an 2 j
(2.120)
j!(n 2 j )!
j 0 2
N adalah n maksimum, dari persamaan (2.117a) dan (2.117b)

n
, jikangenap
2
n 1
, jikanganjil
2

(2.121)

Bila konstanta an = 2n diperoleh

(1) j n!(2 x) n 2 j
j!(n 2 j )!
j 0
N

Y ( x) H n ( x)

polinom Hn ini disebut polinom Hermite.

Beberapa bentuk eksplisit polinom Hermite
H0(x) = 1

(2.122)

H1(x) = 2x
H2(x) = 4x2 2
H3(x) = 8x3 12x
H4(x) = 16x4 48x2 +12
H5(x) = 32x5 - 160x3 + 120x
Fungsi Pembangkit dan rumus Rodrigues
Fungsi e 2 tx t merupakan fungsi pembangkit Hn(x),
2

tn

n!H

e 2tx t

n 0

( x)

(2.123)

uraian berikut memperlihatkan hubungan diatas

e 2tx t e 2tx e t
2

r 0

( 2tx ) r
r!

( t 2 ) s

s!
s 0

(1) s

r .s 0

(2 x) r r 2 s
t
r! s!

(2.124a)

untuk pangkat tertentu, misalkan n, tn, antara t dan s diikat oleh hubungan r + 2s = n atau
r = n 2s
(2.124b)
sehingga koefisiennya (dari tn),
(2 x) n 2 s
( n 2 s )! s!
karena r 0, maka n 2 s 0
n
s
sehingga
2
( 1) s

(2.124c)
(2.124d)
(2.124e)

s Maksimum
smaks = n/2 untuk n genap
smaks = (n-1) untuk n ganjil
karena itu koefisien tn
smaks
(2 x) n 2 s
1
koeft n ( 1) s
H n ( x)
s!( n 2 s )! n!
s 0
dengan demikian

(1)

e 2 tx t

r 0 s 0

(2 x) r r 2 s
t

r! s!
n2 s

1
n!(2 x)
(1) s
tn
n
!
s
!
(
n

2
s
)!
r 0

smaks

(2.124f)
(2.124g)

(1)

(2 x) n 2 s n
t
s!(n 2 s )!

n 0 s 0

1
H n ( x )t n

n
!
n 0

(2.123)

selanjutnya, dari ekspansi deret fourier bagi F (t),

d nF
dt n
n0

F (t )

t 0

tn
n!

(2.125)

didapatkan bahwa
n 2 tx t 2
e

n
t

H n ( x)

tetapi

t 0

n x 2 ( x t ) 2
e

n
t

f (x t)
f (x t)
t
x

t 0

n ( x t ) 2
e

n
t

ex

f (x t)
f ( x t )
f ( x t )
f ( x t )

t
x

t
t 2

dan seterusnya, akhirnya

(2.126a)
t 0

n
n
n
f
(
x

t
)

1
)
f (x t)
t n
x n

(2.126b)

subtitusi persamaan (2.126b) ke persamaan (2.126a) didapatkan

2

n ( x t ) 2
e

n
x

H n ( x ) ( 1) n e x

H n ( x) (1) n e x

t 0

n
2

x2
n x2 d
x2
n x2 d
e

1
)
e
e

1
)
e
e x
n
n
n
x
dx
dx
n

(2.127)

ungkapan 2.127 merupakan rumus Rorigue bagi polinome Hermite.

Dari persamaan (2.123), untuk x = 0

n!H
n 0

n
e t
n (0)t

(1)

m 0

t 2m
m!

(2.128)

dengan membandingkan koefisien tn, ruas kanan dan ruas kiri diperoleh
H 2 n 1 (0) 0
1
1
H 2 m (0) ( 1) m
atau
( 2m)!
m!

H 2 n (0) ( 1) n

( 2n)!
n!

(2.129a)

(2.129b)

Hubungan Rekursi dan ortogonalitas Polinom Hermite

Dari persamaan (2.123) juga dapat diperoleh hubungan rekursi

(i ) H ' n ( x ) 2nH n 1 ( x )(n 1), H "0 ( x ) 0 (2.130a)

(ii )2 xH n ( x) H n 1 ( x ) 2nH n 1 ( x )

(2.130b)
hubungan rekursi (2.130a) diperoleh melalui diferensiasi persamaan (2.123) terhadap x
sedangkan persamaan (2.130b) diperoleh melalui diferensiasi persamaan (2.123) terhadap t atau
dapat juga diperoleh langsung dari persamaan (2.122). dari persamaan (2.123) juga dapat
diperoleh hubungan atau sifat ortogonalitas antara Hm(X) dan Hn(x),

x2

H m ( x ) H n ( x ) dx 2 n n /

mn

(2.131)

Fungsi Weber-Hermite
Persamaan yang mendekati persamaan Hermite,
d2y
( x 2 ) y 0
(2.132)
dx 2
jika diambil
(2.133)
y e x / 2 Z ( x)
maka persamaan (2.132) tereduksi menjadi
d 2Z
dZ
(2.134)
2x
( 1) Z 0
2
dx
dx
jika = 2n+1, maka persamaan (2.134)tidak lain adalah persamaan Hermite (2.112). persamaan
(2.132) disebut dengan persamaan Webber-Hermite dan solusinya
y n ( x ) e x / 2 H n ( x)
(2.135)
disebut dengan Fungsi Webber-Hermite orde n
dari persamaan (2.135) dan (2.131) diperoleh
2

( x ) y m ( x ) dx 2 n n! mn

(2.136)

Hubungan rekursi bagi yn(x),

i )2 xy n ( x ) y n 1 ( x) 2ny n 1 ( x )
ii ) y ' n ( x ) xy n ( x ) y n 1 ( x )
iii ) y ' n ( x ) 2ny n 1 ( x ) xy n ( x )

Polinom Laguere
Persamaan berikut: x

d2y
dy
(1 x )
ny 0
2
dx
dx

dikenal dengan Persamaan Laguere. Solusi dengan bentuk:

hubungan

(2.137)
y( x)

a
r 0

[s(s-1)+s]a0 = s2 = 0

dan rumus rekursi a r 1

( s r n)

ar
( s r 1) 2

x sr

memberi

(2.138a)
(2.138b)

persamaan (2.138a) memberi akar double s = 0, karena itu solusi dengan metode ekspansi ini
hanya memberi satu solusi berhingga untuk semua x berhingga. Dengan s = 0, rumus (2.138b)
menjadi
a r 1

(n r )
ar
(r 1) 2

(2.138c)

perhitungan rincinya memberikan

n( n 1)....(n r 1)
a0
(r!) 2
n(n 1)..........( n r 1) r
y ( x ) y n ( x ) a 0 (1) r
x
(r!) 2
r 0

a r ( 1) r

sehingga

(2.139)
(2.140)

tampak bahwa deret akan berhenti jika n r + 1 = 0, dan jika dipilih a0, maka
n
n( n 1)..........( n r 1) r
n! x r
r
x

1
)
(2.141)

(r!) 2
( r!) 2 ( n r )!
r 0
r 0
Polinom (2.141) ini adalah Polinom Laguere.
Beberapa ungkapan eksplisit Ln(x),

y ( x) Ln ( x) ( 1) r

L0 ( x) 1

L1 ( x) 1 x
1
(2 4 x x 2 )
2!
1
L3 ( x) (6 18 x 9 x 2 x 3 )
3!
1
L4 ( x) ( 24 96 x 72 x 2 16 x 3 x 4 )
4!
Ln (0) 1, L'n (0) n
L2 ( x )

Fungsi Pembangkit dan rumus Rodrigues

Uraian fungsi berikut memberikan


xt
1
1
xt

exp

(1 t )
(1 t ) r 0 r!
(1 t )
(1 t )

r 0

( 1) r
xrt r
r! (1 t ) r 1

(2.142)

sedangkan

1
( r 1)( r 2) 2 ( r 1)( r 2)(r 3) 3
( r s )! 5

(
r

1
)
t

...

t (2.143)

r 1
2!
3!
r! s!
(1 t )
s 0

sehingga

1
(1) r (r s )! x r r s
xt
exp

(1 t )
( r!) 2 s!
1 t
r 0 s 0

(2.144)

kemudian, jika r + s = n atau s = n r, maka persamaan (2.114) dapat ditulis dalam indeks n dan
r,

1
(1) r n! x r n
xt
exp
t Ln ( x)t n

(1 t )
1 t
r 0 s 0 ( r!)( n r ) s!
n0

(2.145)

Fungsi di ruas kiri persamaan (2.142) adalah fungsi pembangkit polinom Laguerre. Dari
persamaan (2.145) diperoleh, untuk x = 0

L
n 0

(0)t n

1 t

m 0

jelas bahwa Ln(0) = 1, untuk semua n

dari teorema Leibniz

n
dn
n!
d n r u d r v
(
uv
)

(2.146)

nr
dx n
dx r
r 0 ( n r )! r! dx
didapat, untuk u = xn dan v = e-x
n
n
dn
n!
d nr n d r e x
n!
n x
(
x
e
)

n(n 1)(n 2)...(r 1) x r (1) r e x

n
n r
r
(
n

r
)!
r
!
(
n

r
)!
r
!
dx
dx
dx
r 0
r 0
r
n
n
( 1) n! n! r x
( 1) r n! x r

x e
n!e x Ln ( x) n!e x
2
r 0 ( n r )! r! r!
r 0 ( n r )!( r!)
ex d n
(x ne x )
n! dx n
Persamaan (2.147) ini merupakan rumus Rodrigues bagi polinom Laguerre.

atau

Ln ( x )

(2.147)

Hubungan Rekursi dan Ortogonalitas

Hubungan rekursi polinom Laguerre
i )(n 1) Ln 1 ( x ) ( 2n 1 x) Ln ( x ) nLn 1 ( x )
ii ) xL'n ( x) nLn ( x ) nLn 1 ( x)
n 1

iii ) L ( x ) L1 ( x )
'
n

(2.148)

r 0

sedangkan sifat ortogonalitas polinom Laguerre diberikan oleh

Ln ( x ) Lm ( x ) dx mn

(2.149)

Hubungan rekursi (2.148) dan sifat ortogonalitas (2.149) dapat diturunkan dari fungsi
pembangkit (2.142).
Polinom Laguerre terasosiasi
Persamaan berikut ini

d2y
dy
x 2 (k 1 x ) ny 0
dx
dx
disebut persamaan Laguerre terasosiasi. Solusinya
n
( n k )!
y ( x) Lkn ( x) (1) r
xr
(
n

r
)!
(
k

r
)!
r
!
r 0
disebut polinom Laguerre Terasosiasi.
Fungsi pembangkitnya:

1
xt
exp

Lkn ( x )t n

(1 t ) x 1
1 t
n 0
x k
e x dn
k
Rumus Rodriguesnya: Ln ( x)
( x nk e x )
n
n! dx

Sifat ortogonalitasnya diberikan oleh:

x k Lkn ( x) Lkm ( x ) dx

(2.150)

(2.151)

(2.152)
(2.153)
( n k )!
mn
n!

Dan hubungan rekursinya

i ) Lkn 1 ( x) Lkn1 ( x) Lkn ( x)
ii )(n 1) Lkn 1 ( x) (2n k 1 x) Lkn ( x) (n k ) Lkn 1 ( x)
iii ) xLkn' ( x) nLkn ( x) ( n k ) Lkn 1 ( x)
n 1

iv ) Lkn' ( x) Lkr ( x)
r 0

v) L ( x) Lkn11 ( x)
k'
n

vi ) Lkn1 ( x) Lkr ( x)
r 0

(2.154)