1 − 2 + 3 − 4 + ⋯

15.000 jumlah parsial pertama dari 0 + 1 − 2 + 3 − 4 + ⋯. Pada grafik ini, bilangan bulat negatif berada di bagian kiri sedangkan bilangan bulat positif berada di bagian kanan.

Dalam matematika, 1 − 2 + 3 − 4 + ⋯ adalah deret tak hingga yang suku-sukunya merupakan bilangan bulat positif yang berurutan. Di samping itu, setiap bilangan bulat tersebut diberi tanda plus dan minus secara bergantian sehingga membentuk deret selang-seling. Dengan menggunakan notasi penjumlahan sigma, jumlah m suku pertama deret tersebut dapat dinyatakan sebagai $$\sum _{n=1}^{m}n(-1{)}^{n-1}.$$

Deret di atas divergen. Dengan kata lain, barisan dari jumlah parsial deret tersebut, Templat:Nowrap, tidak menuju limit yang pasti. Meskipun demikian, pada pertengahan abad ke-18, Leonhard Euler menemui sebuah kejanggalan: $$1-2+3-4+\cdots =\frac{1}{4}.$$

Penjelasan yang dianggap ketat secara matematis mengenai kejanggalan ini baru dapat diperoleh beberapa waktu kemudian. Rincinya, per tahun 1890, beberapa matematikawan, seperti Ernesto Cesàro, dan Émile Borel, mulai menyelidiki berbagai metode penjumlahan, termasuk pembaharuan baru atas metode Euler, yang terdefinisi baik agar dapat menentukan nilai deret-deret divergen. Sebagian besar metode penjumlahan tersebut menetapkan nilai atas deret Templat:Nowrap sebagai Templat:Sfrac. Salah satu metode yang tidak dapat menentukan nilai deret tersebut adalah penjumlahan Cesàro. Oleh karena itu, diperlukan metode yang sedikit lebih baik, seperti penjumlahan Abel.

Deret 1 − 2 + 3 − 4 + ... memiliki hubungan erat dengan deret Grandi, Templat:Nowrap Oleh karena itu, Euler mengelompokkan keduanya sebagai kasus khusus dari deret umum Templat:Nowrap, berturut-turut Templat:Nowrap dan Templat:Nowrap untuk masing-masing deret. Selain itu, deret 1 − 2 + 3 − 4 + ... juga berhubungan dengan masalah Basel. Karena hubungan ini, Euler meneliti deret tersebut untuk mengkaji bentuk lain masalah terkait. Penelitian ini kemudian mengarah pada persamaan fungsional yang sekarang dikenal sebagai fungsi eta Dirichlet dan fungsi zeta Riemann.

Kedivergenan

Suku-suku Templat:Nowrap pada deret 1 − 2 + 3 − 4 + ... tidak mendekati 0. Oleh karena itu, berdasarkan uji suku, deret tersebut dinyatakan sebagai divergen. Kedivergenan juga dapat ditunjukkan secara langsung dari definisi deret konvergen. Detailnya, suatu deret tak hingga dikatakan konvergen jika dan hanya jika barisan dari jumlah parsialnya konvergen pada sebuah limit. Dalam hal ini, limitnya adalah nilai deret tak hingga tersebut. Untuk menunjukannya, jumlah parsial dari 1 − 2 + 3 − 4 + ... adalah:Templat:Sfn Templat:Block indent Barisan dari penjumlahan parsial menunjukkan bahwa deret tersebut tidak konvergen ke suatu bilangan tertentu. Dengan kata lain, untuk sembarang x yang ditetapkan sebagai limit, terdapat suatu titik yang semua jumlah parsialnya berada di luar interval Templat:Nowrap. Dengan demikian, Templat:Nowrap divergen.

Karena setiap barisan atau hasil dari penjumlahan parisal tersebut dapat dipasangkan dengan elemen himpunan bilangan bulat, hal ini menunjukkan ketercacahan $\mathbb{Z}$. Dalam artian lain, jumlah parsial tersebut mencakup setiap bilangan bulat tepat satu kali. Bahkan, angka nol apabila bagian kosong diikutkan.Templat:Sfn

Heuristik untuk penjumlahan

Stabilitas dan linearitas

Karena suku Templat:Nowrap mengikuti pola yang sederhana, deret Templat:Nowrap dapat dimanipulasi dengan memindahkan letak setiap suku sedemikian rupa sehingga memperoleh sebuah nilai. Singkatnya, jika deret tersebut dapat ditulis menjadi Templat:Nowrap dengan s adalah sebuah bilangan, manipulasi pada deret tersebut akan memperoleh nilai Templat:Nowrap

$$\begin{array}{cccccccccc}4s& =& & (1-2+3-\cdots )& & +(1-2+3-4+\cdots )& & +(1-2+3-4+\cdots )& & +(1-2+3-4+\cdots )\\ & =& & (1-2+3-\cdots )& & +1+(-2+3-4+\cdots )& & +1+(-2+3-4+\cdots )& & +1-2+(3-4+\cdots )\\ & =1+& & (1-2+3-\cdots )& & +(-2+3-4+\cdots )& & +(-2+3-4+\cdots )& & +(3-4+5-\cdots )\\ & =1+[& & (1-2-2+3)& & +(-2+3+3-4)& & +(3-4-4+5)& & +\cdots ]\\ & =1+[& & 0+0+0+\cdots ]\\ 4s& =1\end{array}$$

Dengan menambahkan empat salinan deret Templat:Nowrap sekaligus memindahkan letak setiap suku sedemikian rupa, penjumlahan akan menghasilkan nilai 1. Di samping itu, masing-masing ruas kiri dan kanan menunjukkan penjumlahan dua salinan deret Templat:Nowrap yang menghasilkan deret Templat:Nowrap

Jadi,

$s=\frac{1}{4}$

.

Meskipun Templat:Nowrap tidak dapat dijumlahkan sesuai pada umumnya, persamaan Templat:Nowrap dapat dikatakan sebagai jawaban paling logis jika deret seperti itu harus diberi nilai. Sehubungan dengan itu, bentuk generalisasi untuk menentukan nilai "penjumlahan" deret divergen disebut sebagai metode penjumlahan atau metode keterjumlahan. Untuk jenisnya, metode tersebut memiliki banyak ragam. Biasanya, setiap ragam harus memiliki beberapa sifat dari penjumlahan biasa. Di luar hal ini, apabila diteliti lagi, manipulasi yang dijelaskan di atas sebenarnya membuktikan suatu hal. Pada konteks ini, apabila deret Templat:Nowrap ditentukan jumlahnya menggunakan metode keterjumlahan yang linear dan stabil, jumlah deret tersebut akan bernilai Templat:Frac.Templat:Sfn Lebih lanjut, $$\begin{array}{cccccc}2s& =& & (1-2+3-4+\cdots )& & +(1-2+3-4+5-\cdots )\\ & =& & 1+(-2+3-4+\cdots )& & +1-2+(3-4+5-\cdots )\\ & =0+& & (-2+3-4+\cdots )& & +(3-4+5-\cdots )\\ & =0+[& & (-2+3)+(3-4)& & +(-4+5)+\cdots ]\\ 2s& =& & 1-1+1-1+\cdots \end{array}$$

metode tersebut pasti menjumlahkan deret Grandi, yaitu Templat:NowrapTemplat:Sfn

Hasil kali Cauchy

Pada tahun 1891, Ernesto Cesàro menyatakan bahwa deret divergen dapat dijelaskan dengan menyeluruh melalui kalkulus. Dalam hal ini, ia memperlihatkan bahwa, "Saya telah menulis Templat:Nowrap dan menyatakan kedua sisinya sama dengan Templat:Frac."Templat:Sfn Cesàro mengatakan bahwa persamaan tersebut merupakan penerapan dari teorema yang ia telah perkenalkan pada tahun sebelumnya. Teorema tersebut merupakan yang pertama dalam sejarah mengenai penjumlahan deret divergen (lihat disini untuk penjelasan teoremanya).Templat:Sfn Secara matematis, kunci utama dari teorema tersebut ada pada konsep perkalian Cauchy. Sebagai contoh, apabila diterapkan pada kasus yang diperlihatkan oleh Cesàro, deret Templat:Nowrap. dapat dinyatakan sebagai perkalian (konvolusi diskret) atas Templat:Nowrap dengan Templat:Nowrap.

Dalam praktiknya, perkalian Cauchy antara dua deret tak terhingga dapat dilakukan walaupun kedua deret tersebut divergen. Pada kasus a_n = b_n = (−1)ⁿ, suku-suku hasil kali Cauchy dapat dituliskan dengan deret diagonal $$\begin{array}{cc}{c}_n& =\sum _{k=0}^n{a}_k{b}_{n-k}=\sum _{k=0}^n(-1{)}^k(-1{)}^{n-k}\\ & =\sum _{k=0}^n(-1{)}^n=(-1{)}^n(n+1).\end{array}$$

Maka deret hasil kalinya menjadi $$\sum _{n=0}^{\mathrm{\infty }}(-1{)}^n(n+1)=1-2+3-4+\cdots .$$

Jadi, dari perhitungan di atas, dapat diambil kesimpulan bahwa setiap metode penjumlahan yang menjumlahkan deret Templat:Nowrap menjadi 1/2 akan menghasilkan nilai 1/4 untuk deret Templat:Nowrap. apabila dikonvolusi diskret (dikalikan dengan Cauchy). Per penjelasan pada bagian sebelumnya, hal ini menyiratkan kesetaraan antara keterjumlahan Templat:Nowrap dan Templat:Nowrap apabila metode yang digunakan bersifat linear, stabil, dan dapat dikalikan dengan perkalian Cauchy.

Perhitungan di atas merupakan salah satu bentuk dari penggunaan teorema Cesàro. Apabila teorema Cesàro digunakan untuk menghitung jumlah deret Templat:Nowrap yang berkelas Templat:Nowrap, dapat digunakan bentuk biasa. Di sisi lain, deret Templat:Nowrap memerlukan bentuk teorema Cesàro yang lebih kuat.Templat:Sfnm Kelas penjumlahan Cesàro yang merujuk untuk deret tersebut adalah Templat:Nowrap Dalam menghitung nilai kedua deret tersebut, dapat dilakukan seperti cara di atas karena semua bentuk teorema Cesàro bersifat linear dan stabil.Templat:Sfn

Metode khusus

Cesàro dan Hölder

Data tentang jumlah (H, 2) yang menghasilkan nilai Templat:Frac

Untuk mencari nilai (C, 1) dari deret 1 − 2 + 3 − 4 + ... dengan menggunakan penjumlahan Cesàro, diperlukan penghitungan rata-rata aritmetika dari jumlah parsial deret tersebut. Jumlah parsialnya adalah: Templat:Block indent dan rata-rata aritmatika dari jumlah parsial ini adalah: Templat:Block indent

Urutan rata-rata ini tidak konvergen. Oleh karena itu, deret 1 − 2 + 3 − 4 + ... tidak dapat ditentukan nilainya dengan metode penjumlahan Cesàro .

Ada dua bentuk terkenal atas perluasan metode penjumlahan Cesàro. Dalam hal ini, bentuk yang sederhana adalah metode (H, n) dengan n bilangan asli. Pada kasus di atas, penjumlahan Cesàro memiliki bentuk (H, 1). Di sisi lain, bentuk Templat:Nowrap akan mengulangi penghitungan rata-rata. Apabila diteliti lagi, urutan di atas memiliki rata-rata ganjil yang konvergen ke Templat:Frac. Sementara itu, semua rata-rata genapnya sama dengan 0. Karena itu, ketika menerapkan bentuk Templat:Nowrap atau rata-rata atas rata-rata konvergen, rata-rata dari 0 dan Templat:Frac akan menghasilkan nilai sebesar Templat:Frac. Jadi, Templat:Nowrap adalah (H, 2) dan bernilai sebesar Templat:Frac.

Huruf "H" adalah inisial atas nama Otto Hölder. Ia yang pertama kali membuktikan pada tahun 1882 sesuatu yang sekarang dianggap oleh matematikawan sebagai hubungan antara penjumlahan Abel dan (H, n). Pada pembuktian tersebut, deret Templat:Nowrap adalah contoh pertamanya. Rincinya, fakta bahwa Templat:Frac adalah nilai dari deret Templat:Nowrap menjamin bahwa itu adalah jumlah Abel. Hal ini akan dibuktikan langsung di bagian bawah.

Perluasan penjumlahan Cesàro yang umum dirumuskan adalah bentuk (C, n). Secara matematis, bentuk tersebut dan (H, n) terbukti selalu memberikan hasil yang sama. Akan tetapi, keduanya mempunyai latar belakang sejarah yang berbeda. Latar belakang (C, n) sendiri bermula pada tahun 1887 ketika Cesàro menggunakan metode penjumlahan yang mirip dengan (C, n), tetapi ia hanya memberikan sedikit contoh. Salah satu contoh yang ia berikan yakni penjumlahan Templat:Nowrap menjadi Templat:Frac. Namun, metode tersebut belum ia definisikan secara formal. Akhirnya, pada tahun 1890, ia secara formal mendefinisikan metode (C, n) untuk membantu menyatakan salah satu teoremanya. Detailnya, teorema tersebut menyatakan bahwa perkalian Cauchy atas deret terjumlahkan (C, n) dan (C, m) adalah sama dengan deret terjumlahkan (C, m + n + 1).Templat:Sfn

Penjumlahan Abel

Beberapa bagian dari 1 − 2x + 3x² + ...= 1/(1 + x)² dengan batas 1.

Pada tahun 1749, Leonhard Euler mengakui bahwa deret 1 − 2 + 3 − 4 + ... divergen. Walaupun begitu, ia tetap menjumlahkannya:

Euler beberapa kali mengusulkan perluasan atas kata "jumlah". Dalam kasus Templat:Nowrap, gagasannya mirip dengan penjumlahan Abel:

Setidaknya, untuk nilai absolut Templat:Nowrap, Euler benar dalam hal ini $$1-2x+3x^2-4x^3+\cdots =\frac{1}{(1+x{)}^2}.$$ Untuk membuktikan kesamaan ekspresi di atas, perlu menggunakan perluasan Taylor pada ruas kanan atau pembagian bersusun polinomial. Pada ruas kiri, perlu menerapkan tata cara heuristik seperti bagian sebelumnya. Dalam hal ini, Templat:Nowrap dikalikan dua kali atau deret geometri Templat:Nowrap. dikuadratkan. Selain itu, Euler juga menyarankan untuk menurunkan suku deret geometri tersebut satu per satu sebagai salah satu alternatif.

Dalam pandangan modern, fungsi generatif 1 − 2x + 3x² − 4x³ + ... tidak dapat didefinsikan sebagai suatu fungsi pada Templat:Nowrap. Oleh karena itu, angka tersebut tidak dapat disubstitusikan begitu saja pada fungsi generatif terkait. Walaupun demikian, karena fungsinya terdefinisi untuk semua Templat:Nowrap, limit ketika x mendekati 1 masih dapat diambil. Hal ini adalah definisi dari jumlah Abel: $$\underset{x\to 1^{-}}{\lim }\sum _{n=1}^{\mathrm{\infty }}n(-x{)}^{n-1}=\underset{x\to 1^{-}}{\lim }\frac{1}{(1+x{)}^2}=\frac{1}{4}.$$

Euler dan Borel

Transformasi Euler menghasilkan Templat:Frac − Templat:Frac. Pada gambar ini, nilai positif ditampilkan dalam warna putih sedangkan nilai negatif ditampilkan dalam warna coklat. Selain itu, pergeseran serta penghilangan suatu nilai (pengurangan) ditampilkan dalam warna hijau.

Euler menerapkan teknik lain pada deret tersebut, yakni transformasi Euler. Transformasi tersebut merupakan salah satu penemuannya. Untuk menghitung transformasi Euler, dimulai dengan barisan suku positif yang membentuk deret bolak-balik Templat:Nowrap. Dalam hal ini, barisan Templat:Nowrap Elemen pertama barisan ini diberi label a₀.

Selanjutnya, diperlukan barisan selisih maju dari Templat:Nowrap. Dalam hal ini, hanya Templat:Nowrap. Elemen pertama barisan ini diberi label Δa₀. Di samping selisih maju, transformasi Euler juga bergantung pada selisih dari selisih. Biasanya, hal tersebut akan membutuhkan iterasi (pengulangan) yang banyak. Namun, semua selisih maju antara Templat:Nowrap adalah 0. Oleh karena itu, tidak diperlukan iterasi lagi. Lebih lanjut, transformasi Euler dari Templat:Nowrap akan didapatkan sebagai $$\frac{1}{2}{a}_0-\frac{1}{4}\mathrm{\Delta }{a}_0+\frac{1}{8}{\mathrm{\Delta }}^2{a}_0-\cdots =\frac{1}{2}-\frac{1}{4}.$$

Dalam terminologi modern, dapat dikatakan bahwa deret Templat:Nowrap terjumlahkan oleh metode Euler dan bernilai Templat:Frac..

Sehubungan dengan itu, apabila penjumlahan Euler dapat menghasilkan nilai atas deret tersebut, penjumlahan Borel juga. Secara hasil, nilai penjumlahannya akan sama.Templat:Sfn

Pemisahan skala

Saichev dan Woyczyński sampai pada Templat:Nowrap dengan hanya menerapkan dua prinsip: relaksasi yang sangat kecil dan pemisahan skala. Dengan kedua prinsip tersebut, mereka kemudian mendefinisikan kelompok besar "metode penjumlahan φ". Kelompok tersebut merupakan sekumpulan deret bernilai Templat:Frac:

• Jika φ(x) adalah suatu fungsi yang turunan pertama dan keduanya kontinu dan dapat diintegralkan pada (0, ∞) sehingga φ(0) = 1 dan limit dari φ(x) dan xφ(x) pada +∞ adalah sama-sama 0, makaTemplat:Sfn $$\underset{\delta \to 0}{\lim }\sum _{m=0}^{\mathrm{\infty }}(-1{)}^m(m+1)\phi (\delta m)=\frac{1}{4}.$$

Deret di atas merupakan perluasan atas penjumlahan Abel. Tepatnya, deret tersebut diperoleh dengan menyubtitusi φ(x) = exp(−x) pada jumlah Abel. Untuk ekspresi keseluruhannya, dapat dibuktikan dengan memasangkan suku-suku dalam deret tersebut hingga batas m. Kemudian, mengubah deret tersebut menjadi integral Riemann. Pada bagian integral Riemann, penyelesaian deret Templat:Nowrap menerapkan teorema nilai purata, tetapi dalam kasus ini diperlukan bentuk Lagrange yang lebih kuat atas teorema Taylor.

Generalisasi

Kutipan dari hal. 233 E212 — Institutiones calculi differentialis cum eius usu in analysi finitorum ac doctrina serierum. Pada kutipan ini, Euler menjumlahkan deret serupa, Templat:Circa.

Hasil kali Cauchy rangkap tiga dari Templat:Nowrap adalah Templat:Nowrap. Hasil kali tersebut memiliki suku bilangan segitiga yang berselang-seling. Untuk nilainya, berjumlah Templat:Frac apabila dihitung menggunakan jumlah Abel atau Euler.Templat:Sfn Sementara itu, hasil kali Cauchy rangkap empat dari Templat:Nowrap adalah Templat:Nowrap. Hasil kali tersebut memiliki suku bilangan piramida yang berselang-seling. Untuk nilainya, berjumlah Templat:Frac apabila dihitung menggunakan jumlah Abel.

Generalisasi dari 1 − 2 + 3 − 4 + ... secara umum adalah deret Templat:Nowrap dengan nilai n bilangan bulat positif. Secara matematis, deret ini mempunyai jumlah Abel sebagai berikut:Templat:Sfnm $$1-2^n+3^n-\cdots =\frac{2^{n+1}-1}{n+1}{B}_{n+1}$$ Di sini, B_n adalah bilangan Bernoulli. Sementara itu, apabila hanya menggunakan n bilangan genap postitif, jumlah Abel menjadi $$1-2^{2k}+3^{2k}-\cdots =0,$$ yang dapat diartikan bahwa nilai genap negatif dari fungsi zeta Riemann adalah nol. Jumlah ini dijadikan bahan ejekan oleh Niels Henrik Abel pada tahun 1826:

Guru Cesàro, Eugène Charles Catalan, juga meremehkan deret divergen. Oleh karena itu, di bawah pengaruh Catalan, Cesàro awalnya menyebut "rumus konvensional" untuk Templat:Nowrap sebagai "persamaan yang tidak masuk akal". Hal tersebut tampak pada tahun 1883 ketika Cesàro mengungkapkan bahwa rumus tersebut secara matematis salah, tetapi memiliki beberapa manfaat. Pada akhirnya, dalam Sur la multiplication des séries tahun 1890, Cesàro mengubah pikirannya dan mengambil pendekatan yang lebih terbuka. Pendekatan ini ia mulai dengan pendefinisian ulang.Templat:Sfn

Deret umum tersebut juga dipelajari untuk nilai nonbilangan bulat n, pembentuk fungsi eta Dirichlet. Salah satu tujuan Euler mempelajari hal tersebut adalah karena hubungannya dengan persamaan fungsional fungsi eta. Euler sendiri telah menjadi terkenal karena menemukan nilai fungsi zeta pada bilangan bulat genap positif (termasuk masalah Basel). Selain itu, ia juga telah mencoba menemukan nilai fungsi zeta pada bilangan bulat ganjil positif (termasuk konstanta Apéry). Akan tetapi, tidak ada solusi yang tepat untuk masalah tersebut dan masih sulit dipahami hingga saat ini. Untuk melanjutkan, ketika hubungan tersebut ditemukan, hasil dari fungsi eta akan mengarah langsung pada persamaan fungsional fungsi zeta Riemann. Dalam menemukan hasil yang dimaksud, Euler menggunakan metodenya sendiri (metode Euler) karena nilai deret Dirichlet fungsi tersebut dapat ditentukan oleh jumlah Abel di titik mana pun. Sementara itu, apabila metodenya Euler diterapkan pada fungsi zeta, penentuan nilainya dengan penjumlahan Abel akan jauh lebih sulit jika dijumlahkan pada titik divergensi.Templat:Sfn Hal ini terjadi karena sebagian besar deret pembentuk fungsi zeta membutuhkan metode penjumlahan yang lebih baik. Salah satu contohnya adalah deret terkenal Templat:Nowrap, pasangan Templat:Nowrap. Di luar matematika, deret tersebut memiliki penerapan yang luas pada ilmu fisika.

Lihat juga

• 1 + 2 + 3 + 4 + ⋯
• 1 + 1 + 1 + 1 + ⋯
• 1 + 2 + 4 + 8 + ⋯

Daftar pustaka

• Templat:Cite book
• Templat:Cite book
• Templat:Cite book
• Templat:Cite web Originally published as Templat:Cite journal
• Templat:Cite journal
• Templat:Cite book
• Templat:Cite book 2nd Ed. published by Chelsea Pub. Co., 1991. Templat:LCCN. Templat:ISBN.
• Templat:Cite journal
• Templat:Cite book
• Templat:Cite book
• Templat:Cite book Author also known as A. I. Markushevich and Alekseï Ivanovitch Markouchevitch. Also published in Boston, Mass by Heath with Templat:Oclc. Additionally, Templat:Oclc, Templat:Oclc.
• Templat:Cite book
• Templat:Cite book
• Templat:Cite journal
• Templat:Cite book
• Templat:Cite book

Templat:Refend
Templat:Deret (matematika)