Ядро Дирихле - Википедия - Dirichlet kernel

В математический анализ, то Ядро Дирихле это набор функций

Он назван в честь Питер Густав Лежен Дирихле.

График первых нескольких ядер Дирихле, показывающий его сходимость к Дельта Дирака распределение.

Важность ядра Дирихле проистекает из его отношения к Ряд Фурье. В свертка из Dп(Икс) с любой функцией ƒ периода 2π это пприближение ряда Фурье к ƒ, т.е. имеем

куда

это kth коэффициент Фурьеƒ. Отсюда следует, что для изучения сходимости рядов Фурье достаточно изучить свойства ядра Дирихле.

Сюжет первых нескольких ядер Дирихле

L1 норма функции ядра

Особое значение имеет тот факт, что L1 норма Dп на расходится до бесконечности как п → ∞. Можно оценить, что

Используя аргумент суммы Римана для оценки вклада в наибольшей окрестности нуля, в которой положительно, а неравенство Дженсена для оставшейся части также можно показать, что:

Это отсутствие равномерной интегрируемости является причиной многих явлений расходимости рядов Фурье. Например, вместе с принцип равномерной ограниченности, его можно использовать, чтобы показать, что ряд Фурье непрерывная функция могут не сойтись точечно, причем довольно драматично. Видеть сходимость ряда Фурье для получения дополнительной информации.

Точное доказательство первого результата, что дан кем-то

где мы использовали тождество ряда Тейлора, что и где являются первыми гармонические числа.

Связь с дельта-функцией

Возьми периодический Дельта-функция Дирака,[требуется разъяснение ] которая не является функцией реальной переменной, а скорее "обобщенная функция ", также называемый" распределением ", и умножьте на 2π. Мы получаем элемент идентичности для свертки на функциях периода 2π. Другими словами, у нас есть

для каждой функции ƒ периода 2π. Представление этой "функции" в виде ряда Фурье:

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

Доказательство тригонометрического тождества

В тригонометрическая идентичность

отображаемое вверху этой статьи может быть установлено следующим образом. Напомним сначала, что сумма конечного геометрическая серия является

В частности, у нас есть

Умножьте числитель и знаменатель на , получающий

В случае у нас есть

как требуется.

Альтернативное доказательство тригонометрической идентичности

Начнем с серии

Умножьте обе стороны на и использовать тригонометрическое тождество

сократить сроки в сумме.

который телескопирует до результата.

Вариант идентичности

Если сумма превышает только неотрицательные целые числа (что может возникнуть при вычислении дискретное преобразование Фурье не по центру), то аналогичными методами можно показать следующую идентичность:

Смотрите также

Рекомендации

  • Эндрю М. Брукнер, Джудит Б. Брукнер, Брайан С. Томсон: Реальный анализ. ClassicalRealAnalysis.com 1996, ISBN  0-13-458886-X, S.620 (vollständige Интернет-версия (Google Книги) )
  • Подкорытов, А. Н. (1988), "Асимптотическое поведение ядра Дирихле сумм Фурье относительно многоугольника". Журнал советской математики, 42 (2): 1640–1646. DOI: 10.1007 / BF01665052
  • Леви, Х. (1974), "Геометрическая конструкция ядра Дирихле". Труды Нью-Йоркской академии наук, 36: 640–643. DOI: 10.1111 / j.2164-0947.1974.tb03023.x
  • «Ядро Дирихле», Энциклопедия математики, EMS Press, 2001 [1994]
  • Дирихле-Кернель на PlanetMath[постоянная мертвая ссылка ]