🔢 mathematics

A domain hemivariational inequality for 2D and 3D convective Brinkman-Forchheimer extended Darcy equations

यह शोध पत्र एक नियमितकृत गैलेरकिन सन्निकटन योजना का उपयोग करते हुए, जो तीन-आयामी नेवियर-स्टोक्स समीकरणों तक भी विस्तृत है, डोमेन हेमीवेरिएशनल असमानताओं के रूप में निर्मित गैर-स्थिर 2D और 3D संवहनी ब्रिंकमैन-फोर्चहाइमर विस्तारित डार्सी समीकरणों के कमजोर समाधानों की अस्तित्व, ऊर्जा समानता और विशिष्टता को स्थापित करता है।

मूल लेखक: Jyoti Jindal, Sagar Gautam, Manil T. Mohan

प्रकाशित 2026-03-31

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC0 1.0

मूल लेखक: Jyoti Jindal, Sagar Gautam, Manil T. Mohan

मूल पेपर CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/) के तहत सार्वजनिक डोमेन को समर्पित है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप यह अनुमान लगाने की कोशिश कर रहे हैं कि एक गाढ़ा, चिपचिपा तरल पदार्थ (जैसे रेत मिला हुआ शहद) एक स्पंज के माध्यम से कैसे बहता है। यह केवल एक साधारण प्रवाह नहीं है; यह एक अराजक नृत्य है जहाँ तरल पदार्थ खुद को धकेलता है, स्पंज के छेदों द्वारा धीमा किया जाता है, और कभी-कभी आंतरिक बलों द्वारा "पंप" या "खींचा" भी जाता है।

यह शोध पत्र इस अराजक प्रवाह का वर्णन करने वाले समीकरणों को हल करने की एक गणितीय जासूसी कहानी है, लेकिन एक मोड़ के साथ: खेल के नियम पूरी तरह से सुचारू (smooth) नहीं हैं। कभी-कभी, तरल पर लगने वाले बल अचानक बदल जाते हैं, जैसे कि एक डिमर स्विच को धीरे-धीरे घुमाने के बजाय एक लाइट स्विच को चालू या बंद करना।

यहाँ लेखकों द्वारा किए गए कार्यों का विवरण दिया गया है, जो रोजमर्रा के उपमाओं का उपयोग करता है:

1. परिवेश: "स्पंज" और "तरल"

लेखक CBFeD समीकरणों का अध्ययन कर रहे हैं। इसे प्रसिद्ध नेवियर-स्टोक्स (Navier-Stokes) समीकरणों (जो पानी या हवा की गति का वर्णन करते हैं) का एक सुपर-चार्ज्ड संस्करण मान लें।

तरल: यह एक छिद्रपूर्ण माध्यम (जैसे स्पंज या मिट्टी) के माध्यम से चल रहा है।
डैम्पिंग (Damping): स्पंज प्रवाह का प्रतिरोध करता है। तरल जितनी तेजी से चलता है, स्पंज उतना ही जोर से पीछे धकेलता है। यह गहरे पानी में दौड़ने जैसा है; आप जितनी तेजी से जाएंगे, आपको उतना ही अधिक प्रतिरोध महसूस होगा।
पंपिंग (Pumping): लेखकों ने एक "पंपिंग" शब्द जोड़ा है। कल्पना करें कि कुछ स्थानों पर, स्पंज वास्तव में तरल को आगे बढ़ाने की कोशिश करता है, जिससे प्रतिरोध का मुकाबला किया जा सके।
मोड़ (Hemivariational Inequality): आमतौर पर, गणितीय समस्याएं मान लेती हैं कि बल सुचारू रूप से बदलते हैं। लेकिन वास्तविक दुनिया में, चीजें "ऊबड़-खाबड़" हो सकती हैं। शायद घर्षण तब अचानक बदल जाता है जब तरल एक विशिष्ट गति पर पहुँचता है। लेखक इसे हेमीवेरिएशनल इनइक्वैलिटी (Hemivariational Inequality) कहते हैं। यह एक चिकनी पहाड़ी के बजाय अचानक, ऊबड़-खाबड़ उभारों और चट्टानों वाली सतह पर लुढ़कती हुई गेंद के पथ की भविष्यवाणी करने जैसा है।

2. समस्या: "ऊबड़-खाबड़" नियम गणित को कठिन बनाते हैं

मानक भौतिकी में, यदि आप प्रारंभिक स्थिति और सुचारू नियमों को जानते हैं, तो आप आमतौर पर भविष्य की भविष्यवाणी कर सकते हैं। लेकिन जब नियम "ऊबड़-खाबड़" (गैर-सुचारू) होते हैं और स्पंज के भीतर हर जगह होते हैं (न केवल किनारों पर), तो गणित अविश्वसनीय रूप से जटिल हो जाता है।

चुनौती: लेखकों को दो चीजें सिद्ध करनी थीं:
1. अस्तित्व (Existence): क्या कोई समाधान वास्तव में मौजूद है? (अर्थात, क्या तरल के बहने का कोई तरीका है जो इन ऊबड़-खाबड़ नियमों का पालन करता हो?)
2. विशिष्टता (Uniqueness): क्या तरल के बहने का केवल एक ही तरीका है? (अर्थात, यदि हम समान स्थितियों से शुरू करते हैं, तो क्या तरल हमेशा एक ही स्थान पर समाप्त होगा, या यह दो अलग-अलग वास्तविकताओं में विभाजित हो सकता है?)

3. समाधान: "पिक्सेलेटेड" दृष्टिकोण (गैलेरकिन विधि)

इसे हल करने के लिए, लेखकों ने गैलेरकिन विधि (Galerkin method) नामक तकनीक का उपयोग किया।

उपमा: कल्पना कीजिए कि आप कंप्यूटर स्क्रीन पर एक पूर्ण वृत्त बनाने की कोशिश कर रहे हैं। आप इसे पिक्सेल के साथ पूरी तरह से नहीं बना सकते। इसके बजाय, आप कुछ बड़े पिक्सेल (एक मोटा वर्ग) से शुरू करते हैं, फिर अधिक पिक्सेल (एक अष्टकोणीय आकार), फिर और भी अधिक (एक 16-भुजाओं वाला आकार), और इसी तरह। जैसे-जैसे आप अधिक पिक्सेल जोड़ते हैं, आकार एक पूर्ण वृत्त के करीब आता जाता है।
शोध पत्र में: लेखकों ने इस जटिल, अनंत-आयामी तरल समस्या को छोटे, सरल "पिक्सेलेटेड" संस्करणों (परिमित-आयामी समस्याओं) में तोड़ दिया। उन्होंने पहले इन सरल संस्करणों को हल किया, यह सिद्ध किया कि वे ठीक से व्यवहार करते हैं, और फिर यह दिखाया कि जैसे-जैसे वे अधिक "पिक्सेल" जोड़ते हैं (अनुमान को और सूक्ष्म बनाते हैं), समाधान पूर्ण, जटिल समस्या के लिए एक वास्तविक, वैध उत्तर में स्थिर हो जाता है।

4. बड़ी उपलब्धियां

लेखकों ने कई महत्वपूर्ण सफलताएं हासिल कीं:

कोई "जादुई" प्रतिबंध नहीं: पिछले अध्ययनों में अक्सर यह सिद्ध करने के लिए आवश्यक था कि तरल बहुत "गाढ़ा" (उच्च श्यानता) है या स्पंज बहुत विशिष्ट है। इस शोध पत्र ने सिद्ध किया कि समाधान मौजूद हैं, चाहे तरल कितना भी गाढ़ा हो या स्पंज का प्रतिरोध कितना भी मजबूत क्यों न हो। उन्होंने उन "जादुई संख्याओं" को हटा दिया जिनकी पिछले गणितज्ञों को आवश्यकता होती थी।
ऊर्जा समानता (Energy Equality): भौतिकी में, ऊर्जा आमतौर पर संरक्षित रहती है (या अनुमानित रूप से गर्मी के रूप में नष्ट होती है)। लेखताओं ने सिद्ध किया कि इन ऊबड़-खाबड़, गैर-सुचारू नियमों के साथ भी, तरल ऊर्जा संरक्षण के नियम का पालन करता है। यह सिद्ध करने जैसा है कि भले ही आप एक ऊबड़-खाबड़ सड़क पर गाड़ी चला रहे हों, आपका ईंधन गेज अभी भी एक अनुमानित, गणना योग्य तरीके से गिरता है।
विशिष्टता (Uniqueness): उन्होंने सिद्ध किया कि अधिकांश वास्तविक परिदृश्यों के लिए (और कुछ कठिन मामलों के लिए भी), केवल एक ही संभावित परिणाम होता है। यदि आप प्रयोग को दो बार सेट करते हैं, तो आपको बिल्कुल वही परिणाम मिलता है। यह इंजीनियरों के लिए महत्वपूर्ण है जिन्हें अपने मॉडलों पर भरोसा करने की आवश्यकता होती है।

5. यह क्यों मायने रखता है?

यह केवल अमूर्त गणित नहीं है। ये समीकरण वास्तविक दुनिया की समस्याओं का मॉडल बनाते हैं:

तेल और गैस: भूमिगत चट्टानी संरचनाओं के माध्यम से तेल कैसे बहता है।
भूजल: मिट्टी और जलभृतों (aquifers) के माध्यम से पानी कैसे चलता है।
रक्त प्रवाह: छिद्रपूर्ण ऊतकों या कृत्रिम फिल्टरों के माध्यम से रक्त का प्रवाह।

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

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

यहाँ ज्योति जिंदल, सागर गौतम और मणिल टी. मोहन द्वारा लिखित शोध पत्र "A Domain Hemivariational Inequality for 2D and 3D Convective Brinkman-Forchheimer Extended Darcy Equations" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र परिबद्ध डोमेन ( $D \subset \mathbb{R}^d$ जहाँ $d=2,3$ ) में गैर-स्थिर (समय-निर्भर) Convective Brinkman-Forchheimer Extended Darcy (CBFeD) समीकरणों के गणितीय विश्लेषण की जांच करता है। ये समीकरण डैम्पिंग (damping) और पंपिंग (pumping) तंत्रों को शामिल करते हुए संतृप्त सरंध्र माध्यमों (saturated porous media) के माध्यम से श्यान असंपीड्य तरल पदार्थों (viscous incompressible fluids) के प्रवाह का मॉडल प्रस्तुत करते हैं।

प्रभावी प्रणाली इस प्रकार दी गई है:
$\begin{cases} \partial_t y - \mu \Delta y + (y \cdot \nabla)y + \alpha|y|^{q-1}y + \beta|y|^{r-1}y + \nabla \pi = f + g, \\ \nabla \cdot y = 0, \\ y = 0 \text{ on } \partial D, \quad y(0) = y_0, \end{cases}$
जहाँ:

$y$ वेग क्षेत्र (velocity field) है, $\pi$ दबाव (pressure) है, और $f$ एक दिया गया बाहरी बल है।
$\mu > 0$ प्रभावी श्यानता (effective viscosity/Brinkman coefficient) है।
$\beta > 0$ Forchheimer गुणांक (damping term) है।
$\alpha < 0$ एक पंपिंग तंत्र (damping का प्रतिकार करने वाला) है।
$r \ge 1$ अवशोषण घातांक (absorption exponent) है (जहाँ $r=3$ महत्वपूर्ण है)।
$q \in [1, r)$ पंपिंग की शक्ति को नियंत्रित करता है।

मॉडल की नवीनता (Novelty of the Model):
बल लगाने वाला पद (forcing term) $g$ एक मानक फलन नहीं है, बल्कि यह एक डोमेन हेमीवेरिएशनल इनइक्वालिटी (HVI) का पालन करता है:
$-g(x,t) \in \partial_C j(x, t, y(x,t))$
जहाँ $\partial_C j$ एक स्थानीय लिप्सचिट्ज़ (locally Lipschitz) सुपरपोटेंशियल $j$ का क्लार्क सबडिफरेंशियल (Clarke subdifferential) है। सीमा-आधारित (boundary) HVIs के विपरीत (जहाँ गैर-सुचारू प्रभाव केवल सीमा पर होता है), यह डोमेन HVI यह दर्शाता है कि गैर-सुचारू और गैर-उत्तल (non-convex) प्रभाव स्थानिक डोमेन $D$ के पूरे आंतरिक भाग में सिस्टम को प्रभावित करते हैं।

2. कार्यप्रणाली (Methodology)

लेखक कार्यात्मक विश्लेषण (functional analysis), गैर-सुचारू कलन (non-smooth calculus) और सन्निकटन योजनाओं (approximation schemes) को संयोजित करते हुए एक कठोर विश्लेषणात्मक ढांचे का उपयोग करते हैं।

कार्यात्मक ढांचा (Functional Framework): समस्या को सोबोलेव स्पेस (Sobolev spaces) $V$ (divergence-free $H^1_0$ ), $H$ (divergence-free $L^2$ ), और $L^p$ स्थानों वाले एक गेलैंड ट्रिपल (Gelfand triple) में सेट किया गया है। लेखक लैपलेसियन, संवहन (convection), और अवशोषण/पंपिंग पदों के अनुरूप रैखिक, द्वैरेखीय और गैर-रैखिक ऑपरेटरों को परिभाषित करते हैं।
क्लार्क सबडिफरेंशियल का नियमितीकरण (Clarke Subdifferential Regularization): चूंकि क्लार्क सबडिफरेंशियल बहु-मूल्यीय (multivalued) और गैर-सुचारू है, इसलिए लेखक सीधे मानक गैलरकिन विधियों को लागू नहीं कर सकते। वे एक नियमितीकरण तकनीक पेश करते हैं:
1. एक मोलिफायर (mollifier) का उपयोग करके असंतत/गैर-सुचारू फलन $\theta$ (जो सबडिफरेंशियल से संबंधित है) को एक सुचारू, एकल-मूल्यवान फलन $\theta_\varepsilon$ का उपयोग करके अनुमानित करना।
2. नियमित किए गए परिमित-आयामी (finite-dimensional) समस्याओं का एक परिवार बनाना।
गैलरकिन सन्निकटन (Galerkin Approximation):
- अनंत-आयामी समस्या को स्टोक्स ऑपरेटर के पहले $n$ आइगनफंक्शंस (eigenfunctions) द्वारा स्पैन किए गए परिमित-आयामी उप-स्थानों पर प्रोजेक्ट किया जाता है।
- अनुमानित समाधानों का अस्तित्व: ODEs के कैराथोडरी अस्तित्व प्रमेय (Carathéodory's existence theorem) का उपयोग करके सिद्ध किया गया है।
- ए प्रियोरी अनुमान (A Priori Estimates): अनुमानित समाधानों के लिए समान ऊर्जा अनुमान प्राप्त किए जाते हैं। एक प्रमुख कठिनाई नियमित किए गए सबडिफरेंशियल से जुड़े इंटीग्रल टर्म को संभालना है। लेखक इस टर्म को $\mu$ पर प्रतिबंधात्मक शर्तें लगाए बिना बाउंड करने के लिए एक विशिष्ट लेम्मा (Lemma 3.6) का उपयोग करते हैं।
सीमा की ओर प्रस्थान (Passage to the Limit):
- बानाच-अलोकु (Banach-Alaoglu) प्रमेय का उपयोग करके, कमजोर रूप से अभिसरण (weakly convergent) वाले उप-अनुक्रमों को निकाला जाता है।
- गैर-रैखिक संवहन पद $(y \cdot \nabla)y$ को संभालने के लिए ऑबिन-लायंस कॉम्पैक्टनेस लेम्मा (Aubin-Lions compactness lemma) का उपयोग $L^2(0,T; H)$ में स्ट्रॉन्ग कन्वर्जेंस प्राप्त करने के लिए किया जाता है।
- मूल हेमीवेरिएशनल इनइक्वालिटी को संतुष्ट करने के लिए सीमा (limit) को क्लार्क सबडिफरेंशियल और इगोरव के प्रमेय (Egorov's theorem) के गुणों का उपयोग करके स्थापित किया जाता है।

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

A. कमजोर समाधानों का अस्तित्व (Existence of Weak Solutions)

यह शोध पत्र सभी स्वीकार्य अवशोषण घातांक $r \ge 1$ और प्रभावी श्यानता $\mu > 0$ के लिए गैर-स्थिर 2D और 3D CBFeD समीकरणों के कमजोर समाधानों के अस्तित्व को स्थापित करता है।

महत्व: पिछले कार्यों (जैसे मिगोर्स्की एट अल.) के विपरीत, जिन्हें HVI को संभालने के लिए श्यानता पैरामीटर (जैसे $\mu > C \|l\|$ ) पर प्रतिबंधात्मक शर्तों की आवश्यकता थी, यह कार्य $\mu$ पर बिना किसी ऐसे प्रतिबंध के अस्तित्व को सिद्ध करता है।

B. ऊर्जा समानता (Energy Equality)

लेखक सिद्ध करते हैं कि कमजोर समाधान विशिष्ट स्थितियों के तहत ऊर्जा समानता (इंटीग्रल अर्थ में ऊर्जा संरक्षण) को संतुष्ट करते हैं:

2D: सभी $r \ge 1$ के लिए।
3D: $r \ge 3$ के लिए।
विधि: वे मानक गैलरकिन सन्निकटन के बजाय, जो 3D में कुछ घातांकों के लिए ऊर्जा समानता बनाए रखने में विफल रहता है, स्टोक्स ऑपरेटर के पहले $n$ आइगनफंक्शंस द्वारा स्पैन किए गए परिमित-आयामी स्थानों का उपयोग करने वाली एक सन्निकटन तकनीक का उपयोग करते हैं।
नोट: 3D में $r \in [1, 3)$ के लिए, गैर-रैखिक पदों में पर्याप्त नियमितता की कमी के कारण ऊर्जा समानता स्थापित नहीं की गई है।

C. समाधानों की अद्वितीयता (Uniqueness of Solutions)

यह शोध पत्र कमजोर समाधानों की अद्वितीयता को सिद्ध करता है, जो एक महत्वपूर्ण प्रगति है क्योंकि 3D नेवियर-स्टोक्स प्रकार की समस्याओं के लिए अद्वितीयता आमतौर पर एक खुला प्रश्न है।

2D: सभी $r \ge 1$ के लिए अद्वितीय।
3D: $r \ge 3$ के लिए अद्वितीय।
क्रिटिकल केस ( $r=3$ in 3D): अद्वितीयता तब बनी रहती है जब अतिरिक्त शर्त $2\beta\mu > 1$ पूरी होती है।
तंत्र: प्रमाण अवशोषण पद $\beta|y|^{r-1}y$ की विसरणात्मक प्रकृति (dissipative nature) और सबडिफरेंशियल पर एक मोनोटोनिटी स्थिति (परिकल्पना 3.4 और स्थिति की जांच 3.63) पर निर्भर करता है। लेखक दिखाते हैं कि अवशोषण पद संवहन पद की गैर-रैखिकता को नियंत्रित करने के लिए पर्याप्त नियंत्रण प्रदान करता है, जैसा कि शास्त्रीय NSE में होता है जहाँ अद्वितीयता अज्ञात है।

4. महत्व और प्रभाव (Significance and Impact)

सैद्धांतिक अंतराल को भरना: यह CBFeD समीकरणों के लिए डोमेन-प्रकार के हेमीवेरिएशनल इनइक्वालिटीज को संबोधित करने वाले पहले अध्येशनों में से एक है। पिछला साहित्य मुख्य रूप से बाउंड्री-टाइप HVI या मानक NSE पर केंद्रित था।
श्यानता बाधाओं को शिथिल करना: $\mu$ के कृत्रिम प्रतिबंधों से बचकर, परिणाम अधिक भौतिक रूप से लागू योग्य (physically applicable) होते हैं।
नेवियर-स्टोक्स का विस्तार: यह विश्लेषण 3D नेवियर-स्टोक्स समीकरणों तक विस्तृत है (जहाँ $\alpha=\beta=0$ का मामला सीधे कवर नहीं किया गया है, लेकिन डैम्पिंग $\beta > 0$ के साथ ढांचा NSE को समझने का एक मार्ग प्रदान करता है)। विशेष रूप से, 3D में $r \ge 3$ के लिए परिणाम उन संशोधित NSE का एक वर्ग प्रदान करते हैं जहाँ वैश्विक अस्तित्व और अद्वितीयता को कठोरता से सिद्ध किया गया है।
गणितीय कठोरता: यह शोध पत्र क्लार्क सबडिफरेंशियल और नियमितीकरण का उपयोग करके तरल गतिकी में गैर-सुचारू, गैर-उत्तल पदों को संभालने के लिए एक मजबूत टेम्पलेट प्रदान करता है।

5. निष्कर्ष (Conclusion)

यह शोध पत्र गैर-सुचारू डोमेन बलों वाले जटिल तरल प्रवाह मॉडल (CBFeD समीकरणों द्वारा शासित) की सुव्यवस्थितता (well-posedness - अस्तित्व, ऊर्जा समानता और अद्वितीयता) को सफलतापूर्वक स्थापित करता है। यह कार्य तरल यांत्रिकी में हेमीवेरिएशनल इनइक्वालिटीज के गणितीय सिद्धांत को आगे बढ़ाता है, यह प्रदर्शित करता है कि डैम्पिंग और पंपिंग तंत्रों को शामिल करने से तीन आयामों में भी मजबूत विश्लेषणात्मक परिणाम प्राप्त किए जा सकते हैं, जहाँ शास्त्रीय नेवियर-स्टोक्स समस्याएं अद्वितीयता के संबंध में अभी भी कठिन बनी हुई हैं।