View source for अवकल बीजगणित

{{Short description|Algebraic study of differential equations}}
{{about|algebraic study of differential equations|the concept in homological algebra|Differential graded algebra}}

गणित में, अवकल [[बीजगणित]], बड़े स्तर पर गणित का वह क्षेत्र है जिसमें समाधान की गणना किए बिना [[अंतर समीकरण|अवकल समीकरण]] और संक्रियक के गुणों को प्राप्त करने को ध्यान में रखकर बीजगणित के रूप में अवकल समीकरणों और अवकल संक्रियक का अध्ययन सम्मिलित है, उसी तरह जैसे [[बहुपद बीजगणित]] का उपयोग किया जाता है।  बीजगणितीय प्रकारों का अध्ययन, जो बहुपद समीकरणों की प्रणालियों के समाधान समूह हैं। [[वेइल बीजगणित]] और ली बीजगणित को अवकल बीजगणित से संबंधित माना जा सकता है।

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

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

==इतिहास==
जोसेफ रिट ने अवकल बीजगणित विकसित किया क्योंकि उन्होंने अवकल समीकरणों की प्रणालियों को विभिन्न विहित रूपों में कम करने के प्रयासों को एक असंतोषजनक दृष्टिकोण के रूप में देखा। यद्यपि, बीजगणितीय उन्मूलन विधियों और बीजगणितीय मैनिफोल्ड सिद्धांत की सफलता ने रिट को अवकल समीकरणों के लिए एक समान दृष्टिकोण पर विचार करने के लिए प्रेरित किया।{{sfn|Ritt|1932}}{{rp|iii-iv}} उनके प्रयासों से प्रारंभिक बीजगणितीय अवकल समीकरणों की प्रणालियों द्वारा परिभाषित कार्यों के प्रारंभिक पेपर मैनिफोल्ड्स और 2 पुस्तकें, बीजगणितीय दृष्टिकोण और अवकल बीजगणित से अवकल समीकरण।।{{sfn|Ritt|1930}}{{sfn|Ritt|1932}}{{sfn|Ritt|1950}} रिट के छात्र [[एलिस कल्चेन]] ने इस क्षेत्र को आगे बढ़ाया और <em>अवकल बीजगणित और बीजगणितीय समूह</em> प्रकाशित किया।{{sfn|Kolchin |1973}}

==अवकल वलय==

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

<em>व्युत्पत्ति</em>  <math display="inline"> \partial </math>  वलय पर <math display="inline"> \mathcal{R} </math> एक फलन है  <math>\partial : R \to R\,</math> ऐसा कि<math display=block>\partial(r_1 + r_2) = \partial r_1 + \partial r_2</math>और
:<math>\partial(r_1 r_2) = (\partial r_1) r_2 + r_1 (\partial r_2)\quad</math> ([[प्रॉडक्ट नियम|लीबनिज़ उत्पाद नियम]]),
प्रत्येक <math>r_1</math> और <math>r_2</math> में <math>R</math> के लिए

व्युत्पत्ति पूर्णांकों पर रैखिक मानचित्र है क्योंकि ये सर्वसमिकाएं संकेत <math>\partial (0)=\partial (1) = 0</math> और <math>\partial (-r)=-\partial (r)</math> देती हैं
एक अवकल वलय एक [[क्रमविनिमेय वलय]] <math>R</math> है, एक या अधिक व्युत्पत्तियों से सुसज्जित जो जोड़ीदार रूप से आवागमन करती हैं; वह है, <math display="block">\partial_1(\partial_2 (r))=\partial_2(\partial_1 (r))</math> व्युत्पत्तियों की प्रत्येक जोड़ी और प्रत्येक के लिए <math>r\in R</math> है।{{sfn|Kolchin |1973}}{{rp|58–59}} जब केवल एक ही व्युत्पत्ति होती है तो सामान्यतः एक <em>साधारण अवकल वलय</em> की बात की जाती है; अन्यथा, कोई <em>आंशिक अवकल वलय</em> की बात करता है

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

विट बीजगणित अवकल वलय है जिसमें <math>\Q</math> परिमेय संख्याओं का क्षेत्र सम्मिलित होता है। समान रूप से, यह अवकल बीजगणित <math>\Q</math> है  तब से <math>\Q</math> इसे अवकल क्षेत्र के रूप में माना जा सकता है जिस पर प्रत्येक व्युत्पत्ति [[शून्य कार्य]] है।

एक अवकल वलय के <em>स्थिरांक</em> तत्व <math>r</math> हैं  ऐसा है कि <math>\partial r=0</math> प्रत्येक व्युत्पत्ति <math>\partial</math> के लिए, अवकल [[सबरिंग|वलय]] के स्थिरांक उपवलय बनाते हैं और भिन्न क्षेत्र के स्थिरांक उपक्षेत्र बनाते हैं।{{sfn|Kolchin |1973}}{{rp|58–60}} स्थिरांक का यह अर्थ एक स्थिर कार्य की अवधारणा को सामान्यीकृत करता है, और इसे [[स्थिरांक (गणित)|स्थिरांक]] के सामान्य अर्थ के साथ भ्रमित नहीं किया जाना चाहिए।

===मूल सूत्र===
निम्नलिखित [[पहचान (गणित)|पहचान]] में, <math>\delta</math> एक अवकल वलय <math>R</math> की व्युत्पत्ति है {{sfn|Bronstein|2005}}{{rp|76}}
* अगर <math>r\in R</math> और <math>c</math> में एक स्थिरांक  है  (वह है, <math>\delta c=0</math>), तब <math display =block> \delta (c r)= c \delta (r).</math>
* अगर <math>r\in R</math> और <math>u</math> में एक [[इकाई (रिंग सिद्धांत)|इकाई (वलय सिद्धांत)]] <math>R</math> है  तब  <math display="block"> \delta \left( \frac{r}{u} \right)= \frac{\delta (r) u - r \delta (u)}{u^{2}}</math>
* अगर <math>n</math> एक अऋणात्मक पूर्णांक है और <math>r\in R</math> तब <math display =block> \delta (r^{n})= n r^{n-1} \delta (r) </math>
* अगर <math>u_1, \ldots, u_n</math> में इकाइयाँ <math>R</math> हैं, और <math>n_1, \ldots, n_n</math> पूर्णांक हैं, किसी के पास <em>[[लघुगणकीय व्युत्पन्न]] पहचान है:</em> <math display =block> \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}}. </math>
===उच्च क्रम व्युत्पत्तियाँ===
एक <em>व्युत्पत्ति संचालिका</em> या <em>उच्च क्रम व्युत्पत्ति</em>{{citation needed|reason=It is unclear what is the common name in the literature|date=March 2023}} कई व्युत्पत्तियों की [[कार्य संरचना|संरचना]] है। जैसा कि एक अवकल वलय की व्युत्पत्तियों को परिवर्तित किया जाना चाहिए, व्युत्पत्तियों का क्रम तात्पर्य नहीं रखता है, और एक व्युत्पत्ति संक्रियक को इस प्रकार लिखा जा सकता है<math display= block> \delta_1^{e_1} \circ \cdots \circ \delta_n^{e_n},</math>जहाँ <math>\delta_1, \ldots, \delta_n</math> विचाराधीन व्युत्पत्तियां हैं, <math>e_1, \ldots, e_n</math> अतिरिक्त-ऋणात्मक पूर्णांक हैं, और किसी व्युत्पत्ति का घातांक यह दर्शाता है कि संक्रियक में यह व्युत्पत्ति कितनी बार बनाई गई है।

योग <math>o=e_1+ \cdots +e_n</math> व्युत्पत्ति का क्रम कहलाता है। अगर <math>o=1</math> व्युत्पत्ति संचालिका मूल व्युत्पत्तियों में से एक है। अगर <math>o=0</math>, एक में पहचान फलन होता है, जिसे सामान्यतः क्रम शून्य का अद्वितीय व्युत्पत्ति संक्रियक माना जाता है। इन सम्मेलनों के साथ, व्युत्पत्ति संचालक विचाराधीन व्युत्पत्ति के समूह पर एक क्रमविनिमेय मोनोइड बनाते हैं।

किसी तत्व का व्युत्पन्न <math>x</math> अवकल वलय <math>x</math> का व्युत्पत्ति संक्रियक का अनुप्रयोग है अर्थात्, उपरोक्त संकेतन <math>\delta_1^{e_1} \circ \cdots \circ \delta_n^{e_n}(x)</math> के साथ है, एक <em>उचित व्युत्पन्न</em>  सकारात्मक क्रम का व्युत्पन्न है।{{sfn|Kolchin |1973}}{{rp|58–59}}

===[[विभेदक आदर्श|अवकल आदर्श]]===
<em>अवकल आदर्श</em> <math>I</math> अवकल वलय  <math>R</math> वलय का एक आदर्श है <math>R</math> जो वलय की व्युत्पत्ति के तहत  बंद (स्थिर) है; वह <math display="inline"> \partial x\in I</math> है,  प्रत्येक व्युत्पत्ति के लिए <math>\partial</math> और प्रत्येक <math>x\in I</math> है। अवकल आदर्श को <em>उचित</em> कहा जाता है यदि वह संपूर्ण वलय नहीं है। भ्रम से बचने के लिए, एक आदर्श जो अवकल आदर्श नहीं है, उसे कभी-कभी बीजगणितीय आदर्श कहा जाता है।

अवकल आदर्श का <em>मूलांक</em>  बीजगणितीय आदर्श के रूप में उसके मूलांक के समान होता है, अर्थात, वलय तत्वों का समूह जिनकी आदर्श में शक्ति होती है। अवकल आदर्श का मूलांक भी अवकल आदर्श है। मौलिक या पूर्ण अवकल आदर्श अवकल आदर्श है जो इसके मौलिक के बराबर होता है।{{sfn|Sit|2002}}{{rp|3–4}} एक अभाज्य अवकल आदर्श एक अवकल विचारधारा है जो सामान्य अर्थों में अभाज्य आदर्श है; अर्थात्, यदि कोई उत्पाद आदर्श से संबंधित है, तो कम से कम एक कारक आदर्श से संबंधित है। एक अभाज्य अवकल आदर्श प्रायः एक मूल अवकल आदर्श होता है।

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

अवकल आदर्शों के किसी भी परिवार का प्रतिच्छेदन एक अवकल आदर्श है, और मूल अवकल आदर्शों के किसी भी परिवार का प्रतिच्छेदन एक मूल अवकल आदर्श है।{{sfn|Kolchin |1973}}{{rp|61–62}}यह इस प्रकार है,अवकल वलय का <math>S</math>एक उपसमुच्चय दिया गया है, इसके द्वारा उत्पन्न तीन आदर्श होते हैं, जो क्रमशः, सभी बीजगणितीय आदर्शों, सभी अवकल आदर्शों और सभी मौलिक अवकल आदर्शों के प्रतिच्छेदन होते हैं जिनमें यह सम्मिलित होता है।{{sfn|Kolchin |1973}}{{rp|61–62}}{{sfn|Buium|1994}}{{rp|21}}

<math>S</math> द्वारा उत्पन्न बीजगणितीय आदर्श  के तत्वों के परिमित रैखिक संयोजनों का समुच्चय <math>S</math> है और सामान्यतः इसे <math>(S)</math> या <math>\langle S \rangle</math> इस रूप में दर्शाया जाता है 

<math>S</math> द्वारा उत्पन्न अवकल आदर्श  के तत्वों के परिमित रैखिक संयोजनों का समुच्चय <math>S</math> है और इन तत्वों के किसी भी क्रम के व्युत्पन्न; इसे सामान्यतः <math>[S]</math> रूप में दर्शाया जाता है  जब <math>S</math> परिमित है, <math>[S]</math> सामान्यतः बीजगणितीय आदर्श के रूप में [[अंतिम रूप से उत्पन्न आदर्श|अंतिम रूप से उत्पन्र्]] नहीं होता है।

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

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

तो चलो <math>K</math> एक अवकल क्षेत्र हो, जो विशिष्ट रूप से (लेकिन जरूरी नहीं) परिमेय भिन्नों का क्षेत्र है <math>K(X)=K(x_1,\ldots ,x_n)</math> (बहुभिन्नरूपी बहुपदों के भिन्न), व्युत्पत्तियों से सुसज्जित  <math>\partial_i</math> ऐसा है कि <math>\partial_i x_i=1</math> और <math>\partial_i x_j=0</math> अगर <math>i\neq j</math> (सामान्य आंशिक व्युत्पन्न)।

वलय को परिभाषित करने के लिए <math display="inline"> K \{ Y \}= K \{ y_1, \ldots, y_n \}</math> में अवकल बहुपदों का <math>Y=\{y_1,\ldots, y_n\}</math> व्युत्पत्तियों के साथ <math>\partial_1, \ldots, \partial_n,</math> एक रूप के नए अनिश्चितों की अनंतता का परिचय देता है <math>\Delta y_i,</math> जहाँ <math>\Delta</math> क्या कोई व्युत्पत्ति संचालक क्रम से उच्चतर {{math|1}} है। इस संकेतन के साथ, <math>K \{ Y \}</math> इन सभी अनिश्चितों में प्राकृतिक व्युत्पत्तियों के साथ बहुपदों का समुच्चय है (प्रत्येक बहुपद में केवल अनिश्चितों की एक सीमित संख्या सम्मिलित होती है)। विशेषकर, यदि <math>n=1,</math> के पास
:<math>K\{y\}=K\left[y, \partial y, \partial^2 y, \partial^3 y, \ldots\right].</math>
यहां तक कि जब <math>n=1,</math> अवकल बहुपदों का एक वलय नोथेरियन वलय नहीं है। इससे बहुपद वलय के इस सामान्यीकरण का सिद्धांत कठिन हो जाता है। यद्यपि, दो तथ्य ऐसे सामान्यीकरण की अनुमति देते हैं।

सबसे पहले, अवकल बहुपद की सीमित संख्या में एक साथ अनिश्चित संख्याओं की सीमित संख्या सम्मिलित होती है। इसका तात्पर्य यह है कि बहुपदों का प्रत्येक गुण जिसमें बहुपदों की सीमित संख्या सम्मिलित होती है, अवकल बहुपदों के लिए सत्य रहता है। विशेष रूप से, सबसे बड़े सामान्य भाजक उपस्थित हैं, और अवकल बहुपदों की वलय [[Index.php?title=अद्वितीय गुणनखंडन|अद्वितीय गुणनखंडन]] कार्यक्षेत्र है।

दूसरा तथ्य यह है कि यदि क्षेत्र <math>K</math> में परिमेय संख्याओं का क्षेत्र, अवकल बहुपदों के वलय सम्मिलित हैं <math>K</math> मूल अवकल आदर्शों पर [[आरोही श्रृंखला की स्थिति]] को संतुष्ट करता है। यह रिट का प्रमेय इसके सामान्यीकरण से निहित है, जिसे कभी-कभी <em>रिट-रौडेनबश आधार प्रमेय</em> भी कहा जाता है जो दावा करता है कि यदि <math>R</math> <em>रिट बीजगणित</em> है (वह, एक अवकल वलय है जिसमें तर्कसंगत संख्याओं का क्षेत्र सम्मिलित है),{{sfn|Kaplansky|1976}}{{rp|12}} जो परंपरागत अवकल आदर्शों पर आरोही श्रृंखला की स्थिति को संतुष्ट करता है, फिर अवकल बहुपद की वलय <math>R\{y\}</math> एक ही गुणधर्म को संतुष्ट करता है (प्रमेय को पुनरावृत्त रूप से लागू करके एकल चर से बहुभिन्नरूपी विषय चला जाता है)।{{sfn|Kaplansky|1976}}{{rp|45,48}}{{rp|56–57}}{{sfn|Kolchin |1973}}{{rp|126–129}}

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

नोथेरियन गुणधर्म का एक और परिणाम यह है कि एक परंपरागत अवकल आदर्श को विशिष्ट रूप से प्रधान अवकल आदर्शों की एक सीमित संख्या के प्रतिच्छेदन के रूप में व्यक्त किया जा सकता है, जिसे आदर्श के <em>आवश्यक प्रधान घटक</em> कहा जाता है।{{sfn|Hubert|2002}}{{rp|8}} <!--

An <em>algebraically independent</em> differential field <math display="inline"> \mathcal{F} \{ Y \} </math> is a differential field with a non-vanishing [[Wronskian | Wronskian determinant]].{{sfn|Bronstein|2005}}{{rp|79}}

<em>Special</em> and <em>normal</em> polynomials have distinct [[Polynomial greatest common divisor|greatest common divisors]] (gcd) for the polynomial and its derivative.  All irreducible polynomials are special or normal with respect to a derivation; special polynomials may generate a differential ideal while normal polynomials are [[Square-free polynomial | squarefree]].  The definitions are:{{sfn|Bronstein|2005}}{{rp|92-93}}
* <em>Normal</em> polynomial <math>p</math>: <math> \ gcd(p,\delta(p))=1</math>.
* <em>Special</em> polynomial <math>q</math>: <math> \ gcd(q,\delta(q))=q</math>.
 -->

==उन्मूलन विधियाँ==
<em>[[उन्मूलन सिद्धांत|उन्मूलन विधियाँ]]</em>  कलन विधि हैं जो अवकल समीकरणों के समूह से व्युत्पन्न के एक निर्दिष्ट समूह को प्राथमिकता से हटा देते हैं, जो सामान्यतः  अवकल समीकरणों के समूह को उत्तम ढंग से समझने और हल करने के लिए किया जाता है।

उन्मूलन विधियों की श्रेणियों में <em>विशेषता समूह विधियों की विधि</em>, अवकल ग्रोबनेर आधार विधियां और [[परिणामी]] आधारित विधियां सम्मिलित हैं।{{sfn|Kolchin |1973}}{{sfn|Li|Yuan|2019}}{{sfn|Boulier|Lazard|Ollivier|Petitot|1995}}{{sfn|Mansfield|1991}}{{sfn|Ferro|2005}}{{sfn|Chardin|1991}}{{sfn|Wu |2005b}}

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

===श्रेणी व्युत्पन्न===
व्युत्पन्न की <em>श्रेणी</em>  [[कुल ऑर्डर|सम्पूर्ण क्रम]] और <em>स्वीकार्य क्रम</em> है, जिसे इस प्रकार परिभाषित किया गया है:{{sfn|Kolchin |1973}}{{rp|75–76}}{{sfn|Gao|Van der Hoeven|Yuan|Zhang|2009}}{{rp|1141}}{{sfn|Hubert|2002}}{{rp|10}}
: <math display="inline"> \forall p \in \Theta Y, \ \forall \theta_\mu \in \Theta : \theta_\mu p > p. </math>
: <math display="inline"> \forall p,q \in \Theta Y, \ \forall \theta_\mu \in \Theta : p \ge q \Rightarrow \theta_\mu p \ge \theta_\mu q. </math>
प्रत्येक व्युत्पन्न में एक पूर्णांक ट्यूपल होता है, और [[एकपदी क्रम]] व्युत्पन्न के पूर्णांक ट्यूपल को श्रेणी करके व्युत्पन्न को श्रेणी करता है। पूर्णांक टपल अवकल अनिश्चित, व्युत्पन्न के बहु-सूचकांक की पहचान करता है और व्युत्पन्न के क्रम की पहचान कर सकता है। श्रेणी के प्रकारों में सम्मिलित हैं:{{sfn|Ferro|Gerdt|2003}}{{rp|83}}
* <em>क्रमबद्ध श्रेणी</em>: <math> \forall y_i, y_j \in Y, \ \forall \theta_\mu, \theta_\nu \in \Theta \ : \ \operatorname{ord}(\theta_\mu) \ge \operatorname{ord}(\theta_\nu) \Rightarrow \theta_\mu y_i \ge \theta_\nu y_j</math>
* <em>उन्मूलन श्रेणी</em>: <math>\forall y_i, y_j \in Y, \ \forall \theta_\mu, \theta_\nu \in \Theta \ : \ y_i \ge y_j \Rightarrow \theta_\mu y_i \ge \theta_\nu y_j</math>
इस उदाहरण में, पूर्णांक टुपल अवकल अनिश्चित और व्युत्पन्न के बहु-सूचकांक और [[शब्दकोषीय क्रम]] <math display="inline"> \ge_\text{lex}</math> की पहचान करता है, व्युत्पन्न की श्रेणी निर्धारित करता है।{{sfn|Wu |2005a}}{{rp|4}}
: <math>\eta(\delta_1^{e_1} \circ \cdots \circ \delta_n^{e_n}(y_j))= (j, e_1, \ldots, e_n) </math>. 
: <math> \eta(\theta_\mu y_j) \ge_\text{lex} \eta(\theta_\nu y_k) \Rightarrow \theta_\mu y_j \ge \theta_\nu y_k. </math><br />
===अग्रणी व्युत्पन्न, प्रारंभिक और विभाजक===
यह मानक बहुपद  <math> p = a_d \cdot u_p^d+ a_{d-1} \cdot u_p^{d-1} + \cdots +a_1 \cdot u_p+ a_0 </math> रूप है।.{{sfn|Kolchin |1973}}{{rp|75–76}}{{sfn|Wu |2005a}}{{rp|4}}
* अग्रणी या <em>अग्रणी व्युत्पन्न</em> बहुपद का सर्वोच्च श्रेणी वाला व्युत्पन्न <math>u_p</math> है। .
*गुणांक <math>a_d, \ldots, a_0</math> प्रमुख व्युत्पन्न सम्मिलित नहीं <math display="inline">u_p</math>है।
* <em>[[बहुपद की डिग्री]]</em> बहुपद का अग्रणी व्युत्पन्न का सबसे बड़ा घातांक <math>\deg_{u_p}(p) = d</math>है।
* <em>प्रारंभिक</em> गुणांक <math> I_p=a_d</math>है।
* <em>श्रेणी</em> बहुपद की डिग्री तक उठाया गया प्रमुख व्युत्पन्न <math>u_p^d</math> है।
* <em>अवकल रूप से बंद</em> क्षेत्रव्युत्पन्न <math> S_p= \frac{\partial p}{\partial u_p}</math>है।

वे समूह को अलग कर देते <math>S_A= \{ S_p \mid p \in A \} </math> हैं। प्रारंभिक समूह है <math>I_A= \{ I_p \mid p \in A \} </math>हैं। और संयुक्त समूह <math display="inline">H_A= S_A \cup I_A </math>है।{{sfn|Boulier|Lazard|Ollivier|Petitot|1995}}{{rp|159}}

===पराभव===
<em>आंशिक रूप से  छोटा</em> (<em>आंशिक सामान्य रूप</em>) बहुपद <math display="inline">q</math> बहुपद के संबंध में <math display="inline">p</math> इंगित करता है कि ये बहुपद अतिरिक्त-जमीनी क्षेत्र तत्व हैं, <math display="inline"> p,q \in \mathcal{K} \{ Y \} \setminus \mathcal{K}</math>, और <math>q</math> का कोई उचित व्युत्पन्न नहीं <math> u_p</math> है।{{sfn|Kolchin |1973}}{{rp|75}}{{sfn|Ferro|Gerdt|2003}}{{rp|84}}{{sfn|Boulier|Lazard|Ollivier|Petitot|1995}}{{rp|159}}

आंशिक रूप से  छोटा किया गया बहुपद <math display="inline">q</math> बहुपद के संबंध में <math display="inline">p</math> लघु (सामान्य रूप) बहुपद बन जाता है, बहुपद  <math display="inline">q</math> इसके संबंध में <math display="inline">p</math> यदि<math display="inline">q</math>  में <math display="inline">u_p</math> की डिग्री कम है तब <math display="inline">u_{p}</math> डिग्री में <math display="inline">p</math> है।{{sfn|Kolchin |1973}}{{sfn|Kolchin |1973}}{{rp|75}}{{sfn|Ferro|Gerdt|2003}}{{rp|84}}{{sfn|Boulier|Lazard|Ollivier|Petitot|1995}}{{rp|159}}

<em>स्वतः कम किए गए</em>  बहुपद समूह में प्रत्येक बहुपद समूह के प्रत्येक दूसरे बहुपद के संबंध में कम हो जाता है। प्रत्येक स्वतः कम किया गया समूह परिमित है। एक स्वतः कम किया गया समूह <em>[[त्रिकोणीय अपघटन|त्रिकोणीय]]</em>  है जिसका अर्थ है कि प्रत्येक बहुपद तत्व का एक अलग अग्रणी व्युत्पन्न होता है।{{sfn|Sit|2002}}{{rp|6}}{{sfn|Kolchin |1973}}{{rp|75}}

<em>रिट का न्यूनीकरण कलन विधि</em> पूर्णांकों की पहचान करता <math display="inline">i_{A_{k}}, s_{A_{k}}</math> है  और एक अवकल बहुपद को रूपांतरित करता है <math display="inline">f</math> निम्न या समान श्रेणी वाले शेष बहुपद के लिए बहुपद के सबसे बड़े सामान्य भाजक का उपयोग करना <math display="inline"> f_{red}</math> स्वतः कम किए गए बहुपद <math display="inline"> A</math> समूह के संबंध में कम हो गया है।  कलन विधि का पहला चरण निविष्ट बहुपद को आंशिक रूप से कम करता है और कलन विधि का दूसरा चरण बहुपद को पूरी तरह से कम करता है। पराभव का सूत्र {{sfn|Kolchin |1973}}{{rp|75}}
: <math> 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}. </math>है।
===श्रेणी बहुपद समूह===
तय करना यदि <math display="inline">A</math> अग्रणी व्युत्पन्न की श्रेणी है तो यह <em>अवकल श्रृंखला</em>  <math display="inline">u_{A_{1}} < \dots < u_{A_{m}} </math> है और <math display="inline">\forall i, \ A_{i}</math> के संबंध में <math display="inline">A_{i+1}</math> कम किया गया है {{sfn|Li|Yuan|2019}}{{rp|294}}

स्वतः कम किए गए समूह <math display="inline">A</math> और <math display="inline">B</math> प्रत्येक में क्रमबद्ध बहुपद तत्व होते हैं। यह प्रक्रिया समान रूप से अनुक्रमित जोड़े की तुलना करके दो स्वचालित समूहों को श्रेणी करती है,दोनों स्वतः कम किए गए समूहों से बहुपद।{{sfn|Kolchin |1973}}{{rp|81}} 
*<math>A_1 < \cdots < A_m \in A </math> और <math>B_1 < \cdots < B_n \in B </math> और <math> i,j,k \in \mathbb{N}</math>.
*<math> \text{rank } A < \text{rank } B </math> अगर वहां एक है <math> k \le \operatorname{minimum}(m,n) </math> ऐसा है कि <math> A_i = B_i</math> के लिए <math display="inline"> 1 \le i < k </math> और <math> A_k < B_k </math>.
*<math> \operatorname{rank} A < \operatorname{rank} B </math> अगर <math> n < m </math> और <math>A_i = B_i</math> के लिए <math>1 \le i \le n </math>.
*<math> \operatorname{rank} A = \operatorname{rank} B </math> अगर <math> n = m </math> और <math>A_i = B_i</math> के लिए <math>1 \le i \le n </math>.

===बहुपद समुच्चय===
<em>विशेषता समूह</em> <math display="inline">C</math> आदर्श के सभी स्वतः कम किए गए उपसमुच्चय में से सबसे कम  श्रेणी स्वतः कम किए गए उपसमुच्चय है जिनके उपसमुच्चय बहुपद <math display="inline">\mathcal{I}</math> विभाजक आदर्श के अतिरिक्त-सदस्य हैं।.{{sfn|Kolchin |1973}}{{rp|82}}

<em>डेल्टा बहुपद</em> बहुपद युग्म पर लागू होता है <math display="inline">p,q</math> जिनके अग्रणी एक समान  <math display="inline">\theta_{\alpha} u_{p}= \theta_{\beta} u_{q}</math> व्युत्पन्न साझा करते हैं, बहुपद जोड़ी के अग्रणी व्युत्पन्न के लिए सबसे कम सामान्य व्युत्पन्न संक्रियक <math display="inline">\theta_{pq}</math> है ,  
: <math>\operatorname{\Delta - poly}(p,q)= S_{q} \cdot \frac{\theta_{pq} p}{\theta_{p}} - S_{p} \cdot \frac{\theta_{pq} q}{\theta_{q}} </math> और डेल्टा बहुपद है:{{sfn|Kolchin |1973}}{{rp|136}}{{sfn|Boulier|Lazard|Ollivier|Petitot|1995}}{{rp|160}}
<em>सुसंगत समुच्चय</em> एक बहुपद समुच्चय है जो इसके डेल्टा बहुपद युग्मों को शून्य कर देता है।{{sfn|Kolchin |1973}}{{rp|136}}{{sfn|Boulier|Lazard|Ollivier|Petitot|1995}}{{rp|160}}

===नियमित व्यवस्था और नियमित आदर्श===
एक <em>नियमित प्रणाली</em> <math display="inline">\Omega</math> इसमें अवकल समीकरणों का एक स्वचालित और सुसंगत समूह सम्मिलित<math display="inline">A</math>  है और एक असमानता समुच्चय <math display="inline">H_{\Omega} \supseteq H_A</math> समूह के साथ <math display="inline">H_\Omega </math> समीकरण समूह के संबंध में कम हो गया है।{{sfn|Boulier|Lazard|Ollivier|Petitot|1995}}{{rp|160}}

नियमित अवकल आदर्श <math display="inline">\mathcal{I}_\text{dif} </math> और नियमित बीजगणितीय आदर्श <math display="inline">\mathcal{I}_\text{alg} </math> [[आदर्श भागफल]] हैं जो एक नियमित प्रणाली से उत्पन्न होते हैं।{{sfn|Boulier|Lazard|Ollivier|Petitot|1995}}{{rp|160}} <em>लेज़ार्ड का लेम्मा</em> बताता है कि नियमित अवकल और नियमित बीजगणितीय आदर्श परंपरागतआदर्श हैं।{{sfn|Morrison|1999}}
* <em>नियमित अवकल आदर्श</em>: <math display="inline">\mathcal{I}_\text{dif}=[A]:H_\Omega^\infty.</math>
* <em>नियमित बीजगणितीय आदर्श</em>: <math display="inline">\mathcal{I}_\text{dif}=(A):H_\Omega^\infty.</math><br />
===रोसेनफेल्ड-ग्रोबनेर कलन विधि===
<em>रोसेनफेल्ड-ग्रोबनेर कलन विधि</em> नियमित मौलिक अवकल आदर्शों के एक सीमित प्रतिच्छेदन के रूप में मौलिक अवकल आदर्श को विघटित करता है। विशिष्ट समूहों द्वारा दर्शाए गए ये नियमित अवकल परंपरागतआदर्श आवश्यक रूप से प्रमुख आदर्श नहीं हैं और प्रतिनिधित्व आवश्यक रूप से [[प्राथमिक अपघटन|न्यूनतम]] नहीं है।{{sfn|Boulier|Lazard|Ollivier|Petitot|1995}}{{rp|158}}

<em>सदस्यता समस्या</em> यह निर्धारित करना है कि क्या <math display="inline">p</math> एक अवकल बहुपद है अवकल बहुपदों के एक समूह से उत्पन्न आदर्श <math display="inline">S</math> का एक सदस्य है . रोसेनफेल्ड-ग्रोबनेर कलन विधि ग्रोबनेर आधारों के समूह उत्पन्न करता है। कलन विधि यह निर्धारित करता है कि एक बहुपद आदर्श का सदस्य है यदि और केवल तभी जब आंशिक रूप से कम किया गया शेष बहुपद ग्रोबनर आधारों द्वारा उत्पन्न बीजगणितीय आदर्श का सदस्य हो।{{sfn|Boulier|Lazard|Ollivier|Petitot|1995}}{{rp|164}}

रोसेनफेल्ड-ग्रोबनेर कलन विधि अवकल समीकरणों के समाधान के [[टेलर श्रृंखला]] विस्तार बनाने की सुविधा प्रदान करता है।{{sfn|Boulier|Lazard|Ollivier|Petitot|2009b}}

==उदाहारण==

===अवकल क्षेत्र===
उदहारण 1: <math display="inline">(\operatorname{Mer}(\operatorname{f}(y), \partial_{y} )</math> एकल <em>मानक व्युत्पत्ति</em> के साथ अवकल [[मेरोमोर्फिक फ़ंक्शन|मेरोमोर्फिक फलन]] क्षेत्र है।

उदहारण 2: <math display="inline">(\mathbb{C} \{ y \}, (1+3 \cdot y + y^{2}) \cdot \partial_{y} ) </math> व्युत्पत्ति के रूप में एक अवकल संक्रियक के साथ एक अवकल क्षेत्र है।

===व्युत्पत्ति===
परिभाषित करना <math display="inline">E^{a}(p(y))=p(y+a)</math> <em>[[शिफ्ट ऑपरेटर|शिफ्ट]]</em> संक्रियक <math display="inline">E^{a}</math> के रूप में <math display="inline">p(y)</math> बहुपद के लिए है। .

एक शिफ्ट-इनवेरिएंट संक्रियक <math display="inline">T</math> शिफ्ट संक्रियक के साथ आवागमन करता है  <math display="inline">E^{a} \circ T=T \circ E^{a}</math>।.

<em>[[पिंचरले व्युत्पन्न]]</em>, शिफ्ट-इनवेरिएंट संक्रियक की व्युत्पत्ति <math display="inline">T</math>, है <math display="inline">T^{\prime} = T \circ y - y \circ T </math>।.{{sfn|Rota|Kahaner|Odlyzko|1973}}{{rp|694}}

===स्थिरांक===
पूर्णांकों का वलय  <math>(\mathbb{Z}. \delta)</math> है, और प्रत्येक पूर्णांक एक स्थिरांक है।
* 1 की व्युत्पत्ति शून्य है. <math display="inline"> \delta(1)=\delta(1 \cdot 1)=\delta(1) \cdot 1 + 1 \cdot \delta(1) = 2 \cdot \delta(1) \Rightarrow \delta(1)=0</math>।
* <math> \delta(m+1)=\delta(m)+\delta(1)=\delta(m) \Rightarrow \delta(m+1)=\delta(m) </math> भी है।
* <math> \delta(1)=0 \ \wedge \ \delta(m+1)= \delta(m) \Rightarrow \forall \ m \in \mathbb{Z}, \ \delta(m)=0 </math> प्रेरण द्वारा है।

परिमेय संख्याओं का क्षेत्र <math>(\mathbb{Q}. \delta)</math> है , और प्रत्येक परिमेय संख्या एक स्थिरांक है।
* प्रत्येक परिमेय संख्या पूर्णांकों का भागफल होती है।
: <math> \forall r \in \mathbb{Q}, \ \exists \ a \in \mathbb{Z}, \ b \in \mathbb{Z}/ \{ 0 \}, \ r=\frac{a}{b} </math>
* यह मानते हुए कि पूर्णांकों की व्युत्पत्तियाँ शून्य हैं, भागफल के लिए व्युत्पत्ति सूत्र लागू करें:
: <math> \delta (r)= \delta \left ( \frac{a}{b} \right ) = \frac{\delta(a) \cdot b - a \cdot \delta(b)}{b^{2}}=0 </math>.

===अवकल सबवलय===
स्थिरांक, स्थिरांकों के उपवलय <math display="inline">(\mathbb{C}, \partial_{y}) \subset (\mathbb{C} \{ y \}, \partial_{y}) </math> का निर्माण करते हैं।{{sfn|Kolchin |1973}}{{rp|60}}

===अवकल आदर्श===
<math display="inline">\exp(y)</math>तत्व <math display="inline"> [\exp(y)] </math> अवकल वलय में <math display="inline">(\mathbb{C} \{ y, \exp(y) \}, \partial_{y}) 
</math>.{{sfn|Sit|2002}} अवकलआदर्श उत्पन्न करता है।.{{sfn|Sit|2002}}{{rp|4}}

===एक अवकल वलय पर बीजगणित===
पहचान वाली कोई भी वलय <math display="inline">\operatorname{\mathcal{Z}-}</math>बीजगणित एक है।{{sfn|Dummit|Foote|2004}}{{rp|343}} इस प्रकार एक अवकल वलय <math display="inline">\operatorname{\mathcal{Z}-}</math>बीजगणित है।

अगर वलय <math display="inline">\mathcal{R}</math> यूनिटल वलय के केंद्र <math display="inline">\mathcal{M}</math> का एक उपवलय है , तब <math display="inline">\mathcal{M}</math> एक <math display="inline">\operatorname{\mathcal{R}-}</math>बीजगणित है।{{sfn|Dummit|Foote|2004}}{{rp|343}} इस प्रकार, एक अवकल वलय अपने अवकल उपवलय पर एक बीजगणित है। यह बीजगणित की उसके उप-वलय पर <em>प्राकृतिक संरचना</em> है।{{sfn|Kolchin |1973}}{{rp|75}}

===विशेष और सामान्य बहुपद===
वलय <math display="inline">(\mathbb{Q} \{ y, z \}, \partial_y) </math> असमानेय बहुपद हैं, <math display="inline">p</math> (सामान्य, वर्गमुक्त) और <math display="inline">q</math> (विशेष, आदर्श जनरेटर)हैं।
: <math display="inline"> \partial_y(y)=1, \ \partial_y(z)=1+z^2, \ z=\tan(y)</math> : <math display="inline">p(y)=1+y^2, \ \partial_y(p)=2 \cdot y,\ \gcd(p, \partial_y(p))=1</math>
: <math display="inline">q(z)=1+z^2, \ \partial_y(q)=2 \cdot z \cdot (1+z^2),\ \gcd(q, \partial_{y}(q))=q</math>
===बहुपद===

====श्रेणी====
वलय <math display="inline">(\mathbb{Q} \{ y_{1}, y_{2} \}, \delta)</math> व्युत्पन्न है <math display="inline">\delta(y_{1})=y_{1}^{\prime}</math> और <math display="inline">\delta(y_{2})=y_{2}^{\prime}</math> * प्रत्येक व्युत्पन्न को पूर्णांक टपल में मैप करें: <math display="inline">\eta( \delta^{(i_{2})}(y_{i_{1}}) )=(i_{1}, i_{2})</math>.
* श्रेणी व्युत्पन्न और पूर्णांक टुपल्स: <math display="inline"> 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) </math>.

====अग्रणी व्युत्पन्न और प्रारंभिक====
<span style= color:red >अग्रणी व्युत्पन्न</span>, और <span style= color:blue >प्रारंभिक</span> हैं:
: <math display="inline"> 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} </math> : <math display="inline"> 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} </math> : <math display="inline"> 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} </math>
====विभाजक====
: <math display="inline"> S_{p}= 2 \cdot (y_{1}+ y_{1}^{\prime}) \cdot y_{2}^{\prime \prime} + 3 \cdot y_{1}^{2}</math>. 
: <math display="inline"> S_{q}= y_{1}+ 3 \cdot y_{1}^{\prime}</math>
: <math display="inline"> S_{r}= 2 \cdot (y_{1}+3) \cdot y_{1}^{\prime \prime} + y_{1}^{2}</math>
====स्वचालित समूह====
* स्वचालित समूह  <math display="inline">\{ p, r \}</math> और <math display="inline"> \{ q, r \}</math>हैं. प्रत्येक समूह एक अलग बहुपद अग्रणी व्युत्पन्न के साथ त्रिकोणीय है।
* अतिरिक्त-स्वचालित समूह <math display="inline"> \{ p, q \} </math> केवल आंशिक रूप से कम किया गया है <math display="inline">p</math> इसके संबंध <math display="inline">q</math> में ; यह समुच्चय अतिरिक्त-त्रिकोणीय है क्योंकि बहुपदों का अग्रणी अवकल समान है।

==अनुप्रयोग==

===प्रतीकात्मक एकीकरण ===
प्रतीकात्मक एकीकरण बहुपदों और उनके व्युत्पन्न जैसे प्रत्येक्मिटमें कमी, सीज़िचोव्स्की कलन विधि, लैजार्ड-रियोबू-ट्रेजर कलन विधि, होरोविट्ज़-ओस्ट्रोग्रैडस्की कलन विधि, वर्गमुक्त गुणनखंडन और विशेष और सामान्य बहुपदों को विभाजित करने वाले गुणनखंडन से जुड़े कलन विधि का उपयोग करता है।{{sfn|Bronstein|2005}}{{rp|41, 51, 53,102, 299,309}}

===अवकल समीकरण===
अवकल बीजगणित यह निर्धारित कर सकता है कि अवकल बहुपद समीकरणों के एक समूह का कोई समाधान है या नहीं है। कुल श्रेणी क्रम बीजगणितीय बाधाओं की पहचान कर सकती है। एक उन्मूलन श्रेणी यह निर्धारित कर सकती है कि स्वतंत्र चर का एक या चयनित समूह अवकल समीकरणों को व्यक्त कर सकता है या नहीं सकता है। त्रिकोणीय अपघटन और उन्मूलन क्रम का उपयोग करके, चरण-वार विधि में एक समय में एक अवकल अनिश्चित अवकल समीकरणों को हल करना संभव हो सकता है। एक अन्य दृष्टिकोण ज्ञात समाधान प्रपत्र के साथ अवकल समीकरणों का एक वर्ग बनाना है जो की किसी अवकल समीकरण को उसके वर्ग से मिलाने से समीकरण के समाधान की पहचान हो जाती है। [[समीकरणों की विभेदक-बीजगणितीय प्रणाली|समीकरणों की अवकल-बीजगणितीय प्रणाली]] के संख्यात्मक एकीकरण की सुविधा के लिए विधियाँ उपलब्ध हैं।{{sfn|Hubert|2002}}{{rp|41–47}}

कैओस सिद्धांत के साथ अतिरिक्त-रेखीय गतिशील प्रणालियों के एक अध्ययन में, शोधकर्ताओं ने अवकल समीकरणों को एकल स्थान चर से जुड़े सामान्य अवकल समीकरणों में कम करने के लिए अवकल उन्मूलन का उपयोग किया। वे अधिकतर वाद में सफल रहे, और इससे अनुमानित समाधान विकसित करने, कैओस सिद्धांत का कुशलतापूर्वक मूल्यांकन करने और [[ल्यपुनोव समारोह|लाइपापुनोव कार्यों]] का निर्माण करने में मदद मिली।{{sfn|Harrington|VanGorder|2017}} शोधकर्ताओं ने जैव रासायनिक प्रतिक्रियाओं के लिए कोशिका जीव विज्ञान, [[शारीरिक रूप से आधारित फार्माकोकाइनेटिक मॉडलिंग|पूरक जैव रसायन प्रतिरूप]], [[पैरामीटर|प्राचल]] अनुमान और [[स्थिर अवस्था (रसायन विज्ञान)|स्थिर अवस्था]] अर्ध-स्थिर अवस्था सन्निकटन (QSSA) को समझने के लिए अवकल उन्मूलन लागू किया है।{{sfn|Boulier|2007}}{{sfn|Boulier|Lemaire| 2009a}}अवकल ग्रोबनेर आधारों का उपयोग करते हुए, शोधकर्ताओं ने अतिरिक्त-रेखीय अवकल समीकरणों के अतिरिक्त-उत्कृष्ट समरूपता गुणों की जांच की है।{{sfn|Clarkson|Mansfield|1994}} अन्य अनुप्रयोगों में नियंत्रण सिद्धांत, प्रतिरूप सिद्धांत और बीजगणितीय ज्यामिति सम्मिलित हैं।{{sfn|Diop|1992}}{{sfn|Marker|2000}}{{sfn|Buium|1994}} अवकल बीजगणित अवकल-अवकल समीकरणों पर भी लागू होता है।{{sfn|Gao|Van der Hoeven|Yuan|Zhang|2009}}

== व्युत्पत्तियों के साथ बीजगणित ==

=== अवकल श्रेणीबद्ध सदिश स्थान ===

== चुनौतीपूर्ण समस्याएँ ==
रिट समस्या पूछती है कि क्या कोई कलन विधि है जो यह निर्धारित करता है कि क्या प्रमुख अवकल आदर्श में दूसरा प्रमुख अवकल आदर्श होता है जब विशेषता समूह दोनों आदर्शों की पहचान करते हैं।

कोल्चिन कैटेनरी अनुमान में कहा गया है 


जैकोबी बाध्य अनुमान एक अवकल प्रकार के अपरिवर्तनीय घटक के क्रम के लिए ऊपरी सीमा की चिंता करता है। बहुपद के आदेश जैकोबी संख्या निर्धारित करते हैं, और अनुमान यह है कि जैकोबी संख्या इस सीमा को निर्धारित करती है।<!--

== रैखिक विभेदक बीजगणित ==
{{hatnote|Most of the content of this section consists of trivialities that are not useful for understanding the remainder of the article, except the sentence on differentially closed fields, which deserves to have a specific section.}}

==व्युत्पत्तियों के साथ बीजगणित==

===डिफरेंशियल ग्रेडेड वेक्टर स्पेस===
ए<em><math display="inline">\operatorname{\mathbb{Z} - graded}</math> [[ श्रेणीबद्ध सदिश स्थान ]]</em> <math display="inline">V_{\bullet} </math> वेक्टर रिक्त स्थान का एक संग्रह है <math display="inline">V_{m}</math> पूर्णांक <em>डिग्री</em> के साथ <math display="inline">|v|=m</math> के लिए <math display="inline"> v\in V_{m}</math>. एक सीधा योग इस श्रेणीबद्ध वेक्टर स्थान का प्रतिनिधित्व कर सकता है:{{sfn|Keller|2019}}{{rp|48}}
: <math>V_{\bullet} = \bigoplus_{m \in \mathbb{Z}} V_{m}</math>
एक <em>डिफरेंशियल ग्रेडेड वेक्टर स्पेस</em> या <em>[[श्रृंखला जटिल]]</em>, एक ग्रेडेड वेक्टर स्पेस है <math display="inline">V_{\bullet}</math> <em>विभेदक मानचित्र</em> या <em>सीमा मानचित्र</em> के साथ <math display="inline">d_{m}: V_{m} \to V_{m-1}</math> साथ <math> d_{m} \circ d_{m+1} = 0 </math> .{{sfn|Keller|2019}}{{rp|50–51}}

एक <em>श्रृंखला परिसर</em> एक श्रेणीबद्ध वेक्टर स्थान है <math display="inline">V^{\bullet}</math> <em>विभेदक मानचित्र</em> या <em>सहसीमा मानचित्र</em> के साथ
 <math display="inline">d_{m}: V_{m} \to V_{m+1}</math> साथ <math> d_{m+1} \circ d_{m} = 0 </math>.{{sfn|Keller|2019}}{{rp|50–51}}

===विभेदक श्रेणीबद्ध बीजगणित===
<em>विभेदक श्रेणीबद्ध बीजगणित</em> एक श्रेणीबद्ध बीजगणित है <math display="inline">A</math> एक रेखीय व्युत्पत्ति के साथ <math display="inline">d: A \to A </math> साथ <math>d \circ d=0 </math> जो श्रेणीबद्ध लीबनिज़ उत्पाद नियम का पालन करता है।{{sfn|Keller|2019}}{{rp|58–59}}
* ग्रेडेड लीबनिज़ उत्पाद नियम: <math>\forall a,b \in A, \ d(a \cdot b)=d(a) \cdot b + (-1)^{|a|} \cdot a \cdot d(b)</math> साथ <math>|a|</math> वेक्टर की डिग्री <math>a</math>.

===झूठ बीजगणित===
एक <em>झूठ बीजगणित</em> एक परिमित-आयामी वास्तविक या जटिल वेक्टर स्थान है <math display="inline">\mathcal{g}</math> [[ द्विरेखीय रूप ]] ब्रैकेट ऑपरेटर के साथ <math display="inline">[,]:\mathcal{g} \times \mathcal{g} \to \mathcal{g} </math> बिलिनियर फॉर्म और [[जैकोबी पहचान]] संपत्ति के साथ।{{sfn|Hall|2015}}{{rp|49}}
* तिरछी समरूपता: <math> [X,Y]= -[Y,X]</math>
* जैकोबी पहचान संपत्ति: <math> [X,[Y,Z]]+[Y,[Z,X]] + [Z,[X,Y]]=0 </math>
सभी के लिए <math> X, Y, Z \in \mathcal{g}</math>.

<em>आसन्न</em> ऑपरेटर, <math display="inline">\operatorname{ad_{X}}(Y)=[Y,X]</math> एक <em>[[कम्यूटेटर]]</em> है क्योंकि बाइनरी ब्रैकेट ऑपरेशन पर एडजॉइंट का प्रभाव बाइनरी उत्पाद ऑपरेशन पर व्युत्पत्ति के प्रभाव के अनुरूप होता है। यह <em>आंतरिक व्युत्पत्ति</em> द्वारा निर्धारित किया जाता है <math display="inline">X</math>.{{sfn|Hall|2015}}{{rp|51}}{{sfn|Jacobson|1979}}{{rp|9}}  
: <math> \operatorname{ad}_{X}([Y,Z]) = [\operatorname{ad}_{X}(Y),Z] + [Y,\operatorname{ad}_{X}(Z)] </math>
<em>[[सार्वभौमिक आवरण बीजगणित]]</em> <math display="inline">U(\mathcal{g})</math> झूठ बीजगणित का <math display="inline">\mathcal{g}</math> पहचान के साथ एक अधिकतम साहचर्य बीजगणित है, जो लाई बीजगणित तत्वों द्वारा उत्पन्न होता है <math display="inline">\mathcal{g}</math> और ब्रैकेट ऑपरेशन द्वारा परिभाषित उत्पाद शामिल हैं। मैक्सिमल का अर्थ है कि एक रैखिक समरूपता सार्वभौमिक बीजगणित को किसी अन्य बीजगणित में मैप करती है जिसमें अन्यथा ये गुण होते हैं। एडजॉइंट ऑपरेटर लीबनिज उत्पाद नियम का पालन करते हुए एक व्युत्पत्ति है।{{sfn|Hall|2015}}{{rp| 247}}
* उत्पाद में <math>U(\mathcal{g})</math> : <math>X \cdot Y - Y \cdot X = [X,Y]</math>
* लाइबनिज़ उत्पाद नियम: <math>\operatorname{ad}_{X}( Y \cdot Z)=\operatorname{ad}_{X}(Y) \cdot Z + Y \cdot \operatorname{ad}_{X}(Z)</math>
सभी के लिए <math> X,Y,Z \in U(\mathcal{g}) </math>.

===वेइल बीजगणित===
वेइल बीजगणित एक बीजगणित है <math display="inline">A_{n}(K)</math> एक अंगूठी के ऊपर <math display="inline">K [p_{1}, q_{1}, \dots, p_{n}, q_{n}]</math> एक विशिष्ट गैर-अनुवांशिक उत्पाद के साथ: {{sfn|Lam|1991}}{{rp|7–8}} 
: <math> p_{i} \cdot q_{i} - q_{i} \cdot p_{i}=1, \ : \ i \in \{1, \dots, n \} </math>.
अन्य सभी अनिश्चित उत्पाद क्रमविनिमेय हैं <math display="inline">i,j \in \{1, \dots, n \}</math>: 
: <math> p_{i} \cdot q_{j} - q_{j} \cdot p_{i}=0 \text{  if  } i \ne j, \ p_{i} \cdot p_{j} - p_{j} \cdot p_{i}=0, \ q_{i} \cdot q_{j} - q_{j} \cdot q_{i}=0 </math>.
एक वेइल बीजगणित एक क्रमविनिमेय वलय के बहुपदों की व्युत्पत्तियों का प्रतिनिधित्व कर सकता है <math display="inline">f \in K[y_{1}, \ldots, y_{n}]</math>. वेइल बीजगणित के तत्व [[एंडोमोर्फिज्म]], तत्व हैं <math display="inline">p_{1}, \ldots, p_{n}</math> मानक व्युत्पत्तियों के रूप में कार्य करते हैं, और मानचित्र रचनाएँ विभेदक ऑपरेटर उत्पन्न करती हैं। [[डी-मॉड्यूल]] विभेदक ऑपरेटरों को समझने के लिए एक संबंधित दृष्टिकोण है। एंडोमोर्फिज्म हैं:{{sfn|Lam|1991}}{{rp|7–8}}
: <math> q_{j} (y_{k})= y_{j} \cdot y_{k}, \ q_{j}(c)= c \cdot y_{j} \text{  with  } c \in K, \ p_{j}(y_{j})=1, \ p_{j}(y_{k})=0 \text{  if  } j \ne k, \ p_{j}(c)= 0 \text{  with  } c \in K </math>


===छद्मविभेदक ऑपरेटर रिंग===
साहचर्य, संभवतः गैर-अनुवांशिक वलय <math display="inline">A</math> व्युत्पत्ति है <math display="inline">d: A \to A </math>.{{sfn|Parshin|1999}}{{rp|268}}

<em>[[छद्म-विभेदक ऑपरेटर]] रिंग</em> <math display="inline">A((\partial^{-1}))</math> एक बायां है <math display="inline">\operatorname{A-module}</math> रिंग तत्वों से युक्त <math display="inline">L</math>:{{sfn|Parshin|1999}}{{rp|268}}{{sfn|Dummit|Foote|2004}}{{rp|337}}{{sfn|Taylor|1991}}  
: <math> a_i \in A, \ i,i_{\min} \in \mathbb{N}, \ |i_{\min}| > 0 \ : \ L= \sum_{i \ge i_{\min}}^n a_i \cdot \partial^i</math>
व्युत्पन्न ऑपरेटर है <math display="inline"> d(a) = \partial \circ a - a \circ \partial </math>.{{sfn|Parshin|1999}}{{rp|268}}

[[द्विपद गुणांक]] है <math>\Bigl( {i \atop k} \Bigr)</math>.

छद्म-अंतर ऑपरेटर गुणन है:{{sfn|Parshin|1999}}{{rp|268}}
: <math>\sum_{i \ge i_{\min}}^n a_i \cdot \partial^i \cdot \sum_{j\ge j_{\min}}^m b_{i} \cdot \partial^j = \sum_{i,j;k \ge 0} \Bigl( {i \atop k} \Bigr) \cdot a_i \cdot d^k(b_j) \cdot \partial^{i+j-k}</math>


==चुनौतीपूर्ण समस्याएँ==
<em>रिट समस्या</em> पूछती है कि क्या कोई एल्गोरिदम है जो यह निर्धारित करता है कि क्या एक प्रमुख अंतर आदर्श में दूसरा प्रमुख अंतर आदर्श होता है जब विशेषता सेट दोनों आदर्शों की पहचान करते हैं।{{sfn|Golubitsky|Kondratieva|Ovchinnikov|2009}}

<em>कोल्चिन कैटेनरी अनुमान</em> में कहा गया है <math display="inline">d>0</math> आयामी अघुलनशील अंतर बीजगणितीय विविधता <math display="inline"> V</math> और एक मनमाना बिंदु <math display="inline"> p \in V</math>, इरेड्यूसिबल डिफरेंशियल बीजगणितीय उपवर्गों की एक लंबी अंतराल श्रृंखला से उत्पन्न होती है <math display="inline"> p </math> अक्षर बी.{{sfn|Freitag|Sánchez|Simmons|2016}}

<em>जैकोबी बाउंड समस्या</em> एक विभेदक किस्म के अपरिवर्तनीय घटक के क्रम के लिए ऊपरी सीमा से संबंधित है। बहुपद के आदेश एक जैकोबी संख्या निर्धारित करते हैं, और अनुमान यह है कि जैकोबी संख्या इस सीमा को निर्धारित करती है।{{sfn|Lando|1970}}

==यह भी देखें==

* {{annotated link|Arithmetic derivative}}
* {{annotated link|Difference algebra}}
* {{annotated link|Differential algebraic geometry}}
* {{annotated link|Differential calculus over commutative algebras}}
* {{annotated link|Differential Galois theory}}
* {{annotated link|Differentially closed field}}
* {{annotated link|Differential graded algebra}}
* {{annotated link|D-module}}
* {{annotated link|Hardy field}}
* {{annotated link|Kähler differential}}
* {{annotated link|Liouville's theorem (differential algebra)}}
* {{annotated link|Picard–Vessiot theory}}

==टिप्पणियाँ==
{{Reflist|colwidth=30em}}


==संदर्भ==
{{refbegin|35em}}

*{{cite journal |last1=Boulier |first1=François |last2=Lazard |first2=Daniel |last3=Ollivier |first3=François |last4=Petitot |first4=Michel |title=Representation for the radical of a finitely generated differential ideal |journal=Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation - ISSAC '95 |date=1995 |pages=158–166 |doi=10.1145/220346.220367 |isbn=0897916999 |s2cid=11059042 |url=https://dl.acm.org/doi/pdf/10.1145/220346.220367}}
*{{cite journal |last1=Boulier |first1=François |title=Differential Elimination and Biological Modelling |journal=Gröbner Bases in Symbolic Analysis |date=31 December 2007 |volume=2 |pages=109–138 |doi=10.1515/9783110922752.109 |isbn=978-3-11-019323-7 |url=https://hal.science/hal-00139364}}
*{{cite journal |last1=Boulier |first1=François |last2=Lemaire |first2=François |title=Differential algebra and QSSA methods in biochemistry |journal=IFAC Proceedings Volumes |date=2009a |volume=42 |issue=10 |pages=33–38 |doi=10.3182/20090706-3-FR-2004.00004 |url=https://www.sciencedirect.com/science/article/pii/S1474667016386189}}
*{{cite journal |last1=Boulier |first1=François |last2=Lazard |first2=Daniel |last3=Ollivier |first3=François |last4=Petitot |first4=Michel |title=Computing representations for radicals of finitely generated differential ideals |journal=Applicable Algebra in Engineering, Communication and Computing |date=April 2009b |volume=20 |issue=1 |pages=73–121 |doi=10.1007/s00200-009-0091-7 |s2cid=5482290 |url=https://link.springer.com/article/10.1007/s00200-009-0091-7}}
*{{cite book |last1=Bronstein |first1=Manuel |title=Symbolic integration I : transcendental functions |series=Algorithms and Computation in Mathematics | url=https://link.springer.com/book/10.1007/b138171 |date=2005 |volume=1 |publisher=Springer |location=Berlin |doi=10.1007/b138171 |isbn=3-540-21493-3 |edition=2nd}}
*{{cite book |last1=Buium |first1=Alexandru |title=Differential algebra and diophantine geometry |url=https://books.google.com/books?id=J8RUAAAAYAAJ |year=1994 |publisher=Hermann |isbn=978-2-7056-6226-4}}
*{{cite book |last1=Chardin |first1=Marc |chapter=Differential resultants and subresultants |date=1991 |title=Fundamentals of Computation Theory. FCT 1991. Lecture Notes in Computer Science |series=Lecture Notes in Computer Science |editor-last1=Budach |editor-first1=L. |isbn=978-3-540-38391-8 |pages=180–189 |volume=529 |publisher=Springer |location=Berlin, Heidelberg |doi=10.1007/3-540-54458-5_62 |url=https://doi.org/10.1007/3-540-54458-5_62 |language=en}}
*{{cite journal |last1=Clarkson |first1=Peter A. |last2=Mansfield |first2=Elizabeth L. |title=Symmetry reductions and exact solutions of a class of nonlinear heat equations |journal=Physica D: Nonlinear Phenomena |date=January 1994 |volume=70 |issue=3 |pages=250–288 |doi=10.1016/0167-2789(94)90017-5 |arxiv=solv-int/9306002 |bibcode=1994PhyD...70..250C |s2cid=16858637 }}
*{{cite book |last1=Crespo |first1=Teresa |last2=Hajto |first2=Zbigniew |title=Algebraic groups and differential Galois theory |date=2011 |publisher=American Mathematical Society |location=Providence, R.I. |isbn=978-0-8218-5318-4 |url=https://bookstore.ams.org/view?ProductCode=GSM/122}}
*{{cite journal |last1=Diop |first1=Sette |title=Differential-algebraic decision methods and some applications to system theory |journal=Theoretical Computer Science |date=May 1992 |volume=98 |issue=1 |pages=137–161 |doi=10.1016/0304-3975(92)90384-R |url=https://core.ac.uk/download/pdf/82529009.pdf}}
* {{cite book |last1=Dummit |first1=David Steven |last2=Foote |first2=Richard Martin |title=Abstract algebra |date=2004 |publisher=John Wiley & Sons |location=Hoboken, NJ |isbn=0-471-43334-9 |edition=Third |url=https://archive.org/details/abstractalgebra0000dumm_k3c6}}
*{{cite journal |last1=Ferro |first1=Giuseppa Carrá |last2=Gerdt |first2=V. P. |title= Improved Kolchin–Ritt Algorithm |journal=Programming and Computer Software |date=2003 |volume=29 |issue=2 |pages=83–87 |doi=10.1023/A:1022996615890 |s2cid=26280002 |url=https://link.springer.com/article/10.1023/A:1022996615890}}
*{{cite book |last1=Ferro |first1=Giuseppa Carrá |title=Differential equations with symbolic computation |chapter=Generalized Differential Resultant Systems of Algebraic ODEs and Differential Elimination Theory |series=Trends in Mathematics |date=2005 |publisher=Birkhäuser |isbn=978-3-7643-7429-7 |pages=343–350 |doi=10.1007/3-7643-7429-2_18 |url=https://link.springer.com/chapter/10.1007/3-7643-7429-2_18 |language=en}}
*{{cite journal |last1=Freitag |first1=James |last2=Sánchez |first2=Omar León |last3=Simmons |first3=William |title=On Linear Dependence Over Complete Differential Algebraic Varieties |journal=Communications in Algebra |date=2 June 2016 |volume=44 |issue=6 |pages=2645–2669 |doi=10.1080/00927872.2015.1057828|arxiv=1401.6211 |s2cid=56218725 }}
*{{cite journal |last1=Gao |first1=X. S. |last2=Van der Hoeven |first2=J. |last3=Yuan |first3=C. M. |last4=Zhang |first4=G. L. |title=Characteristic set method for differential–difference polynomial systems |journal=Journal of Symbolic Computation |date=1 September 2009 |volume=44 |issue=9 |pages=1137–1163 |doi=10.1016/j.jsc.2008.02.010 |url=https://www.sciencedirect.com/science/article/pii/S0747717109000145}}
*{{cite journal |last1=Golubitsky |first1=O. D. |last2=Kondratieva |first2=M. V. |last3=Ovchinnikov |first3=A. I. |title=On the generalized Ritt problem as a computational problem |journal=Journal of Mathematical Sciences |date=2009 |volume=163 |issue=5 |pages=515–522 |url=https://link.springer.com/article/10.1007/s10958-009-9689-3 |doi=10.1007/s10958-009-9689-3|arxiv=0809.1128 |s2cid=17503904 }}
*{{cite book |last1=Hall |first1=Brian C. |title=Lie groups, Lie algebras, and representations: an elementary introduction |date=2015 |location=Cham |publisher=Springer |isbn=978-3-319-13467-3 |edition=Second}}
* {{cite journal |last1=Harrington |first1=Heather A. |last2=VanGorder |first2=Robert A. |title=Reduction of dimension for nonlinear dynamical systems |journal=Nonlinear Dynamics |date=2017 |volume=88 |issue=1 |pages=715–734 |doi=10.1007/s11071-016-3272-5 |pmid=32226227 |s2cid=254893812 |url=https://link.springer.com/article/10.1007/s11071-016-3272-5}}
*{{cite book |last1= Hubert |first1= Evelyne |chapter=Notes on Triangular Sets and Triangulation-Decomposition Algorithms II: Differential Systems |editor1-last=Winkler |editor1-first=Franz |editor2-last=Langer |editor2-first=Ulrich 
|title=Symbolic and Numerical Scientific Computing. Second International Conference, SNSC 2001 Hagenberg, Austria, September 12-14, 2001 Revised Papers |date=2002 |publisher=Springer-Verlag |location=Berlin |pages=40–87 |isbn=3-540-40554-2 |url= http://www-sop.inria.fr/members/Evelyne.Hubert/publications/sncsd.pdf}}
*{{cite book |last1=Jacobson |first1=Nathan |title=Lie algebras |date=1979 |location=New York |isbn=0-486-63832-4}}
*{{cite book |last1=Kaplansky |first1=Irving |title=An introduction to differential algebra |publisher=Hermann |edition=2nd |year=1976 |isbn=9782705612511}}
*{{cite book |last1=Keller |first1=Corina |title=Chern-Simons theory and equivariant factorization algebras |series=BestMasters |date=2019 |location=Wiesbaden, Germany |doi=10.1007/978-3-658-25338-7 |isbn=978-3-658-25337-0 |s2cid=128325519 |url=https://link.springer.com/book/10.1007/978-3-658-25338-7}}
*{{cite book |last1=Kolchin |first1=Ellis |title=Differential Algebra And Algebraic Groups |url=https://books.google.com/books?id=yDCfhIjka-8C |date=1973 |publisher=Academic Press |isbn=978-0-08-087369-5}}
*{{cite book |last1=Lam |first1=T. Y. |title=A first course in noncommutative rings |series=Graduate Texts in Mathematics |date=1991 |volume=131 |publisher=Springer-Verlag |location=New York |doi=10.1007/978-1-4419-8616-0 |isbn=0-387-97523-3 |url=https://link.springer.com/book/10.1007/978-1-4419-8616-0}}
*{{cite journal |last1=Lando |first1=Barbara A. |title=Jacobi's bound for the order of systems of first order differential equations |journal=Transactions of the American Mathematical Society |date=1970 |volume=152 |issue=1 |pages=119–135 |doi=10.1090/S0002-9947-1970-0279079-1 |url=https://www.ams.org/journals/tran/1970-152-01/S0002-9947-1970-0279079-1/ |language=en |issn=0002-9947}}
*{{cite journal |last1=Li |first1=Wei |last2=Yuan |first2=Chun-Ming |title=Elimination Theory in Differential and Difference Algebra |journal=Journal of Systems Science and Complexity |date=February 2019 |volume=32 |issue=1 |pages=287–316 |doi=10.1007/s11424-019-8367-x |s2cid=255158214 |url=https://link.springer.com/article/10.1007/s11424-019-8367-x}}
*{{cite book |last=Marker |first= David |chapter=Model theory of differential fields |pages=53–64 |editor1-last=Haskell |editor1-first=Deirdre |editor2-last=Pillay |editor2-first=Anand |editor3-last=Steinhorn |editor3-first=Charles |title=Model theory, algebra, and geometry |date=2000 |volume=39 |publisher=Cambridge University Press |location=Cambridge |isbn=0-521-78068-3 |url=http://library.msri.org/books/Book39/files/dcf.pdf}}
*{{cite thesis |type=PhD |last=Mansfield |first=Elizabeth |date=1991 |title=Differential Bases |publisher=University of Sydney |url=https://www.kent.ac.uk/smsas/personal/elm2/liz/papers/thesis.pdf.gz}}
*{{cite journal |last1=Morrison |first1=Sally |title=The Differential Ideal [ P ] : M∞ |journal=Journal of Symbolic Computation |date=1 October 1999 |volume=28 |issue=4 |pages=631–656 |doi=10.1006/jsco.1999.0318 |url=http://mmrc.iss.ac.cn/mm/diffalg/literatures/0318a.pdf |language=en |issn=0747-7171}}
*{{cite journal |last1=Parshin |first1=Aleksei Nikolaevich |title=On a ring of formal pseudo-differential operators |journal=Proc. Steklov Math. Institute |date=1999 |volume=224 |pages=266–280 |arxiv=math/9911098 |bibcode=1999math.....11098P }}
*{{cite journal |last1=Ritt |first1=Jospeh Fels |title=Manifolds of functions defined by systems of algebraic differential equations |journal=Transactions of the American Mathematical Society |date=1930 |volume=32 |issue=4 |pages=569–598 |doi=10.1090/S0002-9947-1930-1501554-4 |url=https://community.ams.org/journals/tran/1930-032-04/S0002-9947-1930-1501554-4/S0002-9947-1930-1501554-4.pdf}}
*{{cite book |last1=Ritt |first1=Joseph |title=differential equations from the algebraic standpoint |date=1932 |publisher=American Mathematical Society |volume=14 |url=https://archive.org/details/differentialequa033050mbp/mode/2up}}
* {{cite book |last1=Ritt |first1=Joseph Fels |title=Differential Algebra |date=1950 |publisher=American Mathematical Society Colloquium Publications|isbn=978-0-8218-3205-9 | volume=33 |location=Providence, Rhode Island | url=https://bookstore.ams.org/view?ProductCode=COLL/33}}
*{{cite journal |last1=Rota |first1=Gian-Carlo |last2=Kahaner |first2=David |last3=Odlyzko |first3=Andrew |title=On the foundations of combinatorial theory. VIII. Finite operator calculus |journal=Journal of Mathematical Analysis and Applications |date=1973 |volume=42 |issue=3 |pages=684–760 |doi=10.1016/0022-247X(73)90172-8 |doi-access=free }}
*{{cite book |last1= Sit |first1= William Y. |chapter=The Ritt-Kolchin theory for differential polynomials |editor1-last=Guo |editor1-first=Li |editor2-last=Cassidy |editor2-first=Phyllis J |editor3-last=Keigher |editor3-first=William F |editor4-last=Sit |editor4-first=William Y |title=Differential algebra and related topics: proceedings of the International Workshop, Newark Campus of Rutgers, the State University of New Jersey, 2-3 November 2000 |date=2002 |publisher=World Scientific |location=River Edge, NJ |doi= 10.1142/4768 |isbn=981-02-4703-6 |url=https://www.worldscientific.com/worldscibooks/10.1142/4768#t=aboutBook}}
*{{cite journal |last1=Stechlinski |first1=Peter |last2=Patrascu |first2=Michael |last3=Barton |first3=Paul I. |title=Nonsmooth differential-algebraic equations in chemical engineering |journal=Computers & Chemical Engineering |date=2018 |volume=114 |pages=52–68 |doi=10.1016/j.compchemeng.2017.10.031 |hdl=1721.1/122980 |s2cid=49413118 |url=https://www.sciencedirect.com/journal/computers-and-chemical-engineering/vol/114/suppl/C}}
*{{cite book |last1=Taylor |first1=Michael E. |title=Pseudodifferential operators and nonlinear PDE |date=1991 |publisher=Birkhäuser |location=Boston |isbn=978-0-8176-3595-4 |url=https://archive.org/details/Michael_E_Taylor__Pseudodifferential_Operators_And_Nonlinear_PDE}}
*{{cite book |last1=Wu |first1=Wen-tsün |title=Differential equations with symbolic computation |chapter=On “Good” Bases of Algebraic-Differential Ideals |date=2005a |publisher=Birkhäuser |isbn=978-3-7643-7429-7 |pages=343–350 
|doi=10.1007/3-7643-7429-2_19 |url=https://link.springer.com/chapter/10.1007/3-7643-7429-2_19 |language=en}}
*{{cite book |last1=Wu |first1=Wen-tsün |title=Differential equations with symbolic computation |chapter=On the Construction of Groebner Basis of a Polynomial Ideal Based on Riquier–Janet Theory |series=Trends in Mathematics |date=2005b |publisher=Birkhäuser |isbn=978-3-7643-7429-7 |pages=351–368 |doi=10.1007/3-7643-7429-2_20 |url=//link.springer.com/chapter/10.1007/3-7643-7429-2_20 |language=en}}
*{{cite journal |last1=Zharinov |first1=V. V. |title=Navier–Stokes equations, the algebraic aspect |journal=Theoretical and Mathematical Physics |date=December 2021 |volume=209 |issue=3 |pages=1657–1672 |doi=10.1134/S0040577921120011 |arxiv=2110.01504 |bibcode=2021TMP...209.1657Z |s2cid=238259977 |url=https://link.springer.com/content/pdf/10.1134/S0040577921120011.pdf}}
{{refend}}


==बाहरी संबंध==
* [http://www.math.uic.edu/~marker/ David Marker's home page] has several online surveys discussing differential fields.
 




-->

[[Category:All articles with unsourced statements]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Articles with unsourced statements from March 2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with maths render errors]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]