シェファー列とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > シェファー列の意味・解説 

シェファー列

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/04/12 18:08 UTC 版)

ナビゲーションに移動 検索に移動

数学におけるシェファー列(シェファーれつ、: Sheffer sequence)あるいはパワーロイド: poweroid; 擬冪)は、多項式列(つまり、各添字がその多項式の次数に等しいような多項式の列) { pn(x) : n = 0, 1, 2, 3, …… } で、組合せ論における陰計算と関連する条件を満たすものを言う。イサドラ・シェファー英語版の名にちなむ。

定義

多項式列 pn を固定する。多項式上の線形作用素 Q

で定める(これだけで、任意の多項式に対する Q の作用が定まっていることに注意する)。この線形作用素 Q がちょうどシフト同変となっているとき、多項式列 pnシェファー列と呼ばれる。ここで多項式上の線形作用素 Q がシフト同変 (shift-equivariant) であるとは、

f(x) = g(x + a) = Tag(x)g(x) の「シフト」ならば必ず (Qf)(x) = (Qg)(x + a) が成り立つ」

ことを言う。すなわち、Q は任意のシフト作用素と可換(TaQ = QTa)である。そのような Qデルタ作用素である。

性質

シェファー列すべてからなる集合は、以下のように定義される陰合成(umbral composition)を演算としてを成す。ふたつの多項式列 { pn(x) : n = 0, 1, 2, 3, …… }, { qn(x) : n = 0, 1, 2, 3, …… }

 

で与えられるとき、これらの陰合成 pq は、その第 n-項が多項式

で与えられる多項式列のことを言う(ここで pn にだけ下付き添字 n を付け、q の方には添字を付けていないのは、右辺の和において pn は第 n-項の多項式の係数しか考えない一方、q の方は(一つの項だけではなくて)全ての項を考えるからである)。

この群の中立元は、標準単項式基底

である。この群の二つの重要な部分群として、アペル列英語版全体の成す群(これらの上で作用素 Q は単に微分となる)と、二項型多項式列全体の成す群(多項式列が二項型であるとは、等式

を満たすことである)が挙げられる。

シェファー列 { pn(x) : n = 0, 1, 2, …… } が二項型となるための必要十分条件は、

を満足することである。

アペル列の群はアーベル群であるが、二項型列の群はそうではない。アペル列の群はシェファー列の群の正規部分群であるが、二項型列の群はそうではない。実はシェファー列の群はアペル列の群と二項型の列の群との半直積である。したがってシェファー列の群をアペル列の群で割った各傍系は、二項型の列をちょうど一つ含む。この剰余類分解において、二つのシェファー列が同一の傍系に属するための必要十分条件は、それらの列の「デルタ作用素」(上で述べた作用素 Q)が線型作用素として一致することである(一般に、デルタ作用素は多項式上のシフト同変な線形作用素で次数を 1 減らすものをいう。その用語は F. Hildebrandt による)。

シェファー列 sn(x) とデルタ作用素を共有する唯一の二項型列 pn(x) に対し

が成り立つ(「シェファー列」を、適当な二項型列に対してこの関係式を満たすものとして定義することもある)。特に、 { sn(x) } がアペル列ならば

と書くことができる。エルミート多項式{Hn(x)} ベルヌーイ多項式{Bn(x)} および単項式 { xn : n = 0, 1, 2, … } は、アペル列の例である。

シェファー列 pn は、次の指数型母関数によって特徴付けられる。

(ただし A, B は、t についての(形式的)冪級数である)。従って、シェファー列は一般化アペル多項式の例であり、したがって付随する漸化式が存在する。

シェファー列であるような多項式列の例として、以下が挙げられる。

注釈

参考文献

外部リンク




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「シェファー列」の関連用語

シェファー列のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



シェファー列のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのシェファー列 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS