シフト作用素

関数解析学におけるシフト作用素（シフトさようそ、テンプレート:Lang-en-short）あるいは平行移動作用素（translation operator）とは、ある関数 テンプレート:Math をその平行移動 テンプレート:Math に写す作用素のことを言う。時系列解析では、シフト作用素はテンプレート:仮リンクと呼ばれる。

シフト作用素は線型作用素の例であり、その簡明さおよび自然発生的な需要において重要なものである。シフト作用素のある実数関数上での作用は、調和解析の分野で重要な役割を担い、例えば概周期関数やテンプレート:仮リンク、畳み込みの定義において用いられる。ある（整数を変数とする関数の）列のシフトは、ハーディ空間やアーベル多様体の理論、テンプレート:仮リンクが陽的な表現となるテンプレート:仮リンクの理論のような広範な分野に現れる。

定義

実変数関数

シフト作用素 テンプレート:Math (テンプレート:Math) は、R 上の関数 テンプレート:Math を、次のような平行移動 テンプレート:Math に写す。

$f_t(x)=f(x+t).$

線型作用素 テンプレート:Math の簡単な微分 テンプレート:Math に関する実践的な表現は、ラグランジュによって次のように与えられた。

$T^t=e^{t\frac{d}{dx}},$

これは t についての形式的なテイラー展開として解釈出来、単項式 xⁿ 上での作用は二項定理によって明らかで、したがって x についてのすべての級数の上でも明らかであるテンプレート:Sfn。

列

片側無限数列上の左シフト作用素は、次のように与えられる。

$S^{*}:(a_1,a_2,a_3,\dots )\mapsto (a_2,a_3,a_4,\dots ).$

また両側無限数列に対しては、次のように与えられる。

$T:(a_k{)}_{k=-\mathrm{\infty }}^{\mathrm{\infty }}\mapsto (a_{k+1}{)}_{k=-\mathrm{\infty }}^{\mathrm{\infty }}.$

片側無限数列上の右シフト作用素は、次のように与えられる。

$S:(a_1,a_2,a_3,\dots )\mapsto (0,a_1,a_2,\dots ).$

また両側無限数列に対しては、次のように与えられる。

$T^{-1}:(a_k{)}_{k=-\mathrm{\infty }}^{\mathrm{\infty }}\mapsto (a_{k-1}{)}_{k=-\mathrm{\infty }}^{\mathrm{\infty }}.$

アーベル群

一般に、テンプレート:Math があるアーベル群 テンプレート:Math 上の関数で、テンプレート:Math を テンプレート:Math の元とするとき、シフト作用素 テンプレート:Math は テンプレート:Math を

$f_g(h)=f(g+h)$

へと写すテンプレート:Sfn。

シフト作用素の性質

実あるいは複素数値の関数あるいは列の上のシフト作用素は、関数解析学の分野に現れる標準的なノルムの大半を保つ線型作用素である。したがってシフト作用素は、通常ノルムが 1 の連続作用素である。

ヒルベルト空間上での作用

両側列の上のシフト作用素は、テンプレート:Math 上のユニタリ作用素である。実数を変数とする関数上のシフト作用素は、テンプレート:Math 上のユニタリ作用素である。

いずれの場合でも、（左）シフト作用素は次のようなフーリエ変換に関する交換関係を満たす：

$ℱT^t=M^tℱ.$

ここで テンプレート:Math は テンプレート:Math との乗算作用素である。したがって テンプレート:Math のスペクトルは単位円板である。

テンプレート:Math 上の片側シフト テンプレート:Math は、第一座標において消失するすべてのベクトルとその値域が等しいようなある固有等長作用素である。そのような作用素 S は、次のような意味で T⁻¹ の圧縮である：

$T^{-1}y=Sx\text{ for each }x\in {\ell }^2(\mathbb{N}).$

ここで テンプレート:Math は テンプレート:Math 内のベクトルで、テンプレート:Math に対して テンプレート:Math = テンプレート:Math を満たし、テンプレート:Math に対して テンプレート:Math = テンプレート:Math を満たすようなものである。以上の事実は、等長写像の多くのユニタリ伸張を構成する上での肝となる。

S のスペクトルは単位円板である。そのようなシフト S はフレドホルム作用素の一例で、そのフレドホルム指数は −1 である。

一般化

ジャン・デルサルトは一般化シフト作用素（generalised shift operator。一般化置換作用素とも呼ばれる）の概念を導入した。またその概念は、テンプレート:仮リンクによって発展されたテンプレート:Sfnテンプレート:Sfn。

ある集合 テンプレート:Math から テンプレート:Math への関数の空間 テンプレート:Math 上の作用素の族 テンプレート:Math は、次の性質を満たすとき一般化シフト作用素の族（family of generalised shift operators）と呼ばれる。

1. 結合性：テンプレート:Math = テンプレート:Math とする。このとき テンプレート:Math = テンプレート:Math が成立する。
2. テンプレート:Math が恒等作用素となるようなある テンプレート:Math が存在する。

この場合、集合 テンプレート:Math はテンプレート:仮リンクと呼ばれる。

関連項目

• テンプレート:仮リンク
• テンプレート:仮リンク
• 有限差分

参考文献

• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:SpringerEOM
• テンプレート:SpringerEOM
• テンプレート:SpringerEOM
• テンプレート:Cite book.
• テンプレート:Cite book