Arbitrary harmonic functions as Bose--Einstein condensates

तकनीकी सारांश: अनिश्चित हार्मोनिक फलन (Arbitrary Harmonic Functions) के रूप में बोस-आइंस्टीन कंडन्सेट्स

समस्या विवरण
यह शोध पत्र उन बोस-आइंस्टीन कंडन्सेट्स (BECs) की प्रकृति की जांच करता है जो एक आदर्श बोस गैस के ऊष्मप्रवैगिकी सीमा (thermodynamic limit) में उत्पन्न हो सकते हैं, जब डोमेन की सीमा पर लाप्लासियन (Laplacian) के लिए सीमा स्थितियाँ (boundary conditions) स्वतंत्र रूप से चुनी जाती हैं। जबकि पिछले अवलोकनों (जैसे [5] में) ने संकेत दिया था कि अनंत-आयतन वाली आदर्श बोस गैसें कई अलग-अलग KMS अवस्थाओं को स्वीकार करती हैं, जो दो-बिंदु फलन (two-point function) में मनमाने धनात्मक सेसिक्विलिनर रूपों (sesquilinear forms) द्वारा अभिलक्षित होती हैं—जो कंडन्सेट्स का वर्णन करने वाले हार्मोनिक फलनों के अनुरूप हैं—यह एक खुला प्रश्न बना हुआ था कि क्या ऐसी अवस्थाओं को मानक ऊष्मप्रवैगिकी सीमा प्रक्रिया (परिमित-आयतन की गिब्स अवस्थाओं की सीमा लेना) के माध्यम से कठोरता से प्राप्त किया जा सकता है। इसके अतिरिक्त, हालांकि रैखिक कंडन्सेट्स वाली गैर-अनुवाद-अपरिवर्तनीय (non-translation-invariant) KMS अवस्थाओं का अस्तित्व ज्ञात था [6], विशिष्ट सीमा स्थितियों के माध्यम से अनिश्चित हार्मोनिक फलनों या एक साथ कई कंडन्सेट्स द्वारा वर्णित कंडन्सेट्स को साकार करने की संभावना अभी तक स्थापित नहीं हुई थी।

कार्यप्रणाली
लेखक इस समस्या को $\mathbb{R}^d$ को समाप्त (exhaust) करने वाले डोमेन $\Omega_j \subset \mathbb{R}^d$ के एक अनुक्रम पर धनात्मक स्व-अदिश (self-adjoint) लाप्लासियन $-\Delta_{\Omega_j}^\Phi$ के एक विशिष्ट निर्माण के माध्यम से संबोधित करते हैं।

1. ऑपरेटर का निर्माण:
   इस कार्यप्रणाली के मूल में डोमेन $\Omega$ पर लाप्लासियन के व्युत्क्रम को डिरिचलेट लाप्लासियन व्युत्क्रम के विक्षोभ (perturbation) के माध्यम से परिभाषित करना शामिल है। हार्मोनिक फलनों के एक अनुक्रम $\Phi = \{\phi_k\}_k$ को देखते हुए जो $\sum_k |\phi_k(x)|^2 < \infty$ को संतुष्ट करते हैं, ऑपरेटर को इस प्रकार परिभाषित किया गया है:
   $$(-\Delta_{\Omega}^\Phi)^{-1} := \left( (-\Delta_{\Omega}^0)^{-1} + \sum_k |\chi_\Omega \phi_k\rangle \langle \phi_k \chi_\Omega| \right)^{-1}$$
   जहाँ $-\Delta_{\Omega}^0$ डिरिचलेट लाप्लासियन है और $\chi_\Omega$ $\Omega$ का अभिलक्षण फलन (characteristic function) है। यह निर्माण सुनिश्चित करता है कि नया ऑपरेटर $C_0^\infty(\Omega)$ पर लाप्लासियन का एक धनात्मक स्व-अदिश विस्तार है।

2. सीमा स्थितियाँ (Boundary Conditions):
   लेखक इस ऑपरेटर से जुड़े स्पष्ट रॉबिन-प्रकार (Robin-type) की सीमा स्थितियों को व्युत्पन्न करते हैं। वे दिखाते हैं कि $-\Delta_{\Omega}^\Phi$ के डोमेन में रहने वाले फलन डिरिचलेट-टू-नेमैन ऑपरेटर $H_\Omega$ और हार्मोनिक फलनों $\phi_k$ के विस्तार (span) पर आधारित एक विशिष्ट ऑपरेटर $r_\Omega^\Phi$ से जुड़े एक सामान्यीकृत रॉबिन-प्रकार की सीमा स्थिति का पालन करते हैं। विशेष रूप से, सीमा पर $f$ का अभिलंब अवकलज (normal derivative) $\partial_n f$, $f$ के सीमा मानों और हार्मोनिक फलनों के विस्तार पर $f$ के प्रक्षेप (projection) से संबंधित है।

3. अभिसरण विश्लेषण (Convergence Analysis):
   ऊष्मप्रवैगिकी सीमा को स्थापित करने के लिए, लेखक एक सशक्त रिजॉलवेंट अभिसरण (strong resolvent convergence) परिणाम (थ्योरम 2) सिद्ध करते हैं। वे प्रदर्शित करते हैं कि डोमेन $\Omega_j$ पर गैर-ऋणात्मक स्व-अदिश विस्तारों के किसी भी अनुक्रम के लिए, ऑपरेटर $F(-\Delta_{\Omega_j})$ किसी भी परिबद्ध सतत फलन $F$ के लिए $L^2(\mathbb{R}^d)$ पर $F(-\Delta)$ की ओर सशक्त रूप से अभिसरित होता है। इस सामान्य परिणाम को विशिष्ट फलन $F(x) = (e^{\beta x} - 1)^{-1} - (\beta x)^{-1}$ पर लागू किया जाता है, जो बोस गैस के दो-बिंदु फलन से संबंधित है।

मुख्य परिणाम
मुख्य परिणाम थ्योरम 1 में प्रस्तुत किया गया है। लेखक सिद्ध करते हैं कि हार्मोनिक फलनों के किसी भी अनुक्रम $\Phi = \{\phi_k\}_k$ (वर्ग-योग्यता की स्थिति को संतुष्ट करते हुए) के लिए, ऐसी सीमा स्थितियों का एक अनुक्रम मौजूद है जिससे ऊष्मप्रवैगिकी सीमा में आदर्श बोस गैस का दो-बिंक फलन अभिसरित होता है:
$$\lim_{j\to\infty} \left\langle f \left| \frac{1}{e^{-\beta \Delta_{\Omega_j}^\Phi} - 1} \right| g \right\rangle = \int_{\mathbb{R}^d} \frac{\hat{f}(p)\overline{\hat{g}(p)}}{e^{\beta|p|^2} - 1} dp + \frac{1}{\beta} \sum_k \left( \int_{\mathbb{R}^d} f \phi_k \right) \left( \int_{\mathbb{R}^d} \overline{g \phi_k} \right)$$
इस परिणाम की मुख्य विशेषताएं निम्नलिखित हैं:

• अनिश्चित कंडन्सेट्स (Arbitrary Condensates): प्रणाली अनिश्चित संख्या (परिमित या अनंत) में बोस-आइंस्टीन कंडन्सेट्स का समर्थन करती है।
• हार्मोनिक प्रोफाइल: प्रत्येक कंडेंसेट एक अनिश्चित हार्मोनिक फलन $\phi_k$ द्वारा वर्णित है। $k$-वें कंडेंसेट का घनत्व $|\phi_k(x)|^2$ के समानुपाती है।
• शून्य रासायनिक विभव (Zero Chemical Potential): यह परिणाम शून्य रासायनिक विभव पर मान्य है। लेखक नोट करते हैं कि यह परिणाम कम ऋणात्मक रासायनिक विभवों तक विस्तारित होता है जो आयतन बढ़ने के साथ पर्याप्त तेजी से शून्य की ओर जाते हैं।
• आयामी बाधाएं (Dimensional Constraints): आयाम $d \in \{1, 2\}$ में, अभिसरण के लिए यह अतिरिक्त धारणा आवश्यक है कि परीक्षण फलनों के फूरियर रूपांतरण शून्य पर लुप्त होते हैं ($\hat{f}(0) = \hat{g}(0) = 0$), ताकि निम्न मोमेंटा (low momenta) पर मुक्त गैस पद की समाकलनीयता (integrability) सुनिश्चित हो सके।

महत्व और दावे
यह शोध पत्र इस प्रश्न को हल करने का दावा करता है कि क्या अनंत आयतन में देखी गई विविध KMS अवस्थाओं को परिमित-आयतन की गिब्स अवस्थाओं की सीमा के रूप में साकार किया जा सकता है। विशिष्ट सीमा स्थितियों का निर्माण करके, लेखक दिखाते हैं कि:

1. यह एक ऐसी प्रणाली को इंजीनियर करना संभव है जहाँ कंडेंसेट तरंग फलन (wavefunctions) केवल स्थिरांक या रैखिक फलनों तक सीमित नहीं हैं, बल्कि कोई भी हार्मोनिक फलन हो सकते हैं।
2. ऊष्मप्रवैगिकी सीमा में कई कंडन्सेट्स सह-अस्तित्व में रह सकते हैं, जो डिरिचले सीमा स्थितियों वाले परिमित आयतन में देखे गए "बहु-कंडेंसेट" से भिन्न है (जहाँ दो-बिंदु फलन की सीमा में यह प्रभाव लुप्त हो जाता है)।
3. निर्मित लाप्लासियनों के आइजन मान (eigenvalues) जैसे-जैसे डोमेन फैलता है, $(\int_\Omega |\phi_k|^2)^{-1}$ के रूप में घटते हैं, जिससे यह सुनिश्चित होता है कि इन छोटे आइजन मानों से जुड़े स्पेक्ट्रल प्रोजेक्शन कंडेंसेट घनत्व में परिमित, गैर-शून्य योगदान प्रदान करते हैं।

लेखक अपने दायरे को सीमित रखते हैं, जो पूरी तरह से आदर्श बोस गैसों और ऊष्मप्रवैगिकी सीमा के ढांचे के भीतर ऐसी अवस्थाओं के गणितीय अस्तित्व पर केंद्रित है, बिना किसी प्रयोगात्मक कार्यान्वयन या परस्पर क्रिया करने वाली प्रणालियों (interacting systems) तक परिणामों का विस्तार किए। यह कार्य परिमित-आयतन सीमा मान समस्याओं और अनंत-आयतन सांख्यिकीय यांत्रिकी के बीच के अंतर को पाटने के लिए स्व-अदिश विस्तारों के स्पेक्ट्रल सिद्धांत और रिजॉलवेंट्स के अभिसरण पर निर्भर करता है।