กลับไปหน้าบทความ

อ่าน 70 นาที

การแปลงฟูริเยร์

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

การแปลงฟูริเยร์

การแปลงฟูริเยร์ที่ใช้กับรูปคลื่นของคอร์ดเปียโนC เมเจอร์ (โดยแกนแนวนอน (ความถี่) เป็นแบบลอการิทึม) ยอดคลื่นสามยอดแรกทางด้านซ้ายสอดคล้องกับความถี่พื้นฐานของคอร์ด (C, E, G) ยอดคลื่นขนาดเล็กที่เหลือคือเสียงโอเวอร์ โทนที่มีความถี่สูงกว่า ของเสียงพื้นฐาน

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

การแปลงฟูริเยร์เป็นการเชื่อมโยงโดเมนเวลา (สีแดง) กับฟังก์ชันในโดเมนความถี่ (สีน้ำเงิน) ความถี่องค์ประกอบ ซึ่งขยายไปตลอดช่วงสเปกตรัมความถี่ จะแสดงเป็นยอดในโดเมนความถี่

ฟังก์ชันที่จำกัดอยู่ในโดเมนเวลาจะมีการแปลงฟูริเยร์ที่กระจายออกไปทั่วโดเมนความถี่ และในทางกลับกัน ซึ่งเป็นปรากฏการณ์ที่เรียกว่าหลักการความไม่แน่นอนกรณีสำคัญสำหรับหลักการนี้คือฟังก์ชันเกาส์เซียนซึ่งมีความสำคัญอย่างมากในทฤษฎีความน่าจะเป็นและสถิติรวมถึงในการศึกษาปรากฏการณ์ทางกายภาพที่แสดงการกระจายแบบปกติ (เช่นการแพร่ ) การแปลงฟูริเยร์ของฟังก์ชันเกาส์เซียนก็คือฟังก์ชันเกาส์เซียนอีกฟังก์ชันหนึ่งโจเซฟ ฟูริเยร์ได้แนะนำการแปลงไซน์และโคไซน์ (ซึ่งสอดคล้องกับส่วนจินตนาการและส่วนจริงของการแปลงฟูริเยร์สมัยใหม่) ในการศึกษาการถ่ายเทความร้อน ของเขา ซึ่งฟังก์ชันเกาส์เซียนปรากฏเป็นคำตอบของสมการ ความร้อน

การแปลงฟูริเยร์สามารถนิยามอย่างเป็นทางการได้ว่าเป็นปริพันธ์รีมันน์ที่ไม่เหมาะสม ทำให้มันเป็นการแปลงปริพันธ์ แม้ว่านิยามนี้จะไม่เหมาะสมสำหรับการใช้งานหลายอย่างที่ต้องการทฤษฎีปริพันธ์ที่ซับซ้อนกว่า[หมายเหตุ 2 ]ตัวอย่างเช่น การใช้งานที่ค่อนข้างง่ายหลายอย่างใช้ฟังก์ชันเดลต้าของดิแรกซึ่งสามารถพิจารณาอย่างเป็นทางการได้ราวกับว่าเป็นฟังก์ชัน แต่การให้เหตุผลนั้นต้องการมุมมองทางคณิตศาสตร์ที่ซับซ้อนกว่า[หมายเหตุ 3 ]

การแปลงฟูริเยร์ยังสามารถขยายไปสู่ฟังก์ชันของตัวแปรหลายตัวในปริภูมิยูคลิดได้โดยแปลงฟังก์ชันของ "ปริภูมิตำแหน่ง" 3 มิติไปเป็นฟังก์ชันของ โมเมนตัม 3 มิติ (หรือฟังก์ชันของปริภูมิและเวลา ไปเป็นฟังก์ชันของโมเมนตัม 4 มิติ ) แนวคิดนี้ทำให้การแปลงฟูริเยร์เชิงพื้นที่มีความเหมาะสมอย่างยิ่งในการศึกษาคลื่น เช่นเดียวกับในกลศาสตร์ควอนตัมซึ่งมีความสำคัญที่จะสามารถแสดงคำตอบของคลื่นเป็นฟังก์ชันของตำแหน่งหรือโมเมนตัม และบางครั้งก็ทั้งสองอย่าง โดยทั่วไป ฟังก์ชันที่วิธีการฟูริเยร์สามารถนำไปใช้ได้นั้นเป็นฟังก์ชันค่าเชิงซ้อน และอาจเป็นฟังก์ชันค่าเวกเตอร์ด้วย[หมายเหตุ 4 ]การวางนัยทั่วไปเพิ่มเติมยังสามารถทำได้กับฟังก์ชันบนกลุ่มซึ่งนอกเหนือจากการแปลงฟูริเยร์ดั้งเดิมบนRหรือR nแล้ว ยังรวมถึงการแปลงฟูริเยร์แบบเวลาไม่ต่อเนื่อง (DTFT, กลุ่ม = Z ) การแปลงฟูริเยร์แบบไม่ต่อเนื่อง (DFT, กลุ่ม = Z mod N ) และอนุกรมฟูริเยร์หรือการแปลงฟูริเยร์แบบวงกลม (กลุ่ม = S 1 , วงกลมหน่วย ≈ ช่วงปิดที่มีจุดปลายที่ระบุ) ซึ่งอย่างหลังนี้มักใช้ในการจัดการกับฟังก์ชันคาบการแปลงฟูริเยร์แบบเร็ว ( FFT ) เป็นอัลกอริทึมสำหรับการคำนวณ DFT

คำนิยาม

การแปลงฟูริเยร์ของฟังก์ชันค่าเชิงซ้อนที่สามารถอินทิเกรตได้แบบเลเบสบนเส้นจำนวนจริง คือฟังก์ชันค่าเชิงซ้อนซึ่งกำหนดโดยอินทิกรัล[ 1 ]

การแปลงฟูริเยร์

เมื่ออิน ทิกรัล (เลเบส) สามารถหาได้บนเส้นจำนวนจริงทั้งหมด อินทิกรัลข้างต้นจะลู่เข้าสำหรับทุกค่าของและเป็นฟังก์ชันต่อเนื่องสม่ำเสมอ ของ ซึ่งลดลงเป็นศูนย์เมื่อ

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

สูตรการผกผันที่สอดคล้องกันสำหรับฟังก์ชันที่มีคุณสมบัติความสม่ำเสมอและการลดลงเพียงพอ ได้รับการนำเสนอครั้งแรกในทฤษฎีบทการผกผันของฟูริเยร์ [ 4 ] [ 5 ] [ 6 ] [ 7 ] โดย ทฤษฎีบทการผกผันของฟูริเยร์กล่าวคือ

การแปลงผกผัน

ฟังก์ชันและถูกเรียกว่าคู่การแปลงฟูริเยร์ [ 8 ] สั   ญกรณ์ทั่วไปสำหรับการกำหนดคู่การแปลงคือ: [ 9 ] ตัวอย่างเช่น การแปลงฟูริเยร์ของฟังก์ชันเดลต้าคือฟังก์ชันคงที่ :

ความถี่เชิงมุม ( ω )

เมื่อตัวแปรอิสระ ( ⁠ ⁠ ) แทนเวลา (มักใช้สัญลักษณ์⁠ ⁠ ) ตัวแปรแปลง ( ⁠ ⁠ ) แทนความถี่ (มักใช้สัญลักษณ์⁠ ⁠ ) ตัวอย่างเช่น ถ้าเวลามีหน่วยเป็นวินาทีความถี่จะมีหน่วยเป็นเฮิรตซ์ตัวแปรแปลงยังสามารถเขียนในรูปของความถี่เชิงมุมโดยมีหน่วยเป็นเรเดียนต่อวินาที ได้อีก ด้วย

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

สรุปรูปแบบที่นิยมใช้ของการแปลงฟูริเยร์แบบหนึ่งมิติ
ความถี่ปกติξ (เฮิร์ตซ์) เอกภาพ
ความถี่เชิงมุมω (เรเดียน/วินาที) เอกภาพ
ไม่เป็นเอกภาพ
การสรุปทั่วไปสำหรับฟังก์ชัน n มิติ
ความถี่ปกติξ (เฮิร์ตซ์) เอกภาพ
ความถี่เชิงมุมω (เรเดียน/วินาที) เอกภาพ
ไม่เป็นเอกภาพ

ฟังก์ชันที่สามารถหาปริพันธ์ได้แบบเลเบส

ฟังก์ชันที่วัดได้ เรียกว่าอินทิกรัลเลเบส (Lebesgue) ถ้าอินทิกรัลเลเบสของค่าสัมบูรณ์มีค่าจำกัด: ถ้าอินทิกรัลเลเบสเป็นอินทิกรัลแล้ว การแปลงฟูริเยร์ที่กำหนดโดยสมการ 1จะถูกกำหนดไว้อย่างดีสำหรับทุก[ 10 ]ยิ่งไปกว่านั้น ยังมีขอบเขตต่อเนื่องสม่ำเสมอและ (ตามทฤษฎีบทของรีมันน์-เลเบส ) เป็นศูนย์ที่อนันต์ในที่นี้หมายถึงปริภูมิของฟังก์ชันต่อเนื่องบนที่เข้าใกล้ 0 เมื่อ x เข้าใกล้ค่าบวกหรือลบอนันต์

ปริภูมิดังกล่าวเป็นปริภูมิของฟังก์ชันที่วัดได้ซึ่งนอร์มมีค่าจำกัด โดยพิจารณาจากความสัมพันธ์สมมูลของความเท่าเทียมกันเกือบทุกที่การแปลงฟูริเยร์บนปริภูมินี้เป็นฟังก์ชันหนึ่งต่อหนึ่งอย่างไรก็ตาม ไม่มีการกำหนดลักษณะเฉพาะของภาพที่ง่าย และด้วยเหตุนี้จึงไม่มีการกำหนดลักษณะเฉพาะของการแปลงผกผันที่ง่าย โดยเฉพาะอย่างยิ่งสมการที่ 2ไม่ถูกต้องอีกต่อไป เนื่องจากระบุไว้ภายใต้สมมติฐานที่ว่านั้น "ดีพอ" (เช่นลดลงตามอนุพันธ์ทั้งหมด )

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

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

  • นั่นคือการแปลงฟูริเยร์ของตัวมันเอง และ
  • นั่นคือปริพันธ์เกาส์เซียน⁠ ⁠ .

ลักษณะเด่นของการแปลงฟูริเยร์คือเป็นโฮโมมอร์ฟิซึมของพีชคณิตบานาคจากที่ติดตั้งการดำเนินการคอนโวลูชันไปยังพีชคณิตบานาคของฟังก์ชันต่อเนื่องภายใต้บรรทัดฐาน (สูงสุด) ข้อตกลงที่เลือกในบทความนี้คือข้อตกลงของการวิเคราะห์ฮาร์มอนิกโดยที่การแปลงฟูริเยร์เป็นทั้งเอกภาพบนและเป็นโฮโมมอร์ฟิซึมของพีชคณิตจากไปยังโดยไม่ต้องปรับค่าการวัดเลเบสใหม่[ 12 ]

พื้นหลัง

ประวัติศาสตร์

ในปี พ.ศ. 2365 ฟูริเยร์ได้กล่าวอ้าง (ดูโจเซฟ ฟูริเยร์ § ทฤษฎีวิเคราะห์ของความร้อน ) ว่าฟังก์ชันใดๆ ไม่ว่าจะเป็นแบบต่อเนื่องหรือไม่ต่อเนื่อง ก็สามารถขยายออกเป็นอนุกรมของไซน์ได้[ 13 ]งานสำคัญชิ้นนั้นได้รับการแก้ไขและขยายความโดยผู้อื่นเพื่อวางรากฐานสำหรับรูปแบบต่างๆ ของการแปลงฟูริเยร์ที่ใช้มาตั้งแต่นั้นเป็นต้นมา

ไซนูซอยด์เชิงซ้อน

คลื่นไซน์สีแดงสามารถอธิบายได้ด้วยแอมพลิจูดสูงสุด (1) ระยะห่างระหว่างจุดสูงสุด (2) ค่าRMS (3) และความยาวคลื่น (4) คลื่นไซน์สีแดงและสีน้ำเงินมีเฟสต่างกันθ

โดยทั่วไป สัมประสิทธิ์จะเป็นจำนวนเชิงซ้อน ซึ่งมีสองรูปแบบที่เทียบเท่ากัน (ดูสูตรของออยเลอร์ ):

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

เป็นที่น่าสังเกตว่าผลิตภัณฑ์นั้นสามารถลดรูปได้อย่างง่ายดายโดยใช้รูปแบบเชิงขั้ว และรูปแบบสี่เหลี่ยมผืนผ้านั้นสามารถอนุมานได้อย่างง่ายดายโดยการประยุกต์ใช้สูตรของออยเลอร์

ความถี่เชิงลบ

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

สำหรับค่าจริง⁠ ⁠ สมการที่ 1มีคุณสมบัติสมมาตร (ดูหัวข้อ § การสังยุคด้านล่าง) ความซ้ำซ้อนนี้ทำให้สมการที่ 2 สามารถ แยกแยะ ⁠ ⁠ ออก จากได้ แต่ไม่สามารถระบุเครื่องหมายที่แท้จริงของได้ เนื่องจากและไม่สามารถแยกแยะได้บนเส้นจำนวนจริงเพียงอย่างเดียว

การแปลงฟูริเยร์สำหรับฟังก์ชันคาบ

การแปลงฟูริเยร์ของฟังก์ชันคาบไม่สามารถนิยามได้โดยตรงโดยใช้สูตรอินทิกรัล เพื่อให้อินทิกรัลในสมการที่ 1 สามารถ นิยามได้ ฟังก์ชันนั้นต้องเป็นฟังก์ชันที่หาอินทิกรัลสัมบูรณ์ได้แต่โดยทั่วไปมักใช้ชุดอนุกรมฟูริเยร์แทนเป็นไปได้ที่จะขยายคำนิยามให้ครอบคลุมฟังก์ชันคาบโดยมองว่าฟังก์ชันเหล่านั้นเป็นฟังก์ชัน กระจายแบบปรับอุณหภูมิ

สิ่งนี้ทำให้สามารถมองเห็นความเชื่อมโยงระหว่างอนุกรมฟูริเยร์และการแปลงฟูริเยร์สำหรับฟังก์ชันคาบที่มีอนุกรมฟูริเยร์ลู่เข้าได้ถ้าเป็นฟังก์ชันคาบ ที่ มีคาบและมีอนุกรมฟูริเยร์ลู่เข้าแล้ว: โดยที่เป็นสัมประสิทธิ์อนุกรมฟูริเยร์ของและเป็นฟังก์ชันเดลตาของดิแรกกล่าวอีกนัยหนึ่ง การแปลงฟูริเยร์คือฟังก์ชันหวีของดิแรก ที่ ฟัน ของมัน ถูกคูณด้วยสัมประสิทธิ์อนุกรมฟูริเยร์

การสุ่มตัวอย่างการแปลงฟูริเยร์

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

ความสามารถในการหาปริพันธ์ทำให้มั่นใจได้ว่าผลรวมแบบคาบจะลู่เข้า ดังนั้น ตัวอย่างจึงสามารถกำหนดได้โดยการวิเคราะห์อนุกรมฟูริเยร์:

เมื่อฟังก์ชันมี ขอบเขตจำกัด จะมีจำนวนพจน์ที่จำกัดภายในช่วงของการอินทิเกรต เมื่อฟังก์ชันไม่มีขอบเขตจำกัด การประเมินค่าเชิงตัวเลขของฟังก์ชันจะต้องใช้การประมาณ เช่น การลดทอนหรือตัดทอนจำนวนพจน์

หน่วย

ตัวแปรความถี่ต้องมีหน่วยผกผันกับหน่วยของโดเมนของฟังก์ชันดั้งเดิม (โดยทั่วไปเรียกว่าหรือ ) ตัวอย่างเช่น ถ้าวัดเป็นวินาทีควรมีหน่วยเป็นรอบต่อวินาทีหรือเฮิรตซ์ถ้ามาตราส่วนของเวลาอยู่ในหน่วยวินาที โดยทั่วไปจะใช้ตัวอักษรกรีกอีกตัวแทนเพื่อแสดงความถี่เชิงมุม (โดยที่) ในหน่วยเรเดียนต่อวินาที ถ้าใช้สำหรับหน่วยความยาวต้องมีหน่วยเป็นความยาวผกผัน เช่น เลข คลื่น กล่าวคือ มีเส้น จำนวนจริงสองเวอร์ชัน: เวอร์ชันหนึ่งคือ ช่วงของและวัดในหน่วยและอีกเวอร์ชันหนึ่งคือช่วงของและวัดในหน่วยผกผันกับหน่วยของเส้นจำนวนจริงสอง เวอร์ชันที่แตกต่างกันนี้ไม่สามารถเท่ากันได้ ดังนั้น การแปลงฟูริเยร์จึงเปลี่ยนจากปริภูมิของฟังก์ชันหนึ่งไปยังปริภูมิของฟังก์ชันที่แตกต่างกัน: ฟังก์ชันที่มีโดเมนการนิยาม ที่แตกต่างกัน

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

การที่ไม่มีวิธีใดวิธีหนึ่งที่ได้รับการยอมรับเป็นพิเศษ (หรือบางครั้งอาจกล่าวว่า "ไม่มีวิธีที่เป็นมาตรฐาน") ในการเปรียบเทียบเส้นจำนวนจริงสองเวอร์ชันที่เกี่ยวข้องกับการแปลงฟูริเยร์นั้น—การกำหนดหน่วยบนเส้นหนึ่งไม่ได้บังคับมาตราส่วนของหน่วยบนอีกเส้นหนึ่ง—เป็นเหตุผลที่ทำให้มีข้อกำหนดที่แตกต่างกันมากมายเกี่ยวกับการนิยามการแปลงฟูริเยร์ คำนิยามต่างๆ ที่ได้จากการเลือกหน่วยที่แตกต่างกันนั้นแตกต่างกันด้วยค่าคงที่ต่างๆ

ในธรรมเนียมอื่น ๆ การแปลงฟูริเยร์จะมีiอยู่ในเลขชี้กำลังแทนที่จะเป็น−iและในทางกลับกันสำหรับสูตรการผกผัน ธรรมเนียมนี้เป็นเรื่องปกติในฟิสิกส์สมัยใหม่[ 14 ]และเป็นค่าเริ่มต้นสำหรับWolfram Alphaและไม่ได้หมายความว่าความถี่กลายเป็นลบ เนื่องจากไม่มีคำจำกัดความมาตรฐานของความเป็นบวกสำหรับความถี่ของคลื่นเชิงซ้อน มันหมายความเพียงว่า เป็นแอมพลิจู ของคลื่น  แทนที่จะเป็นคลื่น  (แบบแรกที่มีเครื่องหมายลบ มักจะเห็นในการพึ่งพาเวลาสำหรับคำตอบคลื่นระนาบไซน์ของสมการคลื่นแม่เหล็กไฟฟ้าหรือในการพึ่งพาเวลาสำหรับฟังก์ชันคลื่นควอนตัม ) เอกลักษณ์หลายอย่างที่เกี่ยวข้องกับการแปลงฟูริเยร์ยังคงใช้ได้ในธรรมเนียมเหล่านั้น ตราบใดที่เทอมทั้งหมดที่เกี่ยวข้อง กับ i อย่างชัดเจน ถูกแทนที่ด้วย−iในวิศวกรรมไฟฟ้าตัวอักษรjมักใช้สำหรับหน่วยจินตนาการแทนiเนื่องจากiใช้สำหรับกระแสไฟฟ้า

เมื่อใช้หน่วยที่ไม่มีมิติค่าคงที่อาจไม่ได้เขียนไว้ในนิยามการแปลง ตัวอย่างเช่น ในทฤษฎีความน่าจะเป็น ฟังก์ชันลักษณะเฉพาะΦของฟังก์ชันความหนาแน่นความน่าจะเป็นของตัวแปรสุ่มชนิดต่อเนื่องจะถูกกำหนดโดยไม่มีเครื่องหมายลบในเลขชี้กำลัง และเนื่องจากหน่วยของถูก ละเลย จึงไม่มีเช่นกัน :

ในทฤษฎีความน่าจะเป็นและสถิติทางคณิตศาสตร์ การใช้การแปลงฟูริเยร์-สตีลเจสเป็นที่นิยมมากกว่า เนื่องจากตัวแปรสุ่มจำนวนมากไม่ใช่ประเภทต่อเนื่องและไม่มีฟังก์ชันความหนาแน่น จึงต้องพิจารณาไม่ใช่ฟังก์ชัน แต่เป็นการกระจาย กล่าวคือ การวัดที่มี "อะตอม"

จากมุมมองที่สูงขึ้นของลักษณะเฉพาะของกลุ่มซึ่งมีความเป็นนามธรรมมากกว่า ตัวเลือกที่เป็นไปตามอำเภอใจเหล่านี้จะหายไปทั้งหมด ดังที่จะได้อธิบายในส่วนถัดไปของบทความนี้ ซึ่งกล่าวถึงแนวคิดของการแปลงฟูริเยร์ของฟังก์ชันบนกลุ่มอาเบเลียนที่กะทัดรัดเฉพาะที่

คุณสมบัติ

ให้และแทนฟังก์ชันที่หาปริพันธ์ได้และวัดได้แบบเลเบสบนเส้นจำนวนจริงซึ่งสอดคล้องกับเงื่อนไขต่อไปนี้: เราใช้สัญลักษณ์ และ แทนการแปลงฟูริเยร์ของฟังก์ชันเหล่านี้ตามลำดับ

คุณสมบัติพื้นฐาน

การแปลงฟูริเยร์มีคุณสมบัติพื้นฐานดังต่อไปนี้: [ 15 ]

ความเป็นเส้นตรง

การเลื่อนเวลา

การเปลี่ยนความถี่

การปรับขนาดเวลา

กรณีนี้ส่งผลให้เกิดคุณสมบัติการย้อนเวลา :

การแปลงของฟังก์ชันค่าจริงที่มีสมมาตรคู่⁠ ⁠ก็เป็นฟังก์ชันค่าจริงที่มีสมมาตรคู่เช่นกัน ( ⁠ ⁠ ) การเลื่อนเวลา⁠ ⁠ทำให้เกิดส่วนจินตภาพ⁠ ⁠ (ดู§ สมมาตร )

สมมาตร

เมื่อส่วนจริงและส่วนจินตนาการของฟังก์ชันเชิงซ้อนถูกแยกออกเป็นส่วนคู่และส่วนคี่จะมีส่วนประกอบสี่ส่วน ซึ่งแสดงไว้ด้านล่างด้วยตัวห้อย RE, RO, IE และ IO และมีการจับคู่แบบหนึ่งต่อหนึ่งระหว่างส่วนประกอบทั้งสี่ของฟังก์ชันเวลาเชิงซ้อนและส่วนประกอบทั้งสี่ของการแปลงความถี่เชิงซ้อน: [ 16 ]

จากสิ่งนี้ ความสัมพันธ์ต่างๆ ปรากฏให้เห็นได้ชัดเจน ตัวอย่างเช่น:

  • การแปลงของฟังก์ชันค่าจริง ( ⁠ ⁠ ) คือฟังก์ชันสมมาตรสังยุค ⁠ ⁠ในทางกลับกัน การแปลง สมมาตรสังยุคหมายถึงโดเมนเวลาค่าจริง
  • การแปลงของฟังก์ชันค่าจินตนาการ ( ) คือฟังก์ชันแอนติสมมาตรสังยุคและข้อความกลับก็เป็นจริงเช่นกัน
  • การแปลงของฟังก์ชันสมมาตรสังยุค คือฟังก์ชัน ค่าจริงและในทางกลับกันก็เป็นจริงเช่นกัน
  • การแปลงของฟังก์ชันแอนติสมมาตรคู่ควบคือฟังก์ชันค่าจินตนาการและในทางกลับกันก็เป็นจริงเช่นกัน

การผันคำกริยา

(หมายเหตุ: เครื่องหมาย⁠ ⁠แสดงถึงการผันเชิงซ้อน )

โดยเฉพาะอย่างยิ่ง ถ้าเป็นจำนวนจริงแล้วจะเป็นฟังก์ชันสมมาตรสังยุค ( หรือเรียกอีกอย่างว่าฟังก์ชันเฮอร์มิเชียน ):

ถ้าเป็นจำนวนจินตนาการล้วนๆ แล้วจะเป็นจำนวนสมมาตรคี่ :

ส่วนจริงและส่วนจินตนาการ

ส่วนประกอบความถี่ศูนย์

เมื่อแทนค่าลงในนิยาม เราจะได้:

อินทิกรัลของฟังก์ชันตลอดช่วงโดเมน คือ มวลรวมหรือค่าไบแอสกระแสตรงของฟังก์ชันนั้น

ความต่อเนื่องสม่ำเสมอและทฤษฎีบทของรีมันน์-เลเบส

ฟังก์ชันสี่เหลี่ยมผืนผ้าสามารถหาปริพันธ์แบบเลเบสได้
ฟังก์ชันsincซึ่งเป็นการแปลงฟูริเยร์ของฟังก์ชันสี่เหลี่ยมผืนผ้า มีขอบเขตและต่อเนื่อง แต่ไม่สามารถหาปริพันธ์แบบเลเบสได้

การแปลงฟูริเยร์อาจนิยามได้ในบางกรณีสำหรับฟังก์ชันที่ไม่สามารถหาปริพันธ์ได้ แต่การแปลงฟูริเยร์ของฟังก์ชันที่สามารถหาปริพันธ์ได้นั้นมีคุณสมบัติที่โดดเด่นหลายประการ

การแปลงฟูริเยร์ของฟังก์ชันที่สามารถอินทิเกรตได้นั้นมีความต่อเนื่องสม่ำเสมอและ[ 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ξx , ( M ξ f )( x ) = e iξx f ( x )ตัวดำเนินการเหล่านี้ไม่สลับที่กัน เนื่องจากตัวสลับ (กลุ่ม) ของพวกมันคือ การคูณด้วยค่าคงที่ (ไม่ขึ้นกับx ) e iξyU (1) ( กลุ่มวงกลม ของจำนวนเชิงซ้อนโมดูลัสหนึ่ง) ในฐานะกลุ่มนามธรรม กลุ่มไฮเซนเบิร์กคือ กลุ่มลีสามมิติของสามสิ่ง( x , ξ , z ) ∈ R 2 × U (1)โดยมีกฎของกลุ่ม

ให้ H 1แทนกลุ่มไฮเซนเบิร์กขั้นตอนข้างต้นไม่เพียงแต่จะอธิบายโครงสร้างของกลุ่มเท่านั้น แต่ยังรวมถึงการแสดงแทนแบบเอกภาพ มาตรฐาน ของH 1บนปริภูมิฮิลเบิร์ต ซึ่งเราใช้สัญลักษณ์ρ  : H 1B ( L 2 ( R ))แทนด้วย กำหนดออโตมอร์ฟิซึมเชิงเส้นของR 2โดย ที่J 2 = − I Jนี้สามารถขยายไปเป็นออโตมอร์ฟิซึมที่ไม่ซ้ำกันของH 1 ได้ดังนี้ :

ตามทฤษฎีบทสโตน-ฟอน นอยมันน์ การแสดงผลแบบเอกภาพρและρjนั้นสมมูลกันแบบเอกภาพ ดังนั้นจึงมีตัวเชื่อมประสานWU ( L 2 ( R )) ที่ไม่ซ้ำกันเพียงตัวเดียว ซึ่ง ตัวดำเนินการ W นี้คือการแปลงฟูริเยร์

คุณสมบัติมาตรฐานหลายอย่างของการแปลงฟูริเยร์เป็นผลโดยตรงจากกรอบงานทั่วไปนี้[ 32 ]ตัวอย่างเช่น กำลังสองของการแปลงฟูริเยร์W 2เป็นตัวเชื่อมที่เกี่ยวข้องกับJ 2 = − Iดังนั้นเราจึงมี( W 2 f )( x ) = f (− x )ซึ่ง เป็นการสะท้อนของฟังก์ชันดั้งเดิมf

โดเมนที่ซับซ้อน

อินทิกรัลสำหรับการแปลงฟูริเยร์ สามารถศึกษาได้สำหรับ ค่า เชิงซ้อนของอาร์กิวเมนต์ξขึ้นอยู่กับคุณสมบัติของfซึ่งอาจจะไม่ลู่เข้าจากแกนจริงเลย หรืออาจจะลู่เข้าสู่ฟังก์ชันวิเคราะห์เชิงซ้อนสำหรับค่าทั้งหมดของξ = σ + หรือบางอย่างระหว่างนั้น[ 33 ]

ทฤษฎีบทPaley–Wienerกล่าวว่าfเป็นฟังก์ชันเรียบ (กล่าวคือ สามารถหาอนุพันธ์ได้ nครั้งสำหรับจำนวนเต็มบวกn ทั้งหมด ) และมีขอบเขตจำกัดก็ต่อเมื่อ ( σ + )เป็นฟังก์ชันโฮโลมอร์ฟิกซึ่งมีค่าคงที่a > 0 อยู่ เช่นนั้นสำหรับจำนวนเต็มn ≥ 0 ใดๆ สำหรับ ค่าคงที่ C_n บางค่า(ในกรณีนี้fจะมีขอบเขตบน[− a , a ] ) สิ่งนี้สามารถแสดงได้โดยกล่าวว่าเป็นฟังก์ชันเอนไทร์ที่ลดลงอย่างรวดเร็วในσ (สำหรับτ ที่คงที่ ) และมีการเติบโตแบบเอกซ์โพเนนเชียลในτ (สม่ำเสมอในσ ) [ 34 ]

(ถ้าfไม่เรียบ แต่เป็นเพียงL 2 เท่านั้น เวอร์ชันที่สอดคล้องกันจะคงอยู่โดยที่เงื่อนไขการลดลงอย่างรวดเร็วถูกแทนที่ด้วยเงื่อนไขL 2 ที่เหมาะสม [ 35 ] ) พื้นที่ของฟังก์ชันดังกล่าวของตัวแปรเชิงซ้อนเรียกว่าพื้นที่ Paley–Wiener ทฤษฎีบทนี้ได้รับการขยายไปสู่กลุ่มLie กึ่งง่าย [ 36 ]

ถ้าfรองรับบนครึ่งเส้นt ≥ 0แล้วfจะถูกเรียกว่า "เป็นเหตุเป็นผล" เพราะฟังก์ชันการตอบสนองแบบอิมพัล ส์ ของตัวกรอง ที่สามารถสร้างขึ้นได้จริงทางกายภาพ จะต้องมีคุณสมบัตินี้ เนื่องจากไม่มีผลใดสามารถเกิดขึ้นก่อนสาเหตุได้Paleyและ Wiener แสดงให้เห็นว่าภายใต้สมมติฐานความสามารถในการบูรณาการที่เหมาะสมจะขยายไปเป็นฟังก์ชันโฮโลมอร์ฟิกบนครึ่งระนาบล่างเชิงซ้อนτ < 0ที่มีแนวโน้มเป็นศูนย์เมื่อτเข้าสู่−∞ [ 37 ] บทกลับแบบง่ายในรูปแบบนี้เป็นเท็จ บทกลับที่แม่นยำต้องใช้สมมติฐานการเติบโตเพิ่มเติมหรือสมมติฐานพื้นที่ Hardy [ 38 ]

การแปลงลาปลาส

การแปลงฟูริเยร์ ( ξ )เกี่ยวข้องกับการแปลงลาปลาส F ( s )ซึ่งใช้ในการแก้สม การ เชิง อนุพันธ์และการวิเคราะห์ตัวกรอง ด้วยเช่นกัน

อาจเกิดขึ้นได้ว่า ฟังก์ชันfซึ่งปริพันธ์ฟูริเยร์ไม่ลู่เข้าสู่แกนจริงเลยนั้น ยังคงมีการแปลงฟูริเยร์เชิงซ้อนที่กำหนดไว้ในบางบริเวณของระนาบ เชิงซ้อน

ตัวอย่างเช่น ถ้าf เป็นเหตุเป็นผลและมีการ เติบโต แบบเลขชี้กำลัง กล่าวคือ สำหรับค่าคงที่C บางค่า a 0แล้ว[ 39 ] ลู่เข้าสำหรับτ < − a ทั้งหมด จะเป็นการแปลงลาปลาสด้านเดียวของf

รูปแบบการแปลงลาปลาสแบบด้านเดียวทั่วไปคือ

ถ้าfเป็นฟังก์ชันเชิงสาเหตุและอินทิกรัลลู่เข้าดังนั้นการขยายการแปลงฟูริเยร์ไปยังโดเมนเชิงซ้อนหมายความว่ามันรวมการแปลงลาปลาสเป็นกรณีพิเศษในกรณีของฟังก์ชันเชิงสาเหตุ แต่มีการเปลี่ยนตัวแปรเป็น s = iξ

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

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

ในคณิตศาสตร์สมัยใหม่ การแปลงลาปลาสโดยทั่วไปจัดอยู่ในกลุ่มวิธีการฟูริเยร์ แต่ทั้งสองอย่างนี้ก็อยู่ภายใต้แนวคิดที่ทั่วไปและนามธรรมกว่ามาก นั่นคือการวิเคราะห์ฮาร์มอนิ

การผกผัน

ยังคงอยู่กับ⁠ ⁠หากเป็นการวิเคราะห์เชิงซ้อนสำหรับaτbและมีการลดลงเพียงพอในแถบแนวนอน จากนั้น โดยทฤษฎีบทปริพันธ์ของ Cauchyดังนั้นสูตรการผกผันของ Fourier สามารถใช้การอินทิเกรตตามเส้นต่างๆ ที่ขนานกับแกนจริงได้[ 40 ]

ทฤษฎีบท: ถ้าf ( t ) = 0สำหรับt < 0และ| f ( t ) | < Ce ที่สำหรับค่าคงที่C , a > 0และt ≥ 0 บางค่า แล้ว สำหรับτ < − ⁠ ใดๆเอ/ภาย ใต้สมมติฐานทั่วไปสำหรับการผกผันฟูริเยร์

ทฤษฎีบทนี้บ่งชี้สูตรการผกผันของ 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 ) มีความเข้มข้นมากเท่าใด การแปลงฟูริเยร์ ( ξ )ของมันก็ยิ่งต้องกระจายออกไปมากเท่านั้น โดยเฉพาะอย่างยิ่ง คุณสมบัติการปรับขนาดของการแปลงฟูริเยร์อาจมองได้ว่า ถ้าเราบีบฟังก์ชันในxการแปลงฟูริเยร์ของมันจะยืดออกไปในξไม่สามารถทำให้ทั้งฟังก์ชันและการแปลงฟูริเยร์ของมันมีความเข้มข้นได้ตามอำเภอใจ

ความสมดุลระหว่างการบีบอัดฟังก์ชันและการแปลงฟูริเยร์ของฟังก์ชันนั้น สามารถกำหนดเป็นหลักการความไม่แน่นอนได้โดยการมองฟังก์ชันและการแปลงฟูริเยร์ของฟังก์ชันนั้นว่าเป็นตัวแปรคู่ควบกันโดยสัมพันธ์กับรูปแบบซิมเพล็กติกในโดเมนเวลา-ความถี่ : จากมุมมองของการแปลงเชิงเส้นแบบแคนอนิกการแปลงฟูริเยร์คือการหมุน 90° ในโดเมนเวลา-ความถี่ และรักษารูปแบบซิมเพล็กติกไว้

สมมติว่าf ( x )เป็นฟังก์ชัน ที่หาปริพันธ์ได้และ หาปริพันธ์กำลังสองได้โดยไม่เสียความเป็นทั่วไปให้ถือว่าf ( x )เป็นฟังก์ชันมาตรฐาน:

จาก ทฤษฎีบทของ Plancherelสรุปได้ว่า ( ξ )ก็ได้รับการทำให้เป็นมาตรฐานเช่นกัน

การกระจายรอบx = 0อาจวัดได้จากการกระจายรอบศูนย์ที่กำหนดโดย[ 43 ]

ในแง่ของความน่าจะเป็น นี่คือโมเมนต์ที่สองของ| f ( x ) | 2รอบศูนย์

หลักการความไม่แน่นอนระบุว่า ถ้าf ( x )มีความต่อเนื่องสัมบูรณ์ และฟังก์ชันx · f ( x )และf ' ( x )สามารถหาปริพันธ์กำลังสองได้ แล้ว

ความเท่าเทียมกันจะเกิดขึ้นได้เฉพาะในกรณี ที่σ > 0เป็นค่าใดๆ และC 1 = 42/σดังนั้น 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 ]ซึ่งช่วยให้สามารถคำนวณการแปลงฟูริเยร์สามมิติของฟังก์ชันรัศมีจากฟังก์ชันหนึ่งมิติได้

ปัญหาข้อจำกัด

ในมิติที่สูงขึ้น การศึกษาปัญหาการจำกัดขอบเขตของการแปลงฟูริเยร์กลายเป็นเรื่องที่น่าสนใจ การแปลงฟูริเยร์ของฟังก์ชันที่หาปริพันธ์ได้นั้นมีความต่อเนื่อง และการจำกัดขอบเขตของฟังก์ชันนี้บนเซตใดๆ ก็สามารถกำหนดได้ แต่สำหรับฟังก์ชันที่หาปริพันธ์กำลังสองได้ การแปลงฟูริเยร์อาจเป็นกลุ่มทั่วไปของฟังก์ชัน ที่หาปริพันธ์กำลังสอง ได้ดังนั้น การจำกัดขอบเขตของการแปลงฟูริเยร์ของ ฟังก์ชัน ( Rn )จึง ไม่สามารถกำหนดได้บน เซต ที่มีขนาดเป็น 0 การทำความเข้าใจปัญหาการจำกัดขอบเขตใน Lpสำหรับ1 < p < 2ยังคงเป็นหัวข้อการศึกษาที่สำคัญในบางกรณีสามารถกำหนดการจำกัดขอบเขตของการแปลงฟูริเยร์บนเซตS ได้ หาก Sมีความโค้งไม่เป็นศูนย์ กรณีที่Sเป็นทรงกลมหน่วยในRn นั้นมีความน่าสนใจเป็นพิเศษ ในกรณีนี้ ทฤษฎีบทการจำกัดขอบเขตของโทมัส- ไตน์ระบุว่า การจำกัดขอบเขตของการแปลงฟูริเยร์บนทรงกลมหน่วยในRnเป็นตัวดำเนินการที่มีขอบเขตบนLp ก็ต่อเมื่อ1 ≤ p2n + 2/n + 3 .

ความแตกต่างที่สำคัญอย่างหนึ่งระหว่างการแปลงฟูริเยร์ในมิติเดียวเทียบกับมิติที่สูงกว่านั้นเกี่ยวข้องกับตัวดำเนินการผลรวมย่อย พิจารณาชุดที่วัดได้E R ที่เพิ่มขึ้นเรื่อยๆ โดยมีดัชนีเป็นR ∈ (0, ∞)เช่น ลูกบอลรัศมีRที่มีจุดศูนย์กลางอยู่ที่จุดกำเนิด หรือลูกบาศก์ด้านยาว2 Rสำหรับฟังก์ชันที่หาปริพันธ์ได้f ที่กำหนด ให้พิจารณาฟังก์ชันf Rที่กำหนดโดย:

สมมติเพิ่มเติมว่าfL 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เท่านั้น แต่สำหรับบางฟังก์ชันfL p ( R n ) f Rยังไม่เป็นองค์ประกอบของL pด้วย ซ้ำ

การแปลงฟูริเยร์บนปริภูมิฟังก์ชัน

นิยามของการแปลงฟูริเยร์ขยายจากไปได้ อย่างเป็นธรรมชาติ นั่นคือ ถ้าการแปลงฟูริเยร์ จะกำหนดโดย ตัวดำเนินการนี้มีขอบเขตเป็นซึ่ง แสดงให้เห็นว่าบรรทัดฐานของตัวดำเนินการมีขอบเขตโดย1 ทฤษฎีบท ของรีมันน์-เลเบสแสดงให้เห็นว่า ถ้าการแปลงฟูริเยร์ของมันอยู่ใน ปริภูมิของฟังก์ชัน ต่อเนื่องที่หายไปที่อนันต์ กล่าวคือ[ 52 ] [ 53 ] ยิ่งไปกว่านั้นภาพของภายใต้ เป็นเซต ย่อยที่เข้มงวดของ[ 54 ]

เช่นเดียวกับกรณีของตัวแปรเดียว การแปลงฟูริเยร์สามารถกำหนดได้บน⁠ ⁠การแปลงฟูริเยร์ในไม่ได้กำหนดโดยปริพันธ์เลเบสธรรมดาอีกต่อไป แม้ว่าจะสามารถคำนวณได้โดยปริพันธ์ที่ไม่เหมาะสม กล่าว คือ โดยที่ลิมิตถูกพิจารณาในความหมายL 2 [หมายเหตุ 7 ] [ 55 ]

นอกจากนี้ ยังเป็นตัวดำเนินการเอกภาพ [ 56 ] สำหรับตัวดำเนินการที่จะเป็นเอกภาพนั้น เพียงพอที่จะแสดงว่ามันเป็นฟังก์ชันหนึ่งต่อหนึ่งทั่วถึงและรักษาผลคูณภายใน ทฤษฎีบทการผกผันของฟูริเยร์บ่งชี้ว่าการแปลงเป็นฟังก์ชันหนึ่งต่อหนึ่งทั่วถึง นอกจากนี้ สำหรับf , gL 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 ใช้ได้ในกรณีนี้ ( ξ )เป็นฟังก์ชันที่หายไปที่อนันต์บน Ĝ

การแปลงฟูริเยร์บน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 ( σ ) ที่แน่นอน บนปริภูมิฮิลเบิร์ตที่มีมิติจำกัดสำหรับแต่ละσ Σ

สำหรับfL 1 ( G )การแปลงฟูริเยร์ของfที่σคือตัวดำเนินการบนH σที่กำหนดโดย เทียบเท่ากับ เนื่องจากU ( σ ) เป็นตัวดำเนินการเอกภาพ จึงสามารถเขียนได้โดยใช้ตัว ดำเนิน การผกผันเช่นกัน

ถ้าμ เป็น มาตรวัดบอเรลเชิงซ้อนจำกัดบนGแล้ว การแปลงฟูริเยร์-สตีลเจสของμคือตัวดำเนินการบนH σที่กำหนดโดย หรือโดยอ่อน ถ้าμมีความต่อเนื่องสัมบูรณ์เทียบกับλซึ่งแสดงเป็น สำหรับfL 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

ทฤษฎีบท ปีเตอร์-ไวล์เป็นจริง และสูตรการผกผันฟูริเยร์เวอร์ชันหนึ่งมีดังนี้: ถ้าfL 2 ( G )แล้ว โดยที่ผลรวมนั้นเข้าใจว่าเป็นการลู่เข้าในความหมายของL 2สูตรแพลนเชอเรลที่สอดคล้องกันคือ โดยที่||·|| HSหมายถึงนอร์มฮิลเบิร์ต-ชมิดต์

การขยายผลของการแปลงฟูริเยร์ไปยังสถานการณ์ที่ไม่สลับที่กันได้นั้น มีส่วนช่วยในการพัฒนาเรขาคณิตที่ไม่สลับที่กันได้ ด้วย ในบริบทนี้ การขยายผลของการแปลงฟูริเยร์ไปยังกลุ่มที่ไม่สลับที่กันได้ในเชิงหมวดหมู่ คือทฤษฎีทวิภาวะของทานนากะ-เครนซึ่งแทนที่กลุ่มของอักขระด้วยหมวดหมู่ของการแทน อย่างไรก็ตาม นี่ไม่ใช่เพียงแค่การแปลงฟังก์ชันค่าสเกลาร์ไปเป็นฟังก์ชันค่าสเกลาร์อีกต่อไป

ทางเลือกอื่นๆ

ใน แง่ของ การประมวลผลสัญญาณฟังก์ชัน (ของเวลา) คือการแสดงสัญญาณด้วยความละเอียดของเวลา ที่สมบูรณ์แบบ แต่ไม่มีข้อมูลความถี่ ในขณะที่การแปลงฟูริเยร์มีความละเอียดของความถี่ ที่สมบูรณ์แบบ แต่ไม่มีข้อมูลเวลา: ขนาดของการแปลงฟูริเยร์ ณ จุดใดจุดหนึ่งแสดงถึงปริมาณความถี่ แต่ตำแหน่งจะระบุได้จากเฟส (อาร์กิวเมนต์ของการแปลงฟูริเยร์ ณ จุดนั้น) เท่านั้น และคลื่นนิ่งไม่ได้จำกัดอยู่เฉพาะในเวลา – คลื่นไซน์จะต่อเนื่องไปจนถึงอนันต์โดยไม่ลดทอน สิ่งนี้จำกัดประโยชน์ของการแปลงฟูริเยร์ในการวิเคราะห์สัญญาณที่จำกัดอยู่เฉพาะในเวลา โดยเฉพาะอย่างยิ่งสัญญาณชั่วคราวหรือสัญญาณใดๆ ที่มีขอบเขตจำกัด

ในการวิเคราะห์เวลา-ความถี่ นอกเหนือจากการแปลงฟูริเยร์ แล้ว ยังใช้การแปลงเวลา-ความถี่หรือการกระจายเวลา-ความถี่เพื่อแสดงสัญญาณในรูปแบบที่มีข้อมูลเวลาและข้อมูลความถี่บางส่วน โดยหลักการความไม่แน่นอนนั้นมีการแลกเปลี่ยนระหว่างสิ่งเหล่านี้ การแปลงเหล่านี้อาจเป็นการขยายความของการแปลงฟูริเยร์ เช่นการแปลงฟูริเยร์แบบช่วงเวลาสั้น การแปลงฟูริ เย ร์แบบเศษส่วนการแปลงฟูริเยร์แบบซิงโครสควีซซิ่ง[ 70 ] หรือฟังก์ชันอื่นๆ เพื่อ แสดงสัญญาณ เช่นการแปลงเวฟเล็ตและการแปลงชิปเล็ต โดยการแปลงเวฟเล็ตแบบ ต่อเนื่องเป็นการแปลงเวฟเล็ตแบบอนาล็อกของการแปลงฟูริเยร์[ 27 ]

ตัวอย่าง

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

ฟังก์ชันดั้งเดิม ซึ่งมีส่วนประกอบ 3 เฮิรตซ์ที่เด่นชัด ส่วนจริงและส่วนจินตนาการของตัวอินทิกรัลของการแปลงฟูริเยร์ที่ +3 เฮิรตซ์

อย่างไรก็ตาม เมื่อคุณพยายามวัดความถี่ที่ไม่มีอยู่จริง ทั้งส่วนจริงและส่วนจินตนาการของปริพันธ์จะเปลี่ยนแปลงอย่างรวดเร็วระหว่างค่าบวกและค่าลบ ตัวอย่างเช่น เส้นโค้งสีแดงกำลังมองหาความถี่ 5 เฮิรตซ์ ค่าสัมบูรณ์ของปริพันธ์เกือบเป็นศูนย์ ซึ่งบ่งชี้ว่าแทบไม่มีส่วนประกอบของความถี่ 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 )จะเป็นคำตอบ การใช้การผกผันฟูริเยร์กับฟังก์ชันเดลต้าเหล่านี้ เราจะได้คำตอบพื้นฐานที่เราเลือกไว้ก่อนหน้านี้ แต่จากมุมมองที่สูงขึ้น เราไม่ได้เลือกคำตอบพื้นฐาน แต่เราพิจารณาพื้นที่ของการกระจายทั้งหมดที่รองรับบนภาคตัดกรวย (เสื่อมสภาพ) ξ 2f 2 = 0

เราอาจพิจารณาการแจกแจงที่รองรับบนภาคตัดกรวยซึ่งกำหนดโดยการแจกแจงของตัวแปรหนึ่งตัวบนเส้นξ = fบวกกับการแจกแจงบนเส้นξ = − fดังต่อไปนี้: ถ้าΦเป็นฟังก์ชันทดสอบใดๆ โดยที่s + , และs เป็นการแจกแจงของตัวแปรหนึ่งตัว

จากนั้น การผกผันฟูริเยร์จะให้เงื่อนไขขอบเขตที่คล้ายคลึงกับสิ่งที่เราได้กล่าวไว้ข้างต้นอย่างเป็นรูปธรรมมากขึ้น (กำหนดΦ ( ξ , f ) = e i 2π( + 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ก็เป็นการโพลาไรเซชันที่ถูกต้องเช่นกัน ซึ่งให้การแสดงแทนที่แตกต่างกันของเซตของสถานะทางกายภาพที่เป็นไปได้ของอนุภาค การแสดงแทนของฟังก์ชันคลื่นทั้งสองแบบมีความสัมพันธ์กันโดยการแปลงฟูริเยร์ เช่น หรือเทียบเท่ากับ

สถานะที่เกิดขึ้นได้จริงทางกายภาพคือและด้วยเหตุนี้ ตามทฤษฎีบทของ 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 ) ทั่วไป

ความรู้เกี่ยวกับความถี่ที่ "สำคัญ" ในความหมายนี้มีความสำคัญอย่างยิ่งต่อการออกแบบตัวกรองที่เหมาะสมและการประเมินอุปกรณ์วัดอย่างถูกต้อง นอกจากนี้ยังสามารถเป็นประโยชน์สำหรับการวิเคราะห์ทางวิทยาศาสตร์ของปรากฏการณ์ที่ก่อให้เกิดข้อมูลเหล่านั้นได้อีกด้วย

นอกจากนี้ ยังสามารถวัดสเปกตรัมกำลังของสัญญาณได้โดยประมาณโดยตรง โดยการวัดกำลังเฉลี่ยที่เหลืออยู่ในสัญญาณหลังจากที่กรองความถี่ทั้งหมดที่อยู่นอกช่วงความถี่แคบๆ ออกไปแล้ว

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

หมายเหตุอื่นๆ

สัญลักษณ์อื่นๆ ที่ใช้กันทั่วไปได้แก่:

ในสาขาวิทยาศาสตร์และวิศวกรรมศาสตร์ก็มักมีการแทนที่แบบนี้เช่นกัน:

ดังนั้นคู่การแปลงจึงสามารถกลายเป็น

ข้อเสียของการใช้อักษรตัวพิมพ์ใหญ่คือ เมื่อแสดงการแปลง เช่นหรือ ซึ่ง จะกลายเป็นและ ที่ดูยุ่งยากกว่า

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

การตีความฟังก์ชันเชิงซ้อน ( ξ )อาจทำได้ง่ายขึ้นโดยการแสดงในรูปแบบ พิกัดเชิงขั้ว โดยใช้ฟังก์ชันจริงสองฟังก์ชันA ( ξ )และφ ( ξ )โดยที่: คือแอมพลิจูดและ คือเฟส (ดูArg )

จากนั้นสามารถเขียนการแปลงผกผันได้ดังนี้: ซึ่งเป็นการรวมส่วนประกอบความถี่ทั้งหมดของf ( x ) เข้าด้วยกัน ส่วนประกอบแต่ละส่วนเป็นไซน์ เชิงซ้อน ในรูปแบบe 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 ) ให้ใช้ และĝแทนการแปลงฟูริเยร์มีเพียงสามรูปแบบที่ใช้กันทั่วไปเท่านั้นที่รวมอยู่ อาจเป็นประโยชน์ที่จะสังเกตว่ารายการที่ 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 สัญลักษณ์fgหมายถึงการสังเคราะห์ (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

ดูเพิ่มเติม

หมายเหตุ

  1. โครงสร้าง ประโยคมักเพียงพอที่จะแยกแยะความหมายที่ต้องการได้ เช่น "ใช้การแปลงฟูริเยร์กับ [ข้อมูลนำเข้า]" หมายถึงการดำเนินการ ในขณะที่ "การแปลงฟูริเยร์ของ [ข้อมูลนำเข้า]" หมายถึงผลลัพธ์
  2. ^ขึ้นอยู่กับการใช้งาน วิธีการอินทิกรัลของเลเบสวิธีการกระจายหรือวิธีการอื่นๆ อาจเหมาะสมที่สุด
  3. ^ Vretblad (2000)ให้เหตุผลที่หนักแน่นสำหรับขั้นตอนที่เป็นทางการเหล่านี้โดยไม่ต้องลงลึกไปถึงการวิเคราะห์เชิงฟังก์ชันหรือทฤษฎีการแจกแจง
  4. ^ในกลศาสตร์ควอนตัมเชิงสัมพัทธภาพเราจะพบการแปลงฟูริเยร์แบบเวกเตอร์ของฟังก์ชันคลื่นหลายองค์ประกอบ ในทฤษฎีสนามควอนตัมการแปลงฟูริเยร์แบบตัวดำเนินการของฟังก์ชันปริภูมิเวลาแบบตัวดำเนินการมีการใช้งานบ่อยครั้ง ดูตัวอย่างเช่น Greiner & Reinhardt (1996 )
  5. ^แหล่งที่มาของความสับสนที่อาจเกิดขึ้นได้คือคุณสมบัติการเลื่อนความถี่กล่าวคือ การแปลงของฟังก์ชันคือค่าของฟังก์ชันนี้ที่คือซึ่งหมายความว่าความถี่ได้ถูกเลื่อนไปที่ศูนย์ (ดูเพิ่มเติมที่ ความถี่ลบ § การทำให้การแปลงฟูริเยร์ง่ายขึ้น )
  6. ^ตัวดำเนินการนี้ถูกกำหนดโดยการแทนที่ด้วยในการกระจายเทย์เลอร์ของ .
  7. โดยทั่วไปแล้ว เราสามารถนำลำดับของฟังก์ชันที่อยู่ในจุดตัดของ L 1และ L 2และลู่เข้าสู่ fใน นอร์ม L 2และกำหนดการแปลงฟูริเยร์ของ fเป็น ลิมิต L 2ของการแปลงฟูริเยร์ของฟังก์ชันเหล่านี้ได้
  8. ^โดยมีค่าคงที่เชิงจินตนาการเป็นปัจจัย ซึ่งขนาดของค่านี้ขึ้นอยู่กับว่าใช้ข้อกำหนดการแปลงฟูริเยร์แบบใด
  9. ^ตัวอย่างเช่น ในการคำนวณการแปลงฟูริเยร์ของ 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กับ
  10. ^ใน Gelfand & Shilov 1964หน้า 363 โดยใช้ข้อกำหนดที่ไม่เป็นเอกภาพของตารางนี้ การแปลงของถูกกำหนดให้เป็นซึ่งตามมาด้วย .

การอ้างอิง

  1. ^พินสกี 2002 , หน้า 91
  2. ลีบแอนด์ลอสส์ 2001 , หน้า 123–125
  3. เกลฟานด์และชิลอฟ 1968 , หน้า 1. 128
  4. ^ฟูริเยร์ 1822หน้า 525
  5. ^ฟูริเยร์ 1878หน้า 408
  6. ^จอร์แดน (1883) พิสูจน์ ทฤษฎีบทปริพันธ์ฟูริเยร์ในหน้า 216–226ก่อนที่จะศึกษาอนุกรมฟูริเยร์
  7. ^ทิทช์มาร์ช 1986หน้า 1
  8. ^ราห์มาน 2011หน้า 10
  9. ^ Oppenheim, Schafer & Buck 1999 , หน้า 58
  10. ^ Stade 2005 , หน้า 298–299
  11. ^โฮว์ 1980
  12. ^ฟอลแลนด์ 1989
  13. ^ฟูริเยร์ 1822
  14. ^อาร์ฟเคน 1985
  15. ^ a b Pinsky 2002
  16. โปรอาคิสและมาโนลาคิส 1996 , หน้า.  291
  17. ^คัตซ์เนลสัน 2004หน้า 153
  18. ^สไตน์และไวส์ 1971หน้า 2
  19. ^ a b c d e f Stein & Weiss 1971
  20. ^รูดิน 1987หน้า 187
  21. ^รูดิน 1987หน้า 186
  22. ^ฟอลแลนด์ 1992 , หน้า 216
  23. ^วูล์ฟ 1979หน้า 307 เป็นต้นไป
  24. ^ฟอลแลนด์ 1989หน้า 53
  25. เซเลกีนี, กาเดลลา และเดล โอลโม 2021
  26. ^ Duoandikoetxea 2001
  27. ^ a bโบอาชาช 2003
  28. ^คอนดอน 1937
  29. ^วูล์ฟ 1979หน้า 320
  30. ^ a b Wolf 1979 , หน้า 312
  31. ^ฟอลแลนด์ 1989หน้า 52
  32. ^โฮว์ 1980
  33. ^พาเลย์ แอนด์ ไวเนอร์ 1934
  34. ^เกลฟานด์และวิเลนกิน 1964
  35. ^คิริลลอฟและกวิชิอานี 1982
  36. ^ Clozel & Delorme 1985 , หน้า 331–333
  37. เดอ กรูท แอนด์ มาซูร์ 1984 , p. 146
  38. ^แชมเพนีย์ 1987หน้า 80
  39. a b cโคลโมโกรอฟ และ โฟมิน 1999
  40. ^ไวเนอร์ 1949
  41. ^แชมเพนีย์ 1987หน้า 63
  42. วิดเดอร์ แอนด์ วีเนอร์ 1938 , p. 537
  43. ^ Pinsky 2002บทที่ 2.4.3 หลักการความไม่แน่นอน
  44. ^ Stein & Shakarchi 2003บทที่ 5.4 หลักการความไม่แน่นอนของไฮเซนเบิร์ก
  45. ^แชทฟิลด์ 2004 , หน้า 113
  46. ^ฟูริเยร์ 1822หน้า 441
  47. ^ปวงกาเร 1895หน้า 102
  48. ^ Whittaker & Watson 1927 , หน้า 188
  49. ^กราฟาโกส 2004
  50. ^กราฟาคอสและเทสช์ล 2013
  51. Duoandikoetxea 2001 , ธม. 8.3
  52. ^สไตน์และไวส์ 1971หน้า 1–2
  53. ^รูดิน 1987หน้า 182–183
  54. จันทรเศคารัน 1989 , หน้า 7–8, 84
  55. ^ "การวิเคราะห์ฟูริเยร์ประยุกต์และองค์ประกอบของการประมวลผลสัญญาณสมัยใหม่ บทที่ 3" (PDF) 12 มกราคม 2559 เก็บถาวรจากต้นฉบับ(PDF)เมื่อ 3 ตุลาคม 2563 เรียกดูเมื่อ 11 ตุลาคม 2562
  56. ^สไตน์และไวส์ 1971ทฤษฎีบท 2.3
  57. ^ a b Katznelson 2004
  58. ^ Mallat 2009 , หน้า 45
  59. ^สตริชาร์ตซ์ 1994หน้า 150
  60. ^ฮันเตอร์ 2014
  61. ^พินสกี 2002 , หน้า 256
  62. ^รูดิน 1991หน้า 15
  63. ^เอ็ดเวิร์ดส์ 1982หน้า 53, 67, 72–73
  64. ^คัตซ์เนลสัน 2004หน้า 173
    ตามธรรมเนียมทั่วไปในทฤษฎีความน่าจะเป็น จะใช้e iξx แทนที่จะเป็นe iξx
  65. ^บิลลิงสลีย์ 1995หน้า 345
  66. แคทซ์เนลสัน 2004 , หน้า 40, 155, 164
  67. ^เอ็ดเวิร์ดส์ 1982หน้า 53
  68. ^ฮิววิตต์และรอสส์ 1970บทที่ 8
  69. ^แนปป์ 2001
  70. คอร์เรอา จุสโต และแองเจลิโก 2024
  71. อะโบลวิทซ์ และคณะ 1974 , หน้า 249–315
  72. ^ Lax 1968 , หน้า 467–490
  73. ^ Yousefi & Kschischang 2014 , หน้า 4312–4328
  74. ^ Gradshteyn et al. 2015
  75. ^เพรสและคณะ 1992
  76. ^เบลีย์ แอนด์ สวาร์ซทราเบอร์ 1994
  77. ^ลาโด 1971
  78. ^ Simonen & Olkkonen 1985
  79. ^ "คุณสมบัติการอินทิเกรตของการแปลงฟูริเยร์" . The Fourier Transform .com . 2015 [2010]. เก็บถาวรจากต้นฉบับเมื่อ 2022-01-26 . เรียกดูเมื่อ2023-08-20 .
  80. ^สไตน์และไวส์ 1971 , ทฤษฎีบท IV.3.3
  81. ^อีสตัน 2010
  82. ^สไตน์และไวส์ 1971ทฤษฎีบท 4.15
  83. ^สไตน์และไวส์ 1971หน้า 6
ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?title=Fourier_transform&oldid=1360660545 "

สรุปเนื้อหา

ข้อมูลสำคัญจากบทความ

ข้อมูลสำคัญเกี่ยวกับ การแปลงฟูริเยร์

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

คำนิยาม

การแปลงฟูริเยร์ของฟังก์ชันค่าเชิงซ้อน ที่สามารถอินทิเกรตได้แบบเลเบส บนเส้นจำนวนจริง คือฟังก์ชันค่าเชิงซ้อน ⁠ ⁠ ซึ่งกำหนดโดยอินทิกรัล [ 1 ] เอฟ ( x ) {\displaystyle f(x)} เอฟ ^ ( ξ ) {\displaystyle {\widehat {f}}(\xi )}

ความถี่เชิงมุม ( ω )

เมื่อตัวแปรอิสระ ( ⁠ ⁠ x {\displaystyle x} ) แทน เวลา (มักใช้สัญลักษณ์ ⁠ ⁠ ที {\displaystyle t} ) ตัวแปรแปลง ( ⁠ ⁠ ξ {\displaystyle \xi } ) แทน ความถี่ (มักใช้สัญลักษณ์ ⁠ ⁠ เอฟ {\displaystyle f} ) ตัวอย่างเช่น ถ้าเวลามีหน่วย เป็นวินาที ความถี่จะมีหน่วย...

ฟังก์ชันที่สามารถหาปริพันธ์ได้แบบเลเบส

ฟังก์ชัน ที่วัดได้ เรียกว่าอินทิกรัลเลเบส (Lebesgue) ถ้า อินทิกรัลเลเบส ของ ค่าสัมบูรณ์ มีค่าจำกัด: ถ้าอินทิกรัลเลเบสเป็นอินทิกรัลแล้ว การแปลงฟูริเยร์ที่กำหนดโดย สมการ 1 จะถูกกำหนดไว้อย่างดีสำหรับทุก ⁠ ⁠ [ 10 ] ยิ่งไปกว่านั้น ยังมีขอบเขต ต่อเนื่องสม่ำเสมอ และ...