Оператор сдвига

В математике, и в частности функциональном анализе, оператор сдвига, также известный как оператор перевода, представляет собой оператор, который переводит функцию x ↦ f (x) в ее перевод x ↦ f (x + a). В анализе временных рядов оператор сдвига называется оператором запаздывания..

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

• 1 Определение
  • 1.1 Функции действительной переменной
  • 1.2 Последовательности
  • 1.3 Абелевы группы
• 2 Свойства оператора сдвига
  • 2.1 Действие в гильбертовых пространствах
• 3 Обобщение
• 4 См. Также
• 5 Примечания
• 6 Библиография

Функции действительной переменной

Оператор сдвига T (t ∈ R ) переводит функцию f на R в ее перевод f t,

$T\; tf\; (x)\; =\; ft\; (x)\; =\; f\; (x\; +\; t).\; \{\backslash \; displaystyle\; T\; ^\; \{t\}\; f\; (x)\; =\; f\_\; \{t\}\; (x)\; =\; f\; (x\; +\; t)\; ~.\}$

Практическое представление линейного оператора T в терминах простой производной ⁄ dx был введен Лагранж,

$T\; t\; =\; etddx,\; \{\backslash \; displaystyle\; T\; ^\; \{t\}\; =\; e\; ^\; \{t\; \{\backslash \; frac\; \{d\}\; \{dx\}\}\}\; ~,\}$

который может быть интерпретирован операционально через его формальное разложение Тейлора в t; и чье действие на одночлен x очевидно из биномиальной теоремы и, следовательно, на всех рядах по x и, следовательно, на всех функциях f (x), как указано выше. Таким образом, это формальная кодировка расширения Тейлора.

Оператор, таким образом, представляет собой прототип знаменитого адвективного потока Ли для абелевых групп,

$et\; \beta \; (x)\; ddxf\; (x)\; =\; etddh\; F\; (h)\; =\; F\; (h\; +\; t)\; =\; f\; (час\; -\; 1\; (час\; (x)\; +\; t)),\; \{\backslash \; displaystyle\; e\; ^\; \{t\; \backslash \; beta\; (x)\; \{\backslash \; frac\; \{d\}\; \{dx\}\}\}\; f\; (x)\; =\; e\; ^\; \{t\; \{\backslash \; frac\; \{\; d\}\; \{dh\}\}\}\; F\; (h)\; =\; F\; (h\; +\; t)\; =\; f\; (h\; ^\; \{-\; 1\}\; (h\; (x)\; +\; t)),\}$

где канонические координаты h (Функции Абеля ) определены, st

$h\; \prime \; (x)\; \equiv \; 1\; \beta \; (x),\; f\; (x)\; \equiv \; F\; (h\; (x)).\; \{\backslash \; Displaystyle\; h\; \text{'}(x)\; \backslash \; Equiv\; \{\backslash \; frac\; \{1\}\; \{\backslash \; beta\; (x)\}\}\; ~,\; \backslash \; qquad\; f\; (x)\; \backslash \; Equiv\; F\; (h\; (x)).\}$

Например, это легко следует, что $\beta \; (x)\; =\; x\; \{\backslash \; displaystyle\; \backslash \; beta\; (x)\; =\; x\}$дает масштабирование,

$etxddxf\; (x)\; =\; f\; (etx)\; \{\backslash \; displaystyle\; e\; ^\; \{\; tx\; \{\backslash \; frac\; \{d\}\; \{dx\}\}\}\; f\; (x)\; =\; f\; (e\; ^\; \{t\}\; x)\}$,

, следовательно, $ei\; \pi \; xddxf\; (x)\; =\; f\; (-\; x)\; \{\backslash \; displaystyle\; e\; ^\; \{i\; \backslash \; pi\; x\; \{\backslash \; frac\; \{d\}\; \{dx\}\}\}\; f\; (x)\; =\; f\; (-x)\}$(четность); аналогично, $\beta \; (x)\; =\; x\; 2\; \{\backslash \; displaystyle\; \backslash \; beta\; (x)\; =\; x\; ^\; \{2\}\}$дает

$etx\; 2\; ddxf\; (x)\; =\; f\; (x\; 1\; -\; tx)\; \{\backslash \; displaystyle\; e\; ^\; \{tx\; ^\; \{2\}\; \{\backslash \; frac\; \{d\}\; \{dx\}\}\}\; f\; (x)\; =\; f\; \backslash \; left\; (\{\backslash \; frac\; \{x\}\; \{1-tx\}\}\; \backslash \; right)\}$,

$\beta \; (x)\; =\; 1\; /\; x\; \{\backslash \; displaystyle\; \backslash \; beta\; (x)\; =\; 1\; /\; x\}$дает

$etxddxf\; (x)\; =\; f\; (x\; 2\; +\; 2\; t)\; \{\backslash \; displaystyle\; e\; ^\; \{\{\backslash \; frac\; \{t\}\; \{x\}\}\; \{\backslash \; frac\; \{d\}\; \{dx\}\}\}\; f\; (x)\; =\; f\; (\{\backslash \; sqrt\; \{x\; ^\; \{2\}\; +\; 2t\}\}\; ~)\}$,

$\beta \; (\; х)\; =\; ex\; \{\backslash \; displaystyle\; \backslash \; beta\; (x)\; =\; e\; ^\; \{x\}\}$дает

$exp\; \; (texddx)\; f\; (x)\; =\; f\; (ln\; \; (1\; exp\; \; (-\; x)\; -\; t))\; \{\backslash \; displaystyle\; \backslash \; exp\; \backslash \; left\; (te\; ^\; \{x\}\; \{\backslash \; frac\; \{d\}\; \{dx\}\}\; \backslash \; right)\; f\; (x)\; =\; f\; \backslash \; left\; (\backslash \; ln\; \backslash \; left\; (\{\backslash \; frac\; \{1\; \}\; \{\backslash \; exp\; (-x)\; -t\}\}\; \backslash \; right)\; \backslash \; right)\}$,

и т. д.

Начальное состояние потока и свойство группы полностью определяют весь поток Ли, обеспечивая решение функционального уравнения сдвига

$f\; t\; (f\; \tau \; (x))\; =\; f\; t\; +\; \tau \; (x).\; \{\backslash \; displaystyle\; f\_\; \{t\}\; (f\; \_\; \{\backslash \; tau\}\; (x))\; =\; f\_\; \{t\; +\; \backslash \; tau\}\; (x).\}$

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

Оператор сдвиг влево действует на односторонней бесконечной последовательности чисел на

$S\; \ast :\; (a\; 1,\; a\; 2,\; a\; 3,\dots )\; \mapsto \; (a\; 2,\; a\; 3,\; a\; 4,\dots )\; \{\backslash \; displaystyle\; S\; ^\; \{*\}\; :(\; a\_\; \{1\},\; a\_\; \{2\},\; a\_\; \{3\},\; \backslash \; ldots)\; \backslash \; mapsto\; (a\_\; \{2\},\; a\_\; \{3\},\; a\_\; \{4\},\; \backslash \; ldots)\}$

и на двусторонних бесконечных последовательностях по

$T:\; (ak)\; k\; =\; -\; \infty \; \infty \; \mapsto \; (ak\; +\; 1)\; k\; =\; -\; \infty \; \infty .\; \{\backslash \; displaystyle\; T:\; (a\_\; \{k\})\; \_\; \{k\; =\; -\; \backslash \; infty\}\; ^\; \{\backslash \; infty\}\; \backslash \; mapsto\; (a\_\; \{k\; +\; 1\})\; \_\; \{k\; =\; -\; \backslash \; infty\}\; ^\; \{\backslash \; infty\}.\}$

Оператор сдвига вправо действует на одностороннюю бесконечную последовательность чисел по

$S:\; (a\; 1,\; a\; 2,\; a\; 3,\dots )\; \mapsto \; (0,\; a\; 1,\; a\; 2,\dots )\; \{\backslash \; displaystyle\; S:\; (a\_\; \{1\},\; a\_\; \{2\},\; a\_\; \{3\},\; \backslash \; ldots)\; \backslash \; mapsto\; (0,\; a\_\; \{1\},\; a\_\; \{2\},\; \backslash \; ldots)\}$

, а на двусторонних бесконечных последовательностях -

$T\; -\; 1:\; (ak)\; k\; =\; -\; \infty \; \infty \; \mapsto \; (ak\; -\; 1)\; k\; =\; -\; \infty \; \infty .\; \{\backslash \; displaystyle\; T\; ^\; \{-\; 1\}\; :(\; a\_\; \{k\})\; \_\; \{k\; =\; -\; \backslash \; infty\}\; ^\; \{\backslash \; infty\}\; \backslash \; mapsto\; (a\_\; \{k-1\})\; \_\; \{k\; =\; -\; \backslash \; infty\}\; ^\; \{\backslash \; infty\}.\}$

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

Абелевы группы

В общем, как показано выше, если F является функцией на абелевой группе G, а h является элементом G, оператор сдвига T отображает F в

$F\; g\; (h)\; =\; F\; (h\; +\; g).\; \{\backslash \; displaystyle\; F\_\; \{g\}\; (h)\; =\; F\; (h\; +\; g).\}$

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

Действие в гильбертовых пространствах

Оператор сдвига, действующий на двусторонние последовательности, является унитарным оператором на ℓ 2(Z). Оператор сдвига, действующий на функции действительной переменной, является унитарным оператором на L 2(R).

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

$FT\; t\; =\; M\; t\; F,\; \{\backslash \; displaystyle\; \{\backslash \; mathcal\; \{F\}\}\; T\; ^\; \{t\; \}\; =\; M\; ^\; \{t\}\; \{\backslash \; mathcal\; \{F\}\},\}$

где M - оператор умножения на exp (itx). Следовательно, спектр T - это единичный круг.

Односторонний сдвиг S, действующий на ℓ 2(N), является правильной изометрией с диапазоном, равным всем векторам, которые исчезают в первая координата. Оператор S представляет собой сжатие T в том смысле, что

$T\; -\; 1\; y\; =\; S\; x\; для\; каждого\; x\; \in \; \ell \; 2\; (N),\; \{\backslash \; displaystyle\; T\; ^\; \{-\; 1\}\; y\; =\; Sx\; \{\backslash \; text\; \{для\; каждого\}\}\; x\; \backslash \; in\; \backslash \; ell\; ^\; \{2\}\; (\backslash \; mathbb\; \{N\}),\; \backslash ,\}$

, где y - вектор в ℓ 2(Z) с y i = x i для i ≥ 0 и y i = 0 для i < 0. This observation is at the heart of the construction of many унитарных растяжений изометрий.

Спектр S - это единичный диск. Сдвиг S является одним из примеров оператора Фредгольма ; он имеет индекс Фредгольма −1.

Жан Дельсарт ввел понятие оператора обобщенного сдвига (также называемого оператором обобщенного сдвига ); он был развит Борисом Левитаном.

. Семейство операторов {L} x ∈ X, действующих в пространстве Φ функций из множества X в C, называется семейство операторов обобщенного сдвига, если выполняются следующие свойства:

1. Ассоциативность: let (Rf) (x) = (Lf) (y). Тогда LR = RL (непонятно почему, поскольку это больше похоже на коммутативность).
2. Существует e ∈ X такой, что L - тождественный оператор.

В этом случае множество X называется гипергруппой.

• Арифметический сдвиг
• Логический сдвиг
• Конечная разность

• Партингтон, Джонатан Р. ( 15 марта 2004 г.). Линейные операторы и линейные системы. Издательство Кембриджского университета. doi : 10.1017 / cbo9780511616693. ISBN 978-0-521-83734-7.
• Марвин Розенблюм и Джеймс Ровняк, Классы Харди и теория операторов, (1985) Oxford University Press.