स्व-सहायक संचालिका: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Linear operator equal to its own adjoint}} | {{Short description|Linear operator equal to its own adjoint}} | ||
गणित में, आंतरिक उत्पाद के साथ एक अनंत-आयामी [[जटिल वेक्टर स्थान]] ''वी'' पर एक स्व-सहायक संचालिका <math>\langle\cdot,\cdot\rangle</math> (समकक्ष, परिमित-आयामी मामले में एक हर्मिटियन ऑपरेटर) एक रैखिक मानचित्र ''ए'' (''वी'' से स्वयं तक) है जो एक ऑपरेटर का अपना सहायक है। यदि ''V'' किसी दिए गए [[ऑर्थोनॉर्मल आधार]] के साथ परिमित-आयामी है, तो यह इस शर्त के बराबर है कि ''ए'' का [[मैट्रिक्स (गणित)]] एक [[हर्मिटियन मैट्रिक्स]] है, | गणित में, आंतरिक उत्पाद के साथ एक अनंत-आयामी [[जटिल वेक्टर स्थान]] ''वी'' पर एक स्व-सहायक संचालिका <math>\langle\cdot,\cdot\rangle</math> (समकक्ष, परिमित-आयामी मामले में एक हर्मिटियन ऑपरेटर) एक रैखिक मानचित्र ''ए'' (''वी'' से स्वयं तक) है जो एक ऑपरेटर का अपना सहायक है। यदि ''V'' किसी दिए गए [[ऑर्थोनॉर्मल आधार]] के साथ परिमित-आयामी है, तो यह इस शर्त के बराबर है कि ''ए'' का [[मैट्रिक्स (गणित)|आव्युह (गणित)]] एक [[हर्मिटियन मैट्रिक्स|हर्मिटियन आव्युह]] है, अर्थात , इसके संयुग्म स्थानान्तरण ''ए'' के बराबर है। '{{sup|∗}}. परिमित-आयामी [[वर्णक्रमीय प्रमेय]] के अनुसार, वी का एक ऑर्थोनॉर्मल आधार है जैसे कि इस आधार के सापेक्ष ए का आव्युह [[वास्तविक संख्या]]ओं में प्रविष्टियों के साथ एक [[विकर्ण मैट्रिक्स|विकर्ण आव्युह]] है। यह आलेख मनमाने आयाम के [[हिल्बर्ट स्थान]]ों पर ऑपरेटरों के लिए इस [[अवधारणा]] के सामान्यीकरण को प्रयुक्त करने से संबंधित है। | ||
स्व-सहायक ऑपरेटरों का उपयोग [[कार्यात्मक विश्लेषण]] और [[क्वांटम यांत्रिकी]] में किया जाता है। क्वांटम यांत्रिकी में उनका महत्व डिराक-वॉन न्यूमैन सिद्धांतों में निहित है | क्वांटम यांत्रिकी के डिराक-वॉन न्यूमैन सूत्रीकरण में, जिसमें भौतिक अवलोकन जैसे स्थिति (वेक्टर), [[गति]], कोणीय गति और [[स्पिन (भौतिकी)]] को स्व-सहायक ऑपरेटरों द्वारा दर्शाया जाता है। हिल्बर्ट स्थान पर. [[हैमिल्टनियन (क्वांटम यांत्रिकी)]] ऑपरेटर का विशेष महत्व है <math>\hat{H}</math> द्वारा परिभाषित | स्व-सहायक ऑपरेटरों का उपयोग [[कार्यात्मक विश्लेषण]] और [[क्वांटम यांत्रिकी]] में किया जाता है। क्वांटम यांत्रिकी में उनका महत्व डिराक-वॉन न्यूमैन सिद्धांतों में निहित है | क्वांटम यांत्रिकी के डिराक-वॉन न्यूमैन सूत्रीकरण में, जिसमें भौतिक अवलोकन जैसे स्थिति (वेक्टर), [[गति]], कोणीय गति और [[स्पिन (भौतिकी)]] को स्व-सहायक ऑपरेटरों द्वारा दर्शाया जाता है। हिल्बर्ट स्थान पर. [[हैमिल्टनियन (क्वांटम यांत्रिकी)]] ऑपरेटर का विशेष महत्व है <math>\hat{H}</math> द्वारा परिभाषित | ||
Line 6: | Line 6: | ||
जो एक अवलोकन योग्य के रूप में वास्तविक [[अदिश क्षमता]] V में द्रव्यमान m के एक कण की कुल [[ऊर्जा (भौतिकी)]] से मेल खाता है। विभेदक ऑपरेटर असीमित ऑपरेटरों का एक महत्वपूर्ण वर्ग हैं। | जो एक अवलोकन योग्य के रूप में वास्तविक [[अदिश क्षमता]] V में द्रव्यमान m के एक कण की कुल [[ऊर्जा (भौतिकी)]] से मेल खाता है। विभेदक ऑपरेटर असीमित ऑपरेटरों का एक महत्वपूर्ण वर्ग हैं। | ||
अनंत-आयामी हिल्बर्ट रिक्त स्थान पर स्व-सहायक ऑपरेटरों की संरचना अनिवार्य रूप से परिमित-आयामी मामले से मिलती जुलती है। कहने का तात्पर्य यह है कि, ऑपरेटर स्वयं-सहायक होते हैं यदि और केवल तभी जब वे वास्तविक-मूल्यवान गुणन ऑपरेटरों के समकक्ष एकात्मक ऑपरेटर हों। उपयुक्त संशोधनों के साथ, इस परिणाम को अनंत-आयामी स्थानों पर संभवतः असीमित ऑपरेटरों तक बढ़ाया जा सकता है। चूंकि हर | अनंत-आयामी हिल्बर्ट रिक्त स्थान पर स्व-सहायक ऑपरेटरों की संरचना अनिवार्य रूप से परिमित-आयामी मामले से मिलती जुलती है। कहने का तात्पर्य यह है कि, ऑपरेटर स्वयं-सहायक होते हैं यदि और केवल तभी जब वे वास्तविक-मूल्यवान गुणन ऑपरेटरों के समकक्ष एकात्मक ऑपरेटर हों। उपयुक्त संशोधनों के साथ, इस परिणाम को अनंत-आयामी स्थानों पर संभवतः असीमित ऑपरेटरों तक बढ़ाया जा सकता है। चूंकि हर स्थान परिभाषित स्व-सहायक ऑपरेटर आवश्यक रूप से बाध्य है, इसलिए किसी को असीमित मामले में डोमेन मुद्दे पर अधिक ध्यान देने की आवश्यकता है। इसे नीचे और अधिक विस्तार से बताया गया है। | ||
== परिभाषाएँ == | == परिभाषाएँ == | ||
होने देना <math>A</math> सघन डोमेन वाला एक अनबाउंड ऑपरेटर (अर्थात् आवश्यक रूप से बाउंड नहीं) ऑपरेटर बनें <math>\operatorname{Dom}A \subseteq H.</math> यह स्थिति तब स्वतः ही धारण हो जाती है <math>H</math> चूँकि [[ यूक्लिडियन स्थान ]]|परिमित-आयामी है <math>\operatorname{Dom}A = H</math> परिमित-आयामी स्थान पर प्रत्येक रैखिक ऑपरेटर के लिए। | होने देना <math>A</math> सघन डोमेन वाला एक अनबाउंड ऑपरेटर (अर्थात् आवश्यक रूप से बाउंड नहीं) ऑपरेटर बनें <math>\operatorname{Dom}A \subseteq H.</math> यह स्थिति तब स्वतः ही धारण हो जाती है <math>H</math> चूँकि [[ यूक्लिडियन स्थान ]]|परिमित-आयामी है <math>\operatorname{Dom}A = H</math> परिमित-आयामी स्थान पर प्रत्येक रैखिक ऑपरेटर के लिए। | ||
आंतरिक उत्पाद चलो <math>\langle \cdot, \cdot\rangle</math> दूसरे तर्क पर [[संयुग्म-रैखिक]] बनें। यह केवल जटिल हिल्बर्ट स्थानों पर | आंतरिक उत्पाद चलो <math>\langle \cdot, \cdot\rangle</math> दूसरे तर्क पर [[संयुग्म-रैखिक]] बनें। यह केवल जटिल हिल्बर्ट स्थानों पर प्रयुक्त होता है। परिभाषा के अनुसार, '[[सहायक संचालिका]]' <math>A^*</math> उपस्थान पर कार्य करता है <math>\operatorname{Dom} A^* \subseteq H</math> तत्वों से मिलकर बना है <math>y</math> जिसके लिए एक है <math>z \in H</math> ऐसा है कि <math> \langle Ax,y \rangle = \langle x,z \rangle, </math> हरएक के लिए <math>x \in \operatorname{Dom} A.</math> समुच्चय िंग <math>A^*y = z</math> रैखिक ऑपरेटर को परिभाषित करता है <math>A^*.</math> | ||
एक (मनमाना) ऑपरेटर के फ़ंक्शन का ग्राफ़ <math>A</math> | एक (मनमाना) ऑपरेटर के फ़ंक्शन का ग्राफ़ <math>A</math> समुच्चय है <math>G(A) = \{(x,Ax) \mid x \in \operatorname{Dom}A\}.</math> एक ऑपरेटर <math>B</math> विस्तार करने के लिए कहा गया है <math>A</math> यदि <math>G(A) \subseteq G(B).</math> इस प्रकार लिखा गया है <math>A \subseteq B.</math> | ||
सघन रूप से परिभाषित ऑपरेटर <math>A</math> सममित यदि कहा जाता है | सघन रूप से परिभाषित ऑपरेटर <math>A</math> सममित यदि कहा जाता है | ||
: <math> \langle Ax , y \rangle = \lang x , Ay \rangle, </math> | : <math> \langle Ax , y \rangle = \lang x , Ay \rangle, </math> | ||
सभी के लिए <math>x,y\in \operatorname{Dom}A.</math> जैसा कि नीचे दिया गया है, <math>A</math> सममित है यदि और केवल यदि <math>G(A) \subseteq G(A^*).</math> | सभी के लिए <math>x,y\in \operatorname{Dom}A.</math> जैसा कि नीचे दिया गया है, <math>A</math> सममित है यदि और केवल यदि <math>G(A) \subseteq G(A^*).</math> | ||
असीमित सघन रूप से परिभाषित ऑपरेटर <math>A</math> यदि स्व-सहायक कहा जाता है <math>G(A)= G(A^*).</math> स्पष्ट रूप से, <math>\operatorname{Dom}A = \operatorname{Dom}A^*</math> और <math>A = A^*.</math> प्रत्येक स्व-सहायक संचालिका सममित है। इसके विपरीत, एक सममित ऑपरेटर <math>A</math> जिसके लिए <math>\operatorname{Dom}A = \operatorname{Dom}A^*</math> स्वयं-संयुक्त है. भौतिकी में, हर्मिटियन शब्द सममिति के साथ-साथ स्वयं-सहायक संचालकों को समान रूप से संदर्भित करता है। दोनों के बीच के सूक्ष्म अंतर को | असीमित सघन रूप से परिभाषित ऑपरेटर <math>A</math> यदि स्व-सहायक कहा जाता है <math>G(A)= G(A^*).</math> स्पष्ट रूप से, <math>\operatorname{Dom}A = \operatorname{Dom}A^*</math> और <math>A = A^*.</math> प्रत्येक स्व-सहायक संचालिका सममित है। इसके विपरीत, एक सममित ऑपरेटर <math>A</math> जिसके लिए <math>\operatorname{Dom}A = \operatorname{Dom}A^*</math> स्वयं-संयुक्त है. भौतिकी में, हर्मिटियन शब्द सममिति के साथ-साथ स्वयं-सहायक संचालकों को समान रूप से संदर्भित करता है। दोनों के बीच के सूक्ष्म अंतर को सामान्यतः नजरअंदाज कर दिया जाता है। | ||
उपसमुच्चय <math>\rho(A) \subseteq \Complex</math> यदि प्रत्येक के लिए इसे रिसॉल्वेंट | उपसमुच्चय <math>\rho(A) \subseteq \Complex</math> यदि प्रत्येक के लिए इसे रिसॉल्वेंट समुच्चय (या नियमित समुच्चय ) कहा जाता है <math> \lambda \in \rho(A), </math> (आवश्यक रूप से बाध्य नहीं) ऑपरेटर <math>A - \lambda I</math> एक परिबद्ध सर्वत्र-परिभाषित व्युत्क्रम है। पूरक <math>\sigma(A) = \Complex \setminus \rho(A)</math> [[स्पेक्ट्रम (कार्यात्मक विश्लेषण)]] कहा जाता है। सीमित आयामों में, <math>\sigma(A)</math> इसमें विशेष रूप से [[eigenvalue]]s सम्मिलित हैं। | ||
==बाउंडेड सेल्फ-एडजॉइंट ऑपरेटर्स== | ==बाउंडेड सेल्फ-एडजॉइंट ऑपरेटर्स== | ||
Line 31: | Line 31: | ||
मान लीजिए H एक हिल्बर्ट स्थान है और मान लीजिए <math>A : H \to H</math> एक परिबद्ध स्व-सहायक रैखिक संचालिका पर परिभाषित किया गया हो <math>\operatorname{D}\left( A \right) = H</math>. | मान लीजिए H एक हिल्बर्ट स्थान है और मान लीजिए <math>A : H \to H</math> एक परिबद्ध स्व-सहायक रैखिक संचालिका पर परिभाषित किया गया हो <math>\operatorname{D}\left( A \right) = H</math>. | ||
* <math>\left\langle h, A h \right\rangle</math> सभी के लिए वास्तविक है <math>h \in H</math>.{{sfn | Griffel | 2002 | pp=224-230}} | * <math>\left\langle h, A h \right\rangle</math> सभी के लिए वास्तविक है <math>h \in H</math>.{{sfn | Griffel | 2002 | pp=224-230}} | ||
* <math>\left\| A \right\| = \sup \left\{ |\langle h, A h \rangle| : \| h \| = 1 \right\}</math>{{sfn | Griffel | 2002 | pp=224-230}} | * <math>\left\| A \right\| = \sup \left\{ |\langle h, A h \rangle| : \| h \| = 1 \right\}</math>{{sfn | Griffel | 2002 | pp=224-230}} यदि <math>\operatorname{dim} H \neq 0.</math> * यदि A की छवि, द्वारा निरूपित की जाती है <math>\operatorname{Im} A</math>, तब H में सघन है <math>A : H \to \operatorname{Im} A</math> उलटा है. | ||
* A के eigenvalues वास्तविक हैं और विभिन्न eigenvalues से संबंधित eigenvectors ऑर्थोगोनल हैं।{{sfn | Griffel | 2002 | pp=224-230}} | * A के eigenvalues वास्तविक हैं और विभिन्न eigenvalues से संबंधित eigenvectors ऑर्थोगोनल हैं।{{sfn | Griffel | 2002 | pp=224-230}} | ||
* | * यदि <math>\lambda</math> तब A का एक eigenvalue है <math>| \lambda | \leq \| A \|</math>; विशेष रूप से, <math>| \lambda | \leq \sup \left\{ |\langle h, A h \rangle| : \| h \| \leq 1 \right\}</math>.{{sfn | Griffel | 2002 | pp=224-230}} | ||
** | ** सामान्यतः , कोई स्वदेशी मूल्य उपस्थित नहीं हो सकता है <math>\lambda</math> ऐसा है कि <math>| \lambda | = \sup \left\{ |\langle h, A h \rangle| : \| h \| \leq 1 \right\}</math>, किन्तु यदि इसके अतिरिक्त A सघन है तो आवश्यक रूप से एक eigenvalue उपस्थित है <math>\lambda</math>, दोनों में से किसी एक के बराबर <math>\| A \|</math> या <math>- \| A \|</math>,{{sfn | Griffel | 2002 | pp=240-245}} ऐसा है कि <math>| \lambda | = \sup \left\{ |\langle h, A h \rangle| : \| h \| \leq 1 \right\}</math>,{{sfn | Griffel | 2002 | pp=224-230}} | ||
* यदि परिबद्ध स्व-सहायक रैखिक ऑपरेटरों का अनुक्रम अभिसरण है तो सीमा स्व-सहायक है।{{sfn | Griffel | 2002 | p=238}} | * यदि परिबद्ध स्व-सहायक रैखिक ऑपरेटरों का अनुक्रम अभिसरण है तो सीमा स्व-सहायक है।{{sfn | Griffel | 2002 | p=238}} | ||
*वहाँ एक संख्या | *वहाँ एक संख्या उपस्थित है <math>\lambda</math>, दोनों में से किसी एक के बराबर <math>\| A \|</math> या <math>- \| A \|</math>, और एक क्रम <math>\left( x_i \right)_{i=1}^{\infty} \subseteq H</math> ऐसा है कि <math>\lim_{i \to \infty} A x_i - \lambda x_i = 0</math> और <math>\| x_i \| = 1</math> सबके लिए मैं{{sfn | Griffel | 2002 | pp=240-245}} | ||
==सममित ऑपरेटर == | ==सममित ऑपरेटर == | ||
Line 49: | Line 49: | ||
हरएक के लिए <math>x,y \in \operatorname{Dom}A \subseteq \operatorname{Dom}A^*,</math> का घनत्व <math> \operatorname{Dom} A, </math> और आंतरिक उत्पाद का गैर-विक्षिप्त होना। | हरएक के लिए <math>x,y \in \operatorname{Dom}A \subseteq \operatorname{Dom}A^*,</math> का घनत्व <math> \operatorname{Dom} A, </math> और आंतरिक उत्पाद का गैर-विक्षिप्त होना। | ||
हेलिंगर-टोएप्लिट्ज़ प्रमेय कहता है कि हर | हेलिंगर-टोएप्लिट्ज़ प्रमेय कहता है कि हर स्थान परिभाषित सममित ऑपरेटर परिबद्ध और स्व-सहायक है। | ||
=== A सममित है ⇔ ∀x ⟨Ax, x⟩ ∈ R === | === A सममित है ⇔ ∀x ⟨Ax, x⟩ ∈ R === | ||
Line 73: | Line 73: | ||
=\left|\left\langle A\frac{x}{\Vert x\Vert},\frac{x}{\Vert x\Vert}\right\rangle - \lambda\right| \cdot \Vert x\Vert \geq d(\lambda)\cdot \Vert x\Vert. | =\left|\left\langle A\frac{x}{\Vert x\Vert},\frac{x}{\Vert x\Vert}\right\rangle - \lambda\right| \cdot \Vert x\Vert \geq d(\lambda)\cdot \Vert x\Vert. | ||
</math> | </math> | ||
यदि <math> \lambda \notin [m,M], </math> तब <math> d(\lambda) > 0, </math> और <math> A - \lambda I </math> नीचे बाउंडेड कहा जाता है. | |||
===एक सरल उदाहरण=== | ===एक सरल उदाहरण=== | ||
जैसा कि ऊपर उल्लेख किया गया है, वर्णक्रमीय प्रमेय केवल स्व-सहायक ऑपरेटरों पर | जैसा कि ऊपर उल्लेख किया गया है, वर्णक्रमीय प्रमेय केवल स्व-सहायक ऑपरेटरों पर प्रयुक्त होता है, और सामान्य रूप से सममित ऑपरेटरों पर नहीं। फिर भी, इस बिंदु पर हम एक सममित ऑपरेटर का एक सरल उदाहरण दे सकते हैं जिसमें आइजेनवेक्टरों का एक लंबात्मक आधार होता है। (यह ऑपरेटर वास्तव में अनिवार्य रूप से स्व-सहायक है।) नीचे दिए गए ऑपरेटर ए को हिल्बर्ट स्पेस व्युत्क्रम पर एक कॉम्पैक्ट ऑपरेटर के रूप में देखा जा सकता है, जिसका अर्थ है कि संबंधित अंतर समीकरण एएफ = जी को कुछ अभिन्न (और इसलिए कॉम्पैक्ट) ऑपरेटर जी द्वारा हल किया जाता है। कॉम्पैक्ट सममित ऑपरेटर G के पास eigenvectors का एक गणनीय परिवार होता है जो पूर्ण होते हैं {{math|''L''<sup>2</sup>}}. ए के लिए भी यही कहा जा सकता है। | ||
जटिल हिल्बर्ट स्पेस एल पर विचार करें<sup>2</sup>[0,1] और डिफरेंशियल ऑपरेटर | जटिल हिल्बर्ट स्पेस एल पर विचार करें<sup>2</sup>[0,1] और डिफरेंशियल ऑपरेटर | ||
Line 117: | Line 117: | ||
==आवश्यक आत्मसंयोजन== | ==आवश्यक आत्मसंयोजन== | ||
एक सममित ऑपरेटर ए | एक सममित ऑपरेटर ए सदैव [[बंद करने योग्य ऑपरेटर]] होता है; अर्थात्, A के ग्राफ़ का बंद होना एक ऑपरेटर का ग्राफ़ है। एक सममित ऑपरेटर ए को 'अनिवार्य रूप से स्व-सहायक' कहा जाता है यदि ए का समापन स्व-सहायक है। समान रूप से, ए अनिवार्य रूप से स्व-सहायक है यदि इसमें एक अद्वितीय स्व-सहायक विस्तार है। व्यावहारिक रूप से, अनिवार्य रूप से स्व-सहायक ऑपरेटर का होना स्व-सहायक ऑपरेटर के समान ही अच्छा है, क्योंकि स्व-सहायक ऑपरेटर को प्राप्त करने के लिए हमें केवल क्लोजर लेने की आवश्यकता होती है। | ||
==उदाहरण: f(x) → x·f(x)== | ==उदाहरण: f(x) → x·f(x)== | ||
जटिल हिल्बर्ट स्पेस एल पर विचार करें<sup>2</sup>(R), और ऑपरेटर जो किसी दिए गए फ़ंक्शन को ''x'' से गुणा करता है: | जटिल हिल्बर्ट स्पेस एल पर विचार करें<sup>2</sup>(R), और ऑपरेटर जो किसी दिए गए फ़ंक्शन को ''x'' से गुणा करता है: | ||
:<math>A f(x) = xf(x)</math> | :<math>A f(x) = xf(x)</math> | ||
A का डोमेन सभी L का स्थान है<sup>2</sup>कार्य <math>f(x)</math> जिसके लिए <math>xf(x)</math> वर्ग-अभिन्न भी है। तब A स्व-संयुक्त है।<ref>{{harvnb|Hall|2013}} Proposition 9.30</ref> दूसरी ओर, A का कोई eigenfunction नहीं है। (अधिक | A का डोमेन सभी L का स्थान है<sup>2</sup>कार्य <math>f(x)</math> जिसके लिए <math>xf(x)</math> वर्ग-अभिन्न भी है। तब A स्व-संयुक्त है।<ref>{{harvnb|Hall|2013}} Proposition 9.30</ref> दूसरी ओर, A का कोई eigenfunction नहीं है। (अधिक स्पष्ट रूप से, ए के पास कोई सामान्यीकरण योग्य ईजेनवेक्टर नहीं है, अर्थात , ईजेनवेक्टर जो वास्तव में हिल्बर्ट स्पेस में हैं जिस पर ए परिभाषित है।) | ||
जैसा कि हम बाद में देखेंगे, स्व-सहायक ऑपरेटरों के पास बहुत महत्वपूर्ण वर्णक्रमीय गुण होते हैं; वे वास्तव में सामान्य माप स्थानों पर गुणन संचालिका हैं। | जैसा कि हम बाद में देखेंगे, स्व-सहायक ऑपरेटरों के पास बहुत महत्वपूर्ण वर्णक्रमीय गुण होते हैं; वे वास्तव में सामान्य माप स्थानों पर गुणन संचालिका हैं। | ||
==सममित बनाम स्व-सहायक ऑपरेटर== | ==सममित बनाम स्व-सहायक ऑपरेटर== | ||
जैसा कि ऊपर चर्चा की गई है, | जैसा कि ऊपर चर्चा की गई है, चूंकि एक सममित ऑपरेटर और एक स्व-सहायक (या अनिवार्य रूप से स्व-सहायक) ऑपरेटर के बीच अंतर एक सूक्ष्म है, यह महत्वपूर्ण है क्योंकि वर्णक्रमीय प्रमेय में स्व-संयुक्तता परिकल्पना है। यहां हम भेद के कुछ ठोस उदाहरणों पर चर्चा करते हैं; सामान्य सिद्धांत के लिए सममित ऑपरेटरों के विस्तार पर नीचे दिया गया अनुभाग देखें। | ||
===डोमेन के संबंध में एक नोट=== | ===डोमेन के संबंध में एक नोट=== | ||
Line 133: | Line 133: | ||
===सीमा स्थितियाँ=== | ===सीमा स्थितियाँ=== | ||
ऐसे मामले में जहां हिल्बर्ट स्पेस एक बंधे हुए डोमेन पर कार्यों का एक स्थान है, इन भेदों का क्वांटम भौतिकी में एक परिचित मुद्दे से लेना-देना है: कोई एक ऑपरेटर को परिभाषित नहीं कर सकता है - जैसे कि गति या हैमिल्टनियन ऑपरेटर - निर्दिष्ट किए बिना एक बंधे हुए डोमेन पर सीमा की स्थिति। गणितीय शब्दों में, सीमा शर्तों को चुनने का | ऐसे मामले में जहां हिल्बर्ट स्पेस एक बंधे हुए डोमेन पर कार्यों का एक स्थान है, इन भेदों का क्वांटम भौतिकी में एक परिचित मुद्दे से लेना-देना है: कोई एक ऑपरेटर को परिभाषित नहीं कर सकता है - जैसे कि गति या हैमिल्टनियन ऑपरेटर - निर्दिष्ट किए बिना एक बंधे हुए डोमेन पर सीमा की स्थिति। गणितीय शब्दों में, सीमा शर्तों को चुनने का कारण ऑपरेटर के लिए एक उपयुक्त डोमेन चुनना है। उदाहरण के लिए, हिल्बर्ट स्थान पर विचार करें <math>L^2([0, 1])</math> (अंतराल [0,1] पर वर्ग-अभिन्न कार्यों का स्थान)। आइए हम इस स्थान पर सामान्य सूत्र द्वारा एक गति ऑपरेटर ए को परिभाषित करें, प्लैंक के स्थिरांक को 1 के बराबर समुच्चय करें: | ||
: <math>Af = -i\frac{df}{dx}.</math> | : <math>Af = -i\frac{df}{dx}.</math> | ||
अब हमें ए के लिए एक डोमेन निर्दिष्ट करना होगा, जो सीमा शर्तों को चुनने के बराबर है। | अब हमें ए के लिए एक डोमेन निर्दिष्ट करना होगा, जो सीमा शर्तों को चुनने के बराबर है। यदि हम चुनते हैं | ||
: <math>\operatorname{Dom}(A) = \left\{\text{smooth functions}\right\},</math> | : <math>\operatorname{Dom}(A) = \left\{\text{smooth functions}\right\},</math> | ||
तब A सममित नहीं है (क्योंकि भागों द्वारा एकीकरण में सीमा शब्द लुप्त नहीं होते हैं)। | तब A सममित नहीं है (क्योंकि भागों द्वारा एकीकरण में सीमा शब्द लुप्त नहीं होते हैं)। | ||
यदि हम चुनते हैं | |||
: <math>\operatorname{Dom}(A) = \left\{\text{smooth functions}\,f \mid f(0) = f(1) = 0\right\},</math> | : <math>\operatorname{Dom}(A) = \left\{\text{smooth functions}\,f \mid f(0) = f(1) = 0\right\},</math> | ||
फिर भागों द्वारा एकीकरण का उपयोग करके, कोई आसानी से सत्यापित कर सकता है कि ए सममित है। यह ऑपरेटर मूलतः स्व-सहायक नहीं है,<ref>{{harvnb|Hall|2013}} Proposition 9.27</ref> | फिर भागों द्वारा एकीकरण का उपयोग करके, कोई आसानी से सत्यापित कर सकता है कि ए सममित है। यह ऑपरेटर मूलतः स्व-सहायक नहीं है,<ref>{{harvnb|Hall|2013}} Proposition 9.27</ref> चूंकि , मूल रूप से क्योंकि हमने A के डोमेन पर बहुत अधिक सीमा शर्तें निर्दिष्ट की हैं, जो आसन्न के डोमेन को बहुत बड़ा बनाता है। (इस उदाहरण की चर्चा नीचे उदाहरण अनुभाग में भी की गई है।) | ||
विशेष रूप से, ए के लिए डोमेन के उपरोक्त विकल्प के साथ, समापन का डोमेन <math>A^{\mathrm{cl}}</math> का A है | विशेष रूप से, ए के लिए डोमेन के उपरोक्त विकल्प के साथ, समापन का डोमेन <math>A^{\mathrm{cl}}</math> का A है | ||
Line 148: | Line 148: | ||
जबकि adjoint का डोमेन <math>A^*</math> का A है | जबकि adjoint का डोमेन <math>A^*</math> का A है | ||
:<math>\operatorname{Dom}\left(A^*\right) = \left\{\text{functions } f \text{ with two derivatives in }L^2\right\}.</math> | :<math>\operatorname{Dom}\left(A^*\right) = \left\{\text{functions } f \text{ with two derivatives in }L^2\right\}.</math> | ||
कहने का तात्पर्य यह है कि, क्लोजर के डोमेन में ए के डोमेन के समान ही सीमा शर्तें हैं, बस एक कम कठोर सहजता धारणा है। इस बीच, चूंकि ए पर बहुत अधिक सीमा शर्तें हैं, इसलिए बहुत कम (वास्तव में, इस मामले में कोई भी नहीं) हैं <math>A^*</math>. | कहने का तात्पर्य यह है कि, क्लोजर के डोमेन में ए के डोमेन के समान ही सीमा शर्तें हैं, बस एक कम कठोर सहजता धारणा है। इस बीच, चूंकि ए पर बहुत अधिक सीमा शर्तें हैं, इसलिए बहुत कम (वास्तव में, इस मामले में कोई भी नहीं) हैं <math>A^*</math>. यदि हम गणना करें <math>\langle g, Af\rangle</math> के लिए <math>f \in \operatorname{Dom}(A)</math> भागों द्वारा एकीकरण का उपयोग करना, तब से <math>f</math> अंतराल के दोनों सिरों पर गायब हो जाता है, कोई सीमा स्थिति नहीं होती <math>g</math> भागों द्वारा एकीकरण में सीमा शर्तों को रद्द करने की आवश्यकता है। इस प्रकार, कोई भी पर्याप्त रूप से सुचारू कार्य <math>g</math> के क्षेत्र में है <math>A^*</math>, साथ <math>A^*g = -i\,dg/dx</math>.<ref>{{harvnb|Hall|2013}} Proposition 9.28</ref> | ||
चूंकि समापन का डोमेन और एडजॉइंट का डोमेन सहमत नहीं है, ए अनिवार्य रूप से स्व-सहायक नहीं है। आख़िरकार, एक सामान्य परिणाम कहता है कि जोड़ का डोमेन <math>A^\mathrm{cl}</math> ए के जोड़ के डोमेन के समान है। इस प्रकार, इस मामले में, के जोड़ का डोमेन <math>A^\mathrm{cl}</math> के डोमेन से बड़ा है <math>A^\mathrm{cl}</math> स्वयं, वह दिखा रहा है <math>A^\mathrm{cl}</math> स्व-सहायक नहीं है, जिसका परिभाषा के अनुसार अर्थ यह है कि A मूलतः स्व-सहायक नहीं है। | चूंकि समापन का डोमेन और एडजॉइंट का डोमेन सहमत नहीं है, ए अनिवार्य रूप से स्व-सहायक नहीं है। आख़िरकार, एक सामान्य परिणाम कहता है कि जोड़ का डोमेन <math>A^\mathrm{cl}</math> ए के जोड़ के डोमेन के समान है। इस प्रकार, इस मामले में, के जोड़ का डोमेन <math>A^\mathrm{cl}</math> के डोमेन से बड़ा है <math>A^\mathrm{cl}</math> स्वयं, वह दिखा रहा है <math>A^\mathrm{cl}</math> स्व-सहायक नहीं है, जिसका परिभाषा के अनुसार अर्थ यह है कि A मूलतः स्व-सहायक नहीं है। | ||
पिछले उदाहरण के साथ समस्या यह है कि हमने ए के डोमेन पर बहुत अधिक सीमा शर्तें लगा दी हैं। डोमेन का एक | पिछले उदाहरण के साथ समस्या यह है कि हमने ए के डोमेन पर बहुत अधिक सीमा शर्तें लगा दी हैं। डोमेन का एक उत्तम विकल्प आवधिक सीमा शर्तों का उपयोग करना होगा: | ||
:<math>\operatorname{Dom}(A) = \{\text{smooth functions}\,f \mid f(0) = f(1)\}.</math> | :<math>\operatorname{Dom}(A) = \{\text{smooth functions}\,f \mid f(0) = f(1)\}.</math> | ||
इस डोमेन के साथ, ए अनिवार्य रूप से स्व-संयुक्त है।<ref>{{harvnb|Hall|2013}} Example 9.25</ref> | इस डोमेन के साथ, ए अनिवार्य रूप से स्व-संयुक्त है।<ref>{{harvnb|Hall|2013}} Example 9.25</ref> | ||
इस मामले में, हम वर्णक्रमीय प्रमेय के लिए डोमेन मुद्दों के निहितार्थ को समझ सकते हैं। यदि हम डोमेन की पहली पसंद (बिना किसी सीमा शर्तों के) का उपयोग करते हैं, तो सभी फ़ंक्शन <math>f_\beta(x) = e^{\beta x}</math> के लिए <math>\beta \in \mathbb C</math> eigenvalues के साथ eigenvectors हैं <math>-i \beta</math>, और इसलिए स्पेक्ट्रम संपूर्ण जटिल विमान है। यदि हम डोमेन की दूसरी पसंद (डिरिचलेट सीमा शर्तों के साथ) का उपयोग करते हैं, तो ए के पास कोई भी आइजनवेक्टर नहीं है। यदि हम डोमेन की तीसरी पसंद (आवधिक सीमा शर्तों के साथ) का उपयोग करते हैं, तो हम ए के लिए ईजेनवेक्टरों का एक ऑर्थोनॉर्मल आधार पा सकते हैं, फ़ंक्शन <math>f_n(x) := e^{2\pi inx}</math>. इस प्रकार, इस मामले में ऐसा डोमेन खोजना कि A स्व-संयुक्त हो, एक समझौता है: डोमेन इतना छोटा होना चाहिए कि A सममित हो, | इस मामले में, हम वर्णक्रमीय प्रमेय के लिए डोमेन मुद्दों के निहितार्थ को समझ सकते हैं। यदि हम डोमेन की पहली पसंद (बिना किसी सीमा शर्तों के) का उपयोग करते हैं, तो सभी फ़ंक्शन <math>f_\beta(x) = e^{\beta x}</math> के लिए <math>\beta \in \mathbb C</math> eigenvalues के साथ eigenvectors हैं <math>-i \beta</math>, और इसलिए स्पेक्ट्रम संपूर्ण जटिल विमान है। यदि हम डोमेन की दूसरी पसंद (डिरिचलेट सीमा शर्तों के साथ) का उपयोग करते हैं, तो ए के पास कोई भी आइजनवेक्टर नहीं है। यदि हम डोमेन की तीसरी पसंद (आवधिक सीमा शर्तों के साथ) का उपयोग करते हैं, तो हम ए के लिए ईजेनवेक्टरों का एक ऑर्थोनॉर्मल आधार पा सकते हैं, फ़ंक्शन <math>f_n(x) := e^{2\pi inx}</math>. इस प्रकार, इस मामले में ऐसा डोमेन खोजना कि A स्व-संयुक्त हो, एक समझौता है: डोमेन इतना छोटा होना चाहिए कि A सममित हो, किन्तु इतना बड़ा हो कि <math>D(A^*)=D(A)</math>. | ||
===एकवचन क्षमता वाले श्रोडिंगर ऑपरेटर=== | ===एकवचन क्षमता वाले श्रोडिंगर ऑपरेटर=== | ||
सममित और (अनिवार्य रूप से) स्व-सहायक ऑपरेटरों के बीच अंतर का एक अधिक सूक्ष्म उदाहरण क्वांटम यांत्रिकी में श्रोडिंगर समीकरण | श्रोडिंगर ऑपरेटरों से आता है। यदि संभावित ऊर्जा एकवचन है - विशेष रूप से यदि क्षमता नीचे असीमित है - तो संबंधित श्रोडिंगर ऑपरेटर अनिवार्य रूप से स्व-सहायक होने में विफल हो सकता है। एक आयाम में, उदाहरण के लिए, ऑपरेटर | सममित और (अनिवार्य रूप से) स्व-सहायक ऑपरेटरों के बीच अंतर का एक अधिक सूक्ष्म उदाहरण क्वांटम यांत्रिकी में श्रोडिंगर समीकरण | श्रोडिंगर ऑपरेटरों से आता है। यदि संभावित ऊर्जा एकवचन है - विशेष रूप से यदि क्षमता नीचे असीमित है - तो संबंधित श्रोडिंगर ऑपरेटर अनिवार्य रूप से स्व-सहायक होने में विफल हो सकता है। एक आयाम में, उदाहरण के लिए, ऑपरेटर | ||
:<math>\hat{H} := \frac{P^2}{2m} - X^4</math> | :<math>\hat{H} := \frac{P^2}{2m} - X^4</math> | ||
सुचारू, तेजी से क्षय होने वाले कार्यों के स्थान पर अनिवार्य रूप से स्व-सहायक नहीं है।<ref>{{harvnb|Hall|2013}} Theorem 9.41</ref> इस मामले में, आवश्यक स्व-संयुक्तता की विफलता अंतर्निहित | सुचारू, तेजी से क्षय होने वाले कार्यों के स्थान पर अनिवार्य रूप से स्व-सहायक नहीं है।<ref>{{harvnb|Hall|2013}} Theorem 9.41</ref> इस मामले में, आवश्यक स्व-संयुक्तता की विफलता अंतर्निहित मौलिक प्रणाली में एक विकृति को दर्शाती है: एक मौलिक कण <math>-x^4</math> संभावित परिमित समय में अनंत तक पलायन कर जाता है। इस ऑपरेटर के पास एक अद्वितीय स्व-सहायक नहीं है, किन्तु यह अनंत पर सीमा शर्तों को निर्दिष्ट करके प्राप्त स्व-सहायक एक्सटेंशन को स्वीकार करता है। (तब से <math>\hat{H}</math> एक वास्तविक ऑपरेटर है, यह जटिल संयुग्मन के साथ आवागमन करता है। इस प्रकार, कमी सूचकांक स्वचालित रूप से बराबर होते हैं, जो स्व-सहायक विस्तार होने की शर्त है। नीचे सममित ऑपरेटरों के विस्तार की चर्चा देखें।) | ||
इस मामले में, यदि हम प्रारंभ में परिभाषित करते हैं <math>\hat{H}</math> सुचारू, तेजी से क्षय होने वाले कार्यों के स्थान पर, सहायक एक ही ऑपरेटर होगा ( | इस मामले में, यदि हम प्रारंभ में परिभाषित करते हैं <math>\hat{H}</math> सुचारू, तेजी से क्षय होने वाले कार्यों के स्थान पर, सहायक एक ही ऑपरेटर होगा (अर्थात , एक ही सूत्र द्वारा दिया गया) किन्तु सबसे बड़े संभावित डोमेन पर, अर्थात् | ||
:<math>\operatorname{Dom}\left(\hat{H}^*\right) = \left\{ \text{twice differentiable functions }f \in L^2(\mathbb{R})\left|\left( -\frac{\hbar^2}{2m}\frac{d^2f}{dx^2} - x^4f(x)\right) \in L^2(\mathbb{R}) \right. \right\}. </math> | :<math>\operatorname{Dom}\left(\hat{H}^*\right) = \left\{ \text{twice differentiable functions }f \in L^2(\mathbb{R})\left|\left( -\frac{\hbar^2}{2m}\frac{d^2f}{dx^2} - x^4f(x)\right) \in L^2(\mathbb{R}) \right. \right\}. </math> | ||
तभी यह दिखाना संभव है <math>\hat{H}^*</math> एक सममित ऑपरेटर नहीं है, जो निश्चित रूप से इसका तात्पर्य है <math>\hat{H}</math> मूलतः स्व-संयुक्त नहीं है। वास्तव में, <math>\hat{H}^*</math> शुद्ध काल्पनिक eigenvalues के साथ eigenvectors हैं,<ref>{{harvnb|Berezin|Shubin|1991}} p. 85</ref><ref>{{harvnb|Hall|2013}} Section 9.10</ref> जो एक सममित ऑपरेटर के लिए असंभव है। यह अजीब घटना दो शब्दों के बीच रद्दीकरण के कारण संभव है <math>\hat{H}^*</math>: कार्य हैं <math>f</math> के क्षेत्र में <math>\hat{H}^*</math> जिसके लिए न तो <math>d^2 f/dx^2</math> और न <math>x^4f(x)</math> अलग से है <math>L^2(\mathbb{R})</math>, | तभी यह दिखाना संभव है <math>\hat{H}^*</math> एक सममित ऑपरेटर नहीं है, जो निश्चित रूप से इसका तात्पर्य है <math>\hat{H}</math> मूलतः स्व-संयुक्त नहीं है। वास्तव में, <math>\hat{H}^*</math> शुद्ध काल्पनिक eigenvalues के साथ eigenvectors हैं,<ref>{{harvnb|Berezin|Shubin|1991}} p. 85</ref><ref>{{harvnb|Hall|2013}} Section 9.10</ref> जो एक सममित ऑपरेटर के लिए असंभव है। यह अजीब घटना दो शब्दों के बीच रद्दीकरण के कारण संभव है <math>\hat{H}^*</math>: कार्य हैं <math>f</math> के क्षेत्र में <math>\hat{H}^*</math> जिसके लिए न तो <math>d^2 f/dx^2</math> और न <math>x^4f(x)</math> अलग से है <math>L^2(\mathbb{R})</math>, किन्तु उनका संयोजन घटित होता है <math>\hat{H}^*</math> में है <math>L^2(\mathbb{R})</math>. यह अनुमति देता है <math>\hat{H}^*</math> दोनों के होते हुए भी असममित होना <math>d^2/dx^2</math> और <math>X^4</math> सममित ऑपरेटर हैं. यदि हम प्रतिकारक क्षमता को प्रतिस्थापित कर देते हैं तो इस प्रकार का रद्दीकरण नहीं होता है <math>-x^4</math> सीमित क्षमता के साथ <math>x^4</math>. | ||
श्रोडिंगर ऑपरेटरों के लिए स्व-सहायक या अनिवार्य रूप से स्व-सहायक होने की शर्तें विभिन्न पाठ्यपुस्तकों में पाई जा सकती हैं, जैसे कि बेरेज़िन और शुबिन, हॉल, और रीड और साइमन द्वारा संदर्भ में सूचीबद्ध। | श्रोडिंगर ऑपरेटरों के लिए स्व-सहायक या अनिवार्य रूप से स्व-सहायक होने की शर्तें विभिन्न पाठ्यपुस्तकों में पाई जा सकती हैं, जैसे कि बेरेज़िन और शुबिन, हॉल, और रीड और साइमन द्वारा संदर्भ में सूचीबद्ध। | ||
== वर्णक्रमीय प्रमेय == | == वर्णक्रमीय प्रमेय == | ||
भौतिकी साहित्य में, वर्णक्रमीय प्रमेय को | भौतिकी साहित्य में, वर्णक्रमीय प्रमेय को अधिकांशतः यह कहकर कहा जाता है कि एक स्व-सहायक ऑपरेटर के पास ईजेनवेक्टरों का एक ऑर्थोनॉर्मल आधार होता है। चूंकि , भौतिक विज्ञानी सतत स्पेक्ट्रम की घटना से अच्छी तरह परिचित हैं; इस प्रकार, जब वे ऑर्थोनॉर्मल आधार की बात करते हैं तो उनका कारण या तो क्लासिक अर्थ में ऑर्थोनॉर्मल आधार या उसके कुछ निरंतर एनालॉग से होता है। संवेग संचालक के मामले में <math display="inline">P = -i\frac{d}{dx}</math>उदाहरण के लिए, भौतिक विज्ञानी कहेंगे कि आइजनवेक्टर कार्य हैं <math>f_p(x) := e^{ipx}</math>, जो स्पष्ट रूप से हिल्बर्ट स्थान में नहीं हैं <math>L^2(\mathbb{R})</math>. (भौतिक विज्ञानी कहेंगे कि आइजनवेक्टर गैर-सामान्यीकरण योग्य हैं।) फिर भौतिक विज्ञानी यह कहेंगे कि ये आइजनवेक्टर निरंतर अर्थ में ऑर्थोनॉर्मल हैं, जहां सामान्य क्रोनकर डेल्टा होता है <math>\delta_{i,j}</math> एक डिराक डेल्टा फ़ंक्शन द्वारा प्रतिस्थापित किया गया है <math>\delta\left(p - p'\right)</math>. | ||
यद्यपि ये कथन गणितज्ञों को निराशाजनक लग सकते हैं, फूरियर ट्रांसफॉर्म के उपयोग से इन्हें कठोर बनाया जा सकता है, जो एक सामान्य की अनुमति देता है <math>L^2</math> फ़ंक्शन को फ़ंक्शन के सुपरपोज़िशन ( | यद्यपि ये कथन गणितज्ञों को निराशाजनक लग सकते हैं, फूरियर ट्रांसफॉर्म के उपयोग से इन्हें कठोर बनाया जा सकता है, जो एक सामान्य की अनुमति देता है <math>L^2</math> फ़ंक्शन को फ़ंक्शन के सुपरपोज़िशन (अर्थात , अभिन्न) के रूप में व्यक्त किया जाना है <math>e^{ipx}</math>, तथापि ये फ़ंक्शन अंदर नहीं हैं <math>L^2</math>. फूरियर रूपांतरण गति ऑपरेटर को विकर्णित करता है; अर्थात्, यह इसे गुणन के संचालिका में परिवर्तित कर देता है <math>p</math>, कहाँ <math>p</math> फूरियर रूपांतरण का चर है। | ||
सामान्यतः वर्णक्रमीय प्रमेय को उसी तरह व्यक्त किया जा सकता है जैसे किसी ऑपरेटर को विकर्णित करने की संभावना यह दिखाकर कि यह इकाई रूप से गुणन ऑपरेटर के बराबर है। वर्णक्रमीय प्रमेय के अन्य संस्करणों का उद्देश्य इसी तरह इस विचार को पकड़ना है कि एक स्व-सहायक ऑपरेटर के पास ऐसे आइजेनवेक्टर हो सकते हैं जो वास्तव में हिल्बर्ट स्थान में नहीं हैं। | |||
===वर्णक्रमीय प्रमेय का कथन=== | ===वर्णक्रमीय प्रमेय का कथन=== | ||
Line 192: | Line 192: | ||
===कार्यात्मक कलन === | ===कार्यात्मक कलन === | ||
वर्णक्रमीय प्रमेय का एक महत्वपूर्ण अनुप्रयोग बोरेल कार्यात्मक कैलकुलस को परिभाषित करना है। कहने का तात्पर्य यह है कि यदि <math>h</math> वास्तविक लाइन पर एक फ़ंक्शन है और <math>T</math> एक स्व-सहायक ऑपरेटर है, हम ऑपरेटर को परिभाषित करना चाहते हैं <math>h(T)</math>. | वर्णक्रमीय प्रमेय का एक महत्वपूर्ण अनुप्रयोग बोरेल कार्यात्मक कैलकुलस को परिभाषित करना है। कहने का तात्पर्य यह है कि यदि <math>h</math> वास्तविक लाइन पर एक फ़ंक्शन है और <math>T</math> एक स्व-सहायक ऑपरेटर है, हम ऑपरेटर को परिभाषित करना चाहते हैं <math>h(T)</math>. यदि <math>T</math> eigenvectors का वास्तविक लंबन आधार है <math>e_j</math> eigenvalues के साथ <math>\lambda_j</math>, तब <math>h(T)</math> eigenvectors वाला ऑपरेटर है <math>e_j</math> और eigenvalues <math>h\left(\lambda_j\right)</math>. कार्यात्मक कैलकुलस का लक्ष्य इस विचार को उस मामले तक विस्तारित करना है जहां <math>T</math> निरंतर स्पेक्ट्रम है. | ||
क्वांटम भौतिकी में इस मामले का विशेष महत्व है <math>T</math> हैमिल्टनियन ऑपरेटर है <math>\hat{H}</math> और <math>h(x) := e^{-itx/\hbar}</math> एक घातीय है. इस मामले में, कार्यात्मक कैलकुलस को हमें ऑपरेटर को परिभाषित करने की अनुमति देनी चाहिए | क्वांटम भौतिकी में इस मामले का विशेष महत्व है <math>T</math> हैमिल्टनियन ऑपरेटर है <math>\hat{H}</math> और <math>h(x) := e^{-itx/\hbar}</math> एक घातीय है. इस मामले में, कार्यात्मक कैलकुलस को हमें ऑपरेटर को परिभाषित करने की अनुमति देनी चाहिए | ||
Line 203: | Line 203: | ||
निम्नलिखित संकेतन को प्रस्तुत करने की प्रथा रही है | निम्नलिखित संकेतन को प्रस्तुत करने की प्रथा रही है | ||
:<math>\operatorname{E}_T(\lambda) = \mathbf{1}_{(-\infty, \lambda]} (T)</math> | :<math>\operatorname{E}_T(\lambda) = \mathbf{1}_{(-\infty, \lambda]} (T)</math> | ||
कहाँ <math>\mathbf{1}_{(-\infty, \lambda]}</math> अंतराल का विशिष्ट कार्य (सूचक कार्य) है <math>(-\infty, \lambda]</math>. प्रक्षेपण ऑपरेटरों का परिवार ई<sub>''T''</sub>(λ) को ''T'' के लिए पहचान का संकल्प कहा जाता है। इसके | कहाँ <math>\mathbf{1}_{(-\infty, \lambda]}</math> अंतराल का विशिष्ट कार्य (सूचक कार्य) है <math>(-\infty, \lambda]</math>. प्रक्षेपण ऑपरेटरों का परिवार ई<sub>''T''</sub>(λ) को ''T'' के लिए पहचान का संकल्प कहा जाता है। इसके अतिरिक्त , ''टी'' के लिए निम्नलिखित स्टिल्टजेस अभिन्न प्रतिनिधित्व को सिद्ध किया जा सकता है: | ||
:<math> T = \int_{-\infty}^{+\infty} \lambda d \operatorname{E}_T(\lambda).</math> | :<math> T = \int_{-\infty}^{+\infty} \lambda d \operatorname{E}_T(\lambda).</math> | ||
उपरोक्त ऑपरेटर इंटीग्रल की परिभाषा को [[कमजोर ऑपरेटर टोपोलॉजी]] का उपयोग करके स्केलर मूल्य वाले स्टिल्टजेस इंटीग्रल तक कम किया जा सकता है। | उपरोक्त ऑपरेटर इंटीग्रल की परिभाषा को [[कमजोर ऑपरेटर टोपोलॉजी|अशक्त ऑपरेटर टोपोलॉजी]] का उपयोग करके स्केलर मूल्य वाले स्टिल्टजेस इंटीग्रल तक कम किया जा सकता है। चूंकि , अधिक आधुनिक उपचारों में, इस प्रतिनिधित्व को सामान्यतः टाला जाता है, क्योंकि अधिकांश तकनीकी समस्याओं को कार्यात्मक कैलकुलस द्वारा निपटाया जा सकता है। | ||
=== भौतिकी साहित्य में निरूपण === | === भौतिकी साहित्य में निरूपण === | ||
Line 214: | Line 214: | ||
साथ | साथ | ||
:<math>H \left|\Psi_E\right\rangle = E \left|\Psi_E\right\rangle</math> | :<math>H \left|\Psi_E\right\rangle = E \left|\Psi_E\right\rangle</math> | ||
जहां इंटीग्रल एच के पूरे स्पेक्ट्रम पर चलता है। नोटेशन से पता चलता है कि एच को ईजेनवेक्टर्स द्वारा विकर्ण किया गया है।<sub>''E''</sub>. ऐसा अंकन पूर्णतः [[औपचारिक गणना]] है। डिराक के अंकन और पिछले अनुभाग के बीच समानता देखी जा सकती है। पहचान का संकल्प (कभी-कभी प्रक्षेपण मूल्य माप भी कहा जाता है) औपचारिक रूप से रैंक -1 अनुमान जैसा दिखता है <math>\left|\Psi_E\right\rangle \left\langle\Psi_E\right|</math>. डिराक नोटेशन में, (प्रोजेक्टिव) मापों को [[eigenvalues]] और [[eigenstates]], दोनों विशुद्ध रूप से औपचारिक वस्तुओं के माध्यम से वर्णित किया गया है। जैसा कि कोई उम्मीद कर सकता है, यह पहचान के समाधान के पारित होने से बच नहीं पाता है। बाद के सूत्रीकरण में, [[वर्णक्रमीय माप]] का उपयोग करके माप का वर्णन किया गया है <math>|\Psi \rangle</math>, यदि | जहां इंटीग्रल एच के पूरे स्पेक्ट्रम पर चलता है। नोटेशन से पता चलता है कि एच को ईजेनवेक्टर्स द्वारा विकर्ण किया गया है।<sub>''E''</sub>. ऐसा अंकन पूर्णतः [[औपचारिक गणना]] है। डिराक के अंकन और पिछले अनुभाग के बीच समानता देखी जा सकती है। पहचान का संकल्प (कभी-कभी प्रक्षेपण मूल्य माप भी कहा जाता है) औपचारिक रूप से रैंक -1 अनुमान जैसा दिखता है <math>\left|\Psi_E\right\rangle \left\langle\Psi_E\right|</math>. डिराक नोटेशन में, (प्रोजेक्टिव) मापों को [[eigenvalues]] और [[eigenstates]], दोनों विशुद्ध रूप से औपचारिक वस्तुओं के माध्यम से वर्णित किया गया है। जैसा कि कोई उम्मीद कर सकता है, यह पहचान के समाधान के पारित होने से बच नहीं पाता है। बाद के सूत्रीकरण में, [[वर्णक्रमीय माप]] का उपयोग करके माप का वर्णन किया गया है <math>|\Psi \rangle</math>, यदि प्रणाली तैयार है <math>|\Psi \rangle</math> माप से पहले. वैकल्पिक रूप से, यदि कोई ईजेनस्टेट्स की धारणा को संरक्षित करना चाहता है और इसे केवल औपचारिक के अतिरिक्त कठोर बनाना चाहता है, तो वह राज्य स्थान को उपयुक्त [[धांधली हिल्बर्ट स्थान]] से बदल सकता है। | ||
यदि {{nowrap|1=''f'' = 1}}, प्रमेय को एकता के संकल्प के रूप में जाना जाता है: | |||
:<math>I = \int dE \left|\Psi_E\right\rangle \left\langle\Psi_E\right|</math> | :<math>I = \int dE \left|\Psi_E\right\rangle \left\langle\Psi_E\right|</math> | ||
यदि <math>H_\text{eff} = H - i\Gamma</math> एक हर्मिटियन एच और एक तिरछा-हर्मिटियन ([[तिरछा-हर्मिटियन मैट्रिक्स]] देखें) ऑपरेटर का योग है <math> -i\Gamma</math>, एक [[ बायोर्थोगोनल प्रणाली ]] आधार | यदि <math>H_\text{eff} = H - i\Gamma</math> एक हर्मिटियन एच और एक तिरछा-हर्मिटियन ([[तिरछा-हर्मिटियन मैट्रिक्स|तिरछा-हर्मिटियन आव्युह]] देखें) ऑपरेटर का योग है <math> -i\Gamma</math>, एक [[ बायोर्थोगोनल प्रणाली ]] आधार समुच्चय को परिभाषित करता है | ||
:<math>H^*_\text{eff} \left|\Psi_E^*\right\rangle = E^* \left|\Psi_E^*\right\rangle</math> | :<math>H^*_\text{eff} \left|\Psi_E^*\right\rangle = E^* \left|\Psi_E^*\right\rangle</math> | ||
Line 228: | Line 228: | ||
== सममित ऑपरेटरों का विस्तार == | == सममित ऑपरेटरों का विस्तार == | ||
निम्नलिखित प्रश्न कई संदर्भों में उठता है: यदि हिल्बर्ट स्पेस एच पर एक ऑपरेटर ए सममित है, तो इसमें स्व-सहायक एक्सटेंशन कब होते हैं? एक ऑपरेटर जिसके पास एक अद्वितीय स्व-सहायक विस्तार होता है, उसे 'अनिवार्य रूप से स्व-सहायक' कहा जाता है; समान रूप से, एक ऑपरेटर अनिवार्य रूप से स्व-सहायक होता है यदि उसका समापन (वह ऑपरेटर जिसका ग्राफ ए के ग्राफ का समापन है) स्व-सहायक है। | निम्नलिखित प्रश्न कई संदर्भों में उठता है: यदि हिल्बर्ट स्पेस एच पर एक ऑपरेटर ए सममित है, तो इसमें स्व-सहायक एक्सटेंशन कब होते हैं? एक ऑपरेटर जिसके पास एक अद्वितीय स्व-सहायक विस्तार होता है, उसे 'अनिवार्य रूप से स्व-सहायक' कहा जाता है; समान रूप से, एक ऑपरेटर अनिवार्य रूप से स्व-सहायक होता है यदि उसका समापन (वह ऑपरेटर जिसका ग्राफ ए के ग्राफ का समापन है) स्व-सहायक है। सामान्यतः , एक सममित ऑपरेटर के पास कई स्व-सहायक एक्सटेंशन हो सकते हैं या कोई भी नहीं हो सकता है। इस प्रकार, हम इसके स्व-संयुक्त विस्तारों का वर्गीकरण चाहेंगे। | ||
आवश्यक आत्म-संबद्धता के लिए पहला | आवश्यक आत्म-संबद्धता के लिए पहला मूलभूत मानदंड निम्नलिखित है:<ref>{{harvnb|Hall|2013}} Theorem 9.21</ref> | ||
{{math theorem| If ''A'' is a symmetric operator on ''H'', then ''A'' is essentially self-adjoint if and only if the range of the operators <math>A-i</math> and <math>A+i</math> are dense in ''H''. }} | {{math theorem| If ''A'' is a symmetric operator on ''H'', then ''A'' is essentially self-adjoint if and only if the range of the operators <math>A-i</math> and <math>A+i</math> are dense in ''H''. }} | ||
समान रूप से, ए अनिवार्य रूप से स्व-सहायक है यदि और केवल यदि ऑपरेटर <math>A^* - i</math> और <math>A^* + i</math> तुच्छ गुठलियाँ हैं.<ref>{{harvnb|Hall|2013}} Corollary 9.22</ref> कहने का तात्पर्य यह है कि, A स्व-संयुक्त होने में विफल रहता है यदि और केवल यदि <math>A^*</math> eigenvalue के साथ eigenvector है <math>i</math> या <math>-i</math>. | समान रूप से, ए अनिवार्य रूप से स्व-सहायक है यदि और केवल यदि ऑपरेटर <math>A^* - i</math> और <math>A^* + i</math> तुच्छ गुठलियाँ हैं.<ref>{{harvnb|Hall|2013}} Corollary 9.22</ref> कहने का तात्पर्य यह है कि, A स्व-संयुक्त होने में विफल रहता है यदि और केवल यदि <math>A^*</math> eigenvalue के साथ eigenvector है <math>i</math> या <math>-i</math>. | ||
इस मुद्दे को देखने का एक अन्य | इस मुद्दे को देखने का एक अन्य विधि स्व-सहायक ऑपरेटर के केली रूपांतरण और कमी सूचकांक द्वारा प्रदान किया गया है। ([[बंद ऑपरेटर]]ों से निपटना अधिकांशतः तकनीकी सुविधा होती है। सममित मामले में, बंद होने की आवश्यकता कोई बाधा उत्पन्न नहीं करती है, क्योंकि यह ज्ञात है कि सभी सममित ऑपरेटर बंद करने योग्य ऑपरेटर हैं।) | ||
{{math theorem|Suppose ''A'' is a symmetric operator. Then there is a unique partially defined linear operator | {{math theorem|Suppose ''A'' is a symmetric operator. Then there is a unique partially defined linear operator | ||
Line 241: | Line 241: | ||
<math display="block"> \operatorname{W}(A)(Ax + ix) = Ax - ix, \qquad x \in \operatorname{dom}(A). </math>}} | <math display="block"> \operatorname{W}(A)(Ax + ix) = Ax - ix, \qquad x \in \operatorname{dom}(A). </math>}} | ||
यहां, ran और dom क्रमशः [[छवि (गणित)]] (दूसरे शब्दों में, रेंज) और किसी फ़ंक्शन के डोमेन को दर्शाते हैं। W(A) अपने डोमेन पर [[आइसोमेट्री]] है। इसके | यहां, ran और dom क्रमशः [[छवि (गणित)]] (दूसरे शब्दों में, रेंज) और किसी फ़ंक्शन के डोमेन को दर्शाते हैं। W(A) अपने डोमेन पर [[आइसोमेट्री]] है। इसके अतिरिक्त , 1 − W(A) की सीमा H में सघन समुच्चय है। | ||
इसके विपरीत, किसी भी आंशिक रूप से परिभाषित ऑपरेटर यू को देखते हुए जो अपने डोमेन पर आइसोमेट्रिक है (जो आवश्यक रूप से बंद नहीं है) और ऐसा है कि 1 - यू सघन है, एक (अद्वितीय) ऑपरेटर एस (यू) है | इसके विपरीत, किसी भी आंशिक रूप से परिभाषित ऑपरेटर यू को देखते हुए जो अपने डोमेन पर आइसोमेट्रिक है (जो आवश्यक रूप से बंद नहीं है) और ऐसा है कि 1 - यू सघन है, एक (अद्वितीय) ऑपरेटर एस (यू) है | ||
Line 251: | Line 251: | ||
मैपिंग W और S एक दूसरे के व्युत्क्रम हैं। | मैपिंग W और S एक दूसरे के व्युत्क्रम हैं। | ||
मैपिंग डब्ल्यू को केली ट्रांसफॉर्म कहा जाता है। यह [[आंशिक आइसोमेट्री]] को किसी भी सममित सघन रूप से परिभाषित ऑपरेटर से जोड़ता है। ध्यान दें कि मैपिंग डब्ल्यू और एस [[मोनोटोन अभिसरण प्रमेय]] हैं: इसका | मैपिंग डब्ल्यू को केली ट्रांसफॉर्म कहा जाता है। यह [[आंशिक आइसोमेट्री]] को किसी भी सममित सघन रूप से परिभाषित ऑपरेटर से जोड़ता है। ध्यान दें कि मैपिंग डब्ल्यू और एस [[मोनोटोन अभिसरण प्रमेय]] हैं: इसका कारण है कि यदि ''बी'' एक सममित ऑपरेटर है जो सघन रूप से परिभाषित सममित ऑपरेटर ''ए'' का विस्तार करता है, तो डब्ल्यू(''बी'') डब्ल्यू का विस्तार करता है( ''ए''), और इसी तरह एस के लिए। | ||
{{math theorem|A necessary and sufficient condition for ''A'' to be self-adjoint is that its Cayley transform W(''A'') be unitary.}} | {{math theorem|A necessary and sufficient condition for ''A'' to be self-adjoint is that its Cayley transform W(''A'') be unitary.}} | ||
Line 270: | Line 270: | ||
हम देखते हैं कि एक ऑपरेटर के सममित विस्तार और उसके केली ट्रांसफॉर्म के आइसोमेट्रिक विस्तार के बीच एक आपत्ति है। सममितीय विस्तार स्व-सहायक है यदि और केवल यदि संबंधित सममितीय विस्तार एकात्मक है। | हम देखते हैं कि एक ऑपरेटर के सममित विस्तार और उसके केली ट्रांसफॉर्म के आइसोमेट्रिक विस्तार के बीच एक आपत्ति है। सममितीय विस्तार स्व-सहायक है यदि और केवल यदि संबंधित सममितीय विस्तार एकात्मक है। | ||
एक सममित ऑपरेटर के पास एक अद्वितीय स्व-सहायक विस्तार होता है यदि और केवल तभी जब इसके दोनों कमी सूचकांक शून्य हों। ऐसे ऑपरेटर को अनिवार्य रूप से स्व-सहायक कहा जाता है। सममित ऑपरेटर जो अनिवार्य रूप से स्व-सहायक नहीं हैं, उनके पास अभी भी एक विहित रूप स्व-सहायक विस्तार हो सकता है। ''गैर-नकारात्मक'' सममित ऑपरेटरों (या अधिक सामान्यतः, ऑपरेटर जो नीचे परिबद्ध हैं) के मामले में ऐसा ही है। इन ऑपरेटरों के पास | एक सममित ऑपरेटर के पास एक अद्वितीय स्व-सहायक विस्तार होता है यदि और केवल तभी जब इसके दोनों कमी सूचकांक शून्य हों। ऐसे ऑपरेटर को अनिवार्य रूप से स्व-सहायक कहा जाता है। सममित ऑपरेटर जो अनिवार्य रूप से स्व-सहायक नहीं हैं, उनके पास अभी भी एक विहित रूप स्व-सहायक विस्तार हो सकता है। ''गैर-नकारात्मक'' सममित ऑपरेटरों (या अधिक सामान्यतः, ऑपरेटर जो नीचे परिबद्ध हैं) के मामले में ऐसा ही है। इन ऑपरेटरों के पास सदैव एक विहित रूप से परिभाषित [[ फ्रेडरिक का विस्तार ]] होता है और इन ऑपरेटरों के लिए हम एक विहित कार्यात्मक कलन को परिभाषित कर सकते हैं। विश्लेषण में आने वाले कई ऑपरेटर नीचे दिए गए हैं (जैसे कि [[लाप्लासियन]] ऑपरेटर का नकारात्मक), इसलिए इन ऑपरेटरों के लिए आवश्यक जुड़ाव का उद्देश्य कम महत्वपूर्ण है। | ||
===क्वांटम यांत्रिकी में स्व-सहायक विस्तार=== | ===क्वांटम यांत्रिकी में स्व-सहायक विस्तार=== | ||
क्वांटम यांत्रिकी में, अवलोकन योग्य वस्तुएं स्व-सहायक ऑपरेटरों के अनुरूप होती हैं। एक-पैरामीटर एकात्मक समूहों पर स्टोन के प्रमेय के अनुसार, स्व-सहायक ऑपरेटर [[समय विकास]] ऑपरेटरों के एकात्मक समूहों के बिल्कुल छोटे जनरेटर हैं। | क्वांटम यांत्रिकी में, अवलोकन योग्य वस्तुएं स्व-सहायक ऑपरेटरों के अनुरूप होती हैं। एक-पैरामीटर एकात्मक समूहों पर स्टोन के प्रमेय के अनुसार, स्व-सहायक ऑपरेटर [[समय विकास]] ऑपरेटरों के एकात्मक समूहों के बिल्कुल छोटे जनरेटर हैं। चूंकि , कई भौतिक समस्याओं को समय-विकास समीकरण के रूप में तैयार किया जाता है जिसमें अंतर ऑपरेटर सम्मिलित होते हैं जिसके लिए हैमिल्टनियन केवल सममित होता है। ऐसे स्थितियों में, या तो हैमिल्टनियन अनिवार्य रूप से स्व-सहायक है, इस मामले में भौतिक समस्या के अद्वितीय समाधान हैं या कोई व्यक्ति विभिन्न प्रकार की सीमा स्थितियों या अनंत पर स्थितियों के अनुरूप हैमिल्टनियन के स्व-सहायक विस्तार को खोजने का प्रयास करता है। | ||
उदाहरण। क्षमता के साथ एक-आयामी श्रोडिंगर ऑपरेटर <math>V(x) = -(1 + |x|)^\alpha</math>, प्रारंभ में सुचारु रूप से समर्थित कार्यों पर परिभाषित, अनिवार्य रूप से स्व-सहायक है (अर्थात, इसमें स्व-सहायक समापन है) {{math|0 < ''α'' ≤ 2}} | उदाहरण। क्षमता के साथ एक-आयामी श्रोडिंगर ऑपरेटर <math>V(x) = -(1 + |x|)^\alpha</math>, प्रारंभ में सुचारु रूप से समर्थित कार्यों पर परिभाषित, अनिवार्य रूप से स्व-सहायक है (अर्थात, इसमें स्व-सहायक समापन है) {{math|0 < ''α'' ≤ 2}} किन्तु के लिए नहीं {{math|''α'' > 2}}. बेरेज़िन और शुबिन, पृष्ठ 55 और 86, या हॉल में खंड 9.10 देखें। | ||
के लिए आवश्यक स्वसंबद्धता की विफलता <math>\alpha > 2</math> क्षमता वाले कण की | के लिए आवश्यक स्वसंबद्धता की विफलता <math>\alpha > 2</math> क्षमता वाले कण की मौलिक गतिशीलता में एक समकक्ष है <math>V(x)</math>: मौलिक कण सीमित समय में अनंत तक भाग जाता है।<ref>{{harvnb|Hall|2013}} Chapter 2, Exercise 4</ref> | ||
उदाहरण। अर्ध-रेखा पर गतिमान कण के लिए कोई स्व-सहायक संवेग संचालक ''p'' नहीं है। फिर भी, हैमिल्टनियन <math>p^2</math> अर्ध-रेखा पर एक मुक्त कण के विभिन्न प्रकार की सीमा स्थितियों के अनुरूप कई स्व-संयुक्त विस्तार होते हैं। भौतिक रूप से, ये सीमा स्थितियाँ मूल में कण के प्रतिबिंब से संबंधित हैं (रीड और साइमन, खंड 2 देखें)। | उदाहरण। अर्ध-रेखा पर गतिमान कण के लिए कोई स्व-सहायक संवेग संचालक ''p'' नहीं है। फिर भी, हैमिल्टनियन <math>p^2</math> अर्ध-रेखा पर एक मुक्त कण के विभिन्न प्रकार की सीमा स्थितियों के अनुरूप कई स्व-संयुक्त विस्तार होते हैं। भौतिक रूप से, ये सीमा स्थितियाँ मूल में कण के प्रतिबिंब से संबंधित हैं (रीड और साइमन, खंड 2 देखें)। | ||
== वॉन न्यूमैन के सूत्र == | == वॉन न्यूमैन के सूत्र == | ||
मान लीजिए A सममित रूप से सघन रूप से परिभाषित है। फिर A का कोई भी सममित विस्तार A* का प्रतिबंध है। वास्तव में, A ⊆ B और B सममिति dom(A*) की परिभाषा को | मान लीजिए A सममित रूप से सघन रूप से परिभाषित है। फिर A का कोई भी सममित विस्तार A* का प्रतिबंध है। वास्तव में, A ⊆ B और B सममिति dom(A*) की परिभाषा को प्रयुक्त करने से B ⊆ A* प्राप्त होता है। | ||
{{math theorem| Suppose ''A'' is a densely defined symmetric operator. Let | {{math theorem| Suppose ''A'' is a densely defined symmetric operator. Let | ||
Line 308: | Line 308: | ||
-i u' &= -i u | -i u' &= -i u | ||
\end{align}</math> | \end{align}</math> | ||
जो एल में हैं<sup>2</sup>[0, 1]. कोई यह दिखा सकता है कि इनमें से प्रत्येक समाधान स्थान 1-आयामी है, जो फ़ंक्शन x → e द्वारा उत्पन्न होता है<sup>−x</sup> और x → e<sup>x</sup> क्रमशः। इससे पता चलता है कि D मूलतः स्व-संयुक्त नहीं है,<ref>{{harvnb|Hall|2013}} Section 9.6</ref> | जो एल में हैं<sup>2</sup>[0, 1]. कोई यह दिखा सकता है कि इनमें से प्रत्येक समाधान स्थान 1-आयामी है, जो फ़ंक्शन x → e द्वारा उत्पन्न होता है<sup>−x</sup> और x → e<sup>x</sup> क्रमशः। इससे पता चलता है कि D मूलतः स्व-संयुक्त नहीं है,<ref>{{harvnb|Hall|2013}} Section 9.6</ref> किन्तु इसमें स्वयं-सहायक एक्सटेंशन हैं। ये स्व-सहायक एक्सटेंशन एकात्मक मैपिंग एन के स्थान द्वारा पैरामीट्रिज्ड हैं<sub>+</sub> → एन<sub>−</sub>, जो इस मामले में यूनिट सर्कल टी होता है। | ||
इस मामले में, आवश्यक स्व-संयोजकों की विफलता डोमेन की परिभाषा में सीमा शर्तों के गलत विकल्प के कारण होती है <math>D</math>. तब से <math>D</math> प्रथम-क्रम ऑपरेटर है, यह सुनिश्चित करने के लिए केवल एक सीमा शर्त की आवश्यकता है <math>D</math> सममित है. यदि हमने ऊपर दी गई सीमा शर्तों को एकल सीमा शर्त से बदल दिया है | इस मामले में, आवश्यक स्व-संयोजकों की विफलता डोमेन की परिभाषा में सीमा शर्तों के गलत विकल्प के कारण होती है <math>D</math>. तब से <math>D</math> प्रथम-क्रम ऑपरेटर है, यह सुनिश्चित करने के लिए केवल एक सीमा शर्त की आवश्यकता है <math>D</math> सममित है. यदि हमने ऊपर दी गई सीमा शर्तों को एकल सीमा शर्त से बदल दिया है | ||
: <math>\phi(0) = \phi(1)</math>, | : <math>\phi(0) = \phi(1)</math>, | ||
तब D अभी भी सममित होगा और अब, वास्तव में, अनिवार्य रूप से स्व-संयुक्त होगा। सीमा शर्तों का यह परिवर्तन डी का एक विशेष रूप से स्व-संयुक्त विस्तार देता है। अन्य अनिवार्य रूप से स्व-संयुक्त विस्तार फॉर्म की सीमा शर्तों को | तब D अभी भी सममित होगा और अब, वास्तव में, अनिवार्य रूप से स्व-संयुक्त होगा। सीमा शर्तों का यह परिवर्तन डी का एक विशेष रूप से स्व-संयुक्त विस्तार देता है। अन्य अनिवार्य रूप से स्व-संयुक्त विस्तार फॉर्म की सीमा शर्तों को प्रयुक्त करने से आते हैं <math>\phi(1) = e^{i\theta}\phi(0)</math>. | ||
यह सरल उदाहरण एक खुले | यह सरल उदाहरण एक खुले समुच्चय एम पर सममित विभेदक ऑपरेटरों पी के स्व-सहायक विस्तार के बारे में एक सामान्य तथ्य को दर्शाता है। वे आइगेनवैल्यू रिक्त स्थान के बीच एकात्मक मानचित्रों द्वारा निर्धारित किए जाते हैं। | ||
: <math> N_\pm = \left\{u \in L^2(M): P_\operatorname{dist} u = \pm i u\right\} </math> | : <math> N_\pm = \left\{u \in L^2(M): P_\operatorname{dist} u = \pm i u\right\} </math> | ||
जहां पी<sub>dist</sub> P का वितरणात्मक विस्तार है। | जहां पी<sub>dist</sub> P का वितरणात्मक विस्तार है। | ||
Line 322: | Line 322: | ||
हम आगे [[स्थिर गुणांक]] वाले विभेदक ऑपरेटरों का उदाहरण देते हैं। होने देना | हम आगे [[स्थिर गुणांक]] वाले विभेदक ऑपरेटरों का उदाहरण देते हैं। होने देना | ||
:<math>P\left(\vec{x}\right) = \sum_\alpha c_\alpha x^\alpha </math> | :<math>P\left(\vec{x}\right) = \sum_\alpha c_\alpha x^\alpha </math> | ||
R पर एक बहुपद बनें<sup>n</sup> वास्तविक गुणांकों के साथ, जहां α बहु-सूचकांक|बहु-सूचकांकों के एक (परिमित) | R पर एक बहुपद बनें<sup>n</sup> वास्तविक गुणांकों के साथ, जहां α बहु-सूचकांक|बहु-सूचकांकों के एक (परिमित) समुच्चय से अधिक होता है। इस प्रकार | ||
: <math> \alpha = (\alpha_1, \alpha_2, \ldots, \alpha_n)</math> | : <math> \alpha = (\alpha_1, \alpha_2, \ldots, \alpha_n)</math> | ||
और | और | ||
Line 346: | Line 346: | ||
== वर्णक्रमीय बहुलता सिद्धांत == | == वर्णक्रमीय बहुलता सिद्धांत == | ||
स्व-सहायक संचालिका का गुणन निरूपण, | स्व-सहायक संचालिका का गुणन निरूपण, चूंकि अत्यंत उपयोगी है, विहित निरूपण नहीं है। इससे पता चलता है कि इस प्रतिनिधित्व से यह निर्धारित करने के लिए एक मानदंड निकालना आसान नहीं है कि स्व-सहायक ऑपरेटर ए और बी इकाई रूप से समकक्ष हैं। अब हम जिस बढ़िया ीन दानेदार प्रतिनिधित्व पर चर्चा करते हैं उसमें वर्णक्रमीय बहुलता सम्मिलित है। परिणामों के इस चक्र को [[हंस हैन (गणितज्ञ)]][[अर्नेस्ट हेलिंगर]] का वर्णक्रमीय बहुलता सिद्धांत कहा जाता है। | ||
===समान बहुलता=== | ===समान बहुलता=== | ||
Line 353: | Line 353: | ||
'परिभाषा'। एक स्व-सहायक संकारक A में एकसमान बहुलता n है जहाँ n ऐसा है कि 1 ≤ n ≤ ω यदि और केवल यदि A इकाई रूप से संकारक M के समतुल्य है<sub>''f''</sub> फलन f(λ) = λ द्वारा गुणन का | 'परिभाषा'। एक स्व-सहायक संकारक A में एकसमान बहुलता n है जहाँ n ऐसा है कि 1 ≤ n ≤ ω यदि और केवल यदि A इकाई रूप से संकारक M के समतुल्य है<sub>''f''</sub> फलन f(λ) = λ द्वारा गुणन का | ||
: <math>L^2_\mu\left(\mathbf{R}, \mathbf{H}_n\right) = \left\{\psi: \mathbf{R} \to \mathbf{H}_n: \psi \mbox{ measurable and } \int_{\mathbf{R}} \|\psi(t)\|^2 d\mu(t) < \infty\right\}</math> | : <math>L^2_\mu\left(\mathbf{R}, \mathbf{H}_n\right) = \left\{\psi: \mathbf{R} \to \mathbf{H}_n: \psi \mbox{ measurable and } \int_{\mathbf{R}} \|\psi(t)\|^2 d\mu(t) < \infty\right\}</math> | ||
जहां एच<sub>''n''</sub> आयाम n का हिल्बर्ट स्थान है। एम का डोमेन<sub>''f''</sub> आर पर वेक्टर-मूल्य वाले फ़ंक्शन ψ | जहां एच<sub>''n''</sub> आयाम n का हिल्बर्ट स्थान है। एम का डोमेन<sub>''f''</sub> आर पर वेक्टर-मूल्य वाले फ़ंक्शन ψ सम्मिलित हैं जैसे कि | ||
: <math>\int_\mathbf{R} |\lambda|^2\ \|\psi(\lambda)\|^2 \, d\mu(\lambda) < \infty.</math> | : <math>\int_\mathbf{R} |\lambda|^2\ \|\psi(\lambda)\|^2 \, d\mu(\lambda) < \infty.</math> | ||
गैर-नकारात्मक गणनीय योगात्मक माप μ, ν परस्पर एकवचन हैं यदि और केवल यदि वे असंयुक्त बोरेल | गैर-नकारात्मक गणनीय योगात्मक माप μ, ν परस्पर एकवचन हैं यदि और केवल यदि वे असंयुक्त बोरेल समुच्चय पर समर्थित हैं। | ||
{{math theorem|math_statement=Let ''A'' be a self-adjoint operator on a ''separable'' Hilbert space ''H''. Then there is an ω sequence of countably additive finite measures on '''R''' (some of which may be identically 0) | {{math theorem|math_statement=Let ''A'' be a self-adjoint operator on a ''separable'' Hilbert space ''H''. Then there is an ω sequence of countably additive finite measures on '''R''' (some of which may be identically 0) | ||
Line 362: | Line 362: | ||
<math display="block">\bigoplus_{1 \leq \ell \leq \omega} L^2_{\mu_\ell} \left(\mathbf{R}, \mathbf{H}_\ell \right).</math>}} | <math display="block">\bigoplus_{1 \leq \ell \leq \omega} L^2_{\mu_\ell} \left(\mathbf{R}, \mathbf{H}_\ell \right).</math>}} | ||
यह प्रतिनिधित्व निम्नलिखित अर्थों में अद्वितीय है: समान ए के किन्हीं दो ऐसे निरूपणों के लिए, संबंधित माप इस अर्थ में समतुल्य हैं कि उनके पास माप 0 के समान | यह प्रतिनिधित्व निम्नलिखित अर्थों में अद्वितीय है: समान ए के किन्हीं दो ऐसे निरूपणों के लिए, संबंधित माप इस अर्थ में समतुल्य हैं कि उनके पास माप 0 के समान समुच्चय हैं। | ||
===प्रत्यक्ष समाकलन=== | ===प्रत्यक्ष समाकलन=== | ||
Line 370: | Line 370: | ||
<math display="block">\int_\mathbf{R}^\oplus H_\lambda\, d \mu(\lambda).</math>}} | <math display="block">\int_\mathbf{R}^\oplus H_\lambda\, d \mu(\lambda).</math>}} | ||
वर्णक्रमीय प्रमेय के गुणन-ऑपरेटर संस्करण के विपरीत, प्रत्यक्ष-अभिन्न संस्करण इस अर्थ में अद्वितीय है कि μ का माप तुल्यता वर्ग (या समकक्ष इसके माप 0 के | वर्णक्रमीय प्रमेय के गुणन-ऑपरेटर संस्करण के विपरीत, प्रत्यक्ष-अभिन्न संस्करण इस अर्थ में अद्वितीय है कि μ का माप तुल्यता वर्ग (या समकक्ष इसके माप 0 के समुच्चय ) विशिष्ट रूप से निर्धारित होता है और मापने योग्य कार्य होता है <math>\lambda\mapsto\mathrm{dim}(H_{\lambda})</math> μ के संबंध में लगभग हर स्थान निर्धारित किया जाता है।<ref>{{harvnb|Hall|2013}} Proposition 7.22</ref> कार्यक्रम <math>\lambda \mapsto \operatorname{dim}\left(H_\lambda\right)</math> ऑपरेटर का वर्णक्रमीय बहुलता फ़ंक्शन है। | ||
अब हम स्व-सहायक ऑपरेटरों के लिए वर्गीकरण परिणाम बता सकते हैं: दो स्व-सहायक ऑपरेटर इकाई रूप से समतुल्य हैं यदि और केवल यदि (1) उनके स्पेक्ट्रा | अब हम स्व-सहायक ऑपरेटरों के लिए वर्गीकरण परिणाम बता सकते हैं: दो स्व-सहायक ऑपरेटर इकाई रूप से समतुल्य हैं यदि और केवल यदि (1) उनके स्पेक्ट्रा समुच्चय के रूप में सहमत हैं, (2) उनके प्रत्यक्ष-अभिन्न प्रतिनिधित्व में दिखाई देने वाले उपायों के समान समुच्चय हैं माप शून्य का, और (3) उनके वर्णक्रमीय बहुलता कार्य प्रत्यक्ष अभिन्न में माप के संबंध में लगभग हर स्थान सहमत होते हैं।<ref>{{harvnb|Hall|2013}} Proposition 7.24</ref> | ||
Revision as of 15:45, 8 July 2023
गणित में, आंतरिक उत्पाद के साथ एक अनंत-आयामी जटिल वेक्टर स्थान वी पर एक स्व-सहायक संचालिका (समकक्ष, परिमित-आयामी मामले में एक हर्मिटियन ऑपरेटर) एक रैखिक मानचित्र ए (वी से स्वयं तक) है जो एक ऑपरेटर का अपना सहायक है। यदि V किसी दिए गए ऑर्थोनॉर्मल आधार के साथ परिमित-आयामी है, तो यह इस शर्त के बराबर है कि ए का आव्युह (गणित) एक हर्मिटियन आव्युह है, अर्थात , इसके संयुग्म स्थानान्तरण ए के बराबर है। '∗. परिमित-आयामी वर्णक्रमीय प्रमेय के अनुसार, वी का एक ऑर्थोनॉर्मल आधार है जैसे कि इस आधार के सापेक्ष ए का आव्युह वास्तविक संख्याओं में प्रविष्टियों के साथ एक विकर्ण आव्युह है। यह आलेख मनमाने आयाम के हिल्बर्ट स्थानों पर ऑपरेटरों के लिए इस अवधारणा के सामान्यीकरण को प्रयुक्त करने से संबंधित है।
स्व-सहायक ऑपरेटरों का उपयोग कार्यात्मक विश्लेषण और क्वांटम यांत्रिकी में किया जाता है। क्वांटम यांत्रिकी में उनका महत्व डिराक-वॉन न्यूमैन सिद्धांतों में निहित है | क्वांटम यांत्रिकी के डिराक-वॉन न्यूमैन सूत्रीकरण में, जिसमें भौतिक अवलोकन जैसे स्थिति (वेक्टर), गति, कोणीय गति और स्पिन (भौतिकी) को स्व-सहायक ऑपरेटरों द्वारा दर्शाया जाता है। हिल्बर्ट स्थान पर. हैमिल्टनियन (क्वांटम यांत्रिकी) ऑपरेटर का विशेष महत्व है द्वारा परिभाषित
जो एक अवलोकन योग्य के रूप में वास्तविक अदिश क्षमता V में द्रव्यमान m के एक कण की कुल ऊर्जा (भौतिकी) से मेल खाता है। विभेदक ऑपरेटर असीमित ऑपरेटरों का एक महत्वपूर्ण वर्ग हैं।
अनंत-आयामी हिल्बर्ट रिक्त स्थान पर स्व-सहायक ऑपरेटरों की संरचना अनिवार्य रूप से परिमित-आयामी मामले से मिलती जुलती है। कहने का तात्पर्य यह है कि, ऑपरेटर स्वयं-सहायक होते हैं यदि और केवल तभी जब वे वास्तविक-मूल्यवान गुणन ऑपरेटरों के समकक्ष एकात्मक ऑपरेटर हों। उपयुक्त संशोधनों के साथ, इस परिणाम को अनंत-आयामी स्थानों पर संभवतः असीमित ऑपरेटरों तक बढ़ाया जा सकता है। चूंकि हर स्थान परिभाषित स्व-सहायक ऑपरेटर आवश्यक रूप से बाध्य है, इसलिए किसी को असीमित मामले में डोमेन मुद्दे पर अधिक ध्यान देने की आवश्यकता है। इसे नीचे और अधिक विस्तार से बताया गया है।
परिभाषाएँ
होने देना सघन डोमेन वाला एक अनबाउंड ऑपरेटर (अर्थात् आवश्यक रूप से बाउंड नहीं) ऑपरेटर बनें यह स्थिति तब स्वतः ही धारण हो जाती है चूँकि यूक्लिडियन स्थान |परिमित-आयामी है परिमित-आयामी स्थान पर प्रत्येक रैखिक ऑपरेटर के लिए।
आंतरिक उत्पाद चलो दूसरे तर्क पर संयुग्म-रैखिक बनें। यह केवल जटिल हिल्बर्ट स्थानों पर प्रयुक्त होता है। परिभाषा के अनुसार, 'सहायक संचालिका' उपस्थान पर कार्य करता है तत्वों से मिलकर बना है जिसके लिए एक है ऐसा है कि हरएक के लिए समुच्चय िंग रैखिक ऑपरेटर को परिभाषित करता है एक (मनमाना) ऑपरेटर के फ़ंक्शन का ग्राफ़ समुच्चय है एक ऑपरेटर विस्तार करने के लिए कहा गया है यदि इस प्रकार लिखा गया है सघन रूप से परिभाषित ऑपरेटर सममित यदि कहा जाता है
सभी के लिए जैसा कि नीचे दिया गया है, सममित है यदि और केवल यदि असीमित सघन रूप से परिभाषित ऑपरेटर यदि स्व-सहायक कहा जाता है स्पष्ट रूप से, और प्रत्येक स्व-सहायक संचालिका सममित है। इसके विपरीत, एक सममित ऑपरेटर जिसके लिए स्वयं-संयुक्त है. भौतिकी में, हर्मिटियन शब्द सममिति के साथ-साथ स्वयं-सहायक संचालकों को समान रूप से संदर्भित करता है। दोनों के बीच के सूक्ष्म अंतर को सामान्यतः नजरअंदाज कर दिया जाता है।
उपसमुच्चय यदि प्रत्येक के लिए इसे रिसॉल्वेंट समुच्चय (या नियमित समुच्चय ) कहा जाता है (आवश्यक रूप से बाध्य नहीं) ऑपरेटर एक परिबद्ध सर्वत्र-परिभाषित व्युत्क्रम है। पूरक स्पेक्ट्रम (कार्यात्मक विश्लेषण) कहा जाता है। सीमित आयामों में, इसमें विशेष रूप से eigenvalues सम्मिलित हैं।
बाउंडेड सेल्फ-एडजॉइंट ऑपरेटर्स
एक बाउंडेड ऑपरेटर ए स्व-सहायक है यदि
सभी के लिए और एच में। यदि ए सममित है और , फिर, हेलिंगर-टोएप्लिट्ज़ प्रमेय द्वारा, ए आवश्यक रूप से परिबद्ध है।[1] हिल्बर्ट स्पेस पर प्रत्येक परिबद्ध रैखिक ऑपरेटर T : H → H को H के रूप में लिखा जा सकता है जहां A : H → H और B : H → H परिबद्ध स्व-सहायक संकारक हैं।[2]
परिबद्ध स्व-सहायक संचालकों के गुण
मान लीजिए H एक हिल्बर्ट स्थान है और मान लीजिए एक परिबद्ध स्व-सहायक रैखिक संचालिका पर परिभाषित किया गया हो .
- सभी के लिए वास्तविक है .[3]
- [3] यदि * यदि A की छवि, द्वारा निरूपित की जाती है , तब H में सघन है उलटा है.
- A के eigenvalues वास्तविक हैं और विभिन्न eigenvalues से संबंधित eigenvectors ऑर्थोगोनल हैं।[3]
- यदि तब A का एक eigenvalue है ; विशेष रूप से, .[3]
- यदि परिबद्ध स्व-सहायक रैखिक ऑपरेटरों का अनुक्रम अभिसरण है तो सीमा स्व-सहायक है।[2]
- वहाँ एक संख्या उपस्थित है , दोनों में से किसी एक के बराबर या , और एक क्रम ऐसा है कि और सबके लिए मैं[4]
सममित ऑपरेटर
नोट: सममित ऑपरेटरों को ऊपर परिभाषित किया गया है।
A सममित है ⇔ A⊆A*
एक असीमित, सघन रूप से परिभाषित ऑपरेटर सममित है यदि और केवल यदि दरअसल, यदि-भाग सीधे सहायक ऑपरेटर की परिभाषा से अनुसरण करता है। केवल-यदि-भाग के लिए, यह मानते हुए सममित है, समावेशन से अनुसरण करता है कॉची-बुन्याकोवस्की-श्वार्ज़ असमानता: प्रत्येक के लिए
समानता समानता के कारण धारण करता है
हरएक के लिए का घनत्व और आंतरिक उत्पाद का गैर-विक्षिप्त होना।
हेलिंगर-टोएप्लिट्ज़ प्रमेय कहता है कि हर स्थान परिभाषित सममित ऑपरेटर परिबद्ध और स्व-सहायक है।
A सममित है ⇔ ∀x ⟨Ax, x⟩ ∈ R
एकमात्र-यदि भाग सीधे परिभाषा से अनुसरण करता है (ऊपर देखें)। यदि-भाग को सिद्ध करने के लिए, व्यापकता की हानि के बिना मान लें कि आंतरिक उत्पाद पहले तर्क पर एंटी-रैखिक और दूसरे पर रैखिक है। (विपरीत परिदृश्य में, हम साथ काम करते हैं बजाय)। की समरूपता ध्रुवीकरण पहचान से अनुसरण करता है
जो हर किसी के लिए है
||(A−λ)x|| ≥ d(λ)⋅||x||
इस संपत्ति का उपयोग इस प्रमाण में किया जाता है कि स्व-सहायक ऑपरेटर का स्पेक्ट्रम वास्तविक है।
परिभाषित करना और मूल्य तब से ठीक से परिभाषित हैं और समरूपता के कारण. फिर, प्रत्येक के लिए और हर
कहाँ वास्तव में, चलो कॉची-श्वार्ज़ असमानता द्वारा,
यदि तब और नीचे बाउंडेड कहा जाता है.
एक सरल उदाहरण
जैसा कि ऊपर उल्लेख किया गया है, वर्णक्रमीय प्रमेय केवल स्व-सहायक ऑपरेटरों पर प्रयुक्त होता है, और सामान्य रूप से सममित ऑपरेटरों पर नहीं। फिर भी, इस बिंदु पर हम एक सममित ऑपरेटर का एक सरल उदाहरण दे सकते हैं जिसमें आइजेनवेक्टरों का एक लंबात्मक आधार होता है। (यह ऑपरेटर वास्तव में अनिवार्य रूप से स्व-सहायक है।) नीचे दिए गए ऑपरेटर ए को हिल्बर्ट स्पेस व्युत्क्रम पर एक कॉम्पैक्ट ऑपरेटर के रूप में देखा जा सकता है, जिसका अर्थ है कि संबंधित अंतर समीकरण एएफ = जी को कुछ अभिन्न (और इसलिए कॉम्पैक्ट) ऑपरेटर जी द्वारा हल किया जाता है। कॉम्पैक्ट सममित ऑपरेटर G के पास eigenvectors का एक गणनीय परिवार होता है जो पूर्ण होते हैं L2. ए के लिए भी यही कहा जा सकता है।
जटिल हिल्बर्ट स्पेस एल पर विचार करें2[0,1] और डिफरेंशियल ऑपरेटर
साथ सीमा शर्तों को संतुष्ट करने वाले [0, 1] पर सभी जटिल-मूल्य वाले असीम रूप से भिन्न फ़ंक्शन फ़ंक्शन f से युक्त
फिर आंतरिक उत्पाद के कुछ हिस्सों द्वारा एकीकरण से पता चलता है कि ए सममित है। पाठक को दो बार भागों द्वारा एकीकरण करने और दी गई सीमा शर्तों को सत्यापित करने के लिए आमंत्रित किया जाता है सुनिश्चित करें कि भागों द्वारा एकीकरण में सीमा शर्तें गायब हो जाएं।
A के eigenfunctions साइनसॉइड हैं
वास्तविक eigenvalues n के साथ2प2; साइन फ़ंक्शंस की प्रसिद्ध ऑर्थोगोनैलिटी सममित होने की संपत्ति के परिणामस्वरूप होती है।
हम नीचे इस ऑपरेटर के सामान्यीकरण पर विचार करते हैं।
स्व-सहायक ऑपरेटरों का स्पेक्ट्रम
होने देना एक असीमित सममित ऑपरेटर बनें। स्व-सहायक है यदि और केवल यदि
Let be self-adjoint. Self-adjoint operators are symmetric. The initial steps of this proof are carried out based on the symmetry alone. Self-adjointness of is not used directly until step 1b(i). Let Denote Using the notations from the section on symmetric operators (see above), it suffices to prove that
- Let The goal is to prove the existence and boundedness of the inverted resolvent operator and show that We begin by showing that and
- As shown above, is bounded below, i.e. with The triviality of follows.
- It remains to show that Indeed,
- is closed. To prove this, pick a sequence converging to some Since is fundamental. Hence, it converges to some Furthermore, and One should emphasize that the arguments made thus far hold for any symmetric but not necessarily self-adjoint operator. It now follows from self-adjointness that is closed, so and consequently Finally,
- is dense in Indeed, the article about Adjoint operator points out that From self-adjointness of (i.e. , Since the inclusion implies that and consequently,
- is closed. To prove this, pick a sequence converging to some Since
- The operator has now been proven to be bijective, so the set-theoretic inverse exists and is everywhere defined. The graph of is the set Since is closed (because is), so is By closed graph theorem, is bounded, so
- By assumption, is symmetric; therefore For every Let (These constants are defined in the section on symmetic operators above). If then Since and are not in the spectrum, the operators are bijective. Moreover,
- Indeed, If one had then would not be injective, i.e. one would have As discussed in the article about Adjoint operator, and, hence, This contradicts the bijectiveness.
- The equality shows that i.e. is self-adjoint. Indeed, it suffices to prove that For every and
आवश्यक आत्मसंयोजन
एक सममित ऑपरेटर ए सदैव बंद करने योग्य ऑपरेटर होता है; अर्थात्, A के ग्राफ़ का बंद होना एक ऑपरेटर का ग्राफ़ है। एक सममित ऑपरेटर ए को 'अनिवार्य रूप से स्व-सहायक' कहा जाता है यदि ए का समापन स्व-सहायक है। समान रूप से, ए अनिवार्य रूप से स्व-सहायक है यदि इसमें एक अद्वितीय स्व-सहायक विस्तार है। व्यावहारिक रूप से, अनिवार्य रूप से स्व-सहायक ऑपरेटर का होना स्व-सहायक ऑपरेटर के समान ही अच्छा है, क्योंकि स्व-सहायक ऑपरेटर को प्राप्त करने के लिए हमें केवल क्लोजर लेने की आवश्यकता होती है।
उदाहरण: f(x) → x·f(x)
जटिल हिल्बर्ट स्पेस एल पर विचार करें2(R), और ऑपरेटर जो किसी दिए गए फ़ंक्शन को x से गुणा करता है:
A का डोमेन सभी L का स्थान है2कार्य जिसके लिए वर्ग-अभिन्न भी है। तब A स्व-संयुक्त है।[5] दूसरी ओर, A का कोई eigenfunction नहीं है। (अधिक स्पष्ट रूप से, ए के पास कोई सामान्यीकरण योग्य ईजेनवेक्टर नहीं है, अर्थात , ईजेनवेक्टर जो वास्तव में हिल्बर्ट स्पेस में हैं जिस पर ए परिभाषित है।)
जैसा कि हम बाद में देखेंगे, स्व-सहायक ऑपरेटरों के पास बहुत महत्वपूर्ण वर्णक्रमीय गुण होते हैं; वे वास्तव में सामान्य माप स्थानों पर गुणन संचालिका हैं।
सममित बनाम स्व-सहायक ऑपरेटर
जैसा कि ऊपर चर्चा की गई है, चूंकि एक सममित ऑपरेटर और एक स्व-सहायक (या अनिवार्य रूप से स्व-सहायक) ऑपरेटर के बीच अंतर एक सूक्ष्म है, यह महत्वपूर्ण है क्योंकि वर्णक्रमीय प्रमेय में स्व-संयुक्तता परिकल्पना है। यहां हम भेद के कुछ ठोस उदाहरणों पर चर्चा करते हैं; सामान्य सिद्धांत के लिए सममित ऑपरेटरों के विस्तार पर नीचे दिया गया अनुभाग देखें।
डोमेन के संबंध में एक नोट
प्रत्येक स्व-सहायक संचालिका सममित है। इसके विपरीत, प्रत्येक सममित ऑपरेटर जिसके लिए स्वयं-संयुक्त है. जिसके लिए सममित ऑपरेटर से सख्ती से बड़ा है स्व-संगठित नहीं हो सकता.
सीमा स्थितियाँ
ऐसे मामले में जहां हिल्बर्ट स्पेस एक बंधे हुए डोमेन पर कार्यों का एक स्थान है, इन भेदों का क्वांटम भौतिकी में एक परिचित मुद्दे से लेना-देना है: कोई एक ऑपरेटर को परिभाषित नहीं कर सकता है - जैसे कि गति या हैमिल्टनियन ऑपरेटर - निर्दिष्ट किए बिना एक बंधे हुए डोमेन पर सीमा की स्थिति। गणितीय शब्दों में, सीमा शर्तों को चुनने का कारण ऑपरेटर के लिए एक उपयुक्त डोमेन चुनना है। उदाहरण के लिए, हिल्बर्ट स्थान पर विचार करें (अंतराल [0,1] पर वर्ग-अभिन्न कार्यों का स्थान)। आइए हम इस स्थान पर सामान्य सूत्र द्वारा एक गति ऑपरेटर ए को परिभाषित करें, प्लैंक के स्थिरांक को 1 के बराबर समुच्चय करें:
अब हमें ए के लिए एक डोमेन निर्दिष्ट करना होगा, जो सीमा शर्तों को चुनने के बराबर है। यदि हम चुनते हैं
तब A सममित नहीं है (क्योंकि भागों द्वारा एकीकरण में सीमा शब्द लुप्त नहीं होते हैं)।
यदि हम चुनते हैं
फिर भागों द्वारा एकीकरण का उपयोग करके, कोई आसानी से सत्यापित कर सकता है कि ए सममित है। यह ऑपरेटर मूलतः स्व-सहायक नहीं है,[6] चूंकि , मूल रूप से क्योंकि हमने A के डोमेन पर बहुत अधिक सीमा शर्तें निर्दिष्ट की हैं, जो आसन्न के डोमेन को बहुत बड़ा बनाता है। (इस उदाहरण की चर्चा नीचे उदाहरण अनुभाग में भी की गई है।)
विशेष रूप से, ए के लिए डोमेन के उपरोक्त विकल्प के साथ, समापन का डोमेन का A है
जबकि adjoint का डोमेन का A है
कहने का तात्पर्य यह है कि, क्लोजर के डोमेन में ए के डोमेन के समान ही सीमा शर्तें हैं, बस एक कम कठोर सहजता धारणा है। इस बीच, चूंकि ए पर बहुत अधिक सीमा शर्तें हैं, इसलिए बहुत कम (वास्तव में, इस मामले में कोई भी नहीं) हैं . यदि हम गणना करें के लिए भागों द्वारा एकीकरण का उपयोग करना, तब से अंतराल के दोनों सिरों पर गायब हो जाता है, कोई सीमा स्थिति नहीं होती भागों द्वारा एकीकरण में सीमा शर्तों को रद्द करने की आवश्यकता है। इस प्रकार, कोई भी पर्याप्त रूप से सुचारू कार्य के क्षेत्र में है , साथ .[7] चूंकि समापन का डोमेन और एडजॉइंट का डोमेन सहमत नहीं है, ए अनिवार्य रूप से स्व-सहायक नहीं है। आख़िरकार, एक सामान्य परिणाम कहता है कि जोड़ का डोमेन ए के जोड़ के डोमेन के समान है। इस प्रकार, इस मामले में, के जोड़ का डोमेन के डोमेन से बड़ा है स्वयं, वह दिखा रहा है स्व-सहायक नहीं है, जिसका परिभाषा के अनुसार अर्थ यह है कि A मूलतः स्व-सहायक नहीं है।
पिछले उदाहरण के साथ समस्या यह है कि हमने ए के डोमेन पर बहुत अधिक सीमा शर्तें लगा दी हैं। डोमेन का एक उत्तम विकल्प आवधिक सीमा शर्तों का उपयोग करना होगा:
इस डोमेन के साथ, ए अनिवार्य रूप से स्व-संयुक्त है।[8] इस मामले में, हम वर्णक्रमीय प्रमेय के लिए डोमेन मुद्दों के निहितार्थ को समझ सकते हैं। यदि हम डोमेन की पहली पसंद (बिना किसी सीमा शर्तों के) का उपयोग करते हैं, तो सभी फ़ंक्शन के लिए eigenvalues के साथ eigenvectors हैं , और इसलिए स्पेक्ट्रम संपूर्ण जटिल विमान है। यदि हम डोमेन की दूसरी पसंद (डिरिचलेट सीमा शर्तों के साथ) का उपयोग करते हैं, तो ए के पास कोई भी आइजनवेक्टर नहीं है। यदि हम डोमेन की तीसरी पसंद (आवधिक सीमा शर्तों के साथ) का उपयोग करते हैं, तो हम ए के लिए ईजेनवेक्टरों का एक ऑर्थोनॉर्मल आधार पा सकते हैं, फ़ंक्शन . इस प्रकार, इस मामले में ऐसा डोमेन खोजना कि A स्व-संयुक्त हो, एक समझौता है: डोमेन इतना छोटा होना चाहिए कि A सममित हो, किन्तु इतना बड़ा हो कि .
एकवचन क्षमता वाले श्रोडिंगर ऑपरेटर
सममित और (अनिवार्य रूप से) स्व-सहायक ऑपरेटरों के बीच अंतर का एक अधिक सूक्ष्म उदाहरण क्वांटम यांत्रिकी में श्रोडिंगर समीकरण | श्रोडिंगर ऑपरेटरों से आता है। यदि संभावित ऊर्जा एकवचन है - विशेष रूप से यदि क्षमता नीचे असीमित है - तो संबंधित श्रोडिंगर ऑपरेटर अनिवार्य रूप से स्व-सहायक होने में विफल हो सकता है। एक आयाम में, उदाहरण के लिए, ऑपरेटर
सुचारू, तेजी से क्षय होने वाले कार्यों के स्थान पर अनिवार्य रूप से स्व-सहायक नहीं है।[9] इस मामले में, आवश्यक स्व-संयुक्तता की विफलता अंतर्निहित मौलिक प्रणाली में एक विकृति को दर्शाती है: एक मौलिक कण संभावित परिमित समय में अनंत तक पलायन कर जाता है। इस ऑपरेटर के पास एक अद्वितीय स्व-सहायक नहीं है, किन्तु यह अनंत पर सीमा शर्तों को निर्दिष्ट करके प्राप्त स्व-सहायक एक्सटेंशन को स्वीकार करता है। (तब से एक वास्तविक ऑपरेटर है, यह जटिल संयुग्मन के साथ आवागमन करता है। इस प्रकार, कमी सूचकांक स्वचालित रूप से बराबर होते हैं, जो स्व-सहायक विस्तार होने की शर्त है। नीचे सममित ऑपरेटरों के विस्तार की चर्चा देखें।)
इस मामले में, यदि हम प्रारंभ में परिभाषित करते हैं सुचारू, तेजी से क्षय होने वाले कार्यों के स्थान पर, सहायक एक ही ऑपरेटर होगा (अर्थात , एक ही सूत्र द्वारा दिया गया) किन्तु सबसे बड़े संभावित डोमेन पर, अर्थात्
तभी यह दिखाना संभव है एक सममित ऑपरेटर नहीं है, जो निश्चित रूप से इसका तात्पर्य है मूलतः स्व-संयुक्त नहीं है। वास्तव में, शुद्ध काल्पनिक eigenvalues के साथ eigenvectors हैं,[10][11] जो एक सममित ऑपरेटर के लिए असंभव है। यह अजीब घटना दो शब्दों के बीच रद्दीकरण के कारण संभव है : कार्य हैं के क्षेत्र में जिसके लिए न तो और न अलग से है , किन्तु उनका संयोजन घटित होता है में है . यह अनुमति देता है दोनों के होते हुए भी असममित होना और सममित ऑपरेटर हैं. यदि हम प्रतिकारक क्षमता को प्रतिस्थापित कर देते हैं तो इस प्रकार का रद्दीकरण नहीं होता है सीमित क्षमता के साथ .
श्रोडिंगर ऑपरेटरों के लिए स्व-सहायक या अनिवार्य रूप से स्व-सहायक होने की शर्तें विभिन्न पाठ्यपुस्तकों में पाई जा सकती हैं, जैसे कि बेरेज़िन और शुबिन, हॉल, और रीड और साइमन द्वारा संदर्भ में सूचीबद्ध।
वर्णक्रमीय प्रमेय
भौतिकी साहित्य में, वर्णक्रमीय प्रमेय को अधिकांशतः यह कहकर कहा जाता है कि एक स्व-सहायक ऑपरेटर के पास ईजेनवेक्टरों का एक ऑर्थोनॉर्मल आधार होता है। चूंकि , भौतिक विज्ञानी सतत स्पेक्ट्रम की घटना से अच्छी तरह परिचित हैं; इस प्रकार, जब वे ऑर्थोनॉर्मल आधार की बात करते हैं तो उनका कारण या तो क्लासिक अर्थ में ऑर्थोनॉर्मल आधार या उसके कुछ निरंतर एनालॉग से होता है। संवेग संचालक के मामले में उदाहरण के लिए, भौतिक विज्ञानी कहेंगे कि आइजनवेक्टर कार्य हैं , जो स्पष्ट रूप से हिल्बर्ट स्थान में नहीं हैं . (भौतिक विज्ञानी कहेंगे कि आइजनवेक्टर गैर-सामान्यीकरण योग्य हैं।) फिर भौतिक विज्ञानी यह कहेंगे कि ये आइजनवेक्टर निरंतर अर्थ में ऑर्थोनॉर्मल हैं, जहां सामान्य क्रोनकर डेल्टा होता है एक डिराक डेल्टा फ़ंक्शन द्वारा प्रतिस्थापित किया गया है .
यद्यपि ये कथन गणितज्ञों को निराशाजनक लग सकते हैं, फूरियर ट्रांसफॉर्म के उपयोग से इन्हें कठोर बनाया जा सकता है, जो एक सामान्य की अनुमति देता है फ़ंक्शन को फ़ंक्शन के सुपरपोज़िशन (अर्थात , अभिन्न) के रूप में व्यक्त किया जाना है , तथापि ये फ़ंक्शन अंदर नहीं हैं . फूरियर रूपांतरण गति ऑपरेटर को विकर्णित करता है; अर्थात्, यह इसे गुणन के संचालिका में परिवर्तित कर देता है , कहाँ फूरियर रूपांतरण का चर है।
सामान्यतः वर्णक्रमीय प्रमेय को उसी तरह व्यक्त किया जा सकता है जैसे किसी ऑपरेटर को विकर्णित करने की संभावना यह दिखाकर कि यह इकाई रूप से गुणन ऑपरेटर के बराबर है। वर्णक्रमीय प्रमेय के अन्य संस्करणों का उद्देश्य इसी तरह इस विचार को पकड़ना है कि एक स्व-सहायक ऑपरेटर के पास ऐसे आइजेनवेक्टर हो सकते हैं जो वास्तव में हिल्बर्ट स्थान में नहीं हैं।
वर्णक्रमीय प्रमेय का कथन
हिल्बर्ट स्थानों पर आंशिक रूप से परिभाषित ऑपरेटर ए, बी, एच, के 'एकात्मक रूप से समतुल्य' हैं यदि और केवल यदि कोई एकात्मक परिवर्तन होता है यू: एच → के जैसे कि
- यू डोम ए को विशेष रूप से डोम बी पर मैप करता है,
एक गुणन संचालिका को इस प्रकार परिभाषित किया गया है: मान लीजिए (X, Σ, μ) एक गणनीय योगात्मक माप स्थान है और f X पर एक वास्तविक-मूल्य मापन योग्य फ़ंक्शन है। एक संचालिका रूप का
जिसका डोमेन ψ का स्थान है जिसके लिए ऊपर दाहिना भाग L में है2 को गुणन संकारक कहा जाता है।
वर्णक्रमीय प्रमेय का एक संस्करण इस प्रकार बताया जा सकता है।
वर्णक्रमीय प्रमेय के अन्य संस्करण ऊपर से जुड़े वर्णक्रमीय प्रमेय लेख में पाए जा सकते हैं।
असंबद्ध स्व-सहायक ऑपरेटरों के लिए वर्णक्रमीय प्रमेय को एकात्मक (इसलिए बंधे हुए) ऑपरेटरों के लिए वर्णक्रमीय प्रमेय में कमी करके सिद्ध किया जा सकता है।[12] यह कमी स्व-सहायक ऑपरेटरों के लिए केली परिवर्तन का उपयोग करती है जिसे अगले भाग में परिभाषित किया गया है। हम ध्यान दे सकते हैं कि यदि T को f से गुणा किया जाता है, तो T का स्पेक्ट्रम केवल f की आवश्यक सीमा है।
कार्यात्मक कलन
वर्णक्रमीय प्रमेय का एक महत्वपूर्ण अनुप्रयोग बोरेल कार्यात्मक कैलकुलस को परिभाषित करना है। कहने का तात्पर्य यह है कि यदि वास्तविक लाइन पर एक फ़ंक्शन है और एक स्व-सहायक ऑपरेटर है, हम ऑपरेटर को परिभाषित करना चाहते हैं . यदि eigenvectors का वास्तविक लंबन आधार है eigenvalues के साथ , तब eigenvectors वाला ऑपरेटर है और eigenvalues . कार्यात्मक कैलकुलस का लक्ष्य इस विचार को उस मामले तक विस्तारित करना है जहां निरंतर स्पेक्ट्रम है.
क्वांटम भौतिकी में इस मामले का विशेष महत्व है हैमिल्टनियन ऑपरेटर है और एक घातीय है. इस मामले में, कार्यात्मक कैलकुलस को हमें ऑपरेटर को परिभाषित करने की अनुमति देनी चाहिए
जो क्वांटम यांत्रिकी में समय-विकास को परिभाषित करने वाला ऑपरेटर है।
द्वारा गुणन के संचालक के रूप में T का प्रतिनिधित्व दिया गया है - जैसा कि वर्णक्रमीय प्रमेय द्वारा गारंटी दी गई है - कार्यात्मक कैलकुलस को चिह्नित करना आसान है: यदि एच 'आर' पर एक घिरा हुआ वास्तविक-मूल्यवान बोरेल फ़ंक्शन है, तो एच (टी) संरचना द्वारा गुणन का ऑपरेटर है .
पहचान का संकल्प
निम्नलिखित संकेतन को प्रस्तुत करने की प्रथा रही है
कहाँ अंतराल का विशिष्ट कार्य (सूचक कार्य) है . प्रक्षेपण ऑपरेटरों का परिवार ईT(λ) को T के लिए पहचान का संकल्प कहा जाता है। इसके अतिरिक्त , टी के लिए निम्नलिखित स्टिल्टजेस अभिन्न प्रतिनिधित्व को सिद्ध किया जा सकता है:
उपरोक्त ऑपरेटर इंटीग्रल की परिभाषा को अशक्त ऑपरेटर टोपोलॉजी का उपयोग करके स्केलर मूल्य वाले स्टिल्टजेस इंटीग्रल तक कम किया जा सकता है। चूंकि , अधिक आधुनिक उपचारों में, इस प्रतिनिधित्व को सामान्यतः टाला जाता है, क्योंकि अधिकांश तकनीकी समस्याओं को कार्यात्मक कैलकुलस द्वारा निपटाया जा सकता है।
भौतिकी साहित्य में निरूपण
भौतिकी में, विशेष रूप से क्वांटम यांत्रिकी में, वर्णक्रमीय प्रमेय को इस तरह से व्यक्त किया जाता है जो ऊपर बताए गए वर्णक्रमीय प्रमेय और डिराक संकेतन का उपयोग करके बोरेल कार्यात्मक कैलकुलस को जोड़ता है:
यदि H स्व-सहायक है और f एक बोरेल फ़ंक्शन है,
साथ
जहां इंटीग्रल एच के पूरे स्पेक्ट्रम पर चलता है। नोटेशन से पता चलता है कि एच को ईजेनवेक्टर्स द्वारा विकर्ण किया गया है।E. ऐसा अंकन पूर्णतः औपचारिक गणना है। डिराक के अंकन और पिछले अनुभाग के बीच समानता देखी जा सकती है। पहचान का संकल्प (कभी-कभी प्रक्षेपण मूल्य माप भी कहा जाता है) औपचारिक रूप से रैंक -1 अनुमान जैसा दिखता है . डिराक नोटेशन में, (प्रोजेक्टिव) मापों को eigenvalues और eigenstates, दोनों विशुद्ध रूप से औपचारिक वस्तुओं के माध्यम से वर्णित किया गया है। जैसा कि कोई उम्मीद कर सकता है, यह पहचान के समाधान के पारित होने से बच नहीं पाता है। बाद के सूत्रीकरण में, वर्णक्रमीय माप का उपयोग करके माप का वर्णन किया गया है , यदि प्रणाली तैयार है माप से पहले. वैकल्पिक रूप से, यदि कोई ईजेनस्टेट्स की धारणा को संरक्षित करना चाहता है और इसे केवल औपचारिक के अतिरिक्त कठोर बनाना चाहता है, तो वह राज्य स्थान को उपयुक्त धांधली हिल्बर्ट स्थान से बदल सकता है।
यदि f = 1, प्रमेय को एकता के संकल्प के रूप में जाना जाता है:
यदि एक हर्मिटियन एच और एक तिरछा-हर्मिटियन (तिरछा-हर्मिटियन आव्युह देखें) ऑपरेटर का योग है , एक बायोर्थोगोनल प्रणाली आधार समुच्चय को परिभाषित करता है
और वर्णक्रमीय प्रमेय को इस प्रकार लिखें:
(उस संदर्भ के लिए फ़ेशबैक-फ़ानो विभाजन विधि देखें जहां ऐसे ऑपरेटर प्रकीर्णन सिद्धांत में दिखाई देते हैं)।
सममित ऑपरेटरों का विस्तार
निम्नलिखित प्रश्न कई संदर्भों में उठता है: यदि हिल्बर्ट स्पेस एच पर एक ऑपरेटर ए सममित है, तो इसमें स्व-सहायक एक्सटेंशन कब होते हैं? एक ऑपरेटर जिसके पास एक अद्वितीय स्व-सहायक विस्तार होता है, उसे 'अनिवार्य रूप से स्व-सहायक' कहा जाता है; समान रूप से, एक ऑपरेटर अनिवार्य रूप से स्व-सहायक होता है यदि उसका समापन (वह ऑपरेटर जिसका ग्राफ ए के ग्राफ का समापन है) स्व-सहायक है। सामान्यतः , एक सममित ऑपरेटर के पास कई स्व-सहायक एक्सटेंशन हो सकते हैं या कोई भी नहीं हो सकता है। इस प्रकार, हम इसके स्व-संयुक्त विस्तारों का वर्गीकरण चाहेंगे।
आवश्यक आत्म-संबद्धता के लिए पहला मूलभूत मानदंड निम्नलिखित है:[13]
Theorem — If A is a symmetric operator on H, then A is essentially self-adjoint if and only if the range of the operators and are dense in H.
समान रूप से, ए अनिवार्य रूप से स्व-सहायक है यदि और केवल यदि ऑपरेटर और तुच्छ गुठलियाँ हैं.[14] कहने का तात्पर्य यह है कि, A स्व-संयुक्त होने में विफल रहता है यदि और केवल यदि eigenvalue के साथ eigenvector है या .
इस मुद्दे को देखने का एक अन्य विधि स्व-सहायक ऑपरेटर के केली रूपांतरण और कमी सूचकांक द्वारा प्रदान किया गया है। (बंद ऑपरेटरों से निपटना अधिकांशतः तकनीकी सुविधा होती है। सममित मामले में, बंद होने की आवश्यकता कोई बाधा उत्पन्न नहीं करती है, क्योंकि यह ज्ञात है कि सभी सममित ऑपरेटर बंद करने योग्य ऑपरेटर हैं।)
Theorem — Suppose A is a symmetric operator. Then there is a unique partially defined linear operator
यहां, ran और dom क्रमशः छवि (गणित) (दूसरे शब्दों में, रेंज) और किसी फ़ंक्शन के डोमेन को दर्शाते हैं। W(A) अपने डोमेन पर आइसोमेट्री है। इसके अतिरिक्त , 1 − W(A) की सीमा H में सघन समुच्चय है।
इसके विपरीत, किसी भी आंशिक रूप से परिभाषित ऑपरेटर यू को देखते हुए जो अपने डोमेन पर आइसोमेट्रिक है (जो आवश्यक रूप से बंद नहीं है) और ऐसा है कि 1 - यू सघन है, एक (अद्वितीय) ऑपरेटर एस (यू) है
ऐसा है कि
ऑपरेटर S(U) सघन रूप से परिभाषित और सममित है।
मैपिंग W और S एक दूसरे के व्युत्क्रम हैं।
मैपिंग डब्ल्यू को केली ट्रांसफॉर्म कहा जाता है। यह आंशिक आइसोमेट्री को किसी भी सममित सघन रूप से परिभाषित ऑपरेटर से जोड़ता है। ध्यान दें कि मैपिंग डब्ल्यू और एस मोनोटोन अभिसरण प्रमेय हैं: इसका कारण है कि यदि बी एक सममित ऑपरेटर है जो सघन रूप से परिभाषित सममित ऑपरेटर ए का विस्तार करता है, तो डब्ल्यू(बी) डब्ल्यू का विस्तार करता है( ए), और इसी तरह एस के लिए।
Theorem — A necessary and sufficient condition for A to be self-adjoint is that its Cayley transform W(A) be unitary.
यह तुरंत हमें ए के लिए स्व-संयुक्त विस्तार के लिए एक आवश्यक और पर्याप्त शर्त देता है, जो इस प्रकार है:
Theorem — A necessary and sufficient condition for A to have a self-adjoint extension is that W(A) have a unitary extension.
हिल्बर्ट स्पेस एच पर आंशिक रूप से परिभाषित आइसोमेट्रिक ऑपरेटर वी में डोम (वी) के मानक समापन के लिए एक अद्वितीय आइसोमेट्रिक विस्तार है। बंद डोमेन वाले आंशिक रूप से परिभाषित आइसोमेट्रिक ऑपरेटर को आंशिक आइसोमेट्री कहा जाता है।
आंशिक आइसोमेट्री वी को देखते हुए, वी के 'कमी सूचकांक' को डोमेन और रेंज के ऑर्थोगोनल पूरक के आयाम के रूप में परिभाषित किया गया है:
हम देखते हैं कि एक ऑपरेटर के सममित विस्तार और उसके केली ट्रांसफॉर्म के आइसोमेट्रिक विस्तार के बीच एक आपत्ति है। सममितीय विस्तार स्व-सहायक है यदि और केवल यदि संबंधित सममितीय विस्तार एकात्मक है।
एक सममित ऑपरेटर के पास एक अद्वितीय स्व-सहायक विस्तार होता है यदि और केवल तभी जब इसके दोनों कमी सूचकांक शून्य हों। ऐसे ऑपरेटर को अनिवार्य रूप से स्व-सहायक कहा जाता है। सममित ऑपरेटर जो अनिवार्य रूप से स्व-सहायक नहीं हैं, उनके पास अभी भी एक विहित रूप स्व-सहायक विस्तार हो सकता है। गैर-नकारात्मक सममित ऑपरेटरों (या अधिक सामान्यतः, ऑपरेटर जो नीचे परिबद्ध हैं) के मामले में ऐसा ही है। इन ऑपरेटरों के पास सदैव एक विहित रूप से परिभाषित फ्रेडरिक का विस्तार होता है और इन ऑपरेटरों के लिए हम एक विहित कार्यात्मक कलन को परिभाषित कर सकते हैं। विश्लेषण में आने वाले कई ऑपरेटर नीचे दिए गए हैं (जैसे कि लाप्लासियन ऑपरेटर का नकारात्मक), इसलिए इन ऑपरेटरों के लिए आवश्यक जुड़ाव का उद्देश्य कम महत्वपूर्ण है।
क्वांटम यांत्रिकी में स्व-सहायक विस्तार
क्वांटम यांत्रिकी में, अवलोकन योग्य वस्तुएं स्व-सहायक ऑपरेटरों के अनुरूप होती हैं। एक-पैरामीटर एकात्मक समूहों पर स्टोन के प्रमेय के अनुसार, स्व-सहायक ऑपरेटर समय विकास ऑपरेटरों के एकात्मक समूहों के बिल्कुल छोटे जनरेटर हैं। चूंकि , कई भौतिक समस्याओं को समय-विकास समीकरण के रूप में तैयार किया जाता है जिसमें अंतर ऑपरेटर सम्मिलित होते हैं जिसके लिए हैमिल्टनियन केवल सममित होता है। ऐसे स्थितियों में, या तो हैमिल्टनियन अनिवार्य रूप से स्व-सहायक है, इस मामले में भौतिक समस्या के अद्वितीय समाधान हैं या कोई व्यक्ति विभिन्न प्रकार की सीमा स्थितियों या अनंत पर स्थितियों के अनुरूप हैमिल्टनियन के स्व-सहायक विस्तार को खोजने का प्रयास करता है।
उदाहरण। क्षमता के साथ एक-आयामी श्रोडिंगर ऑपरेटर , प्रारंभ में सुचारु रूप से समर्थित कार्यों पर परिभाषित, अनिवार्य रूप से स्व-सहायक है (अर्थात, इसमें स्व-सहायक समापन है) 0 < α ≤ 2 किन्तु के लिए नहीं α > 2. बेरेज़िन और शुबिन, पृष्ठ 55 और 86, या हॉल में खंड 9.10 देखें।
के लिए आवश्यक स्वसंबद्धता की विफलता क्षमता वाले कण की मौलिक गतिशीलता में एक समकक्ष है : मौलिक कण सीमित समय में अनंत तक भाग जाता है।[15] उदाहरण। अर्ध-रेखा पर गतिमान कण के लिए कोई स्व-सहायक संवेग संचालक p नहीं है। फिर भी, हैमिल्टनियन अर्ध-रेखा पर एक मुक्त कण के विभिन्न प्रकार की सीमा स्थितियों के अनुरूप कई स्व-संयुक्त विस्तार होते हैं। भौतिक रूप से, ये सीमा स्थितियाँ मूल में कण के प्रतिबिंब से संबंधित हैं (रीड और साइमन, खंड 2 देखें)।
वॉन न्यूमैन के सूत्र
मान लीजिए A सममित रूप से सघन रूप से परिभाषित है। फिर A का कोई भी सममित विस्तार A* का प्रतिबंध है। वास्तव में, A ⊆ B और B सममिति dom(A*) की परिभाषा को प्रयुक्त करने से B ⊆ A* प्राप्त होता है।
Theorem — Suppose A is a densely defined symmetric operator. Let
इन्हें अख़िएज़र और ग्लेज़मैन संदर्भ में वॉन न्यूमैन के सूत्रों के रूप में जाना जाता है।
उदाहरण
एक सममित ऑपरेटर जो अनिवार्य रूप से स्व-सहायक नहीं है
हम सबसे पहले हिल्बर्ट स्थान पर विचार करते हैं और विभेदक ऑपरेटर
सीमा शर्तों को संतुष्ट करते हुए, [0,1] पर लगातार भिन्न-भिन्न जटिल-मूल्य वाले कार्यों के स्थान पर परिभाषित किया गया है
तब D एक सममित ऑपरेटर है जैसा कि भागों द्वारा एकीकरण द्वारा दिखाया जा सकता है। रिक्त स्थान एन+, एन− (नीचे परिभाषित) समीकरण के वितरण (गणितीय) समाधान द्वारा क्रमशः दिए गए हैं
जो एल में हैं2[0, 1]. कोई यह दिखा सकता है कि इनमें से प्रत्येक समाधान स्थान 1-आयामी है, जो फ़ंक्शन x → e द्वारा उत्पन्न होता है−x और x → ex क्रमशः। इससे पता चलता है कि D मूलतः स्व-संयुक्त नहीं है,[16] किन्तु इसमें स्वयं-सहायक एक्सटेंशन हैं। ये स्व-सहायक एक्सटेंशन एकात्मक मैपिंग एन के स्थान द्वारा पैरामीट्रिज्ड हैं+ → एन−, जो इस मामले में यूनिट सर्कल टी होता है।
इस मामले में, आवश्यक स्व-संयोजकों की विफलता डोमेन की परिभाषा में सीमा शर्तों के गलत विकल्प के कारण होती है . तब से प्रथम-क्रम ऑपरेटर है, यह सुनिश्चित करने के लिए केवल एक सीमा शर्त की आवश्यकता है सममित है. यदि हमने ऊपर दी गई सीमा शर्तों को एकल सीमा शर्त से बदल दिया है
- ,
तब D अभी भी सममित होगा और अब, वास्तव में, अनिवार्य रूप से स्व-संयुक्त होगा। सीमा शर्तों का यह परिवर्तन डी का एक विशेष रूप से स्व-संयुक्त विस्तार देता है। अन्य अनिवार्य रूप से स्व-संयुक्त विस्तार फॉर्म की सीमा शर्तों को प्रयुक्त करने से आते हैं .
यह सरल उदाहरण एक खुले समुच्चय एम पर सममित विभेदक ऑपरेटरों पी के स्व-सहायक विस्तार के बारे में एक सामान्य तथ्य को दर्शाता है। वे आइगेनवैल्यू रिक्त स्थान के बीच एकात्मक मानचित्रों द्वारा निर्धारित किए जाते हैं।
जहां पीdist P का वितरणात्मक विस्तार है।
निरंतर-गुणांक ऑपरेटर
हम आगे स्थिर गुणांक वाले विभेदक ऑपरेटरों का उदाहरण देते हैं। होने देना
R पर एक बहुपद बनेंn वास्तविक गुणांकों के साथ, जहां α बहु-सूचकांक|बहु-सूचकांकों के एक (परिमित) समुच्चय से अधिक होता है। इस प्रकार
और
हम संकेतन का भी उपयोग करते हैं
फिर ऑपरेटर पी(डी) ने 'आर' पर कॉम्पैक्ट समर्थन के असीम रूप से भिन्न कार्यों के स्थान पर परिभाषित कियाnद्वारा
एल पर मूलतः स्व-संयोजक है2(आरn).
Theorem — Let P a polynomial function on Rn with real coefficients, F the Fourier transform considered as a unitary map L2(Rn) → L2(Rn). Then F*P(D)F is essentially self-adjoint and its unique self-adjoint extension is the operator of multiplication by the function P.
अधिक सामान्यतः, कॉम्पैक्ट समर्थन के असीम रूप से भिन्न जटिल-मूल्य वाले कार्यों पर कार्य करने वाले रैखिक अंतर ऑपरेटरों पर विचार करें। यदि M, 'R' का एक खुला उपसमुच्चय हैn
जहाँ एकα (आवश्यक रूप से स्थिर नहीं) असीम रूप से भिन्न कार्य हैं। P एक रैखिक संचालिका है
P के अनुरूप एक अन्य विभेदक संकारक है, जो P का 'औपचारिक सहायक' है
Theorem — The adjoint P* of P is a restriction of the distributional extension of the formal adjoint to an appropriate subspace of . Specifically:
वर्णक्रमीय बहुलता सिद्धांत
स्व-सहायक संचालिका का गुणन निरूपण, चूंकि अत्यंत उपयोगी है, विहित निरूपण नहीं है। इससे पता चलता है कि इस प्रतिनिधित्व से यह निर्धारित करने के लिए एक मानदंड निकालना आसान नहीं है कि स्व-सहायक ऑपरेटर ए और बी इकाई रूप से समकक्ष हैं। अब हम जिस बढ़िया ीन दानेदार प्रतिनिधित्व पर चर्चा करते हैं उसमें वर्णक्रमीय बहुलता सम्मिलित है। परिणामों के इस चक्र को हंस हैन (गणितज्ञ)अर्नेस्ट हेलिंगर का वर्णक्रमीय बहुलता सिद्धांत कहा जाता है।
समान बहुलता
हम पहले एकसमान बहुलता को परिभाषित करते हैं:
'परिभाषा'। एक स्व-सहायक संकारक A में एकसमान बहुलता n है जहाँ n ऐसा है कि 1 ≤ n ≤ ω यदि और केवल यदि A इकाई रूप से संकारक M के समतुल्य हैf फलन f(λ) = λ द्वारा गुणन का
जहां एचn आयाम n का हिल्बर्ट स्थान है। एम का डोमेनf आर पर वेक्टर-मूल्य वाले फ़ंक्शन ψ सम्मिलित हैं जैसे कि
गैर-नकारात्मक गणनीय योगात्मक माप μ, ν परस्पर एकवचन हैं यदि और केवल यदि वे असंयुक्त बोरेल समुच्चय पर समर्थित हैं।
Theorem — Let A be a self-adjoint operator on a separable Hilbert space H. Then there is an ω sequence of countably additive finite measures on R (some of which may be identically 0)
यह प्रतिनिधित्व निम्नलिखित अर्थों में अद्वितीय है: समान ए के किन्हीं दो ऐसे निरूपणों के लिए, संबंधित माप इस अर्थ में समतुल्य हैं कि उनके पास माप 0 के समान समुच्चय हैं।
प्रत्यक्ष समाकलन
वर्णक्रमीय बहुलता प्रमेय को हिल्बर्ट रिक्त स्थान के प्रत्यक्ष अभिन्नों की भाषा का उपयोग करके पुन: तैयार किया जा सकता है:
Theorem — [17] Any self-adjoint operator on a separable Hilbert space is unitarily equivalent to multiplication by the function λ ↦ λ on
वर्णक्रमीय प्रमेय के गुणन-ऑपरेटर संस्करण के विपरीत, प्रत्यक्ष-अभिन्न संस्करण इस अर्थ में अद्वितीय है कि μ का माप तुल्यता वर्ग (या समकक्ष इसके माप 0 के समुच्चय ) विशिष्ट रूप से निर्धारित होता है और मापने योग्य कार्य होता है μ के संबंध में लगभग हर स्थान निर्धारित किया जाता है।[18] कार्यक्रम ऑपरेटर का वर्णक्रमीय बहुलता फ़ंक्शन है।
अब हम स्व-सहायक ऑपरेटरों के लिए वर्गीकरण परिणाम बता सकते हैं: दो स्व-सहायक ऑपरेटर इकाई रूप से समतुल्य हैं यदि और केवल यदि (1) उनके स्पेक्ट्रा समुच्चय के रूप में सहमत हैं, (2) उनके प्रत्यक्ष-अभिन्न प्रतिनिधित्व में दिखाई देने वाले उपायों के समान समुच्चय हैं माप शून्य का, और (3) उनके वर्णक्रमीय बहुलता कार्य प्रत्यक्ष अभिन्न में माप के संबंध में लगभग हर स्थान सहमत होते हैं।[19]
उदाहरण: लाप्लासियन की संरचना
आर पर लाप्लासियनn ऑपरेटर है
जैसा कि ऊपर उल्लेख किया गया है, लाप्लासियन को फूरियर रूपांतरण द्वारा विकर्ण किया गया है। वास्तव में लाप्लासियन -Δ के नकारात्मक पर विचार करना अधिक स्वाभाविक है क्योंकि एक ऑपरेटर के रूप में यह गैर-नकारात्मक है; (अण्डाकार ऑपरेटर देखें)।
Theorem — If n = 1, then −Δ has uniform multiplicity , otherwise −Δ has uniform multiplicity . Moreover, the measure μmult may be taken to be Lebesgue measure on [0, ∞).
शुद्ध बिंदु स्पेक्ट्रम
H पर एक स्व-सहायक ऑपरेटर A के पास शुद्ध बिंदु स्पेक्ट्रम है यदि और केवल यदि H का ऑर्थोनॉर्मल आधार है {ei}i ∈ I A के लिए eigenvectors से मिलकर।
'उदाहरण'। हार्मोनिक ऑसिलेटर के लिए हैमिल्टनियन में एक द्विघात क्षमता V है, अर्थात
इस हैमिल्टनियन में शुद्ध बिंदु स्पेक्ट्रम है; यह क्वांटम यांत्रिकी में बाध्य अवस्था हैमिल्टनियन (क्वांटम यांत्रिकी) के लिए विशिष्ट है। जैसा कि पिछले उदाहरण में बताया गया था, एक पर्याप्त शर्त यह है कि एक असीमित सममित ऑपरेटर के पास आइगेनवेक्टर होते हैं जो हिल्बर्ट स्पेस आधार बनाते हैं, यह एक कॉम्पैक्ट व्युत्क्रम है।
यह भी देखें
- हिल्बर्ट स्पेस पर कॉम्पैक्ट ऑपरेटर
- श्रोडिंगर समीकरण के लिए सैद्धांतिक और प्रयोगात्मक औचित्य
- अनबाउंड ऑपरेटर
- हर्मिटियन सहायक
- सकारात्मक संचालिका (हिल्बर्ट स्पेस)
- गैर-हर्मिटियन क्वांटम यांत्रिकी
उद्धरण
- ↑ Hall 2013 Corollary 9.9
- ↑ 2.0 2.1 Griffel 2002, p. 238.
- ↑ 3.0 3.1 3.2 3.3 3.4 Griffel 2002, pp. 224–230.
- ↑ 4.0 4.1 Griffel 2002, pp. 240–245.
- ↑ Hall 2013 Proposition 9.30
- ↑ Hall 2013 Proposition 9.27
- ↑ Hall 2013 Proposition 9.28
- ↑ Hall 2013 Example 9.25
- ↑ Hall 2013 Theorem 9.41
- ↑ Berezin & Shubin 1991 p. 85
- ↑ Hall 2013 Section 9.10
- ↑ Hall 2013 Section 10.4
- ↑ Hall 2013 Theorem 9.21
- ↑ Hall 2013 Corollary 9.22
- ↑ Hall 2013 Chapter 2, Exercise 4
- ↑ Hall 2013 Section 9.6
- ↑ Hall 2013 Theorems 7.19 and 10.9
- ↑ Hall 2013 Proposition 7.22
- ↑ Hall 2013 Proposition 7.24
संदर्भ
- Akhiezer, N. I.; Glazman, I. M. (1981), Theory of Linear Operators in Hilbert Space, Two volumes, Pitman, ISBN 9780486318653
- Berezin, F. A.; Shubin, M. A. (1991), The Schrödinger Equation, Kluwer
- Carey, R. W.; Pincus, J. D. (May 1974). "An Invariant for Certain Operator Algebras". Proceedings of the National Academy of Sciences. 71 (5): 1952–1956. Bibcode:1974PNAS...71.1952C. doi:10.1073/pnas.71.5.1952. PMC 388361. PMID 16592156.
- Carey, R. W.; Pincus, J. D. (1973). "The structure of intertwining isometries". Indiana University Mathematics Journal. 7 (22): 679–703. doi:10.1512/iumj.1973.22.22056.
- Griffel, D. H. (2002). Applied functional analysis. Mineola, N.Y: Dover. ISBN 0-486-42258-5. OCLC 49250076.
- Hall, B. C. (2013), Quantum Theory for Mathematicians, Graduate Texts in Mathematics, vol. 267, Springer, ISBN 978-1461471158
- Kato, T. (1966), Perturbation Theory for Linear Operators, New York: Springer
- Moretti, V. (2018), Spectral Theory and Quantum Mechanics:Mathematical Foundations of Quantum Theories, Symmetries and Introduction to the Algebraic Formulation, Springer-Verlag, ISBN 978-3-319-70706-8
- Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
- Reed, M.; Simon, B. (1972), Methods of Mathematical Physics, Vol 2, Academic Press
- Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
- Teschl, G. (2009), Mathematical Methods in Quantum Mechanics; With Applications to Schrödinger Operators, Providence: American Mathematical Society
- Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.
- Yosida, K. (1965), Functional Analysis, Academic Press