An extension theory for fully fractional Schrödinger equations with memory

तकनीकी सारांश: मेमोरी के साथ पूर्णतः भिन्नात्मक श्रोडिंगर समीकरणों के लिए एक विस्तार सिद्धांत

समस्या विवरण
यह शोध पत्र मेमोरी वाले भिन्नात्मक (fractional) श्रोडिंगर समीकरणों की सुव्यवस्थितता (well-posedness) को संबोधित करता है, जो पूर्णतः भिन्नात्मक ऑपरेटर $L_s = (\partial_t - i\Delta_x)^s$ द्वारा नियंत्रित होते हैं, जहाँ $0 < s < 1$ है। शास्त्रीय भिन्नात्मक श्रोडिंगर समीकरणों के विपरीत, जहाँ कॉची समस्या (Cauchy problem) एकल समय $t=0$ पर प्रारंभिक डेटा के साथ रखी जाती है, पूर्णतः भिन्नात्मक ऑपरेटर स्थान और समय दोनों में गैर-स्थानीय (nonlocal) होता है। फलस्वरूप, स्वाभाविक कॉची समस्या के लिए एक "इतिहास" $u_0(x, t)$ की आवश्यकता होती है, जो संपूर्ण पूर्व अंतराल $t \leq 0$ पर परिभाषित हो। लेखक $L_s$ के लिए एक कठोर विस्तार सिद्धांत विकसित करने का लक्ष्य रखते हैं ताकि निम्नलिखित गैर-रेखीय समस्या का विश्लेषण किया जा सके:
$$\begin{cases} L_s u(x, t) = \mu |u(x, t)|^{p-1}u(x, t), & x \in \mathbb{R}^d, t > 0, \\ u(x, t) = u_0(x, t), & x \in \mathbb{R}^d, t \leq 0. \end{cases}$$
प्राथमिक चुनौती ऑपरेटर की दोलनी (oscillatory) प्रकृति है। $L_s$ का फूरियर सिंबल विशेषता पैराबोलाइड (characteristic paraboloid) $\tau = -2\pi|\xi|^2$ के पार अपना चिह्न बदल देता है, और अंतर्निहित श्रोडिंगर सेमिग्रुप संकुचनकारी (contractive) होने के बजाय यूनिटरी (unitary) है। यह मानक धनात्मकता-आधारित तकनीकों (तुलना सिद्धांतों, अधिकतम सिद्धांतों) के उपयोग को रोकता है जो सामान्यतः परवलयिक (parabolic) विस्तार सिद्धांतों (जैसे कि भिन्नात्मक लाप्लासियन या भिational ऊष्मा समीकरणों के लिए कैफैलियली-सिलवेस्ट्री) में उपयोग किए जाते हैं।

कार्यप्रणाली
लेखक एक दोलनी विस्तार सिद्धांत (oscillatory extension theory) का उपयोग करते हैं जो गैर-स्थानीय ऑपरेटर $L_s$ को एक अतिरिक्त स्थानिक चर $z > 0$ में एक स्थानीय समस्या के डिरिचलेट-टू-नेमन मानचित्र (Dirichlet-to-Neumann map) के रूप में साकार करता है। कार्यप्रणाली तीन मुख्य चरणों में आगे बढ़ती है:

1. ऑपरेटर परिभाषा और सेमिग्रुप निरूपण:
   $L_s$ को बाल्कराकियन (Balakrishnan) सूत्र के समान एक सेमिग्रप निरूपण के माध्यम से परिभाषित किया गया है, जिसे यूनिटरी श्रोडिंगर समूह $S(t) = e^{it\Delta_x}$ के लिए अनुकूलित किया गया है:
   $$L_s u = -\frac{s}{\Gamma(1-s)} \int_0^\infty \frac{P^L_\sigma u - u}{\sigma^{1+s}} d\sigma,$$
   जहाँ $P^L_\sigma = e^{-\sigma L}$ है। लेखक सिद्ध करते हैं कि यह परिभाषा फूरियर मल्टीप्लायर परिभाषा $(ip(\xi, \tau))^s$ के साथ मेल खाती है, जहाँ $p(\xi, \tau) = 2\pi\tau + 4\pi^2|\xi|^2$ है। महत्वपूर्ण रूप से, भिन्नात्मक घात $p(\xi, \tau)$ के चिह्न के आधार पर दो अलग-अलग शाखाओं (branches) को शामिल करती है, जिसके लिए विस्तार में चरण (phase) के सावधानीपूर्वक उपचार की आवश्यकता होती है।

2. दोलनी विस्तार का निर्माण:
   लेखक ऊपरी अर्ध-स्थान $\mathbb{R}^{d+1}_+ \times \mathbb{R}_t$ में एक स्थानीय विस्तार का निर्माण करते हैं, जो एक बेसेल ऑपरेटर $B^{(a)}_z = \partial_{zz} + \frac{a}{z}\partial_z$ (जहाँ $a = 1-2s$) वाली एक विलक्षण (singular) श्रोडिंगर समीकरण द्वारा शासित होता है:
   $$\partial_t U - i(\Delta_x U + B^{(a)}_z U) = 0, \quad U(x, 0, t) = u(x, t).$$
   यूक्लिडियन या परवलयिक विस्तारों के विपरीत, संबद्ध पॉइसन कर्नेल $P_a(X, Y_0, t)$ दोलनी (oscillatory) है। लेखक इसे संशोधित बेसेल फलनों $K_s$ का उपयोग करके फेज स्पेस में स्पष्ट रूप से गणना करते हैं और इसका भौतिक स्थान निरूपण प्राप्त करते हैं:
   $$P_a(X, Y_0, t) = C_a z^{1-a} t^{-(3-a)/2} e^{i z^2/4t} S(x, y, t),$$
   जहाँ $S(x, y, t)$ शास्त्रीय श्रोडिंगर प्रोपेगेटर है। यह दिखाया गया है कि यह कर्नेल धनात्मक होने के बजाय दोलनी है, जो अंतर्निहित गतिकी की विसरणात्मक (dispersive) प्रकृति को दर्शाता है।

3. इतिहास उत्थान (History Lifting) और अंतर्निहित ऊर्जा स्थान:
   एक केंद्रीय योगदान निर्धारित इतिहास $u_0$ के लिए "पॉइसन उत्थान" (Poisson lifting) का निर्माण है। लेखक एक अंतर्निहित हिल्बर्ट स्पेस $\mathcal{H}_s$ को परिभाषित करते हैं जो स्वीकार्य इतिहासों का है, जिसे एक अंतर्निहित द्विघात रूप (quadratic form) $Q_s(u_0)$ द्वारा अभिलक्षित किया गया है, जो उत्थान किए गए इतिहास की भारित बल्क ऊर्जा का प्रतिनिधित्व करता है। वे सिद्ध करते हैं कि पॉइसन उत्थान ऑपरेटर $P_s: \mathcal{H}_s \to L^2_a(\mathbb{R}^{d+1}_+)$ एक आइसोमेट्री (isometry) है। यह इतिहास की ऊर्जा और स्थानीय विस्तार की प्रारंभिक डेटा की ऊर्जा के बीच एक सीधा संबंध स्थापित करता है।

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

• $L_s$ के लिए विस्तार सिद्धांत: यह शोध पत्र पूर्णतः भिन्नात्मक श्रोडिंगर ऑपरेटर के लिए पहला विस्तार सिद्धांत प्रदान करता है, जो धनात्मकता की कमी को दोलनी तकनीकों और बेसेल फंक्शन एसिम्प्टोटिक्स का उपयोग करके दूर करता है।
• स्पष्ट पॉइसन कर्नेल: एक स्पष्ट दोलनी पॉइसन कर्नेल व्युत्पन्न किया गया है, जो सीमावर्ती इतिहास और बल्क समाधान के बीच सेतु के रूप में कार्य करता है।
• $s=1/2$ पर विसरणात्मक संक्रमण (Dispersive Transition): विश्लेषण विस्तार ऑपरेटर के व्यवहार में $0 < s \leq 1/2$ या $1/2 < s < 1$ के आधार पर एक गुणात्मक द्विशाखीयता (dichotomy) प्रकट करता है।
  • $s \leq 1/2$ के लिए, विस्तार ऑपरेटर $L^2(\mathbb{R}^{d+1})$ पर परिबद्ध (bounded) है।
  • $s > 1/2$ के लिए, ऑपरेटर स्वाभाविक रूप से ग्राफ डोमेन $\text{Dom}(L_s)$ पर परिभाषित है।
    यह संक्रमण बेसेल-श्रोडिंगर प्रोपेगेटर के विसरणात्मक व्यवहार को दर्शाता है जिसे लेखकों ने अपने पिछले कार्यों में पहचाना था।
• गैर-रेखीय मेमोरी समस्या की सुव्यवस्थितता: इतिहास $u_0 \in \mathcal{H}_s$ को बल्क प्रारंभिक डेटा $U_0 = P_s u_0$ में उत्थापित करके, लेखक विलक्षण श्रोडिंगर समीकरणों के लिए सुव्यवस्थितता सिद्धांत (जो गैर-रेखीय नेमन सीमा अंतःक्रियाओं के साथ विकसित किया गया है [10]) को गैर-स्थानीय मेमोरी समस्या में स्थानांतरित करते हैं।
  • माईल्ड समाधान (Mild Solutions): समस्या का समाधान स्थानीय विस्तार समस्या के अद्वितीय 'माईल्ड' समाधान के मजबूत सीमा ट्रेस (strong boundary trace) के रूप में परिभाषित किया गया है।
  • परिदृश्य (Regimes): द्रव्यमान-क्रांतिक (mass-critical) और उप-क्रांतिक (subcritical) परिदृश्यों ($1 < p \leq p_c$) में सुव्यवस्थितता स्थापित की गई है, जहाँ $p_c$ आयाम $d$ और पैरामीटर $a$ पर निर्भर करता है।
  • समीकरण की प्राप्ति: अतिरिक्त ग्राफ-डोमेन नियमितता परिकल्पनाओं के तहत, भिन्नात्मक समीकरण $L_s u = \mu |u|^{p-1}u$ को $t > 0$ के लिए $L^2$ अर्थ में पुनः प्राप्त किया जाता है।

महत्व और दावे
शोध पत्र का दावा है कि वह गैर-रेखीय विसरणात्मक समीकरणों के अध्ययन के लिए एक कठोर ढांचा स्थापित करता है, जो कि मेमोरी वाले समस्याओं का एक वर्ग है जिसमें पहले विस्तार सिद्धांत का अभाव था क्योंकि श्रोडिंगर ऑपरेटर गैर-सेक्टोरियल और दोलनी प्रकृति का है।

• पद्धतिगत बदलाव: यह कार्य प्रदर्शित करता है कि धनात्मकता तर्कों को दोलनी इंटीग्रल अनुमानों और बेसेल इंटरट्विनिंग गुणों द्वारा प्रतिस्थापित करके विस्तार तकनीकों को विसरणात्मक ऑपरेटरों के लिए सफलतापूर्वक अनुकूलित किया जा सकता है।
• अंतर्निहित इतिहास स्थान: $\mathcal{H}_s$ के रूप में अंतर्निहित हिल्बर्ट स्पेस की पहचान इतिहास डेटा के लिए एक स्वाभाविक कार्यात्मक सेटिंग प्रदान करती है, जो एक विशिष्ट द्विघात रूप द्वारा अभिलक्षित है।
• गैर-स्थानीय विभव के साथ संबंध: लेखक दिखाते हैं कि विस्तार प्रारूप में गैर-रेखीय सीमा पद $L_s$ के मौलिक समाधान से जुड़े भिन्नात्मक ड्यूमेल (Duhamel) विभव के बिल्कुल अनुरूप है, जिससे स्थानीय और गैर-स्थानीय दृष्टिकोणों का एकीकरण होता है।

लेखक अपने विशिष्टता दावों के दायरे के बारे में विनम्र हैं: विशिष्टता को विस्तार उत्थान द्वारा उत्पन्न समाधानों के वर्ग के भीतर दावा किया गया है। वे यह दावा नहीं करते कि भिन्नात्मक समीकरण के सभी संभावित कमजोर समाधान इस निर्माण से उत्पन्न होते हैं, न ही वे यह दावा करते हैं कि $t=0$ पर जुड़ा हुआ अतीत-भविष्य फलन अतिरिक्त संगतता शर्तों के बिना निरंतर है। सुव्यवस्थितता को "विस्तार-प्रेरित माईल्ड अर्थ" (extension-induced mild sense) में स्थापित किया गया है, जो समस्या की गैर-स्थानीय प्रकृति को देखते हुए एक स्वाभाविक समाधान अवधारणा है।