WikiDer > Ядро суммируемости

В математике ядро суммируемости семейство или последовательность периодических интегрируемых функций, удовлетворяющих определенному набору свойств, перечисленных ниже. Некоторые ядра, такие как Ядро Фейера, особенно полезны в Анализ Фурье. Ядра суммируемости связаны с приближение идентичности; определения приближения идентичности различаются,^[1] но иногда определение приближения тождества принимается таким же, как для ядра суммируемости.

Определение

Позволять ${ Displaystyle mathbb {T}: = mathbb {R} / mathbb {Z}}$. А ядро суммируемости это последовательность ${ Displaystyle (к_ {п})}$ в ${ Displaystyle L ^ {1} ( mathbb {T})}$ это удовлетворяет

1. ${ displaystyle int _ { mathbb {T}} k_ {n} (t) , dt = 1}$
2. ${ displaystyle int _ { mathbb {T}} | k_ {n} (t) | , dt leq M}$ (равномерно ограниченный)
3. ${ displaystyle int _ { delta leq | t | leq { frac {1} {2}}} | k_ {n} (t) | , dt to 0}$ в качестве ${ Displaystyle п к infty}$, для каждого ${ displaystyle delta> 0}$.

Обратите внимание, что если ${ Displaystyle к_ {п} geq 0}$ для всех ${ displaystyle n}$, т.е. ${ Displaystyle (к_ {п})}$ это ядро положительной суммируемости, то второе требование следует автоматически от первой.

Если вместо этого мы примем соглашение ${ Displaystyle mathbb {T} = mathbb {R} / 2 pi mathbb {Z}}$, первое уравнение принимает вид ${ Displaystyle { frac {1} {2 pi}} int _ { mathbb {T}} k_ {n} (t) , dt = 1}$, а верхний предел интегрирования по третьему уравнению следует расширить до ${ displaystyle pi}$.

Мы также можем рассмотреть ${ Displaystyle mathbb {R}}$ скорее, чем ${ displaystyle mathbb {T}}$; то проинтегрируем (1) и (2) по ${ Displaystyle mathbb {R}}$, и (3) над ${ displaystyle | t |> delta}$.

Примеры

• В Ядро Фейера
• В Ядро Пуассона (непрерывный индекс)
• В Ядро Дирихле является нет ядро суммируемости, поскольку оно не удовлетворяет второму требованию.

Свертки

Позволять ${ Displaystyle (к_ {п})}$ - ядро ​​суммируемости, а ${ displaystyle *}$ обозначить свертка операция.

• Если ${ Displaystyle (к_ {п}), е ин { mathcal {C}} ( mathbb {T})}$ (непрерывные функции на ${ displaystyle mathbb {T}}$), тогда ${ displaystyle k_ {n} * от до f}$ в ${ Displaystyle { mathcal {C}} ( mathbb {T})}$, т.е. равномерно, как ${ Displaystyle п к infty}$.
• Если ${ Displaystyle (к_ {п}), е в L ^ {1} ( mathbb {T})}$, тогда ${ displaystyle k_ {n} * от до f}$ в ${ Displaystyle L ^ {1} ( mathbb {T})}$, в качестве ${ Displaystyle п к infty}$.
• Если ${ Displaystyle (к_ {п})}$ радиально убывающая симметричная и ${ Displaystyle е в L ^ {1} ( mathbb {T})}$, тогда ${ displaystyle k_ {n} * от до f}$ точечно п.в., в качестве ${ Displaystyle п к infty}$. Это использует Максимальная функция Харди – Литтлвуда. Если ${ Displaystyle (к_ {п})}$ не радиально убывающая симметричная, а убывающая симметризация ${ displaystyle { widetilde {k}} _ {n} (x): = sup _ {| y | geq | x |} k_ {n} (y)}$ удовлетворяет ${ Displaystyle sup _ {п ин mathbb {N}} | { widetilde {k_ {n}}} | _ {1} < infty}$, то п.в. сходимость сохраняется, если использовать аналогичные аргументы.

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

• Кацнельсон, Ицхак (2004), Введение в гармонический анализ, Издательство Кембриджского университета, ISBN 0-521-54359-2