First Dirichlet eigenvalue of the weighted 1-Laplacian operator

तकनीकी सारांश: भारित 1-लैप्लासियन ऑपरेटर का प्रथम डिरिचलेट आइगेनवैल्यू (Eigenvalue)

समस्या विवरण
यह शोध पत्र डिरिचलेट सीमा स्थितियों के तहत भारित (weighted) 1-लैप्लासियन ऑपरेटर के स्पेक्ट्रल गुणों की जांच करता है। विशेष रूप से, लेखक इस आइगेनवैल्यू समस्या का विश्लेषण करते हैं:
$$\begin{cases} -\text{div}\left( a(x) \frac{Du}{|Du|} \right) = \Lambda b(x) \frac{u}{|u|} & \text{in } \Omega, \\ u = 0 & \text{on } \partial\Omega, \end{cases}$$
जहाँ $\Omega \subset \mathbb{R}^N$ ($N \ge 2$) एक लिप्सचिट्ज़ (Lipschitz) सीमा वाला एक परिबद्ध डोमेन है, और $a(x)$ तथा $b(x)$ गैर-ऋणात्मक भार फलन (weight functions) हैं। मुख्य उद्देश्य यह स्थापित करना है कि इस समस्या का प्रथम आइगेनवैल्यू $\Lambda$, डोमेन के भारित चीगर स्थिरांक (weighted Cheeger constant) के बराबर है। इसके अतिरिक्त, यह शोध पत्र भारित $p$-लैप्लासियन समस्या के संगत आइगेनवैल्यू $\lambda_p$ के $p \to 1$ होने पर विषम व्यवहार (asymptotic behavior) का विश्लेषण करता है, जिसका लक्ष्य दोनों आइगेनवैल्यू और आइगेनफंक्शंस के सीमा (limit) समस्या की ओर अभिसरण (convergence) को सिद्ध करना है।

कार्यप्रणाली (Methodology)
लेखक एक सीमित प्रक्रिया (limiting procedure) का उपयोग करते हैं, जिसमें $p \to 1^+$ के रूप में भारित $p$-लैप्लासियन आइगेनवैल्यू समस्याओं के अनुक्रम का विश्लेषण किया जाता है। कार्यप्रणाली निम्नलिखित तकनीकी ढांचे पर आधारित है:

1. भारित फलन स्थान (Weighted Functional Spaces): अध्ययन भारित सोबोलेव स्थानों $W^{1,p}_0(\Omega, a)$ और भारित बाउंडेड वेरिएशन (bounded variation) के फलन स्थानों $BV(\Omega, a)$ के भीतर किया गया है। भार $a(x)$ और $b(x)$ विशिष्ट समावेशन (integrability) शर्तों को पूरा करते हैं: $a \in W^{1,1}(\Omega)$ जहाँ $a(x) \ge \mu > 0$, और $b \in L^r(\Omega)$ जहाँ $r > N$ है।
2. अनज़ेलोट्टी की पेयरिंग थ्योरी (Anzellotti's Pairing Theory): 1-लैप्लासियन की सिंगुलर प्रकृति (जहाँ ग्रेडिएंट एक रेडोन मेजर है) को संभालने के लिए, लेखक वेक्टर फील्ड और BV फलनों के ग्रेडिएंट के बीच अनज़ेलोट्टी की पेयरिंग थ्योरी का विस्तार करते हैं। वे एक भारित ग्रीन फॉर्मूला (Green's formula) स्थापित करते हैं जिसमें पेयरिंग $(z, Du)$और नॉर्मल घटक के ट्रेस$[z, \nu]$ शामिल है, जिससे प्रत्येक पद के लिए अमूर्त वितरणों (abstract distributions) का सहारा लिए बिना अनबाउंडेड वेट्स और बाउंड्री टर्म्स का उपचार संभव हो सके।
3. कॉम्पैक्टनेस और अभिसरण (Compactness and Convergence): सीमा का अस्तित्व भारित $p$-लैप्लासियन आइगेनफंक्शंस के अनुक्रम पर समानतम सीमाओं (uniform bounds) को स्थापित करके प्राप्त किया जाता है। $BV(\Omega, a)$ के $L^q(\Omega)$ में कॉम्पैक्ट एम्बेडिंग का उपयोग करते हुए, लेखक यह सिद्ध करते हैं कि अनुक्रम के आइगेनफंक्शंस एक सीमा फलन $u$ की ओर स्ट्रॉन्गली अभिसरित होते हैं।
4. वेरिएशनल लक्षण वर्णन (Variational Characterization): लेखक 1-लैप्लासियन के वेरिएशनल फॉर्मूलेशन को भारित परिधि (weighted perimeter) और को-एरिया फॉर्मूला (co-area formula) के गुणों से जोड़ने के लिए इनका उपयोग करते हैं।

प्रमुख योगदान और परिणाम

• प्रथम आइगेनवैल्यू की पहचान: शोध पत्र यह सिद्ध करता है कि भारित 1-लैप्लासियन का प्रथम आइगेनवैल्यू ठीक वही भारित चीगर स्थिरांक है, जिसे इस प्रकार परिभाषित किया गया है:
  $$h_p(\Omega, a, b) = \inf_{E} \frac{P_a(E, \mathbb{R}^N)}{\int_E b(x) dx},$$
  जहाँ इन्फिमम (infimum) परिमित भारित परिधि वाले मापने योग्य उपसमुच्चयों $E \subset \Omega$ पर लिया जाता है, और $P_a$ भारित परिधि को दर्शाता है।
• आइगेनवैल्यू का अभिसरण:
  • लिप्सचिट्ज़ निरंतर भार (Lipschitz continuous weights) $a(x)$ के लिए, लेखक सिद्ध करते हैं कि सीमा $\lim_{p \to 1} \lambda_p(\Omega, a, b)$ अस्तित्व में है और भारित चीगर स्थिरांक के बराबर है। इस मामले में, "स्मूथ" भारित चीगर स्थिरांक (जो स्मूथ डोमेन के माध्यम से परिभाषित है) सामान्य भारित चीगर स्थिरांक के साथ मेल खाता है।
  • सामान्य भार (General weights) (जहाँ $a \in W^{1,1}(\Omega)$) के लिए, शोध पत्र यह स्थापित करता है कि सीमा समस्या का न्यूनतम आइगेनवैल्यू भारित चीगर स्थिरांक है, भले ही सभी अनुक्रमों के लिए $\lambda_p$ के सीमा के अस्तित्व को स्पष्ट रूप से सिद्ध न किया गया हो।
• आइगेनफंक्शंस की परिबद्धता (Boundedness of Eigenfunctions): एक महत्वपूर्ण परिणाम यह है कि भारित 1-लैप्लासियन के प्रथम आइगेनवैल्यू से संबंधित आइगेनफंक्शन परिबद्ध (bounded) है ($u \in L^\infty(\Omega)$)। इसे अनुकूलित भारित सेटिंग में मोसर-टाइप (Moser-type) इटरेशन तर्क के माध्यम से प्राप्त किया गया है, जो $b \in L^r(\Omega)$ ($r > N$) की स्थिति का उपयोग करता है।
• आइगेनफंक्शंस का अभिसरण: सामान्यीकृत $p$-आइगेनफंक्शंस का अनुक्रम (एक उप-अनुक्रम तक) सीमा समस्या के सामान्यीकृत आइगेनफंक्शन की ओर अभिसरित होता है। सीमा फलन एक आइगेनपेयर (eigenpair) को संतुष्ट करता जिसमें एक वेक्टर फील्ड $z \in L^\infty(\Omega, \mathbb{R}^N)$ और एक फलन $\gamma \in \text{sign}(u)$ शामिल है, जहाँ $\|z\|_\infty \le 1$ है।

महत्व और दावे
शोध पत्र का दावा है कि यह भारित 1-लैप्लासियन के स्पेक्ट्रल सिद्धांत के लिए एक कठोर आधार प्रदान करता है, जो इस कार्य से पहले साहित्य में पूरी तरह से संबोधित नहीं किया गया था। प्रथम आइगेनवैल्यू को भारित चीगर स्थिरांक के रूप में पहचानकर, लेखक भारित ऑपरेटरों के संदर्भ में स्पेक्ट्रल थ्योरी और ज्यामितीय अनुकूलन (आइसोपेरिक असमानताओं) के बीच के अंतर को पाटते हैं।

लेखक इस बात पर जोर देते हैं कि उनका कार्य अनवेटेड 1-लैप्लासियन (जहाँ प्रथम आइगेनवैल्यू मानक चीगर स्थिरांक है) के पिछले परिणामों को एक सामान्य भारित सेटिंग तक विस्तारित करता है। वे स्पष्ट रूप से उल्लेख करते हैं कि उनका दृष्टिकोण $p$-लैप्लासियन आइगेनफंक्शंस के रूप में समाधान का निर्माण करके "स्प्यूरियस सॉल्यूशंस" (spurious solutions) से बचता है, जो अक्सर नॉन-स्मूथ क्रिटिकल पॉइंट थ्योरी में देखे जाते हैं। आइगेनफंक्शन की परिबद्धता के प्रमाण को एक महत्वपूर्ण चरण के रूप में रेखांकित किया गया है जो यह सुनिश्चित करता है कि समाधान सुव्यवस्थित (well-defined) है और सीमा समस्या में ग्रीन फॉर्मूला के अनुप्रयोग की अनुमति देता है।

शोध पत्र निष्कर्ष निकालता है कि लिप्सचिट्ज़ भारों के लिए, $p$-लैप्लासियन स्पेक्ट्रम का एसिम्प्टोटिक व्यवहार सुव्यवस्थित है, जो ज्यामितीय रूप से परिभाषित चीगर स्थिरांक की ओर अभिसरित होता है, जिससे 1-लैप्लासियन स्पेक्ट्रम के अध्ययन के लिए $p \to 1$ सीमा के उपयोग को वैध बनाया जा सके।