Lompat ke isi

Jumlah taktentu: Perbedaan antara revisi

Ensiklopedia Pengetahuan Universitas Islam Sultan Agung
Maintenance script (bicara | kontrib)
Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 28420775; atribusi sumber disertakan.
 
Maintenance script (bicara | kontrib)
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]]
== Referensi ==


== 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 x atau Δ1,[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,

Δxf(x)=f(x).

Lebih eksplisit lagi, jika xf(x)=F(x), kemudian

F(x+1)F(x)=f(x)

Jika F(x) adalah solusi untuk persamaan fungsional ini untuk fungsi f(x), maka F(x)+C(x) untuk setiap fungsi periodik C(x) 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 C. Penyelesaian yang unik ini mewakili perubahan deret berpangkat secara formal pada operasi anti-selisihː

Δ1=1eD1

Teorema Fundamental pada kalkulus diskrit

Penjumlahan tak hingga digunakan sebagai penjumlahan tentu dengan rumusː [4]

k=abf(k)=Δ1f(b+1)Δ1f(a)

Definisi

Rumus Penjumlahan Laplace

xf(x)=0xf(t)dtk=1ckΔk1f(x)k!+C

di mana ck=01Γ(x+1)Γ(xk+1)dx adalah bilangan Cauchy untuk jenis yang pertama atau disebut sebagai bilangan Bernoulli untuk Jenis Kedua.[5]

Rumus Newton

xf(x)=k=1(xk)Δk1[f](0)+C=k=1Δk1[f](0)k!(x)k+C

di mana (x)k=Γ(x+1)Γ(xk+1) adalah faktorial menurun.

Rumus Faulhaber

xf(x)=n=1f(n1)(0)n!Bn(x)+C,

persamaan pada ruas kanan adalah konvergen.

Rumus Mueller

Jika limx+f(x)=0, maka

xf(x)=n=0(f(n)f(n+x))+C.

Rumus Euler–Maclaurin

xf(x)=0xf(t)dt12f(x)+k=1B2k(2k)!f(2k1)(x)+C

Pilihan dengan suku konstanta

Sering kali, konstanta C pada jumlah tak tentu diperbaiki dengan kondisi berikut.

Misalnya

F(x)=xf(x)+C

Maka, konstanta C diperbaiki dengan kondisi

01F(x)dx=0

atau

12F(x)dx=0

Secara alternatif, penjumlahan Ramanujan digunakan sebagaiː

x1f(x)=f(0)F(0)

atau dengan 1

x1f(x)=F(1).[6]

Penjumlahan menurut bagian

Penjumlahan tak hingga dengan bagian tertentuː

xf(x)Δg(x)=f(x)g(x)x(g(x)+Δg(x))Δf(x)
xf(x)Δg(x)+xg(x)Δf(x)=f(x)g(x)xΔf(x)Δg(x)

Penjumlahan tentu berdasarkan bagian, yaitu:

i=abf(i)Δg(i)=f(b+1)g(b+1)f(a)g(a)i=abg(i+1)Δf(i)

Kaidah periode

Jika T adalah periode fungsi f(x), maka

xf(Tx)=xf(Tx)+C

Jika T adalah fungsi antiperiode f(x), yaitu f(x+T)=f(x), maka

xf(Tx)=12f(Tx)+C

Penggunaan alternatif

Beberapa penulis menggunakan frasa "jumlah tak tentu" untuk mendeskripsikan sebuah penjumlahan di mana tidak diberikan nilai numerik pada indeks atas.

k=1nf(k).

Dalam kasus seperti tersebut, perubahan ekspresi tertutup F(k) untuk penjumlahan adalah solusi untuk

F(x+1)F(x)=f(x+1)

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

xa=ax+C
xx=x22x2+C
xxa=Ba+1(x)a+1+C,a
di mana Ba(x)=aζ(a+1,x), yang digeneralisasikan ke orde polinomial Bernoulli yang sebenarnya.
xxa=(1)a1ψ(a1)(x)Γ(a)+C,a
di mana ψ(n)(x) adalah fungsi poligamma .
x1x=ψ(x)+C
di mana ψ(x) adalah fungsi digamma.
xBa(x)=(x1)Ba(x)aa+1Ba+1(x)+C

Antiselisih pada Fungsi eksponensial

xax=axa1+C

Terutama,

x2x=2x+C

Antiselisih pada fungsi logaritma

xlogbx=logbΓ(x)+C
xlogbax=logb(ax1Γ(x))+C

Antiselisih pada Fungsi Hiperbolik

xsinhax=12csch(a2)cosh(a2ax)+C
xcoshax=12csch(a2)sinh(axa2)+C
xtanhax=1aψea(xiπ2a)+1aψea(x+iπ2a)x+C
di mana ψq(x) adalah fungsi q-digamma .

Antiselisih pada fungsi trigonometri

xsinax=12csc(a2)cos(a2ax)+C,a2nπ
xcosax=12csc(a2)sin(axa2)+C,a2nπ
xsin2ax=x2+14csc(a)sin(a2ax)+C,anπ
xcos2ax=x214csc(a)sin(a2ax)+C,anπ
xtanax=ix1aψe2ia(xπ2a)+C,anπ2
di mana ψq(x) adalah fungsi q-digamma .
xtanx=ixψe2i(x+π2)+C=k=1(ψ(kππ2+1z)+ψ(kππ2+z)ψ(kππ2+1)ψ(kππ2))+C
xcotax=ixiψe2ia(x)a+C,anπ2

Antiselisih pada fungsi invers hiperbolik

xartanhax=12ln(Γ(x+1a)Γ(x1a))+C

Antiselisih pada fungsi invers trigonometri

xarctanax=i2ln(Γ(x+ia)Γ(xia))+C

Antiselisih pada fungsi khusus

xψ(x)=(x1)ψ(x)x+C
xΓ(x)=(1)x+1Γ(x)Γ(1x,1)e+C
di mana Γ(s,x) adalah fungsi gamma tidak kompleks.
x(x)a=(x)a+1a+1+C
di mana (x)a adalah faktorial menurun .
xsexpa(x)=lna(sexpa(x))(lna)x+C
(lihat fungsi eksponensial super)

Lihat pula

Bacaan lebih lanjut

Referensi

  1. sumber pada Wikipedia bahasa Indonesia
  2. On Computing Closed Forms for Indefinite Summations. Yiu-Kwong Man. J. Symbolic Computation (1993), 16, 355-376
  3. "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
  4. "Handbook of discrete and combinatorial mathematics", Kenneth H. Rosen, John G. Michaels, CRC Press, 1999,
  5. Bernoulli numbers of the second kind on Mathworld
  6. É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.