อ่าน 70 นาที
การแปลงฟูริเยร์
ในทางคณิตศาสตร์การแปลงฟูริเยร์ ( FT )เป็นการแปลงเชิงอินทิกรัลที่รับฟังก์ชันเป็นอินพุตและให้ผลลัพธ์เป็นฟังก์ชันอีกฟังก์ชันหนึ่งที่อธิบายขอบเขตที่ความถี่ ต่างๆ...
การแปลงฟูริเยร์
| การแปลงฟูริเยร์ |
|---|

ในทางคณิตศาสตร์การแปลงฟูริเยร์ ( FT )เป็นการแปลงเชิงอินทิกรัลที่รับฟังก์ชันเป็นอินพุตและให้ผลลัพธ์เป็นฟังก์ชันอีกฟังก์ชันหนึ่งที่อธิบายขอบเขตที่ความถี่ ต่างๆ ปรากฏอยู่ในฟังก์ชันดั้งเดิม ผลลัพธ์ของการแปลงเป็นฟังก์ชันค่าเชิงซ้อนของความถี่ คำว่าการแปลงฟูริเยร์หมายถึงทั้งการดำเนินการทางคณิตศาสตร์และฟังก์ชันค่าเชิงซ้อนนี้ เมื่อจำเป็นต้องแยกความแตกต่าง บางครั้งผลลัพธ์ของการดำเนินการจะเรียกว่า การแสดง ในโดเมนความถี่ของฟังก์ชันดั้งเดิม[หมายเหตุ 1 ]การแปลงฟูริเยร์เปรียบได้กับการแยกเสียงของคอร์ด ดนตรี ออกเป็นความเข้ม ของ ระดับเสียงที่ เป็นส่วนประกอบ

ฟังก์ชันที่จำกัดอยู่ในโดเมนเวลาจะมีการแปลงฟูริเยร์ที่กระจายออกไปทั่วโดเมนความถี่ และในทางกลับกัน ซึ่งเป็นปรากฏการณ์ที่เรียกว่าหลักการความไม่แน่นอนกรณีสำคัญสำหรับหลักการนี้คือฟังก์ชันเกาส์เซียนซึ่งมีความสำคัญอย่างมากในทฤษฎีความน่าจะเป็นและสถิติรวมถึงในการศึกษาปรากฏการณ์ทางกายภาพที่แสดงการกระจายแบบปกติ (เช่นการแพร่ ) การแปลงฟูริเยร์ของฟังก์ชันเกาส์เซียนก็คือฟังก์ชันเกาส์เซียนอีกฟังก์ชันหนึ่งโจเซฟ ฟูริเยร์ได้แนะนำการแปลงไซน์และโคไซน์ (ซึ่งสอดคล้องกับส่วนจินตนาการและส่วนจริงของการแปลงฟูริเยร์สมัยใหม่) ในการศึกษาการถ่ายเทความร้อน ของเขา ซึ่งฟังก์ชันเกาส์เซียนปรากฏเป็นคำตอบของสมการ ความร้อน
การแปลงฟูริเยร์สามารถนิยามอย่างเป็นทางการได้ว่าเป็นปริพันธ์รีมันน์ที่ไม่เหมาะสม ทำให้มันเป็นการแปลงปริพันธ์ แม้ว่านิยามนี้จะไม่เหมาะสมสำหรับการใช้งานหลายอย่างที่ต้องการทฤษฎีปริพันธ์ที่ซับซ้อนกว่า[หมายเหตุ 2 ]ตัวอย่างเช่น การใช้งานที่ค่อนข้างง่ายหลายอย่างใช้ฟังก์ชันเดลต้าของดิแรกซึ่งสามารถพิจารณาอย่างเป็นทางการได้ราวกับว่าเป็นฟังก์ชัน แต่การให้เหตุผลนั้นต้องการมุมมองทางคณิตศาสตร์ที่ซับซ้อนกว่า[หมายเหตุ 3 ]
การแปลงฟูริเยร์ยังสามารถขยายไปสู่ฟังก์ชันของตัวแปรหลายตัวในปริภูมิยูคลิดได้โดยแปลงฟังก์ชันของ "ปริภูมิตำแหน่ง" 3 มิติไปเป็นฟังก์ชันของ โมเมนตัม 3 มิติ (หรือฟังก์ชันของปริภูมิและเวลา ไปเป็นฟังก์ชันของโมเมนตัม 4 มิติ ) แนวคิดนี้ทำให้การแปลงฟูริเยร์เชิงพื้นที่มีความเหมาะสมอย่างยิ่งในการศึกษาคลื่น เช่นเดียวกับในกลศาสตร์ควอนตัมซึ่งมีความสำคัญที่จะสามารถแสดงคำตอบของคลื่นเป็นฟังก์ชันของตำแหน่งหรือโมเมนตัม และบางครั้งก็ทั้งสองอย่าง โดยทั่วไป ฟังก์ชันที่วิธีการฟูริเยร์สามารถนำไปใช้ได้นั้นเป็นฟังก์ชันค่าเชิงซ้อน และอาจเป็นฟังก์ชันค่าเวกเตอร์ด้วย[หมายเหตุ 4 ]การวางนัยทั่วไปเพิ่มเติมยังสามารถทำได้กับฟังก์ชันบนกลุ่มซึ่งนอกเหนือจากการแปลงฟูริเยร์ดั้งเดิมบนRหรือR nแล้ว ยังรวมถึงการแปลงฟูริเยร์แบบเวลาไม่ต่อเนื่อง (DTFT, กลุ่ม = Z ) การแปลงฟูริเยร์แบบไม่ต่อเนื่อง (DFT, กลุ่ม = Z mod N ) และอนุกรมฟูริเยร์หรือการแปลงฟูริเยร์แบบวงกลม (กลุ่ม = S 1 , วงกลมหน่วย ≈ ช่วงปิดที่มีจุดปลายที่ระบุ) ซึ่งอย่างหลังนี้มักใช้ในการจัดการกับฟังก์ชันคาบการแปลงฟูริเยร์แบบเร็ว ( FFT ) เป็นอัลกอริทึมสำหรับการคำนวณ DFT
คำนิยาม
การแปลงฟูริเยร์ของฟังก์ชันค่าเชิงซ้อนที่สามารถอินทิเกรตได้แบบเลเบสบนเส้นจำนวนจริง คือฟังก์ชันค่าเชิงซ้อน ซึ่งกำหนดโดยอินทิกรัล[ 1 ]
| สมการที่ 1 |
เมื่ออิน ทิกรัล (เลเบส) สามารถหาได้บนเส้นจำนวนจริงทั้งหมด อินทิกรัลข้างต้นจะลู่เข้าสำหรับทุกค่าของและเป็นฟังก์ชันต่อเนื่องสม่ำเสมอ ของ ซึ่งลดลงเป็นศูนย์เมื่อ
อย่างไรก็ตาม การแปลงฟูริเยร์ยังสามารถกำหนดได้สำหรับฟังก์ชัน (ทั่วไป) ซึ่งอินทิกรัลเลเบสEq.1ไม่มีความหมาย[ 2 ]การตีความอินทิกรัลอย่างเหมาะสม (เช่น เป็นอินทิกรัลที่ไม่เหมาะสมสำหรับ ฟังก์ชัน ที่สามารถหาอินทิกรัลได้ในระดับท้องถิ่น ) จะขยายการแปลงฟูริเยร์ไปยังฟังก์ชันที่ไม่จำเป็นต้องหาอินทิกรัลได้ตลอดทั้งเส้นจำนวนจริง โดยทั่วไปแล้ว การแปลงฟูริเยร์ยังใช้ได้กับฟังก์ชันทั่วไปเช่นเดลต้าของดิแรก (และ การกระจายแบบเทมเปอร์อื่นๆ ทั้งหมด) ซึ่งในกรณีนี้จะถูกกำหนดโดยความเป็นคู่มากกว่าอินทิกรัล[ 3 ]
สูตรการผกผันที่สอดคล้องกันสำหรับฟังก์ชันที่มีคุณสมบัติความสม่ำเสมอและการลดลงเพียงพอ ได้รับการนำเสนอครั้งแรกในทฤษฎีบทการผกผันของฟูริเยร์ [ 4 ] [ 5 ] [ 6 ] [ 7 ] โดย ทฤษฎีบทการผกผันของฟูริเยร์กล่าวคือ
| สมการที่ 2 |
ฟังก์ชันและถูกเรียกว่าคู่การแปลงฟูริเยร์ [ 8 ] สั ญกรณ์ทั่วไปสำหรับการกำหนดคู่การแปลงคือ: [ 9 ] ตัวอย่างเช่น การแปลงฟูริเยร์ของฟังก์ชันเดลต้าคือฟังก์ชันคงที่ :
ความถี่เชิงมุม ( ω )
เมื่อตัวแปรอิสระ ( ) แทนเวลา (มักใช้สัญลักษณ์ ) ตัวแปรแปลง ( ) แทนความถี่ (มักใช้สัญลักษณ์ ) ตัวอย่างเช่น ถ้าเวลามีหน่วยเป็นวินาทีความถี่จะมีหน่วยเป็นเฮิรตซ์ตัวแปรแปลงยังสามารถเขียนในรูปของความถี่เชิงมุม โดยมีหน่วยเป็นเรเดียนต่อวินาที ได้อีก ด้วย
การแทนค่าลงในสมการที่ 1ทำให้เกิดข้อตกลงนี้ โดยที่ฟังก์ชันจะถูกเปลี่ยนชื่อใหม่: แตก ต่างจาก นิยามในสมการ ที่ 1การแปลงฟูริเยร์จะไม่ใช่การแปลงแบบเอกภาพอีกต่อ ไป และมีความสมมาตรน้อยลงระหว่างสูตรสำหรับการแปลงและการแปลงผกผัน คุณสมบัติเหล่านั้นจะกลับคืนมาได้โดยการแบ่งตัวประกอบอย่างเท่าๆ กันระหว่างการแปลงและการแปลงผกผัน ซึ่งนำไปสู่ข้อตกลงอีกแบบหนึ่ง: สามารถสร้างรูปแบบต่างๆ ของข้อตกลงทั้งสามแบบได้โดยการสังยุค เคอร์เนลเลขชี้กำลังเชิงซ้อน ของการแปลงไปข้างหน้าและการแปลงผกผัน เครื่องหมายต้องตรงข้ามกัน
| ความถี่ปกติξ (เฮิร์ตซ์) | เอกภาพ | |
|---|---|---|
| ความถี่เชิงมุมω (เรเดียน/วินาที) | เอกภาพ | |
| ไม่เป็นเอกภาพ |
| ความถี่ปกติξ (เฮิร์ตซ์) | เอกภาพ | |
|---|---|---|
| ความถี่เชิงมุมω (เรเดียน/วินาที) | เอกภาพ | |
| ไม่เป็นเอกภาพ |
ฟังก์ชันที่สามารถหาปริพันธ์ได้แบบเลเบส
ฟังก์ชันที่วัดได้ เรียกว่าอินทิกรัลเลเบส (Lebesgue) ถ้าอินทิกรัลเลเบสของค่าสัมบูรณ์มีค่าจำกัด: ถ้าอินทิกรัลเลเบสเป็นอินทิกรัลแล้ว การแปลงฟูริเยร์ที่กำหนดโดยสมการ 1จะถูกกำหนดไว้อย่างดีสำหรับทุก [ 10 ]ยิ่งไปกว่านั้น ยังมีขอบเขตต่อเนื่องสม่ำเสมอและ (ตามทฤษฎีบทของรีมันน์-เลเบส ) เป็นศูนย์ที่อนันต์ในที่นี้หมายถึงปริภูมิของฟังก์ชันต่อเนื่องบนที่เข้าใกล้ 0 เมื่อ x เข้าใกล้ค่าบวกหรือลบอนันต์
ปริภูมิดังกล่าวเป็นปริภูมิของฟังก์ชันที่วัดได้ซึ่งนอร์มมีค่าจำกัด โดยพิจารณาจากความสัมพันธ์สมมูลของความเท่าเทียมกันเกือบทุกที่การแปลงฟูริเยร์บนปริภูมินี้เป็นฟังก์ชันหนึ่งต่อหนึ่งอย่างไรก็ตาม ไม่มีการกำหนดลักษณะเฉพาะของภาพที่ง่าย และด้วยเหตุนี้จึงไม่มีการกำหนดลักษณะเฉพาะของการแปลงผกผันที่ง่าย โดยเฉพาะอย่างยิ่งสมการที่ 2ไม่ถูกต้องอีกต่อไป เนื่องจากระบุไว้ภายใต้สมมติฐานที่ว่านั้น "ดีพอ" (เช่นลดลงตามอนุพันธ์ทั้งหมด )
แม้ว่าสมการที่ 1จะนิยามการแปลงฟูริเยร์สำหรับฟังก์ชัน (ค่าเชิงซ้อน) ใน แต่ก็ไม่ได้นิยามไว้อย่างดีสำหรับคลาสความสามารถในการหาปริพันธ์อื่นๆ โดยเฉพาะอย่างยิ่งปริภูมิของฟังก์ชันที่สามารถหาปริพันธ์กำลังสองได้ ตัวอย่างเช่น ฟังก์ชันอยู่ในแต่ไม่ อยู่ใน และดังนั้นปริพันธ์เลเบสก์ สมการที่ 1จึงไม่มีอยู่จริง อย่างไรก็ตาม การแปลงฟูริเยร์บนปริภูมิย่อยหนาแน่นยอมรับการขยายต่อเนื่องที่ไม่ซ้ำกันไปยังตัวดำเนินการเอกภาพบน การขยายนี้มีความสำคัญส่วนหนึ่งเพราะ ต่างจากกรณีของ การแปลงฟูริเยร์เป็น ออโต มอ ร์ฟิซึมของปริภูมิ
ในกรณีดังกล่าว การแปลงฟูริเยร์สามารถหาได้โดยชัดเจนโดย การทำให้อินทิกรัล เป็นระเบียบแล้วจึงผ่านไปยังลิมิต ในทางปฏิบัติ อินทิกรัลมักถูกมองว่าเป็นอินทิกรัลที่ไม่เหมาะสมแทนที่จะเป็นอินทิกรัลเลเบสที่เหมาะสม แต่บางครั้งเพื่อการลู่เข้า จำเป็นต้องใช้ลิมิตอ่อนหรือค่าหลักแทนที่จะใช้ลิมิต (แบบจุดต่อจุด) ที่แฝงอยู่ในอินทิกรัลที่ไม่เหมาะสมTitchmarsh (1986) และ Dym & McKean (1985)ต่างก็ให้วิธีการที่เข้มงวดสามวิธีในการขยายการแปลงฟูริเยร์ไปยังฟังก์ชันที่สามารถหาปริพันธ์กำลังสองได้โดยใช้ขั้นตอนดังกล่าว หลักการทั่วไปในการทำงานกับการแปลงฟูริเยร์คือ การรวมเชิงเส้นจำกัดของเกาส์เซียนมีความหนาแน่นในและคุณสมบัติต่างๆ ของการแปลงฟูริเยร์ เช่น ความเป็นเอกภาพ สามารถอนุมานได้ง่ายสำหรับเกาส์เซียน คุณสมบัติหลายอย่างของการแปลงฟูริเยร์สามารถพิสูจน์ได้จากข้อเท็จจริงสองประการเกี่ยวกับเกาส์เซียน: [ 11 ]
- นั่นคือการแปลงฟูริเยร์ของตัวมันเอง และ
- นั่นคือปริพันธ์เกาส์เซียน .
ลักษณะเด่นของการแปลงฟูริเยร์คือเป็นโฮโมมอร์ฟิซึมของพีชคณิตบานาคจากที่ติดตั้งการดำเนินการคอนโวลูชันไปยังพีชคณิตบานาคของฟังก์ชันต่อเนื่องภายใต้บรรทัดฐาน (สูงสุด) ข้อตกลงที่เลือกในบทความนี้คือข้อตกลงของการวิเคราะห์ฮาร์มอนิกโดยที่การแปลงฟูริเยร์เป็นทั้งเอกภาพบนและเป็นโฮโมมอร์ฟิซึมของพีชคณิตจากไปยังโดยไม่ต้องปรับค่าการวัดเลเบสใหม่[ 12 ]
พื้นหลัง
ประวัติศาสตร์
ในปี พ.ศ. 2365 ฟูริเยร์ได้กล่าวอ้าง (ดูโจเซฟ ฟูริเยร์ § ทฤษฎีวิเคราะห์ของความร้อน ) ว่าฟังก์ชันใดๆ ไม่ว่าจะเป็นแบบต่อเนื่องหรือไม่ต่อเนื่อง ก็สามารถขยายออกเป็นอนุกรมของไซน์ได้[ 13 ]งานสำคัญชิ้นนั้นได้รับการแก้ไขและขยายความโดยผู้อื่นเพื่อวางรากฐานสำหรับรูปแบบต่างๆ ของการแปลงฟูริเยร์ที่ใช้มาตั้งแต่นั้นเป็นต้นมา
ไซนูซอยด์เชิงซ้อน
โดยทั่วไป สัมประสิทธิ์จะเป็นจำนวนเชิงซ้อน ซึ่งมีสองรูปแบบที่เทียบเท่ากัน (ดูสูตรของออยเลอร์ ):
ผลคูณกับ( สมการที่ 2 ) มีรูปแบบดังนี้: ซึ่งสื่อถึงทั้งแอมพลิจูดและเฟสของความถี่ เช่นเดียวกัน การตีความตามสัญชาตญาณของสมการที่ 1คือ การคูณด้วยมีผลเป็นการลบออกจากส่วนประกอบความถี่ทุกส่วนของฟังก์ชัน [หมายเหตุ 5 ]เฉพาะส่วนประกอบที่มีความถี่เท่านั้น ที่สามารถสร้างค่าที่ไม่เป็นศูนย์ของอินทิกรัลอนันต์ ได้เพราะ (อย่างน้อยในทางรูปแบบ) ส่วนประกอบที่เลื่อนไปอื่นๆ ทั้งหมดเป็นแบบสั่นและอินทิเกรตเป็นศูนย์ (ดู§ ตัวอย่าง )
เป็นที่น่าสังเกตว่าผลิตภัณฑ์นั้นสามารถลดรูปได้อย่างง่ายดายโดยใช้รูปแบบเชิงขั้ว และรูปแบบสี่เหลี่ยมผืนผ้านั้นสามารถอนุมานได้อย่างง่ายดายโดยการประยุกต์ใช้สูตรของออยเลอร์
ความถี่เชิงลบ
สูตรของออยเลอร์นำเสนอความเป็นไปได้ของค่าลบ สมการที่ 1 ถูกกำหนดไว้แล้วเฉพาะค่าเชิงซ้อนบางค่าเท่านั้นที่มีการแปลง(ดูสัญญาณเชิงวิเคราะห์ตัวอย่างง่ายๆ คือ) แต่ ความถี่ลบเป็นสิ่งจำเป็นในการกำหนดลักษณะ ของค่าเชิงซ้อนอื่นๆ ทั้งหมดซึ่งพบได้ในการประมวลผลสัญญาณสมการเชิงอนุพันธ์ย่อยเรดาร์ทัศนศาสตร์แบบไม่เชิงเส้นกลศาสตร์ควอนตัมและอื่นๆ
สำหรับค่าจริง สมการที่ 1มีคุณสมบัติสมมาตร (ดูหัวข้อ § การสังยุคด้านล่าง) ความซ้ำซ้อนนี้ทำให้สมการที่ 2 สามารถ แยกแยะ ออก จาก ได้ แต่ไม่สามารถระบุเครื่องหมายที่แท้จริงของ ได้ เนื่องจากและไม่สามารถแยกแยะได้บนเส้นจำนวนจริงเพียงอย่างเดียว
การแปลงฟูริเยร์สำหรับฟังก์ชันคาบ
การแปลงฟูริเยร์ของฟังก์ชันคาบไม่สามารถนิยามได้โดยตรงโดยใช้สูตรอินทิกรัล เพื่อให้อินทิกรัลในสมการที่ 1 สามารถ นิยามได้ ฟังก์ชันนั้นต้องเป็นฟังก์ชันที่หาอินทิกรัลสัมบูรณ์ได้แต่โดยทั่วไปมักใช้ชุดอนุกรมฟูริเยร์แทนเป็นไปได้ที่จะขยายคำนิยามให้ครอบคลุมฟังก์ชันคาบโดยมองว่าฟังก์ชันเหล่านั้นเป็นฟังก์ชัน กระจายแบบปรับอุณหภูมิ
สิ่งนี้ทำให้สามารถมองเห็นความเชื่อมโยงระหว่างอนุกรมฟูริเยร์และการแปลงฟูริเยร์สำหรับฟังก์ชันคาบที่มีอนุกรมฟูริเยร์ลู่เข้าได้ถ้าเป็นฟังก์ชันคาบ ที่ มีคาบ และมีอนุกรมฟูริเยร์ลู่เข้าแล้ว: โดยที่เป็นสัมประสิทธิ์อนุกรมฟูริเยร์ของ และเป็นฟังก์ชันเดลตาของดิแรกกล่าวอีกนัยหนึ่ง การแปลงฟูริเยร์คือฟังก์ชันหวีของดิแรก ที่ ฟัน ของมัน ถูกคูณด้วยสัมประสิทธิ์อนุกรมฟูริเยร์
การสุ่มตัวอย่างการแปลงฟูริเยร์
การแปลงฟูริเยร์ของฟังก์ชันที่หาปริพันธ์ได้สามารถสุ่มตัวอย่างได้ที่ช่วงเวลาปกติที่มีความยาวตามอำเภอใจ ตัวอย่างเหล่านี้สามารถอนุมานได้จากหนึ่งรอบของฟังก์ชันคาบ ซึ่งมี สัมประสิทธิ์อนุกรม ฟูริเยร์เป็นสัดส่วนกับตัวอย่างเหล่านั้นโดยใช้สูตรการรวมปัวซง :
ความสามารถในการหาปริพันธ์ทำให้มั่นใจได้ว่าผลรวมแบบคาบจะลู่เข้า ดังนั้น ตัวอย่างจึงสามารถกำหนดได้โดยการวิเคราะห์อนุกรมฟูริเยร์:
เมื่อฟังก์ชันมี ขอบเขตจำกัด จะมีจำนวนพจน์ที่จำกัดภายในช่วงของการอินทิเกรต เมื่อฟังก์ชันไม่มีขอบเขตจำกัด การประเมินค่าเชิงตัวเลขของฟังก์ชันจะต้องใช้การประมาณ เช่น การลดทอนหรือตัดทอนจำนวนพจน์
หน่วย
ตัวแปรความถี่ต้องมีหน่วยผกผันกับหน่วยของโดเมนของฟังก์ชันดั้งเดิม (โดยทั่วไปเรียกว่าหรือ ) ตัวอย่างเช่น ถ้าวัดเป็นวินาทีควรมีหน่วยเป็นรอบต่อวินาทีหรือเฮิรตซ์ถ้ามาตราส่วนของเวลาอยู่ในหน่วยวินาที โดยทั่วไปจะใช้ตัวอักษรกรีกอีกตัวแทนเพื่อแสดงความถี่เชิงมุม (โดยที่) ในหน่วยเรเดียนต่อวินาที ถ้าใช้สำหรับหน่วยความยาวต้องมีหน่วยเป็นความยาวผกผัน เช่น เลข คลื่น กล่าวคือ มีเส้น จำนวนจริงสองเวอร์ชัน: เวอร์ชันหนึ่งคือ ช่วงของและวัดในหน่วยและอีกเวอร์ชันหนึ่งคือช่วงของและวัดในหน่วยผกผันกับหน่วยของเส้นจำนวนจริงสอง เวอร์ชันที่แตกต่างกันนี้ไม่สามารถเท่ากันได้ ดังนั้น การแปลงฟูริเยร์จึงเปลี่ยนจากปริภูมิของฟังก์ชันหนึ่งไปยังปริภูมิของฟังก์ชันที่แตกต่างกัน: ฟังก์ชันที่มีโดเมนการนิยาม ที่แตกต่างกัน
โดยทั่วไปแล้วจะต้องถือว่าเป็นรูปแบบเชิงเส้นบนปริภูมิของโดเมนของมัน ซึ่งหมายความว่าเส้นจำนวนจริงที่สองเป็นปริภูมิคู่ของเส้นจำนวนจริงแรก (ดูบทความพีชคณิตเชิงเส้น สำหรับคำอธิบายที่เป็นทางการมากขึ้นและรายละเอียดเพิ่มเติม) มุมมองนี้มีความสำคัญอย่างยิ่งในการวางนัยทั่วไปของการแปลงฟูริเยร์ไปยัง กลุ่มสมมาตรทั่วไปรวมถึงกรณีของอนุกรมฟูริเยร์ด้วย
การที่ไม่มีวิธีใดวิธีหนึ่งที่ได้รับการยอมรับเป็นพิเศษ (หรือบางครั้งอาจกล่าวว่า "ไม่มีวิธีที่เป็นมาตรฐาน") ในการเปรียบเทียบเส้นจำนวนจริงสองเวอร์ชันที่เกี่ยวข้องกับการแปลงฟูริเยร์นั้น—การกำหนดหน่วยบนเส้นหนึ่งไม่ได้บังคับมาตราส่วนของหน่วยบนอีกเส้นหนึ่ง—เป็นเหตุผลที่ทำให้มีข้อกำหนดที่แตกต่างกันมากมายเกี่ยวกับการนิยามการแปลงฟูริเยร์ คำนิยามต่างๆ ที่ได้จากการเลือกหน่วยที่แตกต่างกันนั้นแตกต่างกันด้วยค่าคงที่ต่างๆ
ในธรรมเนียมอื่น ๆ การแปลงฟูริเยร์จะมีiอยู่ในเลขชี้กำลังแทนที่จะเป็น−iและในทางกลับกันสำหรับสูตรการผกผัน ธรรมเนียมนี้เป็นเรื่องปกติในฟิสิกส์สมัยใหม่[ 14 ]และเป็นค่าเริ่มต้นสำหรับWolfram Alphaและไม่ได้หมายความว่าความถี่กลายเป็นลบ เนื่องจากไม่มีคำจำกัดความมาตรฐานของความเป็นบวกสำหรับความถี่ของคลื่นเชิงซ้อน มันหมายความเพียงว่า เป็นแอมพลิจู ดของคลื่น แทนที่จะเป็นคลื่น (แบบแรกที่มีเครื่องหมายลบ มักจะเห็นในการพึ่งพาเวลาสำหรับคำตอบคลื่นระนาบไซน์ของสมการคลื่นแม่เหล็กไฟฟ้าหรือในการพึ่งพาเวลาสำหรับฟังก์ชันคลื่นควอนตัม ) เอกลักษณ์หลายอย่างที่เกี่ยวข้องกับการแปลงฟูริเยร์ยังคงใช้ได้ในธรรมเนียมเหล่านั้น ตราบใดที่เทอมทั้งหมดที่เกี่ยวข้อง กับ i อย่างชัดเจน ถูกแทนที่ด้วย−iในวิศวกรรมไฟฟ้าตัวอักษรjมักใช้สำหรับหน่วยจินตนาการแทนiเนื่องจากiใช้สำหรับกระแสไฟฟ้า
เมื่อใช้หน่วยที่ไม่มีมิติค่าคงที่อาจไม่ได้เขียนไว้ในนิยามการแปลง ตัวอย่างเช่น ในทฤษฎีความน่าจะเป็น ฟังก์ชันลักษณะเฉพาะΦของฟังก์ชันความหนาแน่นความน่าจะเป็นของตัวแปรสุ่มชนิดต่อเนื่องจะถูกกำหนดโดยไม่มีเครื่องหมายลบในเลขชี้กำลัง และเนื่องจากหน่วยของถูก ละเลย จึงไม่มีเช่นกัน :
ในทฤษฎีความน่าจะเป็นและสถิติทางคณิตศาสตร์ การใช้การแปลงฟูริเยร์-สตีลเจสเป็นที่นิยมมากกว่า เนื่องจากตัวแปรสุ่มจำนวนมากไม่ใช่ประเภทต่อเนื่องและไม่มีฟังก์ชันความหนาแน่น จึงต้องพิจารณาไม่ใช่ฟังก์ชัน แต่เป็นการกระจาย กล่าวคือ การวัดที่มี "อะตอม"
จากมุมมองที่สูงขึ้นของลักษณะเฉพาะของกลุ่มซึ่งมีความเป็นนามธรรมมากกว่า ตัวเลือกที่เป็นไปตามอำเภอใจเหล่านี้จะหายไปทั้งหมด ดังที่จะได้อธิบายในส่วนถัดไปของบทความนี้ ซึ่งกล่าวถึงแนวคิดของการแปลงฟูริเยร์ของฟังก์ชันบนกลุ่มอาเบเลียนที่กะทัดรัดเฉพาะที่
คุณสมบัติ
ให้และแทนฟังก์ชันที่หาปริพันธ์ได้และวัดได้แบบเลเบสบนเส้นจำนวนจริงซึ่งสอดคล้องกับเงื่อนไขต่อไปนี้: เราใช้สัญลักษณ์ และ แทนการแปลงฟูริเยร์ของฟังก์ชันเหล่านี้ตามลำดับ
คุณสมบัติพื้นฐาน
การแปลงฟูริเยร์มีคุณสมบัติพื้นฐานดังต่อไปนี้: [ 15 ]
ความเป็นเส้นตรง
การเลื่อนเวลา
การเปลี่ยนความถี่
การปรับขนาดเวลา
กรณีนี้ส่งผลให้เกิดคุณสมบัติการย้อนเวลา :
สมมาตร
เมื่อส่วนจริงและส่วนจินตนาการของฟังก์ชันเชิงซ้อนถูกแยกออกเป็นส่วนคู่และส่วนคี่จะมีส่วนประกอบสี่ส่วน ซึ่งแสดงไว้ด้านล่างด้วยตัวห้อย RE, RO, IE และ IO และมีการจับคู่แบบหนึ่งต่อหนึ่งระหว่างส่วนประกอบทั้งสี่ของฟังก์ชันเวลาเชิงซ้อนและส่วนประกอบทั้งสี่ของการแปลงความถี่เชิงซ้อน: [ 16 ]
จากสิ่งนี้ ความสัมพันธ์ต่างๆ ปรากฏให้เห็นได้ชัดเจน ตัวอย่างเช่น:
- การแปลงของฟังก์ชันค่าจริง ( ) คือฟังก์ชันสมมาตรสังยุค ในทางกลับกัน การแปลง สมมาตรสังยุคหมายถึงโดเมนเวลาค่าจริง
- การแปลงของฟังก์ชันค่าจินตนาการ ( ) คือฟังก์ชันแอนติสมมาตรสังยุคและข้อความกลับก็เป็นจริงเช่นกัน
- การแปลงของฟังก์ชันสมมาตรสังยุค คือฟังก์ชัน ค่าจริงและในทางกลับกันก็เป็นจริงเช่นกัน
- การแปลงของฟังก์ชันแอนติสมมาตรคู่ควบคือฟังก์ชันค่าจินตนาการและในทางกลับกันก็เป็นจริงเช่นกัน
การผันคำกริยา
(หมายเหตุ: เครื่องหมาย แสดงถึงการผันเชิงซ้อน )
โดยเฉพาะอย่างยิ่ง ถ้าเป็นจำนวนจริงแล้วจะเป็นฟังก์ชันสมมาตรสังยุค ( หรือเรียกอีกอย่างว่าฟังก์ชันเฮอร์มิเชียน ):
ถ้าเป็นจำนวนจินตนาการล้วนๆ แล้วจะเป็นจำนวนสมมาตรคี่ :
ส่วนจริงและส่วนจินตนาการ
ส่วนประกอบความถี่ศูนย์
เมื่อแทนค่าลงในนิยาม เราจะได้:
อินทิกรัลของฟังก์ชันตลอดช่วงโดเมน คือ มวลรวมหรือค่าไบแอสกระแสตรงของฟังก์ชันนั้น
ความต่อเนื่องสม่ำเสมอและทฤษฎีบทของรีมันน์-เลเบส


การแปลงฟูริเยร์อาจนิยามได้ในบางกรณีสำหรับฟังก์ชันที่ไม่สามารถหาปริพันธ์ได้ แต่การแปลงฟูริเยร์ของฟังก์ชันที่สามารถหาปริพันธ์ได้นั้นมีคุณสมบัติที่โดดเด่นหลายประการ
การแปลงฟูริเยร์ของฟังก์ชันที่สามารถอินทิเกรตได้นั้นมีความต่อเนื่องสม่ำเสมอและ[ 17 ] [ 18 ]
โดย ทฤษฎีบท Riemann – Lebesgue [ 19 ]
อย่างไรก็ตามฟังก์ชันไม่จำเป็นต้องหาปริพันธ์ได้ ตัวอย่างเช่น การแปลงฟูริเยร์ของฟังก์ชันสี่เหลี่ยมผืนผ้าซึ่งหาปริพันธ์ได้ คือฟังก์ชัน sinc ซึ่ง หาปริพันธ์ไม่ได้ ตามวิธีเลเบส เนื่องจากปริพันธ์ไม่เหมาะสม ของฟังก์ชันนี้ มีพฤติกรรมคล้ายกับอนุกรมฮาร์มอนิกสลับ โดยลู่เข้าสู่ผลรวมโดยไม่ลู่เข้าอย่างสมบูรณ์
โดยทั่วไปแล้ว การเขียน การแปลงผกผันในรูปอินทิกรัลของเลเบสเป็นไปไม่ได้อย่างไรก็ตาม เมื่อทั้งและสามารถหาอินทิกรัลได้ ความเท่าเทียมกันแบบผกผัน จะเป็นจริงสำหรับx เกือบทุก ค่า ส่งผลให้การแปลงฟูริเยร์เป็นฟังก์ชัน หนึ่งต่อหนึ่งบนL 1 ( R )
ทฤษฎีบทของแพลนเชอเรลและทฤษฎีบทของปาร์เซวัล
ให้ และ เป็นอินทิกรัล และให้ และ เป็นการแปลงฟูริเยร์ของพวกมัน ถ้า และ เป็นอินทิกรัลกำลังสอง ด้วย สูตรของ Parseval จะตามมาดังนี้: [ 20 ] โดยที่เครื่องหมายขีดหมายถึงการ สังยุคเชิงซ้อน
ทฤษฎีบทPlancherelซึ่งเป็นผลมาจากข้างต้น ระบุว่า[ 21 ]
ทฤษฎีบทของ Plancherel ทำให้สามารถขยายการแปลงฟูริเยร์ได้โดยใช้การอ้างอิงความต่อเนื่อง ไปสู่ตัวดำเนินการเอกภาพบน บน การขยายนี้สอดคล้องกับการแปลงฟูริเยร์ดั้งเดิมที่กำหนดบน ดังนั้นจึงขยายโดเมนของการแปลงฟูริเยร์เป็น (และด้วยเหตุนี้จึงเป็น สำหรับ ) ทฤษฎีบทของ Plancherel มีการตีความในทางวิทยาศาสตร์ว่าการแปลงฟูริเยร์รักษาพลังงานของปริมาณดั้งเดิมไว้ คำศัพท์ของสูตรเหล่านี้ยังไม่เป็นมาตรฐานอย่างสมบูรณ์ทฤษฎีบทของ Parsevalได้รับการพิสูจน์แล้วสำหรับอนุกรมฟูริเยร์เท่านั้น และได้รับการพิสูจน์ครั้งแรกโดย Lyapunov แต่สูตรของ Parseval ก็ใช้ได้ผลกับการแปลงฟูริเยร์เช่นกัน ดังนั้นถึงแม้ว่าในบริบทของการแปลงฟูริเยร์นั้น สูตรนี้ได้รับการพิสูจน์โดย Plancherel แต่ก็ยังคงถูกเรียกกันบ่อยครั้งว่า สูตรของ Parseval หรือ ความสัมพันธ์ของ Parseval หรือแม้แต่ทฤษฎีบทของ Parseval
โปรดดูทฤษฎีทวิภาวะของปอนทรีอาจิน (Pontryagin duality)สำหรับสูตรทั่วไปของแนวคิดนี้ในบริบทของกลุ่มอาเบเลียนที่มีความกะทัดรัดเฉพาะที่ (locally compact abelian groups)
ทฤษฎีบทการสังเคราะห์
การแปลงฟูริเยร์เป็นการแปลงระหว่างการสังเคราะห์และการคูณของฟังก์ชัน ถ้า และ เป็นฟังก์ชันที่หาปริพันธ์ได้ โดยมีการแปลงฟูริเยร์เป็น และ ตามลำดับ การแปลงฟูริเยร์ของการสังเคราะห์จะเท่ากับผลคูณของการแปลงฟูริเยร์ และ (ภายใต้ข้อกำหนดอื่นๆ สำหรับนิยามของการแปลงฟูริเยร์ อาจมีค่าคงที่ปรากฏอยู่ด้วย)
นั่นหมายความว่า ถ้า: โดยที่∗แทนการดำเนินการคอนโวลูชัน แล้ว:
ในทฤษฎีระบบเชิงเส้นคงที่ตามเวลา (LTI)เป็นเรื่องปกติที่จะตีความ ว่าเป็นการตอบสนองต่ออิมพัลส์ของระบบ LTI ที่มีอินพุต และเอาต์พุต เนื่องจากเมื่อแทนที่อิมพัลส์หน่วยด้วย จะได้ ในกรณีนี้ แทนการตอบสนองความถี่ของระบบ
ในทางกลับกัน ถ้า สามารถแยกออกเป็นผลคูณของฟังก์ชันที่หาปริพันธ์กำลังสองได้ และ แล้ว การแปลงฟูริเยร์ของ จะได้จากการสังเคราะห์ของการแปลงฟูริเยร์ และ ตาม ลำดับ
ทฤษฎีบทความสัมพันธ์ไขว้
ในทำนองเดียวกัน สามารถแสดงได้ว่า ถ้า คือค่าสหสัมพันธ์ไขว้ของ และ : แล้วการแปลงฟูริเยร์ของ คือ:
ในกรณีพิเศษ ค่าสหสัมพันธ์อัตโนมัติของฟังก์ชัน คือ: ซึ่ง
ความแตกต่าง
สมมติว่าf ( x )สามารถหาอนุพันธ์ได้เกือบทุกที่และทั้งf( x)และอนุพันธ์ของ f( x )สามารถหาปริพันธ์ได้ (ในx ) แล้วการแปลงฟูริเยร์ของอนุพันธ์ f (x )จะกำหนดโดย โดยทั่วไปแล้ว การแปลงฟูริเยร์ของอนุพันธ์อันดับที่จะกำหนดโดย
ในทำนองเดียวกันดังนั้น
โดยการใช้การแปลงฟูริเยร์และสูตรเหล่านี้สมการเชิงอนุพันธ์สามัญบางสมการสามารถแปลงเป็นสมการพีชคณิตได้ ซึ่งง่ายต่อการแก้มากกว่ามาก สูตรเหล่านี้ยังก่อให้เกิดกฎทั่วไปที่ว่า " จะเรียบ ก็ ต่อเมื่อลดลงอย่างรวดเร็วไปยังสำหรับ" โดยใช้กฎที่คล้ายคลึงกันสำหรับการแปลงฟูริเยร์ผกผัน เราสามารถกล่าวได้ว่า " ลดลงอย่างรวดเร็วไปยังสำหรับก็ต่อเมื่อเรียบ "
ฟังก์ชันเฉพาะ
การแปลงฟูริเยร์เป็นการแปลงเชิงเส้นที่มีฟังก์ชันเฉพาะที่สอดคล้องกับ โดยมี
ชุดของฟังก์ชันเฉพาะจะถูกค้นพบโดยการสังเกตว่าสมการเชิงอนุพันธ์เอกพันธุ์ นำไปสู่ฟังก์ชันเฉพาะของการแปลงฟูริเยร์ตราบใดที่รูปแบบของสมการยังคงไม่เปลี่ยนแปลงภายใต้การแปลงฟูริเยร์[หมายเหตุ 6 ]กล่าวอีกนัยหนึ่ง ทุกคำตอบและการแปลงฟูริเยร์ของมันเป็นไปตามสมการเดียวกัน สมมติว่าคำตอบมีเอกลักษณ์ดังนั้นทุกคำตอบจะต้องเป็นฟังก์ชันเฉพาะของการแปลงฟูริเยร์ รูปแบบของสมการยังคงไม่เปลี่ยนแปลงภายใต้การแปลงฟูริเยร์ หากสามารถขยายเป็นอนุกรมกำลังได้ โดยที่สำหรับทุกพจน์จะมีปัจจัยเดียวกันของ , เกิดขึ้นจากปัจจัยที่นำมาใช้โดย กฎ การหาอนุพันธ์เมื่อทำการแปลงฟูริเยร์สมการเชิงอนุพันธ์เอกพันธุ์ เนื่องจากปัจจัยนี้สามารถตัดทิ้งได้ วิธีที่ง่ายที่สุดที่อนุญาตจะนำไปสู่ การแจกแจง ปกติมาตรฐาน[ 22 ]
โดยทั่วไปแล้ว ชุดของฟังก์ชันเฉพาะยังพบได้จากการสังเกตว่า กฎ การหาอนุพันธ์บ่งชี้ว่าสมการเชิงอนุพันธ์สามัญ ที่มีค่าคงที่และเป็นฟังก์ชันคู่ที่ไม่คงที่ยังคงมีรูปแบบคงที่เมื่อใช้การแปลงฟูริเยร์กับทั้งสองข้างของสมการ ตัวอย่างที่ง่ายที่สุดคือ ซึ่งเทียบเท่ากับ การพิจารณาสมการชโรดิงเกอร์สำหรับควอนตัมฮาร์มอนิกออสซิลเลเตอร์ [ 23 ] คำตอบที่สอดคล้องกันให้ทางเลือกที่สำคัญของฐานออร์โทนอร์มอลสำหรับL 2 ( R )และกำหนดโดยฟังก์ชันเฮอร์ไมต์ ของ "นักฟิสิกส์" หรืออาจใช้ โดยที่เป็นพหุนามเฮอร์ไมต์ของ "นักความน่าจะเป็น" ซึ่งกำหนดเป็น
ภายใต้ข้อตกลงนี้สำหรับการแปลงฟูริเยร์ เราจะได้ว่า
กล่าวอีกนัยหนึ่ง ฟังก์ชัน Hermite ก่อให้เกิดระบบฟังก์ชันเฉพาะแบบตั้งฉาก สมบูรณ์ สำหรับการแปลงฟูริเยร์บน [ 15 ] [ 24 ]อย่างไรก็ตาม การเลือกฟังก์ชันเฉพาะนี้ไม่เป็นเอกลักษณ์ เนื่องจากมีค่าเฉพาะ ที่แตกต่างกันเพียงสี่ค่าของการ แปลงฟูริเยร์ (รากที่สี่ของเอกภาพ และ ) และการรวมเชิงเส้นใดๆ ของฟังก์ชันเฉพาะที่มีค่าเฉพาะเดียวกันจะให้ฟังก์ชันเฉพาะอีกฟังก์ชันหนึ่ง[ 25 ]ผลที่ตามมาคือ เป็นไปได้ที่จะแยกL 2 ( R ) ออก เป็นผลรวมโดยตรงของสี่พื้นที่H 0 , H 1 , H 2และH 3โดยที่การแปลงฟูริเยร์กระทำบนH kโดยการคูณด้วยi kเท่านั้น
เนื่องจากชุดฟังก์ชัน Hermite ψ n ที่สมบูรณ์ ให้การแก้ปัญหาเอกลักษณ์ จึงทำให้ตัวดำเนินการฟูริเยร์เป็นแนวทแยง กล่าวคือ การแปลงฟูริเยร์สามารถแสดงได้ด้วยผลรวมของพจน์ที่ถ่วงน้ำหนักด้วยค่าลักษณะเฉพาะข้างต้น และผลรวมเหล่านี้สามารถบวกกันได้อย่างชัดเจน:
แนวทางนี้ในการกำหนดการแปลงฟูริเยร์ได้รับการเสนอครั้งแรกโดยNorbert Wiener [ 26 ] ในบรรดาคุณสมบัติอื่นๆ ฟังก์ชัน Hermite ลดลงอย่างรวดเร็วแบบเอกซ์โพเนนเชียลทั้งในโดเมนความถี่และเวลา ดังนั้นจึงใช้ในการกำหนดการขยายทั่วไปของการแปลงฟูริเยร์ นั่นคือการแปลงฟูริเยร์เศษส่วนที่ใช้ในการวิเคราะห์เวลา-ความถี่[ 27 ]ในฟิสิกส์การแปลงนี้ได้รับการแนะนำโดยEdward Condon [ 28 ] การเปลี่ยนฐานนี้เป็นไปได้เพราะการแปลงฟูริเยร์เป็นการแปลงเอกภาพเมื่อใช้ข้อกำหนด ที่ถูกต้อง ดังนั้น ภายใต้เงื่อนไขที่เหมาะสม อาจคาดได้ว่าจะได้ผลลัพธ์จากตัวสร้างแบบสมมาตรผ่าน[ 29 ]
ตัวดำเนินการคือตัวดำเนินการจำนวนของตัวสั่นฮาร์มอนิกควอนตัมที่เขียนเป็น[ 30 ] [ 31 ]
สามารถตีความได้ว่าเป็นตัวสร้าง การแปลง ฟูริเยร์เศษส่วนสำหรับค่าt ใดๆ และการแปลงฟูริเยร์ต่อเนื่องแบบดั้งเดิมสำหรับค่า t ที่เฉพาะเจาะจงโดยที่เคอร์เนลของ Mehler ทำหน้าที่ แปลงแบบแอคทีฟที่สอดคล้องกันฟังก์ชันเฉพาะของคือฟังก์ชันHermiteซึ่งจึงเป็นฟังก์ชันเฉพาะของ ด้วยเช่นกัน
เมื่อขยายการแปลงฟูริเยร์ไปสู่การแจกแจงแล้วหวีดิแรกก็จะเป็นฟังก์ชันเฉพาะของการแปลงฟูริเยร์ด้วยเช่นกัน
การผกผันและความเป็นคาบ
ภายใต้เงื่อนไขที่เหมาะสมสำหรับฟังก์ชัน ฟังก์ชัน นั้นสามารถกู้คืนได้จากการแปลงฟูริเยร์ อันที่จริง หากกำหนดให้ตัวดำเนินการแปลงฟูริเยร์เป็น ดังนั้น แล้วสำหรับฟังก์ชันที่เหมาะสม การใช้การแปลงฟูริเยร์สองครั้งจะพลิกฟังก์ชัน: ซึ่งสามารถตีความได้ว่าเป็นการ "ย้อนเวลา" เนื่องจากย้อนเวลาเป็นคาบสอง การใช้สิ่งนี้สองครั้งจะได้ ดังนั้นตัวดำเนินการแปลงฟูริเยร์จึงเป็นคาบสี่ และในทำนองเดียวกัน การแปลงฟูริเยร์ผกผันสามารถหาได้โดยการใช้การแปลงฟูริเยร์สามครั้ง: โดยเฉพาะอย่างยิ่ง การแปลงฟูริเยร์สามารถผกผันได้ (ภายใต้เงื่อนไขที่เหมาะสม)
กล่าวโดยละเอียดกว่านั้น การกำหนดตัวดำเนินการความเท่าเทียมกัน โดยที่ เราจะได้ว่า: ความเท่าเทียมกันของตัวดำเนินการเหล่านี้จำเป็นต้องมีการกำหนดพื้นที่ของฟังก์ชันที่เกี่ยวข้องอย่างระมัดระวัง การกำหนดความเท่าเทียมกันของฟังก์ชัน (ความเท่าเทียมกันทุกจุด? ความเท่าเทียมกันเกือบทุกที่ ?) และการกำหนดความเท่าเทียมกันของตัวดำเนินการ – นั่นคือ การกำหนดโทโพโลยีบนพื้นที่ฟังก์ชันและพื้นที่ตัวดำเนินการที่เกี่ยวข้อง สิ่งเหล่านี้ไม่เป็นจริงสำหรับทุกฟังก์ชัน แต่เป็นจริงภายใต้เงื่อนไขต่างๆ ซึ่งเป็นเนื้อหาของทฤษฎีบทการผกผันฟูริเยร์ในรูป แบบต่างๆ
ความเป็นคาบสี่เท่าของการแปลงฟูริเยร์นี้คล้ายกับการหมุนระนาบ 90° โดยเฉพาะอย่างยิ่งเนื่องจากการวนซ้ำสองเท่าทำให้เกิดการกลับทิศทาง และในความเป็นจริงแล้ว การเปรียบเทียบนี้สามารถทำให้แม่นยำยิ่งขึ้นได้ ในขณะที่การแปลงฟูริเยร์สามารถตีความได้ง่ายๆ ว่าเป็นการสลับโดเมนเวลาและโดเมนความถี่ โดยการแปลงฟูริเยร์ผกผันจะสลับกลับกัน แต่ในเชิงเรขาคณิตแล้ว สามารถตีความได้ว่าเป็นการหมุน 90° ในโดเมนเวลา-ความถี่ (โดยพิจารณาเวลาเป็นแกน x และความถี่เป็นแกน y )และการแปลงฟูริเยร์สามารถขยายไปสู่การแปลงฟูริเยร์เศษส่วนซึ่งเกี่ยวข้องกับการหมุนด้วยมุมอื่นๆ สิ่งนี้สามารถขยายไปสู่การแปลงเชิงเส้นแบบแคนอนิกได้ซึ่งสามารถมองเห็นได้ว่าเป็นการกระทำของกลุ่มเชิงเส้นพิเศษSL 2 ( R )บนระนาบเวลา-ความถี่ โดยรูปแบบซิมเพล็กติกที่รักษาไว้จะสอดคล้องกับหลักการความไม่แน่นอน ดังที่กล่าวไว้ ด้านล่าง วิธีการนี้ได้รับการศึกษาเป็นพิเศษในด้านการประมวลสัญญาณภายใต้การ วิเคราะห์เวลา-ความถี่
ความเชื่อมโยงกับกลุ่มไฮเซนเบิร์ก
กลุ่มไฮเซนเบิร์กเป็นกลุ่มตัวดำเนินการเอกภาพบนปริภูมิฮิลเบิร์ตL 2 ( R )ของฟังก์ชันค่าเชิงซ้อนf ที่สามารถหาปริพันธ์กำลังสองได้ บนเส้นจำนวนจริง ซึ่งสร้างขึ้นโดยการเลื่อน( T y f )( x ) = f ( x + y )และการคูณด้วยe i 2π ξx , ( M ξ f )( x ) = e i 2π ξx f ( x )ตัวดำเนินการเหล่านี้ไม่สลับที่กัน เนื่องจากตัวสลับ (กลุ่ม) ของพวกมันคือ การคูณด้วยค่าคงที่ (ไม่ขึ้นกับx ) e i 2π ξy ∈ U (1) ( กลุ่มวงกลม ของจำนวนเชิงซ้อนโมดูลัสหนึ่ง) ในฐานะกลุ่มนามธรรม กลุ่มไฮเซนเบิร์กคือ กลุ่มลีสามมิติของสามสิ่ง( x , ξ , z ) ∈ R 2 × U (1)โดยมีกฎของกลุ่ม
ให้ H 1แทนกลุ่มไฮเซนเบิร์กขั้นตอนข้างต้นไม่เพียงแต่จะอธิบายโครงสร้างของกลุ่มเท่านั้น แต่ยังรวมถึงการแสดงแทนแบบเอกภาพ มาตรฐาน ของH 1บนปริภูมิฮิลเบิร์ต ซึ่งเราใช้สัญลักษณ์ρ : H 1 → B ( L 2 ( R ))แทนด้วย กำหนดออโตมอร์ฟิซึมเชิงเส้นของR 2โดย ที่J 2 = − I Jนี้สามารถขยายไปเป็นออโตมอร์ฟิซึมที่ไม่ซ้ำกันของH 1 ได้ดังนี้ :
ตามทฤษฎีบทสโตน-ฟอน นอยมันน์ การแสดงผลแบบเอกภาพρและρ ∘ jนั้นสมมูลกันแบบเอกภาพ ดังนั้นจึงมีตัวเชื่อมประสานW ∈ U ( L 2 ( R )) ที่ไม่ซ้ำกันเพียงตัวเดียว ซึ่ง ตัวดำเนินการ W นี้คือการแปลงฟูริเยร์
คุณสมบัติมาตรฐานหลายอย่างของการแปลงฟูริเยร์เป็นผลโดยตรงจากกรอบงานทั่วไปนี้[ 32 ]ตัวอย่างเช่น กำลังสองของการแปลงฟูริเยร์W 2เป็นตัวเชื่อมที่เกี่ยวข้องกับJ 2 = − Iดังนั้นเราจึงมี( W 2 f )( x ) = f (− x )ซึ่ง เป็นการสะท้อนของฟังก์ชันดั้งเดิมf
โดเมนที่ซับซ้อน
อินทิกรัลสำหรับการแปลงฟูริเยร์ สามารถศึกษาได้สำหรับ ค่า เชิงซ้อนของอาร์กิวเมนต์ξขึ้นอยู่กับคุณสมบัติของfซึ่งอาจจะไม่ลู่เข้าจากแกนจริงเลย หรืออาจจะลู่เข้าสู่ฟังก์ชันวิเคราะห์เชิงซ้อนสำหรับค่าทั้งหมดของξ = σ + iτหรือบางอย่างระหว่างนั้น[ 33 ]
ทฤษฎีบทPaley–Wienerกล่าวว่าfเป็นฟังก์ชันเรียบ (กล่าวคือ สามารถหาอนุพันธ์ได้ nครั้งสำหรับจำนวนเต็มบวกn ทั้งหมด ) และมีขอบเขตจำกัดก็ต่อเมื่อf̂ ( σ + iτ )เป็นฟังก์ชันโฮโลมอร์ฟิกซึ่งมีค่าคงที่a > 0 อยู่ เช่นนั้นสำหรับจำนวนเต็มn ≥ 0 ใดๆ สำหรับ ค่าคงที่ C_n บางค่า(ในกรณีนี้fจะมีขอบเขตบน[− a , a ] ) สิ่งนี้สามารถแสดงได้โดยกล่าวว่าf̂เป็นฟังก์ชันเอนไทร์ที่ลดลงอย่างรวดเร็วในσ (สำหรับτ ที่คงที่ ) และมีการเติบโตแบบเอกซ์โพเนนเชียลในτ (สม่ำเสมอในσ ) [ 34 ]
(ถ้าfไม่เรียบ แต่เป็นเพียงL 2 เท่านั้น เวอร์ชันที่สอดคล้องกันจะคงอยู่โดยที่เงื่อนไขการลดลงอย่างรวดเร็วถูกแทนที่ด้วยเงื่อนไขL 2 ที่เหมาะสม [ 35 ] ) พื้นที่ของฟังก์ชันดังกล่าวของตัวแปรเชิงซ้อนเรียกว่าพื้นที่ Paley–Wiener ทฤษฎีบทนี้ได้รับการขยายไปสู่กลุ่มLie กึ่งง่าย [ 36 ]
ถ้าfรองรับบนครึ่งเส้นt ≥ 0แล้วfจะถูกเรียกว่า "เป็นเหตุเป็นผล" เพราะฟังก์ชันการตอบสนองแบบอิมพัล ส์ ของตัวกรอง ที่สามารถสร้างขึ้นได้จริงทางกายภาพ จะต้องมีคุณสมบัตินี้ เนื่องจากไม่มีผลใดสามารถเกิดขึ้นก่อนสาเหตุได้Paleyและ Wiener แสดงให้เห็นว่าภายใต้สมมติฐานความสามารถในการบูรณาการที่เหมาะสมf̂จะขยายไปเป็นฟังก์ชันโฮโลมอร์ฟิกบนครึ่งระนาบล่างเชิงซ้อนτ < 0ที่มีแนวโน้มเป็นศูนย์เมื่อτเข้าสู่−∞ [ 37 ] บทกลับแบบง่ายในรูปแบบนี้เป็นเท็จ บทกลับที่แม่นยำต้องใช้สมมติฐานการเติบโตเพิ่มเติมหรือสมมติฐานพื้นที่ Hardy [ 38 ]
การแปลงลาปลาส
การแปลงฟูริเยร์f̂ ( ξ )เกี่ยวข้องกับการแปลงลาปลาส F ( s )ซึ่งใช้ในการแก้สม การ เชิง อนุพันธ์และการวิเคราะห์ตัวกรอง ด้วยเช่นกัน
อาจเกิดขึ้นได้ว่า ฟังก์ชันfซึ่งปริพันธ์ฟูริเยร์ไม่ลู่เข้าสู่แกนจริงเลยนั้น ยังคงมีการแปลงฟูริเยร์เชิงซ้อนที่กำหนดไว้ในบางบริเวณของระนาบ เชิงซ้อน
ตัวอย่างเช่น ถ้าf เป็นเหตุเป็นผลและมีการ เติบโต แบบเลขชี้กำลัง กล่าวคือ สำหรับค่าคงที่C บางค่า a ≥ 0แล้ว[ 39 ] ลู่เข้าสำหรับ2π τ < − a ทั้งหมด จะเป็นการแปลงลาปลาสด้านเดียวของf
รูปแบบการแปลงลาปลาสแบบด้านเดียวทั่วไปคือ
ถ้าfเป็นฟังก์ชันเชิงสาเหตุและอินทิกรัลลู่เข้าดังนั้นการขยายการแปลงฟูริเยร์ไปยังโดเมนเชิงซ้อนหมายความว่ามันรวมการแปลงลาปลาสเป็นกรณีพิเศษในกรณีของฟังก์ชันเชิงสาเหตุ แต่มีการเปลี่ยนตัวแปรเป็น s = i 2π ξ
จากมุมมองอีกมุมหนึ่ง ซึ่งอาจเป็นมุมมองแบบคลาสสิกมากกว่า การแปลงลาปลาสโดยรูปแบบของมันเกี่ยวข้องกับพจน์ควบคุมเลขชี้กำลังเพิ่มเติมที่ช่วยให้มันลู่เข้าได้นอกเส้นจินตนาการซึ่งเป็นที่ที่การแปลงฟูริเยร์ถูกกำหนดไว้ ด้วยเหตุนี้ มันจึงสามารถลู่เข้าได้สำหรับฟังก์ชันและปริพันธ์ที่มีการเติบโตแบบเลขชี้กำลังสูงสุดในทิศทางที่ควบคุม ในขณะที่การแยกส่วนฟูริเยร์แบบดั้งเดิมไม่สามารถทำได้ ทำให้สามารถวิเคราะห์ระบบที่มีองค์ประกอบที่ลู่เข้าหรือวิกฤตได้ ตัวอย่างเฉพาะสองตัวอย่างจากการประมวลผลสัญญาณเชิงเส้นคือการสร้างเครือข่ายตัวกรองแบบผ่านทั้งหมดจากหวีวิกฤตและตัวกรองลดทอนผ่านการยกเลิกขั้วและศูนย์ที่แม่นยำบนวงกลมหน่วย การออกแบบดังกล่าวเป็นเรื่องปกติในการประมวลผลเสียง ซึ่งต้องการ การตอบสนองเฟส ที่ไม่เป็นเชิงเส้นสูง เช่น ในเสียงสะท้อน
นอกจากนี้ เมื่อต้องการการตอบสนองแบบพัลส์ที่ยาวขึ้นสำหรับการประมวลผลสัญญาณ วิธีที่ง่ายที่สุดในการสร้างการตอบสนองเหล่านั้นคือการมีวงจรหนึ่งที่สร้างการตอบสนองเวลาที่เบี่ยงเบนออกไป จากนั้นจึงยกเลิกความเบี่ยงเบนนั้นผ่านการตอบสนองที่ตรงกันข้ามและชดเชยกันที่ล่าช้า ในกรณีนี้ มีเพียงวงจรหน่วงเวลาตรงกลางเท่านั้นที่ยอมรับคำอธิบายฟูริเยร์แบบคลาสสิก ซึ่งมีความสำคัญอย่างยิ่ง วงจรทั้งสองด้านข้างไม่เสถียรและไม่สามารถแยกส่วนฟูริเยร์แบบลู่เข้าได้ อย่างไรก็ตาม วงจรเหล่านั้นยอมรับคำอธิบายในโดเมนลาปลาส โดยมีระนาบครึ่งหนึ่งที่เข้ากันได้ของการลู่เข้าในระนาบเชิงซ้อน (หรือในกรณีแบบไม่ต่อเนื่อง ระนาบ Z) ซึ่งผลกระทบของวงจรเหล่านั้นจะหักล้างกัน
ในคณิตศาสตร์สมัยใหม่ การแปลงลาปลาสโดยทั่วไปจัดอยู่ในกลุ่มวิธีการฟูริเยร์ แต่ทั้งสองอย่างนี้ก็อยู่ภายใต้แนวคิดที่ทั่วไปและนามธรรมกว่ามาก นั่นคือการวิเคราะห์ฮาร์มอนิก
การผกผัน
ยังคงอยู่กับ หากเป็นการวิเคราะห์เชิงซ้อนสำหรับa ≤ τ ≤ bและมีการลดลงเพียงพอในแถบแนวนอน จากนั้น โดยทฤษฎีบทปริพันธ์ของ Cauchyดังนั้นสูตรการผกผันของ Fourier สามารถใช้การอินทิเกรตตามเส้นต่างๆ ที่ขนานกับแกนจริงได้[ 40 ]
ทฤษฎีบท: ถ้าf ( t ) = 0สำหรับt < 0และ| f ( t ) | < Ce ที่สำหรับค่าคงที่C , a > 0และt ≥ 0 บางค่า แล้ว สำหรับτ < − ใดๆเอ/2πภาย ใต้สมมติฐานทั่วไปสำหรับการผกผันฟูริเยร์
ทฤษฎีบทนี้บ่งชี้สูตรการผกผันของ Mellinสำหรับการแปลงลาปลาส[ 39 ] สำหรับ b > a ใดๆโดยที่F ( s ) คือการแปลงลาปลาสของf ( t )
สมมติฐานสามารถอ่อนลงได้ เช่นเดียวกับผลลัพธ์การผกผันฟูริเยร์มาตรฐาน โดยที่f ( t ) e − atเป็นL 1โดยมีเงื่อนไขว่าfจะต้องมีการเปลี่ยนแปลงที่จำกัดในบริเวณใกล้เคียงแบบปิดของt (ดูการทดสอบ Dini ) ค่าของfที่tจะต้องถือเป็นค่าเฉลี่ยเลขคณิตของลิมิตซ้ายและขวา และอินทิกรัลจะต้องอยู่ในความหมายของค่าหลักของ Cauchy [ 41 ]
สูตรการผกผันเหล่านี้ในเวอร์ชัน L 2 ก็มีให้ใช้งานเช่นกัน [ 42 ]
การแปลงฟูริเยร์บนปริภูมิยูคลิด
การแปลงฟูริเยร์สามารถกำหนดได้ในมิติn ใดๆ ก็ได้ เช่นเดียวกับกรณีหนึ่งมิติ มีข้อกำหนดหลายประการ สำหรับฟังก์ชันที่หาปริพันธ์ได้f ( x )บทความนี้ใช้คำจำกัดความดังนี้: โดยที่xและξเป็นเวกเตอร์nมิติและx · ξคือผลคูณดอทของเวกเตอร์ หรืออีกทางหนึ่งξสามารถมองได้ว่าเป็นส่วนหนึ่งของปริภูมิเวกเตอร์คู่ขนาน ซึ่งในกรณีนี้ ผลคูณดอทจะกลายเป็นการหดตัวของxและξ ซึ่งมัก เขียน เป็น⟨ x , ξ ⟩
คุณสมบัติพื้นฐานทั้งหมดที่ระบุไว้ข้างต้นใช้ได้กับ การแปลงฟูริเยร์มิติ nเช่นเดียวกับทฤษฎีบทของ Plancherel และ Parseval เมื่อฟังก์ชันสามารถอินทิเกรตได้ การแปลงฟูริเยร์ยังคงต่อเนื่องสม่ำเสมอและบทตั้ง Riemann–Lebesgueก็ยังคงใช้ได้[ 19 ]
หลักการความไม่แน่นอน
โดยทั่วไปแล้ว ยิ่งf ( x ) มีความเข้มข้นมากเท่าใด การแปลงฟูริเยร์ f̂ ( ξ )ของมันก็ยิ่งต้องกระจายออกไปมากเท่านั้น โดยเฉพาะอย่างยิ่ง คุณสมบัติการปรับขนาดของการแปลงฟูริเยร์อาจมองได้ว่า ถ้าเราบีบฟังก์ชันในxการแปลงฟูริเยร์ของมันจะยืดออกไปในξไม่สามารถทำให้ทั้งฟังก์ชันและการแปลงฟูริเยร์ของมันมีความเข้มข้นได้ตามอำเภอใจ
ความสมดุลระหว่างการบีบอัดฟังก์ชันและการแปลงฟูริเยร์ของฟังก์ชันนั้น สามารถกำหนดเป็นหลักการความไม่แน่นอนได้โดยการมองฟังก์ชันและการแปลงฟูริเยร์ของฟังก์ชันนั้นว่าเป็นตัวแปรคู่ควบกันโดยสัมพันธ์กับรูปแบบซิมเพล็กติกในโดเมนเวลา-ความถี่ : จากมุมมองของการแปลงเชิงเส้นแบบแคนอนิกการแปลงฟูริเยร์คือการหมุน 90° ในโดเมนเวลา-ความถี่ และรักษารูปแบบซิมเพล็กติกไว้
สมมติว่าf ( x )เป็นฟังก์ชัน ที่หาปริพันธ์ได้และ หาปริพันธ์กำลังสองได้โดยไม่เสียความเป็นทั่วไปให้ถือว่าf ( x )เป็นฟังก์ชันมาตรฐาน:
จาก ทฤษฎีบทของ Plancherelสรุปได้ว่าf̂ ( ξ )ก็ได้รับการทำให้เป็นมาตรฐานเช่นกัน
การกระจายรอบx = 0อาจวัดได้จากการกระจายรอบศูนย์ที่กำหนดโดย[ 43 ]
ในแง่ของความน่าจะเป็น นี่คือโมเมนต์ที่สองของ| f ( x ) | 2รอบศูนย์
หลักการความไม่แน่นอนระบุว่า ถ้าf ( x )มีความต่อเนื่องสัมบูรณ์ และฟังก์ชันx · f ( x )และf ' ( x )สามารถหาปริพันธ์กำลังสองได้ แล้ว
ความเท่าเทียมกันจะเกิดขึ้นได้เฉพาะในกรณี ที่σ > 0เป็นค่าใดๆ และC 1 = 4 √ 2/√ σดังนั้น fจึงเป็น L 2 -normalized กล่าวอีกนัยหนึ่งคือ f เป็น ฟังก์ชันเกาส์เซียน (normalized)ที่มีค่าความแปรปรวน σ 2 /2 πโดยมีจุดศูนย์กลางอยู่ที่ศูนย์ และการแปลงฟูริเยร์ของ f ก็เป็นฟังก์ชันเกาส์เซียนที่มีค่าความแปรปรวน σ −2 /2 πฟังก์ชันเกาส์เซียนเป็นตัวอย่างของฟังก์ชันชวาร์ตซ์ (ดูการอภิปรายเกี่ยวกับการกระจายแบบ tempered ด้านล่าง)
ในความเป็นจริง ความไม่เท่าเทียมกันนี้บ่งชี้ว่า: ในกลศาสตร์ควอนตัมฟังก์ชันคลื่นโมเมนตัมและตำแหน่งเป็นคู่การแปลงฟูริเยร์ โดยมีค่าคงที่ของพลังค์ เป็นตัวประกอบ เมื่อพิจารณาค่าคงที่นี้อย่างถูกต้อง ความไม่เท่าเทียมกันข้างต้นจะกลายเป็นข้อความของหลักการความไม่แน่นอนของไฮเซนเบิร์ก[ 44 ]
หลักการความไม่แน่นอนที่เข้มงวดกว่าคือหลักการความไม่แน่นอนของ Hirschmanซึ่งแสดงได้ดังนี้: โดยที่H ( p )คือเอนโทรปีเชิงอนุพันธ์ของฟังก์ชันความหนาแน่นความน่าจะเป็นp ( x ) : โดยที่ลอการิทึมอาจอยู่ในฐานใดก็ได้ที่สอดคล้องกัน ความเท่าเทียมกันเกิดขึ้นสำหรับฟังก์ชันเกาส์เซียน เช่นเดียวกับในกรณีที่ผ่านมา
การแปลงไซน์และโคไซน์
สูตรดั้งเดิมของการแปลงฟูริเยร์ไม่ได้ใช้จำนวนเชิงซ้อน แต่ใช้ไซน์และโคไซน์แทน นักสถิติและคนอื่นๆ ยังคงใช้รูปแบบนี้ ฟังก์ชันf ที่สามารถอินทิเกรตได้อย่างสมบูรณ์ ซึ่งการผกผันฟูริเยร์ใช้ได้ สามารถขยายได้ในรูปของความถี่ที่แท้จริง (หลีกเลี่ยงความถี่เชิงลบ ซึ่งบางครั้งถือว่าตีความทางกายภาพได้ยาก[ 45 ] ) λโดย
นี่เรียกว่าการขยายในรูปอินทิกรัลตรีโกณมิติหรือการขยายอินทิกรัลฟูริเยร์ ฟังก์ชันสัมประสิทธิ์aและbสามารถหาได้โดยใช้การแปลงโคไซน์ฟูริเยร์และการแปลงไซน์ฟูริเยร์แบบต่างๆ (การทำให้เป็นมาตรฐานนั้นยังไม่ได้กำหนดมาตรฐาน): และ
เอกสารเก่าๆ กล่าวถึงฟังก์ชันการแปลงสองฟังก์ชัน ได้แก่ การแปลงฟูริเยร์โคไซน์ ( a ) และการแปลงฟูริเยร์ไซน์ ( b )
ฟังก์ชันfสามารถกู้คืนได้จากการแปลงไซน์และโคไซน์โดยใช้ ร่วมกับเอกลักษณ์ตรีโกณมิติ ซึ่งเรียกว่าสูตรอินทิกรัลของฟูริเยร์[ 39 ] [ 46 ] [ 47 ] [ 48 ]
ฮาร์มอนิกทรงกลม
ให้เซตของพหุนาม ฮาร์ มอนิกเอกพันธุ์ ดีกรีkบนR nแทนด้วยA kเซตA kประกอบด้วยฮาร์มอนิกทรงกลมแข็งดีกรีkฮาร์มอนิกทรงกลมแข็งมีบทบาทคล้ายคลึงกันในมิติที่สูงกว่ากับพหุนามเฮอร์ไมต์ในมิติหนึ่ง โดยเฉพาะอย่างยิ่ง ถ้าf ( x ) = e −π| x | 2 P ( x )สำหรับP ( x ) บางตัว ในA kแล้ว ให้เซตH kเป็นการปิดในL 2 ( R n )ของการรวมเชิงเส้นของฟังก์ชันในรูปแบบf (| x |) P ( x )โดยที่P ( x )อยู่ในA kพื้นที่L 2 ( R n )จึงเป็นผลรวมโดยตรงของพื้นที่H kและการแปลงฟูริเยร์จะแมปแต่ละพื้นที่H kไปยังตัวมันเอง และสามารถกำหนดลักษณะการกระทำของการแปลงฟูริเยร์บนแต่ละพื้นที่H kได้[ 19 ]
ให้f ( x ) = f 0 (| x |) P ( x ) (โดยที่P ( x )อยู่ในA k ) แล้ว โดย ที่
ในที่นี้J ( n + 2 k − 2)/2หมายถึงฟังก์ชันเบสเซลชนิดแรกที่มีอันดับn + 2 k − 2/2เมื่อ k = 0จะได้สูตรที่มีประโยชน์สำหรับการแปลงฟูริเยร์ของฟังก์ชันรัศมี [ 49 ] ซึ่งโดยพื้นฐานแล้วคือการแปลงแฮงเคลยิ่งไปกว่านั้น ยังมีการเรียกซ้ำอย่างง่ายที่เชื่อมโยงกรณี n + 2และ n [ 50 ]ซึ่งช่วยให้สามารถคำนวณการแปลงฟูริเยร์สามมิติของฟังก์ชันรัศมีจากฟังก์ชันหนึ่งมิติได้
ปัญหาข้อจำกัด
ในมิติที่สูงขึ้น การศึกษาปัญหาการจำกัดขอบเขตของการแปลงฟูริเยร์กลายเป็นเรื่องที่น่าสนใจ การแปลงฟูริเยร์ของฟังก์ชันที่หาปริพันธ์ได้นั้นมีความต่อเนื่อง และการจำกัดขอบเขตของฟังก์ชันนี้บนเซตใดๆ ก็สามารถกำหนดได้ แต่สำหรับฟังก์ชันที่หาปริพันธ์กำลังสองได้ การแปลงฟูริเยร์อาจเป็นกลุ่มทั่วไปของฟังก์ชัน ที่หาปริพันธ์กำลังสอง ได้ดังนั้น การจำกัดขอบเขตของการแปลงฟูริเยร์ของ ฟังก์ชัน L² ( Rn )จึง ไม่สามารถกำหนดได้บน เซต ที่มีขนาดเป็น 0 การทำความเข้าใจปัญหาการจำกัดขอบเขตใน Lpสำหรับ1 < p < 2ยังคงเป็นหัวข้อการศึกษาที่สำคัญในบางกรณีสามารถกำหนดการจำกัดขอบเขตของการแปลงฟูริเยร์บนเซตS ได้ หาก Sมีความโค้งไม่เป็นศูนย์ กรณีที่Sเป็นทรงกลมหน่วยในRn นั้นมีความน่าสนใจเป็นพิเศษ ในกรณีนี้ ทฤษฎีบทการจำกัดขอบเขตของโทมัส- สไตน์ระบุว่า การจำกัดขอบเขตของการแปลงฟูริเยร์บนทรงกลมหน่วยในRnเป็นตัวดำเนินการที่มีขอบเขตบนLp ก็ต่อเมื่อ1 ≤ p ≤ 2n + 2/n + 3 .
ความแตกต่างที่สำคัญอย่างหนึ่งระหว่างการแปลงฟูริเยร์ในมิติเดียวเทียบกับมิติที่สูงกว่านั้นเกี่ยวข้องกับตัวดำเนินการผลรวมย่อย พิจารณาชุดที่วัดได้E R ที่เพิ่มขึ้นเรื่อยๆ โดยมีดัชนีเป็นR ∈ (0, ∞)เช่น ลูกบอลรัศมีRที่มีจุดศูนย์กลางอยู่ที่จุดกำเนิด หรือลูกบาศก์ด้านยาว2 Rสำหรับฟังก์ชันที่หาปริพันธ์ได้f ที่กำหนด ให้พิจารณาฟังก์ชันf Rที่กำหนดโดย:
สมมติเพิ่มเติมว่าf ∈ L p ( R n )สำหรับn = 1และ1 < p < ∞ถ้าเราเลือกE R = (− R , R )แล้วf Rจะลู่เข้าสู่fในL pเมื่อRเข้าสู่อินฟินิตี้ โดยอาศัยความมีขอบเขตของการแปลงฮิลเบิร์ตโดยทั่วไปแล้วเราอาจหวังว่าสิ่งเดียวกันนี้จะเป็นจริงสำหรับn > 1ในกรณีที่E Rถูกกำหนดให้เป็นลูกบาศก์ที่มีความยาวด้านRการลู่เข้าก็ยังคงเป็นจริง ตัวเลือกที่เป็นไปได้อีกอย่างหนึ่งคือลูกบอลยุคลิดE R = { ξ : | ξ | < R }เพื่อให้ตัวดำเนินการผลรวมย่อยนี้ลู่เข้า จำเป็นต้องมีตัวคูณสำหรับลูกบอลหน่วยที่มีขอบเขตในL p ( R n )สำหรับn ≥ 2เป็นทฤษฎีบทที่มีชื่อเสียงของCharles Feffermanที่ว่าตัวคูณสำหรับลูกบอลหน่วยจะไม่มีขอบเขตเว้นแต่p = 2 [ 51 ]ในความเป็นจริง เมื่อp ≠ 2สิ่งนี้แสดงให้เห็นว่าไม่เพียงแต่f R อาจ ไม่ลู่เข้าสู่fในL pเท่านั้น แต่สำหรับบางฟังก์ชันf ∈ L p ( R n ) f Rยังไม่เป็นองค์ประกอบของL pด้วย ซ้ำ
การแปลงฟูริเยร์บนปริภูมิฟังก์ชัน
นิยามของการแปลงฟูริเยร์ขยายจากไปได้ อย่างเป็นธรรมชาติ นั่นคือ ถ้าการแปลงฟูริเยร์ จะกำหนดโดย ตัวดำเนินการนี้มีขอบเขตเป็นซึ่ง แสดงให้เห็นว่าบรรทัดฐานของตัวดำเนินการมีขอบเขตโดย1 ทฤษฎีบท ของรีมันน์-เลเบสแสดงให้เห็นว่า ถ้าการแปลงฟูริเยร์ของมันอยู่ใน ปริภูมิของฟังก์ชัน ต่อเนื่องที่หายไปที่อนันต์ กล่าวคือ[ 52 ] [ 53 ] ยิ่งไปกว่านั้นภาพของภายใต้ เป็นเซต ย่อยที่เข้มงวดของ[ 54 ]
เช่นเดียวกับกรณีของตัวแปรเดียว การแปลงฟูริเยร์สามารถกำหนดได้บน การแปลงฟูริเยร์ในไม่ได้กำหนดโดยปริพันธ์เลเบสธรรมดาอีกต่อไป แม้ว่าจะสามารถคำนวณได้โดยปริพันธ์ที่ไม่เหมาะสม กล่าว คือ โดยที่ลิมิตถูกพิจารณาในความหมายL 2 [หมายเหตุ 7 ] [ 55 ]
นอกจากนี้ ยังเป็นตัวดำเนินการเอกภาพ [ 56 ] สำหรับตัวดำเนินการที่จะเป็นเอกภาพนั้น เพียงพอที่จะแสดงว่ามันเป็นฟังก์ชันหนึ่งต่อหนึ่งทั่วถึงและรักษาผลคูณภายใน ทฤษฎีบทการผกผันของฟูริเยร์บ่งชี้ว่าการแปลงเป็นฟังก์ชันหนึ่งต่อหนึ่งทั่วถึง นอกจากนี้ สำหรับf , g ∈ L 2 ( R n ) ใดๆ เรามี ดังนั้น
ดังนั้นการแปลงจึงรักษาผลคูณภายในไว้
ในเรื่องL p อื่นๆ
สำหรับ การแปลงฟูริเยร์สามารถกำหนดได้บนโดยการแทรกสอดแบบ Riesz–Thorinซึ่งเทียบเท่ากับการแยกฟังก์ชันดังกล่าวออกเป็นส่วนหางอ้วนในL 2บวกกับส่วนตัวอ้วนในL 1ในแต่ละปริภูมิเหล่านี้ การแปลงฟูริเยร์ของฟังก์ชันในL p ( R n )จะอยู่ในL q ( R n )โดยที่q = พี/พี − 1คือคอนจูเกตโฮลเดอร์ของ p (โดยความไม่เท่าเทียมกันของเฮาส์ดอร์ฟ- ยัง ) อย่างไรก็ตาม ยกเว้น p = 2ภาพนั้นไม่สามารถระบุลักษณะได้ง่าย การขยายเพิ่มเติมกลายเป็นเรื่องทางเทคนิคมากขึ้น การแปลงฟูริเยร์ของฟังก์ชันใน L pสำหรับช่วง 2 < p < ∞จำเป็นต้องมีการศึกษาการกระจาย [ 57 ]ในความเป็นจริง สามารถแสดงได้ว่ามีฟังก์ชันใน L pที่ p > 2ดังนั้นการแปลงฟูริเยร์จึงไม่ถูกกำหนดเป็นฟังก์ชัน [ 19 ]
การกระจายแบบเทมเปอร์
อาจพิจารณาขยายโดเมนของการแปลงฟูริเยร์จากโดยพิจารณาฟังก์ชันทั่วไปหรือการกระจาย การกระจายบนคือฟังก์ชันเชิงเส้นต่อเนื่องบนปริภูมิของฟังก์ชันเรียบที่รองรับอย่างกะทัดรัด (เช่นฟังก์ชันบัมพ์ ) ที่มีโทโพโลยีที่เหมาะสม เนื่องจากมีความหนาแน่นในทฤษฎีบทของ Plancherelอนุญาตให้ขยายคำจำกัดความของการแปลงฟูริเยร์ไปยังฟังก์ชันทั่วไปในโดยใช้การอ้างเหตุผลความต่อเนื่อง กลยุทธ์คือการพิจารณาการกระทำของการแปลงฟูริเยร์บนและเปลี่ยนไปใช้การกระจายโดยความเป็นคู่ อุปสรรคในการทำเช่นนี้คือการแปลงฟูริเยร์ไม่ได้แมปไปยังในความเป็นจริง การแปลงฟูริเยร์ขององค์ประกอบในไม่สามารถเป็นศูนย์บนเซตเปิด ดูการอภิปรายข้างต้นเกี่ยวกับหลักการความไม่แน่นอน[ 58 ] [ 59 ]
การแปลงฟูริเยร์ยังสามารถกำหนดได้สำหรับการกระจายแบบเทมเปอร์ซึ่งเป็นคู่ขนานกับปริภูมิของฟังก์ชันชวาร์ตซ์ฟังก์ชันชวาร์ตซ์เป็นฟังก์ชันเรียบที่ลดลงที่อนันต์ พร้อมกับอนุพันธ์ทั้งหมดของมัน ดังนั้นและ: การแปลงฟูริเยร์เป็นออโตมอร์ฟิซึมของปริภูมิชวาร์ตซ์ และโดยความเป็นคู่ขนาน ยังเป็นออโตมอร์ฟิซึมของปริภูมิของการกระจายแบบเทมเปอร์ด้วย[ 19 ] [ 60 ]การกระจายแบบเทมเปอร์ประกอบด้วยฟังก์ชันที่มีพฤติกรรมดีของการเติบโตแบบพหุนาม การกระจายของส่วนรองรับแบบกะทัดรัด เช่นเดียวกับฟังก์ชันที่สามารถอินทิเกรตได้ทั้งหมดที่กล่าวถึงข้างต้น
สำหรับคำจำกัดความของการแปลงฟูริเยร์ของการกระจายแบบเทมเปอร์ ให้และเป็นฟังก์ชันที่สามารถอินทิเกรตได้ และให้และเป็นการแปลงฟูริเยร์ของฟังก์ชันเหล่านั้นตามลำดับ จากนั้นการแปลงฟูริเยร์จะเป็นไปตามสูตรการคูณต่อไปนี้[ 19 ]
ฟังก์ชันที่สามารถหาปริพันธ์ได้ทุกฟังก์ชันจะกำหนด (เหนี่ยวนำ) การแจกแจงโดยความสัมพันธ์ ดังนั้นจึงสมเหตุสมผลที่จะกำหนดการแปลงฟูริเยร์ของการแจกแจงแบบเทมเปอร์โดยใช้ความเป็นคู่: การขยายสิ่งนี้ไปยังการแจกแจงแบบเทมเปอร์ทั้งหมดจะให้คำจำกัดความทั่วไปของการแปลงฟูริเยร์
สามารถหาอนุพันธ์ของการกระจายได้ และความเข้ากันได้ของการแปลงฟูริเยร์กับการหาอนุพันธ์และการสังเคราะห์ที่กล่าวถึงข้างต้นยังคงเป็นจริงสำหรับการกระจายแบบเทมเปอร์
การสรุปโดยทั่วไป
การแปลงฟูริเยร์-สตีลต์เจสบนปริภูมิที่วัดได้
การแปลงฟูริเยร์ของการวัดโบเรลจำกัดμบนR nซึ่งกำหนดโดยฟังก์ชันที่มีขอบเขตและต่อเนื่องสม่ำเสมอ: [ 61 ] [ 62 ] เรียกว่าการแปลงฟูริเยร์-สตีลเจสเนื่องจากความเชื่อมโยงกับ การแสดง แทนอินทิกรัลรีมันน์-สตีลเจสของการวัด (ราดอน) [ 63 ] ถ้าเป็นการแจกแจงความน่าจะเป็นของตัวแปรสุ่ม การแปลงฟูริเยร์-สตีลเจสของมันก็คือ ฟังก์ชันลักษณะเฉพาะตามนิยาม[ 64 ]นอกจากนี้ ถ้าการแจกแจงความน่าจะเป็นมีฟังก์ชันความหนาแน่นความน่าจะเป็นนิยามนี้จะอยู่ภายใต้การแปลงฟูริเยร์แบบปกติ[ 65 ]กล่าวโดยทั่วไปมากขึ้น เมื่อมีความต่อเนื่องสัมบูรณ์เทียบกับการวัดเลเบสก์ นั่นคือ แล้ว และการแปลงฟูริเยร์-สตีลเจสจะลดลงเหลือนิยามปกติของการแปลงฟูริเยร์ กล่าวคือ ความแตกต่างที่สำคัญกับการแปลงฟูริเยร์ของฟังก์ชันที่สามารถอินทิเกรตได้คือ การแปลงฟูริเยร์-สติลต์เจสไม่จำเป็นต้องเป็นศูนย์ที่อนันต์ กล่าวคือทฤษฎีบทของรีมันน์-เลเบสก์ล้มเหลวสำหรับการวัด[ 66 ]
ทฤษฎีบทของ Bochnerระบุลักษณะฟังก์ชันที่อาจเกิดขึ้นจากการแปลงฟูริเยร์-สตีลต์เจสของมาตรวัดบวกบนวงกลม
ตัวอย่างหนึ่งของการวัด Borel แบบจำกัดที่ไม่ใช่ฟังก์ชันคือการวัด Dirac [ 67 ]การแปลงฟูริเยร์ของมันคือฟังก์ชันคงที่ (ซึ่งค่าขึ้นอยู่กับรูปแบบของการแปลงฟูริเยร์ที่ใช้)
กลุ่มอาเบเลียนที่มีขนาดกะทัดรัดในระดับท้องถิ่น
การแปลงฟูริเยร์สามารถขยายไปสู่กลุ่มอาเบลแบบกระชับเฉพาะที่ ใดๆ ก็ได้ กล่าวคือกลุ่มอาเบลที่เป็นปริภูมิเฮาส์ดอร์ฟแบบกระชับเฉพาะที่ เช่นกัน ซึ่งการดำเนินการของกลุ่มนั้นต่อเนื่อง หากGเป็นกลุ่มอาเบลแบบกระชับเฉพาะที่ จะมีการวัดμ ที่ไม่เปลี่ยนแปลงภายใต้การแปล เรียกว่าการวัดฮาร์สำหรับกลุ่มอาเบลแบบกระชับเฉพาะที่Gเซตของการแสดงแทนแบบเอกภาพที่ไม่สามารถลดทอนได้ กล่าวคือ มิติเดียว เรียกว่าอักขระด้วยโครงสร้างกลุ่มตามธรรมชาติและโทโพโลยีของการลู่เข้าแบบสม่ำเสมอบนเซตกระชับ (นั่นคือ โทโพโลยีที่เหนี่ยวนำโดยโทโพโลยีแบบกระชับ-เปิดบนปริภูมิของฟังก์ชันต่อเนื่องทั้งหมดจากไปยังกลุ่มวงกลม ) เซตของอักขระĜนั้นเป็นกลุ่มอาเบลแบบกระชับเฉพาะที่ เรียกว่าคู่ปอนทรียาจินของGสำหรับฟังก์ชันfในL 1 ( G )การแปลงฟูริเยร์ของมันถูกกำหนดโดย[ 57 ]
ทฤษฎีบท Riemann–Lebesgue ใช้ได้ในกรณีนี้f̂ ( ξ )เป็นฟังก์ชันที่หายไปที่อนันต์บน Ĝ
การแปลงฟูริเยร์บนT = R/Zเป็นตัวอย่างหนึ่ง โดยที่Tเป็นกลุ่มอาเบเลียนแบบกระชับเฉพาะที่ และมาตรวัดฮาร์μบนTสามารถคิดได้ว่าเป็นมาตรวัดเลเบสบน [0,1) พิจารณาการแสดงแทนของTบนระนาบเชิงซ้อนCซึ่งคิดว่าเป็นปริภูมิเวกเตอร์เชิงซ้อน 1 มิติ มีกลุ่มของการแสดงแทนดังกล่าว (ซึ่งไม่สามารถลดทอนได้เนื่องจากCเป็น 1 มิติ) โดยที่สำหรับ .
ลักษณะเฉพาะของการแทนดังกล่าว นั่นคือร่องรอยของ(คิดว่าเป็นเมทริกซ์หนึ่งคูณหนึ่ง) สำหรับแต่ละและ ก็คือตัวมันเอง ในกรณีของการแทนกลุ่มจำกัด ตารางลักษณะเฉพาะของกลุ่มGประกอบด้วยแถวของเวกเตอร์ โดยแต่ละแถวคือลักษณะเฉพาะของการแทนแบบลดทอนไม่ได้หนึ่งเดียวของGและเวกเตอร์เหล่านี้ก่อให้เกิดฐานตั้งฉากปกติของปริภูมิของฟังก์ชันชั้น (หมายถึงไม่เปลี่ยนแปลงภายใต้การแปลงผัน) ที่แมปจากGไปยังCโดยทฤษฎีบทของ Schur กลุ่มTไม่ใช่กลุ่มจำกัดอีกต่อไป แต่ยังคงเป็นกลุ่มกระชับ และรักษาความเป็นตั้งฉากปกติของตารางลักษณะเฉพาะไว้ แต่ละแถวของตารางเป็นฟังก์ชันของ และผลคูณภายในระหว่างฟังก์ชันชั้นสองฟังก์ชัน ( ฟังก์ชันทั้งหมดเป็นฟังก์ชันชั้นเนื่องจากTเป็นกลุ่มอาเบเลียน) ถูกกำหนดเป็นโดยมีตัวประกอบการทำให้เป็นมาตรฐาน ลำดับเป็นฐานตั้งฉากปกติของปริภูมิของฟังก์ชันชั้น
สำหรับตัวแทนV ใดๆ ของกลุ่มจำกัดGสามารถแสดงได้ในรูปของสแปน( โดยที่ คือตัวแทนที่ไม่สามารถลดทอนได้ของG ) โดยที่ ใน ทำนองเดียวกันสำหรับและ , คู่แบบปอนทริอาจินคือและสำหรับ , คือการแปลงฟูริเยร์ของมันสำหรับ .
การแปลงเกลฟานด์
การแปลงฟูริเยร์ก็เป็นกรณีพิเศษของการแปลงเกลฟานด์ เช่นกัน ในบริบทนี้ มันมีความเกี่ยวข้องอย่างใกล้ชิดกับแผนที่ทวิภาวะของปอนทรียาจินที่ได้นิยามไว้ข้างต้น
กำหนดให้G เป็นกลุ่มทอพอโลยีเฮาส์ดอ ร์ฟแบบอาเบเลียน ที่กระชับเฉพาะที่ เช่นเดียวกับก่อนหน้านี้ เราพิจารณา ปริภูมิ L 1 ( G )ซึ่งกำหนดโดยใช้การวัดแบบฮาร์ ด้วยการสังเคราะห์เป็นการคูณL 1 ( G )จึงเป็นพีชคณิตบานาค แบบอาเบเลียน นอกจากนี้ยังมีการผกผัน * ที่กำหนดโดย
การหาค่าสมบูรณ์โดยสัมพันธ์กับนอร์มC * ที่ใหญ่ที่สุดที่เป็นไปได้ จะได้พีชคณิต C * ที่ห่อหุ้มอยู่ ซึ่งเรียกว่า พีชคณิตกลุ่มC * ( G )ของG (นอร์ม C* ใดๆบน L1 ( G ) จะถูกจำกัดด้วย นอร์ม L1 ดังนั้นค่าสูงสุดของนอร์ม C * จึงมีอยู่)
เมื่อกำหนด พีชคณิต C *-อาเบ เลียน A ใดๆ การแปลง Gelfand จะให้ไอโซมอร์ฟิซึมระหว่างAและC0 ( A ^ )โดยที่A ^คือฟังก์ชันเชิงเส้นแบบคูณ กล่าวคือ การแทนแบบหนึ่งมิติ บนAที่มีโทโพโลยีแบบอ่อน-* แผนที่นี้กำหนดโดยง่ายๆ ปรากฏว่าฟังก์ชันเชิงเส้นแบบคูณของC *( G )หลังจากการระบุที่เหมาะสมแล้ว ก็คืออักขระของG อย่างแท้จริง และการแปลง Gelfand เมื่อจำกัดเฉพาะเซต ย่อยหนาแน่นL1 ( G )ก็คือการแปลง Fourier–Pontriagin
กลุ่มไม่สลับที่ขนาดกะทัดรัด
การแปลงฟูริเยร์ยังสามารถกำหนดสำหรับฟังก์ชันบนกลุ่มที่ไม่ใช่อาเบเลียนได้ โดยมีเงื่อนไขว่ากลุ่มนั้นเป็นกลุ่มกระชับการลบสมมติฐานที่ว่ากลุ่มพื้นฐานเป็นกลุ่มอาเบเลียนออกไป การแสดงแทนเอกภาพที่ไม่สามารถลดทอนได้ไม่จำเป็นต้องเป็นมิติเดียวเสมอไป ซึ่งหมายความว่าการแปลงฟูริเยร์บนกลุ่มที่ไม่ใช่อาเบเลียนจะมีค่าเป็นตัวดำเนินการในปริภูมิฮิลเบิร์ต[ 68 ]การแปลงฟูริเยร์บนกลุ่มกระชับเป็นเครื่องมือสำคัญในทฤษฎีการแสดงแทน[ 69 ]และการวิเคราะห์ฮาร์มอนิกแบบไม่สลับที่
ให้Gเป็นกลุ่มทอพอโลยีเฮาส์ดอร์ฟแบบ กระชับ และให้λเป็นมาตรวัดฮาร์ แบบนอร์มาไลซ์ของกลุ่ม นั้นให้Σแทนกลุ่มของคลาสไอโซมอร์ฟิซึมทั้งหมดของการแสดงแทน เอกภาพที่ไม่สามารถลดทอนได้ในมิติจำกัด พร้อมกับการเลือกการแสดงแทนU ( σ ) ที่แน่นอน บนปริภูมิฮิลเบิร์ตHσที่มีมิติจำกัดdσสำหรับแต่ละσ ∈ Σ
สำหรับf ∈ L 1 ( G )การแปลงฟูริเยร์ของfที่σคือตัวดำเนินการบนH σที่กำหนดโดย เทียบเท่ากับ เนื่องจากU ( σ ) เป็นตัวดำเนินการเอกภาพ จึงสามารถเขียนได้โดยใช้ตัว ดำเนิน การผกผันเช่นกัน
ถ้าμ เป็น มาตรวัดบอเรลเชิงซ้อนจำกัดบนGแล้ว การแปลงฟูริเยร์-สตีลเจสของμคือตัวดำเนินการบนH σที่กำหนดโดย หรือโดยอ่อน ถ้าμมีความต่อเนื่องสัมบูรณ์เทียบกับλซึ่งแสดงเป็น สำหรับf ∈ L 1 ( G ) บาง ตัว เราจะระบุการแปลงฟูริเยร์ของfว่าเป็นการแปลงฟูริเยร์-สตีลเจสของ μ
การแมปนี้ เป็นแบบหนึ่งต่อหนึ่งและส่งมาตรวัดจำกัดไปยังฟิลด์ที่มีขอบเขตของตัวดำเนินการ(\widehat\mu(\sigma)) σ∈Σดังนั้น จึงอาจมองได้ว่าเป็นการแทนพีชคณิต Banach M ( G )ของมาตรวัด Borel จำกัด โดยการคูณกำหนดโดยการสังเคราะห์ของมาตรวัด ด้วยข้อตกลงข้างต้น การสังเคราะห์จะสอดคล้องกับการคูณตัวดำเนินการโดยกลับลำดับ: การใช้ข้อตกลงทางเลือก\widehat f(\sigma)=\int_G f(g)U^{(\sigma)}_g\,d\lambda(g)จะกลับลำดับนี้ การผกผันบนM ( G )กำหนดสำหรับมาตรวัดต่อเนื่องสัมบูรณ์โดย เนื่องจากกลุ่มกระชับเป็นแบบ unimodular
ทฤษฎีบท ปีเตอร์-ไวล์เป็นจริง และสูตรการผกผันฟูริเยร์เวอร์ชันหนึ่งมีดังนี้: ถ้าf ∈ L 2 ( G )แล้ว โดยที่ผลรวมนั้นเข้าใจว่าเป็นการลู่เข้าในความหมายของL 2สูตรแพลนเชอเรลที่สอดคล้องกันคือ โดยที่||·|| HSหมายถึงนอร์มฮิลเบิร์ต-ชมิดต์
การขยายผลของการแปลงฟูริเยร์ไปยังสถานการณ์ที่ไม่สลับที่กันได้นั้น มีส่วนช่วยในการพัฒนาเรขาคณิตที่ไม่สลับที่กันได้ ด้วย ในบริบทนี้ การขยายผลของการแปลงฟูริเยร์ไปยังกลุ่มที่ไม่สลับที่กันได้ในเชิงหมวดหมู่ คือทฤษฎีทวิภาวะของทานนากะ-เครนซึ่งแทนที่กลุ่มของอักขระด้วยหมวดหมู่ของการแทน อย่างไรก็ตาม นี่ไม่ใช่เพียงแค่การแปลงฟังก์ชันค่าสเกลาร์ไปเป็นฟังก์ชันค่าสเกลาร์อีกต่อไป
ทางเลือกอื่นๆ
ใน แง่ของ การประมวลผลสัญญาณฟังก์ชัน (ของเวลา) คือการแสดงสัญญาณด้วยความละเอียดของเวลา ที่สมบูรณ์แบบ แต่ไม่มีข้อมูลความถี่ ในขณะที่การแปลงฟูริเยร์มีความละเอียดของความถี่ ที่สมบูรณ์แบบ แต่ไม่มีข้อมูลเวลา: ขนาดของการแปลงฟูริเยร์ ณ จุดใดจุดหนึ่งแสดงถึงปริมาณความถี่ แต่ตำแหน่งจะระบุได้จากเฟส (อาร์กิวเมนต์ของการแปลงฟูริเยร์ ณ จุดนั้น) เท่านั้น และคลื่นนิ่งไม่ได้จำกัดอยู่เฉพาะในเวลา – คลื่นไซน์จะต่อเนื่องไปจนถึงอนันต์โดยไม่ลดทอน สิ่งนี้จำกัดประโยชน์ของการแปลงฟูริเยร์ในการวิเคราะห์สัญญาณที่จำกัดอยู่เฉพาะในเวลา โดยเฉพาะอย่างยิ่งสัญญาณชั่วคราวหรือสัญญาณใดๆ ที่มีขอบเขตจำกัด
ในการวิเคราะห์เวลา-ความถี่ นอกเหนือจากการแปลงฟูริเยร์ แล้ว ยังใช้การแปลงเวลา-ความถี่หรือการกระจายเวลา-ความถี่เพื่อแสดงสัญญาณในรูปแบบที่มีข้อมูลเวลาและข้อมูลความถี่บางส่วน โดยหลักการความไม่แน่นอนนั้นมีการแลกเปลี่ยนระหว่างสิ่งเหล่านี้ การแปลงเหล่านี้อาจเป็นการขยายความของการแปลงฟูริเยร์ เช่นการแปลงฟูริเยร์แบบช่วงเวลาสั้น การแปลงฟูริ เย ร์แบบเศษส่วนการแปลงฟูริเยร์แบบซิงโครสควีซซิ่ง[ 70 ] หรือฟังก์ชันอื่นๆ เพื่อ แสดงสัญญาณ เช่นการแปลงเวฟเล็ตและการแปลงชิปเล็ต โดยการแปลงเวฟเล็ตแบบ ต่อเนื่องเป็นการแปลงเวฟเล็ตแบบอนาล็อกของการแปลงฟูริเยร์[ 27 ]
ตัวอย่าง
ภาพต่อไปนี้แสดงให้เห็นภาพประกอบว่าปริพันธ์ของการแปลงฟูริเยร์ใช้วัดว่าความถี่นั้นมีอยู่ในฟังก์ชันใดฟังก์ชันหนึ่งหรือไม่ ภาพแรกแสดงฟังก์ชัน ซึ่งเป็นคลื่นโคไซน์ 3 เฮิรตซ์ (พจน์แรก) ที่มีรูปร่างโดยฟังก์ชันซองเกาส์เซียน (พจน์ที่สอง) ซึ่งทำให้คลื่นเปิดและปิดอย่างราบรื่น ภาพ 2 ภาพถัดไปแสดงผลคูณ ซึ่งต้องนำมาอินทิเกรตเพื่อคำนวณการแปลงฟูริเยร์ที่ +3 เฮิรตซ์ ส่วนจริงของตัวอินทิเกรตมีค่าเฉลี่ยที่ไม่เป็นลบ เนื่องจากเครื่องหมายสลับกันของและแกว่งด้วยอัตราเดียวกันและเฟสเดียวกัน ในขณะที่และแกว่งด้วยอัตราเดียวกันแต่เฟสตั้งฉากกัน ค่าสัมบูรณ์ของการแปลงฟูริเยร์ที่ +3 เฮิรตซ์ คือ 0.5 ซึ่งค่อนข้างมาก เมื่อบวกกับการแปลงฟูริเยร์ที่ -3 เฮิรตซ์ (ซึ่งเหมือนกันเพราะเราเริ่มต้นด้วยสัญญาณจริง) เราพบว่าแอมพลิจูดของส่วนประกอบความถี่ 3 เฮิรตซ์ คือ 1

อย่างไรก็ตาม เมื่อคุณพยายามวัดความถี่ที่ไม่มีอยู่จริง ทั้งส่วนจริงและส่วนจินตนาการของปริพันธ์จะเปลี่ยนแปลงอย่างรวดเร็วระหว่างค่าบวกและค่าลบ ตัวอย่างเช่น เส้นโค้งสีแดงกำลังมองหาความถี่ 5 เฮิรตซ์ ค่าสัมบูรณ์ของปริพันธ์เกือบเป็นศูนย์ ซึ่งบ่งชี้ว่าแทบไม่มีส่วนประกอบของความถี่ 5 เฮิรตซ์อยู่ในสัญญาณเลย สถานการณ์โดยทั่วไปมักจะซับซ้อนกว่านี้ แต่โดยหลักการแล้ว นี่คือวิธีที่การแปลงฟูริเยร์วัดว่ามีความถี่แต่ละความถี่อยู่ในฟังก์ชันมากน้อยเพียงใด
- ส่วนจริงและส่วนจินตนาการของฟังก์ชันอินทิกรัลสำหรับการแปลงฟูริเยร์ที่ความถี่ +5 เฮิรตซ์
- ขนาดของการแปลงฟูริเยร์ โดยมีเครื่องหมาย +3 และ +5 เฮิรตซ์กำกับไว้
เพื่อเน้นย้ำประเด็นก่อนหน้านี้ เหตุผลของการตอบสนองที่ระดับเฮิรตซ์คือ เนื่องจากและนั้นแยกแยะไม่ได้ การแปลงของ จะมีการตอบสนองเพียงครั้งเดียว ซึ่งแอมพลิจูดคือปริพันธ์ของซองคลื่นเรียบ: ในขณะ ที่ คือ
แอปพลิเคชัน

การดำเนินการเชิงเส้นที่ทำในโดเมนหนึ่ง (เวลาหรือความถี่) จะมีการดำเนินการที่สอดคล้องกันในอีกโดเมนหนึ่ง ซึ่งบางครั้งอาจทำได้ง่ายกว่า การดำเนินการหาอนุพันธ์ในโดเมนเวลาจะสอดคล้องกับการคูณด้วยความถี่[หมายเหตุ 8 ]ดังนั้นสมการเชิงอนุพันธ์ บางสมการ จึงวิเคราะห์ได้ง่ายกว่าในโดเมนความถี่ นอกจากนี้การสังเคราะห์ในโดเมนเวลาจะสอดคล้องกับการคูณธรรมดาในโดเมนความถี่ (ดูทฤษฎีบทการสังเคราะห์ ) หลังจากดำเนินการตามที่ต้องการแล้ว สามารถแปลงผลลัพธ์กลับไปยังโดเมนเวลาได้การวิเคราะห์ฮาร์มอนิกคือการศึกษาอย่างเป็นระบบเกี่ยวกับความสัมพันธ์ระหว่างโดเมนความถี่และโดเมนเวลา รวมถึงประเภทของฟังก์ชันหรือการดำเนินการที่ "ง่ายกว่า" ในโดเมนใดโดเมนหนึ่ง และมีความเชื่อมโยงอย่างลึกซึ้งกับหลายสาขาของคณิตศาสตร์สมัยใหม่
การวิเคราะห์สมการเชิงอนุพันธ์
บางทีการใช้งานที่สำคัญที่สุดของการแปลงฟูริเยร์ก็คือการแก้สมการเชิงอนุพันธ์ย่อย สมการจำนวนมากในฟิสิกส์เชิงคณิตศาสตร์ในศตวรรษที่สิบเก้าสามารถแก้ไขได้ด้วยวิธีนี้ ฟูริเยร์ศึกษาสมการความร้อน ซึ่งในมิติเดียวและในหน่วยไร้มิติคือ ตัวอย่างที่เราจะยกมา ซึ่งยากขึ้นเล็กน้อย คือสมการคลื่นในมิติเดียว
เช่นเคย ปัญหาไม่ได้อยู่ที่การหาคำตอบ เพราะมีคำตอบมากมายนับไม่ถ้วน ปัญหาอยู่ที่สิ่งที่เรียกว่า "ปัญหาขอบเขต" คือ การหาคำตอบที่สอดคล้องกับ "เงื่อนไขขอบเขต"
ในที่นี้fและgเป็นฟังก์ชันที่กำหนดให้ สำหรับสมการความร้อนนั้น อาจต้องการเงื่อนไขขอบเขตเพียงเงื่อนไขเดียว (โดยปกติจะเป็นเงื่อนไขแรก) แต่สำหรับสมการคลื่นนั้น ยังคงมีคำตอบy ที่เป็นอนันต์จำนวนมากมาย ที่สอดคล้องกับเงื่อนไขขอบเขตแรก แต่เมื่อกำหนดเงื่อนไขทั้งสองเงื่อนไข จะมีคำตอบที่เป็นไปได้เพียงคำตอบเดียวเท่านั้น
การหาฟูริเยร์ทรานส์ฟอร์ม ŷ ของคำตอบ นั้นง่ายกว่าการหาคำตอบโดยตรง เนื่องจากฟูริเยร์ทรานส์ฟอร์มจะเปลี่ยนการหาอนุพันธ์เป็นการคูณด้วยตัวแปรคู่ฟูริเยร์ ดังนั้นสมการอนุพันธ์ย่อยที่ใช้กับฟังก์ชันดั้งเดิมจึงถูกแปลงเป็นการคูณด้วยฟังก์ชันพหุนามของตัวแปรคู่ที่ใช้กับฟังก์ชันที่แปลงแล้ว หลังจาก หาค่า ŷ ได้แล้ว เราสามารถใช้ฟูริเยร์ทรานส์ฟอร์มผกผันเพื่อหาค่าyได้
วิธีการของฟูริเยร์มีดังนี้ ขั้นแรก สังเกตว่าฟังก์ชันใดๆ ที่มีรูปแบบดัง กล่าวจะสอดคล้องกับสมการคลื่น ฟังก์ชันเหล่านี้เรียกว่าผลเฉลยพื้นฐาน
ประการที่สอง โปรดสังเกตว่าปริพันธ์ใดๆ ก็ตาม จะสอดคล้องกับสมการคลื่นสำหรับค่าa + , a − , b + , b −ใดๆ ปริพันธ์นี้สามารถตีความได้ว่าเป็นผลรวมเชิงเส้นต่อเนื่องของคำตอบสำหรับสมการเชิงเส้น
สิ่งนี้ดูคล้ายกับสูตรสำหรับการสังเคราะห์ฟูริเยร์ของฟังก์ชัน อันที่จริง นี่คือการแปลงฟูริเยร์ผกผันที่แท้จริงของa ± และ b ± ในตัวแปรx
ขั้นตอนที่สามคือการตรวจสอบวิธีการหาฟังก์ชันสัมประสิทธิ์ที่ไม่ทราบค่าเฉพาะa ±และb ±ที่จะทำให้yสอดคล้องกับเงื่อนไขขอบเขต เราสนใจค่าของคำตอบเหล่านี้ที่t = 0ดังนั้นเราจะกำหนดt = 0สมมติว่าเงื่อนไขที่จำเป็นสำหรับการผกผันฟูริเยร์เป็นไปตามที่กำหนดแล้ว เราสามารถหาการแปลงฟูริเยร์ไซน์และโคไซน์ (ในตัวแปรx ) ของทั้งสองข้างและได้ และ
ในทำนองเดียวกัน การหาอนุพันธ์ของyเทียบกับtแล้วใช้การแปลงฟูริเยร์ไซน์และโคไซน์จะได้ผลลัพธ์ ดังนี้
นี่คือสมการเชิงเส้นสี่สมการสำหรับตัวแปรที่ไม่ทราบค่าสี่ตัวa ±และb ±ในรูปของการแปลงฟูริเยร์ไซน์และโคไซน์ของเงื่อนไขขอบเขต ซึ่งสามารถแก้ได้ง่ายด้วยพีชคณิตเบื้องต้น หากสามารถหาการแปลงเหล่านี้ได้
โดยสรุป เราได้เลือกชุดของคำตอบพื้นฐานที่กำหนดโดยพารามิเตอร์ξซึ่งคำตอบทั่วไปจะเป็นการรวมเชิงเส้น (ต่อเนื่อง) ในรูปแบบของปริพันธ์เหนือพารามิเตอร์ξแต่ปริพันธ์นี้อยู่ในรูปแบบของปริพันธ์ฟูริเยร์ ขั้นตอนต่อไปคือการแสดงเงื่อนไขขอบเขตในรูปของปริพันธ์เหล่านี้ และกำหนดให้เท่ากับฟังก์ชันfและg ที่กำหนดให้ แต่การแสดงออกเหล่านี้ก็อยู่ในรูปแบบของปริพันธ์ฟูริเยร์เช่นกัน เนื่องจากคุณสมบัติของการแปลงฟูริเยร์ของอนุพันธ์ ขั้นตอนสุดท้ายคือการใช้ประโยชน์จากการผกผันฟูริเยร์โดยการใช้การแปลงฟูริเยร์กับทั้งสองข้าง จึงได้การแสดงออกของฟังก์ชันสัมประสิทธิ์a ±และb ±ในรูปของเงื่อนไขขอบเขตfและg ที่กำหนด ให้
จากมุมมองที่สูงขึ้น ขั้นตอนของฟูริเยร์สามารถปรับปรุงใหม่ในเชิงแนวคิดได้มากขึ้น เนื่องจากมีตัวแปรสองตัว เราจะใช้การแปลงฟูริเยร์ทั้งในxและtแทนที่จะดำเนินการเหมือนที่ฟูริเยร์ทำ ซึ่งแปลงเฉพาะในตัวแปรเชิงพื้นที่เท่านั้น โปรดทราบว่าŷต้องพิจารณาในแง่ของการกระจาย เนื่องจากy ( x , t )จะไม่ใช่L1 :ในฐานะคลื่น มันจะคงอยู่ตลอดเวลาและดังนั้นจึงไม่ใช่ปรากฏการณ์ชั่วคราว แต่จะมีขอบเขต ดังนั้นการแปลงฟูริเยร์ของมันจึงสามารถกำหนดได้เป็นการกระจาย คุณสมบัติการดำเนินการของการแปลงฟูริเยร์ที่เกี่ยวข้องกับสมการนี้คือ การหาอนุพันธ์เทียบกับxเป็นการคูณด้วยi / 2πξและการหาอนุพันธ์เทียบกับtเป็นการคูณด้วยi /2πfโดยที่fคือความถี่ จากนั้นสมการคลื่นจะกลายเป็นสมการพีชคณิตในŷ :ซึ่ง เทียบเท่ากับการกำหนดให้ŷ ( ξ , f ) = 0เว้นแต่ξ = ± fสิ่งนี้อธิบายได้ทันทีว่าทำไมการเลือกคำตอบพื้นฐานที่เราทำไว้ก่อนหน้านี้จึงได้ผลดี: เห็นได้ชัดว่าŷ = δ ( ξ ± f )จะเป็นคำตอบ การใช้การผกผันฟูริเยร์กับฟังก์ชันเดลต้าเหล่านี้ เราจะได้คำตอบพื้นฐานที่เราเลือกไว้ก่อนหน้านี้ แต่จากมุมมองที่สูงขึ้น เราไม่ได้เลือกคำตอบพื้นฐาน แต่เราพิจารณาพื้นที่ของการกระจายทั้งหมดที่รองรับบนภาคตัดกรวย (เสื่อมสภาพ) ξ 2 − f 2 = 0
เราอาจพิจารณาการแจกแจงที่รองรับบนภาคตัดกรวยซึ่งกำหนดโดยการแจกแจงของตัวแปรหนึ่งตัวบนเส้นξ = fบวกกับการแจกแจงบนเส้นξ = − fดังต่อไปนี้: ถ้าΦเป็นฟังก์ชันทดสอบใดๆ โดยที่s + , และs −เป็นการแจกแจงของตัวแปรหนึ่งตัว
จากนั้น การผกผันฟูริเยร์จะให้เงื่อนไขขอบเขตที่คล้ายคลึงกับสิ่งที่เราได้กล่าวไว้ข้างต้นอย่างเป็นรูปธรรมมากขึ้น (กำหนดΦ ( ξ , f ) = e i 2π( xξ + tf )ซึ่งเห็นได้ชัดว่าเป็นการเติบโตแบบพหุนาม): และ
เช่นเดียวกับก่อนหน้านี้ การใช้การแปลงฟูริเยร์แบบตัวแปรเดียวในตัวแปรxกับฟังก์ชันของx เหล่านี้ จะได้สมการสองสมการในสองการแจกแจงที่ไม่ทราบค่าs ± (ซึ่งสามารถถือได้ว่าเป็นฟังก์ชันธรรมดาหากเงื่อนไขขอบเขตเป็นL 1หรือL 2 )
จากมุมมองด้านการคำนวณ ข้อเสียก็คือ เราต้องคำนวณการแปลงฟูริเยร์ของเงื่อนไขขอบเขตก่อน จากนั้นจึงประกอบคำตอบจากเงื่อนไขเหล่านั้น แล้วจึงคำนวณการแปลงฟูริเยร์ผกผัน สูตรสำเร็จรูปนั้นหายาก ยกเว้นในกรณีที่มีความสมมาตรทางเรขาคณิตที่สามารถนำมาใช้ประโยชน์ได้ และการคำนวณเชิงตัวเลขนั้นยากเนื่องจากลักษณะการแกว่งของปริพันธ์ ซึ่งทำให้การลู่เข้าช้าและยากต่อการคาดเดา สำหรับการคำนวณในทางปฏิบัติ มักใช้วิธีการอื่นแทน
การแปลงฟูริเยร์แบบไม่เชิงเส้น
ในศตวรรษที่ 20 ได้มีการนำวิธีการเหล่านี้ไปประยุกต์ใช้กับสมการเชิงอนุพันธ์ย่อยเชิงเส้นทั้งหมดที่มีสัมประสิทธิ์พหุนาม รวมถึงการขยายไปสู่สมการเชิงอนุพันธ์ย่อยที่ไม่เป็นเชิงเส้นบางประเภทโดยเฉพาะอย่างยิ่ง สมการวิวัฒนาการที่ไม่เป็นเชิงเส้น (กล่าวคือ สมการที่อธิบายว่าปริมาณเฉพาะหนึ่งๆ เปลี่ยนแปลงไปอย่างไรเมื่อเวลาผ่านไปจากสถานะเริ่มต้นที่กำหนด) ซึ่งสามารถเชื่อมโยงกับปัญหาค่าลักษณะเฉพาะเชิงเส้นที่มีค่าลักษณะเฉพาะเป็นปริพันธ์ของสมการที่ไม่เป็นเชิงเส้น[ 71 ] [ 72 ]เนื่องจากอาจถือได้ว่าเป็นการขยายการวิเคราะห์ฟูริเยร์ไปสู่ปัญหาที่ไม่เป็นเชิงเส้น วิธีการแก้ปัญหานี้จึงเรียกว่า วิธี การแปลงฟูริเยร์ที่ไม่เป็นเชิงเส้น (หรือการแปลงการกระเจิงผกผัน ) [ 73 ]
สเปกโทรสโกปีแบบฟูริเยร์ทรานส์ฟอร์ม
การแปลงฟูริเยร์ยังใช้ในนิวเคลียร์แมกเนติกเรโซแนนซ์ (NMR) และในสเปกโทรสโกปี ประเภทอื่นๆ เช่น อินฟราเรด ( FTIR ) ใน NMR สัญญาณการสลายตัวของการเหนี่ยวนำอิสระ (FID) ที่มีรูปร่างแบบเอกซ์โปเนนเชียลจะถูกบันทึกในโดเมนเวลาและแปลงฟูริเยร์เป็นรูปร่างเส้นแบบลอเรนซ์ในโดเมนความถี่ การแปลงฟูริเยร์ยังใช้ในภาพถ่ายเรโซแนนซ์แม่เหล็ก (MRI) และแมสสเปกโทรเมตรีด้วย
กลศาสตร์ควอนตัม
การแปลงฟูริเยร์มีประโยชน์ในกลศาสตร์ควอนตัมอย่างน้อยสองวิธี ประการแรก โครงสร้างเชิงแนวคิดพื้นฐานของกลศาสตร์ควอนตัมตั้งสมมติฐานเกี่ยวกับการมีอยู่ของคู่ตัวแปรเสริมที่เชื่อมโยงกันด้วยหลักการความไม่แน่นอนของไฮเซนเบิร์กตัวอย่างเช่น ในมิติเดียว ตัวแปรเชิงพื้นที่qของอนุภาค สามารถวัดได้โดย " ตัวดำเนินการตำแหน่ง " ทางกลศาสตร์ควอนตัมเท่านั้น โดยแลกกับการสูญเสียข้อมูลเกี่ยวกับโมเมนตัมpของอนุภาค ดังนั้น สถานะทางกายภาพของอนุภาคจึงสามารถอธิบายได้ด้วยฟังก์ชันที่เรียกว่า "ฟังก์ชันคลื่น" ของqหรือด้วยฟังก์ชันของpแต่ไม่ใช่ด้วยฟังก์ชันของทั้งสองตัวแปร ตัวแปรpเรียกว่าตัวแปรคู่ควบของ q
ในกลศาสตร์คลาสสิก สถานะทางกายภาพของอนุภาค (ซึ่งมีอยู่ในมิติเดียว เพื่อความง่ายในการอธิบาย) จะถูกกำหนดโดยการกำหนดค่าที่แน่นอนให้กับทั้งpและqพร้อมกัน ดังนั้น เซตของสถานะทางกายภาพที่เป็นไปได้ทั้งหมดคือปริภูมิเวกเตอร์จริงสองมิติที่มี แกน pและ แกน qเรียกว่าปริภูมิเฟสในทางตรงกันข้าม กลศาสตร์ควอนตัมเลือกการโพลาไรเซชันของปริภูมินี้ในแง่ที่ว่ามันเลือกปริภูมิย่อยที่มีมิติครึ่งหนึ่ง เช่น แกน qเพียงอย่างเดียว แต่แทนที่จะพิจารณาเฉพาะจุด มันจะเลือกเซตของ "ฟังก์ชันคลื่น" ที่มีค่าเชิงซ้อนทั้งหมดบนแกนนี้ อย่างไรก็ตาม การเลือก แกน pก็เป็นการโพลาไรเซชันที่ถูกต้องเช่นกัน ซึ่งให้การแสดงแทนที่แตกต่างกันของเซตของสถานะทางกายภาพที่เป็นไปได้ของอนุภาค การแสดงแทนของฟังก์ชันคลื่นทั้งสองแบบมีความสัมพันธ์กันโดยการแปลงฟูริเยร์ เช่น หรือเทียบเท่ากับ
สถานะที่เกิดขึ้นได้จริงทางกายภาพคือL²และด้วยเหตุนี้ ตามทฤษฎีบทของ Plancherelการแปลงฟูริเยร์ของสถานะเหล่านั้นจึงเป็น L² เช่นกัน( โปรดทราบว่า เนื่องจากqมีหน่วยเป็นระยะทางและpมีหน่วยเป็นโมเมนตัม การมีค่าคงที่ของพลังค์ในเลขชี้กำลังทำให้เลขชี้กำลังไม่มีมิติซึ่งเป็นสิ่งที่ควรจะเป็น)
ดังนั้น การแปลงฟูริเยร์จึงสามารถใช้เพื่อเปลี่ยนจากวิธีการแสดงสถานะของอนุภาคแบบหนึ่ง โดยใช้ฟังก์ชันคลื่นของตำแหน่ง ไปสู่วิธีการแสดงสถานะของอนุภาคอีกแบบหนึ่ง โดยใช้ฟังก์ชันคลื่นของโมเมนตัม มีความเป็นไปได้ของโพลาไรเซชันที่แตกต่างกันอย่างไม่จำกัด และทั้งหมดนั้นถูกต้องเท่าเทียมกัน ความสามารถในการแปลงสถานะจากรูปแบบหนึ่งไปสู่อีกรูปแบบหนึ่งโดยใช้การแปลงฟูริเยร์นั้นไม่เพียงแต่สะดวกเท่านั้น แต่ยังเป็นเหตุผลพื้นฐานของหลักการความไม่แน่นอน ของไฮเซนเบิร์ก อีก ด้วย
การใช้งานอีกอย่างหนึ่งของการแปลงฟูริเยร์ในทั้งกลศาสตร์ควอนตัมและทฤษฎีสนามควอนตัมคือการแก้สมการคลื่นที่เกี่ยวข้อง ในกลศาสตร์ควอนตัมที่ไม่เกี่ยวข้องกับสัมพัทธภาพสมการชโรดิงเกอร์สำหรับฟังก์ชันคลื่นที่เปลี่ยนแปลงตามเวลาในมิติเดียว ซึ่งไม่ได้รับอิทธิพลจากแรงภายนอก คือ
สมการนี้เหมือนกับสมการความร้อน ยกเว้นมีหน่วยจินตนาการiสามารถใช้วิธีฟูริเยร์ในการแก้สมการนี้ได้
ในกรณีที่มีศักยภาพ ซึ่งกำหนดโดยฟังก์ชันพลังงานศักยภาพV ( x )สมการจะกลายเป็น
“คำตอบพื้นฐาน” ดังที่เราได้กล่าวถึงข้างต้น คือ “สถานะคงที่” ของอนุภาค และอัลกอริทึมของฟูริเยร์ ดังที่ได้อธิบายไว้ข้างต้น ยังคงสามารถใช้แก้ปัญหาค่าขอบเขตของการวิวัฒนาการในอนาคตของψโดยกำหนดค่าให้t = 0ได้ อย่างไรก็ตาม วิธีการทั้งสองนี้ไม่มีประโยชน์ในทางปฏิบัติมากนักในกลศาสตร์ควอนตัม ปัญหาค่าขอบเขตและการวิวัฒนาการตามเวลาของฟังก์ชันคลื่นนั้นไม่น่าสนใจในทางปฏิบัติมากนัก สิ่งที่สำคัญที่สุดคือสถานะคงที่
ในกลศาสตร์ควอนตัมเชิงสัมพัทธภาพ สมการชโรดิงเกอร์จะกลายเป็นสมการคลื่นเช่นเดียวกับในฟิสิกส์คลาสสิก ยกเว้นว่าเราจะพิจารณาคลื่นที่มีค่าเป็นจำนวนเชิงซ้อน ตัวอย่างง่ายๆ ในกรณีที่ไม่มีปฏิสัมพันธ์กับอนุภาคหรือสนามอื่นๆ คือสมการไคลน์-กอร์ดอน-ชโรดิงเกอร์-ฟ็อคแบบหนึ่งมิติอิสระ ซึ่งในครั้งนี้อยู่ในหน่วยไร้มิติ
ในทางคณิตศาสตร์แล้ว นี่คือสมการคลื่นเดียวกันกับสมการคลื่นในฟิสิกส์คลาสสิกที่แก้ไปแล้วข้างต้น (แต่เป็นคลื่นที่มีค่าเชิงซ้อน ซึ่งวิธีการไม่แตกต่างกัน) วิธีนี้มีประโยชน์อย่างมากในทฤษฎีสนามควอนตัม: ส่วนประกอบฟูริเยร์แต่ละส่วนของคลื่นสามารถถือได้ว่าเป็นตัวสั่นฮาร์มอนิกแยกกัน แล้วจึงทำการควอนตัม ซึ่งเป็นกระบวนการที่เรียกว่า "การควอนตัมแบบที่สอง" วิธีการของฟูริเยร์ได้รับการปรับปรุงให้สามารถจัดการกับปฏิสัมพันธ์ที่ไม่ธรรมดาได้ด้วย
ในที่สุดตัวดำเนินการจำนวนของตัวสั่นฮาร์มอนิกควอนตัมสามารถตีความได้ เช่น ผ่าน เคอร์เนล ของ Mehlerเป็นตัวสร้างของการแปลงฟูริ เยร์[ 30 ]
การประมวลผลสัญญาณ
การแปลงฟูริเยร์ใช้สำหรับการวิเคราะห์สเปกตรัมของอนุกรมเวลา อย่างไรก็ตาม ในสาขาวิชาการประมวลผลสัญญาณทางสถิติ โดยทั่วไปแล้วจะไม่ใช้การแปลงฟูริเยร์กับตัวสัญญาณเอง แม้ว่าสัญญาณจริงจะเป็นสัญญาณชั่วคราวก็ตาม ในทางปฏิบัติพบว่าควรจำลองสัญญาณด้วยฟังก์ชัน (หรือกระบวนการสุ่ม) ที่มีเสถียรภาพในแง่ที่ว่าคุณสมบัติเฉพาะของมันคงที่ตลอดเวลา การแปลงฟูริเยร์ของฟังก์ชันดังกล่าวไม่มีอยู่จริงในความหมายปกติ และพบว่าการแปลงฟูริเยร์ของฟังก์ชันสหสัมพันธ์อัตโนมัติของสัญญาณนั้นมีประโยชน์มากกว่าสำหรับการวิเคราะห์สัญญาณ
ฟังก์ชันสหสัมพันธ์อัตโนมัติRของฟังก์ชันfถูกกำหนดโดย
ฟังก์ชันนี้เป็นฟังก์ชันของช่วงเวลาหน่วงτที่ผ่านไประหว่างค่าของfที่ต้องการหาความสัมพันธ์กัน
สำหรับฟังก์ชันf ส่วนใหญ่ ที่พบได้ในทางปฏิบัติRเป็นฟังก์ชันคู่ที่มีขอบเขตของช่วงเวลาหน่วงτและสำหรับสัญญาณรบกวนทั่วไป พบว่ามีความต่อเนื่องสม่ำเสมอโดยมีค่าสูงสุดที่τ = 0
ฟังก์ชันออโตคอร์เรเลชัน หรือที่เรียกอย่างถูกต้องว่าฟังก์ชันออโตโคแวเรียนซ์ เว้นแต่จะมีการปรับให้เป็นมาตรฐานในลักษณะที่เหมาะสม จะวัดความแข็งแกร่งของความสัมพันธ์ระหว่างค่าของfที่มีช่วงเวลาต่างกัน นี่เป็นวิธีการค้นหาความสัมพันธ์ของfกับค่าในอดีตของตัวมันเอง ฟังก์ชันนี้มีประโยชน์แม้กระทั่งสำหรับงานทางสถิติอื่นๆ นอกเหนือจากการวิเคราะห์สัญญาณ ตัวอย่างเช่น ถ้าf ( t )แทนอุณหภูมิ ณ เวลาtเราคาดหวังว่าจะมีความสัมพันธ์ที่แข็งแกร่งกับอุณหภูมิ ณ เวลาที่ผ่านไป 24 ชั่วโมง
มันมีการแปลงฟูริเยร์
การแปลงฟูริเยร์นี้เรียกว่า ฟังก์ชัน ความหนาแน่นสเปกตรัมกำลังของf (เว้นแต่จะกรองส่วนประกอบที่เป็นคาบทั้งหมดออกจากf ก่อน อินทิกรัล นี้จะลู่เข้าสู่ค่าอนันต์ แต่การกรองส่วนประกอบที่เป็นคาบเหล่านั้นออกทำได้ง่าย)
สเปกตรัมกำลัง ซึ่งแสดงโดยฟังก์ชันความหนาแน่นP นี้ วัดปริมาณความแปรปรวนที่เกิดจากความถี่ξ ต่อข้อมูล ในสัญญาณไฟฟ้า ความแปรปรวนเป็นสัดส่วนกับกำลังเฉลี่ย (พลังงานต่อหน่วยเวลา) ดังนั้น สเปกตรัมกำลังจึงอธิบายว่าความถี่ต่างๆ มีส่วนช่วยต่อกำลังเฉลี่ยของสัญญาณมากน้อยเพียงใด กระบวนการนี้เรียกว่าการวิเคราะห์สเปกตรัมของอนุกรมเวลา และคล้ายคลึงกับการวิเคราะห์ความแปรปรวนของข้อมูลที่ไม่ใช่อนุกรมเวลา ( ANOVA ) ทั่วไป
ความรู้เกี่ยวกับความถี่ที่ "สำคัญ" ในความหมายนี้มีความสำคัญอย่างยิ่งต่อการออกแบบตัวกรองที่เหมาะสมและการประเมินอุปกรณ์วัดอย่างถูกต้อง นอกจากนี้ยังสามารถเป็นประโยชน์สำหรับการวิเคราะห์ทางวิทยาศาสตร์ของปรากฏการณ์ที่ก่อให้เกิดข้อมูลเหล่านั้นได้อีกด้วย
นอกจากนี้ ยังสามารถวัดสเปกตรัมกำลังของสัญญาณได้โดยประมาณโดยตรง โดยการวัดกำลังเฉลี่ยที่เหลืออยู่ในสัญญาณหลังจากที่กรองความถี่ทั้งหมดที่อยู่นอกช่วงความถี่แคบๆ ออกไปแล้ว
การวิเคราะห์สเปกตรัมยังดำเนินการกับสัญญาณภาพด้วย สเปกตรัมกำลังไม่คำนึงถึงความสัมพันธ์ของเฟส ซึ่งก็เพียงพอสำหรับวัตถุประสงค์หลายอย่าง แต่สำหรับสัญญาณวิดีโอ จำเป็นต้องใช้การวิเคราะห์สเปกตรัมประเภทอื่น ๆ ด้วย โดยยังคงใช้การแปลงฟูริเยร์เป็นเครื่องมืออยู่
หมายเหตุอื่นๆ
สัญลักษณ์อื่นๆ ที่ใช้กันทั่วไปได้แก่:
ในสาขาวิทยาศาสตร์และวิศวกรรมศาสตร์ก็มักมีการแทนที่แบบนี้เช่นกัน:
ดังนั้นคู่การแปลงจึงสามารถกลายเป็น
ข้อเสียของการใช้อักษรตัวพิมพ์ใหญ่คือ เมื่อแสดงการแปลง เช่นหรือ ซึ่ง จะกลายเป็นและ ที่ดูยุ่งยากกว่า
ในบางบริบท เช่น ฟิสิกส์อนุภาค สัญลักษณ์เดียวกันอาจใช้ได้ทั้งสำหรับฟังก์ชันและการแปลงฟูริเยร์ของฟังก์ชัน นั้น โดยความแตกต่างอยู่ที่ตัวแปรเท่านั้น กล่าว คือจะหมายถึงการแปลงฟูริเยร์เนื่องจากตัวแปรโมเมนตัม ในขณะที่จะหมายถึงฟังก์ชันดั้งเดิมเนื่องจากตัวแปรตำแหน่ง แม้ว่าเครื่องหมายทิลเดอาจใช้เช่นเพื่อระบุการแปลงฟูริเยร์ แต่เครื่องหมายทิลเดยังอาจใช้เพื่อระบุการปรับเปลี่ยนปริมาณที่มี รูปแบบ ที่ไม่เปลี่ยนแปลงภายใต้การแปลงลอเรนซ์เช่นดังนั้นจึงต้องระมัดระวัง ในทำนองเดียวกันมักใช้เพื่อหมายถึงการแปลงฮิลเบิร์ ตของ
การตีความฟังก์ชันเชิงซ้อนf̂ ( ξ )อาจทำได้ง่ายขึ้นโดยการแสดงในรูปแบบ พิกัดเชิงขั้ว โดยใช้ฟังก์ชันจริงสองฟังก์ชันA ( ξ )และφ ( ξ )โดยที่: คือแอมพลิจูดและ คือเฟส (ดูArg )
จากนั้นสามารถเขียนการแปลงผกผันได้ดังนี้: ซึ่งเป็นการรวมส่วนประกอบความถี่ทั้งหมดของf ( x ) เข้าด้วยกัน ส่วนประกอบแต่ละส่วนเป็นไซน์ เชิงซ้อน ในรูปแบบe 2π ixξซึ่งมีแอมพลิจูดเป็นA ( ξ )และมุมเฟส เริ่มต้น (ที่x = 0 ) คือ φ ( ξ )
การแปลงฟูริเยร์อาจมองได้ว่าเป็นฟังก์ชันบนปริภูมิฟังก์ชัน ในที่นี้จะใช้ สัญลักษณ์ Fแทน การแปลงฟูริเยร์ของฟังก์ชัน f โดยใช้ F ( f )การแปลงนี้เป็นแบบเชิงเส้น ซึ่งหมายความว่าFสามารถมองได้ว่าเป็นการแปลงเชิงเส้นบนปริภูมิฟังก์ชันเช่นกัน และหมายความว่าสัญลักษณ์มาตรฐานในพีชคณิตเชิงเส้นของการใช้การแปลงเชิงเส้นกับเวกเตอร์ (ในที่นี้คือฟังก์ชันf) สามารถใช้เขียน Ff แทน F ( f )ได้เนื่องจากผลลัพธ์ของการใช้การแปลงฟูริเยร์เป็นฟังก์ชันอีกครั้ง เราจึงสนใจค่าของฟังก์ชันนี้ที่ประเมินค่า ณ ค่าξสำหรับตัวแปรของมัน และสิ่งนี้จะใช้สัญลักษณ์Ff ( ξ )หรือ( Ff )( ξ ) โปรด สังเกตว่าในกรณีแรก นั้นเป็นที่เข้าใจโดยปริยายว่าF ถูกนำไปใช้กับ fก่อนแล้วจึงประเมินค่าฟังก์ชันที่ได้ ณ ค่าξไม่ใช่ในทางกลับกัน
ในคณิตศาสตร์และวิทยาศาสตร์ประยุกต์ต่างๆ มักจำเป็นต้องแยกแยะความแตกต่างระหว่างฟังก์ชันfกับค่าของfเมื่อตัวแปรเท่ากับxซึ่งเขียนแทนด้วยf ( x )นั่นหมายความว่า สัญลักษณ์อย่างF ( f ( x ))สามารถตีความได้ว่าเป็นการแปลงฟูริเยร์ของค่าfที่xถึงแม้จะมีข้อบกพร่องนี้ แต่สัญลักษณ์ดังกล่าวก็ปรากฏให้เห็นบ่อยครั้ง โดยเฉพาะเมื่อต้องการแปลงฟังก์ชันเฉพาะหรือฟังก์ชันของตัวแปรเฉพาะ ตัวอย่างเช่น บางครั้งใช้เพื่อแสดงว่าการแปลงฟูริเยร์ของฟังก์ชันสี่เหลี่ยมผืนผ้าเป็นฟังก์ชัน sincหรือ ใช้เพื่อแสดงคุณสมบัติการเลื่อนของการแปลงฟูริเยร์
โปรดสังเกตว่า ตัวอย่างสุดท้ายจะถูกต้องก็ต่อเมื่อฟังก์ชันที่แปลงแล้วเป็นฟังก์ชันของxไม่ใช่ของx 0เท่านั้น
ดังที่กล่าวมาข้างต้นฟังก์ชันลักษณะเฉพาะของตัวแปรสุ่มนั้นเหมือนกับการแปลงฟูริเยร์-สตีลเจสของมาตรวัดการกระจายตัวของมัน แต่ในบริบทนี้ โดยทั่วไปแล้วจะใช้ข้อกำหนดที่แตกต่างกันสำหรับค่าคงที่ โดยทั่วไปแล้ว ฟังก์ชันลักษณะเฉพาะจะถูกกำหนดไว้ดังนี้
เช่นเดียวกับกรณีของข้อกำหนด "ความถี่เชิงมุมที่ไม่เป็นเอกภาพ" ข้างต้น ตัวประกอบ 2π ไม่ปรากฏทั้งในค่าคงที่การทำให้เป็นมาตรฐานและในเลขชี้กำลัง แต่แตกต่างจากข้อกำหนดอื่นๆ ที่ปรากฏข้างต้น ข้อกำหนดนี้ใช้เครื่องหมายตรงข้ามในเลขชี้กำลัง
วิธีการคำนวณ
วิธีการคำนวณที่เหมาะสมนั้นขึ้นอยู่กับวิธีการแสดงฟังก์ชันทางคณิตศาสตร์ดั้งเดิมและรูปแบบของฟังก์ชันเอาต์พุตที่ต้องการ ในส่วนนี้ เราจะพิจารณาทั้งฟังก์ชันของตัวแปรต่อเนื่องและฟังก์ชันของตัวแปรไม่ต่อเนื่อง (เช่น คู่ลำดับของค่า x และy ) สำหรับค่าx ที่ไม่ต่อเนื่อง ปริพันธ์การแปลงจะกลายเป็นผลรวมของไซน์ ซึ่งยังคง เป็นฟังก์ชันต่อเนื่องของความถี่ ( xหรือy ) เมื่อไซน์มีความสัมพันธ์แบบฮาร์มอนิก (เช่น เมื่อค่า x อยู่ห่างกันเป็นจำนวนเต็มเท่าของช่วง) การแปลงนี้เรียกว่าการแปลงฟูริเยร์แบบเวลาไม่ต่อเนื่อง (DTFT)
การแปลงฟูริเยร์แบบไม่ต่อเนื่องและการแปลงฟูริเยร์แบบเร็ว
การสุ่มตัวอย่าง DTFT ที่ค่าความถี่ที่เว้นระยะห่างเท่าๆ กัน เป็นวิธีการคำนวณที่ใช้กันทั่วไปในปัจจุบัน ขั้นตอนที่มีประสิทธิภาพ ขึ้นอยู่กับความละเอียดของความถี่ที่ต้องการ ได้อธิบายไว้ในหัวข้อ การแปลงฟูริเยร์แบบเวลาไม่ต่อเนื่อง § การสุ่มตัวอย่าง DTFTการแปลงฟูริเยร์แบบไม่ต่อเนื่อง (DFT) ที่ใช้ในที่นั้น มักจะคำนวณโดยใช้ อัลกอริธึม การแปลงฟูริเยร์แบบเร็ว (FFT)
การอินทิเกรตเชิงสัญลักษณ์ของฟังก์ชันรูปแบบปิด
ตาราง การแปลงฟูริเยร์ แบบปิดเช่น§ ฟังก์ชันที่สามารถอินทิเกรตกำลังสองได้ หนึ่งมิติและ§ ตารางการแปลงฟูริเยร์แบบเวลาไม่ต่อเนื่องถูกสร้างขึ้นโดยการประเมินอินทิกรัล (หรือผลรวม) ของการวิเคราะห์ฟูริเยร์ทางคณิตศาสตร์ลงในฟังก์ชันความถี่แบบปิดอีกฟังก์ชันหนึ่ง ( หรือ ) [ 74 ] เมื่อเป็นไปได้ทางคณิตศาสตร์ การแปลงนี้จะให้ค่าความถี่ต่อเนื่อง
ระบบพีชคณิตคอมพิวเตอร์หลายระบบ เช่นMatlabและMathematicaที่สามารถทำการอินทิเกรตเชิงสัญลักษณ์ได้นั้น สามารถคำนวณการแปลงฟูริเยร์เชิงสัญลักษณ์ได้เช่นกัน[หมายเหตุ 9 ] https://en.wikipedia.org/wiki/Help:Edit_summary
การอินทิเกรตเชิงตัวเลขของฟังก์ชันต่อเนื่องแบบปิด
การสุ่มตัวอย่างแบบไม่ต่อเนื่องของการแปลงฟูริเยร์สามารถทำได้โดยการบูรณาการเชิงตัวเลขของนิยามที่แต่ละค่าความถี่ที่ต้องการแปลง[ 75 ] [ 76 ] [ 77 ] วิธีการบูรณาการเชิงตัวเลขใช้ได้กับฟังก์ชันที่หลากหลายกว่าวิธีการวิเคราะห์มาก
การหาปริพันธ์เชิงตัวเลขของอนุกรมคู่ลำดับ
หากฟังก์ชันอินพุตเป็นอนุกรมของคู่ลำดับ การอินทิเกรตเชิงตัวเลขจะลดลงเหลือเพียงผลรวมเหนือเซตของคู่ข้อมูล[ 78 ] DTFT เป็นกรณีย่อยทั่วไปของสถานการณ์ทั่วไปนี้
ตารางแสดงค่าการแปลงฟูริเยร์ที่สำคัญ
ตารางต่อไปนี้บันทึกการแปลงฟูริเยร์ในรูปแบบปิดบางส่วน สำหรับฟังก์ชันf ( x )และg ( x ) ให้ใช้ f̂และĝแทนการแปลงฟูริเยร์มีเพียงสามรูปแบบที่ใช้กันทั่วไปเท่านั้นที่รวมอยู่ อาจเป็นประโยชน์ที่จะสังเกตว่ารายการที่ 105 แสดงความสัมพันธ์ระหว่างการแปลงฟูริเยร์ของฟังก์ชันกับฟังก์ชันดั้งเดิม ซึ่งสามารถมองได้ว่าเป็นความสัมพันธ์ระหว่างการแปลงฟูริเยร์กับฟังก์ชันผกผัน
ความสัมพันธ์เชิงฟังก์ชันแบบมิติเดียว
การแปลงฟูริเยร์ในตารางนี้สามารถพบได้ในErdélyi (1954)หรือKammler (2000ภาคผนวก)
| การทำงาน | การแปลงฟูริเยร์แบบเอกภาพ ความถี่ปกติ | การแปลงฟูริเยร์แบบเอกภาพ ความถี่เชิงมุม | การแปลงฟูริเยร์แบบไม่เอกภาพ ความถี่เชิงมุม | หมายเหตุ | |
|---|---|---|---|---|---|
| คำจำกัดความ | |||||
| 101 | ความเป็นเส้นตรง | ||||
| 102 | การเปลี่ยนแปลงในโดเมนเวลา | ||||
| 103 | การเปลี่ยนแปลงในโดเมนความถี่ ซึ่งเป็นค่าคู่ของ 102 | ||||
| 104 | การปรับขนาดในโดเมนเวลา ถ้า| a |มีค่ามากf ( ax )จะกระจุกตัวอยู่รอบๆ0แล้วกระจายออกไปและแบนราบลง | ||||
| 105 | มีการนำการแปลงแบบเดียวกันมาใช้สองครั้ง แต่xจะเข้ามาแทนที่ตัวแปรความถี่ ( ξหรือω ) หลังจากการแปลงครั้งแรก | ||||
| 106 | อนุพันธ์อันดับที่ n เนื่องจากfเป็นฟังก์ชันชวาร์ตซ์ | ||||
| 106.5 | การบูรณาการ[ 79 ]หมายเหตุ: คือฟังก์ชันเดลต้าของ Diracและคือค่าเฉลี่ย ( DC ) ของเช่นนั้น | ||||
| 107 | นี่คือคู่ของ 106 | ||||
| 108 | สัญลักษณ์f ∗ gหมายถึงการสังเคราะห์ (convolution)ของfและg – กฎนี้คือทฤษฎีบทการสังเคราะห์ (convolution theorem) | ||||
| 109 | นี่คือคู่ของ 108 | ||||
| 110 | สำหรับf ( x )ที่เป็นจำนวนจริงล้วนๆ | สมมาตรเฮอร์มิเชียนzแสดงถึงคู่ควบเชิงซ้อน | |||
| 113 | สำหรับf ( x )ที่เป็นจำนวนจินตนาการล้วนๆ | zแสดงถึงต เชิงซ้อน | |||
| 114 | การผันเชิงซ้อนการวางนัยทั่วไปของ 110 และ 113 | ||||
| 115 | ซึ่งเป็นไปตามกฎข้อที่ 101 และ 103 โดยใช้สูตรของออยเลอร์ : . | ||||
| 116 | ซึ่งเป็นผลมาจากข้อ 101 และ 103 โดยใช้สูตรของออยเลอร์ : . |
ฟังก์ชันที่สามารถหาปริพันธ์กำลังสองได้ ในมิติเดียว
การแปลงฟูริเยร์ในตารางนี้สามารถพบได้ในCampbell & Foster (1948) , Erdélyi (1954)หรือKammler (2000 , ภาคผนวก)
| การทำงาน | การแปลงฟูริเยร์แบบเอกภาพ ความถี่ปกติ | การแปลงฟูริเยร์แบบเอกภาพ ความถี่เชิงมุม | การแปลงฟูริเยร์แบบไม่เอกภาพ ความถี่เชิงมุม | หมายเหตุ | |
|---|---|---|---|---|---|
| คำจำกัดความ | |||||
| 201 | พัลส์รูปสี่เหลี่ยมผืนผ้าและฟังก์ชัน sinc ที่ถูกทำให้เป็นมาตรฐาน ซึ่งในที่นี้กำหนดเป็นsinc( x ) = sin(π x )/π x | ||||
| 202 | กฎคู่ขนานของกฎข้อ 201 ฟังก์ชันสี่เหลี่ยมผืนผ้าเป็นตัวกรองความถี่ต่ำใน อุดมคติ และฟังก์ชัน sincเป็นการ ตอบสนองแบบอิมพัลส์ ที่ไม่เป็นเหตุเป็นผลของตัวกรองดังกล่าวฟังก์ชัน sincถูกกำหนดไว้ในที่นี้ว่าsinc( x ) = sin(π x )/π x . | ||||
| 203 | ฟังก์ชันtri( x )คือฟังก์ชันสามเหลี่ยม | ||||
| 204 | กฎข้อ 203 ฉบับคู่ขนาน | ||||
| 205 | ฟังก์ชันu ( x )คือฟังก์ชันขั้นบันไดหน่วยของ Heavisideและa > 0 | ||||
| 206 | สิ่งนี้แสดงให้เห็นว่า สำหรับการแปลงฟูริเยร์แบบเอกภาพ ฟังก์ชันเกา ส์เซียน e − αx 2เป็นการแปลงฟูริเยร์ของตัวมันเองสำหรับค่าα บางค่า เพื่อให้สามารถหาปริพันธ์ได้ เราต้องมีRe( α ) > 0 | ||||
| 208 | สำหรับRe( a ) > 0นั่นคือ การแปลงฟูริเยร์ของฟังก์ชันเลขชี้กำลังที่ลดลงแบบสองด้านจะเป็นฟังก์ชันลอเรนซ์ | ||||
| 209 | เส้นตัดไฮเปอร์โบลิกคือการแปลงฟูริเยร์ของตัวมันเอง | ||||
| 210 | H nคือพหุนามเฮอร์ไมต์ ลำดับที่ nถ้า a = 1แล้วฟังก์ชันเกาส์-เฮอร์ไมต์จะเป็นฟังก์ชันเฉพาะของตัวดำเนินการแปลงฟูริเยร์ สำหรับการพิสูจน์ โปรดดูที่ พหุนามเฮอร์ไมต์ § ฟังก์ชันเฮอร์ไมต์เป็นฟังก์ชันเฉพาะของการแปลงฟูริเยร์สูตรจะลดรูปเป็น 206 สำหรับ n = 0 |
การแจกแจงแบบหนึ่งมิติ
การแปลงฟูริเยร์ในตารางนี้สามารถพบได้ในErdélyi (1954)หรือKammler (2000ภาคผนวก)
| การทำงาน | การแปลงฟูริเยร์แบบเอกภาพ ความถี่ปกติ | การแปลงฟูริเยร์แบบเอกภาพ ความถี่เชิงมุม | การแปลงฟูริเยร์แบบไม่เอกภาพ ความถี่เชิงมุม | หมายเหตุ | |
|---|---|---|---|---|---|
| คำจำกัดความ | |||||
| 301 | การกระจายδ ( ξ )หมายถึงฟังก์ชันเดลต้าของ Dirac | ||||
| 302 | กฎข้อที่ 301 ฉบับคู่ขนาน | ||||
| 303 | ซึ่งเป็นไปตามข้อ 103 และ 301 | ||||
| 304 | ซึ่งเป็นไปตามกฎข้อ 101 และ 303 โดยใช้สูตรของออยเลอร์ : . | ||||
| 305 | สิ่งนี้สืบเนื่องมาจาก 101 และ 303 โดยใช้ . | ||||
| 306 | สิ่งนี้สืบเนื่องมาจาก 101 และ 207 โดยใช้ . | ||||
| 307 | สิ่งนี้สืบเนื่องมาจาก 101 และ 207 โดยใช้ . | ||||
| 308 | ในที่นี้ถือว่าค่าอัลฟาเป็นค่าจริง สำหรับกรณีที่อัลฟาเป็นจำนวนเชิงซ้อน โปรดดูตารางที่ 206 ด้านบน | ||||
| 309 | ในที่นี้nเป็นจำนวนธรรมชาติและδ ( n ) ( ξ )คือ อนุพันธ์การกระจายลำดับที่ nของฟังก์ชันเดลต้าของ Dirac กฎนี้เป็นไปตามกฎ 107 และ 301 เมื่อรวมกฎนี้กับกฎ 101 เราสามารถแปลงพหุ นาม ทั้งหมดได้ | ||||
| 310 | กฎคู่ของกฎ 309 δ ( n ) ( ξ )คือ อนุพันธ์การกระจายลำดับที่ nของฟังก์ชันเดลต้าของ Dirac กฎนี้เป็นไปตาม 106 และ 302 | ||||
| 311 | ในที่นี้sgn( ξ )คือฟังก์ชันเครื่องหมายโปรดสังเกตว่า1/xไม่ใช่การแจกแจง จำเป็นต้องใช้ค่าหลักของโคชีเมื่อทำการทดสอบกับฟังก์ชันชวาร์ตซ์กฎนี้มีประโยชน์ในการศึกษาการแปลงฮิลเบิร์ต | ||||
| 312 | 1/x nคือการกระจายแบบเอกพันธุ์ที่กำหนดโดยอนุพันธ์ของการกระจาย | ||||
| 313 | สูตรนี้ใช้ได้สำหรับ−1 < α < 0สำหรับα > 0จะมีพจน์เอกฐานบางส่วนเกิดขึ้นที่จุดกำเนิด ซึ่งสามารถหาได้โดยการหาอนุพันธ์ของ 320 ถ้าRe α > −1แล้ว| x | αเป็นฟังก์ชันที่สามารถหาปริพันธ์ได้ในระดับท้องถิ่น และดังนั้นจึงเป็นการกระจายแบบเทมเปอร์ ฟังก์ชันα ↦ | x | αเป็นฟังก์ชันโฮโลมอร์ฟิกจากระนาบครึ่งขวาไปยังปริภูมิของการกระจายแบบเทมเปอร์ มันยอมรับการขยายเมโรเมอร์ฟิกที่ไม่ซ้ำกันไปยังการกระจายแบบเทมเปอร์ ซึ่งแสดงด้วย| x | αสำหรับα ≠ −1, −3, ... (ดูการกระจายแบบเอกพันธุ์ ) | ||||
| กรณีพิเศษของ 313 | |||||
| 314 | กฎข้อที่ 311 ในทางกลับกัน คราวนี้ต้องพิจารณาการแปลงฟูริเยร์เป็นค่าหลักของโคชี | ||||
| 315 | ฟังก์ชันu ( x )คือฟังก์ชันขั้นบันไดหน่วยของ Heaviside ซึ่งเป็นไปตามกฎข้อ 101, 301 และ 314 | ||||
| 316 | ฟังก์ชันนี้เรียกว่า ฟังก์ชัน หวีของ Diracผลลัพธ์นี้สามารถอนุมานได้จาก 302 และ 102 ร่วมกับข้อเท็จจริงที่ว่าเป็นการแจกแจง | ||||
| 317 | ฟังก์ชันJ 0 ( x ) คือ ฟังก์ชันเบสเซลลำดับศูนย์ชนิดแรก | ||||
| 318 | นี่เป็นการสรุปทั่วไปของ 317 ฟังก์ชันJ n ( x )คือฟังก์ชันเบสเซลลำดับ ที่ nชนิดแรก ฟังก์ชันT n ( x )คือพหุนามเชบิเชฟชนิดแรก | ||||
| 319 | γคือค่าคงที่ออยเลอร์-มาสเชโรนีจำเป็นต้องใช้ปริพันธ์ส่วนจำกัดเมื่อทำการทดสอบ1/| ξ |หรือ1/| ω |เมื่อเทียบกับฟังก์ชันของ Schwartzรายละเอียดในส่วนนี้อาจเปลี่ยนแปลงค่าสัมประสิทธิ์ของฟังก์ชันเดลต้าได้ | ||||
| 320 | สูตรนี้ใช้ได้สำหรับ0 < α < 1ใช้การหาอนุพันธ์เพื่อหาสูตรสำหรับเลขชี้กำลังที่สูงกว่านี้uคือฟังก์ชัน Heaviside |
ฟังก์ชันสองมิติ
| การทำงาน | การแปลงฟูริเยร์แบบเอกภาพ ความถี่ปกติ | การแปลงฟูริเยร์แบบเอกภาพ ความถี่เชิงมุม | การแปลงฟูริเยร์แบบไม่เอกภาพ ความถี่เชิงมุม | หมายเหตุ | |
|---|---|---|---|---|---|
| 400 | ตัวแปรξ x , ξ y , ω x , ω yเป็นจำนวนจริง การอินทิเกรตทำบนระนาบทั้งหมด | ||||
| 401 | ฟังก์ชันทั้งสองเป็นฟังก์ชันเกาส์เซียน ซึ่งอาจไม่ได้มีปริมาตรเท่ากับหนึ่งหน่วย | ||||
| 402 | ฟังก์ชันนี้กำหนดโดยcirc( r ) = 1สำหรับ0 ≤ r ≤ 1และมีค่าเป็น 0 ในกรณีอื่น ผลลัพธ์คือการกระจายแอมพลิจูดของดิสก์ Airyและแสดงโดยใช้J 1 ( ฟังก์ชัน Besselอันดับ 1 ชนิดแรก) [ 80 ] | ||||
| 403 | นี่คือการแปลง Hankelของr −1ซึ่งเป็นการแปลง Fourier แบบ "ตัวเอง" 2 มิติ[ 81 ] | ||||
| 404 |
สูตรสำหรับฟังก์ชันn มิติโดยทั่วไป
| การทำงาน | การแปลงฟูริเยร์แบบเอกภาพ ความถี่ปกติ | การแปลงฟูริเยร์แบบเอกภาพ ความถี่เชิงมุม | การแปลงฟูริเยร์แบบไม่เอกภาพ ความถี่เชิงมุม | หมายเหตุ | |
|---|---|---|---|---|---|
| 500 | |||||
| 501 | ที่นี่, . ฟังก์ชันχ [0, 1]คือฟังก์ชันตัวบ่งชี้ของช่วง[0, 1]ฟังก์ชันΓ( x )คือฟังก์ชันแกมมา ฟังก์ชันJ n/2+ δคือฟังก์ชันเบสเซลชนิดแรก ลำดับที่ n/2 + δ . เมื่อใช้ n = 2และ δ = 0จะได้ 402 [ 82 ] | ||||
| 502 | ดูศักยภาพของ Rieszซึ่งค่าคงที่กำหนดโดย สูตรนี้ยังใช้ได้กับα ≠ n , n + 2, ... ทั้งหมด โดยการต่อยอดเชิงวิเคราะห์ แต่ในกรณีนี้ฟังก์ชันและการแปลงฟูริเยร์ของมันจำเป็นต้องเข้าใจว่าเป็นฟังก์ชันการกระจายแบบเทมเปอร์ที่มีการปรับค่าอย่างเหมาะสม (ดูการกระจายแบบเอกพันธุ์ ) [หมายเหตุ 10 ] | ||||
| 503 | นี่คือสูตรสำหรับการแจกแจงปกติหลายตัวแปรที่ปรับให้เป็น 1 โดยมีค่าเฉลี่ยเป็น 0 ตัวแปรที่เป็นตัวหนาคือเวกเตอร์หรือเมทริกซ์ ตามสัญลักษณ์ในหน้าเว็บที่กล่าวถึงข้างต้นΣ = σ σ TและΣ −1 = σ −T σ −1 | ||||
| 504 | ที่นี่[ 83 ] , Re( α ) > 0 |
ดูเพิ่มเติม
- การประมวลผลสัญญาณอนาล็อก – การประมวลผลสัญญาณที่ดำเนินการกับสัญญาณอนาล็อก
- แถบบีเวอร์ส-ลิปสัน – เครื่องมือทางคณิตศาสตร์ในวิชาผลึกศาสตร์
- การแปลง Constant-Q – การแปลงฟูริเยร์แบบช่วงเวลาสั้นที่มีความละเอียดแปรผันได้
- เมทริกซ์ DFT – การแปลงฟูริเยร์แบบไม่ต่อเนื่องที่แสดงในรูปเมทริกซ์
- การแปลงฟูริเยร์แบบไม่ต่อเนื่อง – ฟังก์ชันในคณิตศาสตร์แบบไม่ต่อเนื่อง
- การแปลงฟูริเยร์แบบเร็ว – อัลกอริทึมการแปลงฟูริเยร์แบบไม่ต่อเนื่อง
- ตัวดำเนินการอินทิกรัลฟูริเยร์ – กลุ่มของตัวดำเนินการเชิงอนุพันธ์และอินทิกรัล
- ทฤษฎีบทการผกผันฟูริเยร์ – ทฤษฎีบททางคณิตศาสตร์เกี่ยวกับฟังก์ชัน
- ตัวคูณฟูริเยร์ – ประเภทหนึ่งของตัวดำเนินการในการวิเคราะห์ฟูริเยร์
- อนุกรมฟูริเยร์ – การแยกส่วนประกอบของฟังก์ชันคาบ
- การแปลงฟูริเยร์ไซน์ – การแปลงฟูริเยร์แบบต่างๆ
- การแปลงฟูริเยร์-เดลิญ
- การแปลงฟูริเยร์-มูไค
- การแปลงฟูริเยร์เศษส่วน – การดำเนินการทางคณิตศาสตร์
- การแปลงฟูริเยร์ทางอ้อม
- การแปลงอินทิกรัล – การแมปที่เกี่ยวข้องกับการอินทิเกรตระหว่างปริภูมิฟังก์ชัน
- การแปลงแฮงเคล – การดำเนินการทางคณิตศาสตร์
- การแปลงฮาร์ทลีย์ – การแปลงเชิงปริพันธ์ที่เกี่ยวข้องอย่างใกล้ชิดกับการแปลงฟูริเยร์
- การแปลงลาปลาส – การแปลงเชิงปริพันธ์ที่มีประโยชน์ในทฤษฎีความน่าจะเป็น ฟิสิกส์ และวิศวกรรม
- การวิเคราะห์สเปกตรัมแบบกำลังสองน้อยที่สุด – วิธีการคำนวณความเป็นคาบ
- การแปลงเชิงเส้นแบบแคนอนิก
- รายการการแปลงที่เกี่ยวข้องกับฟูริเยร์
- การแปลงเมลลิน – การดำเนินการทางคณิตศาสตร์
- การแปลงหลายมิติ – การวิเคราะห์ทางคณิตศาสตร์ของเนื้อหาความถี่ของสัญญาณ
- NGC 4622 – โดยเฉพาะภาพ NGC 4622 การแปลงฟูริเยร์m = 2
- ตัวดำเนินการนอกพื้นที่ – คลาสของการแมปตัวดำเนินการ
- การแปลงฟูริเยร์กำลังสอง
- การแปลงฟูริเยร์ควอนตัม – การเปลี่ยนฐานที่ใช้ในคอมพิวเตอร์ควอนตัม
- การแปลงฟูริเยร์แบบช่วงเวลาสั้น – การแปลงที่เกี่ยวข้องกับฟูริเยร์สำหรับสัญญาณที่เปลี่ยนแปลงตามเวลา
- ความหนาแน่นสเปกตรัม – ความสำคัญสัมพัทธ์ของความถี่บางช่วงในสัญญาณรวม
- การประมาณความหนาแน่นสเปกตรัม – เทคนิคการประมวลผลสัญญาณ
- การอินทิเกรตเชิงสัญลักษณ์ – การคำนวณอนุพันธ์ผกผัน
- การแปลงฟูริเยร์แบบกระจายการยืดเวลา
- การแปลง (คณิตศาสตร์) – ฟังก์ชันที่นำเซตมาใช้กับตัวมันเอง
หมายเหตุ
- โครงสร้าง ประโยคมักเพียงพอที่จะแยกแยะความหมายที่ต้องการได้ เช่น "ใช้การแปลงฟูริเยร์กับ [ข้อมูลนำเข้า]" หมายถึงการดำเนินการ ในขณะที่ "การแปลงฟูริเยร์ของ [ข้อมูลนำเข้า]" หมายถึงผลลัพธ์
- ^ขึ้นอยู่กับการใช้งาน วิธีการอินทิกรัลของเลเบสวิธีการกระจายหรือวิธีการอื่นๆ อาจเหมาะสมที่สุด
- ^ Vretblad (2000)ให้เหตุผลที่หนักแน่นสำหรับขั้นตอนที่เป็นทางการเหล่านี้โดยไม่ต้องลงลึกไปถึงการวิเคราะห์เชิงฟังก์ชันหรือทฤษฎีการแจกแจง
- ^ในกลศาสตร์ควอนตัมเชิงสัมพัทธภาพเราจะพบการแปลงฟูริเยร์แบบเวกเตอร์ของฟังก์ชันคลื่นหลายองค์ประกอบ ในทฤษฎีสนามควอนตัมการแปลงฟูริเยร์แบบตัวดำเนินการของฟังก์ชันปริภูมิเวลาแบบตัวดำเนินการมีการใช้งานบ่อยครั้ง ดูตัวอย่างเช่น Greiner & Reinhardt (1996 )
- ^แหล่งที่มาของความสับสนที่อาจเกิดขึ้นได้คือคุณสมบัติการเลื่อนความถี่กล่าวคือ การแปลงของฟังก์ชันคือ ค่าของฟังก์ชันนี้ที่คือ ซึ่งหมายความว่าความถี่ได้ถูกเลื่อนไปที่ศูนย์ (ดูเพิ่มเติมที่ ความถี่ลบ § การทำให้การแปลงฟูริเยร์ง่ายขึ้น )
- ^ตัวดำเนินการนี้ถูกกำหนดโดยการแทนที่ด้วยในการกระจายเทย์เลอร์ของ .
- โดยทั่วไปแล้ว เราสามารถนำลำดับของฟังก์ชันที่อยู่ในจุดตัดของ L 1และ L 2และลู่เข้าสู่ fใน นอร์ม L 2และกำหนดการแปลงฟูริเยร์ของ fเป็น ลิมิต L 2ของการแปลงฟูริเยร์ของฟังก์ชันเหล่านี้ได้
- ^โดยมีค่าคงที่เชิงจินตนาการเป็นปัจจัย ซึ่งขนาดของค่านี้ขึ้นอยู่กับว่าใช้ข้อกำหนดการแปลงฟูริเยร์แบบใด
- ^ตัวอย่างเช่น ในการคำนวณการแปลงฟูริเยร์ของ cos(6π t ) e −π t 2เราอาจป้อนคำสั่งลง
integrate cos(6*pi*t) exp(−pi*t^2) exp(-i*2*pi*f*t) from -inf to infใน Wolfram Alphaคำสั่งโดยตรงนี้fourier transform of cos(6*pi*t) exp(−pi*t^2)จะใช้งานได้กับ Wolfram Alpha เช่นกัน แม้ว่าตัวเลือกสำหรับข้อตกลง (ดู § ข้อตกลงอื่นๆ ) จะต้องเปลี่ยนจากตัวเลือกเริ่มต้น ซึ่งจริงๆ แล้วเทียบเท่าintegrate cos(6*pi*t) exp(−pi*t^2) exp(i*omega*t) /sqrt(2*pi) from -inf to infกับ - ^ใน Gelfand & Shilov 1964หน้า 363 โดยใช้ข้อกำหนดที่ไม่เป็นเอกภาพของตารางนี้ การแปลงของถูกกำหนดให้เป็น ซึ่งตามมาด้วย .
การอ้างอิง
- ^พินสกี 2002 , หน้า 91
- ↑ลีบแอนด์ลอสส์ 2001 , หน้า 123–125
- ↑เกลฟานด์และชิลอฟ 1968 , หน้า 1. 128
- ^ฟูริเยร์ 1822หน้า 525
- ^ฟูริเยร์ 1878หน้า 408
- ^จอร์แดน (1883) พิสูจน์ ทฤษฎีบทปริพันธ์ฟูริเยร์ในหน้า 216–226ก่อนที่จะศึกษาอนุกรมฟูริเยร์
- ^ทิทช์มาร์ช 1986หน้า 1
- ^ราห์มาน 2011หน้า 10
- ^ Oppenheim, Schafer & Buck 1999 , หน้า 58
- ^ Stade 2005 , หน้า 298–299
- ^โฮว์ 1980
- ^ฟอลแลนด์ 1989
- ^ฟูริเยร์ 1822
- ^อาร์ฟเคน 1985
- ^ a b Pinsky 2002
- ↑โปรอาคิสและมาโนลาคิส 1996 , หน้า. 291
- ^คัตซ์เนลสัน 2004หน้า 153
- ^สไตน์และไวส์ 1971หน้า 2
- ^ a b c d e f Stein & Weiss 1971
- ^รูดิน 1987หน้า 187
- ^รูดิน 1987หน้า 186
- ^ฟอลแลนด์ 1992 , หน้า 216
- ^วูล์ฟ 1979หน้า 307 เป็นต้นไป
- ^ฟอลแลนด์ 1989หน้า 53
- ↑เซเลกีนี, กาเดลลา และเดล โอลโม 2021
- ^ Duoandikoetxea 2001
- ^ a bโบอาชาช 2003
- ^คอนดอน 1937
- ^วูล์ฟ 1979หน้า 320
- ^ a b Wolf 1979 , หน้า 312
- ^ฟอลแลนด์ 1989หน้า 52
- ^โฮว์ 1980
- ^พาเลย์ แอนด์ ไวเนอร์ 1934
- ^เกลฟานด์และวิเลนกิน 1964
- ^คิริลลอฟและกวิชิอานี 1982
- ^ Clozel & Delorme 1985 , หน้า 331–333
- ↑เดอ กรูท แอนด์ มาซูร์ 1984 , p. 146
- ^แชมเพนีย์ 1987หน้า 80
- ↑ a b cโคลโมโกรอฟ และ โฟมิน 1999
- ^ไวเนอร์ 1949
- ^แชมเพนีย์ 1987หน้า 63
- ↑วิดเดอร์ แอนด์ วีเนอร์ 1938 , p. 537
- ^ Pinsky 2002บทที่ 2.4.3 หลักการความไม่แน่นอน
- ^ Stein & Shakarchi 2003บทที่ 5.4 หลักการความไม่แน่นอนของไฮเซนเบิร์ก
- ^แชทฟิลด์ 2004 , หน้า 113
- ^ฟูริเยร์ 1822หน้า 441
- ^ปวงกาเร 1895หน้า 102
- ^ Whittaker & Watson 1927 , หน้า 188
- ^กราฟาโกส 2004
- ^กราฟาคอสและเทสช์ล 2013
- ↑ Duoandikoetxea 2001 , ธม. 8.3
- ^สไตน์และไวส์ 1971หน้า 1–2
- ^รูดิน 1987หน้า 182–183
- ↑จันทรเศคารัน 1989 , หน้า 7–8, 84
- ^ "การวิเคราะห์ฟูริเยร์ประยุกต์และองค์ประกอบของการประมวลผลสัญญาณสมัยใหม่ บทที่ 3" (PDF) 12 มกราคม 2559 เก็บถาวรจากต้นฉบับ(PDF)เมื่อ 3 ตุลาคม 2563 เรียกดูเมื่อ 11 ตุลาคม 2562
- ^สไตน์และไวส์ 1971ทฤษฎีบท 2.3
- ^ a b Katznelson 2004
- ^ Mallat 2009 , หน้า 45
- ^สตริชาร์ตซ์ 1994หน้า 150
- ^ฮันเตอร์ 2014
- ^พินสกี 2002 , หน้า 256
- ^รูดิน 1991หน้า 15
- ^เอ็ดเวิร์ดส์ 1982หน้า 53, 67, 72–73
- ^คัตซ์เนลสัน 2004หน้า 173ตามธรรมเนียมทั่วไปในทฤษฎีความน่าจะเป็น จะใช้e iξx แทนที่จะเป็นe − i 2π ξx
- ^บิลลิงสลีย์ 1995หน้า 345
- ↑แคทซ์เนลสัน 2004 , หน้า 40, 155, 164
- ^เอ็ดเวิร์ดส์ 1982หน้า 53
- ^ฮิววิตต์และรอสส์ 1970บทที่ 8
- ^แนปป์ 2001
- ↑คอร์เรอา จุสโต และแองเจลิโก 2024
- ↑อะโบลวิทซ์ และคณะ 1974 , หน้า 249–315
- ^ Lax 1968 , หน้า 467–490
- ^ Yousefi & Kschischang 2014 , หน้า 4312–4328
- ^ Gradshteyn et al. 2015
- ^เพรสและคณะ 1992
- ^เบลีย์ แอนด์ สวาร์ซทราเบอร์ 1994
- ^ลาโด 1971
- ^ Simonen & Olkkonen 1985
- ^ "คุณสมบัติการอินทิเกรตของการแปลงฟูริเยร์" . The Fourier Transform .com . 2015 [2010]. เก็บถาวรจากต้นฉบับเมื่อ 2022-01-26 . เรียกดูเมื่อ2023-08-20 .
- ^สไตน์และไวส์ 1971 , ทฤษฎีบท IV.3.3
- ^อีสตัน 2010
- ^สไตน์และไวส์ 1971ทฤษฎีบท 4.15
- ^สไตน์และไวส์ 1971หน้า 6
ลิงก์ภายนอก
สื่อที่เกี่ยวข้องกับการแปลงฟูริเยร์ในวิกิมีเดียคอมมอนส์- สารานุกรมคณิตศาสตร์
- ไวส์สไตน์, เอริก ดับเบิลยู. "การแปลงฟูริเยร์" . แมทเวิลด์ .
- การแปลงฟูริเยร์ในผลึกศาสตร์
สรุปเนื้อหา
ข้อมูลสำคัญจากบทความ
ข้อมูลสำคัญเกี่ยวกับ การแปลงฟูริเยร์
ในทางคณิตศาสตร์การแปลงฟูริเยร์ ( FT )เป็นการแปลงเชิงอินทิกรัลที่รับฟังก์ชันเป็นอินพุตและให้ผลลัพธ์เป็นฟังก์ชันอีกฟังก์ชันหนึ่งที่อธิบายขอบเขตที่ความถี่ ต่างๆ...
คำนิยาม
การแปลงฟูริเยร์ของฟังก์ชันค่าเชิงซ้อน ที่สามารถอินทิเกรตได้แบบเลเบส บนเส้นจำนวนจริง คือฟังก์ชันค่าเชิงซ้อน ซึ่งกำหนดโดยอินทิกรัล [ 1 ] เอฟ ( x ) {\displaystyle f(x)} เอฟ ^ ( ξ ) {\displaystyle {\widehat {f}}(\xi )}
ความถี่เชิงมุม ( ω )
เมื่อตัวแปรอิสระ ( x {\displaystyle x} ) แทน เวลา (มักใช้สัญลักษณ์ ที {\displaystyle t} ) ตัวแปรแปลง ( ξ {\displaystyle \xi } ) แทน ความถี่ (มักใช้สัญลักษณ์ เอฟ {\displaystyle f} ) ตัวอย่างเช่น ถ้าเวลามีหน่วย เป็นวินาที ความถี่จะมีหน่วย...
ฟังก์ชันที่สามารถหาปริพันธ์ได้แบบเลเบส
ฟังก์ชัน ที่วัดได้ เรียกว่าอินทิกรัลเลเบส (Lebesgue) ถ้า อินทิกรัลเลเบส ของ ค่าสัมบูรณ์ มีค่าจำกัด: ถ้าอินทิกรัลเลเบสเป็นอินทิกรัลแล้ว การแปลงฟูริเยร์ที่กำหนดโดย สมการ 1 จะถูกกำหนดไว้อย่างดีสำหรับทุก [ 10 ] ยิ่งไปกว่านั้น ยังมีขอบเขต ต่อเนื่องสม่ำเสมอ และ...