Z 変換へんかんの基礎きそ

date2026-07-14document_iddoc_8fa5149e9a74765824017f2b43f5393edescriptionZ変換を、離散時間列のシフト作用素を代数的な z の式へ移す変換として導入する講義である。prerequisites数列と漸化式 / シフト作用素と漸化式 / 複素数と複素平面type講義content_typelecturestatusactive

mathanalysisz-transformsequencelinear-operatorlecture

1導入どうにゅう

この講義こうぎでは、Z 変換へんかんZ-transformがシフト作用素さようそshift operatorを $z$ または $z^{- 1}$ による代数的乗算だいすうてきじょうざんへ変換へんかんすることを説明せつめいする。

連続時間れんぞくじかんの微分方程式びぶんほうていしきでは、ラプラス変換へんかんが微分作用素びぶんさようそを $s$ の式しきへ移うつす。離散時間りさんじかんの漸化式ぜんかしきでは、Z 変換へんかんがシフトや遅延ちえんを $z$ や $z^{- 1}$ の式しきへ移うつす。

data/lecture/math/sequence/shift-operators-and-recurrences.lecture.n.md

2定義ていぎ

この講義こうぎでは $z \neq 0$ とする。

両側りょうがわ列れつ $x = (x [n])_{n \in Z}$ に対たいして、両側 Z 変換へんかんbilateral Z-transformを

X_{b} (z) = [PARSE ERROR: Undefined("Command(\"mathcal\")")] Z_{b} {x [n]} = \sum_{n = - \infty}^{\infty} x [n] z^{- n}

で定義ていぎする。

片側かたがわ列れつ $x = (x [n])_{n [PARSE ERROR: Undefined("Command(\"ge\")")] 0}$ に対たいして、片側 Z 変換へんかんunilateral Z-transformを

X_{+} (z) = [PARSE ERROR: Undefined("Command(\"mathcal\")")] Z_{+} {x [n]} = \sum_{n = 0}^{\infty} x [n] z^{- n}

で定義ていぎする。

どちらの定義ていぎでも、 $\sum_{n} | x [n] z^{- n} |$ が収束しゅうそくする $z$ の範囲はんいを確認かくにんする必要ひつようがある。この絶対収束ぜったいしゅうそくする範囲はんいを収束領域しゅうそくりょういきregion of convergence、略りゃくして ROC という。Z 変換へんかんの結果けっかは、式しきだけでなく「式しきと ROC の組くみ」である。以下いかでは、両側変換りょうがわへんかんを $X_{b}$ 、片側変換かたがわへんかんを $X_{+}$ と書かき分わける。

3ROC による原列げんれつの識別しきべつ

$a \neq 0$ とし、 $u [n]$ を $n [PARSE ERROR: Undefined("Command(\"ge\")")] 0$ で 1、 $n < 0$ で 0 となる単位階段列たんいかいだんれつunit step sequenceとする。 $x [n] = a^{n} u [n]$ なら

X_{b} (z) = \sum_{n = 0}^{\infty} a^{n} z^{- n} = \frac{1}{1 - a z^{- 1}} = \frac{z}{z - a}, | z | > | a |

である。一方いっぽう、 $y [n] = - a^{n} u [- n - 1]$ なら

Y_{b} (z) = - \sum_{n = - \infty}^{- 1} a^{n} z^{- n} = - \sum_{m = 1}^{\infty} {(\frac{z}{a})}^{m} = \frac{z}{z - a}, 0 < | z | < | a |

である。有理式ゆうりしきは同おなじ $z / (z - a)$ でも、外側そとがわの ROC では右向みぎむきの列れつ $a^{n} u [n]$ 、内側うちがわの ROC では左向ひだりむきの列れつ $- a^{n} u [- n - 1]$ を表あらわす。

この例れいでは、逆 Z 変換ぎゃくゼットへんかんinverse Z-transformは ROC に適合てきごうする Laurent 展開てんかい

X_{b} (z) = \sum_{n = - \infty}^{\infty} x [n] z^{- n}

を選えらび、 $z^{- n}$ の係数けいすうを抽出ちゅうしゅつする操作そうさである。この講義こうぎでは複素積分ふくそせきぶんを前提ぜんていにせず、幾何級数きかきゅうすうと係数比較けいすうひかくで逆変換ぎゃくへんかんする。

4重おもみ $z^{- n}$ とシフト作用さよう

漸化式ぜんかしきでは、 $x [n + 1]$ や $x [n - 1]$ のように添字そえじが移動いどうする。この移動いどうを代数的だいすうてきに処理しょりするため、添字そえじが 1 増加ぞうかするごとに一定倍率いっていばいりつを与あたえる重おもみを採用さいようする。

$z^{- n}$ は

z^{- (n + 1)} = z^{- 1} z^{- n}

を満みたす。したがって、添字そえじを 1 移動いどうする操作そうさは、変換後へんかんごには $z$ または $z^{- 1}$ による乗算じょうざんとして表現ひょうげんされる。

5命題めいだい 1：両側りょうがわ Z 変換へんかんは線型せんけいである

5.1主張しゅちょう

$X_{b}$ と $Y_{b}$ の ROC の共通部分きょうつうぶぶんで、

[PARSE ERROR: Undefined("Command(\"mathcal\")")] Z_{b} {α x [n] + β y [n]} = α X_{b} (z) + β Y_{b} (z)

である。

5.2証明しょうめい

定義ていぎより

\begin{aligned} \mathcal Z_{\mathrm b}\{\alpha x[n]+\beta y[n]\} &=\sum_n(\alpha x[n]+\beta y[n])z^{-n}\\ &=\alpha\sum_nx[n]z^{-n}+\beta\sum_ny[n]z^{-n}\\ &=\alpha X_{\mathrm b}(z)+\beta Y_{\mathrm b}(z) \end{aligned}\begin{aligned} \mathcal Z_{\mathrm b}\{\alpha x[n]+\beta y[n]\} &=\sum_n(\alpha x[n]+\beta y[n])z^{-n}\\ &=\alpha\sum_nx[n]z^{-n}+\beta\sum_ny[n]z^{-n}\\ &=\alpha X_{\mathrm b}(z)+\beta Y_{\mathrm b}(z) \end{aligned}

である。したがって Z 変換へんかんは線型せんけいである。和わで項こうが相殺そうさいすると ROC が広ひろがることはあるが、少すくなくとも共通部分きょうつうぶぶんではこの計算けいさんが正当化せいとうかされる。□

6命題めいだい 2：両側りょうがわ Z 変換へんかんではシフトが $z$ 倍ばいになる

6.1主張しゅちょう

$E$ を

(E x) [n] = x [n + 1]

で定義ていぎされる前進ぜんしんシフト作用素さようそとする。両側りょうがわ Z 変換へんかんでは

[PARSE ERROR: Undefined("Command(\"mathcal\")")] Z_{b} {(E x) [n]} = z X_{b} (z)

である。

また、遅延作用素ちえんさようそ $D_{-}$ を

(D_{-} x) [n] = x [n - 1]

で定義ていぎすると

[PARSE ERROR: Undefined("Command(\"mathcal\")")] Z_{b} {(D_{-} x) [n]} = z^{- 1} X_{b} (z)

である。

6.2証明しょうめい

まず前進ぜんしんシフトについて、

\begin{aligned} \mathcal Z_{\mathrm b}\{x[n+1]\} &=\sum_{n=-\infty}^{\infty}x[n+1]z^{-n}. \end{aligned}\begin{aligned} \mathcal Z_{\mathrm b}\{x[n+1]\} &=\sum_{n=-\infty}^{\infty}x[n+1]z^{-n}. \end{aligned}

$m = n + 1$ と置おくと $n = m - 1$ である。したがって

\sum_{n = - \infty}^{\infty} x [n + 1] z^{- n} = \sum_{m = - \infty}^{\infty} x [m] z^{- (m - 1)} = z \sum_{m = - \infty}^{\infty} x [m] z^{- m} = z X_{b} (z)

である。

同様どうように、 $m = n - 1$ と置おくと

[PARSE ERROR: Undefined("Command(\"mathcal\")")] Z_{b} {x [n - 1]} = \sum_{m = - \infty}^{\infty} x [m] z^{- (m + 1)} = z^{- 1} X_{b} (z)

である。□

7片側かたがわ Z 変換へんかんの初期項しょきこう

片側かたがわ Z 変換へんかんでは、和わが $n = 0$ から始はじまるため、シフトすると端はしの項こうが残のこる。

たとえば

\begin{aligned} \mathcal Z_+\{x[n+1]\} &=\sum_{n=0}^{\infty}x[n+1]z^{-n}\\ &=z\sum_{m=1}^{\infty}x[m]z^{-m}\\ &=z(X_+(z)-x[0]) \end{aligned}\begin{aligned} \mathcal Z_+\{x[n+1]\} &=\sum_{n=0}^{\infty}x[n+1]z^{-n}\\ &=z\sum_{m=1}^{\infty}x[m]z^{-m}\\ &=z(X_+(z)-x[0]) \end{aligned}

である。

これはラプラス変換へんかんで

[PARSE ERROR: Undefined("Command(\"mathcal\")")] L {f^{'}} = s F (s) - f (0)

となることに対応たいおうする。片側変換かたがわへんかんでは、初期値しょきちを変換式へんかんしきへ組くみ込こむため、シフト公式こうしきに初期項しょきこうが付加ふかされる。

8漸化式ぜんかしきへの応用おうよう

$a \neq 0$ とし、片側かたがわ漸化式ぜんかしき

x [n + 1] - a x [n] = r [n], x [0] = x_{0}

を考かんがえる。片側かたがわ Z 変換へんかんを取とると

z (X_{+} (z) - x_{0}) - a X_{+} (z) = R_{+} (z)

である。したがって

(z - a) X_{+} (z) = R_{+} (z) + z x_{0}

となり、

X_{+} (z) = \frac{R_{+} (z) + z x_{0}}{z - a}

を得える。ここで $R_{+} (z) = [PARSE ERROR: Undefined("Command(\"mathcal\")")] Z_{+} {r [n]}$ である。

この操作そうさは、漸化式ぜんかしきというシフト作用素方程式さようそほうていしきを、 $X_{+} (z)$ に関かんする代数方程式だいすうほうていしきへ変換へんかんするものである。

入力にゅうりょくが 0、すなわち $r [n] = 0$ の場合ばあいは

X_{+} (z) = \frac{z x_{0}}{z - a} = \frac{x_{0}}{1 - a z^{- 1}} = x_{0} \sum_{n = 0}^{\infty} a^{n} z^{- n}, | z | > | a |

となる。 $z^{- n}$ の係数けいすうを読よめば

x [n] = x_{0} a^{n} (n [PARSE ERROR: Undefined("Command(\"ge\")")] 0)

を得える。これにより、変換後へんかんごの代数方程式だいすうほうていしきの求解きゅうかいと、ROC に適合てきごうする級数展開きゅうすうてんかいからの原列げんれつの復元ふくげんが完了かんりょうする。

9畳たたみ込こみとの関係かんけい

線型時不変せんけいじふへん（LTI）システムlinear time-invariant systemとは、入出力写像にゅうしゅつりょくしゃぞうが線型結合せんけいけつごうを保存ほぞんし、シフト作用さようと可換かかんであるシステムをいう。 $n = 0$ で 1、それ以外いがいで 0 の単位たんいインパルスunit impulse $δ [n]$ を入力にゅうりょくしたときの出力しゅつりょく $h [n]$ をインパルス応答おうとうimpulse responseという。

有限個ゆうげんこの項こうだけが 0 でない列れつは $x [n] = \sum_{k} x [k] δ [n - k]$ と有限和ゆうげんわで書かける。LTI の線型性せんけいせいと時不変性じふへんせいから、その出力しゅつりょくは

y [n] = \sum_{k} x [k] h [n - k] = (h * x) [n]

となる。一般いっぱんの列れつでは、この畳たたみ込こみ級数きゅうすうが収束しゅうそくし、システム作用さようと有限部分和ゆうげんぶぶんわの極限きょくげんを交換こうかんできる場合ばあいに同おなじ表示ひょうじへ拡張かくちょうする。以下いかでは、出力しゅつりょくがこの畳たたみ込こみで与あたえられる LTI システムを扱あつかう。 $h$ の Z 変換へんかん $H_{b} (z)$ を、この畳たたみ込こみ作用さようの伝達関数でんたつかんすうtransfer functionという。

離散りさん畳たたみ込こみを

(h * x) [n] = \sum_{k = - \infty}^{\infty} h [k] x [n - k]

で定義ていぎする。二重和にじゅうわの順序じゅんじょを交換こうかんできるだけ絶対収束ぜったいしゅうそくする $z$ の範囲はんいでは

[PARSE ERROR: Undefined("Command(\"mathcal\")")] Z_{b} {h * x} = H_{b} (z) X_{b} (z)

である。

線型時不変せんけいじふへんな離散時間りさんじかんシステムでは、入力にゅうりょく $x$ とインパルス応答おうとう $h$ から出力しゅつりょくが $h * x$ として表あらわされる。Z 変換へんかんは、その畳たたみ込こみを積せきへ変換へんかんするため、差分方程式さぶんほうていしきおよびデジタルフィルタの解析かいせきに適用てきようできる。

9.1安定性あんていせいと単位円たんいえん

入力にゅうりょくの上界じょうかいを $B$ としたとき、入力にゅうりょくに依存いぞんしない定数ていすう $C$ により出力しゅつりょくの上界じょうかいを $C B$ とできるBIBO 安定性あんていせいbounded-input bounded-output stabilityは、インパルス応答おうとうについて

\sum_{n = - \infty}^{\infty} | h [n] | < \infty

と同値どうちである。実際じっさい、 $| x [n] | [PARSE ERROR: Undefined("Command(\"le\")")] B$ なら

| (h * x) [n] | [PARSE ERROR: Undefined("Command(\"le\")")] B \sum_{k} | h [k] |

なので、絶対総和可能性ぜったいそうわかのうせいから BIBO 安定性あんていせいが従したがう。逆ぎゃくに BIBO 安定あんていなら、 $| k | [PARSE ERROR: Undefined("Command(\"le\")")] N$ で $x_{N} [- k] = \overline{h [k]} / | h [k] |$ （ $h [k] = 0$ なら 0）、その外そとで 0 と選えらぶ。すると $| x_{N} [n] | [PARSE ERROR: Undefined("Command(\"le\")")] 1$ であり、 $n = 0$ の出力しゅつりょくは

(h * x_{N}) [0] = \sum_{| k | [PARSE ERROR: Undefined("Command(\"le\")")] N} | h [k] |

となる。安定性あんていせいによる $N$ に依存いぞんしない上界じょうかいから $\sum_{k} | h [k] | < \infty$ を得える。

このとき $z = e^{i ω}$ を代入だいにゅうした級数きゅうすうは絶対収束ぜったいしゅうそくするので、単位円たんいえん $| z | = 1$ は $H_{b}$ の ROC に含ふくまれ、

H_{b} (e^{i ω}) = \sum_{n = - \infty}^{\infty} h [n] e^{- i ω n}

を周波数応答しゅうはすうおうとうと呼よべる。単位円たんいえんが ROC に含ふくまれない場合ばあい、有理式ゆうりしきへ形式的けいしきてきに $z = e^{i ω}$ を代入だいにゅうしただけでは周波数応答しゅうはすうおうとうにならない。

伝達関数でんたつかんすうが有理式ゆうりしきのとき、分子ぶんしと分母ぶんぼの共通因子きょうつういんしを消けすことを極零相殺きょくれいそうさいpole-zero cancellationという。因果的いんがてき、すなわち $h [n] = 0 (n < 0)$ である有理ゆうりなシステムでは、極零相殺きょくれいそうさいを済すませた伝達関数でんたつかんすうのすべての極きょくが単位円たんいえんの内側うちがわにあることが BIBO 安定あんていの条件じょうけんになる。これは因果性いんがせいにより ROC が最外極さいがいきょくの外側そとがわとなり、そこに単位円たんいえんを含ふくめるためである。

10Laplace・Fourier・Z 変換へんかんの位置いちづけ

変換へんかん	対象たいしょう	中心作用素ちゅうしんさようそ	変換後へんかんご
Fourier 変換へんかん	全時間ぜんじかん・周波数解析しゅうはすうかいせき	微分作用素びぶんさようそ $D$	$D \mapsto i ω$
Laplace 変換へんかん	連続時間れんぞくじかん $t [PARSE ERROR: Undefined("Command(\"ge\")")] 0$	微分作用素びぶんさようそ $D$	$D \mapsto s$ と初期値項しょきちこう
Z 変換へんかん	離散時間列りさんじかんれつ $x [n]$	シフト作用素さようそ $E$	両側りょうがわでは $E \mapsto z$ 、遅延ちえんは $z^{- 1}$

両側りょうがわ Z 変換へんかんの ROC が単位円たんいえんを含ふくむとき、 $z = e^{i ω}$ と置おいた $X_{b} (e^{i ω})$ は離散時間りさんじかん Fourier 変換へんかんになる。したがって「Fourier 変換へんかんは Z 変換へんかんの単位円上たんいえんじょうの値あたいである」という解釈かいしゃくには、単位円たんいえんが ROC に含ふくまれるという条件じょうけんが必要ひつようである。

11成立範囲せいりつはんい

Z 変換へんかんでは収束領域しゅうそくりょういきが変換結果へんかんけっかの一部いちぶである。同おなじ式しきでも ROC が異ことなれば元もとの両側列りょうがわれつが異ことなる。また、片側変換かたがわへんかんは $n < 0$ の情報じょうほうを持もたず、初期値問題しょきちもんだいの境界項きょうかいこうを扱あつかうための変換へんかんである。両側変換りょうがわへんかんの ROC による左右列さゆうれつの識別しきべつと、片側変換かたがわへんかんの役割やくわりを区別くべつする必要ひつようがある。

したがって、Z 変換へんかんの適用前てきようまえに、列れつと変換へんかんが片側かたがわか両側りょうがわか、初期値しょきちを対象たいしょうとするか、周波数応答しゅうはすうおうとうを解析かいせきするかを明示めいじする。

この講義こうぎの変換契約へんかんけいやく

両側りょうがわ Z 変換へんかんは「 $X_{b} (z)$ と ROC」の組くみとして扱あつかう。

片側かたがわ Z 変換へんかんは $X_{+} (z)$ と書かき、初期項しょきこうを含ふくむシフト公式こうしきを使つかう。

逆変換ぎゃくへんかんでは ROC に適合てきごうする Laurent 展開てんかいを選択せんたくし、 $z^{- n}$ の係数けいすうを抽出ちゅうしゅつする。

周波数応答しゅうはすうおうとうとして単位円たんいえんを使つかうには、 $| z | = 1$ が ROC に含ふくまれることを確認かくにんする。

12要約ようやく

Z 変換へんかんは、離散時間りさんじかんのシフト作用素さようそを $z$ や $z^{- 1}$ の代数操作だいすうそうさへ移うつし、漸化式ぜんかしき・差分方程式さぶんほうていしき・離散りさん畳たたみ込こみを扱あつかいやすくする変換へんかんである。

Z 変換へんかんの基礎きそ

1導入どうにゅう

2定義ていぎ

3ROC による原列げんれつの識別しきべつ

4重おもみ z-nz^{-n} とシフト作用さよう

5命題めいだい 1：両側りょうがわ Z 変換へんかんは線型せんけいである

5.1主張しゅちょう

5.2証明しょうめい

6命題めいだい 2：両側りょうがわ Z 変換へんかんではシフトが zz 倍ばいになる

6.1主張しゅちょう

6.2証明しょうめい

7片側かたがわ Z 変換へんかんの初期項しょきこう

8漸化式ぜんかしきへの応用おうよう

9畳たたみ込こみとの関係かんけい

9.1安定性あんていせいと単位円たんいえん

10Laplace・Fourier・Z 変換へんかんの位置いちづけ

11成立範囲せいりつはんい

12要約ようやく

13関連かんれんリンク

4重おもみ $z^{- n}$ とシフト作用さよう

6命題めいだい 2：両側りょうがわ Z 変換へんかんではシフトが $z$ 倍ばいになる