An Algebraic-Operator Construction of the Half-Derivative on a Graded Monomial Space. Part I: Recurrence, Double Factorials, the Wallis Product, and Normalization

तकनीकी सारांश: एक श्रेणीबद्ध घातांक (Graded Monomial) स्थान पर अर्ध-अवकलज का एक बीजगणितीय-ऑपरेटर निर्माण

समस्या विवरण
यह शोध पत्र एक विशिष्ट श्रेणीबद्ध घातांक स्थान (graded monomial space) पर कार्य करने वाले अर्ध-क्रम के अवकलज ऑपरेटर ($D^{1/2}$) के निर्माण को संबोधित करता है, जो $x > 0$ के लिए गैर-ऋणात्मक पूर्णांक और अर्ध-पूर्णांक घातों ($x^\beta$) द्वारा निर्मित है। केंद्रीय समस्या एक ऐसे ऑपरेटर को परिभाषित करना है जिसका स्वयं के साथ संयोजन (composition) साधारण प्रथम अवकलज ($D^{1/2} \circ D^{1/2} = D$) उत्पन्न करे। शास्त्रीय भिन्नात्मक कलन (fractional calculus) के दृष्टिकोणों के विपरीत, यह निर्माण ऑपरेटर की क्रिया को विशुद्ध रूप से बीजगणितीय और संयोजी आवश्यकताओं से प्राप्त करने का प्रयास करता है, जिसमें प्रारंभिक धारणाओं जैसे कि समाकल कर्नेल (integral kernels), परिमित अंतर (finite differences), या गामा फलन (Gamma function) का उपयोग नहीं किया गया है।

कार्यप्रणाली
लेखक एक पूर्णतः बीजगणितीय-ऑपरेटर दृष्टिकोण का उपयोग करता है जो उन रैखिक ऑपरेटरों तक सीमित है जो घातांक को ठीक आधा कम करते हैं। कार्यप्रणाली निम्नलिखित चरणों के माध्यम से आगे बढ़ती है:

1. ऑपरेटर सूत्रीकरण: एक घातांक $x^\beta$ पर अर्ध-अवकलज की क्रिया को $D^{1/2} x^\beta = c(\beta)x^{\beta-1/2}$ के रूप में प्रतिपादित किया गया है, जहाँ $c(\beta)$ एक अज्ञात गुणांक है।
2. पुनरावृत्ति (Recurrence) का व्युत्पत्ति: ऑपरेटर को दो बार लागू करके और परिणाम को साधारण अवकलज ($D x^\beta = \beta x^{\beta-1}$) के बराबर रखकर, मूल पुनरावृत्ति संबंध व्युत्पन्न किया जाता है:
   $$c(\beta)c(\beta-1/2) = \beta$$
3. गुणांक परिवार: यह पुनरावृत्ति दो जुड़े हुए गुणांक परिवारों को उत्पन्न करती है: एक पूर्णांक घातों ($n$) के लिए और एक अर्ध-पूर्णांक घातों ($n-1/2$) के लिए। इन परिवारों को डबल फैक्टोरियल (double factorials) और एक मुक्त सामान्यीकरण स्थिरांक (free normalization constant) $c_0 = c(0)$ के पदों में व्यक्त किया गया है।
4. संरचनात्मक विश्लेषण: यह दिखाया गया है कि गुणांकों के भीतर सम और विषम डबल फैक्टोरियल का अनुपात एक आंशिक वालिस उत्पाद (Wallis product) उत्पन्न करता है। शोध पत्र $n \to \infty$ के रूप में इस उत्पाद के सीमा (limit) का विश्लेषण करता है, और नोट करता है कि यह $\pi/2$ की ओर अभिसरित होता है।
5. सामान्यीकरण चयन: जबकि पुनरावृत्ति और वालिस उत्पाद गुणांकों की सापेक्ष संरचना को निर्धारित करते हैं, वे वैश्विक पैमाने ($c_0$) को निर्धारित नहीं करते हैं। लेखक 0 के निचले स्तर वाले मानक मोनियल सूत्र (standard monomial formula) के साथ अनुकूलता लागू करके एक विशिष्ट धनात्मक सामान्यीकरण का चयन करता है। इससे $c_0 = 1/\sqrt{\pi}$ प्राप्त होता है।
6. सत्यापन: निर्मित ऑपरेटर को मोनियल्स और उनके परिमित रैखिक संयोजन (finite linear combinations) पर सत्यापित किया जाता है ताकि यह सुनिश्चित हो सके कि $(D^{1/2})^2$ सटीक रूप से साधारण अवकलज को पुनरुत्पादित करता है।

प्रमुख योगदान और परिणाम

• बीजगणितीय व्युत्पत्ति: शोध पत्र सफलतापूर्वक बिना किसी समाकल परिभाषा या गामा फलन के आह्वान के, अर्ध-अवकलज के गुणांक संरचना को व्युत्पन्न करता है। गामा फलन का उपयोग केवल अंतिम खंड में एक नोटेशनल तुलना के रूप में किया गया है।
• पुनरावृत्ति और डबल फैक्टोरियल: कार्य यह स्थापित करता है कि पूर्णांक घातों $n$ के लिए गुणांक दिए गए हैं:
  $$c(n) = c_0 \frac{(2n)!!}{(2n-1)!!}$$
  और अर्ध-पूर्णांक घातों के लिए:
  $$c(n-1/2) = \frac{(2n-1)!!}{2c_0(2n-2)!!}$$
• वालिस उत्पाद की भूमिका: विश्लेषण यह प्रदर्शित करता है कि गुणांकों और $\pi$ के बीच संरचनात्मक संबंध वालिस उत्पाद सीमा के माध्यम से स्वाभाविक रूप से उत्पन्न होता है। हालांकि, शोध पत्र स्पष्ट करता है कि केवल वालिस उत्पाद ही सामान्यीकरण स्थिरांक $c_0$ को निर्धारित करने के लिए पर्याप्त नहीं है; इसके लिए एक बाहरी अनुकूलता शर्त आवश्यक है।
• सामान्यीकरण और तुल्यता: $c_0 = 1/\sqrt{\pi}$ के चयन के साथ, परिणामी मोनियल सूत्र सभी विचारित घातों के लिए बाएं रीमैन-लिउविल (left Riemann–Liouville) परिभाषा के साथ मेल खाता है। धनात्मक पूर्णांक घातों ($n \ge 1$) के लिए, यह कैपूटो (Caputo) परिभाषा के साथ भी मेल खाता है। हालांकि, स्थिर फलन ($n=0$) के लिए, निर्माण रीमैन-लिउविल नियम के साथ सहमत है (जो $x^{-1/2}$ के समान एक गैर-शून्य परिणाम देता है) और कैपूटो नियम से भिन्न है (जो शून्य परिणाम देता है)।
• संयोजी निरंतरता (Compositional Consistency): शोध पत्र यह सिद्ध करता है कि श्रेणीबद्ध स्थान में किसी भी बहुपद $P(x)$ के लिए, दो अर्ध-अवकलज चरणों का संयोजन सटीक रूप से साधारण अवकलज को पुनः प्राप्त करता है: $(D^{1/2})^2 P(x) = P'(x)$।

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

लेखक स्पष्ट रूप से इस कार्य की सीमाओं को बताता है:

• कार्यक्षेत्र: परिणाम कड़ाई से श्रेणीबद्ध मोनियल स्थान और उनके परिमित रैखिक संयोजनों पर मान्य हैं।
• सीमाएं: निर्माण सामान्य फलन स्थानों (general function spaces) पर ऑपरेटर को परिभाषित नहीं करता है, न ही यह कोई समाकल या संवहन कर्नेल (convolution kernel), लाप्लास/फूरियर रूपांतरण प्रतिनिधित्व, या गैर-स्थानीयता (non-locality) का सिद्धांत प्रदान करता है।
• भौतिक व्याख्या: शोध पत्र भौतिक अनुप्रयोगों का दावा नहीं करता है। यह नोट करता है कि हालांकि भिन्नात्मक कलन का उपयोग विस्कोइलास्टिसिटी, विसंगत प्रसार (anomalous diffusion), और जैविक मॉडलिंग में किया जाता है, वर्तमान बीजगणितीय निर्माण तब तक इन क्षेत्रों में लागू नहीं किया जा सकता जब तक कि एक समाकल प्रतिनिधित्व, कार्य-कारण गुण (causality properties), और प्रारंभिक स्थिति संरचनाएँ स्थापित न हो जाएं।
• सामान्यीकरण स्वतंत्रता: $c_0$ को एक समानता रूपांतरण (similarity transformation) पैरामीटर के रूप में दिखाया गया है जो पूर्णांक और अर्ध-पूर्णांक क्षेत्रों को पारस्परिक रूप से पुन: स्केल करता है। $c_0$ के विभिन्न चयन परस्पर विपरीत रूप से पूर्णांक और अर्ध-पूर्णांक क्षेत्रों को पुन: स्केल करते हैं, लेकिन संयोजन पर समान प्रथम अवकलज प्रदान करते हैं।

निष्कर्षतः, शोध पत्र मोनियल्स पर अर्ध-अवकलज के लिए एक कठोर बीजगणितीय आधार प्रदान करता है, यह पुष्टि करता है कि मानक रीमैन-लिउविल गुणांक स्वाभाविक रूप से संयोजन आवश्यकता से उभरते हैं जब एक विशिष्ट सामान्यीकरण लागू किया जाता है, जबकि व्यापक कार्यात्मक विश्लेषण और भौतिक मॉडलिंग तक विस्तार को एक खुले प्रश्न के रूप में छोड़ दिया जाता है।