difference sequence

ウィキペディア

階差数列

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2026/03/08 02:25 UTC 版)

階差数列（かいさすうれつ、英: difference sequence）とは、ある数列の隣り合う項の差を並べて得られる数列である。より一般には、差をとる操作を繰り返して得られる高階の階差数列も考えられる。階差数列は、数列の規則性の把握、漸化式の処理、補間、差分法などに用いられる。

定義

数列 $(a_{n})$ に対して

$\Delta a_{n}=a_{n+1}-a_{n}$

で定まる数列 $(\Delta a_{n})$ を、 $(a_{n})$ の第1階差数列または単に階差数列という。ここで $\Delta$ は前進差分作用素である。さらに帰納的に

$\Delta ^{m}a_{n}=\Delta (\Delta ^{m-1}a_{n})$

によって第 $m$ 階差数列を定義する。

たとえば

$a_{n}=n^{2}$

とすると、

$\Delta a_{n}=(n+1)^{2}-n^{2}=2n+1$

であり、さらに

$\Delta ^{2}a_{n}=\Delta (2n+1)=2$

となる。したがって平方数の列は第2階差が一定である。

例

等差数列

等差数列

$a_{n}=a+(n-1)d$

の階差数列は

$\Delta a_{n}=d$

であり、定数列となる。したがって等差数列は第1階差が一定な数列である。

平方数列

平方数列

$1,4,9,16,\dots$

に対して階差数列は

$3,5,7,\dots$

であり、これは等差数列である。さらに第2階差数列は

$2,2,2,\dots$

となる。

等比数列

等比数列

$a_{n}=ar^{n-1}$

に対しては

$\Delta a_{n}=a(r-1)r^{n-1}$

であり、一般には再び等比数列になるが、等差数列にはならない。

性質

差分作用素 $\Delta$ は線型であり、任意の数列 $(a_{n}),(b_{n})$ と定数 $c$ に対して

$\Delta (a_{n}+b_{n})=\Delta a_{n}+\Delta b_{n}$

$\Delta (ca_{n})=c\Delta a_{n}$

が成り立つ。

また、階差数列を $b_{n}=\Delta a_{n}$ とすると、もとの数列は

$a_{n}=a_{1}+\sum _{k=1}^{n-1}b_{k}\quad (n\geq 2)$

によって復元できる。これは離散的な意味での積分に対応し、しばしば不定和分あるいは差分の逆操作とみなされる。

多項式列との関係

数列 $a_{n}$ が $n$ の次数 $m$ の多項式で与えられるとき、 $\Delta a_{n}$ は次数 $m-1$ の多項式となる。したがって $m$ 階差は定数列となり、それより高い階差は零列となる。これは階差法の基本的事実であり、与えられた数列が多項式的な規則に従うかどうかを判定する手がかりになる。

より具体的には、 $P(n)$ を次数 $m$、最高次係数を $a$ とする多項式とすると、刻み幅 1 の前進差分について

$\Delta ^{m}P(n)=a\,m!$

が成り立つ。

階差表

もとの数列と、その第1階差、第2階差、……を並べた表を階差表という。階差表を用いると、数列の規則性や高階階差の振る舞いを視覚的に確認しやすい。とくに、多項式で与えられる数列では、ある段階で階差が一定になる。

たとえば

$n$	$a_{n}=n^{2}$	第1階差	第2階差
1	1	3	2
2	4	5	2
3	9	7
4	16

のようになり、第2階差が一定であることが分かる。

不定和分との関係

ある数列 $(b_{n})$ に対し、

$\Delta s_{n}=b_{n}$

を満たす数列 $(s_{n})$ を、 $(b_{n})$ の不定和分とみなすことがある。これは微分に対する不定積分の離散版に相当する。階差数列を知ることで、初項を与えれば元の数列を一意に定めることができる。

数値解析・補間における利用

有限差分は数値解析で広く用いられ、関数値の表から差分を作ることでニュートン補間公式などの補間公式を構成できる。等間隔に並んだデータに対する前進差分表・後退差分表は、その代表的な道具である。

また、有限差分は導関数の離散的近似としても解釈され、常微分方程式や偏微分方程式の数値解法における基本手法の一つとなっている。

参考文献

• “Finite Difference”. Wolfram MathWorld. 2026年3月6日閲覧。
• “Calculus of Finite Differences”. Cornell University. 2026年3月6日閲覧。
• “Sequences and the Difference Operator”. Michigan State University. 2026年3月6日閲覧。
• “Calculus of Finite Differences”. Texas A&M University. 2026年3月6日閲覧。
• “Numerical Methods Unit I: Finite Differences”. Manonmaniam Sundaranar University. 2026年3月6日閲覧。
• “Interpolation”. University of Lucknow. 2026年3月6日閲覧。

関連項目

• 数列
• 等差数列
• 等比数列
• 差分法
• 漸化式
• ニュートン補間公式
• 階乗冪