UK 
EnglishТипова
Polski📉 Функція Вейєрштрасса — Ніде не Диференційовна
Функція Вейєрштрасса W(x) = Σ aⁿ·cos(bⁿπx) є неперервною скрізь, але не має похідної ніде при ab > 1 + 3π/2. Масштабуйте, щоб побачити самоподібність.
Як це працює
Функція Вейєрштрасса обчислюється як сума N членів ряду W(x) = Σₙ₀⁰ aⁿ·cos(bⁿπx). Кожен член додає косинусну хвилю з частотою bⁿ і амплітудою aⁿ. Оскільки a < 1, амплітуди спадають геометрично; оскільки b > 1, частоти зростають геометрично. Баланс між цими темпами визначає фрактальні властивості.
Для кожного стовпця пікселів x ряд обчислюється підсумовуванням усіх N членів. Значення y відображається на координати полотна з адаптивним масштабуванням. Елементи керування масштабом множать діапазон x на bzoomExp, розкриваючи ту саму структуру на дрібніших масштабах — візуальна демонстрація самоподібності.
Умови: 0 < a < 1, b ∈ ℕ непарне, ab > 1 + 3π/2
Розмірність Гаусдорфа: D = 2 + log(a)/log(b)
Показник Гельдера: α = -log(a)/log(b) = log(1/a)/log(b)
Повзунок масштабу використовує степені b як коефіцієнт масштабування, тому кожна одиниця масштабу розкриває ще один рівень рекурсивної структури. Це безпосередньо демонструє математичну самоподібність: масштабування x на b і y на 1/a дає ту саму форму функції, підтверджуючи, що W(bx)/a = W(x) - cos(πx) (з точністю до простого коригувального члена).
Часті запитання
Що таке функція Вейєрштрасса?
Функція Вейєрштрасса W(x) = Σ aⁿ·cos(bⁿπx) — класичний приклад функції, неперервної скрізь, але не диференційовної ніде. Опублікована Карлом Вейєрштрассом у 1872 році, вона зруйнувала інтуїцію XIX століття, що неперервність передбачає кускову диференційовність.
Коли функція Вейєрштрасса недиференційовна ніде?
Функція недиференційовна ніде, коли 0 < a < 1, b — додатне непарне ціле число, і ab > 1 + 3π/2 (початкова умова Вейєрштрасса). Пізніше Харді довів, що достатньо a < 1 і ab ≥ 1. Типові значення: a=0.5, b=3 або a=0.7, b=10.
Чому функція Вейєрштрасса неперервна скрізь?
Ряд Σ aⁿ·cos(bⁿπx) збігається рівномірно, оскільки |aⁿ·cos(...)| ≤ aⁿ, а Σ aⁿ збігається (геометричний ряд з |a| < 1). Рівномірна границя неперервних функцій неперервна, тому W(x) неперервна скрізь.
Яка фрактальна розмірність функції Вейєрштрасса?
Графік має розмірність Гаусдорфа D = 2 + log(a)/log(b). Для a=0.5 і b=3: D ≈ 2 - 0.631 = 1.369. Ця дробова розмірність відображає зазубрену, самоподібну структуру графіка.
Що таке неперервність Гельдера?
Функція f гельдерова з показником α, якщо |f(x)-f(y)| ≤ C|x-y|α. Функція Вейєрштрасса гельдерова з показником α = log(1/a)/log(b), строго меншим за 1, що означає, що вона не ліпшицева, але рівномірно неперервна.
Яку математичну інтуїцію спростувала функція Вейєрштрасса?
До 1872 року багато математиків вважали, що кожна неперервна функція має бути диференційовною скрізь, крім ізольованих точок. Шарль Ерміт назвав такі функції «жахливою чумою». Функція Вейєрштрасса повністю спростувала це і відкрила шлях до дійсного аналізу та фрактальної геометрії.
Як масштабування розкриває самоподібність?
Оскільки W(x) = a·W(bx)/a + cos(πx), масштабування на коефіцієнт b по горизонталі при розтягуванні на 1/a по вертикалі розкриває ту саму структуру. Функція виглядає однаково на кожному масштабі (з точністю до простого перетворення) — математичне визначення самоподібності.
Чи існують інші неперервні функції, недиференційовні ніде?
Так. Функція Такагі-Ландсберга T(x) = Σ (1/2)ⁿ·s(2ⁿx) (де s — пилкоподібна хвиля) — ще один приклад. Броунівський рух майже напевно недиференційовний ніде. Банах довів у 1931 році, що «більшість» неперервних функцій (за категорією Бера) недиференційовні ніде.
Яку роль функція Вейєрштрасса відіграла у фрактальній геометрії?
Функція Вейєрштрасса вважається попередником фрактальної геометрії. Її нецілочислова розмірність Гаусдорфа, самоподібність і патологічна недиференційовність передбачили формальні фрактальні концепції, розроблені Мандельбротом та іншими у 1970-80-х роках.
Чи можуть комп'ютери намалювати справжню функцію Вейєрштрасса?
Комп'ютери можуть лише наближати її, обрізаючи до скінченної кількості членів. Для роздільної здатності екрана достатньо 20-50 членів — більше членів додають коливання, надто дрібні для відображення при піксельній роздільній здатності. Наближення збігається геометрично: 20 членів дають точність, кращу за a²⁰ ≈ 10⁻⁶.
Про цю симуляцію
Цей побудовник підсумовує N членів ряду W(x) = Σ aⁿ·cos(bⁿπx) і дозволяє масштабувати та переміщати результуючу криву, щоб побачити, що вона ніколи не згладжується. Оскільки амплітуда a < 1 зменшує кожен член, а частота b > 1 збільшує його, графік вміщує нескінченно дрібні коливання в кожен інтервал — жива ілюстрація функції, неперервної скрізь, але недиференційовної ніде.
🔬 Що показано
Обрізана сума Вейєрштрасса, побудована в масштабованому діапазоні x, з обчислюваними в реальному часі розмірністю Гаусдорфа D = 2 + log(a)/log(b) і показником Гельдера α = log(1/a)/log(b), поряд із добутком ab, що визначає диференційовність.
🎮 Як користуватись
Налаштуйте Параметр a та Параметр b, щоб змінити спадання амплітуди та зростання частоти, встановіть Кількість членів N для точності наближення, а потім прокручуйте або використовуйте повзунок Рівень масштабу та перетягування (або Центр x), щоб дослідити самоподібність на дрібніших масштабах. Режим кольору може виділяти окремі косинусні члени. R скидає вигляд.
💡 Чи знали ви?
Коли Карл Вейєрштрасс представив цю функцію у 1872 році, математик Шарль Ерміт нібито назвав такі патологічні конструкції «жахливою чумою» — але це змусило галузь відмовитись від припущення, що неперервність майже скрізь означає диференційовність.
Часті запитання
Чому масштабування ніколи не робить криву гладкою?
Тому що функція самоподібна: масштабування x на b і y на 1/a відтворює ту саму зазубрену структуру на будь-якому масштабі. Незалежно від того, наскільки далеко ви масштабуєте повзунком Рівня масштабу, з'являються нові дрібномасштабні коливання від членів вищої частоти.
Що станеться, якщо я встановлю ab нижче 1?
Статистика "Диф.?" перемикається на «Скрізь» — коли ab < 1, похідна ряду почленно теж збігається, тому функція стає диференційовною. Початкова патологічна поведінка Вейєрштрасса вимагає ab ≥ 1 (неформально ab > 1 + 3π/2 у його суворішому початковому доведенні).
Чому збільшення Кількості членів N змінює дрібні деталі кривої, але не її загальну форму?
Кожен доданий член додає коливання з меншою амплітудою і вищою частотою (aⁿ і bⁿ відповідно), тому збільшення N уточнює деталі на все дрібніших масштабах, не змінюючи великомасштабну форму, яка вже визначається першими кількома членами.
Що розмірність Гаусдорфа D говорить про графік?
D = 2 + log(a)/log(b) вимірює, наскільки «шорсткою» є крива — для гладкої кривої D=1, але графік функції Вейєрштрасса має D строго між 1 і 2 (наприклад ≈1.37 для a=0.5, b=3), кількісно оцінюючи її фрактальну, простороподібну зазубреність.
Навіщо використовувати режим кольору по членах замість повної суми?
Режим по членах малює перші п'ять косинусних компонентів окремо різними кольорами, дозволяючи побачити, як кожна окрема частота робить свій внесок, перш ніж усі вони додаються разом — це візуально розкладає суму на будівельні блоки, що створюють недиференційовну поведінку ніде.
Функція Вейєрштрасса W(x) = Σ aⁿ·cos(bⁿπx) є неперервною скрізь, але не має похідної ніде при ab > 1 + 3π/2. Масштабуйте, щоб побачити фрактальну самоподібність на кожному масштабі.
2D · HTML5 Canvas 2D · 60 FPS · працює повністю на стороні клієнта, без встановлення