UK 
EnglishТипова
Polskiζ Дзета-функція Рімана — критична смуга та нулі
Візуалізуйте дзета-функцію Рімана на комплексній площині: розфарбовуйте область ζ(s), пройдіть критичною лінією Re(s)=½ й дивіться, як |ζ| падає до нуля в нетривіальних нулях, пов'язаних із простими числами.
Про цю симуляцію
Цей візуалізатор малює дзета-функцію Рімана ζ(s) на комплексній площині методом розфарбовування області: кожен піксель відповідає комплексному числу s = re + i·im, його відтінок кодує аргумент (фазу) ζ(s), а яскравість — модуль |ζ(s)|. Оскільки визначальний ряд 1 + 1/2ⁿ + 1/3ⁿ + … збігається лише для Re(s) > 1, симуляція натомість підсумовує ряд Діріхле ета η(s) = Σ(−1)ⁿ⁻¹/nⁿ, який збігається для Re(s) > 0, і відновлює ζ через тотожність ζ(s) = η(s) / (1 − 2¹⁻ⁿ). Це дає змогу зазирнути в критичну смугу 0 < Re(s) < 1 і показати нетривіальні нулі, які — наскільки це вдалося перевірити — лежать точно на критичній лінії Re(s) = ½.
🔬 Що показано
Розфарбована за областю карта ζ(s): вертикальна біла лінія позначає критичну лінію Re(s)=½, дві пунктирні лінії — межі критичної смуги (Re(s)=0 і Re(s)=1), а білі точки — перші десять відомих нетривіальних нулів, усі на цій одній лінії. Перемикання на вигляд «Критична лінія» замість цього малює криву |ζ(½+it)| залежно від висоти t, що падає до нуля в кожному нулі.
🎮 Як користуватись
Повзунок Terms (10–200) визначає кількість членів ряду ета, які підсумовуються — більше членів означає точніше, але повільніше. Zoom (max Im) (10–50) задає, наскільки високо вздовж уявної осі сягає вигляд. Speed керує швидкістю, з якою жовта точка піднімається критичною лінією. Walk line анімує підйом, Step просуває його на один крок, а Reset повертає до t=0; кнопки View перемикають між картою комплексної площини та графіком критичної лінії.
💡 Чи знали ви?
Математики перевірили комп'ютером понад 10 трильйонів нетривіальних нулів ζ(s), і кожен з них опинився точно на критичній лінії Re(s)=½. Довести це для всіх нескінченно багатьох нулів — гіпотеза Рімана — одна із семи проблем тисячоліття Інституту Клея вартістю один мільйон доларів США, яка залишається невирішеною з моменту її формулювання в 1859 році.
Часті питання
Як симуляція обчислює ζ(s) всередині критичної смуги?
Звичайний ряд 1/1ⁿ + 1/2ⁿ + 1/3ⁿ + … збігається лише для Re(s) > 1, тому підсумувати його напряму всередині смуги неможливо. Натомість код підсумовує знакозмінний ряд Діріхле ета η(s) = Σ(−1)ⁿ⁻¹ n⁻ⁿ для n від 1 до значення Terms, який збігається для Re(s) > 0, а потім ділить на множник (1 − 2¹⁻ⁿ) за допомогою комплексного ділення, щоб відновити ζ(s) = η(s) / (1 − 2¹⁻ⁿ).
Що означають відтінок і яскравість кожного пікселя?
Кожен піксель відповідає комплексній точці s, і його колір обчислюється безпосередньо зі значення ζ(s). Відтінок задається аргументом (кутом) ζ(s) на комплексній площині, відображеним на повне 360-градусне колесо кольорів, а яскравість — стиснутою функцією модуля |ζ(s)|: коли |ζ(s)| прямує до нуля, піксель темніє до чорного, тому нулі ζ виглядають як маленькі темні точки, де сходяться всі відтінки.
Що таке критична смуга та критична лінія?
Критична смуга — це вертикальна область, де дійсна частина s лежить між 0 і 1, показана в симуляції між двома пунктирними лініями. Критична лінія — це лінія, де дійсна частина дорівнює одній другій, що проходить по її центру, намальована суцільною білою лінією. Недоведена гіпотеза Рімана стверджує, що кожен нетривіальний нуль ζ(s) лежить точно на цій критичній лінії, а не просто десь усередині смуги.
Чому |ζ(½+it)| падає до нуля на певних висотах?
У вигляді «Критична лінія» точка s = ½ + it піднімається прямо вгору критичною лінією зі збільшенням t, а графік відстежує модуль |ζ(½+it)|. Симуляція позначає десять відомих нетривіальних нулів приблизно при t ≈ 14.13, 21.02, 25.01, 30.42, 32.94, 37.59, 40.92, 43.33, 48.01 та 49.77; щоразу, коли точка, що рухається, досягає однієї з цих висот, модуль справді падає до нуля, бо s є коренем дзета-функції в цій точці.
Чому зміна повзунка Terms змінює картинку?
Ряд Діріхле ета — нескінченна сума, а симуляція може підсумувати лише скінченну кількість членів — від 10 до 200, обрану повзунком, — перш ніж зупинитися. З невеликою кількістю членів часткова сума є грубішим наближенням до справжнього ζ(s), що може трохи розмити межі кольорів і положення нулів; з більшою кількістю членів сума збігається ближче до точного значення ціною більшої кількості обчислень на піксель, тому вищі значення Terms рендеряться повільніше.
Як нулі ζ(s) пов'язані з простими числами?
Через свій добуток Ейлера ζ(s) дорівнює нескінченному добутку за всіма простими числами p від 1, поділеного на (1 − p⁻ⁿ), тому його нулі не випадкові: явна формула Рімана виражає точну кількість простих чисел до певного числа як гладкий головний член плюс поправку, побудовану з коливних доданків — по одному на кожен нетривіальний нуль. Точні положення нулів, показаних у цій симуляції, тому безпосередньо визначають, наскільки рівномірно чи нерівномірно розподілені прості числа.