गणित में, किसी दिए गए सम्मिश्र हर्मिटियन आव्यूह और अशून्य सदिश (ज्यामिति) के लिए रेले भागफल[1] (/ˈreɪ.li/) को इस प्रकार परिभाषित किया गया है:[2][3]
वास्तविक आव्यूहों और सदिशों के लिए, हर्मिटियन होने की स्थिति सममित होने की स्थिति में कम हो जाती है और संयुग्मी परिवर्त को सामान्य परिवर्त में परिवर्तित कर देता है। ध्यान दें कि किसी भी अशून्य अदिश के लिए है। स्मरण रखें कि हर्मिटियन (अथवा वास्तविक सममित) आव्यूह केवल वास्तविक आइगेन मान के साथ विकर्ण योग्य है। यह दिखाया जा सकता है कि, किसी दिए गए आव्यूह के लिए, रेले भागफल अपने न्यूनतम मान ( का सबसे छोटा आइगेन मान) तक पहुँच जाता है जब , (संबंधित आइगेनसदिश) होता है।[4] इस प्रकार, और होता है।
रेले भागफल का उपयोग न्यूनतम-अधिकतम प्रमेय में सभी आइगेन मानों के त्रुटिहीन मान प्राप्त करने के लिए किया जाता है। इसका उपयोग आइजेनसदिश सन्निकटन से आइगेन मान सन्निकटन प्राप्त करने के लिए आइगेन मान एल्गोरिथ्म (जैसे कि रेले भागफल पुनरावृत्ति) में भी किया जाता है।
रेले भागफल की सीमा (किसी भी आव्यूह के लिए यह आवश्यक नहीं कि हर्मिटियन हो) को संख्यात्मक सीमा कहा जाता है और इसमें इसका स्पेक्ट्रम (कार्यात्मक विश्लेषण) सम्मिलित होता है। जब आव्यूह हर्मिटियन होता है, तो संख्यात्मक त्रिज्या वर्णक्रमीय मानक के समान होती है। अभी भी कार्यात्मक विश्लेषण में, को वर्णक्रमीय त्रिज्या के रूप में जाना जाता है। -बीजगणित अथवा बीजगणितीय क्वांटम यांत्रिकी के सन्दर्भ में, वह फलन जो बीजगणित के माध्यम से भिन्न होने वाले निश्चित और के लिए रेले-रिट्ज भागफल को जोड़ता है, उसे बीजगणित की सदिश स्थिति के रूप में संदर्भित किया जाता है।
क्वांटम यांत्रिकी में, रेले भागफल उस प्रणाली के लिए संकारक के अनुरूप अवलोकन योग्य का अपेक्षित मान देता है जिसकी स्थिति द्वारा दी गई है।
यदि हम सम्मिश्र आव्यूह को व्यवस्थित करते हैं, तो परिणामी रेले भागफल मानचित्र (जिसे के फलन के रूप में माना जाता है) ध्रुवीकरण प्रमाण के माध्यम से को पूर्ण रूप से निर्धारित करता है; वास्तव में, यह सत्य होगा यदि हम को गैर-हर्मिटियन होने की अनुमति दें। (यद्यपि, यदि हम अदिशों के क्षेत्र को वास्तविक संख्याओं तक सीमित रखते हैं, तो रेले भागफल केवल के सममित आव्यूह भाग को निर्धारित करता है।)
जिस प्रकार से परिचय में बताया गया है, किसी भी सदिश x के लिए, है, जहां क्रमशः के सबसे छोटे और सबसे बड़े आइगेन मान हैं। यह देखने के तत्पश्चात, रेले भागफल के आइगेन मान का भारित औसत है:
जहाँ ऑर्थोनॉर्मलाइजेशन के पश्चात -th आइगेनपेअर है और आइगेन आधार में x का th निर्देशांक है। इसके पश्चात यह सत्यापित करना सरल हो जाता है कि सीमा संबंधित आइजनसदिश पर प्राप्त हो गए हैं।
तथ्य यह है कि भागफल आइगेन मान का भारित औसत है, इसका उपयोग द्वितीय, तृतीय, ... सबसे बड़े आइगेन मान की पहचान करने के लिए किया जा सकता है। मान लीजिए अवरोही क्रम में आइगेन मान हैं। यदि और को के ओर्थोगोनल होने के लिए बाध्य किया गया है, तो उस स्थिति में , तब का अधिकतम मान है, जो होने पर प्राप्त होता है।
अनुभवजन्य सहप्रसरण आव्यूह को डेटा आव्यूह के गुणनफल को उसके स्थानान्तरण से पूर्व-गुणा करके दर्शाया जा सकता है। इस प्रकार धनात्मक अर्ध-निश्चित आव्यूह होने के कारण, में गैर-ऋणात्मक आइगेन मान, और ऑर्थोगोनल (अथवा ऑर्थोगोनलाइज़ेबल) आइगेनसदिश हैं, जिन्हें निम्नानुसार प्रदर्शित किया जा सकता है।
सर्वप्रथम, यह है कि आइगेन मान गैर-ऋणात्मक हैं:
द्वितीय तथ्य यह है कि आइगेनसदिश एक-दूसरे के लिए ओर्थोगोनल हैं:
यदि आइगेन मान भिन्न-भिन्न हैं, तब बहुलता की स्थिति में, आधार को ऑर्थोगोनलाइज़ किया जा सकता है।
अब यह स्थापित करने के लिए कि रेले भागफल को सबसे बड़े आइगेन मान वाले आइगेनसदिश द्वारा अधिकतम किया गया है, आइगेनसदिश के आधार पर आरबिटरेरी सदिश को विघटित करने पर विचार करें:
जहाँ
पर ऑर्थोगोनल रूप से प्रक्षेपित का निर्देशांक है। इसलिए, हमारे निकट है:
अंतिम प्रतिनिधित्व स्थापित करता है कि रेले भागफल सदिश और प्रत्येक आइगेनसदिश द्वारा बनाए गए कोणों के वर्ग कोज्या का योग है, जो संबंधित आइगेन मानों द्वारा भारित होता है।
यदि सदिश , को अधिकतम करता है, तो कोई भी अशून्य अदिश गुणक भी को अधिकतम करता है, इसलिए समस्या को की बाधा के अंतर्गत को अधिकतम करने की लैग्रेंज समस्या में कम किया जा सकता है।
को परिभाषित करें, यह तब रैखिक फलन बन जाता है, जो सदैव डोमेन के किसी शीर्ष पर अपनी अधिकतम सीमा प्राप्त करता है। अधिकतम बिंदु में सभी के लिए और होगा (जब आइगेन मान अवरोही परिमाण के अनुसार क्रमित किया जाता है)।
इस प्रकार, रेले भागफल को सबसे बड़े आइगेन मान वाले आइगेनसदिश द्वारा अधिकतम किया जाता है।
लैग्रेंज गुणकों का उपयोग करके सूत्रीकरण
वैकल्पिक रूप से, इस परिणाम पर लैग्रेंज मल्टीप्लायरों की विधि द्वारा पहुंचा जा सकता है। प्रथम भाग यह दर्शाना है कि स्केलिंग के अंतर्गत भागफल स्थिर है, जहाँ अदिश राशि है
इस अपरिवर्तनशीलता के कारण, यह विशेष स्थिति का अध्ययन करने के लिए पर्याप्त है। तब समस्या फलन के महत्वपूर्ण बिंदुओं (गणित) को शोधित करने की है
बाधा के अधीन है। अन्य शब्दों में, यह महत्वपूर्ण बिंदुओं को शोधित करना है
जहाँ लैग्रेंज गुणक है। के स्थिर बिंदु निम्नलिखित समीकरणों से प्राप्त होते हैं
और
इसलिए, के आइगेनसदिश , रेले भागफल के महत्वपूर्ण बिंदु और उनके संबंधित आइगेन मान , के स्थिर मान हैं। यह गुण प्रमुख घटक विश्लेषण और विहित सहसंबंध का आधार है।
स्टर्म-लिउविल सिद्धांत में उपयोग
स्टर्म-लिउविले सिद्धांत रैखिक संकारक की क्रिया से संबंधित है-
↑Parlett, B. N. (1998). सममित आइगेनवेल्यू समस्या. Classics in Applied Mathematics. SIAM. ISBN0-89871-402-8.
↑Costin, Rodica D. (2013). "मध्यावधि नोट्स"(PDF). Mathematics 5102 Linear Mathematics in Infinite Dimensions, lecture notes. The Ohio State University.