1 − 2 + 3 − 4 + ···

Prvih tisoč členov in delne vsote vrste 1 − 2 + 3 − 4 + ···

1 − 2 + 3 − 4 + ··· je neskončna vrsta, katere členi so zaporedna cela števila z alternirajočimi predznaki. Z znakom za vsoto se lahko vsoto prvih $m$ členov vrste zapiše kot:

$\sum _{n=1}^{m}n(-1{)}^{n-1}.$

Vrsta je divergentna, kar pomeni, da zaporedje delnih vsot Predloga:Nowrap ne konvergira proti končni limiti. Prav tako Predloga:Nowrap nima vsote.

Kljub temu je Euler sredi 18. stoletja zapisal enačbo (za katero je priznal, da je paradoksalna):

$1-2+3-4+\cdots =\frac{1}{4}.$

Strog matematični dokaz za to trditev se je pojavil šele veliko kasneje. Okoli leta 1890 so Cesàro, Borel in drugi začeli raziskovati metode za določitev vsot divergentnim vrstam. Več teh metod zlahka pripiše vrsti Predloga:Nowrap »vsoto« ¹⁄₄. Cesàrova vsota je ena redkih metod, ki vrste Predloga:Nowrap ne sešteje, zato je vrsta zgled, kjer je treba uporabiti močnejšo metodo, Abelovo vsoto.

Vrsta 1 − 2 + 3 − 4 + ··· je sorodna Grandijevi vrsti Predloga:Nowrap. Euler ju je obavnaval kot posebna primera vrste Predloga:Nowrap za poljuben n. Raziskave so s časom pripeljale do funkcij, ki sta danes poznani kot Riemannova funkcija ζ(·) in Dirichletova funkcija η(·).

Divergenca

Členi vrste (1, −2, 3, −4, ···) se ne približujejo 0, zato Predloga:Nowrap divergira po kriteriju s členi. Za kasnejšo analizo bo koristno videti divergenco na osnovnem nivoju. Po definiciji je divergenca ali konvergenca neskončne vrste podana kot divergenca ali konvergenca zaporedja delnih vsot. Delne vsote vrste Predloga:Nowrap so:

1 = 1,

1 − 2 = −1,

1 − 2 + 3 = 2,

1 − 2 + 3 − 4 = −2,

1 − 2 + 3 − 4 + 5 = 3,

1 − 2 + 3 − 4 + 5 − 6 = −3,

···

Zanimivo je opaziti, da zaporedje zavzame vsako celo število natanko enkrat (tudi ničlo, če se jo šteje kot ničto delno vsoto) in tako pokaže, da je množica celih števil $\mathbb{Z}$ števna. Očitno se ne ustali pri nobenem specifičnem številu, zato vrsta Predloga:Nowrap divergira.

Hevristični pristop k seštevanju

Najenostavnejši pristop za povezavo vrste 1 − 2 + 3 − 4 + ··· z vrednostjo ¹⁄₄ je uporaba ugotovitev, ki se jih dobi pri analizi vrste Predloga:Nowrap.

Stabilnost in linearnost

Ker členi 1, −2, 3, −4, 5, −6, ··· sledijo enostavnemu vzorcu, se lahko vrsto Predloga:Nowrap izrazi samo s sabo in iz enačbe dobi numerično vrednost. naj se za trenutek predpostavi, da se da vsoto zapisati kot Predloga:Nowrap za neko število s. Pokazati se želi, da je Predloga:Nowrap

Dodajanje štirih kopij vrste 1 − 2 + 3 − 4 + ···, s tem da se uporablja samo premike in dodajanje šlenov, da vsoto 1.

s	= 1 − 2 + 3 − 4 + ···
	= (1 − 1 + 1 − 1 + ··· ) + (0 − 1 + 2 − 3 + ··· )
	= h − s,

kjer je h »vsota« vrste

h	= 1 − 1 + 1 − 1 + ···
	= 1 − (1 − 1 + 1 − ··· )
	= 1 − h.

Če se reši enačbi Predloga:Nowrap in Predloga:Nowrap, se dobi Predloga:Nowrap in Predloga:Nowrap. Enako se lahko enačbe preuredi tako, da dajo Predloga:Nowrap, iz česar spet sledi Predloga:Nowrap; ta oblika je upodobljena na sliki.

Čeprav vrsta 1 − 2 + 3 − 4 + ··· nima klasične vsote, se lahko enačbi Predloga:Nowrap da drug pomen. Posplošena definicija »vsote« divergentnih vrst se imenuje sumacijska ali seštevalna metoda. Obstaja več različnih metod, od katerih jih je nekaj omenjeno spodaj. Dejansko je dokazano naslednje: Za poljubno sumacijsko metodo, ki je linearna in stabilna, če da vsoto Predloga:Nowrap in Predloga:Nowrap, potem morata biti vsoti ¹⁄₂ in ¹⁄₄.

Zgornji pristop omeji možne vrednosti za posplošene vsote Predloga:Nowrap, vendar ne razkrije katera metoda bo ali ne bo seštela vsote na prvem mestu. Dejansko nekatere linearne in stabilne sumacijske metode, kot je navadno seštevanje, ne dajo vsote Predloga:Nowrap. Drugačni pogled na vsoto pomaga določiti katera metoda da ¹⁄₄: izraženo kot produkt.

Cauchyjev produkt

Leta 1891 je Cesàro izrazil upanje, da se da divergentne vrste matematično obravnati. Rekel je: »Že zdaj zapišemo Predloga:Nowrap in rečemo, da sta obe strani enaki 1/4.« Za Cesàra je bila ta enačba uporaba izreka, ki ga je objavil leto prej, in se ga lahko ima za prvi izrek iz zgodovine obravnavanja divergentnih vsot. Podrobnosti so v razdelku spodaj. Glavna zamisel je, da je Predloga:Nowrap Cauchyjev produkt vrste Predloga:Nowrap z Predloga:Nowrap.

Cauchyjev produkt dveh neskončnih vrst je definiran tudi, ko sta obe divergentni. Če je Σa_n = Σb_n = Σ(−1)ⁿ, so členi produkta podani s končnimi diagonalnimi vsotami.

$\begin{array}{ccc}{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}$

Produkt vrste je potem:

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

Veliko sumacijskih metod upošteva Cauchyjev produkt na tak ali drugačen način. Za metode, kjer ima Predloga:Nowrap posplošeno vsoto ¹⁄₂, je ustrezna posplošena vsota Predloga:Nowrap enaka Predloga:Nowrap. Cesàrov izrek je primer tega, ker se Predloga:Nowrap (C, 1) sešteje v ¹⁄₂, se Predloga:Nowrap (C, 3) v ¹⁄₄. V resnici je to še nekoliko boljše, Predloga:Nowrap se sešteje tudi (C, 2) čeprav se ne sešteje po (C, 1).

Posamezne metode

Cesàro in Hölder

(H, 2) vsota, ki je 1/4

Da se dobi (C, 1) Cesàrovo vsoto vrste 1 − 2 + 3 − 4 + ···, če ta obstaja, je treba računati aritmetične sredine delnih vsot. Delne vsote so:

1, −1, 2, −2, 3, −3, ···,

aritmetične sredine pa:

1, 0, ²⁄₃, 0, ³⁄₅, 0, ⁴⁄₇, ···.

Ker ta vrsta ne konvergira, vrsta 1 − 2 + 3 − 4 + ··· nima Cesàrove vsote.

Za Cesàrove vsote sta dve posplošitvi: pojmovno precej preprostejše od teh so metode zaporedja (H, n) za naravna števila n. (H, 1) vsota je Cesàrova in višje metode ponavljajo računanje delnih vsot. Zgoraj delne vsote konvergirajo k ¹⁄₂, medtem ko so lihe delne vsote vse enake 0, tako da delne vsote delnih vsot konvergirajo srednji vrednosti med 0 in ¹⁄₂, namreč ¹⁄₄. Tako je Predloga:Nowrap (H, 2) seštevna k ¹⁄₄.

Oznaka »H« se nanaša na Hölderja, ki je leta 1882 prvi dokazal to kar imajo sedaj matematiki za povezavo med Abelovo vsoto in (H, n) vsoto; Predloga:Nowrap je bila njegov prvi primer. Dejstvo, da je ¹⁄₄ (H, 2) vsota od Predloga:Nowrap, zagotavlja da je tudi Abelova vsota - kar bo pokazano neposredno spodaj.

Druga splošna formulirana posplošitev Cesàrove vsote so metode z zaporedjem (C, n). Pokazali so, da vsote (C, n) in (H, n) vedno dajo enake rezultate, vendar imajo različno zgodovinsko ozadje. Leta 1887 je Cesàro prišel blizu definicije vsote (C, n), vendar je podal le nekaj primerov. Še posebej je seštel Predloga:Nowrap v ¹⁄₄ z metodo, ki se jo lahko vidi kot (C, n), vendar kot takšna tedaj ni bila upravičena. Formalno je definiral metode (C, n) leta 1890, da bi podal svoj izrek, da je Cauchyjev produkt vsot (C, n) in (C, m), ki se dajo sešteti, enak vsoti, (C, m + n + 1), ki se da tudi sešteti.

Abelova vsota

Nekaj delnih vsot 1 − 2x + 3x² + ···; 1/(1 + x)²; in limit v 1

V spisu iz leta 1749 je Euler priznal, da je vrsta divergentna, vendar se je vseeno odločil, da jo bo poskusil sešteti:

Euler je večkrat predlagal razširjen pomen pojmu vsota. V primeru vrste Predloga:Nowrap so bile njegove zamisli podobne temu, kar se danes imenuje Abelova vsota:

To se lahko vidi na več načinov. Euler ima prav vsaj za absolutne vrednosti |x| < 1, ker je:

$1-2x+3x^2-4x^3+\cdots =\frac{1}{(1+x{)}^2}.$

Lahko se tvori Taylorjevo vrsto desne strani ali pa se uporabi formalni proces dolgega deljenja za polinome. Če se začne na levi strani, se lahko sledi splošni hevristični poti in se poskusi dvakrat množiti z (1+x) ali pa se kvadrira geometrično vrsto Predloga:Nowrap Euler je kot izgleda predlagal odvod zadnje vrste členoma.

V sodobnejšem pogledu vrsta 1 − 2x + 3x² − 4x³ + ··· ne definira funkcije v Predloga:Nowrap, tako da se vrednosti ne da preprosto zamenjati v nastali izraz. Ker je funkcija definirana za vse Predloga:Nowrap, se lahko izračuna limito, ko se x približuje 1, in to je definicija Abelove vsote:

$\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 in Borel

Eulerjeva vsota k ¹⁄₂ − ¹⁄₄

Euler je na vsoti uporabi drug postopek, Eulerjevo transformacijo, ki jo je sam iznašel. Za izračun Eulerjeve transformacije se začne z zaporedjem pozitivnih členov, ki tvori alternirajočo vrsto, v tem primeru Predloga:Nowrap Prvi člen zaporedja je označen z a₀.

Nato se potrebuje zaporedje napredujoče razlike med Predloga:Nowrap; kar je Predloga:Nowrap Prvi člen tega zaporedja je označen z Δa₀. Eulerjeva transformacija je odvisna od razlik in iteracij višjega reda, vendar so vse napredujoče razlike med Predloga:Nowrap enake 0. Eulerjeva transformacija Predloga:Nowrap se potem določi kot:

$\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}.$

V sodobni terminologiji se reče, da ima Predloga:Nowrap Eulerjevo vsoto enako ¹⁄₄.

Eulerjeva sumabilnost pomeni tudi drugo vrsto sumabilnosti. Če se zapiše Predloga:Nowrap kot:

$\sum _{k=0}^{\mathrm{\infty }}{a}_k=\sum _{k=0}^{\mathrm{\infty }}(-1{)}^k(k+1),$

se dobi sorodno vrsto, ki je povsod konvergentna:

$a(x)=\sum _{k=0}^{\mathrm{\infty }}\frac{(-1{)}^k(k+1)x^k}{k!}=e^{-x}(1-x).$

Borelova vsota 1 − 2 + 3 − 4 + ··· je zato:

$\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-x}a(x)\mathrm{d}x=\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-2x}(1-x)\mathrm{d}x=\frac{1}{2}-\frac{1}{4}.$

Ločitev skal

Saichev in Woyczyński sta dobila Predloga:Nowrap le z uporabo dveh fizikalnih načel: infinitezimalne relaksacije in ločitve skal. Ti načeli sta ju vodili do opredelitve široke družine »φ-sumacijskih metod«, ki vse dajo vsoto ¹⁄₄:

• če je φ(x) funkcija, katere prvi in drugi odvod sta zvezna in integrabilna v (0, ∞), tako da je φ(0) = 1, in da sta limiti φ(x) in xφ(x) v +∞ obe enaki 0, potem velja:

$\underset{\delta \downarrow 0}{\lim }\sum _{m=0}^{\mathrm{\infty }}(-1{)}^m(m+1)\phi (\delta m)=\frac{1}{4}.$

Ta rezultat posploši Abelovo vsoto, ki se jo preobleče z φ(x) = exp(−x). Splošno izjavo se lahko dokaže z združevanjem v pare po členih v vsoti čez m in se spremeni izraz v Riemannov integral. Za zadnji korak se v odgovarjajočem dokazu za Predloga:Nowrap pojavi izrek o povprečni vrednosti, vendar je potrebna močnejša Lagrangeeva oblika Taylorjevega izreka.

Posplošitev

Euler je podobne vrste sešteval leta 1755 v delu Institutiones

Trikratni Cauchyjev produkt vrste Predloga:Nowrap je Predloga:Nowrap izmenično zaporedje trikotniških števil z Abelovo in Eulerjevo vsoto ¹⁄₈.. Štirikratni Cauchyjev produkt je Predloga:Nowrap izmenično zaporedje kvadratnih števil z Abelovo vsoto ¹⁄₁₆.

Nekoliko drugačna možnost posplošitve vrste 1 − 2 + 3 − 4 + ··· je vrsta Predloga:Nowrap za različne vrednosti n. Za pozitivne n imajo te vrste naslednje Abelove vsote:

$1-2^n+3^n-\cdots =\frac{2^{n+1}-1}{n+1}{B}_{n+1},$

kjer so B_n Bernoullijeva števila. Za lihe n se to reducira na

$1-2^{2k}+3^{2k}-\cdots =0.$

Ta zadnja vsota je leta 1826 postala tarča Abelovega posmeha:

»Divergentne vrste so na splošno hudičevo delo in grozno je, da si kdo upa poiskati kakršenkoli dokaz v zvezi z njimi. Če jih uporabljamo, lahko dobimo iz njih karkoli in povzročile so toliko nesreče in paradoksov. Si lahko kdo predstavlja kaj bolj žaljivega od trditve, da je

0 = 1 − 2ⁿ + 3ⁿ − 4ⁿ + itd.

kjer je n pozitivno število. Prijatelji, smejte se.«

Cesàrov učitelj, Catalan, je prav tako preziral divergentne vrste. Pod Catalanovim vplivom je Cesàro na začetku »običajne enačbe« za Predloga:Nowrap poimenoval kot »absurdne enakosti« in leta 1883 je povzel tipično mnenje tistega časa, namreč, da so enačbe napačne, vendar vseeno nekako formalno uporabne. Končno pa je leta 1890 v delu Sur la multiplication des séries privzel sodobni pristop, ki se začne z definicijami.

Vrsta se raziskuje tudi za nenegativne vrednosti n, ki dajo Dirichletovo funkcijo η. Del Eulerjevega zanimanja za raziskovanje vrste, povezane z Predloga:Nowrap, je bila funkcijska enačba funkcije η, ki neposredno vodi do funkcijske enačbe Riemannove funkcije ζ. Euler je že postal znan po iskanju vrednosti te funkcije za pozitivna soda cela števila (vključno z Baselskim problemom), in je poskušal najti tudi vrednosti za pozitivna liha cela števila (npr. Apéryjeva konstanta), problem, ki se izmika še danes. Posebej je funkcijo η lažje obravnavati z Eulerjevo metodo, ker ima njena Dirichletova vrsta povsod Abelovo vsoto; Dirichletovo vrsto funkcije ζ pa je težje seštevati kjer divergira. Protiprimer Predloga:Nowrap v funkciji ζ je nealternirajoča vrsta Predloga:Nowrap, ki se uporablja v sodobni fiziki, vendar za vsoto zahteva močnejše metode.

Viri

• Predloga:Navedi splet
• Predloga:Navedi knjigo
• Predloga:Navedi knjigo
• Predloga:Navedi splet Izvirno objavljeno kot Predloga:Navedi revijo
• Predloga:Navedi revijo
• Predloga:Navedi knjigo
• Predloga:Navedi knjigo
• Predloga:Navedi revijo
• Predloga:Citat
• Predloga:Navedi knjigo
• Predloga:Navedi knjigo
• Predloga:Navedi knjigo
• Predloga:Navedi revijo
• Predloga:Navedi knjigo
• Predloga:Navedi knjigo