Cách dễ nhất, đơn giản nhất để chứng minh điều này về các bộ lọc pha tối thiểu là gì?


9

Sử dụng quy ước "đơn nhất" hoặc "tần số thông thường" hoặc "Hz" cho Biến đổi Fourier liên tục:

X(f)F{x(t)}= =-x(t)e-j2πftdtx(t)= =F-1{X(f)}= =-X(f)ej2πftdf

Vì vậy, chúng ta biết rằng biến đổi Hilbert ánh xạ tín hiệu hoặc hàm trong miền thời gian sang một miền khác trong cùng miền:

x^(t)H{x(t)}= =1πtx(t)= =-1πbạnx(t-bạn)dbạn= =-1π(t-bạn)x(bạn)dbạn

và biến áp Hilbert là LTI, vì vậy chúng tôi biết rằng . Và, mặc dù LTI, chúng ta biết rằng máy biến áp Hilbert không phải là nguyên nhân (nhưng, với độ trễ vừa đủ, chúng ta cũng có thể nhận ra một phép tính gần đúng với máy biến áp Hilbert, với một lỗi khác không, như chúng ta muốn).x^(t-τ)= =H{x(t-τ)}

Và chúng ta biết rằng máy biến áp LTI Hilbert này có đáp ứng tần số

X^(f)F{x^(t)}= =-jsgn(f)X(f)= ={e-jπ/2X(f)f>00f= =0e+jπ/2X(f)f<0

trong đó, tất nhiên, X(f)F{x(t)} . Vì vậy, tất cả các thành phần tần số dương được dịch chuyển theo pha -90 ° và tất cả các thành phần tần số âm được dịch pha + 90 °. Không có biên độ nào bị ảnh hưởng ngoại trừ DC bị xóa sạch. Đó là cơ bản những gì một máy biến áp Hilbert làm.

Từ đó chúng ta biết về các tín hiệu phân tích:

xmột(t)x(t)+jx^(t)Xmột(f)= =X(f)+jX^(f)= =X(f)+j(-jsgn(f)X(f))= =(1+sgn(f))X(f)= ={2X(f)f>0X(f)f= =00f<0

Vì vậy, nếu chúng ta có tín hiệu miền thời gian có giá trị phức tạp, trong đó phần thực và phần ảo của tín hiệu này tạo thành cặp biến đổi Hilbert, thì trong miền tần số, tất cả các thành phần tần số âm có biên độ bằng không. Do tính chất đối xứng của biến đổi Fourier, chúng ta có tính đối ngẫu và có thể đảo ngược vai trò của thời gian và tần số . Điều này có nghĩa là, nếu chúng ta có phổ miền tần số có giá trị phức tạp , trong đó phần thực và phần ảo của phổ này tạo thành cặp biến đổi Hilbert, thì trong miền thời gian, tất cả các thành phần thời gian âm có biên độ bằng 0 .xmột(t)tfX(f)

Nói một lần nữa, nhưng thay thế đáp ứng xung cho và đáp ứng tần số cho , chúng ta biếth(t)x(t)H(f)X(f)

{h(t)}= =H{{h(t)}}H(f)= =0f<0

và tương tự

{H(f)}= =-H{{H(f)}}h(t)= =0t<0

trong đóH(f)F{h(t)}

Một hệ thống LTI được mô tả bởi đáp ứng xung bằng 0 đối với tất cả là âm, là cái mà chúng ta gọi là " hệ thống nguyên nhân ", bởi vì đáp ứng xung không đáp ứng với xung động cho đến khi xung động đó xảy ra kịp thời. Vì vậy, đối với mọi hệ thống LTI thời gian thực có thể thực hiện được (phải là nguyên nhân), phần thực và phần ảo của đáp ứng tần số là một cặp Hilbert trong miền tần số. Không ai trong số này là đặc biệt đầu hàng hoặc đặc biệt.h(t)t

Vì vậy (như Matt dự đoán) có một cái gì đó liên quan nhiều hơn đến phần thực và phần ảo của một cái gì đó liên quan đến các hệ thống LTI một chút đáng kinh ngạc (hoặc, ít nhất, không tầm thường). Chúng tôi có hai định nghĩa hoặc mô tả về hệ thống LTI hoặc bộ lọc LTI trong lớp này được gọi là " bộ lọc pha tối thiểu ":

  1. Các bộ lọc LTI với các hàm truyền hợp lý (trong đó tử số và mẫu số có thể được xác định dẫn đến các gốc được gọi là số không và cực tương ứng) trong đó cả hai cực và số không nằm trong mặt phẳng nửa bên trái:

H(Sj2π)= =Một(S-q1)(S-q2)...(S-qM)(S-p1)(S-p2)...(S-pN)MN

Cần thiết cho sự ổn định: cho tất cả{pn}<01nN

Cần thiết cho pha tối thiểu: cho tất cả{qm}<01mM

Các bộ lọc này được gọi là "pha tối thiểu" bởi vì với bất kỳ số 0 trong nửa mặt phẳng bên trái, bộ lọc All-pass có cực tại cùng một vị trí sẽ hủy số 0 đó và sẽ phản xạ nó sang nửa mặt phẳng bên phải:qm

HAP(sj2π)=s+qmsqm

Bộ lọc all-pass này có đáp ứng tần số với cường độ chính xác là 0 dB cho tất cả các tần số:

|HAP(f)|=1f

nhưng góc pha không bằng 0, APF này thêm dịch pha (âm):

arg{HAP(f)}=2arctan(2πf{qm}{qm})

Bộ lọc xếp tầng kết quả bằng 0 phản xạ đến nửa mặt phẳng bên phải có cùng độ lớn với bộ lọc ban đầu (có tất cả các số không trong nửa mặt phẳng bên trái), nhưng có nhiều pha (âm) hơn. Nhiều độ trễ pha và độ trễ nhóm nhiều hơn. Bộ lọc "pha tối thiểu" là bộ lọc duy nhất có đáp ứng cường độ chính xác giống nhau có độ dịch pha (âm) ít hơn bất kỳ bản sao nào có APF phản xạ các số 0 ở nửa mặt phẳng bên phải.H(sj2π)HAP(sj2π)qm

Một "Maximum pha" bộ lọc là một trong những nơi tất cả các số không sống trong nửa mặt phẳng đúng hay .{qm}0

Vì vậy, định nghĩa thứ hai của bộ lọc pha tối thiểu xác định chính xác mức độ đáp ứng pha tối thiểu này liên quan đến đáp ứng cường độ:

  1. Một hệ thống hoặc bộ lọc LTI

H(f)=|H(f)|ejarg{H(f)}=|H(f)|ejϕ(f)

là pha tối thiểu khi và chỉ khi đáp ứng pha tự nhiên, tính bằng radian, là âm của biến đổi Hilbert của logarit tự nhiên của đáp ứng cường độ:

ϕ(f)arg{H(f)}=H{ln(|H(f)|)}

từ

H(f)=|H(f)|ejϕ(f)=eln(|H(f)|)ejϕ(f)=eln(|H(f)|)+jϕ(f)= =eln(H(f))

điều này liên quan đến các phần thực và phần ảo của tự nhiên phức tạp của đáp ứng tần số. Giả sử chúng ta có thể xây dựng bộ lọc LTI giả thuyết, với đáp ứng tần số phức bằng logarit phức đóđăng nhập()G(f)

G(f)= =ln(H(f))= =ln(|H(f)|)+jφ(f)= ={G(f)}+j{G(f)}

{G(f)}=ϕ(f)=H{ln(|H(f)|)}=H{{G(f)}}

thì đáp ứng xung tương ứng với sẽ là nguyên nhân:G(f)

F1{G(f)}=g(t)=0t<0

Mục đích của câu hỏi này là để giải quyết hai định nghĩa của bộ lọc pha tối thiểu. Nếu, được đưa ra định nghĩa đầu tiên, tôi không thấy bất kỳ lý do trực tiếp nào tại sao giả thuyết nên có đáp ứng xung nguyên nhân .G(f)=ln(H(f))g(t)

Cách duy nhất để giải quyết trực tiếp hai định nghĩa là xem xét:

H(f)=A(j2πfq1)(j2πfq2)...(j2πfqM)(j2πfp1)(j2πfp2)...(j2πfpN)

(giả sử tại thời điểm )A>0

ln(|H(f)|)=ln(A)+m=1Mln(|j2πfqm|)n=1Nln(|j2πfpn|)

ϕ(f)arg{H(f)}=m=1Marg{j2πfqm}n=1Narg{j2πfpn}

Chúng ta biết rằng biến đổi Hilbert của hàm hằng là 0, vì vậy

H{ln(A)}=0

sau đó nếu chúng ta có thể chứng minh rằng mỗi điều khoản tương ứng còn lại của các phép tính tổng trong và là các cặp Hilbert, nghĩa là, nếu chúng ta có thể hiển thịln(|H(f)|)arg{H(f)}

arg{j2πfqm}=H{ln(|j2πfqm|)}1mM

tranh luận{j2πf-pn}= =-H{ln(|j2πf-pn|)}1nN

cho rằng và ,{qm}<0{pn}<0

sau đó chúng ta có thể chỉ ra rằng

ϕ(f)arg{H(f)}=H{ln(|H(f)|)}

Chúng tôi không phải lo lắng nhiều về việc gói pha khi xem xét một thuật ngữ đơn hàng đầu tiên. Vì hình thức là giống nhau cho cả số không và số cực, chỉ xem xét một số không

tranh luận{j2πf-qm}= =tranh luận{j2πf-({qm}+j{qm})}= =tranh luận{-{qm}+j(2πf-{qm})}= =hồ quang(2πf-{qm}-{qm})

ln(|j2πfqm|)=ln(|j2πf({qm}+j{qm})|)=ln(|{qm}+j(2πf{qm})|)=ln((-{qm})2+(2πf-{qm})2 )= =12ln((-{qm})2+(2πf-{qm})2)

Vì vậy, bây giờ nó trở thành một nhiệm vụ để chỉ ra rằng

arctan(2πf{qm}{qm})=H{12ln(({qm})2+(2πf{qm})2)}

Bây giờ hãy nhớ rằng, trong miền thời gian, biến áp Hilbert là LTI, vì vậy chúng ta biết rằng và nó không Không quan trọng là gì, nó chỉ là phần bù cho thời gian ở cả đầu vào và đầu ra cho biến áp Hilbert.x^(tτ)=H{x(tτ)}τt

Ở đây, trong miền tần số, phần bù cho tần số là , do đó, không mất tính tổng quát, chúng ta có thể loại bỏ từ cả hai phía:f{qm}2π{qm}

arctan(2πf{qm})=H{12ln(({qm})2+(2πf)2)}

Đây phá vỡ vấn đề xuống một đơn cực thực và không thực tế, cả trong trái nửa mặt phẳng. Bây giờ chúng ta có thể bình thường hóa và với sự thay thế:{qm}2π

ω2πf{qm}

dẫn đến

arctan(ω)=H{12ln(({qm})2+(ω({qm}))2)}=H{12ln(({qm})2(1+ω2))}=H{ln({qm})+12ln(1+ω2)}=H{12ln(1+ω2)}

Thuật ngữ cuối cùng đó bị loại vì biến đổi Hilbert của hằng số bằng không.ln({qm})

Vì vậy, bây giờ, điểm mấu chốt , để chứng minh sự tương đương của hai định nghĩa về bộ lọc pha tối thiểu là gì, chúng tôi "đơn giản" cần chứng minh danh tính ở trên (hoặc bên dưới).

Ai đó, mà không sử dụng Tích hợp đường viền hoặc Lý thuyết dư lượng hoặc kết quả từ phân tích biến phức tạp, có thể chứng minh thực tế này không? :

arctan(ω)=12H{ln(1+ω2)}=121πuln(1+(ωu)2)du=121π(ωu)ln(1+u2)du


Tôi đoán đây sẽ là về mối quan hệ biến đổi Hilbert giữa cường độ log và pha của hệ thống pha tối thiểu ...?
Matt L.

Tôi đang đến đó, @MattL. nó sẽ là về việc điều hòa hai định nghĩa khác nhau của bộ lọc pha tối thiểu. và chúng tôi chưa đi đến định nghĩa thứ hai (mà bạn ám chỉ).
robert bristow-johnson

Wow @ robertbristow-johnson! Dòng và phương trình cuối cùng đó cũng có thể tốt để đăng trong trang web toán học (tôi không nghĩ về nền tảng ở đó, tôi không nghĩ rằng, chỉ có định nghĩa của )H
Dan Boschen

một cái gì đó giống như đó là kế hoạch của tôi, @DanBoschen. chỉ muốn ném nó ra đây trước. có thể để cho Olli hoặc MattL. hãy đánh vào nó (tôi có một cách tiếp cận và nó đang hiển thị các dẫn xuất của hai hàm tạo thành một cặp Hilbert.)
robert bristow-johnson

Vì vậy, @DanBoschen, tôi đã làm đúng như bạn đề xuất .
robert bristow-johnson

Câu trả lời:


3

Biến đổi Hilbert vớiH{f(ω)}

(1)f(ω)= =-12đăng nhập(1+ω2)

có thể được tính theo cách sau. Đầu tiên, lưu ý rằng

(2)df(ω)dω= =-ω1+ω2

Từ bảng này, chúng ta biết rằng

(3)H{11+ω2}= =ω1+ω2

Chúng tôi cũng biết rằng

(4)H{H{f}}= =-f

Kết hợp và chúng ta nhận được(3)(4)

(5)H{ω1+ω2}= =H{H{11+ω2}}= =-11+ω2

Vì vậy, sử dụng ,(2)

(6)H{df(ω)dω}= =11+ω2

Bây giờ chúng ta cũng biết rằng toán tử biến đổi Hilbert và toán tử phân biệt đi lại:

(7)H{df(ω)dω}= =ddωH{f(ω)}

mang lại

(số 8)ddωH{f(ω)}= =11+ω2

Tích hợp cuối cùng cũng cho(số 8)

(9)H{f(ω)}= =hồ quang(ω)

Lưu ý rằng kết quả này cũng có thể thu được bằng Mathicala (mà tôi không có sẵn). Theo chủ đề này , lệnh

Tích hợp [-1 / 2 * Nhật ký [1 + (\ [Tau] * \ [Nu]) ^ 2] / (\ [Nu] - \ [Omega]), {\ [Nu], -Infinity, Infinity},
 Hiệu trưởng -> Đúng, Giả định -> \ [Tau]> 0 && \ [Omega]> 0, GenerateConditions -> Sai] / Pi

cho

-ArcTan[\[Tau] \[Omega]]

Dấu âm xuất phát từ định nghĩa khác nhau của biến đổi Hilbert, như có thể thấy trong mẫu số của tích phân trong lệnh Mathicala.


Tôi muốn nói thêm rằng tính nhân quả của biến đổi Fourier ngược của , nghĩa là tính nhân quả của cepstrum phức tạp đối với hệ thống pha tối thiểu cũng có thể được hiểu theo trực giác. Lưu ý rằng bất kỳ số 0 nào của trong nửa mặt phẳng bên phải đều gây ra một điểm kỳ dị trong trong nửa mặt phẳng bên phải và do đó, biến đổi Fourier ngược tương ứng phải là hai mặt vì vùng hội tụ là một dải bao gồm trục ảo. Chỉ khi không có số 0 trong nửa mặt phẳng bên phải (nghĩa là hệ thống là pha tối thiểu) thì có tất cả các điểm kỳ dị của nó trong nửa mặt phẳng bên trái và biến đổi nghịch đảo tạo ra một nhân quả bên phải chức năng.đăng nhậpH(jω)H(jω)H(S)đăng nhậpH(S)đăng nhậpH(S)


Từ chúng ta có thể thấy một thuộc tính tốt khác của biến đổi Hilbert, cụ thể là biến đổi nghịch đảo được đưa ra đơn giản bởi biến đổi (chuyển tiếp) có dấu âm:(4)

(10)H-1{f}= =-H{f}

Điều đó có nghĩa là với mỗi cặp biến đổi Hilbert mà chúng ta tìm thấy, chúng ta sẽ nhận được một cặp khác miễn phí:

(11)H{f}= =gH{g}= =-f

Áp dụng đến chúng tôi tìm thấy(11)(9)

(12)H{hồ quang(ω)}= =-f(ω)= =12đăng nhập(1+ω2)

dấu hiệu tiêu cực đó (với Mathicala ) vẫn gây khó chịu cho tôi, Matt. chỉ cần định nghĩa về biến đổi Hilbert, đó là một phần không thể thiếu. Mathematica không đưa ra một thay đổi dấu hiệu giả với định nghĩa của chúng về tích phân không xác định với Cauchy pv,
robert bristow-johnson

ồ, đó là sự đảo ngược thứ tự của và . νω
robert bristow-johnson

@ robertbristow-johnson: Vâng, chỉ cần nhìn vào mẫu số, đó là và chúng tôi đang tích hợp qua . νΩν
Matt L.

tôi không ở trên tàu với lý lẽ nhân quả dưới cùng. chỉ vì là hợp lý, không có nghĩa là . ngay cả như vậy, việc đặt các điểm kỳ dị của vào nửa mặt phẳng bên trái không mang lại tính nhân quả, nhưng mang lại sự ổn định. không thực sự giống nhau H(S)đăng nhập(H(S))đăng nhập(H(S))
robert bristow-johnson

@ robertbristow-johnson: thực sự nói chung là không hợp lý; Tôi đã không tuyên bố rằng nó là hợp lý. Lưu ý rằng tính ổn định của được ngụ ý bằng cách giả sử rằng biến đổi Fourier ngược của nó (cepstrum) tồn tại. Vì vậy, với sự ổn định ngụ ý, các vị trí của điểm kỳ dị xác định quan hệ nhân quả. Tất cả các điểm kỳ dị trong nửa mặt phẳng bên trái có nghĩa là nhân quả, trong nửa mặt phẳng bên phải có nghĩa là chống nhân quả, và ở cả hai phía có nghĩa là hai mặt (phi nhân quả). Nói chung không đúng khi các điểm kỳ dị trong LHP mang lại sự ổn định, chỉ giữ cho các hệ thống nhân quả . đăng nhậpH(S)đăng nhậpH(S)
Matt L.
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.