Local stability for a class of Saint-Venant type inequalities

तकनीकी सारांश: सेंट-वेनेन्ट प्रकार के एक वर्ग के लिए स्थानीय स्थिरता (Local Stability)

समस्या विवरण
यह शोध पत्र $J(\Omega) = \int_\Omega j(u) \, dx$ के रूप में आकार फलन (shape functionals) की मात्रात्मक स्थिरता (quantitative stability) को संबोधित करता है, जहाँ $u$ डि dirichlet टॉर्शन समस्या $-\Delta u = 1$ का समाधान है, जिसमें $\Omega$ में $u$ और $\partial\Omega$ पर $u=0$ है। फलन $j: \mathbb{R} \to \mathbb{R}$ को उत्तल (convex), गैर-ऋणात्मक, लिप्सचिट्ज़ निरंतर (Lipschitz continuous), और $j(0)=0$ माना गया है।

टैलेन्टी के तुलना सिद्धांत (Talenti's comparison principle) द्वारा, यह ज्ञात है कि एक निश्चित माप (measure) के सभी डोमेनों के बीच, $\Omega^\sharp$ फलन $J(\Omega)$ को अधिकतम करता है। मुख्य समस्या इस चरम गुण (extremal property) के लिए एक तीक्ष्ण मात्रात्मक स्थिरता अनुमान स्थापित करना है। विशेष रूप से, लेखक यह सिद्ध करने का प्रयास कर रहे हैं कि "कमी" (deficit) $J(\Omega^\sharp) - J(\Omega)$, डोमेन $\Omega$ की गोलाकार समरूपता (spherical symmetry) से दूरी के वर्ग को नियंत्रित करती है। हालांकि ऐसे परिणाम टॉर्शनल रिजिडिटी (torsional rigidity) के विशिष्ट मामले (जहाँ $j(s)=s$) के लिए ब्रास्को, डे फिलिपिस और वेलिचकोव [9] द्वारा पहले ही स्थापित किए जा चुके थे, यह कार्य सामान्य उत्तल $j$ वाले सामान्यीकृत फलनों के व्यापक वर्ग के विश्लेषण को विस्तारित करता है।

कार्यप्रणाली (Methodology)
विश्लेषण निकट-गोलाकार सेट्स (nearly spherical sets) के वर्ग तक सीमित है। एक डोमेन $\Omega$ को तब निकट-गोलाकार माना जाता है जब उसका सीमा (boundary) इकाई गोले $B_1$ का एक छोटा $C^{2,\gamma}$ नॉर्मल परटर्बेशन (normal perturbation) हो, जिसे एक फलन $\phi$ द्वारा पैरामीट्राइज किया गया हो। आयतन संरक्षित है ($|\Omega| = |B_1|$) और द्रव्यमान केंद्र (center of mass) मूल बिंदु (origin) पर स्थिर है।

प्रयुक्त मुख्य उपकरण आकार व्युत्पन्न विधि (method of shape derivatives) है। लेखक एक स्वयत्त वेक्टर फील्ड $V$ द्वारा जनरेट किए गए आयतन-संरक्षण विरूपण प्रवाह (volume-preserving deformation flow) $\{\Omega(t)\}_{t \ge 0}$ पर विचार करते हैं, जो इकाई गोले से शुरू होता है। स्थिरता की जांच फलन $f(t) = J(\Omega(t))$ के प्रथम और द्वितीय परिवर्तनों (variations) के विश्लेषण द्वारा की जाती है।

मुख्य तकनीकी चरण शामिल हैं:

1. प्रथम परिवर्तन (First Variation): हैडेमैड के सूत्र (Hadamard's formula) और विरूपण क्षेत्र के डाइवर्जेंस-मुक्त गुण का उपयोग करते हुए, प्रथम व्युत्पन्न की गणना की जाती है। यह दिखाया गया है कि $f'(0) = 0$, जो पुष्टि करता है कि गोला एक क्रिटिकल पॉइंट है।
2. द्वितीय परिवर्तन और एडजॉइंट स्टेट (Second Variation and the Adjoint State): द्वितीय व्युत्पन्न $f''(t)$ की गणना एक चुनौती पेश करती है क्योंकि इसमें स्टेट फंक्शन (state function) $\dot{u}$ का मटेरियल डेरिवेटिव शामिल है, जिसे सीधे नियंत्रित करना कठिन है। इससे बचने के लिए, लेखक एक एडजॉइंट स्टेट $p$ पेश करते हैं, जो एक सहायक सीमा मान समस्या (auxiliary boundary value problem) के समाधान के रूप में परिभाषित है:
   $$\begin{cases} -\Delta p = j'(u) & \text{in } \Omega \\ p = 0 & \text{on } \partial\Omega \end{cases}$$
   यह तकनीक द्वितीय परिवर्तन के सीमा इंटीग्रल अभिव्यक्तियों से $\dot{u}$ को हटाने की अनुमति देती है, जिससे एक सुलभ सूत्र प्राप्त होता है जो केवल सीमा परटर्बेशन और $u$ तथा $p$ के ग्रेडिएंट्स पर निर्भर करता है।
3. स्पेक्ट्रल विश्लेषण (Spectral Analysis): $t=0$ पर द्वितीय परिवर्तन को सीमा परटर्बेशन के द्विघात रूप (quadratic form) के रूप में व्यक्त किया जाता है। लेखक स्पहेरिकल हार्मोनिक्स (spherical harmonics) में परटर्बेशन का विस्तार करके, इस रूप की कोएर्सिविटी (coercivity) का विश्लेषण करते हैं। वे यह प्रदर्शित करते हैं कि द्विघात रूप प्रथम-क्रम के स्पहेरिकल हार्मोनिक्स (जो अनुवाद और आयतन परिवर्तनों के अनुरूप हैं, जिन्हें पहले ही स्थिर कर दिया गया है) के प्रति ऑर्थोगोनल परटर्बेशन के सबस्पेस पर धनात्मक निश्चित (positive definite) है।
4. निरंतरता और कोएर्सिविटी (Continuity and Coercivity): प्रमाण दो मुख्य विश्लेषणात्मक अनुमानों पर निर्भर करता है:
   • सुधारित निरंतरता (Improved Continuity): यह दिखाना कि छोटे परटर्बेशन के लिए $f''(t)$, $f''(0)$ के करीब है, जिससे यह सुनिश्चित होता है कि नॉन-लीनियर शेष भाग (nonlinear remainder) धनात्मकता को नष्ट नहीं करता है।
   • कोएर्सिविटी (Coercivity): यह सिद्ध करना कि गोले पर द्वितीय परिवर्तन, यदि परटर्बेशन छोटा है और आयतन/केंद्र की बाधाओं को पूरा करता है, तो परटर्बेशन के $H^{1/2}$-नॉर्म के वर्ग के एक स्थिरांक द्वारा नीचे से बंधा हुआ है।

मुख्य योगदान और परिणाम
मुख्य परिणाम प्रमेय 1.2 (Theorem 1.2) है, जो निकट-गोलाकार सेट्स के लिए एक स्थानीय स्थिरता असमानता स्थापित करता है। विशेष रूप से, $\delta_c > 0$ और $C(n, j) > 0$ स्थिरांक मौजूद हैं कि यदि $\Omega$ एक $C^{2,\gamma}$ वर्ग का निकट-गोलाकार सेट है जिसका $|\Omega| = |B_1|$ और द्रव्यमान केंद्र मूल बिंदु पर है, तो:
$$J(B_1) - J(\Omega) \ge C(n, j) \|\phi\|_{H^{1/2}(\partial B_1)}^2$$
जहाँ $\phi$ सीमा परटर्बेशन का पैरामीट्राइजेशन है।

लेखक कई विशिष्ट अनुप्रयोगों पर प्रकाश डालते हैं जहाँ यह सामान्य परिणाम लागू होता है:

• टॉर्शनल रिजिडिटी (Torsional Rigidity): $j(s)=s$ के लिए [9] के परिणाम को पुनः प्राप्त करना।
• $L^p$-norms: $j(s) = s^p$ के लिए वैध है जहाँ $p \ge 2$।
• मोसर-ट्रुडिंगर फलन (Moser–Trudinger Functional): आयाम $n=2$ के लिए $j(s) = e^{s^2} - 1$ के साथ वैध है।

लेखक परिशिष्ट B में एक वैकल्पिक प्रमाण (Alternative Proof) भी प्रदान करते हैं, जो $j''$ पर कमजोर नियमन धारणाओं (विशेष रूप से $j'' \in L^{n/2}$) और $j$ एवं उसके डेरिवेटिव्स पर विशिष्ट संरचनात्मक शर्तों के तहत कोएर्सिविटी स्थापित करता है।

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

लेखक इस बात पर जोर देते हैं कि हालांकि यह परिणाम स्थानीय (निकट-गोलाकार सेट्स तक सीमित) है, $H^{1/2}$-नॉर्म का उपयोग महत्वपूर्ण है। यह नॉर्म सीमा के आयतनी विचलन (volumetric deviations) और दोलनात्मक व्यवहार (oscillatory behavior) दोनों को कैप्चर करता है, जो विषमता (asymmetry) का एक मजबूत माप प्रदान करता है। यह कार्य फेबर-क्राइन (Faber–Krahn) असमानता [9] और सेंट-वेनेन्ट असमानता के मूलभूत मात्रात्मक स्थिरता परिणामों पर सीधे निर्मित है, यह प्रदर्शित करते हुए कि स्थिरता तंत्र टॉर्शन फंक्शन के विभिन्न उत्तल फलनों में कितना सुदृढ़ है।