View source for स्थिरांक-पुनरावर्ती अनुक्रम

[[File:Fibonacci sequence.jpg|thumb|350px|right|फाइबोनैचि अनुक्रम स्थिरांक-पुनरावर्ती है: अनुक्रम का प्रत्येक तत्व पिछले दो का योग है।]]
[[File:Constant-recursive-sequences.svg|thumb|350px|right|स्थिरांक-पुनरावर्ती अनुक्रमों के कुछ उपवर्गों का हस्से आरेख, समावेशन द्वारा आदेशित]]गणित और [[सैद्धांतिक कंप्यूटर विज्ञान|सैद्धांतिक अभिकलित्र विज्ञान]] में, एक '''स्थिरांक-पुनरावर्ती क्रम''' [[संख्या|संख्याओं]] का एक अनंत अनुक्रम होता है, जहां [[अनुक्रम]] में प्रत्येक संख्या अपने तत्काल पूर्ववर्तियों में से एक या अधिक के निश्चित [[रैखिक संयोजन]] के समान होती है। एक '''स्थिरांक-पुनरावर्ती अनुक्रम''' को '''रैखिक पुनरावृत्ति अनुक्रम''', '''रैखिक-पुनरावर्ती अनुक्रम''', '''रैखिक-आवर्तक अनुक्रम''', '''C-परिमित अनुक्रम''',{{sfn|Kauers|Paule|2010|p=63}} या स्थिरांक गुणांक वाले रैखिक पुनरावृत्ति के समाधान के रूप में भी जाना जाता है।

स्थिरांक-पुनरावर्ती अनुक्रम का सबसे प्रसिद्ध उदाहरण [[फाइबोनैचि संख्या]] <math>0, 1, 1, 2, 3, 5, 8, 13, \ldots</math> है, जिसमें प्रत्येक संख्या पूर्व दो का योग है।{{sfn|Kauers|Paule|2010|p=70}} दो अनुक्रमों <math>1, 2, 4, 8, 16, \ldots</math> की शक्ति भी स्थिरांक-पुनरावर्ती है क्योंकि प्रत्येक संख्या पूर्व संख्या के दोगुने का योग है। [[वर्ग संख्या|वर्ग संख्य]] अनुक्रम <math>0, 1, 4, 9, 16, 25, \ldots</math> भी स्थिरांक-पुनरावर्ती है। हालाँकि, सभी अनुक्रम स्थिरांक-पुनरावर्ती नहीं होते हैं; उदाहरण के लिए, [[ कारख़ाने का |क्रमगुणित]] अनुक्रम <math>1, 1, 2, 6, 24, 120, \ldots</math> स्थिरांक-पुनरावर्ती नहीं है। सभी [[अंकगणितीय प्रगति]], सभी ज्यामितीय प्रगति और सभी [[बहुपद]] स्थिरांक-पुनरावर्ती हैं।

औपचारिक रूप से, संख्याओं का एक क्रम <math>s_0, s_1, s_2, s_3, \ldots</math> स्थिरांक-पुनरावर्ती है यदि यह [[पुनरावृत्ति संबंध]] को संतुष्ट करता है।
:<math display="block">s_n = c_1 s_{n-1} + c_2 s_{n-2} + \dots + c_d s_{n-d}</math>
जहाँ <math>c_i</math> [[स्थिर (गणित)|स्थिरांक]] हैं। उदाहरण के लिए, फाइबोनैचि अनुक्रम पुनरावृत्ति संबंध <math>F_n = F_{n-1} + F_{n-2}</math> को संतुष्ट करता है, जहाँ <math>F_n</math>, <math>n</math>वीं फाइबोनैचि संख्या है।

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

स्कोलेम-महलर-लेच प्रमेय में कहा गया है कि स्थिरांक-पुनरावर्ती अनुक्रम के शून्यों में नियमित रूप से दोहराए जाने वाले (अंततः आवधिक) रूप होते हैं। दूसरी ओर, स्कोलेम समस्या, जो यह निर्धारित करने के लिए एक कलन विधि की मांग करती है कि क्या रैखिक पुनरावृत्ति में कम से कम एक शून्य है, गणित में असमाधानित समस्या है।

{{clear|दाहिने}}

== परिभाषा ==

एक स्थिरांक-पुनरावर्ती अनुक्रम [[पूर्णांक|पूर्णांकों]], परिमेय संख्याओं, [[बीजगणितीय संख्या|बीजगणितीय संख्याओं]], [[वास्तविक संख्या|वास्तविक संख्याओं]] या [[जटिल संख्या|सम्मिश्र संख्याओं]] <math>s_0, s_1, s_2, s_3, \ldots</math> ( संक्षिप्त लिपि में, इस <math>(s_n)_{n=0}^\infty</math> रूप में लिखा गया है) का कोई भी क्रम है, प्ररूप के एक सूत्र को संतुष्ट करता है।

:<math display="block">s_n = c_1 s_{n-1} + c_2 s_{n-2} + \dots + c_d s_{n-d}</math>
सभी <math>n \ge d</math> के लिए, जहाँ <math>c_i</math> स्थिरांक हैं (इस समीकरण को अनुक्रम d के अचर गुणांकों के साथ एक रैखिक पुनरावृत्ति कहा जाता है)। स्थिरांक-पुनरावर्ती अनुक्रम का 'क्रम' सबसे छोटा <math>d \ge 1</math> होता है जैसे कि अनुक्रम उपरोक्त प्ररूप के, या <math>d = 0</math> प्रत्येक स्थान पर शून्य अनुक्रम के लिए एक सूत्र को संतुष्ट करता है।

''d'' गुणांक <math>c_1, c_2, \dots, c_d</math> अनुक्रम (पूर्णांक, परिमेय संख्या, बीजगणितीय संख्या, वास्तविक संख्या, या सम्मिश्र संख्या) के समान कार्यक्षेत्र पर गुणांक होना चाहिए। उदाहरण के लिए एक तर्कसंगत स्थिरांक-पुनरावर्ती अनुक्रम <math>s_i</math> और <math>c_i</math> के लिए, परिमेय संख्याएँ होनी चाहिए।

उपरोक्त परिभाषा अंततः-[[आवधिक अनुक्रम|आवधिक]] अनुक्रमों की अनुमति प्रदान करता है जैसे कि <math>1, 0, 0, 0, \ldots</math> और <math>0, 1, 0, 0, \ldots</math> है। कुछ लेखकों को <math>c_d \ne 0</math> की आवश्यकता होती है, जिसमें ऐसे अनुक्रम सम्मिलित नहीं हैं।<ref name=Border>{{Citation|last1=Halava|first1=Vesa|title=Skolem's Problem – On the Border between Decidability and Undecidability|date=2005|last2=Harju|first2=Tero|last3=Hirvensalo|first3=Mika|last4=Karhumäki|first4=Juhani|citeseerx=10.1.1.155.2606|page=1}}</ref>{{sfn|Kauers|Paule|2010|p=66}}

== उदाहरण ==

{| class="wikitable" style="margin-left: auto; margin-right: auto; border: none;"
|+ पूर्णांक स्थिरांक-पुनरावर्ती अनुक्रमों के चयनित उदाहरण
! नाम !! अनुक्रम (<math>d</math>&hairsp;&hairsp;) !! पहले कुछ मान !! पुनरावृत्ति (<math>n \ge d</math>&hairsp; के लिए) !! [[Generating function|जनक फलन]] !! [[OEIS|ओईआईएस]]
|-
| शून्य अनुक्रम || 0 || 0, 0, 0, 0, 0, 0, ... || <math>s_n = 0</math> || <math>\frac{0}{1}</math> || {{OEIS link|A000004}}
|-
| एक क्रम || 1 || 1, 1, 1, 1, 1, 1, ... || <math>s_n = s_{n-1}</math> || <math>\frac{1}{1-x}</math> || {{OEIS link|A000012}}
|-
| <math>\{0\}</math> के [[Indicator function|पूर्णांश]] [[Generating function|फलन]]|| 1 || 1, 0, 0, 0, 0, 0,  ... || <math>s_n = 0</math> || <math>\frac{1}{1}</math> || {{OEIS link|A000007}}
|-
| [[Powers of two|दो की घात]] || 1 || 1, 2, 4, 8, 16, 32, ... || <math>s_n = 2 s_{n-1}</math> || <math>\frac{1}{1-2x}</math> || {{OEIS link|A000079}}
|-
| −1 की घात|| 1 || 1, −1, 1, −1, 1, −1, ... || <math>s_n = -s_{n-1}</math> || <math>\frac{1}{1+x}</math> || {{OEIS link|A033999}}
|-
| <math>\{1\}</math> का पूर्णांश फलन || 2 || 0, 1, 0, 0, 0, 0, ... || <math>s_n = 0</math> || <math>\frac{x}{1}</math> || {{OEIS link|A063524}}
|-
| 1/6 का [[Decimal representation|दशमलव विस्तार]]|| 2 || 1, 6, 6, 6, 6, 6, ... || <math>s_n = s_{n-1}</math> || <math>\frac{1 + 5x}{1 - x}</math> || {{OEIS link|A020793}}
|-
| 1/11 का दशमलव विस्तार || 2 || 0, 9, 0, 9, 0, 9, ... || <math>s_n = s_{n-2}</math> || <math>\frac{9x}{1-x^2}</math> || {{OEIS link|A010680}}
|-
| [[Natural number|अऋणात्मक पूर्णांक]] || 2 || 0, 1, 2, 3, 4, 5, ... || <math>s_n = 2s_{n-1} - s_{n-2}</math> || <math>\frac{x}{(1-x)^2}</math> || {{OEIS link|A001477}}
|-
| [[Parity (mathematics)|विषम]] धनात्मक पूर्णांक || 2 || 1, 3, 5, 7, 9, 11, ... || <math>s_n = 2s_{n-1} - s_{n-2}</math> || <math>\frac{1+x}{(1-x)^2}</math> || {{OEIS link|A005408}}
|-
| [[Fibonacci number|फाइबोनैचि संख्या]] || 2 || 0, 1, 1, 2, 3, 5, 8, 13, ... || <math>s_n = s_{n-1} + s_{n-2}</math> || <math>\frac{x}{1-x-x^2}</math> || {{OEIS link|A000045}}
|-
| [[Lucas number|स्नेकास]] [[Fibonacci number|संख्या]]|| 2 || 2, 1, 3, 4, 7, 11, 18, 29, ... || <math>s_n = s_{n-1} + s_{n-2}</math> || <math>\frac{2-x}{1-x-x^2}</math> || {{OEIS link|A000032}}
|-
| [[Pell number|पेल]] [[Fibonacci number|संख्या]]|| 2 || 0, 1, 2, 5, 12, 29, 70, ... || <math>s_n = 2s_{n-1} + s_{n-2}</math> || <math>\frac{x}{1-2x-x^2}</math> || {{OEIS link|A000129}}
|-
| 0s के साथ अंतःपत्रित दो की घात || 2 || 1, 0, 2, 0, 4, 0, 8, 0, ... || <math>s_n = 2 s_{n-2}</math> || <math>\frac{1}{1-2x^2}</math> || {{OEIS link|A077957}}
|-
| छठे साइक्लोटोमिक बहुपद का प्रतिलोम || 2 || 1, 1, 0, −1, −1, 0, 1, 1, ... || <math>s_n = s_{n-1} - s_{n-2}</math> || <math>\frac{1}{1-x+x^2}</math> || {{OEIS link|A010892}}
|-
| [[Triangular number|त्रिकोणीय संख्या]] || 3 || 0, 1, 3, 6, 10, 15, 21, ... || <math>s_n = 3s_{n-1} - 3s_{n-2} + s_{n-3}</math> || <math>\frac{x}{(1-x)^3}</math> || {{OEIS link|A000217}}
|}


=== फाइबोनैचि और लुकास अनुक्रम ===
फाइबोनैचि संख्याओं का क्रम 0, 1, 1, 2, 3, 5, 8, 13,... अनुक्रम 2 का स्थिरांक-पुनरावर्ती है क्योंकि यह पुनरावृत्ति <math>F_n = F_{n-1} + F_{n-2}</math> के साथ <math>F_0 = 0, F_1 = 1</math> को संतुष्ट करता है। उदाहरण के लिए, <math>F_2 = F_1 + F_0 = 1 + 0 = 1</math> और <math>F_6 = F_5 + F_4 = 5 + 3 = 8</math> है। [[लुकास संख्या]] का क्रम 2, 1, 3, 4, 7, 11, ... उसी पुनरावृत्ति को संतुष्ट करता है, परन्तु प्रारंभिक प्रतिबंधों <math>L_0 = 2</math> और <math>L_1 = 1</math> के साथ जो फिबोनाची अनुक्रम को संतुष्ट करता है। अधिकांश सामान्यतः, प्रत्येक [[लुकास अनुक्रम]] क्रम 2 का स्थिरांक-पुनरावर्ती होता है।{{sfn|Kauers|Paule|2010|p=70}}

=== अंकगणितीय प्रगति ===
किसी <math>a</math> और <math>r \ne 0</math> के लिए, अंकगणितीय प्रगति <math>a, a+r, a+2r, \ldots</math> क्रम 2 का स्थिरांक-पुनरावर्ती है, क्योंकि यह <math>s_n = 2s_{n-1} - s_{n-2}</math> संतुष्ट करता है। इसका सामान्यीकरण करते हुए, नीचे बहुपद क्रम देखें।

=== ज्यामितीय प्रगति ===
किसी <math>a \ne 0</math> और <math>r</math> के लिए, ज्यामितीय प्रगति <math>a, a r, a r^2, \ldots</math> क्रम 1 का स्थिरांक-पुनरावर्ती है, क्योंकि यह <math>s_n = r s_{n-1}</math>को संतुष्ट करता है। उदाहरण के लिए, अनुक्रम 1, 2, 4, 8, 16, ... साथ ही परिमेय संख्या अनुक्रम <math>1, \frac12, \frac14, \frac18, \frac{1}{16}, ...</math>.इसमें सम्मिलित है।

=== अंततः आवधिक अनुक्रम ===
एक अनुक्रम जो अंततः आवधिक अवधि के साथ आवधिक होता है, <math>\ell</math> स्थिरांक-पुनरावर्ती है, क्योंकि यह <math>s_n = s_{n-\ell}</math> को संतुष्ट करता है। सभी <math>n \geq d</math> के लिए, जहां क्रम <math>d</math> पहले दोहराए जाने वाले खंड सहित प्रारंभिक खंड की लंबाई है। ऐसे अनुक्रमों के उदाहरण 1, 0, 0, 0, ... (अनुक्रम 1) और 1, 6, 6, 6, ... (अनुक्रम 2) हैं।

=== बहुपद अनुक्रम ===
एक बहुपद द्वारा परिभाषित अनुक्रम <math>s_n = a_0 + a_1 n + a_2 n^2 + \cdots + a_d n^d</math> स्थिरांक-पुनरावर्ती है। [[द्विपद परिवर्तन]] के संबंधित तत्व द्वारा दिए गए गुणांक के साथ अनुक्रम <math>d + 1</math> (जहाँ <math>d</math> बहुपद के बहुपद की डिग्री है) की पुनरावृत्ति को संतुष्ट करता है।<ref>{{Cite journal|last=Boyadzhiev|first=Boyad|date=2012|title=दूसरी तरह की स्टर्लिंग संख्या के साथ घनिष्ठ मुठभेड़|url=https://www.maa.org/sites/default/files/pdf/upload_library/2/Boyadzhiev-2013.pdf|journal=Math. Mag.|volume=85|issue=4|pages=252–266|doi=10.4169/math.mag.85.4.252|arxiv=1806.09468|s2cid=115176876}}</ref><ref>{{Cite journal |last=Riordan |first=John |date=1964 |title=व्युत्क्रम संबंध और मिश्रित पहचान|url=https://www.tandfonline.com/doi/full/10.1080/00029890.1964.11992269 |journal=The American Mathematical Monthly |language=en |volume=71 |issue=5 |pages=485–498 |doi=10.1080/00029890.1964.11992269 |issn=0002-9890}}</ref> ऐसे पहले कुछ समीकरण हैंː

: <math>s_n = 1 \cdot s_{n-1}</math> डिग्री 0 (अर्थात, स्थिरांक) बहुपद के लिए है।
: <math>s_n = 2\cdot s_{n-1} - 1\cdot s_{n-2}</math> एक डिग्री 1 या उससे कम बहुपद के लिए है।
: <math>s_n = 3\cdot s_{n-1} - 3\cdot s_{n-2} + 1\cdot s_{n-3}</math> डिग्री 2 या उससे कम बहुपद के लिए है और
: <math>s_n = 4\cdot s_{n-1} - 6\cdot s_{n-2} + 4\cdot s_{n-3} - 1\cdot s_{n-4}</math> डिग्री 3 या उससे कम बहुपद के लिए है।

अनुक्रम-''d'' समीकरण का पालन करने वाला अनुक्रम भी सभी उच्च क्रम समीकरणों का पालन करता है। इन सर्वसमिकाएं को कई तरीकों से सिद्ध किया जा सकता है, जिनमें परिमित भिन्नताओं के सिद्धांत के माध्यम से भी सम्मिलित है।<ref>{{Cite book|last1=Jordan|first1=Charles|url=https://books.google.com/books?id=3RfZOsDAyQsC&dq=theory+of+finite+differences&pg=PA1|title=परिमित अंतर की गणना|last2=Jordán|first2=Károly|date=1965|publisher=American Mathematical Soc.|isbn=978-0-8284-0033-6|language=en|pages=9–11}} See formula on p.9, top.</ref><math>d + 1</math> पूर्णांक का कोई क्रम, वास्तविक, या सम्मिश्र मानों को स्थिरांक-पुनरावर्ती अनुक्रम <math>d + 1</math> के लिए प्रारंभिक स्थितियों के रूप में उपयोग किया जा सकता है। यदि प्रारंभिक प्रतिबन्ध डिग्री <math>d - 1</math> के या उससे कम बहुपद पर स्थित हैं, तो स्थिरांक-पुनरावर्ती अनुक्रम भी निम्न क्रम समीकरण का पालन करता है।

=== एक नियमित भाषा में शब्दों की गणना ===

माना <math>L</math> एक नियमित भाषा है और माना <math>n</math> में <math>L</math> लंबाई के शब्दों की संख्या <math>s_n</math> है, तब <math>(s_n)_{n=0}^\infty</math> स्थिरांक-पुनरावर्ती है।{{sfn|Kauers|Paule|2010|p=81}} उदाहरण के लिए, सभी द्विआधारी श्रृंखला की भाषा <math>s_n = 2^n</math>  के लिए, सभी एकाधारी श्रृंखला की भाषा <math>s_n = 1</math> के लिए, और उन सभी द्विआधारी श्रृंखला की भाषा <math>s_n = F_{n+2}</math> के लिए जिनमें क्रमागत दो नहीं हैं। अधिकांश सामान्यतः, एकाधारी वर्णमाला पर [[भारित automaton|भारित स्वचल प्ररूप]] द्वारा स्वीकृत कोई भी फलन<math>\Sigma = \{a\}</math> [[मोटी हो जाओ|सेमीरिंग]] के ऊपर <math>(\mathbb{R}, +, \times)</math> (जो वास्तव में एक वलय है और यहाँ तक कि एक [[क्षेत्र (गणित)|क्षेत्र]] भी है) स्थिरांक-पुनरावर्ती है।

=== अन्य उदाहरण ===

[[जैकबस्टल नंबर|जैकबस्टल संख्या]], [[ पडोवन संख्या |पडोवन संख्या]], [[पेल नंबर|पेल संख्या]] और [[ पेरिन संख्या |पेरिन संख्या]]{{sfn|Kauers|Paule|2010|p=70}} के अनुक्रम स्थिरांक-पुनरावर्ती हैं।

=== गैर-उदाहरण ===

क्रमगुणित अनुक्रम <math>1, 1, 2, 6, 24, 120, 720, \ldots</math> स्थिरांक-पुनरावर्ती नहीं है। सामान्यतः, प्रत्येक स्थिरांक-पुनरावर्ती फलन एक घातीय फलन (देखें # संवृत-रूप निरूपण) द्वारा स्पर्शोन्मुख रूप से बाध्य होता है और तथ्यात्मक अनुक्रम इससे तीव्रता से बढ़ता है।

[[कैटलन अनुक्रम|कैटालन अनुक्रम]] <math>1, 1, 2, 5, 14, 42, 132, \ldots</math> स्थिरांक-पुनरावर्ती नहीं है। ऐसा इसलिए है क्योंकि कैटालन संख्याओं का जनक फलन परिमेय फलन नहीं है (देखें #समतुल्य परिभाषाएँ)।

== समतुल्य परिभाषाएँ ==

=== मैट्रिक्स के संदर्भ में ===

{{main|अभिसार आव्यूह}}
{{float_begin|side=right|width=225px}}
|-अलाइन = केंद्र
|<math>F_n = \begin{bmatrix}0 & 1\end{bmatrix}
\begin{bmatrix}1 & 1 \\ 1 & 0\end{bmatrix}^n
\begin{bmatrix}1 \\ 0\end{bmatrix}.</math>
{{float_end|मैट्रिक्स का उपयोग करके फिबोनाची अनुक्रम की परिभाषा है।}}

एक अनुक्रम <math>(s_n)_{n=0}^\infty</math> क्रम <math>\le d</math> का स्थिरांक-पुनरावर्ती है, यदि और केवल यदि इसे लिखा जा सकता हैː
:<math>s_n = u A^n v</math>
जहाँ <math>u</math> एक सदिश <math>1 \times d</math> है, <math>A</math> एक [[मैट्रिक्स (गणित)|आव्यूह]] <math>d \times d</math> है, और <math>v</math> एक सदिश <math>d \times 1</math> है, जहां तत्व एक ही कार्यक्षेत्र (पूर्णांक, परिमेय संख्या, बीजगणितीय संख्या, वास्तविक संख्या या सम्मिश्र संख्या) से मूल अनुक्रम के रूप में आते हैं। विशेष रूप से, <math>v</math> प्रथम <math>d</math> अनुक्रम का मान माना जा सकता है, <math>A</math> एक [[रैखिक परिवर्तन]] जो<math>s_{n+1}, s_{n+2}, \ldots, s_{n+d}</math> से <math>s_n, s_{n+1}, \ldots, s_{n+d-1}</math>, और <math>u</math> सदिश <math>[0, 0, \ldots, 0, 1]</math> की गणना करता है।<ref name="ow"/>


=== गैर-सजातीय रैखिक पुनरावृत्तियों के संदर्भ में ===

{{main|निरंतर गुणांक के साथ रैखिक पुनरावृत्ति # सजातीय रूप में रूपांतरण}}
{{float_begin|width=350px}}
|- वर्ग = विकिटेबल
! गैर सजातीय !! सजातीय
|- संरेखित = केंद्र
| <math>s_n = 1 + s_{n-1}</math>
| <math>s_n = 2s_{n-1} - s_{n-2}</math>
|- संरेखित = केंद्र
| <math>s_0 = 0</math>
| <math>s_0 = 0; s_1 = 1</math>
{{float_end|[[प्राकृतिक संख्या]] के अनुक्रम की परिभाषा <math>s_n = n</math>, एक गैर-सजातीय पुनरावृत्ति और समतुल्य सजातीय संस्करण का उपयोग करना।}}

एक गैर-सजातीय रैखिक पुनरावृत्ति रूप का एक समीकरण है।
:<math>s_n = c_1 s_{n-1} + c_2 s_{n-2} + \dots + c_d s_{n-d} + c</math>
जहाँ <math>c</math> एक अतिरिक्त स्थिरांक है। गैर-सजातीय रैखिक पुनरावृत्ति को संतुष्ट करने वाला कोई भी क्रम स्थिरांक-पुनरावर्ती होता है। ऐसा इसलिए है क्योंकि के लिए समीकरण व्यवकलन <math>s_{n-1}</math> के लिए समीकरण से <math>s_n</math> के लिए एक सजातीय पुनरावृत्ति <math>s_n - s_{n-1}</math>प्रदान करता है, जिससे हम <math>s_n</math> प्राप्त करने के लिए हल कर सकते हैं। 
:<math>\begin{align}s_n = &(c_1 + 1) s_{n-1} \\ &+ (c_2 - c_1) s_{n-2} + \dots + (c_d  - c_{d-1}) s_{n-d} \\&- c_d s_{n-d-1} \end{align}</math>


=== फलनों को उत्पन्न करने के संदर्भ में ===

{{float_begin|side=right|width=200px}}
|-अलाइन = केंद्र
|<math>\sum_{n = 0}^\infty F_n x^n = \frac{x}{1-x-x^2}.</math>
{{float_end|जनक फलन का उपयोग करके फाइबोनैचि अनुक्रम की परिभाषा हैं।}}

एक अनुक्रम स्थिरांक-पुनरावर्ती होता है जब इसका जनक फलन होता है।
:<math>\sum_{n = 0}^\infty s_n x^n = s_0 + s_1 x^1 + s_2 x^2 + s_3 x^3 + \cdots</math>
एक तर्कसंगत फलन <math>\frac{p(x)}{q(x)}</math>है, जहाँ <math>p</math> और <math>q</math> बहुपद हैं और <math>q(0) \ne 0</math> हैं। गुणांक के क्रम को उलट कर सहायक बहुपद से प्राप्त बहुपद भाजक है और अंश अनुक्रम के प्रारंभिक मानो द्वारा निर्धारित किया जाता है।<ref>{{Cite journal|title = रैखिक पुनरावृत्तियों और संख्यात्मक अर्धसमूहों की विविधता पर|journal = [[Semigroup Forum]]|date = 2013-11-14|issn = 0037-1912|pages = 569–574|volume = 88|issue = 3|doi = 10.1007/s00233-013-9551-2|language = en|first1 = Ivan|last1 = Martino|first2 = Luca|last2 = Martino|arxiv = 1207.0111|s2cid = 119625519}}</ref>{{sfn|Kauers|Paule|2010|p=74}}

रैखिक पुनरावृत्ति के संदर्भ में जनक फलन की स्पष्ट व्युत्पत्ति हैː
:<math>\sum_{n = 0}^\infty s_n x^n = \frac{b_0 + b_1 x^1 + b_2 x^2 + \dots + b_{d-1} x^{d-1}}{1 - c_1 x^1 - c_2 x^2 - \dots - c_d x^d}
</math>
जहाँ,
:<math>b_n = s_n - c_1 s_{n-1} - c_2 s_{n-2} - \dots - c_d s_{n-d}</math>
ऊपर से यह इस प्रकार है कि यहाँ भाजक एक बहुपद होना चाहिए, जो <math>x</math> से विभाज्य नहीं है(और विशेष रूप से अशून्य)।

=== अनुक्रम रिक्त स्थान के संदर्भ में ===

{{float_begin|side=right|width=200px}}
|-अलाइन = केंद्र
|<math>\{(a n + b)_{n=0}^\infty : a, b \in \mathbb{R}\}</math>
{{float_end|2-विमीय [[अनुक्रम स्थान|अनुक्रमों का सदिश स्थान]] अनुक्रम  <math>s_n = n</math> से उत्पन्न किया गया है।}}

एक क्रम <math>(s_n)_{n=0}^\infty</math> स्थिरांक-पुनरावर्ती है और यदि केवल यदि अनुक्रमों का समुच्चय है।
:<math>\left\{(s_{n+r})_{n=0}^\infty : r \geq 0\right\}</math>
[[अनुक्रम स्थान]] (अनुक्रमों का [[सदिश स्थल|सदिश]] [[अनुक्रम स्थान|स्थान]]) में समाहित है जिसका [[आयाम (वेक्टर स्थान)|आयाम]] परिमित है। अर्थात, <math>(s_n)_{n=0}^\infty</math> की एक परिमित आयामी रैखिक उपसमष्टि <math>\mathbb{C}^\mathbb{N}</math>संवृत के अंतर्गत वाम-विस्थापन संचालक में निहित है।{{sfn|Kauers|Paule|2010|p=67}}

यह विवरण इसलिए है क्योंकि अनुक्रम-<math>d</math> रैखिक पुनरावृत्ति संबंध को अनुक्रमों <math>(s_{n+r})_{n=0}^\infty</math> के लिए <math>r=0, \ldots, d</math> के मध्य रैखिक अवलंब के प्रमाण के रूप में समझा जा सकता है इस तर्क के विस्तार से पता चलता है कि अनुक्रम का क्रम सभी <math>r</math> के लिए <math>(s_{n+r})_{n=0}^\infty</math> के द्वारा उत्पन्न अनुक्रम स्थान के आयाम के समान है।{{sfn|Kauers|Paule|2010|p=69}}

== संवृत-रूप विवरण ==

{{for|संवृत-रूप की व्युत्पत्ति|निरंतर गुणांक के साथ रैखिक पुनरावृत्ति #
सामान्य समाधान}}

{{float_begin|side=right|width=300px}}
|-अलाइन = केंद्र
|<math>F_n = \frac{1}{\sqrt{5}}(1.618\ldots)^n - \frac{1}{\sqrt{5}}(-0.618\ldots)^n</math>
{{float_end|फाइबोनैचि अनुक्रम का संवृत-रूप विवरण ([[फाइबोनैचि संख्या#बिनेट का सूत्र|बिनेट का सूत्र]]) है।}}

स्थिरांक-पुनरावर्ती अनुक्रम [[घातीय बहुपद|घातीय बहुपदों]] का उपयोग करके निम्नलिखित अद्वितीय संवृत-रूप विवरण को स्वीकार करते हैं: प्रत्येक स्थिरांक-पुनरावर्ती अनुक्रम को रूप में लिखा जा सकता है।
:<math>s_n = z_n + k_1(n) r_1^n + k_2(n) r_2^n + \cdots + k_e(n) r_e^n,</math>
जहाँ,
* <math>z_n</math> एक अनुक्रम  है जो सभी <math>n \ge d</math> (अनुक्रम का क्रम) के लिए शून्य है;
* <math>k_1(n), k_2(n), \ldots, k_e(n)</math> सम्मिश्र बहुपद हैं; और
* <math>r_1, r_2, \ldots, r_k</math> विशिष्ट सम्मिश्र स्थिरांक हैं।

यह पूर्णांश सटीक है: उपरोक्त रूप में लिखी जा सकने वाली सम्मिश्र संख्याओं का प्रत्येक क्रम स्थिरांक-पुनरावर्ती है।{{sfn|Kauers|Paule|2010|pp=68-70}}

उदाहरण के लिए, फाइबोनैचि संख्या <math>F_n</math> इस रूप में बिनेट के सूत्र का उपयोग करके लिखा गया है:
:<math>F_n = \frac{1}{\sqrt{5}}\varphi^n - \frac{1}{\sqrt{5}}\psi^n,</math>
जहाँ <math>\varphi = \frac{1 + \sqrt{5}}{2} \approx 1.61803\ldots</math> [[सुनहरा अनुपात|अति मूल्‍यांकन अनुपात]] और <math>\psi = \frac{-1}{\varphi}</math> है, समीकरण के दोनों मूल <math>x^2 - x - 1 = 0</math> है। इस स्थिति में, <math>e=2</math>, <math>z_n = 0</math>, सभी <math>n</math> के लिए, <math>k_1(n) = k_2(n) = \frac{1}{\sqrt{5}}</math> (स्थिरांक बहुपद), <math>r_1 = \varphi</math>, और <math>r_2 = \psi</math> है। ध्यान दें कि हालांकि मूल अनुक्रम पूर्णांकों पर था, संवृत रूप समाधान में वास्तविक या सम्मिश्र मूलांश सम्मिलित हैं। सामान्यतः, पूर्णांकों या परिमेय के अनुक्रमों के लिए, संवृत सूत्र बीजगणितीय संख्याओं का उपयोग करेगा।

सम्मिश्र संख्याएँ <math>r_1, \ldots, r_n</math> पुनरावृत्ति की पूर्णांश बहुपद (या "सहायक बहुपद") के मूलांश हैं:
:<math>x^d - c_1 x^{d-1} - \dots - c_{d-1} x - c_d</math>
जिनके गुणांक पुनरावृत्ति के समान हैं। यदि <math>d</math> मूलांश <math>r_1, r_2, \dots, r_d</math> सभी भिन्न हैं, तो बहुपद <math>k_i(n)</math> सभी स्थिरांक हैं, जिन्हें अनुक्रम के प्रारंभिक मानों से निर्धारित किया जा सकता है। यदि पूर्णांश बहुपद के मूलांश भिन्न नहीं हैं और <math>r_i</math> [[बहुलता (गणित)|बहुलता]] का मूलांश है, <math>m</math> तब सूत्र <math>k_i(n)</math> में  <math>m - 1</math> डिग्री है। उदाहरण के लिए, यदि पूर्णांश बहुपद कारकों के रूप में <math>(x-r)^3</math> एक ही मूलांश r के साथ तीन बार आ रहा है, फिर <math>n</math>वां पद रूप <math>s_n = (a + b n + c n^2) r^n</math><ref>{{citation|contribution=2.1.1 Constant coefficients – A) Homogeneous equations|title=Mathematics for the Analysis of Algorithms|first1=Daniel H.|last1=Greene|first2=Donald E.|last2=Knuth|author2-link=Donald Knuth| edition=2nd| publisher=Birkhäuser |page=17 | year=1982}}.</ref> हैं। पद <math>z_n</math> केवल तभी आवश्यक है, जब <math>c_d\ne 0</math>; यदि <math>c_d = 0</math> तो यह इस तथ्य के लिए सुधार करता है कि कुछ प्रारंभिक मान सामान्य पुनरावृत्ति के अपवाद हो सकते हैं। विशेष रूप से, <math>z_n = 0</math> सभी <math>n \ge d</math> के लिए अनुक्रम का क्रम हैं।

== संवरण प्रॉपर्टीज ==

=== उदाहरण ===

दो स्थिरांक-पुनरावर्ती अनुक्रमों का योग भी स्थिरांक-पुनरावर्ती होता है।{{sfn|Kauers|Paule|2010|p=71}} उदाहरण के लिए, <math>s_n = 2^n</math> और <math>t_n = n</math> का योग <math>u_n = 2^n + n</math> (<math>1, 3, 6, 11, 20, \ldots</math>) है, जो पुनरावृत्ति  <math>u_n = 4u_{n-1} - 5u_{n-2} + 2u_{n-3}</math> को संतुष्ट करता है। प्रत्येक अनुक्रम के लिए जनक फलन जोड़कर नया पुनरावर्तन प्राप्त किया जा सकता है।

इसी तरह, दो स्थिरांक-पुनरावर्ती अनुक्रमों का गुणनफल स्थिरांक-पुनरावर्ती होता है।{{sfn|Kauers|Paule|2010|p=71}} उदाहरण के लिए, <math>s_n = 2^n</math> और <math>t_n = n</math> का उत्पाद <math>u_n = n \cdot 2^n</math> (<math>0, 2, 8, 24, 64, \ldots</math>) है, जो पुनरावृत्ति  <math>u_n = 4 u_{n-1} - 4 u_{n-2}</math> को संतुष्ट करता है।

वाम-विस्थापन अनुक्रम <math>u_n = s_{n + 1}</math> और उचित-विस्थापन अनुक्रम <math>u_n = s_{n - 1}</math> (साथ <math>u_0 = 0</math>) स्थिरांक-पुनरावर्ती हैं क्योंकि वे समान पुनरावृत्ति संबंध को संतुष्ट करते हैं। उदाहरण के लिए, क्योंकि <math>s_n = 2^n</math> स्थिरांक-पुनरावर्ती है, इसलिए <math>u_n = 2^{n + 1}</math> है।

=== कार्य प्रणाली की सूच ===

सामान्यतः, स्थिरांक-पुनरावर्ती अनुक्रम निम्नलिखित परिचालनों के अंतर्गत संवृत्त होते हैं, जहां <math>s = (s_n)_{n \in \mathbb{N}}, t = (t_n)_{n \in \mathbb{N}}</math> स्थिरांक-पुनरावर्ती अनुक्रमों को दर्शाता है, <math>f(x), g(x)</math> उनके जनन फलन हैं और <math>d, e</math> क्रमशः उनके क्रम हैं।

{| class="wikitable" style="margin-left: auto; margin-right: auto; border: none;"
|+ स्थिरांक-पुनरावर्ती अनुक्रमों पर कार्य प्रणाली
! कार्य प्रणाली !! परिभाषा !! अपेक्षा !! जनक फलन उत्पन्न करना || अनुक्रम
|-
| पद के अनुसार योग <math>s + t</math> || <math>(s + t)_n = s_n + t_n</math> || — || <math>f(x) + g(x)</math> || <math>\le d + e</math>{{sfn|Kauers|Paule|2010|p=71}}
|-
| पद के अनुसार उत्पाद <math>s \cdot t</math> || <math>(s \cdot t)_n = s_n \cdot t_n</math> || — || — || <math> \le d \cdot e </math><ref name="ow"/>{{sfn|Kauers|Paule|2010|p=71}}
|-
| [[Cauchy product|कॉची उत्पाद]] <math>s * t</math> || <math>(s * t)_n = \sum_{i=0}^n s_i t_{n-i}</math> || — || <math>f(x) g(x)</math> || <math>\le d + e</math>
|-
| वाम-विस्थापन <math>Ls</math> || <math>(Ls)_n = s_{n+1}</math> || — || <math>\frac{f(x) - s_0}{x}</math> || <math>\le d</math>
|-
| दक्षिण विस्थापन <math>Rs</math> || <math>(Rs)_n = \begin{cases}s_{n-1} &n \ge 1\\0 &n = 0\end{cases}</math> || — || <math>x f(x)</math> || <math>\le d + 1</math>
|-
| [[Formal power series#Multiplicative inverse|कॉची प्रतिलोम]] <math>s^{(-1)}</math> || <math>(s^{(-1)})_n = \sum_{i_1 + \dots + i_k = n} (-1)^k s_{i_1} s_{i_2} \cdots s_{i_k}</math> || <math>s_0 = 1</math> || <math>\frac{1}{f(x)}</math> || <math>\le \max(2d-1, 2)</math>
|-
| [[Kleene star|क्लेन स्टार]] <math>s^{(*)}</math> || <math>(s^{(*)})_n = \sum_{i_1 + \dots + i_k = n} s_{i_1} s_{i_2} \cdots s_{i_k}</math> || <math> s_0 = 0</math> || <math>\frac{1}{1 - f(x)}</math> || <math>\le \max(2d-1,2)</math>
|}
घातीय बहुपदों के संदर्भ में शब्द-वार जोड़ और गुणा के अंतर्गत समापन संवृत-रूप विवरण से होता है। कॉची उत्पाद के अंतर्गत संवृत होने का परिणाम जनक फलन विवरण से होता है। अपेक्षा <math>s_0 = 1</math> पूर्णांक अनुक्रमों के स्थिति में कॉची व्युत्क्रम आवश्यक है, परन्तु <math>s_0 \ne 0</math> के द्वारा प्रतिस्थापित किया जा सकता है, यदि अनुक्रम किसी भी क्षेत्र (गणित) (तर्कसंगत, बीजगणितीय, वास्तविक, या सम्मिश्र संख्या) पर है।
== व्यवहार ==

{{main|स्कोलेम-महलर-लेच प्रमेय|स्कोलम समस्या}}

=== शून्य ===
एक साधारण स्थानीय सूत्र को संतुष्ट करने के बावजूद, एक स्थिरांक-पुनरावर्ती अनुक्रम सम्मिश्र वैश्विक व्यवहार प्रदर्शित कर सकता है। एक गैर-ऋणात्मक पूर्णांक होने के लिए स्थिरांक-पुनरावर्ती अनुक्रम <math>n</math> ऐसा है कि <math>s_n = 0</math> के शून्य को परिभाषित करें। स्कोलेम-महलर-लेच प्रमेय कहता है कि अनुक्रम के शून्य अंततः दोहरा रहे हैं: स्थिरांक <math>M</math> और <math>N</math> उपस्थित हैं। ऐसा कि सभी <math>n > M</math> के लिए, <math>s_n = 0</math> यदि और केवल यदि <math>s_{n+N} = 0</math> है। यह परिणाम सम्मिश्र संख्याओं पर स्थिरांक-पुनरावर्ती अनुक्रम के लिए, या अधिक सामान्यतः, [[विशेषता (बीजगणित)|पूर्णांश]] शून्य के किसी भी क्षेत्र पर अनुप्रयुक्त होता है।<ref>{{citation|last=Lech|first=C.|title=A Note on Recurring Series|journal=Arkiv för Matematik|volume=2|pages=417–421|year=1953|issue=5|doi=10.1007/bf02590997|bibcode=1953ArM.....2..417L |doi-access=free}}</ref>


=== निर्णय समस्याएं ===
अभिकलनीयता सिद्धांत के परिप्रेक्ष्य से स्थिरांक-पुनरावर्ती अनुक्रम में शून्य के प्रतिरुप की भी जांच की जा सकती है। ऐसा करने के लिए, अनुक्रम <math>s_n</math> के विवरण को एक परिमित विवरण दिया जाना चाहिए; यह तब किया जा सकता है जब अनुक्रम पूर्णांकों या परिमेय संख्याओं, या बीजगणितीय संख्याओं पर भी हो।<ref name="ow">{{citation
 | last1 = Ouaknine | first1 = Joël
 | last2 = Worrell | first2 = James
 | contribution = Decision problems for linear recurrence sequences
 | doi = 10.1007/978-3-642-33512-9_3
 | mr = 3040104
 | pages = 21–28
 | publisher = Springer-Verlag | location = Heidelberg
 | series = Lecture Notes in Computer Science
 | title = Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17–19, 2012, Proceedings
 | volume = 7550
 | year = 2012}}.</ref>अनुक्रमों <math>s_n</math> के लिए इस तरह के एक संकेतन को देखते हुए, निम्नलिखित समस्याओं का अध्ययन किया जा सकता है:

{| class="wikitable" style="margin-left: auto; margin-right: auto; border: none;"
|+ उल्लेखनीय निर्णय समस्याएं
! समस्या !! विवरण !! स्थिति (2021)
|-
| शून्य का अस्तित्व ([[Skolem problem|स्कोलेम समस्या]])
  || निविष्टि <math>(s_n)_{n=0}^\infty</math> पर, कुछ <math>n</math>? के लिए <math>s_n = 0</math> है।
  || संवृत
|-
| अपरिमित रूप से अनेक शून्य
  || निविष्टि <math>(s_n)_{n=0}^\infty</math>पर, असीम रूप से अनंतता <math>n</math>? के लिए <math>s_n = 0</math> है।
  || निर्धारणीय
|-
| धनात्मकता
  || निविष्टि <math>(s_n)_{n=0}^\infty</math> पर, सभी <math>n</math>? के लिए <math>s_n > 0</math> है।
  || संवृत
|-
| अंततः धनात्मकता
  || निविष्टि <math>(s_n)_{n=0}^\infty</math> पर, सभी <math>n</math>? के लिए पर्याप्त रूप से बड़ा <math>s_n > 0</math> है।
  || संवृत
|}
क्योंकि स्थिरांक-पुनरावर्ती अनुक्रम का वर्ग <math>s_n^2</math> अभी भी स्थिरांक-पुनरावर्ती है (संवरण गुणधर्म देखें), उपरोक्त तालिका में अस्तित्व-की-शून्य समस्या धनात्मकता को कम कर देती है और असीमित-अनेक-शून्य अंततः धनात्मकता को कम कर देता है। उपरोक्त तालिका में अन्य समस्याएं भी कम हो जाती हैं: उदाहरण के लिए, क्या <math>s_n = c</math>, कुछ <math>n</math> अनुक्रम <math>s_n - c</math> के लिए शून्य के अस्तित्व को कम कर देता है। दूसरे उदाहरण के रूप में, वास्तविक संख्याओं में अनुक्रमों के लिए, दुर्बल धनात्मकता (सभी <math>n</math>? के लिए <math>s_n \ge 0</math> है) अनुक्रम <math>-s_n</math> की धनात्मकता को कम कर देता है।

स्कोलेम-महलर-लेच प्रमेय इनमें से कुछ प्रश्नों के उत्तर प्रदान करेगा, अतिरिक्त इसके कि इसका प्रमाण [[रचनात्मक प्रमाण|अरचनात्मक]] है। इसमें कहा गया है कि सभी <math>n > M</math> के लिए, शून्य दोहरा रहे हैं; हालाँकि, <math>M</math> के मान को संगणनीय नहीं माना जाता है, इसलिए यह अस्तित्व-की-शून्य समस्या का समाधान नहीं करता है।<ref name="ow"/>दूसरी ओर, सटीक प्रतिरुप <math>n > M</math> की गणना की जा सकती है, जो बाद में दोहराता है।<ref name="ow"/><ref>{{Cite journal|last1=Berstel|first1=Jean|last2=Mignotte|first2=Maurice|date=1976|title=Deux propriétés décidables des suites récurrentes linéaires|journal=Bulletin de la Société Mathématique de France|language=fr|volume=104|pages=175–184|doi=10.24033/bsmf.1823|doi-access=free}}</ref> यही कारण है कि असीमित-शून्य समस्या निर्णायक है: केवल यह निर्धारित करें कि असीमित-दोहराव वाला प्रतिरुप रिक्त है या नहीं।

निर्णायकता के परिणाम तब ज्ञात होते हैं जब किसी अनुक्रम का क्रम छोटा होने के लिए प्रतिबंधित होता है। उदाहरण के लिए, स्कोलेम समस्या 4 तक के क्रम के अनुक्रमों के लिए निर्णायक है।<ref name="ow" />


== सामान्यीकरण ==

* एक [[होलोनोमिक फ़ंक्शन|होलोनॉमी]] अनुक्रम एक प्राकृतिक सामान्यीकरण है जहां पुनरावृत्ति के गुणांकों को  <math>n</math> स्थिरांक के बजाय बहुपद फलनो के रूप में अनुमति प्रदान की जाती है।
* एक <math>k</math>-नियमित अनुक्रम स्थिरांक गुणांकों के साथ एक रैखिक पुनरावृत्ति को संतुष्ट करता है, परन्तु पुनरावृत्ति एक भिन्न रूप लेती है। इसके बजाय <math>s_n</math> का रैखिक <math>s_m</math> संयोजन है, कुछ <math>m</math> पूर्णांकों के लिए, जो <math>n</math> के समीप हैं, प्रत्येक शब्द <math>s_n</math> में एक <math>k</math>-नियमित अनुक्रम का एक रैखिक संयोजन <math>s_m</math>है। कुछ <math>m</math> पूर्णांकों के लिए, जिसका [[मूलांक|आधार]]-<math>k</math> प्रतिनिधित्व <math>n</math> के समीप हैं। स्थिरांक-पुनरावर्ती अनुक्रमों में <math>1</math>-नियमित अनुक्रम के विषय में विचार किया जा सकता है।

==टिप्पणियाँ==
{{reflist}}
==संदर्भ==
{{refbegin}}
* {{Cite book|last1=Kauers|first1=Manuel|url=https://books.google.com/books?id=BPeODAEACAAJ|title=The Concrete Tetrahedron: Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates|last2=Paule|first2=Peter|date=2010-12-01|publisher=Springer Vienna|isbn=978-3-7091-0444-6|language=en|pages=66}}
{{refend}}
==अग्रिम पठन==
{{refbegin}}
* {{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}}
*{{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=978-0-201-55802-9
| title-link=Concrete Mathematics }}
{{refend}}
==बाहरी संबंध==
* {{cite web |title= OEIS Index Rec|url=http://oeis.org/wiki/Index_to_OEIS:_Section_Rec}} [[On-Line Encyclopedia of Integer Sequences|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)

[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:CS1 English-language sources (en)]]
[[Category:CS1 français-language sources (fr)]]
[[Category:Created On 01/05/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with maths render errors]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:गतिशील प्रणाली]]
[[Category:पुनरावृत्ति संबंध]]
[[Category:पूर्णांक अनुक्रम]]
[[Category:लीनियर अलजेब्रा]]
[[Category:साहचर्य]]