Biến đổi Z

Trong toán học và xử lý tín hiệu, biến đổi Z chuyển đổi một tín hiệu thời gian rời rạc, là một chuỗi số thực hoặc số phức, thành một đại diện trong miền tần số phức.

Nó có thể được coi là một tương đương thời gian rời rạc của biến đổi Laplace. Sự giống nhau này được khám phá trong lý thuyết giải tích theo trục thời gian.

== Lịch sử ==
Ý tưởng cơ bản hiện nay được biết đến như là biến đổi Z là nhờ công của Laplace, và được giới thiệu lại vào năm 1947 bởi W. Hurewicz như một cách dễ dàng làm để giải các phương trình vi phân tuyến tính, hệ số không đổi. Nó sau đó được gọi là "biến đổi z" bởi Ragazzini và Zadeh trong nhóm điều khiển dữ liệu lấy mẫu tại Đại học Columbia vào năm 1952.

Biến đổi z nâng cao hoặc cải tiến sau đó được phát triển và phổ biến bởi E. I. Jury.

Ý tưởng chứa bên trong phép biến đổi Z cũng được biết đến trong các tài liệu toán học như là phương pháp tạo hàm mà có thể truy trở lại sớm nhất là vào năm 1730 khi nó được giới thiệu bởi de Moivre trong sự kết hợp với lý thuyết xác suất. Từ quan điểm toán học phép biến đổi Z cũng có thể được xem như là một chuỗi Laurent nơi ta xem các dãy số được xem xét như là mở rộng (Laurent) của một hàm giải tích.

== Định nghĩa ==
Biến đổi Z, giống như nhiều biến đổi tích phân khác, có thể được định nghĩa là biến đổi "một mặt" hoặc "hai mặt".

=== Biến đổi Z song phương ===
Biến đổi Z song phương hoặc hai mặt của một tín hiệu thời gian rời rạc "x[n]" là chuỗi hàm mũ "X(z)" được định nghĩa bằng

trong đó n là một số nguyên và z nói chung là một số phức:
Trong đó "A" là biên độ của z, j là đơn vị ảo, và ɸ là argument phức (cũng được gọi là góc hoặc pha) theo radian.

=== Biến đổi Z đơn phương ===
Ngoài ra, trong trường hợp "x[n] "được xác định chỉ với "n ≥ 0", biến đổi Z một mặt hoặc đơn phương được định nghĩa là
Trong xử lý tín hiệu, định nghĩa này có thể được sử dụng để đánh giá biến đổi Z-của các đáp ứng xung đơn vị của một hệ thống nhân quả thời gian rời rạc.

Một ví dụ quan trọng của biến đổi z đơn phương là hàm tạo xác suất, trong đó thành phần" x[n] "là xác suất mà một biến ngẫu nhiên rời rạc có giá trị" n, "và hàm" X(z) t"hường được viết là" X(s), "với "s" = "z". Các tính chất của biến đôi Z (dưới đây) có cách diễn giải rất hữu ích trong bối cảnh của lý thuyết xác suất.

=== Định nghĩa địa vật lý ===
Trong địa vật lý, định nghĩa thông thường cho biến đổi Z là một chuỗi hàm mũ của z trái ngược với "z". Qui ước này được sử dụng, ví dụ, bởi Robinson và Treitel và bởi Kanasewich. Định nghĩa địa vật lý là:

Hai định nghĩa này là tương đương; Tuy nhiên, sự khác biệt kết quả có một số thay đổi. Ví dụ, với vị trí của Zero và cực di chuyển từ bên trong vòng tròn đơn vị sử dụng một định nghĩa, tới bên ngoài vòng tròn đơn vị sử dụng định nghĩa khác.
Do đó, cần phải chú ý định nghĩa nào đang được sử dụng bởi một tác giả cụ thể.

== Biến đổi Z nghịch đảo ==
Biến đổi Z nghịch đảo là

trong đó "C" là một đường bao kín ngược chiều kim đồng hồ bao xung quanh điểm gốc và toàn bộ vùng hội tụ (ROC). Trong trường hợp ROC là nhân quả (xem ví dụ 2), điều này có nghĩa là đường C phải bao vây tất cả các cực của "X(z)."

Một trường hợp đặc biệt, tích phân đường viền này xảy ra khi C là vòng tròn đơn vị (và có thể được sử dụng khi ROC bao gồm vòng tròn đơn vị, điều này sẽ luôn luôn được đảm bảo khi X(z) ổn định, tức là tất cả các cực nằm trong vòng tròn đơn vị). Biến đổi Z nghịch đảo đơn giản hoá đến biến đổi Fourier thời gian rời rạc nghịch đảo:

Biến đổi Z với một phạm vi hữu hạn của n và một số hữu hạn các giá trị "z" cách đều nhau có thể được tính toán hiệu quả thông qua thuật toán FFT của Bluestein. Biến đổi Fourier thời gian rời rạc (DTFT)-Đừng nhầm lẫn với biến đổi Fourier rời rạc (DFT)-là một trường hợp đặc biệt của một biến đổi Z như vậy thu được bằng cách giới hạn z nằm trên hình tròn đơn vị.

== Vùng hội tụ ==
Vùng hội tụ (ROC) là tập hợp các điểm trong mặt phẳng phức mà biến đổi Z tổng hội tụ.

=== Ví dụ 1 (không có ROC) ===
Cho "x[n]" = (0.5). Mở rộng "x[n]" trên khoảng (−∞, ∞), ta có

Nhìn vào tổng

Do đó, không có giá trị nào của z đáp ứng được điều kiện này.

=== Ví dụ 2 (ROC nhân quả) ===
Cho formula_4 (trong đó "u" là hàm bước Heaviside). Triển khai "x[n]" trong khoảng (−∞, ∞) nó sẽ thành

Nhìn vào tổng

Phương trình cuối phát sinh từ chuỗi hình học vô hạn và sự phương trình đó chỉ giữ được nếu |0.5"z"| < 1, có thể được viết lại theo "z" với |"z"| > 0.5. Do đó, ROC là |"z"| > 0.5.Trong trường hợp ROC là mặt phẳng phức với một dĩa có bán kính 0.5 tại gốc đâm.

=== Ví dụ 3 (ROC phi nhân quả) ===
Cho formula_5 (trong đó "u" là hàm bước Heaviside). Triển khai "x[n]" trong khoảng (−∞, ∞) nó trở thành

Nhìn vào tổng

Sử dụng chuỗi hình học vô tận, một lần nữa, cân bằng chỉ được giữ nếu |0.5"z"| < 1, điều này có thể viết lại theo "z" khi |"z"| < 0.5. Do đó, ROC là |"z"| < 0.5. Trong trường hợp này ROC là một dĩa hội tụ tại gốc và có bán kính là 0.5.

Những gì phân biệt ví dụ này với ví dụ trước đó "chỉ  là "ROC. Điều này cố ý để chứng minh rằng kết quả biến đổi một mình nó là không đủ.

=== Kết luận từ các ví dụ ===
Ví dụ 2 & 3 chứng minh rõ ràng rằng biến đổi Z "X(z) "của "x[n] "là duy nhất khi và chỉ khi xác định ROC. Tạo ra biểu đồ cực-zero cho các trường hợp quan hệ nhân quả và phi nhân quả Hiển chỉ ra rằng ROC cho cả hai trường hợp không bao gồm cực tại 0.5. Điều này mở rộng cho các trường hợp có nhiều cực: ROC sẽ "không bao giờ "chứa các cực.

Trong ví dụ 2, hệ thống nhân quả đạt được một ROC bao gồm |"z"| = ∞ trong khi hệ thống phi nhân quả trong ví dụ 3 đạt được một ROC bao gồm |"z"| = 0.

Trong các hệ thống với nhiều cực, hoàn toàn có thể có một ROC mà bao gồm hoặc không  |"z"| = ∞ hoặc không  |"z"| = 0. ROC này tạo một dãi tròn. Ví dụ,

có các cực tại 0.5  và 0.75. ROC của nó sẽ là 0.5 < |"z"| < 0.75, không bao gồm cả điểm gốc và vô cùng. Một hệ thống như vậy được gọi là hệ thống nhân quả hỗn hợp vì nó chứa một cặp nhân quả (0.5)"u"["n"] và một cặp phi nhân quả −(0.75)"u"[−"n"−1].

Sự ổn định của một hệ thống cũng có thể được xác định một mình ROC. Nếu ROC có vòng tròn đơn vị (tức là, |z| = 1) thì hệ thống là ổn định. Trong các hệ thống trên hệ thống quan hệ nhân quả (ví dụ 2) là ổn định vì |z| > 0,5 có chứa vòng tròn đơn vị.

Nếu bạn đang cung cấp một biến đổi Z của một hệ thống mà không có một ROC (tức là, một x[n] không xác định) bạn có thể xác định một "x[n] "duy nhất cung cấp cho bạn điều muốn biết sau đây:
- Tính ổn định
- Tính nhân quả
Nếu bạn cần sự ổn định thì ROC phải chứa vòng tròn đơn vị. Nếu bạn cần một hệ thống nhân quả thì ROC phải chứa vô tận và hàm hệ thống sẽ là một dãy bên phải. Nếu bạn cần một hệ thống phi nhân quả thì ROC phải chứa điểm gốc và hàm hệ thống sẽ là một dãy bên trái. Nếu bạn cần cả hai, sự ổn định và quan hệ nhân quả, tất cả các cực của hàm hệ thống phải được nằm bên trong vòng tròn đơn vị.

"x[n]" duy nhất sau đó có thể tìm thấy.

== Các tính chất ==
ROC2
Tương quan chéo

Định lý Parseval

Định lý giá trị ban đầu: nếu "x[n]" là quan hệ nhân quả (nghĩa là x(n)=0 với mọi n<0), thì: formula_6

Định lý giá trị cuối cùng: nếu các cực của "(z−1)X(z)" ở trong vòng tròn đơn vị, thì: formula_7

== Bảng các cặp biến đổi Z phổ biến ==
Ở đây:

là hàm bước đơn vị (hoặc Heaviside) và

là hàm xung đơn vị thời gian rời rạc (hoặc Dirac delta). Cả hai hàm trên thường không được coi là hàm thực sự mà chỉ là phân phối do gián đoạn của chúng (giá trị của chúng trên "n = 0 "thường không có vấn đề gì, trừ khi làm việc trong thời gian rời rạc, trong trường hợp đó chúng trở thành các chuỗi rời rạc suy biến; trong phần này chúng được chọn để có giá trị bằng 1 tại "n = 0", vừa trong miền thời gian liên tục và vừa trong miền thời gian rời rạc, nếu không nội dung của cột ROC dưới đây sẽ không được áp dụng). Hai "hàm" này được lựa chọn với nhau để hàm bước đơn vị là tích phân của hàm xung đơn vị (trong miền thời gian liên tục), hoặc tổng của hàm xung đơn vị là hàm bước đơn vị (trong miền thời gian rời rạc), do đó sự lựa chọn này làm cho giá trị của chúng trên "n = 0  "ở đây cố định bằng 1.
=== Quan hệ với chuỗi Fourier và biến đổi Fourier ===
Đối với các giá trị của z trong vùng |z|=1, được gọi là vòng tròn đơn vị, chúng ta có thể mô tả hàm truyền này là hàm của một biến đơn, thực, ω, bằng cách định nghĩa  z=e.  Và biến đổi song tuyến tính suy giảm thành chuỗi Fourier:

Còn được gọi làbiến đổi Fourier thời gian rời rạc (DTFT) của dãy  x[n]. Hàm có chu kỳ 2π tổng điều hòa của một biến đổi Fourier, khiến cho nó thành một công cụ phân tích được sử dụng rộng rãi. Để hiểu điều này, ta gọi X(f) là biến đổi Fourier của hàm bất kỳ, x(t), các mẫu được lấy của hàm này tại một số khoảng thời gian, T, bằng dãy x[n]. Thì DTFT của chuỗi x[n] có thể được viết dưới dạng:

Trong đó T có đơn vị là giây, formula_8 có đơn vị là  hertz. So sánh hai chuỗi này ta nhận ra rằng formula_9  làtần số góc có đơn vị là radian/s. Giá trị ω=2π tương ứng với formula_10 Hz.  Ta cũng có formula_11  phương trình 1 cũng có thể được biểu diễn dưới dạng biến đổi Fourier, X(•):

Khi chuỗi x(nT) thể hiện đáp ứng xung của một hệ thống LTI, những hàm này cũng được gọi là đáp ứng tần số. Khi chuỗi x(nT) tuần hoàn, DTFT của nó là phân kỳ tại một hoặc nhiều tần số điều hòa, và zero ở tất cả các tần số khác. Điều này thường được biểu diễn bằng cách sử dụng hàm biến thể biên độ delta Dirac tại các tần số điều hòa. Do tính tuần hoàn, chỉ có là một số hữu hạn các biên độ duy nhất, dễ dàng tính bởi biến đổi Fourier rời rạc (DFT) đơn giản hơn nhiều. (Xem DTFT; dữ liệu có tính chu kỳ.)

== Quan hệ với biến đổi Laplace ==
=== Biến đổi song tuyến tính ===
Biến đổi song tuyến tính có thể được sử dụng để chuyển đổi các bộ lọc thời gian liên tục (thể hiện trong miền Laplace) thành các bộ lọc thời gian rời rạc (thể hiện trong miền Z), và ngược lại. Ta sử dụng phép thay thế sau:

để chuyển đổi hàm formula_12 trong miền Laplace thành hàm formula_13 trong miền Z (biến đổi Tustin), hoặc

từ miền Z đến miền Laplace. Thông qua biến đổi song tuyến tính, mặt phẳng phức s (của biến đổi Laplace) được ánh xạ đến mặt phẳng phức z (của biến đổi z). Trong khi ánh xạ này là (nhất thiết) phi tuyến, nó rất hữu ích trong việc ánh xạ toàn bộ trục jΩ của mặt phẳng s vào vòng tròn đơn vị trong mặt phẳng z. Như vậy, biến đổi Fourier (là biến đổi Laplace tương ứng trên trục jΩ) trở thành biến đổi Fourier thời gian rời rạc. Điều này giả định rằng biến đổi Fourier có tồn tại; tức là, trục jΩ nằm trong khu vực sự hội tụ của biến đổi Laplace.

=== Biến đổi sao ===
Cho một biến đổi Z một mặt, X(z), của một hàm lấy mẫu theo thời gian, biến đổi sao tương ứng tạo ra một biến đổi Laplace và khôi phục lại việc phụ thuộc vào tham số lấy mẫu, T:

Biến đổi Laplace nghịc đảo này là một định nghĩa toán học được biết đến như là một hàm "xung lấy mẫu."

== Phương trình vi phân tuyến tính hệ số liên tục ==
Phương trình vi phân tuyến tính hệ số liên tục (LCCD) là một biểu diễn cho một hệ thống tuyến tính dựa trên phương trình trung bình động tự hồi qui.

Cả hai phía của phương trình trên có thể được chia bởi α, nếu không bằng không, ta sẽ chuẩn hóa α = 1 và phương trình LCCD trên có thể viết lại

Phương trình LCCD viết ở dạng này sẽ thuận tiện cho việc làm rõ là đầu ra "hiện tại" "y[n]" là một hàm của các đầu ra quá khứ "y[n−p]", đầu vào hiện tại "x[n]", và các đầu vào quá khứ "x[n−q]".

=== Hàm truyền ===
Thực hiện biến đổi Z của phương trình nói trên (sử dụng các định lý tuyến tính và dịch chuyển thời gian) ta được

=== Zero và cực ===
Từ định lý cơ bản của đại số  tử số có M nghiệm (tương ứng với Zero của H) và mẫu số có N nghiệm (tương ứng với cực). Viết lại hàm truyền theo cực và Zero ta có

trong đó "q" là zero thứ "k" và "p" là cực thứ "k". Các zero và cực thường là số phức và khi vẽ trên mặt phẳng phức (mặt phẳng z) nó được gọi là biểu đồ cực-zero.

Ngoài ra, cũng có thể tồn tại các cực và zero tại "z" = 0 và "z" = ∞. Nếu ta xem xét những cực và zero này như là các cực và zero đa bậc, số lượng zero và cực này luôn luôn bằng nhau.

Bằng cách phân tích thành thừa số của mẫu số, việc phân giải phân thức đơn giản có thể được sử dụng, mà sau đó có thể được chuyển lại về miền thời gian. Làm như vậy sẽ cho kết quả là đáp ứng xung và phương trình vi phân tuyến tính hệ số liên tục của hệ thống.

=== Đáp ứng đầu ra ===
Nếu một hệ thống "H(z)" được điều khiển bởi một tín hiệu "X(z)" thì đầu ra là "Y(z)" = "H(z)X(z)". Bằng cách biểu diễn việc phân giải phân thức đơn giản vào "Y(z)" và sau đó lấy biến đổi Z ngược, đầu ra "y[n]" có thể được tìm ra. Trong thực tế, thường rất hữu ích để phân giải đơn thức formula_14 trước khi nhân lượng đó bởi z để tạo nên công thức của "Y(z)" trong đó có các phân thức dễ dàng tính toán biến đổi Z nghịch đảo.

== Xem thêm ==
- Biến đổi Z nâng cao
- Biến đổi song tuyến tính
- Phương trình vi phân (quan hệ qui hồi)
- Tích chập
- Biến đổi Fourier thời gian rời rạc
- Đáp ứng xung hữu hạn
- Chuỗi lũy thừa hình thức
- Biến đổi Laplace
- Chuỗi Laurent
- Hàm tạo xác suất
- Biến đổi sao
- Biến đổi Zak
- Quy tắc hàm Zeta

== Đọc thêm ==
- Refaat El Attar, "Lecture notes on Z-Transform", Lulu Press, Morrisville NC, 2005. ISBN 1-4116-1979-X.
- Ogata, Katsuhiko, "Discrete Time Control Systems 2nd Ed", Prentice-Hall Inc, 1995, 1987. ISBN 0-13-034281-5.
- Alan V. Oppenheim and Ronald W. Schafer (1999). Discrete-Time Signal Processing, 2nd Edition, Prentice Hall Signal Processing Series. ISBN 0-13-754920-2.

== Liên kết ngoài ==
- Z-Transform table of some common Laplace transforms
- Mathworld's entry on the Z-transform
- Z-Transform threads in Comp.DSP
- Z-Transform Module by John H. Mathews
- A graphic of the relationship between Laplace transform s-plane to Z-plane of the Z transform