View source for पुनरावृत्ति संबंध

{{Short description|Pattern defining an infinite sequence of numbers}}
<!-- Lead needs additional context and examples to provide an introduction for beginners. (January 2022) -->
गणित में, पुनरावृत्ति संबंध एक [[समीकरण]] है जिसके अनुसार संख्याओं के [[क्रम|अनुक्रम]] का <math>n</math> वां पद पिछले पदों के कुछ संयोजन के बराबर है। सामान्यतः केवल <math>k</math> अनुक्रम के पिछले पद समीकरण में दिखाई देते हैं, एक पैरामीटर के लिए <math>k</math> जो कि <math>n</math> से स्वतंत्र है ; इस संख्या  <math>k</math> को संबंध का क्रम कहा जाता है। यदि अनुक्रम में पहली <math>k</math> संख्याओं का मान दिया गया है, तो शेष अनुक्रम की गणना बार-बार समीकरण को लागू करके की जा सकती है।

रैखिक पुनरावृत्तियों में, {{mvar|n}}वें पद <math>k</math> पिछले पदों के एक रैखिक फलन के बराबर होता है। फिबोनैकी संख्याओं की पुनरावृत्ति एक प्रसिद्ध उदाहरण है,
<math display=block>F_n=F_{n-1}+F_{n-2}</math>
जहां क्रम <math>k</math> दो है और रैखिक फलन केवल पिछले दो पदों को जोड़ता है। यह उदाहरण स्थिर गुणांकों के साथ एक रैखिक पुनरावृत्ति है, क्योंकि रैखिक फलन (1 और 1) के गुणांक स्थिरांक हैं जो <math>n</math> पर निर्भर नहीं करते हैं . इन पुनरावृत्तियों के लिए, अनुक्रम के सामान्य शब्द को <math>n</math> एक बंद-रूप अभिव्यक्ति के रूप में व्यक्त किया जा सकता है I साथ ही, <math>n</math> [[पी-पुनरावर्ती समीकरण]] पर निर्भर करते हुए बहुपद गुणांकों के साथ रेखीय पुनरावर्तन भी महत्वपूर्ण हैं, क्योंकि कई सामान्य प्राथमिक और विशेष कार्यों में एक [[टेलर श्रृंखला]] होती है जिसके गुणांक ऐसे पुनरावृत्ति संबंध को संतुष्ट करते हैं ([[होलोनोमिक फ़ंक्शन]] देखें)।

पुनरावृत्ति संबंध को हल करने का अर्थ है <math>n</math> के गैर-पुनरावर्ती कार्य के लिए एक संवृत-रूप समाधान खोजना है।

पुनरावृत्ति संबंध की अवधारणा को बहुआयामी सरणियों तक विस्तारित किया जा सकता है, अर्थात [[अनुक्रमित परिवार]] जो [[प्राकृतिक संख्या|प्राकृतिक संख्याओं]] के टुपल्स द्वारा अनुक्रमित होते हैं।  

== परिभाषा ==
पुनरावृत्ति संबंध एक समीकरण है जो अनुक्रम के प्रत्येक तत्व को पिछले वाले के कार्य के रूप में व्यक्त करता है। अधिक सटीक रूप से, उस सम्बन्ध में जहां केवल पूर्ववर्ती तत्व सम्मिलित होता है, पुनरावृत्ति संबंध का रूप होता है  
:<math>u_n=\varphi(n, u_{n-1})\quad\text{for}\quad n>0,</math>
जहाँ 
:<math>\varphi:\mathbb N\times X \to X</math>
एक फलहाँ X एक समुच्च,के लिए  यह इसके पहले तत्व के रूप में  

एक फलन है, जहाँ X एक समुच्चय है जिससे अनुक्रम के अवयव संबंधित होने चाहिए।<ref>Jacobson, Nathan , Basic Algebra 2 (2nd ed.), § 0.4. pg 16.</ref> किसी भी <math>u_0\in X</math> के लिए <math>u_0\in X</math> यह इसके पहले तत्व के रूप में <math>u_0</math>के साथ एक अद्वितीय अनुक्रम को परिभाषित करता है, जिसे प्रारंभिक मूल्य। 

अनुक्रमणिका 1 या उच्चतर की अवधि से अनुक्रम प्राप्त करने के लिए परिभाषा को संशोधित करना आसान है।

यह प्रथम कोटि के पुनरावर्तन संबंध को परिभाषित करता है। क्रम {{mvar|k}} के पुनरावृत्ति संबंध का रूप है
:<math>u_n=\varphi(n, u_{n-1}, u_{n-2}, \ldots, u_{n-k})\quad\text{for}\quad n\ge k,</math>
जहाँ  <math>\varphi: \mathbb N\times X^k \to X</math> एक ऐसा फंक्शन है जिसमें {{mvar|k}} अनुक्रम के लगातार तत्व सम्मिलित है । इस स्थिति में, किसी क्रम को परिभाषित करने के लिए {{mvar|k}} प्रारंभिक मानों की आवश्यकता होती है। 

== उदाहरण ==

=== [[कारख़ाने का|क्रमगुणित]] ===
क्रमगुणित को पुनरावृत्ति संबंध द्वारा परिभाषित किया गया है
:<math>n!=n(n-1)!\quad\text{for}\quad n>0,</math>
और प्रारंभिक स्थिति
:<math>0!=1.</math>
यह सरल बहुपद के साथ क्रम 1 के बहुपद गुणांकों के साथ रैखिक पुनरावृत्ति का एक उदाहरण है
:<math>f(n)=n</math>
इसके एकमात्र गुणांक के रूप में।

=== लॉजिस्टिक मानचित्र ===
पुनरावृत्ति संबंध का एक उदाहरण [[रसद मानचित्र|तार्किक मानचित्र]] है:

:<math>x_{n+1} = r x_n (1 - x_n),</math>
दिए गए स्थिरांक के साथ <math>r</math>; दिया गया आरंभिक पद  <math>x_0</math> प्रत्येक अनुवर्ती पद इस संबंध द्वारा निर्धारित होता है।

=== फाइबोनैचि संख्या ===
फाइबोनैचि संख्याओं द्वारा संतुष्ट क्रम दो की पुनरावृत्ति निरंतर गुणांक के साथ एक सजातीय [[रैखिक पुनरावृत्ति]] संबंध का विहित उदाहरण है (नीचे देखें)। फाइबोनैचि अनुक्रम को पुनरावृत्ति का उपयोग करके परिभाषित किया गया है

:<math>F_n = F_{n-1}+F_{n-2}</math>
प्रारंभिक शर्तों के साथ

:<math>F_0 = 0</math>
:<math>F_1 = 1.</math>
स्पष्ट रूप से, पुनरावृत्ति से समीकरण प्राप्त होते हैं
:<math>F_2 = F_1 + F_0</math>
:<math>F_3 = F_2 + F_1</math>
:<math>F_4 = F_3 + F_2</math>
आदि।

हम फाइबोनैचि संख्याओं का क्रम प्राप्त करते हैं, जो शुरू होता है
: 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, ...

पुनरावर्तन को नीचे वर्णित उपायों से समाधान किया जा सकता है, जो बिनेट के सूत्र को दर्शाता है, जिसमें विशेषता बहुपद की दो जड़ों की शक्तियां सम्मलित होती हैं। <math>t^2 = t + 1</math>; अनुक्रम का [[जनरेटिंग फ़ंक्शन|उत्पादक फ़ंक्शन]] तर्कसंगत फ़ंक्शन है
:  <math>\frac{t}{1-t-t^2}.</math>


=== [[द्विपद गुणांक]] ===
बहुआयामी पुनरावृत्ति संबंध का एक सरल उदाहरण द्विपद गुणांक <math>\tbinom{n}{k}</math>, द्वारा दिया गया है, जो <math>k</math> को चुनने के उपायों की गणना करते हैं। k तत्व <math>n</math>  तत्वों के एक समुच्च से बाहर है। इनकी गणना पुनरावृत्ति संबंध द्वारा की जा सकती है 
:<math>\binom{n}{k}=\binom{n-1}{k-1}+\binom{n-1}{k},</math>
आधार स्थिति के साथ <math>\tbinom{n}{0}=\tbinom{n}{n}=1</math>. सभी द्विपद गुणांकों के मूल्यों की गणना करने के लिए इस सूत्र का उपयोग करने से पास्कल का त्रिकोण नामक एक अनंत सरणी उत्पन्न होती है। समान मूल्यों की सीधे एक भिन्न सूत्र द्वारा गणना की जा सकती है जो पुनरावृत्ति नहीं है, लेकिन तथ्यात्मक, गुणन और विभाजन का उपयोग करता है, न कि केवल जोड़:
:<math>\binom{n}{k}=\frac{n!}{k!(n-k)!}.</math>
द्विपद गुणांकों की गणना एक आयामी पुनरावृत्ति के साथ भी की जा सकती है:
:<math>\binom n k = \binom n{k-1}(n-k+1)/k,</math>
प्रारंभिक मूल्य के साथ <math display = inline>\binom n 0 =1</math> (विभाजन को एक अंश के रूप में प्रदर्शित नहीं किया जाता है, यह बल देने के लिए कि इसे गुणा के बाद गणना की जानी चाहिए, भिन्नात्मक संख्याओं को दर्शाने के लिए नहीं)।यह पुनरावृत्ति कंप्यूटर में व्यापक रूप से उपयोग की जाती है क्योंकि इसमें तालिका बनाने की आवश्यकता नहीं होती है जैसा कि द्वि-आयामी पुनरावृत्ति करता है, और इसमें बहुत बड़े पूर्णांक सम्मिलित होते हैं जैसा कि क्रमगुणित के साथ सूत्र (यदि कोई उपयोग करता है) <math display = inline>\binom nk= \binom n{n-k}, </math> सभी सम्मिलित पूर्णांक अंतिम परिणाम से छोटे हैं)।

== अवकल ऑपरेटर और अवकल समीकरण {{anchor|Relationship to difference equations narrowly defined}} ==

{{vanchor|अवकल ऑपरेटर}} एक [[ऑपरेटर (गणित)]] है जो अनुक्रमों को मैप करता है, और, अधिक सामान्यतः, फ़ंक्शन (गणित) को कार्यों के लिए। यह सामान्यतः <math>\Delta,</math> डेल्टा से निरूपित किया जाता है और कार्यात्मक संकेतन में परिभाषित किया जाता है, जैसा कि  
:<math>(\Delta f)(x)=f(x+1)-f(x).</math>
इस प्रकार यह [[परिमित अंतर|परिमित अवकल]] का एक विशेष विषय है।

अनुक्रमों के लिए सूचकांक संकेतन का उपयोग करते समय, परिभाषा बन जाती है
:<math>(\Delta a)_n= a_{n+1} - a_n.</math>
<math>\Delta f</math> तथा <math>\Delta a</math> के आसपास कोष्ठक सामान्यतः छोड़े जाते हैं, और <math>\Delta a_n</math>अनुक्रम में अनुक्रमणिका {{mvar|n}} के शब्द के रूप में समझा जाना चाहिए न कि <math>\Delta</math> तत्व पर लागू <math>a_n.</math> दिया गया क्रम <math>a=(a_n)_{n\in \N},</math>  {{mvar|a}} का पहला अवकल है <math>\Delta a.</math>     
 दूसरा अवकल है <math>\Delta^2 a=(\Delta\circ\Delta)a= \Delta(\Delta a).</math> एक साधारण गणना यह दर्शाती है
:<math>\Delta^2 a_n= a_{n+2} - 2a_{n+1} + a_n.</math>
अधिक सामान्यतः {{mvar|k}} अवकल को पुनरावर्ती रूप से परिभाषित किया जाता है <math>\Delta^k=\Delta\circ \Delta^{k-1},</math> और एक के पास है
:<math>\Delta^k a_n = \sum_{t=0}^k (-1)^t \binom{k}{t} a_{n+k-t}.</math>
यह रिश्ता उलटा हो सकता है, दे रहा है
:<math>a_{n+k} = a_n + {k\choose 1} \Delta a_n  + \cdots + {k\choose k} \Delta^k(a_n).</math>
कोटि {{mvar|k}}  का अवकल एक ऐसा समीकरण है जिसमें किसी अनुक्रम या फलन  {{mvar|k}}  के पहले अवकल सम्मलित होते हैं, ठीक उसी तरह जैसे {{mvar|k}} क्रम का अवकल समीकरण किसी फलन के {{mvar|k}} पहले अवकलजों को संबंधित करता है।  

उपरोक्त दो संबंध क्रम {{mvar|k}} के पुनरावृत्ति संबंध को बदलने की अनुमति देते हैं और इसके विपरीत, क्रम {{mvar|k}} के अवकल समीकरण को क्रम  के अवकल समीकरण में ,{{mvar|k}}  के पुनरावृत्ति संबंध में बदलने की अनुमति देते हैं। प्रत्येक परिवर्तन दूसरे का व्युत्क्रम है, और अनुक्रम जो अवकल समीकरण के समाधान हैं, ठीक वही हैं जो पुनरावृत्ति संबंध को संतुष्ट करते हैं। 

उदाहरण के लिए, अवकल समीकरण
:<math>3\Delta^2 a_n + 2\Delta a_n + 7a_n = 0</math>
पुनरावृत्ति संबंध के बराबर है
:<math>3a_{n+2} = 4a_{n+1} - 8a_n,</math>
इस अर्थ में कि दो समीकरण एक ही क्रम से संतुष्ट होते हैं।

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

अवकल समीकरण समान होते हैं, और इस समानता का उपयोग अधिकांशतः अवकल समीकरणों को समाधान करने के लिए भिन्न -भिन्न समीकरणों को समाधान करने के उपायों की नकल करने के लिए किया जाता है,और इसलिए पुनरावृत्ति संबंध।

[[योग समीकरण]] अवकल समीकरणों से संबंधित होते हैं क्योंकि [[अभिन्न समीकरण]] अवकल समीकरणों से संबंधित होते हैं। अवकल समीकरणों के सिद्धांत के साथ अवकल समीकरणों के एकीकरण के लिए [[समय पैमाने की गणना]] देखें।

=== अनुक्रम से ग्रिड तक ===
एकल-चर या एक-आयामी पुनरावृत्ति संबंध अनुक्रमों के बारे में हैं (अर्थात एक-आयामी ग्रिड पर परिभाषित कार्य)। बहु-चर या <math>n</math>-आयामी पुनरावृत्ति संबंध  <math>n</math>-आयामी ग्रिड के बारे में हैं। आंशिक अवकल समीकरणों के साथ <math>n</math>-ग्रिड्स पर परिभाषित कार्यों का भी अध्ययन किया जा सकता है।<ref>[https://books.google.com/books?id=1klnDGelHGEC Partial difference equations], Sui Sun Cheng, CRC Press, 2003, {{isbn|978-0-415-29884-1}}</ref>

== सुलझाना ==

=== निरंतर गुणांकों के साथ रैखिक पुनरावृत्ति संबंधों को समाधान करना ===
{{main|निरंतर गुणांक के साथ रैखिक पुनरावृत्ति}}


=== चर गुणांकों के साथ प्रथम-क्रम गैर-सजातीय पुनरावृत्ति संबंधों को समाधान करना ===
इसके अतिरिक्त, चर गुणांक के साथ सामान्य प्रथम-क्रम गैर-सजातीय रैखिक पुनरावृत्ति संबंध के लिए:

:<math>a_{n+1} = f_n a_n + g_n, \qquad f_n \neq 0,</math>
इसे समाधान करने का एक अच्छा उपाय भी है:<ref>{{cite web |url=http://faculty.pccu.edu.tw/%7Emeng/Math15.pdf |title=संग्रहीत प्रति|access-date=2010-10-19 |url-status=live |archive-url=https://web.archive.org/web/20100705023731/http://faculty.pccu.edu.tw/~meng/Math15.pdf |archive-date=2010-07-05 }}</ref>
:<math>a_{n+1} - f_n a_n = g_n</math>
:<math>\frac{a_{n+1}}{\prod_{k=0}^n f_k} - \frac{f_n a_n}{\prod_{k=0}^n f_k} = \frac{g_n}{\prod_{k=0}^n f_k}</math>
:<math>\frac{a_{n+1}}{\prod_{k=0}^n f_k} - \frac{a_n}{\prod_{k=0}^{n-1} f_k} = \frac{g_n}{\prod_{k=0}^n f_k}</math>
होने देना
:<math>A_n = \frac{a_n}{\prod_{k=0}^{n-1} f_k},</math>
फिर
:<math>A_{n+1} - A_n = \frac{g_n}{\prod_{k=0}^n f_k}</math>
:<math>\sum_{m=0}^{n-1}(A_{m+1} - A_m) = A_n - A_0 = \sum_{m=0}^{n-1}\frac{g_m}{\prod_{k=0}^m f_k}</math>
:<math>\frac{a_n}{\prod_{k=0}^{n-1} f_k} = A_0 + \sum_{m=0}^{n-1}\frac{g_m}{\prod_{k=0}^m f_k}</math>
:<math>a_n = \left(\prod_{k=0}^{n-1} f_k \right) \left(A_0 + \sum_{m=0}^{n-1}\frac{g_m}{\prod_{k=0}^m f_k}\right)</math>
यदि हम सूत्र को <math>a_{n+1} = (1 + h f_{nh}) a_n + hg_{nh}</math> पर लागू करते हैं और <math>h \to 0</math> की सीमा लें, हमें चर गुणांक वाले रैखिक अवकल समीकरणों के पहले क्रम का सूत्र मिलता है; योग एक अभिन्न बन जाता है, और उत्पाद एक अभिन्न अंग का घातीय कार्य बन जाता है।  

=== सामान्य सजातीय रैखिक पुनरावृत्ति संबंधों को समाधान करना ===
[[सामान्यीकृत हाइपरज्यामितीय श्रृंखला|सामान्यीकृत अतिज्यामितीय श्रृंखला]] के माध्यम से कई सजातीय रैखिक पुनरावृत्ति संबंधों को समाधान किया जा सकता है। इनके विशेष स्थिति [[ऑर्थोगोनल बहुपद|ऑर्थोगोनल बहुपदो]] और कई विशेष कार्यों के लिए पुनरावृत्ति संबंधों की ओर ले जाते हैं। उदाहरण के लिए, का समाधान

:<math>J_{n+1}=\frac{2n}{z}J_n-J_{n-1}</math>
द्वारा दिया गया है

:<math>J_n=J_n(z), </math>
[[बेसेल समारोह|बेसेल फंक्शन]], जबकि

:<math>(b-n)M_{n-1} +(2n-b-z)M_n - nM_{n+1}=0 </math>
द्वारा समाधान किया जाता है

:<math>M_n=M(n,b;z) </math>
[[संगम हाइपरज्यामितीय श्रृंखला|संगम अतिज्यामितीय श्रृंखला]]। अनुक्रम जो बहुपद गुणांक वाले रैखिक अवकल समीकरणों के समाधान हैं, [[पी-पुनरावर्ती समीकरणों के बहुपद समाधान|P-पुनरावर्ती]] कहलाते हैं।समीकरण के समाधान हैं इन विशिष्ट पुनरावृत्ति समीकरणों के लिए कलन विधि

ज्ञात हैं जो बहुपद, परिमेय या अतिज्यामितीय समाधान खोजते हैं। 

=== प्रथम-क्रम तर्कसंगत अवकल समीकरणों को समाधान करना ===
{{Main|तर्कसंगत अंतर समीकरण}}
पहले क्रम के तर्कसंगत अवकल समीकरण का रूप <math>w_{t+1} = \tfrac{aw_t+b}{cw_t+d}</math> होता है . इस प्रकार के एक समीकरण को <math>w_t</math>को एक अन्य चर <math>x_t</math>  के गैर-रैखिक परिवर्तन के रूप में लिखकर समाधान किया जा सकता है जो स्वयं रैखिक रूप से विकसित होता है। फिर <math>x_t</math> में रैखिक अवकल समीकरण को समाधान करने के लिए मानक विधियों का उपयोग किया जा सकता है।  

== स्थिरता ==

=== रैखिक उच्च-क्रम पुनरावृत्तियों की स्थिरता ===
आदेश की रैखिक पुनरावृत्ति <math>d</math>,

:<math>a_n = c_1a_{n-1} + c_2a_{n-2}+\cdots+c_da_{n-d},  </math>
[[विशेषता बहुपद]] है

:<math>\lambda^d - c_1 \lambda^{d-1} - c_2 \lambda^{d-2} - \cdots - c_d \lambda^0 =0. </math>
पुनरावृत्ति [[स्थिरता सिद्धांत]] है, जिसका अर्थ है कि पुनरावृत्त एक निश्चित मूल्य के लिए असम्बद्ध रूप से अभिसरण करते हैं,और केवल [[Index.php?title=आइगेनवैल्यूज़|आइगेनवैल्यूज़]] ( विशेषता समीकरण की जड़ें), चाहे वास्तविक या जटिल, पूर्ण मूल्य में [[एकता (गणित)]] से कम हैं I

=== रैखिक प्रथम-क्रम मैट्रिक्स पुनरावृत्तियों की स्थिरता ===
{{Main|मैट्रिक्स अंतर समीकरण}}
पहले क्रम के मैट्रिक्स अवकल समीकरण में

:<math>[x_t - x^*] = A[x_{t-1}-x^*]</math>
स्टेट वेक्टर के साथ  <math>x</math> और संक्रमण मैट्रिक्स  <math>A</math>, <math>x</math> असम्बद्ध रूप से स्थिर अवस्था वेक्टर <math>x^*</math> में परिवर्तित हो जाता है  यदि केवल यदि संक्रमण मैट्रिक्स <math>A</math> के सभी आइजन मूल्य(चाहे वास्तविक हो या जटिल) का एक निरपेक्ष मान होता है जो 1 से कम होता है।

=== अरेखीय प्रथम-क्रम पुनरावृत्तियों की स्थिरता ===
अरेखीय प्रथम-क्रम पुनरावृत्ति पर विचार करें

:<math>x_n=f(x_{n-1}).</math>
यह पुनरावृत्ति स्थिरता सिद्धांत है, जिसका अर्थ है कि यह अनुक्रम को एक निश्चित बिंदु <math>x^*</math> से पर्याप्त रूप से <math>x^*</math> के निकट बिंदुओं से अभिसरण करता है, यदि <math>x^*</math> के पड़ोस में <math>f</math> का स्लोप निरपेक्ष मान में एकता से छोटा है: अर्थात 

: <math>| f' (x^*) | < 1. </math>
एक अरेखीय पुनरावृत्ति में कई निश्चित बिंदु हो सकते हैं, इस स्थिति में कुछ निश्चित बिंदु स्थानीय रूप से स्थिर हो सकते हैं और अन्य स्थानीय रूप से अस्थिर हो सकते हैं; निरंतर च के लिए दो आसन्न निश्चित बिंदु दोनों स्थानीय रूप से स्थिर नहीं हो सकते।

एक अरैखिक पुनरावृत्ति संबंध में <math>k > 1</math> के लिए <math>k</math>  अवधि का एक चक्र भी हो सकता है। ऐसा चक्र स्थिर होता है, जिसका अर्थ है कि यह सकारात्मक माप की प्रारंभिक स्थितियों के एक समुच्चय को आकर्षित करता है, यदि समग्र कार्य  

<math>g(x) := f \circ f \circ \cdots \circ f(x)</math>

<math>f</math> <math>k</math>  बार प्रदर्शित होने के साथ समान मानदंड के अनुसार स्थानीय रूप से स्थिर है:

: <math>| g' (x^*) | < 1,</math>
जहां <math>x^*</math> चक्र पर कोई बिंदु है।

[[अराजकता सिद्धांत]] में पुनरावृत्ति संबंध, चर <math>x</math> एक बंधे हुए क्षेत्र में रहता है लेकिन कभी भी एक निश्चित बिंदु या एक आकर्षक चक्र में परिवर्तित नहीं होता है; समीकरण के कोई निश्चित बिंदु या चक्र अस्थिर हैं। लॉजिस्टिक मैप, [[युग्मक परिवर्तन]] और [[तम्बू का नक्शा|तम्बू का चित्र]]  भी देखें।

== अवकल समीकरणों से संबंध ==
एक साधारण अवकल समीकरण संख्यात्मक साधारण अवकल समीकरण को समाधान करते समय, एक विशिष्ट रूप से एक पुनरावृत्ति संबंध का सामना करना पड़ता है। उदाहरण के लिए, [[प्रारंभिक मूल्य समस्या]] को समाधान करते समय

:<math>y'(t) = f(t,y(t)), \ \ y(t_0)=y_0,</math>
यूलर की विधि और एक कदम आकार के साथ <math>h</math>, मूल्यों की गणना करता है

:<math>y_0=y(t_0), \ \ y_1=y(t_0+h), \ \ y_2=y(t_0+2h), \ \dots</math>
पुनरावृत्ति द्वारा

:<math>\, y_{n+1} = y_n + hf(t_n,y_n), t_n = t_0 + nh </math>
रेखीय प्रथम क्रम के अवकल समीकरणों के प्रणाली को विवेचनात्मक लेख में दिखाए गए उपायों का उपयोग करके स्पष्ट रूप से विश्लेषणात्मक रूप से विखंडित किया जा सकता है।

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

=== [[गणितीय जीव विज्ञान]] ===
जनसंख्या की गतिशीलता को मॉडल करने के प्रयास में कुछ सबसे प्रसिद्ध अवकल समीकरणों की उत्पत्ति हुई है। उदाहरण के लिए, फाइबोनैचि संख्याओं को एक बार खरगोशों की [[आबादी]] के विकास के लिए एक मॉडल के रूप में प्रयोग किया गया था।

रसद मानचित्र का उपयोग या तो सीधे जनसंख्या वृद्धि के मॉडल के लिए किया जाता है, या जनसंख्या गतिशीलता के अधिक विस्तृत मॉडल के लिए प्रारंभिक बिंदु के रूप में किया जाता है। इस संदर्भ में, युग्मित अवकल समीकरणों का उपयोग अधिकांशतः दो या दो से अधिक आबादी की बातचीत के मॉडल के लिए किया जाता है। उदाहरण के लिए, मेजबान-[[परजीवी]] बातचीत के लिए निकोलसन-बेली मॉडल द्वारा दिया गया है-

:<math>N_{t+1} = \lambda N_t e^{-aP_t} </math>
:<math>P_{t+1} = N_t(1-e^{-aP_t}), </math>
<math>N_t</math>  मेजबान का प्रतिनिधित्व करते हुए, और <math>P_t</math> समय पर <math>t</math>  

[[इंटीग्रोडिफेरेंस समीकरण|एकीकरण समीकरण]] पुनरावृत्ति संबंध का एक रूप है जो स्थानिक पारिस्थितिकी के लिए महत्वपूर्ण है। ये और अन्य अवकल समीकरण विशेष रूप से [[voltinism|वोल्टेनिसम]] आबादी के मॉडलिंग के लिए अनुकूल हैं।

=== [[कंप्यूटर विज्ञान]] ===
एल्गोरिदम के विश्लेषण में पुनरावृत्ति संबंध भी मूलभूत महत्व के हैं।<ref>Cormen, T. et al, ''Introduction to Algorithms'', MIT Press, 2009</ref><ref>R. Sedgewick, F. Flajolet, ''An Introduction to the Analysis of Algorithms'', Addison-Wesley, 2013</ref> यदि एक कलन विधि को इस प्रकार से डिज़ाइन किया गया है कि यह एक समस्या को छोटे उप-समस्याओं (विभाजित और जीत [[कलन विधि]]) में तोड़ देगा, तो इसके चलने का समय पुनरावृत्ति संबंध द्वारा वर्णित किया गया है।

सबसे खराब स्थिति में <math>n</math> तत्वों वाले गण किए गए सदिश में किसी तत्व को खोजने में लगने वाला समय एक सरल उदाहरण है। 

एक भोली  कलन विधि एक समय में एक तत्व को बाएं से दाएं खोजेगा। सबसे खराब संभावित परिदृश्य तब होता है जब आवश्यक तत्व अंतिम होता है, इसलिए तुलना की संख्या <math>n</math> होती है I

एक अच्छा कलन विधि को [[बाइनरी सर्च एल्गोरिथम|बाइनरी खोज कलन विधि]] कहा जाता है। चूँकि, इसके लिए एक क्रमबद्ध वेक्टर की आवश्यकता होती है। यह पहले जांच करेगा कि तत्व वेक्टर के बीच में है या नहीं। यदि नहीं, तो यह जाँच करेगा कि मध्य तत्व वांछित तत्व से अधिक या कम है या नहीं। इस बिंदु पर, आधे वेक्टर को छोड़ दिया जा सकता है, और कलन विधि को दूसरे आधे हिस्से पर फिर से चलाया जा सकता है। तुलना की संख्या द्वारा दिया जाएगा

:<math>c_1=1</math>
:<math>c_n=1+c_{n/2}</math>
जिसकी [[समय जटिलता]] होगी <math>O(\log_2(n))</math>.

=== [[अंकीय संकेत प्रक्रिया]] ===
डिजिटल संकेत प्रसंस्करण में, पुनरावृत्ति संबंध एक प्रणाली में प्रतिक्रिया को मॉडल कर सकते हैं, जहां एक समय में आउटपुट भविष्य के समय के लिए इनपुट बन जाते हैं। वे इस प्रकार [[अनंत आवेग प्रतिक्रिया]] (आईआईआर) [[डिजिटल फिल्टर]] में उत्पन्न होते हैं।

उदाहरण के लिए, विलंब  <math>T</math> के आगे आईआईआर [[कंघी फिल्टर]] के लिए समीकरण  है:

:<math>y_t = (1 - \alpha) x_t + \alpha y_{t - T},</math>
जहां <math>x_t</math> समय पर इनपुट है <math>t</math>, <math>y_t</math> समय पर आउटपुट है <math>t</math>, तथा <math>\alpha</math> यह नियंत्रित करता है कि कितने विलंबित संकेत को आउटपुट में वापस फीड किया जाता है। इससे हम यह देख सकते हैं

:<math>y_t = (1 - \alpha) x_t + \alpha ((1-\alpha) x_{t-T} + \alpha y_{t - 2T})</math>
:<math>y_t = (1 - \alpha) x_t + (\alpha-\alpha^2) x_{t-T}  + \alpha^2 y_{t - 2T}</math>
आदि।

=== [[अर्थशास्त्र]] ===
{{see also|समय श्रृंखला विश्लेषण|एक साथ समीकरण मॉडल}}
पुनरावृत्ति संबंध, विशेष रूप से रैखिक पुनरावृत्ति संबंध, सैद्धांतिक और अनुभवजन्य अर्थशास्त्र दोनों में बड़े पैमाने पर उपयोग किए जाते हैं।<ref>{{cite book |first1=Nancy L. |last1=Stokey |author-link=Nancy Stokey | first2=Robert E. Jr. |last2=Lucas |author-link2=Robert Lucas, Jr. |first3=Edward C. |last3=Prescott |author-link3=Edward C. Prescott |title=आर्थिक गतिशीलता में पुनरावर्ती तरीके|location=Cambridge |publisher=Harvard University Press |year=1989 |isbn=0-674-75096-9 |url=https://books.google.com/books?id=BgQ3AwAAQBAJ }}</ref><ref>{{cite book |last2=Sargent |first2=Thomas J. |author-link2=Thomas J. Sargent |first1=Lars |last1=Ljungqvist |author-link=Lars Ljungqvist |title=पुनरावर्ती मैक्रोइकॉनॉमिक थ्योरी|location=Cambridge |publisher=MIT Press |edition=Second |year=2004 |isbn=0-262-12274-X |url=https://archive.org/details/recursivemacroec02edljun |url-access=registration }}</ref> विशेष रूप से, मैक्रो अर्थशास्त्र में अर्थव्यवस्था के विभिन्न व्यापक क्षेत्रों (वित्तीय क्षेत्र, माल क्षेत्र, श्रम बाजार, आदि) का एक मॉडल विकसित किया जा सकता है जिसमें कुछ एजेंटों के कार्य पिछड़े चर पर निर्भर करते हैं। मॉडल को तब अन्य चरों के पिछले और वर्तमान मूल्यों के संदर्भ में प्रमुख चर ([[ब्याज दर]], वास्तविक [[सकल घरेलू उत्पाद]], आदि) के वर्तमान मूल्यों के लिए समाधान किया जाएगा।

== यह भी देखें ==
{{colbegin}}
* होलोनोमिक फ़ंक्शन
* [[पुनरावृत्त समारोह]]
* ओर्थोगोनल बहुपद
* [[प्रत्यावर्तन]]
* [[रिकर्सन (कंप्यूटर विज्ञान)]]
* [[लैग्ड फाइबोनैचि जनरेटर]]
* [[मास्टर प्रमेय (एल्गोरिदम का विश्लेषण)]]
* [[सर्कल पॉइंट्स सेगमेंट प्रूफ]]
* [[निरंतर अंश]]
* टाइम स्केल कैलकुलस
* [[संयुक्त सिद्धांत]]
* अनंत आवेग प्रतिक्रिया
* [[कमी सूत्रों द्वारा एकीकरण]]
* [[गणितीय अधिष्ठापन]]
{{colend}}


== संदर्भ ==



=== फ़ुटनोट्स ===
{{reflist}}


=== ग्रन्थसूची ===
* {{cite book|first1=Paul M. | last1=Batchelder
|title=An introduction to linear difference equations
|year=1967
|publisher=Dover Publications
}}
* {{cite book|first1=Kenneth S. | last1=Miller
|title=Linear difference equations
|year=1968 | publisher=W. A. Benjamin
}}
* {{cite news|first1=Jay P. | last1=Fillmore | first2=Morris L. | last2=Marx
|title=Linear recursive sequences | journal= SIAM Rev. | volume=10|number=3
|pages=324–353 | jstor=2027658| year=1968}}
* {{cite book| first1=Alfred | last1=Brousseau
|title=Linear Recursion and Fibonacci Sequences
|year=1971
|publisher=Fibonacci Association
|url=http://www.fq.math.ca/linear.html
}}
* [[Thomas H. Cormen]], [[Charles E. Leiserson]], [[Ronald L. Rivest]], and [[Clifford Stein]]. ''[[Introduction to Algorithms]]'', Second Edition. MIT Press and McGraw-Hill, 1990. {{isbn|0-262-03293-7}}. Chapter 4: Recurrences, pp.&nbsp;62–90.
*{{cite book| first1=Ronald L. | last1=Graham |
first2=Donald E. | last2=Knuth
|first3=Oren | last3=Patashnik
|title=Concrete Mathematics: A Foundation for Computer Science
|edition=2
|publisher=Addison-Wesley
|year=1994 |isbn=0-201-55802-5
}}
*{{cite book
 |year        = 2010
 |url         = http://eu.wiley.com/WileyCDA/WileyTitle/productCd-EHEP000338.html
 |first1      = Walter
 |last1       = Enders
 |title       = Applied Econometric Times Series
 |edition     = 3
 |url-status     = dead
 |archive-url  = https://web.archive.org/web/20141110221941/http://eu.wiley.com/WileyCDA/WileyTitle/productCd-EHEP000338.html
 |archive-date = 2014-11-10
}}
*{{cite book| first1=Paul | last1=Cull | first2=Mary | last2=Flahive|author2-link= Mary Flahive
|first3=Robbie | last3=Robson
|title=Difference Equations: From Rabbits to Chaos
|title-link= Difference Equations: From Rabbits to Chaos
|publisher=Springer | year=2005 | isbn=0-387-23234-6 }} chapter 7.
* {{cite book| first1=Ian | last1=Jacques
|title=Mathematics for Economics and Business
| url=https://archive.org/details/mathematicsforec00jacq | url-access=limited |edition=Fifth
|publisher=Prentice Hall
|year=2006
|isbn=0-273-70195-9
|pages=[https://archive.org/details/mathematicsforec00jacq/page/n561 551]–568
}} Chapter 9.1: Difference Equations.
* {{cite web | first1=Tang | last1=Minh | first2=Tan | last2=Van To | title=Using generating functions to solve linear inhomogeneous recurrence equations | pages=399–404 | url=http://www.wseas.us/e-library/conferences/2006lisbon/papers/517-481.pdf | year=2006 | work=Proc. Int. Conf. Simulation, Modelling and Optimization, SMO'06 | access-date=2014-08-07 | archive-date=2016-03-04 | archive-url=https://web.archive.org/web/20160304035925/http://www.wseas.us/e-library/conferences/2006lisbon/papers/517-481.pdf | url-status=dead }}
* {{cite web| first1=Andrei D. | last1=Polyanin
|title=Difference and Functional Equations: Exact Solutions
|url=http://eqworld.ipmnet.ru/en/solutions/fe.htm}} at EqWorld - The World of Mathematical Equations.
* {{cite web| first1=Andrei D. | last1=Polyanin
|title=Difference and Functional Equations: Methods
|url=http://eqworld.ipmnet.ru/en/education/edu-fe.htm}} at EqWorld - The World of Mathematical Equations.
*{{cite journal | first1= Xiang-Sheng | last1=Wang
| first2=Roderick | last2=Wong
|title= Asymptotics of orthogonal polynomials via recurrence relations
|journal =  Anal. Appl. | year=2012 | volume=10 | number=2
|pages=215–235 | doi=10.1142/S0219530512500108 
|arxiv=1101.4371| s2cid=28828175
}}



==इस पेज में लापता आंतरिक लिंक की सूची==

*अंक शास्त्र
*रैखिक प्रकार्य
*फाइबोनैचि संख्या
*निरंतर गुणांक के साथ रैखिक पुनरावृत्ति
*बंद रूप अभिव्यक्ति
*बंद रूप समाधान
*विशेष कार्य
*टपल
*बहुआयामी सरणी
*आरंभिक दशा
*तर्कसंगत कार्य
*समारोह (गणित)
*कार्यात्मक अंकन
*साधारण अवकल समीकरण
*उलटा काम करना
*तर्कसंगत अवकल समीकरण
*रैखिक अवकल समीकरण
*विशेष समारोह
*निरपेक्ष मूल्य
*अनुक्रम की सीमा
*संख्यात्मक साधारण अवकल समीकरण
*विवेक
*जनसंख्या में गतिशीलता
*परिस्थितिकी
*एल्गोरिदम का विश्लेषण
*फूट डालो और जीतो एल्गोरिथम
== बाहरी संबंध ==
* {{springer|title=Recurrence relation|id=p/r080150}}
* {{MathWorld | urlname= RecurrenceEquation | title= Recurrence Equation}}
* {{cite web |title= OEIS Index Rec|url=http://oeis.org/wiki/Index_to_OEIS:_Section_Rec}} [[OEIS]] index to a few thousand examples of linear recurrences, sorted by order (number of terms) and signature (vector of values of the constant coefficients)

{{Authority control}}
[[Category:बीजगणित]]
[[Category:पुनरावृत्ति संबंध| ]]
[[Category: संयोजन विज्ञान]]


[[Category: Machine Translated Page]]
[[Category:Created On 29/11/2022]]