फ़फ़ियान: Difference between revisions

From Vigyanwiki
m (4 revisions imported from alpha:फ़फ़ियान)
 
(No difference)

Latest revision as of 11:05, 11 December 2023

गणित में, m×m विकर्ण-सममित आव्यूह के निर्धारक को सदैव आव्यूह प्रविष्टियों में बहुपद के वर्ग के रूप में लिखा जा सकता है, इस प्रकार किसी पूर्णांक के लिए उसके गुणांक वाले बहुपद में जो केवल m पर निर्भर करता है। जब m विषम होता है, तो बहुपद शून्य होता है। जब m सम होता है, तो यह घात m/2 का शून्येतर बहुपद के समान होता है, और इस प्रकार ±1 से गुणा करने तक अद्वितीय होता है। नीचे दिए गए उदाहरणों में विकर्ण-सममित त्रिविकर्ण आव्यूह पर संयोजन पुनः विशिष्ट बहुपद निर्धारित करता है, जिसे 'फ़फ़ियान' बहुपद कहा जाता है। इस बहुपद का मान, जब विकर्ण-सममित आव्यूह की प्रविष्टियों पर लागू किया जाता है, तो उस आव्यूह का 'फ़फ़ियान' कहा जाता है। फ़फ़ियान शब्द का प्रारंभ किसके द्वारा की गई थी? कैयलेय (1852), जिन्होंने अप्रत्यक्ष रूप से उनका नाम जोहान फ्रेडरिक पफैफ़ के नाम पर रखा था।

स्पष्ट रूप से, विकर्ण-सममित आव्यूह के लिए का मान इस प्रकार प्रदर्शित किया जा सकता हैं,

जो सर्वप्रथम कैयलेय (1849) द्वारा प्रमाणित हुआ था, जो विभेदक समीकरणों की फ़फ़ियान प्रणाली पर कार्य करने वाले इन बहुपदों को प्रस्तुत करने के लिए कार्ल गुस्ताव जैकब जैकोबी का संकेत देते हैं। केली केवल पहली पंक्ति और पहले कॉलम में विकर्ण समरूपता से विचलित होने वाले आव्यूह पर अधिक सामान्य परिणाम पर विशेष ध्यान देकर यह संबंध प्राप्त करता है। ऐसे आव्यूह का निर्धारक मूल आव्यूह में पहले ऊपरी बाएँ प्रविष्टि को शून्य पर स्थित करके प्राप्त किए गए दो आव्यूह के फ़फ़ियान का उत्पाद है और पुनः क्रमशः, पहली पंक्ति के ऋणात्मक स्थानान्तरण को पहले कॉलम में और ऋणात्मक को कॉपी करता है। पहले कॉलम को पहली पंक्ति में स्थानांतरित किया जाता हैं। यह अवयस्कों पर निर्धारक का विस्तार करके और नीचे दिए गए प्रत्यावर्तन सूत्र को नियोजित करके प्रेरण द्वारा सिद्ध किया जाता है।

उदाहरण

(3 विषम है, इसलिए B का फ़फ़ियान 0 है)

2n × 2n विकर्ण-सममित त्रिविकर्ण आव्यूह का फ़फ़ियान इस प्रकार दिया गया है।

(ध्यान दें कि किसी भी विकर्ण-सममित आव्यूह को इस रूप में कम किया जा सकता है, इसके आधार पर विकर्ण-सममित आव्यूह स्पेक्ट्रल सिद्धांत या विकर्ण-सममित आव्यूह का स्पेक्ट्रल सिद्धांत देखें।)

औपचारिक परिभाषा

माना A = (ai,j) 2n × 2n विकर्ण-सममित आव्यूह हो। A के फ़फ़ियान को सूत्र द्वारा स्पष्ट रूप से परिभाषित किया गया है

जहां s2n (2n) क्रम का सममित समूह है! और sgn(σ) σ का [[हस्ताक्षर (क्रमपरिवर्तन)]] है।

सभी संभावित क्रमपरिवर्तनों के योग से बचने के लिए A की विकर्ण-समरूपता का उपयोग किया जा सकता है। मान लीजिए Π किसी समुच्चय के सभी विभाजनों का समुच्चय {1, 2, ..., 2n} है, जिसके आदेश के बारे में सोचे बिना इसे जोड़े में प्रदर्शित कर सकते हैं। इसके लिए (2n)!/(2nn!) = (2n − 1)!! ऐसे विभाजन तत्व हैं जिसे α ∈ Π के रूप में लिखा जा सकता है।

इस प्रकार ik < jk और के लिए

संगत क्रमपरिवर्तन हो. ऊपर दिए गए विभाजन α को देखते हुए इसे इस प्रकार परिभाषित करते हैं।

A का फ़फ़ियान तब इस प्रकार प्रदर्शित किया जाता है।

n विषम के लिए n×n विकर्ण-सममित आव्यूह का फ़फ़ियान शून्य के रूप में परिभाषित किया गया है, क्योंकि विषम विकर्ण-सममित आव्यूह का निर्धारक शून्य है, क्योंकि विकर्ण-सममित आव्यूह के लिए,

और n विषम के लिए, इसका तात्पर्य है।

पुनरावर्ती परिभाषा

इसके अनुसार 0×0 आव्यूह का फ़फ़ियान के समान है। जिसके लिए विकर्ण-सममित 2n×2n आव्यूह A का फ़फ़ियान n > 0 की गणना पुनरावर्ती रूप से की जा सकती है।

जहां सूचकांक I को इस प्रकार चुना जा सकता है, जहाँ हेविसाइड स्टेप फलन है, और iवें और jवें दोनों पंक्तियों और स्तंभों को हटाकर आव्यूह A को दर्शाता है।[1] यहाँ ध्यान दें कि विशेष विकल्प के लिए कैसे यह सरल अभिव्यक्ति को कम करता है:

वैकल्पिक परिभाषाएँ

कोई भी किसी भी विकर्ण-सममित 2n×2n आव्यूह से जुड़ सकता है, इस प्रकार A = (aij) बाह्य बीजगणित के लिए

जहाँ {e1, e2, ..., e2n} R2n का मानक आधार है। यहाँ पर फ़फ़ियान को पुनः समीकरण द्वारा परिभाषित किया गया है।

यहाँ ωn ω की n प्रतियों के वेज उत्पाद को दर्शाता है।

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

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

गुण और अभिन्न

पफैफियंस में निम्नलिखित गुण होते हैं, जो निर्धारकों के समान होते हैं।

  • एक पंक्ति और स्तंभ को स्थिरांक से गुणा करना फ़फ़ियान को उसी स्थिरांक से गुणा करने के समान होते हैं।
  • दो अलग-अलग पंक्तियों और संबंधित स्तंभों के साथ आदान-प्रदान से फ़फ़ियान का चिह्न परिवर्तित हो जाता है।
  • एक पंक्ति और संबंधित कॉलम का गुणज दूसरी पंक्ति और संबंधित कॉलम में जोड़ा जाने से फ़फ़ियान का मान परिवर्तित नहीं होता हैं।

इन गुणों का उपयोग करके, निर्धारकों की गणना के समान, फ़फ़ियान की शीघ्रता से गणना की जा सकती है।

विविध

2n × 2n विकर्ण-सममित आव्यूह A के लिए

इसके आधार पर 2n × 2n आव्यूह B के लिए,

इस समीकरण में B = Am प्रतिस्थापित करने पर, सभी पूर्णांकों के लिए m प्राप्त होता है

Proof of

जैसा कि पहले से कहा गया हैं कि . इसी प्रकार B के लिए :

जहाँ हमने यह माना था कि .

चूंकि के आधार पर हम प्रमाण प्राप्त कर सकते हैं।

Proof of :

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

तिरछा-सममित वास्तविक मैट्रिक्स का वर्णक्रमीय सिद्धांत द्वारा, , जहाँ ओर्थोगोनल है और

वास्तविक संख्या के लिए . अब पिछले प्रमेय को लागू करें, जिसके लिए के समान हैं।

व्युत्पन्न अभिन्न

यदि A किसी चर x पर निर्भर करता हैi, तो फ़फ़ियान की ग्रेडिएंट द्वारा दी गई है

और फ़फ़ियान का हेस्सियन आव्यूह द्वारा दिया गया है

अभिन्न का पता लगाना

विकर्ण-सममित आव्यूह A और B के फ़फ़ियान के उत्पाद को घातांक के रूप में दर्शाया जा सकता है

मान लीजिए कि A और B 2n × 2n विकर्ण-सममित आव्यूह हैं

और Bn(s1,s2,...,sn) बेल बहुपद हैं।

ब्लॉक आव्यूह

एक ब्लॉक-विकर्ण आव्यूह के लिए

इसी प्रकार n × n आव्यूह में M मान के लिए:

विकर्ण-सममित आव्यूह के फ़फ़ियान की गणना करने के लिए अधिकांशतः ब्लॉक संरचना के साथ इसकी आवश्यकता होती है।

जहाँ और विकर्ण-सममित आव्यूह हैं और सामान्य आयताकार आव्यूह है।

इस प्रकार जब व्युत्क्रम होता है, तब हमारे पास निम्नलिखित समीकरण प्राप्त होता हैं।

इसे ऐटकेन ब्लॉक-विकर्णीकरण सूत्र से देखा जा सकता है,[3][4][5]

इस अपघटन में सर्वांगसमता परिवर्तन सम्मिलित है, जो फ़फ़ियान मान का उपयोग करने की अनुमति देता है।

इसी प्रकार, जब व्युत्क्रम होता है तब हमारे पास निम्नलिखित समीकरण प्राप्त होता है।

जैसा कि अपघटन को नियोजित करके देखा जा सकता है।

फ़फ़ियान की संख्यात्मक गणना करना

मान लीजिए A 2n × 2n विकर्ण-सममित आव्यूह है

जहाँ दूसरा पॉल के आव्यूह है, इस प्रकार आयाम n का अभिन्न आव्यूह है, और हमने आव्यूह लघुगणक पर ट्रेस कर लिया जाता हैं।

यह समानता फ़फ़ियान ट्रेस करके अभिन्नता पर इसे आधारित किया जाता है।

और उस अवलोकन पर यह मान प्राप्त होता हैं।

चूंकि आव्यूह के लघुगणक की गणना कम्प्यूटरीकृत रूप से प्राप्त किये जाने वाला एक फलन है, इसके अतिरिक्त कोई इसके सभी आईजन मान ​​​​ की गणना कर सकता है, इन सभी का लॉग लेकर उन्हें सारांशित किया जाता हैं। यह प्रक्रिया केवल आव्यूह गुणों के लघुगणक का उपयोग करती है, इसे वोल्फ्राम मैथमैटिका में ही कथन के साथ लागू किया जाता है:

Pf[x_] := Module[{n = Dimensions[x][[1]] / 2}, I^(n^2) Exp[ 1/2 Total[ Log[Eigenvalues[ Dot[Transpose[KroneckerProduct[PauliMatrix[2], IdentityMatrix[n]]], x] ]]]]]

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

इसके अन्य (अधिक) कुशल एल्गोरिदम के लिए विम्मर 2012 देखें।

अनुप्रयोग

यह भी देखें

टिप्पणियाँ

  1. "संग्रहीत प्रति" (PDF). Archived from the original (PDF) on 2016-03-05. Retrieved 2015-03-31.
  2. Bruijn, de, N.G. (1955). "निर्धारकों से जुड़े कुछ एकाधिक अभिन्नों पर". Journal of the Indian Mathematical Society. New Series. 19: 133–151. ISSN 0019-5839.{{cite journal}}: CS1 maint: multiple names: authors list (link)
  3. A. C. Aitken. Determinants and matrices. Oliver and Boyd, Edinburgh, fourth edition, 1939.
  4. Zhang, Fuzhen, ed. The Schur complement and its applications. Vol. 4. Springer Science & Business Media, 2006.
  5. Bunch, James R. "A note on the stable decomposition of skew-symmetric matrices." Mathematics of Computation 38.158 (1982): 475-479.

संदर्भ

बाहरी संबंध