डिराक ब्रैकेट: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{short description|Quantization method for constrained Hamiltonian systems with second-class constraints}}
{{short description|Quantization method for constrained Hamiltonian systems with second-class constraints}}
{{Distinguish|text=[[bra-ket notation]], also known as Dirac notation}}
{{Distinguish|text=[[ब्रा-केट नोटेशन]], जिसे डिराक नोटेशन के नाम से भी जाना जाता है}}
 
डिराक ब्रैकेट, जो [[पॉल डिराक]] द्वारा विकसित [[पॉइसन ब्रैकेट]] का सामान्यीकरण है,<ref>{{Cite journal | last1 = Dirac | first1 = P. A. M. | doi = 10.4153/CJM-1950-012-1 | title = सामान्यीकृत हैमिल्टनियन गतिशीलता| journal = Canadian Journal of Mathematics | volume = 2 | pages = 129–014 | year = 1950 | s2cid = 119748805 | doi-access = free }}</ref> [[हैमिल्टनियन यांत्रिकी]] में द्वितीय श्रेणी की बाधाओं के साथ शास्त्रीय प्रणालियों का समाधान  करने के लिए रचना की गई है, और इस प्रकार उन्हें [[विहित परिमाणीकरण]] से गुजरने की अनुमति मिल सके। यह डिरैक के हैमिल्टनियन यांत्रिकी के विकास का महत्वपूर्ण भाग है जिससे अधिक सामान्य [[लैग्रेंजियन यांत्रिकी]] को सुरुचिपूर्ण ढंग से संभाला जा सके; विशेष रूप से, जब बाधाएं हाथ में हों, जिससे स्पष्ट चर की संख्या गतिशील चर से अधिक हो।<ref>{{Cite book | last1=Dirac | first1=Paul A. M. | title=क्वांटम यांत्रिकी पर व्याख्यान| url=https://books.google.com/books?id=GVwzb1rZW9kC | publisher=Belfer Graduate School of Science, New York | series=Belfer Graduate School of Science Monographs Series | year=1964 | volume=2 | mr=2220894 | isbn=9780486417134 }}; Dover,  {{isbn|0486417131}}.</ref> अधिक संक्षेप में, डिराक ब्रैकेट से निहित दो-रूप [[चरण स्थान]] में बाधा सतह पर [[सिंपलेक्टिक मैनिफ़ोल्ड]] का प्रतिबंध है।<ref>See pages 48-58 of Ch. 2 in Henneaux, Marc and Teitelboim, Claudio, ''Quantization of Gauge Systems''. Princeton University Press, 1992. {{isbn|0-691-08775-X}}</ref>


डिराक ब्रैकेट [[पॉल डिराक]] द्वारा विकसित [[पॉइसन ब्रैकेट]] का सामान्यीकरण है<ref>{{Cite journal | last1 = Dirac | first1 = P. A. M. | doi = 10.4153/CJM-1950-012-1 | title = सामान्यीकृत हैमिल्टनियन गतिशीलता| journal = Canadian Journal of Mathematics | volume = 2 | pages = 129–014 | year = 1950 | s2cid = 119748805 | doi-access = free }}</ref> [[हैमिल्टनियन यांत्रिकी]] में द्वितीय श्रेणी की बाधाओं के साथ शास्त्रीय प्रणालियों का इलाज करना, और इस प्रकार उन्हें [[विहित परिमाणीकरण]] से गुजरने की अनुमति देना। यह डिराक के हैमिल्टनियन यांत्रिकी के विकास का महत्वपूर्ण हिस्सा है ताकि अधिक सामान्य [[लैग्रेंजियन यांत्रिकी]] को सुरुचिपूर्ण ढंग से संभाला जा सके; विशेष रूप से, जब बाधाएं हाथ में हों, ताकि स्पष्ट चर की संख्या गतिशील चर से अधिक हो।<ref>{{Cite book | last1=Dirac | first1=Paul A. M. | title=क्वांटम यांत्रिकी पर व्याख्यान| url=https://books.google.com/books?id=GVwzb1rZW9kC | publisher=Belfer Graduate School of Science, New York | series=Belfer Graduate School of Science Monographs Series | year=1964 | volume=2 | mr=2220894 | isbn=9780486417134 }}; Dover,  {{isbn|0486417131}}.</ref> अधिक संक्षेप में, डिराक ब्रैकेट से निहित दो-रूप [[चरण स्थान]] में बाधा सतह पर [[सिंपलेक्टिक मैनिफ़ोल्ड]] का प्रतिबंध है।<ref>See pages 48-58 of Ch. 2 in Henneaux, Marc and Teitelboim, Claudio, ''Quantization of Gauge Systems''. Princeton University Press, 1992. {{isbn|0-691-08775-X}}</ref>
यह लेख मानक लैग्रेंजियन यांत्रिकी और [[हैमिल्टनियन यांत्रिकी]] औपचारिकताओं से परिचित है, और विहित परिमाणीकरण से उनका संबंध मानता है। डिराक ब्रैकेट को संदर्भ में रखने के लिए डिराक की संशोधित हैमिल्टनियन औपचारिकता का विवरण भी संक्षेप में प्रस्तुत किया गया है।
यह लेख मानक लैग्रेंजियन यांत्रिकी और [[हैमिल्टनियन यांत्रिकी]] औपचारिकताओं से परिचित है, और विहित परिमाणीकरण से उनका संबंध मानता है। डिराक ब्रैकेट को संदर्भ में रखने के लिए डिराक की संशोधित हैमिल्टनियन औपचारिकता का विवरण भी संक्षेप में प्रस्तुत किया गया है।


Line 8: Line 9:


हैमिल्टनियन यांत्रिकी का मानक विकास कई विशिष्ट स्थितियों में अपर्याप्त है:
हैमिल्टनियन यांत्रिकी का मानक विकास कई विशिष्ट स्थितियों में अपर्याप्त है:
# जब लैग्रेंजियन कम से कम निर्देशांक के वेग में अधिकतम रैखिक होता है; किस स्थिति में, [[विहित समन्वय]] की परिभाषा बाधा की ओर ले जाती है। डिराक ब्रैकेट का सहारा लेने का यह सबसे आम कारण है। उदाहरण के लिए, किसी भी [[फरमिओन्स]] के लिए लैग्रेंजियन (घनत्व) इस रूप का होता है।
# जब लैग्रेंजियन कम से कम निर्देशांक के वेग में अधिकतम रैखिक होता है;जिसका परिणामस्वरूप, [[विहित समन्वय]] की परिभाषा बाधा की ओर ले जाती है। यह  डिराक ब्रैकेट का सहारा लेने का यह सबसे आम कारण है। उदाहरण के लिए, किसी भी [[फरमिओन्स]] के लिए लैग्रेंजियन (घनत्व) इस रूप का होता है।
# जब [[गेज फिक्सिंग]] (या अन्य अभौतिक) स्वतंत्रता की डिग्री होती है जिसे ठीक करने की आवश्यकता होती है।
# जब [[गेज फिक्सिंग]] (या अन्य अभौतिक) स्वतंत्रता की डिग्री होती है जिसे ठीक करने की आवश्यकता होती है।
# जब कोई अन्य बाधाएं होती हैं जिन्हें कोई चरण स्थान में लागू करना चाहता है।
# जब कोई अन्य बाधाएं होती हैं जिन्हें कोई चरण स्थान में प्रयुक्त करना चाहता है।


=== वेग में लैग्रेंजियन रैखिक का उदाहरण ===
=== वेग में लैग्रेंजियन रैखिक का उदाहरण ===


[[शास्त्रीय यांत्रिकी]] में उदाहरण आवेश वाला कण है {{mvar|q}} और द्रव्यमान {{mvar|m}} तक ही सीमित है {{mvar|x}} - {{mvar|y}} मजबूत स्थिरांक, सजातीय लंबवत चुंबकीय क्षेत्र के साथ विमान, तो फिर की ओर इशारा करते हुए {{mvar|z}}-शक्ति के साथ दिशा {{mvar|B}}.<ref>{{Cite journal|author3-link=So-Young Pi|author2-link=Roman Jackiw | last1 = Dunne | first1 = G. | last2 = Jackiw | first2 = R. | last3 = Pi | first3 = S. Y. | last4 = Trugenberger | first4 = C. | title = स्व-दोहरी चेर्न-साइमन्स सॉलिटॉन और द्वि-आयामी गैर-रेखीय समीकरण| doi = 10.1103/PhysRevD.43.1332 | journal = Physical Review D | volume = 43 | issue = 4 | pages = 1332–1345 | year = 1991 |pmid=10013503 |bibcode = 1991PhRvD..43.1332D }}</ref>
[[शास्त्रीय यांत्रिकी]] में उदाहरण आवेश वाला कण है {{mvar|q}} और द्रव्यमान {{mvar|m}} तक ही सीमित है {{mvar|x}} - {{mvar|y}} मजबूत स्थिरांक, सजातीय लंबवत चुंबकीय क्षेत्र के साथ विमान, तो फिर की ओर इशारा करते हुए {{mvar|z}}-शक्ति के साथ दिशा {{mvar|B}}<ref>{{Cite journal|author3-link=So-Young Pi|author2-link=Roman Jackiw | last1 = Dunne | first1 = G. | last2 = Jackiw | first2 = R. | last3 = Pi | first3 = S. Y. | last4 = Trugenberger | first4 = C. | title = स्व-दोहरी चेर्न-साइमन्स सॉलिटॉन और द्वि-आयामी गैर-रेखीय समीकरण| doi = 10.1103/PhysRevD.43.1332 | journal = Physical Review D | volume = 43 | issue = 4 | pages = 1332–1345 | year = 1991 |pmid=10013503 |bibcode = 1991PhRvD..43.1332D }}</ref>
 
मापदंडों के उचित विकल्प के साथ इस प्रणाली के लिए लैग्रेंजियन है
मापदंडों के उचित विकल्प के साथ इस प्रणाली के लिए लैग्रेंजियन है


Line 36: Line 38:
m\ddot{y} = - \frac{\partial V}{\partial y} - \frac{q B}{c}\dot{x}.
m\ddot{y} = - \frac{\partial V}{\partial y} - \frac{q B}{c}\dot{x}.
</math>
</math>
हार्मोनिक क्षमता के लिए, की ढाल {{math|''V''}} केवल निर्देशांक के बराबर है, {{math|−(''x'',''y'')}}.
हार्मोनिक क्षमता के लिए, की ढाल {{math|''V''}} केवल निर्देशांक के समान है, {{math|−(''x'',''y'')}}


अब, बहुत बड़े चुंबकीय क्षेत्र की सीमा में, {{math|''qB''/''mc'' ≫ 1}}. फिर कोई साधारण सन्निकट लैग्रेन्जियन उत्पन्न करने के लिए गतिज शब्द को छोड़ सकता है,
अब, बहुत बड़े चुंबकीय क्षेत्र की सीमा में, {{math|''qB''/''mc'' ≫ 1}}फिर कोई साधारण सन्निकट लैग्रेन्जियन उत्पन्न करने के लिए गतिज शब्द को छोड़ सकता है,


:<math>
:<math>
Line 61: Line 63:
p_y = \frac{\partial L}{\partial \dot{y}} = \frac{q B}{2c}x ~,
p_y = \frac{\partial L}{\partial \dot{y}} = \frac{q B}{2c}x ~,
</math>
</math>
जो इस मायने में असामान्य हैं कि वे वेगों के व्युत्क्रमणीय नहीं हैं; इसके बजाय, वे निर्देशांक के कार्य होने के लिए बाध्य हैं: चार चरण-स्थान चर रैखिक रूप से निर्भर हैं, इसलिए परिवर्तनीय आधार [[अतिपूर्णता]] है।
जो इस मायने में असामान्य हैं कि वे वेगों के व्युत्क्रमणीय नहीं हैं; इसके अतिरिक्त, वे निर्देशांक के कार्य होने के लिए बाध्य हैं: चार चरण-स्थान चर रैखिक रूप से निर्भर हैं, इसलिए परिवर्तनीय आधार [[अतिपूर्णता]] है।


लीजेंड्रे परिवर्तन तब हैमिल्टनियन का निर्माण करता है
लीजेंड्रे परिवर्तन तब हैमिल्टनियन का निर्माण करता है
Line 70: Line 72:
ध्यान दें कि इस भोले हैमिल्टनियन की संवेग पर कोई निर्भरता नहीं है, जिसका अर्थ है कि गति के समीकरण (हैमिल्टन के समीकरण) असंगत हैं।
ध्यान दें कि इस भोले हैमिल्टनियन की संवेग पर कोई निर्भरता नहीं है, जिसका अर्थ है कि गति के समीकरण (हैमिल्टन के समीकरण) असंगत हैं।


हैमिल्टनियन प्रक्रिया टूट गई है। कोई इसके दो घटकों को हटाकर समस्या को ठीक करने का प्रयास कर सकता है {{math|4}}-आयामी चरण स्थान, मान लीजिए {{mvar|y}} और {{math|''p''<sub>''y''</sub>}}, कम चरण स्थान तक {{math|2}} आयाम, जो कभी-कभी निर्देशांक को संवेग के रूप में और कभी-कभी निर्देशांक के रूप में व्यक्त करता है। हालाँकि, यह न तो कोई सामान्य और न ही कठोर समाधान है। यह मामले की तह तक जाता है: विहित संवेग की परिभाषा से चरण स्थान (संवेग और निर्देशांक के बीच) पर बाधा का पता चलता है जिस पर कभी ध्यान नहीं दिया गया।
हैमिल्टनियन प्रक्रिया टूट गई है। कोई इसके दो घटकों को हटाकर समस्या को ठीक करने का प्रयास कर सकता है {{math|4}}-आयामी चरण स्थान, मान लीजिए {{mvar|y}} और {{math|''p''<sub>''y''</sub>}}, कम चरण स्थान तक {{math|2}} आयाम, जो कभी-कभी निर्देशांक को संवेग के रूप में और कभी-कभी निर्देशांक के रूप में व्यक्त करता है। हालाँकि, यह न तो कोई सामान्य और न ही कठोर समाधान है। यह स्थितियों की तह तक जाता है: विहित संवेग की परिभाषा से चरण स्थान (संवेग और निर्देशांक के बीच) पर बाधा का पता चलता है जिस पर कभी ध्यान नहीं दिया गया।


== सामान्यीकृत हैमिल्टनियन प्रक्रिया ==
== सामान्यीकृत हैमिल्टनियन प्रक्रिया ==


लैग्रेंजियन यांत्रिकी में, यदि सिस्टम में [[होलोनोमिक बाधा]]एं हैं, तो आम तौर पर उनके लिए लैग्रेंजियन में [[लैग्रेंज गुणक]] को जोड़ा जाता है। जब बाधाएं संतुष्ट हो जाती हैं तो अतिरिक्त शर्तें गायब हो जाती हैं, जिससे स्थिर कार्रवाई का मार्ग बाधा सतह पर होने के लिए मजबूर हो जाता है। इस मामले में, हैमिल्टनियन औपचारिकता पर जाने से हैमिल्टनियन यांत्रिकी में चरण स्थान पर बाधा उत्पन्न होती है, लेकिन समाधान समान है।
लैग्रेंजियन यांत्रिकी में, यदि सिस्टम में [[होलोनोमिक बाधा]]एं हैं, तो आम तौर पर उनके लिए लैग्रेंजियन में [[लैग्रेंज गुणक]] को जोड़ा जाता है। जब बाधाएं संतुष्ट हो जाती हैं तो अतिरिक्त शर्तें गायब हो जाती हैं, जिससे स्थिर कार्रवाई का मार्ग बाधा सतह पर होने के लिए मजबूर हो जाता है। इस स्थितियों में, हैमिल्टनियन औपचारिकता पर जाने से हैमिल्टनियन यांत्रिकी में चरण स्थान पर बाधा उत्पन्न होती है, लेकिन समाधान समान है।


आगे बढ़ने से पहले, 'कमजोर समानता' और 'मजबूत समानता' की धारणाओं को समझना उपयोगी है। चरण स्थान पर दो कार्य, {{mvar|f}} और {{mvar|g}}, कमजोर रूप से समान हैं यदि बाधाएं संतुष्ट होने पर वे समान हैं, लेकिन पूरे चरण स्थान में नहीं, दर्शाया गया है {{math| ''f ≈ g''}}. अगर {{mvar|f}} और {{mvar|g}} बाधाओं के संतुष्ट होने से स्वतंत्र रूप से समान हैं, उन्हें दृढ़ता से समान, लिखित कहा जाता है {{math|''f'' {{=}} ''g''}}. यह ध्यान रखना महत्वपूर्ण है कि, सही उत्तर प्राप्त करने के लिए, डेरिवेटिव या पॉइसन ब्रैकेट का मूल्यांकन करने से पहले किसी भी कमजोर समीकरण का उपयोग नहीं किया जा सकता है।
आगे बढ़ने से पहले, 'अशक्त समानता' और 'मजबूत समानता' की धारणाओं को समझना उपयोगी है। चरण स्थान पर दो कार्य, {{mvar|f}} और {{mvar|g}}, अशक्त रूप से समान हैं यदि बाधाएं संतुष्ट होने पर वे समान हैं, लेकिन पूरे चरण स्थान में नहीं, दर्शाया गया है {{math| ''f ≈ g''}}अगर {{mvar|f}} और {{mvar|g}} बाधाओं के संतुष्ट होने से स्वतंत्र रूप से समान हैं, उन्हें दृढ़ता से समान, लिखित कहा जाता है {{math|''f'' {{=}} ''g''}}यह ध्यान रखना महत्वपूर्ण है कि, सही उत्तर प्राप्त करने के लिए, डेरिवेटिव या पॉइसन ब्रैकेट का मूल्यांकन करने से पहले किसी भी अशक्त समीकरण का उपयोग नहीं किया जा सकता है।


नई प्रक्रिया इस प्रकार काम करती है, लैग्रेंजियन से शुरू करें और सामान्य तरीके से विहित संवेग को परिभाषित करें। उनमें से कुछ परिभाषाएँ उलटी नहीं हो सकती हैं और इसके बजाय चरण स्थान में बाधा देती हैं (जैसा कि ऊपर बताया गया है)। इस प्रकार उत्पन्न या समस्या की शुरुआत से लगाए गए अवरोधों को 'प्राथमिक अवरोध' कहा जाता है। बाधाएँ, लेबल {{math|''φ''<sub>''j''</sub>}}, कमजोर रूप से गायब हो जाना चाहिए, {{math|''φ''<sub>''j'' </sub>(''p,q'') ≈ 0}}.
नई प्रक्रिया इस प्रकार काम करती है, लैग्रेंजियन से शुरू करें और सामान्य तरीके से विहित संवेग को परिभाषित करें। उनमें से कुछ परिभाषाएँ उलटी नहीं हो सकती हैं और इसके अतिरिक्त चरण स्थान में बाधा देती हैं (जैसा कि ऊपर बताया गया है)। इस प्रकार उत्पन्न या समस्या की शुरुआत से लगाए गए अवरोधों को 'प्राथमिक अवरोध' कहा जाता है। बाधाएँ, लेबल {{math|''φ''<sub>''j''</sub>}}, अशक्त रूप से गायब हो जाना चाहिए, {{math|''φ''<sub>''j'' </sub>(''p,q'') ≈ 0}}


इसके बाद, कोई भोला-भाला हैमिल्टनियन पाता है, {{mvar|H}}, लीजेंड्रे परिवर्तन के माध्यम से सामान्य तरीके से, बिल्कुल उपरोक्त उदाहरण की तरह। ध्यान दें कि हैमिल्टनियन को हमेशा फ़ंक्शन के रूप में लिखा जा सकता है {{math|''q''}}रेत {{math|''p''}}केवल, भले ही वेगों को संवेग के फलनों में उलटा न किया जा सके।
इसके बाद, कोई भोला-भाला हैमिल्टनियन पाता है, {{mvar|H}}, लीजेंड्रे परिवर्तन के माध्यम से सामान्य तरीके से, बिल्कुल उपरोक्त उदाहरण की तरह। ध्यान दें कि हैमिल्टनियन को सदैव फ़ंक्शन के रूप में लिखा जा सकता है {{math|''q''}}रेत {{math|''p''}}केवल, भले ही वेगों को संवेग के फलनों में उलटा न किया जा सके।


=== हैमिल्टनियन का सामान्यीकरण ===
=== हैमिल्टनियन का सामान्यीकरण ===
Line 88: Line 90:
H^* = H + \sum_j c_j\phi_j \approx H,
H^* = H + \sum_j c_j\phi_j \approx H,
</math>
</math>
जहां {{math|''c''<sub>''j''</sub>}} स्थिरांक नहीं हैं बल्कि निर्देशांक और संवेग के कार्य हैं। चूंकि यह नया हैमिल्टनियन निर्देशांक का सबसे सामान्य कार्य है और क्षणभंगुर हैमिल्टनियन के बराबर कमजोर है, {{math|''H''<sup>*</sup>}} हैमिल्टनियन का संभवतः सबसे व्यापक सामान्यीकरण है
जहां {{math|''c''<sub>''j''</sub>}} स्थिरांक नहीं हैं किंतु निर्देशांक और संवेग के कार्य हैं। चूंकि यह नया हैमिल्टनियन निर्देशांक का सबसे सामान्य कार्य है और क्षणभंगुर हैमिल्टनियन के समान अशक्त है, {{math|''H''<sup>*</sup>}} हैमिल्टनियन का संभवतः सबसे व्यापक सामान्यीकरण है
ताकि {{math|''δH'' * ≈ ''δH''}} कब {{math| ''δφ<sub>j</sub>'' ≈ 0}}.
जिससे {{math|''δH'' * ≈ ''δH''}} कब {{math| ''δφ<sub>j</sub>'' ≈ 0}}


को और अधिक रोशन करने के लिए {{math|''c''<sub>''j''</sub>}}, विचार करें कि मानक प्रक्रिया में भोले-भाले हैमिल्टनियन से गति के समीकरण कैसे प्राप्त किए जाते हैं। हैमिल्टनियन की भिन्नता को दो तरीकों से विस्तारित करता है और उन्हें बराबर सेट करता है (दबे हुए सूचकांकों और योगों के साथ कुछ संक्षिप्त संकेतन का उपयोग करके):
को और अधिक रोशन करने के लिए {{math|''c''<sub>''j''</sub>}}, विचार करें कि मानक प्रक्रिया में भोले-भाले हैमिल्टनियन से गति के समीकरण कैसे प्राप्त किए जाते हैं। हैमिल्टनियन की भिन्नता को दो तरीकों से विस्तारित करता है और उन्हें समान सेट करता है (दबे हुए सूचकांकों और योगों के साथ कुछ संक्षिप्त संकेतन का उपयोग करके):


:<math>
:<math>
Line 102: Line 104:
\left(\frac{\partial H}{\partial q} + \dot{p}\right)\delta q + \left(\frac{\partial H}{\partial p} - \dot{q}\right)\delta p = 0 ~,
\left(\frac{\partial H}{\partial q} + \dot{p}\right)\delta q + \left(\frac{\partial H}{\partial p} - \dot{q}\right)\delta p = 0 ~,
</math>
</math>
जहां कमजोर समानता प्रतीक अब स्पष्ट रूप से प्रदर्शित नहीं होता है, क्योंकि परिभाषा के अनुसार गति के समीकरण केवल कमजोर होते हैं। वर्तमान संदर्भ में, कोई केवल गुणांक निर्धारित नहीं कर सकता है {{math| ''δq''}} और {{math|''δp''}} अलग से शून्य तक, क्योंकि भिन्नताएं कुछ हद तक बाधाओं द्वारा प्रतिबंधित हैं। विशेष रूप से, विविधताएं बाधा सतह के स्पर्शरेखा होनी चाहिए।
जहां अशक्त समानता प्रतीक अब स्पष्ट रूप से प्रदर्शित नहीं होता है, क्योंकि परिभाषा के अनुसार गति के समीकरण केवल अशक्त होते हैं। वर्तमान संदर्भ में, कोई केवल गुणांक निर्धारित नहीं कर सकता है {{math| ''δq''}} और {{math|''δp''}} अलग से शून्य तक, क्योंकि भिन्नताएं कुछ हद तक बाधाओं द्वारा प्रतिबंधित हैं। विशेष रूप से, विविधताएं बाधा सतह के स्पर्शरेखा होनी चाहिए।


कोई इसका समाधान प्रदर्शित कर सकता है
कोई इसका समाधान प्रदर्शित कर सकता है
Line 140: Line 142:
\dot{f} \approx \{f, H^*\}_{PB} \approx \{f, H\}_{PB} + \sum_k u_k\{f, \phi_k\}_{PB},
\dot{f} \approx \{f, H^*\}_{PB} \approx \{f, H\}_{PB} + \sum_k u_k\{f, \phi_k\}_{PB},
</math>
</math>
यदि कोई मानता है कि पॉइसन ब्रैकेट के साथ {{math|''u''<sub>''k''</sub>}} (वेग के कार्य) मौजूद हैं; इससे कोई समस्या नहीं होती क्योंकि योगदान कमजोर रूप से गायब हो जाता है। अब, इस औपचारिकता को सार्थक बनाने के लिए कुछ स्थिरता की शर्तें हैं जिन्हें पूरा किया जाना चाहिए। यदि बाधाएं संतुष्ट होने वाली हैं, तो गति के उनके समीकरण कमजोर रूप से गायब हो जाने चाहिए, यानी हमें आवश्यकता है
यदि कोई मानता है कि पॉइसन ब्रैकेट के साथ {{math|''u''<sub>''k''</sub>}} (वेग के कार्य) मौजूद हैं; इससे कोई समस्या नहीं होती क्योंकि योगदान अशक्त रूप से गायब हो जाता है। अब, इस औपचारिकता को सार्थक बनाने के लिए कुछ स्थिरता की शर्तें हैं जिन्हें पूरा किया जाना चाहिए। यदि बाधाएं संतुष्ट होने वाली हैं, तो गति के उनके समीकरण अशक्त रूप से गायब हो जाने चाहिए, यानी हमें आवश्यकता है


:<math>
:<math>
Line 146: Line 148:
</math>
</math>
उपरोक्त से चार अलग-अलग प्रकार की स्थितियाँ उत्पन्न हो सकती हैं:
उपरोक्त से चार अलग-अलग प्रकार की स्थितियाँ उत्पन्न हो सकती हैं:
# समीकरण जो स्वाभाविक रूप से गलत है, जैसे {{math|1=1=0}} .
# समीकरण जो स्वाभाविक रूप से गलत है, जैसे {{math|1=1=0}}
# समीकरण जो संभवतः हमारे प्राथमिक अवरोधों में से किसी का उपयोग करने के बाद, समान रूप से सत्य है।
# समीकरण जो संभवतः हमारे प्राथमिक अवरोधों में से किसी का उपयोग करने के बाद, समान रूप से सत्य है।
# समीकरण जो हमारे निर्देशांक और संवेग पर नई बाधाएँ डालता है, लेकिन इससे स्वतंत्र है {{math|''u''<sub>''k''</sub>}}.
# समीकरण जो हमारे निर्देशांक और संवेग पर नई बाधाएँ डालता है, लेकिन इससे स्वतंत्र है {{math|''u''<sub>''k''</sub>}}
# समीकरण जो निर्दिष्ट करने का कार्य करता है {{math|''u''<sub>''k''</sub>}}.
# समीकरण जो निर्दिष्ट करने का कार्य करता है {{math|''u''<sub>''k''</sub>}}


पहला मामला इंगित करता है कि प्रारंभिक लैग्रेंजियन गति के असंगत समीकरण देता है, जैसे {{math|''L {{=}} q''}}. दूसरा मामला कोई नया योगदान नहीं देता.
पहला मामला इंगित करता है कि प्रारंभिक लैग्रेंजियन गति के असंगत समीकरण देता है, जैसे {{math|''L {{=}} q''}}दूसरा मामला कोई नया योगदान नहीं देता।


तीसरा मामला चरण स्थान में नई बाधाएँ देता है। इस तरीके से प्राप्त बाधा को [[द्वितीयक बाधा]] कहा जाता है। द्वितीयक बाधा का पता चलने पर उसे विस्तारित हैमिल्टनियन में जोड़ना चाहिए और नई स्थिरता स्थितियों की जांच करनी चाहिए, जिसके परिणामस्वरूप और भी अधिक बाधाएं उत्पन्न हो सकती हैं। इस प्रक्रिया को तब तक दोहराएँ जब तक कोई और बाधा न रह जाए। प्राथमिक और द्वितीयक बाधाओं के बीच अंतर काफी हद तक कृत्रिम है (अर्थात ही प्रणाली के लिए बाधा लैग्रेंजियन के आधार पर प्राथमिक या माध्यमिक हो सकती है), इसलिए यह लेख यहां से उनके बीच अंतर नहीं करता है। यह मानते हुए कि स्थिरता की स्थिति को तब तक दोहराया गया है जब तक कि सभी बाधाएँ नहीं मिल जातीं {{math|''φ''<sub>''j''</sub>}}उन सभी को अनुक्रमित करेगा। ध्यान दें कि यह लेख किसी भी बाधा के लिए द्वितीयक बाधा का उपयोग करता है जो प्रारंभ में समस्या में नहीं थी या विहित संवेग की परिभाषा से ली गई थी; कुछ लेखक द्वितीयक बाधाओं, तृतीयक बाधाओं आदि के बीच अंतर करते हैं।
तीसरा मामला चरण स्थान में नई बाधाएँ देता है। इस तरीके से प्राप्त बाधा को [[द्वितीयक बाधा]] कहा जाता है। द्वितीयक बाधा का पता चलने पर उसे विस्तारित हैमिल्टनियन में जोड़ना चाहिए और नई स्थिरता स्थितियों की जांच करनी चाहिए, जिसके परिणामस्वरूप और भी अधिक बाधाएं उत्पन्न हो सकती हैं। इस प्रक्रिया को तब तक दोहराएँ जब तक कोई और बाधा न रह जाए। प्राथमिक और द्वितीयक बाधाओं के बीच अंतर काफी हद तक कृत्रिम है (अर्थात ही प्रणाली के लिए बाधा लैग्रेंजियन के आधार पर प्राथमिक या माध्यमिक हो सकती है), इसलिए यह लेख यहां से उनके बीच अंतर नहीं करता है। यह मानते हुए कि स्थिरता की स्थिति को तब तक दोहराया गया है जब तक कि सभी बाधाएँ नहीं मिल जातीं {{math|''φ''<sub>''j''</sub>}}उन सभी को अनुक्रमित करेगा। ध्यान दें कि यह लेख किसी भी बाधा के लिए द्वितीयक बाधा का उपयोग करता है जो प्रारंभ में समस्या में नहीं थी या विहित संवेग की परिभाषा से ली गई थी; कुछ लेखक द्वितीयक बाधाओं, तृतीयक बाधाओं आदि के बीच अंतर करते हैं।


अंत में, अंतिम मामला ठीक करने में मदद करता है {{math|''u''<sub>''k''</sub>}}. यदि, इस प्रक्रिया के अंत में, {{math|''u''<sub>''k''</sub>}} पूरी तरह से निर्धारित नहीं हैं, तो इसका मतलब है कि सिस्टम में स्वतंत्रता की अभौतिक (गेज) डिग्री हैं। बार सभी बाधाओं (प्राथमिक और माध्यमिक) को भोले हैमिल्टनियन में जोड़ दिया जाता है और स्थिरता की स्थिति के समाधान के लिए {{math|''u<sub>k</sub>''}} को प्लग इन किया जाता है, परिणाम को कुल हैमिल्टनियन कहा जाता है।
अंत में, अंतिम मामला ठीक करने में मदद करता है {{math|''u''<sub>''k''</sub>}}यदि, इस प्रक्रिया के अंत में, {{math|''u''<sub>''k''</sub>}} पूरी प्रकार से निर्धारित नहीं हैं, तो इसका कारण है कि सिस्टम में स्वतंत्रता की अभौतिक (गेज) डिग्री हैं। बार सभी बाधाओं (प्राथमिक और माध्यमिक) को भोले हैमिल्टनियन में जोड़ दिया जाता है और स्थिरता की स्थिति के समाधान के लिए {{math|''u<sub>k</sub>''}} को प्लग इन किया जाता है, परिणाम को कुल हैमिल्टनियन कहा जाता है।


=== का निर्धारण {{math|''u''<sub>''k''</sub>}}===
=== का निर्धारण {{math|''u''<sub>''k''</sub>}}===
Line 173: Line 175:
\sum_k V_k\{\phi_j,\phi_k\}_{PB}\approx 0.
\sum_k V_k\{\phi_j,\phi_k\}_{PB}\approx 0.
</math>
</math>
सबसे सामान्य समाधान उपरोक्त सजातीय समीकरण के रैखिक रूप से स्वतंत्र समाधानों का रैखिक संयोजन होगा। रैखिक रूप से स्वतंत्र समाधानों की संख्या की संख्या के बराबर होती है {{math|''u''<sub>''k''</sub>}} (जो बाधाओं की संख्या के समान है) चौथे प्रकार की स्थिरता स्थितियों की संख्या घटाएं (पिछले उपधारा में)। यह सिस्टम में स्वतंत्रता की अभौतिक डिग्री की संख्या है। रैखिक स्वतंत्र समाधानों को लेबल करना {{math|''V''<sub>''k''</sub><sup>''a''</sup>}} जहां सूचकांक {{mvar|a}} से चलती है {{math|1}} स्वतंत्रता की अभौतिक डिग्री की संख्या के लिए, स्थिरता की स्थिति का सामान्य समाधान रूप का है
सबसे सामान्य समाधान उपरोक्त सजातीय समीकरण के रैखिक रूप से स्वतंत्र समाधानों का रैखिक संयोजन होगा। रैखिक रूप से स्वतंत्र समाधानों की संख्या की संख्या के समान होती है {{math|''u''<sub>''k''</sub>}} (जो बाधाओं की संख्या के समान है) चौथे प्रकार की स्थिरता स्थितियों की संख्या घटाएं (पिछले उपधारा में)। यह सिस्टम में स्वतंत्रता की अभौतिक डिग्री की संख्या है। रैखिक स्वतंत्र समाधानों को लेबल करना {{math|''V''<sub>''k''</sub><sup>''a''</sup>}} जहां सूचकांक {{mvar|a}} से चलती है {{math|1}} स्वतंत्रता की अभौतिक डिग्री की संख्या के लिए, स्थिरता की स्थिति का सामान्य समाधान रूप का है


:<math>
:<math>
Line 196: Line 198:
\dot{f} \approx \{f, H_T\}_{PB}.
\dot{f} \approx \{f, H_T\}_{PB}.
</math>
</math>
बाद में, विस्तारित हैमिल्टनियन को पेश किया गया। गेज-अपरिवर्तनीय (भौतिक रूप से मापने योग्य मात्रा) मात्राओं के लिए, सभी हैमिल्टनवासियों को समान समय विकास देना चाहिए, क्योंकि वे सभी कमजोर रूप से समतुल्य हैं। यह केवल नॉनगेज-अपरिवर्तनीय मात्राओं के लिए है कि भेद महत्वपूर्ण हो जाता है।
बाद में, विस्तारित हैमिल्टनियन को पेश किया गया। गेज-अपरिवर्तनीय (भौतिक रूप से मापने योग्य मात्रा) मात्राओं के लिए, सभी हैमिल्टनवासियों को समान समय विकास देना चाहिए, क्योंकि वे सभी अशक्त रूप से समतुल्य हैं। यह केवल नॉनगेज-अपरिवर्तनीय मात्राओं के लिए है कि भेद महत्वपूर्ण हो जाता है।


== डिराक ब्रैकेट ==
== डिराक ब्रैकेट ==
डिराक की संशोधित हैमिल्टनियन प्रक्रिया में गति के समीकरण खोजने के लिए ऊपर वह सब कुछ है जो आवश्यक है। हालाँकि, गति के समीकरण होना सैद्धांतिक विचारों का अंतिम बिंदु नहीं है। यदि कोई सामान्य प्रणाली को प्रामाणिक रूप से परिमाणित करना चाहता है, तो उसे डिराक कोष्ठक की आवश्यकता होती है। डिराक कोष्ठक को परिभाषित करने से पहले, प्रथम श्रेणी और द्वितीय श्रेणी की बाधाओं को पेश करने की आवश्यकता है।
डिराक की संशोधित हैमिल्टनियन प्रक्रिया में गति के समीकरण खोजने के लिए ऊपर वह सब कुछ है जो आवश्यक है। हालाँकि, गति के समीकरण होना सैद्धांतिक विचारों का अंतिम बिंदु नहीं है। यदि कोई सामान्य प्रणाली को प्रामाणिक रूप से परिमाणित करना चाहता है, तो उसे डिराक कोष्ठक की आवश्यकता होती है। डिराक कोष्ठक को परिभाषित करने से पहले, प्रथम श्रेणी और द्वितीय श्रेणी की बाधाओं को पेश करने की आवश्यकता है।


हम फ़ंक्शन कहते हैं {{math|''f(q, p)''}} निर्देशांक और संवेग प्रथम श्रेणी के यदि इसका पॉइसन ब्रैकेट सभी बाधाओं के साथ कमजोर रूप से गायब हो जाता है, अर्थात,
हम फ़ंक्शन कहते हैं {{math|''f(q, p)''}} निर्देशांक और संवेग प्रथम श्रेणी के यदि इसका पॉइसन ब्रैकेट सभी बाधाओं के साथ अशक्त रूप से गायब हो जाता है, अर्थात,


:<math>
:<math>
\{f, \phi_j\}_{PB} \approx 0,
\{f, \phi_j\}_{PB} \approx 0,
</math>
</math>
सभी के लिए {{mvar|j}}. ध्यान दें कि एकमात्र मात्राएँ जो कमजोर रूप से गायब हो जाती हैं वे बाधाएँ हैं {{math|''φ''<sub>''j''</sub>}}, और इसलिए जो कुछ भी कमजोर रूप से गायब हो जाता है वह दृढ़ता से बाधाओं के रैखिक संयोजन के बराबर होना चाहिए। कोई यह प्रदर्शित कर सकता है कि दो प्रथम श्रेणी मात्राओं का पॉइसन ब्रैकेट भी प्रथम श्रेणी होना चाहिए। प्रथम श्रेणी की बाधाएं पहले उल्लिखित स्वतंत्रता की अभौतिक डिग्री के साथ घनिष्ठ रूप से जुड़ी हुई हैं। अर्थात्, स्वतंत्र प्रथम श्रेणी बाधाओं की संख्या स्वतंत्रता की अभौतिक डिग्री की संख्या के बराबर है, और इसके अलावा, प्राथमिक प्रथम श्रेणी बाधाएं गेज परिवर्तन उत्पन्न करती हैं। डिराक ने आगे कहा कि सभी माध्यमिक प्रथम श्रेणी की बाधाएँ गेज परिवर्तनों के जनक हैं, जो गलत साबित होती हैं; हालाँकि, आम तौर पर कोई इस धारणा के तहत काम करता है कि इस उपचार का उपयोग करते समय सभी प्रथम श्रेणी की बाधाएं गेज परिवर्तन उत्पन्न करती हैं।<ref>See Henneaux and Teitelboim, pages 18-19.</ref>
सभी के लिए {{mvar|j}}ध्यान दें कि एकमात्र मात्राएँ जो अशक्त रूप से गायब हो जाती हैं वे बाधाएँ हैं {{math|''φ''<sub>''j''</sub>}}, और इसलिए जो कुछ भी अशक्त रूप से गायब हो जाता है वह दृढ़ता से बाधाओं के रैखिक संयोजन के समान होना चाहिए। कोई यह प्रदर्शित कर सकता है कि दो प्रथम श्रेणी मात्राओं का पॉइसन ब्रैकेट भी प्रथम श्रेणी होना चाहिए। प्रथम श्रेणी की बाधाएं पहले उल्लिखित स्वतंत्रता की अभौतिक डिग्री के साथ घनिष्ठ रूप से जुड़ी हुई हैं। अर्थात्, स्वतंत्र प्रथम श्रेणी बाधाओं की संख्या स्वतंत्रता की अभौतिक डिग्री की संख्या के समान है, और इसके अलावा, प्राथमिक प्रथम श्रेणी बाधाएं गेज परिवर्तन उत्पन्न करती हैं। डिराक ने आगे कहा कि सभी माध्यमिक प्रथम श्रेणी की बाधाएँ गेज परिवर्तनों के जनक हैं, जो गलत साबित होती हैं; हालाँकि, आम तौर पर कोई इस धारणा के तहत काम करता है कि इस उपचार का उपयोग करते समय सभी प्रथम श्रेणी की बाधाएं गेज परिवर्तन उत्पन्न करती हैं।<ref>See Henneaux and Teitelboim, pages 18-19.</ref>
जब प्रथम श्रेणी के माध्यमिक अवरोधों को हैमिल्टनियन में मनमाने ढंग से जोड़ा जाता है {{math|''v''<sub>''a''</sub>}} जैसे ही कुल हैमिल्टनियन पर पहुंचने के लिए प्रथम श्रेणी की प्राथमिक बाधाओं को जोड़ा जाता है, तो व्यक्ति को विस्तारित हैमिल्टनियन प्राप्त होता है। विस्तारित हैमिल्टनियन किसी भी गेज-निर्भर मात्रा के लिए सबसे सामान्य संभव समय विकास देता है, और वास्तव में लैग्रेंजियन औपचारिकता से गति के समीकरणों को सामान्यीकृत कर सकता है।
जब प्रथम श्रेणी के माध्यमिक अवरोधों को हैमिल्टनियन में मनमाने ढंग से जोड़ा जाता है {{math|''v''<sub>''a''</sub>}} जैसे ही कुल हैमिल्टनियन पर पहुंचने के लिए प्रथम श्रेणी की प्राथमिक बाधाओं को जोड़ा जाता है, तो व्यक्ति को विस्तारित हैमिल्टनियन प्राप्त होता है। विस्तारित हैमिल्टनियन किसी भी गेज-निर्भर मात्रा के लिए सबसे सामान्य संभव समय विकास देता है, और वास्तव में लैग्रेंजियन औपचारिकता से गति के समीकरणों को सामान्यीकृत कर सकता है।


Line 223: Line 225:
जहां टोपियां इस तथ्य पर जोर देती हैं कि बाधाएं ऑपरेटरों पर हैं।
जहां टोपियां इस तथ्य पर जोर देती हैं कि बाधाएं ऑपरेटरों पर हैं।


ओर, विहित परिमाणीकरण उपरोक्त रूपान्तरण संबंध देता है, लेकिन दूसरी ओर {{mvar|φ}}<sub>1</sub> और {{math|''φ''<sub>2</sub>}} ऐसी बाधाएं हैं जो भौतिक अवस्थाओं पर गायब होनी चाहिए, जबकि दाहिना हाथ गायब नहीं हो सकता। यह उदाहरण पॉइसन ब्रैकेट के कुछ सामान्यीकरण की आवश्यकता को दर्शाता है जो सिस्टम की बाधाओं का सम्मान करता है, और जो सुसंगत परिमाणीकरण प्रक्रिया की ओर ले जाता है। यह नया ब्रैकेट द्विरेखीय, एंटीसिमेट्रिक होना चाहिए, पॉइसन ब्रैकेट की तरह जैकोबी पहचान को संतुष्ट करना चाहिए, अप्रतिबंधित प्रणालियों के लिए पॉइसन ब्रैकेट को कम करना चाहिए, और, इसके अतिरिक्त, किसी भी अन्य मात्रा के साथ किसी भी द्वितीय श्रेणी की बाधा का ब्रैकेट गायब होना चाहिए।
ओर, विहित परिमाणीकरण उपरोक्त रूपान्तरण संबंध देता है, लेकिन दूसरी ओर {{mvar|φ}}<sub>1</sub> और {{math|''φ''<sub>2</sub>}} ऐसी बाधाएं हैं जो भौतिक अवस्थाओं पर गायब होनी चाहिए, चूँकि दाहिना हाथ गायब नहीं हो सकता। यह उदाहरण पॉइसन ब्रैकेट के कुछ सामान्यीकरण की आवश्यकता को दर्शाता है जो सिस्टम की बाधाओं का सम्मान करता है, और जो सुसंगत परिमाणीकरण प्रक्रिया की ओर ले जाता है। यह नया ब्रैकेट द्विरेखीय, एंटीसिमेट्रिक होना चाहिए, पॉइसन ब्रैकेट की प्रकार जैकोबी पहचान को संतुष्ट करना चाहिए, अप्रतिबंधित प्रणालियों के लिए पॉइसन ब्रैकेट को कम करना चाहिए, और, इसके अतिरिक्त, किसी भी अन्य मात्रा के साथ किसी भी द्वितीय श्रेणी की बाधा का ब्रैकेट गायब होना चाहिए।


इस बिंदु पर, द्वितीय श्रेणी की बाधाओं को लेबल किया जाएगा <math> \tilde{\phi}_a </math>. प्रविष्टियों के साथ मैट्रिक्स परिभाषित करें
इस बिंदु पर, द्वितीय श्रेणी की बाधाओं को लेबल किया जाएगा <math> \tilde{\phi}_a </math>प्रविष्टियों के साथ आव्युह परिभाषित करें
:<math>
:<math>
M_{ab} = \{\tilde{\phi}_a,\tilde{\phi}_b\}_{PB}.
M_{ab} = \{\tilde{\phi}_a,\tilde{\phi}_b\}_{PB}.
</math>
</math>
इस मामले में, चरण स्थान पर दो कार्यों का डिराक ब्रैकेट, {{mvar|f}} और {{mvar|g}}, परिभाषित किया जाता है
इस स्थितियों में, चरण स्थान पर दो कार्यों का डिराक ब्रैकेट, {{mvar|f}} और {{mvar|g}}, परिभाषित किया जाता है
{{Equation box 1
{{Equation box 1
|indent =:
|indent =:
Line 239: Line 241:
|border colour = #0073CF
|border colour = #0073CF
|background colour=#F9FFF7}}
|background colour=#F9FFF7}}
कहाँ {{math|''M''<sup>−1</sup><sub>''ab''</sub>}} दर्शाता है {{math|''ab''}}की प्रविष्टि {{mvar|M}} का व्युत्क्रम मैट्रिक्स। डिराक ने यह साबित कर दिया {{mvar|M}} सदैव उलटा रहेगा.
कहाँ {{math|''M''<sup>−1</sup><sub>''ab''</sub>}} दर्शाता है {{math|''ab''}}की प्रविष्टि {{mvar|M}} का व्युत्क्रम मैट्रिक्स। डिराक ने यह साबित कर दिया {{mvar|M}} सदैव उलटा रहेगा।


यह जांचना सीधा है कि डिराक ब्रैकेट की उपरोक्त परिभाषा सभी वांछित गुणों को संतुष्ट करती है, और विशेष रूप से अंतिम, तर्क के लिए गायब हो जाती है जो द्वितीय श्रेणी की बाधा है।
यह जांचना सीधा है कि डिराक ब्रैकेट की उपरोक्त परिभाषा सभी वांछित गुणों को संतुष्ट करती है, और विशेष रूप से अंतिम, तर्क के लिए गायब हो जाती है जो द्वितीय श्रेणी की बाधा है।


विवश हैमिल्टनियन प्रणाली पर विहित परिमाणीकरण लागू करते समय, ऑपरेटरों के कम्यूटेटर को प्रतिस्थापित किया जाता है {{math|''iħ''}} उनके शास्त्रीय डिराक ब्रैकेट का समय। चूंकि डिराक ब्रैकेट बाधाओं का सम्मान करता है, इसलिए किसी भी कमजोर समीकरण का उपयोग करने से पहले सभी ब्रैकेट का मूल्यांकन करने में सावधानी बरतने की आवश्यकता नहीं है, जैसा कि पॉइसन ब्रैकेट के मामले में है।
विवश हैमिल्टनियन प्रणाली पर विहित परिमाणीकरण प्रयुक्त करते समय, ऑपरेटरों के कम्यूटेटर को प्रतिस्थापित किया जाता है {{math|''iħ''}} उनके शास्त्रीय डिराक ब्रैकेट का समय। चूंकि डिराक ब्रैकेट बाधाओं का सम्मान करता है, इसलिए किसी भी अशक्त समीकरण का उपयोग करने से पहले सभी ब्रैकेट का मूल्यांकन करने में सावधानी बरतने की आवश्यकता नहीं है, जैसा कि पॉइसन ब्रैकेट के स्थितियों में है।


ध्यान दें कि जबकि बोसोनिक (ग्रासमैन सम) चर का पॉइसन ब्रैकेट स्वयं गायब हो जाना चाहिए, [[ग्रासमैन संख्या]] के रूप में दर्शाए गए फर्मियन के पॉइसन ब्रैकेट को गायब होने की आवश्यकता नहीं है। इसका मतलब यह है कि फर्मियोनिक मामले में विषम संख्या में द्वितीय श्रेणी की बाधाएं होना संभव है।
ध्यान दें कि चूँकि बोसोनिक (ग्रासमैन सम) चर का पॉइसन ब्रैकेट स्वयं गायब हो जाना चाहिए, [[ग्रासमैन संख्या]] के रूप में दर्शाए गए फर्मियन के पॉइसन ब्रैकेट को गायब होने की आवश्यकता नहीं है। इसका कारण यह है कि फर्मियोनिक स्थितियों में विषम संख्या में द्वितीय श्रेणी की बाधाएं होना संभव है।


== दिए गए उदाहरण पर चित्रण ==
== दिए गए उदाहरण पर चित्रण ==


उपरोक्त उदाहरण पर लौटते हुए, अनुभवहीन हैमिल्टनियन और दो प्राथमिक बाधाएँ हैं
उपर्युक्त उदाहरण पर वापस आते हैं, अनुभवहीन हैमिल्टनियन और दो प्राथमिक बाधाएँ हैं


:<math>
:<math>
Line 257: Line 259:
\phi_1 = p_x + \tfrac{q B}{2c} y,\qquad \phi_2 = p_y - \tfrac{q B}{2 c} x.
\phi_1 = p_x + \tfrac{q B}{2c} y,\qquad \phi_2 = p_y - \tfrac{q B}{2 c} x.
</math>
</math>
इसलिए, विस्तारित हैमिल्टनियन लिखा जा सकता है
इसलिए, विस्तारित हैमिल्टोनियन को इस प्रकार लिखा जा सकता है


:<math>
:<math>
H^* = V(x, y) + u_1 \left(p_x + \tfrac{q B}{2c}y\right) + u_2 \left(p_y - \tfrac{q B}{2c}x\right).
H^* = V(x, y) + u_1 \left(p_x + \tfrac{q B}{2c}y\right) + u_2 \left(p_y - \tfrac{q B}{2c}x\right).
</math>
</math>
अगला कदम स्थिरता की शर्तों को लागू करना है {{math|<nowiki>{</nowiki>''Φ''<sub>''j''</sub>, ''H''<sup>*</sup><nowiki>}</nowiki><sub>''PB''</sub> ≈ 0}}, जो इस मामले में बन जाता है
अगला कदम स्थिरता की शर्तों को प्रयुक्त करना है {{math|<nowiki>{</nowiki>''Φ''<sub>''j''</sub>, ''H''<sup>*</sup><nowiki>}</nowiki><sub>''PB''</sub> ≈ 0}}, जो इस स्थितियों में बन जाता है


:<math>
:<math>
Line 270: Line 272:
\{\phi_2, H\}_{PB}+\sum_j u_j\{\phi_2, \phi_j\}_{PB} = -\frac{\partial V}{\partial y} - u_1 \frac{q B}{c} \approx 0.
\{\phi_2, H\}_{PB}+\sum_j u_j\{\phi_2, \phi_j\}_{PB} = -\frac{\partial V}{\partial y} - u_1 \frac{q B}{c} \approx 0.
</math>
</math>
ये द्वितीयक बाधाएँ नहीं हैं, बल्कि स्थितियाँ हैं जो ठीक करती हैं {{math|''u''<sub>1</sub>}} और {{math|''u''<sub>2</sub>}}. इसलिए, कोई माध्यमिक बाधाएं नहीं हैं और मनमाना गुणांक पूरी तरह से निर्धारित हैं, जो दर्शाता है कि स्वतंत्रता की कोई अभौतिक डिग्री नहीं हैं।
ये द्वितीयक बाधाएँ नहीं हैं, किंतु ये ऐसी स्थितियाँ हैं जो {{math|''u''<sub>1</sub>}} और {{math|''u''<sub>2</sub>}} ठीक  करने के लिए हैं। इसलिए, कोई दूसरी प्रतिबंधियाँ नहीं हैं और यह ऐसा पूरी प्रकार से निर्दिष्ट करता है कि कोई अभौतिक गुणमान नहीं हैं।


यदि कोई के मानों के साथ प्लग इन करता है {{math|''u''<sub>1</sub>}} और {{math|''u''<sub>2</sub>}}, तो कोई देख सकता है कि गति के समीकरण हैं
यदि कोई {{math|''u''<sub>1</sub>}} और {{math|''u''<sub>2</sub>}} के मानों के साथ प्लग इन करता है, तो कोई देख सकता है कि गति के समीकरण हैं


:<math>
:<math>
Line 286: Line 288:
\dot{p}_y = -\frac{1}{2}\frac{\partial V}{\partial y},
\dot{p}_y = -\frac{1}{2}\frac{\partial V}{\partial y},
</math>
</math>
जो आत्मनिर्भर हैं और गति के लैग्रेंजियन समीकरणों से मेल खाते हैं।
जो आत्मनिर्भर हैं और गति के लैग्रेंजियन समीकरणों से समरूप हैं।


साधारण गणना इसकी पुष्टि करती है {{math|''φ''<sub>1</sub>}} और {{math|''φ''<sub>2</sub>}} चूँकि द्वितीय श्रेणी की बाधाएँ हैं
साधारण गणना इसकी पुष्टि करती है कि {{math|''φ''<sub>1</sub>}} और {{math|''φ''<sub>2</sub>}} दूसरी प्रकार की प्रतिबंधियाँ हैं, क्योंकि


:<math>
:<math>
\{\phi_1, \phi_2\}_{PB} = - \{\phi_2, \phi_1\}_{PB} = \frac{q B}{c},
\{\phi_1, \phi_2\}_{PB} = - \{\phi_2, \phi_1\}_{PB} = \frac{q B}{c},
</math>
</math>
इसलिए मैट्रिक्स जैसा दिखता है
इसलिए आव्युह ऐसी दिखती है


:<math>
:<math>
Line 311: Line 313:
\end{matrix}\right) \quad\Rightarrow\quad M^{-1}_{ab} = -\frac{c}{q B_0} \varepsilon_{ab},
\end{matrix}\right) \quad\Rightarrow\quad M^{-1}_{ab} = -\frac{c}{q B_0} \varepsilon_{ab},
</math>
</math>
कहाँ {{math|''ε''<sub>''ab''</sub>}} [[लेवी-सिविटा प्रतीक]] है। इस प्रकार, डिराक कोष्ठक को परिभाषित किया गया है
यहाँ {{math|''ε''<sub>''ab''</sub>}} [[लेवी-सिविटा प्रतीक]] है। इस प्रकार, डिराक कोष्ठक को इस प्रकार परिभाषित किया जाता है


:<math>
:<math>
\{f, g\}_{DB} = \{f, g\}_{PB} + \frac{c\varepsilon_{ab}}{q B}  \{f, \phi_a\}_{PB}\{\phi_b, g\}_{PB}.
\{f, g\}_{DB} = \{f, g\}_{PB} + \frac{c\varepsilon_{ab}}{q B}  \{f, \phi_a\}_{PB}\{\phi_b, g\}_{PB}.
</math>
</math>
यदि कोई हमेशा पॉइसन ब्रैकेट के बजाय डिराक ब्रैकेट का उपयोग करता है, तो बाधाओं को लागू करने और अभिव्यक्तियों का मूल्यांकन करने के क्रम के बारे में कोई समस्या नहीं है, क्योंकि कमजोर रूप से शून्य किसी भी चीज का डिराक ब्रैकेट दृढ़ता से शून्य के बराबर होता है। इसका मतलब यह है कि कोई व्यक्ति गति के सही समीकरण प्राप्त करने के लिए डायराक कोष्ठक के साथ सरल हैमिल्टनियन का उपयोग कर सकता है, जिसकी पुष्टि उपरोक्त समीकरणों पर आसानी से की जा सकती है।
यदि कोई सदैव पॉइसन ब्रैकेट के अतिरिक्त डिराक ब्रैकेट का उपयोग करता है, तो बाधाओं को प्रयुक्त करने और अभिव्यक्तियों का मूल्यांकन करने के क्रम के बारे में कोई समस्या नहीं है, क्योंकि अशक्त रूप से शून्य किसी भी चीज का डिराक ब्रैकेट दृढ़ता से शून्य के समान होता है। इसका कारण यह है कि कोई व्यक्ति गति के सही समीकरण प्राप्त करने के लिए डायराक कोष्ठक के साथ सरल हैमिल्टनियन का उपयोग कर सकता है, जिसकी पुष्टि उपरोक्त समीकरणों पर आसानी से की जा सकती है।


सिस्टम को परिमाणित करने के लिए, सभी चरण स्थान चर के बीच डायराक ब्रैकेट की आवश्यकता होती है। इस प्रणाली के लिए गैर-लुप्त होने वाले डिराक ब्रैकेट हैं
सिस्टम को परिमाणित करने के लिए, सभी चरण स्थान चर के बीच डायराक ब्रैकेट की आवश्यकता होती है। इस प्रणाली के लिए गैर-लुप्त होने वाले डिराक ब्रैकेट हैं
Line 326: Line 328:
\{x, p_x\}_{DB} = \{y, p_y\}_{DB} = \tfrac{1}{2}
\{x, p_x\}_{DB} = \{y, p_y\}_{DB} = \tfrac{1}{2}
</math>
</math>
जबकि क्रॉस-टर्म गायब हो जाते हैं, और
चूँकि क्रॉस-टर्म गायब हो जाते हैं, और


:<math>
:<math>
Line 344: Line 346:
[\hat{p}_x, \hat{p}_y] = -i\frac{\hbar q B}{4c}~.
[\hat{p}_x, \hat{p}_y] = -i\frac{\hbar q B}{4c}~.
</math>
</math>
इस उदाहरण के बीच गैर-लुप्त होने वाला कम्यूटेटर है {{math|{{overset|&and;|''x''}}}} और {{math|{{overset|&and;|''y''}}}}, जिसका अर्थ है कि यह संरचना [[गैर-अनुवांशिक ज्यामिति]] निर्दिष्ट करती है। (चूंकि दोनों निर्देशांक आवागमन नहीं करते हैं, इसलिए इनके लिए अनिश्चितता सिद्धांत होगा {{mvar|x}} और {{mvar|y}} पद.)
इस उदाहरण में {{math|{{overset|&and;|''x''}}}} और {{math|{{overset|&and;|''y''}}}} के बीच गैर-लुप्त होने वाला कम्यूटेटर है, जिसका अर्थ है कि यह संरचना [[गैर-अनुवांशिक ज्यामिति]] निर्दिष्ट करती है। (चूंकि दोनों निर्देशांक आवागमन नहीं करते हैं, इसलिए {{mvar|x}} और {{mvar|y}} पद इनके लिए अनिश्चितता सिद्धांत होगा।)


==हाइपरस्फेयर के लिए आगे का चित्रण==
==हाइपरस्फेयर के लिए आगे का चित्रण==
इसी प्रकार, हाइपरस्फीयर पर मुक्त गति के लिए {{math|''S''<sup>''n''</sup>}}, द {{math|n + 1}} निर्देशांक बाधित हैं, {{math|''x<sub>i</sub> x<sup>i</sup>'' {{=}} 1}}. सादे गतिज लैग्रेंजियन से, यह स्पष्ट है कि उनका संवेग उनके लंबवत है, {{math|''x<sub>i</sub> p<sup>i</sup>'' {{=}} 0}}. इस प्रकार संबंधित डायराक ब्रैकेट्स को कार्यान्वित करना भी आसान है,<ref>{{Cite journal | last1 = Corrigan | first1 = E. | last2 = Zachos | first2 = C. K. | doi = 10.1016/0370-2693(79)90465-9 | title = Non-local charges for the supersymmetric σ-model | journal = Physics Letters B | volume = 88 | issue = 3–4 | pages = 273 | year = 1979 |bibcode = 1979PhLB...88..273C }}</ref>
इसी प्रकार, हाइपरस्फीयर {{math|''S''<sup>''n''</sup>}} पर मुक्त गति के लिए, द {{math|n + 1}} स्थानांतरों को बाधित किया जाता है, {{math|''x<sub>i</sub> x<sup>i</sup>'' {{=}} 1}}।  सादे गतिज लैग्रेंजियन से, यह स्पष्ट है कि उनके मोमेंटा उनके के साथ अनुप्रयुक्त होते हैं, {{math|''x<sub>i</sub> p<sup>i</sup>'' {{=}} 0}}इस प्रकार से संबंधित डिरैक ब्रैकेट्स को समाधान करना भी सरल है,<ref>{{Cite journal | last1 = Corrigan | first1 = E. | last2 = Zachos | first2 = C. K. | doi = 10.1016/0370-2693(79)90465-9 | title = Non-local charges for the supersymmetric σ-model | journal = Physics Letters B | volume = 88 | issue = 3–4 | pages = 273 | year = 1979 |bibcode = 1979PhLB...88..273C }}</ref>
:<math>
:<math>
\{x_i, x_j\}_{DB} = 0,
\{x_i, x_j\}_{DB} = 0,
Line 356: Line 358:
\{p_i, p_j\}_{DB} = x_j p_i - x_i p_j ~.
\{p_i, p_j\}_{DB} = x_j p_i - x_i p_j ~.
</math>
</math>
({{math|2''n'' + 1)}} बाधित चरण-स्थान चर {{math|(''x<sub>i</sub>, p<sub>i</sub>'')}} की तुलना में बहुत सरल डिराक कोष्ठक का पालन करें {{math|2''n''}} अप्रतिबंधित चर, ने इनमें से को हटा दिया था {{mvar|x}}s और {{mvar|p}}दो बाधाओं के माध्यम से अब इनिटियो, जो सादे पॉइसन ब्रैकेट का पालन करेगा। डिराक ब्रैकेट अत्यधिक (बाधित) चरण-स्थान चर की कीमत पर सादगी और लालित्य जोड़ते हैं।
({{math|2''n'' + 1)}} प्रतिबद्ध चरण-स्थानीय चर मानक {{math|(''x<sub>i</sub>, p<sub>i</sub>'')}} {{math|2''n''}} अनिर्बंधित मानों की समानता में बहुत आसान दीराक ब्रैकेट का अनुसरण करते हैं, यदि कोई  {{mvar|x}}s और {{mvar|p}} को प्रारंभिक रूप से दो प्रतिबद्धियों के माध्यम से हटा जाता है, जो सामान्य पॉइसन ब्रैकेट का अनुसरण करेगा। ये दीराक ब्रैकेट सरलता और शैली जोड़ते हैं, लेकिन इसके साथ ही (प्रतिबद्ध) चर-स्थानीय चर मानों की अत्यधिक संख्या की लागत पर होते हैं।


उदाहरण के लिए, किसी वृत्त पर मुक्त गति के लिए, {{math|1=''n'' = 1}}, के लिए {{math|''x''<sub>1</sub> ≡ z}} और उन्मूलन {{math|''x''<sub>2</sub>}} वृत्त बाधा से अप्रतिबंधित की प्राप्ति होती है
उदाहरण के लिए, किसी वृत्त पर मुक्त गति के लिए, {{math|1=''n'' = 1}}, के लिए {{math|''x''<sub>1</sub> ≡ z}} और उन्मूलन {{math|''x''<sub>2</sub>}} वृत्त बाधा से अप्रतिबंधित की प्राप्ति होती है
Line 364: Line 366:


:<math>{\ddot z} =-z  \frac {{\dot z}^2}{1-z^2} =-z 2E ~,</math>
:<math>{\ddot z} =-z  \frac {{\dot z}^2}{1-z^2} =-z 2E ~,</math>
दोलन; जबकि समतुल्य विवश प्रणाली के साथ {{math|1=''H'' = ''p''<sup>2</sup>/2 = ''E''}} पैदावार
अधिकारी; चूँकि {{math|1=''H'' = ''p''<sup>2</sup>/2 = ''E''}} देने वाले समकिट सिस्टम के लिए


:<math>{\dot x}^i  =\{x^i,H\}_{DB} = p^i~, </math> :<math>{\dot p}^i  =\{p^i,H\}_{DB} = x^i ~  p^2~, </math>
:<math>{\dot x}^i  =\{x^i,H\}_{DB} = p^i~, </math> :<math>{\dot p}^i  =\{p^i,H\}_{DB} = x^i ~  p^2~, </math>
जहां से, तुरंत, वस्तुतः निरीक्षण द्वारा, दोनों चर के लिए दोलन,
और इसके फलस्वरूप, तुरंत, अदृश्यता से, दोनों परिवर्तनों के लिए ओसिलेशन,


:<math>{\ddot x}^i = - x^i 2E ~. </math>
:<math>{\ddot x}^i = - x^i 2E ~. </math>

Revision as of 20:59, 29 November 2023

डिराक ब्रैकेट, जो पॉल डिराक द्वारा विकसित पॉइसन ब्रैकेट का सामान्यीकरण है,[1] हैमिल्टनियन यांत्रिकी में द्वितीय श्रेणी की बाधाओं के साथ शास्त्रीय प्रणालियों का समाधान करने के लिए रचना की गई है, और इस प्रकार उन्हें विहित परिमाणीकरण से गुजरने की अनुमति मिल सके। यह डिरैक के हैमिल्टनियन यांत्रिकी के विकास का महत्वपूर्ण भाग है जिससे अधिक सामान्य लैग्रेंजियन यांत्रिकी को सुरुचिपूर्ण ढंग से संभाला जा सके; विशेष रूप से, जब बाधाएं हाथ में हों, जिससे स्पष्ट चर की संख्या गतिशील चर से अधिक हो।[2] अधिक संक्षेप में, डिराक ब्रैकेट से निहित दो-रूप चरण स्थान में बाधा सतह पर सिंपलेक्टिक मैनिफ़ोल्ड का प्रतिबंध है।[3]

यह लेख मानक लैग्रेंजियन यांत्रिकी और हैमिल्टनियन यांत्रिकी औपचारिकताओं से परिचित है, और विहित परिमाणीकरण से उनका संबंध मानता है। डिराक ब्रैकेट को संदर्भ में रखने के लिए डिराक की संशोधित हैमिल्टनियन औपचारिकता का विवरण भी संक्षेप में प्रस्तुत किया गया है।

मानक हैमिल्टनियन प्रक्रिया की अपर्याप्तता

हैमिल्टनियन यांत्रिकी का मानक विकास कई विशिष्ट स्थितियों में अपर्याप्त है:

  1. जब लैग्रेंजियन कम से कम निर्देशांक के वेग में अधिकतम रैखिक होता है;जिसका परिणामस्वरूप, विहित समन्वय की परिभाषा बाधा की ओर ले जाती है। यह डिराक ब्रैकेट का सहारा लेने का यह सबसे आम कारण है। उदाहरण के लिए, किसी भी फरमिओन्स के लिए लैग्रेंजियन (घनत्व) इस रूप का होता है।
  2. जब गेज फिक्सिंग (या अन्य अभौतिक) स्वतंत्रता की डिग्री होती है जिसे ठीक करने की आवश्यकता होती है।
  3. जब कोई अन्य बाधाएं होती हैं जिन्हें कोई चरण स्थान में प्रयुक्त करना चाहता है।

वेग में लैग्रेंजियन रैखिक का उदाहरण

शास्त्रीय यांत्रिकी में उदाहरण आवेश वाला कण है q और द्रव्यमान m तक ही सीमित है x - y मजबूत स्थिरांक, सजातीय लंबवत चुंबकीय क्षेत्र के साथ विमान, तो फिर की ओर इशारा करते हुए z-शक्ति के साथ दिशा B[4]

मापदंडों के उचित विकल्प के साथ इस प्रणाली के लिए लैग्रेंजियन है

कहाँ A चुंबकीय क्षेत्र के लिए सदिश क्षमता है, B; c निर्वात में प्रकाश की गति है; और V(r) मनमाना बाह्य अदिश विभव है; कोई इसे आसानी से द्विघात मान सकता है x और y, व्यापकता के नुकसान के बिना। हम उपयोग करते हैं

हमारी वेक्टर क्षमता के रूप में; यह z दिशा में समान और स्थिर चुंबकीय क्षेत्र B से मेल खाता है। यहां, टोपियाँ इकाई सदिशों को दर्शाती हैं। हालाँकि, बाद में लेख में, उनका उपयोग क्वांटम मैकेनिकल ऑपरेटरों को उनके शास्त्रीय एनालॉग्स से अलग करने के लिए किया जाता है। उपयोग सन्दर्भ से स्पष्ट होना चाहिए।

स्पष्ट रूप से, लैग्रेंजियन यांत्रिकी न्यायसंगत है

जो गति के समीकरणों की ओर ले जाता है

हार्मोनिक क्षमता के लिए, की ढाल V केवल निर्देशांक के समान है, −(x,y)

अब, बहुत बड़े चुंबकीय क्षेत्र की सीमा में, qB/mc ≫ 1। फिर कोई साधारण सन्निकट लैग्रेन्जियन उत्पन्न करने के लिए गतिज शब्द को छोड़ सकता है,

गति के प्रथम-क्रम समीकरणों के साथ

ध्यान दें कि यह अनुमानित लैग्रेंजियन वेग में रैखिक है, जो उन स्थितियों में से है जिसके तहत मानक हैमिल्टनियन प्रक्रिया टूट जाती है। हालाँकि इस उदाहरण को सन्निकटन के रूप में प्रेरित किया गया है, विचाराधीन लैग्रैन्जियन वैध है और लैग्रैन्जियन औपचारिकता में गति के लगातार समीकरणों की ओर ले जाता है।

हालाँकि, हैमिल्टनियन प्रक्रिया का पालन करते हुए, निर्देशांक से जुड़े विहित क्षण अब हैं

जो इस मायने में असामान्य हैं कि वे वेगों के व्युत्क्रमणीय नहीं हैं; इसके अतिरिक्त, वे निर्देशांक के कार्य होने के लिए बाध्य हैं: चार चरण-स्थान चर रैखिक रूप से निर्भर हैं, इसलिए परिवर्तनीय आधार अतिपूर्णता है।

लीजेंड्रे परिवर्तन तब हैमिल्टनियन का निर्माण करता है

ध्यान दें कि इस भोले हैमिल्टनियन की संवेग पर कोई निर्भरता नहीं है, जिसका अर्थ है कि गति के समीकरण (हैमिल्टन के समीकरण) असंगत हैं।

हैमिल्टनियन प्रक्रिया टूट गई है। कोई इसके दो घटकों को हटाकर समस्या को ठीक करने का प्रयास कर सकता है 4-आयामी चरण स्थान, मान लीजिए y और py, कम चरण स्थान तक 2 आयाम, जो कभी-कभी निर्देशांक को संवेग के रूप में और कभी-कभी निर्देशांक के रूप में व्यक्त करता है। हालाँकि, यह न तो कोई सामान्य और न ही कठोर समाधान है। यह स्थितियों की तह तक जाता है: विहित संवेग की परिभाषा से चरण स्थान (संवेग और निर्देशांक के बीच) पर बाधा का पता चलता है जिस पर कभी ध्यान नहीं दिया गया।

सामान्यीकृत हैमिल्टनियन प्रक्रिया

लैग्रेंजियन यांत्रिकी में, यदि सिस्टम में होलोनोमिक बाधाएं हैं, तो आम तौर पर उनके लिए लैग्रेंजियन में लैग्रेंज गुणक को जोड़ा जाता है। जब बाधाएं संतुष्ट हो जाती हैं तो अतिरिक्त शर्तें गायब हो जाती हैं, जिससे स्थिर कार्रवाई का मार्ग बाधा सतह पर होने के लिए मजबूर हो जाता है। इस स्थितियों में, हैमिल्टनियन औपचारिकता पर जाने से हैमिल्टनियन यांत्रिकी में चरण स्थान पर बाधा उत्पन्न होती है, लेकिन समाधान समान है।

आगे बढ़ने से पहले, 'अशक्त समानता' और 'मजबूत समानता' की धारणाओं को समझना उपयोगी है। चरण स्थान पर दो कार्य, f और g, अशक्त रूप से समान हैं यदि बाधाएं संतुष्ट होने पर वे समान हैं, लेकिन पूरे चरण स्थान में नहीं, दर्शाया गया है f ≈ g। अगर f और g बाधाओं के संतुष्ट होने से स्वतंत्र रूप से समान हैं, उन्हें दृढ़ता से समान, लिखित कहा जाता है f = g। यह ध्यान रखना महत्वपूर्ण है कि, सही उत्तर प्राप्त करने के लिए, डेरिवेटिव या पॉइसन ब्रैकेट का मूल्यांकन करने से पहले किसी भी अशक्त समीकरण का उपयोग नहीं किया जा सकता है।

नई प्रक्रिया इस प्रकार काम करती है, लैग्रेंजियन से शुरू करें और सामान्य तरीके से विहित संवेग को परिभाषित करें। उनमें से कुछ परिभाषाएँ उलटी नहीं हो सकती हैं और इसके अतिरिक्त चरण स्थान में बाधा देती हैं (जैसा कि ऊपर बताया गया है)। इस प्रकार उत्पन्न या समस्या की शुरुआत से लगाए गए अवरोधों को 'प्राथमिक अवरोध' कहा जाता है। बाधाएँ, लेबल φj, अशक्त रूप से गायब हो जाना चाहिए, φj (p,q) ≈ 0

इसके बाद, कोई भोला-भाला हैमिल्टनियन पाता है, H, लीजेंड्रे परिवर्तन के माध्यम से सामान्य तरीके से, बिल्कुल उपरोक्त उदाहरण की तरह। ध्यान दें कि हैमिल्टनियन को सदैव फ़ंक्शन के रूप में लिखा जा सकता है qरेत pकेवल, भले ही वेगों को संवेग के फलनों में उलटा न किया जा सके।

हैमिल्टनियन का सामान्यीकरण

डिराक का तर्क है कि हमें हैमिल्टनियन (कुछ हद तक लैग्रेंज मल्टीप्लायरों की विधि के अनुरूप) का सामान्यीकरण करना चाहिए

जहां cj स्थिरांक नहीं हैं किंतु निर्देशांक और संवेग के कार्य हैं। चूंकि यह नया हैमिल्टनियन निर्देशांक का सबसे सामान्य कार्य है और क्षणभंगुर हैमिल्टनियन के समान अशक्त है, H* हैमिल्टनियन का संभवतः सबसे व्यापक सामान्यीकरण है जिससे δH * ≈ δH कब δφj ≈ 0

को और अधिक रोशन करने के लिए cj, विचार करें कि मानक प्रक्रिया में भोले-भाले हैमिल्टनियन से गति के समीकरण कैसे प्राप्त किए जाते हैं। हैमिल्टनियन की भिन्नता को दो तरीकों से विस्तारित करता है और उन्हें समान सेट करता है (दबे हुए सूचकांकों और योगों के साथ कुछ संक्षिप्त संकेतन का उपयोग करके):

जहां गति के यूलर-लैग्रेंज समीकरणों और विहित गति की परिभाषा को सरल बनाने के बाद दूसरी समानता कायम है। इस समानता से, हैमिल्टनियन औपचारिकता में गति के समीकरणों का अनुमान लगाया जाता है

जहां अशक्त समानता प्रतीक अब स्पष्ट रूप से प्रदर्शित नहीं होता है, क्योंकि परिभाषा के अनुसार गति के समीकरण केवल अशक्त होते हैं। वर्तमान संदर्भ में, कोई केवल गुणांक निर्धारित नहीं कर सकता है δq और δp अलग से शून्य तक, क्योंकि भिन्नताएं कुछ हद तक बाधाओं द्वारा प्रतिबंधित हैं। विशेष रूप से, विविधताएं बाधा सतह के स्पर्शरेखा होनी चाहिए।

कोई इसका समाधान प्रदर्शित कर सकता है

विविधताओं के लिए δqn और δpn बाधाओं द्वारा प्रतिबंधित Φj ≈ 0 (यह मानते हुए कि बाधाएं कुछ नियमित कार्यों को संतुष्ट करती हैं) आम तौर पर है[5]

जहां um मनमाने कार्य हैं।

इस परिणाम के प्रयोग से गति के समीकरण बन जाते हैं

जहां uk निर्देशांक और वेग के कार्य हैं जिन्हें, सिद्धांत रूप में, उपरोक्त गति के दूसरे समीकरण से निर्धारित किया जा सकता है।

लैग्रेंजियन औपचारिकता और हैमिल्टनियन औपचारिकता के बीच लीजेंड्रे परिवर्तन को नए चर जोड़ने की कीमत पर बचाया गया है।

संगति की शर्तें

यदि, पॉइसन ब्रैकेट का उपयोग करते समय गति के समीकरण अधिक कॉम्पैक्ट हो जाते हैं f तो निर्देशांक और संवेग का कुछ कार्य है

यदि कोई मानता है कि पॉइसन ब्रैकेट के साथ uk (वेग के कार्य) मौजूद हैं; इससे कोई समस्या नहीं होती क्योंकि योगदान अशक्त रूप से गायब हो जाता है। अब, इस औपचारिकता को सार्थक बनाने के लिए कुछ स्थिरता की शर्तें हैं जिन्हें पूरा किया जाना चाहिए। यदि बाधाएं संतुष्ट होने वाली हैं, तो गति के उनके समीकरण अशक्त रूप से गायब हो जाने चाहिए, यानी हमें आवश्यकता है

उपरोक्त से चार अलग-अलग प्रकार की स्थितियाँ उत्पन्न हो सकती हैं:

  1. समीकरण जो स्वाभाविक रूप से गलत है, जैसे 1=0
  2. समीकरण जो संभवतः हमारे प्राथमिक अवरोधों में से किसी का उपयोग करने के बाद, समान रूप से सत्य है।
  3. समीकरण जो हमारे निर्देशांक और संवेग पर नई बाधाएँ डालता है, लेकिन इससे स्वतंत्र है uk
  4. समीकरण जो निर्दिष्ट करने का कार्य करता है uk

पहला मामला इंगित करता है कि प्रारंभिक लैग्रेंजियन गति के असंगत समीकरण देता है, जैसे L = q। दूसरा मामला कोई नया योगदान नहीं देता।

तीसरा मामला चरण स्थान में नई बाधाएँ देता है। इस तरीके से प्राप्त बाधा को द्वितीयक बाधा कहा जाता है। द्वितीयक बाधा का पता चलने पर उसे विस्तारित हैमिल्टनियन में जोड़ना चाहिए और नई स्थिरता स्थितियों की जांच करनी चाहिए, जिसके परिणामस्वरूप और भी अधिक बाधाएं उत्पन्न हो सकती हैं। इस प्रक्रिया को तब तक दोहराएँ जब तक कोई और बाधा न रह जाए। प्राथमिक और द्वितीयक बाधाओं के बीच अंतर काफी हद तक कृत्रिम है (अर्थात ही प्रणाली के लिए बाधा लैग्रेंजियन के आधार पर प्राथमिक या माध्यमिक हो सकती है), इसलिए यह लेख यहां से उनके बीच अंतर नहीं करता है। यह मानते हुए कि स्थिरता की स्थिति को तब तक दोहराया गया है जब तक कि सभी बाधाएँ नहीं मिल जातीं φjउन सभी को अनुक्रमित करेगा। ध्यान दें कि यह लेख किसी भी बाधा के लिए द्वितीयक बाधा का उपयोग करता है जो प्रारंभ में समस्या में नहीं थी या विहित संवेग की परिभाषा से ली गई थी; कुछ लेखक द्वितीयक बाधाओं, तृतीयक बाधाओं आदि के बीच अंतर करते हैं।

अंत में, अंतिम मामला ठीक करने में मदद करता है uk। यदि, इस प्रक्रिया के अंत में, uk पूरी प्रकार से निर्धारित नहीं हैं, तो इसका कारण है कि सिस्टम में स्वतंत्रता की अभौतिक (गेज) डिग्री हैं। बार सभी बाधाओं (प्राथमिक और माध्यमिक) को भोले हैमिल्टनियन में जोड़ दिया जाता है और स्थिरता की स्थिति के समाधान के लिए uk को प्लग इन किया जाता है, परिणाम को कुल हैमिल्टनियन कहा जाता है।

का निर्धारण uk

यूk प्रपत्र के अमानवीय रैखिक समीकरणों के सेट को हल करना होगा

उपरोक्त समीकरण में कम से कम समाधान होना चाहिए, अन्यथा प्रारंभिक लैग्रेंजियन असंगत है; हालाँकि, स्वतंत्रता की गेज डिग्री वाले सिस्टम में, समाधान अद्वितीय नहीं होगा। सबसे सामान्य समाधान प्रपत्र का है

कहाँ Uk विशेष समाधान है और Vk सजातीय समीकरण का सबसे सामान्य समाधान है

सबसे सामान्य समाधान उपरोक्त सजातीय समीकरण के रैखिक रूप से स्वतंत्र समाधानों का रैखिक संयोजन होगा। रैखिक रूप से स्वतंत्र समाधानों की संख्या की संख्या के समान होती है uk (जो बाधाओं की संख्या के समान है) चौथे प्रकार की स्थिरता स्थितियों की संख्या घटाएं (पिछले उपधारा में)। यह सिस्टम में स्वतंत्रता की अभौतिक डिग्री की संख्या है। रैखिक स्वतंत्र समाधानों को लेबल करना Vka जहां सूचकांक a से चलती है 1 स्वतंत्रता की अभौतिक डिग्री की संख्या के लिए, स्थिरता की स्थिति का सामान्य समाधान रूप का है

जहां vaसमय के पूर्णतः मनमाने कार्य हैं। का अलग विकल्प va गेज परिवर्तन से मेल खाता है, और सिस्टम की भौतिक स्थिति को अपरिवर्तित छोड़ देना चाहिए।[6]


कुल हैमिल्टनियन

इस बिंदु पर, कुल हैमिल्टनियन का परिचय देना स्वाभाविक है

और क्या दर्शाया गया है

चरण स्थान पर किसी फ़ंक्शन का समय विकास, f द्वारा शासित है

बाद में, विस्तारित हैमिल्टनियन को पेश किया गया। गेज-अपरिवर्तनीय (भौतिक रूप से मापने योग्य मात्रा) मात्राओं के लिए, सभी हैमिल्टनवासियों को समान समय विकास देना चाहिए, क्योंकि वे सभी अशक्त रूप से समतुल्य हैं। यह केवल नॉनगेज-अपरिवर्तनीय मात्राओं के लिए है कि भेद महत्वपूर्ण हो जाता है।

डिराक ब्रैकेट

डिराक की संशोधित हैमिल्टनियन प्रक्रिया में गति के समीकरण खोजने के लिए ऊपर वह सब कुछ है जो आवश्यक है। हालाँकि, गति के समीकरण होना सैद्धांतिक विचारों का अंतिम बिंदु नहीं है। यदि कोई सामान्य प्रणाली को प्रामाणिक रूप से परिमाणित करना चाहता है, तो उसे डिराक कोष्ठक की आवश्यकता होती है। डिराक कोष्ठक को परिभाषित करने से पहले, प्रथम श्रेणी और द्वितीय श्रेणी की बाधाओं को पेश करने की आवश्यकता है।

हम फ़ंक्शन कहते हैं f(q, p) निर्देशांक और संवेग प्रथम श्रेणी के यदि इसका पॉइसन ब्रैकेट सभी बाधाओं के साथ अशक्त रूप से गायब हो जाता है, अर्थात,

सभी के लिए j। ध्यान दें कि एकमात्र मात्राएँ जो अशक्त रूप से गायब हो जाती हैं वे बाधाएँ हैं φj, और इसलिए जो कुछ भी अशक्त रूप से गायब हो जाता है वह दृढ़ता से बाधाओं के रैखिक संयोजन के समान होना चाहिए। कोई यह प्रदर्शित कर सकता है कि दो प्रथम श्रेणी मात्राओं का पॉइसन ब्रैकेट भी प्रथम श्रेणी होना चाहिए। प्रथम श्रेणी की बाधाएं पहले उल्लिखित स्वतंत्रता की अभौतिक डिग्री के साथ घनिष्ठ रूप से जुड़ी हुई हैं। अर्थात्, स्वतंत्र प्रथम श्रेणी बाधाओं की संख्या स्वतंत्रता की अभौतिक डिग्री की संख्या के समान है, और इसके अलावा, प्राथमिक प्रथम श्रेणी बाधाएं गेज परिवर्तन उत्पन्न करती हैं। डिराक ने आगे कहा कि सभी माध्यमिक प्रथम श्रेणी की बाधाएँ गेज परिवर्तनों के जनक हैं, जो गलत साबित होती हैं; हालाँकि, आम तौर पर कोई इस धारणा के तहत काम करता है कि इस उपचार का उपयोग करते समय सभी प्रथम श्रेणी की बाधाएं गेज परिवर्तन उत्पन्न करती हैं।[7] जब प्रथम श्रेणी के माध्यमिक अवरोधों को हैमिल्टनियन में मनमाने ढंग से जोड़ा जाता है va जैसे ही कुल हैमिल्टनियन पर पहुंचने के लिए प्रथम श्रेणी की प्राथमिक बाधाओं को जोड़ा जाता है, तो व्यक्ति को विस्तारित हैमिल्टनियन प्राप्त होता है। विस्तारित हैमिल्टनियन किसी भी गेज-निर्भर मात्रा के लिए सबसे सामान्य संभव समय विकास देता है, और वास्तव में लैग्रेंजियन औपचारिकता से गति के समीकरणों को सामान्यीकृत कर सकता है।

डिराक ब्रैकेट को शुरू करने के प्रयोजनों के लिए, प्रथम श्रेणी बाधा#द्वितीय श्रेणी बाधाएं अधिक तात्कालिक रुचि की हैं। द्वितीय श्रेणी की बाधाएं ऐसी बाधाएं हैं जिनमें कम से कम अन्य बाधा के साथ गैर-लुप्त होने वाला पॉइसन ब्रैकेट होता है।

उदाहरण के लिए, द्वितीय श्रेणी की बाधाओं पर विचार करें φ1 और φ2 जिसका पॉइसन ब्रैकेट बस स्थिरांक है, c,

अब, मान लीजिए कि कोई विहित परिमाणीकरण को नियोजित करना चाहता है, तो चरण-अंतरिक्ष निर्देशांक ऑपरेटर बन जाते हैं जिनके कम्यूटेटर बन जाते हैं उनके शास्त्रीय पॉइसन ब्रैकेट का समय। यह मानते हुए कि ऐसे कोई ऑर्डरिंग मुद्दे नहीं हैं जो नए क्वांटम सुधारों को जन्म देते हैं, इसका तात्पर्य यह है

जहां टोपियां इस तथ्य पर जोर देती हैं कि बाधाएं ऑपरेटरों पर हैं।

ओर, विहित परिमाणीकरण उपरोक्त रूपान्तरण संबंध देता है, लेकिन दूसरी ओर φ1 और φ2 ऐसी बाधाएं हैं जो भौतिक अवस्थाओं पर गायब होनी चाहिए, चूँकि दाहिना हाथ गायब नहीं हो सकता। यह उदाहरण पॉइसन ब्रैकेट के कुछ सामान्यीकरण की आवश्यकता को दर्शाता है जो सिस्टम की बाधाओं का सम्मान करता है, और जो सुसंगत परिमाणीकरण प्रक्रिया की ओर ले जाता है। यह नया ब्रैकेट द्विरेखीय, एंटीसिमेट्रिक होना चाहिए, पॉइसन ब्रैकेट की प्रकार जैकोबी पहचान को संतुष्ट करना चाहिए, अप्रतिबंधित प्रणालियों के लिए पॉइसन ब्रैकेट को कम करना चाहिए, और, इसके अतिरिक्त, किसी भी अन्य मात्रा के साथ किसी भी द्वितीय श्रेणी की बाधा का ब्रैकेट गायब होना चाहिए।

इस बिंदु पर, द्वितीय श्रेणी की बाधाओं को लेबल किया जाएगा । प्रविष्टियों के साथ आव्युह परिभाषित करें

इस स्थितियों में, चरण स्थान पर दो कार्यों का डिराक ब्रैकेट, f और g, परिभाषित किया जाता है

कहाँ M−1ab दर्शाता है abकी प्रविष्टि M का व्युत्क्रम मैट्रिक्स। डिराक ने यह साबित कर दिया M सदैव उलटा रहेगा।

यह जांचना सीधा है कि डिराक ब्रैकेट की उपरोक्त परिभाषा सभी वांछित गुणों को संतुष्ट करती है, और विशेष रूप से अंतिम, तर्क के लिए गायब हो जाती है जो द्वितीय श्रेणी की बाधा है।

विवश हैमिल्टनियन प्रणाली पर विहित परिमाणीकरण प्रयुक्त करते समय, ऑपरेटरों के कम्यूटेटर को प्रतिस्थापित किया जाता है उनके शास्त्रीय डिराक ब्रैकेट का समय। चूंकि डिराक ब्रैकेट बाधाओं का सम्मान करता है, इसलिए किसी भी अशक्त समीकरण का उपयोग करने से पहले सभी ब्रैकेट का मूल्यांकन करने में सावधानी बरतने की आवश्यकता नहीं है, जैसा कि पॉइसन ब्रैकेट के स्थितियों में है।

ध्यान दें कि चूँकि बोसोनिक (ग्रासमैन सम) चर का पॉइसन ब्रैकेट स्वयं गायब हो जाना चाहिए, ग्रासमैन संख्या के रूप में दर्शाए गए फर्मियन के पॉइसन ब्रैकेट को गायब होने की आवश्यकता नहीं है। इसका कारण यह है कि फर्मियोनिक स्थितियों में विषम संख्या में द्वितीय श्रेणी की बाधाएं होना संभव है।

दिए गए उदाहरण पर चित्रण

उपर्युक्त उदाहरण पर वापस आते हैं, अनुभवहीन हैमिल्टनियन और दो प्राथमिक बाधाएँ हैं

इसलिए, विस्तारित हैमिल्टोनियन को इस प्रकार लिखा जा सकता है

अगला कदम स्थिरता की शर्तों को प्रयुक्त करना है {Φj, H*}PB ≈ 0, जो इस स्थितियों में बन जाता है

ये द्वितीयक बाधाएँ नहीं हैं, किंतु ये ऐसी स्थितियाँ हैं जो u1 और u2 ठीक करने के लिए हैं। इसलिए, कोई दूसरी प्रतिबंधियाँ नहीं हैं और यह ऐसा पूरी प्रकार से निर्दिष्ट करता है कि कोई अभौतिक गुणमान नहीं हैं।

यदि कोई u1 और u2 के मानों के साथ प्लग इन करता है, तो कोई देख सकता है कि गति के समीकरण हैं

जो आत्मनिर्भर हैं और गति के लैग्रेंजियन समीकरणों से समरूप हैं।

साधारण गणना इसकी पुष्टि करती है कि φ1 और φ2 दूसरी प्रकार की प्रतिबंधियाँ हैं, क्योंकि

इसलिए आव्युह ऐसी दिखती है

जिसे आसानी से उलटा किया जा सकता है

यहाँ εab लेवी-सिविटा प्रतीक है। इस प्रकार, डिराक कोष्ठक को इस प्रकार परिभाषित किया जाता है

यदि कोई सदैव पॉइसन ब्रैकेट के अतिरिक्त डिराक ब्रैकेट का उपयोग करता है, तो बाधाओं को प्रयुक्त करने और अभिव्यक्तियों का मूल्यांकन करने के क्रम के बारे में कोई समस्या नहीं है, क्योंकि अशक्त रूप से शून्य किसी भी चीज का डिराक ब्रैकेट दृढ़ता से शून्य के समान होता है। इसका कारण यह है कि कोई व्यक्ति गति के सही समीकरण प्राप्त करने के लिए डायराक कोष्ठक के साथ सरल हैमिल्टनियन का उपयोग कर सकता है, जिसकी पुष्टि उपरोक्त समीकरणों पर आसानी से की जा सकती है।

सिस्टम को परिमाणित करने के लिए, सभी चरण स्थान चर के बीच डायराक ब्रैकेट की आवश्यकता होती है। इस प्रणाली के लिए गैर-लुप्त होने वाले डिराक ब्रैकेट हैं

चूँकि क्रॉस-टर्म गायब हो जाते हैं, और

इसलिए, विहित परिमाणीकरण का सही कार्यान्वयन रूपान्तरण संबंधों को निर्धारित करता है,

क्रॉस शर्तों के लुप्त होने के साथ, और

इस उदाहरण में x और y के बीच गैर-लुप्त होने वाला कम्यूटेटर है, जिसका अर्थ है कि यह संरचना गैर-अनुवांशिक ज्यामिति निर्दिष्ट करती है। (चूंकि दोनों निर्देशांक आवागमन नहीं करते हैं, इसलिए x और y पद इनके लिए अनिश्चितता सिद्धांत होगा।)

हाइपरस्फेयर के लिए आगे का चित्रण

इसी प्रकार, हाइपरस्फीयर Sn पर मुक्त गति के लिए, द n + 1 स्थानांतरों को बाधित किया जाता है, xi xi = 1। सादे गतिज लैग्रेंजियन से, यह स्पष्ट है कि उनके मोमेंटा उनके के साथ अनुप्रयुक्त होते हैं, xi pi = 0। इस प्रकार से संबंधित डिरैक ब्रैकेट्स को समाधान करना भी सरल है,[8]

(2n + 1) प्रतिबद्ध चरण-स्थानीय चर मानक (xi, pi) 2n अनिर्बंधित मानों की समानता में बहुत आसान दीराक ब्रैकेट का अनुसरण करते हैं, यदि कोई xs और p को प्रारंभिक रूप से दो प्रतिबद्धियों के माध्यम से हटा जाता है, जो सामान्य पॉइसन ब्रैकेट का अनुसरण करेगा। ये दीराक ब्रैकेट सरलता और शैली जोड़ते हैं, लेकिन इसके साथ ही (प्रतिबद्ध) चर-स्थानीय चर मानों की अत्यधिक संख्या की लागत पर होते हैं।

उदाहरण के लिए, किसी वृत्त पर मुक्त गति के लिए, n = 1, के लिए x1 ≡ z और उन्मूलन x2 वृत्त बाधा से अप्रतिबंधित की प्राप्ति होती है

गति के समीकरणों के साथ

अधिकारी; चूँकि H = p2/2 = E देने वाले समकिट सिस्टम के लिए

 :

और इसके फलस्वरूप, तुरंत, अदृश्यता से, दोनों परिवर्तनों के लिए ओसिलेशन,

यह भी देखें

संदर्भ

  1. Dirac, P. A. M. (1950). "सामान्यीकृत हैमिल्टनियन गतिशीलता". Canadian Journal of Mathematics. 2: 129–014. doi:10.4153/CJM-1950-012-1. S2CID 119748805.
  2. Dirac, Paul A. M. (1964). क्वांटम यांत्रिकी पर व्याख्यान. Belfer Graduate School of Science Monographs Series. Vol. 2. Belfer Graduate School of Science, New York. ISBN 9780486417134. MR 2220894.; Dover, ISBN 0486417131.
  3. See pages 48-58 of Ch. 2 in Henneaux, Marc and Teitelboim, Claudio, Quantization of Gauge Systems. Princeton University Press, 1992. ISBN 0-691-08775-X
  4. Dunne, G.; Jackiw, R.; Pi, S. Y.; Trugenberger, C. (1991). "स्व-दोहरी चेर्न-साइमन्स सॉलिटॉन और द्वि-आयामी गैर-रेखीय समीकरण". Physical Review D. 43 (4): 1332–1345. Bibcode:1991PhRvD..43.1332D. doi:10.1103/PhysRevD.43.1332. PMID 10013503.
  5. See page 8 in Henneaux and Teitelboim in the references.
  6. Weinberg, Steven, The Quantum Theory of Fields, Volume 1. Cambridge University Press, 1995. ISBN 0-521-55001-7
  7. See Henneaux and Teitelboim, pages 18-19.
  8. Corrigan, E.; Zachos, C. K. (1979). "Non-local charges for the supersymmetric σ-model". Physics Letters B. 88 (3–4): 273. Bibcode:1979PhLB...88..273C. doi:10.1016/0370-2693(79)90465-9.