🔢 mathematics

Higher order logarithms of Bessel operators and an extension problem

यह शोधपत्र बेसेल ऑपरेटर $B_\lambda$ की जांच करता है, जिसमें इसके भिन्नात्मक घातों (fractional powers) और उच्च-क्रम के लघुगणकों (higher-order logarithms) के लिए बिंदुवार निरूपण (pointwise representations) और अनंतस्पर्शी टेलर विस्तार (asymptotic Taylor expansions) स्थापित किए गए हैं, साथ ही लघुगणक $\log B_\lambda$ को एक विस्तार समस्या (extension problem) के समाधान के रूप में भी अभिलक्षित किया गया है।

मूल लेखक: Jorge J. Betancor, Estefanía. Dalmasso, Juan C. Fariña, Pablo Quijano

प्रकाशित 2026-08-21

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Jorge J. Betancor, Estefanía. Dalmasso, Juan C. Fariña, Pablo Quijano

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

गणित के विशाल परिदृश्य में, ऐसे उपकरण मौजूद हैं जो परिवर्तन को मापने के लिए डिज़ाइन किए गए हैं, ठीक वैसे ही जैसे एक रूलर लंबाई को मापता है या एक तराजू वजन को मापता है। इनमें से एक सबसे मौलिक उपकरण अवकलज (डेरिवेटिव) है, जो हमें बताता है कि किसी दिए गए क्षण में कोई मात्रा कितनी तेज़ी से बदल रही है। जब हम तरंगों, धातु की छड़ में फैलती ऊष्मा, या ड्रमहेड के कंपन को देखते हैं, तो इन परिवर्तनों को अक्सर एक विशिष्ट प्रकार के ऑपरेटर से जुड़ी समीकरणों द्वारा वर्णित किया जाता है, जो एक ऐसा गणितीय यंत्र है जो एक फलन (फंक्शन) को लेता है और उसके परिवर्तन की दर को वापस देता है। एक सीधी रेखा या एक सपाट तल की परिचित, सरल दुनिया में, यह मशीन अच्छी तरह से समझी जाती है। हालाँकि, ब्रह्मांड हमेशा सपाट या सरल नहीं होता है। कई भौतिक स्थितियों में, जैसे कि गोलाकार या गोलाकार आकृतियों से निपटने के दौरान, परिवर्तन के नियम अधिक जटिल हो जाते हैं। गणितज्ञ इन घुमावदार ज्यामितियों को संभालने के लिए बेसेल ऑपरेटर (Bessel operator) के रूप में ज्ञात एक विशेष संस्करण का उपयोग करते हैं। जहाँ मानक अवकलज एक सीधी रेखा की तरह है, वहीं बेसेल ऑपरेटर इस बात का हिसाब रखता है कि जैसे-जैसे आप केंद्र बिंदु से दूर जाते हैं, स्थान कैसे फैलता और सिकुड़ता है, जिससे यह रेडियल समरूपता वाले भौतिक विज्ञान और इंजीनियरिंग के अनुभवों को समझने के लिए आवश्यक बन जाता है।

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

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

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

इस कार्य के परिणाम इन उच्च-क्रम के लघुगणकों के कार्य करने के तरीके का एक स्पष्ट और पूर्ण विवरण प्रदान करते हैं। शोधकर्ताओं ने स्थापित किया कि फलनों के एक विस्तृत वर्ग के लिए, ये ऑपरेटर सुपरिभाषित हैं और इन्हें सीधे गणना किया जा सकता है। उन्होंने यह भी सिद्ध किया कि बेसेल ऑपरेटर की भिẪत्मक घातों को इन लघुगणकीय पदों के योग द्वारा अनुमानित किया जा सकता है, जहाँ घात शून्य की ओर बढ़ने पर त्रुटि नगण्य हो जाती है। यह पुष्टि करता है कि लघुगणकीय ऑपरेटर वास्तव में वे मौलिक घटक हैं जो भिẪत्मक घातों को उत्पन्न करते हैं। इसके अलावा, उनके द्वारा हल की गई विस्तार समस्या इन मानों की गणना करने का एक नया तरीका प्रदान करती है, जो इन अमूर्त बीजगणितीय गुणों को एक उच्च-आयामी स्थान में फलन के ठोस व्यवहार से जोड़ती है। यह अध्ययन यह दावा नहीं करता है कि यह इस क्षेत्र के हर रहस्य को सुलझा देता है, लेकिन यह एक ठोस आधार प्रदान करता है, यह सिद्ध करता है कि इन जटिल ऑपरेटरों को स्पष्ट सूत्रों और भौतिक उपमाओं के माध्यम से समझा जा सकता है।

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

तकनीकी सारांश: बेसेल ऑपरेटरों के उच्च-क्रम लघुगणक और एक विस्तार समस्या

समस्या विवरण
यह शोध पत्र $(0, \infty)$ पर परिभाषित बेसेल ऑपरेटर $B_\lambda = -\frac{d^2}{dx^2} + \frac{\lambda^2 - 1/4}{x^2}$ (जहाँ $\lambda > -1$ ) की जांच करता है। यद्यपि भिन्नात्मक घातों $B_\lambda^s$ और लघुगणक $\log B_\lambda$ का पूर्व में अध्ययन किया जा चुका है (विशेष रूप से फु, ली और झांग [15] द्वारा), इस कार्य का उद्देश्य है:

उच्च-क्रम लघुगणक ऑपरेटरों $\log^m B_\lambda$ ( $m \in \mathbb{N}$ के लिए) को परिभाषित करना और उनका विश्लेषण करना।
इन ऑपरेटरों और भिन्नात्मक घातों $B_\lambda^s$ ( $s \in (-1, 1), s \neq 0$ ) के लिए बिंदुवार (pointwise) समाकल निरूपण (integral representations) व्युत्पन्न करना।
$s \to 0^+$ के रूप में $B_\lambda^s$ और $B_\lambda^{-s}$ के लिए उच्च-क्रम लघुगणक ऑपरेटरों $\log^m B_\lambda$ के संदर्भ में अनंतस्पर्शी टेलर विस्तार (asymptotic Taylor expansions) स्थापित करना।
$\log B_\lambda$ को एक विशिष्ट विस्तार समस्या (extension problem) के समाधान के रूप में अभिलक्षणिक करना, जो फ्रैक्शनल लैपलेसियन के कैफरेली-सिलवेस्टर विस्तार के समान है।

कार्यप्रणाली
लेखक हँकेल रूपांतरण (Hankel transform) $h_\lambda$ का उपयोग करते हैं, जो यूक्लिडियन सेटिंग में फूरियर रूपांतरण के समान बेसेल सेटिंग के लिए एक स्पेक्ट्रल टूल के रूप में कार्य करता है। ऑपरेटर $B_\lambda$ को स्पेक्ट्रली $h_\lambda(B_\lambda f)(x) = x^2 h_\lambda(f)(x)$ के माध्यम से परिभाषित किया जाता है।

प्रमुख कार्यप्रणाली उपकरण निम्नलिखित हैं:

सेमिग्रुप दृष्टिकोण (Semigroup Approach): बेसेल हीट सेमिग्रुप $\{W^\lambda_t\}_{t>0}$ , जो $-B_\lambda$ द्वारा जनित है, का उपयोग किया जाता है। इसके कर्नेल $W^\lambda_t(x, y)$ में प्रथम प्रकार का संशोधित बेसेल फलन $I_\lambda$ शामिल है।
फंक्शनल कैलकुलस (Functional Calculus): ऑपरेटरों को स्पेक्ट्रल मल्टीप्लायर्स के माध्यम से परिभाषित किया जाता है। किसी फलन $\Phi$ के लिए, $\Phi(B_\lambda)f = h_\lambda(\Phi(x^2)h_\lambda f)$ ।
समाकल निरूपण (Integral Representations): $B_\lambda^s$ को सेमिग्रुप अंतर $W^\lambda_t f - f$ (के लिए $s>0$ ) या सेमिग्रुप (के लिए $s<0$ ) के बोchner समाकलों का उपयोग करके व्यक्त किया जाता है। सिंगुलैरिटीज़ (singularities) को अलग करने और पूर्ण अभिसरण (absolute convergence) सुनिश्चित करने के लिए इन समाकलों को विघटित किया जाता है।
विस्तार समस्या (Extension Problem): ऊपरी अर्ध-तल (upper half-plane) $(0, \infty) \times (0, \infty)$ पर एक फलन $u^\lambda_f(x, t)$ का निर्माण हीट कर्नेल और सेमिग्रुप के सबऑर्डिनेशन फॉर्मूला (subordination formula) का उपयोग करके किया जाता है। $\log B_\lambda$ को पुनः प्राप्त करने के लिए $t \to 0^+$ के रूप में इस विस्तार के व्यवहार का विश्लेषण किया जाता है।
अनंतस्पर्शी विश्लेषण (Asymptotic Analysis): $s=0$ पर पैरामीटर $s$ के सापेक्ष भिन्नात्मक घात ऑपरेटरों के अंतर द्वारा टेलर विस्तार व्युत्पन्न किए जाते हैं, जिसमें डोमिनेटेड कन्वर्जेंस प्रमेय और गामा फलन के गुणों का उपयोग किया जाता है।

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

बिंदुवार निरूपण (प्रमेय 1.1):
लेखक $s \in (0, 1)$ और $s \in (-1, 0)$ के लिए $B_\lambda^s f(x)$ के स्पष्ट बिंदुवार सूत्र स्थापित करते हैं। इन सूत्रों में फलन $f$ और उसके स्थानीय औसत के विरुद्ध हीट कर्नेल $W^\lambda_t(x, y)$ के विरुद्ध समाकल शामिल हैं। महत्वपूर्ण रूप से, इस निरूपण में एक "सुधारक" (corrector) पद शामिल है जो बेसेल हीट कर्नेल और यूक्लिडियन हीट कर्नेल $W_t(x-y)$ के बीच के अंतर को दर्शाता है, जो बेसेल सेमिग्रुप की गैर-मार्कोवियन प्रकृति (अर्थात, $W^\lambda_t(1) \neq 1$ ) के कारण आवश्यक है।
उच्च-क्रम लघुगणक (प्रमेय 1.2):
यह शोध पत्र $m \in \mathbb{N}$ के लिए उच्च-क्रम लघुगणक ऑपरेटरों $\log^m B_\lambda$ को परिभाषित करता है। यह $\log t$ की घातों द्वारा भारित (weighted) समाकलों का उपयोग करके $(\log^m B_\lambda)f(x)$ के लिए एक बिंदुवार निरूपण प्रदान करता है। लेखक उल्लेख करते हैं कि उनका प्रमाण [15] में पहले-क्रम के मामले के मौजूदा प्रमाण की तुलना में छोटा है और यह परिभाषा के डोमेन को $L^1((0, \infty), \frac{dy}{1+y}) \cap \text{Lip}^{\theta}_{\text{loc}, x}(0, \infty)$ तक विस्तारित करता है।
अनंतस्पर्शी विस्तार (प्रमेय 1.3):
यह अध्ययन $s \to 0^+$ के रूप में भिन्नात्मक घातों के लिए अनंतस्पर्शी टेलर विस्तार व्युत्पन्न करता है। विशेष रूप से, यह सिद्ध करता है कि:
$\lim_{s \to 0^+} \frac{(m+1)!}{s^{m+1}} \left( B_\lambda^s f - \left( f + \sum_{j=1}^m \frac{s^j}{j!} (\log^j B_\lambda)f \right) \right) = (\log^{m+1} B_\lambda)f$
$1 < p \leq \infty$ के लिए $L^p(0, \infty)$ में। $B_\lambda^{-s}$ के लिए भी एक समान विस्तार प्रदान किया गया है। यह बेसेल सेटिंग के लिए चेन [8] द्वारा यूक्लिडियन लैपलेसियन के लिए दिए गए परिणामों का सामान्यीकरण करता है।
विस्तार समस्या अभिलक्षण (प्रमेय 1.4):
लेखक एक विस्तार $u^\lambda_f(x, t)$ को परिभाषित करते हैं और सिद्ध करते हैं कि यह डिजेनरेट एलिप्टिक समीकरण $(\partial_t^2 + \frac{1}{t}\partial_t)u^\lambda_f = B_{\lambda, x} u^\lambda_f$ को संतुष्ट करता है। मुख्य परिणाम बेसेल ऑपरेटर के लघुगणक को इस विस्तार के सीमांत व्यवहार के रूप में अभिलक्षित करता है:
$(\log B_\lambda)f(x) = -\lim_{t \to 0^+} (u^\lambda_f(x, t) + f(x)\log t) + f(x)K(x)$
जहाँ $K(x)$ यूलर स्थिरांक $\gamma$ , लघुगणकीय पदों और हीट कर्नेल के समाकलों से युक्त एक विशिष्ट फलन है। यह परिणाम चेन, हाउर और वेथ [9] द्वारा स्थापित $\log(-\Delta)$ के विस्तार प्रमेय के समानांतर है।

महत्व और दावे
यह शोध पत्र बेसेल संदर्भ में उच्च-क्रम लघुगणक ऑपरेटरों के लिए एक व्यापक ढांचा प्रदान करने का दावा करता है। लेखक इस बात पर जोर देते हैं कि उनका दृष्टिकोण ज्ञात परिणामों (विशेष रूप से $\log B_\lambda$ के निरूपण) के लिए छोटे प्रमाण प्रदान करता है और इन परिणामों को उच्च क्रमों और व्यापक फलन स्थानों तक विस्तारित करता है।

इसका महत्व निम्नलिखित में निहित है:

सामान्यीकरण: लघुगणक ऑपरेटरों के सिद्धांत को यूक्लिडियन लैपलेसियन से बेसेल ऑपरेटर तक विस्तारित करना, जो अर्ध-रेखा (half-line) पर हार्मोनिक विश्लेषण के लिए मौलिक है।
एकीकरण: हँकेल रूपांतरण का उपयोग करके एक ही स्पेक्ट्रल ढांचे के भीतर भिन्नात्मक घातों, लघुगणक ऑपरेटरों और विस्तार समस्याओं को जोड़ना।
तकनीकी सटीकता: ऐसे बिंदुवार निरूपण प्रदान करना जो बेसेल हीट सेमिग्रुप के विशिष्ट सिंगुलैरिटीज़ और गैर-मार्कोवियन गुणों को ध्यान में रखते हैं, जो यूक्लिडियन मामले से भिन्न होते हैं।

लेखक नए अनुप्रयोगों या प्रयोगात्मक सेटअपों का प्रस्ताव नहीं करते हैं बल्कि बेसेल ऑपरेटर से संबंधित ऑपरेटर सिद्धांत और हार्मोनिक विश्लेषण के सैद्धांतिक विकास पर ध्यान केंद्रित करते हैं। यह कार्य मौजूदा साहित्य, विशेष रूप से फु, ली और झांग [15] और चेन [8, 9] के कार्यों पर आधारित और परिष्कृत है।

इसी तरह के और पेपर