डिक्सन बहुपद: Difference between revisions

From Vigyanwiki
(Created page with "गणित में, डिक्सन बहुपद, निरूपित {{math|''D<sub>n</sub>''(''x'',''α'')}}, द्वारा प्रस्तुत एक...")
 
No edit summary
Line 1: Line 1:
गणित में, डिक्सन बहुपद, निरूपित {{math|''D<sub>n</sub>''(''x'',''α'')}}, द्वारा प्रस्तुत एक [[बहुपद अनुक्रम]] बनाएं {{harvs|txt=yes|authorlink=Leonard Eugene Dickson|first=L. E. |last=Dickson|year= 1897}}. द्वारा उन्हें फिर से खोजा गया {{harvtxt|Brewer|1961}} ब्रेवर योगों के अपने अध्ययन में और कई बार, हालांकि शायद ही कभी, ब्रेवर बहुपद के रूप में संदर्भित किया गया हो।
गणित में, डिक्सन बहुपद, जिसे {{math|''D<sub>n</sub>''(''x'',''α'')}} द्वारा निरूपित किया जाता है, {{harvs|txt=yes|authorlink=Leonard Eugene Dickson|first=एल.. |last=डिक्सन|year= 1897}} द्वारा प्रस्तुत एक [[बहुपद अनुक्रम]] बनाता है। {{harvtxt|ब्रेवर|1961}} द्वारा ब्रेवर योगों के अपने अध्ययन में उन्हें फिर से खोजा गया  कई बार, यद्यपि  कदाचित, ब्रेवर बहुपद के रूप में संदर्भित किया गया हो।


सम्मिश्र संख्याओं में, डिक्सन बहुपद चर के परिवर्तन के साथ अनिवार्य रूप से चेबीशेव बहुपदों के समतुल्य हैं, और, वास्तव में, डिक्सन बहुपदों को कभी-कभी चेबीशेव बहुपद कहा जाता है।
सम्मिश्र संख्याओं में, डिक्सन बहुपद चर के परिवर्तन के साथ अनिवार्य रूप से चेबीशेव बहुपदों के समतुल्य हैं, और, वस्तुतः, डिक्सन बहुपदों को कभी-कभी चेबीशेव बहुपद कहा जाता है।


डिक्सन बहुपदों का अध्ययन आम तौर पर [[परिमित क्षेत्र]]ों पर किया जाता है, जहाँ वे कभी-कभी चेबीशेव बहुपदों के समतुल्य नहीं हो सकते हैं। उनमें दिलचस्पी का एक मुख्य कारण फिक्स्ड के लिए है {{math|''α''}}, वे क्रम[[परिवर्तन]] बहुपदों के कई उदाहरण देते हैं; परिमित क्षेत्रों के क्रमपरिवर्तन के रूप में कार्य करने वाले बहुपद।
डिक्सन बहुपदों का अध्ययन सामान्यतः  [[परिमित क्षेत्र|परिमित क्षेत्रों]] पर किया जाता है, जहाँ वे कभी-कभी चेबीशेव बहुपदों के समतुल्य नहीं हो सकते हैं। उनमें रुचि का एक मुख्य कारण निश्चित {{math|''α''}} के लिए, वे [[परिवर्तन|क्रमपरिवर्तन]] बहुपदों के कई उदाहरण देते हैं; परिमित क्षेत्रों के क्रमपरिवर्तन के रूप में कार्य करने वाले बहुपद।


== परिभाषा ==
== परिभाषा ==


=== पहली तरह ===
=== प्रथम प्रकार ===
पूर्णांक के लिए {{math|''n'' > 0}} और {{mvar|α}} एक [[क्रमविनिमेय अंगूठी]] में {{mvar|R}} पहचान के साथ (अक्सर परिमित क्षेत्र चुना जाता है {{math|'''F'''<sub>''q''</sub> {{=}} GF(''q'')}}) डिक्सन बहुपद (पहली तरह का) खत्म {{mvar|R}} द्वारा दिया गया है<ref name=LN355>{{harvnb|Lidl|Niederreiter|1983|loc=p. 355}}</ref>
पहचान के साथ [[क्रमविनिमेय अंगूठी|क्रमविनिमेय वलय]]  {{mvar|R}} में पूर्णांक {{math|''n'' > 0}} और {{mvar|α}} के लिए  (प्रायः  परिमित क्षेत्र {{math|'''F'''<sub>''q''</sub> {{=}} GF(''q'')}} चुना जाता है ) {{mvar|R}} पर  डिक्सन बहुपद (प्रथम प्रकार का)<ref name=LN355>{{harvnb|Lidl|Niederreiter|1983|loc=p. 355}}</ref>
:<math>D_n(x,\alpha)=\sum_{i=0}^{\left\lfloor \frac{n}{2} \right\rfloor}\frac{n}{n-i} \binom{n-i}{i} (-\alpha)^i x^{n-2i} \,.</math>
:<math>D_n(x,\alpha)=\sum_{i=0}^{\left\lfloor \frac{n}{2} \right\rfloor}\frac{n}{n-i} \binom{n-i}{i} (-\alpha)^i x^{n-2i} \,</math>
पहले कुछ डिक्सन बहुपद हैं
:द्वारा दिया जाता है।
पूर्व कुछ डिक्सन बहुपद


:<math>\begin{align}
:<math>\begin{align}
Line 17: Line 18:
D_3(x,\alpha) &= x^3 - 3x\alpha \\
D_3(x,\alpha) &= x^3 - 3x\alpha \\
D_4(x,\alpha) &= x^4 - 4x^2\alpha + 2\alpha^2 \\
D_4(x,\alpha) &= x^4 - 4x^2\alpha + 2\alpha^2 \\
D_5(x,\alpha) &= x^5 - 5x^3\alpha + 5x\alpha^2 \,.
D_5(x,\alpha) &= x^5 - 5x^3\alpha + 5x\alpha^2 \,
\end{align}</math>
\end{align}</math>
वे [[पुनरावृत्ति संबंध]] द्वारा भी उत्पन्न हो सकते हैं {{math|''n'' ≥ 2}},
:हैं।
वे प्रारंभिक शर्तों  {{math|''D''<sub>0</sub>(''x'',''α'') {{=}} 2}} और {{math|''D''<sub>1</sub>(''x'',''α'') {{=}} ''x''}} के साथ {{math|''n'' ≥ 2}},


:<math>D_n(x,\alpha) = xD_{n-1}(x,\alpha)-\alpha D_{n-2}(x,\alpha) \,,</math>
:<math>D_n(x,\alpha) = xD_{n-1}(x,\alpha)-\alpha D_{n-2}(x,\alpha) \,,</math>
प्रारंभिक शर्तों के साथ {{math|''D''<sub>0</sub>(''x'',''α'') {{=}} 2}} और {{math|''D''<sub>1</sub>(''x'',''α'') {{=}} ''x''}}.
के लिए [[पुनरावृत्ति संबंध]] द्वारा भी उत्पन्न हो सकते हैं।


गुणांक OEIS में कई स्थानों पर दिए गए हैं<ref>{{citation | title=see OEIS A132460| url= https://oeis.org/A132460}}</ref><ref>{{citation | title=see OEIS A213234| url= https://oeis.org/A213234}}</ref><ref>{{citation | title=see OEIS A113279| url= https://oeis.org/A113279}}</ref><ref>{{citation | title=see OEIS A034807, this one without signs but with a lot of references| url= https://oeis.org/A034807}}</ref> पहले दो टर्म के लिए मिनट के अंतर के साथ।
गुणांक पूर्व दो पदों के लिए न्यूनतम अंतर के साथ ओईआईएस<ref>{{citation | title=see OEIS A132460| url= https://oeis.org/A132460}}</ref><ref>{{citation | title=see OEIS A213234| url= https://oeis.org/A213234}}</ref><ref>{{citation | title=see OEIS A113279| url= https://oeis.org/A113279}}</ref><ref>{{citation | title=see OEIS A034807, this one without signs but with a lot of references| url= https://oeis.org/A034807}}</ref> में कई स्थानों पर दिए गए हैं।


=== दूसरी तरह ===
=== द्वितीय प्रकार ===
दूसरी तरह के डिक्सन बहुपद, {{math|''E<sub>n</sub>''(''x'',''α'')}} द्वारा परिभाषित किया गया है
द्वितीय प्रकार के डिक्सन बहुपद, {{math|''E<sub>n</sub>''(''x'',''α'')}} द्वारा परिभाषित किया गया है
:<math>E_n(x,\alpha)=\sum_{i=0}^{\left\lfloor \frac{n}{2} \right\rfloor}\binom{n-i}{i} (-\alpha)^i x^{n-2i}. </math>
:<math>E_n(x,\alpha)=\sum_{i=0}^{\left\lfloor \frac{n}{2} \right\rfloor}\binom{n-i}{i} (-\alpha)^i x^{n-2i}. </math>
उनका अधिक अध्ययन नहीं किया गया है, और पहली तरह के डिक्सन बहुपदों के समान गुण हैं।
उनका अधिक अध्ययन नहीं किया गया है, और प्रथम प्रकार के डिक्सन बहुपदों के समान गुण हैं।
दूसरी तरह के पहले कुछ डिक्सन बहुपद हैं
द्वितीय प्रकार के पूर्व कुछ डिक्सन बहुपद हैं


:<math>\begin{align}
:<math>\begin{align}
Line 44: Line 46:
प्रारंभिक शर्तों के साथ {{math|''E''<sub>0</sub>(''x'',''α'') {{=}} 1}} और {{math|''E''<sub>1</sub>(''x'',''α'') {{=}} ''x''}}.
प्रारंभिक शर्तों के साथ {{math|''E''<sub>0</sub>(''x'',''α'') {{=}} 1}} और {{math|''E''<sub>1</sub>(''x'',''α'') {{=}} ''x''}}.


गुणांक भी OEIS में दिए गए हैं।<ref>{{citation | title=see OEIS A115139| url= https://oeis.org/A115139}}</ref><ref>{{citation | title=see OEIS A011973, this one again without signs but with a lot of references| url= https://oeis.org/A011973}}</ref>
गुणांक भी ओईआईएस में दिए गए हैं।<ref>{{citation | title=see OEIS A115139| url= https://oeis.org/A115139}}</ref><ref>{{citation | title=see OEIS A011973, this one again without signs but with a lot of references| url= https://oeis.org/A011973}}</ref>




Line 68: Line 70:


== अन्य बहुपदों के लिंक ==
== अन्य बहुपदों के लिंक ==
उपरोक्त पुनरावृत्ति संबंध से, डिक्सन बहुपद [[लुकास अनुक्रम]] हैं। विशेष तौर पर {{math|''α'' {{=}} −1}}, पहले प्रकार के डिक्सन बहुपद [[फाइबोनैचि बहुपद]] बहुपद हैं, और दूसरे प्रकार के डिक्सन बहुपद [[लुकास बहुपद]] हैं।
उपरोक्त पुनरावृत्ति संबंध से, डिक्सन बहुपद [[लुकास अनुक्रम]] हैं। विशेष तौर पर {{math|''α'' {{=}} −1}}, पूर्व प्रकार के डिक्सन बहुपद [[फाइबोनैचि बहुपद]] बहुपद हैं, और दूसरे प्रकार के डिक्सन बहुपद [[लुकास बहुपद]] हैं।


उपरोक्त रचना नियम के अनुसार, जब α इडेम्पोटेंट (रिंग थ्योरी) है, तो पहली तरह के डिक्सन बहुपदों की रचना क्रमविनिमेय है।
उपरोक्त रचना नियम के अनुसार, जब α इडेम्पोटेंट (रिंग थ्योरी) है, तो प्रथम प्रकार के डिक्सन बहुपदों की रचना क्रमविनिमेय है।
* पैरामीटर के साथ डिक्सन बहुपद {{math|''α'' {{=}} 0}} [[एकपद]]ी दें।
* पैरामीटर के साथ डिक्सन बहुपद {{math|''α'' {{=}} 0}} [[एकपद]]ी दें।


<math>D_n(x,0) = x^n \, . </math>
<math>D_n(x,0) = x^n \, . </math>
* पैरामीटर के साथ डिक्सन बहुपद {{math|''α'' {{=}} 1}} चेबिशेव बहुपदों से संबंधित हैं {{math|''T<sub>n</sub>''(''x'') {{=}} cos (''n'' arccos ''x'')}} द्वारा पहली तरह का<ref name="LN355" />
* पैरामीटर के साथ डिक्सन बहुपद {{math|''α'' {{=}} 1}} चेबिशेव बहुपदों से संबंधित हैं {{math|''T<sub>n</sub>''(''x'') {{=}} cos (''n'' arccos ''x'')}} द्वारा प्रथम प्रकार का<ref name="LN355" />


<math>D_n(2x, 1) = 2T_n(x) \,.</math>
<math>D_n(2x, 1) = 2T_n(x) \,.</math>
* डिक्सन बहुपद के बाद से {{math|''D<sub>n</sub>''(''x'',''α'')}} को अतिरिक्त idempotent वाले रिंगों पर परिभाषित किया जा सकता है, {{math|''D<sub>n</sub>''(''x'',''α'')}} अक्सर चेबीशेव बहुपद से संबंधित नहीं होता है।
* डिक्सन बहुपद के बाद से {{math|''D<sub>n</sub>''(''x'',''α'')}} को अतिरिक्त idempotent वाले रिंगों पर परिभाषित किया जा सकता है, {{math|''D<sub>n</sub>''(''x'',''α'')}} प्रायः  चेबीशेव बहुपद से संबंधित नहीं होता है।


== क्रमपरिवर्तन बहुपद और डिक्सन बहुपद ==
== क्रमपरिवर्तन बहुपद और डिक्सन बहुपद ==
Line 84: Line 86:
डिक्सन बहुपद {{math|''D<sub>n</sub>''(''x'', α)}} (के एक कार्य के रूप में माना जाता है {{math|''x''}} स्थिर α के साथ) क्षेत्र के लिए एक क्रमचय बहुपद है {{math|''q''}} तत्व अगर और केवल अगर {{math|''n''}} कोप्राइम है {{math|''q''<sup>2</sup> − 1}}.<ref name="LN356">{{harvnb|Lidl|Niederreiter|1983|loc=p. 356}}</ref>
डिक्सन बहुपद {{math|''D<sub>n</sub>''(''x'', α)}} (के एक कार्य के रूप में माना जाता है {{math|''x''}} स्थिर α के साथ) क्षेत्र के लिए एक क्रमचय बहुपद है {{math|''q''}} तत्व अगर और केवल अगर {{math|''n''}} कोप्राइम है {{math|''q''<sup>2</sup> − 1}}.<ref name="LN356">{{harvnb|Lidl|Niederreiter|1983|loc=p. 356}}</ref>


{{harvtxt|Fried|1970}} ने साबित किया कि कोई भी अभिन्न बहुपद जो अनंत रूप से कई प्रमुख क्षेत्रों के लिए एक क्रमचय बहुपद है, डिक्सन बहुपद और रैखिक बहुपद (तर्कसंगत गुणांक के साथ) की एक रचना है।  <!-- See talk page.---> यह दावा शूर के अनुमान के रूप में जाना जाता है, हालांकि वास्तव में शूर ने यह अनुमान नहीं लगाया था। <!-- See talk page ---> चूंकि फ्राइड के पेपर में कई त्रुटियां थीं, एक सही खाता दिया गया था {{harvtxt|Turnwald|1995}}, और बाद में {{harvtxt|Müller|1997}} ने शूर के कारण तर्क की तर्ज पर एक सरल प्रमाण दिया।
{{harvtxt|Fried|1970}} ने साबित किया कि कोई भी अभिन्न बहुपद जो अनंत रूप से कई प्रमुख क्षेत्रों के लिए एक क्रमचय बहुपद है, डिक्सन बहुपद और रैखिक बहुपद (तर्कसंगत गुणांक के साथ) की एक रचना है।  <!-- See talk page.---> यह दावा शूर के अनुमान के रूप में जाना जाता है, यद्यपि  वस्तुतः शूर ने यह अनुमान नहीं लगाया था। <!-- See talk page ---> चूंकि फ्राइड के पेपर में कई त्रुटियां थीं, एक सही खाता दिया गया था {{harvtxt|Turnwald|1995}}, और बाद में {{harvtxt|Müller|1997}} ने शूर के कारण तर्क की तर्ज पर एक सरल प्रमाण दिया।


आगे, {{harvtxt|Müller|1997}} सिद्ध किया कि परिमित क्षेत्र पर कोई भी क्रमचय बहुपद {{math|'''F'''<sub>''q''</sub>}} जिसकी डिग्री एक साथ coprime है {{math|''q''}} और उससे कम {{math|''q''<sup>{{sfrac|1|4}}</sup>}} डिक्सन बहुपदों और रैखिक बहुपदों का संयोजन होना चाहिए।
आगे, {{harvtxt|Müller|1997}} सिद्ध किया कि परिमित क्षेत्र पर कोई भी क्रमचय बहुपद {{math|'''F'''<sub>''q''</sub>}} जिसकी डिग्री एक साथ coprime है {{math|''q''}} और उससे कम {{math|''q''<sup>{{sfrac|1|4}}</sup>}} डिक्सन बहुपदों और रैखिक बहुपदों का संयोजन होना चाहिए।


== सामान्यीकरण ==
== सामान्यीकरण ==
परिमित क्षेत्रों पर दोनों प्रकार के डिक्सन बहुपदों को सामान्यीकृत डिक्सन बहुपदों के अनुक्रम के प्रारंभिक सदस्यों के रूप में माना जा सकता है, जिन्हें डिक्सन बहुपद कहा जाता है। {{math|(''k'' + 1)}वें प्रकार।<ref>{{citation|first1=Q.|last1=Wang|first2=J. L.|last2=Yucas|title=Dickson polynomials over finite fields|journal=Finite Fields and Their Applications|volume=18|issue=4|year=2012|pages=814–831|doi=10.1016/j.ffa.2012.02.001|doi-access=free}}</ref> विशेष तौर पर {{math|''α'' ≠ 0 ∈ '''F'''<sub>''q''</sub>}} साथ {{math|''q'' {{=}} ''p<sup>e</sup>''}} कुछ प्राइम के लिए {{mvar|p}} और कोई पूर्णांक {{math|''n'' ≥ 0}} और {{math|0 ≤ ''k'' < ''p''}}, द{{mvar|n}}वें डिक्सन बहुपद {{math|(''k'' + 1)}वें तरह खत्म {{math|'''F'''<sub>''q''</sub>}}, द्वारा चिह्नित {{math|''D''<sub>''n'',''k''</sub>(''x'',''α'')}} द्वारा परिभाषित किया गया है<ref>{{harvnb|Mullen|Panario|2013|loc=p. 287}}</ref>
<nowiki>परिमित क्षेत्रों पर दोनों प्रकार के डिक्सन बहुपदों को सामान्यीकृत डिक्सन बहुपदों के अनुक्रम के प्रारंभिक सदस्यों के रूप में माना जा सकता है, जिन्हें डिक्सन बहुपद कहा जाता है। {{math|(</nowiki>''k'' + 1)}वें प्रकार।<ref>{{citation|first1=Q.|last1=Wang|first2=J. L.|last2=Yucas|title=Dickson polynomials over finite fields|journal=Finite Fields and Their Applications|volume=18|issue=4|year=2012|pages=814–831|doi=10.1016/j.ffa.2012.02.001|doi-access=free}}</ref> विशेष तौर पर {{math|''α'' ≠ 0 ∈ '''F'''<sub>''q''</sub>}} साथ {{math|''q'' {{=}} ''p<sup>e</sup>''}} कुछ प्राइम के लिए {{mvar|p}} और कोई पूर्णांक {{math|''n'' ≥ 0}} और {{math|0 ≤ ''k'' < ''p''}}, द{{mvar|n}}वें डिक्सन बहुपद {{math|(''k'' + 1)}वें प्रकार खत्म {{math|'''F'''<sub>''q''</sub>}}, द्वारा चिह्नित {{math|''D''<sub>''n'',''k''</sub>(''x'',''α'')}} द्वारा परिभाषित किया गया है<ref>{{harvnb|Mullen|Panario|2013|loc=p. 287}}</ref>
:<math>D_{0,k}(x,\alpha) = 2 - k</math>
:<math>D_{0,k}(x,\alpha) = 2 - k</math>
और
और

Revision as of 11:56, 17 March 2023

गणित में, डिक्सन बहुपद, जिसे Dn(x,α) द्वारा निरूपित किया जाता है, एल.ई. डिक्सन (1897) द्वारा प्रस्तुत एक बहुपद अनुक्रम बनाता है। ब्रेवर (1961) द्वारा ब्रेवर योगों के अपने अध्ययन में उन्हें फिर से खोजा गया कई बार, यद्यपि कदाचित, ब्रेवर बहुपद के रूप में संदर्भित किया गया हो।

सम्मिश्र संख्याओं में, डिक्सन बहुपद चर के परिवर्तन के साथ अनिवार्य रूप से चेबीशेव बहुपदों के समतुल्य हैं, और, वस्तुतः, डिक्सन बहुपदों को कभी-कभी चेबीशेव बहुपद कहा जाता है।

डिक्सन बहुपदों का अध्ययन सामान्यतः परिमित क्षेत्रों पर किया जाता है, जहाँ वे कभी-कभी चेबीशेव बहुपदों के समतुल्य नहीं हो सकते हैं। उनमें रुचि का एक मुख्य कारण निश्चित α के लिए, वे क्रमपरिवर्तन बहुपदों के कई उदाहरण देते हैं; परिमित क्षेत्रों के क्रमपरिवर्तन के रूप में कार्य करने वाले बहुपद।

परिभाषा

प्रथम प्रकार

पहचान के साथ क्रमविनिमेय वलय R में पूर्णांक n > 0 और α के लिए (प्रायः परिमित क्षेत्र Fq = GF(q) चुना जाता है ) R पर डिक्सन बहुपद (प्रथम प्रकार का)[1]

द्वारा दिया जाता है।

पूर्व कुछ डिक्सन बहुपद

हैं।

वे प्रारंभिक शर्तों D0(x,α) = 2 और D1(x,α) = x के साथ n ≥ 2,

के लिए पुनरावृत्ति संबंध द्वारा भी उत्पन्न हो सकते हैं।

गुणांक पूर्व दो पदों के लिए न्यूनतम अंतर के साथ ओईआईएस[2][3][4][5] में कई स्थानों पर दिए गए हैं।

द्वितीय प्रकार

द्वितीय प्रकार के डिक्सन बहुपद, En(x,α) द्वारा परिभाषित किया गया है

उनका अधिक अध्ययन नहीं किया गया है, और प्रथम प्रकार के डिक्सन बहुपदों के समान गुण हैं। द्वितीय प्रकार के पूर्व कुछ डिक्सन बहुपद हैं

वे पुनरावृत्ति संबंध द्वारा भी उत्पन्न हो सकते हैं n ≥ 2,

प्रारंभिक शर्तों के साथ E0(x,α) = 1 और E1(x,α) = x.

गुणांक भी ओईआईएस में दिए गए हैं।[6][7]


== गुण == Dn} कार्यात्मक समीकरण को संतुष्ट करने वाले अद्वितीय मोनिक बहुपद हैं

कहाँ αFq और u ≠ 0 ∈ Fq2.[8] वे एक रचना नियम को भी पूरा करते हैं,[8]:

En} एक कार्यात्मक समीकरण को भी संतुष्ट करता है[8]:

के लिए y ≠ 0, y2α, साथ αFq और yFq2.

डिक्सन बहुपद y = Dn साधारण अवकल समीकरण का एक हल है

और डिक्सन बहुपद y = En अवकल समीकरण का एक हल है

इनका जनरेटिंग फंक्शन#साधारण जनरेटिंग फंक्शन हैं


अन्य बहुपदों के लिंक

उपरोक्त पुनरावृत्ति संबंध से, डिक्सन बहुपद लुकास अनुक्रम हैं। विशेष तौर पर α = −1, पूर्व प्रकार के डिक्सन बहुपद फाइबोनैचि बहुपद बहुपद हैं, और दूसरे प्रकार के डिक्सन बहुपद लुकास बहुपद हैं।

उपरोक्त रचना नियम के अनुसार, जब α इडेम्पोटेंट (रिंग थ्योरी) है, तो प्रथम प्रकार के डिक्सन बहुपदों की रचना क्रमविनिमेय है।

  • पैरामीटर के साथ डिक्सन बहुपद α = 0 एकपदी दें।

  • पैरामीटर के साथ डिक्सन बहुपद α = 1 चेबिशेव बहुपदों से संबंधित हैं Tn(x) = cos (n arccos x) द्वारा प्रथम प्रकार का[1]

  • डिक्सन बहुपद के बाद से Dn(x,α) को अतिरिक्त idempotent वाले रिंगों पर परिभाषित किया जा सकता है, Dn(x,α) प्रायः चेबीशेव बहुपद से संबंधित नहीं होता है।

क्रमपरिवर्तन बहुपद और डिक्सन बहुपद

एक क्रमचय बहुपद (किसी दिए गए परिमित क्षेत्र के लिए) वह है जो परिमित क्षेत्र के तत्वों के क्रमचय के रूप में कार्य करता है।

डिक्सन बहुपद Dn(x, α) (के एक कार्य के रूप में माना जाता है x स्थिर α के साथ) क्षेत्र के लिए एक क्रमचय बहुपद है q तत्व अगर और केवल अगर n कोप्राइम है q2 − 1.[9]

Fried (1970) ने साबित किया कि कोई भी अभिन्न बहुपद जो अनंत रूप से कई प्रमुख क्षेत्रों के लिए एक क्रमचय बहुपद है, डिक्सन बहुपद और रैखिक बहुपद (तर्कसंगत गुणांक के साथ) की एक रचना है। यह दावा शूर के अनुमान के रूप में जाना जाता है, यद्यपि वस्तुतः शूर ने यह अनुमान नहीं लगाया था। चूंकि फ्राइड के पेपर में कई त्रुटियां थीं, एक सही खाता दिया गया था Turnwald (1995), और बाद में Müller (1997) ने शूर के कारण तर्क की तर्ज पर एक सरल प्रमाण दिया।

आगे, Müller (1997) सिद्ध किया कि परिमित क्षेत्र पर कोई भी क्रमचय बहुपद Fq जिसकी डिग्री एक साथ coprime है q और उससे कम q1/4 डिक्सन बहुपदों और रैखिक बहुपदों का संयोजन होना चाहिए।

सामान्यीकरण

परिमित क्षेत्रों पर दोनों प्रकार के डिक्सन बहुपदों को सामान्यीकृत डिक्सन बहुपदों के अनुक्रम के प्रारंभिक सदस्यों के रूप में माना जा सकता है, जिन्हें डिक्सन बहुपद कहा जाता है। {{math|(k + 1)}वें प्रकार।[10] विशेष तौर पर α ≠ 0 ∈ Fq साथ q = pe कुछ प्राइम के लिए p और कोई पूर्णांक n ≥ 0 और 0 ≤ k < p, दnवें डिक्सन बहुपद {{math|(k + 1)}वें प्रकार खत्म Fq, द्वारा चिह्नित Dn,k(x,α) द्वारा परिभाषित किया गया है[11]

और

Dn,0(x,α) = Dn(x,α) और Dn,1(x,α) = En(x,α), यह दर्शाता है कि यह परिभाषा डिक्सन के मूल बहुपदों को एकीकृत और सामान्यीकृत करती है।

डिक्सन बहुपदों के महत्वपूर्ण गुण भी सामान्यीकरण करते हैं:[12]

  • पुनरावृत्ति संबंध: के लिए n ≥ 2,
प्रारंभिक शर्तों के साथ D0,k(x,α) = 2 − k और D1,k(x,α) = x.
  • कार्यात्मक समीकरण:
कहाँ y ≠ 0, y2α.
  • उत्पन्न समारोह:


टिप्पणियाँ

  1. 1.0 1.1 Lidl & Niederreiter 1983, p. 355
  2. see OEIS A132460
  3. see OEIS A213234
  4. see OEIS A113279
  5. see OEIS A034807, this one without signs but with a lot of references
  6. see OEIS A115139
  7. see OEIS A011973, this one again without signs but with a lot of references
  8. 8.0 8.1 8.2 Mullen & Panario 2013, p. 283
  9. Lidl & Niederreiter 1983, p. 356
  10. Wang, Q.; Yucas, J. L. (2012), "Dickson polynomials over finite fields", Finite Fields and Their Applications, 18 (4): 814–831, doi:10.1016/j.ffa.2012.02.001
  11. Mullen & Panario 2013, p. 287
  12. Mullen & Panario 2013, p. 288


संदर्भ