On a necessary condition for removing singularities of solutions of nonlinear elliptic inequalities

तकनीकी सारांश: नॉनलीनियर एलिप्टिक इनइक्वैलिटीज के समाधानों की सिंगुलैरिटी हटाने के लिए एक आवश्यक स्थिति पर

समस्या विवरण
यह शोध पत्र एक पंचुरेटेड यूनिट बॉल $B_1 \setminus \{0\} \subset \mathbb{R}^n$ ($n \geq 2$) में परिभाषित नॉनलीनियर एलिप्टिक डिफरेंशियल इनइक्वैलिटीज के रूप में:
$$\Delta^{m/2} u \geq f(x)g(u)$$
के समाधानों की सिंगुलैरिटी हटाने की संभावना की जांच करता है, जहाँ $m \geq 2$ एक सम पूर्णांक (even integer) है। फलन $f$ और $g$ विशिष्ट रेगुलैरिटी और ग्रोथ स्थितियों को संतुष्ट करते हैं: $f \in L^\infty_{loc}(B_1 \setminus \{0\})$ और $g: [0, \infty) \to [0, \infty)$ एक गैर-घटता (non-decreasing) फलन है जहाँ $g(0)=0$ और $\zeta > 0$ के लिए $g(\zeta) > 0$ है।

मूल बिंदु (origin) पर एक सिंगुलैरिटी को तब 'रिमूवेबल' (removable) कहा जाता है यदि समाधान $u$ और पद $f(x)g(|u|)$ पूरे बॉल $B_1$ पर $L^1(B_1)$ में आते हैं, जिससे इनइक्वैलिटी पूरे बॉल $B_1$ पर डिस्ट्रिब्यूशनल सेंस में लागू हो सके। मुख्य उद्देश्य $g$ पर एक आवश्यक स्थिति (necessary condition) स्थापित करना है ताकि इनइक्वैलिटी का कोई भी समाधान शून्य पर एक रिमूवेबल सिंगुलैरिटी रखता हो।

कार्यप्रणाली (Methodology)
लेखक एक रचनात्मक दृष्टिकोण (constructive approach) का उपयोग करते हैं ताकि यह सिद्ध किया जा सके कि यदि $g$ पर एक विशिष्ट इंटीग्रल कंडीशन विफल हो जाती है, तो एक नॉन-रिमूवेबल सिंगुलैरिटी मौजूद होनी चाहिए। कार्यप्रणाली इस प्रकार है:

1. रेडियल ODEs में न्यूनीकरण (Reduction to Radial ODEs): समस्या को पार्शियल डिफरेंशियल इनइक्वैलिटी से रेडियल ऑर्डिनरी डिफरेंशियल इनइक्वैलिटी में परिवर्तित किया जाता है। पोलर कोऑर्डिनेट्स में लाप्लासियन के गुणों का उपयोग करते हुए, लेखक एक रेडियल समाधान $u(x) = w(|x|)$ का निर्माण करते हैं जो तब संतुष्ट होता है जब $w$ एक संबंधित रेडियल समस्या को संतुष्ट करता है जिसमें ऑपरेटर $\left(\frac{1}{r^{n-1}}\left(r^{n-1}\frac{d}{dr}\right)\right)^{m/2}$ शामिल है।
2. फिक्स्ड पॉइंट और इटरेटिव कंस्ट्रक्शन: प्रमाण प्रमेय 2.2 पर निर्भर करता है, जो अंतराल $(0, 1]$ पर एक विशिष्ट रेडियल इनइक्वैलिटी के लिए एक धनात्मक, घटते समाधान के अस्तित्व की पुष्टि करता है। यह निम्नलिखित के माध्यम से प्राप्त किया जाता है:
   • निरंतर फलनों पर कार्य करने वाले अनुक्रमिक इंटीग्रल ऑपरेटर्स $A_i$ को परिभाषित करना।
   • इन ऑपरेटर्स के विकास और क्षय (growth and decay) को नियंत्रित करने के लिए ए प्रायरियरी एस्टिमेट्स और इनइक्वेलिटीज (जैसे समीकरण 2.4–2.11) स्थापित करना।
   • एक उप-अंतराल $[r_0, 1]$ पर फिक्स्ड पॉइंट $w_0$ खोजने के लिए बोहल-ब्रौवर (Bohl–Brouwer) फिक्स्ड पॉइंट थ्योरम का उपयोग करना।
   • नॉनलिनियलिटी $g^{-1/m}$ के व्युत्क्रम (inverse) से जुड़ी कॉची समस्या (Cauchy problem) को हल करके इस समाधान को $(0, r_0]$ तक विस्तारित करना।
3. डाइवर्जेंस तर्क (Divergence Argument): तर्क का मूल भाग इंटीग्रल $\int_1^\infty g^{-1/m}(\zeta)\zeta^{1/m-1} d\zeta$ के व्यवहार पर टिका है। यदि यह इंटीग्रल डाइवर्ज (diverge) होता है, तो निर्मित समाधान $w(r)$ जैसे कि $r \to 0$ होने पर पर्याप्त तेजी से बढ़ता है, जिससे $u(x) \notin L^1(B_1)$ हो जाता है, और इस प्रकार यह सिद्ध होता है कि सिंगुलैरिटी नॉन-रिमूवेबल है।

प्रमुख योगदान और परिणाम
प्राथमिक परिणाम प्रमेय 2.1 है, जो कहता है:
यदि $g: (0, \infty) \to (0, \infty)$ एक गैर-घटता निरंतर फलन है जो डाइवर्जेंस कंडीशन को संतुष्ट करता है:
$$\int_1^\infty g^{-1/m}(\zeta)\zeta^{1/m-1} d\zeta = \infty,$$
तो इनइक्वैलिटी $\Delta^{m/2} u \geq f(x)g(u)$ शून्य पर एक नॉन-रिमूवेबल सिंगुलैरिटी वाला एक धनात्मक समाधान प्रदान करती है, और यह किसी भी $f \in L^\infty_{loc}(B_1 \setminus \{0\})$ के लिए सत्य है।

परिणामस्वरूप, स्थिति:
$$\int_1^\infty g^{-1/m}(\zeta)\zeta^{1/m-1} d\zeta < \infty$$
इनइक्वैलिटी के किसी भी समाधान के लिए सिंगुलैरिटी की रिमूवेबिलिटी के लिए एक आवश्यक स्थिति के रूप में स्थापित की गई है।

यह शोध पत्र अपने परिणाम को ज्ञात स्थितियों से जोड़कर संदर्भ प्रदान करता है:

• $m=2$ के लिए, यह स्थिति प्रसिद्ध केलर-ओसरमैन (Keller–Osserman) ब्लो-अप कंडीशन के समकक्ष है।
• यह परिणाम पावर-टाइप नॉनलिनियलिटीज (जैसे $\Delta u \geq |x|^s u^\lambda$) और लॉगरिदमिक नॉनलिनियलिटीज के पिछले निष्कर्षों को सामान्यीकृत करता है, सटीक क्रिटिकल एक्सपोनेंट्स जैसे कि ब्रेजिस-वेरॉन (Brezis–Véron) कंडीशन को पुनः प्राप्त करता है।

महत्व और दावे
लेखक दावा करते हैं कि जबकि इंटीग्रल कंडीशन (1.3) (या $m>2$ के लिए इसका सामान्यीकरण) रिमूवेबिलिटी की गारंटी देने के लिए पर्याप्त नहीं है (क्योंकि यह शून्य के पास $f$ के व्यवहार या लीनियर मामलों में संभावित ग्रोथ प्रतिबंधों को ध्यान में नहीं रखती है), यह स्पष्ट रूप से आवश्यक है।

शोध पत्र यह दावा करता है कि यदि इस इंटीग्रल कंडीशन का उल्लंघन होता है, तो चाहे कोएफिशिएंट फंक्शन $f$ कितना भी "छोटा" या सुव्यवस्थित क्यों न हो (बशर्ते कि वह शून्य के पास स्थानीय रूप से बाउंडेड हो), हमेशा एक ऐसा समाधान निर्मित किया जा सकता है जो मूल बिंदु पर इस तरह से ब्लो-अप होता है कि सिंगुलैरिटी को हटाना असंभव हो जाता है। यह उन नॉनलिनियलिटीज $g$ के वर्ग के लिए एक शार्प बाउंडरी प्रदान करता है जो हायर-ऑर्डर एलिप्टिक इनइक्वैलिटीज के संदर्भ में सिंगुलैरिटी हटाने की अनुमति देते हैं। यह कार्य रिमूवेबल और नॉन-रिमूवेबल सिंगुलैरिटीज के बीच के सटीक थ्रेशोल्ड को स्पष्ट करता है, जो फोर्सिंग टर्म $f$ के विशिष्ट चयन से स्वतंत्र है।