Jump to content

Свертка Дирихле

В математике свертка Дирихле (или свертка делителей ) — бинарная операция, определенная для арифметических функций ; это важно в теории чисел . Его разработал Питер Густав Лежен Дирихле .

Определение

[ редактировать ]

Если — это две арифметические функции от целых положительных чисел до комплексных чисел , Дирихле свертка f g — это новая арифметическая функция, определяемая формулой:

где сумма распространяется на все положительные делители d числа n или, что то же самое, на все различные пары ( a , b ) натуральных чисел, произведение которых равно n .

Этот продукт естественным образом возникает при изучении рядов Дирихле, таких как дзета-функция Римана . Он описывает умножение двух рядов Дирихле через их коэффициенты:

Характеристики

[ редактировать ]

Множество арифметических функций образует коммутативное кольцо . Кольцо Дирихле при поточечном сложении , где f + g определяется формулой ( f + g )( n ) = f ( n ) + g ( n ) и сверткой Дирихле. Мультипликативное тождество — это единичная функция ε, определяемая формулой ε ( n ) = 1, если n = 1 , и ε ( n ) = 0, если n > 1 . Единицами ( (обратимыми элементами) этого кольца являются арифметические функции f с f 1) ≠ 0 .

Конкретно, [1] Свертка Дирихле ассоциативна ,

дистрибутив над сложением

,

коммутативный ,

,

и имеет элемент идентификации,

= .

Более того, для каждого имея , существует арифметическая функция с , называемый Дирихле, обратный .

Свертка Дирихле двух мультипликативных функций снова мультипликативна, и каждая мультипликативная функция, не всегда равная нулю, имеет обратную Дирихле, которая также является мультипликативной. Другими словами, мультипликативные функции образуют подгруппу группы обратимых элементов кольца Дирихле. Однако помните, что сумма двух мультипликативных функций не является мультипликативной (поскольку ), поэтому подмножество мультипликативных функций не является подкольцом кольца Дирихле. В статье о мультипликативных функциях перечислены несколько отношений свертки между важными мультипликативными функциями.

Другая операция над арифметическими функциями — это поточечное умножение: fg определяется формулой ( fg )( n ) = f ( n ) g ( n ) . Учитывая полностью мультипликативную функцию , поточечное умножение на распределяется по свертке Дирихле: . [2] Свертка двух полностью мультипликативных функций является мультипликативной, но не обязательно полностью мультипликативной.

Свойства и примеры

[ редактировать ]

В этих формулах мы используем следующие арифметические функции :

  • является мультипликативным тождеством: , иначе 0 ( ).
  • — постоянная функция со значением 1: для всех . Имейте в виду, что это не личность. (Некоторые авторы обозначают это как потому что соответствующий ряд Дирихле представляет собой дзета-функцию Римана .)
  • для — установленная индикаторная функция : если только , иначе 0.
  • — это тождественная функция со значением n : .
  • k- я степенная функция: .

Имеют место следующие соотношения:

  • , обратная Дирихле постоянной функции функция Мёбиуса (см. доказательство ). Следовательно:
  • тогда и только тогда, когда , формула обращения Мёбиуса
  • , функция суммы делителей k-й степени σ k
  • , функция суммы делителей σ = σ 1
  • , функция числа делителей τ ( n ) = σ 0
  • , путем обращения Мёбиуса формул для σ k , σ и τ
  • , доказанное с помощью функции тотента Эйлера
  • , методом обращения Мёбиуса
  • , от свертки 1 с обеих сторон
  • где λ функция Лиувилля
  • где Sq = {1, 4, 9, ...} — множество квадратов
  • , функция Жордана
  • , где это функция фон Мангольдта
  • где простая омега-функция, считающая различные простые множители n
  • , характеристическая функция простых степеней.
  • где — характеристическая функция простых чисел.

Это последнее тождество показывает, что функция подсчета простых чисел задается суммирующей функцией

где функция Мертенса и - это отдельная функция подсчета простых множителей, указанная выше. Это разложение следует из тождества сумм по сверткам Дирихле, приведенных на странице тождества сумм дивизоров (стандартный прием для этих сумм). [3]

Обратный Дирихле

[ редактировать ]

Учитывая арифметическую функцию его обращение Дирихле может быть вычислено рекурсивно: значение это с точки зрения для .

Для :

, так
. Это означает, что не имеет обратного Дирихле, если .

Для :

,
,

Для :

,
,

Для :

,
,

и вообще для ,

Характеристики

[ редактировать ]

Имеют место следующие свойства обратного Дирихле: [4]

  • Функция f имеет обратную Дирихле тогда и только тогда, когда f (1) ≠ 0 .
  • Обращение Дирихле к мультипликативной функции снова мультипликативно.
  • Обратная свертка Дирихле к Дирихле — это свертка обратных каждой функции: .
  • Мультипликативная функция f тогда вполне мультипликативна и только тогда, когда .
  • Если f , вполне мультипликативна то в любое время и где обозначает поточечное умножение функций.

Другие формулы

[ редактировать ]
Арифметическая функция Обратный Дирихле: [5]
Постоянная функция со значением 1 Функция Мёбиуса μ
Функция Лиувилля λ Абсолютное значение функции Мёбиуса | | |
Функция Эйлера
Обобщенная функция суммы делителей

Точная нерекурсивная формула для обратной Дирихле любой арифметической функции f приведена в тождествах суммы делителей . Более теоретическое Дирихле выражение для обратного к f дается выражением

Следующая формула обеспечивает компактный способ выражения обратной арифметической функции Дирихле обратимой арифметической функции f :

где выражение обозначает арифметическую функцию свернутый сам с собой k раз. Обратите внимание, что для фиксированного положительного целого числа , если затем , это потому что и каждый способ выражения n как произведения k положительных целых чисел должен включать 1, поэтому ряд в правой части сходится для каждого фиксированного положительного целого числа n.

Серия Дирихле

[ редактировать ]

Если f — арифметическая функция, ряда Дирихле производящая функция определяется формулой

для тех комплексных аргументов s , при которых ряд сходится (если таковые имеются). Умножение рядов Дирихле совместимо со сверткой Дирихле в следующем смысле:

для всех s, для которых сходятся оба ряда левой части, хотя бы один из них сходится абсолютно (заметим, что простая сходимость обоих рядов левой части не влечет за собой сходимость правой части!). Это похоже на теорему о свертке , если рассматривать ряд Дирихле как преобразование Фурье .

[ редактировать ]

Ограничение дивизоров в свертке на унитарные , биунитарные или бесконечные делители определяет аналогичные коммутативные операции, которые имеют много общих черт со сверткой Дирихле (существование обращения Мёбиуса, сохранение мультипликативности, определения тоентов, формулы произведения типа Эйлера над ассоциированные простые числа и т. д.).

Свертка Дирихле — это частный случай умножения свертки для алгебры инцидентности ЧУУ , в данном случае ЧУУ положительных целых чисел, упорядоченных по делимости.

См. также

[ редактировать ]
  1. ^ Доказательства находятся в Чан, гл. 2
  2. ^ Доказательство находится в статье Полностью мультипликативная функция # Доказательство распределительного свойства .
  3. ^ Шмидт, Макси. Введение Апостола в аналитическую теорию чисел . Это нечто особенное, что я называю «гренки». Это следует из нескольких глав упражнений классической книги Апостола.
  4. Еще раз см. главу 2 Апостола и упражнения в конце главы.
  5. ^ См. Апостол, главу 2.
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: faf46a06466529a20facd3c9164a99ce__1718293200
URL1:https://arc.ask3.ru/arc/aa/fa/ce/faf46a06466529a20facd3c9164a99ce.html
Заголовок, (Title) документа по адресу, URL1:
Dirichlet convolution - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)