Xem mã nguồn của Hệ thống tuyến tính bất biến theo thời gian


{{Đang viết|notready=true}}

'''Lý thuyết bất biến theo thời gian tuyến tính''', thường được gọi là '''lý thuyết hệ thống LTI''', xuất phát từ toán ứng dụng và có các ứng dụng trực tiếp trong [[NMR spectroscopy|quang phổ học cộng hưởng từ hạt nhân]], [[địa chấn học]], [[mạch điện]], [[Signal processing|xử lý tín hiệu]], [[Lý thuyết điều khiển tự động|lý thuyết điều khiển]], và các lĩnh vực kỹ thuật khác. Nó nghiên cứu đáp ứng của một hệ thống [[Linear system|tuyến tính]] và [[Hệ thống bất biến theo thời gian|bất biến theo thời gian]] đối với một tín hiệu đầu vào tùy ý. Quỹ đạo của các hệ thống này thường được đo lường và theo dõi khi chúng di chuyển theo thời gian (ví dụ như, một dạng sóng âm), nhưng trong các ứng dụng như [[Xử lý ảnh|xử lý hình ảnh]] và [[Classical field theory|lý thuyết trường]], các hệ thống LTI cũng có quỹ đạo theo chiều không gian. Do đó, các hệ thống này cũng được gọi là ''tuyến tính dịch chuyển bất biến ''để tạo cho lý thuyết này tính tổng quát nhất có thể. Trong trường hợp các hệ thống [[Discrete-time|thời gian rời rạc]] nói chung (tức là, [[Lấy mẫu (xử lý tín hiệu)|lấy mẫu]]), tuyến tính ''dịch chuyển bất biến ''là một thuật ngữ tương ứng. Một ví dụ tốt về hệ thống LTI là mạch điện mà được tạo thành từ điện trở, tụ điện và cuộn cảm.
<ref>Hespanha 2009, p. 78.</ref>

== Tổng quan ==
Các tính chất xác định của bất kỳ hệ thống LTI nào là tuyến tính và bất biến theo thời gian.
* ''Tuyến tính'' có nghĩa là mối quan hệ giữa đầu vào và đầu ra của hệ thống là một [[biến đổi tuyến tính]]: Nếu đầu vào <math>x_1(t)\,</math> tạo ra đáp ứng <math>y_1(t),\,</math> và đầu vào <math>x_2(t)\,</math> tạo ra đáp ứng <math>y_2(t),\,</math> sau đó nhân hệ số và cộng lại đầu vào <math>a_1 x_1(t)+ a_2 x_2(t)\,</math> tạo ra đáp ứng tích và tổng <math>a_1 y_1(t) + a_2y_2(t)\,</math> trong đó <math>a_1</math> và <math>a_2</math> là các [[Scalar (mathematics)|đại lượng vô hướng]] [[Số thực|thực]]. Điều này có thể được mở rộng đến bất kỳ số lượng các đáp ứng đầu vào, và các số thực <math>c_1, c_2, \ldots, c_k</math>,
:: Đầu vào &nbsp; <math>\sum_k c_k\,x_k(t)</math> &nbsp; tạo ra đầu ra &nbsp; <math>\sum_k c_k\,y_k(t).\,</math>
: đặc biệt,

: trong đó <math>c_{\omega}</math> và <math>x_{\omega}</math> là các hệ số và đầu vào khác nhau trong một [[Continuum (set theory)|miền liên tục]] theo <math>\omega</math>.Vì vậy nếu một hàm đầu vào có thể được đại diện bởi một chuỗi các hàm đầu vào, kết hợp "tuyến tính", như ta thấy, thì tương ứng với hàm đầu ra có thể được đại diện bởi chuỗi các hàm đầu ra tương ứng, ''thang ''và  ''tổng ''cũng như vậy.
* ''Thời gian bất biến'' có nghĩa rằng cho dù chúng ta áp dụng một đầu vào cho hệ thống ngay bây giờ hoặc ''T ''giây từ bây giờ, thì đầu ra sẽ giống hệt nhau ngoại trừ một thời gian trễ ''T'' giây. DO đó, nếu đầu ra theo đầu vào <math>x(t)</math> là <math>y(t)</math>, thì đầu ra theo đầu vào <math>x(t-T)</math> là <math>y(t-T)</math>. Do đó, hệ thống này là bất biến theo thời gian vì đầu ra không phụ thuộc vào thời gian cụ thể đưa vào đầu vào.
Kết quả cơ bản trong lý thuyết hệ thống LTI là bất kỳ hệ thống LTI nào đều cũng có thể được miêu tả hoàn toàn bởi một hàm duy nhất được gọi là [[đáp ứng xung]] của hệ thống. Đầu ra của hệ thống chỉ đơn giản là [[tích chập]] của đầu vào của hệ thống với đáp ứng xung của hệ thống. Phương pháp phân tích này thường được gọi là quan điểm [[Time domain|miền thời gian]]. Kết quả tương tự cũng đúng với các hệ thống thời gian rời rạc tuyến tính thay đổi bất biến, trong đó các tín hiệu được lấy mẫu theo thời gian rời rạc, và tích chập được xác định theo trình tự.

Một cách tương đương, bất kỳ hệ thống LTI nào cũng có thể được miêu tả trong [[Frequency domain|miền tần số]] bởi [[hàm truyền]] của hệ thống đó, đó là [[biến đổi Laplace]] của đáp ứng xung của hệ thống (hoặc biến đổi Z trong trường hợp của các hệ thống thời gian rời rạc). Do tính chất của các phép biến đổi này, đầu ra của hệ thống trong miền tần số là tích của hàm truyền và biến đổi của đầu vào hệ thống đó. Nói cách khác, tích chập trong miền thời gian là tương đương với phép nhân trong miền tần số.

Đối với tất cả các hệ thống LTI, các [[hàm đặc trưng|hàm riêng]] và các hàm cơ bản của các bộ biến đổi, là các [[hàm mũ]] [[phức]]. Do đó, nếu đầu vào của một hệ thống có dạng sóng phức <math>A e^{st}</math> với biên độ phức <math>A</math> và tần số phức <math>s</math>, thì đầu ra sẽ là hằng số phức nào đó nhân với đầu vào, đó là <math>B e^{st}</math> với biên độ phức mới <math>B</math>.TỈ số <math>B/A</math> là hàm truyền tại tần số <math>s</math>.

Bởi vì sóng sin là một tổng của các hàm mũ phức tạp với các tần số phức liên hợp, nếu đầu vào của hệ thống là một hình sin, thì đầu ra của hệ thống cũng sẽ là một hình sin, có lẽ với một [[biên độ]] khác  và một [[Pha sóng|pha]] khác, nhưng luôn luôn cùng tần số khi đạt đến trạng thái ổn định. Các hệ thống LTI không thể tạo ra các thành phần tần số mà không có trong đầu vào.

Lý thuyết hệ thống LTI mô tả nhiều hệ thống quan trọng rất tốt. Hầu hết các hệ thống LTI được coi là "dễ" để phân tích, ít nhất so với các trường hợp thời gian biến đổi và/hoặc [[Hệ thống phi tuyến|phi tuyến]]. Bất kỳ hệ thống nào có thể được mô hình hóa bằng một [[phương trình vi phân]] tuyến tính thuần nhất với các hệ số không đổi là một hệ thống LTI. Ví dụ về các hệ thống như vậy là mạch điện gồm các [[Điện trở (thiết bị)|điện trở]], [[cuộn cảm]], và [[tụ điện]] (mạch RLC). Các hệ thống giảm xóc bằng lò xo lý tưởng cũng là những hệ thống LTI, và tương đương toán học với các mạch RLC.

Hầu hết các khái niệm hệ thống LTI là tương tự nhau giữa các trường hợp thời gian liên tục và thời gian rời rạc (dịch chuyển bất biến tuyến tính). Trong xử lý ảnh, các biến thời gian được thay thế bằng hai biến không gian, và khái niệm bất biến theo thời gian được thay thế bởi dịch chuyển bất biến hai chiều. Khi phân tích các [[Filter bank|giàn bộ lọc]] và các hệ thống [[MIMO (systems theory)|MIMO]], thường rất hữu ích để xem xét các [[Ma trận (toán học)|vectơ]] của tín hiệu.

Một hệ thống tuyến tính mà không phải là bất biến theo thời gian có thể được giải bằng cách sử dụng các phương pháp khác như phương pháp[[Green's function|hàm Green]]. Phương pháp tương tự cũng phải được sử dụng khi các điều kiện ban đầu của bài toán không phải là rỗng.

== Các hệ thống thời gian liên tục ==

=== Đáp ứng xung và tích chập ===
Hành vi của một hệ thống tuyến tính, thời gian liên tục, bất biến theo thời gian với tín hiệu đầu vào x(t) và tín hiệu đầu ra y(t) được mô tả bởi tích phân tích chập''':'''<ref name="Crutchfield, p. 1">Crutchfield, p. 1.</ref>
: {| style="margin-bottom: 10px;"

|<math>{}\quad = \int_{-\infty}^{\infty} x(\tau)\cdot h(t-\tau) \,\operatorname{d}\tau,</math> &nbsp; &nbsp; &nbsp; (sử dụng [[tích chập]])
|}
trong đó <math>\textstyle h(t)</math> là đáp ứng của hệ thống đối với một [[Hàm delta Dirac|xung]]''':''' &nbsp;<math>\textstyle x(\tau) = \delta(\tau).</math> &nbsp; <math>\textstyle y(t)</math> do đó tỷ lệ với một trọng số trung bình của hàm đầu vào <math>\textstyle x(\tau).</math>&nbsp; Hàm trọng số là <math>\textstyle h(-\tau),</math> dịch chuyển đơn giản một lượng  <math>\textstyle t.</math> &nbsp; Khi <math>\textstyle t</math> thay đổi, hàm trọng số làm nổi bật các phần khác nhau trong hàm đầu vào. Khi <math>\textstyle h(\tau)</math> bằng không cho tất cả <math>\textstyle \tau,</math>âm, &nbsp; <math>\textstyle y(t)</math> chỉ phụ thuộc vào các giá trị củaf <math>\textstyle x</math> hơn là thời gian <math>\textstyle t,</math>&nbsp; và hệ thống được xem là [[nhân quả.]]

Để hiểu lý do tại sao tích chập tạo ra ở đầu ra của một hệ thống LTI, ta ký hiệu<math>\textstyle \{x(u-\tau);\ u\}</math> để biểu diễn hàm <math>\textstyle x(u-\tau)</math> với biến <math>\textstyle u</math> và hằng số <math>\textstyle \tau.</math>&nbsp;&#x56;&#xE0;&#x20;&#x6B;&#xFD;&#x20;&#x68;&#x69;&#x1EC7;&#x75;&#x20;&#x6E;&#x67;&#x1EAF;&#x6E;&#x20;&#x68;&#x1A1;&#x6E; <math>\textstyle \{x\}\,</math> để biểu diễn <math>\textstyle \{x(u);\ u\}.</math>Sau đó một hệ thống thời gian liên tục chuyển đổi một hàm đầu vào, <math>\textstyle \{x\},</math> thành một hàm đầu ra, <math>\textstyle \{y\}.</math>&nbsp;Và nói chung, mỗi giá trị của đầu ra có thể phụ thuộc vào tất cả giá trị của đầu vào. Khái niệm này được biểu diễn bởi:

trong đó <math>\textstyle O_t</math> là toán tử biến đổi theo thời gian <math>\textstyle t.</math>&nbsp; Trong một hệ thống điển hình, <math>\textstyle y(t)</math> phụ thuộc nhiều nhất vào các giá trị của <math>\textstyle x</math> xảy ra gần thời gian <math>\textstyle t.</math>&nbsp; Trừ phi tự biến đổi chính nó theo <math>\textstyle t,</math> hàm đầ ra là hằng số, và hệ thống này chả có gì để chú ý.

Đối với một hệ thống tuyến tính, <math>\textstyle O</math> phải thỏa mãn '''[[LTI system theory#math Eq.1|Eq.1]]''' ''':'''

Và yêu cầu bất biến theo thời gian là:

Chúng ta có thể viết '''đáp ứng xung '''này theo ký hiệu trên như sau &nbsp;<math>\textstyle h(t) \ \stackrel{\text{def}}{=}\ O_t\{\delta(u);\ u\}.</math>

Tương tự''':'''
: {| style="margin-bottom: 10px;"

|<math>{}= O_t\{\delta(u-\tau);\ u\}.\,</math> &nbsp; &nbsp; &nbsp; (sử dụng '''[[LTI system theory#math Eq.3|Eq.3]]''')
|}
Thay kết quả này vào tích chập:

which has the form of the right side of '''[[LTI system theory#math Eq.2|Eq.2]]''' for the case <math>\textstyle c_{\tau} = x(\tau)</math> and <math>\textstyle x_{\tau}(u) = \delta(u-\tau).</math>
'''[[LTI system theory#math Eq.2|Eq.2]]''' then allows this continuation''':'''

Tóm lại, hàm đầu vào, <math>\textstyle \{x\},</math>&nbsp; có thể được mô tả bởi một continuum của các hàm xung dịch chuyển theo thời gian, liên kết "tuyến tính", như phương trình Eq.1 ở trên. Thuộc tính tuyến tính của hệ thống cho phép đáp ứng của hệ thống được thể hiện bởi continuum của các <u>đáp ứng</u> xung tương ứng, liên kết cùng cách thức tương tự. Và thuộc tính bất biến theo thời gian cho phép liên kết đó được mô tả bởi tích phân tích chập.

Các phép toán trên có một mô phỏng đồ họa đơn giản.<ref name="Crutchfield, p. 1"/>

=== Dùng hàm mũ làm hàm riêng ===
Một [[hàm riêng]] là một hàm mà đầu ra của phép toán là một bản đồng dạng tỷ lệ của cùng hàm số. Đó là,
: <math>\mathcal{H}f = \lambda f</math>,
trong đó ''f'' là hàm riêng và <math>\lambda</math> là [[vectơ riêng]], một hằng số.

Các [[hàm mũ]] <math>A e^{s t}</math>, trong đó <math>A, s \in \mathbb{C}</math>, là các hàm riêng của một toán tử [[Toán tử bất biến thời gian|bất biến thời gia]], [[tuyến tính]]. Một ví dụ minh họa đơn giản khái niệm này. Giả sử đầu vào là is <math>x(t) = A e^{s t}</math>. Đầu ra của hệ thống với đáp ứng xung <math>h(t)</math> sẽ là

trong đó, với thuộc tính giao hoán của [[tích chập]], tương đương với

Trong đó đại lượng vô hướng

chỉ phụ thuộc vào tham số s.

Vì vậy đáp ứng của hệ thống là tỉ lệ đồng dạng với đầu vào. Đặc biệt, đối với bất kỳ <math>A, s \in \mathbb{C}</math>, đầu ra của hệ thống là tích của đầu vào <math>A e^{st}</math> và hằng số <math>H(s)</math>. Trong đó, <math>A e^{s t}</math> là một [[hàm đặc trưng|hàm riêng]] của một hệ thống LTI, và [[vectơ riêng]] tương ứng là <math>H(s)</math>.

==== Chứng minh trực tiếp ====

=== Biến đổi Fourier và Laplace ===
Tính chất hàm mũ của hàm riêng rất hữu ích cho việc phân tích và tìm hiểu các hệ thống LTI. Các [[biến đổi Laplace]]

chính la cách để có được các giá trị riêng từ đáp ứng xung. Đăch biệt là các tín hiệu theo hình sin chuẩn (nghĩa là các hàm mũ có dạng <math>e^{j \omega t}</math> trong đó <math>\omega \in \mathbb{R}</math> và <math>j\ \stackrel{\text{def}}{=}\ \sqrt{-1}</math>). Chúng thường được gọi là các hàm mũ phức ngay cả khi argument chỉ có phần ảo. [[Biến đổi Fourier|Biến đổi Fourier]] <math>H(j \omega) = \mathcal{F}\{h(t)\}</math> cho ta các giá trị riêng cho các tín hiệu thuần sin phức. Cả <math>H(s)</math> và <math>H(j\omega)</math> đều được gọi là ''hàm hệ thống'', ''đáp ứng hệ thống, hoặc hàm truyền.''

Biến đổi Laplace thường được sử dụng trong bối cảnh của các tín hiệu một chiều, tức là tín hiệu là zero cho tất cả các giá trị của ''t ''ít hơn so với một số giá trị khác. Thông thường, "thời gian bắt đầu" này được thiết lập bằng zero, để thuận tiện và không mất tính tổng quát, với biến đổi tích phân được lấy từ zero đến vô cùng (các biến đổi chỉ ra ở trên cùng với giới hạn dưới của tích phân âm vô cùng được chính thức biết đến là [[Bilateral Laplace transform|biến đổi Laplace song phương]]).

=== Các ví dụ ===
* Một ví dụ đơn giản của một toán tử LTI là [[đạo hàm]].
** <math> \frac{\operatorname{d}}{\operatorname{d}t} \left(c_1 x_1(t) + c_2 x_2(t) \right) = c_1 x'_1(t) + c_2 x'_2(t) </math> &nbsp; (nghĩa là nó là tuyến tính)
** <math> \frac{\operatorname{d}}{\operatorname{d}t} x(t-\tau) = x'(t-\tau) </math> &nbsp; (nghĩa là nó là bất biến theo thời gian)
: Khi biến đổi Laplace của đạo hàm này được thực hiện, nó sẽ biến đổi thành một phép nhân đơn giản bởi biến Laplace s.
: Đạo hàm này là một biến đổi Laplace đơn giản giải thích phần nào sự tiện lợi của phép biến đổi này.
* Một toán tử LTI đơn giản khác là toán tử lấy trị trung bình
: Dùng tính chất  tuyến tính của tích phân.
: nó là tuyến tính. Ngoài ra, bởi vì
: nó là bất biến theo thời gian. Thực tế, <math>\mathcal{A}</math> có thể được viết dưới dạng tích chập với can be written as a convolution with the boxcar function <math>\Pi(t)</math>. That is,
: where the boxcar function

=== Các thuộc tính quan trọng của hệ thống ===
Hai tính chất quan trọng nhất của một hệ thống là tính nhân quả và tính ổn định. Tính nhân quả là một điều cần thiết nếu biến độc lập là thời gian, nhưng không phải tất cả các hệ thống đều lấy thời gian là một biến độc lập. Ví dụ, một hệ thống xử lý hình ảnh tĩnh không cần phải có tính nhân quả. Các hệ thống phi nhân quả có thể được xây dựng và có thể hữu ích trong nhiều tình huống. Ngay cả các hệ thống [[Quadrature filter|không thực]] có thể được xây dựng và rất hữu ích trong nhiều trường hợp.

==== Tính nhân quả ====
Một hệ thống là nhân quả nếu đầu ra chỉ phụ thuộc vào hiện tại và quá khứ, mà không phụ thuộc đầu vào tương lai. Một điều kiện cần và đủ của quan hệ nhân quả là(đoạn này khó hiểu thế)

trong đó <math>h(t)</math> là đáp ứng xung. Nói chung không thể  xác định tính nhân quả từ biến đổi Laplace, vì biến đổi nghịch đảo là không duy nhất. Khi một [[Region of convergence|vùng hội tụ]] được xác định, thì tính nhân quả có thể được xác định.

==== Tính ôn định ====
Một hệ thống là '''ổn định giới hạn đầu vào''', '''giới hạn đầu ra '''(ổn định BIBO) nếu, với mỗi đầu vào bị chặn, đầu ra là hữu hạn. Về mặt toán học, nếu mỗi đầu vào đáp ứng

sẽ dẫn tới một đầu ra thỏa mãn

(do đó, một [[Infinity norm|giá trị tuyệt đối cực đại]] của <math>x(t)</math> bao hàm giá trị tuyệt đối cực đại của <math>y(t)</math>), thì hệ thống đó là ổn định. Một điều kiện cần và đủ là đáp ứng xung <math>h(t)</math> phải nằm trong L<sup>1</sup> (có một chuẩn mực L<sup>1</sup> hữu hạn):

Trong miền tần số, [[Region of convergence|vùng hội tụ]] phải chứa trục ảo  <math>s=j\omega</math>.

As an example, the ideal low-pass filter with impulse response equal to a [[Hàm sinc|sinc function]] is not BIBO stable, because the sinc function does not have a finite L<sup>1</sup> norm. Thus, for some bounded input, the output of the ideal low-pass filter is unbounded. In particular, if the input is zero for <math>t < 0\,</math> and equal to a sinusoid at the cut-off frequency for <math>t > 0\,</math>, then the output will be unbounded for all times other than the zero crossings.

== Các hệ thống thời gian rời rạc ==
Hầu hết tất cả mọi thứ trong các hệ thống thời gian liên tục đều có một bản sao trong các hệ thống thời gian rời rạc.

=== Các hệ thống thời gian rời rạc từ các hệ thống thời gian liên tục ===
Trong nhiều trường hợp, một hệ thống thời gian rời rạc (DT-discrete time) thực sự là một phần của một hệ thống thời gian liên tục (CT-continuous time) lớn hơn. Ví dụ, một hệ thống ghi âm kỹ thuật số có một âm thanh analog, số hóa nó, có thể xử lý tín hiệu kỹ thuật số này, và phát lại một âm thanh analog tương tự cho mọi người nghe.

Về mặt hình thức, các tín hiệu DT được nghiên cứu hầu như luôn luôn là các phiên bản lấy mẫu đồng đều của tín hiệu CT. Nếu <math>x(t)</math> là một tín hiệu CT, thì một[[ADC|bộ chuyển đổi từ analog sang kỹ thuật số]] sẽ chuyển đổi nó thành tín hiệu DT:

Trong đó ''T'' là [[Lấy mẫu (xử lý tín hiệu)|chu kỳ lấy mẫu]][[Lấy mẫu (xử lý tín hiệu)|period]]. Việc giới hạn dải  tần số trong tín hiệu đầu vào để thể hiện chính xác trong tín hiệu DT là rất quan trọng, vì [[Định lý lấy mẫu Nyquist–Shannon|định lý lấy mẫu]] đảm bảo rằng không có thông tin về tín hiệu CT bị mất. Một tín hiệu DT có thể chỉ chứa một dải tần số bằng <math>1/(2T)</math>; các tần số khác bị[[Aliasing|làm méo]] (qui) về dải lấy mẫu.

=== Đáp ứng xung và tích chập ===
Cho <math>\{x[m-k];\ m\}</math> thể hiện chuỗi {''x''[''m-k'']; đối với tất cả các giá trị nguyên của m}.

And let the shorter notation <math>\{x\}\,</math> represent <math>\{x[m];\ m\}.</math>

Một hệ thống rời rạc biến đổi một chuỗi đầu vào, <math>\{x\}</math> thành một chuỗi đầu ra, <math>\{y\}.</math> Tổng quát, mọi thành phần của đầu ra có thể phụ thuộc vào mọi thành phần của đầu vào. Biểu diễn phép toán biến đổi này bởi <math>O</math>, chúng ta có thể viết:

Lưu lý rằng trừ phi biến đổi này tư nó thay đổi theo '''n''', chuỗi đầu ra chỉ là hằng số, và hệ thống là đơn điệu. (Do đó chỉ số dưới, '''n'''.) Trong một hệ thống điển hình, '''y[n]''' hầu như phụ thuộc phần lớn vào thành phần '''x''', thành phần có chỉ số gần như '''n'''.

Trong trường hợp đặc biệt của [[Hàm delta Kronecker|hàm delta Kronecker]], <math>x[m] = \delta[m],</math>  chuỗi đầu ra là '''đáp ứng xung''':

Đối với một hệ thống tuyến tính, <math>O</math> phải thỏa mãn:

Và bất biến theo thời gian yêu cầu là:

Trong một hệ thống như vậy, đáp ứng xung, <math>\{h\},\,</math> mô tả đặc điểm của hệ thống hoàn toàn. Tức là, đối với bất kỳ chuỗi đầu vào nào, chuỗi đầu ra có thể được tính toán trong điều kiện của đầu vào và đáp ứng xung. Để xem điều này được thực hiện như thế nào hãy xem đồng nhất thức sau:

trong đó biểu thức <math>\{x\}\,</math> theo tổng các hàm trọng số delta.

Do đó:

trong đó chúng ta viện dẫn phương trình {{EquationNote|Eq.4}} trong trường hợp  <math>c_k = x[k]\,</math> và <math>x_k[m] = \delta[m-k].\,</math>

VÀ bởi vì phương trình {{EquationNote|Eq.5}}, chúng ta có thể viết:

Do đó:
: {| style="margin-bottom: 10px;"

|-

|<math>= \sum_{k=-\infty}^{\infty} x[n-k]\cdot h[k],</math> &nbsp; &nbsp; &nbsp; ([[tích chập]])
|}
đó là công thức chập rời rạc quen thuộc. Toán tử O_n\,  có thể được hiểu là tỷ lệ thuận với trung bình trọng số của hàm '''x[k]'''. Hàm trọng số này là '''h[k]''', chỉ đơn giản là thay đổi bởi lượng '''n'''. Khi '''n''' thay đổi, hàm trọng số nhấn mạnh các phần khác nhau của hàm đầu vào. Một cách tương đương, đáp ứng của hệ thống đối với một xung tại '''n = 0''' là một bản sao đảo ngược "thời gian"  của hàm trọng số không dịch chuyển. Khi '''h[k]''' là zero cho tất cả số âm '''k''', hệ thống được gọi là nhân quả.

=== Dùng hàm mũ làm hàm riêng ===
Hàm riêng là một hàm mà đầu ra của các toán hạng có hàm tương đương, chỉ thay đổi bởi một lượng tỉ lệ. Trong các biểu tượng,
: <math>\mathcal{H}f = \lambda f</math>,
trong đó ''f ''là hàm riêng và <math>\lambda</math> là [[vectơ riêng]], một hằng số.

[[Hàm mũ]] <math>z^n = e^{sT n}</math>, trong đó <math>n \in \mathbb{Z}</math>, là hàm riêng của toán tử tuyến tính, bất biến theo thời gian. <math>T \in \mathbb{R}</math> khoảng thời gian lấy mẫu, và <math>z = e^{sT}, \ z,s \in \mathbb{C}</math>. Một ví dụ đơn giản minh họa khái niệm này.

Cho đầu vào là <math>x[n] = \,\!z^n</math>. Đầu ra của hệ thống với đáp ứng xung <math>h[n]</math> sẽ là

là tương đương với tính chất giao hoán sau của [[tích chập]]

chỉ phụ thuộc vào tham số z.

Do đó <math>z^n</math> là một hàm riêng của một hệ thống LTI bởi vì đáp ứng của hệ thống đó là tương đương với đầu vào nhân với hằng số <math>H(z)</math>.

=== Biếu đổi Z và biến đổi Fourier thời gian rời rạc ===
Thuộc tính riêng của hàm mũ là rất hữu ích cho cả việc phân tích và nghiên cứu sâu vào các hệ thống LTI. [[Z transform|Biến đổi Z]]

chính là cách để lấy vectơ riêng từ đáp ứng xung. Đặc biệt là đối với các tín hiệu thuần sin, nghĩa là hàm mũ có dạng <math>e^{j \omega n}</math>, trong đó <math>\omega \in \mathbb{R}</math>. Biểu thức này cũng có thể viết lại theo <math>z^n</math> với <math>z = e^{j \omega}</math>. Điều này thường được gọi là hàm mũ phức ngay cả khi argument chỉ toàn là phần ảo. Biến đổi Fourier thời gian rời rạc (DTFT) <math>H(e^{j \omega}) = \mathcal{F}\{h[n]\}</math> cho các vectơ rieng của hàm sin chuẩn. Cả <math>H(z)</math> và <math>H(e^{j\omega})</math> đều được gọi là ''hàm hệ thống, đáp ứng hệ thống, hoặc hàm truyền.''

Biến đổi Z thường được sử dụng trong bối cảnh của các tín hiệu một chiều, tức là tín hiệu mà zero cho tất cả các giá trị của t nhỏ hơn so với một số giá trị. Thông thường, "thời gian bắt đầu" này được thiết lập bằng không, để thuận tiện và không mất tính tổng quát. Biến đổi Fourier được sử dụng để phân tích các tín hiệu trong phạm vi vô tận.

Do tính chất tích chập của cả hai biến đổi này, tích chập cung cấp đầu ra của hệ thống có thể được biến đổi thành một phép nhân trong miền biến đổi. Đó là,

Cũng như với biến đổi Laplace của hàm truyền trong phân tích hệ thống thời gian liên tục, biến đổi Z làm cho việc phân tích các hệ thống dễ dang hơn và hiểu sâu hơn về hành vi của chúng. Người ta có thể nhìn vào các mô đun hàm hệ thống |''H(z)''| để xem liệu đầu vào z^n được thông qua (cho qua) bởi hệ thống, hoặc bị ''từ chối ''hoặc bị ''suy giảm ''bởi hệ thống (không cho qua).

=== Các ví dụ ===
* Một ví dụ đơn giản của một toán tử LTI là toán tử trễ <math>D\{x[n]\} \ \stackrel{\text{def}}{=}\ x[n-1]</math>.
** <math> D \left(c_1. x_1[n] + c_2. x_2[n] \right) = c_1. x_1[n-1] + c_2. x_2[n-1] = c_1. Dx_1[n] + c_2. Dx_2[n]</math> &nbsp; (nghĩa là nó là tuyến tính)
** <math> D\{x[n-m]\} = x[n-m-1] = x[(n-1)-m] = D\{x\}[n-m]\,</math> &nbsp; (nghĩa là nó là bất biến theo thời gian)
: Biến đổi Z của toán tử trễ là một phép nhân đơn giản bởi ''z''<sup>−1</sup>. Đó là,
* Một toán tử LTI đơn giản khác là toán tử trung bình

=== Ví dụ ===

=== Các thuộc tính quan trọng của hệ thống ===
Các đặc tính đầu vào-đầu ra của hệ thống thời gian rời rạc LTI hoàn toàn được mô tả bởi đáp xung ''h[n]''. Một số thuộc tính quan trọng nhất của một hệ thống là tính nhân quả và ổn định. Không giống như các hệ thống CT, các hệ thống phi nhân quả DT có thể được thực hiện. Làm cho một hệ thống FIR phi nhân quả thành nhân quả bằng cách thêm các trễ thì không quan trọng. Ta thậm chí có thể làm cho các hệ thống IIR phi nhân quả.<ref>Vaidyanathan,1995</ref> Các hệ thống không ổn định có thể được xây dựng và có thể hữu ích trong nhiều tình huống. Ngay cả hệ thống [[Quadrature filter|không thực]] cũng có thể được xây dựng và rất hữu ích trong nhiều trường hợp.

==== Tính nhân quả ====
Một hệ thống LTI thời gian rời rạc là nhân quả nếu giá trị hiện tại của đầu ra chỉ phụ thuộc vào giá trị hiện tại và giá trị quá khứ của đầu vào.,<ref>Phillips 2007, p. 508.</ref>  Một điều kiện cần và đủ cho tính nhân quả là

trong đó <math>h[n]</math> là đáp ứng xung. Không thể tổng quát khi xác định quan hệ nhân quả từ biến đổi Z, vì biến đổi nghịch đảo là không duy nhất. Khi một [[Region of convergence|vùng hội tụ]] được xác định, thì quan hệ nhân quả có thể được xác định.

==== Tính ổn định ====
Một hệ thống là '''giới hạn đầu vào''', '''ổn định giới hạn đầu ra''' (ổn định BIBO) nếu, với mỗi đầu vào bị chặn, đầu ra là hữu hạn. Về mặt toán học, nếu

có nghĩa là

(nghĩa là, nếu đầu vào bị chặn bao gồm cả đầu ra bị chặn, nghĩa là các [[Infinity norm|giá trị tuyệt đối lớn nhất]] của <math>x[n]</math> và <math>y[n]</math> là có giới hạn), thì hệ thống đó là ổn định. Một điều kiện cần và đủ là đáp ứng xung <math>h[n]</math>, thỏa mãn
* Một ví dụ đơn giản của một bộ điều khiển LTI là hàm trễ<math>D\{x[n]\} \ \stackrel{\text{def}}{=}\ x[n-1]</math>.
** <math> D \left(c_1 x_1[n] + c_2 x_2[n] \right) = c_1 x_1[n-1] + c_2 x_2[n-1] = c_1 Dx_1[n] + c_2 Dx_2[n]</math> &nbsp; (có nghĩa là tuyến tính)
** <math> D\{x[n-m]\} = x[n-m-1] = x[(n-1)-m] = D\{x\}[n-m]\,</math> &nbsp; (có nghĩa là bất biến theo thời gian)

==== Độ ổn định ====
Trong miền tần số,[[Region of convergence|vùng hội tụ]] phải chứa [[Đường tròn đơn vị|vòng tròn đơn]] vị (nghĩa là, quỹ đạo nghiệm số phải thỏa mãn <math>|z|=1</math> với ''z ''là số phức).

== Ghi chú ==
{{tham khảo}}

== Xem thêm ==
* [[Circulant matrix|Ma trận luân hoàn]]
* [[Đáp ứng tần số]]
* [[Đáp ứng xung]]
* [[System analysis|Phân tích hệ thống]]
* [[Green's function|Hàm xanh]]
* [[Signal-flow graph|Đồ thị dòng tín hiệu]]

== Tham khảo ==
* <span class="citation book" contenteditable="false">Phillips, C.l., Parr, J.M., & Riskin, E.A (2007).</span><span class="citation book" contenteditable="false">''Signals, systems and Transforms''. Prentice Hall.</span><span class="citation book" contenteditable="false">[[ISBN]]&nbsp;0-13-041207-4.</span><span class="Z3988" title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fen.wikipedia.org%3ALTI+system+theory&rft.aulast=Phillips%2C+C.l.%2C+Parr%2C+J.M.%2C+%26+Riskin%2C+E.A&rft.au=Phillips%2C+C.l.%2C+Parr%2C+J.M.%2C+%26+Riskin%2C+E.A&rft.btitle=Signals%2C+systems+and+Transforms&rft.date=2007&rft.genre=book&rft.isbn=0-13-041207-4&rft.pub=Prentice+Hall&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook" contenteditable="false">&nbsp;</span>
* <span class="citation book" contenteditable="false">Hespanha,J.P. (2009).</span><span class="citation book" contenteditable="false">''Linear System Theory''. Princeton university press.</span><span class="citation book" contenteditable="false">[[ISBN]]&nbsp;0-691-14021-9.</span><span class="Z3988" title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fen.wikipedia.org%3ALTI+system+theory&rft.au=Hespanha%2CJ.P.&rft.aulast=Hespanha%2CJ.P.&rft.btitle=Linear+System+Theory&rft.date=2009&rft.genre=book&rft.isbn=0-691-14021-9&rft.pub=Princeton+university+press&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook" contenteditable="false">&nbsp;</span>
* <span class="citation" id="CITEREFCrutchfield2010" contenteditable="false">Crutchfield, Steve (ngày 12 tháng 10 năm 2010), [http://www.jhu.edu/signals/convolve/index.html "The Joy of Convolution"], ''Johns Hopkins University''<span class="reference-accessdate">, retrieved <span class="nowrap">November 21,</span> 2010</span></span><span class="citation" id="CITEREFCrutchfield2010" contenteditable="false"></span><span class="Z3988" title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fen.wikipedia.org%3ALTI+system+theory&rft.atitle=The+Joy+of+Convolution&rft.au=Crutchfield%2C+Steve&rft.aufirst=Steve&rft.aulast=Crutchfield&rft.date=October+12%2C+2010&rft.genre=article&rft_id=http%3A%2F%2Fwww.jhu.edu%2Fsignals%2Fconvolve%2Findex.html&rft.jtitle=Johns+Hopkins+University&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal" contenteditable="false">&nbsp;</span>
* <span class="citation journal" contenteditable="false">Vaidyanathan, P. P.; Chen, T. (May 1995).</span><span class="citation journal" contenteditable="false">"Role of anticausal inverses in multirate filter banks &#x2014; Part I: system theoretic fundamentals". ''IEEE Trans. Signal Proc.'' '''43''' (6): 1090.</span><span class="citation journal" contenteditable="false">[[Bibcode]]:[http://adsabs.harvard.edu/abs/1995ITSP...43.1090V 1995ITSP...43.1090V]. [[DOI|doi]]:[[doi:10.1109/78.382395|10.1109/78.382395]].</span><span class="Z3988" title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fen.wikipedia.org%3ALTI+system+theory&rft.atitle=Role+of+anticausal+inverses+in+multirate+filter+banks+%26mdash%3B+Part+I%3A+system+theoretic+fundamentals&rft.au=Chen%2C+T.&rft.aufirst=P.+P.&rft.aulast=Vaidyanathan&rft.au=Vaidyanathan%2C+P.+P.&rft.date=May+1995&rft.genre=article&rft_id=info%3Abibcode%2F1995ITSP...43.1090V&rft_id=info%3Adoi%2F10.1109%2F78.382395&rft.issue=6&rft.jtitle=IEEE+Trans.+Signal+Proc.&rft.pages=1090&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.volume=43" contenteditable="false">&nbsp;</span>

== Đọc thêm ==

[[Thể loại:Lý thuyết điều khiển]]
[[Thể loại:Xử lý tín hiệu số]]
[[Thể loại:Kỹ thuật điện]]
[[Thể loại:Xử lý tín hiệu]]