अवकल बीजगणित

This article is about algebraic study of differential equations. For the concept in homological algebra, see Differential graded algebra.

गणित में, विभेदक बीजगणित, मोटे तौर पर, गणित का वह क्षेत्र है जिसमें समाधान की गणना किए बिना विभेदक समीकरण और संक्रियक के गुणों को प्राप्त करने के मद्देनजर बीजगणित के रूप में विभेदक समीकरणों और विभेदक संक्रियक का अध्ययन सम्मिलित है, उसी तरह जैसे बहुपद बीजगणित का उपयोग किया जाता है। बीजगणितीय किस्मों का अध्ययन, जो बहुपद समीकरणों की प्रणालियों के समाधान समूह हैं। वेल बीजगणित और ली बीजगणित को विभेदक बीजगणित से संबंधित माना जा सकता है।

अधिक विशेष रूप से, विभेदक बीजगणित 1950 में जोसेफ रिट द्वारा पेश किए गए सिद्धांत को संदर्भित करता है, जिसमें विभेदक वलय, विभेदक क्षेत्र और विभेदक बीजगणित वलय, क्षेत्र और बीजगणित हैं जो कि कई व्युत्पत्तियों से सुसज्जित हैं।

विभेदक क्षेत्र का एक प्राकृतिक उदाप्रत्येकण जटिल संख्याओं पर एक चर में तर्कसंगत कार्यों का क्षेत्र है, $\mathbb {C} (t),$ जहां व्युत्पत्ति के संबंध में भेदभाव $t$ है। अधिक सामान्यतः प्रत्येक विभेदक समीकरण को समीकरण में दिखाई देने वाले (ज्ञात) कार्यों द्वारा उत्पन्न विभेदक क्षेत्र पर विभेदक बीजगणित के एक तत्व के रूप में देखा जा सकता है।

इतिहास

जोसेफ रिट ने विभेदक बीजगणित विकसित किया क्योंकि उन्होंने विभेदक समीकरणों की प्रणालियों को विभिन्न विहित रूपों में कम करने के प्रयासों को एक असंतोषजनक दृष्टिकोण के रूप में देखा। हालाँकि, बीजगणितीय उन्मूलन विधियों और बीजगणितीय मैनिफोल्ड सिद्धांत की सफलता ने रिट को विभेदक समीकरणों के लिए एक समान दृष्टिकोण पर विचार करने के लिए प्रेरित किया। उनके प्रयासों से एक प्रारंभिक पेपर मैनिफोल्ड्स ऑफ फंक्शन्स डिफाइन्ड बाय सिस्टम्स ऑफ अलजेब्रिक डिफरेंशियल इक्वेशन और 2 किताबें, डिफरेंशियल इक्वेशन फ्रॉम द अलजेब्रिक स्टैंडपॉइंट और डिफरेंशियल अलजेब्रा प्रकाशित हुईं।। उन्हें>. रिट के छात्र एलिस कल्चेन ने इस क्षेत्र को आगे बढ़ाया और डिफरेंशियल अलजेब्रा एंड अलजेब्रिक ग्रुप्स प्रकाशित किया।

विभेदक वलय

परिभाषा

व्युत्पत्ति ${\textstyle \partial }$ वलय पर ${\textstyle {\mathcal {R}}}$ एक फ़ंक्शन है $\partial :R\to R\,$ ऐसा कि

$$\partial (r_{1}+r_{2})=\partial r_{1}+\partial r_{2}$$

और

$\partial (r_{1}r_{2})=(\partial r_{1})r_{2}+r_{1}(\partial r_{2})\quad$ (लीबनिज़ उत्पाद नियम),

प्रत्येक $r_{1}$ और $r_{2}$ में $R.$के लिए

व्युत्पत्ति पूर्णांकों पर रैखिक मानचित्र है क्योंकि ये सर्वसमिकाएं संकेत देती हैं $\partial (0)=\partial (1)=0$ और $\partial (-r)=-\partial (r).$ एक विभेदक वलय एक क्रमविनिमेय वलय है $R$ एक या अधिक व्युत्पत्तियों से सुसज्जित जो जोड़ीदार रूप से आवागमन करती हैं; वह है,

$$\partial _{1}(\partial _{2}(r))=\partial _{2}(\partial _{1}(r))$$

व्युत्पत्तियों की प्रत्येक जोड़ी और प्रत्येक के लिए $r\in R.$है। जब केवल एक ही व्युत्पत्ति होती है तो सामान्यतः एक साधारण विभेदक वलय की बात की जाती है; अन्यथा, कोई आंशिक विभेदक वलय की बात करता है

विभेदक क्षेत्र विभेदक वलय है जो एक क्षेत्र भी है। एक विभेदक बीजगणित $A$ एक विभेदक क्षेत्र पर $K$ एक विभेदक वलय है जिसमें सम्मिलित है $K$ एक सबवलय के रूप में जैसे कि प्रतिबंध $K$ की व्युत्पत्तियों का $A$ की व्युत्पत्ति के बराबर $K.$ (एक अधिक सामान्य परिभाषा नीचे दी गई है, जो उस स्थिति के लिए पर्याप्त है $K$ एक क्षेत्र नहीं है, और अनिवार्य रूप से समतुल्य है जब $K$ एक क्षेत्र है.)

विट बीजगणित विभेदक वलय है जिसमें $\mathbb {Q}$ परिमेय संख्याओं का क्षेत्र सम्मिलित होता है। समान रूप से, यह एक विभेदक बीजगणित $\mathbb {Q}$ है तब से $\mathbb {Q}$ इसे एक विभेदक क्षेत्र के रूप में माना जा सकता है जिस पर प्रत्येक व्युत्पत्ति शून्य कार्य है।

एक विभेदक वलय के स्थिरांक तत्व हैं $r$ ऐसा है कि $\partial r=0$ प्रत्येक व्युत्पत्ति $\partial .$के लिए, एक विभेदक वलय के स्थिरांक एक उपवलय बनाते हैं और एक भिन्न क्षेत्र के स्थिरांक एक उपक्षेत्र बनाते हैं। स्थिरांक का यह अर्थ एक स्थिर कार्य की अवधारणा को सामान्यीकृत करता है, और इसे स्थिरांक (गणित) के सामान्य अर्थ के साथ भ्रमित नहीं किया जाना चाहिए।

मूल सूत्र

निम्नलिखित पहचान में, $\delta$ एक विभेदक वलय $R$ की व्युत्पत्ति है

• अगर $r\in R$ और $c$ में एक स्थिरांक है (वह है, $\delta c=0$), तब
  $$\delta (cr)=c\delta (r).$$
• अगर $r\in R$ और $u$ में एक इकाई (वलय सिद्धांत) $R$ है तब
  $$\delta \left({\frac {r}{u}}\right)={\frac {\delta (r)u-r\delta (u)}{u^{2}}}$$
• अगर $n$ एक अऋणात्मक पूर्णांक है और $r\in R$ तब
  $$\delta (r^{n})=nr^{n-1}\delta (r)$$
• अगर $u_{1},\ldots ,u_{n}$ में इकाइयाँ $R$ हैं, और $n_{1},\ldots ,n_{n}$ पूर्णांक हैं, किसी के पास लघुगणकीय व्युत्पन्न पहचान है:
  $${\frac {\delta (u_{1}^{e_{1}}\ldots u_{n}^{e_{n}})}{u_{1}^{e_{1}}\ldots u_{n}^{e_{n}}}}=e_{1}{\frac {\delta (u_{1})}{u_{1}}}+\dots +e_{n}{\frac {\delta (u_{n})}{u_{n}}}.$$

उच्च क्रम व्युत्पत्तियाँ

एक व्युत्पत्ति संचालिका या उच्च क्रम व्युत्पत्ति कई व्युत्पत्तियों की संरचना है। जैसा कि एक विभेदक वलय की व्युत्पत्तियों को परिवर्तित किया जाना चाहिए, व्युत्पत्तियों का क्रम तात्पर्य नहीं रखता है, और एक व्युत्पत्ति संक्रियक को इस प्रकार लिखा जा सकता है

$$\delta _{1}^{e_{1}}\circ \cdots \circ \delta _{n}^{e_{n}},$$

जहाँ $\delta _{1},\ldots ,\delta _{n}$ विचाराधीन व्युत्पत्तियां हैं, $e_{1},\ldots ,e_{n}$ गैर-ऋणात्मक पूर्णांक हैं, और किसी व्युत्पत्ति का घातांक यह दर्शाता है कि संक्रियक में यह व्युत्पत्ति कितनी बार बनाई गई है।

योग $o=e_{1}+\cdots +e_{n}$ व्युत्पत्ति का क्रम कहलाता है। अगर $o=1$ व्युत्पत्ति संचालिका मूल व्युत्पत्तियों में से एक है। अगर $o=0$, एक में पहचान फ़ंक्शन होता है, जिसे सामान्यतः क्रम शून्य का अद्वितीय व्युत्पत्ति संक्रियक माना जाता है। इन सम्मेलनों के साथ, व्युत्पत्ति संचालक विचाराधीन व्युत्पत्ति के समूह पर एक मुक्त क्रमविनिमेय मोनोइड बनाते हैं।

किसी तत्व का व्युत्पन्न $x$ विभेदक वलय $x$ का व्युत्पत्ति संक्रियक का अनुप्रयोग है अर्थात्, उपरोक्त संकेतन $\delta _{1}^{e_{1}}\circ \cdots \circ \delta _{n}^{e_{n}}(x).$ के साथ है, एक उचित व्युत्पन्न सकारात्मक क्रम का व्युत्पन्न है।

विभेदक आदर्श

विभेदक आदर्श $I$ विभेदक वलय $R$ वलय का एक आदर्श है $R$ जो वलय की व्युत्पत्ति के तहत बंद (स्थिर) है; वह ${\textstyle \partial x\in I}$ है, प्रत्येक व्युत्पत्ति के लिए $\partial$ और प्रत्येक $x\in I$ है। विभेदक आदर्श को उचित कहा जाता है यदि वह संपूर्ण वलय नहीं है। भ्रम से बचने के लिए, एक आदर्श जो विभेदक आदर्श नहीं है, उसे कभी-कभी बीजगणितीय आदर्श कहा जाता है।

विभेदक आदर्श का मूलांक बीजगणितीय आदर्श के रूप में उसके मूलांक के समान होता है, अर्थात, वलय तत्वों का समूह जिनकी आदर्श में शक्ति होती है। विभेदक आदर्श का मूलांक भी विभेदक आदर्श है। रेडिकल या पूर्ण विभेदक आदर्श विभेदक आदर्श है जो इसके रेडिकल के बराबर होता है। एक अभाज्य विभेदक आदर्श एक विभेदक विचारधारा है जो सामान्य अर्थों में अभाज्य आदर्श है; अर्थात्, यदि कोई उत्पाद आदर्श से संबंधित है, तो कम से कम एक कारक आदर्श से संबंधित है। एक अभाज्य विभेदक आदर्श हमेशा एक मूल विभेदक आदर्श होता है।

रिट की एक खोज यह है कि, हालांकि बीजगणित का शास्त्रीय सिद्धांत विभेदक आदर्शों के लिए काम नहीं करता है, लेकिन इसका एक बड़ा हिस्सा कट्टरपंथी विभेदक आदर्शों तक बढ़ाया जा सकता है, और यह उन्हें विभेदक बीजगणित में मौलिक बनाता है।

विभेदक आदर्शों के किसी भी परिवार का प्रतिच्छेदन एक विभेदक आदर्श है, और मूल विभेदक आदर्शों के किसी भी परिवार का प्रतिच्छेदन एक मूल विभेदक आदर्श है। यह इस प्रकार है, एक उपसमुच्चय दिया गया है $S$ एक विभेदक वलय में, इसके द्वारा उत्पन्न तीन आदर्श होते हैं, जो क्रमशः, सभी बीजगणितीय आदर्शों, सभी विभेदक आदर्शों और सभी मौलिक विभेदक आदर्शों के प्रतिच्छेदन होते हैं जिनमें यह सम्मिलित होता है।

द्वारा उत्पन्न बीजगणितीय आदर्श $S$ के तत्वों के परिमित रैखिक संयोजनों का समुच्चय है $S,$ और आमतौर पर इसे इस रूप में दर्शाया जाता है $(S)$ या $\langle S\rangle .$ द्वारा उत्पन्न विभेदक आदर्श $S$ के तत्वों के परिमित रैखिक संयोजनों का समुच्चय है $S$ और इन तत्वों के किसी भी क्रम के व्युत्पन्न; इसे आमतौर पर इस रूप में दर्शाया जाता है $[S].$ कब $S$ परिमित है, $[S]$ आमतौर पर बीजीय आदर्श के रूप में अंतिम रूप से उत्पन्न आदर्श नहीं होता है।

द्वारा उत्पन्न मौलिक विभेदक आदर्श $S$ सामान्यतः के रूप में दर्शाया जाता है $\{S\}.$ अन्य दो मामलों की तरह इसके तत्व को चित्रित करने का कोई ज्ञात तरीका नहीं है।

विभेदक बहुपद

एक विभेदक क्षेत्र पर एक विभेदक बहुपद $K$ विभेदक समीकरण की अवधारणा का एक औपचारिकीकरण है जैसे कि समीकरण में दिखाई देने वाले ज्ञात कार्य संबंधित हैं $K,$ और अनिश्चित अज्ञात कार्यों के प्रतीक हैं।

तो चलो $K$ एक विभेदक क्षेत्र हो, जो सामान्यतः पर (लेकिन जरूरी नहीं) तर्कसंगत भिन्नों का एक क्षेत्र हो $K(X)=K(x_{1},\ldots ,x_{n})$ (बहुभिन्नरूपी बहुपदों के भिन्न), व्युत्पत्तियों से सुसज्जित $\partial _{i}$ ऐसा है कि $\partial _{i}x_{i}=1$ और $\partial _{i}x_{j}=0$ अगर $i\neq j$ (सामान्य आंशिक व्युत्पन्न)।

वलय को परिभाषित करने के लिए ${\textstyle K\{Y\}=K\{y_{1},\ldots ,y_{n}\}}$ में विभेदक बहुपदों का $Y=\{y_{1},\ldots ,y_{n}\}$ व्युत्पत्तियों के साथ $\partial _{1},\ldots ,\partial _{n},$ एक रूप के नए अनिश्चितों की अनंतता का परिचय देता है $\Delta y_{i},$ कहाँ $\Delta$ क्या कोई व्युत्पत्ति संचालक क्रम से उच्चतर है 1. इस संकेतन के साथ, $K\{Y\}$ इन सभी अनिश्चितों में प्राकृतिक व्युत्पत्तियों के साथ बहुपदों का समुच्चय है (प्रत्येक बहुपद में केवल अनिश्चितों की एक सीमित संख्या सम्मिलित होती है)। विशेषकर, यदि $n=1,$ किसी के पास

$K\{y\}=K\left[y,\partial y,\partial ^{2}y,\partial ^{3}y,\ldots \right].$

यहां तक ​​कि जब $n=1,$ विभेदक बहुपदों का एक वलय नोथेरियन वलय नहीं है। इससे बहुपद वलय के इस सामान्यीकरण का सिद्धांत कठिन हो जाता है। हालाँकि, दो तथ्य ऐसे सामान्यीकरण की अनुमति देते हैं।

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

दूसरा तथ्य यह है कि यदि क्षेत्र $K$ इसमें परिमेय संख्याओं का क्षेत्र, विभेदक बहुपदों के वलय सम्मिलित हैं $K$ मूल विभेदक आदर्शों पर आरोही श्रृंखला की स्थिति को संतुष्ट करें। यह रिट का प्रमेय इसके सामान्यीकरण से निहित है, जिसे कभी-कभी रिट-रौडेनबश आधार प्रमेय भी कहा जाता है जो दावा करता है कि यदि $R$ एक रिट बीजगणित है (वह, एक विभेदक वलय है जिसमें तर्कसंगत संख्याओं का क्षेत्र सम्मिलित है), जो कट्टरपंथी विभेदक आदर्शों पर आरोही श्रृंखला की स्थिति को संतुष्ट करता है, फिर विभेदक बहुपद की वलय $R\{y\}$ एक ही संपत्ति को संतुष्ट करता है (प्रमेय को पुनरावृत्त रूप से लागू करके एक व्यक्ति अविभाज्य से बहुभिन्नरूपी मामले में गुजरता है)।

इस नोथेरियन संपत्ति का तात्पर्य है कि, विभेदक बहुपद की एक वलय में, प्रत्येक कट्टरपंथी विभेदक आदर्श परिमित रूप से उत्पन्न होता है, इस अर्थ में कि यह सबसे छोटा कट्टरपंथी विभेदक आदर्श है जिसमें बहुपद का एक सीमित समूह होता है। यह जनरेटर के ऐसे सीमित समूह द्वारा एक कट्टरपंथी विभेदक आदर्श का प्रतिनिधित्व करने और इन आदर्शों के साथ कंप्यूटिंग की अनुमति देता है। हालाँकि, बीजगणितीय मामले की कुछ सामान्य गणनाओं को बढ़ाया नहीं जा सकता है। विशेष रूप से दो रेडिकल विभेदक आदर्शों की समानता के रेडिकल विभेदक आदर्श में किसी तत्व की सदस्यता का परीक्षण करने के लिए कोई एल्गोरिदम ज्ञात नहीं है।

नोथेरियन संपत्ति का एक और परिणाम यह है कि एक कट्टरपंथी विभेदक आदर्श को विशिष्ट रूप से प्रधान विभेदक आदर्शों की एक सीमित संख्या के प्रतिच्छेदन के रूप में व्यक्त किया जा सकता है, जिसे आदर्श के आवश्यक प्रधान घटक कहा जाता है।

उन्मूलन विधियाँ

उन्मूलन सिद्धांत एल्गोरिदम हैं जो विभेदक समीकरणों के समूह से डेरिवेटिव के एक निर्दिष्ट समूह को प्राथमिकता से हटा देते हैं, जो आमतौर पर विभेदक समीकरणों के समूह को बेहतर ढंग से समझने और हल करने के लिए किया जाता है।

उन्मूलन विधियों की श्रेणियों में वू की विशेषता समूह विधियों की विधि, विभेदक ग्रोबनेर आधार | ग्रोबनेर आधार विधियां और परिणामी आधारित विधियां सम्मिलित हैं।

उन्मूलन एल्गोरिदम में उपयोग किए जाने वाले सामान्य संचालन में सम्मिलित हैं 1) रैंकिंग व्युत्पन्न, बहुपद और बहुपद समूह, 2) एक बहुपद के प्रमुख व्युत्पन्न, प्रारंभिक और पृथक्करण की पहचान करना, 3) बहुपद कमी, और 4) विशेष बहुपद समूह बनाना।

रैंकिंग डेरिवेटिव

डेरिवेटिव की रैंकिंग एक कुल क्रम और एक स्वीकार्य क्रम है, जिसे इस प्रकार परिभाषित किया गया है:

${\textstyle \forall p\in \Theta Y,\ \forall \theta _{\mu }\in \Theta :\theta _{\mu }p>p.}$

${\textstyle \forall p,q\in \Theta Y,\ \forall \theta _{\mu }\in \Theta :p\geq q\Rightarrow \theta _{\mu }p\geq \theta _{\mu }q.}$

प्रत्येक व्युत्पन्न में एक पूर्णांक ट्यूपल होता है, और एकपदी क्रम व्युत्पन्न के पूर्णांक ट्यूपल को रैंक करके व्युत्पन्न को रैंक करता है। पूर्णांक टपल विभेदक अनिश्चित, व्युत्पन्न के बहु-सूचकांक की पहचान करता है और व्युत्पन्न के क्रम की पहचान कर सकता है। रैंकिंग के प्रकारों में सम्मिलित हैं:

• क्रमबद्ध रैंकिंग: $\forall y_{i},y_{j}\in Y,\ \forall \theta _{\mu },\theta _{\nu }\in \Theta \ :\ \operatorname {ord} (\theta _{\mu })\geq \operatorname {ord} (\theta _{\nu })\Rightarrow \theta _{\mu }y_{i}\geq \theta _{\nu }y_{j}$
• उन्मूलन रैंकिंग: $\forall y_{i},y_{j}\in Y,\ \forall \theta _{\mu },\theta _{\nu }\in \Theta \ :\ y_{i}\geq y_{j}\Rightarrow \theta _{\mu }y_{i}\geq \theta _{\nu }y_{j}$

इस उदाप्रत्येकण में, पूर्णांक टुपल विभेदक अनिश्चित और व्युत्पन्न के बहु-सूचकांक और शब्दकोषीय क्रम की पहचान करता है, ${\textstyle \geq _{\text{lex}}}$, व्युत्पन्न की रैंक निर्धारित करता है।

$\eta (\delta _{1}^{e_{1}}\circ \cdots \circ \delta _{n}^{e_{n}}(y_{j}))=(j,e_{1},\ldots ,e_{n})$.

$\eta (\theta _{\mu }y_{j})\geq _{\text{lex}}\eta (\theta _{\nu }y_{k})\Rightarrow \theta _{\mu }y_{j}\geq \theta _{\nu }y_{k}.$

अग्रणी व्युत्पन्न, प्रारंभिक और विभाजक

यह मानक बहुपद रूप है: $p=a_{d}\cdot u_{p}^{d}+a_{d-1}\cdot u_{p}^{d-1}+\cdots +a_{1}\cdot u_{p}+a_{0}$.

• नेता या अग्रणी व्युत्पन्न बहुपद का सर्वोच्च रैंक वाला व्युत्पन्न है: $u_{p}$.
• गुणांक $a_{d},\ldots ,a_{0}$ प्रमुख व्युत्पन्न सम्मिलित नहीं है ${\textstyle u_{p}}$.
• बहुपद की डिग्री बहुपद का अग्रणी व्युत्पन्न का सबसे बड़ा घातांक है: $\deg _{u_{p}}(p)=d$.
• प्रारंभिक गुणांक है: $I_{p}=a_{d}$.
• रैंक बहुपद की डिग्री तक उठाया गया प्रमुख व्युत्पन्न है: $u_{p}^{d}$.
• विभेदक रूप से बंद क्षेत्रव्युत्पन्न है: $S_{p}={\frac {\partial p}{\partial u_{p}}}$.

वे समूह को अलग कर देते हैं $S_{A}=\{S_{p}\mid p\in A\}$, प्रारंभिक समूह है $I_{A}=\{I_{p}\mid p\in A\}$ और संयुक्त समूह है ${\textstyle H_{A}=S_{A}\cup I_{A}}$.

कमी

आंशिक रूप से कम (आंशिक सामान्य रूप) बहुपद ${\textstyle q}$ बहुपद के संबंध में ${\textstyle p}$ इंगित करता है कि ये बहुपद गैर-जमीनी क्षेत्र तत्व हैं, ${\textstyle p,q\in {\mathcal {K}}\{Y\}\setminus {\mathcal {K}}}$, और $q$ का कोई उचित व्युत्पन्न नहीं है $u_{p}$.

आंशिक रूप से कम किया गया बहुपद ${\textstyle q}$ बहुपद के संबंध में ${\textstyle p}$ बन जाता है घटा हुआ (सामान्य रूप) बहुपद ${\textstyle q}$ इसके संबंध में ${\textstyle p}$ यदि की डिग्री ${\textstyle u_{p}}$ में ${\textstyle q}$ की डिग्री से कम है ${\textstyle u_{p}}$ में ${\textstyle p}$.

एक autoreduced बहुपद समूह में प्रत्येक बहुपद समूह के प्रत्येक दूसरे बहुपद के संबंध में कम हो जाता है। प्रत्येक स्वतः कम किया गया समूह परिमित है। एक स्वतः कम किया गया समूह त्रिकोणीय अपघटन है जिसका अर्थ है कि प्रत्येक बहुपद तत्व का एक अलग अग्रणी व्युत्पन्न होता है।

रिट का न्यूनीकरण एल्गोरिथ्म पूर्णांकों की पहचान करता है ${\textstyle i_{A_{k}},s_{A_{k}}}$ और एक विभेदक बहुपद को रूपांतरित करता है ${\textstyle f}$ निम्न या समान रैंक वाले शेष बहुपद के लिए बहुपद के सबसे बड़े सामान्य भाजक का उपयोग करना ${\textstyle f_{red}}$ यह स्वतः कम किए गए बहुपद समूह के संबंध में कम हो गया है ${\textstyle A}$. एल्गोरिथम का पहला चरण इनपुट बहुपद को आंशिक रूप से कम करता है और एल्गोरिथम का दूसरा चरण बहुपद को पूरी तरह से कम करता है। कमी का सूत्र है:

$f_{\text{red}}\equiv \prod _{A_{k}\in A}I_{A_{k}}^{i_{A_{k}}}\cdot S_{A_{k}}^{i_{A_{k}}}\cdot f,{\pmod {[A]}}{\text{ with }}i_{A_{k}},s_{A_{k}}\in \mathbb {N} .$

रैंकिंग बहुपद समूह

तय करना ${\textstyle A}$ यदि अग्रणी डेरिवेटिव की रैंक है तो यह एक विभेदक श्रृंखला है ${\textstyle u_{A_{1}}<\dots <u_{A_{m}}}$ और ${\textstyle \forall i,\ A_{i}}$ के संबंध में कम किया गया है ${\textstyle A_{i+1}}$

स्वतः कम किए गए समूह ${\textstyle A}$ और ${\textstyle B}$ प्रत्येक में क्रमबद्ध बहुपद तत्व होते हैं। यह प्रक्रिया समान रूप से अनुक्रमित जोड़े की तुलना करके दो स्वचालित समूहों को रैंक करती है दोनों स्वतः कम किए गए समूहों से बहुपद।

• $A_{1}<\cdots <A_{m}\in A$ और $B_{1}<\cdots <B_{n}\in B$ और $i,j,k\in \mathbb {N}$.
• ${\text{rank }}A<{\text{rank }}B$ अगर वहां एक है $k\leq \operatorname {minimum} (m,n)$ ऐसा है कि $A_{i}=B_{i}$ के लिए ${\textstyle 1\leq i<k}$ और $A_{k}<B_{k}$.
• $\operatorname {rank} A<\operatorname {rank} B$ अगर $n<m$ और $A_{i}=B_{i}$ के लिए $1\leq i\leq n$.
• $\operatorname {rank} A=\operatorname {rank} B$ अगर $n=m$ और $A_{i}=B_{i}$ के लिए $1\leq i\leq n$.

बहुपद समुच्चय

एक विशेषता समूह ${\textstyle C}$ आदर्श के सभी स्वतः कम किए गए उपसमुच्चय के बीच आर्ग मैक्स स्वतः कम किए गए उपसमुच्चय है जिनके उपसमुच्चय बहुपद विभाजक आदर्श के गैर-सदस्य हैं ${\textstyle {\mathcal {I}}}$.

डेल्टा बहुपद बहुपद युग्म पर लागू होता है ${\textstyle p,q}$ जिनके नेता एक समान व्युत्पन्न साझा करते हैं, ${\textstyle \theta _{\alpha }u_{p}=\theta _{\beta }u_{q}}$. बहुपद जोड़ी के अग्रणी व्युत्पन्न के लिए सबसे कम सामान्य व्युत्पन्न संक्रियकहै ${\textstyle \theta _{pq}}$, और डेल्टा बहुपद है:

$\operatorname {\Delta -poly} (p,q)=S_{q}\cdot {\frac {\theta _{pq}p}{\theta _{p}}}-S_{p}\cdot {\frac {\theta _{pq}q}{\theta _{q}}}$

एक सुसंगत समुच्चय एक बहुपद समुच्चय है जो इसके डेल्टा बहुपद युग्मों को शून्य कर देता है।

नियमित व्यवस्था और नियमित आदर्श

एक नियमित प्रणाली ${\textstyle \Omega }$ इसमें विभेदक समीकरणों का एक स्वचालित और सुसंगत समूह सम्मिलित है ${\textstyle A}$ और एक असमिका समुच्चय ${\textstyle H_{\Omega }\supseteq H_{A}}$ समूह के साथ ${\textstyle H_{\Omega }}$ समीकरण समूह के संबंध में कम हो गया।

नियमित विभेदक आदर्श ${\textstyle {\mathcal {I}}_{\text{dif}}}$ और नियमित बीजगणितीय आदर्श ${\textstyle {\mathcal {I}}_{\text{alg}}}$ आदर्श भागफल हैं जो एक नियमित प्रणाली से उत्पन्न होते हैं। लेज़ार्ड का लेम्मा बताता है कि नियमित विभेदक और नियमित बीजगणितीय आदर्श कट्टरपंथी आदर्श हैं।

• नियमित विभेदक आदर्श: ${\textstyle {\mathcal {I}}_{\text{dif}}=[A]:H_{\Omega }^{\infty }.}$
• नियमित बीजगणितीय आदर्श: ${\textstyle {\mathcal {I}}_{\text{dif}}=(A):H_{\Omega }^{\infty }.}$

रोसेनफेल्ड-ग्रोबनेर एल्गोरिदम

रोसेनफेल्ड-ग्रोबनेर एल्गोरिथ्म नियमित रेडिकल विभेदक आदर्शों के एक सीमित प्रतिच्छेदन के रूप में रेडिकल विभेदक आदर्श को विघटित करता है। विशिष्ट समूहों द्वारा दर्शाए गए ये नियमित विभेदक कट्टरपंथी आदर्श आवश्यक रूप से प्रमुख आदर्श नहीं हैं और प्रतिनिधित्व आवश्यक रूप से प्राथमिक अपघटन नहीं है।

सदस्यता समस्या यह निर्धारित करना है कि क्या एक विभेदक बहुपद है ${\textstyle p}$ विभेदक बहुपदों के एक समूह से उत्पन्न आदर्श का एक सदस्य है ${\textstyle S}$. रोसेनफेल्ड-ग्रोबनेर एल्गोरिदम ग्रोबनेर आधारों के समूह उत्पन्न करता है। एल्गोरिदम यह निर्धारित करता है कि एक बहुपद आदर्श का सदस्य है यदि और केवल तभी जब आंशिक रूप से कम किया गया शेष बहुपद ग्रोबनर आधारों द्वारा उत्पन्न बीजगणितीय आदर्श का सदस्य हो।

रोसेनफेल्ड-ग्रोबनेर एल्गोरिदम विभेदक समीकरणों के समाधान के टेलर श्रृंखला विस्तार बनाने की सुविधा प्रदान करता है।

उदाप्रत्येकण

विभेदक क्षेत्र

उदाप्रत्येकण 1: ${\textstyle (\operatorname {Mer} (\operatorname {f} (y),\partial _{y})}$ एकल मानक व्युत्पत्ति के साथ विभेदक मेरोमोर्फिक फ़ंक्शन क्षेत्रहै।

उदाप्रत्येकण 2: ${\textstyle (\mathbb {C} \{y\},(1+3\cdot y+y^{2})\cdot \partial _{y})}$ व्युत्पत्ति के रूप में एक विभेदक संक्रियकके साथ एक विभेदक क्षेत्र है।

व्युत्पत्ति

परिभाषित करना ${\textstyle E^{a}(p(y))=p(y+a)}$ शिफ्ट संक्रियकके रूप में ${\textstyle E^{a}}$ बहुपद के लिए ${\textstyle p(y)}$.

एक शिफ्ट-इनवेरिएंट संक्रियक${\textstyle T}$ शिफ्ट संक्रियकके साथ आवागमन: ${\textstyle E^{a}\circ T=T\circ E^{a}}$.

पिंचरले व्युत्पन्न, शिफ्ट-इनवेरिएंट संक्रियककी व्युत्पत्ति ${\textstyle T}$, है ${\textstyle T^{\prime }=T\circ y-y\circ T}$.

स्थिरांक

पूर्णांकों का वलय है $(\mathbb {Z} .\delta )$, और प्रत्येक पूर्णांक एक स्थिरांक है।

• 1 की व्युत्पत्ति शून्य है. ${\textstyle \delta (1)=\delta (1\cdot 1)=\delta (1)\cdot 1+1\cdot \delta (1)=2\cdot \delta (1)\Rightarrow \delta (1)=0}$.
• भी, $\delta (m+1)=\delta (m)+\delta (1)=\delta (m)\Rightarrow \delta (m+1)=\delta (m)$.
• प्रेरण द्वारा, $\delta (1)=0\ \wedge \ \delta (m+1)=\delta (m)\Rightarrow \forall \ m\in \mathbb {Z} ,\ \delta (m)=0$.

परिमेय संख्याओं का क्षेत्र है $(\mathbb {Q} .\delta )$, और प्रत्येक परिमेय संख्या एक स्थिरांक है।

• प्रत्येक परिमेय संख्या पूर्णांकों का भागफल होती है।

$\forall r\in \mathbb {Q} ,\ \exists \ a\in \mathbb {Z} ,\ b\in \mathbb {Z} /\{0\},\ r={\frac {a}{b}}$

• यह मानते हुए कि पूर्णांकों की व्युत्पत्तियाँ शून्य हैं, भागफल के लिए व्युत्पत्ति सूत्र लागू करें:

$\delta (r)=\delta \left({\frac {a}{b}}\right)={\frac {\delta (a)\cdot b-a\cdot \delta (b)}{b^{2}}}=0$.

डिफरेंशियल सबवलय

स्थिरांक स्थिरांक के उप-समूह का निर्माण करते हैं ${\textstyle (\mathbb {C} ,\partial _{y})\subset (\mathbb {C} \{y\},\partial _{y})}$.

विभेदक आदर्श

तत्व ${\textstyle \exp(y)}$ बस विभेदक आदर्श उत्पन्न करता है ${\textstyle [\exp(y)]}$ विभेदक वलय में ${\textstyle (\mathbb {C} \{y,\exp(y)\},\partial _{y})}$.

एक विभेदक वलय पर बीजगणित

पहचान वाली कोई भी वलय एक है ${\textstyle \operatorname {{\mathcal {Z}}-} }$बीजगणित. इस प्रकार एक विभेदक वलय है ${\textstyle \operatorname {{\mathcal {Z}}-} }$बीजगणित

अगर वलय ${\textstyle {\mathcal {R}}}$ यूनिटल वलय के केंद्र का एक उपवलय है ${\textstyle {\mathcal {M}}}$, तब ${\textstyle {\mathcal {M}}}$ एक ${\textstyle \operatorname {{\mathcal {R}}-} }$बीजगणित इस प्रकार, एक विभेदक वलय अपने विभेदक उपवलय पर एक बीजगणित है। यह बीजगणित की उसके उप-अंगूठे पर प्राकृतिक संरचना है।

विशेष और सामान्य बहुपद

अँगूठी ${\textstyle (\mathbb {Q} \{y,z\},\partial _{y})}$ अघुलनशील बहुपद हैं, ${\textstyle p}$ (सामान्य, वर्गमुक्त) और ${\textstyle q}$ (विशेष, आदर्श जनरेटर)।

${\textstyle \partial _{y}(y)=1,\ \partial _{y}(z)=1+z^{2},\ z=\tan(y)}$ : ${\textstyle p(y)=1+y^{2},\ \partial _{y}(p)=2\cdot y,\ \gcd(p,\partial _{y}(p))=1}$

${\textstyle q(z)=1+z^{2},\ \partial _{y}(q)=2\cdot z\cdot (1+z^{2}),\ \gcd(q,\partial _{y}(q))=q}$

बहुपद

रैंकिंग

अँगूठी ${\textstyle (\mathbb {Q} \{y_{1},y_{2}\},\delta )}$ व्युत्पन्न है ${\textstyle \delta (y_{1})=y_{1}^{\prime }}$ और ${\textstyle \delta (y_{2})=y_{2}^{\prime }}$ * प्रत्येक व्युत्पन्न को पूर्णांक टपल में मैप करें: ${\textstyle \eta (\delta ^{(i_{2})}(y_{i_{1}}))=(i_{1},i_{2})}$.

• रैंक डेरिवेटिव और पूर्णांक टुपल्स: ${\textstyle y_{2}^{\prime \prime }\ (2,2)>y_{2}^{\prime }\ (2,1)>y_{2}\ (2,0)>y_{1}^{\prime \prime }\ (1,2)>y_{1}^{\prime }\ (1,1)>y_{1}\ (1,0)}$.

अग्रणी व्युत्पन्न और प्रारंभिक

अग्रणी व्युत्पन्न, और प्रारंभिक हैं:

${\textstyle p={\color {Blue}(y_{1}+y_{1}^{\prime })}\cdot ({\color {Red}y_{2}^{\prime \prime }})^{2}+3\cdot y_{1}^{2}\cdot {\color {Red}y_{2}^{\prime \prime }}+(y_{1}^{\prime })^{2}}$ : ${\textstyle q={\color {Blue}(y_{1}+3\cdot y_{1}^{\prime })}\cdot {\color {Red}y_{2}^{\prime \prime }}+y_{1}\cdot y_{2}^{\prime }+(y_{1}^{\prime })^{2}}$ : ${\textstyle r={\color {Blue}(y_{1}+3)}\cdot ({\color {Red}y_{1}^{\prime \prime }})^{2}+y_{1}^{2}\cdot {\color {Red}y_{1}^{\prime \prime }}+2\cdot y_{1}}$

विभाजक

${\textstyle S_{p}=2\cdot (y_{1}+y_{1}^{\prime })\cdot y_{2}^{\prime \prime }+3\cdot y_{1}^{2}}$.

${\textstyle S_{q}=y_{1}+3\cdot y_{1}^{\prime }}$

${\textstyle S_{r}=2\cdot (y_{1}+3)\cdot y_{1}^{\prime \prime }+y_{1}^{2}}$

स्वचालित समूह

• ऑटोरेड्यूस्ड समूह हैं ${\textstyle \{p,r\}}$ और ${\textstyle \{q,r\}}$. प्रत्येक समूह एक अलग बहुपद अग्रणी व्युत्पन्न के साथ त्रिकोणीय है।
• गैर-स्वचालित समूह ${\textstyle \{p,q\}}$ केवल आंशिक रूप से कम किया गया है ${\textstyle p}$ इसके संबंध में ${\textstyle q}$; यह समुच्चय गैर-त्रिकोणीय है क्योंकि बहुपदों का अग्रणी अवकलज समान है।

अनुप्रयोग

प्रतीकात्मक एकीकरण

प्रतीकात्मक एकीकरण बहुपदों और उनके डेरिवेटिव जैसे प्रत्येक्मिट रिडक्शन, सीज़िचोव्स्की एल्गोरिदम, लैजार्ड-रियोबू-ट्रेजर एल्गोरिदम, होरोविट्ज़-ओस्ट्रोग्रैडस्की एल्गोरिदम, स्क्वायरफ्री फैक्टराइजेशन और विशेष और सामान्य बहुपदों को विभाजित करने वाले फैक्टराइजेशन से जुड़े एल्गोरिदम का उपयोग करता है।

विभेदक समीकरण

विभेदक बीजगणित यह निर्धारित कर सकता है कि विभेदक बहुपद समीकरणों के एक समूह का कोई समाधान है या नहीं। कुल क्रम रैंकिंग बीजगणितीय बाधाओं की पहचान कर सकती है। एक उन्मूलन रैंकिंग यह निर्धारित कर सकती है कि स्वतंत्र चर का एक या चयनित समूह विभेदक समीकरणों को व्यक्त कर सकता है या नहीं। त्रिकोणीय अपघटन और उन्मूलन क्रम का उपयोग करके, चरण-वार विधि में एक समय में एक विभेदक अनिश्चित विभेदक समीकरणों को हल करना संभव हो सकता है। एक अन्य दृष्टिकोण ज्ञात समाधान प्रपत्र के साथ विभेदक समीकरणों का एक वर्ग बनाना है; किसी अवकल समीकरण को उसके वर्ग से मिलाने से समीकरण के समाधान की पहचान हो जाती है। समीकरणों की विभेदक-बीजगणितीय प्रणाली | समीकरणों की विभेदक-बीजगणितीय प्रणाली के संख्यात्मक एकीकरण की सुविधा के लिए विधियाँ उपलब्ध हैं।

कैओस सिद्धांत के साथ गैर-रेखीय गतिशील प्रणालियों के एक अध्ययन में, शोधकर्ताओं ने विभेदक समीकरणों को एकल राज्य चर से जुड़े सामान्य विभेदक समीकरणों में कम करने के लिए विभेदक उन्मूलन का उपयोग किया। वे ज्यादातर मामलों में सफल रहे, और इससे अनुमानित समाधान विकसित करने, अराजकता का कुशलतापूर्वक मूल्यांकन करने और ल्यपुनोव समारोह का निर्माण करने में मदद मिली। शोधकर्ताओं ने जैव रासायनिक प्रतिक्रियाओं के लिए कोशिका जीव विज्ञान, शारीरिक रूप से आधारित फार्माकोकाइनेटिक मॉडलिंग, पैरामीटर अनुमान और स्थिर अवस्था (रसायन विज्ञान)|अर्ध-स्थिर अवस्था सन्निकटन (QSSA) को समझने के लिए विभेदक उन्मूलन लागू किया है। विभेदक ग्रोबनेर आधारों का उपयोग करते हुए, शोधकर्ताओं ने गैर-रेखीय प्रणाली | गैर-रेखीय विभेदक समीकरणों के गणित गुणों में गैर-शास्त्रीय समरूपता की जांच की है। अन्य अनुप्रयोगों में नियंत्रण सिद्धांत, मॉडल सिद्धांत और बीजगणितीय ज्यामिति सम्मिलित हैं। अवकल बीजगणित अवकल-विभेदक समीकरणों पर भी लागू होता है।