एक सम्मिश्र संख्या a का लाओ रेडिकल या तो उपरोक्त बहुपद की पाँच जड़ों में से कोई है (यह इस प्रकार बहु-मूल्यवान है), या एक विशिष्ट रूट, जिसे सामान्यतः इस तरह चुना जाता है कि लाओ रेडिकल वास्तविक a के लिए वास्तविक-मूल्यवान होता है और वास्तविक रेखा के निकटतम में एक विश्लेषणात्मक कार्य होता है। चार शाखा बिंदुओं के अस्तित्व के कारण, रेडिकल को एक ऐसे फ़ंक्शन के रूप में परिभाषित नहीं किया जा सकता है जो पूरे जटिल विमान पर निरंतर है, और इसकी निरंतरता के डोमेन को चार शाखा कटौती को बाहर करना चाहिए।
इस लेख में, लाओ रेडिकल ऑफ ए को निरूपित किया गया है वास्तविक तर्क के लिए, यह स्पर्शोन्मुख व्यवहार के साथ विषम, नीरस रूप से घटता हुआ और असीम है बड़े के लिए .
पांच स्वतंत्र गुणांकों के साथ अपने सबसे सामान्य रूप में सीधे समाधान प्राप्त करने के लिए पंचक समीकरण जबकि मुश्किल है:
पंचक को हल करने के लिए विकसित किए गए विभिन्न विधियाँ सामान्यतः स्वतंत्र गुणांकों की संख्या को कम करने के लिए चिरनहॉस परिवर्तन का उपयोग करके पंचक को सरल बनाने का प्रयास करते है।
मूल पंचक रूप
क्वार्टिक और क्यूबिक शर्तों को हटाकर सामान्य पंचक को प्रिंसिपल पंचक फॉर्म के रूप में जाना जाता है:
यदि एक सामान्य पंचक और एक प्रमुख पंचक की जड़ें द्विघात चिरनहॉस परिवर्तन से संबंधित है
गुणांक α और β परिणामी का उपयोग करके, या शक्ति योग सममित बहुपद और न्यूटन की पहचान के माध्यम से निर्धारित किया जा सकता है। यह α और β में समीकरणों की एक प्रणाली की ओर जाता है जिसमें एक द्विघात और एक रेखीय समीकरण होता है, और समाधान के दो सेटों में से किसी एक का उपयोग प्रिंसिपल पंचक फॉर्म के संबंधित तीन गुणांक प्राप्त करने के लिए किया जा सकता है।[1]
फेलिक्स क्लेन के पंचक के समाधान द्वारा इस फॉर्म का उपयोग किया जाता है।[2]
लाओ-जेरार्ड सामान्य रूप
लाओ-जेरार्ड सामान्य रूप का निर्माण करते हुए, पंचक को और भी सरल बनाना और द्विघात शब्द को समाप्त करना संभव है:
क्यूबिक परिवर्तन के साथ फिर से शक्ति-योग सूत्रों का उपयोग करना, जैसा कि चिरनहॉस ने कोशिश की, काम नहीं करता है, क्योंकि समीकरणों की परिणामी प्रणाली के परिणामस्वरूप छठी-डिग्री समीकरण होती है। लेकिन 1796 में ब्रिंग ने ब्रिंग-जेरार्ड पंचक के मूल पंचक की जड़ों से संबंधित करने के लिए एक क्वार्टिक चिरनहॉस परिवर्तन का उपयोग करके इसके चारों ओर एक रास्ता खोजा:
इस चौथे क्रम के परिवर्तन द्वारा प्रदान किया गया अतिरिक्त पैरामीटर अन्य मापदंडों की डिग्री को कम करने के लिए लाओ को अनुमति देता है। यह छह अज्ञात में पाँच समीकरणों की एक प्रणाली की ओर जाता है, जिसके लिए एक घन और एक द्विघात समीकरण के समाधान की आवश्यकता होती है। इस पद्धति की खोज भी जॉर्ज जेरार्ड ने 1852 में की थी।[3] लेकिन यह संभावना है कि वह इस क्षेत्र में लाओ के पिछले काम से अनजान थे।[1](pp92–93) गणित जैसे कंप्यूटर बीजगणित पैकेज का उपयोग करके पूर्ण परिवर्तन आसानी से पूरा किया जा सकता है[4] या मेपल (सॉफ्टवेयर)।[5] जैसा कि इन परिवर्तनों की जटिलता से उम्मीद की जा सकती है, परिणामी भाव बहुत अधिक हो सकते है, खासकर जब कम डिग्री समीकरणों के लिए रेडिकल में समाधान की तुलना में, प्रतीकात्मक गुणांक के साथ एक सामान्य पंचक के लिए कई मेगाबाइट भंडारण लेते है।[4]
इसे एक बीजगणितीय कार्य के रूप में माना जाता है, इसके समाधान है
दो चर सम्मलित है, डी1 और डी0, चूँकि, कमी वास्तव में एक चर के बीजगणितीय कार्य के लिए है, जो रेडिकल में एक समाधान के समान है, क्योंकि हम लाओ-जेरार्ड फॉर्म को और कम कर सकते है। यदि हम उदाहरण के लिए सेट करते है
फिर हम समीकरण को रूप में कम करते है
जिसमें एक एकल चर के बीजगणितीय कार्य के रूप में z सम्मलित है , जहाँ . इस फॉर्म की आवश्यकता हरमाइट-क्रोनेकर-ब्रियोस्ची विधि, ग्लासर की विधि और नीचे वर्णित डिफरेंशियल रिज़ॉल्वेंट की कॉकल-हार्ले विधि द्वारा आवश्यक है।
सेट करके एक वैकल्पिक रूप प्राप्त किया जाता है ताकि जहाँ . इस फॉर्म का इस्तेमाल नीचे लाओ रेडिकल को परिभाषित करने के लिए किया जाता है।
ब्रियोस्ची सामान्य रूप
पंचक समीकरण के लिए एक और एक-पैरामीटर सामान्य रूप है, जिसे ब्रियोस्ची सामान्य रूप के रूप में जाना जाता है
जिसे तर्कसंगत चिरनहॉस रूपांतरण का उपयोग करके प्राप्त किया जा सकता है
एक ब्रियोस्की पंचक के लिए एक सामान्य पंचक की जड़ों से संबंधित करता है। मापदंडों का मान और रीमैन क्षेत्र पर बहुफलकीय समारोह का उपयोग करके प्राप्त किया जा सकता है, और आईकोसाहेड्रल समरूपता के एक वस्तु के विभाजन से संबंधित होता है जो टेट्राहेड्रल समरूपता की पांच वस्तुओं में होता है।[6] यह चिरनहॉस परिवर्तन एक प्रमुख पंचक को लाओ-जेरार्ड रूप में बदलने के लिए उपयोग किए जाने वाले कठिन की तुलना में सरल होती है। इस सामान्य रूप का उपयोग डॉयल-मैकमुलेन पुनरावृति विधि और कीपर्ट विधि द्वारा किया जाता है।
श्रृंखला प्रतिनिधित्व
लाओ रेडिकल्स के लिए एक टेलर श्रृंखला, साथ ही सामान्यीकृत हाइपरज्यामितीय कार्यों के संदर्भ में एक प्रतिनिधित्व निम्नानुसार प्राप्त किया जा सकता है। समीकरण के रूप में पुनः लिखा जा सकता है व्यवस्थित करके वांछित समाधान है तब से अजीब होता है।
के लिए श्रृंखला इसके बाद टेलर श्रृंखला के लैग्रेंज उलटा प्रमेय द्वारा प्राप्त किया जा सकता है (जो सरल है ), देता है
जहां पूर्णांक अनुक्रमों के ऑन-लाइन विश्वकोश में गुणांकों के निरपेक्ष मान अनुक्रम OEIS:A002294 बनाते है। श्रृंखला के अभिसरण की त्रिज्या है
ग्लासर की व्युत्पत्ति और डिफरेंशियल रिज़ॉल्वेंट की विधि में नीचे उत्पन्न होने वाले हाइपरजियोमेट्रिक फ़ंक्शंस के साथ तुलना करना रोचक हो सकता है।
सामान्य पंचक का समाधान
बहुपद की जड़ें
लाओ रेडिकल के रूप में व्यक्त किया जा सकता है
और इसके चार जटिल संयुग्म है। हल करने योग्य बहुपद समीकरणों के संदर्भ में अब समस्या को लाओ-जेरार्ड रूप में कम कर दिया गया है, और जड़ों में बहुपद अभिव्यक्तियों को सम्मलित करने वाले परिवर्तनों का उपयोग केवल चौथी डिग्री तक किया जाता है, जिसका अर्थ है कि बहुपद की जड़ों को खोजने के द्वारा परिवर्तन को उलटा किया जा सकता है। यह प्रक्रिया बाहरी समाधान देती है, लेकिन जब संख्यात्मक विधियों से सही पाया जाता है, तो पंचक की जड़ों को वर्गमूल, घनमूल और लाओ रेडिकल के रूप में लिखा जा सकता है, जो कि बीजगणितीय के संदर्भ में एक बीजगणितीय समाधान है। एकल चर के कार्य (मोटे तौर पर रेडिकल्स को सम्मलित करने के लिए परिभाषित) सामान्य पंचक का एक बीजगणितीय समाधान है।
अन्य लक्षण वर्णन
लाओ रैडिकल के कई अन्य लक्षण विकसित किए गए है, जिनमें से पहला 1858 में चार्ल्स हर्मिट द्वारा अण्डाकार ट्रांसेंडेंट (अण्डाकार और मॉड्यूलर कार्यों से संबंधित) के संदर्भ में है, और बाद में अन्य गणितज्ञों द्वारा विकसित किए गए विधियाँ है।
हर्मिट-क्रोनेकर-ब्रियोस्ची लक्षण वर्णन
1858 में, चार्ल्स हर्मिट[7] ने "एलिप्टिक ट्रांसेंडेंट्स" के संदर्भ में सामान्य पंचक समीकरण का पहला ज्ञात समाधान प्रकाशित किया, और लगभग उसी समय फ्रांसेस्को ब्रियोस्की[8] और लियोपोल्ड क्रोनकर[9] समकक्ष समाधानों पर आए। हर्मिट त्रिकोणमितीय कार्यों के संदर्भ में क्यूबिक समीकरण के प्रसिद्ध समाधान को सामान्यीकृत करके इस समाधान पर पहुंचे और ब्रिंग-जेरार्ड रूप में पंचक का समाधान ढूंढते है:
जिसमें दिखाया गया है कि चिरनहॉस परिवर्तनों के माध्यम से किसी भी पंचक समीकरण को कम किया जा सकता है। उन्होंने देखा कि अण्डाकार कार्यों की लाओ-जेरार्ड पंचक के समाधान में खेलने के लिए एक समान भूमिका थी क्योंकि क्यूबिक के लिए त्रिकोणमितीय कार्यों के पास था। इसके लिए और उन्हें अण्डाकार अभिन्न के रूप में लिखें # पहली तरह का पूर्ण अण्डाकार अभिन्न:
उन्हें समान रूप से अनंत श्रृंखला द्वारा परिभाषित किया जा सकता है:
यदि n एक अभाज्य संख्या है, तो हम दो मानों को परिभाषित कर सकते है और निम्नलिखित नुसार:
और
जब n एक विषम अभाज्य संख्या है, तो पैरामीटर और डिग्री n + 1 इंच के समीकरण से जुड़े हुए है ,[note 2], मॉड्यूलर समीकरण के रूप में जाना जाता है, जिसका n+1 मूल है द्वारा दिया गया है:[10][note 3]
और
जहाँ 1 या -1 है जो इस बात पर निर्भर करता है कि 2 एक द्विघात अवशेष है या नहीं, क्रमशः,[note 4] और . n = 5 के लिए, हमारे पास मॉड्यूलर समीकरण है:[11]
छह जड़ों के साथ जैसा कि उपर दिखाया गया है।
n = 5 के साथ मॉड्यूलर समीकरण मॉड्यूलर समीकरण की छह जड़ों के निम्नलिखित कार्य द्वारा लाओ-जेरार्ड पंचक से संबंधित हो सकता है (हर्माइट के सुर ला थ्योरी डेस इक्वेशन मॉड्यूलेयर्स एट ला रेज़ोल्यूशन डे ल'एक्वेशन डु सिन्क्विमे डिग्रे, पहला कारक गलत विधियाँ से दिया गया है ):[12]
के संख्यात्मक मूल्यांकन के लिए उपयोगी है . हर्मिट के अनुसार, का गुणांक विस्तार में प्रत्येक के लिए शून्य है .[14]
पाँच मात्राएँ , , , , परिमेय गुणांक वाले पंचक समीकरण की जड़ें है :[15]
जिसे प्रतिस्थापन द्वारा आसानी से लाओ-जेरार्ड रूप में परिवर्तित किया जा सकता है:
लाओ-जेरार्ड पंचक के लिए अग्रणी:
जहाँ
(*)
हर्मिट-क्रोनेकर-ब्रियोस्ची विधि तब के लिए एक मूल्य खोजने के बराबर है जो के मान से मेल खाता है , और फिर उस मान का उपयोग करना इसी मॉड्यूलर समीकरण की जड़ें प्राप्त करने के लिए होता है। हम खोजने के लिए रूट-फाइंडिंग एल्गोरिदम का उपयोग कर सकते है समीकरण से (*) (अर्थात एक व्युत्क्रम फलन सामान्यीकरण की गणना करता है ).
जहाँ [13](ध्यान दें कि कुछ महत्वपूर्ण संदर्भ गलत विधियाँ से इसे देते है [6][7]). इन जड़ों में से एक को अण्डाकार मापांक के रूप में इस्तेमाल किया जा सकता है .
फिर लाओ-जेरार्ड पंचक की जड़ें इस प्रकार दी गई है:
के लिए .
यह देखा जा सकता है कि यह प्रक्रिया नौवे रूट के सामान्यीकरण का उपयोग करती है, जिसे इस प्रकार व्यक्त किया जा सकता है:
या अधिक बिंदु तक, जैसा
हर्मिट-क्रोनेकर-ब्रियोस्ची विधि अनिवार्य रूप से एक अण्डाकार पारलौकिक द्वारा घातांक को प्रतिस्थापित करती है, और अभिन्न (या इसका उलटा वास्तविक रेखा पर) एक दीर्घवृत्तीय समाकलन द्वारा (या दीर्घवृत्तीय पारलौकिक के आंशिक व्युत्क्रम द्वारा)। क्रोनेकर ने सोचा कि यह सामान्यीकरण और भी अधिक सामान्य प्रमेय का एक विशेष स्थिति थी। यह प्रमेय, जिसे थोमे के सूत्र के रूप में जाना जाता है, पूरी तरह से हिरोशी उमेमुरा द्वारा व्यक्त किया गया था[16] 1984 में, जिन्होंने एक्सपोनेंशियल/एलिप्टिक ट्रांसेंडेंट के स्थान पर सील मॉड्यूलर रूप का इस्तेमाल किया और इंटीग्रल को हाइपरेलिप्टिक इंटीग्रल से बदल दिया था।
ग्लासर की व्युत्पत्ति
एम एल ग्लासर के कारण यह व्युत्पत्ति[17] प्रपत्र के किसी भी त्रिपदीय समीकरण का हल खोजने के लिए इस लेख में पहले प्रस्तुत श्रृंखला पद्धति का सामान्यीकरण करता है:
विशेष रूप से, जैसा कि ऊपर दिखाया गया है, चिरनहॉस परिवर्तनों के उपयोग से पंचक समीकरण को इस रूप में कम किया जा सकता है। , सामान्य रूप बन जाता है:
जहाँ
जोसेफ लुइस लाग्रेंज के कारण एक सूत्र में कहा गया है कि किसी भी विश्लेषणात्मक कार्य के लिए के संदर्भ में रूपांतरित सामान्य समीकरण की जड़ के निकटतम में , ऊपर एक अनंत श्रृंखला के रूप में व्यक्त किया जा सकता है:
अगर हम जाने दें इस सूत्र में, हम जड़ के साथ आ सकते है:
गॉस गुणन प्रमेय के उपयोग से ऊपर की अनंत श्रृंखला को अतिज्यामितीय कार्यों की एक परिमित श्रृंखला में तोड़ा जा सकता है:
और रूप के त्रिपद की जड़ें है
इस प्रकार समीकरण के मूल को अधिकतम N − 1 अतिज्यामितीय कार्यों के योग के रूप में व्यक्त किया जा सकता है। इस विधि को कम किए गए लाओ-जेरार्ड पंचक पर लागू करते हुए, निम्नलिखित कार्यों को परिभाषित करा है:
जो अतिज्यामितीय कार्य है जो उपरोक्त श्रृंखला सूत्र में दिखाई देते है। पंचक की जड़ें इस प्रकार है:
यह अनिवार्य रूप से वही परिणाम है जो निम्न विधि द्वारा प्राप्त किया गया है।
विभेदकों विलायक की विधि
जेम्स कॉकल[18] और रॉबर्ट हार्ले[19] 1860 में डिफरेंशियल इक्वेशन के माध्यम से पंचक को हल करने के लिए एक विधि विकसित की गई थी। वे जड़ों को गुणांकों के कार्य के रूप में मानते है, और इन समीकरणों के आधार पर एक विभेदक विलायक की गणना करते है। लाओ-जेरार्ड पंचक को एक समारोह के रूप में व्यक्त किया गया है:
और एक समारोह इस प्रकार निर्धारित किया जाना है कि:
कार्यक्रम निम्नलिखित चार अंतर समीकरणों को भी पूरा करना चाहिए:
इनका विस्तार करना और उन्हें एक साथ मिलाने से डिफरेंशियल रिज़ॉल्वेंट प्राप्त होता है:
विभेदक विलायक का समाधान, चौथा क्रम साधारण अंतर समीकरण होने के कारण, एकीकरण के चार स्थिरांक पर निर्भर करता है, जिसे चुना जाना चाहिए ताकि मूल पंचक को संतुष्ट किया जा सके। यह अतिज्यामितीय प्रकार का फुकशियन साधारण अवकल समीकरण होता है,[20] जिसका समाधान ऊपर ग्लासर की व्युत्पत्ति में उत्पन्न हाइपरज्यामितीय कार्यों की श्रृंखला के समान होता है।[5]
इस विधि को मनमाने ढंग से उच्च डिग्री के समीकरणों के लिए सामान्यीकृत किया जा सकता है, विभेदक रिज़ॉल्वेंट के साथ जो आंशिक अंतर समीकरण है, जिनके समाधान में कई चर के हाइपरज्यामितीय कार्य सम्मलित है।[21][22] मनमाना अविभाज्य बहुपदों के अवकल विलायकों के लिए एक सामान्य सूत्र के घात योग सूत्र द्वारा दिया जाता है।[23][24]
डॉयल-मैकमुलेन पुनरावृत्ति
1989 में, पीटर डॉयल और कर्ट मैकमुलेन ने एक पुनरावृति विधि निकाली थी[25] जो ब्रियोस्की सामान्य रूप में एक पंचक को हल करता है:
पुनरावृत्ति एल्गोरिथ्म निम्नानुसार आगे बढ़ता है:
तय करना
तर्कसंगत कार्य की गणना करें
जहाँ नीचे दिया गया एक बहुपद फलन है, और का व्युत्पन्न है इसके संबंध में
पुनरावृति एक यादृच्छिक प्रारंभिक अनुमान पर जब तक यह अभिसरण नहीं हो जाता है। अनुक्रम की सीमा को बुलाओ और जाने .
गणना करें
जहाँ नीचे दिया गया एक बहुपद फलन है। यह दोनों के लिए करें और .
अंत में, गणना करें
के लिए i = 1, 2. ये ब्रियोस्की क्विंटिक की दो जड़ें है।
दो बहुपद कार्य और निम्नानुसार है:
यह पुनरावृति विधि पंचक की दो जड़ें उत्पन्न करती है। दो जड़ों को विभाजित करने के लिए सिंथेटिक विभाजन का उपयोग करके शेष तीन जड़ें प्राप्त की जा सकती है, जिससे एक घन समीकरण का निर्माण होता है। जिस तरह से पुनरावृति तैयार की जाती है, उसके कारण यह विधि हमेशा पंचक की दो जटिल संयुग्मी जड़ें ढूंढती है, भले ही सभी पंचक गुणांक वास्तविक हों और शुरुआती अनुमान वास्तविक हो, यह पुनरावृति विधि विंशतिफलक की समरूपता से ली गई है और फेलिक्स क्लेन ने अपनी पुस्तक में वर्णित विधि निकटता से संबंधित है।[2]
↑ 7.07.1
Hermite, Charles (1858). "Sur la résolution de l'équation du cinquème degré". Comptes Rendus de l'Académie des Sciences. XLVI (I): 508–515.
↑
Brioschi, Francesco (1858). "Sul Metodo di Kronecker per la Risoluzione delle Equazioni di Quinto Grado". Atti Dell'i. R. Istituto Lombardo di Scienze, Lettere ed Arti. I: 275–282.
↑
Kronecker, Leopold (1858). "Sur la résolution de l'equation du cinquième degré, extrait d'une lettre adressée à M. Hermite". Comptes Rendus de l'Académie des Sciences. XLVI (I): 1150–1152.
↑Borwein, Jonathan M.; Borwein, Peter B. (1987). Pi and the AGM: A Study in Analytic Number Theory and Computational Complexity (First ed.). Wiley-Interscience. ISBN0-471-83138-7. p. 126. Note that if , and if . There is a typo on the page: should be instead.
↑Borwein, Jonathan M.; Borwein, Peter B. (1987). Pi and the AGM: A Study in Analytic Number Theory and Computational Complexity (First ed.). Wiley-Interscience. p. 127. ISBN0-471-83138-7. The table gives Setting it equal to zero and multiplying by gives the equation in this article.
↑Borwein, Jonathan M.; Borwein, Peter B. (1987). Pi and the AGM: A Study in Analytic Number Theory and Computational Complexity (First ed.). Wiley-Interscience. ISBN0-471-83138-7. p. 135
↑Hermite's Sur la théorie des équations modulaires et la résolution de l'équation du cinquième degré (1859), p. 7
↑Borwein, Jonathan M.; Borwein, Peter B. (1987). Pi and the AGM: A Study in Analytic Number Theory and Computational Complexity (First ed.). Wiley-Interscience. ISBN0-471-83138-7. p. 136
↑
Umemura, Hiroshi (2007). "Resolution of algebraic equations by theta constants". In Mumford, David (ed.). Tata Lectures on Theta II. Modern Birkhäuser Classics (in English). Boston, MA: Birkhäuser. pp. 261–270. doi:10.1007/978-0-8176-4578-6_18. ISBN9780817645694.
↑
Glasser, M. Lawrence (1994). "The quadratic formula made hard: A less radical approach to solving equations". arXiv:math.CA/9411224.
↑
Mayr, Karl (1937). "Über die Auflösung algebraischer Gleichungssysteme durch hypergeometrische Funktionen". Monatshefte für Mathematik und Physik. 45: 280–313. doi:10.1007/BF01707992. S2CID197662587.