Klávesové zkratky na tomto webu - základní
Přeskočit hlavičku portálu

Matykání: chcete vyhrát milión dolarů?

9. 11. 2017 9:09:09
Na počátku tisíciletí vybral americký Clay Institute sedm důležitých matematických problémů a na vyřešení každého z nich vypsal odměnu ve výši milion dolarů. Jeden z nich se zabývá komplexními kořeny Riemannovy Zeta funkce.

Riemannova hypotéza patří k nejdůležitějším nevyřešeným problémům současné matematiky a plným právem jí náleží čestné místo mezi zmíněnou "sedmičkou tisíciletí" (kompletní výčet zde: česky - anglicky).

Jak lze vyčíst ze jména, tuto zatím nepotvrzenou domněnku vyslovil poprvé německý matematik Bernhard Riemann, když v roce 1859 publikoval článek "O počtu prvočísel menších než daná hodnota" (Über die Anzahl der Primzahlen unter einer gegebenen Größe), ve kterém uvedl do praxe jeden z nejmocnějších nástrojů analytické teorie čísel - rozšíření Zeta funkce do komplexního oboru.

A právě rozložení kořenů této funkce v komplexní rovině se dotýká hypotéza na jejíž hlavu je vypsána ona milionová odměna. Můžete si ji tedy představit jako pokus vyřešit kvadratickou rovnici s komplexními kořeny - řekněme:

z² - 3z + 7 = 0

pouze s tím "drobným" rozdílem, že na levé straně nebudete mít kvadratickou funkci, ale Zeta funkci. Budete tedy analyzovat všechna řešení rovnice Zeta(z) = 0 v komplexní rovině. A dokonce je ani nebudete muset všechny najít (ono je jich taky nekonečně mnoho). Stačí když ukážete, že všechny netriviální kořeny leží v komplexní rovině na vertikální přímce x = 1/2.

A protože je mi jasný, že se na ty prachy přímo třesete, nebudeme dělat žádné skopičiny a jdeme rovnou na věc.

=========

Komplexní Zeta funkce

(jako obvykle: 2*3 bude "dva krát tři" a 2^3 bude "dvě na třetí")

Zeta funkci - zatím jen s reálnou proměnnou s - navrhnul v první polovině 18. století Leonard Euler jako pomůcku pro studium vlastností celých čísel, zejména prvočísel. Zeta funkce se totiž dá rozepsat jako tzv. Eulerův součin (viz závěr tohoto Matykání a nebo anglicky zde), do kterého každé prvočíslo přispívá jedním faktorem. Nekonečný součin je ale konceptuálně komplikovanější než součet a proto se hodnota funkce Zeta(s) pro dané reálné číslo s obvykle definuje pomocí nekonečné řady zadané formulkou (1).

(ostatní formulky zatím ignorujte - k nim se dostanu v průběhu článku)

Nekonečná řada čísel nemusí mít nutně konečný součet (viz toto Matykání). Standardní analýzou konvergence - přesně tou, se kterou se dnes potýkají studenti technických oborů v prváku - se ukázalo, že důležitou hranicí pro konečnost naznačeného součtu je hodnota s=1, která vede k tzv. harmonické řadě:

1 + 1/2 + 1/3 + 1/4 + 1/5 + ...

Když si ty členy začnete zkusmo sčítat, zjistíte, že průběžný součet roste sice velmi pomalu, ale nakonec se do nekonečna přece jen doplazí, takže hodnota Zeta(1) bude nekonečno (říkáme, že Zeta funkce má pól v bodě s=1).

Pro všechna s>1 se členy napravo již zmenšují dostatečně rychle, takže řada konverguje a její konečný součet pak definuje hodnotu Zeta(s). Pro s<1 řada diverguje (součet je nekonečný) a pro tato s není reálná Zeta funkce definována. Její chování na definičním intervalu je zobrazeno na obrázku vpravo (můžete si sami zkusit, že pro velké hodnoty s se ty členy ve formulce (1) vpravo zmenšují tak rychle, že celá suma je pak jen těsně nad jedničkou).

Z pohledu reálné analýzy by se s trochou nadsázky dalo říci, že Zeta patří k nejnudnějším funkcím celé matematiky. Žádné extrémy, žádný přechod z konvexního režimu do konkávního, žádné kořeny.

Tento pohled se však zásadně změnil v okamžiku, kdy Riemanna napadlo tuto funkci rozšířit do komplexní roviny. V ní se z ošklivého kačátka vyklubala elegantní (byť trochu mystická) labuť.

Definice komplexní Zeta funkce (2) je prakticky stejná jako v reálném případě, jen si za exponenty příslušné řady volíme komplexní čísla (v případě Zeta funkce se pro komplexní proměnnou zpravidla používá notace z = s+it namísto klasického z=x+iy).

+++++++++

Nejprve si musíme říci, jak umocnit reálné číslo na komplexní exponent.

Není to žádná velká věda - v podstatě se odvoláme na středoškolskou definici obecné mocniny pomocí exponenciely a logaritmu:

a^z = exp(z*ln(a))

Díky tomu, že všechny základy ve formulce (2) jsou reálná čísla, ten logaritmus na pravé straně je reálný (přirozený) a nemusíme si lámat hlavu se záludnostmi komplexního logaritmu. Budeme ale potřebovat komplexní exponencielu (viz toto Matykání), která nám umožní definovat žádanou komplexní mocninu pomocí formulky (3). První část výsledné hodnoty vpravo ukazuje absolutní hodnotu mocniny, zatímco ta druhá udává "směr" komplexního čísla (celá ta věc v závorce napravo je vlastně bod na jednotkové kružnici a tedy jakýsi směrový vektor). Použití této formulky si můžete sami procvičit:

(1/2)^(2+3i) = (0.5)^(2+3i) = -0.1217 - 0.2184 i

(1/4)^(2.3-3.7i) = (0.25)^(2.3-3.7i) = 0.0167 - 0.0377 i

Jak ta nekonečná suma funguje (v reálném i komplexním případě) si můžeme znázornit geometricky. Každý člen té řady v definiční formulce si představíme jako malou úsečku (či vektor), liché členy modře, sudé žlutě, a výsledný součet dostaneme tak, že ty úsečky zřetězíme - tedy postavíme jednu za druhou (nezapomeňte, že komplexní čísla sčítáme jako vektory) a podíváme se, kam se takto vzniklý dvoubarevný had po nekonečně mnoha krocích doplazí.

Pro reálnou Zeta funkci je to ukázáno na následujícím obrázku vlevo (s=1.75), pro komplexní pak vpravo (z = 1.75-2i). Například druhý sčítanec komplexního součtu (2) pak odpovídá výrazu (1/2)^(1.75-2i), což se po vyčíslení rovná 0.0545+0.292i a proto ta druhá (žlutá) úsečka vpravo trčí ve směru severo-severo-východním.

Na tom obrázku jsem vám samozřejmě ukázal jen prvních pár členů (tedy konečný počet). Abyste dostali hodnotu Zeta funkce, musíte si je v tom nekonečném součtu představit všechny. Proto je ta výsledná hodnota Zeta funkce, označená červeným bodem trochu "vepředu" z pohledu těch barevných hadů. Pro vyšší hodnoty s se ty úsečky ale zmenšují poměrně rychle, takže pro solidní aproximaci Zeta funkce vám obvykle stačí sečíst doslova jen prvních pár členů, což si můžete ověřit pomocí online Zeta kalkulačky (v závorce změňte nastavené hodnoty na své vlastní a stiskněte Enter/Return).

+++++++++

Celá tahle umocňovací piškuntálie ale funguje pouze pro komplexní čísla z, pro která je reálná část s>1 (opět z důvodu konvergence - tedy konečnosti součtu té definiční řady). A to znamená, že zatím jsme si Zeta funkci definovali jen v poměrně malé části komplexní roviny - viz zelená oblast v následující orientační mapce (na ní je reálný definiční obor, původně uvažovaný Eulerem, vyznačen fialově).

(zatím se soustřeďte jen na barvu pozadí - mimochodem, ten světle zelený rámeček kolem dokola k obrázku nepatří - ten byl vytvořen serverem)

Minule jsme si řekli, že komplexní funkce mají tu magickou vlastnost, že se dají jednoznačně rozšířit i z poměrně malé definiční oblasti. Ony v jistém smyslu vědí, "kam chtějí jít". Ta podmínka, aby měly komplexní derivaci je natolik silná a svazující, že existuje pouze jeden (!) způsob jak danou funkci rozšířit, aniž by se ta komplexní derivace porušila. Takže z pohledu matematika je rozšíření Zeta funkce do zbytku komplexní roviny garantováno komplexní analýzou. Té funkci je úplně jedno, že její definiční formulka pro s<1 nefunguje. Ona se v té zelené oblasti toho o sobě dozví dostatek na to, aby své rozšíření zvládla sama (pomocí mocninných řad). Na YouTube najdete velmi hezké video, které analytické rozšíření zeta funkce popisuje bez zbytečných technických detailů (kruciální je pasáž kolem 12. minuty, kde vidíte, že pokud byste to rozšíření zdeformovali, tak ztratíte hladkost komplexní funkce - místo komplexní derivace zde autor používá názornější funkční "siločáry" - ne nepodobné těm z předminulého Matykání).

+++++++++

Z pohledu normálního smrtelníka, je ale myšlenka analytického "samorozšíření" trochu divoká a abstraktní. Proto vám ukážu dvě vychytávky, které vám umožní představit si, co Zeta funkce dělá ve zbytku komplexní roviny.

V první řadě se ukázalo, že zeta funkce splňuje tzv. funkcionální rovnici (4), která svazuje její hodnotu v bodě z s hodnotou v bodě 1-z. Pokud s hodnotou z projíždíte záporná reálná čísla od nuly směrem doleva, výraz 1-z projede přesně podél Eulerova původního definičního oboru (na mapce fialově). A v něm už Zeta funkci známe, takže tento trik nám umožní spočítat hodnotu ve všech záporných číslech (všechno ostatní napravo v té rovnici jsou pak známá čísla nebo funkce - Gamma funkce je rozšíření faktoriálu a definoval jsem ji v tomto Matykání). No a pro zbytek té modré oblasti vlevo se to udělá podobně - stačí si uvědomit, že komplexní čísla z a 1-z jsou symetrická podle bodu z=1/2 (spočítejte si jejich aritmetický průměr!), takže kdykoliv číslo z leží v té modré části, číslo 1-z bude ležet v části zelené a tam už máme Zeta funkci spočítanou. Pronásobením všech členů napravo ve formulce (4) pak dostaneme hodnoty Zeta funkce v modré části komplexní roviny: Re(z)<0.

Jediný kousek komplexní roviny, kde nám tento fígl neprojde je ta červená oblast (kde je reálná část komplexního čísla mezi 0 a 1). Tato oblast totiž leží ve "srážkovém stínu" funkcionální rovnice (4). Komplexní čísla z v její levé polovině (0<s<1/2) se odkazují na čísla 1-z, která budou ležet v polovině pravé (1/2<s<1). A ani pro jedny zatím neumíme Zeta funkci popsat.

A jak už to tak bývá, to nejzajímavější na Zeta funkci se odehrává právě v této části komplexní roviny, které se proto říká "kritický pás" (angl. critical strip). Naštěstí není všechno ztraceno a i v této "zemi nikoho" se dá to tajemné "analytické samorozšíření" popsat poměrně explicitně pomocí Dirichletovy Eta funkce - viz vzoreček (5).

Ta je definována prakticky stejnou řadou jako Zeta funkce, jen se v ní pravidelně střídají znaménka. To má za následek, že se dá explicitně spočítat i pro hodnoty z jejichž reálná část je menší než jedna (ale větší než nula). Intuitivně to není nic překvapivého - pokud v té řadě tu něco přičteme, tu zase odečteme, můžeme si dovolit podstatně nižší rychlost zmenšování jejích členů než když stále jen přičítáme.

Nejlépe je to vidět na harmonické řadě se střídavými znaménky:

1 - 1/2 + 1/3 - 1/4 + 1/5 - 1/6 + ...

Tato řada definuje Eta funkci v bodě 1 a na rozdíl od standardní harmonické řady konverguje k hodnotě ln(2), což se dá ukázat pomocí mocninných řad logaritmu.

Eta funkce se tedy dá definovat přímo ze vzorečku pro Re(z)>0, což je sjednocení té zelené a červené oblasti. Navíc mezi Eta funkcí a Zeta funkcí existuje poměrně jednoduchý vztah (6), který můžete použít pro definici Zeta funkce v kritickém pásu a pro analýzu jejího chování v něm.

Není to ani nijak zvlášť těžké. Když si ty dvě definiční řady pro Eta i Zeta funkci odečtete (rovnice (2) - rovnice(5)), liché členy vpravo se vymlátí a z těch sudých si vytknete dvojku (na příslušnou mocninu), čímž dostanete další kopii Zeta funkce (jako když ze sudých čísel vytknete dvojku a dostanete kopii celých čísel). No a pak už to za pomoci středoškolské lopaty lehce domlátíte do tvaru (6). Oproti tomu, odvození funkcionální rovnice (4) je poměrně obtížné (viz zde a nebo zde) a rozhodně nedoporučuji se do toho pouštět holýma rukama.

Tímto je Zeta funkce definována v celé komplexní rovině jakž takž konstruktivně.

Aleluja!

=========

Kořeny Zeta funkce

Riemannova hypotéza se týká kořenů komplexní Zeta funkce, tedy komplexních čísel, splňujících rovnici Zeta(z) = 0 (když je do této funkce na vstupu dosadíte, tak vám na výstupu vypadne 0).

Nejdříve si uvědomíme, že v té zelené pravé části žádné kořeny nejsou, protože Zeta funkce se tam dá vyjádřit pomocí výše zmíněných Eulerových součinů. A protože každý z těch součinitelů je nenulový, bude nenulový i jejich součin.

Ve zbytku komplexní roviny ovšem Zeta funkce nějaké ty kořeny má. A hned dvojího druhu: triviální v modré části a netriviální v červené.

Nejprve ty triviální.

Podívejte se dobře na funkcionální rovnici (4) a vyčíslete si ji v libovolném záporném sudém čísle, tj. dosaďte si do ní z=-2n, kde n je přirozené číslo. Na pravé straně se uvnitř sínu ty dvojky vykrátí a dostanete tam sínus v celočíselném násobku π (3.14). Každý, kdo si ze střední školy pamatuje goniometrické funkce v radiánech ví, že sin(nπ)=0. A jakmile máte v tom součinu na pravé straně rovnice (4) jednu nulu, je vymalováno. Celá pravá strana je pak nula a Zeta v tomto bodě (z=-2n) bude také nula. A rázem máme nekonečně mnoho kořenů - jeden pro každé záporné sudé číslo (z = -2, -4, -6, -8, -10, -12...).

Za tyhle kořeny (na mapě Zeta funkce jsou vyznačeny černě) vám ovšem nikdo nedá ani cent, protože středoškolskou matematiku umí každý středoškolák (nebo skoro každý). Proto se jim také říká triviální.

Možná vám teď vrtá hlavou, proč nejsou kořeny i v kladných sudých číslech: z=2, 4, 6, ... Tam bude přece sínus celočíselného násobku pí také nula. To je sice pravda, ale pro tyto hodnoty v tom vzorečku zaúřaduje Gamma funkce. Výraz Gamma(1-z) má v těchto bodech póly, které ty "další" sínusové kořeny pěkně sežerou. To "sežrání" funguje zhruba takto. Představte si, že studujeme kořeny součinu dvou funkcí (x)*(1/x). Ta první funkce f(x)=x má samozřejmě kořen v nule, takže už se vám chce zvolat, že i ten součin bude mít v nule kořen. Ale ouha. Ten náš vyhlídnutý kořen v nule "sežere" ta druhá funkce g(x) = 1/x, která má v nule pól. Součin obou funkcí je totiž jednička (f(x)*g(x)=1) a ta žádný kořen nemá.

Takže sečteno a podtrženo: v té modré části má zeta funkce nekonečně mnoho (triviálních) kořenů v záporných sudých číslech. Žádné další kořeny už v té modré části (Re(z)<0) nejsou.

+++++++++

A tím se dostáváme k vyvrcholení celého dramatu.

Všechny ostatní (netriviální) kořeny Zeta funkce se musí nalézat v kritickém pásu a již více než 100 let je známo, že i těch musí být nekonečně mnoho. Kde ovšem všechny přesně leží se zatím neví.

Riemann se ve svém článku pustil do jejich studia a všiml si, že prvních pár netriviálních kořenů se nalézá na přímce x=1/2, která ten kritický pás půlí (tato tzv. "kritická přímka" je na mapě Zeta funkce vyznačena červeně). Vyslovil proto domněnku, že všechny ostatní (netriviální) kořeny Zeta funkce leží na kritické přímce, ale přiznal, že to neumí dokázat.

A ani po 150 letech se to nikomu nepodařilo, přestože se toto tvrzení, známé jako "Riemannova hypotéza" (česky - anglicky), stalo jedním z nejslavnějších matematických problémů a Zeta funkce je pod neustálou palbou argumentů ze všech možných odvětví matematiky i fyziky.

Úplně bezvýsledná ale tato ofenzíva nebyla - dnes například víme, že prvních cca 10 bilionů netriviálních kořenů, které se zatím podařilo spočítat na té přímce skutečně leží (kdo chce pár stovek vidět na vlastní oči, mrkněte sem). Také už víme, že více než 40% kořenů v kritickém pásu musí ležet na kritické přímce (to je ovšem podstatně slabší tvrzení než Riemannova hypotéza, která tvrdí, že na kritické přímce musí ležet všechny - tedy 100%) a dále víme, že existují určité oblasti kritického pásu (tzv. zero-free regions), kde žádné kořeny jistojistě neleží. Zhruba řečeno jsou to oblasti, které leží u hranic kritického pásu. Pokud tedy existují nějaké kořeny mimo kritickou přímku (ty modré), neměly by ležet příliš daleko od ní.

Na mapce Zeta funkce výše jsem ty již objevené netriviální kořeny vyznačil červeně a jsou přesně tam, kde mají být. Případné hypotetické kořeny mimo kritickou přímku (které by vyvrátily Riemannovu hypotézu) jsem pro ilustraci přidal k obrázku také a vyznačil je modře. Vzhledem k tomu, že žádné zatím neznáme, posadil jsem je do náhodně zvolené pozice a jejich přítomností chci hlavně říci to, že takové "bludné" kořeny by se musely vyskytovat v pravidelných čtveřicích, jak je patrné z obrázku. Musely by být umístěny zrcadlově podle osy x a podle kritické přímky, protože Zeta funkce v sobě nese určité symetrie - jedna z nich vyplývá z funkcionální rovnice a druhá ze vztahu pro komplexně sdružený argument:

Zeta(z*) = Zeta(z)*

Z laického pohledu by se mohlo zdát, že nejsnadnější cesta k tomu milionu dolarů je prostě navštívit babku kořenářku a nějaký ten netriviální (modrý) kořen mimo kritickou přímku najít. Tím by byla Riemannova hypotéza spolehlivě vyvrácena. Ale dřív než začnete do výše zmíněné Zeta kalkulačky bušit náhodná komplexní čísla z kritického pásu v naději, že objevíte zlato, vězte, že většina matematiků se shoduje, že Riemannova hypotéza pravděpodobně platí, takže lepší strategie asi bude pokusit se ji dokázat než vyvrátit.

Abychom si mohli vizuelně představit, co se v tom kritickém pásu vlastně děje, vzal jsem si ty tři přímky naznačené na výše uvedené mapě a všechny je pomocí Zeta funkce zobrazil do výstupní komplexní roviny (tak jako jsem to pro jinou funkci udělal v první sekci tohoto Matykání - poslední 2 grafíky). Tím pádem se můžete podívat, co Zeta funkce provádí nejen s kritickou přímkou (červeně), ale i s přímkami těsně před ní a těsně za ní. Kořen Zeta funkce bude ležet v takové hodnotě s+ti, kde ten obraz přímky projede počátkem.

Všimněte si, že obrazy těchto tří vertikálních přímek se skládají z jakýchsi nepravidelných kudrlinek. Představte si, že jsme do počátku 0+0i zatloukli hřebík. Pro s=0.3 se všechny kudrlinky otáčí až za hřebíkem, pro s=0.7 už před hřebíkem a pro s=0.5 (kritická přímka) tím hřebíkem - jako na potvoru - projedou všechny. Jako by se rozhodly spáchat masovou sebevraždu. Pokud při jízdě podél té červené křivky sledujete na tachometru hodnotu t, tak kdykoliv projedete počátkem, máte jeden kořen.

Aby bylo dynamicky vidět, jak ty křivky vznikají, rozvinul jsem je do tří videí.

Zeta: s=0.3
Zeta: s=0.5
Zeta: s=0.7

Samozřejmě to, co vám ukazuju, je jen kousek obrazu každé přímky (pro t od 0 do 90). Stále je teoreticky možné, že pro nějakou opravdu velkou hodnotu t se jedna z těch nečervených kudrlinek neudrží a narazí do toho hřebíku dříve (s<0.5) a nebo později (s>0.5) než by bylo záhodno - a to by Riemannovu hypotézu vyvrátilo. Pravděpodobnější však je, že nějaký zatím neznámý zákon umožnuje průchod počátkem pouze kudrlinkám z kritické přímky. A aby to synchronizované harakiri bylo lépe vidět, podíváme se ještě na jednu animaci, která nám ukáže jak se ten modrý obrázek změní v ten červený a nakonec v zelený, když spojitě měníme hodnotu s. Jinými slovy, já budu tu modrou přímku v komplexní rovině pomalu posunovat doprava a animace vám ukáže, jak se postupně mění její zobrazení Riemannovou Zeta funkcí.

Zeta: pohyblivá přímka mezi s=0.2 a s=0.8

+++++++++

Další pomůckou pro pochopení Zeta funkce na kritické přímce (kde leží všechny zatím objevené kořeny) je graf absolutní hodnoty. S téčkem pojedu po kritické přímce nahoru (hodnotu t vynáším na horizontální ose) a na vertikální ose naznačím hodnotu Zeta funkce v odpovídajícím bodě. A protože nás zajímají jen kořeny (které jsou charakterizované tím, že absolutní hodnota funkce je v nich nula), nemusíme se starat o celé komplexní číslo z na výstupu, ale jen o jeho absolutní hodnotu |z|. To je reálné číslo a bude se nám na ose y lépe vykreslovat.

A protože ty kudrlinky výše jsem sledoval jen do hodnoty t=35, tady se trochu rozšoupneme a v sérii pěti obrázků uvidíme chování Zeta funkce na kritické přímce až do hodnoty t=500. Kdekoliv se ta červená křivka "dotkne" horizontální osy, tam leží jeden z těch již objevených Zeta kořenů (tady nejlépe vidíte, jak jsou ty netriviální kořeny chaotické - skoro jako sama prvočísla). Ty vyšší bochánky pochopitelně odpovídají větším kudrlinkám z předchozího obrázku, ty nižší těm menším.

Já vím, ta křivka spíš vypadá jako byste pozorovali opilce vracejícího se ve dvě v noci z hospody domů a měřili odchylku jeho dráhy od středu silnice - ale je to opravdu Zeta funkce. Žádná náhodně vybraná čísla jsem z její definice nevyhodil (přestože to tak vypadá).

Pokud ještě někdo pochybuje o smysluplnosti rozšíření reálných funkcí do komplexní roviny, výše uvedený obrázek by měl být dostatečným argumentem pro takovou operaci. Když si vzpomenete na ten fialový graf ze začátku, musíte uznat, že v reálném oboru je Zeta funkce jen šedá nezáživná myška. Zato v komplexní rovině - a speciálně v kritickém pásu - rozkvete do krásy a poodhalí závoj skrývající v imaginárním oparu obrysy zrádného pohoří prvočísel. A na to konto se chová trochu jako vrtošivá operní diva. Hopsá si podél kritické přímky bez jakéhokoliv rozpoznatelného předpisu či zákonitosti a láká do svých tenat stovky nadšenců po celém světě. A nejen pro tu finanční odměnu. Ona má určité nedefinovatelné kouzlo sama o sobě. Možná i proto se každý rok objeví hned několik pokusů o důkaz Riemannovy hypotézy - zatím ale žádný z nich nebyl akceptován matematickou obcí.

No a pokud nejste zrovna příznivcem teorie komplexních funkcí, můžete se pokusit shrábnout ten miliónek tím, že dokážete některou z ekvivalentních formulací - tedy tvrzení z jejichž důkazu už by Riemannova hypotéza vyplynula (a naopak).

Tak hodně zdaru!

+++++++++

Na závěr této sekce ještě pár slov proč je Zeta funkce vlastně tak důležitá.

Především, jak už jsem naznačil na začátku, prostřednictvím Eulerových součinů má v sobě Zeta funkce zakódovány různé vlastnosti prvočísel (v jistém smyslu je dokonce klíčem pro jejich pochopení). Mnohé problémy týkající se prvočísel se dají z jejích vlastností přímo odvodit. Pomocí kořenů Zeta funkce se snažíme pochopit chování tzv. prvočíselné funkce π(x) (angl. prime counting function), která počítá kolik prvočísel se nalézá pod danou hodnotou x. Pro tuto funkci známe několik velmi dobrých aproximací (například x/ln(x)) a kořeny zeta funkce k nim v podstatě přidávají korekce, aby tyto přibližné funkce vyjadřovaly skutečné chování prvočísel (viz tato popularizační přednáška v angličtině). Pokud by se podařilo dokázat Riemannovu hypotézu, tak bychom získali daleko přesnější odhad pro chybu takových aproximací. Jak spolu rozložení prvočísel a rozložení netriviálních kořenů Zeta funkce souvisí je poměrně technická záležitost, nicméně pokud vás to zajímá, mrkněte sem a nebo sem.

Z pohledu laické veřejnosti je odhad takové chyby poměrně esoterickou záležitostí. Dá se ale ukázat, že Riemannova hypotéza je schopna nám o prvočíslech říci i věci, které lze pochopit bez znalosti vyšší matematiky. Například tohle: vyberte si náhodně nějaké přirozené číslo (jak chcete vysoké - klidně nějaký ten trilionek plus drobné). Toto číslo se dá samozřejmě rozložit na prvočíselné faktory a jejich počet je buď sudý a nebo lichý (třeba pro 6=2*3 je počet faktorů sudý, pro 30=2*3*5 je lichý). Riemannova hypotéza je ekvivalentní tvrzení, že lichý i sudý počet faktorů tohoto náhodně zvoleného čísla jsou stejně pravděpodobné (bez platnosti Riemannovy hypotézy se to kupodivu dokázat nedá).

Další důvod zájmu o Riemannovu hypotézu je propojení světa diskretních objektů (prvočísel) se zdánlivě nesouvisejícím světem spojitých funkcí (zeta funkce v komplexní rovině). Tato pozoruhodná vlastnost neunikla fyzikům, kteří se snaží pochopit přechod z mikrosvěta částic a balíčků energie do zdánlivě spojitého makrosvěta. I proto najdete Zeta znalce také v kvantové mechanice a nebo v teorii strun. A jako historickou perličku ještě dodám, že velkým příznivcem Zeta funkce byl také jeden ze zakladatelů moderní informatiky, Alan Turing.

=========

Sekce Jauvajs: 1+2+3+4+5+6+7+... = -1/12

(jen pro mimořádně otrlé povahy)

V posledních letech se na několika serverech diskutujících populární fyziku objevila pozoruhodná rovnice uvedená v titulku této sekce (viz zde a nebo zde a nebo zde), která nám víceméně říká, že pokud sečteme všechna přirozená čísla, dostaneme -1/12.

Nesmíme to ale samozřejmě brát doslova. Ta -1/12 je s tou řadou sice nějakým zůsobem svázaná, ale ne v tom smyslu, že by to byl přímo její zákonný součet.

Otázka přiřazení nějakého smysluplného čísla řadám, které nekonvergují (tedy nemají konečný součet v klasickém smyslu) je poměrně důležitá otázka, protože takové řady se občas vyskytnou při řešení různých fyzikálních úloh. A fyzikové se z pochopitelných důvodů nekonečnu vyhýbají jako čert kříži.

Takové úsilí má ale význam i z vnitřního pohledu matematiky. Podívejme se třeba na následující dvě řady:

1 + 2 + 3 + 4 + 5 + 6 + ...

1 + 4 + 9 + 16 + 25 + 36 + ...

Obě mají nekonečný součet, takže bychom je mohli charakterizovat symbolem pro nekonečno, ale přesto asi cítíte, že úplně stejné ty řady nejsou - ta druhá se k tomu nekonečnu prokousává podstatně rychleji.

To jak řadám s nekonečným součtem přiřadit nějaké konečné číslo je poměrně komplikovaná otázka. Můžete zkusit jednotlivými členy té řady proložit nějaký polynom a pak zkoumat jeho vlastnosti (třeba kořeny nebo průsečík s osou y). A nebo se můžete pokusit zobecnit vlastní pojem součtu - na to je celá řada metodologií, většinou používajících různé triky na zprůměrování částečných součtů (např. Abelovská či Cesarovská sumace - podrobnosti zde).

My se ale na ten "divný výsledek" z titulku podíváme pouze intuitivně - abychom nezabředli do bažiny nerovností a sumačních symbolů.

Označme si ten hledaný součet písmenkem S:

S = 1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + ...

Nejprve z něho uděláme součet řady se střídajícími se znaménky (ty se lépe manipulují) a to tak, že ten součet vynásobíme 4 a pak jeho členy postupně odečteme od sudých členů původní řady (liché necháme beze změny):

4S = 4 + 8 + 12 + 16 + 20 + ...

tak a teď odečteme 4 od 2, 8 od 4, 12 od 6 a tak dále až dostaneme:

S-4S = -3S = 1 - 2 + 3 - 4 + 5 - 6 + ...

Z gymnázia si vzpomeneme na vzoreček pro součet geometrické řady s koeficientem x:

1 + x + x^2 + x^3 + x^4 + x^5 + ... = 1/(1-x)

a teď celou tu rovnici, pěkně člen po členu zderivujeme:

0 + 1 + 2x + 3x^2 + 4x^3 + 5x^4 + ... = 1/(1-x)^2

takto vzniklý výraz vyčíslíme v bodě x = -1, čímž dostaneme:

1 - 2 + 3 - 4 + 5 - ... = 1/4

Jenže celá ta sranda na levé straně je náš "střídavý" součet, který - jak jsme výše odvodili - se rovná -3S. Takže můžeme napsat:

-3S = 1/4

no a odtud vyplývá, že S = -1/12 (a je hotovo).

Úplně košer to samozřejmě nebylo. Jednak to cílené odečítání (kdy jsem odečítal pouze od sudých členů) je u nekonečných řad diskutabilní a jednak ta formulka pro geometrickou řadu platí pouze pro -1 < x < 1, takže pro -1 už přímo použít nelze. Nicméně vidíte, že se k tomu "divnému" výsledku lze propracovat poměrně rychle středoškolskými metodami (tedy pokud vás ve čtvrťáku naučili derivovat).

Celá tahle habaďúra se dá udělat o něco přesněji a rigorozněji a v takovém případě se jí říká regularizace divergentních řad. Součet té řady bude samozřejmě stále nekonečno, ale alespoň se k té jedné dvanáctině dojde legálnějšími prostředky.

Opravdu prefíkaný čtenář se ale na tu původní řadu

S = 1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + ...

může podívat optikou Riemannovy Zeta funkce a zauvažovat takto: pokud do té definiční rovnice (1) formálně dosadíme s=-1, dostaneme přesně naši řadu S. Tu samozřejmě sečíst neumíme, ale když jsou ty komplexní funkce tak chytré, že se dokáží samy analyticky rozšířit i mimo rámec definiční formulky, podívejme se, jak se to "přirozené rozšíření" Zeta funkce vyvrbí v bodě -1.

Takže do online Zeta kalkulačky naťukáme -1 a simsala bim:

Zeta(-1) = -1/12

To jsou věci, co?

=========

Když jsem se tak díval na fotografii vousatého Bernharda Riemanna, řekl jsem si, že na uklidněnou vám dnes dám také jednoho fousáče. A protože všechny ty Kristýnky a Sbohemlásky si můžete poslechnout v rádiu, vybral jsem jednu z méně známých. Komu se podaří vyluštit Riemannovu hypotézu, může začít rozšifrovávat její kryptický refrén: "la-la-la-la-la-la". Waldemar Matuška: Don Diri Don.

Předchozí díly Matykání.

Autor: Jan Řeháček | čtvrtek 9.11.2017 9:09 | karma článku: 18.70 | přečteno: 626x

Další články blogera

Jan Řeháček

Matykání: jak zatočit s virtuálním světem

Pokud hrajete počítačové hry, jistě vám neuniklo, že občas je potřeba s virtuální scenérií trochu pootočit. Dnes se podíváme, jak lze 3D rotace implementovat pomocí zobecnění komplexních čísel, kterému říkáme kvaterniony.

9.12.2017 v 9:09 | Karma článku: 15.46 | Přečteno: 423 | Diskuse

Jan Řeháček

Nejoblíbenější cizí země (anketa)

Kam jezdíte rádi na dovolenou? Jakou zemi obdivujete pro její jedinečnou kulturu nebo přírodní krásy. Jaký stát má mimořádně vyspělý politický systém? Na všechny tyto otázky můžete odpovědět v následující anketě.

6.12.2017 v 9:09 | Karma článku: 12.36 | Přečteno: 561 | Diskuse

Jan Řeháček

Seznamte se: Karel Čapek - Sophia

25. ledna 1921 měla v Praze oficiální světovou premiéru Čapkova hra R.U.R. Netrvalo ani století a první robotka získala státní občanství. Stalo se tak před měsícem v Saudské Arábii. Dotyčná se ovšem nejmenuje Helena, ale Sophia.

28.11.2017 v 9:09 | Karma článku: 14.15 | Přečteno: 233 | Diskuse

Jan Řeháček

Za devatero fotkami (Islandské silnice)

Fotit ubíhající krajinu přes čelní sklo auta je jako test pozornosti. Něco zajímavého se objeví na obzoru a vy musíte během dvou vteřin popadnout foťák a prásk. Ale fotky ze silnic mám přesto rád pro jejich sjednocující motiv.

22.11.2017 v 9:09 | Karma článku: 15.75 | Přečteno: 330 | Diskuse

Další články z rubriky Věda

Karel Tejkal

Experimentální a historická věda

Kreacionisté mladé Země (dále jen kreacionisté) jsou nuceni odmítat veškeré vědecké poznatky týkající se minulosti, které jsou v rozporu s jejich pohádkou o dějinách vesmíru starého všehovšudy nějakých šest tisíciletí.

10.12.2017 v 22:12 | Karma článku: 3.81 | Přečteno: 103 | Diskuse

Michal Češek

Muži v ošetřovatelství - část 1.

Jev, kdy do ošetřovatelství přichází stále více mužů, je v posledních měsících a letech stále aktuálnější. Česko v tomhle směru zaostává, a bohužel k tomu nepřispívají vzdělávací instituce, autoři učebnic, ani samotné nemocnice.

10.12.2017 v 18:33 | Karma článku: 8.94 | Přečteno: 306 | Diskuse

Libor Čermák

Záhady mariánského zjevení v Guadalupe

Teď v adventním čase si připomínáme i jedno významné mariánské zjevení. Odehrálo se v roce 1531 poblíž mexického města Guadalupe, dnes součástí Mexico City. V souvislosti s tím bych chtěl poukázat i na další zvláštnosti.

10.12.2017 v 14:33 | Karma článku: 17.93 | Přečteno: 507 |

Jan Řeháček

Matykání: jak zatočit s virtuálním světem

Pokud hrajete počítačové hry, jistě vám neuniklo, že občas je potřeba s virtuální scenérií trochu pootočit. Dnes se podíváme, jak lze 3D rotace implementovat pomocí zobecnění komplexních čísel, kterému říkáme kvaterniony.

9.12.2017 v 9:09 | Karma článku: 15.46 | Přečteno: 423 | Diskuse

Dana a Rudolf Mentzlovi

Mikrosvět 4 / 4 - Je svět poznatelný?

Opravdové tajemství mikrosvěta se neskrývá v dosud neobjevených exotických částicích, nýbrž v jednom nenápadném vztahu, který známe již bezmála sto let.

8.12.2017 v 8:00 | Karma článku: 12.05 | Přečteno: 265 | Diskuse
VIP
Počet článků 220 Celková karma 18.77 Průměrná čtenost 790

Devátý nejhorší kuchař na světě, odpůrce politické překorektnělosti, začínající marťan, neúnavný konzument točeného kyslíku a jazykový dobrodruh ab incunabulis. Člen Analytického piva a Gustavu pro jazyk český. Správce Vojensko-českého slovníku.





Najdete na iDNES.cz



mobilní verze
© 1999–2017 MAFRA, a. s., a dodavatelé Profimedia, Reuters, ČTK, AP. Jakékoliv užití obsahu včetně převzetí, šíření či dalšího zpřístupňování článků a fotografií je bez souhlasu MAFRA, a. s., zakázáno. Provozovatelem serveru iDNES.cz je MAFRA, a. s., se sídlem
Karla Engliše 519/11, 150 00 Praha 5, IČ: 45313351, zapsaná v obchodním rejstříku vedeném Městským soudem v Praze, oddíl B, vložka 1328. Vydavatelství MAFRA, a. s., je členem koncernu AGROFERT.