Di mana cacat dalam derivasi DTFT ini dari urutan langkah unit


11

Pertanyaan ini terkait dengan pertanyaan saya yang lain di mana saya meminta derivasi dari transformasi Fourier diskrit-waktu (DTFT) dari urutan langkah unit u[n] . Selama pencarian saya untuk derivasi saya menemukan satu yang luar biasa sederhana. Saya pertama kali melihatnya di halaman 138 buku ini oleh BA Shenoi. Saya juga menemukannya di matematika. SE dalam jawaban ini .

Karena argumennya pendek dan sederhana, saya akan mengulanginya di sini untuk kenyamanan.

Urutan langkah unit dapat ditulis sebagai

(1)u[n]=f[n]+12
dengan
(2)f[n]={12,n012,n<0
Jelas,
(3)f[n]f[n1]=δ[n]
Menerapkan DTFT pada kedua sisi(3)memberikan
(4)F(ω)(1ejω)=1
manaF(ω)adalah DTFT darif[n]. Dari(4)kita dapatkan
(5)F(ω)=11ejω
Dari(5)dan(1)kita dapatkan untuk DTFT dariu[n]
(6)U(ω)=F(ω)+πδ(ω)=11ejω+πδ(ω),πω<π
tempat saya menggunakanDTFT{1}=2πδ(ω),πω<π.

Eq. (6) untuk DTFT dari u[n] tidak diragukan lagi benar. Namun, derivasi tersebut cacat.

Pertanyaannya adalah: temukan dan jelaskan cacat derivasi di atas.

Silakan tambahkan jawaban Anda dengan tag spoiler >!.


1
Yang mengganggu saya adalah bahwa adalah sinyal daya terbatas , bukan sinyal energi terbatas , yang kita dapatkan ketika kita menambahkan dua sinyal energi tak terbatas ini bersama-sama. f[n]
robert bristow-johnson

juga, bukankah ?
DTFT{x[n]=1}=2πk=+δ(ω2kπ)
robert bristow-johnson

Terima kasih kawan atas tanggapan Anda! Aku sudah upvoted semua dari mereka, dan masing-masing hasil dalam diskusi yang bagus di tidak begitu aspek DTFT sinyal aneh terkenal (yaitu, orang-orang yang tidak dalam atau 2 ). Saya hanya dapat menerima satu, dan saya akan menunggu sedikit lebih lama untuk jawaban baru atau perubahan pada jawaban yang ada. Saya juga akan menambahkan jawaban saya sendiri nanti. 12
Matt L.

1
Matt, jelas bukan energi yang terbatas. jumlah sampel tak terbatas yang persegi menjadi 1f[n] jangan tambahkan menjadi angka yang terbatas. 14
robert bristow-johnson

1
@ robertbristow-johnson: Apa yang Anda anggap mengganggu tentang itu? Jika sinyal membatalkan satu sama lain di mana pun kecuali untuk sejumlah titik, maka itulah yang kita dapatkan.
Matt L.

Jawaban:


6

Ada banyak sekali sinyal yang membuat persamaan ini berlaku:

y[n]y[n1]=δ[n](1)
Satu-satunya hal yang penting adalah bahway[0]y[1]=1 , dan kemudian seluruh koefisieny dapat ditentukan di bawah batasan yang Persamaan. (1) menyatakan (yaitu substraksi sampel berurutan harus0 untukn0 ). Dengan kata lain, Persamaan. (1) akan dicapai oleh sinyal apa puny[n] sedemikian rupa sehingga
y[0]=y[1]+1y[n]=y[n1] n0
Cara lain untuk melihat ini adalah bahwa setiap fungsi yang pada dasarnya adalahu[n] dengan offset (nilai tambah konstan) akan memenuhi(1) . Ini menjelaskan pernyataan yang dibuat olehrobert bristow-johnson dalam jawabannya: pembeda menghancurkan informasi ini (seperti mengambil turunan dalam waktu yang terus menerus menghancurkan bukti dari setiap nilai konstan dalam fungsi asli).

Singkatnya, saya percaya bahwa buktinya cacat karena prosedur yang diikuti dapat menggunakan fungsi apa pun dari bentuk u[n]+C dengan CR , dan ini akan menyebabkan banyak fungsi memiliki transformasi Fourier yang sama, yang memang salah sebagai transformasi Fourier adalah sebuah penipisan. Mungkin penulis sengaja memutuskan untuk mengabaikan apa pun yang berkaitan dengan nilai DC, sadar bahwa untuk menunjukkan bahwa F(ω) adalah DTFT dari f[n]dia akan membutuhkan properti akumulasi (yang bukti paling populer berasal dari DTFT unit step - ergo, bukti bundar yang cantik). Buktinya tidak sepenuhnya salah , karena semua yang dinyatakannya (rumus untuk F(ω) dan U(ω) , dekomposisi langkah unit, persamaan perbedaan) adalah benar, tetapi akan memerlukan properti akumulasi untuk menunjukkan mengapa F(ω) tidak memiliki Dirac delta.


Anda benar-benar di jalur yang benar! Apakah Anda memiliki ide bagaimana kelemahan ini dapat diatasi, yaitu, bagaimana melakukannya dengan benar?
Matt L.

@MattL. Mengatur kondisi awal untuk akan melakukan trik dan menentukan sinyal secara univocally. Kondisi awal itu akan menentukan nilai DC dari sinyal y [ n ] , yang muncul dalam DTFT sebagai konstanta yang mengalikan impuls Dirac (sesuai dengan properti akumulasi). Saya pikir dalam bukti yang diberikan, ini bekerja karena sinyal f [ n ] tidak memiliki nilai DC karena simetris di sekitar 0 , dan DTFT benar dalam kasus itu. Tetapi fakta bahwa sinyal tidak memiliki DC harus dinyatakan, karena itu mendasar, saya percaya. y[n]y[n]f[n]0
Tendero

Ada banyak jawaban bagus dan sulit untuk memilih mana yang akan diterima. Tapi yang ini paling dihargai oleh masyarakat, dan juga saya pikir itu paling jelas menunjukkan kesalahan dalam derivasi. Terima kasih semua!
Matt L.

4

Saya kewalahan dengan jumlah tanggapan yang saya dapatkan (10 jawaban sejauh ini!). Tentu saja, mereka semua mendapat dukungan saya. Ini menyenangkan, terima kasih teman-teman atas pemikiran, komentar, dll. Saya tahu bahwa sekarang sebagian besar dari Anda tahu apa kekurangannya, setidaknya yang saya maksudkan. Orang mengekspresikan berbagai hal secara berbeda, dan selalu ada ruang untuk kesalahpahaman, jadi saya akan mencoba merumuskan dengan jelas apa yang saya pikir merupakan cacat paling penting dalam derivasi itu. Saya menyadari fakta bahwa tidak semua orang akan setuju dan itu baik-baik saja. Saya senang bisa mendiskusikan topik DSP esoteris semacam ini dengan pikiran yang tajam seperti kalian semua! Kita mulai.

Klaim pertama saya adalah bahwa setiap persamaan dalam pertanyaan saya benar. Namun, derivasi dan motivasi beberapa dari mereka benar-benar salah dan menyesatkan, dan bahwa "derivasi" hanya dapat ada karena penulis tahu seperti apa hasilnya seharusnya.

Eq. (3) dalam pertanyaan ( ) benar untuk urutan yang diberikan f [ n ] (Persamaan ( 2 ) dalam pertanyaan), tetapi jelas juga benar untuk semua urutan bentuk f [ n ] = u [ n ] + c dengan konstanta acak c . Jadi, sesuai dengan derivasi, yang dihasilkan DTFT F (f[n]f[n1]=δ[n]f[n](2)

(1)f[n]=u[n]+c
c harus menjadi DTFT dari semua urutan bentuk ( 1 ) , terlepas dari nilai konstanta c . Itu tentu saja tidak masuk akal karena DTFT unik. Secara khusus, menggunakan "bukti" yang sangat "saya bisa" menunjukkan "bahwa F ( ω ) seperti yang diberikan dalam Persamaan. ( 5 ) dari pertanyaan saya (atau Persamaan ( 3 ) di bawah) sebenarnya adalah DTFT dari u [ n ] yang kami cari. Jadi mengapa repot-repot berpisah u [ n ] seperti dalam Persamaan. ( 1 ) dari pertanyaan?F(ω)(1)cF(ω)(5)(3)u[n]u[n](1)

Namun, memang benar bahwa DTFTs dari semua urutan memenuhi Persamaan. ( 4 ) dalam pertanyaan (diulangi di sini untuk kenyamanan): F ( ω ) ( 1 - e - j ω ) = 1 Tetapi sekarang muncul cacat matematika yang sebenarnya: Dari Persamaan. ( 2 ) salah untuk menyimpulkan F ( ω ) = 1(1)(4)

(2)F(ω)(1ejω)=1
(2) Persamaan. (3)hanya satu dari banyak kemungkinan solusi yang tak terhingga dari(2), dan kebetulan merupakan yang dibutuhkan oleh penulis untuk sampai pada hasil akhir yang benar. Eq. (3)adalah DTFT darif[n]dalam(1)denganc=-1
(3)F(ω)=11ejω
(3)(2)(3)f[n](1) , tetapi dari derivasi yang diberikan tidak ada cara untuk mengetahui hal itu.c=12

Jadi bagaimana kita bisa menghindari bahwa matematika kesalahan dan penggunaan untuk memperoleh DTFTs dari sebuah l l urutan ( 1 ) , dengan konstan c ? Kesimpulan yang benar dari ( 2 ) adalah F ( ω ) = 1(2)all(1)c(2)dengan beberapa konstantaα yangbelum ditentukan. Memasukkan(4)ke sisi kiri(2)menghasilkan1+α(1-e-jω)δ(ω)=1+α(1-e-jω)| ω=0

(4)F(ω)=11ejω+αδ(ω)
α(4)(2) Jadi semua fungsi F ( ω ) yang diberikan oleh ( 4 ) memenuhi ( 2 ) , sesuai kebutuhan.
1+α(1ejω)δ(ω)=1+α(1ejω)|ω=0δ(ω)=1+0δ(ω)=1
F(ω)(4)(2)

Konstanta dalam ( 4 ) dapat ditentukan dari nilai f [ n ] pada n = 0 : f [ 0 ] = 1 + c = 1α(4)f[n]n=0 Dapat ditunjukkan, dan jugaWolframAlpha setuju, bahwa nilai pokok Cauchy dari integral dalam(6)adalahPV π - π dω

(6)f[0]=1+c=12πππF(ω)dω=12πππdω1ejω+α2π
(6)Dari(6)dan(7)didapatkanα=π(1+2c)Jadi untukc=-1
(7)PVππdω1ejω=π
(6)(7)
(8)α=π(1+2c)
kita mendapatkanα=0(yang sesuai dengan urutan aslif[n]seperti yang digunakan oleh penulis buktinya), dan untukc=0(yaitu, untukf[n]=u[n]) kita memilikiα=π, yang akhirnya memberi kita DTFT yang diinginkanu[n]: U ( ω ) = 1c=12α=0f[n]c=0f[n]=u[n]α=πu[n]
(9)U(ω)=11ejω+πδ(ω)


F(ω)F(ω)

(4)(2)ω=0ω=0(1ejω)(1ejω)

Saya tidak benar-benar yakin bahwa tidak ada fungsi selain impuls Dirac delta (dan turunannya) yang memiliki properti ini. Tapi tidak apa-apa, jawaban Anda ditulis dengan baik. Saya merasa senang. Terima kasih.
AlexTP

2

Cacat mengikuti kata "Jelas", jika itu seharusnya menjadi Fungsi Delta Dirac.

Ini adalah konsep jawaban untuk pertanyaan Anda yang lain yang tidak pernah saya posting:

-------------------------------------------------- -------------

Saya tidak berpikir bukti itu mungkin. Ini mungkin merupakan kasus "definisi fungsional" yang memiliki sifat yang diinginkan.

X2π(ω)=n=+x[n]ejωn
U=n=0+ejωn
U=limNn=0N1ejωn
U=limN[1ejωN1ejω]
U=11ejωlimN[ejωN1ejω]
ω=0πω0

Membuktikan definisi berfungsi dengan cara yang diinginkan adalah masalah yang berbeda.

Bukti halaman 138 salah (setidaknya) karena:

δ(t)=lima012a[u(t+a)u(ta)]=dudt
δ(n)=u2(n)u2(n1)

Situasi yang menarik, saya harap ini membantu. Saya menantikan apa yang Anda katakan.

Ced


δ[n]n=01

U=11ejωlimN[ejωN1ejω]

2

1=2

F(ω)(1ejω)=1
ω=2kπ for kZ

3
u[n]u[n]12

w2πk

δ[n] ωω=2kπ

δ[n]1ejwF(w)

f[n]f[n1]=δ[n]
u[n]

2

limNn=Nn=Nf[n]ejωn(1ejωn)+(ejωNf[N]+ejωNf[N])ejω=1
f[n]=u[n]
limNn=Nn=Nf[n]ejωn(1ejωn)+ejωNejω=1

F(ω)ω2kπk

F(ω)ω=2kπn=1sin(ωn)ωω=2kπU(ω)

F(ω)

u[n]

1
u[n]f[n]u[n]u[n1]=δ[n]

2

Saya pikir saya telah menemukan cara terbaik untuk mengekspresikan kesalahan dalam bukti ini. Jadi saya akan menikamnya lagi.

12x

U(ω)=11ejω+2πxδ(ω)

x12

Selanjutnya, jika Anda mengambil langkah yang saya lakukan dalam jawaban terakhir saya dan menemukan (4) dinyatakan sebagai

F(ω)(1ejω)=1+2πx(1ejω)δ(ω)

Diikuti dengan memasukkannya dalam (5) dan (6) Anda dapatkan:

U(ω)=11ejω+4πxδ(ω)

Yang, seperti yang saya tunjukkan sebelumnya, tidak konsisten dengan definisi untuk sampai ke sana.

x=12πδ(ω)

x=12

Ced


1

Ini sebagai tanggapan atas komentar dalam jawaban pertama saya. Karena penyelubungan spoiler saya mempostingnya sebagai jawaban terpisah.

Saya akan memposting jawaban saya yang lain untuk pertanyaan lain, tetapi saya tidak melakukannya karena kurangnya pengalaman di bidang ini. Saya mempostingnya kemarin, menghapusnya, lalu membatalkan penghapusan, lalu menemukan cara menggunakan tag spoiler.

δδδp

δp[n]=f[n]f[n1]=u[n]u[n1]

Mengambil DTFT dari bagian kiri dan kanan. Saya tidak yakin saya memiliki notasi yang benar, tetapi matematika harus jelas. Menggunakan definisi yang sedang dibuktikan.

Fp(ω)=Fu(ω)Fu(ω)ejω

Fp(ω)=[11ejω+πδ(ω)][ejω1ejω+(πejω)δ(ω)]

Fp(ω)=1ejω1ejω+π(1ejω)δ(ω)

Fp(ω)=1+π(1ejω)δ(ω)1

ω=2kπω=2kπ

Ced

==============================

Mengikuti:

δp


Fp(ω)=1(1ejω)δ(ω)f(ω)ω=0f(ω)δ(ω)=f(0)δ(ω)f(0)=0

1

(a[n]b[n])cω[n]=a[n]cω[n]b[n]cω[n]
12f[n]f[n1]

1

jadi Matt,

f[n]

f[n]{ 12eαnn012eαnn<0

α>0

sekarang kita memiliki sinyal energi yang terbatas dan DTFTs semuanya harus sebanding.

f[n]f[n1]={12(eαneα(n1))n>012(1+eα)n=012(eαneα(n1))n<0={12(1eα)eαnn>012(1+eα)n=012(eα1)eαnn<0

α0

tapi, sayangnya, hampir jam 2 pagi dan aku tidak akan menghadapinya sekarang.


αα0
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.