Local well-posedness of strong solutions to the compressible Navier-Stokes equations with degenerate viscosities and far field vacuum in 3D exterior domains

तकनीकी सारांश: क्षीण श्यानता (Degenerate Viscosities) और दूरस्थ क्षेत्र में निर्वात (Far-Field Vacuum) के साथ 3D बाह्य डोमेन में स्ट्रॉन्ग सॉल्यूशंस की स्थानीय सु-स्थापना (Local Well-Posedness)

समस्या विवरण
यह शोध पत्र एक सामान्य बाह्य डोमेन $\Omega = \mathbb{R}^3 \setminus \bar{D}$ में, जहाँ $D$ एक सीमित चिकना डोमेन है, तीन-आयामी समतापी संपीड़ित नेवियर-स्टोक्स समीकरणों के स्ट्रॉन्ग सॉल्यूशंस की स्थानीय सु-स्थापना की जांच करता है। यह प्रणाली घनत्व-निर्भर (क्षीण) श्यानताओं द्वारा अभिलक्षित है, विशेष रूप से $\mu(\rho) = \mu\rho^\delta$ और $\lambda(\rho) = \lambda\rho^\delta$ जहाँ $0 < \delta < 1$ है। यह अध्ययन एक प्रारंभिक-सीमा मान समस्या (IBVP) को संबोधित करता है जहाँ प्रारंभिक घनत्व दूरस्थ क्षेत्र में निर्वात की ओर अग्रसर होता है ($\rho \to 0$ जब $|x| \to \infty$) और द्रव $\partial\Omega$ पर नेवियर-स्लिप सीमा स्थितियों का पालन करता है:
$$u \cdot n = 0, \quad \text{curl} u \times n = -A(x)u \quad \text{on } \partial\Omega,$$
जहाँ $A$ एक सममित आव्यूह (symmetric matrix) है। प्राथमिक चुनौती वह दोहरी क्षीणता (double degeneracy) है जो मोमेंटम समीकरण में तब आती है जब निर्वात उपस्थित होता है, और बाह्य डोमेन में सीमा पदों (boundary terms) से उत्पन्न जटिलताएँ।

कार्यप्रणाली
लेखक ली-ली [17] से प्रेरित एक पुनर्गठन रणनीति अपनाते हैं, जिसमें क्षीणता को संभालने के लिए मोमेंटम समीकरण को $\rho^\delta$ से विभाजित किया जाता है। प्रणाली को इस प्रकार रूपांतरित किया जाता है:
$$\rho^{1-\delta}u_t + \rho^{1-\delta}u \cdot \nabla u - Lu + \frac{a\gamma}{\gamma-\delta}\nabla \rho^{\gamma-\delta} = \delta \nabla \log \rho \cdot S(u),$$
जहाँ $L$ लैमे ऑपरेटर (Lamé operator) है।

स्ट्रॉन्ग सॉल्यूशंस की स्थानीय अस्तित्व स्थापित करने के लिए, लेखक निम्नलिखित तकनीकी दृष्टिकोणों का उपयोग करते हैं:

1. एनुलर डोमेन (Annular Domains) में सन्निकटन: बाह्य डोमेन के सन्निकटन के रूप में समस्या को पहले एक सीमित एनुलर डोमेन $\Omega_R = \Omega \cap B_R$ में हल किया जाता है। त्रिज्या $R$ से स्वतंत्र ए प्रियोरी अनुमान (a priori estimates) प्राप्त किए जाते हैं।
2. सीमा पदों को संभालना: विश्लेषण का एक महत्वपूर्ण हिस्सा नेवियर-स्लिप स्थिति से उत्पन्न होने वाले सीमा पदों के प्रबंधन के लिए समर्पित है। कॉची समस्या (Cauchy problem) के विपरीत, ऊर्जा अनुमानों में सीमा पद आव्यूह $A$ से संबंधित होता है, जो आवश्यक रूप से धनात्मक निश्चित (positive definite) नहीं है। लेखक एक नए अवलोकन का उपयोग करते हैं कि घनत्व $\rho$ सीमा के पास $\partial\Omega$ (विशेष रूप से $\Omega_0 = \Omega \cap B_{2R_0}$ में) एक धनात्मक निचली सीमा बनाए रखता है, जिससे सीमा इंटीग्रल्स में $\rho$ की ऋणात्मक घातों को नियंत्रित किया जा सके।
3. भारित अनुमान (Weighted Estimates): लेखक $\nabla \rho^{\frac{\delta-1}{2}}$ और $\rho^{\frac{\delta-1}{2}} \text{div} u$ जैसे पदों के लिए महत्वपूर्ण भारित अनुमान प्राप्त करते हैं। वे कट-ऑफ फंक्शन विधि और बाह्य डोमेन संरचना के अनुकूल विशिष्ट div-curl लेम्मा का उपयोग करके एनुलर डोमेन (जहाँ प्रथम बेट्टी संख्या गैर-शून्य है) में एलिप्टिक अनुमान प्राप्त करने की कठिनाई को दूर करते हैं।
4. ब्लो-अप मानदंड (Blow-up Criterion): स्थानीय समाधानों को वैश्विक समय तक विस्तारित करने के लिए, एक ब्लो-अप मानदंड स्थापित किया गया है। इसमें विरूपण टेंसर (deformation tensor) $D(u)$ के $L^1(0,T; L^\infty)$ मान और सीमा के पास घनत्व ग्रेडिएंट के विशिष्ट मानों को नियंत्रित करना शामिल है।

मुख्य योगदान और परिणाम
शोध पत्र निम्नलिखित मुख्य परिणाम स्थापित करता है:

• प्रमेय 1.1 (स्थानीय सु-स्थापना): शर्तों $\gamma > 1$ और $0 < \delta < 1$ के तहत, यदि प्रारंभिक डेटा $(\rho_0, u_0)$ विशिष्ट नियमितता और संगतता शर्तों (जिसमें $\rho_0^{\frac{\gamma-1+\delta}{2}} \in D^1_0 \cap D^2$ और एक संगतता स्थिति $L(u_0) = \rho_0^{\frac{1-\delta}{2}}g$ शामिल है) को पूरा करता है, तो एक समय अंतराल $[0, T_0]$ पर एक अद्वितीय स्ट्रॉन्ग सॉल्यूशन मौजूद होता है। समाधान विशिष्ट नियमितता गुणों के सेट का पालन करता है, जिसमें $\rho^{\frac{\delta-1}{2}} \in L^\infty(0, T_0; L^6(\Omega_0))$ शामिल है, जो यह सुनिश्चित करता है कि घनत्व सीमा के पास शून्य से दूर रहे।
• पैरामीटर्स की स्वतंत्रता: एक महत्वपूर्ण योगदान यह है कि श्यानता घातांक $\delta$ का चयन एडियाबेटिक घातांक $\gamma$ से स्वतंत्र है। यह पिछले कार्यों (जैसे ज़िन-झू [33], लियू-झोंग [23]) के विपरीत है जिनमें $\delta$ और $\gamma$ के बीच एक प्रतिबंधात्मक संबंध (विशेष रूप से $\gamma \to 1$ होने पर $\delta \to 1$) की आवश्यकता थी।
• शिथिल संगतता शर्तें (Relaxed Compatibility Conditions): यह शोध पत्र केवल एक संगतता स्थिति (1.13) की आवश्यकता रखता है, जो बाह्य डोमेन के लिए पिछले साहित्य में पाई जाने वाली दो अतिरिक्त प्रतिबंधात्मक बाधाओं को हटा देता है।
• प्रमेय 1.2 (ब्लो-अप मानदंड): स्ट्रॉन्ग सॉल्यूशंस के परिमित-समय ब्लो-अप के लिए एक मानदंड प्रदान किया गया है। यदि अधिकतम अस्तित्व समय $T^*$ परिमित है, तो $D(u)$ के $L^1(0,T; L^\infty)$ मान, $\rho^{\frac{\delta-1}{2}}$ के $L^\infty(0,T; L^6(\Omega_0))$ मान, और $\nabla \rho^{\frac{\delta-1}{2}}$ के $L^\infty(0,T; D^{1,2})$ मान का योग अपसारी (diverge) होना चाहिए।

महत्व
यह शोध पत्र दावा करता है कि यह क्षीण श्यानता वाले संपीड़ित नेवियर-स्टोक्स समीकरणों के सिद्धांत को कॉची समस्या से अधिक सामान्य बाह्य डोमेन में सीमा मान समस्याओं तक विस्तारित करता है। $\delta$ और $\gamma$ के बीच के प्रतिबंधों को अलग करके, परिणाम व्यापक भौतिक परिदृश्यों को शामिल करते हैं, जिसमें मैक्सवेलियन अणुओं (Maxwellian molecules) सहित वे स्थितियाँ भी शामिल हैं जिनके लिए पहले विशिष्ट सीमित संबंधों की आवश्यकता थी। दूरस्थ क्षेत्र में निर्वात और गैर-धनात्मक निश्चित सीमा आव्यूहों की उपस्थिति में सीमा पदों को संभालने के लिए नए तकनीकी तरीकों का विकास मौजूदा सिद्धांतों की तुलना में एक महत्वपूर्ण प्रगति है। यह कार्य प्रदर्शित करता है कि स्ट्रॉंग सॉल्यूशंस स्थानीय स्तर पर अस्तित्व में रहते हैं, भले ही प्रारंभिक घनत्व अनंत पर शून्य हो जाए, बशर्ते कि घनत्व सीमा के निकट परिवेश में पूर्णतः धनात्मक बना रहे।