From Wikipedia, the free encyclopedia
У математици, дивергентни редови су бесконачни редови који нису конвергентни, што значи да бесконачан низ парцијалних сума низа нема коначних граница.
Les séries divergentes sont en général quelque chose de bien fatal et c’est une honte qu’on ose y fonder aucune démonstration. ("Дивергентни редови су генерално нешто фатално, и штета је базирати било какав доказ за њих." Често се преводи и као "Дивергентни редови су проналазак ђавола …")
Н. Х. Абел, писмо Холбоу, јануар 1826, прештампан у тому 2 његових сабраних дела.
Ако ред конвергира, појединачни чланови се морају приближавати нули. Следи да сваки ред у коме се поједини чланови не приближавају нули дивергира. Међутим, за конвергирање су потребни додатни услови: не конвергирају сви редови чији се чланови приближавају нули. Пример је хармонијски ред
Дивергенција хармонијског низа је доказана од стране средњовековног математичара Никола Оресме.
У посебним математичким контекстима, могуће је вредност објективно придружити одређеном низу чији низ парцијалних сума дивергира. Тако се даје други смисао дивергентности реда. Поступак метода сумирања или метода сума је парцијална функција из скупа низова до вредности. На пример, Цесаро сабирање додељује Грандијевим дивергентним редовима
вредност 1/2. Цесаро сумирање је метод просека, по томе што се ослања на аритметичку средину низа парцијалних сума. Друге методе укључују аналитичко настављање сличних низова. У физици, постоји широк спектар метода сумирања; о њима је дискутовано у више детаља у чланку о регуларизацији.
... пре Кошија математичари се нису прво питали 'Како ћемо дефинисати 1−1+1...?' већ 'Шта је 1−1+1...?' и та навика размишљања их је водила у непотребне недоумице и контроверзе које су често биле чисто вербалне.
Г. Х. Харди, Дивергентни редови, страна 6
Пре 19. века дивергентни редови су били у широкој употреби од стране Ојлера и других, али су често доводили до конфузних и контрадикторних резултата. Главни проблем је била Ојлерова идеја да дивергентни редови треба природно да имају суму, без претходног дефинисања шта се подразумева под збиром дивергентног реда. Коши је на крају дао строгу дефиницију збира (конвергентног) реда, и неко време након овога дивергентни редови су углавном искључени из математике. Они су се поново појавили 1886. године са Поенкареовим радом о асимптотским низовима. Године 1890. Цесаро је схватио да се може дати ригорозна дефиниција збира неког дивергентног реда, и дефинисао је Цесаро сабирање. (Ово није била прва употреба Цесаро сабирања који је имплицитно користио Фробениус 1880.; кључни Цесаров допринос није био откриће овог метода, већ његова идеја да треба дати експлицитну дефиницију збира дивергентног низа.) Годинама после Цесарових новина неколико других математичара дало је друге дефиниције збира дивергентних редова, иако они нису увек били компатибилни: различите дефиниције могу дати различите одговоре за збир истих дивергентних редова, тако да када се говори о збиру дивергентних редова, потребно је одредити које методе сумирања су коришћење.
Метод сумирања М је регуларан, ако се слаже са стварним лимитом на свим конвергентним редовима. Такав резултат се зове абелиан теорема за М, са прототипом Абелове теореме. Занимљивији и уопште суптилнији су парцијални резултати, који се називају таубериан теорема, из прототипа доказаног од стране Алфреда Таубера. Овде парцијални резултат значи да ако М сумира низ Σ, а неки страни уређај има, онда је Σ конвергира на првом месту; без бочног услова такав резултат би рекао да је М сумирао само конвергентни низ (правећи га бесмисленим као метод сумирања за дивергентне редове).
Оператер који даје збир конвергентног реда је линеаран, и то проистиче из Хан-банахове теореме која се може проширити и на методе сумирања сабирајући било којиред са целовитим парцијалним збиром. Ова чињеница није веома корисна у пракси, јер има много таквих локала, који су у конзистенцији међусобно, као и због тога што доказивање таквих постојећих оператера захтева позивање на аксиому избора или њених еквивалената, као што је Зорнова лема. Они су стога неконструктивни.
Предмет дивергентног реда, као домена математичке анализе, првенствено се бави експлицитним и природним техникама као што су Абелово сабирање, Цесаро сабирање и Борел сабирање, и њихови односи. Појава Винерове таубериан теореме обележена као епоха у предмету, уводи неочекиване везе са методама Банакове алгебре у Фуријеовим анализама.
Сума дивергентног реда се односи и на методе екстраполације и секвенцијалне трансформације као нумеричке технике. Примери за такве технике су Паде апроксимантс, Левин-тајп секвенцијална трансформација и зависно мапирање у вези са техникама ренормализације за велику теорију пертурбације у квантној механици.
Метод сумирања се обично концентрише на редослед парцијалних сума реда. Иако ово секвенца не конвергира, често можемо наћи да када узмемо просек већих и већих бројева почетних услова у низу, просек конвергира, а можемо користити овај просек уместо лимита за процену збира реда . Дакле, у процени a = a0 + a1 + a2 + ..., радимо са редоследом s, где је s0 = a0 and sn+1 = sn + an+1. У конвергентном случају, редослед ѕ приближава лимит. Метод сумирања се може посматрати као нека функција из скупа низа парцијалних сума до вредности. Ако је А свака метода сумирања која додељује вредности низу секвенци, можемо механички превести ово на методу сумирања низа AΣ која додељује исте вредности одговарајућем низу. Постоје одређене особине које је пожељно да ове методе имају да стигну на вредности које одговарају границама и сумама.
Трећи услов је мање важан, а неке значајне методе, као што је Борел сабирање, га не поседују .[3]
Такође се може добити слабија алтернатива до последњег стања.
Пожељна особина два метода сумирања A и B да деле је конзистенција: A и B су конзистентни за сваки низ s за који оба додељују вредности, A(s) = B(s). Ако су два метода конзистентна и један сумира више редова него други, онај који сумира више редова је јачи.
Постоје снажне нумеричке методе сумирања које нису ни редовне ни линеарне, пример нелинеарних секвенцијалних трансформација као што је Левин-тајп секвенцијална трансформација и Паде апроксимантс, као и зависне пертурбативни редови засновани на техникама ренормализације.
Узимајући регуларност, линеарност и стабилност као аксиоме, могуће је сумирати многе дивергентне редове основним алгебарским манипулацијама. Ово делимично објашњава зашто многе различите методе сумирања дају исти одговор за одређене редове.
На пример, кад год је r ≠ 1, геометријски редови
могу да буду процењени без обзира на конвергенције. Ригорозније, свака метода сумирања која поседује ове особине и која додељује граничну вредност геометријског низа мора да додели ову вредност. Како год, када је r реалан број већи од 1, парцијалне суме расту без граница, а просечне методе додељују лимит ∞.
Две класичне методе сумирања за ред, обичне конвергенције и апсолутне конвергенције, дефинишу брие као границу појединих парцијалних сума. Строго говорећи, ово нису баш методе сумирања за дивергентне редове, као што по дефиницији низ дивергира само ако ове методе не функционишу, али су укључене у потпуности. Већина, али не све методе сумирања за дивергентне редове проширују ове методе у већој класи секвенци.
Апсолутна конвергенција дефинише износ секвенце (или сета) бројева да буде граница мреже свих парцијалних сума ak1+ ...+akn, ако постоји. То не зависи од реда елемената секвенце, а класична теорема каже да секвенца апсолутно конвергира ако и само ако је редослед апсолутних вредности конвергентан у стандардном смислу.
Кошијева класична дефиницијазбира реда a0+a1+... дефинише суму да буде лимит секвенци парцијалних сума a0+ ...+an. Ово је подразумевана дефиниција конвергенције секвенци.
Претпоставимо да је pn секвенца позитивних израза, који почињу од p0. Претпоставимо и да
Ако сада трансформишемо секвенцу s коришћењем да p даје пондерисана средства, постављамо
онда се граница tn како n иде у бесконачност обично зове Норлунд значење Np(s).
Норлунд значење је регуларно, линеарно и стабилно. Штавише, било која два Норлунд значења су конзистентна.
Најзначајнија Норлунд значења су Цесаро сабирања. Ево, ако дефинишемо секвенцу pk
онда је Цесаро сабирање Сk дефинисано Ck(s) = N(pk)(s). Цесаро сабирање је Норлунд значењеако k ≥ 0, и стога су регулани, линеарни, стабилни и конзистентни. C0 је обичан збир, а C1 је обично Цесаро сабирање. Цесаро сабирање има особину да ако је h > k, онда је Ch јаче од Ck.
Претпоставимо да ј λ = {λ0, λ1, λ2, ...}строго растућа секвенца која тежи бесконачности, и да је λ0 ≥ 0. Претпоставимо да
конвергира за све реалне бројеве x>0. Тада је Абелиан значење Aλ дефинисано као
Уопштено, ако ред за f конвергира само за велико x али може бити аналитички настављено за свако позитивно реално x, онда се још увек може дефинисати збир дивергентног реда границом изнад.
Низ овог типа је познат као уопштен Дириклет низ; у апликацијама физике, ово је познато као метода регуларизације толотом зрна.
Абелиан значења су регуларна и линеарна, али не и стабилна и не увек конзистентна између различитих избора λ. Међутим, неки специјални случајеви су веома важни методи сумирања.
Ако је λn = n, онда добијамо метод Абел сабирања. Овде
где је z = exp(−x). Онда границаƒ(x) када се x приближава 0 путем позитивних реалних бројева је граница снаге редова за ƒ(z) кад се z приближава 1 одоздо кроз позитивне реалне бројеве, Абел сабирање A(s) је дефинисано као
Абел сабирање је занимљиво делом зато што је у складу са Цесаро сабирањем, али моћније : A(s) = Ck(s) сваки пут када ово дефинисано. Абел сабирање је стога регуларно, линеарно, стабилно, и конзистентно са Цесаро сабирањем.
Ако је λn = n log(n), онда (индексирањем једног) имамо
Онда L(s), Линделоф сабирање Volkov 2001, је граница ƒ(x) када x тежи нули. Линделоф сабирање је моћан метод када се примењује на снагу реда међу осталим апликацијама, сабирање снаге реда у Митаг-Лефлер стар.
Ако је g(z) аналитички у диску око нуле, а самим тим има Маклаурин ред G(z) са позитивним радијусом конвергенције, онда је L(G(z)) = g(z) у Митаг-Лефлер стар. Штавише, конвергенија g(z) је јединствена на компактним подскуповима звезде.
Неколико метода сумирања укључује узимање вредности аналитичког настављања функције.
Ако Σanxn конвергира за мали комплексан број x и може бити аналитички настављен дуж неког пута од x=0 до тачке x=1, онда збир низа може бити дефинисан да буде вреност за x=1. Ова вредност може зависити од избора пута.
Ојлер сабирање је у суштини експлицитна форма аналитичког наставка. Ако снага реда конвергира за мали комплексни број z и може се аналитички наставити у отворени диск пречника −1/(q+1) до 1 и настављајући до 1, онда је његова вредност Ојлерова или (E,q) сумирање низа a0+.... Ојлер је користио ово пре него што је аналитички наставак дефинисан у целини, и дао је експлицитне формуле за снагу низа аналитичког настављања.
Операције Ојлер сумирања може да се понови неколико пута, и то је у суштини еквивалентно узимању аналитичког наставка снаге низа до тачке z=1.
Ова метода дефинише износ низа да буде вредност аналитичког наставка Дириклет низа
за s=0, ако ово постоји и јединствен је. Овај медот се понекад меша са зета функцијом регулисања.
Ако низ
(за позитивне вредности an) конвергира за велико реално s и може се аналитички настављати дуж реалне линије до s=−1, онда се његова вредност за s=−1 зета регуларизација збира низа a1+a2+... Зета функција регуларизације је нелинеарна. У апликацијама, бројеви ai су понекад сопствене вредности само-адјоинт оператера А са компактним ресолвентом, и f(s) је онда траг A−s. На пример, ако A има сопствене вредности 1, 2, 3, ... онда је f(s) Риманова зета функција, ζ(s), чија је вредност за s=−1 једнака −1/12, додељујући вредности дивергентном реду 1 + 2 + 3 + 4 + ⋯. Друге вредности s се такође могу користити за додељивање вредности дивергентном реду ζ(0)=1 + 1 + 1 + ... = -1/2, ζ(-2)=1 + 4 + 9 + ... = 0 и уопштено, где је Бk Бернулијев број.[4]
Ако је J(x)=Σpnxn интегрална функција, онда J је збир низа а0+... дефинисан као
Ако граница постоји.
Постоји варијантна овог метода где зинс за J има коначан радијус конвергенције r и дивергира за x=r. У том случају се дефинише сума као горе, осим узимања границе као када x тежи r него бесконачности.
У овом специјалног случају када J(x)=ex ово даје једну (слабу) форму Борел сабирања.
Валиронов метод је генерализација Борел сабирања до одређених општијих интегралних функција Ј. Валирон је показао да је под одређеним условима еквивалентно дефинисати збир низа ако је
где је Х други дериват Г и c(n)=e−G(n).
Претпоставимо да је dμ мера на реалној правој тако да су сви тренуци
коначни. Ако је a0+a1+... такав низ да
конвергира за свако x у подршци μ, онда је (dμ) збир низа дефинисан као вредност интеграла
ако је дефинисан. (Приметимо да ако бројеви μn расту брзо, онда они не одређују једнако меру μ.)
На пример, ако је dμ = e−xdx за позитивно x и 0 за негативно x онда је μn = n!, и то даје једну верзију Борел сабирање, где је вредност суме дата као
Постоји генерализација ове зависности на променљивој α, која се назива (Б',α) збир, где је збир низа a0+... дефинисан као
ако овај интеграл постоји. Даља генерализација је да се замени износ по интегралу његовим аналитичким наставком од малог t.
Hardy 1949, chapter 11 .
1812. године Хутон је увео метод сабирања дивергентног низа почевши са секвенцом парцијалних сума, и поновљањем примене операције за замену секвенцу s0, s1, ... путем просека секвенци (s0+ s1)/2, (s1+ s2)/2, ..., а затим узимајући границу Hardy 1949, p. 21 .
Ред a1+... се назива Ингам сабирање до ѕ ако је
Алберт Ингам је показао да ако је δ било који позитиван број онда (Ц,−δ) (Цесаро) сабирање имплицира Ингам сабирање, а Ингам сабирање инплицира (Ц,δ) сабирање Hardy 1949, Appendix II .
Ред a1+... се назива Ламберт сабирање до ѕ ако је
Ако је ред (Ц,к) (Цесаро) могуће сабрати за свако к онда је Ламбер сумирајући до исте вредности, а ако је низ Ламберт сумирајући, онда је Абел сумирајући до исте вредности Hardy 1949, Апендикс II .
Ред a0+... се назива Ле Рој сабирање до ѕ ако је
Hardy 1949, 4.11
Ред a0+... се назива Митаг-Леферово (M) сабирање до ѕ ако је
Hardy 1949, 4.11
Рамануџаново сабирање је метод додељивања вредности дивергентним низовима коришћених од стране Рамануџана и на основу Ојлер-Маклауринове формуле сабирања. Рамануџаново сабирање низа f(0) + f(1) + ... не зависи само од вредности f у целим бројевима, већ и од вредности функције f са не-саставне тачке, тако да није баш метод сумирања у смислу овог члана.
Ред a1+... се назива (Р,k) (или Рејман) сумира се до s ако је
Hardy 1949, 4.17 .
Низ a1+... се назива Р2 сумира се до s ако је
Ако λn формирати растући низ реалних бројева
онда је Риесз (R,λ,κ) сумирање низа a0+... дефинисано као
Ред a1+... се назива ВП (или Вале-Поусин) сумира се до ѕ ако је
Харди 1949, 4.17 .
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.