समीकरणों की विभेदक-बीजगणितीय प्रणाली

विद्युत अभियन्त्रण में, समीकरणों की अंतर-बीजीय प्रणाली (डीएई) समीकरणों की एक ऐसी प्रणाली है जिसमें या तो अंतर समीकरण और बीजगणितीय समीकरण होते हैं, या इस प्रकार की प्रणाली के बराबर होती है।

गणित में ये विभेदक बीजगणितीय प्रकारों के उदाहरण हैं और आदर्शों के अनुरूप हैं विभेदक बहुपद वलयों में (बीजगणितीय समायोजन के लिए विभेदक बीजगणित पर लेख देखें)।

हम इन अंतर समीकरणों को स्वतंत्र चर t में चर x के आश्रित सदिश के लिए
 * $$F(\dot x(t),\, x(t),\,t)=0$$ के रूप में लिख सकते हैं।

इन प्रतीकों को एक वास्तविक चर के फलनों के रूप में विचार करते समय (जैसा कि इलेक्ट्रिकल इंजीनियरिंग या नियंत्रण सिद्धांत में अनुप्रयोगों में होता है) हम $$x:[a,b]\to\R^n$$ को आश्रित चर$$x(t)=(x_1(t),\dots,x_n(t))$$ के एक सदिश के रूप में देखते हैं और प्रणाली में कई समीकरण होते हैं, जिन्हें हम फलन $$F=(F_1,\dots,F_n):\R^{2n+1}\to\R^n$$ के रूप में मानते हैं।

वे सामान्य अंतर समीकरण (ओडीई) से अलग हैं क्योंकि एक डीएई फलन x के सभी घटकों के व्युत्पन्न के लिए पूर्ण रूप से हल करने योग्य नहीं है क्योंकि ये सभी प्रकट नहीं हो सकते हैं (अर्थात कुछ समीकरण बीजगणितीय हैं); तकनीकी रूप से एक अंतर्निहित ओडीई प्रणाली [जिसे स्पष्ट किया जा सकता है] और एक डीएई प्रणाली के बीच अंतर यह है कि जैकोबियन आव्यूह $$\frac{\partial F(u, v, t)}{\partial u}$$ एक डीएई प्रणाली के लिए एक विलक्षण आव्यूह है। ओडीई और डीएई के बीच यह अंतर इसलिए किया गया है क्योंकि डीएई की अलग-अलग विशेषताएं हैं और इन्हें हल करना सामान्यतः पर अधिक कठिन होता है।

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

यह अंतर अधिक स्पष्ट रूप से दिखाई देता है यदि प्रणाली को फिर से लिखा जाए ताकि x के अतिरिक्त हम आश्रित चरों के सदिशों के युग्म $$(x,y)$$ पर विचार करें और डीएई का रूप
 * $$\begin{align}\dot x(t)&=f(x(t),y(t),t),\\0&=g(x(t),y(t),t).\end{align}$$
 * हो, जहाँ $$x(t)\in\R^n$$, $$y(t)\in\R^m$$, $$f:\R^{n+m+1}\to\R^n$$ और $$g:\R^{n+m+1}\to\R^m$$।

इस रूप की डीएई प्रणाली को अर्ध-स्पष्ट कहा जाता है। समीकरण के दूसरे भाग g का प्रत्येक हल समीकरण के पहले भाग f के माध्यम से x के लिए अद्वितीय दिशा को परिभाषित करता है, जबकि y के लिए दिशा मनमानी है। लेकिन प्रत्येक बिंदु (x,y,t) g का हल नहीं है। x और समीकरणों के पहले भाग f में चरों को विशेषता अंतर मिलता है। y के घटकों और समीकरणों के दूसरे भाग g को प्रणाली के बीजगणितीय चर या समीकरण कहा जाता है। [डीएई के संदर्भ में बीजगणितीय शब्द का अर्थ मात्र व्युत्पन्न से मुक्त है और यह (अमूर्त) बीजगणित से संबंधित नहीं है।]

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

डीएई के अन्य रूप
यदि कुछ आश्रित चर उनके व्युत्पन्न के बिना होते हैं तो डीएई से ओडीई का अंतर स्पष्ट हो जाता है। आश्रित चर के सदिश को युग्म $$(x,y)$$ के रूप में लिखा जा सकता है और डीएई के अंतर समीकरणों की प्रणाली
 * $$ F\left(\dot x, x, y, t\right) = 0 $$

के रूप में दिखाई देती है, जहाँ
 * $$x$$, $$\R^n$$ में सदिश, आश्रित चर हैं जिनके लिए व्युत्पन्न मौजूद हैं (अंतर चर),
 * $$y$$, $$\R^m$$ में सदिश, आश्रित चर हैं जिनके लिए कोई व्युत्पन्न मौजूद नहीं है (बीजगणितीय चर),
 * $$t$$, अदिश राशि (सामान्यतः समय) स्वतंत्र चर है।
 * $$F$$ $$n+m$$ फलन का सदिश है जिसमें इन $$n+m+1$$ चर और $$n$$ व्युत्पन्न के उप समुच्चय सम्मिलित हैं।

कुल मिलाकर, डीएई का समुच्चय फलन\
 * $$ F: \R^{(2n+m+1)} \to \R^{(n+m)} $$ है।

प्रारंभिक स्थितियाँ
 * $$ F\left(\dot x(t_0),\, x(t_0), y(t_0), t_0 \right) = 0 $$ रूप के समीकरणों की प्रणाली का हल होनी चाहिए।

उदाहरण
कार्तीय निर्देशांक (x,y) में केंद्र (0,0) के साथ लंबाई L के लोलक का व्यवहार यूलर-लैग्रेंज समीकरण
 * $$\begin{align}

\dot x&=u,&\dot y&=v,\\ \dot u&=\lambda x,&\dot v&=\lambda y-g,\\ x^2+y^2&=L^2, \end{align}$$ द्वारा वर्णित है, जहाँ $$\lambda$$ लैग्रेंज गुणक है। संवेग चर u और v को ऊर्जा संरक्षण के नियम द्वारा नियंत्रित किया जाना चाहिए और उनकी दिशा वृत्त के अनुदिश होनी चाहिए। उन समीकरणों में कोई भी स्थिति स्पष्ट नहीं है। अंतिम समीकरण का विभेदन होता है
 * $$\begin{align}

&&\dot x\,x+\dot y\,y&=0\\ \Rightarrow&& u\,x+v\,y&=0, \end{align}$$ गति की दिशा को वृत्त की स्पर्श रेखा तक सीमित करना। इस समीकरण का अगला व्युत्पन्न
 * $$\begin{align}

&&\dot u\,x+\dot v\,y+u\,\dot x+v\,\dot y&=0,\\ \Rightarrow&& \lambda(x^2+y^2)-gy+u^2+v^2&=0,\\ \Rightarrow&& L^2\,\lambda-gy+u^2+v^2&=0, \end{align}$$ को दर्शाता है, और उस अंतिम पहचान का व्युत्पन्न $$L^2\dot\lambda-3gv=0$$ को सरल बनाता है जिसका तात्पर्य ऊर्जा के संरक्षण से है क्योंकि एकीकरण के बाद स्थिरांक $$E=\tfrac32gy-\tfrac12L^2\lambda=\frac12(u^2+v^2)+gy$$ गतिज और स्थितिज ऊर्जा का योग है।

सभी आश्रित चरों के लिए अद्वितीय व्युत्पन्न मान प्राप्त करने के लिए अंतिम समीकरण को तीन बार विभेदित किया गया था। यह 3 का विभेदन सूचकांक देता है, जो कृत्रिम यांत्रिक प्रणालियों के लिए विशिष्ट है।

यदि प्रारंभिक मान $$(x_0,u_0)$$ और y के लिए चिह्न दिया गया है, तो अन्य चर $$y=\pm\sqrt{L^2-x^2}$$ के माध्यम से निर्धारित किए जाते हैं, और यदि $$y\ne0$$ है तो $$v=-ux/y$$ और $$\lambda=(gy-u^2-v^2)/L^2$$। अगले बिंदु पर आगे बढ़ने के लिए x और u के व्युत्पन्न प्राप्त करना पर्याप्त है, अर्थात, हल करने की प्रणाली अब


 * $$\begin{align}

\dot x&=u,\\ \dot u&=\lambda x,\\[0.3em] 0&=x^2+y^2-L^2,\\ 0&=ux+vy,\\ 0&=u^2-gy+v^2+L^2\,\lambda \end{align}$$है। यह सूचकांक 1 का अर्ध-स्पष्ट डीएई है। समान समीकरणों का एक और समुच्चय $$(y_0,v_0)$$ और x के चिह्न से प्रारम्भ करके प्राप्त किया जा सकता है।

डीएई स्वाभाविक रूप से गैर-रेखीय उपकरणों के साथ सर्किट के मॉडलिंग में भी होते हैं। डीएई को नियोजित करने वाले संशोधित नोडल विश्लेषण का उपयोग उदाहरण के लिए संख्यात्मक सर्किट सिमुलेटर के सर्वव्यापी मसाला परिवार में किया जाता है। इसी प्रकार, फ्राउनहोफर सोसाइटी|फ्राउनहोफर के एनालॉग इनसाइड्स मेथेमेटिका पैकेज का उपयोग नेटलिस्ट से डीएई प्राप्त करने के लिए किया जा सकता है और फिर कुछ मामलों में समीकरणों को सरल बनाया जा सकता है या प्रतीकात्मक रूप से हल भी किया जा सकता है। यह ध्यान देने योग्य है कि डीएई (एक सर्किट के) के सूचकांक को सकारात्मक प्रतिक्रिया के साथ कैपेसिटर परिचालन एम्पलीफायरों के माध्यम से कैस्केडिंग/युग्मन द्वारा मनमाने ढंग से उच्च बनाया जा सकता है।

सूचकांक 1 का अर्ध-स्पष्ट डीएई
रूप का डीएई
 * ::$$\begin{align}\dot x&=f(x,y,t),\\0&=g(x,y,t).\end{align}$$

अर्ध-स्पष्ट कहलाते हैं। इंडेक्स-1 प्रॉपर्टी के लिए आवश्यक है कि g, y के लिए अंतर्निहित फलन प्रमेय हो। दूसरे शब्दों में, विभेदन सूचकांक 1 है यदि टी के लिए बीजगणितीय समीकरणों के विभेदन से अंतर्निहित ओडीई प्रणाली परिणाम प्राप्त होती है,
 * $$\begin{align}

\dot x&=f(x,y,t)\\ 0&=\partial_x g(x,y,t)\dot x+\partial_y g(x,y,t)\dot y+\partial_t g(x,y,t), \end{align}$$ जिसके लिए हल संभव है $$(\dot x,\,\dot y)$$ अगर $$\det\left(\partial_y g(x,y,t)\right)\ne 0.$$ प्रत्येक पर्याप्त रूप से सुचारू डीएई लगभग हर जगह इस अर्ध-स्पष्ट सूचकांक-1 रूप में कम करने योग्य है।

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


 * $$\begin{align}\frac{dx}{dt}&=f\left(x,y,t\right),\\0&=g\left(x,y,t\right).\end{align}$$

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


 * $$\begin{align}0&=f\left(\frac{dx}{dt},x,y,t\right),\\0&=g\left(x,y,t\right).\end{align}$$

एक बार जब मॉडल को बीजगणितीय समीकरण रूप में परिवर्तित कर दिया जाता है, तो इसे बड़े पैमाने पर नॉनलाइनियर प्रोग्रामिंग सॉल्वर (एपीमॉनिटर देखें) द्वारा हल किया जा सकता है।

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

डीएई के लिए संरचनात्मक विश्लेषण
हम उपयोग करते हैं $$\Sigma$$-डीएई का विश्लेषण करने की विधि। हम डीएई के लिए हस्ताक्षर आव्यूह का निर्माण करते हैं $$\Sigma=(\sigma_{i,j})$$, जहां प्रत्येक पंक्ति प्रत्येक समीकरण से मेल खाती है $$f_i$$ और प्रत्येक स्तंभ प्रत्येक चर से मेल खाता है $$x_j$$। स्थिति में प्रवेश $$(i,j)$$ है $$\sigma_{i,j}$$, जो कि व्युत्पन्न के उच्चतम क्रम को दर्शाता है $$x_j$$ में होता है $$f_i$$, या $$-\infty$$ अगर $$x_j$$ में नहीं होता है $$f_i$$।

उपरोक्त पेंडुलम डीएई के लिए, चर हैं $$(x_1,x_2,x_3,x_4,x_5)=(x,y,u,v,\lambda)$$। संबंधित हस्ताक्षर आव्यूह है
 * $$\Sigma =

\begin{bmatrix} 1 & - & 0^\bullet & - & - \\ - & 1^\bullet & - & 0 & - \\ 0 & - & 1 & - & 0^\bullet \\ - & 0 & - & 1^\bullet & 0 \\ 0^\bullet & 0 & - & - & - \end{bmatrix} $$

यह भी देखें

 * बीजगणितीय अवकल समीकरण, समान नाम के बावजूद अलग अवधारणा
 * विलंब अंतर समीकरण
 * आंशिक अंतर बीजगणितीय समीकरण
 * नमूना भाषा

पुस्तकें

 * (डीएई सूचकांक की गणना के लिए संरचनात्मक दृष्टिकोण को शामिल करता है।)
 * (डीएई सूचकांक की गणना के लिए संरचनात्मक दृष्टिकोण को शामिल करता है।)
 * (डीएई सूचकांक की गणना के लिए संरचनात्मक दृष्टिकोण को शामिल करता है।)
 * (डीएई सूचकांक की गणना के लिए संरचनात्मक दृष्टिकोण को शामिल करता है।)

बाहरी संबंध

 * http://www।scholarpedia।org/article/Differential-algebraic_equations