Jumlah taktentu: Perbedaan antara revisi
Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 28420775; atribusi sumber disertakan. |
Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi |
||
| Baris 1: | Baris 1: | ||
Dalam [[matematika]], operator '''jumlah taktentu''' atau operator '''antiselisih''', dilambangkan sebagai <math>\sum_x</math> atau <math>\Delta^{-1}</math>, adalah [[operator linear]], yang kebalikan dari [[operator selisih]] (atau [[Operator selisih|selisih tentu]]) <math>\Delta</math>. Ini berhubungan dengan [[operasi selisih|operasi selisih maju]] sebagai [[integral tak tentu]] yang berhubungan dengan turunan. Demikian juga, | Dalam [[matematika]], operator '''jumlah taktentu''' atau operator '''antiselisih''', dilambangkan sebagai <math>\sum_x</math> atau <math>\Delta^{-1}</math>,<ref>[https://id.wikipedia.org/w/index.php?title=Jumlah+taktentu&oldid=28420775 sumber pada Wikipedia bahasa Indonesia]</ref><ref>[http://hostel6.ru/books/_Papers/Computer_algebra/Summation/Man.%20Closed%20forms%20for%20symbolic%20summation.%20JSC%201993%20(22s).pdf On Computing Closed Forms for Indefinite Summations. Yiu-Kwong Man. J. Symbolic Computation (1993), 16, 355-376]</ref><ref>"If ''Y'' is a function whose first difference is the function ''y'', then ''Y'' is called an indefinite sum of ''y'' and denoted Δ −1 ''y''" [https://books.google.com/books?id=5rFOeE0zvY4C&pg=PA41&dq=%22indefinite+sum%22 ''Introduction to Difference Equations''], Samuel Goldberg</ref> adalah [[operator linear]], yang kebalikan dari [[operator selisih]] (atau [[Operator selisih|selisih tentu]]) <math>\Delta</math>. Ini berhubungan dengan [[operasi selisih|operasi selisih maju]] sebagai [[integral tak tentu]] yang berhubungan dengan turunan. Demikian juga, | ||
: <math>\Delta \sum_x f(x) = f(x)</math>. | : <math>\Delta \sum_x f(x) = f(x)</math>. | ||
| Baris 12: | Baris 12: | ||
== Teorema Fundamental pada kalkulus diskrit == | == Teorema Fundamental pada kalkulus diskrit == | ||
Penjumlahan [[tak hingga]] digunakan sebagai penjumlahan tentu dengan rumusː | Penjumlahan [[tak hingga]] digunakan sebagai penjumlahan tentu dengan rumusː <ref>"Handbook of discrete and combinatorial mathematics", Kenneth H. Rosen, John G. Michaels, CRC Press, 1999,</ref> | ||
: <math>\sum_{k=a}^b f(k)=\Delta^{-1}f(b+1)-\Delta^{-1}f(a)</math> | : <math>\sum_{k=a}^b f(k)=\Delta^{-1}f(b+1)-\Delta^{-1}f(a)</math> | ||
== Definisi == | == Definisi == | ||
=== Rumus Penjumlahan Laplace === | === Rumus Penjumlahan Laplace === | ||
: <math>\sum _x f(x)=\int_0^x f(t) dt -\sum_{k=1}^\infty \frac{c_k\Delta^{k-1}f(x)}{k!} + C </math> | : <math>\sum _x f(x)=\int_0^x f(t) dt -\sum_{k=1}^\infty \frac{c_k\Delta^{k-1}f(x)}{k!} + C </math> | ||
di mana <math>c_k=\int_0^1 \frac{\Gamma(x+1)}{\Gamma(x-k+1)}dx</math> adalah bilangan Cauchy untuk jenis yang pertama atau disebut sebagai bilangan Bernoulli untuk Jenis Kedua. | di mana <math>c_k=\int_0^1 \frac{\Gamma(x+1)}{\Gamma(x-k+1)}dx</math> adalah bilangan Cauchy untuk jenis yang pertama atau disebut sebagai bilangan Bernoulli untuk Jenis Kedua.<ref>[http://mathworld.wolfram.com/BernoulliNumberoftheSecondKind.html Bernoulli numbers of the second kind on Mathworld]</ref> | ||
=== Rumus Newton === | === Rumus Newton === | ||
: <math>\sum_x f(x)=\sum_{k=1}^\infty \binom{x}k \Delta^{k-1} [f]\left (0\right)+C=\sum_{k=1}^{\infty}\frac{\Delta^{k-1}[f](0)}{k!}(x)_k+C</math> | : <math>\sum_x f(x)=\sum_{k=1}^\infty \binom{x}k \Delta^{k-1} [f]\left (0\right)+C=\sum_{k=1}^{\infty}\frac{\Delta^{k-1}[f](0)}{k!}(x)_k+C</math> | ||
| Baris 31: | Baris 28: | ||
=== Rumus Faulhaber === | === Rumus Faulhaber === | ||
: <math>\sum _x f(x)= \sum_{n=1}^{\infty} \frac{f^{(n-1)} (0)}{n!} B_n(x) + C \, ,</math> | : <math>\sum _x f(x)= \sum_{n=1}^{\infty} \frac{f^{(n-1)} (0)}{n!} B_n(x) + C \, ,</math> | ||
| Baris 42: | Baris 38: | ||
=== Rumus Euler–Maclaurin === | === Rumus Euler–Maclaurin === | ||
: <math>\sum _x f(x)= \int_0^x f(t) dt - \frac12 f(x)+\sum_{k=1}^{\infty}\frac{B_{2k}}{(2k)!}f^{(2k-1)}(x) + C</math> | : <math>\sum _x f(x)= \int_0^x f(t) dt - \frac12 f(x)+\sum_{k=1}^{\infty}\frac{B_{2k}}{(2k)!}f^{(2k-1)}(x) + C</math> | ||
| Baris 66: | Baris 61: | ||
atau dengan 1 | atau dengan 1 | ||
: <math>\sum_{x \ge 1}^{\Re}f(x)=-F(1)</math>. | : <math>\sum_{x \ge 1}^{\Re}f(x)=-F(1)</math>.<ref>Éric Delabaere, [http://algo.inria.fr/seminars/sem01-02/delabaere2.pdf Ramanujan's Summation], ''Algorithms Seminar 2001–2002'', F. Chyzak (ed.), INRIA, (2003), pp. 83–88.</ref> | ||
== Penjumlahan menurut bagian == | == Penjumlahan menurut bagian == | ||
| Baris 103: | Baris 98: | ||
=== Antiselisih pada Fungsi rasional === | === Antiselisih pada Fungsi rasional === | ||
: <math>\sum _x a = ax + C </math> | : <math>\sum _x a = ax + C </math> | ||
: <math>\sum _x x = \frac{x^2}{2}-\frac{x}{2} + C</math> | : <math>\sum _x x = \frac{x^2}{2}-\frac{x}{2} + C</math> | ||
: <math>\sum _x x^a = \frac{B_{a+1}(x)}{a+1} + C,\,a\notin \mathbb{Z}^-</math> | : <math>\sum _x x^a = \frac{B_{a+1}(x)}{a+1} + C,\,a\notin \mathbb{Z}^-</math> | ||
: di mana <math>B_a(x)=-a\zeta(-a+1,x)</math>, yang digeneralisasikan ke orde [[polinomial Bernoulli]] yang sebenarnya. | : di mana <math>B_a(x)=-a\zeta(-a+1,x)</math>, yang digeneralisasikan ke orde [[polinomial Bernoulli]] yang sebenarnya. | ||
: <math>\sum _x x^a = \frac{(-1)^{a-1}\psi^{(-a-1)}(x)}{\Gamma(-a)}+ C,\,a\in\mathbb{Z}^-</math> | : <math>\sum _x x^a = \frac{(-1)^{a-1}\psi^{(-a-1)}(x)}{\Gamma(-a)}+ C,\,a\in\mathbb{Z}^-</math> | ||
: di mana <math>\psi^{(n)}(x)</math> adalah [[fungsi poligamma]] . | : di mana <math>\psi^{(n)}(x)</math> adalah [[fungsi poligamma]] . | ||
: <math>\sum _x \frac1x = \psi(x) + C </math> | : <math>\sum _x \frac1x = \psi(x) + C </math> | ||
: di mana <math>\psi(x)</math> adalah [[Fungsi Digamma|fungsi digamma]]. | : di mana <math>\psi(x)</math> adalah [[Fungsi Digamma|fungsi digamma]]. | ||
| Baris 120: | Baris 114: | ||
=== Antiselisih pada Fungsi eksponensial === | === Antiselisih pada Fungsi eksponensial === | ||
: <math>\sum _x a^x = \frac{a^x}{a-1} + C </math> | : <math>\sum _x a^x = \frac{a^x}{a-1} + C </math> | ||
| Baris 128: | Baris 121: | ||
=== Antiselisih pada fungsi logaritma === | === Antiselisih pada fungsi logaritma === | ||
: <math>\sum _x \log_b x = \log_b \Gamma (x) + C </math> | : <math>\sum _x \log_b x = \log_b \Gamma (x) + C </math> | ||
| Baris 134: | Baris 126: | ||
=== Antiselisih pada Fungsi Hiperbolik === | === Antiselisih pada Fungsi Hiperbolik === | ||
: <math>\sum _x \sinh ax = \frac{1}{2} \operatorname{csch} \left(\frac{a}{2}\right) \cosh \left(\frac{a}{2} - a x\right) + C </math> | : <math>\sum _x \sinh ax = \frac{1}{2} \operatorname{csch} \left(\frac{a}{2}\right) \cosh \left(\frac{a}{2} - a x\right) + C </math> | ||
| Baris 144: | Baris 135: | ||
=== Antiselisih pada fungsi trigonometri === | === Antiselisih pada fungsi trigonometri === | ||
: <math>\sum _x \sin ax = -\frac{1}{2} \csc \left(\frac{a}{2}\right) \cos \left(\frac{a}{2}- ax \right) + C \,,\,\,a\ne 2n \pi </math> | : <math>\sum _x \sin ax = -\frac{1}{2} \csc \left(\frac{a}{2}\right) \cos \left(\frac{a}{2}- ax \right) + C \,,\,\,a\ne 2n \pi </math> | ||
| Baris 162: | Baris 152: | ||
=== Antiselisih pada fungsi invers hiperbolik === | === Antiselisih pada fungsi invers hiperbolik === | ||
: <math>\sum_x \operatorname{artanh}\, a x =\frac{1}{2} \ln \left(\frac{\Gamma \left(x+\frac{1}{a}\right)}{\Gamma \left(x-\frac{1}{a}\right)}\right) + C</math> | : <math>\sum_x \operatorname{artanh}\, a x =\frac{1}{2} \ln \left(\frac{\Gamma \left(x+\frac{1}{a}\right)}{\Gamma \left(x-\frac{1}{a}\right)}\right) + C</math> | ||
=== Antiselisih pada fungsi invers trigonometri === | === Antiselisih pada fungsi invers trigonometri === | ||
: <math>\sum_x \arctan a x = \frac{i}{2} \ln \left(\frac{\Gamma (x+\frac ia)}{ \Gamma (x-\frac ia)}\right)+C</math> | : <math>\sum_x \arctan a x = \frac{i}{2} \ln \left(\frac{\Gamma (x+\frac ia)}{ \Gamma (x-\frac ia)}\right)+C</math> | ||
=== Antiselisih pada fungsi khusus === | === Antiselisih pada fungsi khusus === | ||
: <math>\sum _x \psi(x)=(x-1) \psi(x)-x+C </math> | : <math>\sum _x \psi(x)=(x-1) \psi(x)-x+C </math> | ||
| Baris 181: | Baris 168: | ||
: di mana <math>(x)_a</math> adalah [[Faktorial kenaikan dan menurun|faktorial menurun]] . | : di mana <math>(x)_a</math> adalah [[Faktorial kenaikan dan menurun|faktorial menurun]] . | ||
: <math>\sum _x \operatorname{sexp}_a (x) = \ln_a \frac{(\operatorname{sexp}_a (x))'}{(\ln a)^x} + C </math> | : <math>\sum _x \operatorname{sexp}_a (x) = \ln_a \frac{(\operatorname{sexp}_a (x))'}{(\ln a)^x} + C </math> | ||
: (lihat [[Fungsi super-eksponensial|fungsi eksponensial super]]) | : (lihat [[Fungsi super-eksponensial|fungsi eksponensial super]]) | ||
== Lihat pula == | == Lihat pula == | ||
* [[Produk tidak terbatas|Produk tak tentu]] | |||
* [[Produk tidak terbatas|Produk tak tentu]] | * [[Kalkulus skala waktu]] | ||
* [[Kalkulus skala waktu]] | |||
* [[Daftar turunan dan integral dalam bate alternatif|Daftar turunan dan integral dalam kalkuli alternatif]] | * [[Daftar turunan dan integral dalam bate alternatif|Daftar turunan dan integral dalam kalkuli alternatif]] | ||
== Bacaan lebih lanjut == | == Bacaan lebih lanjut == | ||
* "Persamaan Perbedaan: Pengantar dengan Aplikasi", Walter G. Kelley, Allan C. Peterson, Academic Press, 2001, | |||
* "Persamaan Perbedaan: Pengantar dengan Aplikasi", Walter G. Kelley, Allan C. Peterson, Academic Press, 2001, | * [https://web.archive.org/web/20110617053801/http://www.math.tu-berlin.de/~mueller/HowToAdd.pdf Markus Müller.] [https://web.archive.org/web/20110617053801/http://www.math.tu-berlin.de/~mueller/HowToAdd.pdf Bagaimana Menambahkan Jumlah Syarat Non-Integer, dan Bagaimana Membuat Penjumlahan Tak Terbatas yang Tidak Biasa] | ||
* [https://web.archive.org/web/20110617053801/http://www.math.tu-berlin.de/~mueller/HowToAdd.pdf Markus Müller.] [https://web.archive.org/web/20110617053801/http://www.math.tu-berlin.de/~mueller/HowToAdd.pdf Bagaimana Menambahkan Jumlah Syarat Non-Integer, dan Bagaimana Membuat Penjumlahan Tak Terbatas yang Tidak Biasa] | * [[arxiv:math/0502109|Markus Mueller, Dierk Schleicher.]] [[arxiv:math/0502109|Jumlah Pecahan dan Identitas Mirip Euler]] | ||
* [[arxiv:math/0502109|Markus Mueller, Dierk Schleicher.]] [[arxiv:math/0502109|Jumlah Pecahan dan Identitas Mirip Euler]] | * [[doi:10.1134/S0361768808020060|SP Polyakov.]] [[doi:10.1134/S0361768808020060|Penjumlahan tak terbatas dari fungsi rasional dengan minimisasi tambahan dari bagian yang dapat diringkas.]] [[doi:10.1134/S0361768808020060|Programmirovanie, 2008, Jil. 34, No. 2.]] | ||
* [[doi:10.1134/S0361768808020060|SP Polyakov.]] [[doi:10.1134/S0361768808020060|Penjumlahan tak terbatas dari fungsi rasional dengan minimisasi tambahan dari bagian yang dapat diringkas.]] [[doi:10.1134/S0361768808020060|Programmirovanie, 2008, Jil. 34, No. 2.]] | |||
* "Persamaan dan Simulasi Beda-Hingga", Francis B. Hildebrand, Prenctice-Hall, 1968 | * "Persamaan dan Simulasi Beda-Hingga", Francis B. Hildebrand, Prenctice-Hall, 1968 | ||
== Referensi == | |||
<references /> | |||
== Sumber dan atribusi == | == Sumber dan atribusi == | ||
Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Jumlah+taktentu&oldid=28420775 Wikipedia bahasa Indonesia], revisi 28420775 (2025-11-12T06:22:52Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku. | Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Jumlah+taktentu&oldid=28420775 Wikipedia bahasa Indonesia], revisi 28420775 (2025-11-12T06:22:52Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku. | ||
<!-- WIKI_UNISSULA_PRESENTATION_V4 --> | |||
Revisi terkini sejak 24 Agustus 2026 23.10
Dalam matematika, operator jumlah taktentu atau operator antiselisih, dilambangkan sebagai atau ,[1][2][3] adalah operator linear, yang kebalikan dari operator selisih (atau selisih tentu) . Ini berhubungan dengan operasi selisih maju sebagai integral tak tentu yang berhubungan dengan turunan. Demikian juga,
- .
Lebih eksplisit lagi, jika , kemudian
Jika adalah solusi untuk persamaan fungsional ini untuk fungsi , maka untuk setiap fungsi periodik dengan periode 1. Demikian pula, setiap penjumlahan tak tentu mewakili keluarga pada fungsi. Maka, penyelesaiannya sama dengan pengembangan dari deret Newton adalah unik untuk ke konstanta aditif . Penyelesaian yang unik ini mewakili perubahan deret berpangkat secara formal pada operasi anti-selisihː
Teorema Fundamental pada kalkulus diskrit
Penjumlahan tak hingga digunakan sebagai penjumlahan tentu dengan rumusː [4]
Definisi
Rumus Penjumlahan Laplace
di mana adalah bilangan Cauchy untuk jenis yang pertama atau disebut sebagai bilangan Bernoulli untuk Jenis Kedua.[5]
Rumus Newton
di mana adalah faktorial menurun.
Rumus Faulhaber
persamaan pada ruas kanan adalah konvergen.
Rumus Mueller
Jika maka
Rumus Euler–Maclaurin
Pilihan dengan suku konstanta
Sering kali, konstanta pada jumlah tak tentu diperbaiki dengan kondisi berikut.
Misalnya
Maka, konstanta diperbaiki dengan kondisi
atau
Secara alternatif, penjumlahan Ramanujan digunakan sebagaiː
atau dengan 1
- .[6]
Penjumlahan menurut bagian
Penjumlahan tak hingga dengan bagian tertentuː
Penjumlahan tentu berdasarkan bagian, yaitu:
Kaidah periode
Jika adalah periode fungsi , maka
Jika adalah fungsi antiperiode , yaitu , maka
Penggunaan alternatif
Beberapa penulis menggunakan frasa "jumlah tak tentu" untuk mendeskripsikan sebuah penjumlahan di mana tidak diberikan nilai numerik pada indeks atas.
Dalam kasus seperti tersebut, perubahan ekspresi tertutup untuk penjumlahan adalah solusi untuk
disebut sebagai persamanan teleskop. Kebalikan dari operator selisih mundur . Berhubungan dengan operasi selisih maju menggunakan teorema fundanmental pada kalkulus diskrit yang dideskripsi sebelumnya.
Daftar jumlah tak tentu
Inilah daftar jumlah-jumlah tak tentu pada berbagai fungsi. Tidak setiap fungsi memiliki sebuah jumlah tak tentu yang dapat diekspresikan dalam hal fungsi dasar.
Antiselisih pada Fungsi rasional
- di mana , yang digeneralisasikan ke orde polinomial Bernoulli yang sebenarnya.
- di mana adalah fungsi poligamma .
- di mana adalah fungsi digamma.
Antiselisih pada Fungsi eksponensial
Terutama,
Antiselisih pada fungsi logaritma
Antiselisih pada Fungsi Hiperbolik
- di mana adalah fungsi q-digamma .
Antiselisih pada fungsi trigonometri
- di mana adalah fungsi q-digamma .
Antiselisih pada fungsi invers hiperbolik
Antiselisih pada fungsi invers trigonometri
Antiselisih pada fungsi khusus
- di mana adalah fungsi gamma tidak kompleks.
- di mana adalah faktorial menurun .
- (lihat fungsi eksponensial super)
Lihat pula
Bacaan lebih lanjut
- "Persamaan Perbedaan: Pengantar dengan Aplikasi", Walter G. Kelley, Allan C. Peterson, Academic Press, 2001,
- Markus Müller. Bagaimana Menambahkan Jumlah Syarat Non-Integer, dan Bagaimana Membuat Penjumlahan Tak Terbatas yang Tidak Biasa
- Markus Mueller, Dierk Schleicher. Jumlah Pecahan dan Identitas Mirip Euler
- SP Polyakov. Penjumlahan tak terbatas dari fungsi rasional dengan minimisasi tambahan dari bagian yang dapat diringkas. Programmirovanie, 2008, Jil. 34, No. 2.
- "Persamaan dan Simulasi Beda-Hingga", Francis B. Hildebrand, Prenctice-Hall, 1968
Referensi
- ↑ sumber pada Wikipedia bahasa Indonesia
- ↑ On Computing Closed Forms for Indefinite Summations. Yiu-Kwong Man. J. Symbolic Computation (1993), 16, 355-376
- ↑ "If Y is a function whose first difference is the function y, then Y is called an indefinite sum of y and denoted Δ −1 y" Introduction to Difference Equations, Samuel Goldberg
- ↑ "Handbook of discrete and combinatorial mathematics", Kenneth H. Rosen, John G. Michaels, CRC Press, 1999,
- ↑ Bernoulli numbers of the second kind on Mathworld
- ↑ Éric Delabaere, Ramanujan's Summation, Algorithms Seminar 2001–2002, F. Chyzak (ed.), INRIA, (2003), pp. 83–88.
Sumber dan atribusi
Konten artikel ini diadaptasi dari Wikipedia bahasa Indonesia, revisi 28420775 (2025-11-12T06:22:52Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.