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

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

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

इस प्रकार से हम इन अवकलन समीकरणों को स्वतंत्र चर 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 है यदि t के लिए बीजगणितीय समीकरणों के विभेदन से अंतर्निहित ओडीई प्रणाली परिणाम,
 * $$\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$$ यदि $$f_i$$ $$x_j$$ में नहीं होता है।

उपरोक्त लोलक डीएई के लिए, चर $$(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