A Nonlocal $p$-Laplacian Interface Model with Sharp Interface

तकनीकी सारांश: एक नॉनलोकल p-लैपलेसियन इंटरफ़ेस मॉडल (Sharp Interface के साथ)

समस्या विवरण
यह शोध पत्र एक नॉनलोकल ढांचे के भीतर इंटरफ़ेस समस्याओं को तैयार करने की चुनौती को संबोधित करता है। शास्त्रीय इंटरफ़ेस समस्याओं में एक डोमेन $\Omega$ के भीतर एक इंटरफ़ेस $\Gamma$ द्वारा विभाजित होने वाली आंशिक अवकल समीकरण (PDE) शामिल होती हैं, जहाँ समाधान या उसके व्युत्पन्न (derivatives) विच्छिन्नता (discontinuities) प्रदर्शित करते हैं। विशेष रूप से, लेखक पॉइसन इंटरफ़ेस समस्या और मेम्ब्रेन स्थितियों (membrane conditions) के साथ $p$-लैपलेसियन इंटरफ़ेस समस्या के विस्तार पर नॉनलोकल परिवेश में विचार करते हैं। नॉनलोकल सूत्रीकरण में एक प्राथमिक कठिनाई यह है कि शास्त्रीय स्थानीय इंटरफ़ेस स्थितियों (जैसे समाधान की निरंतरता और सामान्य फ्लक्स में निर्धारित जंप) को सीधे लागू नहीं किया जा सकता है। मौजूदा दृष्टिकोण अक्सर तीक्ष्ण इंटरफ़ेस $\Gamma$ को $\delta$ मोटाई की एक वॉल्यूमेट्रिक परत के साथ सन्निकट (approximate) करते हैं, जो उप-डोमेन में स्वतंत्र प्रसार (diffusion) के मॉडलिंग और बाउंड्री डेटा को संभालने में जटिलता उत्पन्न कर सकता है।

कार्यप्रणाली (Methodology)
लेखक एक नवीन ऊर्जा-आधारित नॉनलोकल सन्निकटन प्रस्तावित करते हैं जो एक तीक्ष्ण इंटरफ़ेस (sharp interface) $\Gamma$ को बनाए रखता है। डोमेन ज्यामिति को संशोधित करने के बजाय, मॉडल विशिष्ट ऊर्जा कार्यात्मकों (energy functionals) का उपयोग करता है जहाँ इंटरफ़ेस स्थितियाँ अंतर्निहित रूप से एनकोड की जाती हैं।

1. ऊर्जा सूत्रीकरण:

   • रेखीय मामले ($p=2$) के लिए, स्थानीय ऊर्जा कार्यात्मक $E(u)$ को एक नॉनलोकल कार्यात्मक $E_\delta(u)$ द्वारा सन्निकट किया जाता है। नॉनलोकल प्रसार शब्द को एक कर्नेल $\Lambda(x,y)$ का उपयोग करके निर्मित किया गया है जो उप-डोमेन $\Omega_1$ और $\Omega_2$ के भीतर इंटरैक्शन को सीमित करता है, जिससे प्रत्येक क्षेत्र में स्वतंत्र नॉनलोकल प्रसार सुनिश्चित होता है।
   • डिरिचलेट इंटरफ़ेस स्थिति (फ्लक्स में जंप) को इंटरफ़ेस $\Gamma$ के अनुदिश नॉनलोकल औसतों ($K_{\delta,i} * u$) से जुड़े एक पेनल्टी टर्म के माध्यम से संभाला जाता है।
   • न्यूमैन बाउंड्री कंडीशन को स्वाभाविक रूप से वैरिएशनल संरचना के माध्यम से शामिल किया गया है।
   • फ्रेमवर्क को मेम्ब्रेन स्थितियों के साथ गैर-रेखीय $p$-लैपलेसियन मामले में विस्तारित किया गया है, जहाँ इंटरफ़ेस के पार समाधान के जंप को दंडित (penalize) किया जाता है। परिणामी नॉनलोकल कार्यात्मक $F_\delta(u)$, $E_\delta(u)$ के समान संरचनात्मक रूप साझा करता है।

2. सैद्धांतिक विश्लेषण:

   • अस्तित्व और विशिष्टता (Existence and Uniqueness): लेखक कैलकुलस ऑफ वेरिएशन्स की डायरेक्ट मेथड का उपयोग करके नॉनलोकल कार्यात्मकों $E_\delta$ और $F_\delta$ के मिनीमाइजर्स के अस्तित्व और विशिष्टता को स्थापित करते हैं। यह एक नव-व्युत्पन्न नॉनलोकल पोइनकेरी असमानता (nonlocal Poincaré inequality) पर निर्भर करता है जो इंटरफ़ेस जंप पेनल्टी को ध्यान में रखती है।
   • $\Gamma$-अभिसरण ($\Gamma$-Convergence): मुख्य सैद्धांतिक योगदान $\Gamma$-अभिसरण का प्रमाण है। लेखक प्रदर्शित करते हैं कि जैसे-जैसे नॉनलोकल होराइजन $\delta$ शून्य की ओर जाता है ($\delta \to 0$), नॉनलोकल कार्यात्मक अपने स्थानीय समकक्षों ($E$ और $F$) की ओर $\Gamma$-अभिसरण करते हैं।
   • कॉम्पैक्टनेस (Compactness): नॉनलोकल $p$-लैपलेसियन ऑपरेटर्स के लिए कॉम्पैक्टनेस परिणामों के साथ मिलकर, $\Gamma$-अभिसरण यह सुनिश्चित करता है कि नॉनलोकल समस्याओं के मिनीमाइजर्स $L^p$ नॉर्म में स्थानीय इंटरफ़ेस समस्याओं के मिनीमाइजर्स की ओर अभिसरित होते हैं।

3. संख्यात्मक कार्यान्वयन (Numerical Implementation):

   • लेखक गॉसियन कर्नेल की टेंसर-प्रोडक्ट संरचना और मल्टी-क्यूबिक पॉलीनोमियल बेसिस पर आधारित एक कुशल परिमित तत्व विधि (finite element method) का उपयोग करते हैं।
   • यह दृष्टिकोण उच्च-आयामी इंटीग्रल्स को एक-आयामी इंटीग्रल्स के उत्पादों में विभाजित करता है, जिससे गणना लागत काफी कम हो जाती है।
   • विशेष क्वाड्रैचर नियम (Gauss-Legendre) को सेल इंटरफेस के पास क्यूबिक बेसिस फंक्शन से उत्पन्न होने वाली बाउंड्री लेयर्स को संभालने के लिए तैयार किया गया है।

प्रमुख परिणाम

• तीक्ष्ण इंटरफ़ेस संरक्षण: वॉल्यूम-कन्स्ट्रेंट दृष्टिकोणों के विपरीत, प्रस्तावित मॉडल एक तीक्ष्ण इंटरफ़ेस बनाए रखता है, जो डिस्कॉइंट उप-डोमेन में स्वतंत्र नॉनलोकल प्रसार की अनुमति देता है बिना इंटरफ़ेस डेटा को बल्क (bulk) में विस्तारित किए।
• अभिसरण प्रमाण: कठोर प्रमाण पुष्टि करते हैं कि नॉनलोकल कार्यात्मकों के मिनीमाइजर्स $\delta \to 0$ होने पर स्थानीय मिनीमाइजर्स की ओर अभिसरित होते हैं। अभिसरण दर प्रथम-क्रम (first-order) देखी गई है।
• संख्यात्मक सत्यापन: एक और दो आयामों में संख्यात्मक प्रयोग सैद्धांतिक अभिसरण को सत्यापित करते हैं। नॉनलोकल समाधान और ग्राउंड-ट्रुथ लोकल समाधान के बीच $L^2$ त्रुटि $\delta$ के साथ रैखिक रूप से घटती है, और परिणाम विभिन्न मेश रिज़ॉल्यूशन में सुदृढ़ (robust) हैं।

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

1. जटिल इंटरफ़ेस समस्याओं के विस्तार को सुगम बनाता है, जैसा कि मेम्ब्रेन स्थितियों के साथ नॉनलीनियर $p$-लैपलेसियन के सफल अनुप्रयोग से प्रदर्शित होता है।
2. इंटरफ़ेस डेटा (जैसे $g$) को $L^2(\Gamma)$ से $H^1(\Omega)$ तक विस्तारित करने की आवश्यकता से बचाता है।
3. $\Gamma$-अभिसरण के माध्यम से नॉनलोकल और स्थानीय इंटरफ़ेस मॉडलों के बीच एक गणितीय रूप से कठोर लिंक प्रदान करता है, यह सुनिश्चित करता है कि नॉनलोकल मॉडल होराइजन के लुप्त होने पर शास्त्रीय भौतिक समस्या का एक वैध सन्निकटन है।

यह कार्य नए भौतिक अनुप्रयोगों का प्रस्ताव नहीं करता है, बल्कि मौजूदा इंटरफ़ेस घटनाओं को मॉडल करने के लिए एक सुदृढ़ गणितीय और संख्यात्मक उपकरण प्रदान करता है, जहाँ नॉनलोकल प्रभाव प्रासंगिक हैं, जैसे कि फ्लूइड डायनेमिक्स और सामग्री विज्ञान के क्षेत्र में।