🔢 mathematics

Existence and multiplicity of solutions for a critical Grushin problem with a singular nonlinearity

यह शोध पत्र एक क्रिटिकल ग्रुशिन समस्या (Grushin problem) की जांच करता है जिसमें एक विलक्षण गैर-रैखिकता (singular nonlinearity) है, और यह विश्लेषण करता है कि समाधान का व्यवहार ग्रुशिन ऑपरेटर से जुड़े क्रिटिकल सोबोलेव घातांक (critical Sobolev exponent) के सापेक्ष घातांक $p$ पर कैसे निर्भर करता है।

मूल लेखक: Shammi Malhotra

प्रकाशित 2026-05-05

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

CC BY 4.0

मूल लेखक: Shammi Malhotra

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

कल्पना कीजिए कि आप एक आदर्श आकार खोजने की कोशिश कर रहे हैं, लेकिन यह कोई साधारण बुलबुला नहीं है। यह एक अजीब, मुड़े हुए कमरे में फंसा हुआ बुलबुला है जहाँ भौतिकी के नियम इस बात पर निर्भर करते हैं कि आप कहाँ खड़े हैं। यह ग्रुशिन ऑपरेटर (Grushin operator) की दुनिया है, जो इस शोध पत्र के केंद्र में स्थित एक गणितीय उपकरण है।

यहाँ एक सरल विवरण दिया गया है कि लेखक, जिनका नेतृत्व शम्मी मल्होत्रा ने किया है, रोजमर्रा के उपमाओं का उपयोग करके क्या हल करने की कोशिश कर रहे हैं।

1. परिवेश: एक "चिपचिपे" फर्श वाला कमरा

आकारों के बारे में अधिकांश गणितीय समस्याएँ एक पूरी तरह से चिकने, समतल कमरे (जैसे एक मानक यूक्लिडियन स्पेस) में होती हैं। लेकिन ग्रुशिन ऑपरेटर एक ऐसे कमरे का वर्णन करता है जिसका फर्श "चिपचिपा" है।

उपमा: एक फर्श पर चलने की कल्पना करें। अधिकांश स्थानों पर, आप किसी भी दिशा में स्वतंत्र रूप से चल सकते हैं। लेकिन कमरे के बीच में एक विशिष्ट रेखा (या दीवार) है जहाँ फर्श अविश्वसनीय रूप से चिपचिपा और एक दिशा में गति के प्रति प्रतिरोधी हो जाता है।
गणित: यह "चिपचिपाहट" एक भार कारक (weight factor), $|x|^{2\gamma}$ के कारण होती है। इस रेखा के पास, गणित "डीजेनरेट" (degenerate) हो जाता है, जिसका अर्थ है कि मानक नियम उतने प्रभावी ढंग पर काम नहीं करते। लेखकों को इस पेचीदा वातावरण में समीकरणों को हल करने का तरीका खोजना होगा।

2. समस्या: तीन बलों के बीच खींचतान

यह शोध पत्र एक विशिष्ट समीकरण का अध्ययन करता है जो एक सीमित बॉक्स ( $\Omega$ ) के भीतर एक भौतिक अवस्था (मान लीजिए $u$ ) का वर्णन करता है। यह अवस्था तीन अलग-अलग बलों द्वारा खींची जा रही है:

प्रत्यास्थ बल (The Elastic Force - ग्रुशिन ऑपरेटर): यह चीजों को सुचारू बनाने की कोशिश करता है, जैसे एक खिंचा हुआ रबर का पर्दा वापस सपाट होने की कोशिश करता है।
"सिंगुलर" बल ( $u^{-\delta}$ ): यह पेचीदा हिस्सा है। एक ऐसे बल की कल्पना करें जो शून्य के करीब पहुँचने पर अनंत रूप से शक्तिशाली हो जाता है। यदि आपके आकार का मान बहुत छोटा हो जाता है, तो यह बल चिल्लाकर "रुको!" कहता है और इसे वापस ऊपर धकेलता है। यह एक पेंसिल को उसकी नोक पर संतुलित करने की तरह है; आप जितना गिरने के करीब पहुँचते हैं, वहाँ टिके रहने के लिए उतनी ही अधिक मेहनत करनी पड़ती है।
"क्रिटिकल" बल ( $\lambda u^p$ ): यह एक ऐसा बल है जो आकार बड़ा होने पर बहुत तेजी से बढ़ता है। लेखक उस "गोल्डिलॉक्स" ज़ोन (Goldilocks zone) में रुचि रखते हैं जहाँ यह वृद्धि बिल्कुल सही (क्रिटिकल) हो, बहुत धीमी (सबक्रिटिकल) हो, या बहुत तेज़ (सुपरक्रिटिकल) हो।

लक्ष्य एक ऐसा आकार ( $u$ ) खोजना है जो बॉक्स की दीवारों पर शून्य रहते हुए इन सभी बलों को पूरी तरह से संतुलित करे।

3. चुनौती: जब गणित टूट जाता है

आमतौर पर, गणितज्ञ एक "वैरिएशनल" (variational) दृष्टिकोण का उपयोग करते हैं। इसे एक पर्वत श्रृंखला में सबसे निचले बिंदु को खोजने के रूप में सोचें (ऊर्जा न्यूनतम)।

समस्या: "सिंगुलर बल" (वह जो शून्य होने पर चिल्लाता है) के कारण, इस पर्वत श्रृंखला में एक खड़ी ढलान (cliff edge) है। यदि आप नीचे जाने की कोशिश करते हैं, तो आप एक ऐसी ढलान से गिर सकते हैं जहाँ गणित का अर्थ ही खत्म हो जाता है।
समाधान: लेखक नॉनस्मूथ एनालिसिस (Nonsmooth Analysis) नामक तकनीक का उपयोग करते हैं। एक चिकनी ढलान से नीचे उतरने के बजाय, वे उस खड़ी ढलान को खड़े होने के लिए एक वैध स्थान के रूप में देखते हैं। वे एक "सबडिफरेंशियल" (subdifferential - एक फैंसी शब्द जिसका अर्थ है ऊबड़-खाबड़ जमीन पर ढलान का "सबसे अच्छा अनुमान") का उपयोग करते हैं ताकि समाधान खोजा जा सके।

4. मुख्य खोज: एक या दो समाधान?

यह शोध पत्र एक बड़े सवाल का जवाब देता है: कितने अलग-अलग आकार अस्तित्व में रह सकते हैं जो इन बलों को संतुलित करते हैं?

इसका उत्तर एक नियंत्रण नॉब (control knob) पर निर्भर करता है जिसे $\lambda$ (लैम्ब्डा) कहा जाता है।

"स्वीट स्पॉट" (छोटा $\lambda$ ): यदि बाहरी बल कमजोर है, तो लेखक सिद्ध करते हैं कि कम से कम दो अलग-अलग स्थिर आकार मौजूद हैं।
- उपमा: एक घाटी की कल्पना करें जिसके बीच में एक छोटा सा उभार है। गेंद गहरी बाईं घाटी में या गहरी दाईं घाटी में बस सकती है। दोनों स्थिर हैं।
- एक आकार "छोटा" (सिंगुलर बल की सीमा के करीब) है, और दूसरा "बड़ा" है।
"सीमा" (मध्यम $\lambda$ ): जैसे-जैसे आप नॉब घुमाते हैं, एक ऐसा बिंदु आता है जहाँ दोनों आकार आपस में मिल जाते हैं। यह वह अधिकतम सीमा है जहाँ एक समाधान अस्तित्व में रह सकता है।
"बहुत अधिक" (बड़ा $\lambda$ ): यदि आप नॉब को बहुत अधिक घुमा देते हैं, तो बल असंतुलित हो जाते हैं। कोई भी आकार मौजूद नहीं रह सकता जो समीकरण को संतुष्ट करे। सिस्टम ध्वस्त हो जाता है।

5. उन्होंने यह कैसे किया (उपकरणों का सेट)

इन परिणामों को सिद्ध करने के लिए, लेखकों ने उपकरणों की एक सीढ़ी बनाई:

सबसोल्यूशन और सुपर्सोल्यूशन (Subsolutions and Supersolutions): उन्होंने एक "फर्श" (एक आकार जो बहुत छोटा है) और एक "छत" (एक आकार जो बहुत बड़ा है) बनाया। उन्होंने सिद्ध किया कि वास्तविक उत्तर उनके बीच कहीं दबा हुआ होना चाहिए।
"ब्लो-अप" (Blow-Up) तकनीक: क्रिटिकल मामले में, उन्होंने देखा कि जब समाधान बहुत ही तीक्ष्ण (जैसे एक स्पाइक) हो जाता है तो क्या होता है। उन्होंने यह देखने के लिए विशेष "परीक्षण आकारों" (जिन्हें "बबल्स" कहा जाता है) का उपयोग किया कि क्या गणित कायम रहता है या टूट जाता है।
स्ट्रॉन्ग मैक्सिमम प्रिंसिपल (Strong Maximum Principle): उन्होंने सिद्ध किया कि समाधान बॉक्स के भीतर कहीं भी शून्य नहीं हो सकता; यह हर जगह सकारात्मक होना चाहिए। यह यह सिद्ध करने जैसा है कि यदि आपके पास एक साबुन का बुलबुला है, तो वह बीच में सपाट नहीं हो सकता; वह हर जगह घुमावदार होना चाहिए।

सारांश

सरल शब्दों में, यह शोध पत्र कहता है:

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

यह शोध पत्र एक सैद्धांतिक विजय है, जो एक जटिल समीकरण के लिए समाधानों के अस्तित्व को स्थापित करता है और उनकी संख्या निर्धारित करता है जो कठिन भौतिक वातावरण का मॉडल बनाते हैं।

तकनीकी सारांश: एक क्रिटिकल ग्रुशिन समस्या के लिए समाधानों का अस्तित्व और बहुलता

समस्या विवरण
यह शोध पत्र एक चिकने परिबद्ध डोमेन $\Omega \subset \mathbb{R}^N$ ( $N=n+m$ ) पर ग्रुशिन ऑपरेटर $\Delta_\gamma$ से जुड़ी एक सीमा मान समस्या (boundary value problem) के लिए धनात्मक दुर्बल समाधानों (positive weak solutions) के अस्तित्व और बहुलता की जांच करता है। ऑपरेटर को $\Delta_\gamma := \Delta_x + (1+\gamma)^2|x|^{2\gamma}\Delta_y$ के रूप में परिभाषित किया गया है, जहाँ $\gamma > 0$ , जो सेट $\Sigma = \{0\} \times \mathbb{R}^m$ के साथ क्षयकारी (degenerate) व्यवहार प्रदर्शित करता है। अध्ययन की जाने वाली प्राथमिक समीकरण है:
$\begin{cases} -\Delta_\gamma u = \lambda u^p + u^{-\delta} & \text{in } \Omega, \\ u = 0 & \text{on } \partial\Omega, \end{cases}$
जहाँ $\lambda > 0$ , $\delta > 0$ , और $p > 1$ है। अध्ययन क्रिटिकल सोबोलेव घातांक (Sobolev exponent) $2^*_\gamma = \frac{2Q}{Q-2}$ (जहाँ $Q = m + (1+\gamma)n$ समरूप आयाम है) के सापेक्ष घातांक $p$ के लिए तीन व्यवस्थाओं (regimes) को कवर करता है: उप-क्रिटिकल ( $p < 2^*_\gamma - 1$ ), क्रिटिकल ( $p = 2^*_\gamma - 1$ ), और सुपर-क्रिटिकल ( $p > 2^*_\gamma - 1$ )। विलक्षण पद (singular term) $u^{-\delta}$ की उपस्थिति नियमितता (regularity) और समाकलनीयता (integrability) के संबंध में महत्वपूर्ण चुनौतियाँ पेश करती है, विशेष रूप से जब $\delta \geq 3$ हो, जहाँ शास्त्रीय विचरीय विधियाँ (variational methods) विफल हो जाती हैं।

कार्यप्रणाली
लेखक गैर-सुचारू विश्लेषण (nonsmooth analysis) और विचरीय विधियों (variational methods) पर आधारित एक ढांचे का उपयोग करते हैं, जो लैपलेसियन के लिए हिरानो एट अल. [23] द्वारा विकसित तकनीकों को ग्रुशिन सेटिंग में विस्तारित करता है। मुख्य कार्यप्रणालीगत चरण शामिल हैं:

गैर-सुचारू फलन ढांचा (Nonsmooth Functional Framework): विलक्षणता $u^{-\delta}$ के कारण, संबद्ध ऊर्जा फलन (energy functional) $C^1$ नहीं है। लेखक फलन को फ्रेट (Fréchet) सबडिफरेंशियल $\partial^- I$ का उपयोग करके परिभाषित करते हैं और सुचारूता और परिबद्धता की कमी को संभालने के लिए सेरामी स्थिति (Cerami condition) (एक पैले-स्मेल स्थिति जो कम सुदृढ़ है) का उपयोग करते हैं।
समस्या का अनुवाद (Translation of the Problem): विलक्षणता को प्रबंधित करने के लिए, समस्या को $u_0$ को पेश करके अनुवादित किया जाता है, जो विशुद्ध रूप से विलक्षण समस्या $-\Delta_\gamma u_0 = u_0^{-\delta}$ का अद्वितीय धनात्मक समाधान है। मूल समस्या को $u = v - u_0$ के रूप में पुनर्गठित किया जाता है, जिससे एक नई समीकरण प्राप्त होती है जिसमें एक संशोधित गैर-रैखिकता (nonlinearity) $g(z, s)$ होती है जो विचरीय तकनीकों के अनुप्रयोग की अनुमति देती है।
उप-समाधान-उप-समाधान विधि (Sub-Supersolution Method): समाधानों का अस्तित्व एक सामान्यीकृत पेरॉन-प्रकार (Perron-type) विधि का उपयोग करके स्थापित किया जाता है। लेखक विलक्षण समाधान $u_0$ और सहायक फलनों द्वारा परिभाषित ऑर्डर अंतराल के भीतर उपयुक्त उप-समाधानों (subsolutions) और उप-समाधानों (supersolutions) का निर्माण करते हैं।
स्ट्रॉन्ग मैक्सिमम प्रिंसिपल और नियमितता: ग्रुशिन ऑपरेटर के लिए एक स्ट्रॉन्ग मैक्सिमम प्रिंसिपल (लेम्मा 2.3) का व्युत्पन्न करना एक महत्वपूर्ण घटक है, जो लॉगरिदमिक अनुमान के माध्यम से प्राप्त किया जाता है। यह समाधानों की धनात्मकता सुनिश्चित करता है। क्षयकारी सेट $\Sigma$ के पास समाधान के व्यवहार को नियंत्रित करने के लिए समान $L^\infty$ अनुमान और नियमितता परिणाम (लेम्मा 2.4, लेम्मा 5.11) प्राप्त किए जाते हैं।
लिंकिंग के माध्यम से बहुलता (Multiplicity via Linking): दूसरे समाधान के अस्तित्व को सिद्ध करने के लिए, लेखक एक लिंकिंग प्रमेय (थ्योरम 2.1) लागू करते हैं जो गैर-सुचारू फलनों के लिए अनुकूलित है। इसमें एक विशिष्ट फलन ज्यामितीय संरचना का निर्माण शामिल है जहाँ फलन एक स्थानीय न्यूनतम (local minimizer) के सापेक्ष "माउंटेन पास" ज्यामिति प्रदर्शित करता है।
ब्लो-अप विश्लेषण (Blow-up Analysis): क्रिटिकल मामले में, दूसरे समाधान के अस्तित्व का प्रमाण एक विशिष्ट टेस्ट फंक्शन अनुक्रम (सोबोलेव असमानता के चरम फलनों पर आधारित) के निर्माण पर निर्भर करता है, यह दिखाने के लिए कि दूसरे समाधान का ऊर्जा स्तर उस दहलीज से नीचे है जहाँ कॉम्पैक्टनेस खो जाती है।

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

प्रथम समाधान का अस्तित्व: सभी $\delta > 0$ और $p > 1$ के लिए, एक दहलीज $\Lambda > 0$ मौजूद है ताकि प्रत्येक $\lambda \in (0, \Lambda]$ के लिए, कम से कम एक धनात्मक दुर्बल समाधान मौजूद है।
- उप-क्रिटिकल और क्रिटिकल मामलों में ( $1 < p \leq 2^*_\gamma$ ), समाधान $C^{0,\alpha}_{loc}(\Omega) \cap L^\infty(\Omega)$ के वर्ग में होते हैं।
- सुपर-क्रिटिकल मामले में ( $p > 2^*_\gamma$ ), समाधान $L^{p+1}(\Omega)$ (और $\lambda < \Lambda$ के लिए $L^\infty$ ) में होते हैं।
- प्रथम समाधान $u_\lambda$ संबद्ध ऊर्जा फलन का एक स्थानीय न्यूनतमीकरणकर्ता (local minimizer) है और $\lambda$ के संबंध में सख्ती से बढ़ता है।
समाधानों की बहुलता: प्रत्येक $\lambda \in (0, \Lambda)$ के लिए, पहले से भिन्न एक दूसरा धनात्मक दुर्बल समाधान मौजूद है।
- उप-क्रिटिकल और क्रिटिकल मामलों में, यह दूसरा समाधान भी $C^{0,\alpha}_{loc}(\Omega) \cap L^\infty(\Omega)$ में होता है।
- दूसरा समाधान $\Omega$ में पहले समाधान से बड़ा ( $w > u_\lambda$ ) होता है।
अस्तित्व का अभाव (Non-existence): $\lambda > \Lambda$ के लिए, कोई धनात्मक दुर्बल समाधान (उपयुक्त फलन स्थानों में) मौजूद नहीं है।
शुद्ध विलक्षण समस्या की नियमितता और अद्वितीयता: शोध पत्र विशुद्ध रूप से विलक्षण समस्या $-\Delta_\gamma u_0 = u_0^{-\delta}$ के समाधान $u_0$ के अस्तित्व और अद्वितीयता को सिद्ध करता है, जो $-\Delta_\gamma u_1 = 1$ के समाधान से संबंधित स्पष्ट सीमाओं को प्रदान करता है।

महत्व और दावे
यह शोध पत्र ब्रेज़िस-निएरेनबर्ग सिद्धांत (Brezis-Nirenberg theory) को, जो मूल रूप से लैपलेसियन के लिए विलक्षण विक्षोभों (singular perturbations) के लिए तैयार किया गया था, क्षयकारी ग्रुशिन ऑपरेटर के लिए विस्तारित करने का दावा करता है। इसकी प्राथमिक महत्ता निम्नलिखित में निहित है:

$\delta$ की पूरी सीमा को संभालना: $\delta < 1$ तक सीमित पिछले कार्यों के विपरीत, यह विश्लेषण गैर-सुचारू विश्लेषण उपकरणों का उपयोग करके संपूर्ण $\delta > 0$ की सीमा को कवर करता है, जिससे तीव्र विलक्षणताओं से जुड़ी समाकलनीयता समस्याओं को दूर किया जा सका है।
क्षय प्रबंधन (Degeneracy Management): कार्य $\Sigma$ के साथ ग्रुशिन ऑपरेटर के क्षयकारी व्यवहार से उत्पन्न विशिष्ट कठिनाइयों को संबोधित करता है, एक स्ट्रॉन्ग मैक्सिमम प्रिंसिपल और इस ज्यामिति के अनुरूप नियमितता परिणाम स्थापित करता है।
एकीकृत दृष्टिकोण: कार्य की कार्यप्रणाली एक एकीकृत ढांचा प्रदान करती है जो इसी विलक्षण सेटिंग के भीतर उप-क्रिटिकल, क्रिकल और सुपर-क्रITICAL घातांकों के साथ व्यवहार करती है, यह प्रदर्शित करती है कि बहुलता घटना (दो समाधान) तीव्र विलक्षणता और ऑपरेटर क्षय की उपस्थिति में भी बनी रहती है।

लेखक अपने कार्य को लैपलेसियन (संदर्भ [23], [2], [4] का उल्लेख करते हुए) पर मौजूदा परिणामों के एक कठोर विस्तार के रूप में प्रस्तुत करते हैं, जो क्षयकारी एलिप्टिक ऑपरेटरों के लिए क्रिटिकल विलक्षण समस्याओं के संबंध में साहित्य में एक रिक्तता को भरता है।