Отворите главни мени
Анимирани доказ за формулу која даје збир првих целих бројева 1+2+...+n.
A graph depicting the series with layered boxes and a parabola that dips just below the y-axis
Прве четири парцијалне суме низа 1 + 2 + 3 + 4 + ⋯. Парабола је њихова поравната асимптота; његов у-пресек је−1/12.[1]

Бесконачан низ чији су услови природни бројеви 1 + 2 + 3 + 4 + · · · је дивергентан низ. Н-ти делимични збир низа је троугаони број.

,

што расте без граница како Н иде у бесконачност. Пошто се низ парцијалних сума не спаја у ограниченом року, ред нема суму.

Иако на први поглед изгледа да низ нема било какве смислене вредност уопште, може се манипулисати да би се добио низ математички занимљивих резултата, од којих нека имају примену у другим областима, као што су комплексна анализа, квантна теорија поља, као и теорија струна. Многе методе сума се користе у математици за доделу нумеричке вредности чак и дивергентним редовима. Конкретно, методе зета функције регулисања и Рамануџаново сабирање додељују вредност низу -1/12, што је изражено чувеном формулом:[2]

У монографији о теорији месечине, Тери Генон зове ову једначину "једна од најзначајнијих формула у науци".[3]

Парцијалне сумеУреди

 
Прва три троугаона броја

Парцијални бројеви низа 1 + 2 + 3 + 4 + 5 + ⋯ су 1, 3, 6, 10, 15, итд. Н-ти парцијални број је дат формулом:

 

Ова једначина је била позната Питагорејцима у шестом веку пре нове ере.[4] Бројеви овог облика који се називају троугаони бројеви, јер може да се организује као једнакостранични троугао.

Бесконачни низ троугаоних бројева дивергира до +∞, тако да дефиницијом, бесконачни низ 1 + 2 + 3 + 4 + ⋯ дивергира и до +∞. Дивергенција је једноставна последица облика низа: услови не приближити нули, тако да ред дивергира термином теста.

СумирањеУреди

Међу класичним дивергентним редовима, 1 + 2 + 3 + 4 + · · · је релативно тешко манипулисати у коначној вредности. Многе методе сумирања се користе за доделу нумеричких вредности дивергентним редовима, неки су моћнији од других. На пример, Цесаро сумирање је позната метода која сумира Грандијеве редове, благо дивергентне редове 1 − 1 + 1 − 1 + ⋯, до 1/2. Абел сумирање је много моћан метод који, не само да сумира Грандијеве редове до 1/2, него и сабира компликованије редове 1 − 2 + 3 − 4 + · · · до 1/4.

За разлику од горњих редова, 1 + 2 + 3 + 4 + · · · није Цесаро сумирање, нити Абел сумирање. Ове методе раде на осцилирању дивергентних редова, али они не могу да произведу коначан одговор за ред који је дивергентан у +∞.[5] Већина од више елементарних дефиниција сумирања дивергентних редова су стабилне и линеарне, и било који од метода и стабилна и линеарна не може да сумира 1 + 2 + 3 +... до коначне вредности; види доле. Потребне су више напредне методе, као штоје зета функција регулисања или Рамануџаново сабирање. Такође је могуће утврдити за вредност −1/12 користећи неке грубе хеуристике у вези са овим методама.

ХеуристикаУреди

 
Пролаз од Рамануџанове прве свеске описујући "константне" редове

Сриниваса Рамануџан је представио два нова извођења "1 + 2 + 3 + 4 + ⋯ = −1/12" у поглављу 8 своје прве свеске.[6][7][8] Једноставније, мање ригорозно извођење одвија се у два корака, као што следи.

Први кључни увид је да је низ позитивних бројева 1 + 2 + 3 + 4 + · · · личи на наизменични низ 1 − 2 + 3 − 4 + · · ·. Ови последњи низови су такође дивергентни, али је много лакше радити са њима; постоји неколико класичних метода да се додели вредност, који су испитивани од 18. века.[9]

Да би се трансформисао низ 1 + 2 + 3 + 4 + · · · у 1 − 2 + 3 − 4 + · · ·, један може одузети 4 од другог израза, 8 од четвртог израза, 12 од шести израза, и тако даље. Укупан износ који се одузима је 4 + 8 + 12 + 16 + · · ·, који је 4 пута оригиналног низа. Ови односи могу бити изражени уз мало алгебре. Каква год да "сума" низа може бити, назовимо то c = 1 + 2 + 3 + 4 + ⋯. Затим помножимо ове једначине са 4 и одузмемо другу једначину од прве:

 

Други кључни увид је да је наизменични ред 1 − 2 + 3 − 4 + · · · формална снага експанзије редова функције 1/(1 + x)2 али је са x дефинисан као 1. Сходно томе, Рамануџан пише:

 

Дељењем обе стране са −3, једна добија c = −1/12.

Уопштено говорећи, опасно је манипулисати бесконачним низом као да је коначан збир, а то је посебно опасно за дивергентне редове. Ако су нуле убачене у арбитрарне позиције дивергентних редова, могуће је доћи до резултата који нису самоусаглашени, а камоли у складу са другим методама. Конкретно, корак 4c = 0 + 4 + 0 + 8 + · · · није оправдан законом адитивног идентитета. За екстреман пример, додавање једне нуле до предњег дела низа може довести до неконзистентног резултата.[1]

Један од начина да се поправи ову ситуација, и да се ограниче места на којима се могу стављати нуле, је да се прати сваки израз у низу повезивањем са зависношћу од неке функције.[10] У низу 1 + 2 + 3 + 4 + · · ·, сваки израз н је само број. Уколико је израз н унапређен на функцију n−s, где је ѕ комплексна варијабла, онда један може осигурати да су само као услови додати. Добијеним низом може да се манипулише на више ригорозан начин, а варијабла ѕ може да се подеси на -1 касније. Имплементација ове стратегије се назива Зета функција регулисања.

Зета функција регулисањаУреди

 
Парцела ζ(s). За s > 1, низ конвергира и ζ(s) > 1. Аналитички наставак око стуба за s = 1 доводи до региона негативне вредности, укључујући ζ(−1) = −1/12

У зета функцији регулисања, низ је замењен низом  . Овај последњи низ је пример Дириклетовог низа. Када је реални део ѕ је већи од 1, Дириклетов низ конвергира, а његов износ је Риманова зета функција ζ(s). С друге стране, Дириклетов низ дивергира када је реални део ѕ мањи или једнак 1, па, посебно, низ 1 + 2 + 3 + 4 + · · · који резултује из s = –1 не конвергира. Корист од увођења Риманове зета функције је што се могу дефинисати и друге вредности ѕ аналитичким наставком. Тада се може дефинисати да зета-регулисан збир 1 + 2 + 3 + 4 + · · · буде ζ(−1).

Од ове тачке, постоји неколико начина да докажемо да је ζ(−1) = −1/12. Једна од метода, на линији Ојлеровог резоновања,[11] користи однос између Риманове зета функције и Дириклетове ета функције η(s). Зета функција је дефинисана низовима за наизменични Дириклетов низ, тако да је овај метод паралелан ранијим хеуристицима. Где оба Дириклетова низа конвергирају, један има идентитет:

 

Идентитет   задржава када су обе функције продужене аналитичким наставком да укључе вредности ѕ за које оба низа дивергирају. Заменом s = −1, један је −3ζ(−1)=η(−1). Сада, рачунајући да је  η(−1) лакши задатак, како је ета функција једнака Абеловом збиру његових дефинисања низова,[12] која је једнострана граница:

 

Дељењем обе стране са −3, добијамо да је ζ(−1) = −1/12.

Кутоф регуларизацијаУреди

Ред 1 + 2 + 3 + 4 + ⋯
После изравнања
 
Асимптотско понашање изавнања. У-пресретање параболе је −1/12.[1]

Начин регулисања помоћу кутоф функције могу "изравнати" низ да стигне на -1/12. Изравнање је концептуални мост између зета функције регулисања, са ослањањем на комплексне анализе, и Раманујанове сумације, са његовом пречицом до Ојлер-Маклоренове формуле. Уместо тога, поступак ради директно на конзервативним трансформацијама низова, коришћењем метода реалне анализе.

Идеја је да се замени лоше понашање дискретног низа  поравнатим низом  , где је f  гранична функција са одговарајућим својствима. Гранична функција мора бити нормализована до f(0) = 1; ово је другачија нормализација од оне која се користи у диференцијалним једначинама. Гранична функција треба да има довољно ограничења да поравна од боре у низу а требало би да падне на 0 брже него што низ расте. Ради лакшег сналажења, може захтевати да је f глатка, ограничена, и компактно подржана. Тада се може доказати да је ова поравната сума асимптотска до −1/12 + CN2, где је C константа која зависи од f. Константни изрази асимптотског ширења не зависе од f: неопходно је да иста вредност даје аналитички наставак, −1/12.

Рамануџаново сабирањеУреди

Рамануџаново сабирање 1 + 2 + 3 + 4 + · · · је такође −1/12. Рамануџан је написао у свом другом писму Г. Х. Харди,  27. фебруар 1913.:

"Драги господине, ја сам веома задовољан на проучавању Вашег писма из 8. фебруара 1913. Очекивао сам Ваш одговор сличан оном који је професор математике у Лондону написао питајући ме да пажљиво проучим Бромвичев бесконачан низ, и да не паднем у замке дивергентних редова. ... Рекао сам му да је збир бесконачног броја израза низа: 1 + 2 + 3 + 4 + · · · = −1/12 по мојој теорији. Ако Вам кажем ово Ви ћете одмах истаћи лудницу као мој циљ. Ја сам одговорио на ово једноставно да Вас убедим да нећете моћи да пратите моје методе доказивања ако ја укажем линије на којима сам наставио у једном писму. …"[13]

Рамануџанова сума је метод да се изолује стални термин у Ојлер-Маклореновој формули за парцијалне суме низа. За неку функцију f, класичан Рамануџанов збир низа је    дефинисан као

 

где f(2k−1) је (2k−1)-ти извод f и B2k је 2k-ти Бернулијеви број: B2 = 1/6, B4 = −1/30, и тако даље. Стављање f(x) = x, први извод f је 1, и сваки други израз нестаје, тако да је:[14]

 

Да би се избегле недоследности, модерна теорија Рамануџановог збира захтева да је f  "редовно" у смислу да изводи вишег реда f пропадају довољно брзо за остале израре у Ојлер-Маклауриновој формули да имају тенденцију 0. Рамануџан прећутно претпоставља некретнину.[14] Захтев регуларности спречава коришћење Раманџановог сумирања по размакнутим низовима као што су 0 + 2 + 0 + 4 + · · ·, јер ниједна редовна функција не узима те вредности. Уместо тога, такав низ се мора тумачити зета функцијом регулисања. Из тог разлога, Харди препоручује "велики опрез" приликом примене Рамануџановог сумирања познатог низа да се пронађу износи повезаног реда.

Неуспех стабилних линеарних метода сумирањаУреди

Метод сумирања који је линеаран и стабилан не може сумирати низ 1 + 2 + 3 + ... до коначне вредности. (Стабилно значи да додавање термина почетку низа повећава износ за исти износ.) Ово се може посматрати на следећи начин. Ако је

1 + 2 + 3 + ... = x

затим додавање 0 обема странама даје

0 + 1 + 2 + ... = 0 + x = x стабилношћу.

Линеарношћу, може се одузети друга једначина од прве да се добије

1 + 1 + 1 + ... = xx = 0.

Додавање 0 на обема странама опет даје

0 + 1 + 1 + 1 + ... = 0,

и одузимањем последња два низа даје

1 + 0 + 0 + ... = 0

контрадикторне стабилност.

Метода коришћене изнад да сумирају 1 + 2 + 3 + ... или нису стабилне или нису линеарне. На пример, постоје две различите методе зване зета функција регулисања. Прва, који дефинише збир a + b + c + ... скупа бројева да буде вредност аналитичког наставка 1/as + 1/bs + 1/cs + ... за s = –1 (ако постоји), је стабилна, али не линеарна. Друга, која дефинише збир a + b + c + ... од низа бројева да буде вредност аналитичког наставка a/1s + b/2s + c/3s + ... за s = 0 (ако постоји), је линеарна, али не стабилна. (Обе методе додељују низу 1 + 2 + 3 + ... вредност ζ(–1) = –1/12.)

ФизикаУреди

У бозонској теорији струна, је покушај да се израчунају могући енергетски нивои низа, посебно најнижи ниво енергије. Говорећи незванично, свака хармонија низа може се посматрати као колекција   независни квантни хармонијски осцилатори, један за сваки трансверзални талас, где је   је димензија просторног времена. Ако је основна фреквенција осцилације  онда је енергија у осцилатору која доприноси н-тој хармонији   . Дакле, користећи дивергентне редове, сума преко свих хармонија је  . На крају је та чињеница, у комбинацији са Годард-Торновом теоремом, што доводи до тога да босоник теорија струна није успела да буде доследна у димензијама, осим 26.[15]

Регуларизација 1 + 2 + 3 + 4 + ⋯ је такође укључена у израчунавање Казимирове снаге за скаларно поље у једној димензији.[16] Да експоненцијална гранична функција довољно ублажава низ, представља чињеница да произвољно високо-енергетски режим није блокиран од стране спроводних плоча. Просторна симетрија проблема је одговорна за отказивање квадратног израза експанзије. Све што је остало је константан израз -1/12, а негативан знак овог резултата одражава чињеницу да је Казимирова снага атрактивна.[17]

Сличан обрачун је укључен у три димензије, користећи Епстеинову зета-функцију на месту Риманове зета функција.[18]

ИсторијаУреди

Нејасно је да ли Леонард Ојлер сумирао низове до -1/12. Према Морису Клајну, Ојлеров рани рад на дивергентним редовима ослањао се на функцији проширења, од којих је закључио 1 + 2 + 3 + 4 + · · · = ∞.[19] Према Рејмонду Ајоубу, чињеница да је дивергентни зета низ није Абел сумирајући спречио је Ојлера да користи зета функцију слободно као ета функцију, а он "није могао приложити значење" низа.[20] Други аутори су спојили Ојлера са сумом, сугеришући да би Ојлер повећао однос између зета и ета функције на негативне целе бројеве.[21][22][23] У основној литератури, низ 1 + 2 + 3 + 4 + ⋯ се помиње у Ојлеровој публикацији из 1760. Де сериебус дивергентибус уз дивергентнан геометријски низ 1 + 2 + 4 + 8 + ⋯. Ојлер наговештава да низови овог типа имају крај, негативне суме, а он објашњава шта то значи за геометријски низ, али се не враћа на дискусију 1 + 2 + 3 + 4 + ⋯. У истој публикацији, Ојлер пише да је сума 1 + 1 + 1 + 1 + ⋯ бесконачна.[24]

Популарни медијиУреди

Роман Дејвида Леавита је 2007.  Д Индиан Клерк садржи сцену у којој Харди и Литлвуд дискутују о значењу овог низа. Они закључују да је Рамануџан поново открио ζ(−1), а они користе линију "душевне болнице" у свом другом писму, као знак да се Рамануџан поиграва са њима.[25]

Симон МекБурнеи је 2007 одиграо Дисаперинг Намбр фокусирајући на низ на уводну сцену. Главни лик, Рут, улази у амфитеатар и уводи идеју дивергентне серије пре проглашења, "Ја ћу да ти покажем нешто заиста узбудљиво", наиме 1 + 2 + 3 + 4 + · · · = −1/12. Како Рут лансира у извођење функционалне једначине зета функције, још један глумац се обраћа публици, признајући да су они глумци: "Али математика је стварна. То је застрашујуће, али то је стварно."[26][27]

Јануара 2014, Нумберфил је поставио ЈуТјуб видео низа, која је окупила више од 1,5 милиона прегледа првог месеца.[28] 8-минутни видео говори Тони Падила, физичар на Универзитету у Нотингему. Падила почиње са  1 − 1 + 1 − 1 + · · · и 1 − 2 + 3 − 4 + · · · и доводи у везу са 1 + 2 + 3 + 4 + · · · користећи израз-по-израз одузимања сличан Рамануџановом аргументу.[29] Нумберфил је такође објавио и 21-минутну верзију спота у ком главну улогу има Нотингем физичар Ед Копеленд, који описује детаљно како 1 − 2 + 3 − 4 + · · · = 1/4 као Абелово сумирање и 1 + 2 + 3 + 4 + · · · = −1/12 као ζ(−1).[30] Након пријема жалбе о недостатку строгости у првом видеу, Падила је такође написао објашњење на својој интернет страници у вези са манипулацијом у видеу и идентификовању између аналитичког настављања низа релевантног Дириклетовом низу.[31]

У Њујорк Тајмс покривености Нумберфиловог видеа, математичар Едвард Френкел је прокоментарисао: "Овај прорачун је једна од најбоље чуваних тајни у математици. Нико споља не зна о томе.."[28]

Израз - по - израз сумирања коришћен у Нумберфиловом видеу 
С = 1  +  2  +  3  +  4  +  5  +    6  +  7  +  8  +  … =  ?
С1 = 1  −  1  +  1  −  1  +  1  −    1  +  1  −  1  +  … = 1/2
С2 = 1  −  2  +  3  −  4  +  5  −    6  +  7  −  8  +  …
2 = 1  −  2  +  3  −  4  +  5  −    6  +  7  −  8  +  …
 +  1  −  2  +  3  −  4  +    5  −  6  +  7  +  …
= 1  −  1  +  1  −  1  +  1  −    1  +  1  −  1  +  … = 1/2
С2 = 1/4
С  −  С2 = 1  +  2  +  3  +  4  +  5  +    6  +  7  +  8  +  …
 −  1  +  2  −  3  +  4  −  5  +    6  −  7  +  8  +  …
= 0  +  4  +  0  +  8  +  0  +  12  +  0  +  16  +  … = 4С
С – 1/4 = 4С   ⇒   С = – 1/12

РеференцеУреди

  1. 1,0 1,1 1,2 Tao, Terence (April 10, 2010), The Euler-Maclaurin formula, Bernoulli numbers, the zeta function, and real-variable analytic continuation, retrieved January 30, 2014
  2. ^ Lepowsky, J. (1999), Naihuan Jing and Kailash C. Misra, ed., Vertex operator algebras and the zeta function, Contemporary Mathematics 248. стр. 327–340, arXiv:math/9909178
  3. ^ Gannon 2010, стр. 140.
  4. ^ Pengelley, David J. (2002), Otto Bekken; et al., eds., The bridge between the continuous and the discrete via original sources, National Center for Mathematics Education, University of Gothenburg, Sweden. 2002. ISBN 978-91-85143-00-9. стр. 3.
  5. ^ Hardy 1949, стр. 10.
  6. ^ Ramanujan's Notebooks, retrieved January 26, 2014
  7. ^ Abdi, Wazir Hasan (1992), Toils and triumphs of Srinivasa Ramanujan, the man and the mathematician, National. стр. 41.
  8. ^ Berndt, Bruce C. (1985), Ramanujan’s Notebooks: Part 1, Springer-Verlag. стр. 135–136
  9. ^ Euler, Leonhard; Lucas Willis; and Thomas J Osler (2006).
  10. ^ Promoting numbers to functions is identified as one of two broad classes of summation methods, including Abel and Borel summation, by Knopp, Konrad (1990) [1922].
  11. ^ Stopple 2003, стр. 202.
  12. ^ Knopp, Konrad (1990) [1922].
  13. ^ Aiyangar 1995, стр. 53.
  14. 14,0 14,1 Berndt, Bruce C. (1985), Ramanujan’s Notebooks: Part 1, Springer-Verlag. стр. 13,134
  15. ^ Barbiellini, Bernardo (1987), "The Casimir effect in conformal field theories", Physics Letters B 190 (1—2): 137–139, doi:10.1016/0370-2693(87)90854-9
  16. ^ See v:Quantum mechanics/Casimir effect in one dimension
  17. ^ Zee 2003, стр. 65–67.
  18. ^ Zeidler 2007, стр. 305–306.
  19. ^ Kline, Morris (November 1983), "Euler and Infinite Series", Mathematics Magazine 56 (5): 307–314, doi:10.2307/2690371
  20. ^ Ayoub, Raymond (December 1974), "Euler and the Zeta Function" (PDF), The American Mathematical Monthly 81 (10): 1067–1086, doi:10.2307/2319041, retrieved February 14, 2014
  21. ^ Lefort, Jean, "Les séries divergentes chez Euler" Архивирано на сајту Wayback Machine (фебруар 22, 2014) (на језику: енглески) (PDF), l'Ouvert (IREM de Strasbourg) (31): 15–25, retrieved February 14, 2014
  22. ^ Kaneko, Masanobu; Kurokawa, Nobushige; Wakayama, Masato (2003), "A variation of Euler's approach to values of the Riemann zeta function" Архивирано на сајту Wayback Machine (фебруар 2, 2014) (на језику: енглески) (PDF), Kyushu Journal of Mathematics 57 (1): 175–192, arXiv:math/0206171, doi:10.2206/kyushujm.57.175, retrieved January 31, 2014
  23. ^ Sondow, Jonathan (February 1994), "Analytic continuation of Riemann's zeta function and values at negative integers via Euler's transformation of series", Proceedings of the American Mathematical Society 120 (4): 421–424, doi:10.1090/S0002-9939-1994-1172954-7, retrieved February 14, 2014
  24. ^ Barbeau, E.J.; Leah, P.J. (May 1976), "Euler's 1760 paper on divergent series", Historia Mathematica 3 (2): 141–160, doi:10.1016/0315-0860(76)90030-6
  25. ^ Leavitt, David (2007), The Indian Clerk, Bloomsbury. стр. 61–62
  26. ^ Complicite (April 2012), .com/books?id=CiIgrdmGlUIC A Disappearing Number], Oberon
  27. ^ Thomas, Rachel (December 1, 2008), "A disappearing number", Plus, retrieved February 5, 2014
  28. 28,0 28,1 Overbye, Dennis (February 3, 2014), "In the End, It All Adds Up to – 1/12", New York TImes, retrieved February 3, 2014
  29. ^ ASTOUNDING: 1 + 2 + 3 + 4 + 5 + ... = -1/12 on YouTube
  30. ^ Sum of Natural Numbers (second proof and extra footage) on YouTube
  31. ^ Padilla, Tony, What do we get if we sum all the natural numbers?, retrieved February 3, 2014

ЛитератураУреди

Додатна литератураУреди

  • Lepowsky, James (1999). "Vertex operator algebras and the zeta function". Contemporary Mathematics 248: 327–340. arXiv:math/9909178. doi:10.1090/conm/248/03829.
  • Zwiebach, Barton (2004). A First Course in String Theory. Cambridge UP. ISBN 978-0-521-83143-7. 
  • Elizalde, Emilio (2004). "Cosmology: Techniques and Applications". Proceedings of the II International Conference on Fundamental Interactions. arXiv:gr-qc/0409076.
  • Watson, G. N. (April 1929), "Theorems stated by Ramanujan (VIII): Theorems on Divergent Series", Journal of the London Mathematical Society, 1 4 (2): 82–86, doi:10.1112/jlms/s1-4.14.82

Спољашњи линковиУреди