Úvod
Tento diel je pokračovaním na predchádzajúci diel: Riemannova hypoteza-dodatok. (diel obsahuje aj kód v Pythone na preverenie rôznych vzťahov). Bez preštudovania predchádzajúcich dielov nebude tento článok zrozumiteľný pre čitateľa. V tomto článku budem hľadať analytický dôkaz ( modifikovaných, ekvivalentných tvrdení o RH, ako urobil v minulosti Srinivasa Ramanujan (Ramanudžan), Lagarias, Gronwall ,Robin ). V prípade, že čitateľa niečo zaujímavé napadne pri aktuálnom probléme, ktorý sa snažím vyriešiť budem rád za reakciu (emailom). Tento diel priamo nadväzuje na predchádzajúci diel, ktorý už obsahuje kapitolu - hľadanie analytického dôkazu.Referencie z ktorých vychádzam:
(1) RAMANUJAN, ROBIN, HIGHLY COMPOSITE NUMBERS, AND THE RIEMANN HYPOTHESIS
(2) http://math.colgate.edu/~integers/l33/l33.pdf
(3) Prime_number_theorem
(4) Numerical Evaluation of the Lambert W Function
POZNÁMKA: log x=ln x, vo vzťahoch nižšie je log x - prirodzený logaritmus.
V predchádzajúcom diely sú odvodené tieto dôležité vzťahy:
![Screenshot - 21_ 3jpg](https://files.vlastnawebstranka.websupport.sk/38/1f/381ffd39-43f5-4a24-b017-faca6fc1ff70.jpg)
![Screenshot - 8_ 2jpg](https://files.vlastnawebstranka.websupport.sk/b1/4d/b14debc2-92b2-4522-896f-6bad0e58fa6a.jpg)
![Screenshot - 24_ 2jpg](https://files.vlastnawebstranka.websupport.sk/ea/d1/ead1a3a3-b442-43ac-b94a-b62f42a38284.jpg)
Obr.1 Niektoré dôležité odvodenia z predchádzajúceho dielu.
V minulom diely je rozpracovaný pokus o dôkaz pre hypotézu, že pokiaľ je sklon krivky (aproximácia x/(ln x -1-epsilon) väčší(rovný) na celom definičnom obore ako odvodený vzťah log(x+delta_x)>=log(x)*(x+delta_x)/(x+delta_x-1) (vid. predchádzajúci diel), potom by to znamenalo, že ekvivalentné podmienky pre RH musia platiť tiež.
Počiatočný bod p(k) je stotožnený pre ľubovolný bod x z aproximácie pi(x). Nárast hodnoty pi(x) o 1, znamená, že ďalšie prvočíslo je na hodnote x+delta_x. Z Robopol teorému plynie, že ak je splnený vzťah: log(x+delta_x)>=log(x)*(x+delta_x)/(x+delta_x-1) na celom definičnom obore, potom ekvivalentné podmienky pre RH platia tiež.
To je niečo podobné ako porovnávať derivácie v ľubovolnom bode x. Má to veľkú výhodu v tom, že nemusíme rátať predchádzajúce body (predchádzajúce prvočísla a podobne, násobiť ich medzi sebou). Hypotéza o menšom sklone (v ľubovolnom x) nemusí platiť, to neznamená neplatnosť ekvivalentných podmienok pre RH, no ak platí, že sklon je vždy menší, potom z toho plynie, že ekvivalentné podmienky pre RH musia platiť tiež.
1) Pozrime sa, či sa nedá nájsť analytické riešenie rovnice log(x+delta_x)>=log(x)*(x+delta_x)/(x+delta_x-1):
![Screenshot - 25_ 2jpg](https://files.vlastnawebstranka.websupport.sk/e6/ae/e6ae2ae6-b3d1-4eb5-ace1-56ae7cc28c67.jpg)
To znamená, že existuje analytické riešenie tejto rovnice. Uvidíme, či to pomôže pri porovnávaní s analytickým riešením rovnice pre aproximáciu pi(x).
2) Teraz je potrebné, aby sme upravili rovnicu pre pi(x), tak aby sme miesto premennej t mohli použiť x, potom dostaneme:
![Screenshot - 1_ 3 004jpg](https://files.vlastnawebstranka.websupport.sk/6e/40/6e40e3ae-bd4f-4121-8899-f222c5d5e6c7.jpg)
Z riešenia rovnice vidíme, že delta_x je veľmi podobné predchádzajúcej rovnici. Teraz potrebujeme preveriť výslednú nerovnosť a jej platnosť pre x >100.
Pre jednoduché dosadenie naozaj veľkých čísiel (napr. vo Wolframe) je podmienka splnená, poďme teda vytvoriť limitu, čomu sa tento vzťah rovná:
![Screenshot - 25_ 2 003jpg](https://files.vlastnawebstranka.websupport.sk/01/d9/01d9497b-4af6-46d0-ba90-e2c28f00723a.jpg)
Obr. 2 Výpočet limity vzťahu pre pi(x)=x/log(x)
Result:
No a Wolfram nedokáže vypočítať túto limitu, nedokáže nám ani povedať či je číslo kladné, alebo záporné.
Poďme to preskúmať hlbšie. Najskôr preveríme pravú stranu vzťahu x^((x-1)/x) , urobíme deriváciu a limitu:
![Screenshot - 1_ 3jpg](https://files.vlastnawebstranka.websupport.sk/4a/b7/4ab72012-05b9-4374-94c3-06544672dd58.jpg)
Obr.3 Derivácia a limita vzťahu x^((x-1)/x)
Teraz sa pozrime na tu W- funkciu:
![Screenshot - 1_ 3 007jpg](https://files.vlastnawebstranka.websupport.sk/39/ce/39ce6d0b-7a5f-4453-8a70-129e03116655.jpg)
![Screenshot - 13_ 3jpg](https://files.vlastnawebstranka.websupport.sk/65/36/6536593a-dfe3-452a-be1d-84334033da0e.jpg)
Obr. 3 derivácia, limita, príklad pre W-funkciu na ľavej strane
Vyhodnotenie:
Pokúsil som sa porovnať vzťahy pre limity, no ani ja ani Wolfram nenašiel korektné riešenie. Bohužiaľ inverznú Labertovú funkciu: W-1, teda productlog(-1,x), ktorá sa vo vzťahu na ľavej strane nerovnosti objavila nie je ani jednoduché rozviesť do Taylorového rozvoja. Pokúsil som sa porovnať derivácie týchto funkcii v zmysle obr. 3 a pre obe strany derivácie rýchlo konverguje k 1. Z príkladu vidieť, že derivácia W- funkcie je stále o niečo väčšia ako derivácia x^((x-1)/x).Príklad, kde si môžete pozrieť výsledky pre rôzne x - odkaz. Pri dosadzovaní (z numerického testu) sa hodnoty približovali k 1, z čoho plynie, že aj samotná limita bude zrejme 1. No úplne korektne to neviem doposiaľ dokázať. No záver je ten, že uvedená nerovnosť pre aproximáciu pi(x)=x/log x je zrejme splnená až do nekonečna, pretože derivácie týchto funkcii smerom k nekonečnu spejú k 1. Uvedené rovnice umožňujú preveriť nerovnosť ľubovolne ďaleko.
2) Výpočet pre aproximáciu pi(x)=x/(log x -1)
![Screenshot - 4_ 3jpg](https://files.vlastnawebstranka.websupport.sk/99/8a/998a4075-a9c0-4ee2-8d75-ee5b7f63c378.jpg)
Pri dosadení veľkých čísiel zistíme, že podmienka je splnená:
Príklad:
![Screenshot - 4_ 3 002jpg](https://files.vlastnawebstranka.websupport.sk/82/85/828557a1-1126-4c6c-a8da-360802b33607.jpg)
![Screenshot - 4_ 3 003jpg](https://files.vlastnawebstranka.websupport.sk/68/f5/68f55137-83e6-44e1-a015-9db1736d02a8.jpg)
Obr.4 Test platnosti rovnice
Derivácia analytického riešenia pre delta_x:
![Screenshot - 4_ 3 004jpg](https://files.vlastnawebstranka.websupport.sk/71/15/71156cb4-5447-4767-baea-a7539450addf.jpg)
obr.5 Derivácia analytického riešenia pre delta_x
Vyhodnotenie:
Obdobne dopadla aj aproximácia pi(x)=x/(log x -1) v porovnaní s predchádzajúcou aproximáciou pi(x)=x/log x. Derivácia taktiež konverguje ku 1 pri manuálnom dosadení do vzťahu. Limita tejto komplikovanej funkcie sa taktiež nedá jednoducho zistiť, keďže obsahuje aj Lambertovú funkciu W-1. Zrejme teda platí aj pre túto aproximáciu, že uvedené vzťahy budú platiť až do nekonečna. Resp. je možné ich preveriť ľubovolne ďaleko.
3) Výpočet pre aproximáciu pi(x)=x/(log x -epsilon)
![Screenshot - 13_ 3jpg](https://files.vlastnawebstranka.websupport.sk/49/21/49218467-cc7a-405b-81b3-fcf9a2cc5383.jpg)
Obr.6 Odvodené analytické riešenie pre aproximáciu pi(x)=x/(log x -epsilon)
V zmysle referencie (3) - Prime number theorem je vzťah:
![Screenshot - 8_ 2 002jpg](https://files.vlastnawebstranka.websupport.sk/4a/52/4a524f92-dbca-4b25-8936-2c4dcf083506.jpg)
Teda pre akékoľvek nenulové epsilón je aproximácia väčšia ako pi(x). Pri testovaní epsilón sa dá zistiť nasledujúca závislosť:
Uvedený vzťah je vždy väčší ak platí epsilon=1+1/x. Teda napríklad pre x=10^15 musí byť hodnota epsilón=1+1/10 ^15 . V odkaze pre sústavu rovníc si môžete overiť túto závislosť - odkaz. Ak však bude epsilón väčší nerovnica nebude splnená (viď. vyššie). Teda aproximácia pi(x)= pi(x)=x/(log x -1) je v zmysle nerovnosti tá kritická hranica.
Záver
Z uvedených vzťahov sa dá tvrdiť, že pokiaľ je lim pi(x), x->infinity = lim x/(log x -1), x->infinity, potom uvedené vzťahy ukazujú, že ekvialetné podmienky pre RH by platili. No keďže sa nepodarilo vyrátať limitu korektne pre x=infinity nie je to možné považovať za exaktný dôkaz. No zároveň vzťahy umožňujú preveriť túto nerovnosť (viď. vzťahy obr.4) pre ľubovolné x. Tu v článku boli preverené vzťahy do hodnoty zhruba 10 ^ 500. Zároveň odvodené vzťahy môžu napomôcť aj na iné účely, ako je preverenie RH. Možno v budúcnosti, ak sa podarí vyriešiť limitu analyticky presne bude článok doplnený(resp. z dôvodu veľkosti bude vytvorený nový článok).Vzťah pre výpočet W-1 ukazuje referencia 4:
![Screenshot - 15_ 3jpg](https://files.vlastnawebstranka.websupport.sk/47/a5/47a58a68-28f1-4b57-9c2a-9ce18d3bdfb2.jpg)
Podarilo sa obísť problém zložitosti Lambertovej W-1 funkcie a dosiahol sa overený výsledok výpočtu limít. Pokračovanie v článku - dôkaz-ekvivalentnych-podmienok-pre-riemannovu-hypotézu.