मैट्रिक्स का लघुगणक

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

परिभाषा

आव्यूह एक्सपोनेंशियल A द्वारा परिभाषित किया गया है

$e^{A}\equiv \sum _{n=0}^{\infty }{\frac {A^{n}}{n!}}$.

एक आव्यूह B को देखते हुए, दूसरे आव्यूह A को 'आव्यूह लॉगरिदम' कहा जाता है यदि B if e^A = B. क्योंकि घातांकीय फलन सम्मिश्र संख्याओं के लिए विशेषण नहीं है (उदाहरण. $e^{\pi i}=e^{3\pi i}=-1$), संख्याओं में एकाधिक सम्मिश्र लघुगणक हो सकते हैं, और इसके परिणामस्वरूप, कुछ आव्यूहों में से अधिक लघुगणक हो सकते हैं, जैसा कि नीचे बताया गया है।

घात श्रृंखला अभिव्यक्ति

यदि B पहचान आव्यूह के पर्याप्त रूप से निकट है, तो B के लघुगणक की गणना निम्नलिखित घात श्रृंखला के माध्यम से की जा सकती है:

$\log(B)=\sum _{k=1}^{\infty }{(-1)^{k+1}{\frac {(B-I)^{k}}{k}}}=(B-I)-{\frac {(B-I)^{2}}{2}}+{\frac {(B-I)^{3}}{3}}-{\frac {(B-I)^{4}}{4}}+\cdots$.

विशेष रूप से, यदि $\left\|B-I\right\|<1$, फिर पूर्ववर्ती श्रृंखला अभिसरण करती है और $e^{\log(B)}=B$.

उदाहरण: समतल में घूर्णन का लघुगणक

समतल में घूमना सरल उदाहरण देता है। मूल बिंदु के चारों ओर कोण α का घूर्णन 2×2-आव्यूह द्वारा दर्शाया जाता है

$A={\begin{pmatrix}\cos(\alpha )&-\sin(\alpha )\\\sin(\alpha )&\cos(\alpha )\\\end{pmatrix}}.$

किसी भी पूर्णांक n के लिए, आव्यूह

$B_{n}=(\alpha +2\pi n){\begin{pmatrix}0&-1\\1&0\\\end{pmatrix}},$

A का लघुगणक है।

style="background: #F0F2F5; font-size:87%; padding:0.2em 0.3em; text-align:center; " | प्रमाण

$\log(A)=B_{n}~$⇔$~~e^{B_{n}}=A$ $e^{B_{n}}=\sum _{k=0}^{\infty }{1 \over k!}B_{n}^{k}~$ जहाँ $(B_{n})^{0}=1~I_{2},$ $(B_{n})^{1}=(\alpha +2\pi n){\begin{pmatrix}0&-1\\+1&0\\\end{pmatrix}},$ $(B_{n})^{2}=(\alpha +2\pi n)^{2}{\begin{pmatrix}-1&0\\0&-1\\\end{pmatrix}},$ $(B_{n})^{3}=(\alpha +2\pi n)^{3}{\begin{pmatrix}0&1\\-1&0\\\end{pmatrix}},$ $(B_{n})^{4}=(\alpha +2\pi n)^{4}~I_{2}$ … $\sum _{k=0}^{\infty }{1 \over k!}B_{n}^{k}={\begin{pmatrix}\cos(\alpha )&-\sin(\alpha )\\\sin(\alpha )&\cos(\alpha )\\\end{pmatrix}}=A~.$ प्राणी

इस प्रकार, आव्यूह A में अपरिमित रूप से कई लघुगणक हैं। यह इस तथ्य से मेल खाता है कि घूर्णन कोण केवल 2π के गुणकों तक ही निर्धारित होता है।

लाई सिद्धांत की भाषा में, रोटेशन आव्यूह A, लाई ग्रुप वृत्त समूह या so(2) के अवयव हैं। संबंधित लघुगणक B, ली बीजगणित so(2) के अवयव हैं, जिसमें सभी विषम-सममित आव्यूह या विषम-सममित आव्यूह सम्मिलित हैं। आव्यूह

${\begin{pmatrix}0&1\\-1&0\\\end{pmatrix}}$

लाई बीजगणित का एक जनरेटर है इसलिए(2)।

अस्तित्व

जब सम्मिश्र सेटिंग में विचार किया जाता है तो इस प्रश्न का उत्तर अधिक सरल होता है कि आव्यूह में लघुगणक है या नहीं है। सम्मिश्र आव्यूह में लघुगणक होता है यदि और केवल तभी जब यह विपरीत आव्यूह होता है। लघुगणक अद्वितीय नहीं है, किन्तु यदि किसी आव्यूह में कोई ऋणात्मक वास्तविक इजेनवैल्यू ​​​​नहीं है, तो अद्वितीय लघुगणक है जिसमें सभी इजेनवैल्यू ​​​​पट्टी {z ∈ 'C' | −π < Im z < π}. इस लघुगणक को प्रमुख लघुगणक के रूप में जाना जाता है।

उत्तर वास्तविक सेटिंग में अधिक सम्मिलित है। वास्तविक आव्यूह में वास्तविक लघुगणक होता है यदि और केवल यदि यह विपरीत हो और ऋणात्मक इजेनवैल्यू से संबंधित प्रत्येक जॉर्डन ब्लॉक सम संख्या में होता है। यदि विपरीत वास्तविक आव्यूह जॉर्डन ब्लॉक के साथ नियम को पूरा नहीं करता है, तो इसमें केवल गैर-वास्तविक लघुगणक हैं। इसे अदिश स्थिति में पहले से ही देखा जा सकता है: लघुगणक की कोई भी शाखा -1 पर वास्तविक नहीं हो सकती है। वास्तविक 2×2 आव्यूहों के वास्तविक आव्यूह लघुगणक के अस्तित्व के पश्चात अनुभाग में विचार किया गया है।

गुण

यदि A और B दोनों धनात्मक-निश्चित आव्यूह हैं, तो

$\operatorname {tr} {\log {(AB)}}=\operatorname {tr} {\log {(A)}}+\operatorname {tr} {\log {(B)}}.$

मान लीजिए कि A और B आवागमन करते हैं, जिसका अर्थ है कि AB = BA तब

$\log {(AB)}=\log {(A)}+\log {(B)}\,$

यदि और केवल यदि $\operatorname {arg} (\mu _{j})+\operatorname {arg} (\nu _{j})\in (-\pi ,\pi ]$, जहां $\mu _{j}$ $A$ का एक इजेनवैल्यू है और $\nu _{j}$ $B$ का संगत इजेनवैल्यू है। विशेष रूप से, $\log(AB)=\log(A)+\log(B)$ जब A और B आवागमन करते हैं और दोनों धनात्मक-निश्चित हैं। इस समीकरण में B = A ⁻¹ समुच्चय करने से परिणाम मिलते हैं

$\log {(A^{-1})}=-\log {(A)}.$

इसी तरह, गैर-आवागमन करने वाले $A$ और $B$ के लिए, कोई यह दिखा सकता है कि

$\log {(A+tB)}=\log {(A)}+t\int _{0}^{\infty }dz~{\frac {I}{A+zI}}B{\frac {I}{A+zI}}+O(t^{2}).$

अधिक सामान्यतः, लघुगणक की अभिन्न परिभाषा का उपयोग करके $t$ की घात यों में $\log {(A+tB)}$ का एक श्रृंखला विस्तार प्राप्त किया जा सकता है

$\log {(X+\lambda I)}-\log {(X)}=\int _{0}^{\lambda }dz{\frac {I}{X+zI}},$

सीमा $\lambda \rightarrow \infty$ में $X=A$ और $X=A+tB$ दोनों पर प्रयुक्त होता है

आगे का उदाहरण: 3डी अंतरिक्ष में घूर्णन का लघुगणक

एक घुमाव R ℝ³ में SO(3) 3×3 ऑर्थोगोनल आव्यूह द्वारा दिया गया है।

ऐसे घूर्णन आव्यूह का लघुगणक R की गणना रोड्रिग्स के रोटेशन सूत्र के एंटीसिमेट्रिक भाग से सरली से की जा सकती है, स्पष्ट रूप से एक्सिस-कोण प्रतिनिधित्व या लॉग मानचित्र में SO.283.29 से so.283.29 तक यह न्यूनतम फ्रोबेनियस मानदंड का लघुगणक उत्पन्न करता है, किन्तु जब विफल हो जाता है इस प्रकार R का इजेनवैल्यू ​​−1 के समान है जहां यह अद्वितीय नहीं है।

आगे ध्यान दें कि, दिए गए रोटेशन आव्यूह A और B,

$d_{g}(A,B):=\|\log(A^{\top }B)\|_{F}$

रोटेशन मैट्रिसेस के 3डी मैनिफोल्ड पर जियोडेसिक दूरी है।

विकर्णीय आव्यूह के लघुगणक की गणना

विकर्णीय आव्यूह विपरीत के लिए एलएन A खोजने की विधि निम्नलिखित है:

A के इजेनवेक्टर का आव्यूह V खोजें (V का प्रत्येक स्तंभ A का इजेनवेक्टर है)।

V का व्युत्क्रम V⁻¹ ज्ञात कीजिए।

मान लीजिए

$A'=V^{-1}AV.\,$

तब A' विकर्ण आव्यूह होगा जिसके विकर्ण अवयव A के इजेनवैल्यू ​​​​हैं।

$\log A'$ प्राप्त करने के लिए A' के प्रत्येक विकर्ण अवयव को उसके (प्राकृतिक) लघुगणक से परिवर्तित करे.

जब

$\log A=V(\log A')V^{-1}.\,$

यदि A का लघुगणक सम्मिश्र आव्यूह हो सकता है, तथापि A वास्तविक होता है, तो इस तथ्य से पता चलता है कि वास्तविक और धनात्मक प्रविष्टियों वाले आव्यूह में फिर भी ऋणात्मक या सम्मिश्र इजेनवैल्यू ​​​​हो सकते हैं (उदाहरण के लिए रोटेशन आव्यूह के लिए यह सत्य है)। आव्यूह के लघुगणक की गैर-विशिष्टता सम्मिश्र संख्या के लघुगणक की गैर-विशिष्टता से उत्पन्न होती है।

एक गैर-विकर्णीय आव्यूह का लघुगणक

ऊपर दर्शाया गया एल्गोरिदम गैर-विकर्णीय आव्यूह जैसे कि के लिए कार्य नहीं करता है

${\begin{bmatrix}1&1\\0&1\end{bmatrix}}.$

ऐसे आव्यूह के लिए किसी को इसके जॉर्डन को खोजने की आवश्यकता होती है और, ऊपर दिए गए विकर्ण प्रविष्टियों के लघुगणक की गणना करने के अतिरिक्त, जॉर्डन आव्यूह के लघुगणक की गणना करनी होती है।

उत्तरार्द्ध को इस बात पर ध्यान देकर पूरा किया जाता है कि कोई जॉर्डन ब्लॉक को इस प्रकार लिख सकता है

$B={\begin{pmatrix}\lambda &1&0&0&\cdots &0\\0&\lambda &1&0&\cdots &0\\0&0&\lambda &1&\cdots &0\\\vdots &\vdots &\vdots &\ddots &\ddots &\vdots \\0&0&0&0&\lambda &1\\0&0&0&0&0&\lambda \\\end{pmatrix}}=\lambda {\begin{pmatrix}1&\lambda ^{-1}&0&0&\cdots &0\\0&1&\lambda ^{-1}&0&\cdots &0\\0&0&1&\lambda ^{-1}&\cdots &0\\\vdots &\vdots &\vdots &\ddots &\ddots &\vdots \\0&0&0&0&1&\lambda ^{-1}\\0&0&0&0&0&1\\\end{pmatrix}}=\lambda (I+K)$

जहां K आव्यूह है जिसके मुख्य विकर्ण पर और नीचे शून्य है। (संख्या λ इस धारणा से शून्य नहीं है कि जिस आव्यूह का लघुगणक लेने का प्रयास किया जाता है वह विपरीत होता है।)

फिर, मर्केटर श्रृंखला द्वारा

$\log(1+x)=x-{\frac {x^{2}}{2}}+{\frac {x^{3}}{3}}-{\frac {x^{4}}{4}}+\cdots$

एक मिलता है

$\log B=\log {\big (}\lambda (I+K){\big )}=\log(\lambda I)+\log(I+K)=(\log \lambda )I+K-{\frac {K^{2}}{2}}+{\frac {K^{3}}{3}}-{\frac {K^{4}}{4}}+\cdots$

इस श्रृंखला (गणित) में पदों की सीमित संख्या है (K^m शून्य है यदि m, K के आयाम के समान या उससे अधिक है), और इसलिए इसका योग सही प्रकार से परिभाषित है।

इस दृष्टिकोण का उपयोग करके प्राप्त किया जाता है

$\log {\begin{bmatrix}1&1\\0&1\end{bmatrix}}={\begin{bmatrix}0&1\\0&0\end{bmatrix}}.$

कार्यात्मक विश्लेषण परिप्रेक्ष्य

एक वर्ग आव्यूह यूक्लिडियन समिष्ट Rⁿ पर रैखिक ऑपरेटर का प्रतिनिधित्व करता है जहां n आव्यूह का आयाम है। चूँकि ऐसा समिष्ट परिमित-आयामी है, यह ऑपरेटर वास्तव में परिबद्ध ऑपरेटर है।

होलोमोर्फिक कार्यात्मक कैलकुलस के उपकरणों का उपयोग करते हुए, सम्मिश्र विमान में विवृत समुच्चय और बंधे हुए रैखिक ऑपरेटर T पर परिभाषित होलोमोर्फिक फलन F को देखते हुए, कोई F (T) की गणना कर सकता है जब तक F को T के ऑपरेटर के स्पेक्ट्रम पर परिभाषित किया जाता है। .

फलन f(z)=log z को सम्मिश्र तल में किसी भी सरल रूप से जुड़े विवृत समुच्चय पर परिभाषित किया जा सकता है जिसमें मूल नहीं है, और यह ऐसे डोमेन पर होलोमोर्फिक है। इसका तात्पर्य यह है कि कोई एलएन T को तब तक परिभाषित कर सकता है जब तक कि T के स्पेक्ट्रम में मूल सम्मिलित नहीं है और मूल से अनंत तक जाने वाला पथ है जो T के स्पेक्ट्रम को पार नहीं करता है (उदाहरण के लिए, यदि T का स्पेक्ट्रम वृत्त है) इसके अंदर उत्पत्ति, LN T) को परिभाषित करना असंभव है।

'Rⁿ' पर रैखिक ऑपरेटर का स्पेक्ट्रम इसके आव्यूह के इजेनवैल्यू ​​​​का समुच्चय है, और इसलिए यह परिमित समुच्चय है। जब तक मूल स्पेक्ट्रम में नहीं है (आव्यूह विपरीत है), पिछले पैराग्राफ से पथ की स्थिति संतुष्ट है, और एलएन T सही प्रकार से परिभाषित है। आव्यूह लघुगणक की गैर-विशिष्टता इस तथ्य से उत्पन्न होती है कि कोई व्यक्ति लघुगणक की से अधिक शाखा चुन सकता है जिसे आव्यूह के इजेनवैल्यू ​​​​के समुच्चय पर परिभाषित किया गया है।

एक लाई समूह सिद्धांत परिप्रेक्ष्य

लाई समूहों के सिद्धांत में, लाई बीजगणित ${\mathfrak {g}}$ से संबंधित लाई समूह g तक एक घातीय मानचित्र होता है।

$\exp :{\mathfrak {g}}\rightarrow G.$

आव्यूह लाई समूहों के लिए, ${\mathfrak {g}}$ और G के अवयव वर्ग आव्यूह हैं और घातांकीय मानचित्र आव्यूह घातांक द्वारा दिया गया है। विपरीत मानचित्र $\log =\exp ^{-1}$ बहुमूल्यांकित है और यहां चर्चा किए गए आव्यूह लघुगणक के साथ मेल खाता है। लघुगणक लाई समूह g से लाई बीजगणित ${\mathfrak {g}}$ में मानचित्र करता है

ध्यान दें कि घातीय मानचित्र शून्य आव्यूह ${\underline {0}}\in {\mathfrak {g}}$ के वर्ग u और पहचान आव्यूह ${\underline {1}}\in G$ के वर्ग V के मध्य एक स्थानीय भिन्नता है। इस प्रकार (आव्यूह) लघुगणक एक मानचित्र के रूप में ठीक प्रकार से परिभाषित है,

$\log :G\supset V\rightarrow U\subset {\mathfrak {g}}.$

जैकोबी के सूत्र का महत्वपूर्ण परिणाम यह है

$\log(\det(A))=\mathrm {tr} (\log A)~.$

2 × 2 स्थिति में बाधाएँ

यदि 2 × 2 वास्तविक आव्यूह में ऋणात्मक निर्धारक है, तो इसका कोई वास्तविक लघुगणक नहीं है। पहले ध्यान दें कि किसी भी 2 × 2 वास्तविक आव्यूह को सम्मिश्र संख्या z = x + y ε के तीन प्रकारों में से माना जा सकता है, जहां ε² ∈ { −1, 0, +1 }। यह z आव्यूहों के वलय (गणित) के सम्मिश्र उपतल पर बिंदु है। ऐसी स्थिति जहां निर्धारक ऋणात्मक है, केवल ε² =+1 वाले विमान में उत्पन्न होता है, जो विभाजित-सम्मिश्र संख्या विमान है। इस तल का केवल चौथाई भाग घातीय मानचित्र की छवि है, इसलिए लघुगणक केवल उस तिमाही (चतुर्थांश) पर परिभाषित किया गया है। अन्य तीन चतुर्थांश ε और -1 द्वारा उत्पन्न क्लेन चार-समूह के अंतर्गत इसकी छवियां हैं।

उदाहरण के लिए, मान लीजिए a = log 2 ; तब कॉश A = 5/4 और सिंह A = 3/4 आव्यूह के लिए, इसका कारण यह है

$A=\exp {\begin{pmatrix}0&a\\a&0\end{pmatrix}}={\begin{pmatrix}\cosh a&\sinh a\\\sinh a&\cosh a\end{pmatrix}}={\begin{pmatrix}1.25&.75\\.75&1.25\end{pmatrix}}$.

तो इस अंतिम आव्यूह में लघुगणक है

$\log A={\begin{pmatrix}0&\log 2\\\log 2&0\end{pmatrix}}$.

चूँकि, इन आव्यूहों में लघुगणक नहीं होता है:

${\begin{pmatrix}3/4&5/4\\5/4&3/4\end{pmatrix}},\ {\begin{pmatrix}-3/4&-5/4\\-5/4&-3/4\end{pmatrix}},\ {\begin{pmatrix}-5/4&-3/4\\-3/4&-5/4\end{pmatrix}}$.

वे उपरोक्त आव्यूह के चार-समूह द्वारा तीन अन्य संयुग्मों का प्रतिनिधित्व करते हैं जिनमें लघुगणक होता है।

एक गैर-एकवचन 2 x 2 आव्यूह में आवश्यक रूप से लघुगणक नहीं होता है, किन्तु यह चार-समूह द्वारा आव्यूह से संयुग्मित होता है जिसमें लघुगणक होता है।

इससे यह भी पता चलता है कि, उदाहरण के लिए, इस आव्यूह A का वर्गमूल सीधे घातांक (logA)/2 से प्राप्त किया जा सकता है,

${\sqrt {A}}={\begin{pmatrix}\cosh((\log 2)/2)&\sinh((\log 2)/2)\\\sinh((\log 2)/2)&\cosh((\log 2)/2)\end{pmatrix}}={\begin{pmatrix}1.06&.35\\.35&1.06\end{pmatrix}}~.$

एक समृद्ध उदाहरण के लिए, पाइथागोरस ट्रिपल (p,q,r) से प्रारंभ करें और माना a = log(p + r) − log q. तब

$e^{a}={\frac {p+r}{q}}=\cosh a+\sinh a$.

जब

$\exp {\begin{pmatrix}0&a\\a&0\end{pmatrix}}={\begin{pmatrix}r/q&p/q\\p/q&r/q\end{pmatrix}}$.

इस प्रकार

${\tfrac {1}{q}}{\begin{pmatrix}r&p\\p&r\end{pmatrix}}$

लघुगणक आव्यूह है

${\begin{pmatrix}0&a\\a&0\end{pmatrix}}$ ,

जहाँ a = log(p + r) − log q.

यह भी देखें

• आव्यूह फलन
• आव्यूह का वर्गमूल
• आव्यूह घातांक
• बेकर-कैंपबेल-हॉसडॉर्फ सूत्र
• घातांकीय मानचित्र का व्युत्पन्न

संदर्भ

• Gantmacher, Felix R. (1959), The Theory of Matrices, vol. 1, New York: Chelsea, pp. 239–241.
• Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations An Elementary Introduction, Graduate Texts in Mathematics, vol. 222 (2nd ed.), Springer, ISBN 978-3319134666
• Culver, Walter J. (1966), "On the existence and uniqueness of the real logarithm of a matrix", Proceedings of the American Mathematical Society, 17 (5): 1146–1151, doi:10.1090/S0002-9939-1966-0202740-6, ISSN 0002-9939.
• Higham, Nicholas (2008), Functions of Matrices. Theory and Computation, SIAM, ISBN 978-0-89871-646-7.
• Engø, Kenth (June 2001), "On the BCH-formula in so(3)", BIT Numerical Mathematics, 41 (3): 629–632, doi:10.1023/A:1021979515229, ISSN 0006-3835, S2CID 126053191