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

sunting

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

Definisi

sunting

Rumus Penjumlahan Laplace

sunting

di mana adalah bilangan Cauchy untuk jenis yang pertama atau disebut sebagai bilangan Bernoulli untuk Jenis Kedua.[5] [butuh rujukan]

Rumus Newton

sunting

di mana adalah faktorial menurun.

Rumus Faulhaber

sunting

persamaan pada ruas kanan adalah konvergen.

Rumus Mueller

sunting

Jika maka

Rumus Euler–Maclaurin

sunting

Pilihan dengan suku konstanta

sunting

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

sunting

Penjumlahan tak hingga dengan bagian tertentuː

Penjumlahan tentu berdasarkan bagian, yaitu:

Kaidah periode

sunting

Jika adalah periode fungsi , maka

Jika adalah fungsi antiperiode , yaitu , maka

Penggunaan alternatif

sunting

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

sunting

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

sunting
di mana , yang digeneralisasikan ke orde polinomial Bernoulli yang sebenarnya.
di mana adalah fungsi poligamma .
di mana adalah fungsi digamma.

Antiselisih pada Fungsi eksponensial

sunting

Terutama,

Antiselisih pada fungsi logaritma

sunting

Antiselisih pada Fungsi Hiperbolik

sunting
di mana adalah fungsi q-digamma .

Antiselisih pada fungsi trigonometri

sunting
di mana adalah fungsi q-digamma .

Antiselisih pada fungsi invers hiperbolik

sunting

Antiselisih pada fungsi invers trigonometri

sunting

Antiselisih pada fungsi khusus

sunting
di mana adalah fungsi gamma tidak kompleks.
di mana adalah faktorial menurun .
(lihat fungsi eksponensial super)

Lihat pula

sunting

Referensi

sunting
  1. ^ (Inggris) Indefinite Sum di PlanetMath.
  2. ^ On Computing Closed Forms for Indefinite Summations. Yiu-Kwong Man. J. Symbolic Computation (1993), 16, 355-376[pranala nonaktif permanen]
  3. ^ "If Y is a function whose first difference is the function y, then Y is called an indefinite sum of y and denoted Δ−1y" Introduction to Difference Equations, Samuel Goldberg
  4. ^ "Handbook of discrete and combinatorial mathematics", Kenneth H. Rosen, John G. Michaels, CRC Press, 1999, ISBN 0-8493-0149-1
  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.

Bacaan lebih lanjut

sunting

📚 Artikel Terkait di Wikipedia

Ruang vektor topologis

analisis fungsional. Elemen ruang vektor topologis biasanya fungsi atau operator linear yang bekerja pada ruang vektor topologis, dan topologi sering didefinisikan

Ruang Banach

setiap pemetaan bilinear menjadi a ruang vektor-K pada Z1, lalu ada pemetaan linear yang unik  f  : Z → Z1 dirumu T1 = f ∘ T. Gambar di bawah T pasangan (x

Teorema dasar aljabar

memetakan lingkaran | z | = R {\displaystyle |z|=R} ke suatu gelung tertutup (closed loop), kurva P ( R ) {\displaystyle P(R)} . Pada argumen ini, tinjau bilangan

Daftar masalah matematika yang belum terpecahkan

Schanuel membahas derajat transenden dari eksponensial irasional bebas linear Apakah γ {\displaystyle \gamma } (konstanta Euler–Mascheroni), π + e {\displaystyle