पुइसेक्स श्रृंखला



गणित में, पुइसेक्स श्रृंखला घात श्रृंखला का एक सामान्यीकरण है जो अनिश्चित (चर) के नकारात्मक और भिन्नात्मक घातांक की अनुमति देती है। उदाहरण के लिए, श्रृंखला
 * $$ \begin{align}

x^{-2} &+ 2x^{-1/2} + x^{1/3} + 2x^{11/6} + x^{8/3} + x^5 + \cdots\\ &=x^{-12/6}+ 2x^{-3/6} + x^{2/6} + 2x^{11/6} + x^{16/6} + x^{30/6} + \cdots \end{align}$$ अनिश्चित $x$ में एक पुइसेक्स श्रृंखला होती है। पुइसेक्स श्रृंखला को पहली बार 1676 में आइजैक न्यूटन द्वारा प्रस्तुत किया गया था और 1850 में विक्टर पुइसेक्स द्वारा पुनः खोजा गया था।

पुइसेक्स श्रृंखला की परिभाषा में यह शामिल है कि घातांक के हर को सीमित किया जाना चाहिए। तो, घातांक को एक सामान्य हर $n$ तक कम करके, एक पुइसेक्स श्रृंखला अनिश्चित काल के nवें मूल में एक लॉरेंट श्रृंखला बन जाती है। उदाहरण के लिए, उपरोक्त उदाहरण लॉरेंट श्रृंखला होती है $$x^{1/6}$$क्योंकि एक जटिल संख्या है $n$ $n$वीं जड़ें, एक अभिसरण श्रृंखला पुइसेक्स श्रृंखला सामान्यतः परिभाषित करती है $n$ के पड़ोस (गणित) में कार्य करता है $0$.

पुइसेक्स प्रमेय, जिसे कभी-कभी न्यूटन-पुइसेक्स प्रमेय भी कहा जाता है, यह दावा करता है कि, एक बहुपद समीकरण दिया गया है $$P(x,y)=0$$ जटिल गुणांकों के साथ, इसके समाधान $y$, के कार्यों के रूप में देखा जाता है $x$, को पुइसेक्स श्रृंखला के रूप में विस्तारित किया जा सकता है $x$ जो कि कुछ पड़ोस (गणित) में अभिसरण श्रृंखला हैं $0$. दूसरे शब्दों में, बीजगणितीय वक्र की प्रत्येक शाखा को स्थानीय रूप से पुइसेक्स श्रृंखला द्वारा वर्णित किया जा सकता है $x$ (या में $x − x0$ जब पड़ोस के ऊपर की शाखाओं पर विचार किया जाता है $x0 ≠ 0$).

आधुनिक शब्दावली का उपयोग करते हुए, पुइसेक्स का प्रमेय दावा करता है कि विशेषता 0 के बीजगणितीय रूप से बंद क्षेत्र पर पुइसेक्स श्रृंखला का सेट स्वयं एक बीजगणितीय रूप से बंद क्षेत्र है, जिसे पुइसेक्स श्रृंखला का क्षेत्र कहा जाता है। यह औपचारिक शक्ति श्रृंखला#औपचारिक लॉरेंट श्रृंखला का बीजगणितीय समापन है, जो स्वयं औपचारिक शक्ति श्रृंखला के वलय के अंशों का क्षेत्र है।

परिभाषा
अगर $K$ एक फ़ील्ड (गणित) (जैसे जटिल संख्याएं) है, गुणांक के साथ एक पुइसेक्स श्रृंखला $K$ रूप की अभिव्यक्ति है
 * $$f = \sum_{k=k_0}^{+\infty} c_k T^{k/n}$$

कहाँ $$n$$ एक धनात्मक पूर्णांक है और $$k_0$$ एक पूर्णांक है. दूसरे शब्दों में, पुइसेक्स श्रृंखला लॉरेंट श्रृंखला से इस मायने में भिन्न है कि वे अनिश्चित के भिन्नात्मक घातांक की अनुमति देते हैं, जब तक कि इन भिन्नात्मक घातांकों ने हर (यहाँ n) को सीमित कर दिया है। लॉरेंट श्रृंखला की तरह, पुइसेक्स श्रृंखला अनिश्चित के नकारात्मक घातांक के लिए अनुमति देती है जब तक कि ये नकारात्मक घातांक नीचे (यहाँ द्वारा) सीमित हैं $$k_0$$). जोड़ और गुणा अपेक्षा के अनुरूप हैं: उदाहरण के लिए,
 * $$ (T^{-1} + 2T^{-1/2} + T^{1/3} + \cdots) + (T^{-5/4} - T^{-1/2} + 2 + \cdots) = T^{-5/4} + T^{-1} + T^{-1/2} + 2 + \cdots$$

और
 * $$ (T^{-1} + 2T^{-1/2} + T^{1/3} + \cdots) \cdot (T^{-5/4} - T^{-1/2} + 2 + \cdots) = T^{-9/4} + 2T^{-7/4} - T^{-3/2} + T^{-11/12} + 4T^{-1/2} + \cdots.$$

कोई पहले घातांक के हर को किसी सामान्य हर में अपग्रेड करके उन्हें परिभाषित कर सकता है $N$ और फिर औपचारिक लॉरेंट श्रृंखला के संबंधित क्षेत्र में ऑपरेशन निष्पादित करना $$T^{1/N}$$.

गुणांकों के साथ पुइसेक्स श्रृंखला $K$ एक क्षेत्र बनाएं, जो संघ है
 * $$\bigcup_{n>0} K(\!(T^{1/n})\!)$$

औपचारिक लॉरेंट श्रृंखला के क्षेत्रों में $$T^{1/n}$$ (अनिश्चित माना जाता है)।

इससे प्रत्यक्ष सीमा के संदर्भ में पुइसेक्स श्रृंखला के क्षेत्र की एक वैकल्पिक परिभाषा प्राप्त होती है। प्रत्येक सकारात्मक पूर्णांक के लिए $n$, होने देना $$T_n$$ एक अनिश्चित हो (प्रतिनिधित्व करने के लिए)। $T^{1/n}$ ), और $$K(\!(T_n)\!)$$ औपचारिक लॉरेंट श्रृंखला का क्षेत्र बनें $$T_n.$$ अगर $m$ बांटता है $n$, मैपिंग $$T_m \mapsto (T_n)^{n/m}$$ एक क्षेत्र समरूपता को प्रेरित करता है $$K(\!(T_m)\!) \to K(\!(T_n)\!),$$ और ये समरूपताएं एक प्रत्यक्ष प्रणाली बनाती हैं जिसमें पुइसेक्स श्रृंखला का क्षेत्र प्रत्यक्ष सीमा के रूप में होता है। तथ्य यह है कि प्रत्येक क्षेत्र समरूपता अन्तःक्षेपण है, यह दर्शाता है कि इस प्रत्यक्ष सीमा को उपरोक्त संघ के साथ पहचाना जा सकता है, और यह कि दोनों परिभाषाएँ समतुल्य हैं (एक समरूपता तक)।

मूल्यांकन
एक शून्येतर पुइसेक्स श्रृंखला $$f$$ विशिष्ट रूप से लिखा जा सकता है
 * $$f = \sum_{k=k_0}^{+\infty} c_k T^{k/n}$$

साथ $$c_{k_0}\neq 0.$$ मूल्यांकन
 * $$v(f) = \frac {k_0}n$$

का $$f$$ परिमेय संख्याओं के प्राकृतिक क्रम और संगत गुणांक के लिए सबसे छोटा घातांक है $c_{k_0}$ का प्रारंभिक गुणांक या मूल्यांकन गुणांक कहा जाता है$$f$$. शून्य श्रृंखला का मूल्यांकन है $$+\infty.$$ कार्यक्रम $v$ एक मूल्यांकन (बीजगणित) है और पुइसेक्स श्रृंखला को योगात्मक समूह के साथ एक मूल्यवान क्षेत्र बनाता है $$\Q$$ इसके मूल्यांकन समूह के रूप में तर्कसंगत संख्याएँ।

प्रत्येक मूल्यवान फ़ील्ड के लिए, मूल्यांकन सूत्र द्वारा एक अल्ट्रामेट्रिक स्पेस को परिभाषित करता है $$d(f,g)=\exp(-v(f-g)).$$ इस दूरी के लिए, पुइसेक्स श्रृंखला का क्षेत्र एक मीट्रिक स्थान है। संकेतन
 * $$f = \sum_{k=k_0}^{+\infty} c_k T^{k/n}$$

व्यक्त करता है कि एक पुइसेक्स उसके आंशिक योग की सीमा है। हालाँकि, पुइसेक्स श्रृंखला का क्षेत्र पूर्ण मीट्रिक स्थान नहीं है; नीचे देखें.

अभिसरण पुइसेक्स श्रृंखला
अधिक सटीक रूप से, चलो
 * 1) न्यूटन-पुइसेक्स प्रमेय द्वारा प्रदान की गई पुइसेक्स श्रृंखला | न्यूटन-पुइसेक्स प्रमेय इस अर्थ में अभिसरण श्रृंखला है कि शून्य का एक पड़ोस है जिसमें वे अभिसरण हैं (यदि मूल्यांकन नकारात्मक है तो 0 को बाहर रखा गया है)।
 * $$f = \sum_{k=k_0}^{+\infty} c_k T^{k/n}$$

सम्मिश्र संख्या गुणांकों वाली एक पुइसेक्स श्रृंखला बनें। एक वास्तविक संख्या है $r$, जिसे अभिसरण की त्रिज्या कहा जाता है जैसे कि श्रृंखला अभिसरण करती है यदि $T$ को एक गैरशून्य सम्मिश्र संख्या के लिए प्रतिस्थापित किया जाता है $t$ निरपेक्ष मान से कम $r$, और $r$ इस संपत्ति के साथ सबसे बड़ी संख्या है। एक पुइसेक्स श्रृंखला अभिसरण है यदि इसमें अभिसरण की गैर-शून्य त्रिज्या है।

क्योंकि एक शून्येतर सम्मिश्र संख्या होती है $n$ nवाँ मूल|$n$वें मूल, प्रतिस्थापन के लिए कुछ देखभाल की जानी चाहिए: एक विशिष्ट $n$की जड़ $t$, कहना $x$, चुना जाना चाहिए. फिर प्रतिस्थापन में प्रतिस्थापित करना सम्मलित है $$T^{k/n}$$ द्वारा $$x^k$$ हरएक के लिए $k$.

अभिसरण की त्रिज्या का अस्तित्व एक शक्ति श्रृंखला के लिए समान अस्तित्व से उत्पन्न होता है, जिस पर लागू होता है $T^{-k_0/n}f,$ में एक शक्ति श्रृंखला के रूप में माना जाता है $$T^{1/n}.$$ यह न्यूटन-पुइसेक्स प्रमेय का एक हिस्सा है कि प्रदान की गई पुइसेक्स श्रृंखला में अभिसरण का एक सकारात्मक त्रिज्या है, और इस प्रकार शून्य के कुछ पड़ोस में एक (बहुमूल्यवान फ़ंक्शन) विश्लेषणात्मक फ़ंक्शन को परिभाषित करता है (शून्य स्वयं संभवतः बाहर रखा गया है)।

गुणांकों पर मूल्यांकन और क्रम
यदि आधार फ़ील्ड $$K$$ ऑर्डर किया गया फ़ील्ड है, फिर पुइसेक्स श्रृंखला का फ़ील्ड खत्म हो गया है $$K$$ इसे स्वाभाविक रूप से ("शब्दावली क्रम") निम्नानुसार क्रमबद्ध किया गया है: एक गैर-शून्य पुइसेक्स श्रृंखला $$f$$ जब भी इसका मूल्यांकन गुणांक ऐसा होता है तो 0 को सकारात्मक घोषित किया जाता है। अनिवार्य रूप से, इसका मतलब यह है कि अनिश्चित की कोई भी सकारात्मक तर्कसंगत शक्ति $$T$$ को सकारात्मक बनाया गया है, लेकिन आधार क्षेत्र में किसी भी सकारात्मक तत्व से छोटा है $$K$$.

यदि आधार फ़ील्ड $$K$$ मूल्यांकन से संपन्न है $$w$$, तो हम पुइसेक्स श्रृंखला के क्षेत्र पर एक अलग मूल्यांकन का निर्माण कर सकते हैं $$K$$ मूल्यांकन देकर $$\hat w(f)$$ होना $$\omega\cdot v + w(c_k),$$ कहाँ $$v=k/n$$ पहले से परिभाषित मूल्यांकन है ($$c_k$$ पहला गैर-शून्य गुणांक है) और $$\omega$$ असीम रूप से बड़ा है (दूसरे शब्दों में, का मान समूह $$\hat w$$ है $$\Q \times \Gamma$$ शब्दकोषीय ढंग से आदेश दिया गया, कहाँ $$\Gamma$$ का मान समूह है $$w$$). अनिवार्य रूप से, इसका मतलब है कि पहले से परिभाषित मूल्यांकन $$v$$ मूल्यांकन को ध्यान में रखने के लिए एक अनंत राशि द्वारा सही किया जाता है $$w$$ आधार फ़ील्ड पर दिया गया है.

न्यूटन-पुइसेक्स प्रमेय
1671 की शुरुआत में, आइजैक न्यूटन ने स्पष्ट रूप से पुइसेक्स श्रृंखला का उपयोग किया और बीजगणितीय समीकरणों के एक फ़ंक्शन के शून्य को श्रृंखला (गणित) के साथ अनुमानित करने के लिए निम्नलिखित प्रमेय को सिद्ध किया, जिनके गुणांक ऐसे कार्य हैं जो स्वयं श्रृंखला या बहुपद के साथ अनुमानित होते हैं। इस उद्देश्य के लिए, उन्होंने न्यूटन बहुभुज की शुरुआत की, जो इस संदर्भ में एक मौलिक उपकरण बना हुआ है। न्यूटन ने संक्षिप्त श्रृंखला के साथ काम किया, और यह केवल 1850 में विक्टर पुइसेक्स द्वारा किया गया था (गैर-काट-छाँट) पुइसेक्स श्रृंखला की अवधारणा पेश की और उस प्रमेय को सिद्ध किया जिसे अब पुइसेक्स प्रमेय या न्यूटन-पुइसेक्स प्रमेय के रूप में जाना जाता है। प्रमेय का दावा है कि, एक बीजगणितीय समीकरण दिया गया है जिसके गुणांक बहुपद हैं या, अधिक सामान्यतः, विशेषता शून्य के क्षेत्र (गणित) पर पुइसेक्स श्रृंखला, समीकरण के प्रत्येक समाधान को पुइसेक्स श्रृंखला के रूप में व्यक्त किया जा सकता है। इसके अलावा, प्रमाण इन पुइसेक्स श्रृंखला की गणना के लिए एक एल्गोरिदम प्रदान करता है, और, जटिल संख्याओं पर काम करते समय, परिणामी श्रृंखला अभिसरण होती है।

आधुनिक शब्दावली में, प्रमेय को इस प्रकार दोहराया जा सकता है: विशेषता शून्य के क्षेत्र पर पुइसेक्स श्रृंखला का क्षेत्र, और जटिल संख्याओं पर अभिसरण पुइसेक्स श्रृंखला का क्षेत्र, दोनों बीजगणितीय रूप से बंद हैं।

न्यूटन बहुभुज
होने देना
 * $$P(y)=\sum_{a_i\neq 0} a_i(x) y^i$$

एक बहुपद हो जिसका शून्येतर गुणांक हो $$a_i(x)$$ बहुपद, घात श्रृंखला, या यहाँ तक कि पुइसेक्स श्रृंखला भी हैं $x$. इस खंड में, मूल्यांकन $$v(a_i)$$ का $$a_i$$ का सबसे निचला घातांक है $x$ में $$a_i.$$ (इसमें से अधिकांश किसी भी मूल्यवान क्षेत्र में गुणांक पर अधिक सामान्यतः लागू होता है।)

पुइसेक्स श्रृंखला की गणना के लिए जो एक फ़ंक्शन के शून्य हैं $P$ (यह कार्यात्मक समीकरण का समाधान है $$P(y)=0$$), करने वाली पहली बात जड़ों के मूल्यांकन की गणना करना है। यह न्यूटन बहुभुज की भूमिका है।

आइए, कार्तीय तल में, निर्देशांक के बिंदुओं पर विचार करें $$(i, v(a_i)).$$ न्यूटन बहुभुज $P$ इन बिंदुओं का निचला उत्तल आवरण है। अर्थात्, न्यूटन बहुभुज के किनारे इनमें से दो बिंदुओं को जोड़ने वाले रेखा खंड हैं, जैसे कि ये सभी बिंदु खंड का समर्थन करने वाली रेखा से नीचे नहीं हैं (नीचे, आमतौर पर, दूसरे निर्देशांक के मान के सापेक्ष है)।

पुइसेक्स श्रृंखला दी गई $$y_0$$ मूल्यांकन का $$v_0$$, का मूल्यांकन $$P(y_0)$$ कम से कम संख्याओं का न्यूनतम है $$i v_0 + v(a_i),$$ और इस न्यूनतम के बराबर है यदि यह न्यूनतम केवल एक के लिए पहुँचता है $i$. अभीतक के लिए तो $$y_0$$ की जड़ है $P$, न्यूनतम तक कम से कम दो बार पहुंचना चाहिए। अर्थात् दो मान होने चाहिए $$i_1$$ और $$i_2$$ का $i$ ऐसा है कि $$i_1 v_0 + v(a_{i_1}) = i_2 v_0 + v(a_{i_2}),$$ और $$i v_0 + v(a_{i}) \ge i_1 v_0 + v(a_{i_1})$$ हरएक के लिए $i$.

वह है, $$(i_1, v(a_{i_1})) $$ और $$(i_2, v(a_{i_2})) $$ न्यूटन बहुभुज के एक किनारे से संबंधित होना चाहिए, और $$v_0=-\frac{v(a_{i_1})-v(a_{i_2})}{i_1-i_2}$$ इस किनारे की ढलान के विपरीत होना चाहिए। यह सभी मूल्यांकनों के बराबर एक तर्कसंगत संख्या है $$v(a_i)$$ परिमेय संख्याएँ हैं, और यही पुइसेक्स श्रृंखला में परिमेय घातांकों को सम्मलित करने का कारण है।

संक्षेप में, एक जड़ का मूल्यांकन $P$ न्यूटन बहुपद के एक किनारे के ढलान के विपरीत होना चाहिए।

पुइसेक्स श्रृंखला समाधान का प्रारंभिक गुणांक $$P(y)=0$$ आसानी से अनुमान लगाया जा सकता है. होने देना $$c_i$$ का प्रारंभिक गुणांक हो $$a_i(x),$$ यानी का गुणांक $$x^{v(a_i)}$$ में $$a_i(x).$$ होने देना $$-v_0$$ न्यूटन बहुभुज का ढलान हो, और $$\gamma x_0^{v_0}$$ संबंधित पुइसेक्स श्रृंखला समाधान का प्रारंभिक पद हो $$P(y)=0.$$ यदि कोई रद्दीकरण नहीं होगा, तो प्रारंभिक गुणांक $$P(y)$$ होगा $\sum_{i\in I}c_i \gamma^i,$ कहाँ $I$ सूचकांकों का सेट है $i$ ऐसा है कि $$(i, v(a_i))$$ ढलान के किनारे से संबंधित है $$v_0$$ न्यूटन बहुभुज का. तो, एक जड़ होने के लिए, प्रारंभिक गुणांक $$\gamma$$ बहुपद का एक शून्येतर मूल होना चाहिए $$\chi(x)=\sum_{i\in I}c_i x^i$$ (इस नोटेशन का उपयोग अगले भाग में किया जाएगा)।

संक्षेप में, न्यूटन बहुपद पुइसेक्स श्रृंखला के सभी संभावित प्रारंभिक शब्दों की आसान गणना की अनुमति देता है जो कि समाधान हैं $$P(y)=0.$$ न्यूटन-पुइसेक्स प्रमेय के प्रमाण में पुइसेक्स श्रृंखला समाधानों के अगले शब्दों की पुनरावर्ती गणना के लिए इन प्रारंभिक शब्दों से शुरुआत करना सम्मलित होगा।

रचनात्मक प्रमाण
मान लीजिए कि पहला पद $$\gamma x^{v_0}$$ पुइसेक्स श्रृंखला समाधान का $$P(y)=0$$ पूर्ववर्ती अनुभाग की विधि द्वारा गणना की गई है। अभी हिसाब लगाना बाकी है $$z=y-\gamma x^{v_0}.$$ इसके लिए हम सेट करते हैं $$y_0=\gamma x^{v_0},$$ और टेलर का विस्तार लिखें $P$ पर $$z=y-y_0:$$
 * $$Q(z)=P(y_0+z)=P(y_0)+zP'(y_0)+\cdots + z^j\frac {P^{(j)}(y_0)} {j!} +\cdots$$

यह एक बहुपद है $z$ जिनके गुणांक पुइसेक्स श्रृंखला में हैं $x$. कोई इस पर न्यूटन बहुभुज की विधि लागू कर सकता है, और एक के बाद एक पुइसेक्स श्रृंखला की शर्तों को प्राप्त करने के लिए पुनरावृत्त कर सकता है। लेकिन उसका बीमा कराने के लिए कुछ सावधानी बरतनी पड़ती है $$v(z)>v_0,$$ और यह दिखाते हुए कि किसी को पुइसेक्स श्रृंखला मिलती है, अर्थात, के घातांक के हर $x$ बंधे रहना.

के संबंध में व्युत्पत्ति $y$ में मूल्यांकन नहीं बदलता है $x$ गुणांकों का; वह है,
 * $$v\left(P^{(j)}(y_0)z^j\right)\ge \min_i (v(a_i) + i v_0)+j(v(z)-v_0),$$

और समानता तब होती है जब और केवल यदि $$\chi^{(j)}(\gamma)\neq 0,$$ कहाँ $$\chi(x)$$ पूर्ववर्ती अनुभाग का बहुपद है. अगर $m$ की बहुलता है $$\gamma$$ की जड़ के रूप में $$\chi,$$ इसका परिणाम यह होता है कि असमानता ही समानता है $$j=m.$$ शर्तें ऐसी कि $$j>m$$ जहां तक ​​मूल्यांकन का सवाल है, भुलाया जा सकता है $$v(z)>v_0$$ और $$j>m$$ मतलब
 * $$v\left(P^{(j)}(y_0)z^j\right) \ge \min_i (v(a_i) +iv_0)+j(v(z)-v_0) >

v\left(P^{(m)}(y_0)z^m\right).$$ इसका मतलब यह है कि, न्यूटन बहुभुज की विधि को दोहराने के लिए, किसी को न्यूटन बहुभुज के केवल उस भाग पर विचार करना चाहिए जिसका पहला निर्देशांक अंतराल से संबंधित है $$[0, m].$$ दो स्थितियों पर अलग से विचार करना होगा और वे अगले उपधाराओं का विषय होंगे, तथाकथित जटिल मामला, जहां $m > 1$, और नियमित मामला जहां $m = 1$.

रामिफाइड स्थिति
न्यूटन बहुभुज की विधि को पुनरावर्ती रूप से लागू करने का तरीका पहले वर्णित किया गया है। जैसा कि विधि के प्रत्येक अनुप्रयोग में वृद्धि हो सकती है, रामिफाइड स्थिति  में, घातांक (मूल्यांकन) के हर, यह साबित करना बाकी है कि एक सीमित संख्या में पुनरावृत्तियों के बाद नियमित स्थिति तक पहुंचता है (अन्यथा परिणामी श्रृंखला के घातांक के हर होंगे) बाध्य नहीं होगा, और यह श्रृंखला पुइसेक्स श्रृंखला नहीं होगी। वैसे, यह भी साबित हो जाएगा कि किसी को उतने ही पुइसेक्स श्रृंखला समाधान मिलते हैं जितनी अपेक्षा की जाती है, यही की डिग्री है $$P(y)$$ में $y$.

व्यापकता की हानि के बिना, कोई ऐसा मान सकता है $$P(0)\neq 0,$$ वह है, $$a_0\neq 0.$$ दरअसल, प्रत्येक कारक $y$ का $$P(y)$$ एक समाधान प्रदान करता है जो शून्य पुइसेक्स श्रृंखला है, और ऐसे कारकों को दूर किया जा सकता है।

जैसे विशेषता शून्य मानी जाती है, वैसा भी कोई मान सकता है $$P(y)$$ एक वर्ग-मुक्त बहुपद है, अर्थात इसका समाधान है $$P(y)=0$$ सभी अलग हैं. दरअसल, वर्ग-मुक्त गुणनखंडन गुणनखंडन के लिए केवल गुणांक के क्षेत्र के संचालन का उपयोग करता है $$P(y)$$ वर्ग-मुक्त कारकों में अलग से हल किया जा सकता है। (विशेषता शून्य की परिकल्पना की आवश्यकता है, क्योंकि, विशेषता में $p$, वर्ग-मुक्त अपघटन अघुलनशील कारक प्रदान कर सकता है, जैसे $$y^p-x,$$ जिसके बीजगणितीय विस्तार पर अनेक मूल हों।)

इस संदर्भ में, कोई न्यूटन बहुभुज के किनारे की लंबाई को उसके अंतिम बिंदुओं के भुज के अंतर के रूप में परिभाषित करता है। बहुभुज की लंबाई उसके किनारों की लंबाई का योग होती है। परिकल्पना के साथ $$P(0)\neq 0,$$ न्यूटन बहुभुज की लंबाई $P$ इसकी डिग्री है $y$, वह इसकी जड़ों की संख्या है। न्यूटन बहुभुज के एक किनारे की लंबाई किसी दिए गए मूल्यांकन की जड़ों की संख्या है। यह संख्या पहले से परिभाषित बहुपद की घात के बराबर है $$\chi(x).$$ इस प्रकार, व्यापक मामला दो (या अधिक) समाधानों से मेल खाता है जिनके प्रारंभिक शब्द समान हैं। चूंकि ये समाधान अलग-अलग होने चाहिए (वर्ग-मुक्त परिकल्पना), उन्हें पुनरावृत्तियों की एक सीमित संख्या के बाद अलग किया जाना चाहिए। अर्थात्, अंततः एक बहुपद प्राप्त होता है $$\chi(x)$$ यह वर्ग मुक्त है, और गणना प्रत्येक मूल के लिए नियमित स्थिति  की तरह जारी रह सकती है $$\chi(x).$$ चूंकि नियमित स्थिति  की पुनरावृत्ति घातांक के हरों में वृद्धि नहीं करती है, इससे पता चलता है कि विधि सभी समाधानों को पुइसेक्स श्रृंखला के रूप में प्रदान करती है, अर्थात, जटिल संख्याओं पर पुइसेक्स श्रृंखला का क्षेत्र एक बीजगणितीय रूप से बंद क्षेत्र है जिसमें अविभाज्य बहुपद सम्मलित  है जटिल गुणांक के साथ अंगूठी.

सकारात्मक विशेषता में विफलता
न्यूटन-पुइसेक्स प्रमेय सकारात्मक विशेषता वाले क्षेत्रों पर मान्य नहीं है। उदाहरण के लिए, समीकरण $$X^2 - X = T^{-1}$$ समाधान है


 * $$X = T^{-1/2} + \frac{1}{2} + \frac{1}{8}T^{1/2} - \frac{1}{128}T^{3/2} + \cdots$$

और


 * $$X = -T^{-1/2} + \frac{1}{2} - \frac{1}{8}T^{1/2} + \frac{1}{128}T^{3/2} + \cdots$$

(कोई पहले कुछ पदों पर आसानी से जांच कर सकता है कि इन दोनों श्रृंखलाओं का योग और उत्पाद 1 और है $$-T^{-1}$$ क्रमश; यह तब मान्य होता है जब आधार फ़ील्ड K की विशेषता 2 से भिन्न होती है)।

चूँकि पिछले उदाहरण के गुणांकों के हर में 2 की घातें किसी को विश्वास दिला सकती हैं, प्रमेय का कथन सकारात्मक विशेषता में सत्य नहीं है। आर्टिन-श्रेयर सिद्धांत का उदाहरण|आर्टिन-श्रेयर समीकरण $$X^p - X = T^{-1}$$ यह दिखाता है: मूल्यांकन के साथ तर्क से पता चलता है कि एक्स का मूल्यांकन होना चाहिए $-\frac{1}{p}$, और यदि हम इसे इस रूप में पुनः लिखते हैं $$X = T^{-1/p} + X_1$$ तब


 * $$X^p = T^{-1} + {X_1}^p,\text{ so }{X_1}^p - X_1 = T^{-1/p}$$

और एक वैसा ही दिखाता है $$X_1$$ मूल्यांकन होना चाहिए $-\frac{1}{p^2}$, और उस विधि से आगे बढ़ने पर व्यक्ति श्रृंखला प्राप्त करता है


 * $$T^{-1/p} + T^{-1/p^2} + T^{-1/p^3} + \cdots;$$

चूंकि इस श्रृंखला का पुइसेक्स श्रृंखला के रूप में कोई मतलब नहीं है - क्योंकि घातांक में असीमित हर हैं - मूल समीकरण का कोई समाधान नहीं है। हालाँकि, ऐसे आइज़ेंस्टीन के मानदंड अनिवार्य रूप से एकमात्र समाधान नहीं हैं, क्योंकि, यदि $$K$$ बीजगणितीय रूप से विशेषता से बंद है $$p>0$$, फिर पुइसेक्स श्रृंखला का क्षेत्र खत्म $$K$$ के अधिकतम वश में रामीकरण (गणित) विस्तार का पूर्ण समापन है $$K(\!(T)\!)$$.

इसी प्रकार बीजगणितीय समापन के स्थिति  में, वास्तविक बंद क्षेत्र के लिए एक अनुरूप प्रमेय है: यदि $$K$$ एक वास्तविक बंद क्षेत्र है, फिर पुइसेक्स श्रृंखला का क्षेत्र खत्म हो गया $$K$$ यह औपचारिक लॉरेंट श्रृंखला के क्षेत्र का वास्तविक समापन है $$K$$. (यह पूर्व प्रमेय का तात्पर्य है क्योंकि विशेषता शून्य का कोई भी बीजगणितीय रूप से बंद क्षेत्र कुछ वास्तविक-बंद क्षेत्र का अद्वितीय द्विघात विस्तार है।)

पी-एडिकली बंद क्षेत्र|पी-एडिक क्लोजर: यदि के लिए भी एक समान परिणाम है $$K$$ एक है $$p$$-मूल्यांकन के संबंध में मौलिक रूप से बंद क्षेत्र $$w$$, फिर पुइसेक्स श्रृंखला का क्षेत्र खत्म $$K$$ ई आल्सो $$p$$-वैधिक रूप से बंद.

बीजगणितीय वक्र
होने देना $$X$$ एक बीजगणितीय वक्र बनें एक एफ़िन समीकरण द्वारा दिया गया $$F(x,y)=0$$ बीजगणितीय रूप से बंद क्षेत्र पर $$K$$ विशेषता शून्य का, और एक बिंदु पर विचार करें $$p$$ पर $$X$$ जिसे हम मान सकते हैं $$(0,0)$$. हम भी यही मानते हैं $$X$$ निर्देशांक अक्ष नहीं है $$x=0$$. फिर (द.) का पुइसेक्स विस्तार $$y$$ का समन्वय) $$X$$ पर $$p$$ एक पुइसेक्स श्रृंखला है $$f$$ ऐसा सकारात्मक मूल्यांकन होना $$F(x,f(x))=0$$.

अधिक सटीक रूप से, आइए हम इसकी शाखाओं को परिभाषित करें $$X$$ पर $$p$$ अंक होना $$q$$ नोएथेर सामान्यीकरण लेम्मा का $$Y$$ का $$X$$ कौन सा मानचित्र बनाना है $$p$$. ऐसे प्रत्येक के लिए $$q$$, एक स्थानीय समन्वय है $$t$$ का $$Y$$ पर $$q$$ (जो एक सहज बिंदु है) जैसे कि निर्देशांक $$x$$ और $$y$$ की औपचारिक शक्ति श्रृंखला के रूप में व्यक्त किया जा सकता है $$t$$, कहना $$x = t^n + \cdots$$ (तब से $$K$$ बीजगणितीय रूप से बंद है, हम मूल्यांकन गुणांक 1) और मान सकते हैं $$y = c t^k + \cdots$$: फिर फॉर्म की एक अनूठी पुइसेक्स श्रृंखला है $$f = c T^{k/n} + \cdots$$ (एक शक्ति श्रृंखला में $$T^{1/n}$$), ऐसा है कि $$y(t)=f(x(t))$$ (बाद वाली अभिव्यक्ति तब से सार्थक है $$x(t)^{1/n} = t+\cdots$$ में एक सुपरिभाषित शक्ति श्रृंखला है $$t$$). यह पुइसेक्स का विस्तार है $$X$$ पर $$p$$ जो कि दी गई शाखा से जुड़ा बताया जा रहा है $$q$$ (या बस, उस शाखा का पुइसेक्स विस्तार $$X$$), और प्रत्येक पुइसेक्स विस्तार $$X$$ पर $$p$$ की एक अनूठी शाखा के लिए इस प्रकार दिया गया है $$X$$ पर $$p$$. बीजगणितीय वक्र या फ़ंक्शन की शाखाओं के औपचारिक पैरामीट्रिजेशन के इस अस्तित्व को पुइसेक्स के प्रमेय के रूप में भी जाना जाता है: इसमें तर्कसंगत रूप से वही गणितीय सामग्री है जो तथ्य यह है कि पुइसेक्स श्रृंखला का क्षेत्र बीजगणितीय रूप से बंद है और ऐतिहासिक रूप से अधिक सटीक विवरण है मूल लेखक का कथन. उदाहरण के लिए, वक्र $$y^2 = x^3 + x^2$$ (जिसका सामान्यीकरण समन्वय के साथ एक रेखा है $$t$$ और मानचित्र $$t \mapsto (t^2-1,t^3-t)$$) की दोहरे बिंदु (0,0) पर दो शाखाएँ हैं, जो बिंदुओं के अनुरूप हैं $$t=+1$$ और $$t=-1$$ सामान्यीकरण पर, जिसका पुइसेक्स विस्तार है $y = x + \frac{1}{2}x^2 - \frac{1}{8}x^3 + \cdots$ और $y = - x - \frac{1}{2}x^2 + \frac{1}{8}x^3 + \cdots$  क्रमशः (यहाँ, दोनों शक्ति श्रृंखला हैं क्योंकि $$x$$ सामान्यीकरण में संगत बिंदुओं पर निर्देशांक Étale morphism|étale है)। सहज बिंदु पर $$(-1,0)$$ (जो है $$t=0$$ सामान्यीकरण में), इसकी एक ही शाखा है, जो पुइसेक्स विस्तार द्वारा दी गई है $$y = -(x+1)^{1/2} + (x+1)^{3/2}$$ (द $$x$$ निर्देशांक इस बिंदु पर प्रभाव डालता है, इसलिए यह एक शक्ति श्रृंखला नहीं है)।

वक्र $$y^2 = x^3$$ (जिसका सामान्यीकरण फिर से समन्वय के साथ एक रेखा है $$t$$ और मानचित्र $$t \mapsto (t^2,t^3)$$), दूसरी ओर, Cusp (विलक्षणता) पर एक ही शाखा है $$(0,0)$$, जिसका पुइसेक्स विस्तार है $$y = x^{3/2}$$.

विश्लेषणात्मक अभिसरण
कब $$K=\Complex$$ सम्मिश्र संख्याओं का क्षेत्र है, बीजगणितीय वक्र का पुइसेक्स विस्तार (जैसा कि ऊपर परिभाषित है) इस अर्थ में अभिसरण का त्रिज्या है कि दिए गए विकल्प के लिए $$n$$-वें की जड़ $$x$$, वे काफी छोटे से अभिसरण करते हैं $$|x|$$, इसलिए प्रत्येक शाखा का एक विश्लेषणात्मक पैरामीटरीकरण परिभाषित करें $$X$$ के पड़ोस में $$p$$ (अधिक सटीक रूप से, पैरामीट्रिज़ेशन इसके द्वारा है $$n$$-वें की जड़ $$x$$).

लेवी-सिविटा फ़ील्ड
पुइसेक्स श्रृंखला का क्षेत्र मीट्रिक स्थान के रूप में पूर्ण मीट्रिक स्थान नहीं है। इसका समापन, जिसे लेवी-सिविटा क्षेत्र कहा जाता है, को इस प्रकार वर्णित किया जा सकता है: यह फॉर्म की औपचारिक अभिव्यक्ति का क्षेत्र है $f = \sum_e c_e T^e,$ जहां गुणांक का समर्थन (यानी, ई का सेट ऐसा है $$c_e \neq 0$$) परिमेय संख्याओं के बढ़ते अनुक्रम की सीमा है जो या तो परिमित है या जिसकी ओर प्रवृत्त है $$+\infty$$. दूसरे शब्दों में, ऐसी श्रृंखलाएं असीमित हरों के घातांकों को स्वीकार करती हैं, बशर्ते कि इससे कम घातांकों के परिमित रूप से कई पद हों। $$A$$ किसी दिए गए बंधन के लिए $$A$$. उदाहरण के लिए, $\sum_{k=1}^{+\infty} T^{k+\frac{1}{k}}$ पुइसेक्स श्रृंखला नहीं है, लेकिन यह पुइसेक्स श्रृंखला के कॉची अनुक्रम की सीमा है; विशेष रूप से, यह की सीमा है $\sum_{k=1}^{N} T^{k+\frac{1}{k}}$  जैसा $$N \to +\infty$$. हालाँकि, यह पूर्णता अभी भी इस अर्थ में अधिकतम रूप से पूर्ण नहीं है कि यह गैर-तुच्छ विस्तारों को स्वीकार करती है जो समान मूल्य समूह और अवशेष फ़ील्ड वाले मूल्यवान फ़ील्ड हैं, इसलिए इसे पूरा करने का अवसर और भी अधिक है।

हैन श्रृंखला
हैन श्रृंखला पुइसेक्स श्रृंखला का एक और (बड़ा) सामान्यीकरण है, जिसे हंस हैन (गणितज्ञ) ने 1907 में अपने हैन एम्बेडिंग प्रमेय के प्रमाण के दौरान पेश किया था और फिर हिल्बर्ट की सत्रहवीं समस्या के लिए अपने दृष्टिकोण में उनके द्वारा अध्ययन किया गया था। हैन श्रृंखला में, घातांकों को परिबद्ध हर की आवश्यकता के बजाय उन्हें मूल्य समूह का एक सुव्यवस्थित | सुव्यवस्थित उपसमुच्चय बनाने की आवश्यकता होती है (सामान्यतः $$\Q$$ या $$\R$$). इन्हें बाद में अनातोली माल्टसेव और बर्नहार्ड न्यूमैन द्वारा एक गैर-कम्यूटेटिव सेटिंग में सामान्यीकृत किया गया (इसलिए उन्हें कभी-कभी हैन-मालसेव-न्यूमैन श्रृंखला के रूप में जाना जाता है)। हैन श्रृंखला का उपयोग करते हुए, सकारात्मक विशेषता में शक्ति श्रृंखला के क्षेत्र के बीजगणितीय समापन का विवरण देना संभव है जो कुछ हद तक पुइसेक्स श्रृंखला के क्षेत्र के अनुरूप है।

यह भी देखें

 * लॉरेंट श्रृंखला
 * माधव श्रृंखला
 * न्यूटन बहुपद|न्यूटन का विभाजित अंतर प्रक्षेप
 * पाडे सन्निकटन

संदर्भ

 * (Translated from Latin)
 * (Translated from Latin)
 * (Translated from Latin)
 * (Translated from Latin)
 * (Translated from Latin)
 * (Translated from Latin)

बाहरी संबंध

 * Puiseux series at MathWorld
 * Puiseux's Theorem at MathWorld
 * Puiseux series at PlanetMath
 * Puiseux series at PlanetMath