Tại sao các hệ thống tuyến tính cho thấy độ trung thực hình sin?


9

Tôi đang tìm kiếm một bằng chứng cho sự trung thực hình sin. Trong DSP, chúng tôi nghiên cứu rất nhiều về các hệ thống tuyến tính. Hệ thống tuyến tính là đồng nhất và phụ gia. Một điều kiện nữa nó bão hòa là nếu tín hiệu là sóng hình sin hoặc cos thì đầu ra chỉ thay đổi pha hoặc biên độ. Tại sao? Tại sao đầu ra không thể là đầu ra hoàn toàn khác khi sóng hình sin được đưa ra làm đầu vào?


1
Chào mừng đến với DSP. Câu hỏi tuyệt vời!
Phonon

5
Sự hiểu biết của bạn là không đầy đủ. Một hệ thống tuyến tính (có nghĩa là đồng nhất và phụ gia) không nhất thiết phải có đặc tính là một hình sin đầu vào tạo ra một hình sin có cùng tần số nhưng có thể có biên độ và pha khác nhau. Bạn cần áp đặt các hạn chế hơn nữa rằng hệ thống cũng bất biến theo thời gian. Ví dụ: nếu đầu vào x(t) tạo ra đầu ra x(t)cos(2π109t) , thì hệ thống là đồng nhất và phụ gia, và do đó tuyến tính, nhưng không thỏa mãn tính chất SISO (hình sin trong hình sin).
Dilip Sarwate

Dilip (hoặc ai đó) nên đặt câu trả lời: "Họ không." Chỉ có hệ thống tuyến tính bất biến thời gian làm.
hotpaw2

2
Cũng như một ghi chú, một cách khác để diễn đạt câu hỏi này sẽ là "Tại sao các hàm riêng của hàm mũ của các hệ thống bất biến thời gian tuyến tính?"
Jason R

Câu trả lời:


8

Một phần bổ sung trực quan cho các câu trả lời khác

Bạn đang nói về các hệ thống là bất biến tuyến tính và thời gian.

Các hàm số mũ có một thuộc tính đặc thù (và có thể được xác định bởi nó): thực hiện một kết quả dịch thời gian trong cùng một hàm nhân với một hằng số. Vì thế

ett0=et0et

Đồ họa toán học

Số mũ màu đỏ cũng có thể là màu xanh dương chia cho hoặc di chuyển 1 giây sang phảie

Nói chung, điều này cũng đúng với số mũ phức tạp

Bạn có thể hình dung trong đầu bạn một âm mưu của một sóng hài phức như không? Nếu vậy, bạn sẽ thấy nó giống như một con suối: nó quay dọc theo mặt phẳng phức tạp khi thời gian trôi qua.x(t)=ej2πt

Đồ họa toán học

Xoay lò xo đó (nhân với một số phức trong vòng tròn đơn vị) cũng giống như dịch nó. Bạn có thể đã đi vào hiệu ứng hình ảnh này một thời gian trong cuộc sống của bạn

nhập mô tả hình ảnh ở đây

Đó là nguyên tắc của bất kỳ vít tiêu chuẩn quá.

Giả sử chúng ta nhập cái này vào một hệ thống bất biến thời gian tuyến tính. Bạn nhận được một đầu ra Bây giờ, nhập một phiên bản xoay của mùa xuân này. Bởi vì tuyến tính, sản lượng nên được y xoay một khoản tương ứng. Nhưng vì một vòng quay tương đương với thời gian dịch và hệ thống là bất biến theo thời gian, đầu ra cũng phải được dịch theo thời gian y với cùng một lượng. Vì vậy, y phải thỏa mãn tính chất giống như đầu vào: xoay nó phải tương đương với một bản dịch thời gian cụ thể. Điều này chỉ xảy ra khi đầu ra là bội số của lò xo ban đầu.yyyy

Dịch bao nhiêu? Chà, nó tỷ lệ thuận với vòng quay giống như nó sẽ xảy ra với một mùa xuân. Các vòng lặp của lò xo càng chặt (nó quay càng nhanh) thì thời gian dịch càng ít cho một vòng quay nhất định. Các vòng của vít càng chặt, bạn càng có nhiều vòng để làm cho nó khớp hoàn toàn. Và, khi một nửa số vòng được thực hiện, ốc vít sẽ bằng một nửa trong ... Đầu ra phải thỏa mãn cùng một mối quan hệ, do đó, lò xo đầu ra quay cùng tần số với đầu vào.y

Cuối cùng, một lời nhắc nhở

cos(t)=ejt+ejt2

sin(t)=ejtejt2j

Vì vậy, điều đó xảy ra với số mũ thực sự không cần phải xảy ra với cosin và sin trong trường hợp chung nhất. Nhưng nếu hệ thống cũng có thật thì đó là một câu chuyện khác ...

Nói chung, với cùng lý do này, bất kỳ số mũ nào cũng là một "hàm riêng" (đầu ra tỷ lệ thuận với đầu vào) của các hệ thống bất biến thời gian tuyến tính. Đó là lý do tại sao các hệ thống này biến đổi Z và biến đổi Laplace rất hữu ích


Làm thế nào / bạn đã có được hình ảnh động đó từ đâu?
Spacey

@Mohammad đã lấy nó từ trang wikipedia trên vít Archimedes
Rojo

Nơi mà bạn có được cốt truyện corkscrew? :) math.stackexchange.com/q/144268/2206
endolith

@endolith oh tôi vừa mới làm nó trong Mathematica. Bạn đẹp hơn;)
Rojo

4

Hãy xem xét một hệ thống có đầu vào và đầu ra y ( t ) . Mượn ký hiệu từ câu trả lời của Lars1, chúng tôi biểu thị mối quan hệ này x ( t ) y ( t ) . Hệ thống được gọi là hệ thống bất biến thời gian tuyến tính (LTI) nếu nó thỏa mãn các tính chất sau:x(t)y(t)x(t)y(t)

H. Nếu , thì α x ( t ) α y ( t ) .x(t)y(t)αx(t)αy(t)

A. Nếu x 2 ( t ) y 2 ( t ) , thì x 1 ( t ) + x 2 ( t ) y 1 ( t ) + y 2 ( t) ) .x1(t)y1(t)x2(t)y2(t)x1(t)+x2(t)y1(t)+y2(t).

T. Nếu , sau đó x ( t - τ ) y ( t - τ ) đối với bất kỳ số thực τ .x(t)y(t)x(tτ)y(tτ)τ

Thuộc tính HA cùng tương đương với Thuộc tính L

L. Nếu x 2 ( t ) y 2 ( t ) , sau đó α x 1 ( t ) + β x 2 ( t ) α y 1 ( t ) + β y 2 ( t ) .x1(t)y1(t)x2(t)y2(t)αx1(t)+βx2(t)αy1(t)+βy2(t)


Đầu vào định kỳ cho hệ thống bất biến thời gian tạo ra đầu ra định kỳ
Giả sử là tín hiệu định kỳ với chu kỳ T , nghĩa là x ( t - n T ) = x ( t ) cho tất cả các số nguyên n . Sau đó, từ tài sản T , nó sau ngay lập tức mà y ( t ) cũng là một tín hiệu tuần hoàn với chu kỳ T . Do đó, chúng ta có thể biểu thị y ( t ) dưới dạng chuỗi Fourier:x(t)Tx(tnT)=x(t)ny(t)Ty(t)

nơiω=2π/Tlà tần số cơ bản.

y(t)=a02+n=1ancos(nωt)+bnsin(nωt)
ω=2π/T

Kể từ khi tội lỗi ( ω t ) là tín hiệu định kỳ, chúng tôi có mà cho bất kỳ hệ thống đổi theo thời gian, cho dù tuyến tính hay không, cos ( ω t )cos(ωt)sin(ωt) Trong thực tế, đối vớituyến tínhhệ thống thời gian bất biến (LTI),tất cảcácpn,qn,rn,snlà zerotrừ chop1,q1,r1,s

cos(ωt)p02+n=1pncos(nωt)+qnsin(nωt)sin(ωt)r02+n=1rncos(nωt)+snsin(nωt).
pn,qn,rn,sn . Để xem tại sao điều này là như vậy, chúng ta hãy tính toán phản ứng của hệ thống LTI để cos ( ω t - θ ) theo hai cách khác nhau và so sánh kết quả.p1,q1,r1,s1cos(ωtθ)

Kể từ khi , chúng tôi nhận được từ tài sản L và các phương trình trên mà cos ( ω t - θ )cos(ωtθ)=cos(θ)cos(ωt)+sin(θ)sin(ωt) Mặt khác, kể từ khicos(ωt-θ)=cos(ω(t-θ/ω)) chỉ là một phiên bản chậm củacos(ωt), từ tài sản

cos(ωtθ)p0cos(θ)+q0sin(θ)2+n=1(pncos(θ)+rnsin(θ))cos(nωt)+n=1(qncos(θ)+snsin(θ))sin(nωt).
cos(ωtθ)=cos(ω(tθ/ω))cos(ωt)T chúng tôi nhận được rằng Hai chuỗi Fourier này phải giống nhau cho dù giá trị củaθchúng tôi chọn là bao nhiêu. Hệ số so sánh, chúng ta thấy rằng p0/2có thể không bằng nhau(p0cos(θ)+r0cos(θ
cos(ωtθ)p02+n=1pncos(nωtnθ)+qnsin(nωtnθ)=p02+n=1(pncos(nθ)qnsin(nθ))cos(nωt)+n=1(qncos(nθ)+pnsin(nθ))sin(nωt).
θp0/2 với mọi θ trừ khi p 0 = r 0 = 0 . Tương tự, với mọi n > 1 , p n cos ( n θ ) - q n sin ( n θ ) không thể bằng p n cos ( θ ) + r n sin ( θ ) v.v ... với mọi θ trừ khi p n = q(p0cos(θ)+r0cos(θ))/2θp0=r0=0n>1pncos(nθ)qnsin(nθ)pncos(θ)+rnsin(θ)θ . Tuy nhiên, đối với n = 1 , p 1 cos ( θ ) - q 1 sin ( θ ) = p 1 cos ( θ ) + r 1 sin ( θ ) ngụ ý rằng r 1 = - q 1 , và tương tự, s 1 = p 1 . Nói cách khác, đối với một hệ thống LTI, pn=qn=rn=sn=0n=1p1cos(θ)q1sin(θ)=p1cos(θ)+r1sin(θ)r1=q1s1=p1 Bây giờ,p1cos(ωt)+q1sin(ωt)=Bcos(ωt-φ) nơiB=
cos(ωt)p1cos(ωt)+q1sin(ωt)sin(ωt)q1cos(ωt)+p1sin(ωt).
p1cos(ωt)+q1sin(ωt)=Bcos(ωtϕ)ϕ=arctan(q1/p1). Do đó, tínhTHcung cấp cho chúng ta biết rằng Acos(ωt-θ)MộtBcos(ωt-φ-θ). Bất kỳhình sin của tần sốωrad / s có thể được diễn tả nhưmộtcos(ωtB=p12+q12ϕ=arctan(q1/p1)
Acos(ωtθ)ABcos(ωtϕθ).
ω cho sự lựa chọn thích hợp của A θ , và do đó kết quả trên là những gì chúng ta cần.Acos(ωtθ)Aθ

Thuộc tính SISO của hệ thống bất biến thời gian tuyến tính: Nếu đầu vào của hệ thống LTI là hình sin, đầu ra là hình sin có cùng tần số nhưng có thể có biên độ và pha khác nhau.

Đây không hoàn toàn là kết quả mà OP mong muốn - anh ta muốn một bằng chứng cho thấy một hệ thống tuyến tính (một trong đó Thuộc tính HA (tương đương, Thuộc tính L ) nắm giữ nhưng không nhất thiết là Thuộc tính T ) có thuộc tính SISO, nhưng là sự phát triển ở trên cho thấy, Thuộc tính T phải giữ để chứng minh ngay cả kết quả yếu hơn mà đầu vào định kỳ dẫn đến đầu ra định kỳ.


cos(αβ)=cos(α)cos(β)+sin(α)sin(β).

x(t)Tx(t)

x(t)=A1cos(ω1t)+\A2cos(ω2t)ω1/ω2
A1cos(ω1t)+\A2cos(ω2t)A1B1cos(ω1tϕ1)+\A2B2cos(ω2tϕ2)

x(t)=cos(πt)+cos(2t)tT=[0;T]TTt\ont

[0,T]x(t)y(t)y(t)[0,T]y^(t)x^(t)t<t<
x^(t)=x(tmodT).
Tx(t)T

x(t)y(τ)txyy

3

Đây là ý tưởng của bằng chứng. Giả sử chúng ta có thể mô tả đầu ra của một hệ thống bằng cách tích chập,

y(t)=kt(tτ)f(τ)dτ

kt(t)tkt(t)kt t

y(t)=k(tτ)f(τ)dτ

f(t)f(t)=eiωt

y(t)=k(tτ)eiωτdτ=k(τ)eiω(tτ)dτ=eiωtk(τ)eiωτdτ

tK(ω):=k(τ)eiωτdτ

Vì vậy, chúng tôi đã phát hiện ra rằng

y(t)=K(ω)eiωt

y(t)K(ω)t

s

Bây giờ, hãy sử dụng biến đổi Laplace, để kết thúc với (vì biến đổi Laplace đưa phép tích chập thành phép nhân),

Y(s)=K(s)F(s)

ff(t)=eiωtωF(s)=δw(s)

Y(s)=K(s)δω(s)=K(ω)δω(s)

K(ω)y(t)

Tình cờ, tôi chỉ nhận thấy bạn có thể tìm thấy ý tưởng tương tự được viết trong miền thời gian tại Wikipedia . Một lời giải thích ở cấp độ cao hơn (mà bạn có thể bỏ qua nếu nó quá toán học) là lý thuyết hệ thống tuyến tính được xác định thông qua hoạt động tích chập, được chéo bởi biến đổi Fourier. Do đó, một hệ thống có đầu vào là một hàm riêng của toán tử biến đổi Fourier sẽ chỉ xuất ra một phiên bản thu nhỏ của đầu vào của nó.


sωδω(s)Y(s)=K(s)δωs)

@DilipSarwate Tôi nghi ngờ anh ấy đang sử dụng ký hiệu biến đổi Laplace thay vì ký hiệu Fourier.
Jim Clay

@sydeulissie Vấn đề là bạn khẳng định rằng K (w) là "chỉ là một số phức", nhưng bạn chưa nói tại sao nó chỉ là một số phức ở mỗi tần số. Đó là trung tâm của bằng chứng.
Jim Clay

3
Điều này có một phác thảo chính xác nhưng nhiều vấn đề trong các chi tiết. Không downvote, nhưng nó cần được sửa chữa.
Phonon

1

x1(t)y1(t)=G(x1(t))x2(t)y2(t)=G(x1(t))

ax1(t)+bx2(t)y(t)=G(ax1(t)+bx2(t))=aG(x1(t))+bG(x2(t))=ay1(t)+by2(t)

ab

Từ định nghĩa về tuyến tính và đòi hỏi thêm một hệ thống bất biến thời gian, chúng ta có thể thấy trực tiếp rằng hai (hoặc nhiều tín hiệu) không thể can thiệp và tạo ra các thành phần tần số mới trong khi vẫn tuân thủ yêu cầu tuyến tính. Nguyên tắc chồng chất cũng tuân theo trực tiếp từ định nghĩa tuyến tính.

Cũng từ định nghĩa tuyến tính, khái niệm tích chập cho các hệ bất biến thời gian tuyến tính theo sau. Đối với các hệ phi tuyến, ví dụ, chúng ta có chuỗi Volterra là tích phân tích chập đa chiều - tích phân tích chập 1 chiều là trường hợp đặc biệt của sê-ri Volterra. Đây là cách phức tạp hơn so với các kỹ thuật tuyến tính mặc dù. Nhưng dựa trên tích phân tích chập cho một hệ tuyến tính, đạo hàm tuân theo hệ số được hiển thị bởi @sydeulissie.

G:y(t)=x2(t)x1(t)y1(t)=x12(t)x2(t)y2(t)=x22(t)y(t)

y(t)={ax1(t)+bx2(t)}2=a2x12(t)+b2x22(t)+2abx1(t)x2(t)

hoặc là:

y(t)=a2y1(t)+b2y2(t)±2aby1(t)y2(t)ay1(t)+by2(t)

x2x(t)=Acos(2πf0t+ϕ0)G

y(t)=x2(t)=A2cos2(2πf0t+ϕ0)=A22+A22cos(2π2f0t+2ϕ0)

2f0x2

Để kết luận, có thể thấy rằng một hệ thống tuyến tính có thể tạo ra các thành phần tần số không có trong đầu vào (nếu hệ thống là biến thể thời gian). Nếu hệ thống là bất biến thời gian tuyến tính, đầu ra không thể bao gồm các thành phần tần số không có trong đầu vào.

Cảm ơn @Sarwate vì bình luận phù hợp nhất.


cos(t)

@DilipSarwate Vậy có phải chỉ có hệ thống LTI mới có tài sản đó?
Phonon

Chỉ cần kiểm tra một vài cuốn sách để được an toàn. Trên thực tế dường như có một số khác biệt trong các chi tiết. Một định nghĩa trong cuốn sách của Yang và Lee về các hệ thống mạch từ năm 2007 nói: "Một hệ thống được gọi là tuyến tính nếu nguyên tắc chồng chất giữ, tức là đầu ra của nó thành một tổ hợp tuyến tính của một số đầu vào tùy ý giống như kết hợp tuyến tính của các đầu ra với đầu vào riêng lẻ ". Về mặt đó, ví dụ của Sarwate là tuyến tính - nhưng không phải là bất biến thời gian. Các ref khác ít chính xác hơn. Cảm ơn @Sarwate.
Lars1

1
x(t)cos(t)x(t)ax1(t)+bx2(t)
(ax1(t)+bx2(t))cos(t)=ax1(t)cos(t)+bx2(t)cos(t)

@Sarwate Hệ thống tạo ra thời gian đầu ra x (t) cos (t) khác nhau như thế nào? Tôi là một người mới bắt đầu trong DSP của
Hobyist

1

Như Dilip Sarwate đã chỉ ra, chỉ các hệ thống dịch chuyển bất biến tuyến tính (LSIV) mới có thuộc tính SISO (sinus in-sinusoid out).

eȷωt

Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.