अवकल बीजगणित: Difference between revisions

Revision as of 02:34, 10 July 2023

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

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

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

इतिहास

जोसेफ रिट ने विभेदक बीजगणित विकसित किया क्योंकि उन्होंने विभेदक समीकरणों की प्रणालियों को विभिन्न विहित रूपों में कम करने के प्रयासों को एक असंतोषजनक दृष्टिकोण के रूप में देखा। यद्यपि, बीजगणितीय उन्मूलन विधियों और बीजगणितीय मैनिफोल्ड सिद्धांत की सफलता ने रिट को विभेदक समीकरणों के लिए एक समान दृष्टिकोण पर विचार करने के लिए प्रेरित किया।^[1]^: iii–iv उनके प्रयासों से प्रारंभिक बीजगणितीय विभेदक समीकरणों की प्रणालियों द्वारा परिभाषित कार्यों के प्रारंभिक पेपर मैनिफोल्ड्स और 2 पुस्तकें, बीजगणितीय दृष्टिकोण और विभेदक बीजगणित से विभेदक समीकरण।।^[2]^[1]^[3] रिट के छात्र एलिस कल्चेन ने इस क्षेत्र को आगे बढ़ाया और विभेदक बीजगणित और बीजगणितीय समूह प्रकाशित किया।^[4]

विभेदक वलय

परिभाषा

व्युत्पत्ति ${\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

है।^[4]^: 58–59 जब केवल एक ही व्युत्पत्ति होती है तो सामान्यतः एक साधारण विभेदक वलय की बात की जाती है; अन्यथा, कोई आंशिक विभेदक वलय की बात करता है

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

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

एक विभेदक वलय के स्थिरांक तत्व $r$ हैं ऐसा है कि $\partial r=0$ प्रत्येक व्युत्पत्ति $\partial$ के लिए, विभेदक वलय के स्थिरांक उपवलय बनाते हैं और भिन्न क्षेत्र के स्थिरांक उपक्षेत्र बनाते हैं।^[4]^: 58–60 स्थिरांक का यह अर्थ एक स्थिर कार्य की अवधारणा को सामान्यीकृत करता है, और इसे स्थिरांक के सामान्य अर्थ के साथ भ्रमित नहीं किया जाना चाहिए।

मूल सूत्र

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

अगर $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}}}.$

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

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

\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)$ के साथ है, एक उचित व्युत्पन्न सकारात्मक क्रम का व्युत्पन्न है।^[4]^: 58–59

विभेदक आदर्श

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

विभेदक आदर्श का मूलांक बीजगणितीय आदर्श के रूप में उसके मूलांक के समान होता है, अर्थात, वलय तत्वों का समूह जिनकी आदर्श में शक्ति होती है। विभेदक आदर्श का मूलांक भी विभेदक आदर्श है। मौलिक या पूर्ण विभेदक आदर्श विभेदक आदर्श है जो इसके मौलिक के बराबर होता है।^[6]^: 3–4 एक अभाज्य विभेदक आदर्श एक विभेदक विचारधारा है जो सामान्य अर्थों में अभाज्य आदर्श है; अर्थात्, यदि कोई उत्पाद आदर्श से संबंधित है, तो कम से कम एक कारक आदर्श से संबंधित है। एक अभाज्य विभेदक आदर्श प्रायः एक मूल विभेदक आदर्श होता है।

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

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

$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$ रिट बीजगणित है (वह, एक विभेदक वलय है जिसमें तर्कसंगत संख्याओं का क्षेत्र सम्मिलित है),^[8]^: 12 जो परंपरागत विभेदक आदर्शों पर आरोही श्रृंखला की स्थिति को संतुष्ट करता है, फिर विभेदक बहुपद की वलय $R\{y\}$ एक ही गुणधर्म को संतुष्ट करता है (प्रमेय को पुनरावृत्त रूप से लागू करके एकल चर से बहुभिन्नरूपी विषय चला जाता है)।^[8]^: 45, 48^: 56–57^[4]^{: 126–129}

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

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

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

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

उन्मूलन विधियों की श्रेणियों में विशेषता समूह विधियों की विधि, विभेदक ग्रोबनेर आधार विधियां और परिणामी आधारित विधियां सम्मिलित हैं।^[4]^[11]^[12]^[13]^[14]^[15]^[16]

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

श्रेणी व्युत्पन्न

व्युत्पन्न की श्रेणी सम्पूर्ण क्रम और स्वीकार्य क्रम है, जिसे इस प्रकार परिभाषित किया गया है:^[4]^: 75–76^[17]^: 1141^[10]^: 10

{\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.}

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

क्रमबद्ध श्रेणी: $\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}}}$ की पहचान करता है, व्युत्पन्न की श्रेणी निर्धारित करता है।^[19]^: 4

\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}$ रूप है।.^[4]^: 75–76^[19]^: 4

अग्रणी या अग्रणी व्युत्पन्न बहुपद का सर्वोच्च श्रेणी वाला व्युत्पन्न $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}}$ है।^[12]^: 159

पराभव

आंशिक रूप से छोटा (आंशिक सामान्य रूप) बहुपद ${\textstyle q}$ बहुपद के संबंध में ${\textstyle p}$ इंगित करता है कि ये बहुपद अतिरिक्त-जमीनी क्षेत्र तत्व हैं, ${\textstyle p,q\in {\mathcal {K}}\{Y\}\setminus {\mathcal {K}}}$ , और $q$ का कोई उचित व्युत्पन्न नहीं $u_{p}$ है।^[4]^: 75^[18]^: 84^[12]^: 159

आंशिक रूप से छोटा किया गया बहुपद ${\textstyle q}$ बहुपद के संबंध में ${\textstyle p}$ लघु (सामान्य रूप) बहुपद बन जाता है, बहुपद ${\textstyle q}$ इसके संबंध में ${\textstyle p}$ यदि ${\textstyle q}$ में ${\textstyle u_{p}}$ की डिग्री कम है तब ${\textstyle u_{p}}$ डिग्री में ${\textstyle p}$ है।^[4]^[4]^: 75^[18]^: 84^[12]^: 159

स्वतः कम किए गए बहुपद समूह में प्रत्येक बहुपद समूह के प्रत्येक दूसरे बहुपद के संबंध में कम हो जाता है। प्रत्येक स्वतः कम किया गया समूह परिमित है। एक स्वतः कम किया गया समूह त्रिकोणीय है जिसका अर्थ है कि प्रत्येक बहुपद तत्व का एक अलग अग्रणी व्युत्पन्न होता है।^[6]^: 6^[4]^: 75

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

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}}$ कम किया गया है ^[11]^: 294

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

$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}}}$ विभाजक आदर्श के अतिरिक्त-सदस्य हैं।.^[4]^: 82

डेल्टा बहुपद बहुपद युग्म पर लागू होता है ${\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}}}

और डेल्टा बहुपद है:^[4]^: 136^[12]^: 160

सुसंगत समुच्चय एक बहुपद समुच्चय है जो इसके डेल्टा बहुपद युग्मों को शून्य कर देता है।^[4]^: 136^[12]^: 160

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

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

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

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

रोसेनफेल्ड-ग्रोबनेर कलन विधि

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

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

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

उदाहारण

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

उदहारण 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}$ ।.^[22]^: 694

स्थिरांक

पूर्णांकों का वलय $(\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})}$ का निर्माण करते हैं।^[4]^: 60

विभेदक आदर्श

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

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

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

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

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

वलय ${\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}$ में ; यह समुच्चय अतिरिक्त-त्रिकोणीय है क्योंकि बहुपदों का अग्रणी विभेदक समान है।

अनुप्रयोग

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

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

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

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

कैओस सिद्धांत के साथ अतिरिक्त-रेखीय गतिशील प्रणालियों के एक अध्ययन में, शोधकर्ताओं ने विभेदक समीकरणों को एकल स्थान चर से जुड़े सामान्य विभेदक समीकरणों में कम करने के लिए विभेदक उन्मूलन का उपयोग किया। वे अधिकतर वाद में सफल रहे, और इससे अनुमानित समाधान विकसित करने, कैओस सिद्धांत का कुशलतापूर्वक मूल्यांकन करने और लाइपापुनोव कार्यों का निर्माण करने में मदद मिली।^[24] शोधकर्ताओं ने जैव रासायनिक प्रतिक्रियाओं के लिए कोशिका जीव विज्ञान, पूरक जैव रसायन प्रतिरूप, प्राचल अनुमान और स्थिर अवस्था अर्ध-स्थिर अवस्था सन्निकटन (QSSA) को समझने के लिए विभेदक उन्मूलन लागू किया है।^[25]^[26]विभेदक ग्रोबनेर आधारों का उपयोग करते हुए, शोधकर्ताओं ने अतिरिक्त-रेखीय विभेदक समीकरणों के अतिरिक्त-उत्कृष्ट समरूपता गुणों की जांच की है।^[27] अन्य अनुप्रयोगों में नियंत्रण सिद्धांत, प्रतिरूप सिद्धांत और बीजगणितीय ज्यामिति सम्मिलित हैं।^[28]^[9]^[7] विभेदक बीजगणित विभेदक-विभेदक समीकरणों पर भी लागू होता है।^[17]

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

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

चुनौतीपूर्ण समस्याएँ

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

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

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

↑ ^1.0 ^1.1 Ritt 1932.
↑ Ritt 1930.
↑ Ritt 1950.
↑ ^4.00 ^4.01 ^4.02 ^4.03 ^4.04 ^4.05 ^4.06 ^4.07 ^4.08 ^4.09 ^4.10 ^4.11 ^4.12 ^4.13 ^4.14 ^4.15 ^4.16 ^4.17 ^4.18 ^4.19 ^4.20 Kolchin 1973.
↑ ^5.0 ^5.1 Bronstein 2005.
↑ ^6.0 ^6.1 ^6.2 ^6.3 Sit 2002.
↑ ^7.0 ^7.1 Buium 1994.
↑ ^8.0 ^8.1 Kaplansky 1976.
↑ ^9.0 ^9.1 Marker 2000.
↑ ^10.0 ^10.1 ^10.2 Hubert 2002.
↑ ^11.0 ^11.1 Li & Yuan 2019.
↑ ^12.0 ^12.1 ^12.2 ^12.3 ^12.4 ^12.5 ^12.6 ^12.7 ^12.8 ^12.9 Boulier et al. 1995.
↑ Mansfield 1991.
↑ Ferro 2005.
↑ Chardin 1991.
↑ Wu 2005b.
↑ ^17.0 ^17.1 Gao et al. 2009.
↑ ^18.0 ^18.1 ^18.2 Ferro & Gerdt 2003.
↑ ^19.0 ^19.1 Wu 2005a.
↑ Morrison 1999.
↑ Boulier et al. 2009b.
↑ Rota, Kahaner & Odlyzko 1973.
↑ ^23.0 ^23.1 Dummit & Foote 2004.
↑ Harrington & VanGorder 2017.
↑ Boulier 2007.
↑ Boulier & Lemaire 2009a.
↑ Clarkson & Mansfield 1994.
↑ Diop 1992.

[FOOTNOTERitt1932-1] 1.0 ^1.1 Ritt 1932.

[FOOTNOTERitt1930-2] Ritt 1930.

[FOOTNOTERitt1950-3] Ritt 1950.

[FOOTNOTEKolchin1973-4] 4.00 ^4.01 ^4.02 ^4.03 ^4.04 ^4.05 ^4.06 ^4.07 ^4.08 ^4.09 ^4.10 ^4.11 ^4.12 ^4.13 ^4.14 ^4.15 ^4.16 ^4.17 ^4.18 ^4.19 ^4.20 Kolchin 1973.

[FOOTNOTEBronstein2005-5] 5.0 ^5.1 Bronstein 2005.

[FOOTNOTESit2002-6] 6.0 ^6.1 ^6.2 ^6.3 Sit 2002.

[FOOTNOTEBuium1994-7] 7.0 ^7.1 Buium 1994.

[FOOTNOTEKaplansky1976-8] 8.0 ^8.1 Kaplansky 1976.

[FOOTNOTEMarker2000-9] 9.0 ^9.1 Marker 2000.

[FOOTNOTEHubert2002-10] 10.0 ^10.1 ^10.2 Hubert 2002.

[FOOTNOTELiYuan2019-11] 11.0 ^11.1 Li & Yuan 2019.

[FOOTNOTEBoulierLazardOllivierPetitot1995-12] 12.0 ^12.1 ^12.2 ^12.3 ^12.4 ^12.5 ^12.6 ^12.7 ^12.8 ^12.9 Boulier et al. 1995.

[FOOTNOTEMansfield1991-13] Mansfield 1991.

[FOOTNOTEFerro2005-14] Ferro 2005.

[FOOTNOTEChardin1991-15] Chardin 1991.

[FOOTNOTEWu2005b-16] Wu 2005b.

[FOOTNOTEGaoVan_der_HoevenYuanZhang2009-17] 17.0 ^17.1 Gao et al. 2009.

[FOOTNOTEFerroGerdt2003-18] 18.0 ^18.1 ^18.2 Ferro & Gerdt 2003.

[FOOTNOTEWu2005a-19] 19.0 ^19.1 Wu 2005a.

[FOOTNOTEMorrison1999-20] Morrison 1999.

[FOOTNOTEBoulierLazardOllivierPetitot2009b-21] Boulier et al. 2009b.

[FOOTNOTERotaKahanerOdlyzko1973-22] Rota, Kahaner & Odlyzko 1973.

[FOOTNOTEDummitFoote2004-23] 23.0 ^23.1 Dummit & Foote 2004.

[FOOTNOTEHarringtonVanGorder2017-24] Harrington & VanGorder 2017.

[FOOTNOTEBoulier2007-25] Boulier 2007.

[FOOTNOTEBoulierLemaire2009a-26] Boulier & Lemaire 2009a.

[FOOTNOTEClarksonMansfield1994-27] Clarkson & Mansfield 1994.

[FOOTNOTEDiop1992-28] Diop 1992.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

@@ Line 2: / Line 2: @@
 {{about|algebraic study of differential equations|the concept in homological algebra|Differential graded algebra}}
-गणित में, विभेदक [[बीजगणित]], मोटे तौर पर, गणित का वह क्षेत्र है जिसमें समाधान की गणना किए बिना [[अंतर समीकरण|विभेदक समीकरण]] और संक्रियक के गुणों को प्राप्त करने के मद्देनजर बीजगणित के रूप में विभेदक समीकरणों और विभेदक संक्रियक का अध्ययन सम्मिलित है, उसी तरह जैसे [[बहुपद बीजगणित]] का उपयोग किया जाता है।  बीजगणितीय प्रकारों का अध्ययन, जो बहुपद समीकरणों की प्रणालियों के समाधान समूह हैं। [[वेइल बीजगणित|वेल बीजगणित]] और ली बीजगणित को विभेदक बीजगणित से संबंधित माना जा सकता है।
+गणित में, विभेदक [[बीजगणित]], बड़े पैमाने पर गणित का वह क्षेत्र है जिसमें समाधान की गणना किए बिना [[अंतर समीकरण|विभेदक समीकरण]] और संक्रियक के गुणों को प्राप्त करने को ध्यान में रखकर बीजगणित के रूप में विभेदक समीकरणों और विभेदक संक्रियक का अध्ययन सम्मिलित है, उसी तरह जैसे [[बहुपद बीजगणित]] का उपयोग किया जाता है।  बीजगणितीय प्रकारों का अध्ययन, जो बहुपद समीकरणों की प्रणालियों के समाधान समूह हैं। [[वेइल बीजगणित]] और ली बीजगणित को विभेदक बीजगणित से संबंधित माना जा सकता है।
-अधिक विशेष रूप से, विभेदक बीजगणित 1950 में जोसेफ रिट द्वारा पेश किए गए सिद्धांत को संदर्भित करता है, जिसमें विभेदक वलय, विभेदक क्षेत्र और विभेदक बीजगणित वलय, क्षेत्र और बीजगणित हैं जो कि कई व्युत्पत्तियों से सुसज्जित हैं।
+अधिक विशेष रूप से, विभेदक बीजगणित 1950 में जोसेफ रिट द्वारा प्रस्तुत किए गए सिद्धांत को संदर्भित करता है, जिसमें विभेदक वलय, विभेदक क्षेत्र और विभेदक बीजगणित वलय, क्षेत्र और बीजगणित हैं जो कि कई व्युत्पत्तियों से सुसज्जित हैं।
-विभेदक क्षेत्र का एक प्राकृतिक उदाप्रत्येकण [[जटिल संख्या]]ओं पर एक चर में [[तर्कसंगत कार्य|तर्कसंगत]] कार्यों का क्षेत्र है, <math>\mathbb{C}(t),</math> जहां व्युत्पत्ति के संबंध में भेदभाव <math>t</math> है। अधिक सामान्यतः प्रत्येक विभेदक समीकरण को समीकरण में दिखाई देने वाले (ज्ञात) कार्यों द्वारा उत्पन्न विभेदक क्षेत्र पर विभेदक बीजगणित के एक तत्व के रूप में देखा जा सकता है।
+विभेदक क्षेत्र का एक प्राकृतिक उदाहरण [[जटिल संख्या]]ओं पर एक चर में [[तर्कसंगत कार्य|तर्कसंगत]] कार्यों का क्षेत्र <math>\mathbb{C}(t)</math> है, जहां व्युत्पत्ति के संबंध में भेदभाव <math>t</math> है। अधिक सामान्यतः प्रत्येक विभेदक समीकरण को समीकरण में दिखाई देने वाले (ज्ञात) फलन द्वारा उत्पन्न विभेदक क्षेत्र पर विभेदक बीजगणित के एक तत्व के रूप में देखा जा सकता है।
 ==इतिहास==
-जोसेफ रिट ने विभेदक बीजगणित विकसित किया क्योंकि उन्होंने विभेदक समीकरणों की प्रणालियों को विभिन्न विहित रूपों में कम करने के प्रयासों को एक असंतोषजनक दृष्टिकोण के रूप में देखा। यद्यपि, बीजगणितीय उन्मूलन विधियों और बीजगणितीय मैनिफोल्ड सिद्धांत की सफलता ने रिट को विभेदक समीकरणों के लिए एक समान दृष्टिकोण पर विचार करने के लिए प्रेरित किया।{{sfn|Ritt|1932}}{{rp|iii-iv}} उनके प्रयासों से एक प्रारंभिक पेपर <em>मैनिफोल्ड्स ऑफ फंक्शन्स डिफाइन्ड बाय सिस्टम्स ऑफ अलजेब्रिक डिफरेंशियल इक्वेशन</em> और 2 किताबें, <em>डिफरेंशियल इक्वेशन फ्रॉम द अलजेब्रिक स्टैंडपॉइंट</em> और <em>डिफरेंशियल अलजेब्रा</em>  प्रकाशित हुईं।। उन्हें>.{{sfn|Ritt|1930}}{{sfn|Ritt|1932}}{{sfn|Ritt|1950}} रिट के छात्र [[एलिस कल्चेन]] ने इस क्षेत्र को आगे बढ़ाया और <em>डिफरेंशियल अलजेब्रा एंड अलजेब्रिक ग्रुप्स</em> प्रकाशित किया।{{sfn|Kolchin |1973}}
+जोसेफ रिट ने विभेदक बीजगणित विकसित किया क्योंकि उन्होंने विभेदक समीकरणों की प्रणालियों को विभिन्न विहित रूपों में कम करने के प्रयासों को एक असंतोषजनक दृष्टिकोण के रूप में देखा। यद्यपि, बीजगणितीय उन्मूलन विधियों और बीजगणितीय मैनिफोल्ड सिद्धांत की सफलता ने रिट को विभेदक समीकरणों के लिए एक समान दृष्टिकोण पर विचार करने के लिए प्रेरित किया।{{sfn|Ritt|1932}}{{rp|iii-iv}} उनके प्रयासों से प्रारंभिक बीजगणितीय विभेदक समीकरणों की प्रणालियों द्वारा परिभाषित कार्यों के प्रारंभिक पेपर मैनिफोल्ड्स और 2 पुस्तकें, बीजगणितीय दृष्टिकोण और विभेदक बीजगणित से विभेदक समीकरण।।{{sfn|Ritt|1930}}{{sfn|Ritt|1932}}{{sfn|Ritt|1950}} रिट के छात्र [[एलिस कल्चेन]] ने इस क्षेत्र को आगे बढ़ाया और <em>विभेदक बीजगणित और बीजगणितीय समूह</em> प्रकाशित किया।{{sfn|Kolchin |1973}}
 ==विभेदक वलय==
@@ Line 15: / Line 15: @@
 ===परिभाषा===
-<em>व्युत्पत्ति</em>  <math display="inline"> \partial </math>  वलय पर <math display="inline"> \mathcal{R} </math> एक फलन है  <math>\partial : R \to R\,</math> ऐसा कि
+<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 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>r_1</math> और <math>r_2</math> में <math>R</math> के लिए
-व्युत्पत्ति पूर्णांकों पर रैखिक मानचित्र है क्योंकि ये सर्वसमिकाएं संकेत देती हैं <math>\partial (0)=\partial (1) = 0</math> और <math>\partial (-r)=-\partial (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>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> इसे एक विभेदक क्षेत्र के रूप में माना जा सकता है जिस पर प्रत्येक व्युत्पत्ति [[शून्य कार्य]] है।
+विट बीजगणित विभेदक वलय है जिसमें <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}} स्थिरांक का यह अर्थ एक स्थिर कार्य की अवधारणा को सामान्यीकृत करता है, और इसे [[स्थिरांक (गणित)]] के सामान्य अर्थ के साथ भ्रमित नहीं किया जाना चाहिए।
+एक विभेदक वलय के <em>स्थिरांक</em> तत्व <math>r</math> हैं  ऐसा है कि <math>\partial r=0</math> प्रत्येक व्युत्पत्ति <math>\partial</math> के लिए,  विभेदक [[सबरिंग|वलय]] के स्थिरांक उपवलय बनाते हैं और भिन्न क्षेत्र के स्थिरांक उपक्षेत्र बनाते हैं।{{sfn|Kolchin |1973}}{{rp|58–60}} स्थिरांक का यह अर्थ एक स्थिर कार्य की अवधारणा को सामान्यीकृत करता है, और इसे [[स्थिरांक (गणित)|स्थिरांक]] के सामान्य अर्थ के साथ भ्रमित नहीं किया जाना चाहिए।
 ===मूल सूत्र===
@@ Line 37: / Line 35: @@
 * अगर <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>, एक में पहचान फलन होता है, जिसे सामान्यतः क्रम शून्य का अद्वितीय व्युत्पत्ति संक्रियक माना जाता है। इन सम्मेलनों के साथ, व्युत्पत्ति संचालक विचाराधीन व्युत्पत्ति के समूह पर एक मुक्त क्रमविनिमेय मोनोइड बनाते हैं।
+एक <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>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}}
+योग <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}}
 ===[[विभेदक आदर्श]]===
@@ Line 54: / Line 54: @@
 <math>S</math> द्वारा उत्पन्न विभेदक आदर्श  के तत्वों के परिमित रैखिक संयोजनों का समुच्चय <math>S</math> है और इन तत्वों के किसी भी क्रम के व्युत्पन्न; इसे सामान्यतः <math>[S]</math> रूप में दर्शाया जाता है  जब <math>S</math> परिमित है, <math>[S]</math> सामान्यतः बीजगणितीय आदर्श के रूप में [[अंतिम रूप से उत्पन्न आदर्श|अंतिम रूप से उत्पन्र्]] नहीं होता है।
-<math>S</math> द्वारा उत्पन्न मौलिक विभेदक आदर्श सामान्यतः  <math>\{S\}</math> के रूप में दर्शाया जाता है अन्य दो वाद की तरह इसके तत्व को चित्रित करने का कोई ज्ञात तरीका नहीं है।
+<math>S</math> द्वारा उत्पन्न मौलिक विभेदक आदर्श सामान्यतः <math>\{S\}</math> के रूप में दर्शाया जाता है अन्य दो वाद की तरह इसके तत्व को चित्रित करने का कोई ज्ञात तरीका नहीं है।
 ==विभेदक बहुपद==

Anonymous

Search

अवकल बीजगणित: Difference between revisions

Revision as of 02:34, 10 July 2023

इतिहास

विभेदक वलय

परिभाषा

मूल सूत्र

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

विभेदक आदर्श

विभेदक बहुपद

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

श्रेणी व्युत्पन्न

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

पराभव

श्रेणी बहुपद समूह

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

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

रोसेनफेल्ड-ग्रोबनेर कलन विधि

उदाहारण

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

व्युत्पत्ति

स्थिरांक

विभेदक सबवलय

विभेदक आदर्श

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

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

बहुपद

श्रेणी

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

विभाजक

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

अनुप्रयोग

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

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

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

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

चुनौतीपूर्ण समस्याएँ

Navigation

Wiki tools

Page tools

Other projects

Hidden categories