On the second anisotropic Cheeger constant and related questions

तकनीकी सारांश: द्वितीय अनिसोट्रोपिक चीगर स्थिरांक और संबंधित प्रश्न

समस्या विवरण
यह शोध पत्र $p \to 1^+$ की सीमा में, दूसरे अनिसोट्रोपिक $p$-लैप्लासियन ऑपरेटर के दूसरे आइजनवैल्यू (eigenvalue), $\lambda_{2,F}(p, \Omega)$, के स्पर्शोन्मुखी व्यवहार (asymptotic behavior) की जांच करता है। यह ऑपरेटर $-Q_p u := -\text{div}(F^{p-1}(\nabla u)\nabla_\xi F(\nabla u))$ द्वारा परिभाषित है, जहाँ $F$, $\mathbb{R}^n$ पर एक सुचारू (smooth), उत्तल (convex), 1-समरूप (1-homogeneous) नॉर्म है। जबकि पहले आइजनवैल्यू और पहले अनिसोट्रोपिक चीगर स्थिरांक ($h_{1,F}$) के बीच का संबंध $p \to 1^+$ की सीमा में अच्छी तरह से स्थापित है, दूसरे आइजनवैल्यू और एक संगत "द्वितीय" चीगर स्थिरांक ($h_{2,F}$) के बीच के संबंध के लिए आगे के कठोर विश्लेषण की आवश्यकता है। यह शोध पत्र एक "ट्विस्टेड" (twisted) अनिसोट्रोपिक $q$-चीगर स्थिरांक से संबंधित एक प्रतिबधित न्यूनीकरण समस्या (constrained minimization problem) का भी अन्वेषण करता है।

कार्यप्रणाली
लेखक वैरिएशनल विधियों (variational methods) और फिन्सलर ज्यामिति (Finsler geometry) तथा परिमित परिवर्तन (bounded variation - BV) के फलनों के सिद्धांत का उपयोग करता है। मुख्य कार्यप्रणाली घटक शामिल हैं:

• वैरिएशनल लक्षण वर्णन (Variational Characterization): लस्टर्निक-श्निरेलमैनैन (Lusternik-Schnirelmann) सिद्धांत के माध्यम से दूसरे आइजनवैल्यू के मिन-मैक्स लक्षण वर्णन का उपयोग करना और डोमेन को दो विलगित उप-डोमेन (disjoint subdomains) में विभाजित करना।
• अनुमान तकनीकें (Approximation Techniques): डोमेन की सीमा पर प्रतिबंधात्मक धारणाएं लगाए बिना, BV फलनों को सुचारू फलनों (compact support वाले) द्वारा आंतरिक अनुमान परिणामों (interior approximation results) का लाभ उठाना (विशेष रूप से [BDPP, प्रमेय 4.3] का संदर्भ देते हुए)।
• को-एरिया सूत्र (Coarea Formulas): फलनों के कुल परिवर्तन (total variation) को उनके स्तर सेट (level sets) के अनिसोट्रोपिक परिधि से जोड़ने के लिए अनिसोट्रोपिक को-एरिया सूत्रों को लागू करना।
• आइसोपेरिट्रिक असमानताएँ (Isoperimetric Inequalities): यह दर्शाने के लिए कि वुल्फ शेप (Wulff shape) निश्चित आयतन के लिए अनिसोट्रोपिक परिधि को न्यूनतम करता है, अनिसोट्रोपिक आइसोपेरिट्रिक असमानता का उपयोग करना, जिससे निचली सीमा (lower bounds) प्राप्त होती है और मिनिमाइज़र का लक्षण वर्णन होता है।
• ट्विस्टेड स्थिरांक विश्लेषण: ट्विस्टेड अनिसोट्रोपिक $q$-चीगर स्थिरांक समस्या को विलगित सेटों के ऊपर न्यूनीकरण समस्या के रूप में पुनर्गठित करना और इसे वुल्फ शेप्स के involving एक एक-आयामी अनुकूलन समस्या में बदलना।

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

1. दूसरे आइजनवैल्यू के लिए अनिसोट्रोपिक चीगर असमानता:
   यह शोध पत्र दूसरे आइजनवैल्यू के लिए एक चीगर-प्रकार की असमानता स्थापित करता है:
   $$\lambda_{2,F}(p, \Omega) \geq \left( \frac{h_{2,F}(\Omega)}{p} \right)^p$$
   जहाँ दूसरा अनिसोट्रोपिक चीगर स्थिरांक इस प्रकार परिभाषित है:
   $$h_{2,F}(\Omega) := \inf \left\{ \max \left( \frac{P_F(E_1)}{|E_1|}, \frac{P_F(E_2)}{|E_2|} \right) : E_1, E_2 \subset \Omega, E_1 \cap E_2 = \emptyset, |E_1|, |E_2| > 0 \right\}$$
   यहाँ $P_F(E)$ अनिसोट्रोपिक परिधि को दर्शाता है।

2. $p \to 1^+$ की सीमा में स्पर्शोन्मुखी व्यवहार:
   प्राथमिक परिणाम यह सिद्ध करता है कि दूसरा आइजनवैल्यू सीमा में दूसरे चीगर स्थिरांक की ओर अभिसरित (converge) होता है:
   $$\lim_{p \to 1^+} \lambda_{2,F}(p, \Omega)^{1/p} = h_{2,F}(\Omega)$$
   प्रमाण में निचली सीमा (चीगर असमानता के माध्यम से) और ऊपरी सीमा (दोनों $h_{2,F}$ के मिनिमाइज़िंग सेटों पर आधारित टेस्ट फंक्शन्स का निर्माण करके) दोनों को दिखाना शामिल है।

3. आइजनफंक्शन्स का अभिसरण (Convergence of Eigenfunctions):
   शोध पत्र प्रदर्शित करता है कि सामान्यीकृत (normalized) दूसरे आइजनफंक्शन्स $u_{2,p}$ एक उप-अनुक्रम (subsequence) के रूप में $L^1(\Omega)$ में एक फलन $u_2 \in BV(\Omega)$ की ओर अभिसरित होते हैं जिसका $L^1$ नॉर्म इकाई (unit) है। यह सीमा फलन $\int_\Omega |Du_2|_F \leq h_{2,F}(\Omega)$ को संतुष्ट करता है और यह पूर्णतः धनात्मक या ऋणात्मक नहीं है, जो दूसरे आइजनफंक्शन की नोडल संरचना (nodal structure) को दर्शाता है।

4. उच्च आइजनवैल्यूज के लिए विसंगति:
   लेखक नोट करता है कि जबकि $k=2$ के लिए यह सीमा लागू होती है, $k \geq 3$ के लिए, केवल असमानता $\limsup_{p \to 1^+} \lambda_{k,F}(p, \Omega)^{1/p} \leq h_{k,F}(\Omega)$ ही सुनिश्चित की जा सकती है। यह विसंगति इसलिए उत्पन्न होती है क्योंकि $k$-वाँ आइजनफंक्शन आमतौर पर $k$ अलग-अलग नोडल डोमेन नहीं रखता है।

5. ट्विस्टेड अनिसोट्रोपिक $q$-चीगर स्थिरांक:
   यह शोध पत्र $K_{q,F}(\Omega)$ का अध्ययन करता है, जिसे शून्य माध्य (zero mean) वाले फलनों के $L^q$ नॉर्म के अनुपात के अनिसोट्रोपिक कुल परिवर्तन के इन्फिमम (infimum) के रूप में परिभाषित किया गया है। यह दिखाया गया है कि $h_{1,F}(\Omega) \leq K_{1,F}(\Omega) \leq h_{2,F}(\Omega)$।

• न्यूनीकरण (Minimization): निश्चित आयतन के सेटों पर $K_{q,F}(\Omega)$ के मिनिमाइज़र को दो विलगित वुल्फ शेप्स के संघ (union) के रूप में सिद्ध किया गया है।
• विशिष्टता और ज्यामिति: एक महत्वपूर्ण घातांक (critical exponent) $\tilde{q}(n)$ की पहचान की गई है। $q < \tilde{q}$ के लिए, अद्वितीय मिनिमाइज़र समान त्रिज्या वाले दो विलगित वुल्फ शेप्स का संघ है। $q > \tilde{q}$ के लिए, अद्वितीय मिनिमाइज़र अलग-अलग त्रिज्या वाले दो विलगित वुल्फ शेप्स का संघ है। $n=2$ के लिए, $\tilde{q} = 7/4$ है, और मिनिमाइज़र महत्वपूर्ण मान पर भी अद्वितीय और सममित (symmetric) रहता है।

महत्व और दावे
यह शोध पत्र पहले आइजनवैल्यू से दूसरे आइजनवैल्यू तक अनिसोट्रोपिक सेटिंग में ज्ञात $p$-लैप्लासियन के स्पर्शोन्मुखी सिद्धांत को विस्तारित करने का दावा करता है। $\lambda_{2,F}$ के $h_{2,F}$ की ओर अभिसरण को सिद्ध करके, यह कार्य दूसरे मोड के लिए स्पेक्ट्रल थ्योरी और ज्यामितीय अनुकूलन के बीच के अंतर को पाटता है। लेखक स्पष्ट रूप से कहते हैं कि उनके परिणाम BV फलनों के लिए आंतरिक अनुमान तकनीकों (interior approximation techniques) का उपयोग करके पिछले साहित्य (जैसे [Li, S]) में पाई जाने वाली कुछ नियमितता धारणाओं (regularity assumptions) को दूर करते हैं। इसके अतिरिक्त, ट्विस्टेड चीगर स्थिरांक मिनिमाइज़र्स का लक्षण वर्णन अनिसोट्रोपिक संदर्भ में शून्य-माध्य स्थिति द्वारा लगाए गए प्रतिबंधों की ज्यामितीय समझ प्रदान करता है, जो पिछले यूक्लिडियन परिणामों का सामान्यीकरण करता है। यह शोध पत्र कोई नए प्रयोगात्मक अनुप्रयोग प्रस्तावित नहीं करता है बल्कि गैर-रेखीय आइजनवैल्यू समस्याओं, अनिसोट्रोपिक ज्यामिति और चीगर-प्रकार के स्थिरांकों को जोड़ने वाले सैद्धांतिक ढांचे को सुदृढ़ करता है।