Well-posedness and longtime behavior of the conserved Navier--Stokes--Allen--Cahn equation with unmatched viscosities and singular potential

तकनीकी सारांश: बेमेल श्यानता (Unmatched Viscosities) और विलक्षण विभव (Singular Potential) वाले संरक्षित नेवियर–स्टोक्स–एलन–कैकन समीकरण की सुव्यवस्थितता (Well-Posedness) और दीर्घकालिक व्यवहार

1. समस्या का निरूपण
यह शोध पत्र दो-चरणीय असंपीड्य प्रवाह (two-phase incompressible flow) के लिए एक द्रव्यमान-संरक्षण मॉडल की जांच करता है, जिसे समान घनत्वों के साथ नेवियर–स्टोक्स प्रणाली द्वारा एक संरक्षित एलन–कैकन समीकरण के साथ गैररेखीय रूप से युग्मित किया गया है। यह प्रणाली एक परिबद्ध डोमेन $\Omega \subset \mathbb{R}^d$ ($d \in \{2, 3\}$) पर परिभाषित है और इसमें तरल वेग $v$, चरण-क्षेत्र चर $\phi$ (सापेक्ष सांद्रता का प्रतिनिधित्व करता है), और रासायनिक विभव $\mu$ शामिल हैं। मॉडल में निम्नलिखित शामिल हैं:

• बेमेल श्यानता (Unmatched Viscosities): श्यानता गुणांक $\nu(\phi)$ चरण-क्षेत्र पर निर्भर करता है और इसे गैर-स्थिर माना गया है।
• विलक्षण विभव (Singular Potential): मुक्त ऊर्जा घनत्व में एक विलक्षण विभव $f(\phi)$ शामिल है, जो आमतौर पर फ्लॉरी–हगिंस (Flory–Huggins) प्रकार का होता है, जो शुद्ध चरणों $\phi = \pm 1$ पर अनंत हो जाता है। यह भौतिक बाधा $|\phi| < 1$ को लागू करता है।
• सीमा स्थितियाँ (Boundary Conditions): वेग के लिए नो-स्लिप स्थितियाँ ($v=0$) और चरण-क्षेत्र के लिए समांग न्यूमैन स्थितियाँ ($\partial_n \phi = 0$)।

शासी समीकरण (Governing equations) हैं:
$$\begin{aligned} \partial_t v + (v \cdot \nabla)v - \text{div}(\nu(\phi)Dv) + \nabla \pi &= \mu \nabla \phi, \\ \nabla \cdot v &= 0, \\ \partial_t \phi + v \cdot \nabla \phi + \mu - \bar{\mu} &= 0, \\ \mu &= -\Delta \phi + f'(\phi), \end{aligned}$$
जहाँ $\bar{\mu}$ $\mu$ का स्थानिक औसत है।

2. कार्यप्रणाली
लेखक कार्यात्मक विश्लेषण (functional analysis), ऊर्जा विधियों (energy methods), और साहसी विश्लेषण (asymptotic analysis) तकनीकों के संयोजन का उपयोग करते हैं:

• गैलेरकिन सन्निकटन (Galerkin Approximation): अस्तित्व प्रमाणों के लिए, विलक्षण विभव को संभालने के लिए योसिडा सन्निकटन ($F_\lambda$) के माध्यम से नियमितीकरण करते हुए एक पूर्ण गैलेरकिन योजना का उपयोग किया जाता है।
• ऊर्जा अनुमान (Energy Estimates): वैश्विक कमजोर समाधान (global weak solutions) मानक ऊर्जा असमानताओं के माध्यम से स्थापित किए जाते हैं। मजबूत समाधानों के लिए, समय के व्युत्पन्न और स्टोक्स ऑपरेटरों ($A_S$) के साथ समीकरणों का परीक्षण करके उच्च-क्रम के अनुमान प्राप्त किए जाते हैं, जिसमें गैलियेटो-निएरेन (Gagliardo–Nirenberg) और एगमोन (Agmon) असमानताओं का उपयोग किया जाता है।
• सापेक्ष ऊर्जा दृष्टिकोण (Relative Energy Approach): सशर्त कमजोर-मजबूत अद्वितीयता (weak-strong uniqueness) स्थापित करने के लिए, लेखक एक सापेक्ष ऊर्जा पद्धति का उपयोग करते हैं। यह दृष्टिकोण एक कमजोर समाधान की तुलना एक मजबूत समाधान से करता है, जो विभव की गैररेखीयता और परिवर्तनशील श्यानता को नियंत्रित करने के लिए एक फलन का उपयोग करता है।
• डी जॉर्गी पुनरावृत्ति (De Giorgi Iterations): विलक्षण पृथक्करण गुण (asymptotic strict separation property) को सिद्ध करने के लिए (कि समाधान शुद्ध चरणों $\pm 1$ से दूर रहता है), लेखक डी जॉर्गी की पुनरावृत्ति तकनीक को लागू करते हैं, जिसे युग्मित प्रणाली के अनुकूल बनाया गया है।
• लोजासिएर–साइमन असमानता (Lojasiewicz–Simon Inequality): एक अद्वितीय संतुलन की ओर अभिसरण को लोजासिएर–साइमन असमानता का उपयोग करके सिद्ध किया जाता है, जो प्रदान की गई है यदि विभव वास्तविक विश्लेषणात्मक (real analytic) है, तो यह ऊर्जा फलन को उसके ग्रेडिएंट के नॉर्म से जोड़ती है।

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

• 3D में स्थानीय सुव्यवस्थितता (Local Well-Posedness): यह शोध पत्र उच्च नियमितता वाले प्रारंभिक डेटा ($v_0 \in H^1_\sigma$, $\phi_0 \in H^2_N$, $F'(\phi_0) \in L^2$) के लिए आयाम तीन में स्थानीय-समय मजबूत समाधानों के अस्तित्व और अद्वितीयता को सिद्ध करता है। महत्वपूर्ण रूप से, इन समाधानों को शुद्ध चरणों से तात्कालिक रूप से सख्ती से अलग दिखाया गया है।
• 2D में बिना शर्त अद्वितीयता (Unconditional Uniqueness): लेखक पिछले साहित्य से एक खुले प्रश्न को हल करते हुए यह सिद्ध करते हैं कि आयाम दो में कमजोर समाधान बिना शर्त अद्वितीय हैं। यह शुद्ध चरणों से सख्त अलगाव की आवश्यकता के बिना, विशेष रूप से 2D लेडीज़ेन्स्का (Ladyzhenskaya) असमानता की संरचना पर भरोसा करते हुए प्राप्त किया गया है।
• 3D में सशर्त कमजोर-मजबूत अद्वितीयता: आयाम तीन में एक सशर्त कमजोर-मजबूत अद्वितीयता परिणाम स्थापित किया गया है। इस शर्त के लिए आवश्यक है कि कमजोर समाधान विभव के व्युत्पन्न पर एक समावेशन स्थिति ($F'(\phi) \in L^4(0, T; L^4(\Omega))$) को संतुष्ट करे, जो कि सख्त अलगाव की मानक धारणा से कमजोर है।
• अनंतकालीन पृथक्करण और अभिसरण (Asymptotic Separation and Convergence):
  • श्यानता पर न्यूनतम नियमितता: यह शोध पत्र प्रदर्शित करता है कि कोई भी वैश्विक कमजोर समाधान 2D और 3D दोनों में शुद्ध चरणों से अनंततः अलग हो जाता है और एक अद्वितीय संतुलन की ओर अभिसरित होता है। यह परिणाम श्यानता पर न्यूनतम धारणाओं के तहत मान्य है, विशेष रूप से $\nu \in C^0(\text{[-1, 1]})$, बिना लिप्सचिट्ज़ निरंतरता (Lipschitz continuity) की आवश्यकता के।
  • अनंतकालीन नियमितीकरण (Asymptotic Regularization): यदि श्यानता अधिक नियमित है ($\nu \in W^{1,\infty}(\mathbb{R})$), तो लेखक दिखाते हैं कि कोई भी कमजोर समाधान अनंततः नियमित हो जाता है। इसका अर्थ है कि एक सीमित समय के बाद, कमजोर समाधान एक मजबूत समाधान बन जाता है, जिससे उच्च-क्रम के नॉर्म्स में संतुलन की ओर अभिसरण होता है।

4. महत्व और दावे
यह शोध पत्र मौजूदा साहित्य (विशेष रूप से [15], [18], और [19] जैसे कार्यों का संदर्भ देते हुए) पर कई महत्वपूर्ण प्रगति का दावा करता है:

• अनंतकालीन पृथक्करण पर प्रथम परिणाम: लेखक कहते हैं कि यह पहली बार है जब यह दिखाया गया है कि इस युग्मित प्रणाली (बेमेल श्यानता और विलक्षण विभव के साथ) के वैश्विक कमजोर समाधान शुद्ध चरणों से अनंततः अलग होते हैं और 2D और 3D दोनों में एक अद्वितीय संतुलन की ओर अभिसरित होते हैं, बिना किसी प्रारंभिक नियमितीकरण धारणा की आवश्यकता के।
• शिथिल श्यानता धारणाएं: संतुलन की ओर अभिसरण को तब भी सिद्ध किया गया है जब श्यानता गुणांक केवल निरंतर ($\nu \in C^0$) हो, जो कि पिछले परिणामों की तुलना में एक महत्वपूर्ण शिथिलता है जिनमें अक्सर लिप्सचिट्ज़ निरंतरता की आवश्यकता होती थी।
• खुले प्रश्नों का समाधान: 2D में कमजोर समाधानों की बिना शर्त अद्वितीयता, जो पिछले अध्ययनों में खुली छोड़ी गई थी, को कठोरता से स्थापित किया गया है।
• दृष्टिकोण की सुदृढ़ता: पद्धति अनंतकालीन सख्त अलगाव गुण को सशर्त कमजोर-मजबूत अद्वितीयता के साथ जोड़कर यह प्रदर्शित करती है कि यदि श्यानता पर्याप्त रूप से चिकनी (smooth) है, तो कमजोर समाधान अंततः नियमित हो जाते हैं, जिससे उच्च-क्रम के नॉर्म्स में अभिसरण सुनिश्चित होता है।

यह कार्य पहले और तीसरे लेखक (संदर्भित [18, 19] के रूप में) के हालिया मौलिक परिणामों पर आधारित है और उन्हें बेमेल श्यानता और विलक्षण विभव के मामले में विस्तारित करता है, जो न्यूनतम संरचनात्मक धारणाओं के तहत प्रणाली की दीर्घकालिक गतिशीलता की एक व्यापक तस्वीर प्रदान करता है।