On $m$-order logarithmic Schrödinger operator

तकनीकी सारांश: m-क्रम के लघुगणकीय श्रोडिंगर ऑपरेटर पर (On m-Order Logarithmic Schrödinger Operator)

समस्या विवरण
यह शोध पत्र $\mathbb{R}^d$ में एक श्रोडिंगर ऑपरेटर $L_V = -\Delta + V$ के $m$-क्रम के लघुगणक (logarithm) की जांच करता है, जहाँ $V$ एक गैर-ऋणात्मक मापने योग्य विभव (potential) है। जबकि लघुगणकीय लाप्लासियन $\log(-\Delta)$ और उसके उच्च-क्रम के समकक्षों का हाल के वर्षों में व्यापक रूप से अध्ययन किया गया है (जैसे, [5, 9]), एक विभव $V$ के साथ श्रोडिंगर सेटिंग में इन अवधारणाओं का विस्तार करने में विशिष्ट विश्लेषणात्मक चुनौतियाँ प्रस्तुत होती हैं। प्राथमिक उद्देश्य $m \in \mathbb{N}$ के लिए ऑपरेटर $\log^m L_V$ को परिभाषित करना और $s \to 0^+$ के रूप में भिन्नात्मक घातों (fractional powers) $L_V^s$ और $L_V^{-s}$ के लिए साहंत्य विस्तार (Taylor series) प्राप्त करने के लिए इनका उपयोग करना है। यह अध्ययन $L^p(\mathbb{R}^d)$ स्थानों में और विशिष्ट प्रकार के फलनों के लिए बिंदुवार (pointwise) इन विस्तारों को स्थापित करने पर केंद्रित है, जो इस तथ्य को संबोधित करता है कि संबद्ध सेमग्रुप (semigroup) $V > 0$ होने पर मार्कोवियन (Markovian) नहीं होता है।

कार्यप्रणाली
लेखक स्पेक्ट्रल थ्योरी के दृष्टिकोण को हीट कर्नेल अनुमानों (heat kernel estimates) के साथ संयोजित करते हैं।

1. स्पेक्ट्रल परिभाषा: ऑपरेटर $L_V$ को एक बंद द्विपक्षीय रूप (closed sesquilinear form) से जुड़े एक स्व-अडजॉइंट ऑपरेटर के रूप में $L^2(\mathbb{R}^d)$ पर माना जाता है। स्पेक्ट्रल माप $E_V$ का उपयोग करते हुए, जो $[0, \infty)$ पर समर्थित है, भिन्नात्मक घातों $L_V^s$ और लघुगणकीय ऑपरेटरों $\log^m L_V$ को स्पेक्ट्रल समाकल (spectral integral) के माध्यम से परिभाषित किया जाता है:
   $$\Phi(L_V)f = \int_0^\infty \Phi(\lambda) dE_V(\lambda)f.$$
2. सेमग्रुप विस्तार: लघुगणकीय ऑपरेटरों की परिभाषा को $L^2(\mathbb{R}^d)$ से लिप्सचिट्ज़ (Lipschitz) फलनों के एक व्यापक वर्ग तक विस्तारित किया जाता है जो $L_V$ द्वारा जनरेट किए गए हीट सेमग्रुप $\{T_t^V\}_{t>0}$ का उपयोग करते हैं। लेखक निम्नलिखित समाकल प्रतिनिधित्व का उपयोग करते हैं:
   $$L_V^s f = \frac{1}{\Gamma(-s)} \int_0^\infty \frac{T_t^V f - f}{t^{s+1}} dt,$$
   जो $s \in (0, 1)$ और उपयुक्त $f$ के लिए मान्य है।
3. विभव की शर्तें: विश्लेषण यह मानता है कि $d \ge 3$ है और विभव $V$ एक रिवर्स होल्डर असमानता (reverse Hölder inequality) को संतुष्ट करता है ($V \in RH_q$ जहाँ $q > d/2$)। यह स्थिति क्रिटिकल रेडियस फंक्शन $\rho(x)$ के उपयोग और बेहतर हीट कर्नेल अनुमानों (विशेष रूप से, $\rho(x)$ और यूक्लिडियन हीट कर्नेल से संबंधित सीमाओं) के लिए अनुमति देती है।
4. साहंतक विश्लेषण (Asymptotic Analysis): मुख्य तकनीकी कार्य अंतर भागों (difference quotients) $\frac{L_V^s f - f}{s}$ और $s \to 0^+$ के सापेक्ष उनके उच्च-क्रम के डेरिवेटिव के व्यवहार का विश्लेषण करना है। लेखक $t=0$ पर विलक्षणता (singularity) और अनंत पर व्यवहार को संभालने के लिए समाकल निरूपणों को स्थानीयकृत (localized) और गैर-स्थानीयकृत (non-localized) भागों में विभाजित करते हैं, जिसमें गामा फंक्शन और क्रिटिकल रेडियस फंक्शन के गुणों का उपयोग किया जाता है।

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

• उच्च-क्रम लघुगणकीय ऑपरेटरों की परिभाषा: यह शोध पत्र स्पेक्ट्रल माप के माध्यम से $m$-क्रम के लघुगणकीय श्रोडिंगर ऑपरेटर $\log^m L_V$ को कठोरता से परिभाषित करता है। यह आगे ऑपरेटर $\text{Log}^k L_V$ (जो भिन्नात्मक घातों के डेरिवेटिव के रूप में कार्य करता है) की परिभाषा को स्थानीय लिप्सचिट्ज़ स्थानों और भारित (weighted) $L^1$ स्थानों के प्रतिच्छेदन वाले फलनों तक विस्तारित करता है।
• $L^2$ में साहंतक विस्तार: प्रमेय 1.1 लघुगणकीय ऑपरेटरों के डोमेन में फलनों के लिए $L^2(\mathbb{R}^d)$ में $L_V^s f$ और $L_V^{-s} f$ के लिए टेलर विस्तार स्थापित करता है। विशेष रूप से, $f \in D(\log^{m+1} L_V) \cap D(L_V^{s_0})$ के लिए:
  $$L_V^s f - \sum_{k=0}^m \frac{s^k}{k!} (\log^k L_V)f = o(s^m) \quad \text{जब } s \to 0^+.$$
  ऋणात्मक घातों के लिए वैकल्पिक चिह्नों के साथ एक समान विस्तार प्रदान किया गया है।
• $L^p$ और $L^\infty$ में अभिसरण (Convergence): प्रमेय 1.2 और प्रमेय 1.3 इन परिणामों को $L^p(\mathbb{R}^d)$ ($1 < p < \infty$) और कॉम्पैक्ट सेट $K$ के लिए $L^\infty(K)$ तक विस्तारित करते हैं। ये परिणाम $C_c(\mathbb{R}^d) \cap \text{Lip}_{\text{loc,uni}}^\theta(\mathbb{R}^d)$ और $L^1 \cap L^\infty \cap \text{Lip}_{\text{loc,uni}}^\theta(\mathbb{R}^d)$ के फलनों के लिए मान्य हैं। विस्तार इस प्रकार दिए गए हैं:
  $$\lim_{s \to 0^+} \frac{L_V^s f - f - \sum_{k=1}^{n-1} \frac{s^k}{k!} (\text{Log}^k L_V)f}{s^n/n!} = (\text{Log}^n L_V)f.$$
• बिंदुवार निरूपण (Pointwise Representation): यह शोध पत्र $\text{Log}^k L_V$ के लिए स्पष्ट बिंदुवार समाकल निरूपण प्रदान करता है, जो [1] में पाए गए $\log L_V$ के ज्ञात निरूपण का सामान्यीकरण है। इन निरूपणों में हीट कर्नेल $T_t^V(x, y)$ और क्रिटिकल रेडियस फंक्शन $\rho(x)$ के समाकल शामिल हैं, जो यह रेखांकित करते हैं कि सुधार पद (correction terms) स्थिर नहीं हैं (शुद्ध लाप्लासियन मामले के विपरीत) क्योंकि सेमग्रुप की प्रकृति गैर-मार्कोवियन है।
• भिन्नात्मक समीकरणों पर अनुप्रयोग: उपप्रमेय (Corollary) 1.4 प्रदर्शित करता है कि इन विस्तारों का उपयोग समीकरण $L_V^s u = f$ के समाधान $u_{f,s} = L_V^{-s} f$ का वर्णन करने के लिए किया जा सकता है, जिसमें अनंत पर लुप्त सीमा स्थितियों (vanishing boundary conditions) के साथ $s \to 0$ के रूप में लघुगणकीय ऑपरेटरों के संदर्भ में एक साहंतक श्रेणी (asymptotic series) प्रदान की गई है।

महत्ता और दावे
लेखकों का दावा है कि यह कार्य लघुगणकीय लाप्लासियन (विशेष रूप से चेन [5] और चेन-वेथ [9] द्वारा) के पिछले परिणामों को गैर-तुच्छ विभव (non-trivial potentials) के साथ श्रोडिंगर ऑपरेटर सेटिंग में सामान्यीकृत करता है। इस शोध का एक महत्वपूर्ण पहलू विभव $V$ से उत्पन्न होने वाले गैर-स्थिर सुधार कारकों (non-constant correction factors) को संभालना है, जिसके लिए क्रिटिकल रेडियस फंक्शन $\rho(x)$ और विशिष्ट रिवर्स होल्डर शर्तों का उपयोग आवश्यक है। परिणाम पहचान (identity) के निकट (अर्थात, जब क्रम शून्य के करीब पहुँचता है) श्रोडिंगर ऑपरेटरों की भिन्नात्मक घातों के व्यवहार को समझने के लिए एक कठोर ढांचा प्रदान करते हैं। यह शोध नए प्रयोगात्मक अनुप्रयोगों का प्रस्ताव नहीं करता है बल्कि इस विशिष्ट ऑपरेटर-सैद्धांतिक संदर्भ में साहंतक विस्तारों के लिए सैद्धांतिक आधार स्थापित करता है।