Jurnal Kubik, Volume 2 No. 1 (2017)
ISSN : 2338-0896
Representasi Deret ke dalam Bentuk Integral Lipat Dua Siti Julaeha1, a) dan Arini Soesatyo Putri 2, b) 1 2
Jurusan Matematika Fakultas Sains dan Teknologi UIN SGD Bandung Jurusan Matematika Fakultas Sains dan Teknologi UIN SGD Bandung a)
email:
[email protected] b) email:
[email protected]
Abstrak Representasi suatu deret ke dalam bentuk lain merupakan salah satu kajian yang terdapat di dalam ilmu matematika. Salah satu representasi yang paling umum digunakan adalah representasi deret ke dalam bentuk integral, yang memungkinkan deret tersebut (khususnya deret tak terhingga) dapat ditentukan nilai atau jumlahnya. Banyak cara untuk merepresentasikan deret ke dalam bentuk integral, diantaranya dengan memanfaatkan ekspansi deret Maclaurin, fungsi khusus integral (fungsi gamma dan beta), serta teorema-teorema yang telah ada sebelumnya. Anthony Sofo [9] dalam kajiannya telah menemukan bentuk deret đ(đ, đ, đ, đ, đ, đĄ), yang kemudian akan dikaji bagaimana bentuk integral lipat dua dari deret tersebut di dalam paper ini beserta analisis kekonvergenannya. Kata kunci: Deret Maclaurin, Integral Lipat Dua, Integral Euler, Identitas Kombinatorial. Pendahuluan Masalah utama dalam kajian deret terutama deret tak hingga adalah untuk mencari status konvergensi dan menentukan nilai atau jumlah dari deret tersebut yang tidak dapat dikalkulasikan dengan cara biasa. Hal inilah yang menjadi landasan dilakukannya representasi suatu deret. Salah satu representasi yang digunakan ialah representasi deret ke dalam bentuk integral. Masalah ini sudah dikaji dengan baik dalam kajian matematika diskrit dan kalkulus. Di dalam paper ini, kita akan mengkaji bentuk integral dari deret S(đ, đ, đ, đ, đ, đĄ) =
ââ đ=0
đ+đâ1 đĄ đ( ) đ đđ+đ (đđ+đ+1)đ+1 ( ) đđ
Dan status konvergensinya. Kita menganalisis beberapa hasil yang telah dipublikasikan oleh Anthony Sofo [9] dan penulis lainnya. Teori Definisi 1.1. [1] Fungsi Gamma dikenal juga sebagai integral Euler kedua, didefinisikan oleh integral tak wajar â
đ¤(đ) = âŤ0 đĽ đâ1 đ âđĽ đđĽ . Integral tersebut konvergen secara mutlak untuk đĽ ⼠1. Atau dapat juga didefinisikan sebagai fungsi faktorial đ¤(đ) = (đ â 1)!.
43
Jurnal Kubik, Volume 2 No. 1 (2017)
ISSN : 2338-0896
Definisi 1.2. [1] Fungsi Beta dikenal sebagai integral Euler pertama, didefinisikan sebagai 1
đľ(đ, đ) = âŤ0 đĽ đâ1 (1 â đĽ)đâ1 đđĽ , untuk p > 0 dan q > 0. Hubungan fungsi gamma dan fungsi beta didefinisikan oleh đľ(đ, đ) =
đ¤(đ)đ¤(đ) đ¤(đ+đ)
Definisi 1.3. [3] Deret Maclaurin merupakan deret Taylor dari suatu fungsi di tiitk 0 yang didefinisikan dengan f(0) + fâ(0)(x) +
f ' ' ( 0) 2 f ' ' ' ( 0) 3 x + x +... 3! 2!
Definisi 1.4. [6] Deret Hipergeometri didefinisikan oleh deret pangkat đ
đšđ (đ1 , đ2 , ⌠, đđ ; đ1 , đ2 , ⌠, đđ ; đĄ) = ââ đ=0
(đ1 )đ (đ2 )đ âŚ(đđ )đđĄ đ (đ1 )đ (đ2 )đ âŚ(đđ ) đ! đ
Dimana (đ)đ = đ(đ + 1)(đ + 2)(đ + 3) ⌠(đ + đ â 1) merupakan simbol Pochhammer.
Hasil dan Diskusi Lemma berikut ini merupakan representasi integral dari
1 (đ+đ)đ
, yang mana bentuk identitas
tersebut akan membantu kita untuk menemukan representasi integral dari suatu deret tertentu. Lemma 1.5. [9[ Misalkan đ + đ ⼠0, đ, đ â đ
dan đ ⼠0, maka â 1 1 ⍠đŚ đâ1 đ âđŚ(đ+đ) đđŚ , untuk đ ⼠1 = {(đ â 1)! 0 (đ + đ)đ 1 , untuk đ = 0
Bukti. Untuk đ ⼠1, dengan menggunakan integral parsial kita peroleh â 1 ⍠đŚ đâ1 đ âđŚ(đ+đ) đđŚ (đâ1)! 0
1
â đâ1 âđŚ(đ+đ) đâ2 đ đŚ đđŚ] đ+đ
= (đâ1)! [âŤ0 =
(đâ1)(đâ2)(đâ3)âŚ(2)(1) â [âŤ0 đ âđŚ(đ+đ) đđŚ] (đâ1)!(đ+đ)đâ1
=
1 (đ+đ)đ
.
Untuk đ = 0, maka didapat 1 (đ+đ)0
= 1. â
Teorema selanjutnya akan membahas mengenai representasi deret S(đ, đ, đ, đ, đĄ), yang mana deret tersebut menjadi landasan untuk merepresentasikan deret S(đ, đ, đ, đ, đ, đĄ) yang telah didefinisikan sebelumnya. Teorema 1.6. [9] Misalkan a merupakan bilangan bulat positif sebarang, |đĄ| ⤠1, đ ⼠0, đ ⼠0, dan đ ⼠1, maka S(đ, đ, đ, đ, đĄ) =
ââ đ=0
đ+đâ1 đĄ đ( ) đ đđ+đ (đđ+đ+1)đ+1 ( ) đ
â 1 (1âđĽ)đ đŚ đâ1 đ âđŚ(đ+1) 1 ⍠⍠(1âđĄđĽ đ đ âđđŚ)đ đđĽđđŚ, (đâ1)! 0 0
={ 1 (1âđĽ)đ âŤ0 (1âđĄđĽ đ )đ đđĽ
untuk đ ⼠1 (1)
, untuk đ = 0
44
Jurnal Kubik, Volume 2 No. 1 (2017)
ISSN : 2338-0896
Bukti. Untuk đ ⼠1, ââ đ=0
đ+đâ1 đĄ đ( ) đ đđ+đ (đđ+đ+1)đ+1 ( ) đ
=
đ+đâ1 đĄ đ( )đ!(đđ)! â đ âđ=0 . (đđ+đ+1)đ (đđ+đ+1)!
Berdasarkan definisi fungsi gamma dan beta, selanjutnya kita peroleh ââ đ=0
đ+đâ1 đĄ đ( )đ¤(đ+1)đ¤(đđ+1) đ (đđ+đ+1)đ đ¤(đđ+đ+2)
= ââ đ=0
đ+đâ1 đĄ đ( ) đ đľ(đđ đ (đđ+đ+1)
â
1
+ 1, đ + 1) = ââ đ=0
đ+đâ1 đĄ đ( ) 1 đ âŤ0 đĽ đđ đ (đđ+đ+1)
(1 â đĽ)đ đđĽ
1
đ đ+đ+1) = (đâ1)! ââ âŤ0 đŚ đâ1 đ âđŚ(đđ+đ+1) đđŚ âŤ0 đĽ đđ (1 â đĽ)đ đđĽ đ=0 đĄ ( đ
Dengan menggunakan Lemma 1.5 dan asumsi dapat mengubah urutan penjumlahan dengan integral, maka â 1 1 ⍠⍠(1 (đâ1)! 0 0
đ+đ+1 â đĽ)đ đŚ đâ1 đ âđŚ(đ+1) [ââ )(đĄđ âđŚđ đĽ đ )đ ]đđĽ đ=0( đ
(2)
đ+đâ1 ââ )(đĄđ âđŚđ đĽ đ )đ , dengan menggunakan fungsi đ=0( đ
Selanjutnya perhatikan bentuk deret
pembangkit deret tersebut memiliki bentuk tertutup (1 â đĄđ âđŚđ đĽ đ )âđ . Dari persamaan (2) dapat dituliskan menjadi â
â 1 1 đ+đ+1 ⍠⍠(1 â đĽ)đ đŚ đâ1 đ âđŚ(đ+1) [â ( ) (đĄđ âđŚđ đĽ đ )đ ] đđĽ (đ â 1)! 0 0 đ đ=0
â
1
1 (1âđĽ)đ đŚ đâ1 đ âđŚ(đ+1)
= (đâ1)! âŤ0 âŤ0
(1âđĄđ âđŚđ đĽ đ )đ
đđĽđđŚ.
(3)
Untuk đ = 0, đ(đ, đ, 0, đ, đĄ) = ââ đ=0
đ+đâ1 đĄ đ( ) đ đđ+đ = (đđ+đ+1)( ) đ
ââ đ=0
đ+đâ1 đĄ đ( )đ¤(đ+1)đ¤(đđ+1) đ đ¤(đđ+đ+2)
đ đ + đ â 1) 1 đĽ đđ (1 â đĽ)đ đđĽ = 1(1 â đĽ)đ ââ (đ + đ â 1) = ââ âŤ0 âŤ0 đ=0 đĄ ( đ=0 đ đ 1 (1âđĽ)đ đđĽ . (1âđĄđĽ đ )đ
= âŤ0
Selanjutnya akan ditentukan interval dimana deret S(đ, đ, đ, đ, đĄ) = ââ đ=0
menuju
suatu
nilai.
Perhatikan
bahwa
đ+đâ1 đĄ đ( ) đ đđ+đ (đđ+đ+1)đ+1 ( ) đ
â¤
đ+đâ1 đĄ đ( ) đ đđ+đ đ+1 (đđ+đ+1) ( ) đ
đ+đâ1 ) đ đđ (đđ+1)( ) 0
đĄ đ(
=
đ+đâ1 đĄ đ( ) đ (đđ+1)
konvergen
.
Dengan
menggunakan uji rasio mutlak kita peroleh đ˘ lim | đ+1| đââ đ˘đ
Sehingga deret ââ đ=0
=
đ+đ đĄ đ+1 ( ) (đđ+1) đĄ(đđ+1)(đ+đ) đ+1 lim | (đđ+đ+1) lim | (đđ+đ+1)(đ+1)| đ+đâ1 | = đââ đ đââ đĄ ( ) đ
đ+đâ1 ) đ akan (đđ+1)
đĄ đ(
= |đĄ| < 1.
konvergen untuk |đĄ| < 1, mengakibatkan ââ đ=0
đ+đâ1 đĄ đ( ) đ đđ+đ (đđ+đ+1)đ+1 ( ) đ
juga akan konvergen untuk |đĄ| < 1. Dengan terbuktinya Teorema 1.6, sehingga melahirkan akibat sebagai berikut
45
Jurnal Kubik, Volume 2 No. 1 (2017)
ISSN : 2338-0896
Akibat 1.7. [9] Misalkan kondisi pada Teorema 1.6 terpenuhi, maka ââ đ=0
đ+đâ1 đĄ đ( ) đ đđ+đ (đđ+đ+1)đ+1 ( ) đ
=
đđđĄ â 1 (1âđĽ)đ đĽ đâ1 đŚ đđ âđŚ(đ+đ+1) đđĽđđŚ, ⍠⍠đ! 0 0 (1âđĄđĽ đ đ âđđŚ )đ+1
for đ ⼠0 (4)
Bukti. Berdasarkan Teorema 1.6 ââ đ=0
đ+đâ1 đĄ đ( ) đ đđ+đ (đđ+đ+1)đ+1 ( ) đ
= ââ đ=0 =
đ+đâ1 đĄ đ( )đ!(đđ)!
đ = ââ đ=0 (đđ+đ+1)đ+1 (đđ+đ)!
đ+đâ1 )đ¤(đ+1)đđđ¤(đđ) đ (đđ+đ+1)đ+1 (đđ+đ)!
đĄ đ(
= đ ââ đ=0
đđđĄ â 1 (1âđĽ)đ đĽ đâ1 đŚ đđ âđŚ(đ+đ+1) đđĽđđŚ. ⍠⍠đ! 0 0 (1âđĄđĽ đ đ âđđŚ )đ+1
đ+đâ1 1 đđâ1 đđĄ đ ( ) âŤ0 đĽ (1âđĽ)đ đđĽ đ đ+1 (đđ+đ+1)
â
Teorema 1.8. [9] Misalkan đ dan đ bilangan bulat positif sebarang dimana đ â đ ⼠0, đ ⼠0, đ ⼠0, đĄ â đ
dan đ ⼠1. Untuk |
đĄđđ (đâđ)đâđ | đđ
S(đ, đ, đ, đ, đ, đĄ) = ââ đ=0
⤠1, maka:
đ+đâ1 đĄ đ( ) đ đđ+đ (đđ+đ+1)đ+1 ( ) đđ
â 1 (1âđĽ)đ đŚ đâ1 đ âđŚ(đ+1) 1 đđĽđđŚ ⍠⍠(đâ1)! 0 0 (1âđĄđĽ đ (1âđĽ)đâđ đ đđŚ )đ
= { 1 (1âđĽ)đ âŤ0 (1âđĄđĽ đ (1âđĽ)đâđ )đ đđĽ
, for đ ⼠1 (5) , for đ = 0
Bukti. Untuk đ ⼠1, ââ đ=0 =
đ+đâ1 ) đ đđ+đ (đđ+đ+1)đ+1 ( ) đđ đĄ đ(
â 1 1 ⍠⍠(1 (đâ1)! 0 0 1
â
1
= (đâ1)! âŤ0 âŤ0
= ââ đ=0
đĄ đ(
đ+đâ1 )đľ(đđ+1,(đâđ)đ+đ+1) đ (đđ+đ+1)đ
â đĽ)đ đŚ đâ1 đ âđŚ(đ+1) ââ đ=0 (
đ+đâ1 ) (đĄđĽ đ (1 â đ
đĽ)đâđ đ âđđŚ )đ đđĽđđŚ
(1âđĽ)đ đŚ đâ1 đ âđŚ(đ+1) đđĽđđŚ. (1â(đĄđĽ đ (1âđĽ)đâđ đ âđđŚ )đ
Untuk đ = 0 S(đ, đ, đ, 0, đ, đĄ) = ââ đ=0
đ+đâ1 đĄ đ( ) đ đđ+đ (đđ+đ+1)( ) đđ
đ = ââ đ=0 đĄ (
= ââ đ=0
đ+đâ1 đĄ đ( )đ¤(đđ+1)đ¤(đđ+đâđđ+1) đ đ¤(đđ+đ+2)
đ+đâ1 ) đľ(đđ + 1, (đ â đ)đ + đ + 1) đ
1
đ+đâ1 = âŤ0 (1 â đĽ)đ ââ ) (đĄđĽ đ (1 â đĽ)đâđ )đ đđĽ. đ=0( đ 1
= âŤ0
(1âđĽ)đ đđĽ. (1âđĄđĽ đ (1âđĽ)đâđ )đ
â
Selanjutnya akan ditentukan interval dimana deret S(đ, đ, đ, đ, đ, đĄ) konvergen menuju suatu nilai. Perhatikan bahwa đ˘ lim | đ+1| đââ đ˘đ
đ+đâ1 đĄ đ( ) đ đđ+đ (đđ+đ+1)đ+1 ( ) đđ
= lim | đââ
â¤
đ+đâ1 đĄ đ( ) đ đđ , (đđ+1)( ) đđ
Dengan menggunakan uji rasio mutlak, kita dapat
đ+đ đđ đĄ đ+1 ( ) (đđ+1)( ) đ+1 đđ đđ+đ đ đ+đâ1 | (đđ+đ+1)( )đĄ ( ) đđ+đ đ
46
Jurnal Kubik, Volume 2 No. 1 (2017) = lim | đââ
đĄ(đ+đ)!(đđ+đ)!(đđ+đâđđâđ)!(đđ+1)(đđ)!đ!(đâ1)! | (đđ+đ+1)(đ+1)!(đâ1)!(đđ+đ)!(đđ)!(đđâđđ)!(đ+đâ1)!
(đđ+1)!(đđ+đ)!(đđ+đâđđâđ)! | (đđ+đ+1)!(đđ)!(đđâđđ)! đââ
= |t| lim |
Sehingga deret ââ đ=0
ISSN : 2338-0896
ââ đ=0
đ+đâ1 ) đ đđ+đ (đđ+đ+1)đ+1 ( ) đđ đĄ đ(
đ+đâ1 đĄ đ( ) đ đđ (đđ+1)( ) đđ
= |t| |
đđ (đâđ)(đâđ) | đđ
< 1.
akan konvergen ketika |đĄ| < |
juga akan konvergen untuk |đĄ| < |
đđ đđ (đâđ)(đâđ)
| , mengakibatkan deret
đđ |. đđ (đâđ)(đâđ)
Contoh 1.9. Untuk kasus đ = 2, đ = 1, đ = 0, đ = 0, đ = 5, kita peroleh bentuk deret S(2,1,0,0,5, đĄ) = 1 (1âđĄđĽ(1âđĽ))đ
=1+
đ (đĄđĽ(1 â đĽ)) 1!
+
ââ đ=0
đ(đ+1) (đĄđĽ(1 2!
đ+4 đĄ đ( ) 1 đđĽ đ 2đ = âŤ0 (1âđĄđĽ(1âđĽ))5 (2đ+1)( ) đ 2
â đĽ)) + . . .
Dengan mengintegrasikan kedua ruas didapat 1
âŤ0
đđĽ (1âđĄđĽ(1âđĽ))đ
1
= âŤ0 đđĽ +
đ 1 ⍠(đĄđĽ(1 1! 0
â đĽ))đđĽ +
2 đ(đ+1) 1 (đĄđĽ(1 â đĽ)) đđĽ ⍠0 2!
+...
Jika pengintegralan di ruas kanan diselesaikan maka 1
âŤ0
đđĽ (1âđĄđĽ(1âđĽ))đ
= 1+
đ 6
đĄ+
đ(đ+1) 2 đĄ 60
+
đ(đ+1)(đ+2) 3 đĄ 840
+âŻ
Lebih lanjut, dengan manipulasi aljabar akan didapat 1
âŤ0
đđĽ (1âđĄđĽ(1âđĽ))đ
=1+
đ đĄ đ(đ+1) đĄ 2 + 3 3 3 ( )4 ( )( +1) 16 2
=1+
1.đ đĄ 3 ( ) ( ) 4
đ(đ+1)(đ+2) đĄ 3 3 3 3 ( )( +1)( +2) 64
2
2
+
1(1+1)đ(đ+1) đĄ 2 ( ) 3 3 4 (2)(2+1)2!
2
= ââ đ=0
+
(1)đ (đ)đ đĄ đ ( ) 3 4 ( )đđ!
2
2
ââ đ=0
2đ (2đ+1)( ) đ
1
= âŤ0
đđĽ 1
(1â4đĽ(1âđĽ))5
+
1(1+1)(1+2)đ(đ+1)(đ+2) đĄ 3 ( ) 3 3 3 4 (2)(2+1)(2+2)3!
3 2
đĄ 4
+âŚ
= đš12 (1, đ; ; ) (Berdasarkan Definisi 2.4)
2
1đ đ+5â1 ( ) 4 đ
+âŻ
2
3 2
= đš12 (1, 5; ;
1 ) 16
â 1.2440.
1 4
Karena deret đ (2,1,0,0,5, ) mempunyai representasi dalam bentuk integral, maka jumlah dari deret tersebut juga dapat diinterpretasikan sebagai luas di bawah kurva đŚ = 1
1
dan đĽ = 1. Adapun interpretasi dari đ (2,1,0,0,5, ) = âŤ0 4
đđĽ 1 (1â4đĽ(1âđĽ))5
1 1
(1â4đĽ(1âđĽ))5
dengan batas đĽ = 0
dalam grafik adalah
1 4
Gambar 1.1 Interpretasi deret S(2,1,0,0,5, ) dalam bidang-xy 47
Jurnal Kubik, Volume 2 No. 1 (2017)
ISSN : 2338-0896 Kesimpulan
Simpulan dari kajian paper ini adalah sebagai berikut: 1.
Kajian disini hanya dikhususkan untuk deret yang didefinisikan sebagai berikut: S(đ, đ, đ, đ, đ, đĄ) =
ââ đ=0
đ+đâ1 ) đ đđ+đ (đđ+đ+1)đ+1 ( ) đđ đĄ đ(
Deret tersebut memiliki bentuk representasi integral đ+đâ1 đĄ đ( ) đ đđ+đ đ+1 (đđ+đ+1) ( ) đđ
ââ đ=0
={
â 1 (1âđĽ)đ đŚ đâ1 đ âđŚ(đ+1) 1 đđĽđđŚ ⍠⍠(đâ1)! 0 0 (1âđĄđĽ đ (1âđĽ)đâđ đ âđđŚ )đ 1
âŤ0 2.
(1âđĽ)đ đđĽ (1âđĄđĽ đ (1âđĽ)đâđ )đ
, untuk đ ⼠1 . , untuk đ = 0
Analisis kekonvergenan bentuk deret đ(đ, đ, đ, đ, đ, đĄ) akan konvergen pada selang |đĄ| < |
đđ đđ (đâđ)(đâđ)
|. Selanjutnya berdasarkan dari hasil studi kasus, jika disubstitusikan nilai đ = 2, đ = 1 4
1, đ = 0, đ = 0, đ = 5, dan đĄ = , yakni diperoleh deret 1 4
S(2,1,0,0,5, ) = ââ đ=0 1 4
Karena |đĄ| = | | < |
22 11 (2â1)(2â1)
1 đ+4 ( )đ ( ) 4 đ 2đ (2đ+1)( ) đ
1 4
| = |4|, maka S(2,1,0,0,5, ) merupakan deret yang konvergen dan
dapat ditentukan jumlahnya yaitu
1đ đ+5â1 ( ) â đ âđ=0 4 2đ (2đ+1)( ) đ
1
= âŤ0
đđĽ 1
(1â4đĽ(1âđĽ))5
3 2
= đš12 (1, 5; ;
1 ) 16
â 1.2440.
Ucapan Terima Kasih Penulis mengucapkan terimakasih kepada pihak-pihak yang mendukung dalam penulisan serta pengkajian paper ini, yaitu untuk 1. Staf pengajar di Jurusan Matematika yang telah menyampaikan ilmunya kepada penulis sebagai landasan bagi paper yang dikaji. 2. Kerabat dekat yang secara tidak langsung turut berkontribusi, serta pihak-pihak yang tidak dapat penulis sebutkan satu-satu.
[1]
Referensi Artin. E. The Gamma Function. Holt, Rinehart, dan Winston, New York, 1964.
[2]
Bartle. R.G, Sherbert. D.R. Introduction to Real Analysis: Third edition. John Wiley & Sons, USA, 2000.
[3]
Edwin. J, Purcell. Kalkulus dan Geometri Analitis: Edisi 5 Jilid 2. Erlangga, Jakarta, 1998.
[4]
Goddard. B, Rosen. Kenneth H. Elementary Number Theory and Its Applications, Pearson AddisonWesley, Boston, 2005.
[5]
Kerami. D, Sitanggang. C. Kamus Matematika. Balai Pustaka, Jakarta, 2003. 48
Jurnal Kubik, Volume 2 No. 1 (2017) [6]
ISSN : 2338-0896
Kohl. Karen T, H. Moll. Victor. Hypergeometric Function. Journal of Mathematical Sciences, 21: 4354, Chile, 2011.
[7]
Krantz. S.C. The Gamma and Beta Function; Chapter 1. Vieweg, Braunschweig, Jerman, 1998.
[8]
Munir. Rinaldi. Matematika Diskrit. Informatika, Bandung, 2005.
[9]
Sofo. A. Double Integral Representation of Sums, Journal of Analysis, Vol. 8, 2009.
[10] Sofo, A. General Properties Involving Reciprocals of Binomial Coefficients, Journal of Integer Sequences, Vol. 9, 2006. [11] Varberg. D, Purcell. Kalkulus: Edisi 9 Jilid 1. Erlangga, Jakarta, 2010.
49