WikiDer > Konvolyutsiya teoremasi - Vikipediya

Yilda matematika, konvulsiya teoremasi tegishli sharoitlarda Furye konvertatsiyasi a konversiya ikkitadan signallari bo'ladi yo'naltirilgan mahsulot ularning Fourier konvertatsiyalari. Boshqacha qilib aytganda, bitta domendagi konvulsiya (masalan, vaqt domeni) boshqa domendagi nuqta bo'yicha ko'paytirishga teng (masalan, chastota domeni). Konvolyutsiya teoremasining versiyalari har xil uchun to'g'ri keladi Furye bilan bog'liq o'zgarishlar. Ruxsat bering ${ displaystyle f}$ va ${ displaystyle g}$ ikki bo'ling funktsiyalari bilan konversiya ${ displaystyle f * g}$. (E'tibor bering yulduzcha standart ko'paytma emas, balki ushbu kontekstda konvulsiyani bildiradi. The tensor mahsuloti belgi ${ displaystyle otimes}$ ba'zan uning o'rniga ishlatiladi.)

Agar ${ displaystyle { mathcal {F}}}$ Fourier konvertatsiyasini bildiradi operator, keyin ${ displaystyle { mathcal {F}} {f }}$ va ${ displaystyle { mathcal {F}} {g }}$ ning Fourier konvertatsiyasi ${ displaystyle f}$ va ${ displaystyle g}$navbati bilan. Keyin

${ displaystyle { mathcal {F}} {f * g } = { mathcal {F}} {f } cdot { mathcal {F}} {g }}$^[1]

qayerda ${ displaystyle cdot}$ nuqta bo'yicha ko'paytirishni anglatadi. Bundan tashqari, aksincha ishlaydi:

${ displaystyle { mathcal {F}} {f cdot g } = { mathcal {F}} {f } * { mathcal {F}} {g }}$

Teskari Furye konvertatsiyasini qo'llash orqali ${ displaystyle { mathcal {F}} ^ {- 1}}$, biz yozishimiz mumkin:

${ displaystyle f * g = { mathcal {F}} ^ {- 1} { big {} { mathcal {F}} {f } cdot { mathcal {F}} {g } { big }}}$

va:

${ displaystyle f cdot g = { mathcal {F}} ^ {- 1} { big {} { mathcal {F}} {f } * { mathcal {F}} {g } { big }}}$

Yuqoridagi munosabatlar faqat ko'rsatilgan Furye konvertatsiyasi shakli uchun amal qiladi Isbot quyidagi bo'lim. Transformatsiya boshqa yo'llar bilan normallashtirilishi mumkin, bu holda doimiy miqyosli omillar (odatda ${ displaystyle 2 pi}$ yoki ${ displaystyle { sqrt {2 pi}}}$) yuqoridagi munosabatlarda paydo bo'ladi.

Ushbu teorema ham uchun amal qiladi Laplasning o'zgarishi, ikki tomonlama Laplas konvertatsiyasi va mos ravishda o'zgartirilganda, uchun Mellin o'zgarishi va Xartli o'zgarishi (qarang Mellinning inversiya teoremasi). U ning Fourier konvertatsiyasiga kengaytirilishi mumkin mavhum harmonik tahlil aniqlangan mahalliy ixcham abeliya guruhlari.

Ushbu formulalar, ayniqsa, a bo'yicha konvulsiyani amalga oshirish uchun foydalidir kompyuter: Oddiy konvolish algoritmi mavjud kvadratik hisoblash murakkabligi. Konvolyutsiya teoremasi yordamida va tez Fourier konvertatsiyasi, konvolyutsiyaning murakkabligini kamaytirish mumkin ${ displaystyle O chap (n ^ {2} o'ng)}$ ga ${ displaystyle O chap (n log n o'ng)}$, foydalanib katta O yozuvlari. Bu tez qurish uchun foydalanish mumkin ko'paytirish algoritmlari, kabi Ko'paytirish algoritmi § Furye konvertatsiya qilish usullari.

Isbot

Bu erda dalil ma'lum bir narsada ko'rsatilgan normalizatsiya Fourier konvertatsiyasi. Yuqorida ta'kidlab o'tilganidek, agar konvertatsiya boshqacha normallashtirilgan bo'lsa, unda doimiy bo'ladi o'lchov omillari hosilada paydo bo'ladi.

Ruxsat bering ${ displaystyle f, g}$ ga tegishli L^p- bo'shliq ${ displaystyle L ^ {1} ( mathbb {R} ^ {n})}$. Ruxsat bering ${ displaystyle F}$ ning Fourier konvertatsiyasi bo'ling ${ displaystyle f}$ va ${ displaystyle G}$ ning Fourier konvertatsiyasi bo'ling ${ displaystyle g}$:

${ displaystyle { begin {aligned} F ( nu) & = { mathcal {F}} {f } ( nu) = int _ { mathbb {R} ^ {n}} f (x ) e ^ {- 2 pi ix cdot nu} , dx, G ( nu) & = { mathcal {F}} {g } ( nu) = int _ { mathbb {R} ^ {n}} g (x) e ^ {- 2 pi ix cdot nu} , dx, end {hizalanmış}}}$

qaerda nuqta o'rtasida ${ displaystyle x}$ va ${ displaystyle nu}$ ni bildiradi ichki mahsulot ning ${ displaystyle mathbb {R} ^ {n}}$. Ruxsat bering ${ displaystyle h}$ bo'lishi konversiya ning ${ displaystyle f}$ va ${ displaystyle g}$

${ displaystyle h (z) = int _ { mathbb {R} ^ {n}} f (x) g (z-x) , dx.}$

Shuningdek

${ displaystyle iint | f (x) g (zx) | , dz , dx = int left (| f (x) | int | g (zx) | , dz right) , dx = int | f (x) | , | g | _ {1} , dx = | f | _ {1} | g | _ {1}.}$

Shuning uchun Fubini teoremasi bizda shunday ${ displaystyle h in L ^ {1} ( mathbb {R} ^ {n})}$ shuning uchun uning Fourier konvertatsiyasi ${ displaystyle H}$ integral formula bilan aniqlanadi

${ displaystyle { begin {aligned} H ( nu) = { mathcal {F}} {h } & = int _ { mathbb {R} ^ {n}} h (z) e ^ { -2 pi iz cdot nu} , dz & = int _ { mathbb {R} ^ {n}} int _ { mathbb {R} ^ {n}} f (x) g (zx) , dx , e ^ {- 2 pi iz cdot nu} , dz. end {hizalanmış}}}$

Yozib oling ${ displaystyle | f (x) g (z-x) e ^ {- 2 pi iz cdot nu} | = | f (x) g (z-x) |}$ va shuning uchun yuqoridagi dalillarga ko'ra biz yana Fubini teoremasini qo'llashimiz mumkin (ya'ni integratsiya tartibini almashtirish):

${ displaystyle H ( nu) = int _ { mathbb {R} ^ {n}} f (x) left ( int _ { mathbb {R} ^ {n}} g (zx) e ^ {-2 pi iz cdot nu} , dz right) , dx.}$

O'zgartirish ${ displaystyle y = z-x}$ hosil ${ displaystyle dy = dz}$. Shuning uchun

${ displaystyle H ( nu) = int _ { mathbb {R} ^ {n}} f (x) left ( int _ { mathbb {R} ^ {n}} g (y) e ^ {-2 pi i (y + x) cdot nu} , dy right) , dx}$

${ displaystyle = int _ { mathbb {R} ^ {n}} f (x) e ^ {- 2 pi ix cdot nu} left ( int _ { mathbb {R} ^ {n }} g (y) e ^ {- 2 pi iy cdot nu} , dy right) , dx}$

${ displaystyle = int _ { mathbb {R} ^ {n}} f (x) e ^ {- 2 pi ix cdot nu} , dx int _ { mathbb {R} ^ {n }} g (y) e ^ {- 2 pi iy cdot nu} , dy.}$

Ushbu ikkita integralning ta'riflari ${ displaystyle F ( nu)}$ va ${ displaystyle G ( nu)}$, shuning uchun:

${ displaystyle H ( nu) = F ( nu) cdot G ( nu),}$

QED.

Teskari Furye konvertatsiyasi uchun konversiya teoremasi

Xuddi shunday dalil ham yuqoridagi dalil sifatida teskari Furye konvertatsiyasi uchun konvulsiya teoremasiga nisbatan qo'llanilishi mumkin;

${ displaystyle { mathcal {F}} ^ {- 1} {f * g } = { mathcal {F}} ^ {- 1} {f } cdot { mathcal {F}} ^ {-1} {g }}$

${ displaystyle { mathcal {F}} ^ {- 1} {f cdot g } = { mathcal {F}} ^ {- 1} {f } * { mathcal {F}} ^ {-1} {g }}$

Shuning uchun; ... uchun; ... natijasida

${ displaystyle f * g = { mathcal {F}} { big {} { mathcal {F}} ^ {- 1} {f } cdot { mathcal {F}} ^ {- 1 } {g } { big }}}$

${ displaystyle f cdot g = { mathcal {F}} { big {} { mathcal {F}} ^ {- 1} {f } * { mathcal {F}} ^ {- 1 } {g } { big }}}$

Temperatsiyalangan taqsimot uchun konversiya teoremasi

Konvolyutsiya teoremasi kengayadi temperaturali taqsimotlar. Bu yerda, ${ displaystyle g}$ o'zboshimchalik bilan temperaturali taqsimot (masalan, Dirak tarağı)

${ displaystyle { mathcal {F}} {f * g } = { mathcal {F}} {f } cdot { mathcal {F}} {g }}$

${ displaystyle { mathcal {F}} { alpha cdot g } = { mathcal {F}} { alpha } * { mathcal {F}} {g }}$

lekin ${ displaystyle f = F { alpha }}$ tomon "tezlik bilan kamayib borishi" kerak ${ displaystyle - infty}$ va ${ displaystyle + infty}$ikkalasining mavjudligini kafolatlash uchun, konvolutsiya va ko'paytish mahsuloti.Ekvivalenti, agar ${ displaystyle alpha = F ^ {- 1} {f }}$ silliq "asta-sekin o'sib boruvchi" oddiy funktsiya bo'lib, u ko'payish va konvolyutsiya mahsulotining mavjudligini kafolatlaydi ..^[2][3][4]

Xususan, har bir ixcham qo'llab-quvvatlanadigan temperaturali taqsimot, masalan Dirak deltasi, "tez kamayib bormoqda". cheklangan funktsiyalar, doimiy funktsiya kabi ${ displaystyle 1}$"sekin o'sib boruvchi" oddiy funktsiyalar. Masalan, agar ${ displaystyle g equiv operator nomi {III}}$ bo'ladi Dirak tarağı ikkala tenglama ham hosil beradi Puissonni yig'ish formulasi va agar, bundan tashqari, ${ displaystyle f equiv delta}$ u holda Dirak deltasi ${ displaystyle alpha equiv 1}$ doimiy ravishda bitta bo'lib, bu tenglamalar Dirak taroqchining o'ziga xosligi.

Diskret o'zgaruvchan ketma-ketliklarning funktsiyalari

Shunga o'xshash konversiya diskret ketma-ketliklar uchun teorema ${ displaystyle x}$ va ${ displaystyle y}$ bu:

${ displaystyle scriptstyle { rm {DTFT}} displaystyle {x * y } = scriptstyle { rm {DTFT}} displaystyle {x } cdot scriptstyle { rm {DTFT} } displaystyle {y },}$^[5][a]

qayerda DTFT ifodalaydi diskret vaqtdagi Furye konvertatsiyasi.

Uchun teorema ham mavjud dumaloq va davriy konvolutsiyalar:

${ displaystyle x _ {_ {N}} * y triangleq sum _ {m = - infty} ^ { infty} x _ {_ {N}} [m] cdot y [nm] equiv sum _ {m = 0} ^ {N-1} x _ {_ {N}} [m] cdot y _ {_ {N}} [nm],}$

qayerda ${ displaystyle x _ {_ {N}}}$ va ${ displaystyle y _ {_ {N}}}$ bor davriy yig'ilishlar ketma-ketliklar ${ displaystyle x}$ va ${ displaystyle y}$:

${ displaystyle x _ {_ {N}} [n] triangleq sum _ {m = - infty} ^ { infty} x [n-mN]}$ va ${ displaystyle y _ {_ {N}} [n] triangleq sum _ {m = - infty} ^ { infty} y [n-mN].}$

Teorema:

${ displaystyle scriptstyle { rm {DFT}} displaystyle {x _ {_ {N}} * y } = scriptstyle { rm {DFT}} displaystyle {x _ {_ {N}} } cdot scriptstyle { rm {DFT}} displaystyle {y _ {_ {N}} },}$^[6][b]

qayerda DFT N uzunligini anglatadi Furye diskret konvertatsiyasi.

Va shuning uchun:

${ displaystyle x _ {_ {N}} * y = scriptstyle { rm {DFT}} ^ {- 1} displaystyle { big [} scriptstyle { rm {DFT}} displaystyle {x_ {_ {N}} } cdot scriptstyle { rm {DFT}} displaystyle {y _ {_ {N}} } { big]}.}$

Uchun x va y nolga teng bo'lmagan davomiyligi undan kam yoki teng bo'lgan ketma-ketliklar N, yakuniy soddalashtirish:

Muayyan sharoitlarda, ning pastki ketma-ketligi ${ displaystyle x _ {_ {N}} * y}$ ning chiziqli (aperiodik) konvulsiyasiga tengdir ${ displaystyle x}$ va ${ displaystyle y}$, bu odatda kerakli natijadir. (qarang MisolVa transformalar samarali bilan amalga oshirilganda Tez Fourier konvertatsiyasi algoritmi, bu hisoblash chiziqli konvulsiyadan ancha samaraliroq.

Furye qatori koeffitsientlari uchun konversiya teoremasi

Uchun ikkita konvolusiya teoremasi mavjud Fourier seriyasi davriy funktsiya koeffitsientlari:

• Birinchi konvulsiya teoremasida, agar shunday bo'lsa, deyilgan ${ displaystyle f}$ va ${ displaystyle g}$ ichida ${ displaystyle L ^ {1} ([- pi, pi])}$, 2 ning Fourier seriyali koeffitsientlariπ- davriy konversiya ning ${ displaystyle f}$ va ${ displaystyle g}$ quyidagilar tomonidan beriladi:

${ displaystyle [{ widehat {f * _ {2 pi} g}}] (n) = 2 pi cdot { widehat {f}} (n) cdot { widehat {g}} (n) ),}$^[A]

qaerda:

${ displaystyle { begin {aligned} left [f * _ {2 pi} g right] (x) & triangleq int _ {- pi} ^ { pi} f (u) cdot g [{ text {pv}} (xu)] , du, && { big (} { text {and}} underbrace {{ text {pv}} (x) triangleq arg left (e ^ {ix} right)} _ { text {asosiy qiymat}} { big)} & = int _ {- pi} ^ { pi} f (u) cdot g (xu ) , du, && scriptstyle { text {when}} g (x) { text {2}} pi { text {-periodic.}} & = int _ {2 pi} f (u) cdot g (xu) , du, && scriptstyle { text {ikkala funktsiya $ 2}} pi { text {-periodic, integral esa istalgan 2}} pi { ga teng bo'lganda matn {interval.}} end {hizalangan}}}$

• Ikkinchi konvolyutsiya teoremasida, ko'paytmasining Furye qatori koeffitsientlari ko'rsatilgan ${ displaystyle f}$ va ${ displaystyle g}$ tomonidan berilgan diskret konvolusiya ning ${ displaystyle { hat {f}}}$ va ${ displaystyle { hat {g}}}$ ketma-ketliklar:

${ displaystyle left [{ widehat {f cdot g}} right] (n) = left [{ widehat {f}} * { widehat {g}} right] (n).}$

Shuningdek qarang

• Lahzani hosil qiluvchi funktsiya a tasodifiy o'zgaruvchi

Izohlar

Sahifalar

Adabiyotlar

Qo'shimcha manbalar

Konvulsiya teoremasidan foydalanishni ingl signallarni qayta ishlash, qarang:

• Jons Xopkins universiteti"s Javamaqsadli simulyatsiya: http://www.jhu.edu/signals/convolve/index.html