On weak solutions for the stationary Cahn-Hillard-Navier-Stokes equations with singular potential

तकनीकी सारांश: विलक्षण विभव (Singular Potential) के साथ स्थिर काह्न-हिलियर्ड-नेवियर-स्टोक्स समीकरणों के दुर्बल समाधान (Weak Solutions)

समस्या विवरण
यह शोध पत्र एक तीन-आयामी, संपीड्य (compressible), द्वि-चरणीय तरल मिश्रण के लिए विसरित इंटरफेस (diffuse interface) के साथ वर्णित स्थिर नेवियर-स्टोक्स-काह्न-हिलियर्ड प्रणाली के दुर्बल समाधानों के अस्तित्व की जांच करता है। यह प्रणाली द्रव्यमान, संवेग और सांद्रता के संरक्षण द्वारा नियंत्रित होती है, जो एक रासायनिक विभव समीकरण के साथ युग्मित (coupled) है। इस मॉडल की एक विशिष्ट विशेषता फ्लोरी-हगिंस (लॉगैरिद्मिक) प्रकार के विलक्षण मुक्त ऊर्जा घनत्व का समावेश है। यह चुनाव सुनिश्चित करता है कि द्रव्यमान अंश $c$ भौतिक सीमा $(-1, 1)$ के भीतर रहे और निर्वात अवस्थाओं ($\rho = 0$) की उपस्थिति की अनुमति दे सके।

विशिष्ट सीमा मान समस्या (boundary value problem) एक परिबद्ध डोमेन $\Omega \subset \mathbb{R}^3$ को शामिल करती है जिसमें वेग के लिए डिर्टिचलेट (Dirichlet) स्थितियाँ और सांद्रता एवं रासायनिक विभव के लिए न्यूमैन (Neumann) स्थितियाँ दी गई हैं। प्राथमिक गणितीय चुनौतियाँ दो स्रोतों से उत्पन्न होती हैं:

1. स्थिर सेटिंग (Stationary Setting): विकासवादी (evolutionary) समस्याओं के विपरीत, स्थिर प्रणाली में एक पूर्ववर्ती ऊर्जा असमानता ($E(t) \leq E(0)$) का अभाव होता है जो समय के विकास द्वारा संचालित होती है, जो आमतौर पर विलक्षण विभव और सांद्रता क्षेत्र पर आवश्यक नियंत्रण प्रदान करती है।
2. विलक्षण विभव और निर्वातः मुक्त ऊर्जा में लॉगैरिद्मिक विलक्षणता (singularity) मानक टेलर विस्तार नियमितीकरण (Taylor expansion regularizations) को रोकती है, और निर्वात अवस्थाओं के पास घनत्व की संभावित क्षयशीलता (potential degeneracy) उन कॉम्पैक्टनेस तर्कों को जटिल बना देती है जो सीमा तक जाने (passing to the limit) के लिए आवश्यक हैं।

कार्यप्रणाली (Methodology)
लेखक एक सावधानीपूर्वक निर्मित अनुमानित प्रणाली पर लागू दो-स्तरीय सीमा प्रक्रिया (two-level limiting process) के माध्यम से अस्तित्व स्थापित करते हैं।

1. विभव का विशिष्ट नियमितीकरण (Specialized Regularization of the Potential):
   $c$ पर $L^2$ सीमाओं के अभाव और टेलर विस्तार की विफलता को संबोधित करने के लिए, लेखक विलक्षण लघुगणकीय पद के लिए एक विशिष्ट नियमितीकरण $f^\delta_2(c)$ पेश करते हैं। पिछले दृष्टिकोणों के विपरीत, यह सन्निकटन इस तरह से निर्मित किया गया है कि $f^\delta_2(c) - \frac{\theta_c}{2}c^2$ का अंतर $|c| \to \infty$ होने पर केवल रैखिक रूप से बढ़ता है। यह विशिष्ट निर्माण एंटी-डिफ्यूजन टर्म द्वारा प्रेरित द्विघातीय वृद्धि (quadratic growth) को रद्द करने के लिए डिज़ाइन किया गया है, जिससे आवश्यक कॉम्पैक्टनेस बहाल होती है और एकसमान अनुमान (uniform estimates) प्राप्त होते हैं।

2. दो-स्तरीय सन्निकटन योजना (Two-Level Approximation Scheme):

   • स्तर 1 ($\epsilon$-सीमा): लेखक पहले एक कृत्रिम श्यानता (viscosity) और नियमितीकरण मापदंडों ($\epsilon$) को पेश करते हैं ताकि एक नियमितीकृत प्रणाली का निर्माण किया जा सके। एक फिक्स्ड-पॉइंट तर्क (Schaefer's Fixed Point Theorem) का उपयोग करके, वे इस अनुमानित प्रणाली के लिए सशक्त समाधानों (strong solutions) के अस्तित्व को सिद्ध करते हैं। $\epsilon$ से स्वतंत्र एकसमान अनुमान $\epsilon \to 0$ लेने के लिए प्राप्त किए जाते हैं, जिससे नियमितीकृत मुक्त ऊर्जा वाले एक मध्यवर्ती तंत्र का दुर्बल समाधान प्राप्त होता है।
   • स्तर 2 ($\delta$-सीमा): दूसरा चरण विभव के नियमितीकरण को हटाना ($\delta \to 0$) है। यहाँ एक प्रमुख कठिनाई घनत्व की $L^{3/2}$ समाकलनीयता (integrability) को नियंत्रित करना है। लेखक एक विशिष्ट कृत्रिम दबाव और एक सूक्ष्म अंतर्वेशन (interpolation) तर्क का उपयोग करते हैं। यह तर्क नियमितीकृत विभव की संरचना का लाभ उठाता है, विशेष रूप से यह अवलोकन कि $|c| > 1+\delta$ के लिए $\frac{\partial f^\delta_2}{\partial c} - \theta_c c = O(\ln \frac{1}{\delta})$ है। यह उन्हें घनत्व नॉर्म के लिए अनुमानों को बंद करने और $\delta$ से स्वतंत्र एकसमान सीमाएं स्थापित करने की अनुमति देता है।

3. सशक्त अभिसरण और भौतिक सीमाएँ (Strong Convergence and Physical Bounds):
   गैर-मोनोटोनिक दबाव पद को संभालने के लिए घनत्व के सशक्त अभिसरण को सिद्ध करने के लिए $\delta \to 0$ की सीमा को पार करना आवश्यक है। स्थिर संपीड्य नेवियर-स्टोक्स समीकरणों के सिद्धांत से तकनीकों को अनुकूलित करते हुए, लेखक घनत्व के सशक्त अभिसरण को स्थापित करते हैं। इसके अतिरिक्त, वे सिद्ध करते हैं कि सीमित सांद्रता $c$ लगभग हर जगह (almost everywhere) $\{\rho > 0\}$ के समर्थन पर $-1 < c < 1$ की सख्त भौतिक सीमाओं का पालन करती है, जिससे यह सुनिश्चित होता है कि विलक्षण पद सुपरिभाषित है।

मुख्य परिणाम
मुख्य प्रमेय (प्रमेय 1.1) निम्नलिखित शर्तों के तहत एक समस्या के दुर्बल समाधान $(\rho, u, \mu, c)$ के अस्तित्व को स्थापित करता है:

• डोमेन: $C^2$ सीमा वाला एक परिबद्ध, सरल जुड़ा हुआ (simply connected) डोमेन।
• बल (Forces): बाहरी बल $g_1, g_2$ परिबद्ध हैं।
• एडियाबेटिक घातांक ($\gamma$):
  • यदि बाहरी बल अघूर्णी (irrotational, $\nabla \times g_1 = 0$) है तो $\gamma > 3/2$।
  • यदि बाहरी बल घूर्णी (rotational, $\nabla \times g_1 \neq 0$) है तो $\gamma > 5/3$।
• द्रव्यमान प्रतिबंध: कुल द्रव्यमान $m_1 > 0$ और सापेक्ष द्रव्यमान $m_2$ संतुष्ट करते हैं $m_2 \in (-m_1, m_1)$।

समाधान पुनर्संरचित निरंतरता समीकरण (renormalized continuity equation), संवेग और सांद्रता समीकरणों के दुर्बल निरूपण, और ऊर्जा असमानता का पालन करता है। महत्वपूर्ण रूप से, सांद्रता $\rho(x) > 0$ जहाँ भी है, वहाँ $-1 < c(x) < 1$ को संतुष्ट करती है।

महत्व और दावे
लेखक दावा करते हैं कि यह कार्य स्थिर संपीड्य नेवियर-स्टोक्स-काह्न-हिलियर्ड प्रणाली के दुर्बल समाधानों के लिए प्रथम अस्तित्व परिणाम प्रदान करता है जो साथ ही निम्नलिखित को समाहित करता है:

1. एक विलक्षण मुक्त ऊर्जा विभव (फ्लोरी-हगिंस प्रकार), जो द्वि-चरणीय मिश्रणों के लिए भौतिक रूप से सुसंगत है लेकिन सांद्रता पर वैश्विक सीमाओं के अभाव के कारण गणितीय रूप से चुनौतीपूर्ण है।
2. निर्वात अवस्थाओं ($\rho = 0$) की उपस्थिति, जो समीकरणों में क्षयशीलता (degeneracy) पेश करती है।

शोध पत्र नोट करता है कि जबकि एकल-द्रव स्थिर संपीड्य नेवियर-स्टोक्स समीकरणों के परिणामों के आधार पर एडियाबेटिक घातांक $\gamma$ की स्वीकार्य सीमा का विस्तार किया जा सकता है, वर्तमान सीमा विलक्षण मुक्त ऊर्जा के कारण सीमा के पास सांद्रता के लिए भारित अनुमान (weighted estimates) प्राप्त करने की कठिनाई के कारण सीमित है। यह कार्य विकासवादी मॉडलों (जहाँ ऊर्जा असमानताएँ नियंत्रण प्रदान करती हैं) और विलक्षण विभव वाले स्थिर मॉडलों के बीच के अंतर को पाटने में एक महत्वपूर्ण कदम है।