Sinyaller ve Sistemler · Fourier dönüşümünde yakınsama ve örnekler
#28 İntegral tanımları, impuls çiftleri ve dikdörtgen darbenin dönüşümü
Yakınsama tanımını belirtin; impuls çiftlerinin faz işaretlerini koruyun ve dikdörtgen darbenin sinc dönüşümünü sıfır frekanstaki değeriyle türetin.
Soru

Açısal frekans omega zaman birimi başına radyan cinsindedir; t ve omega gerçel, j sanal birimdir. İleri dönüşüm çekirdeği exp(-j*omega*t), ters dönüşüm çekirdeği pozitif üslü ve normalizasyonu 1/(2*pi) olsun. Olağan ölçülebilir karmaşık sinyaller için bu derste klasik ileri Fourier dönüşümünü sonlu karmaşık Lebesgue integrali olarak açıkça tanımlayın. Bu anlamda integrallenebilirlik, integrandın L1 olmasına eşdeğerdir. Çekirdeğin mutlak değeri bir olduğundan |x(t)*exp(-j*omega*t)| integrali |x(t)| integraline eşittir. Dolayısıyla L1 koşulu bu tanım altında gerekli ve yeterlidir. Üçgen eşitsizliği tek başına yalnız yeterliliği ve |X(omega)| <= ||x||_1 sınırını verir; eşitsizlik ters çevrilerek her türlü uygunsuz integral için gereklilik çıkarılamaz. L1 olmamak, koşullu yakınsayan olağan bir uygunsuz Fourier integralini, L2 uzantısını, sonlu ölçü dönüşümünü veya ılımlı dağılım dönüşümünü dışlamaz. Örneğin x(t)=exp(j*t^2) mutlak değeri bir olduğu için L1 değildir; yine de iki ayrı uygunsuz Fourier kuyruğu yakınsar. Kare tamamlama sqrt(pi)*exp(j*pi/4)*exp(-j*omega^2/4) sonucunu verir. A pozitif ve B en az A iken exp(j*u^2) fonksiyonunun A ile B arasındaki integraline kısmi integrasyon uygulanması 1/A kuyruk sınırını ve Cauchy yakınsamasını sağlar. Bu koşullu dönüşüm sonlu Lebesgue integrali değildir. Her L1 dışı sinyalin dönüşümünü yok saymayın veya mutlaka dağılım gerektirdiğini söylemeyin. Olağan ters dönüşümde hem x hem X için L1 koşulu, sürekli temsilcinin hemen her yerde ve süreklilik noktalarında geri kazanılması için yeterlidir. Yalnız ileri yönde L1 olmak ters integralin mutlak yakınsamasını sağlamaz. Dikdörtgen örneğinin spektrumu 1/omega kuyruğuna sahiptir; ters dönüşüm simetrik uygunsuz integral olarak yorumlanabilir ve sıçrama noktalarında yarım değer verir. Delta örnekleri olağan L1 fonksiyonları değil noktasal ölçü veya dağılımlardır; ters dönüşümleri dağılımsal anlamdadır. A gerçel ve t0 pozitif olsun. A*delta(t-t0) dönüşümü A*exp(-j*omega*t0) olur. İki pozitif birim ağırlıklı delta(t+t0)+delta(t-t0) çifti 2*cos(omega*t0) verir. Pozitif zamanda pozitif, negatif zamanda negatif ağırlıklı tek çift ise exp(-j*omega*t0)-exp(j*omega*t0)=-2*j*sin(omega*t0) verir; eksi işaretini koruyun. Ağırlıkları ters çevirmek dönüşüm işaretini ters çevirir. Birim yükseklikli dikdörtgen darbe |t|<T aralığında bir, |t|>T dışında sıfırdır; T pozitiftir. Uç nokta değerleri ileri integralde ölçüsü sıfır bir kümede kaldığı için sonucu değiştirmez. Dönüşüm, -T ile T arasında exp(-j*omega*t) integralidir. Sıfır olmayan omega için [exp(-j*omega*T)-exp(j*omega*T)]/(-j*omega)=2*sin(omega*T)/omega bulunur. Omega sıfırken doğrudan integral 2*T verir. Normalize sinc işlevini sıfır olmayan z için q(z)=sin(pi*z)/(pi*z), sıfırda q(0)=1 olarak tanımlayın. Böylece bütün gerçel omega değerlerinde X(omega)=2*T*q(omega*T/pi) olur. Kaynaktaki sinc bu normalize tanımı kullanır. Dönüşüm gerçel ve çifttir; mutlak değeri 2*T ile sınırlıdır ve sıfırları, k sıfır olmayan tamsayı olmak üzere omega=k*pi/T noktalarındadır. Yakınsama ve özet kartlarının klasik terimi yukarıdaki sonlu Lebesgue tanımıyla okunmalıdır.
Yazılı çözüm ve anlatım dökümü(çözümün tamamını gösterir)
Aşağıda defterde yazılan bütün satırlar ve bunlara eşlik eden sesli anlatımın tam metni bulunur.
1. Dönüşüm ve ters dönüşüm tanımları

Aynı kaynak videodan Fourier referansı. Klasik yakınsama burada sonlu Lebesgue integraliyle tanımlanır; impulslar genelleştirilmiş anlamda ele alınır, dikdörtgen darbenin formülü sıfırda sürekli değeriyle kullanılır. Olağan ileri dönüşüm için ölçülebilir sinyalin sonlu Lebesgue integralini kullanın:Uygun ters dönüşüm koşulları sağlandığında üs işareti değişir ve normalizasyon eklenir:Mutlak integrallenebilirlik ileri integrali garanti eder; ters spektrumun da mutlak integrallenebilir olmasını tek başına garanti etmez.Koşullu uygunsuz integraller ve genelleştirilmiş dönüşümler farklı varlık tanımları kullanır; bu tanımlar açıkça belirtilmelidir.Kaydırılmış impulsları, impuls çiftlerini ve sonlu dikdörtgen darbeyi incelerken bu tanımları ayıracağız.Sesli anlatım metni
Önceki videoda, periyodik genişletmenin periyodunu sonsuza götürerek Fourier Dönüşümü'nü ve tersini türettik. Şimdi iki güçlü formülümüz var: büyük X omega, x t çarpı e üzeri eksi j omega t'nin integrali; ve x t, bir bölü iki pi çarpı büyük X omega çarpı e üzeri artı j omega t'nin integrali. Ama bu integral her zaman yakınsar mı? Ve belirli sinyaller için Fourier Dönüşümü nasıl görünür? Bu videoda, önce yakınsama koşulunu belirleyeceğiz, sonra ilk Fourier Dönüşümü örneklerimizi hesaplayacağız: impuls fonksiyonları, impuls çiftleri ve dikdörtgen darbe.
2. Mutlak integral sınırı

Aynı kaynak videodan Fourier referansı. Klasik yakınsama burada sonlu Lebesgue integraliyle tanımlanır; impulslar genelleştirilmiş anlamda ele alınır, dikdörtgen darbenin formülü sıfırda sürekli değeriyle kullanılır. Ölçülebilir sinyalin mutlak integral büyüklüğünü tanımlayın; sonlu Lebesgue tanımı bu büyüklüğün sonlu olmasını gerektirir:Üçgen eşitsizliği yeterli bir üst sınır sağlar:Birim büyüklük özelliği, gerçel açı, zaman ve açısal frekansla kurulan salt sanal üs için geçerlidir.Gerçel açı için Euler özdeşliği şöyledir:Trigonometrik bileşenlerin kareleri birim büyüklük verir:Salınımlı çarpan mutlak integral büyüklüğünü değiştirmez:Mutlak integral büyüklüğünün sonlu olması, mutlak integrallenebilirlik veya L1 üyeliği demektir.Her L1 sinyalin her gerçel frekansta sonlu ileri dönüşümü vardır. Buradaki gereklilik üçgen eşitsizliğini ters çevirmekten değil, sonlu Lebesgue tanımından gelir.L1 dışında sonlu Lebesgue dönüşümü bulunmaz; ancak koşullu yakınsayan olağan bir uygunsuz dönüşüm yine de bulunabilir.Genelleştirilmiş dönüşümler impuls, kosinüs ve basamak sinyalleri için başka bir uzantı sağlar; Dirac impulsunu olağan bir L1 fonksiyonuna dönüştürmez.Sesli anlatım metni
Fourier Dönüşümü integralinin sonlu bir değere sahip olması için şuna ihtiyacımız var: eksi sonsuzdan artı sonsuza integral, x t çarpı e üzeri eksi j omega t dt'nin mutlak değeri sonsudan küçük olmalıdır. Üçgen eşitsizliğini kullanarak, bu değer x t'nin mutlak değeri çarpı e üzeri eksi j omega t'nin mutlak değerinin integralinden küçük veya eşittir. Şimdi önemli bir gerçek. Karmaşık üstelin büyüklüğü her zaman birdir. e üzeri j teta, kosinüs teta artı j sinüs teta'ya eşit olduğundan, büyüklüğü kosinüs kare teta artı sinüs kare teta'nın kareköküdür, yani bire eşittir. Dolayısıyla e üzeri eksi j omega t'nin mutlak değeri bire eşittir ve koşulumuz şuna sadeleşir: eksi sonsuzdan artı sonsuza x t'nin mutlak değerinin integrali sonlu olmalıdır. Buna mutlak integrallenebilirlik denir. Bir sinyal mutlak integrallenebilir ise, Fourier Dönüşümü vardır. Değilse, dönüşüm klasik anlamda yakınsamayabilir. Ancak delta fonksiyonları kullanan genelleştirilmiş Fourier Dönüşümleri, bunu kosinüs ve basamak fonksiyonları gibi sinyallere genişletebilir.
3. İmpuls örnekleri

Aynı kaynak videodan Fourier referansı. Klasik yakınsama burada sonlu Lebesgue integraliyle tanımlanır; impulslar genelleştirilmiş anlamda ele alınır, dikdörtgen darbenin formülü sıfırda sürekli değeriyle kullanılır. İmpulsları noktasal ölçü veya dağılım olarak yorumlayın; kaydırma ve genlik gerçel, ayrı impuls çiftleri için kaydırma büyüklüğü pozitif olsun.İlk sinyal A ağırlıklı kaydırılmış impulstur:Eleme özelliği Fourier çekirdeğini impuls konumunda değerlendirir:Faz frekansla değişirken büyüklük impuls ağırlığının mutlak değeridir:İki pozitif birim ağırlıkla simetrik çifti tanımlayın:Simetrik çift gerçel ve çifttir; negatif zamandaki impuls pozitif üslü çekirdeği katkı olarak verir.Doğrusallık iki çekirdek değerinin toplamını verir:Euler özdeşliği toplamı gerçel ve çift bir spektruma indirger:Antisimetrik çiftin pozitif zamandaki ağırlığı pozitif, negatif zamandaki ağırlığı negatiftir:Bu çift gerçel ve tektir; hangi impulsun çıkarıldığı dönüşümün işaretini belirler.Dönüşümü salt sanal ve tektir:Simetrik çift kosinüs spektrumu verir; antisimetrik ağırlıkları ters çevirmek sanal sinüs spektrumunun işaretini değiştirir.Sesli anlatım metni
İlk örneklerimizi hesaplayalım. Örnek bir: tek bir impulsun Fourier Dönüşümü'nü bulun: x t eşittir A çarpı delta t eksi t sıfır. Ef Di integralini uygulayarak ve delta fonksiyonunun eleme özelliğini kullanarak: büyük X omega, A çarpı delta t eksi t sıfır, çarpı e üzeri eksi j omega t'nin integraline eşittir, bu da A çarpı e üzeri eksi j omega t sıfır'a eşittir. Yani kaydırılmış bir impuls, frekans alanında karmaşık bir üstele eşlenir. Örnek iki: x t eşittir delta t artı t sıfır, artı delta t eksi t sıfır için büyük X omega'yı bulun. Bu simetrik bir impuls çiftidir. Doğrusallığı kullanarak: büyük X omega, e üzeri artı j omega t sıfır, artı e üzeri eksi j omega t sıfır'a eşittir. Euler formülüne göre, bu iki kosinüs omega t sıfır'a eşittir. Örnek üç: x t eşittir delta t eksi t sıfır, eksi delta t artı t sıfır. Bu anti-simetrik bir çifttir. Dönüşüm şunu verir: büyük X omega, e üzeri eksi j omega t sıfır, eksi e üzeri artı j omega t sıfır'a eşittir, bu da eksi iki j sinüs omega t sıfır'a eşittir. Dikkat edin: simetrik impuls çiftleri reel kosinüs spektrumu verir, anti-simetrik çiftler ise tamamen sanal sinüs spektrumu verir.
4. Dikdörtgen darbe ve normalize sinc

Aynı kaynak videodan Fourier referansı. Klasik yakınsama burada sonlu Lebesgue integraliyle tanımlanır; impulslar genelleştirilmiş anlamda ele alınır, dikdörtgen darbenin formülü sıfırda sürekli değeriyle kullanılır. Yarı genişlik T pozitif, açısal frekans gerçel olsun. Darbenin toplam genişliği T değerinin iki katıdır.Dikdörtgen darbe eksi T ile artı T arasında bir, dışarıda sıfırdır; uç nokta değerleri ileri integrali etkilemez.Yalnız sonlu destek aralığı katkı verir:Sıfır olmayan açısal frekans için çekirdeğin bir ilkel fonksiyonu şöyledir:Üst uç değerinden alt uç değerini çıkarın:Her iki işareti ters çevirerek eşdeğer ifadeyi elde edin:Euler özdeşliği payı verir:Sıfır olmayan açısal frekans için sanal birimi sadeleştirin:Normalize sinc işlevini q ile gösterin; sıfırda değerini sürekli uzantıyla bir olarak alın:Sıfır frekansta doğrudan integral darbe alanını verir ve görünür tekilliği kaldırır:Sesli anlatım metni
Şimdi sinyal işlemedeki en önemli Fourier Dönüşümü çiftlerinden birini hesaplayalım. x t, eksi büyük T'den artı büyük T'ye uzanan, genliği bir olan dikdörtgen bir darbe olsun. Ef Di tanımını uygulayarak: büyük X omega, eksi T'den T'ye kadar bir çarpı e üzeri eksi j omega t dt'nin integraline eşittir. Üsteli integre ederek: bu, e üzeri eksi j omega t bölü eksi j omega'ya eşittir, eksi T'den T'ye değerlendirilmiş. Sınırları yerine koyarak: bir bölü eksi j omega çarpı e üzeri eksi j omega T eksi e üzeri artı j omega T. Düzenleyerek: bir bölü j omega çarpı e üzeri j omega T eksi e üzeri eksi j omega T. Pay, Euler formülüne göre tam olarak iki j sinüs omega T'dir. Dolayısıyla büyük X omega, iki j sinüs omega T bölü j omega'ya eşittir, bu da iki sinüs omega T bölü omega'ya sadeleşir. Bu aynı zamanda iki T çarpı sink omega T bölü pi olarak da yazılabilir. Bu dikdörtgen darbeden sink fonksiyonuna ilişki temeldir ve sinyal işleme, iletişim ve örnekleme teorisinde her yerde karşınıza çıkar.
5. Özet

Aynı kaynak videodan Fourier referansı. Klasik yakınsama burada sonlu Lebesgue integraliyle tanımlanır; impulslar genelleştirilmiş anlamda ele alınır, dikdörtgen darbenin formülü sıfırda sürekli değeriyle kullanılır. Sonlu Lebesgue integrali, koşullu uygunsuz yakınsama ve genelleştirilmiş dönüşümleri ayırın.Belirtilen sonlu Lebesgue tanımında olağan sinyalin mutlak integrallenebilir olması gerekir; bu gereklilik diğer bütün dönüşüm tanımlarına genellenemez.İmpuls örnekleri genelleştirilmiş veya noktasal ölçü yorumunu kullanır; dikdörtgen darbe ise olağan bir L1 sinyalidir.Kaydırılmış impuls şu dönüşümü verir:Simetrik birim impuls çifti şu sonucu verir:Dikdörtgen darbe her gerçel frekansta normalize sinc ifadesini verir:Bir dönüşüm çiftini kullanmadan önce üs işaretlerini, impuls ağırlıklarını, darbe genişliğini ve sıfır frekans limitini kontrol edin.Sonraki konu Fourier serisini Fourier dönüşümüyle ilişkilendirir ve başka dönüşüm çiftlerini geliştirir.Sesli anlatım metni
Öğrendiklerimizi özetleyelim. Birincisi, yakınsama koşulu: bir sinyalin Fourier Dönüşümü'nün klasik anlamda var olması için mutlak integrallenebilir olması gerekir. İkincisi, üç temel Ef Di çifti hesapladık. Kaydırılmış impuls A delta t eksi t sıfır, A e üzeri eksi j omega t sıfır'a dönüşür. Simetrik impuls çifti, iki kosinüs omega t sıfır'a dönüşür. Ve eksi T'den T'ye kadar dikdörtgen darbe, iki bölü omega çarpı sinüs omega T'ye dönüşür. Bunlar ileride yoğun olarak kullanacağımız yapı taşlarıdır. Bir sonraki videoda, Fourier Serisi ile Fourier Dönüşümü arasındaki ilişkiyi keşfedecek ve kapsamlı bir dönüşüm çiftleri tablosu oluşturacağız.
Kaynak video: Sinyaller ve Sistemler #28 | FD Yakınsama ve Temel Dönüşüm Örnekleri (5:49)