ब्रिंग रेडिकल्स: Difference between revisions
m (Sugatha moved page कट्टरपंथी लाओ to ब्रिंग रेडिकल्स without leaving a redirect) |
No edit summary |
||
Line 1: | Line 1: | ||
{{short description|Real root of the polynomial x^5+x+a}} | {{short description|Real root of the polynomial x^5+x+a}} | ||
[[File:Bring radical plot.svg|thumb|वास्तविक तर्क के लिए रेडिकल ब्रिंग का प्लॉट]][[बीजगणित]] में, [[वास्तविक संख्या]] a का रेडिकल या अल्ट्रारेडिकल '''ब्रिंग''', [[बहुपद]] का अद्वितीय वास्तविक मूल होता | [[File:Bring radical plot.svg|thumb|वास्तविक तर्क के लिए रेडिकल ब्रिंग का प्लॉट]][[बीजगणित]] में, [[वास्तविक संख्या]] a का रेडिकल या अल्ट्रारेडिकल '''ब्रिंग रेडिकल''', [[बहुपद]] का अद्वितीय वास्तविक मूल होता है।ka<math display="block">x^5 + x + a.</math>एक सम्मिश्र संख्या a का ब्रिंग रेडिकल या तो उपरोक्त बहुपद की पाँच संख्याओं में से कोई भी हो सकता है (यह इस प्रकार बहु-मूल्यवान है), या एक विशिष्ट संख्या, जिसे सामान्यतः इस तरह चुना जाता है कि ब्रिंग रेडिकल वास्तविक a के लिए वास्तविक-मूल्यवान होता है और वास्तविक रेखा के निकटतम में एक [[विश्लेषणात्मक कार्य]] होता है। चार [[शाखा बिंदु]]ओं के अस्तित्व के कारण, रेडिकल को एक ऐसे फ़ंक्शन के रूप में परिभाषित नहीं किया जा सकता है, और इसकी निरंतरता के डोमेन को चार शाखा कटौती को बाहर करता है। | ||
[[जॉर्ज जेरार्ड]] ने दिखाया कि कुछ पंचक समीकरण नौवे | [[जॉर्ज जेरार्ड]] ने दिखाया कि कुछ पंचक समीकरण नौवे संख्या और ब्रिंग रेडिकल्स का उपयोग करके [[बंद रूप अभिव्यक्ति]] हो सकते है, जिसे [[एरलैंड सैमुअल ब्रिंग]] द्वारा प्रस्तुत किया गया था। | ||
इस लेख में, ब्रिंग रेडिकल ऑफ ए को निरूपित किया गया है <math>\operatorname{BR}(a).</math> वास्तविक तर्क के लिए, यह स्पर्शोन्मुख व्यवहार के साथ विषम, नीरस रूप से घटता हुआ और असीम है <math>\operatorname{BR}(a) \sim -a^{1/5}</math> बड़े के लिए <math>a</math>. | इस लेख में, ब्रिंग रेडिकल ऑफ ए को निरूपित किया गया है <math>\operatorname{BR}(a).</math> वास्तविक तर्क के लिए, यह स्पर्शोन्मुख व्यवहार के साथ विषम, नीरस रूप से घटता हुआ और असीम है <math>\operatorname{BR}(a) \sim -a^{1/5}</math> बड़े के लिए <math>a</math>. | ||
== सामान्य रूप == | == सामान्य रूप == | ||
पांच स्वतंत्र गुणांकों के साथ अपने सबसे सामान्य रूप में सीधे समाधान प्राप्त करने के लिए पंचक समीकरण जबकि | पांच स्वतंत्र गुणांकों के साथ अपने सबसे सामान्य रूप में सीधे समाधान प्राप्त करने के लिए पंचक समीकरण जबकि कठिन है: | ||
<math display="block">x^5 + a_4x^4 + a_3x^3 + a_2x^2 + a_1x + a_0 = 0.</math> | <math display="block">x^5 + a_4x^4 + a_3x^3 + a_2x^2 + a_1x + a_0 = 0.</math> | ||
पंचक को हल करने के लिए विकसित किए गए विभिन्न विधियाँ सामान्यतः स्वतंत्र गुणांकों की संख्या को कम करने के लिए [[चिरनहॉस परिवर्तन]] का उपयोग करके पंचक को सरल बनाने का प्रयास करते है। | पंचक को हल करने के लिए विकसित किए गए विभिन्न विधियाँ सामान्यतः स्वतंत्र गुणांकों की संख्या को कम करने के लिए [[चिरनहॉस परिवर्तन]] का उपयोग करके पंचक को सरल बनाने का प्रयास करते है। | ||
Line 16: | Line 16: | ||
क्वार्टिक और क्यूबिक शर्तों को हटाकर सामान्य पंचक को प्रिंसिपल पंचक फॉर्म के रूप में जाना जाता है: | क्वार्टिक और क्यूबिक शर्तों को हटाकर सामान्य पंचक को प्रिंसिपल पंचक फॉर्म के रूप में जाना जाता है: | ||
<math display="block">y^5 + c_2y^2 + c_1y + c_0 = 0 \,</math> | <math display="block">y^5 + c_2y^2 + c_1y + c_0 = 0 \,</math> | ||
यदि एक सामान्य पंचक और एक प्रमुख पंचक की | यदि एक सामान्य पंचक और एक प्रमुख पंचक की संख्यायें द्विघात चिरनहॉस परिवर्तन से संबंधित है | ||
<math display="block">y_k = x_k^2 + \alpha x_k + \beta \, ,</math> | <math display="block">y_k = x_k^2 + \alpha x_k + \beta \, ,</math> | ||
गुणांक α और β [[परिणामी]] का उपयोग करके, या [[शक्ति योग सममित बहुपद]] और न्यूटन की पहचान के माध्यम से निर्धारित किया जा सकता है। यह α और β में समीकरणों की एक प्रणाली की ओर जाता है जिसमें एक द्विघात और एक रेखीय समीकरण होता है, और समाधान के दो सेटों में से किसी एक का उपयोग प्रिंसिपल पंचक फॉर्म के संबंधित तीन गुणांक प्राप्त करने के लिए किया जा सकता है।<ref name=Adamchik-2003> | गुणांक α और β [[परिणामी]] का उपयोग करके, या [[शक्ति योग सममित बहुपद]] और न्यूटन की पहचान के माध्यम से निर्धारित किया जा सकता है। यह α और β में समीकरणों की एक प्रणाली की ओर जाता है जिसमें एक द्विघात और एक रेखीय समीकरण होता है, और समाधान के दो सेटों में से किसी एक का उपयोग प्रिंसिपल पंचक फॉर्म के संबंधित तीन गुणांक प्राप्त करने के लिए किया जा सकता है।<ref name=Adamchik-2003> | ||
Line 46: | Line 46: | ||
ब्रिंग-जेरार्ड सामान्य रूप का निर्माण करते हुए, पंचक को और भी सरल बनाना और द्विघात शब्द को समाप्त करना संभव है: | ब्रिंग-जेरार्ड सामान्य रूप का निर्माण करते हुए, पंचक को और भी सरल बनाना और द्विघात शब्द को समाप्त करना संभव है: | ||
<math display="block">v^5 + d_1v + d_0 = 0.</math> | <math display="block">v^5 + d_1v + d_0 = 0.</math> | ||
क्यूबिक परिवर्तन के साथ फिर से शक्ति-योग सूत्रों का उपयोग करना, जैसा कि [[Ehrenfried Walther von Tschirnhaus|चिरनहॉस]] ने कोशिश की, काम नहीं करता है, क्योंकि समीकरणों की परिणामी प्रणाली के परिणामस्वरूप छठी-डिग्री समीकरण होती है। लेकिन 1796 में ब्रिंग ने ब्रिंग-जेरार्ड पंचक के मूल पंचक की | क्यूबिक परिवर्तन के साथ फिर से शक्ति-योग सूत्रों का उपयोग करना, जैसा कि [[Ehrenfried Walther von Tschirnhaus|चिरनहॉस]] ने कोशिश की, काम नहीं करता है, क्योंकि समीकरणों की परिणामी प्रणाली के परिणामस्वरूप छठी-डिग्री समीकरण होती है। लेकिन 1796 में ब्रिंग ने ब्रिंग-जेरार्ड पंचक के मूल पंचक की संख्याओं से संबंधित करने के लिए एक क्वार्टिक [[Ehrenfried Walther von Tschirnhaus|चिरनहॉस]] परिवर्तन का उपयोग करके इसके चारों ओर एक रास्ता खोजा: | ||
<math display="block">v_k = y^4_k + \alpha y^3_k + \beta y^2_k + \gamma y_k + \delta\, .</math> | <math display="block">v_k = y^4_k + \alpha y^3_k + \beta y^2_k + \gamma y_k + \delta\, .</math> | ||
इसे चौथे क्रम के परिवर्तन द्वारा प्रदान किया गया अतिरिक्त पैरामीटर अन्य मापदंडों की डिग्री को कम करने के लिए ब्रिंग को अनुमति देता है। यह छह अज्ञात में पाँच समीकरणों की एक प्रणाली की ओर जाता है, जिसके लिए एक घन और एक द्विघात समीकरण के समाधान की आवश्यकता होती है। इस पद्धति की खोज भी जॉर्ज जेरार्ड ने 1852 में की थी।<ref> | |||
{{cite book | {{cite book | ||
| last = Jerrard | first = George Birch |author-link=George Jerrard | | last = Jerrard | first = George Birch |author-link=George Jerrard | ||
Line 73: | Line 73: | ||
| eprint = math.GM/0005026 | | eprint = math.GM/0005026 | ||
}} | }} | ||
</ref> जैसा कि इन परिवर्तनों की | </ref> जैसा कि इन परिवर्तनों की कठिनता से उम्मीद की जा सकती है, परिणामी भाव बहुत अधिक हो सकते है, खासकर जब कम डिग्री समीकरणों के लिए रेडिकल में समाधान की तुलना में, प्रतीकात्मक गुणांक के साथ एक सामान्य पंचक के लिए कई मेगाबाइट भंडारण लेते है।<ref name="qmathematica"/> | ||
इसे एक बीजगणितीय कार्य के रूप में माना जाता है, इसके समाधान है | इसे एक बीजगणितीय कार्य के रूप में माना जाता है, इसके समाधान है | ||
<math display="block">v^5+d_1v+d_0 = 0</math> | <math display="block">v^5+d_1v+d_0 = 0</math> | ||
दो चर सम्मलित है, डी<sub>1</sub> और डी<sub>0,</sub> चूँकि, कमी वास्तव में एक चर के बीजगणितीय कार्य के लिए है, जो रेडिकल में एक समाधान के समान है, क्योंकि हम ब्रिंग-जेरार्ड फॉर्म को और कम कर सकते है। यदि हम उदाहरण के लिए सेट करते है | इसमें दो चर सम्मलित है, डी<sub>1</sub> और डी<sub>0,</sub> चूँकि, कमी वास्तव में एक चर के बीजगणितीय कार्य के लिए है, जो रेडिकल में एक समाधान के समान है, क्योंकि हम ब्रिंग-जेरार्ड फॉर्म को और कम कर सकते है। यदि हम उदाहरण के लिए सेट करते है | ||
<math display="block">z = {v \over \sqrt[4]{-d_1}}</math> | <math display="block">z = {v \over \sqrt[4]{-d_1}}</math> | ||
फिर हम समीकरण को रूप में कम करते है | फिर हम समीकरण को रूप में कम करते है | ||
<math display="block">z^5 - z + a = 0\, ,</math> | <math display="block">z^5 - z + a = 0\, ,</math> | ||
जिसमें एक एकल चर के बीजगणितीय कार्य के रूप में z सम्मलित है <math>a</math>, जहाँ <math>a=d_0(-d_1)^{-5/4}</math>. इस फॉर्म की आवश्यकता हरमाइट-क्रोनेकर-ब्रियोस्ची विधि, ग्लासर की विधि और नीचे वर्णित | जिसमें एक एकल चर के बीजगणितीय कार्य के रूप में z सम्मलित है <math>a</math>, जहाँ <math>a=d_0(-d_1)^{-5/4}</math>. इस फॉर्म की आवश्यकता हरमाइट-क्रोनेकर-ब्रियोस्ची विधि, ग्लासर की विधि और नीचे वर्णित अंतर समाधान की कॉकल-हार्ले विधि द्वारा आवश्यक है। | ||
सेट करके एक वैकल्पिक रूप प्राप्त किया जाता है <math>u = {v \over \sqrt[4]{d_1}}</math> ताकि <math>u^5 + u + b = 0\, ,</math> जहाँ <math>b=d_0(d_1)^{-5/4}</math>. इस फॉर्म का इस्तेमाल नीचे ब्रिंग रेडिकल को परिभाषित करने के लिए किया जाता है। | सेट करके एक वैकल्पिक रूप प्राप्त किया जाता है <math>u = {v \over \sqrt[4]{d_1}}</math> ताकि <math>u^5 + u + b = 0\, ,</math> जहाँ <math>b=d_0(d_1)^{-5/4}</math>. इस फॉर्म का इस्तेमाल नीचे ब्रिंग रेडिकल को परिभाषित करने के लिए किया जाता है। | ||
Line 90: | Line 90: | ||
जिसे तर्कसंगत चिरनहॉस रूपांतरण का उपयोग करके प्राप्त किया जा सकता है | जिसे तर्कसंगत चिरनहॉस रूपांतरण का उपयोग करके प्राप्त किया जा सकता है | ||
<math display="block">w_k = \frac{\lambda + \mu x_k}{\frac{x_k^2}{C}-3}</math> | <math display="block">w_k = \frac{\lambda + \mu x_k}{\frac{x_k^2}{C}-3}</math> | ||
एक ब्रियोस्की पंचक के लिए एक सामान्य पंचक की | एक ब्रियोस्की पंचक के लिए एक सामान्य पंचक की संख्याओं से संबंधित करता है। मापदंडों का मान <math>\lambda</math> और <math>\mu</math> [[रीमैन क्षेत्र]] पर [[बहुफलकीय समारोह]] का उपयोग करके प्राप्त किया जा सकता है, और आईकोसाहेड्रल समरूपता के एक वस्तु के विभाजन से संबंधित होता है जो [[टेट्राहेड्रल समरूपता]] की पांच वस्तुओं में होता है।<ref name="king">{{cite book | ||
| last = King | first = R. Bruce | | last = King | first = R. Bruce | ||
| year = 1996 | | year = 1996 | ||
Line 103: | Line 103: | ||
== श्रृंखला प्रतिनिधित्व == | == श्रृंखला प्रतिनिधित्व == | ||
ब्रिंग रेडिकल्स के लिए एक [[टेलर श्रृंखला]], साथ ही सामान्यीकृत हाइपरज्यामितीय कार्यों के संदर्भ में एक प्रतिनिधित्व निम्नानुसार प्राप्त किया जा सकता है। समीकरण <math>x^5+x+a=0</math> के रूप में पुनः लिखा जा सकता है <math>x^5+x=-a.</math> व्यवस्थित करके <math>f(x)=x^5+x,</math> वांछित समाधान है <math>x = f^{-1}(-a) = -f^{-1}(a)</math> तब से <math>f(x)</math> | ब्रिंग रेडिकल्स के लिए एक [[टेलर श्रृंखला]], साथ ही सामान्यीकृत हाइपरज्यामितीय कार्यों के संदर्भ में एक प्रतिनिधित्व निम्नानुसार प्राप्त किया जा सकता है। समीकरण <math>x^5+x+a=0</math> के रूप में पुनः लिखा जा सकता है <math>x^5+x=-a.</math> व्यवस्थित करके <math>f(x)=x^5+x,</math> वांछित समाधान है <math>x = f^{-1}(-a) = -f^{-1}(a)</math> तब से <math>f(x)</math> होता है। | ||
के लिए श्रृंखला <math>f^{-1}</math> इसके बाद टेलर श्रृंखला के [[लैग्रेंज उलटा प्रमेय]] द्वारा प्राप्त किया जा सकता है <math>f(x)</math> (जो सरल है <math>x+x^5</math>), देता है | के लिए श्रृंखला <math>f^{-1}</math> इसके बाद टेलर श्रृंखला के [[लैग्रेंज उलटा प्रमेय]] द्वारा प्राप्त किया जा सकता है <math>f(x)</math> (जो सरल है <math>x+x^5</math>), देता है | ||
Line 111: | Line 111: | ||
[[ हाइपरज्यामितीय समारोह |हाइपरज्यामितीय समारोह]] फॉर्म में, ब्रिंग रेडिकल को इस रूप में लिखा जा सकता है<ref name="qmathematica" /> | [[ हाइपरज्यामितीय समारोह |हाइपरज्यामितीय समारोह]] फॉर्म में, ब्रिंग रेडिकल को इस रूप में लिखा जा सकता है<ref name="qmathematica" /> | ||
<math display="block">\operatorname{BR}(a) = -a \,\,_4F_3\left(\frac{1}{5},\frac{2}{5},\frac{3}{5},\frac{4}{5};\frac{1}{2},\frac{3}{4},\frac{5}{4};-5\left(\frac{5a}{4}\right)^4\right).</math> | <math display="block">\operatorname{BR}(a) = -a \,\,_4F_3\left(\frac{1}{5},\frac{2}{5},\frac{3}{5},\frac{4}{5};\frac{1}{2},\frac{3}{4},\frac{5}{4};-5\left(\frac{5a}{4}\right)^4\right).</math> | ||
ग्लासर की व्युत्पत्ति और | ग्लासर की व्युत्पत्ति और अंतर समाधान की विधि में नीचे उत्पन्न होने वाले हाइपरजियोमेट्रिक फ़ंक्शंस के साथ तुलना करना रोचक हो सकता है। | ||
== सामान्य पंचक का समाधान == | == सामान्य पंचक का समाधान == | ||
बहुपद की | बहुपद की संख्यायें | ||
<math display="block">x^5 + px +q</math> | <math display="block">x^5 + px +q</math> | ||
ब्रिंग रेडिकल के रूप में व्यक्त किया जा सकता है | ब्रिंग रेडिकल के रूप में व्यक्त किया जा सकता है | ||
<math display="block">\sqrt[4]{p}\,\operatorname{BR}\left(p^{-\frac{5}{4}}q\right)</math> | <math display="block">\sqrt[4]{p}\,\operatorname{BR}\left(p^{-\frac{5}{4}}q\right)</math> | ||
और इसके चार | और इसके चार कठिन संयुग्म है। हल करने योग्य बहुपद समीकरणों के संदर्भ में अब समस्या को ब्रिंग-जेरार्ड रूप में कम कर दिया गया है, और संख्याओं में बहुपद अभिव्यक्तियों को सम्मलित करने वाले परिवर्तनों का उपयोग केवल चौथी डिग्री तक किया जाता है, जिसका अर्थ है कि बहुपद की संख्याओं को खोजने के द्वारा परिवर्तन को उलटा किया जा सकता है। यह प्रक्रिया बाहरी समाधान देती है, लेकिन जब संख्यात्मक विधियों से सही पाया जाता है, तो पंचक की संख्याओं को वर्गमूल, घनमूल और ब्रिंग रेडिकल के रूप में लिखा जा सकता है, जो कि बीजगणितीय के संदर्भ में एक बीजगणितीय समाधान है। एकल चर के कार्य (मोटे तौर पर रेडिकल्स को सम्मलित करने के लिए परिभाषित) सामान्य पंचक का एक बीजगणितीय समाधान है। | ||
== अन्य लक्षण वर्णन == | == अन्य लक्षण वर्णन == | ||
ब्रिंग रैडिकल के कई अन्य लक्षण विकसित किए गए है, जिनमें से पहला 1858 में [[चार्ल्स हर्मिट]] द्वारा | ब्रिंग रैडिकल के कई अन्य लक्षण विकसित किए गए है, जिनमें से पहला 1858 में [[चार्ल्स हर्मिट]] द्वारा गोलाकार ट्रांसेंडेंट ([[अण्डाकार समारोह|गोलाकार]] और मॉड्यूलर कार्यों से संबंधित) के संदर्भ में है, और बाद में अन्य गणितज्ञों द्वारा विकसित किए गए विधियाँ है। | ||
=== हर्मिट-क्रोनेकर-ब्रियोस्ची लक्षण वर्णन === | === हर्मिट-क्रोनेकर-ब्रियोस्ची लक्षण वर्णन === | ||
Line 148: | Line 148: | ||
| volume = XLVI | issue = I | pages = 1150–1152 | | volume = XLVI | issue = I | pages = 1150–1152 | ||
}} | }} | ||
</ref> समकक्ष समाधानों पर आए। हर्मिट त्रिकोणमितीय कार्यों के संदर्भ में क्यूबिक समीकरण के प्रसिद्ध समाधान को सामान्यीकृत करके इस समाधान पर पहुंचे और ब्रिंग-जेरार्ड रूप में पंचक का समाधान | </ref> समकक्ष समाधानों पर आए। हर्मिट त्रिकोणमितीय कार्यों के संदर्भ में क्यूबिक समीकरण के प्रसिद्ध समाधान को सामान्यीकृत करके इस समाधान पर पहुंचे और ब्रिंग-जेरार्ड रूप में पंचक का समाधान खोजते है: | ||
<math display="block">x^5 - x + a = 0</math> | <math display="block">x^5 - x + a = 0</math> | ||
जिसमें दिखाया गया है कि चिरनहॉस परिवर्तनों के माध्यम से किसी भी पंचक समीकरण को कम किया जा सकता है। उन्होंने देखा कि | जिसमें दिखाया गया है कि चिरनहॉस परिवर्तनों के माध्यम से किसी भी पंचक समीकरण को कम किया जा सकता है। उन्होंने देखा कि गोलाकार कार्यों की ब्रिंग-जेरार्ड पंचक के समाधान में खेलने के लिए एक समान भूमिका थी क्योंकि क्यूबिक के लिए त्रिकोणमितीय कार्यों के पास था। इसके लिए <math>K</math> और <math>K',</math> उन्हें गोलाकार अभिन्न के रूप में लिखें पहली तरह का पूर्ण गोलाकार अभिन्न: | ||
<math display="block">K(k) = \int_0^{\frac{\pi}{2}} \frac{d\varphi}{\sqrt{1-k^2 \sin^2\varphi}}</math> | <math display="block">K(k) = \int_0^{\frac{\pi}{2}} \frac{d\varphi}{\sqrt{1-k^2 \sin^2\varphi}}</math> | ||
<math display="block">K'(k) = \int_0^{\frac{\pi}{2}} \frac{d\varphi}{\sqrt{1-k'^2 \sin^2\varphi}}</math> | <math display="block">K'(k) = \int_0^{\frac{\pi}{2}} \frac{d\varphi}{\sqrt{1-k'^2 \sin^2\varphi}}</math> | ||
जहाँ | जहाँ | ||
<math display="block">k^2 + k'^2 = 1.</math> | <math display="block">k^2 + k'^2 = 1.</math> | ||
दो | दो गोलाकार पारलौकिक को परिभाषित करता है:<ref group="note"><math>\varphi^8(\tau)+\psi^8(\tau)=1</math> and <math>\psi(\tau)=\varphi(-1/\tau).</math> These functions are related to the [[Theta function|Jacobi theta functions]] by <math>\varphi^2(\tau)=\vartheta_{10}(0;\tau)/\vartheta_{00}(0;\tau)</math> and <math>\psi^2(\tau)=\vartheta_{01}(0;\tau)/\vartheta_{00}(0;\tau).</math></ref> | ||
<math display="block">\varphi(\tau) = \prod_{j=1}^\infty \tanh \frac{(2j-1)\pi i}{2\tau}=\sqrt{2}e^{\pi i\tau/8}\prod_{j=1}^\infty \frac{1+e^{2j\pi i\tau}}{1+e^{(2j-1)\pi i\tau}},\quad \operatorname{Im}\tau>0</math> | <math display="block">\varphi(\tau) = \prod_{j=1}^\infty \tanh \frac{(2j-1)\pi i}{2\tau}=\sqrt{2}e^{\pi i\tau/8}\prod_{j=1}^\infty \frac{1+e^{2j\pi i\tau}}{1+e^{(2j-1)\pi i\tau}},\quad \operatorname{Im}\tau>0</math> | ||
<math display="block">\psi(\tau) = \prod_{j=1}^\infty \tanh \frac{(1-2j)\pi i\tau}{2},\quad\operatorname{Im}\tau>0</math> | <math display="block">\psi(\tau) = \prod_{j=1}^\infty \tanh \frac{(1-2j)\pi i\tau}{2},\quad\operatorname{Im}\tau>0</math> | ||
Line 161: | Line 161: | ||
<math display="block">\varphi(\tau)=\sqrt{2}e^{\pi i\tau/8}\frac{\sum_{j\in\mathbb{Z}}e^{(2j^2+j)\pi i\tau}}{\sum_{j\in\mathbb{Z}}e^{j^2\pi i\tau}},\quad \operatorname{Im}\tau >0</math> | <math display="block">\varphi(\tau)=\sqrt{2}e^{\pi i\tau/8}\frac{\sum_{j\in\mathbb{Z}}e^{(2j^2+j)\pi i\tau}}{\sum_{j\in\mathbb{Z}}e^{j^2\pi i\tau}},\quad \operatorname{Im}\tau >0</math> | ||
<math display="block">\psi(\tau)=\frac{\sum_{j\in\mathbb{Z}}(-1)^j e^{2j^2\pi i\tau}}{\sum_{j\in\mathbb{Z}}e^{j^2\pi i\tau}},\quad\operatorname{Im}\tau >0</math> | <math display="block">\psi(\tau)=\frac{\sum_{j\in\mathbb{Z}}(-1)^j e^{2j^2\pi i\tau}}{\sum_{j\in\mathbb{Z}}e^{j^2\pi i\tau}},\quad\operatorname{Im}\tau >0</math> | ||
यदि n एक [[अभाज्य संख्या]] है, तो हम दो मानों को परिभाषित कर सकते है <math>u</math> और <math>v</math> निम्नलिखित | यदि n एक [[अभाज्य संख्या]] है, तो हम दो मानों को परिभाषित कर सकते है <math>u</math> और <math>v</math> निम्नलिखित अनुसार है: | ||
<math display="block">u = \varphi(n\tau)</math> | <math display="block">u = \varphi(n\tau)</math> | ||
और | और | ||
Line 169: | Line 169: | ||
और | और | ||
<math display="block">u=\varepsilon (n)\varphi\left(\frac{\tau + 16m}{n}\right)</math> | <math display="block">u=\varepsilon (n)\varphi\left(\frac{\tau + 16m}{n}\right)</math> | ||
जहाँ <math>\varepsilon (n)</math> 1 या -1 है जो इस बात पर निर्भर करता है कि 2 एक द्विघात अवशेष है या नहीं, क्रमशः,<ref group="note">Equivalently, <math>\varepsilon (n) = (-1)^{(n^2-1)/8}</math> (by the [[Quadratic reciprocity|law of quadratic reciprocity]]).</ref> और <math>m\in\{0,1,\ldots,n-1\}</math>. n = 5 के लिए, हमारे पास मॉड्यूलर समीकरण है:<ref>{{Cite book |last1=Borwein |first1=Jonathan M. |last2=Borwein| first2=Peter B. |title=Pi and the AGM: A Study in Analytic Number Theory and Computational Complexity |publisher=Wiley-Interscience |year=1987 |edition=First |isbn=0-471-83138-7 | page = 127}} The table gives <math>\begin{align}\Omega_5(u,v)=&-u^6+4u^5v^5-5u^4v^2+5u^2v^4\\&-4uv+v^6.\end{align}</math> Setting it equal to zero and multiplying by <math>-1</math> gives the equation in this article.</ref> | जहाँ <math>\varepsilon (n)</math> 1 या -1 है जो इस बात पर निर्भर करता है कि 2 एक द्विघात अवशेष है या नहीं है, क्रमशः,<ref group="note">Equivalently, <math>\varepsilon (n) = (-1)^{(n^2-1)/8}</math> (by the [[Quadratic reciprocity|law of quadratic reciprocity]]).</ref> और <math>m\in\{0,1,\ldots,n-1\}</math>. n = 5 के लिए, हमारे पास मॉड्यूलर समीकरण है:<ref>{{Cite book |last1=Borwein |first1=Jonathan M. |last2=Borwein| first2=Peter B. |title=Pi and the AGM: A Study in Analytic Number Theory and Computational Complexity |publisher=Wiley-Interscience |year=1987 |edition=First |isbn=0-471-83138-7 | page = 127}} The table gives <math>\begin{align}\Omega_5(u,v)=&-u^6+4u^5v^5-5u^4v^2+5u^2v^4\\&-4uv+v^6.\end{align}</math> Setting it equal to zero and multiplying by <math>-1</math> gives the equation in this article.</ref> | ||
<math display="block">\Omega_5(u,v) = 0 \iff u^6 - v^6 + 5u^2v^2(u^2-v^2)+4uv(1-u^4v^4)=0</math> | <math display="block">\Omega_5(u,v) = 0 \iff u^6 - v^6 + 5u^2v^2(u^2-v^2)+4uv(1-u^4v^4)=0</math> | ||
छह | छह संख्याओं के साथ <math>u</math> जैसा कि उपर दिखाया गया है। | ||
n = 5 के साथ मॉड्यूलर समीकरण मॉड्यूलर समीकरण की छह | n = 5 के साथ मॉड्यूलर समीकरण मॉड्यूलर समीकरण की छह संख्याओं के निम्नलिखित कार्य द्वारा ब्रिंग-जेरार्ड पंचक से संबंधित हो सकता है, पहला कारक गलत विधियाँ से दिया गया है <math>[\varphi(5\tau)+\varphi(\tau/5)]</math>:<ref>{{Cite book |last1=Borwein |first1=Jonathan M. |last2=Borwein| first2=Peter B. |title=Pi and the AGM: A Study in Analytic Number Theory and Computational Complexity |publisher=Wiley-Interscience |year=1987 |edition=First |isbn=0-471-83138-7}} p. 135</ref> | ||
<math display="block">\Phi(\tau) = \left[-\varphi(5\tau) - \varphi\left(\frac{\tau}{5}\right)\right]\left[\varphi\left(\frac{\tau+16}{5}\right) - \varphi\left(\frac{\tau + 64}{5}\right)\right]\left[\varphi\left(\frac{\tau+32}{5}\right) - \varphi\left(\frac{\tau + 48}{5}\right)\right]</math> | <math display="block">\Phi(\tau) = \left[-\varphi(5\tau) - \varphi\left(\frac{\tau}{5}\right)\right]\left[\varphi\left(\frac{\tau+16}{5}\right) - \varphi\left(\frac{\tau + 64}{5}\right)\right]\left[\varphi\left(\frac{\tau+32}{5}\right) - \varphi\left(\frac{\tau + 48}{5}\right)\right]</math> | ||
Line 188: | Line 188: | ||
<math display="block">\Phi (\tau)=2\sqrt{10}e^{3\pi i\tau/40}(1+e^{\pi i\tau/5}-e^{2\pi i\tau/5}+e^{3\pi i\tau/5}-8e^{\pi i\tau}-9e^{6\pi i\tau/5}+8e^{7\pi i\tau/5}-9e^{8\pi i\tau/5}+\cdots)</math> | <math display="block">\Phi (\tau)=2\sqrt{10}e^{3\pi i\tau/40}(1+e^{\pi i\tau/5}-e^{2\pi i\tau/5}+e^{3\pi i\tau/5}-8e^{\pi i\tau}-9e^{6\pi i\tau/5}+8e^{7\pi i\tau/5}-9e^{8\pi i\tau/5}+\cdots)</math> | ||
के संख्यात्मक मूल्यांकन के लिए उपयोगी है <math>\Phi (\tau)</math>. हर्मिट के अनुसार, का गुणांक <math>e^{n\pi i\tau/5}</math> विस्तार में प्रत्येक के लिए शून्य है <math>n\equiv 4\,(\operatorname{mod}5)</math>.<ref>Hermite's ''Sur la théorie des équations modulaires et la résolution de l'équation du cinquième degré'' (1859), p. 7</ref> | के संख्यात्मक मूल्यांकन के लिए उपयोगी है <math>\Phi (\tau)</math>. हर्मिट के अनुसार, का गुणांक <math>e^{n\pi i\tau/5}</math> विस्तार में प्रत्येक के लिए शून्य है <math>n\equiv 4\,(\operatorname{mod}5)</math>.<ref>Hermite's ''Sur la théorie des équations modulaires et la résolution de l'équation du cinquième degré'' (1859), p. 7</ref> | ||
पाँच मात्राएँ <math>\Phi(\tau)</math>, <math>\Phi(\tau+16)</math>, <math>\Phi(\tau+32)</math>, <math>\Phi(\tau+48)</math>, <math>\Phi(\tau+64)</math> परिमेय गुणांक वाले पंचक समीकरण की | पाँच मात्राएँ <math>\Phi(\tau)</math>, <math>\Phi(\tau+16)</math>, <math>\Phi(\tau+32)</math>, <math>\Phi(\tau+48)</math>, <math>\Phi(\tau+64)</math> परिमेय गुणांक वाले पंचक समीकरण की संख्यायें है <math>\varphi(\tau)</math>:<ref>{{Cite book |last1=Borwein |first1=Jonathan M. |last2=Borwein| first2=Peter B. |title=Pi and the AGM: A Study in Analytic Number Theory and Computational Complexity |publisher=Wiley-Interscience |year=1987 |edition=First |isbn=0-471-83138-7}} p. 136</ref> | ||
<math display="block">\Phi^5 - 2000\varphi^4(\tau)\psi^{16}(\tau)\Phi - 64\sqrt{5^5}\varphi^3(\tau)\psi^{16}(\tau) \left[1 + \varphi^8(\tau)\right] = 0</math> | <math display="block">\Phi^5 - 2000\varphi^4(\tau)\psi^{16}(\tau)\Phi - 64\sqrt{5^5}\varphi^3(\tau)\psi^{16}(\tau) \left[1 + \varphi^8(\tau)\right] = 0</math> | ||
जिसे प्रतिस्थापन द्वारा आसानी से ब्रिंग-जेरार्ड रूप में परिवर्तित किया जा सकता है: | जिसे प्रतिस्थापन द्वारा आसानी से ब्रिंग-जेरार्ड रूप में परिवर्तित किया जा सकता है: | ||
<math display="block">\Phi = 2\sqrt[4]{125}\varphi(\tau)\psi^4(\tau)x</math> | <math display="block">\Phi = 2\sqrt[4]{125}\varphi(\tau)\psi^4(\tau)x</math> | ||
ब्रिंग-जेरार्ड पंचक के लिए अग्रणी: | ब्रिंग-जेरार्ड पंचक के लिए अग्रणी है: | ||
<math display="block">x^5 - x + a = 0</math> | <math display="block">x^5 - x + a = 0</math> | ||
जहाँ | जहाँ | ||
{{NumBlk||<math display="block">a = -\frac{2[1 + \varphi^8(\tau)]}{\sqrt[4]{5^5}\varphi^2(\tau)\psi^4(\tau)}</math>|{{EquationRef|<nowiki>*</nowiki>}}}} | {{NumBlk||<math display="block">a = -\frac{2[1 + \varphi^8(\tau)]}{\sqrt[4]{5^5}\varphi^2(\tau)\psi^4(\tau)}</math>|{{EquationRef|<nowiki>*</nowiki>}}}} | ||
हर्मिट-क्रोनेकर-ब्रियोस्ची विधि तब के लिए एक मूल्य खोजने के बराबर है <math>\tau</math> जो के मान से मेल खाता है <math>a</math>, और फिर उस मान का उपयोग करना <math>\tau</math> इसी मॉड्यूलर समीकरण की | हर्मिट-क्रोनेकर-ब्रियोस्ची विधि तब के लिए एक मूल्य खोजने के बराबर है <math>\tau</math> जो के मान से मेल खाता है <math>a</math>, और फिर उस मान का उपयोग करना <math>\tau</math> इसी मॉड्यूलर समीकरण की संख्यायें प्राप्त करने के लिए होता है। हम खोजने के लिए [[रूट-फाइंडिंग एल्गोरिदम|संख्या-फाइंडिंग एल्गोरिदम]] का उपयोग कर सकते है <math>\tau</math> समीकरण से {{EquationNote|*|(*)}} (अर्थात एक व्युत्क्रम फलन सामान्यीकरण की गणना करता है <math>a</math>). | ||
फिर ब्रिंग-जेरार्ड पंचक की | फिर ब्रिंग-जेरार्ड पंचक की संख्यायें इस प्रकार दी गई है: | ||
<math display="block">x_r = \frac{\Phi(\tau + 16r)}{2\sqrt[4]{125}\varphi(\tau)\psi^4(\tau)}</math> | <math display="block">x_r = \frac{\Phi(\tau + 16r)}{2\sqrt[4]{125}\varphi(\tau)\psi^4(\tau)}</math> | ||
के लिए <math>r = 0, \ldots, 4</math>. | के लिए <math>r = 0, \ldots, 4</math>. | ||
Line 216: | Line 216: | ||
{{NumBlk||<math display="block">k^4 + A^2k^3 + 2k^2 - A^2k + 1 = 0,</math>|{{EquationRef|<nowiki>**</nowiki>}}}} | {{NumBlk||<math display="block">k^4 + A^2k^3 + 2k^2 - A^2k + 1 = 0,</math>|{{EquationRef|<nowiki>**</nowiki>}}}} | ||
<math display="block">A = \frac{a\sqrt[4]{5^5}}{2}.</math> | <math display="block">A = \frac{a\sqrt[4]{5^5}}{2}.</math> | ||
समीकरण की | समीकरण की संख्यायें {{EquationNote|**|(**)}} है: | ||
<math display="block">k = \tan \frac{\alpha}{4}, \tan \frac{\alpha+2\pi}{4}, \tan \frac{\pi - \alpha}{4}, \tan \frac{3\pi - \alpha}{4} </math> | <math display="block">k = \tan \frac{\alpha}{4}, \tan \frac{\alpha+2\pi}{4}, \tan \frac{\pi - \alpha}{4}, \tan \frac{3\pi - \alpha}{4} </math> | ||
जहाँ <math>\sin \alpha = 4/A^2</math><ref name="Davis"/>(ध्यान दें कि कुछ महत्वपूर्ण संदर्भ गलत विधियाँ से इसे देते है <math>\sin \alpha = 1/(4A^2)</math><ref name="king"/><ref name="hermite"/>). इन | जहाँ <math>\sin \alpha = 4/A^2</math><ref name="Davis"/>(ध्यान दें कि कुछ महत्वपूर्ण संदर्भ गलत विधियाँ से इसे देते है <math>\sin \alpha = 1/(4A^2)</math><ref name="king"/><ref name="hermite"/>). इन संख्याओं में से एक को गोलाकार मापांक के रूप में इस्तेमाल किया जा सकता है <math>k</math>. | ||
फिर ब्रिंग-जेरार्ड पंचक की | फिर ब्रिंग-जेरार्ड पंचक की संख्यायें इस प्रकार दी गई है: | ||
<math display="block">x_r = -s\frac{\Phi(\tau + 16r)}{2\sqrt[4]{125}\varphi(\tau)\psi^4(\tau)}</math> | <math display="block">x_r = -s\frac{\Phi(\tau + 16r)}{2\sqrt[4]{125}\varphi(\tau)\psi^4(\tau)}</math> | ||
के लिए <math>r = 0, \ldots, 4</math>. | के लिए <math>r = 0, \ldots, 4</math>. | ||
यह देखा जा सकता है कि यह प्रक्रिया नौवे | यह देखा जा सकता है कि यह प्रक्रिया नौवे संख्या के सामान्यीकरण का उपयोग करता है, जिसे इस प्रकार व्यक्त किया जा सकता है: | ||
<math display="block">\sqrt[n]{x} = \exp \left( {\frac{1}{n}\ln x} \right)</math> | <math display="block">\sqrt[n]{x} = \exp \left( {\frac{1}{n}\ln x} \right)</math> | ||
या अधिक बिंदु तक, | या अधिक बिंदु तक है, जैसे | ||
<math display="block">\sqrt[n]{x} = \exp \left(\frac{1}{n}\int^x_1\frac{dt}{t}\right)=\exp\left(\frac{1}{n} \exp^{-1} x\right). </math> | <math display="block">\sqrt[n]{x} = \exp \left(\frac{1}{n}\int^x_1\frac{dt}{t}\right)=\exp\left(\frac{1}{n} \exp^{-1} x\right). </math> | ||
हर्मिट-क्रोनेकर-ब्रियोस्ची विधि अनिवार्य रूप से एक | हर्मिट-क्रोनेकर-ब्रियोस्ची विधि अनिवार्य रूप से एक गोलाकार पारलौकिक द्वारा घातांक को प्रतिस्थापित करती है, और अभिन्न <math display="inline">\int^x_1 dt/t</math> (या इसका उलटा <math>\exp</math> वास्तविक रेखा पर) एक दीर्घवृत्तीय समाकलन द्वारा (या दीर्घवृत्तीय पारलौकिक के आंशिक व्युत्क्रम द्वारा)। क्रोनेकर ने सोचा कि यह सामान्यीकरण और भी अधिक सामान्य प्रमेय का एक विशेष स्थिति थी। यह प्रमेय, जिसे थोमे के सूत्र के रूप में जाना जाता है, पूरी तरह से हिरोशी उमेमुरा द्वारा व्यक्त किया गया था<ref> | ||
{{cite book | {{cite book | ||
|last=Umemura |first=Hiroshi | |last=Umemura |first=Hiroshi | ||
Line 257: | Line 257: | ||
जहाँ | जहाँ | ||
<math display="block">\phi(\zeta) = \zeta^{\frac{N}{N-1}} </math> | <math display="block">\phi(\zeta) = \zeta^{\frac{N}{N-1}} </math> | ||
[[जोसेफ लुइस लाग्रेंज]] के कारण एक सूत्र में कहा गया है कि किसी भी विश्लेषणात्मक कार्य के लिए <math>f \,</math>के संदर्भ में रूपांतरित सामान्य समीकरण की | [[जोसेफ लुइस लाग्रेंज]] के कारण एक सूत्र में कहा गया है कि किसी भी विश्लेषणात्मक कार्य के लिए <math>f \,</math>के संदर्भ में रूपांतरित सामान्य समीकरण की संख्या के निकटतम में <math>\zeta \,</math>, ऊपर एक [[अनंत श्रृंखला]] के रूप में व्यक्त किया जा सकता है: | ||
<math display="block"> | <math display="block"> | ||
f(\zeta) = f(e^{2\pi i}) + \sum^\infty_{n=1} \frac{t^n}{n!}\frac{d^{n-1}}{da^{n-1}}[f'(a)|\phi(a)|^n]_{a = e^{2\pi i}} | f(\zeta) = f(e^{2\pi i}) + \sum^\infty_{n=1} \frac{t^n}{n!}\frac{d^{n-1}}{da^{n-1}}[f'(a)|\phi(a)|^n]_{a = e^{2\pi i}} | ||
</math> | </math> | ||
अगर हम जाने दें <math>f(\zeta) = \zeta^{-\frac{1}{N-1}}\,</math> इस सूत्र में, हम | अगर हम जाने दें <math>f(\zeta) = \zeta^{-\frac{1}{N-1}}\,</math> इस सूत्र में, हम संख्या के साथ आ सकते है: | ||
<math display="block"> | <math display="block"> | ||
x_k = e^{-\frac{2k\pi i}{N -1}} - \frac{t}{N-1}\sum^\infty_{n=0}\frac{(te^{\frac{2k\pi i}{N-1}})^n}{\Gamma(n + 2)}\cdot \frac{\Gamma\left(\frac{Nn}{N-1} + 1\right)}{\Gamma\left(\frac{n}{N-1} + 1\right)} </math> | x_k = e^{-\frac{2k\pi i}{N -1}} - \frac{t}{N-1}\sum^\infty_{n=0}\frac{(te^{\frac{2k\pi i}{N-1}})^n}{\Gamma(n + 2)}\cdot \frac{\Gamma\left(\frac{Nn}{N-1} + 1\right)}{\Gamma\left(\frac{n}{N-1} + 1\right)} </math> | ||
Line 289: | Line 289: | ||
\left(\frac{te^{\frac{2m\pi i}{N-1}} }{N-1}\right)^{N-1}N^N | \left(\frac{te^{\frac{2m\pi i}{N-1}} }{N-1}\right)^{N-1}N^N | ||
\end{bmatrix}</math> | \end{bmatrix}</math> | ||
और रूप के त्रिपद की | और रूप के त्रिपद की संख्यायें है | ||
<math display="block">ax^N+bx^2 + c=0,N\equiv 1\pmod{2}</math> | <math display="block">ax^N+bx^2 + c=0,N\equiv 1\pmod{2}</math> | ||
<math display="block"> | <math display="block"> | ||
Line 348: | Line 348: | ||
F_4(t) & = \,_4F_3\left(\frac{7}{10}, \frac{9}{10}, \frac{11}{10}, \frac{13}{10}; \frac{5}{4}, \frac{3}{2}, \frac{7}{4}; \frac{3125t^4}{256}\right) | F_4(t) & = \,_4F_3\left(\frac{7}{10}, \frac{9}{10}, \frac{11}{10}, \frac{13}{10}; \frac{5}{4}, \frac{3}{2}, \frac{7}{4}; \frac{3125t^4}{256}\right) | ||
\end{align}</math> | \end{align}</math> | ||
जो अतिज्यामितीय कार्य है जो उपरोक्त श्रृंखला सूत्र में दिखाई देते है। पंचक की | जो अतिज्यामितीय कार्य है जो उपरोक्त श्रृंखला सूत्र में दिखाई देते है। पंचक की संख्यायें इस प्रकार है: | ||
<math display="block">\begin{array}{rcrcccccc} | <math display="block">\begin{array}{rcrcccccc} | ||
x_1 & = & {} -tF_2(t) \\[1ex] | x_1 & = & {} -tF_2(t) \\[1ex] | ||
Line 377: | Line 377: | ||
| volume = 5 | pages = 337–361 | | volume = 5 | pages = 337–361 | ||
}} | }} | ||
</ref> 1860 में डिफरेंशियल इक्वेशन के माध्यम से पंचक को हल करने के लिए एक विधि विकसित की गई थी। वे | </ref> 1860 में डिफरेंशियल इक्वेशन के माध्यम से पंचक को हल करने के लिए एक विधि विकसित की गई थी। वे संख्याओं को गुणांकों के कार्य के रूप में मानते है, और इन समीकरणों के आधार पर एक विभेदक विलायक की गणना करते है। ब्रिंग-जेरार्ड पंचक को एक समारोह के रूप में व्यक्त किया गया है: | ||
<math display="block">f(x) = x^5 - x + a</math> | <math display="block">f(x) = x^5 - x + a</math> | ||
और एक समारोह <math>\,\phi(a)\,</math> इस प्रकार निर्धारित किया जाना है कि: | और एक समारोह <math>\,\phi(a)\,</math> इस प्रकार निर्धारित किया जाना है कि: | ||
<math display="block">f[\phi(a)] = 0</math> | <math display="block">f[\phi(a)] = 0</math> | ||
कार्यक्रम <math>\phi</math> निम्नलिखित चार अंतर समीकरणों को भी पूरा | कार्यक्रम <math>\phi</math> निम्नलिखित चार अंतर समीकरणों को भी पूरा करता है: | ||
<math display="block">\begin{align} | <math display="block">\begin{align} | ||
\frac{d f[\phi(a)]}{da} = 0 \\[6pt] | \frac{d f[\phi(a)]}{da} = 0 \\[6pt] | ||
Line 388: | Line 388: | ||
\frac{d^4 f[\phi(a)]}{da^4} = 0 | \frac{d^4 f[\phi(a)]}{da^4} = 0 | ||
\end{align}</math> | \end{align}</math> | ||
इनका विस्तार करना और उन्हें एक साथ मिलाने से | इनका विस्तार करना और उन्हें एक साथ मिलाने से अंतर समाधान प्राप्त होता है: | ||
<math display="block"> | <math display="block"> | ||
\frac{(256 - 3125a^4)}{1155}\frac{d^4\phi}{da^4} - \frac{6250a^3}{231}\frac{d^3\phi}{da^3} - \frac{4875a^2}{77} \frac{d^2\phi}{da^2} - \frac{2125a}{77}\frac{d\phi}{da} + \phi = 0 | \frac{(256 - 3125a^4)}{1155}\frac{d^4\phi}{da^4} - \frac{6250a^3}{231}\frac{d^3\phi}{da^3} - \frac{4875a^2}{77} \frac{d^2\phi}{da^2} - \frac{2125a}{77}\frac{d\phi}{da} + \phi = 0 | ||
</math> | </math> | ||
विभेदक विलायक का समाधान, चौथा क्रम साधारण अंतर समीकरण होने के कारण, एकीकरण के चार स्थिरांक पर निर्भर करता है, जिसे चुना जाना चाहिए ताकि मूल पंचक को संतुष्ट किया | विभेदक विलायक का समाधान, चौथा क्रम साधारण अंतर समीकरण होने के कारण, एकीकरण के चार स्थिरांक पर निर्भर करता है, जिसे चुना जाना चाहिए ताकि मूल पंचक को संतुष्ट किया सकता है। यह अतिज्यामितीय प्रकार का फुकशियन साधारण अवकल समीकरण होता है,<ref> | ||
{{cite book | {{cite book | ||
| last = Slater | first = Lucy Joan | | last = Slater | first = Lucy Joan | ||
Line 405: | Line 405: | ||
</ref> जिसका समाधान ऊपर ग्लासर की व्युत्पत्ति में उत्पन्न हाइपरज्यामितीय कार्यों की श्रृंखला के समान होता है।<ref name="drociuk"/> | </ref> जिसका समाधान ऊपर ग्लासर की व्युत्पत्ति में उत्पन्न हाइपरज्यामितीय कार्यों की श्रृंखला के समान होता है।<ref name="drociuk"/> | ||
इस विधि को मनमाने ढंग से उच्च डिग्री के समीकरणों के लिए सामान्यीकृत किया जा सकता है, विभेदक | इस विधि को मनमाने ढंग से उच्च डिग्री के समीकरणों के लिए सामान्यीकृत किया जा सकता है, विभेदक समाधान के साथ जो आंशिक अंतर समीकरण है, जिनके समाधान में कई चर के हाइपरज्यामितीय कार्य सम्मलित है।<ref> | ||
{{cite journal | {{cite journal | ||
| last = Birkeland | first = Richard | | last = Birkeland | first = Richard | ||
Line 466: | Line 466: | ||
# पुनरावृति <math>T_Z[T_Z(w)]</math> एक यादृच्छिक प्रारंभिक अनुमान पर जब तक यह अभिसरण नहीं हो जाता है। [[अनुक्रम की सीमा]] को बुब्रिंग <math>w_1</math> और जाने <math>w_2 = T_Z(w_1)\,</math>. | # पुनरावृति <math>T_Z[T_Z(w)]</math> एक यादृच्छिक प्रारंभिक अनुमान पर जब तक यह अभिसरण नहीं हो जाता है। [[अनुक्रम की सीमा]] को बुब्रिंग <math>w_1</math> और जाने <math>w_2 = T_Z(w_1)\,</math>. | ||
# गणना करें <math display="block">\mu_i = \frac{100Z(Z-1)h(Z,w_i)}{g(Z, w_i)}</math> जहाँ <math>h(Z,w)</math> नीचे दिया गया एक बहुपद फलन है। यह दोनों के लिए करें <math>w_1\,</math> और <math>w_2 = T_Z(w_1)\,</math>. | # गणना करें <math display="block">\mu_i = \frac{100Z(Z-1)h(Z,w_i)}{g(Z, w_i)}</math> जहाँ <math>h(Z,w)</math> नीचे दिया गया एक बहुपद फलन है। यह दोनों के लिए करें <math>w_1\,</math> और <math>w_2 = T_Z(w_1)\,</math>. | ||
# अंत में, गणना करें <math display="block">x_i = \frac{(9 + \sqrt{15}i) \mu_i + (9 - \sqrt{15}i)\mu_{3-i}}{90}</math> के लिए {{math|1=''i'' = 1, 2}}. ये ब्रियोस्की क्विंटिक की दो | # अंत में, गणना करें <math display="block">x_i = \frac{(9 + \sqrt{15}i) \mu_i + (9 - \sqrt{15}i)\mu_{3-i}}{90}</math> के लिए {{math|1=''i'' = 1, 2}}. ये ब्रियोस्की क्विंटिक की दो संख्यायें है। | ||
दो बहुपद कार्य <math>g(Z,w)\,</math> और <math>h(Z,w)\,</math> निम्नानुसार है: | दो बहुपद कार्य <math>g(Z,w)\,</math> और <math>h(Z,w)\,</math> निम्नानुसार है: | ||
Line 483: | Line 483: | ||
& {} + w^9 | & {} + w^9 | ||
\end{align}</math> | \end{align}</math> | ||
यह पुनरावृति विधि पंचक की दो | यह पुनरावृति विधि पंचक की दो संख्यायें उत्पन्न करती है। दो संख्याओं को विभाजित करने के लिए [[सिंथेटिक विभाजन]] का उपयोग करके शेष तीन संख्यायें प्राप्त की जा सकती है, जिससे एक घन समीकरण का निर्माण होता है। जिस तरह से पुनरावृति तैयार की जाती है, उसके कारण यह विधि हमेशा पंचक की दो कठिन संयुग्मी संख्यायें खोजती है, भले ही सभी पंचक गुणांक वास्तविक हों और प्रारंभिक अनुमान वास्तविक हो, यह पुनरावृति विधि [[विंशतिफलक]] की समरूपता से ली गई है और फेलिक्स क्लेन ने अपनी पुस्तक में वर्णित विधि को निकटता से संबंधित किया है।<ref name="klein"/> | ||
== यह भी देखें == | == यह भी देखें == | ||
*[[समीकरणों का सिद्धांत]] | *[[समीकरणों का सिद्धांत]] |
Revision as of 09:10, 23 March 2023
बीजगणित में, वास्तविक संख्या a का रेडिकल या अल्ट्रारेडिकल ब्रिंग रेडिकल, बहुपद का अद्वितीय वास्तविक मूल होता है।ka
जॉर्ज जेरार्ड ने दिखाया कि कुछ पंचक समीकरण नौवे संख्या और ब्रिंग रेडिकल्स का उपयोग करके बंद रूप अभिव्यक्ति हो सकते है, जिसे एरलैंड सैमुअल ब्रिंग द्वारा प्रस्तुत किया गया था।
इस लेख में, ब्रिंग रेडिकल ऑफ ए को निरूपित किया गया है वास्तविक तर्क के लिए, यह स्पर्शोन्मुख व्यवहार के साथ विषम, नीरस रूप से घटता हुआ और असीम है बड़े के लिए .
सामान्य रूप
पांच स्वतंत्र गुणांकों के साथ अपने सबसे सामान्य रूप में सीधे समाधान प्राप्त करने के लिए पंचक समीकरण जबकि कठिन है:
मूल पंचक रूप
क्वार्टिक और क्यूबिक शर्तों को हटाकर सामान्य पंचक को प्रिंसिपल पंचक फॉर्म के रूप में जाना जाता है:
फेलिक्स क्लेन के पंचक के समाधान द्वारा इस फॉर्म का उपयोग किया जाता है।[2]
ब्रिंग-जेरार्ड सामान्य रूप
ब्रिंग-जेरार्ड सामान्य रूप का निर्माण करते हुए, पंचक को और भी सरल बनाना और द्विघात शब्द को समाप्त करना संभव है:
इसे एक बीजगणितीय कार्य के रूप में माना जाता है, इसके समाधान है
सेट करके एक वैकल्पिक रूप प्राप्त किया जाता है ताकि जहाँ . इस फॉर्म का इस्तेमाल नीचे ब्रिंग रेडिकल को परिभाषित करने के लिए किया जाता है।
ब्रियोस्ची सामान्य रूप
पंचक समीकरण के लिए एक और एक-पैरामीटर सामान्य रूप है, जिसे ब्रियोस्ची सामान्य रूप के रूप में जाना जाता है
श्रृंखला प्रतिनिधित्व
ब्रिंग रेडिकल्स के लिए एक टेलर श्रृंखला, साथ ही सामान्यीकृत हाइपरज्यामितीय कार्यों के संदर्भ में एक प्रतिनिधित्व निम्नानुसार प्राप्त किया जा सकता है। समीकरण के रूप में पुनः लिखा जा सकता है व्यवस्थित करके वांछित समाधान है तब से होता है।
के लिए श्रृंखला इसके बाद टेलर श्रृंखला के लैग्रेंज उलटा प्रमेय द्वारा प्राप्त किया जा सकता है (जो सरल है ), देता है
हाइपरज्यामितीय समारोह फॉर्म में, ब्रिंग रेडिकल को इस रूप में लिखा जा सकता है[4]
सामान्य पंचक का समाधान
बहुपद की संख्यायें
अन्य लक्षण वर्णन
ब्रिंग रैडिकल के कई अन्य लक्षण विकसित किए गए है, जिनमें से पहला 1858 में चार्ल्स हर्मिट द्वारा गोलाकार ट्रांसेंडेंट (गोलाकार और मॉड्यूलर कार्यों से संबंधित) के संदर्भ में है, और बाद में अन्य गणितज्ञों द्वारा विकसित किए गए विधियाँ है।
हर्मिट-क्रोनेकर-ब्रियोस्ची लक्षण वर्णन
1858 में, चार्ल्स हर्मिट[7] ने "एलिप्टिक ट्रांसेंडेंट्स" के संदर्भ में सामान्य पंचक समीकरण का पहला ज्ञात समाधान प्रकाशित किया, और लगभग उसी समय फ्रांसेस्को ब्रियोस्की[8] और लियोपोल्ड क्रोनकर[9] समकक्ष समाधानों पर आए। हर्मिट त्रिकोणमितीय कार्यों के संदर्भ में क्यूबिक समीकरण के प्रसिद्ध समाधान को सामान्यीकृत करके इस समाधान पर पहुंचे और ब्रिंग-जेरार्ड रूप में पंचक का समाधान खोजते है:
n = 5 के साथ मॉड्यूलर समीकरण मॉड्यूलर समीकरण की छह संख्याओं के निम्नलिखित कार्य द्वारा ब्रिंग-जेरार्ड पंचक से संबंधित हो सकता है, पहला कारक गलत विधियाँ से दिया गया है :[12]
|
(*) |
हर्मिट-क्रोनेकर-ब्रियोस्ची विधि तब के लिए एक मूल्य खोजने के बराबर है जो के मान से मेल खाता है , और फिर उस मान का उपयोग करना इसी मॉड्यूलर समीकरण की संख्यायें प्राप्त करने के लिए होता है। हम खोजने के लिए संख्या-फाइंडिंग एल्गोरिदम का उपयोग कर सकते है समीकरण से (*) (अर्थात एक व्युत्क्रम फलन सामान्यीकरण की गणना करता है ).
फिर ब्रिंग-जेरार्ड पंचक की संख्यायें इस प्रकार दी गई है:
एक वैकल्पिक, अभिन्न, दृष्टिकोण निम्नलिखित है:
विचार करना जहाँ तब
|
(**) |
फिर ब्रिंग-जेरार्ड पंचक की संख्यायें इस प्रकार दी गई है:
यह देखा जा सकता है कि यह प्रक्रिया नौवे संख्या के सामान्यीकरण का उपयोग करता है, जिसे इस प्रकार व्यक्त किया जा सकता है:
ग्लासर की व्युत्पत्ति
एम एल ग्लासर के कारण यह व्युत्पत्ति[17] प्रपत्र के किसी भी त्रिपदीय समीकरण का हल खोजने के लिए इस लेख में पहले प्रस्तुत श्रृंखला पद्धति का सामान्यीकरण करता है:
विभेदकों विलायक की विधि
जेम्स कॉकल[18] और रॉबर्ट हार्ले[19] 1860 में डिफरेंशियल इक्वेशन के माध्यम से पंचक को हल करने के लिए एक विधि विकसित की गई थी। वे संख्याओं को गुणांकों के कार्य के रूप में मानते है, और इन समीकरणों के आधार पर एक विभेदक विलायक की गणना करते है। ब्रिंग-जेरार्ड पंचक को एक समारोह के रूप में व्यक्त किया गया है:
इस विधि को मनमाने ढंग से उच्च डिग्री के समीकरणों के लिए सामान्यीकृत किया जा सकता है, विभेदक समाधान के साथ जो आंशिक अंतर समीकरण है, जिनके समाधान में कई चर के हाइपरज्यामितीय कार्य सम्मलित है।[21][22] मनमाना अविभाज्य बहुपदों के अवकल विलायकों के लिए एक सामान्य सूत्र के घात योग सूत्र द्वारा दिया जाता है।[23][24]
डॉयल-मैकमुलेन पुनरावृत्ति
1989 में, पीटर डॉयल और कर्ट मैकमुलेन ने एक पुनरावृति विधि निकाली थी[25] जो ब्रियोस्की सामान्य रूप में एक पंचक को हल करता है:
- तय करना
- तर्कसंगत कार्य की गणना करें जहाँ नीचे दिया गया एक बहुपद फलन है, और का व्युत्पन्न है इसके संबंध में
- पुनरावृति एक यादृच्छिक प्रारंभिक अनुमान पर जब तक यह अभिसरण नहीं हो जाता है। अनुक्रम की सीमा को बुब्रिंग और जाने .
- गणना करें जहाँ नीचे दिया गया एक बहुपद फलन है। यह दोनों के लिए करें और .
- अंत में, गणना करें के लिए i = 1, 2. ये ब्रियोस्की क्विंटिक की दो संख्यायें है।
दो बहुपद कार्य और निम्नानुसार है:
यह भी देखें
संदर्भ
टिप्पणियाँ
- ↑ and These functions are related to the Jacobi theta functions by and
- ↑ When n = 2, the parameters are linked by an equation of degree 8 in .
- ↑ Some references define and Then the modular equation is solved in instead and has the roots and
- ↑ Equivalently, (by the law of quadratic reciprocity).
अन्य
- ↑ 1.0 1.1 Adamchik, Victor (2003). "Polynomial Transformations of Tschirnhaus, Bring, and Jerrard" (PDF). ACM SIGSAM Bulletin. 37 (3): 91. CiteSeerX 10.1.1.10.9463. doi:10.1145/990353.990371. S2CID 53229404. Archived from the original (PDF) on 2009-02-26.
- ↑ 2.0 2.1 Klein, Felix (1888). Lectures on the Icosahedron and the Solution of Equations of the Fifth Degree. Trübner & Co. ISBN 978-0-486-49528-6.
- ↑ Jerrard, George Birch (1859). An essay on the resolution of equations. London, UK: Taylor and Francis.
- ↑ 4.0 4.1 4.2 "Solving the Quintic with Mathematica". Wolfram Research. Archived from the original on 1 July 2014.
- ↑ 5.0 5.1 Drociuk, Richard J. (2000). "On the Complete Solution to the Most General Fifth Degree Polynomial". arXiv:math.GM/0005026.
- ↑ 6.0 6.1 King, R. Bruce (1996). Beyond the Quartic Equation. Birkhäuser. pp. 131. ISBN 978-3-7643-3776-6.
- ↑ 7.0 7.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. ISBN 0-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. ISBN 0-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. ISBN 0-471-83138-7. p. 135
- ↑ 13.0 13.1 Davis, Harold T. (1962). Introduction to Nonlinear Differential and Integral Equations. Dover. pp. 173. ISBN 978-0-486-60971-3.
- ↑ 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. ISBN 0-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. ISBN 9780817645694.
- ↑ Glasser, M. Lawrence (1994). "The quadratic formula made hard: A less radical approach to solving equations". arXiv:math.CA/9411224.
- ↑ Cockle, James (1860). "Sketch of a theory of transcendental roots". The London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science. 20 (131): 145–148. doi:10.1080/14786446008642921.
- ↑ Harley, Robert (1862). "On the transcendental solution of algebraic equations". Quart. J. Pure Appl. Math. 5: 337–361.
- ↑ Slater, Lucy Joan (1966). Generalized Hypergeometric Functions. Cambridge University Press. pp. 42–44. ISBN 978-0-521-06483-5.
- ↑
Birkeland, Richard (1927). "Über die Auflösung algebraischer Gleichungen durch hypergeometrische Funktionen" [On the solution of algebraic equations via hypergeometric functions]. Mathematische Zeitschrift (in Deutsch). 26: 565–578. doi:10.1007/BF01475474. S2CID 120762456. Retrieved 1 July 2017.
{{cite journal}}
: CS1 maint: url-status (link)[permanent dead link] - ↑ 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. S2CID 197662587.
- ↑ Nahay, John (2004). "Powersum formula for differential resolvents". International Journal of Mathematics and Mathematical Sciences. 2004 (7): 365–371. doi:10.1155/S0161171204210602.
- ↑ Nahay, John (2000). Linear Differential Resolvents (Ph.D. thesis). Piscataway, NJ: Rutgers University. Richard M. Cohn, advisor.
- ↑ Doyle, Peter; McMullen, Curt (1989). "Solving the quintic by iteration" (PDF). Acta Math. 163: 151–180. doi:10.1007/BF02392735. S2CID 14827783.
स्रोत
- Mirzaei, Raoof (2012). nth डिग्री के समीकरण को हल करने के लिए स्पिनर और विशेष कार्य. International Mathematica Symposium.
- Klein, F. (1888). इकोसैहेड्रोन पर व्याख्यान और पांचवीं डिग्री के समीकरणों का समाधान. Translated by Morrice, George Gavin. Trübner & Co. ISBN 0-486-49528-0.
- King, R. Bruce (1996). क्वार्टिक समीकरण से परे. Birkhäuser. ISBN 3-7643-3776-1.
- Davis, Harold T. (1962). नॉनलाइनियर डिफरेंशियल और इंटीग्रल इक्वेशन का परिचय. Dover. Chapter 6, especially §20 and §21. ISBN 0-486-60971-5.