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

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

स्थिरांक-पुनरावर्ती अनुक्रम का सबसे प्रसिद्ध उदाहरण फाइबोनैचि संख्या $$0, 1, 1, 2, 3, 5, 8, 13, \ldots$$ है, जिसमें प्रत्येक संख्या पूर्व दो का योग है। दो अनुक्रमों $$1, 2, 4, 8, 16, \ldots$$ की शक्ति भी स्थिरांक-पुनरावर्ती है क्योंकि प्रत्येक संख्या पूर्व संख्या के दोगुने का योग है। वर्ग संख्य अनुक्रम $$0, 1, 4, 9, 16, 25, \ldots$$ भी स्थिरांक-पुनरावर्ती है। हालाँकि, सभी अनुक्रम स्थिरांक-पुनरावर्ती नहीं होते हैं; उदाहरण के लिए, क्रमगुणित अनुक्रम $$1, 1, 2, 6, 24, 120, \ldots$$ स्थिरांक-पुनरावर्ती नहीं है। सभी अंकगणितीय प्रगति, सभी ज्यामितीय प्रगति और सभी बहुपद स्थिरांक-पुनरावर्ती हैं।

औपचारिक रूप से, संख्याओं का एक क्रम $$s_0, s_1, s_2, s_3, \ldots$$ स्थिरांक-पुनरावर्ती है यदि यह पुनरावृत्ति संबंध को संतुष्ट करता है।
 * $$s_n = c_1 s_{n-1} + c_2 s_{n-2} + \dots + c_d s_{n-d}$$

जहाँ $$c_i$$ स्थिरांक हैं। उदाहरण के लिए, फाइबोनैचि अनुक्रम पुनरावृत्ति संबंध $$F_n = F_{n-1} + F_{n-2}$$ को संतुष्ट करता है, जहाँ $$F_n$$, $$n$$वीं फाइबोनैचि संख्या है।

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

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

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


 * $$s_n = c_1 s_{n-1} + c_2 s_{n-2} + \dots + c_d s_{n-d}$$

सभी $$n \ge d$$ के लिए, जहाँ $$c_i$$ स्थिरांक हैं (इस समीकरण को अनुक्रम d के अचर गुणांकों के साथ एक रैखिक पुनरावृत्ति कहा जाता है)। स्थिरांक-पुनरावर्ती अनुक्रम का 'क्रम' सबसे छोटा $$d \ge 1$$ होता है जैसे कि अनुक्रम उपरोक्त प्ररूप के, या $$d = 0$$ प्रत्येक स्थान पर शून्य अनुक्रम के लिए एक सूत्र को संतुष्ट करता है।

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

उपरोक्त परिभाषा अंततः-आवधिक अनुक्रमों की अनुमति प्रदान करता है जैसे कि $$1, 0, 0, 0, \ldots$$ और $$0, 1, 0, 0, \ldots$$ है। कुछ लेखकों को $$c_d \ne 0$$ की आवश्यकता होती है, जिसमें ऐसे अनुक्रम सम्मिलित नहीं हैं।

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

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

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

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

बहुपद अनुक्रम
एक बहुपद द्वारा परिभाषित अनुक्रम $$s_n = a_0 + a_1 n + a_2 n^2 + \cdots + a_d n^d$$ स्थिरांक-पुनरावर्ती है। द्विपद परिवर्तन के संबंधित तत्व द्वारा दिए गए गुणांक के साथ अनुक्रम $$d + 1$$ (जहाँ $$d$$ बहुपद के बहुपद की डिग्री है) की पुनरावृत्ति को संतुष्ट करता है। ऐसे पहले कुछ समीकरण हैंː


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

अनुक्रम-d समीकरण का पालन करने वाला अनुक्रम भी सभी उच्च क्रम समीकरणों का पालन करता है। इन सर्वसमिकाएं को कई तरीकों से सिद्ध किया जा सकता है, जिनमें परिमित भिन्नताओं के सिद्धांत के माध्यम से भी सम्मिलित है। $$d + 1$$ पूर्णांक का कोई क्रम, वास्तविक, या सम्मिश्र मानों को स्थिरांक-पुनरावर्ती अनुक्रम $$d + 1$$ के लिए प्रारंभिक स्थितियों के रूप में उपयोग किया जा सकता है। यदि प्रारंभिक प्रतिबन्ध डिग्री $$d - 1$$ के या उससे कम बहुपद पर स्थित हैं, तो स्थिरांक-पुनरावर्ती अनुक्रम भी निम्न क्रम समीकरण का पालन करता है।

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

अन्य उदाहरण
जैकबस्टल संख्या, पडोवन संख्या, पेल संख्या और पेरिन संख्या के अनुक्रम स्थिरांक-पुनरावर्ती हैं।

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

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

मैट्रिक्स के संदर्भ में
\begin{bmatrix}1 & 1 \\ 1 & 0\end{bmatrix}^n \begin{bmatrix}1 \\ 0\end{bmatrix}.$$
 * -अलाइन = केंद्र
 * $$F_n = \begin{bmatrix}0 & 1\end{bmatrix}

एक अनुक्रम $$(s_n)_{n=0}^\infty$$ क्रम $$\le d$$ का स्थिरांक-पुनरावर्ती है, यदि और केवल यदि इसे लिखा जा सकता हैː
 * $$s_n = u A^n v$$

जहाँ $$u$$ एक सदिश $$1 \times d$$ है, $$A$$ एक आव्यूह $$d \times d$$ है, और $$v$$ एक सदिश $$d \times 1$$ है, जहां तत्व एक ही कार्यक्षेत्र (पूर्णांक, परिमेय संख्या, बीजगणितीय संख्या, वास्तविक संख्या या सम्मिश्र संख्या) से मूल अनुक्रम के रूप में आते हैं। विशेष रूप से, $$v$$ प्रथम $$d$$ अनुक्रम का मान माना जा सकता है, $$A$$ एक रैखिक परिवर्तन जो$$s_{n+1}, s_{n+2}, \ldots, s_{n+d}$$ से $$s_n, s_{n+1}, \ldots, s_{n+d-1}$$, और $$u$$ सदिश $$[0, 0, \ldots, 0, 1]$$ की गणना करता है।

गैर-सजातीय रैखिक पुनरावृत्तियों के संदर्भ में
! गैर सजातीय !! सजातीय
 * - वर्ग = विकिटेबल
 * - संरेखित = केंद्र
 * $$s_n = 1 + s_{n-1}$$
 * $$s_n = 2s_{n-1} - s_{n-2}$$
 * - संरेखित = केंद्र
 * $$s_0 = 0$$
 * $$s_0 = 0; s_1 = 1$$

एक गैर-सजातीय रैखिक पुनरावृत्ति रूप का एक समीकरण है।
 * $$s_n = c_1 s_{n-1} + c_2 s_{n-2} + \dots + c_d s_{n-d} + c$$

जहाँ $$c$$ एक अतिरिक्त स्थिरांक है। गैर-सजातीय रैखिक पुनरावृत्ति को संतुष्ट करने वाला कोई भी क्रम स्थिरांक-पुनरावर्ती होता है। ऐसा इसलिए है क्योंकि के लिए समीकरण व्यवकलन $$s_{n-1}$$ के लिए समीकरण से $$s_n$$ के लिए एक सजातीय पुनरावृत्ति $$s_n - s_{n-1}$$प्रदान करता है, जिससे हम $$s_n$$ प्राप्त करने के लिए हल कर सकते हैं।
 * $$\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}$$

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

 * -अलाइन = केंद्र
 * $$\sum_{n = 0}^\infty F_n x^n = \frac{x}{1-x-x^2}.$$

एक अनुक्रम स्थिरांक-पुनरावर्ती होता है जब इसका जनक फलन होता है।
 * $$\sum_{n = 0}^\infty s_n x^n = s_0 + s_1 x^1 + s_2 x^2 + s_3 x^3 + \cdots$$

एक तर्कसंगत फलन $$\frac{p(x)}{q(x)}$$है, जहाँ $$p$$ और $$q$$ बहुपद हैं और $$q(0) \ne 0$$ हैं। गुणांक के क्रम को उलट कर सहायक बहुपद से प्राप्त बहुपद भाजक है और अंश अनुक्रम के प्रारंभिक मानो द्वारा निर्धारित किया जाता है।

रैखिक पुनरावृत्ति के संदर्भ में जनक फलन की स्पष्ट व्युत्पत्ति हैː
 * $$\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}

$$ जहाँ,
 * $$b_n = s_n - c_1 s_{n-1} - c_2 s_{n-2} - \dots - c_d s_{n-d}$$

ऊपर से यह इस प्रकार है कि यहाँ भाजक एक बहुपद होना चाहिए, जो $$x$$ से विभाज्य नहीं है(और विशेष रूप से अशून्य)।

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

 * -अलाइन = केंद्र
 * $$\{(a n + b)_{n=0}^\infty : a, b \in \mathbb{R}\}$$

एक क्रम $$(s_n)_{n=0}^\infty$$ स्थिरांक-पुनरावर्ती है और यदि केवल यदि अनुक्रमों का समुच्चय है।
 * $$\left\{(s_{n+r})_{n=0}^\infty : r \geq 0\right\}$$

अनुक्रम स्थान (अनुक्रमों का सदिश स्थान) में समाहित है जिसका आयाम परिमित है। अर्थात, $$(s_n)_{n=0}^\infty$$ की एक परिमित आयामी रैखिक उपसमष्टि $$\mathbb{C}^\mathbb{N}$$संवृत के अंतर्गत वाम-विस्थापन संचालक में निहित है।

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

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

 * -अलाइन = केंद्र
 * $$F_n = \frac{1}{\sqrt{5}}(1.618\ldots)^n - \frac{1}{\sqrt{5}}(-0.618\ldots)^n$$

स्थिरांक-पुनरावर्ती अनुक्रम घातीय बहुपदों का उपयोग करके निम्नलिखित अद्वितीय संवृत-रूप विवरण को स्वीकार करते हैं: प्रत्येक स्थिरांक-पुनरावर्ती अनुक्रम को रूप में लिखा जा सकता है।
 * $$s_n = z_n + k_1(n) r_1^n + k_2(n) r_2^n + \cdots + k_e(n) r_e^n,$$

जहाँ,
 * $$z_n$$ एक अनुक्रम है जो सभी $$n \ge d$$ (अनुक्रम का क्रम) के लिए शून्य है;
 * $$k_1(n), k_2(n), \ldots, k_e(n)$$ सम्मिश्र बहुपद हैं; और
 * $$r_1, r_2, \ldots, r_k$$ विशिष्ट सम्मिश्र स्थिरांक हैं।

यह पूर्णांश सटीक है: उपरोक्त रूप में लिखी जा सकने वाली सम्मिश्र संख्याओं का प्रत्येक क्रम स्थिरांक-पुनरावर्ती है।

उदाहरण के लिए, फाइबोनैचि संख्या $$F_n$$ इस रूप में बिनेट के सूत्र का उपयोग करके लिखा गया है:
 * $$F_n = \frac{1}{\sqrt{5}}\varphi^n - \frac{1}{\sqrt{5}}\psi^n,$$

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

सम्मिश्र संख्याएँ $$r_1, \ldots, r_n$$ पुनरावृत्ति की पूर्णांश बहुपद (या "सहायक बहुपद") के मूलांश हैं:
 * $$x^d - c_1 x^{d-1} - \dots - c_{d-1} x - c_d$$

जिनके गुणांक पुनरावृत्ति के समान हैं। यदि $$d$$ मूलांश $$r_1, r_2, \dots, r_d$$ सभी भिन्न हैं, तो बहुपद $$k_i(n)$$ सभी स्थिरांक हैं, जिन्हें अनुक्रम के प्रारंभिक मानों से निर्धारित किया जा सकता है। यदि पूर्णांश बहुपद के मूलांश भिन्न नहीं हैं और $$r_i$$ बहुलता का मूलांश है, $$m$$ तब सूत्र $$k_i(n)$$ में $$m - 1$$ डिग्री है। उदाहरण के लिए, यदि पूर्णांश बहुपद कारकों के रूप में $$(x-r)^3$$ एक ही मूलांश r के साथ तीन बार आ रहा है, फिर $$n$$वां पद रूप $$s_n = (a + b n + c n^2) r^n$$ हैं। पद $$z_n$$ केवल तभी आवश्यक है, जब $$c_d\ne 0$$; यदि $$c_d = 0$$ तो यह इस तथ्य के लिए सुधार करता है कि कुछ प्रारंभिक मान सामान्य पुनरावृत्ति के अपवाद हो सकते हैं। विशेष रूप से, $$z_n = 0$$ सभी $$n \ge d$$ के लिए अनुक्रम का क्रम हैं।

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

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

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

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

घातीय बहुपदों के संदर्भ में शब्द-वार जोड़ और गुणा के अंतर्गत समापन संवृत-रूप विवरण से होता है। कॉची उत्पाद के अंतर्गत संवृत होने का परिणाम जनक फलन विवरण से होता है। अपेक्षा $$s_0 = 1$$ पूर्णांक अनुक्रमों के स्थिति में कॉची व्युत्क्रम आवश्यक है, परन्तु $$s_0 \ne 0$$ के द्वारा प्रतिस्थापित किया जा सकता है, यदि अनुक्रम किसी भी क्षेत्र (गणित) (तर्कसंगत, बीजगणितीय, वास्तविक, या सम्मिश्र संख्या) पर है।

शून्य
एक साधारण स्थानीय सूत्र को संतुष्ट करने के बावजूद, एक स्थिरांक-पुनरावर्ती अनुक्रम सम्मिश्र वैश्विक व्यवहार प्रदर्शित कर सकता है। एक गैर-ऋणात्मक पूर्णांक होने के लिए स्थिरांक-पुनरावर्ती अनुक्रम $$n$$ ऐसा है कि $$s_n = 0$$ के शून्य को परिभाषित करें। स्कोलेम-महलर-लेच प्रमेय कहता है कि अनुक्रम के शून्य अंततः दोहरा रहे हैं: स्थिरांक $$M$$ और $$N$$ उपस्थित हैं। ऐसा कि सभी $$n > M$$ के लिए, $$s_n = 0$$ यदि और केवल यदि $$s_{n+N} = 0$$ है। यह परिणाम सम्मिश्र संख्याओं पर स्थिरांक-पुनरावर्ती अनुक्रम के लिए, या अधिक सामान्यतः, पूर्णांश शून्य के किसी भी क्षेत्र पर अनुप्रयुक्त होता है।

निर्णय समस्याएं
अभिकलनीयता सिद्धांत के परिप्रेक्ष्य से स्थिरांक-पुनरावर्ती अनुक्रम में शून्य के प्रतिरुप की भी जांच की जा सकती है। ऐसा करने के लिए, अनुक्रम $$s_n$$ के विवरण को एक परिमित विवरण दिया जाना चाहिए; यह तब किया जा सकता है जब अनुक्रम पूर्णांकों या परिमेय संख्याओं, या बीजगणितीय संख्याओं पर भी हो। अनुक्रमों $$s_n$$ के लिए इस तरह के एक संकेतन को देखते हुए, निम्नलिखित समस्याओं का अध्ययन किया जा सकता है:

क्योंकि स्थिरांक-पुनरावर्ती अनुक्रम का वर्ग $$s_n^2$$ अभी भी स्थिरांक-पुनरावर्ती है (संवरण गुणधर्म देखें), उपरोक्त तालिका में अस्तित्व-की-शून्य समस्या धनात्मकता को कम कर देती है और असीमित-अनेक-शून्य अंततः धनात्मकता को कम कर देता है। उपरोक्त तालिका में अन्य समस्याएं भी कम हो जाती हैं: उदाहरण के लिए, क्या $$s_n = c$$, कुछ $$n$$ अनुक्रम $$s_n - c$$ के लिए शून्य के अस्तित्व को कम कर देता है। दूसरे उदाहरण के रूप में, वास्तविक संख्याओं में अनुक्रमों के लिए, दुर्बल धनात्मकता (सभी $$n$$? के लिए $$s_n \ge 0$$ है) अनुक्रम $$-s_n$$ की धनात्मकता को कम कर देता है।

स्कोलेम-महलर-लेच प्रमेय इनमें से कुछ प्रश्नों के उत्तर प्रदान करेगा, अतिरिक्त इसके कि इसका प्रमाण अरचनात्मक है। इसमें कहा गया है कि सभी $$n > M$$ के लिए, शून्य दोहरा रहे हैं; हालाँकि, $$M$$ के मान को संगणनीय नहीं माना जाता है, इसलिए यह अस्तित्व-की-शून्य समस्या का समाधान नहीं करता है। दूसरी ओर, सटीक प्रतिरुप $$n > M$$ की गणना की जा सकती है, जो बाद में दोहराता है। यही कारण है कि असीमित-शून्य समस्या निर्णायक है: केवल यह निर्धारित करें कि असीमित-दोहराव वाला प्रतिरुप रिक्त है या नहीं।

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

सामान्यीकरण

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

बाहरी संबंध

 * 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)