View source for स्वायत्त प्रणाली (गणित)

{{Short description|Math}}
[[File:Stability_Diagram.png|thumb|300px|रेखीय स्वायत्त प्रणाली के प्वांकारे मानचित्र <math>x' = Ax,</math> उनकी विशेषताओं के अनुसार स्थिर या अस्थिर। स्थिरता सामान्यतः आरेख के बाईं ओर बढ़ जाती है।<ref>[http://www.egwald.ca/linearalgebra/lineardifferentialequationsstabilityanalysis.php Egwald Mathematics - Linear Algebra: Systems of Linear Differential Equations: Linear Stability Analysis] Accessed 10 October 2019.</ref> कुछ मंद, स्रोत या ग्रंथिकि समतोल बिंदु हैं।]]
[[File:Phase plane nodes.svg|thumb|300px|द्वि-आयामी स्तिथि [[चरण विमान|चरण पटल]] को संदर्भित करता है।]]गणित में, एक स्वायत्त प्रणाली या स्वायत्त अवकल समीकरण सामान्य अवकल समीकरणों का [[युगपत समीकरण]] है जो स्पष्ट रूप से [[स्वतंत्र चर]] पर निर्भर नहीं करता है। जब चर [[समय]] होता है, तो उन्हें [[समय-अपरिवर्तनीय प्रणाली]] भी कहा जाता है।

[[भौतिक विज्ञान]] में कई नियम, जहां स्वतंत्र चर को सामान्यतः समय माना जाता है, को स्वायत्त प्रणालियों के रूप में व्यक्त किया जाता है क्योंकि यह माना जाता है कि भौतिक नियम जो अब धारण करते हैं वे अतीत या भविष्य में किसी भी बिंदु के लिए समान हैं।

== परिभाषा ==

एक स्वायत्त प्रणाली प्रपत्र के सामान्य अंतर समीकरणों की एक प्रणाली है
<math display="block">\frac{d}{dt}x(t)=f(x(t))</math>
जहाँ {{mvar|x}}  {{mvar|n}}-आयामी [[यूक्लिडियन अंतरिक्ष]] में मान लेता है; {{mvar|t}} को प्रायः समय के रूप में व्याख्यायित किया जाता है।

यह निम्न स्वरुप के अंतर समीकरणों की प्रणालियों से अलग है
<math display="block">\frac{d}{dt}x(t)=g(x(t),t)</math>
जिसमें प्रणाली के विकास को नियंत्रित करने वाला नियम केवल प्रणाली की वर्तमान स्थिति पर ही नहीं बल्कि मापदण्ड {{mvar|t}} पर भी निर्भर करता है, फिर से प्रायः समय के रूप में व्याख्या की जाती है; ऐसी प्रणालियाँ परिभाषा के अनुसार स्वायत्त नहीं हैं।

== गुण ==

समाधान क्षैतिज अनुवाद के अंतर्गत अपरिवर्तनीय हैं:

मान लीजिये <math>x_1(t)</math> एक स्वायत्त प्रणाली के लिए [[प्रारंभिक मूल्य समस्या]] का एक अनूठा समाधान हो
<math display="block">\frac{d}{dt}x(t)=f(x(t)) \, , \quad x(0)=x_0.</math>
तब <math>x_2(t)=x_1(t-t_0)</math> हल करती है
<math display="block">\frac{d}{dt}x(t)=f(x(t)) \, , \quad x(t_0)=x_0.</math>
<math>s=t-t_0</math> को दर्शाने पर <math>x_1(s)=x_2(t)</math> और <math>ds=dt</math> प्राप्त होता है, इस प्रकार
<math display="block">\frac{d}{dt}x_2(t) = \frac{d}{dt}x_1(t-t_0)=\frac{d}{ds}x_1(s) = f(x_1(s)) = f(x_2(t)) .</math>
प्रारंभिक स्थिति के लिए, सत्यापन साधारण है,
<math display="block">x_2(t_0)=x_1(t_0-t_0)=x_1(0)=x_0 .</math>


== उदाहरण ==
समीकरण <math>y'= \left(2-y\right)y</math> स्वायत्त है, क्योंकि स्वतंत्र चर (<math>x</math>) समीकरण में स्पष्ट रूप से प्रकट नहीं होता है।

इस समीकरण के लिए ढलान क्षेत्र और [[ isocline |समनति]] का आलेख करने के लिए, [[जीएनयू ऑक्टेव|जीएनयू अष्टपदी]]/मैटलैब में निम्नलिखित कूट का उपयोग किया जा सकता है
<syntaxhighlight lang="matlab">
Ffun = @(X, Y)(2 - Y) .* Y; % function f(x,y)=(2-y)y
[X, Y] = meshgrid(0:.2:6, -1:.2:3); % choose the plot sizes
DY = Ffun(X, Y); DX = ones(size(DY)); % generate the plot values
quiver(X, Y, DX, DY, 'k'); % plot the direction field in black
hold on;
contour(X, Y, DY, [0 1 2], 'g'); % add the isoclines(0 1 2) in green
title('Slope field and isoclines for f(x,y)=(2-y)y')
</syntaxhighlight>
आलेख से देखा जा सकता है कि फलन <math>\left(2-y\right)y</math> <math>x</math>-निश्चर है, और इसलिए <math>y(x)=y(x-x_0)</math> किसी भी बदलाव के लिए <math>x_0</math>समाधान का आकार है।

मैटलैब में सांकेतिक रूप से समीकरण को चलाकर हल करते हैं
<syntaxhighlight lang="matlab">
syms y(x);
equation = (diff(y) == (2 - y) * y);
% solve the equation for a general solution symbolically
y_general = dsolve(equation);
</syntaxhighlight>
दो संतुलन बिंदु <math>y=0</math> और <math>y=2</math> समाधान प्राप्त करता है, और एक अज्ञात स्थिरांक <math>C_3</math> को सम्मिलित करने वाला तीसरा समाधान , <syntaxhighlight lang="matlab" inline>-2 / (exp(C3 - 2 * x) - 1)</syntaxhighlight>.

प्रारंभिक स्थिति के लिए कुछ विशिष्ट मूल्यों को उठाकर, कई समाधानों के आलेख जोड़ सकते हैं
[[File:Slop field with isoclines and solutions.png|thumb|समनति और समाधान के साथ ढलान क्षेत्र]]
<syntaxhighlight lang="matlab">
% solve the initial value problem symbolically
% for different initial conditions
y1 = dsolve(equation, y(1) == 1); y2 = dsolve(equation, y(2) == 1);
y3 = dsolve(equation, y(3) == 1); y4 = dsolve(equation, y(1) == 3);
y5 = dsolve(equation, y(2) == 3); y6 = dsolve(equation, y(3) == 3);
% plot the solutions
ezplot(y1, [0 6]); ezplot(y2, [0 6]); ezplot(y3, [0 6]);
ezplot(y4, [0 6]); ezplot(y5, [0 6]); ezplot(y6, [0 6]);
title('Slope field, isoclines and solutions for f(x,y)=(2-y)y')
legend('Slope field', 'Isoclines', 'Solutions y_{1..6}');
text([1 2 3], [1 1 1], strcat('\leftarrow', {'y_1', 'y_2', 'y_3'}));
text([1 2 3], [3 3 3], strcat('\leftarrow', {'y_4', 'y_5', 'y_6'}));
grid on;
</syntaxhighlight>


== गुणात्मक विश्लेषण ==
[[चरण स्थान]] का उपयोग करके स्वायत्त प्रणालियों का गुणात्मक रूप से विश्लेषण किया जा सकता है; एक-चर स्तिथि में, यह [[चरण रेखा (गणित)]] है।

== समाधान तकनीक ==

निम्नलिखित तकनीक एक आयामी स्वायत्त अंतर समीकरणों पर लागू होती हैं। क्रम का कोई एक आयामी समीकरण <math>n</math> एक n-आयामी प्रथम-क्रम प्रणाली के बराबर है (जैसा कि प्रथम-क्रम प्रणाली में कमी के रूप में वर्णित है), लेकिन आवश्यक नहीं नहीं है कि इसके विपरीत हो।

=== पहला क्रम ===

प्रथम-क्रम स्वायत्त समीकरण
<math display="block">\frac{dx}{dt} = f(x)</math>
वियोज्य है, इसलिए इसे अभिन्न रूप में पुनर्व्यवस्थित करके हल किया जा सकता है<math display="block">t + C = \int \frac{dx}{f(x)}</math>


=== दूसरा क्रम ===

दूसरे क्रम का स्वायत्त समीकरण
<math display="block">\frac{d^2x}{dt^2} = f(x, x')</math>
अधिक कठिन है, लेकिन इसे नया चर प्रस्तुत करके हल किया जा सकता है <ref>{{cite book |last=Boyce |first=William E. |author2=Richard C. DiPrima | title=प्राथमिक विभेदक समीकरण और सीमा आयतन समस्याएँ|edition=8th |year=2005 |publisher=John Wiley & Sons | isbn=0-471-43338-1 |page=133}}</ref> 
<math display="block">v = \frac{dx}{dt}</math>
और [[श्रृंखला नियम]] को निम्नलिखित के माध्यम से <math>x</math> के दूसरे व्युत्पन्न को व्यक्त किया जा सकता है  
<math display="block">\frac{d^2x}{dt^2} = \frac{dv}{dt} = \frac{dx}{dt}\frac{dv}{dx} = v\frac{dv}{dx}</math>
ताकि मूल समीकरण बन जाए
<math display="block">v\frac{dv}{dx} = f(x, v)</math>
जो एक प्रथम कोटि का समीकरण है जिसमें स्वतंत्र चर t का कोई संदर्भ नहीं है। समाधान v को x के एक फलन के रूप में प्रदान करता है। फिर, <math>v</math> की परिभाषा को याद करते हुए :

<math display="block">\frac{dx}{dt} = v(x)  \quad \Rightarrow \quad t + C = \int \frac{d x}{v(x)} </math>
जो एक निहित समाधान है।

==== विशेष स्तिथि: {{math|1=''x''&Prime; = ''f''(''x'')}}====

विशेष स्तिथि जहां <math>f</math> से <math>x'</math>स्वतंत्र है 

<math display="block">\frac{d^2 x}{d t^2} = f(x)</math>
अलग अभिक्रिया से लाभ होता है।<ref>{{cite web |title=दूसरा क्रम स्वायत्त समीकरण|url=https://eqworld.ipmnet.ru/en/solutions/ode/ode0301.pdf |website=[[Eqworld]] |access-date=28 February 2021 |language=en }}</ref> [[शास्त्रीय यांत्रिकी|पारम्परिक यांत्रिकी]] में इस प्रकार के समीकरण बहुत सामान्य हैं क्योंकि वे हमेशा [[हैमिल्टनियन प्रणाली]] होते हैं।

विचार सर्वसमिका का उपयोग करना है

<math display="block">\frac{d x}{d t} = \left(\frac{d t}{d x}\right)^{-1}</math>
जो श्रृंखला नियम से अनुसरण करता है, [[शून्य से विभाजन]] के कारण किसी भी विषय को रोकता है।

पहले क्रम की स्वायत्त प्रणाली के दोनों पक्षों को उल्टा करके, कोई तुरंत <math>x</math> के संबंध में एकीकृत कर सकता है:

<math display="block">\frac{d x}{d t} = f(x) \quad \Rightarrow \quad \frac{d t}{d x} = \frac{1}{f(x)} \quad \Rightarrow \quad t + C = \int \frac{dx}{f(x)}</math>
जो चर तकनीक के पृथक्करण को देखने का एक और तरीका है। दूसरे व्युत्पन्न को <math>t</math> के स्थान पर <math>x</math> के संबंध में व्युत्पन्न के रूप में व्यक्त किया जाना चाहिए

<math display="block">\begin{align}
\frac{d^2 x}{d t^2} &= \frac{d}{d t}\left(\frac{d x}{d t}\right)
= \frac{d}{d x}\left(\frac{d x}{d t}\right) \frac{d x}{d t} \\[4pt]
&= \frac{d}{d x}\left(\left(\frac{d t}{d x}\right)^{-1}\right) \left(\frac{d t}{d x}\right)^{-1} \\[4pt]
&= - \left(\frac{d t}{d x}\right)^{-2} \frac{d^2 t}{d x^2} \left(\frac{d t}{d x}\right)^{-1}
= - \left(\frac{d t}{d x}\right)^{-3} \frac{d^2 t}{d x^2} \\[4pt]
&= \frac{d}{d x}\left(\frac{1}{2}\left(\frac{d t}{d x}\right)^{-2}\right)
\end{align}</math>
पुनः महत्त्व देने के लिए: जो पूरा किया गया है वह यह है कि <math>t</math> के संबंध में दूसरा व्युत्पन्न <math>x</math> के व्युत्पन्न के रूप में व्यक्त किया गया है। मूल दूसरे क्रम के समीकरण को अब एकीकृत किया जा सकता है

<math display="block">\begin{align}
\frac{d^2 x}{d t^2} &= f(x) \\
\frac{d}{d x}\left(\frac{1}{2}\left(\frac{d t}{d x}\right)^{-2}\right) &= f(x) \\
\left(\frac{d t}{d x}\right)^{-2} &= 2 \int f(x) dx + C_1 \\
\frac{d t}{d x} &= \pm \frac{1}{\sqrt{2 \int f(x) dx + C_1}} \\
t + C_2 &= \pm \int \frac{dx}{\sqrt{2 \int f(x) dx + C_1}}
\end{align}</math>
यह एक निहित समाधान है। सबसे बड़ी संभावित समस्या पूर्णांकी को सरल बनाने में असमर्थता है, जिसका तात्पर्य एकीकरण स्थिरांक के मूल्यांकन में कठिनाई या असंभवता से है।

==== विशेष स्तिथि: {{math|1=''x''&Prime; = ''x''&prime;<sup>''n''</sup> ''f''(''x'')}}====

उपर्युक्त दृष्टिकोण का उपयोग करके, तकनीक अधिक सामान्य समीकरण तक विस्तारित हो सकती है

<math display="block">\frac{d^2 x}{d t^2} = \left(\frac{d x}{d t}\right)^n f(x)</math>
जहाँ <math>n</math> मापदण्ड दो के बराबर नहीं है। यह काम करेगा क्योंकि दूसरे व्युत्पन्न को एक शक्ति <math>x'</math> से जुड़े रूप में लिखा जा सकता है। दूसरी व्युत्पत्ति को पुनर्लेखन, पुनर्व्यवस्थित करना, और बाईं ओर को निम्न व्युत्पन्न के रूप में व्यक्त करना:

<math display="block">\begin{align}
&- \left(\frac{d t}{d x}\right)^{-3} \frac{d^2 t}{d x^2} = \left(\frac{d t}{d x}\right)^{-n} f(x) \\[4pt]
&- \left(\frac{d t}{d x}\right)^{n - 3} \frac{d^2 t}{d x^2} = f(x) \\[4pt]
&\frac{d}{d x}\left(\frac{1}{2 - n}\left(\frac{d t}{d x}\right)^{n - 2}\right) = f(x) \\[4pt]
&\left(\frac{d t}{d x}\right)^{n - 2} = (2 - n) \int f(x) dx + C_1 \\[2pt]
&t + C_2 = \int \left((2 - n) \int f(x) dx + C_1\right)^{\frac{1}{n - 2}} dx
\end{align}</math>
दाहिना +/− प्रेरित करेगा यदि <math>n</math> सम है। यदि <math>n = 2</math> प्रतिपादन अलग होना चाहिए :

<math display="block">\begin{align}
- \left(\frac{d t}{d x}\right)^{-1} \frac{d^2 t}{d x^2}    &= f(x) \\
-\frac{d}{d x}\left(\ln\left(\frac{d t}{d x}\right)\right) &= f(x) \\
\frac{d t}{d x} &= C_1 e^{-\int f(x) dx} \\
t + C_2 &= C_1 \int e^{-\int f(x) dx} dx
\end{align}</math>


=== उच्च क्रम ===

तीसरे या उच्च क्रम के स्वायत्त समीकरणों को हल करने के लिए कोई समान विधि नहीं है। इस तरह के समीकरणों को ठीक से तभी हल किया जा सकता है जब उनके पास कुछ अन्य सरल गुण होते हैं, उदाहरण के लिए [[रैखिक अंतर समीकरण]] या केवल आश्रित चर पर समीकरण के दाईं ओर की निर्भरता<ref>[http://eqworld.ipmnet.ru/en/solutions/ode/ode0503.pdf Third order autonomous equation] at [[eqworld]].</ref><ref>[http://eqworld.ipmnet.ru/en/solutions/ode/ode0506.pdf Fourth order autonomous equation] at [[eqworld]].</ref> (यानी, इसके व्युत्पन्न नहीं) है। यह आश्चर्य की बात नहीं होनी चाहिए, यह देखते हुए कि तीन आयामों में गैर-रैखिक स्वायत्त प्रणालियां वस्तुतः [[अराजकता सिद्धांत|अव्यवस्थित सिद्धांत]] व्यवहार उत्पन्न कर सकती हैं जैसे कि [[लोरेंज अट्रैक्टर]] और रोस्लर अट्रैक्टर हैं।

इसी तरह, दूसरे क्रम के सामान्य गैर-स्वायत्त समीकरण स्पष्ट रूप से अघुलनशील हैं, क्योंकि ये अराजक भी हो सकते हैं, जैसा कि आवधिक प्रणोदित लोलक में होता है।<ref>{{cite book | author = Blanchard | author2 = Devaney | author2-link = Robert L. Devaney | author3 = Hall | title = विभेदक समीकरण| publisher = Brooks/Cole Publishing Co | year = 2005 | pages = 540–543 | isbn = 0-495-01265-3}}</ref>


=== बहुभिन्नरूपी स्तिथि ===
{{main|आव्यूह अवकलन समीकरण}}

<math>\mathbf x'(t) = A \mathbf x(t)</math> में, जहाँ <math>\mathbf x(t)</math> एक <math>n</math>-आयामी स्तंभ सदिश है जो <math>t</math> पर निर्भर है।

समाधान <math>\mathbf x(t) = e^{A t} \mathbf c</math> है जहाँ <math>\mathbf c</math> एक <math>n \times 1</math> स्थिर सदिश है।<ref>{{cite web |title=मैट्रिक्स घातांक की विधि|url=https://www.math24.net/method-matrix-exponential/ |website=Math24 |access-date=28 February 2021}}</ref>


=== परिमित अवधि ===

गैर-रैखिक स्वायत्त ODEs के लिए कुछ परिस्तिथियों के अंतर्गत परिमित अवधि के समाधान विकसित करना संभव है,<ref>{{cite book |author = Vardia T. Haimo |title = 1985 24th IEEE Conference on Decision and Control |chapter = Finite Time Differential Equations |year = 1985 |pages = 1729–1733 |doi = 10.1109/CDC.1985.268832 |s2cid = 45426376 |chapter-url=https://ieeexplore.ieee.org/document/4048613}}</ref> यहाँ अर्थ यह है कि अपनी स्वयं की गतिकी से, प्रणाली एक अंत समय में शून्य मान तक पहुँच जाएगा और वहाँ हमेशा के लिए शून्य में रहता है। यह परिमित-अवधि के समाधान पूरी वास्तविक रेखा पर विश्लेषणात्मक कार्य नहीं कर सकते हैं, और क्योंकि वे अंत समय में गैर-लिप्सचिट्ज़ कार्य करेंगे, वे लिप्सचिट्ज़ अंतर समीकरणों के समाधान की विशिष्टता को नहीं मानते हैं।

उदाहरण के रूप में, समीकरण:
:<math>y'= -\text{sgn}(y)\sqrt{|y|},\,\,y(0)=1</math>
परिमित अवधि समाधान स्वीकार करता है:
:<math>y(x)=\frac{1}{4}\left(1-\frac{x}{2}+\left|1-\frac{x}{2}\right|\right)^2</math>


== यह भी देखें ==
* [[गैर-स्वायत्त प्रणाली (गणित)]]

== संदर्भ ==
{{Reflist}}
{{Differential equations topics}}
{{Authority control}}

{{DEFAULTSORT:Autonomous System (Mathematics)}}

[[Category:Articles with hatnote templates targeting a nonexistent page|Autonomous System (Mathematics)]]
[[Category:CS1 English-language sources (en)]]
[[Category:Collapse templates|Autonomous System (Mathematics)]]
[[Category:Created On 27/04/2023|Autonomous System (Mathematics)]]
[[Category:Lua-based templates|Autonomous System (Mathematics)]]
[[Category:Machine Translated Page|Autonomous System (Mathematics)]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists|Autonomous System (Mathematics)]]
[[Category:Pages with script errors|Autonomous System (Mathematics)]]
[[Category:Sidebars with styles needing conversion|Autonomous System (Mathematics)]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready|Autonomous System (Mathematics)]]
[[Category:Templates generating microformats|Autonomous System (Mathematics)]]
[[Category:Templates that add a tracking category|Autonomous System (Mathematics)]]
[[Category:Templates that are not mobile friendly|Autonomous System (Mathematics)]]
[[Category:Templates that generate short descriptions|Autonomous System (Mathematics)]]
[[Category:Templates using TemplateData|Autonomous System (Mathematics)]]
[[Category:Wikipedia metatemplates|Autonomous System (Mathematics)]]
[[Category:गतिशील प्रणाली|Autonomous System (Mathematics)]]
[[Category:विभेदक समीकरण|Autonomous System (Mathematics)]]
[[Category:सामान्य अवकल समीकरण|Autonomous System (Mathematics)]]