प्यूसेक्स श्रृंखला



गणित में प्यूसेक्स श्रृंखला पावर श्रृंखला का एक सामान्यीकरण है। जो अनिश्चित (चर) के नकारात्मक और आंशिक घातांक के लिए अनुमति देता है। उदाहरण के लिए श्रृंखला
 * $$ \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) Newton–Puiseux theorem|Newton–Puiseux theorem द्वारा प्रदान की गई Puiseux श्रृंखला अभिसरण श्रृंखला इस अर्थ में है कि शून्य का एक पड़ोस है जिसमें वे अभिसारी हैं (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) +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$$. (यह पूर्व प्रमेय का तात्पर्य है क्योंकि विशेषता शून्य के बीजगणितीय रूप से बंद क्षेत्र कुछ वास्तविक-बंद क्षेत्र का अद्वितीय द्विघात विस्तार है।)

p-adically Closed field|p-adic Closer: if के लिए एक अनुरूप परिणाम भी है $$K$$ एक है $$p$$मूल्यांकन के संबंध में -आदर्श रूप से बंद क्षेत्र $$w$$, फिर प्यूसेक्स श्रृंखला का क्षेत्र खत्म हो गया $$K$$ ई आल्सो $$p$$-आदर्श रूप से बंद।

बीजगणितीय वक्र
होने देना $$X$$ एक बीजगणितीय वक्र हो एक affine समीकरण द्वारा दिया गया $$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)$$), दूसरी ओर, कस्प (विलक्षणता) पर एक ही शाखा है $$(0,0)$$, जिसका प्यूसेक्स विस्तार है $$y = x^{3/2}$$.

विश्लेषणात्मक अभिसरण
कब $$K=\Complex$$ सम्मिश्र संख्याओं का क्षेत्र है, एक बीजगणितीय वक्र (जैसा कि ऊपर परिभाषित किया गया है) का प्यूसेक्स विस्तार इस अर्थ में अभिसरण का त्रिज्या है कि किसी दिए गए विकल्प के लिए $$n$$-वाँ मूल $$x$$, वे काफी छोटे के लिए अभिसरण करते हैं $$|x|$$, इसलिए की प्रत्येक शाखा के एक विश्लेषणात्मक parametrization को परिभाषित करें $$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