Пређи на садржај

1 − 2 + 3 − 4 + ⋯

Овај чланак је добар. Кликните овде за више информација.
С Википедије, слободне енциклопедије
Графички приказ првих 15.000 парцијалних сума реда 0 + 1 − 2 + 3 − 4 + ...

1 − 2 + 3 − 4 + · · · је бесконачан ред у математици, који обухвата узастопне природне бројеве са наизменичним знацима. Сума првих чланова реда може да се напише као:

Овај бесконачни низ дивергира, што значи да редослед његових парцијалних сума (1, −1, 2, −2, …), не тежи ка крајњим границама. Међутим, средином 18. века, Леонард Ојлер је написао следеће, што је касније окарактерисао као парадоксално:

Математичка метода која би објаснила ову једначину, развијена је много касније. Почев од 1890. године, Ернесто Чезаро, Емил Борел и други математичари испитивали су постојеће методе за одређивање суме дивергентних редова — укључујући и нова тумачења Ојлерових покушаја. Коришћењем многих од ових метода за израчунавање суме реда 1 − 2 + 3 − 4 + · · · довело је до коначног резултата који је износио 14. Чезарово сумирање је једна од ретких метода помоћу којих не можемо одредити износ 1 − 2 + 3 − 4 + · · ·, већ се морамо користити јачим методама, као што је Абелово сумирање.

Ред 1 − 2 + 3 − 4 + · · · је много сличан Грандијевом реду 1 − 1 + 1 − 1 + · · ·, а Ојлер је третирао ова два посебна случаја као 1 − 2n + 3n − 4n + · · · за произвољно n. Даља истраживања временом су довела до других функција, које су данас познате као Риманова зета-функција и Дирихлеова ета-функција.

Дивергентност

[уреди | уреди извор]

Чланови реда (1, −2, 3, −4, ...) не теже ка 0, те 1 − 2 + 3 − 4 + · · · дивергира применом теста општег члана. За даље разматрање, било би корисно да се одреди дивергенција основног нивоа. По дефиницији, конвергенција или дивергенција бесконачног реда условљена је конвергенцијом или дивергенцијом реда парцијалних сума. Сходно томе, парцијалне суме реда 1 − 2 + 3 − 4 + · · · су:[1]

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,

Овај ред је важан због присуства сваког целог броја — чак и 0, ако рачунамо празну парцијалну суму — чиме је успостављена бројивост чланова скупа целих бројева .[2] Редослед парцијалних сума јасно показује да ред не конвергира ка одређеном броју (за сваку граничну вредност x можемо наћи тачку иза које су све наредне парцијалне сума ван интервала [x-1, x+1]), те стога 1 − 2 + 3 − 4 + · · · дивергира.

Хеуристички приступ сумирања

[уреди | уреди извор]

Стабилност и линеарност

[уреди | уреди извор]

Будући да чланови 1, −2, 3, −4, 5, −6, ... следе једноставне законитост, ред 1 − 2 + 3 − 4 + ... је могуће трансформисати премештањем и додавањем члана на члан, са циљем да му се припише неко нумеричко значење. Ако израз s = 1 − 2 + 3 − 4 + ... за неки дати број s има смисла, онда следеће формалне трансформације указују на то да је s = 14:[3]

Додавањем четири копије 1 − 2 + 3 − 4 + ..., користећи само премештање и додавање члана на члан, даје за резултат 1.

Због тога, . Ово извођење је графички представљено на цртежу са десне стране.

Иако 1 − 2 + 3 − 4 + ... нема суму у уобичајеном смислу, једначина s = 1 − 2 + 3 − 4 + ... = 14 даје најбољи одговор на то да ли та сума може да се одреди. Уопштена дефиниција „суме“ дивергентног реда назива се метод сумирања, који омогућава израчунавање суме неколико подскупова свих могућих редова. Постоје бројне методе за опште сумирање редова, а неке од њих садрже неке од особина обичног сумирања редова. У ствари, горе је доказано да се коришћењем било ког метода за сумирање који је линеаран и стабилан за резултат реда 1 − 2 + 3 − 4 + ... добија 14. Тачније:

примена овог метода даје и решење суме Грандијевог реда, 1 − 1 + 1 − 1 + ... = 12.

Кошијев производ

[уреди | уреди извор]

Године 1891, Ернесто Чезаро изразио је наду да ће дивергентни редови бити укључени у калкулус, указујући на следеће:


За Чезара, ова једначина представља примену теореме коју је објавио годину пре, те се може сматрати првом теоремом у историји сумирања дивергентних редова. Детаљи овог метода за сумирање су приказани доле; основна идеја је да 1 − 2 + 3 − 4 + ... јесте Кошијев производ 1 − 1 + 1 − 1 + ... и 1 − 1 + 1 − 1 + ....

Кошијев производ два бесконачна реда је дефинисан, чак иако су та два реда дивергентна. У случају где је Σan = Σbn = Σ(−1)n, услови Кошијевог производа дати су коначним дијагоналним сумама:

Затим, производ реда је:

На тај начин, метод за сумирање који садржи Кошијев производ два реда и даје суму 1 − 1 + 1 − 1 + ... = 12, такође даје суму 1 − 2 + 3 − 4 + ... = 14. Са резултатом добијеним у претходном одељку, ово подразумева једнакост између сумирања 1 − 1 + 1 − 1 + ... и 1 − 2 + 3 − 4 + ... са методама које су линеарне, стабилне и садрже Кошијев производ.

Чезарова теорема је префињен пример. Ред 1 − 1 + 1 − 1 + ..., према Чезару, може да буде сумиран и зове се (C, 1)-сумирачки, док ред 1 − 2 + 3 − 4 + ... захтева дубљу примену Чезарове теореме,[5][6] и зове се (C, 2)-сумирачки. Будући да су сви облици Чезарове теореме линеарни и стабилни, вредности суме су оне које смо претходно израчунали.

Посебне методе

[уреди | уреди извор]

Чезаро и Хелдер

[уреди | уреди извор]
Подаци за суму (H, 2) од 14

За израчунавање Чезарове суме (C, 1) за 1 − 2 + 3 − 4 + ..., ако постоји, неопходно је да се прво израчуна аритметичка средина парцијалних сума реда. Парцијалне суме су:

1, −1, 2, −2, 3, −3, ...,

а аритметичка средина ових парцијалних сума:

.

Пошто овај ред не конвергира, самим тим 1 − 2 + 3 − 4 + ..., према Чезару, не може да се сумира.

Постоје две познате генерализације Чезаровог сумирања — концептуално једноставнија метода јесте она која се састоји од низа (H, n) метода за природне бројеве n. Сума (H, 1) је сума по Чезару, а методе вишег реда понављају израчунавање. У наведеном примеру, парне средње вредности конвергирају до 12, док све непарне средње вредности су једнаке 0; дакле, средње вредности средњих вредности се међусобно приближавају вредностима између 0 и 12, односно до 14.[7][8] Стога, ред 1 − 2 + 3 − 4 + ... има суму (H, 2) која износи 14.

Ознака „H“ представља скраћеницу презимена Ота Хелдера (нем. Otto Hölder), који је 1882. године био први који је доказао оно што математичари данас сматрају везом између Абеловог сумирања и (H, n) сумирања. Ред 1 − 2 + 3 − 4 + ... је био први пример који је употребљен у ту сврху.[9][10] Чињеница да 14 је сума (H, 2) од 1 − 2 + 3 − 4 + ... потврђује да је ово Абелова сума, такође; ово је директно доказано испод.

Друга честа генерализација Чезаровог сумирања јесте низ од (C, n) метода. Већ је доказано да сумирање (C, n) и сумирање (H, n) увек даје исти резултат, али она заправо имају различите историјске позадине. Године 1887, Чезаро је био близу дефинисања (C, n) сумирања, али је дао само неколико примера. Конкретно, сумирао је 1 − 2 + 3 − 4 + ..., и добио резултат 14 методом која се може преформулисати као (C, n), али која у то време није била призната. Формално је дефинисао (C, n) методе 1890. године, са циљем да поткрепи своју теорему да Кошијев производ суме реда (C, n) и суме реда (C, m) је једнак суми (C, m + n + 1).[11]

Абелово сумирање

[уреди | уреди извор]
Изводи из 1−2x+3x2+...; 1/(1 + x)2; и граничне вредности у тачки 1

У извештају из 1749. године, Леонард Ојлер је признао да ред дивергира, али ипак се спремао да израчуна његову суму:


Ојлер је неколико пута предлагао генерализацију појма „сума реда“. У случају 1 − 2 + 3 − 4 + ..., његове идеје су сличне ономе што је данас познато као Абелово сумирање:


Постоји много начина да се види, бар за апсолутне вредности , да Ојлер је у праву:

Могуће је да изврши проширивање на десној страни Тејлоровог реда или да се примени формални процес дељења полинома. Почевши са леве стране, може да се следи општа хеуристика приказана горе и два пута да се помножи са (1+x) или да се изврши квадрирање геометријског реда 1 − x + x2 − .... Изгледа да је Ојлер, исто тако, предложио диференцирање последњег реда члан по члан.[12][13][14]

Са савремене тачке гледишта, ред 1 − 2x + 3x2 − 4x3 + ... не дефинише функцију у тачки , тако да вредност не може једноставно да се замени у добијени израз. Пошто је функција дефинисана за свако , може да израчуна гранична вредност, јер тежи , што у суштини представља дефиницију Абеловог сумирања:

Ојлер и Борел

[уреди | уреди извор]
Ојлерово сумирање за 1214

Ојлер је применио другу методу за овај ред, познату као Ојлерова трансформација, што је један од његових изума. Да би израчунали Ојлерову трансформацију, неопходно је да се почне са низом позитивних чланова — у овом случају са 1, 2, 3, 4, .... Први члан овог низа је означен као a0.

Осим тога, неопходно је да се израчуна коначна разлика између чланова низа 1, 2, 3, 4, ..., који је једнак 1, 1, 1, 1, .... Први члан овог низа ј означен као Δa0. Такође, Ојлерова трансформација зависи и од разлике разлика, али све даље разлике чланова низа 1, 1, 1, 1, ... су једнаке са 0. У том случају, Ојлерова трансформација за ред 1 − 2 + 3 − 4 + ... дефинисана је као:

У савременој терминологији, каже се да ред 1 − 2 + 3 − 4 + ... може да се сумира по Ојлеру, те се притом добије сума једнака 14.

Сумирање по Ојлеру подразумева постојање још једне врсте сумирања. Представљајући ред 1 − 2 + 3 − 4 + ... као:

доводи до конвергентног реда у свакој тачки, што се може написати као:

Дакле, Борелова сума реда 1 − 2 + 3 − 4 + ... може да се израчуна као:[15]

Раздвајање скала

[уреди | уреди извор]

Математичари Сајчев и Војчињски дошли су до решења 1 − 2 + 3 − 4 + ... = 14 применом два физичка принципа — инфинитезималне релаксације и раздвајање скала. Прецизније, ови принципи касније ће довести до утврђивања широке породице „метода за φ-сумирање“, који сви за суму дају резултат 14:

  • Ако φ(x) је функција чији су први и други извод континуирани и интеграбилни у интервалу (0, ∞), тако да φ(0) = 1 и граничне вредности од φ(x) и xφ(x) за +∞ су једнаки 0, онда:[16]

Овај резултат је генерализација Абеловог сумирања, који се добија увођењем замене φ(x) = exp(−x). Општа тврдња може да се докаже груписањем чланова реда у парове преко и трансформацијом израза у Риманов интеграл. Када се ради о последњем кораку, доказ за 1 − 1 + 1 − 1 + ... садржи примену Лагранжове теореме за средњу вредност, али у овом случају захтева примену Лагранжовог облика напредне Тејлорове теореме.

Генерализација

[уреди | уреди извор]
Одломак 233. стране из E212 — Institutiones calculi differentialis cum eius usu in analysi finitorum ac doctrina serierum. Ојлер сумира сличне редове, око 1755.

Троструки Кошијев производ реда 1 − 1 + 1 − 1 + ... износи 1 − 3 + 6 − 10 + ..., односно наизменични ред троугластих бројева, чија је Абелова и Ојлерова сума једнака 18.[17] Четвороструки Кошијев производ реда 1 − 1 + 1 − 1 + ... износи, ипак, 1 − 4 + 10 − 20 + ..., што представља наизменични ред тетраедалних бројева, чија је Абелова сума једнака 116.

Друга генерализација реда 1 − 2 + 3 − 4 + ... на нешто другачији начин јесте ред 1 − 2n + 3n − 4n + ... за остале вредности n. У случају да n има вредност позитивног броја, редови овог типа имају следеће Абелове суме:[18][5]

где су Bn Бернулијеви бројеви. Када је n паран број, једначина се своди на:

Последња сума постала је Абелов предмет подсмеха, који је 1826. године записао следеће:


Чезаров учитељ, Ежен Шарл Каталан, такође је понижавао дивергентне редове. Под његовим утицајем, Чезаро је „условне формуле“ за 1 − 2n + 3n − 4n + ... првобитно окарактерисао као „апсурдне једнакости“, а 1893. године изразио је мишљење — уобичајено за то време — да су формуле погрешне, али и на неки начин корисне. Коначно, у свом делу Sur la multiplication des séries из 1890. године, Чезаро је применио савремени приступ, почев од дефиниција.[19]

Редови су предмет проучавања и за вредности n које нису цели бројеви, који сачињавају Дирихлеову ета-функцију. Део Ојлеровог занимања за изучавање редова повезаних са редом 1 − 2 + 3 − 4 + ... била је функционална једначина за ета-функцију, што директно доводи до функционалне једначине за Риманову зета-функцију. Ојлер је већ постао познат по проналажењу вредности ових функција са позитивним парним бројевима — укључујући и Базелски проблем — а покушавао је да пронађе вредности и за позитивне непарне бројеве — укључујући и Аперијеву константу — проблем који је остао нерешен и необјашњив до данас. Са Ојлеровим методама је лакше радити са ета-функцијама, због тога што је Абелово сумирање његовог Дирихлеовог реда увек могуће. С друге стране, Дирихлеов ред са зета-функцијама теже се сумира, јер тај ред дивергира.[20] Тако на пример, ред 1 − 2 + 3 − 4 + ... у зета-функцији јесте ненаизменичан ред 1 + 2 + 3 + 4 + ..., који има дубоке примене у савременој физици, али захтева примену много јаче методе за израчунавање његових сума.

Референце

[уреди | уреди извор]
  1. ^ Hardy 1949, стр. 8.
  2. ^ Beals 2004, стр. 23.
  3. ^ Hardy 1949, стр. 6.
  4. ^ Ferraro 1999, стр. 130.
  5. ^ а б Hardy 1949, стр. 3.
  6. ^ Weidlich 1950, стр. 52—55.
  7. ^ Hardy 1949, стр. 9.
  8. ^ Weidlich 1950, стр. 17—18.
  9. ^ Ferraro 1999, стр. 118.
  10. ^ Tucciarone 1973, стр. 10.
  11. ^ Ferraro 1999, стр. 123—128.
  12. ^ Lavine 1994, стр. 23.
  13. ^ Vretblad 2003, стр. 231.
  14. ^ Euler 1768, стр. 3, 26.
  15. ^ Weidlich 1950, стр. 59.
  16. ^ Saichev & Woyczyński 1996, стр. 260—264.
  17. ^ Kline 1983, стр. 313.
  18. ^ Knopp 1956, стр. 491.
  19. ^ Ferraro 1999, стр. 120—128.
  20. ^ Euler 1768, стр. 20—25.

Литература

[уреди | уреди извор]

Спољашње везе

[уреди | уреди извор]