WikiDer > Винеровская алгебра

В математике Винеровская алгебра, названный в честь Норберт Винер и обычно обозначается А(Т), это пространство абсолютно сходящийся Ряд Фурье.^[1] Здесь Т обозначает круговая группа.

Структура банаховой алгебры

Норма функции ж ∈ А(Т) дан кем-то

${ Displaystyle | е | = сумма _ {п = - infty} ^ { infty} | { шляпа {f}} (п) |, ,}$

куда

${ displaystyle { hat {f}} (n) = { frac {1} {2 pi}} int _ {- pi} ^ { pi} f (t) e ^ {- int} , dt}$

это пth коэффициент Фурье ж. Алгебра Винера А(Т) замкнуто относительно поточечного умножения функций. В самом деле,

${ Displaystyle { begin {align} е (т) г (т) & = сумма _ {м в mathbb {Z}} { шляпа {f}} (м) е ^ {imt} , cdot , sum _ {n in mathbb {Z}} { hat {g}} (n) e ^ {int} & = sum _ {n, m in mathbb {Z}} { hat {f}} (m) { hat {g}} (n) e ^ {i (m + n) t} & = sum _ {n in mathbb {Z}} left { sum _ {m in mathbb {Z}} { hat {f}} (nm) { hat {g}} (m) right } e ^ {int}, qquad f, g in A ( mathbb {T}); end {align}}}$

следовательно

${ displaystyle | fg | = sum _ {n in mathbb {Z}} left | sum _ {m in mathbb {Z}} { hat {f}} (нм) { шляпа {g}} (m) right | leq sum _ {m} | { hat {f}} (m) | sum _ {n} | { hat {g}} (n) | = | е | , | g |. ,}$

Таким образом, алгебра Винера является коммутативной унитарной Банахова алгебра. Также, А(Т) изоморфна банаховой алгебре л₁(Z), с изоморфизмом, задаваемым преобразованием Фурье.

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

Сумма абсолютно сходящегося ряда Фурье непрерывна, поэтому

${ Displaystyle А ( mathbb {T}) подмножество С ( mathbb {T})}$

куда C(Т) кольцо непрерывных функций на единичной окружности.

С другой стороны интеграция по частямвместе с Неравенство Коши – Шварца и Формула Парсеваля, показывает, что

${ Displaystyle C ^ {1} ( mathbb {T}) подмножество A ( mathbb {T}). ,}$

В более общем смысле,

${ displaystyle mathrm {Lip} _ { alpha} ( mathbb {T}) subset A ( mathbb {T}) subset C ( mathbb {T})}$

за ${ displaystyle alpha> 1/2}$ (видеть Кацнельсон (2004)).

Винера 1 /ж теорема

Винер (1932, 1933) доказал, что если ж имеет абсолютно сходящийся ряд Фурье и никогда не равен нулю, то его обратная 1/ж также имеет абсолютно сходящийся ряд Фурье. С тех пор появилось много других доказательств, в том числе элементарное, сделанное Новичок (1975).

Гельфанд (1941, 1941b) использовал теорию банаховых алгебр, которую он развил, чтобы показать, что максимальные идеалы А(Т) имеют форму

${ Displaystyle M_ {x} = left {е in A ( mathbb {T}) , mid , f (x) = 0 right }, quad x in mathbb {T} ~,}$

что эквивалентно теореме Винера.

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

• Теорема Винера – Леви

Примечания

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

• Арвесон, Уильям (2001) [1994], «Краткий курс спектральной теории», Энциклопедия математики, EMS Press
• Гельфанд, И. (1941a), "Нормьерте Ринге", Рек. Математика. (Мат. Сборник) Н.С., 9 (51): 3–24, МИСТЕР 0004726
• Гельфанд, I. (1941b), "Über absolut konvergente trigonometrische Reihen und Integrale", Рек. Математика. (Мат. Сборник) Н.С., 9 (51): 51–66, МИСТЕР 0004727
• Кацнельсон, Ицхак (2004), Введение в гармонический анализ (Третье изд.), Нью-Йорк: Кембриджская математическая библиотека, ISBN 978-0-521-54359-0
• Ньюман, Д. Дж. (1975), "Простое доказательство Винера 1 /ж теорема », Труды Американского математического общества, 48: 264–265, Дои:10.2307/2040730, ISSN 0002-9939, МИСТЕР 0365002
• Винер, Норберт (1932), "Тауберовы теоремы", Анналы математики, 33 (1): 1–100, Дои:10.2307/1968102
• Винер, Норберт (1933), Интеграл Фурье и некоторые его приложения, Кембриджская математическая библиотека, Издательство Кембриджского университета, Дои:10.1017 / CBO9780511662492, ISBN 978-0-521-35884-2, МИСТЕР 0983891