1 - 2 + 3 - 4 + ... — riyaziyyatda hədlərinin işarələri sırayla dəyişən, ardıcıl, müsbət ədədlərin əmələ gətirdiyi sonsuz silsilədir. Bu ardıcıllığın ilk m hədlərinin cəmi Siqma cəm düsturu istifadə edilərək aşağıdakı şəkildə ifadə edilə bilər:
Bu sonsuz ardıcıllıq dağılandır, çünki hədlərinin məhdud (müəyyən həddə qədər olan) cəmləri (1, -1, 2, -2, ...) ixtiyari bir limit qiymətinə yaxınlaşa bilmir. Amma 18-ci əsrin ortalarında Leonard Eyler bir paradoks olduğunu qəbul etdiyi aşağıdakı bərabərliyi təqdim etmişdir:
Buna müvafiq əhatəli bir izah çox sonralar verilə bilmişdir. 1890-cu ildən etibarən Ernesto Sezaro , Emil Borel və başqaları Eylerin cəhdlərinə yeni şərhlər verərək, dağılan ardıcıllıqların cəmləmə yolları üçün yaxşı formalaşdırılmış metodlar axtarışına başladılar. Bu cəmlənəbilmə üsullarının bir çoxu 1 - 2 + 3 - 4 + ... ardıcıllığının 1⁄4-ə bərabər olduğunu asanlıqla göstərə bilir. Sezaro cəmi isə bu ardıcıllığa bir qiymət aid etməyən azsaylı üsullardan biridir. Bu səbəblə də, bu ardıcıllıq Abel cəmi kimi daha qüvvətli bir üsulun istifadə olunmasına ehtiyac duyulan ardıcıllıqlara nümunədir.
1 - 2 + 3 - 4 + ... ardıcıllığı ilə Qrandi silsiləsi (1 - 1 + 1 - 1 + …) yaxın əlaqəlidir və Eyler tərəfindən ixtiyari bir n üçün 1 - 2n + 3n - 4n + ... ardıcıllığının xüsusi halları olaraq təyin edilmişlər. Bu münasibət Eylerin Bazel problemi üzərindəki tədqiqatlarını genişləndirən və həmçinin bu gün Dirixlet eta funksiyası ilə Rieman zeta funksiyası olaraq bilinən funksional bərabərliklərə istiqamətləndirən bir araşdırma sahəsi olmuşdur.
Ardıcıllığın hədləri (1, −2, 3, −4, …) həm + həm də − istiqamətdə 0-dan uzaqlaşdığı üçün, 1 − 2 + 3 − 4 + ... ardıcıllığı hədd testinə müvafiq olaraq dağılandır. Növbəti mövzular zamanı aydın olması baxımından, dağılan ardıcıllığa aid əsas anlayışlardan söz açmaq faydalı olardı. Riyazi baxımdan sonsuz bir ardıcıllığın yığılması və ya dağılma cəhətini, o ardıcıllığın məhdud (müəyyən həddə qədər olan) cəmləri sırasını yığılması və ya dağılması müəyyənləşdirir.
1 − 2 + 3 − 4 + ...-nin məhdud cəmləri isə belədir:[1]
Bu məhdud cəm sıraları ixtiyari bir qiymətə yaxınlaşa bilmədiyini aydın şəkildə nümayiş etdirir, çünki təqdim oluna biləcək hər hansı bir x limiti üçün müəyyən bir nöqtədən sonra məhdud sıralardakı cəmlərin hamısının [x-1, x+1] intervalının xaricində olduğunu müəyyənləşdirə bilərik. Beləliklə, 1 − 2 + 3 − 4 + ... ardıcıllığı dağılandır.
Bu məhdud cəmlər sırasının hər bir tam ədədi əhatə etməsi də diqqətəlayiqdir, çünki bu hal tam ədədlər çoxluğunun sayıla bilən olduğunu göstərir.[2]
1, −2, 3, −4, 5, −6, … hədləri sadə bir sıra əmələ gətirdiyi üçün, sürüşdürmə və hədbəhəd cəmləmə üsullarından istifadə edərək, 1 − 2 + 3 − 4 + … ardıcıllığı hər hansısa yekun qiymət verəcək formaya gətirilə bilər. İxtiyari s ədədi üçün s = 1 − 2 + 3 − 4 + … bərabərliyi yazıla bilirsə, aşağıdakı tənzimləmələr s = 1⁄4 bərabərliyini göstərmiş olur:[3]
4s = (1-2+3-4+5-6+...)+(1-2+3-4+5-6+...)+(1-2+3-4+5-6+...)+(1-2+3-4+5-6+...)
= (1-2+3-4+5-6+...)+1+(-2+3-4+5-6+...)+1+(-2+3-4+5-6+...)+1-2+(3-4+5-6+...)
= (1-2+3-4+5-6+...)+1+(-2+3-4+5-6+...)+1+(-2+3-4+5-6+...)-1+(3-4+5-6+...)
= (1+1-1)+(1-2-2+3)+(-2+3+3-4)+(3-4-4+5)+(-4+5+5-6)+...
= (1)+(0)+(0)+(0)+(0)+...
= 1
və
s = 1⁄4
Bu nəticə sağdakı şəkildə qrafiki olarak göstərilmişdir.
1 − 2 + 3 − 4 + …-in sadə formada cəmi olmasa da, buna ən müvafiq gələn s = 1 − 2 + 3 − 4 + … = 1⁄4 bərabərliyi bunun təbii həlli olaraq təqdim oluna bilər. Dağılan bir ardıcıllığın "cəm"ini göstərən ümumiləşdirilmiş bir qayda cəmlənəbilmə üsulu olaraq adlandırılır. Bu üsul bütün mümkün dağılan ardıcıllıqların bəzi alt çoxluqlarını özündə birləşdirir. Bəzi alimlərin aşağıda göstərdiyi kimi, adi toplama ilə eyni olan xüsusiyyətlərinə görə təsvir edilən çoxlu müxtəlif üsul vardır. Yuxarıda göstərilmiş tənzimləmələrin əməldə isbat etdiyi isə budur: stabil və xətti olan ixtiyari bir cəm metodu ilə 1 − 2 + 3 − 4 + … ardıcıllığı toplandığında, əldə olunan nəticə 1⁄4 olur.
Həmçinin bu üsul Qrandi silsiləsinin cəmini də 1 − 1 + 1 − 1 + … = 1⁄2 olaraq hesablamalıdır:
2s = (1-2+3-4+5-6+...)+(1-2+3-4+5-6+...)
= 1+(-2+3-4+5-6+...)+1-2+(3-4+5-6+...)
= (1+1-2)+(-2+3)+(3-4)+(-4+5)+(5-6)+...
= (0)+(1)+(-1)+(1)+(-1)+...
= 1-1+1-1+...
və
2s = 2 x 1⁄4 = 1⁄2
-dən1-1+1-1+... = 1⁄2
1891-ci ildə Ernesto Sezaro dağılan ardıcıllıqların xüsusi metodlarla riyazi hesab əməllərinə aid edilə biləcəyinə dair fikir yürütmüş və bunu, "(1 − 1 + 1 − 1 + …)2 = 1 − 2 + 3 − 4 + … bərabərliyinin mövcudluğu və bərabərliyin hər iki tərəfinin 1⁄4-ə bərabər olması onsuz da hər halda aydındır" deyə ifadə etmişdir.[4]
Sezaroya görə bu bərabərlik əvvəlki il yayımlanan və ehtimal ki cəmlənəbilən dağılan ardıcıllar tarixinin ilk teoremi olaraq təyin edilməsi mümkün olan bir teoremin tətbiqi idi.
Onun cəm metodunun xüsusiyyətləri aşağıda təqdim edilmişdir; əsas fikir isə 1 − 2 + 3 − 4 + … ardıcıllığının 1 − 1 + 1 − 1 + … və 1 − 1 + 1 − 1 + …-nin Kauçi hasilinə bərabər olduğudur.
İki sonsuz ardıcıllığın Kauçi hasili hər iki ardıcıllıq da dağılan olsa belə keçərli və doğru qəbul ediləndir. Σan = Σbn = Σ(−1)n şərti ödəndiyində Kauçi hasilinin hədləri sonlu çarpaz toplananlar ilə ifadə edilir.
Beləliklə hasil ardıcıllığı
şəklində yazıla bilər.
Nəticə etibarı ilə iki ardıcıllığın Kauçi hasilini əsas götürən və 1 − 1 + 1 − 1 + … = 1⁄2 cəmini hesablaya bilən toplama üsulu 1 − 2 + 3 − 4 + … = 1⁄4 qiymətini də alacaq. Əvvəlki bölmənin nəticələri ilə birlikdə bu 1 − 1 + 1 − 1 + … və 1 − 2 + 3 − 4 + …nin xətti, stabil və Kauçi hasilini əsas götürən üsullarla toplana bilmələri arasında bir eynilik olduğunu göstərir.
1 − 1 + 1 − 1 + … ardıcıllığı Sezaro metodunun ən ilkin forması ilə cəmlənəbiləndir və "(C, 1)-cəmlənəbilən" olaraq adlandırılır. 1 − 2 + 3 − 4 + … üçün isə bu teoremin daha güclü bir formasının tətbiq olunması lazım olduğu üçün [5] "(C, 2)-cəmlənəbilən" olaraq qəbul edilir. Sezaro teoreminin bütün formaları xətti və stabil olduğundan, əldə edilən cəmlər yuxarda hesablandığı kimidir.
Əgər mövcuddursa, 1 − 2 + 3 − 4 + … ifadəsinin (C, 1) Sezaro cəmini tapmaq üçün ardıcıllığın məhdud cəmlərinin ədədi ortalarını hesablamaq lazımdır. Məhdud cəmlər
olduğu halda, bu məhdud cəmlərin ədədi ortaları isə belədir:
Bu ardıcıllıq yığılan olmadığı üçün, 1 − 2 + 3 − 4 + … Sezaro metodu ilə toplana bilməz.
Sezaro cəminin daha yaxşı bilinən iki ümumiləşdirilməsi vardır. Bunların anlama baxımından daha sadə n natural ədədləri üçün istifadə edilən (H, n) üsullar sırasıdır. (H, 1), Sezaro cəmini ifadə edir; daha yuxarı səviyyəli metodlarda da ədədi orta hesabları təkrarlanır. Yuxarıda əldə edilən ədədi ortalar silsiləsində cüt sıra nömrəli olanlar 1⁄2-yə yığıldığı halda, tək sıra nömrəli olanların hamısı sıfırdır.
Beləliklə, ortalamaların ortalaması, 0 və 1⁄2-nin ədədi ortası olan 1⁄4-ə yığılır.[6]
Nəticə etibarı ilə 1 − 2 + 3 − 4 + …, (H, 2) üsulu ilə 1⁄4 olaraq cəmlənə bilir.
"H", Otto Hölder mənasına gəlir. Hölder riyaziyyatçıların bu gün Abel cəmi və (H, n) toplamı arasındakı əlaqə olaraq düşündükləri münasibəti 1882-ci ildə ilk dəfə sübut etmiş şəxsdir və 1 − 2 + 3 − 4 + …-ni də ilk nümunə olaraq təqdim etmişdir.[7] 1 − 2 + 3 − 4 + …in (H, 2) cəminin 1⁄4-ə bərabər olması, bunun bir Abel cəmi olmasına da zəmanət verir. Bu münasibət aşağıda isbat ediləcəkdir.
Sezaro cəminin digər ümumiləşdirilməsi isə (C, n) üsullar silsiləsidir. (C, n) və (H, n) cəmlərinin eyni nəticə verdiyi sübuta yetirilmişdir, ancaq bu iki metod fərqli tarixi köklərə sahibdir. Sezaro 1887-ci ildə (C, n) cəmini müəyyənləşdirməyə çox yaxınlaşmış, amma məhdud sayda nümunələr göstərə bilmişdir. Onun reallaşdırdığı bu gün (C, n) olaraq adlandırıla biləcək, ancaq o zaman bu şəkildə təsdiq olunmamış bir üsulla 1 − 2 + 3 − 4 + … cəmini 1⁄4 olaraq hesablamaq olmuşdur.
(C, n) üsullarını 1890-cu ildə normalara uyğun şəkildə təyin edən Sezaro (C, n) cəmlənəbilən ardıcıllıq ilə (C, m) cəmlənəbilən ardıcıllığının Kauçi hasilinin (C, m + n + 1) cəmlənəbilən olduğunu iddia edən teoremini bu müəyyənləşdirməyə əsaslandırmışdır.[8]
Leonard Eyler 1749-cu il tarixli bir yazısında bu ardıcıllığın dağılan olduğunu qəbul etsə də, onun cəmini hesablamağa çalışmışdır:
"1 − 2 + 3 − 4 + 5 - 6 + ... ardıcıllığı cəminin 1⁄4 olduğu iddia olunarsa, bu hal bir paradoks sayıla bilər. Çünki ardıcıllığın ilk 100 həddini toplasaq -50 nəticəsi alarıq, ilk 101 həddinin toplamı isə 1⁄4-dən olduqca fərqli olan +51-i verir və toplanan hədd sayı artdıqca da böyüyür. Daha öncəki tədqiqatlarımda da gördüm ki, cəm sözünə daha geniş bir məna qazandırmağımız lazımdır..."[9]
Eyler, "cəm" sözünün bir ümumiləşdirilməsini bir çox dəfə məsləhət bilmişdir. Onun 1 − 2 + 3 − 4 + … ardıcıllığına dair baxışları bu gün Abel ortalaması olaraq bilinən anlayışa çox oxşardır:
' 1 − 2 + 3 − 4 + 5 - 6 + ... ardıcıllığının cəminin 1⁄4 olduğuna artıq şübhə yoxdur, çünki ardıcıllıq qiymətinin 1⁄4 olduğu mübahisə edilməz olan 1⁄(1+1)2 düsturunun açılımından qaynaqlanır. Bu ardıcıllığın 1⁄(1+x)2 ifadəsinin açılımı olan 1 − 2x + 3x2 − 4x3 + 5x4 − 6x5 + ... ümumi ardıcıllığına x=1 üçün bərabər olduğunun nəzərə alınması məsələni daha aydın açıqlayır. '[10] Ən azından |x|<1 olan mütləq qiymətlər üçün Eylerin
bərabərliyi məsələsində haqlı olduğu müxtəlif üsullarla görülə bilir. Bərabərliyin sağ tərəfinin Teylor açılımı alına və ya polinomlar üçün uzun bölmə əməli tətbiq edilə bilər.
Sol tərəfdən başlandığında, yuxarıda danışılan ümumi üsullar əsasında polinom (1+x) ilə iki dəfə vurula bilər ya da 1 − x + x2 − …. həndəsi silsiləsinin kvadratı hesablana bilər. Həmçinin Eyler, bu son ardıcıllığın törəməsinin alınmasını da məsləhət görməyə meylli görsənir.[11]
Modern baxışlara görə, 1 − 2x + 3x2 − 4x3 + … ardıcıllığı x=1 üçün hər hansısa bir funskiya təyin etmir. Bu səbəblə də bu qiymət, əldə edilən ifadədəkinin yerinə birbaşa qoyula bilməz. Funksiya bütün |x|<1 qiymətləri üçün təyin edilmiş olduğundan, x→1 (x 1-ə yaxınlaşdığında) üçün limit alına bilər və bu da Abel cəmini formalaşdırır:
Eyler özü yaratdığı bir üsul olan Eyler çevrilməsini də bu ardıcıllığa tətbiq etmişdir. Eyler çevirməsini hesablamağa ardıcıllığı əmələ gətirən müsbət tam ədədlərin ardıcıllığı olan 1, 2, 3, 4, …-dən başlanılır; ardıcıllığın ilk elementi a0 olaraq adlandırılır.
Sonra, 1, 2, 3, 4, …-ün elementləri arasındakı irəli fərqlərin ardıcıllığı hesablanmalıdır. Nəticə 1, 1, 1, 1, …-ə bərabərdir və bu ardıcıllığın ilk elementi isə Δa0 olaraq adlandırılır.
Eyler çevirməsi, fərqlərin fərqləri və bənzər daha yüksək təkrarlara da əsaslanır, amma 1, 1, 1, 1, …-in bütün növbəti fərqləri sıfıra bərabərdir. Nəticə etibarı ilə, 1 − 2 + 3 − 4 + …-nın Eyler çevirməsi belə təyin edilir:
Beləliklə, müasir dövrün terminologiyası ilə 1 − 2 + 3 − 4 + … ardıcıllığının Eyler cəminin 1⁄4 olduğu ifadə edilir.
Eyler cəmlənəbilərliyi, fərqli bir digər cəmlənə bilməyə də işarə edə bilir. 1 − 2 + 3 − 4 + … ardıcıllığının
formasında ifadə edilməsi ilə, tamamilə yığılan olan
ardıcıllığı əldə edilir. Beləliklə, 1 − 2 + 3 − 4 + … üçün Borel cəmi[12]
olaraq hesablanır.
Zayçev və Voyçinski, sadəcə iki fiziki qanun tətbiq edərək 1 − 2 + 3 − 4 + … = 1⁄4 bərabərliyini almışlar. Sonsuz kiçiklikdə sərbəstləşmə və miqyasların ayrılması adlı bu qanunlar, onları ardıcıllığı 1⁄4-ə toplayan geniş bir "φ-toplama metodları" ailəsini müəyyən etməyə yönləndirir:
nəticəsi əldə edilir.
Bu nəticə, φ(x) əvəzinə exp(-x) (1⁄ex) qoyularaq əldə edilə bilən Abel cəminin ümumiləşdirilməsidir. Ümumi ifadə ardıcıllığın hədlərinin m üzərində eyniləşdirilməsi və ifadənin Rieman inteqralına çevrilməsi ilə isbat edilə bilər. Sonrakı addımda 1 − 1 + 1 − 1 + … ardıcıllığının ümumi sübutu üçün için orta qiymət teoremi tətbiq edilir. Amma bu əməliyyat Teylor teoreminin daha güclü halı olan Laqranj formasına ehtiyac duyur.
1 − 1 + 1 − 1 + …-in üç qatlı Kauçi hasili olan 1 − 3 + 6 − 10 + …, üçbucaq ədədlərinin alternativ ardıcıllığıdır. Bu ardıcıllığın Abel və Eyler toplamı 1⁄8-dir.[14] 1 − 1 + 1 − 1 + …-in dört qatlı Kauçi hasili 1 − 4 + 10 − 20 + … isə tetraedik ədədlərin alternativ ardıcıllığıdır və Abel cəmi 1⁄16-dır.
1 − 2 + 3 − 4 + …-in bir az daha fərqli bir ümumiləşdirilməsi isə, n-in fərqli qiymətləri üçün 1 − 2n + 3n − 4n + … ardıcıllığıdır. Müsbətn tam ədədləri üçün bu ardıcıllığın Abel cəmi aşağıdakı kimidir: formuldakı Bn, Bernulli ədədlərini ifadə edir:[15]
n-in cüt qiymətləri üçün,
ifadəsinə sadələşən bu cəm, Nils Abelə 1826-cı ildə belə rişxənd bəhsi olmuşdur:
"Dağılan ardıcıllıqlar tamamən şeytan işidir və birinin bu ardıcıllıqlara sübut axtarması utanc vericidir. Bunlardan istəniləni əldə etmək heç asan deyildir, amma bu günə qədər qarşılaşılan bir çox bədbəxtliyin və paradoksun səbəbkarı da bu ardıcıllıqlardır. n bir müsbət ədəd olmaq şərti ilə,
ifadəsindən daha dəhşət verən bir şey düşünülə bilərmi? Beləcə dostlar, bu həqiqətən gülüncdür."[16]
Sezaronun müəllimi Eygene Çarlz Katalan da dağılan ardıcıllıqları sevməmişdir. Müəlliminin də təsiri ilə Sezaro əvvələr 1 − 2n + 3n − 4n + … üçün yaradılmış "ənənəvi" formulları "axmaq bərabərliklər" olarak qeyd etmiş və 1883-cü ildə də o zamanın tipik baxışları əsasında, bu düsturların yanlış olduğunu, lakin buna baxmayaraq işə yaradıqlarını demişdir. Nəhayət, 1890-cu ildə yazdığı Sur la multiplication des séries adlı əsərində lazımi qaydalara əsaslanan müasir bir münasibət ortaya qoymuşdur.[17]
1 − 2n + 3n − 4n + … ardıcıllığı n-in tam ədəd olmayan qiymətləri üçün də araşdırılmışdır, hansı ki, bunlar da Dirixlet eta funksiyasını əmələ gətirirlər. Eylerin 1 − 2 + 3 − 4 + … ilə əlaqəli ardıcıllıqlar üzərində tədqiqatlara yönəlməsinin bir səbəbi, eta funskiyasının birbaşa Rieman zeta funksiyası funksional bərabərliyinə yönləndirən bir funksional bərabərlik olmasıdır. Eyler, bu funksiyaların müsbət cüt tam ədədlər çoxluğundakı qiymətlərini Bazel problemini də daxil edə biləcək şəkildə tapması səbəbi ilə onsuz da məşhurlaşmışdı və eyni nailiyyəti Aperi sabitini də tərkibinə daxil edə biləcək şəkildə, müsbət tək tam ədədlər çoxluğu üçün də təkrar etməyə çalışırdı. Bu problem müasir dövrdə hələ də həll edilməmişdir. Eta funksiyası üzərində Eyler metodları ilə araşdırma aparmaq daha asandır, çünki bu funksiyanın Dirixlet seriyasını hər hansı bir kompleks ədəd üçün olan Abel üsulu ilə toplamaq mümkündür. Zeta funksiyasının Dirixlet seriyası isə dağılmağa başladığı nöqtədən etibarən daha çətin toplanır.[18] Məsələn, 1 − 2 + 3 − 4 + … ardıcıllığının zeta funksiyasındakı qarşılığı, işarələri ardıcıl dəyişkənlik göstərməyən 1 + 2 + 3 + 4 + … ardıcıllığıdır. Bu ardıcıllığın müasir fizikada önəmli tətbiq sahələri olsa da cəmlənməsi üçün daha güclü üsullara ehtiyac vardır.