होलोनोमिक फलन

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

एक चर
में होलोनोमिक फ़ंक्शंस और अनुक्रम

परिभाषाएं
होने देना $$\mathbb{K}$$ विशेषता (बीजगणित) 0 का एक क्षेत्र (गणित) हो (उदाहरण के लिए, $$\mathbb{K} = \mathbb{Q}$$ या $$\mathbb{K} = \mathbb{C}$$).

एक समारोह $$f = f(x)$$ बहुपद मौजूद होने पर डी-परिमित (या होलोनोमिक) कहा जाता है $$0 \neq a_r(x), a_{r-1}(x), \ldots, a_0(x) \in \mathbb{K}[x]$$ ऐसा है कि


 * $$a_r(x) f^{(r)}(x) + a_{r-1}(x) f^{(r-1)}(x) + \cdots + a_1(x) f'(x) + a_0(x) f(x) = 0$$

सभी एक्स के लिए रखती है। इसे इस रूप में भी लिखा जा सकता है $$A f = 0$$ कहाँ


 * $$A = \sum_{k=0}^r a_k D_x^k$$

और $$D_x$$ अंतर ऑपरेटर  है जो मैप करता है $$f(x)$$ को $$f'(x)$$. $$A$$ f का सत्यानाश करने वाला संकारक कहलाता है (का सत्यानाश करने वाला संकारक $$f$$ रिंग में एक आदर्श (रिंग थ्योरी) बनाएं $$\mathbb{K}[x][D_x]$$का संहारक कहा जाता है $$f$$). मात्रा r को सर्वनाश संकारक का क्रम कहा जाता है। विस्तार से, होलोनोमिक फ़ंक्शन f को ऑर्डर r का कहा जाता है, जब इस तरह के ऑर्डर का विनाश करने वाला ऑपरेटर मौजूद होता है।

एक क्रम $$c = c_0, c_1, \ldots$$ बहुपद मौजूद होने पर पी-रिकर्सिव (या होलोनोमिक) कहा जाता है $$a_r(n), a_{r-1}(n), \ldots, a_0(n) \in \mathbb{K}[n]$$ ऐसा है कि


 * $$a_r(n) c_{n+r} + a_{r-1}(n) c_{n+r-1} + \cdots + a_0(n) c_n = 0$$

सभी n के लिए रखती है। इसे इस रूप में भी लिखा जा सकता है $$A c = 0$$ कहाँ


 * $$A = \sum_{k=0}^r a_k S_n$$

और $$S_n$$ शिफ्ट ऑपरेटर जो मैप करता है $$c_0, c_1, \ldots$$ को $$c_1, c_2, \ldots$$. $$A$$ c का सत्यानाश करने वाला संचालक कहा जाता है (का सत्यानाश करने वाला संचालक $$c$$ रिंग में एक आदर्श बनाएं $$\mathbb{K}[n][S_n]$$का संहारक कहा जाता है $$c$$). मात्रा r को सर्वनाश संकारक का क्रम कहा जाता है। विस्तार से, होलोनोमिक अनुक्रम सी को ऑर्डर आर के रूप में कहा जाता है जब इस तरह के आदेश का विनाश करने वाला ऑपरेटर मौजूद होता है।

होलोनोमिक फ़ंक्शंस ठीक होलोनोमिक अनुक्रमों के उत्पन्न करने वाले कार्य हैं: यदि $$f(x)$$ होलोनोमिक है, फिर गुणांक $$c_n$$ शक्ति श्रृंखला विस्तार में


 * $$f(x) = \sum_{n=0}^{\infty} c_n x^n$$

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

क्लोजर गुण
होलोनोमिक फ़ंक्शंस (या अनुक्रम) कई बंद करने की संपत्ति  को संतुष्ट करते हैं। विशेष रूप से, होलोनोमिक फ़ंक्शंस (या अनुक्रम) एक अंगूठी (गणित) बनाते हैं। हालांकि, वे विभाजन के तहत बंद नहीं हैं, और इसलिए एक क्षेत्र (गणित) नहीं बनाते हैं।

अगर $$f(x) = \sum_{n=0}^{\infty} f_n x^n$$ और $$g(x) = \sum_{n=0}^{\infty} g_n x^n$$ होलोनोमिक कार्य हैं, तो निम्नलिखित कार्य भी होलोनोमिक हैं:


 * $$h(x) = \alpha f(x) + \beta g(x)$$, कहाँ $$\alpha$$ और $$\beta$$ स्थिरांक हैं
 * $$h(x) = f(x) g(x)$$ (अनुक्रमों का कॉची उत्पाद)
 * $$h(x) = \sum_{n=0}^{\infty} f_n g_n x^n$$ (अनुक्रमों का हैडमार्ड उत्पाद)
 * $$h(x) = \int_0^x f(t) dt$$
 * $$h(x) = \sum_{n=0}^{\infty} (\sum_{k=0}^n f_k) x^n$$
 * $$h(x) = f(a(x))$$, कहाँ $$a(x)$$ कोई बीजगणितीय कार्य है। हालाँकि, $$a(f(x))$$ आम तौर पर होलोनोमिक नहीं है।

होलोनोमिक कार्यों की एक महत्वपूर्ण संपत्ति यह है कि बंद करने वाले गुण प्रभावी होते हैं: के लिए विनाशकारी ऑपरेटरों को दिया जाता है $$f$$ और $$g$$, के लिए एक विनाशक ऑपरेटर $$h$$ उपरोक्त किसी भी ऑपरेशन का उपयोग करके परिभाषित के रूप में स्पष्ट रूप से गणना की जा सकती है।

होलोनोमिक कार्यों और अनुक्रमों के उदाहरण
होलोनोमिक कार्यों के उदाहरणों में शामिल हैं:

होलोनोमिक कार्यों का वर्ग हाइपरज्यामितीय कार्यों के वर्ग का एक सख्त सुपरसेट है। विशेष कार्यों के उदाहरण जो होलोनोमिक हैं लेकिन हाइपरजियोमेट्रिक नहीं हैं उनमें अरे समारोह शामिल हैं।
 * बहुपद और परिमेय फलन सहित सभी बीजगणितीय फलन
 * त्रिकोणमितीय कार्य कार्य करता है (लेकिन स्पर्शरेखा, कोटिस्पर्श, छेदक, या व्युत्क्रमज्या नहीं)
 * अतिशयोक्तिपूर्ण कार्य फ़ंक्शन (लेकिन हाइपरबोलिक स्पर्शरेखा, कोटैंजेंट, सिकेंट, या कोसेकेंट नहीं)
 * घातीय कार्य और लघुगणक (किसी भी आधार पर)
 * सामान्यीकृत हाइपरज्यामितीय फ़ंक्शन $${}_pF_q(a_1,\ldots,a_p, b_1, \ldots, b_q, x)$$, के कार्य के रूप में माना जाता है $$x$$ सभी मापदंडों के साथ $$a_i$$, $$b_i$$ स्थिर रखा
 * त्रुटि समारोह $$\operatorname{erf}(x)$$
 * बेसेल कार्य करता है $$J_n(x)$$, $$Y_n(x)$$, $$I_n(x)$$, $$K_n(x)$$
 * हवादार कार्य करता है $$\operatorname{Ai}(x)$$, $$\operatorname{Bi}(x)$$

होलोनोमिक अनुक्रमों के उदाहरणों में शामिल हैं:


 * फाइबोनैचि संख्याओं का क्रम $$F_n$$, और अधिक आम तौर पर, सभी स्थिर-पुनरावर्ती क्रम
 * कारख़ाने का का क्रम $$n!$$
 * द्विपद गुणांकों का क्रम $${n \choose k}$$ (एन या के कार्यों के रूप में)
 * हार्मोनिक संख्याओं का क्रम $$H_n = \sum_{k=1}^n \frac{1}{k}$$, और अधिक आम तौर पर $$H_{n,m} = \sum_{k=1}^n \frac{1}{k^m}$$ किसी भी पूर्णांक एम के लिए
 * कैटलन संख्याओं का क्रम
 * Motzkin संख्याओं का क्रम।
 * विक्षोभों का क्रम।

हाइपरज्यामितीय कार्य, बेसेल कार्य, और शास्त्रीय ऑर्थोगोनल बहुपद, उनके चर के होलोनोमिक फ़ंक्शन होने के अलावा, उनके मापदंडों के संबंध में होलोनोमिक अनुक्रम भी हैं। उदाहरण के लिए, बेसेल कार्य करता है $$J_n$$ और $$Y_n$$ दूसरे क्रम के रैखिक पुनरावृत्ति को संतुष्ट करें $$x (f_{n+1} + f_{n-1}) = 2 n f_n$$.

गैर-होलोनोमिक कार्यों और अनुक्रमों के उदाहरण
गैर-होलोनोमिक कार्यों के उदाहरणों में शामिल हैं:


 * कार्यक्रम $$\frac{x}{e^x-1}$$
 * समारोह तन(एक्स) + सेकंड(एक्स)
 * दो होलोनोमिक कार्यों का भागफल आमतौर पर होलोनोमिक नहीं होता है।

गैर-होलोनोमिक अनुक्रमों के उदाहरणों में शामिल हैं:


 * बरनौली संख्या
 * वैकल्पिक क्रमपरिवर्तन की संख्या
 * विभाजन की संख्या (संख्या सिद्धांत) * संख्या $$\log(n)$$ * संख्या $$n^{\alpha}$$ कहाँ $$\alpha \not\in \mathbb{Z}$$ * अभाज्य संख्याएँ * अलघुकरणीय और जुड़े क्रमपरिवर्तन की गणना।

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

इसके अलावा, जटिल विमान में किसी भी बिंदु पर मनमाने ढंग से परिशुद्धता के लिए होलोनोमिक कार्यों का मूल्यांकन करने के लिए और होलोनोमिक अनुक्रम में किसी भी प्रविष्टि की संख्यात्मक रूप से गणना करने के लिए तेज़ एल्गोरिदम मौजूद हैं।

होलोनोमिक कार्यों के साथ काम करने के लिए सॉफ्टवेयर में शामिल हैं:
 * द होलोनोमिकफंक्शन्स मेथेमेटिका के लिए पैकेज, क्रिस्टोफ कौश्चन द्वारा विकसित, जो कम्प्यूटिंग क्लोजर प्रॉपर्टीज का समर्थन करता है और यूनीवेरिएट और मल्टीवेरिएट होलोनोमिक फ़ंक्शंस के लिए पहचान साबित करता है।
 * मेपल (सॉफ्टवेयर) के लिए एल्गोलिब लाइब्रेरी, जिसमें निम्नलिखित पैकेज शामिल हैं:
 * gfun, ब्रूनो साल्वी, पॉल ज़िम्मरमैन और एथने मुरे द्वारा विकसित, अविभाजित क्लोजर गुणों और साबित करने के लिए
 * mgfun, Frédéric Chyzak द्वारा विकसित, मल्टीवेरेट क्लोजर प्रॉपर्टीज और प्रूविंग के लिए
 * संख्यात्मक मूल्यांकन के लिए मार्क मेजारोबा द्वारा विकसित अंकन

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

संदर्भ







 * (ITI Series preprint)