Eigenfunction equivalence for the fractional Laplace-Beltrami operator and the classical Helmholtz equation

तकनीकी सारांश: भिन्नात्मक लाप्लास-बेल्ट्रामी ऑपरेटर और शास्त्रीय हेल्महोल्ट्ज़ समीकरण के लिए आइजनफंक्शन तुल्यता

समस्या विवरण
यह लेख एक रिमानियन मैनिफोल्ड $(\mathbb{R}^d, g)$ पर भिन्नात्मक लाप्लास-बेल्ट्रामी ऑपरेटर, $(-\Delta_g)^s$, से जुड़े स्पेक्ट्रल प्रश्न की जांच करता है, जहाँ $g$ एक चिकना (smooth), समान रूप से दीर्घवृत्तीय (uniformly elliptic) मेट्रिक है जिसके डेरिवेटिव परिबद्ध (bounded) हैं। प्राथमिक उद्देश्य इस गैर-स्थानीय (non-local) भिन्नात्मक ऑपरेटर और शास्त्रीय अनिसोट्रोपिक हेल्महोल्ट्ज़ समीकरण के आइजनफंक्शन्स (eigenfunctions) के बीच एक कठोर तुल्यता स्थापित करना है। विशेष रूप से, लेखक इस बात को संबोधित करते हैं कि क्या एक वितरण समाधान (distributional solution) $u \in L^\infty(\mathbb{R}^d)$, जो भिन्नात्मक हेल्महोल्ट्ज़ समीकरण का समाधान करता है:
$$-( -\Delta_g )^s u + k^{2s} u = 0, \quad 0 < s < 1, \, k > 0$$
अनिवार्य रूप से शास्त्रीय स्थानीय समीकरण को संतुष्ट करता है:
$$\Delta_g u + k^2 u = 0.$$
जबकि ऐसे तुल्यता परिणाम पहले यूक्लिडियन सेटिंग (जहाँ $g_{ij} = \delta_{ij}$) में CLY23 और GMW23 जैसे लेखकों द्वारा स्थापित किए जा चुके थे, परिवर्तनशील मेट्रिक वाला मामला महत्वपूर्ण चुनौतियां प्रस्तुत करता है क्योंकि $(-\Delta_g)^s$ अब एक सरल फूरियर मल्टीप्लायर नहीं रह जाता है।

कार्यप्रणाली
प्रमाण स्यूडोडिफरेंशियल सिम्बोलिक कैलकुलस (pseudodifferential symbolic calculus) और जटिल घातों (complex powers) के निर्माण के लिए सीली (Seeley) के निर्माण पर निर्भर करता है। कार्यप्रणाली निम्नलिखित चरणों के माध्यम से आगे बढ़ती है:

1. ऑपरेटर वर्गीकरण: लेखक $P_g = -\Delta_g$ को एक धनात्मक, समान रूप से दीर्घवृत्तीय अवकल ऑपरेटर के रूप में पहचानते हैं जो शास्त्रीय स्यूडोडिफरेंशियल ऑपरेटरों के वर्ग $\Psi^2_{cl}(\mathbb{R}^d)$ से संबंधित है।
2. जटिल घातें (Complex Powers): सीली के प्रमेय का उपयोग करते हुए, वे स्थापित करते हैं कि किसी भी जटिल $z$ के लिए, ऑपरेटर $P_g^z$ वर्ग $\Psi^{2z}_{cl}(\mathbb{R}^d)$ का सदस्य है। फलस्वरूप, भिन्नात्मक ऑपरेटर $(P_g)^s$ का मुख्य सिंबल (principal symbol) दिया गया है: $\sigma_{pr}((P_g)^s)(x, \xi) = (g^{ij}(x)\xi_i\xi_j)^s$।
3. सिम्बोलिक कैलकुलस के माध्यम से गुणनखंड (Factorization): तर्क का मूल भाग ऑपरेटर $P_g - k^2$ के एक विशिष्ट गुणनखंड का निर्माण करना है। लेखक एक स्केलर फलन $b_k(\lambda) = \frac{\lambda - k^2}{\lambda^s - k^{2s}}$ को परिभाषित करते हैं, जो $\lambda = k^2$ के माध्यम से सुचारू रूप से विस्तारित होता है। फलन कैलकुलस (functional calculus) का उपयोग करते हुए, यह एक शास्त्रीय स्यूडोडिफरेंशियल ऑपरेटर $B_k = b_k(P_g)$ प्रदान करता है जिसका क्रम $2-2s$ है।
4. ऑपरेटर पहचान: यह निर्माण ऑपरेटर की एक सटीक पहचान की ओर ले जाता है:
   $$P_g - k^2 = (P_g^s - k^{2s})B_k.$$
   यह गुणनखंड यूक्लिडियन मामले में उपलब्ध साधारण फूरियर मल्टीप्लायर गुणनखंड का गैर-स्थानीय अनुरूप है।
5. वितरण तर्क (Distributional Argument): परीक्षण फलनों $\phi \in \mathcal{S}(\mathbb{R}^d)$ के विरुद्ध ऑपरेटर का परीक्षण करके और $B_k$ के एडजॉइंट गुणों का उपयोग करके, लेखक प्रदर्शित करते हैं कि यदि $u$ भिẪात्मक समीकरण को हल करता है, तो उसे वितरण के अर्थ में $(P_g - k^2)u = 0$ को संतुष्ट करना चाहिए।

मुख्य परिणाम
लेख दो मुख्य प्रमेय प्रस्तुत करता है:

• प्रमेय 1.2 (मुख्य परिणाम): $0 < s < 1$ और एक चिकने समान रूप से दीर्घवृत्तीय मेट्रिक $g$ के लिए, कोई भी $u \in L^\infty(\mathbb{R}^d)$ जो $\mathcal{S}'(\mathbb{R}^d)$ में $-( -\Delta_g )^s u + k^{2s} u = 0$ को संतुष्ट करता है, शास्त्रीय अनिसोट्रोपिक हेल्महोल्ट्ज़ समीकरण $\Delta_g u + k^2 u = 0$ का एक सुचारू समाधान है। यह प्रमाण घातांक पर किसी भी परिमेयता संबंधी धारणा की आवश्यकता के बिना सभी $s \in (0,1)$ के लिए लागू होता है।
• प्रमेय 1.4 (सामान्यीकरण): तुल्यता रिलेटिविस्टिक श्रोडिंगर ऑपरेटर तक विस्तृत होती है। यदि $u$ इस प्रकार संतुष्ट करता है कि $-( -\Delta_g + \mu )^s u + (k^{2s} + \mu)u = 0$ (जहाँ $\mu > 0$), तो $u$, $\Delta_g u + k^2 u = 0$ को हल करता है। पैरामीटर $\mu$ व्युत्पन्न स्थानीय हेल्महोल्ट्ज़ समीकरण को परिवर्तित नहीं करता है।

इनवर्स स्कैटरिंग में अनुप्रयोग
तुल्यता प्रमेयों के प्रत्यक्ष अनुप्रयोग के रूप में, लेखक निश्चित-आवृत्ति इनवर्स स्कैटरिंग समस्या का विश्लेषण करते हैं। वे उस परिदृश्य पर विचार करते हैं जहाँ मेट्रिक $g$ एक कॉम्पैक्ट बॉल $B$ के बाहर यूक्लिडियन है। समस्या यह है कि क्या मेट्रिक $g$ को एक निश्चित आवृत्ति $k$ पर मापे गए स्कैटरिंग एम्प्लीट्यूड $a_g(k, \theta, w)$ से पुनः प्राप्त किया जा सकता है।

लेखक नोट करते हैं कि स्थापित तुल्यता के कारण, भिẪात्मक समीकरण के लिए इनवर्स समस्या शास्त्रीय हेल्महोल्ट्ज़ समीकरण के लिए इनवर्स समस्या में बदल जाती है। वे इस इनवर्स समस्या की ज्ञात सीमाओं पर चर्चा करते हैं:

• अनन्यता (Uniqueness) डिफेोमॉर्फिज्म (diffeomorphisms) द्वारा बाधित होती है जो $B$ की सीमा पर पहचान (identity) हैं (गेज इनवेरिएंस)।
• आयाम $d=2$ में, अनन्यता यूक्लिडियन मेट्रिक के कॉन्फॉर्मल मेट्रिक्स के लिए बनी रहती है।
• आयाम $d \ge 3$ में, अनन्यता केवल वास्तविक-विश्लेषणात्मक (real-analytic) मेट्रिक्स के लिए या विशिष्ट लघुता/जेनेरिक मान्यताओं के तहत ज्ञात है। $d \ge 3$ के लिए सामान्य सुचारू मामला अभी भी खुला है।

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