Derivative of the Jacobi polynomials with respect to their order and applications to indefinite integration

तकनीकी सारांश: जैकोबी बहुपदों का कोटि के सापेक्ष अवकलन और अनिश्चित समाकलन में अनुप्रयोग

समस्या विवरण
विशेष फलन (Special functions), विशेष रूप से वे जो संख्यात्मक मापदंडों पर निर्भर करते हैं, भौतिक और गणितीय प्रक्रियाओं के मॉडलिंग में मौलिक भूमिका निभाते हैं। जबकि उनके तर्कों (arguments) के सापेक्ष विशेष फलनों के अवकलज मानक हैं, उनके मापदंडों (parameters) के सापेक्ष अवकलज (जैसे $a$ और $b$ के सापेक्ष) निर्धारित करना अक्सर अधिक कठिन होता है। यद्यपि $a$ और $b$ जैसे मापदंडों के सापेक्ष जैकोबी बहुपदों (Jacobi polynomials) के अवकलज ज्ञात स्वरूप प्रदान करते हैं, लेकिन उनकी 'कोटि' (order) के सापेक्ष—जो पारंपरिक रूप से एक विविक्त पूर्णांक $n$ है—बहुपदों के अवकलज को स्पष्ट रूप से बंद रूप (closed form) में व्यक्त नहीं किया गया है। यह शोध पत्र कोटि के सापेक्ष जैकोबी बहुपदों के प्रथम अवकलज को निर्धारित करने के अंतराल को संबोधित करता है, जहाँ कोटि को एक निरंतर वास्तविक चर (continuous real variable) के रूप में माना गया है।

कार्यप्रणाली
लेखक एक तीन-चरणीय विश्लेषणात्मक दृष्टिकोण अपनाते हैं:

1. डोमेन का विस्तार: जैकोबी बहुपद $P_n^{(a,b)}(x)$ की विविक्त कोटि $n$ को गाऊसी हाइपरजियोमेट्रिक फलन $_2F_1$ के माध्यम से एक निरंतर वास्तविक चर $\mu$ के रूप में विस्तारित किया जाता है। यह विस्तार निम्नलिखित संबंध पर आधारित है:
   $$P_\mu^{(a,b)}(x) = \frac{\Gamma(a+\mu+1)}{\Gamma(\mu+1)\Gamma(a+1)} {}_2F_1\left(-\mu, a+b+\mu+1, a+1, \frac{1-x}{2}\right)$$
   यह विस्तार $\mu$ के सापेक्ष धनात्मक वास्तविक अक्ष पर अवकलन की अनुमति देता है।
2. अवकलन और श्रेणी विस्तार: $\frac{\partial}{\partial \mu} P_\mu^{(a,b)}(x)$ की गणना उत्पाद नियम (product rule) का उपयोग करके की जाती है। हाइपरजियोमेट्रिक फलन के अवकलज को इसके श्रेणी प्रतिनिधित्व (series representation) के पद-दर-पद अवकलन द्वारा निकाला जाता है। इससे डिगामा फलन (digamma function) $\psi$ का परिचय होता है।
3. पूर्णांक मानों पर मूल्यांकन: परिणामी व्यंजक का मूल्यांकन गैर-ऋणात्मक पूर्णांक मानों $\mu = n$ पर किया जाता है। लेखक डिगामा अंतरों के अनंत सीमाओं (limits of the digamma function differences) को संभालने के लिए सावधानीपूर्वक कार्य करते हैं, जिसमें अनंत श्रेणियों को परिमित योगों (finite sums, $k \le n$ के लिए) और अनंत पूंछों (infinite tails, $k > n$ के लिए) में विभाजित किया जाता है। सिंगुलैरिटी (singularities) को हल करने और श्रेणियों को सरल बनाने के लिए डिगामा अंतरों के सीमाओं के विशिष्ट पहचानों को लागू किया जाता है।

प्रमुख योगदान और परिणाम
प्राथमिक योगदान कोटि के सापेक्ष जैकोबी बहुपदों के अवकलज के लिए एक स्पष्ट, बंद रूप (closed-form) अभिव्यक्ति का व्युत्पन्न है, जिसे $\left[ \frac{\partial}{\partial \mu} P_\mu^{(a,b)}(x) \right]_{\mu=n}$ के रूप में दर्शाया गया है।

• सामान्य रूप: परिणामी अवकलज सामान्यतः गैर-प्रारंभिक (non-elementary) है, जिसमें एक सामान्यीकृत हाइपरजियोमेट्रिक फलन $_3F_2$ शामिल है। सूत्र मूल जैकोबी बहुपद, डिगामा पदों वाले परिमेय फलनों के परिमित योगों, और $_3F_2$ पद को संयोजित करता है।
• प्रारंभिक विशेष मामले: शोध पत्र प्रदर्शित करता है कि विशिष्ट मापदंड सेटिंग्स के लिए, गैर-प्रारंभिक $_3F_2$ पद प्रारंभिक फलनों (elementary functions) में परिवर्तित हो जाते हैं। $n=0$ के लिए तीन विशिष्ट मामले दिए गए हैं:
  • यदि $a = -b-3$ हो, तो परिणाम एक बहुपद और डिगामा स्थिरांकों का मिश्रण है।
  • यदि $a = b = 1$ हो, तो परिणाम में लघुगणकीय (logarithmic) पद शामिल हैं।
  • यदि $a = b = -1/2$ हो, तो परिणाम में प्रतिलोम त्रिकोणमितीय पद (विशेष रूप से $\arcsin$) शामिल हैं।
• अनिश्चित समाकलन में अनुप्रयोग: व्युत्पन्न कोटि अवकलज का उपयोग व्रोन्स्कियन (Wronskian) विधि का उपयोग करके अनिश्चित समाकलों को हल करने के लिए विकसित एक हालिया विधि में किया जाता है। जैकोबी विभेदक समीकरण (differential equation) को व्रोन्स्कियन विधि द्वारा हल करने योग्य एक विशिष्ट रूप के साथ पहचानकर, लेखक एक अनिश्चित समाकल के लिए बंद रूप प्रतिनिधित्व प्राप्त करते हैं:
  $$\int (1-t)^a (1+t)^b \left[ P_n^{(a,b)}(t) \right]^2 dt$$
  यह समाकल वर्ग, जिसका पूर्व में साहित्य में कोई रिपोर्ट किया गया बंद रूप समाधान नहीं था, उसे फलन $u(x, \mu)$ और $\mu$ के सापेक्ष उसके अवकलज के व्रोन्स्कियन के मूल्यांकन द्वारा हल किया गया है। $a=b=1$ और $n=2$ के लिए एक स्पष्ट उदाहरण दिया गया है, जो विधि की वैधता की पुष्टि करता है।

महत्व और दायरा
शोध पत्र दो मुख्य क्षेत्रों में महत्व का दावा करता है:

1. गणितीय पूर्णता: यह जैकोबी बहुपदों की कोटि के सापेक्ष अवकलज की पहली स्पष्ट बंद रूप अभिव्यक्ति प्रदान करता है, जो $a$ और $b$ के सापेक्ष ज्ञात मापदंड अवकलजों से भिन्न है।
2. व्यावहारिक उपयोगिता: यह प्रदर्शित करता है कि यह अवकलज केवल एक सैद्धांतिक संरचना नहीं है, बल्कि वर्गाकार जैकोबी बहुपदों वाले एक विशिष्ट वर्ग के अनिश्चित समाकलों को हल करने के लिए एक आवश्यक घटक है।

लेखक उल्लेख करते हैं कि इस परिणाम को अन्य बहुपद प्रणालियों तक विस्तारित किया जा सकता है जो जैकोबी बहुपदों के विशेष मामले हैं, जिनमें गेनबौअर (Gegenbauer), लेजेंड्रे (Legendre), और चेबिशेव (Chebyshev) बहुपद (दोनों प्रकार के प्रथम और द्वितीय) शामिल हैं। शोध पत्र यह स्पष्ट करते हुए समाप्त होता है कि उपयोग किए गए हाइपरजियोमेट्रिक प्रतिनिधित्व की कुछ सीमाएँ हैं (जैसे, $a$ एक ऋणात्मक पूर्णांक नहीं हो सकता) और सुझाव देता है कि उन विशिष्ट मापदंड श्रेणियों के लिए वैकल्पिक प्रतिनिधित्व मौजूद हैं। यह कार्य एक नोट के रूप में प्रस्तुत किया गया है जो अवकलज को स्थापित करने और एकीकरण में इसके तत्काल अनुप्रयोग को दर्शाता है, बिना किसी आगे के प्रायोगिक या कम्प्यूटेशनल विस्तार का प्रस्ताव दिए।