A multiplicity theorem for a class of nonlocal elliptic equations involving even nonlinearities

तकनीकी सारांश: समeven (even) गैर-रैखिकता वाले गैर-स्थानीय (nonlocal) दीर्घवृत्तीय समीकरणों के लिए एक बहुलता प्रमेय (Multiplicity Theorem)

समस्या विवरण
यह शोध पत्र एक सीमित चिकने डोमेन $\Omega \subset \mathbb{R}^n$ पर एक वर्ग के गैर-स्थानीय दीर्घवृत्तीय समीकरणों के लिए डिरिचलेट सीमा मान समस्या (Dirichlet boundary value problem) की जांच करता है। समस्या $(P)$, जिसे इस प्रकार स्वरूपित किया गया है:
$$\begin{cases} -\Delta u = Q\left(\int_{\Omega} F(x, u(x))dx\right) f(x, u) + g(x, u) & \text{in } \Omega \\ u = 0 & \text{on } \partial\Omega \end{cases}$$
यहाँ, $F(x, t) = \int_0^t f(x, s)ds$, और गैर-स्थानीय पद (nonlocal term) $Q$ से उत्पन्न होता है जो डोमेन पर $F$ के समाकल (integral) पर निर्भर करता है। अध्ययन का केंद्र सोबोलेव स्थान $H^1_0(\Omega)$ में दुर्बल समाधानों (weak solutions) के अस्तित्व पर केंद्रित है। मुख्य उद्देश्य यह स्थापित करना है कि किन शर्तों के तहत समस्या एक उपयुक्त खुला अंतराल (open interval) के भीतर मापदंडों $\lambda$ के लिए कम से कम तीन विशिष्ट दुर्बल समाधानों को स्वीकार करती है।

कार्यप्रणाली और कार्यात्मक ढांचा (Methodology and Functional Framework)
लेखक चर विधियों (variational methods), विशेष रूप से क्रिटिकल पॉइंट थ्योरी (critical point theory) का उपयोग करते हैं। $(P)$ के दुर्बल समाधानों को ऊर्जा कार्यात्मक (energy functional) $\Phi: H^1_0(\Omega) \to \mathbb{R}$ के क्रिटिकल पॉइंट्स के रूप में पहचाना जाता है, जो इस प्रकार है:
$$\Phi(u) = \frac{1}{2}\|u\|^2 - J(u)$$
जहाँ $\|u\|$ में $H^1_0(\Omega)$ में मानक आव्यूह (norm) शामिल है, और $J(u)$ गैर-स्थानीय पद और विक्षोभ (perturbation) $g$ को समाहित करता है।

प्रमाण का मूल आधार एक सख्त मिनिमैक्स असमानता (strict minimax inequality) और एक तीन क्रिटिकल पॉइंट प्रमेय (जिसे [2] में प्रमेय 3 के रूप में संदर्भित किया गया है) पर आधारित है। कार्यप्रणाली निम्नलिखित चरणों के माध्यम से आगे बढ़ती है:

1. एक सहायक कार्यात्मक का निर्माण: लेखक एक एक $\alpha$ (strictly convex function), एक निरंतर विषम (odd) फलन $\gamma$, और गैर-स्थानीय समाकल पद से युक्त कार्यात्मक $P(u, \lambda)$ प्रस्तुत करते हैं।
2. मिनिमैक्स असमानता का सत्यापन: केंद्रीय तकनीकी बाधा सख्त असमानता को सिद्ध करना है:
   $$\sup_{\lambda \in \mathbb{R}} \inf_{u \in H^1_0(\Omega)} P(u, \lambda) < \inf_{u \in H^1_0(\Omega)} \sup_{\lambda \in \mathbb{R}} P(u, \lambda)$$
   यह विरोधाभास द्वारा प्राप्त किया जाता है। लेखक समानता (equality) मान लेते हैं और यह प्रदर्शित करते हैं कि परिणामी सैडल पॉइंट (saddle point) $(u^*, \lambda^*)$ एक तार्किक विसंगति (logical inconsistency) की ओर ले जाता है। विशेष रूप से, प्रमाण फलन की समरूपता गुणों (f की समता/evenness, $\gamma$ की विषमता/oddness) और $\alpha$ की सख्त उत्तलता (strict convexity) का उपयोग करता है ताकि यह दिखाया जा सके कि यदि समानता की धारणा के तहत एक समाधान मौजूद है, तो वह तुच्छ ($u^*=0$) होना चाहिए, जो बड़े मापदंडों के लिए कार्यात्मक के निर्माण का खंडन करता है।
3. कोर्सिविटी (Coercivity) और निरंतरता: प्रमाण यह स्थापित करता है कि कार्यात्मक $u \mapsto \sup_{\lambda} P(u, \lambda)$ अनुक्रमिक रूप से दुर्बल निम्न-अर्ध-सतत (sequentially weakly lower semicontinuous) और कोर्सिव (coercive) है। यह मिनीमाइजर्स के अस्तित्व को सुनिश्चित करता है और अमूर्त क्रिटिकल पॉइंट प्रमेय के अनुप्रयोग की अनुमति देता है।
4. $g$ द्वारा विक्षोभ: अंतिम चरण में एक विक्षोभ $g \in \mathcal{A}$ (विशिष्ट विकास स्थितियों के साथ कैराथोडोरी (Carathéodory) फलनों का एक वर्ग) को जोड़ना शामिल है। लेखक दिखाते हैं कि यदि $g$ के प्रिमिटिव (primitive) का दोलन $\epsilon^*_\mu$ स्थिरांक द्वारा पर्याप्त रूप से सीमित है, तो सख्त मिनिमैक्स असमानता सुरक्षित रहती है, जो समाधानों की बहुलता की गारंटी देती है।

मुख्य धारणाएं
मुख्य परिणाम (प्रमेय 1) के लिए निम्नलिखित शर्तों की आवश्यकता है:

• गैर-रैखिकता $f$: $f(x, \cdot)$ लगभग प्रत्येक $x$ के लिए सम (even) होना चाहिए, और जहाँ $f$ गैर-शून्य है उस सेट का सकारात्मक माप होना चाहिए। इसके अतिरिक्त, $F(x, t)$ को अनंत पर उप-द्विघातीय विकास (sub-quadratic growth) की स्थिति को संतुष्ट करना चाहिए ($\lim_{|t|\to\infty} \sup |F(x,t)|/t^2 = 0$)।
• गैर-रैखिकता $\gamma$: $\gamma$ निरंतर, विषम है, केवल 0 पर शून्य होती है, और इसका प्रिमिटिव एक रैखिक विकास सीमा का पालन करता है।
• उत्तल फलन $\alpha$: $\alpha$ सख्त उत्तल (strictly convex), अवकलनीय (derivable) है, $\alpha(0)>0$, $\alpha'(0)=0$, और $\alpha'(R)=R$ है।
• मापदंड $\mu$: मापदंड $\mu$ पर्याप्त रूप से बड़ा होना चाहिए।
• विक्षोभ $g$: $g$ के प्रिमिटिव के सुप्रीमम (supremum) और इन्फिमम (infimum) के समाकल के बीच का अंतर एक विशिष्ट थ्रेशोल्ड $\epsilon^*_\mu$ से कम होना चाहिए।

मुख्य परिणाम
यह शोध पत्र प्रमेय 1 को सिद्ध करता है, जो बताता है कि उपरोक्त धारणाओं के तहत, एक थ्रेशोल्ड $\epsilon^*_\mu > 0$ मौजूद है ताकि किसी भी विक्षोभ $g$ के लिए जो लघुता (smallness) की स्थिति को पूरा करता है, एक खुला अंतराल $A \subseteq \mathbb{R}$ और एक त्रिज्या $\rho > 0$ मौजूद है। प्रत्येक $\lambda \in A$ के लिए, समस्या $(P)$ में $H^1_0(\Omega)$ में कम से कम तीन दुर्बल समाधान होते हैं, जिनके नॉर्म (norms) $\rho$ से सख्ती से कम होते हैं।

महत्व और दावे
यह शोध पत्र स्वयं को एक "बहुत संक्षिप्त नोट" के रूप में प्रस्तुत करता है जिसका लक्ष्य सम (even) गैर-रैखिकता वाले गैर-स्थानीय समस्याओं के लिए एक विशिष्ट बहुलता परिणाम को सिद्ध करना है।

• नवीनता: लेखक स्पष्ट रूप से टिप्पणी 1 (Remark 1) में कहते हैं कि वे "उपयुक्त तुलना करने के लिए पर्याप्त निकट ज्ञात परिणामों से अवगत नहीं हैं।" यह सुझाव देता है कि परिणाम विशिष्ट संयोजन—गैर-स्थानीय पद, सम (even) गैर-रैखिकता, और सख्त मिनिमैक्स असमानताओं के माध्यम से तीन-समाधान बहुलता—के संबंध में साहित्य में एक रिक्तता को भरता है।
• क्षेत्र: कार्य विशुद्ध रूप से सैद्धांतिक है, जो चर ढांचे (variational framework) के भीतर समाधानों के अस्तित्व पर केंद्रित है। यह विशिष्ट संख्यात्मक विधियों, विशिष्ट भौतिक अनुप्रयोगों या भविष्य के प्रयोगात्मक दिशाओं का प्रस्ताव नहीं करता है। इसका महत्व क्रिटिकल पॉइंट थ्योरी को विशेष रूप से उन गैर-स्थानीय दीर्घवृत्तीय समीकरणों के वर्ग तक विस्तारित करने में निहित है जहाँ गैर-रैखिकता सम (even) समरूपता प्रदर्शित करती है।