Мистерията на константата на Каталан и известни решения на безкрайни суми, които всеки трябва да знае
Безкрайните редове —
какво знаем и какво все още не знаем
Хармоничният ред, сумата на Лайбниц, Базелската задача, константата на Апери, константата на Каталан — всяко от тези имена крие история на откритие, изненада и понякога на дълбока загадка, която математиката все още не е успяла да разреши.
Безкрайните редове — или безкрайните суми — са сред нещата, които неизменно ме очароват. И явно не съм сам: интернет е пълен с материали за дзета функцията на Риман, геометричните прогресии и сродни теми. Смятам, че това е добре. Колкото повече хора се срещнат с тази красива и дълбока материя, толкова по-добре — за математиката и за тях самите.
В тази статия ще разгледаме какво знаем, но и какво не знаем за тези редове. В центъра на вниманието ни ще бъде една от най-простите и същевременно най-загадъчните константи в математиката — константата на Каталан, означавана с \(G\). Но преди да стигнем до нея, нека тръгнем от началото.
Класически резултати
От средата на XIV век знаем, че хармоничният ред \[1+\frac{1}{2}+\frac{1}{3}+\frac{1}{4}+\cdots\] е разходящ — при събиране на достатъчно много членове сумата расте неограничено. Това е доказано от френския натурфилософ Никол Оресме около 1350 г. Любопитното е, че растежът е изключително бавен — частичните суми нарастват приблизително като естествения логаритъм. В крайна сметка обаче сумата достига безкрайност.
Ако заменим естествените числа в знаменателите с простите числа, редът отново е разходящ — простите числа са достатъчно гъсто наредени, за да „направят" сумата безкрайна. Ако обаче вземем само простите числа близнаци (двойки от вида \((p, p+2)\), например 3 и 5, 11 и 13), тогава сумата е сходяща. Това е косвено свидетелство, че близнаците-прости се срещат по-рядко от простите числа изобщо.
Нека сега вземем хармоничния ред, но с редуване на знаци пред членовете:
\[1-\frac{1}{2}+\frac{1}{3}-\frac{1}{4}+\cdots = \ln 2.\]Редуването на знаци прави голяма разлика — от разходяща сума получаваме сходяща, и то с точно определена стойност. Това се доказва лесно чрез реда на Тейлър за естествения логаритъм.
Следващата стъпка е да попитаме: ами ако вземем само нечетните числа в знаменателите, пак с редуване на знаци? В края на XIV век индийският математик Мадхава от Сангамаграма (ок. 1340–1425) доказва следния невероятен резултат:
\[1-\frac{1}{3}+\frac{1}{5}-\frac{1}{7}+\cdots = \frac{\pi}{4}.\]Появата на \(\pi\) тук не е случайна. Тя идва от факта, че функцията \(\arctan x\) може да се разложи в ред на Тейлър и \(\arctan 1 = \frac{\pi}{4}\) — а \(\pi\) е неизбежно свързано с кръговете и тригонометрията.
Тази сума днес носи името на Готфрид Лайбниц, но сходимостта й е прословуто бавна: за да се изчисли \(\pi\) с точност до 10 знака след десетичната запетая само чрез директно сумиране на членовете, са необходими около пет милиарда члена. Значението й не е практическо — то е теоретично, като ключов пример за връзката между безкрайните редове и простите числа чрез произведението на Ойлер.
300 години по-късно: Базелската задача
В средата на XVII век пред европейските математици е поставено предизвикателство: изразете следния ред чрез познати константи: \[1+\frac{1}{4}+\frac{1}{9}+\frac{1}{16}+\cdots \approx 1{,}6449\ldots\] Числата в знаменателите са точни квадрати. Задачата се оказва твърд орех: над 100 години велики математици се опитват и се провалят. В крайна сметка именно тя поставя на картата името на Базел — швейцарския роден град на семейство Бернули, чиято математическа фамилна сага е тясно свързана с историята на реда.
Решението идва в средата на 1730-те години от тогава все още млад и незнаен математик — Леонард Ойлер. В момент на прозрение той открива, че функцията синус може да се запише като безкрайно произведение: \[\sin x = x\prod_{n=1}^{\infty}\!\left(1-\frac{x^2}{\pi^2 n^2}\right).\] Това е не само липсващото парче от пъзела на Базелската задача, но и нова идея с огромни последствия. Чрез сравняване на коефициентите от двете страни Ойлер доказва:
\[1+\frac{1}{4}+\frac{1}{9}+\frac{1}{16}+\cdots = \frac{\pi^2}{6}.\]Версията с редуващи се знаци следва без особено усилие: \[1-\frac{1}{4}+\frac{1}{9}-\frac{1}{16}+\cdots = \frac{\pi^2}{12}.\] Ойлер не спира дотук. Той разглежда редовете с по-висока степен на знаменателите и открива обща формула за четни степени, включваща т.нар. числа на Бернули — ирония на историята, тъй като Якоб Бернули е сред тези, които не успяват да решат Базелската задача. Например при степен 4: \[1+\frac{1}{2^4}+\frac{1}{3^4}+\frac{1}{4^4}+\cdots = \frac{\pi^4}{90}.\]
Загадката
Чрез анализа на Фурие може да се докаже и следният красив резултат: \[1-\frac{1}{3^3}+\frac{1}{5^3}-\frac{1}{7^3}+\cdots = \frac{\pi^3}{32}.\] Нека обобщим. Разгледахме следната таблица от редове и техните стойности:
Внимателният читател ще забележи, че в тази таблица липсват две стойности. Първата е:
\[G = 1-\frac{1}{3^2}+\frac{1}{5^2}-\frac{1}{7^2}+\cdots \approx 0{,}915965594\ldots\]Това е константата на Каталан, наречена на белгийско-френския математик Еужен Шарл Каталан, който публикува мемоар за нея през 1865 г. На пръв поглед изглежда като естествен следващ член в таблицата — и наистина е. Но и до ден-днешен не е намерена затворена форма за нея. Нещо повече: дори не знаем дали \(G\) е рационално или ирационално число.
\(G\) е специална стойност на бета функцията на Дирихле \(\beta(s)\) при \(s=2\). Появява се в статистическата механика, комбинаториката, разпределението на масата на спиралните галактики и в стотици определени интеграли. Два от най-елегантните примери:
\[G = \frac{1}{2}\int_0^{\pi/4}\!\frac{x}{\sin x}\,dx \qquad \text{и} \qquad G = \int_1^{\infty}\!\frac{\ln x}{1+x^2}\,dx.\]Двата интеграла изглеждат съвсем различни, но водят до едно и също число. Ако намерите затворена му форма — изразите го чрез \(\pi\), \(e\), корени, логаритми или тригонометрични функции — името ви ще влезе в историята на математиката.
Второто липсващо парче от таблицата е:
\[\zeta(3) = 1+\frac{1}{2^3}+\frac{1}{3^3}+\frac{1}{4^3}+\cdots \approx 1{,}202056903\ldots\]Това е константата на Апери, наречена на французкия математик Роже Апери, който доказа нещо фундаментално за нея — но не намери затворена форма. За разлика от \(G\), за \(\zeta(3)\) поне знаем, че е ирационално число: Апери го доказа по изненадващ и оригинален начин през 1978 г. на 65-годишна възраст, спечелвайки заслужена международна слава. Дори Ойлер не е успял да реши задачата за \(\zeta(3)\), което говори достатъчно за нейната трудност.
Редицата с редуващи се знаци \(1 - \frac{1}{2^3} + \frac{1}{3^3} - \cdots = \frac{3}{4}\zeta(3)\) е еквивалентна на същия проблем.
Семейството на L-функциите и хипотезата на Риман
Всички тези редове принадлежат към едно по-голямо семейство — L-функциите на Дирихле. Двата конкретни класа, с които работихме, са зета функцията на Риман: \[\zeta(s) = 1+\frac{1}{2^s}+\frac{1}{3^s}+\frac{1}{4^s}+\cdots\] и бета функцията на Дирихле: \[\beta(s) = 1-\frac{1}{3^s}+\frac{1}{5^s}-\frac{1}{7^s}+\cdots\] Стойностите, които видяхме дотук: \(\beta(1)=\frac{\pi}{4}\), \(\beta(2)=G\), \(\beta(3)=\frac{\pi^3}{32}\). При четни индекси отново не знаем нищо — \(\beta(4)\) е неизвестно. Но \(\beta(5) = \frac{5\pi^5}{1536}\) — отново \(\pi\) се появява при нечетна степен! Закономерността за нечетните степени остава загадъчна.
И двете функции могат да се разширят до цялата комплексна равнина. Когато се прави това, се оказва, че \(\zeta\) има нули в точките \(-2, -4, -6, \ldots\) (т.нар. тривиални нули), а \(\beta\) — в \(-1, -3, -5, \ldots\) Но изглежда, че всички нетривиални нули и на двете лежат на вертикалната права \(\mathrm{Re}(s)=\frac{1}{2}\). Това е хипотезата на Риман — за \(\zeta\) — и нейната аналогия за \(\beta\).
Смисълът на всичко това е, че безкрайните редове, с които започнахме — на пръв поглед прости аритметични суми — са прозорец към едни от най-дълбоките въпроси в математиката: за разпределението на простите числа, за природата на математическите константи и за границите на това, което можем да докажем.
Индийците, Лайбниц, Ойлер и всички останали герои в тази история не са могли да предвидят каква огромна сграда ще бъде изградена върху техните открития. Но именно тяхното любопитство към прости суми — „какво се получава, ако добавяш все повече и повече членове?" — е в основата на едни от най-важните математически идеи на последните триста години.
Запишете урок
Индивидуални и групови онлайн уроци по математика за цялата страна
- ›НВО по математика след 7 клас
- ›НВО по математика след 10 клас
- ›Кандидатстудентски изпити по математика
- ›Прием в университети в чужбина (ISEE, SAT, A-Level)
- ›Усвояване на текущия учебен материал (всички класове)
- ›Студенти: Мат. анализ, Линейна алгебра, Аналитична геометрия, Диф. уравнения, Теория на вероятностите, Статистика и др.
Харесва ли ви съдържанието?
Ако тази статия ви е харесала, можете да подкрепите създаването на нови безплатни материали.
Коментари
Публикуване на коментар