Згортка Дирихле є особливим видом згортка , який виглядає як дуже корисним інструмент в теорії чисел. Він діє на безлічі арифметичних функцій .
Виклик
Враховуючи дві арифметичні функції (тобто функції ), обчислимо згортку Діріхле як визначено нижче.
Деталі
- Ми використовуємо конвенцію .
- Згортання Діріхле двох арифметичних функцій знову є арифметичною функцією, і вона визначається як(Обидві суми еквівалентні експресії. означає ділить , отже , підсумовування ведеться по природним подільників з Аналогічно можна subsitute.і ми отримуємо другий еквівалентний препарат. Якщо ви не звикли до цієї позначення, є покроковий приклад нижче.) Просто для детальної розробки (це не має прямого значення для цього завдання): Визначення походить від обчислення продукту серії Діріхле :
- Вхід подається у вигляді двох функцій чорного поля . Крім того, ви також можете використовувати нескінченний список, генератор, потік або щось подібне, що може створювати необмежену кількість значень.
- Є два способи виведення: або повертається функція , або ви можете взяти додатковий вхід та повернути безпосередньо.
- Для простоти можна припустити, що кожен елемент може бути представлений, наприклад, позитивним 32-бітовим int.
- Для простоти можна також припустити, що кожен запис може бути представлений, наприклад, єдиним реальним номером з плаваючою комою.
Приклади
Давайте спочатку визначимо кілька функцій. Зауважте, що список чисел під кожним визначенням представляє перші кілька значень цієї функції.
- мультиплікативна ідентичність ( A000007 )
1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, ...
- функція постійної одиниці ( A000012 )
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, ...
- функція ідентичності ( A000027 )
1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, ...
- функція Мебіуса ( A008683 )
1, -1, -1, 0, -1, 1, -1, 0, 0, 1, -1, 0, -1, 1, 1, 0, -1, 0, -1, ...
- функція туйєнта Ейлера ( A000010 )
1, 1, 2, 2, 4, 2, 6, 4, 6, 4, 10, 4, 12, 6, 8, 8, 16, 6, 18, 8, ...
- функція Ліувілля ( A008836 )
де - число простих факторів підраховане з кратністю
1, -1, -1, 1, -1, 1, -1, -1, 1, 1, -1, -1, -1, 1, 1, 1, -1, -1, -1, ...
- функція суми дільника ( A000203 )
1, 3, 4, 7, 6, 12, 8, 15, 13, 18, 12, 28, 14, 24, 24, 31, 18, 39, 20, ...
- функція підрахунку дільника ( A000005 )
1, 2, 2, 3, 2, 4, 2, 4, 3, 4, 2, 6, 2, 4, 4, 5, 2, 6, 2, 6, 4, 4, 2, 8, ...
- характерна функція квадратних чисел ( A010052 )
1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, ...
Тоді ми маємо наступні приклади:
- та
- λ = μ ∗ і
- 1 = τ та
- і
Останні для є наслідком інверсії Мебіуса : Для будь-якого рівняння еквівалентно .
Покроковий приклад
Це приклад, який обчислюється поетапно для тих, хто не знайомий з позначеннями, які використовуються у визначенні. Розглянемо функції та . Тепер будемо оцінювати їх згортання в . Їх перші кілька термінів наведені в таблиці нижче.
Сума повторюється над усіма натуральними числами які ділять , таким чином передбачає всі природні дільники . Це . У кожному підсумку ми оцінюємо при і множимо його на оцінене на . Тепер ми можемо зробити висновок
fun
?