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 xn 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 xn đượ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 xn 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) thường được viết là X(s), với s = z−1. 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−1. 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 xn = (0.5)n. Mở rộng xn 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ả)**
 = 0.5 được thể hiện bằng vòng tròn đen đứt đoạn
Cho  (trong đó u là hàm bước Heaviside). Triển khai xn 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.5z−1|  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ả)**
 = 0.5 được thể hiện bằng vòng tròn màu đen đứt đoạn
Cho  (trong đó u là hàm bước Heaviside). Triển khai xn 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−1z| nun và một cặp phi nhân quả −(0.75)nu−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 xn không xác định) bạn có thể xác định một xn 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ị.
xn 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 xn là quan hệ nhân quả (nghĩa là x(n)=0 với mọi njω.  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  xn. 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 xn. Thì DTFT của chuỗi xn có thể được viết dưới dạng:
Trong đó T có đơn vị là giây,  có đơn vị là  hertz. So sánh hai chuỗi này ta nhận ra rằng   làtần số góc có đơn vị là radian/s. Giá trị ω=2π tương ứng với  Hz.  Ta cũng có   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  trong miền Laplace thành hàm  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 α0, nếu không bằng không, ta sẽ chuẩn hóa α0 = 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" yn là một hàm của các đầu ra quá khứ yn−p, đầu vào hiện tại xn, và các đầu vào quá khứ xn−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 đó qk là zero thứ k và pk 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 yn có thể được tìm ra. Trong thực tế, thường rất hữu ích để phân giải đơn thức  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 

**Tham khảo**

**Đọ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**
 id = p/z130010- Numerical inversion of the Z-transform-  Z-Transform table of some common Laplace transforms-  Mathworld's entry on the Z-transform-  Z-Transform threads in Comp.DSP date=2012-06-15 -  Z-Transform Module by John H. Mathews-  A graphic of the relationship between Laplace transform s-plane to Z-plane of the Z transform
Thể loại:Biến đổi