シフト作用素

数学の、特に関数解析学の分野に現れるシフト作用素（シフトさようそ、英: Shift operator）あるいは平行移動作用素（translation operator）とは、ある関数 f(x) をその平行移動 f(x+a) に写す作用素のことを言う。時系列解析では、シフト作用素はラグ作用素と呼ばれる。

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

定義

実変数関数

シフト作用素 T^t (t ∈ R) は、R 上の関数 f を、次のような平行移動 f_t に写す。

[math] f_t(x) = f(x+t)~.[/math]

線型作用素 T^t の簡単な微分 ^d⁄_dx に関する実践的な表現は、ラグランジュによって次のように与えられた。

[math]T^t= e^{t \frac{d}{dx}}~, [/math]

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

列

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

[math] S^*: (a_1, a_2, a_3, \ldots) \mapsto (a_2, a_3, a_4, \ldots).[/math]

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

[math] T: (a_k)_{k=-\infty}^\infty \mapsto (a_{k+1})_{k=-\infty}^\infty.[/math]

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

[math] S: (a_1, a_2, a_3, \ldots) \mapsto (0, a_1, a_2, \ldots).[/math]

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

[math] T^{-1}:(a_k)_{k=-\infty}^\infty \mapsto (a_{k-1})_{k=-\infty}^\infty.[/math]

アーベル群

一般に、f があるアーベル群 G 上の関数で、g を G の元とするとき、シフト作用素 T^g は f を

[math] f_g(h) = f(g+h)[/math]

へと写す。

シフト作用素の性質

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

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

両側列の上のシフト作用素は、l₂(Z) 上のユニタリ作用素である。実数を変数とする関数上のシフト作用素は、L₂(R) 上のユニタリ作用素である。

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

[math] \mathcal{F} T^t = M^t \mathcal{F}. [/math]

ここで M^t は exp(i t x) との乗算作用素である。したがって T^t のスペクトルは単位円板である。

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

[math]T^{-1}y=Sx \text{ for each } x \in \ell^2(\mathbb{N}). \,[/math]

ここで y は l₂(Z) 内のベクトルで、i ≥ 0 に対して y_i = x_i を満たし、i < 0 に対して y_i = 0 を満たすようなものである。以上の事実は、等長写像の多くのユニタリ伸張を構成する上での肝となる。

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

一般化

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

ある集合 X から C への関数の空間 C 上の作用素の族 {L^x}_x ∈ X は、次の性質を満たすとき一般化シフト作用素の族（family of generalised shift operators）と呼ばれる。

1. 結合性：(R^yf)(x) = (L^xf)(y) とする。このとき L^xR^y = R^yL^x が成立する。
2. L^e が恒等作用素となるようなある e ∈ X が存在する。

この場合、集合 X はハイパー群と呼ばれる。

関連項目

• 算術シフト
• 論理シフト
• 有限差分

参考文献

• Marchenko, V. A. (2006). {{{title}}}. Berlin: Springer. DOI:10.1007/3-540-29462-7_8. 
• Jordan, Charles [1939] (1965-01-01). Calculus of Finite Differences, 3, AMS Chelsea Publishing. 
• テンプレート:Eom
• {{#invoke:citation/CS1|citation

|CitationClass=citation }}

• {{#invoke:citation/CS1|citation

|CitationClass=citation }}

• Partington, Jonathan R. (2004). Linear Operators and Linear Systems, An Analytical Approach to Control Theory, London Mathematical Society Student Texts 60. Cambridge University Press. .
• (1985) Hardy Classes and Operator Theory. Oxford University Press.