Weakly stable solutions of Serrin's problem

तकनीकी सारांश: सेरीन की समस्या के दुर्बल रूप से स्थिर समाधान (Weakly Stable Solutions of Serrin's Problem)

समस्या का विवरण
यह शोध पत्र सेरीन की ओवरडिटरमाइंड (overdetermined) समस्या को संबोधित करता है, जो एक डोमेन $\Omega \subset \mathbb{R}^n$ ($n \ge 2$) और एक फलन $u \in C^\infty(\bar{\Omega})$ की खोज करती है जो निम्नलिखित को संतुष्ट करता है:
$$\begin{cases} -\Delta u = n & \Omega \text{ में}, \\ u > 0 & \Omega \text{ में}, \\ u = 0 & \partial\Omega \text{ पर}, \\ |Du| = 1 & \partial\Omega \text{ पर}. \end{cases}$$
जबकि जे. सेरीन (1971) और एच. वेनबर्गर (1971) ने स्थापित किया कि कॉम्पैक्ट समाधान अनिवार्य रूप से इकाई गोले (unit balls) होते हैं, गैर-कॉम्पैक्ट समाधान भी मौजूद हैं (जैसे, सिलेंडर)। एच. बेरेस्त्यकी, एल. कैफ़ेरेली, और एल. निरेनबर्ग ने अनुमान लगाया था कि कोई भी गैर-कॉम्पैक्ट समाधान या तो एक इकाई गोला होगा या एक सिलेंडर के अनुरूप होगा जिसका रूप $\{y \in \mathbb{R}^m : |y| < m/n\} \times \mathbb{R}^{n-m}$ है। हालाँकि, सामान्य अर्ध-रैखिक (semilinear) समस्याओं के लिए इस अनुमान के विरुद्ध प्रति-उदाहरण (counterexamples) मौजूद हैं। यह शोध पत्र विशेष रूप से दुर्बल स्थिरता (weak stability) की अतिरिक्त धारणा के तहत $f(u) = n$ के मामले के लिए इस अनुमान की जांच करता है।

कार्यप्रणाली और दृष्टिकोण
लेखक ज्यामितीय विश्लेषण और एसिम्प्टोटिक अनुमानों के साथ एक वेरिएशनल दृष्टिकोण (variational approach) का उपयोग करते हैं। मुख्य कार्यप्रणाली में शामिल हैं:

1. वेरिएशनल लक्षण वर्णन (Variational Characterization): समाधानों को एक सापेक्ष आयतन प्रतिबंध के अधीन $J(u) = \frac{1}{2}\int_{\{u>0\}} |Du|^2 - \int_{\{u>0\}} F(u)$ (जहाँ $F' = f = n$) के क्रिटिकल पॉइंट्स के रूप में देखा जाता है।
2. स्थिरता परिभाषाएँ:
   • दुर्बल स्थिरता (Weak Stability): डोमेन $\{u > 0\}$ के सापेक्ष आयतन को संरक्षित करने वाले कॉम्पैक्ट परिवर्तनों के बीच $J$ के लिए द्वितीय व्युत्पन्न परीक्षण (second derivative test) को संतुष्ट करता है। इसे इस प्रकार औपचारिक रूप दिया गया है:
     $$\int_{\partial\Omega} (f(0) - H) \phi^2 \le \int_{\Omega} (|D\phi|^2 - f'(u)\phi^2)$$
     सभी $\phi \in C^\infty_c(\bar{\Omega})$ के लिए जहाँ $\int_{\partial\Omega} \phi = 0$।
   • स्थिरता (Stability): समान असमानता बिना शून्य-औसत प्रतिबंध के सभी $\phi \in C^\infty_c(\bar{\Omega})$ के लिए लागू होती है।
3. ग्रेडिएंट और एसिम्प्टोटिक अनुमान: लेखक $u$ के लिए महत्वपूर्ण ग्रेडिएंट अनुमान (विशेष रूप से $\Omega$ में $|Du| < 1$ और $\partial\Omega$ पर $H \le n$) स्थापित करते हैं और बड़े गोलों $B_\lambda(0)$ के साथ $\Omega$ के आयतन $V(\lambda)$ और सीमा क्षेत्रफल $A(\lambda)$ के एसिम्प्टोटिक व्यवहार का विश्लेषण करते हैं।
4. विरोधाभास तर्क (Contradiction Argument): प्रमाण इस धारणा के साथ आगे बढ़ता है कि $\Omega$ का आयतन अनंत है। डाइवर्जेंस प्रमेय (divergence theorem) से प्राप्त एसिम्प्टोटिक संबंध $A(\lambda) \approx n V(\lambda)$ का उपयोग करते हुए, लेखक प्रदर्शित करते हैं कि अनंत आयतन का अर्थ डोमेन पूर्णतः स्थिर (stable) है। विशिष्ट कट-ऑफ फलनों के साथ स्थिरता असमानता का परीक्षण करने और एक सहायक फलन $\phi = u + \frac{1}{2}|Du|^2$ की सब-हारमोनिकिटी (subharmonicity) का उपयोग करने के माध्यम से, वे सीमा इंटीग्रल (boundary integral) के चिह्न और स्थिरता की स्थिति के बीच एक विरोधाभास उत्पन्न करते हैं।
5. परिमित आयतन विश्लेषण: एक बार जब अनंत आयतन को खारिज कर दिया जाता है, तो लेखक गैर-कॉम्पैक्ट सेटिंग में वेनबर्गर के तर्क को अनुकूलित करते हैं ताकि यह दिखाया जा सके कि परिमित आयतन वाले घटक इकाई गोले ही होंगे। दुर्बल स्थिरता का उपयोग डोमेन के जुड़े होने (connectedness) को सिद्ध करने के लिए किया जाता है, जिससे अलग-थलग गोलों के संघ (disjoint unions of balls) की संभावना समाप्त हो जाती है।

मुख्य परिणाम

• प्रमेय 2 (मुख्य परिणाम): किसी भी आयाम $n \ge 2$ के लिए, यदि $\Omega$ सेरीन की समस्या का एक दुर्बल रूप से स्थिर समाधान है, तो $\Omega$ त्रिज्या 1 का एक गोला है। फलस्वरूप, कोई भी गैर-कॉम्पैक्ट दुर्बल रूप से स्थिर समाधान मौजूद नहीं है।
• ग्रेडिएंट बाउंड्स: शोध पत्र सिद्ध करता है कि किसी भी समाधान के लिए, $\Omega$ में $|Du| < 1$ और सीमा $\partial\Omega$ पर माध्य वक्रता (mean curvature) $H \le n$ है।
• स्थिरता निहितार्थ: यदि किसी समाधान का आयतन अनंत है, तो दुर्बल स्थिरता पूर्ण स्थिरता का संकेत देती है।
• आयामी स्वतंत्रता (Dimensional Independence): संबंधित समस्याओं (जैसे, वन-फेज़ बर्नेली समस्या) के पिछले परिणामों के विपरीत जो आयाम पर अत्यधिक निर्भर करते हैं (जैसे, $n \le 3$ बनाम $n \ge 7$), यह परिणाम सभी $n \ge 2$ के लिए मान्य है।

महत्व और दावे
शोध पत्र दावा करता है कि सेरीन की समस्या के दुर्बल रूप से स्थिर समाधान अनिवार्य रूप से कॉम्पैक्ट (विशेष रूप से, गोल गोले) होते हैं। यह परिणाम दुर्बल स्थिरता की धारणा के तहत $f=n$ के मामले के लिए बेरेस्त्यकी-कैफ़ेरेली-निरेनबर्ग अनुमान को प्रभावी ढंग से हल करता है, यह प्रदर्शित करके कि गैर-कॉम्पैक्ट विकल्प (सिलेंडर) दुर्बल रूप से स्थिर नहीं हैं। इस धारणा को "एक वेरिएशनल दृष्टिकोण से स्वाभाविक" बताया गया है।

लेखक अपने परिणाम को एक पिछले प्रमेय ( [12] में प्रमेय 1) के सामान्यीकरण के रूप में प्रस्तुत करते हैं जो आयाम $n=2$ तक सीमित था और जिसमें $\partial\Omega$ की वक्रता का परिबद्ध होना आवश्यक था। वर्तमान कार्य आयाम प्रतिबंध और वक्रता की बाध्यता को हटा देता है। प्रमाण तकनीक पिछले कार्यों से भिन्न है; यह गौस-बोनेट प्रमेय (जो $n=2$ के लिए विशिष्ट है) और कम आयामों के लिए विशिष्ट तर्कों से बचती है जो संबंधित स्थिरता समस्याओं के ज्ञात प्रति-उदाहरणों के कारण उच्च आयामों में विफल हो जाते हैं।

यह परिणाम मिनिमल सरफेस थ्योरी (minimal surface theory) के संदर्भ में स्थित है, जहाँ सेरीन की समस्या के दुर्बल रूप से स्थिर समाधान, दुर्बल रूप से स्थिर मिनिमल कैपिलरी सतहों के 'ब्लो-अप लिमिट' के रूप में उभरते हैं। यहाँ स्थापित कठोरता (rigidity) का परिणाम $0$या$\pi$ के निकट संपर्क कोणों वाली ऐसी कैपिलरी सतहों के लक्षण वर्णन के लिए एक मौलिक घटक के रूप में कार्य करता है।