Periodic solutions for p(t)-Lienard equations with a singular nonlinearity of attractive type

यहाँ पेट्रू जेबेलियान, जीन माविन और कैलिन सेर्बान के शोध पत्र "Periodic Solutions for $p(t)$-Liénard Equations with a Singular Nonlinearity of Attractive Type" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र $p(t)$-लैप्लासियन ऑपरेटर और एक आकर्षक प्रकार की विलक्षण अरैखिकता (singular nonlinearity of attractive type) वाली द्वितीय क्रम के अवकल समीकरणों के एक वर्ग के लिए $T$-आवधिक समाधानों (periodic solutions) की जांच करता है। विशिष्ट सीमा मान समस्या (boundary value problem - BVP) इस प्रकार है:

$$\begin{cases} (\phi_{p(t)}(u'(t)))' + f(u(t))u'(t) + g(u(t)) = h(t), & t \in [0, T] \\ u(0) - u(T) = 0, \quad u'(0) - u'(T) = 0 \end{cases}$$

मुख्य घटक:

• ऑपरेटर: $\phi_{p(t)}(x) = |x|^{p(t)-2}x$, जहाँ $p: [0, T] \to (1, \infty)$ एक सतत फलन है और $p(0)=p(T)$ है। यह मानक $p$-लैप्लासियन को परिवर्तनीय घातांक (variable exponent) के मामले में सामान्यीकृत करता है।
• अरैखिकताएँ (Nonlinearities):
  • $f: [0, \infty) \to \mathbb{R}$ सतत है (डैम्पिंग टर्म)।
  • $g: (0, \infty) \to \mathbb{R}$ सतत है और शून्य पर एक आकर्षक विलक्षणता (attractive singularity) प्रदर्शित करती है, जिसका अर्थ है कि $\lim_{x \to 0^+} g(x) = +\infty$।
  • $h \in C([0, T]; \mathbb{R})$ एक आवधिक बल पद (forcing term) है।
• डोमेन: समाधान $C^1_T$ (निरंतर अवकलनीय फलन जो आवधिक सीमा शर्तों को पूरा करते हैं) के स्थान में खोजे जाते हैं जहाँ सभी $t$ के लिए $u(t) > 0$ हो।

2. कार्यप्रणाली (Methodology)

लेखक माविन के निरंतरता प्रमेय (Mawhin's continuation theorem) को निम्न और उच्च समाधानों की विधि (method of lower and upper solutions) के साथ जोड़कर एक टोपोलॉजिकल दृष्टिकोण अपनाते हैं।

A. निरंतरता प्रमेय (Mawhin's Degree Theory)

मुख्य अस्तित्व उपकरण एक निरंतरता प्रमेय (थ्योरम 2.3) है जिसे $p(t)$-लैप्लासियन वाले मैपिंग के लिए हालिया कार्य [4] से अनुकूलित किया गया है। इसे लागू करने के लिए, लेखकों को एक परिबद्ध खुला सेट $\Omega$ के लिए तीन शर्तों को सत्यापित करना होगा:

1. ए प्रायर बाउंड्स (A priori bounds): होमोटोपी समस्या $(\phi_{p(t)}(u'))' = \lambda \ell(t, u, u')$ के लिए $\lambda \in (0, 1)$ के लिए $\partial \Omega$ पर कोई समाधान मौजूद नहीं है।
2. गैर-अनुनाद (Non-resonance): औसत समीकरण $L(a) = \frac{1}{T}\int_0^T \ell(t, a, 0) dt = 0$ का $\partial \Omega \cap \mathbb{R}$ पर कोई समाधान नहीं है।
3. डिग्री स्थिति (Degree condition): ब्रौवर डिग्री $\deg_B[L, \Omega \cap \mathbb{R}, 0] \neq 0$ है।

B. सहायक समस्याएँ और ए प्रायर अनुमान (Auxiliary Problems and A Priori Estimates)

आवश्यक सीमाओं को स्थापित करने के लिए, लेखक सहायक समस्याओं का विश्लेषण करते हैं:

• परिवर्तित लियनार्ड समीकरण (Perturbed Liénard Equation): वे पहले $(\phi_{p(t)}(u'))' + \theta(u)u' - \varepsilon u = e(t)$ का अध्ययन करते हैं जहाँ $\varepsilon > 0$ और $e(t)$ का माध्य शून्य है। ऊर्जा अनुमानों और सोबोलेव असमानताओं का उपयोग करके, वे $\varepsilon$ से स्वतंत्र $\|u\|_\infty$ और $\|u'\|_\infty$ पर समान बाउंड प्राप्त करते हैं (थ्योरम 2.4)।
• सीमा मामला ($\varepsilon = 0$): $\varepsilon \to 0$ की सीमा लेकर, वे रैखिक डैम्पिंग पद के बिना मामले के लिए अस्तित्व परिणामों का विस्तार करते हैं (थ्योरम 2.7)।
• समान बाउंड (Uniform Bounds): प्रपोजिशन 2.8 यह स्थापित करता है कि $(\phi_{p(t)}(u'))' + \theta(c+u)u' = e(t)$ के समाधान शिफ्ट $c$ और फलन $\theta$ से स्वतंत्र एक समान बाउंड $\|u\|_\infty \leq K$ को संतुष्ट करते हैं। यह ऊपरी समाधानों के निर्माण के लिए महत्वपूर्ण है।

C. निम्न और उच्च समाधानों की विधि (Method of Lower and Upper Solutions)

लेखक एक निम्न समाधान $\alpha$ और एक उच्च समाधान $\beta$ ($\alpha \leq \beta$) के बीच समाधानों के अस्तित्व के लिए एक प्रत्यक्ष प्रमाण (थ्योरम .3.3) का निर्माण करते हैं।

• निम्न समाधान ($\alpha$): एक फलन जो उपयुक्त सीमा अवकल शर्तों के साथ $\geq h(t)$ वाली अवकल असमानता को संतुष्ट करता है।
• उच्च समाधान ($\beta$): एक फलन जो $\leq h(t)$ वाली अवकल असमानता को संतुष्ट करता है।
• ट्रंकेशन (Truncation): वे एक संशोधित समस्या को परिभाषित करने के लिए एक ट्रंकेशन फलन $\gamma(t, x)$ का उपयोग करते हैं जो समाधान को $[\alpha, \beta]$ के भीतर रखता है। इस संशोधित समस्या के समाधान का अस्तित्व निरंतरता प्रमेय द्वारा गारंटीकृत है, और एक विरोधाभास तर्क सिद्ध करता है कि यह समाधान स्वाभाविक रूप से $\alpha \leq u \leq \beta$ को संतुष्ट करता है।

3. मुख्य योगदान (Key Contributions)

1. परिवर्तनीय घातांकों तक विस्तार: यह शोध पत्र पिछले परिणामों (जो मुख्य रूप से स्थिर $p$ या $p=2$ के लिए थे) को $p(t)$-लैप्लासियन मामले में सामान्यीकृत करता है। यह ऑपरेटर के गैर-समरूपता (lack of homogeneity) और परिवर्तनीय विकास दर के कारण महत्वपूर्ण तकनीकी चुनौतियाँ पेश करता है।
2. आकर्षक विलक्षणताओं को संभालना: लेखक उस मामले को सफलतापूर्वक संबोधित करते हैं जहाँ $u \to 0^+$ होने पर $g(u)$ अनंत हो जाता है। यह भौतिक रूप से प्रासंगिक है, जैसे गुरुत्वाकर्षण या इलेक्ट्रोस्टैटिक बलों वाले मॉडल जहाँ टकराव (शून्य दूरी) से बचना आवश्यक है।
3. निम्न/उच्च समाधानों का प्रत्यक्ष प्रमाण: पिछले कार्यों के विपरीत जो वेरिएशनल विधियों (variational methods) पर निर्भर थे (जो डैम्पिंग वाले $p(t)$-लियनार्ड समीकरण के लिए लागू नहीं हैं क्योंकि इसमें वैरायेशनल संरचना का अभाव है), लेखक $p(t)$-लैप्लासियन के लिए तैयार की गई निम्न/उच्च समाधान विधि का एक सीधा टोपोलॉजिकल प्रमाण प्रदान करते हैं।
4. आवश्यक और पर्याप्त शर्तें: वे विलक्षण मामले में धनात्मक आवधिक समाधानों के अस्तित्व के लिए बल पद $h(t)$ पर सटीक शर्तें प्राप्त करते हैं।

4. मुख्य परिणाम (Main Results)

थ्योरम 4.1 (मुख्य अस्तित्व परिणाम):
समस्या (1.1) का कम से कम एक धनात्मक $T$-आवधिक समाधान है यदि:

1. एक स्थिरांक $\alpha > 0$ मौजूद है कि $g(\alpha) \geq \max_{t \in [0, T]} h(t)$।
2. $\limsup_{x \to +\infty} g(x) < \bar{h}$ (जहाँ $\bar{h}$, $h$ का माध्य मान है)।

कोरोलरी 4.3 (विलक्षण मामले का लक्षण वर्णन):
यदि $g(x) \to +\infty$ जब $x \to 0^+$ और $g(x) \to 0$ जब $x \to +\infty$ (आकर्षक विलक्षणता), तो समस्या में एक धनात्मक समाधान होता है यदि और केवल यदि बल पद का माध्य मान धनात्मक ($\bar{h} > 0$) हो।

उदाहरण 4.4:
परिणाम विशिष्ट विलक्षण रूपों जैसे $g(u) = \sigma u^{-\mu}$ (जहाँ $\sigma, \mu > 0$) पर लागू होता है, जो पुष्टि करता है कि एक समाधान मौजूद है यदि और केवल यदि $\bar{h} > 0$ हो।

5. महत्व और सीमाएँ (Significance and Limitations)

• महत्व: यह कार्य शास्त्रीय स्थिर-घातांक लियनार्ड समीकरणों और अधिक जटिल परिवर्तनीय-घातांक ($p(t)$) सेटिंग के बीच के अंतर को पाटता है। यह प्रदर्शित करता है कि टोपोलॉजिकल विधियाँ (डिग्री थ्योरी) तब भी मजबूत रहती हैं जब अवकल ऑपरेटर में मानक समरूपता का अभाव होता है और विलक्षणता मौजूद होती है। यह परिवर्तनीय भौतिक गुणों (जिसे $p(t)$ द्वारा मॉडल किया गया है) और विलक्षण बलों वाले भौतिक प्रणालियों के विश्लेषण के लिए एक कठोर ढांचा प्रदान करता है।
• सीमाएँ:
  • परिणाम वर्तमान में आकर्षक विलक्षणताओं ($g(x) \to +\infty$) तक सीमित हैं। लेखक स्पष्ट रूप से कहते हैं कि प्रतिकर्षक (repulsive) विलक्षणताओं ($g(x) \to -\infty$) तक विस्तार एक खुला प्रश्न बना हुआ है।
  • दृष्टिकोण $p(t)$ की निरंतरता और $p(0)=p(T)$ की स्थिति पर निर्भर करता है।
  • नोट किया गया है कि वेरिएशनल विधियाँ यहाँ लागू नहीं होती हैं, जिसके लिए अधिक परिष्कृत टोपोलॉजिकल उपकरणों और परिवर्तनीय घातांक सोबोलेव स्थानों (variable exponent Sobolev spaces) के उपयोग की आवश्यकता होती है।

संक्षेप में, यह शोध पत्र विलक्षण अरैखिकताओं और परिवर्तनीय घातांकों दोनों को संभालने के लिए डिग्री थ्योरी को निम्न और उच्च समाधानों की विधि के साथ सफलतापूर्वक जोड़कर, एक चुनौतीपूर्ण वर्ग के अवकल समीकरणों में आवधिक समाधानों के लिए एक मजबूत अस्तित्व सिद्धांत स्थापित करता है।