ฟังก์ชันลักษณะเฉพาะ

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

Definition

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

Scope

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

Core questions

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

Key concepts

• การแปลงฟูเรียร์ของมาตรวัด
• การมีอยู่เพียงหนึ่งเดียวและการผกผัน
• ทฤษฎีบทความต่อเนื่องของ Levy
• ทฤษฎีบทของ Bochner
• โมเมนต์จากอนุพันธ์

Key theories

การมีอยู่เพียงหนึ่งเดียวและการผกผัน

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

ทฤษฎีบทความต่อเนื่องของ Levy

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

การแยกตัวประกอบสำหรับผลรวมของตัวแปรอิสระ

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

Clinical relevance

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

History

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

Key figures

• Paul Levy
• Aleksandr Lyapunov
• Salomon Bochner
• Eugene Lukacs

Seminal works

• feller1971

Frequently asked questions

ฟังก์ชันลักษณะเฉพาะแตกต่างจากฟังก์ชันก่อกำเนิดโมเมนต์อย่างไร?

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

เหตุใดจึงตรวจสอบการลู่เข้าที่จุดกำเนิดเท่านั้นในทฤษฎีบทความต่อเนื่อง?

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