Existence and nonexistence results for a nonlocal isoperimetric problem on $\mathbb{H}^n$

तकनीकी सारांश: $\mathbb{H}^n$ पर एक नॉनलोकल आइसोपेरिट्रिक समस्या के अस्तित्व और गैर-अस्तित्व परिणाम

समस्या विवरण
यह शोध पत्र हाइपरबोलिक स्पेस $\mathbb{H}^n$ ($n \ge 2$) में एक नॉनलोकल आइसोपेरिट्रिक फलन (functional) के न्यूनीकरण (minimization) की जांच करता है। एक मापने योग्य सेट $F \subset \mathbb{H}^n$ के लिए, ऊर्जा फलन को इस प्रकार परिभाषित किया गया है:
$$E(F) = P(F) + \gamma NL_\alpha(F)$$
जहाँ $P(F)$ डे गोर्गि (De Giorgi) के अर्थ में परिधि (perimeter) है, $\gamma > 0$ एक स्थिरांक है, और नॉनलोकल पद दिया गया है:
$$NL_\alpha(F) = \int_{\mathbb{H}^n} \int_{\mathbb{H}^n} \frac{\chi_F(x)\chi_F(y)}{d_g(x, y)^\alpha} dV_g(x) dV_g(y)$$
जहाँ $0 < \alpha < n$ है। लेखक एक निश्चित आयतन $m$ के लिए न्यूनीकरण समस्या $E(m) = \inf \{ E(F) : |F|_g = m \}$ का अध्ययन करते हैं।

यह समस्या यूक्लिडियन स्पेस $\mathbb{R}^n$ में इसके समरूप समस्या से प्रेरित है, जो परमाणु नाभिकों के लिए गैमो के लिक्विड ड्रॉप मॉडल (जहाँ $\mathbb{R}^3$ में $\alpha=1$ है) को मॉडल करती है। $\mathbb{R}^n$ में, यह ज्ञात है कि परिधि पद कॉम्पैक्ट आकृतियों (गोलाकार पिंडों) का पक्ष लेता है, जबकि नॉनलोकल पद फैलाव (dispersion) का पक्ष लेता है। फलस्वरूप, छोटे आयतनों के लिए न्यूनीकरणकर्ताओं (minimizers) के अस्तित्व की अपेक्षा की जाती है, लेकिन बड़े आयतनों के लिए वे अस्तित्व में नहीं रहते, जहाँ एक एकल गोले की ऊर्जा आधे आयतन वाले दो दूर स्थित पिंडों की तुलना में अधिक होती है। इस शोध पत्र का लक्ष्य यह स्थापित करना है कि क्या हाइपरबोलिक परिवेश में भी इसी प्रकार के अस्तित्व और गैर-अस्तित्व शासन (regimes) लागू होते हैं।

कार्यप्रणाली और पूर्ववर्ती (Methodology and Preliminaries)
लेखक मुख्य रूप से ऊपरी अर्ध-स्थान मॉडल (upper half-space model) $U_n$ के भीतर कार्य करते हैं, जो मीट्रिक $g = x_n^{-2} \delta$ से सुसज्जित है। उनके विश्लेषण में एक केंद्रीय उपकरण $\Phi_\lambda$-रूपांतरण (transformation) है, जिसे ऊर्ध्वाधर निर्देशांक को स्केल करके परिभाषित किया गया है: $\Phi_\lambda(x_1, \dots, x_n) = (x_1, \dots, \lambda x_n)$। यूक्लिडियन स्केलिंग के विपरीत, यह रूपांतरण लेखकों को एक निर्धारित मान के आयतन को समायोजित करने की अनुमति देता है जबकि परिधि और नॉनलोकल पदों के विरूपण (distortion) को नियंत्रित करता है।

प्रमुख तकनीकी घटक शामिल हैं:

1. क्वासीमिनिमाइज़र्स (Quasiminimizers): लेखक स्थापित करते हैं कि न्यूनीकरण का कोई भी तत्व परिधि के लिए एक $(\omega, r_0)$-मिनिमाइज़र है। यह उन्हें मीट्रिक स्पेस में परिमित परिधि वाले सेटों के लिए रेगुलैरिटी थ्योरी (regularity theory) को लागू करने की अनुमति देता है।
2. आइसोपैरिट्रिक असमानताएँ (Isoperimetric Inequalities): वे $\mathbb{H}^n$ में सापेक्ष आइसोपेरिट्रिक असमानताओं और यूक्लिडियन परिणामों (विशेष रूप से बोगेलीन, डुज़ार और शेवन का उल्लेख करते हुए) से अनुकूलित मात्रात्मक आइसोपेरिट्रिक असमानताओं (फ्रेंकेल असिमेट्री) का उपयोग करते हैं।
3. फगलेडे-प्रकार के अनुमान (Fuglede-type Estimates): वे "लगभग गोलाकार" सेटों (वे सेट जिनके सीमाएँ जियोडेसिक गोलों पर $C^1$ विक्षेपण के रूप में रेडियल ग्राफ हैं) के लिए परिधि और नॉनलोकल पद के अनुमान प्राप्त करते हैं। ये अनुमान छोटे-आयतन शासन में गोले की विशिष्टता सिद्ध करने के लिए महत्वपूर्ण हैं।
4. इंटरपोलेशन अनुमान (Interpolation Estimates): गैर-अस्तित्व परिणाम के लिए, लेखक $\mathbb{R}^n$ में क्नुप्फर और मुराटो के कार्य से अनुकूलित, $L^2$ नॉर्म, ग्रेडिएंट और नॉनलोकल इंटरेक्शन पद के बीच एक इंटरपोलेशन असमानता प्राप्त करते हैं।

मुख्य परिणाम

1. छोटे आयतनों के लिए अस्तित्व और विशिष्टता
यह शोध पत्र सिद्ध करता है कि पर्याप्त छोटे आयतनों के लिए, जियोडेसिक गोला अद्वितीय न्यूनीकरणकर्ता (unique minimizer) है।

• प्रमेय 1.2: सभी $n \ge 2$, $0 < \alpha < n$, और $\gamma > 0$ के लिए, एक स्थिरांक $m_1 > 0$ (जो $n, \alpha, \gamma$ पर निर्भर करता है) मौजूद है, ताकि $0 < m \le m_1$ के लिए, $E(m)$ का अद्वितीय न्यूनीकरणकर्ता एक जियोडेसिक गोला है।
• सिद्ध करने की रणनीति: प्रमाण में यह दिखाना शामिल है कि छोटे $m$ के लिए, कोई भी न्यूनीकरणकर्ता एक विशिष्ट त्रिज्या के जियोडेसिक गोले के भीतर होना चाहिए। इस समावेशन को क्वासीमिनिमाइज़र गुण और फगलेडे-प्रकार के अनुमानों के साथ जोड़कर, लेखक यह दिखाते हैं कि न्यूनीकरणकर्ता की सीमा एक गोले के निकट रेडियल ग्राफ होनी चाहिए। ऊर्जा फलन के द्वितीय-क्रम विस्तार (second-order expansion) का उपयोग करने वाला विरोधाभास तर्क यह सुनिश्चित करता है कि विक्षेपण शून्य है, जिसका अर्थ है कि सेट एक जियोडेसिक गोला है।
• नोट: लेखक स्पष्ट रूप से कहते हैं कि $m_1$ के लिए एक स्पष्ट निचला स्तर (lower bound) प्रदान करना एक खुला प्रश्न बना हुआ है, हालांकि वे नोट करते हैं कि $\alpha$ और $\gamma$ पर कुछ प्रतिबंधों के तहत, $m_1$ केवल $n$ पर निर्भर हो सकता है।

2. बड़े आयतनों के लिए गैर-अस्तित्व
यह शोध पत्र स्थापित करता है कि पर्याप्त बड़े आयतनों के लिए, न्यूनीकरणकर्ता मौजूद नहीं होते हैं, बशर्ते कि घातांक (exponent) $\alpha < 2$ हो।

• प्रमेय 1.3: सभी $n \ge 2$, $0 < \alpha < 2$, और $\gamma > 0$ के लिए, एक स्थिरांक $m_2 > 0$ मौजूद है, ताकि $m \ge m_2$ के लिए, न्यूनीकरण समस्या का कोई समाधान नहीं होता है।
• सिद्ध करने की रणनीति: लेखक एक परीक्षण विन्यास (test configuration) का निर्माण करते हैं जिसमें दो सेट एक बड़े अंतराल $R$ द्वारा अलग किए गए हैं। वे दिखाते हैं कि बड़े आयतनों के लिए, इस विभाजित विन्यास की ऊर्जा किसी भी एकल जुड़े हुए सेट की तुलना में काफी कम होती है। प्रमाण संभावित न्यूनीकरणकर्ता के आवश्यक क्लोजर (essential closure) के व्यास को नियंत्रित करने और यह दिखाने पर निर्भर करता कि सेट को विभाजित करने से होने वाला ऊर्जा लाभ (नॉनलोकल टर्म को कम करना) परिधि लागत से अधिक होता है, बशर्ते $\alpha < 2$ हो।
• सीमा: लेखक टिप्पणी करते हैं कि $\alpha = 2$ के मामले में इस परिणाम का विस्तार करना कठिन है क्योंकि इसके लिए विशिष्ट प्रकार के अनुमानों (विशेष रूप से फ्रैंक और नाम के कार्य में लेम्मा 7 के समान अनुमान प्राप्त करना) की आवश्यकता होती है।

3. न्यूनीकरणकर्ताओं के बुनियादी गुण
अस्तित्व सिद्ध करने से पहले, शोध पत्र किसी भी संभावित न्यूनीकरणकर्ता $E$ के मूलभूत गुणों को स्थापित करता है:

• रेगुलैरिटी (Regularity): रिड्यूस्ड बाउंड्री $\partial^* E$ एक $C^{1, 1/2}$ मैनिफोल्ड है।
• अनिवार्य परिबद्धता और अविभाज्यता (Essential Boundedness and Indecomposability): न्यूनीकरणकर्ता अनिवार्य रूप से परिबद्ध और अविभाज्य (indecomposable) हैं (अर्थात उन्हें धनात्मक माप के दो विलगित सेटों में बिना परिधि बढ़ाए विभाजित नहीं किया जा सकता)।
• समान घनत्व (Uniform Density): एक समान निचला घनत्व स्तर स्थापित किया गया है, जो यह सुनिश्चित करता है कि सेट में अत्यधिक पतले "स्पाइक्स" न हों या वे स्थानीय रूप से लुप्त न हों।

महत्व और दावे
शोध पत्र दावा करता है कि वह यूक्लिडियन स्पेस से हाइपरबोलिक स्पेस में नॉनलोकल आइसोपेरिट्रिक समस्याओं के व्यापक अध्ययन को विस्तारित करता है। इसका महत्व हाइपरबोलिक ज्यामिति में स्केलिंग तर्कों और स्थिरता अनुमानों के अनुकूलन में निहित है।

• $\mathbb{R}^n$ के साथ तुलना: लेखक रेखांकित करते हैं कि $\mathbb{H}^n$ में मानक स्केलिंग इनवेरिएंस (scaling invariance) के अभाव के कारण (जहाँ एक गोले को स्केल करने से दूसरा गोला प्राप्त नहीं होता), $\Phi_\lambda$-रूपांतरण का उपयोग आवश्यक है। यह दिखाया गया है कि यह रूपांतरण आवश्यक कॉम्पैक्टनेस और रेगुलैरिटी गुणों को पुनः प्राप्त करने के लिए पर्याप्त है।
• खुले प्रश्न: शोध पत्र विनम्रतापूर्वक स्वीकार करता है कि क्रिटिकल वॉल्यूम $m^*$ (यूक्लिडियन मामले के समान जहाँ गोला वैश्विक न्यूनीकरणकर्ता नहीं रह जाता) को स्पष्ट रूप से नहीं निकाला गया है। इसके अतिरिक्त, गैर-अस्तित्व परिणाम वर्तमान में $\alpha < 2$ तक सीमित है, जिससे $\alpha \ge 2$ का मामला खुला रह जाता है।
• भावी कार्य: लेखक संकेत देते हैं कि जियोडेसिक गोलों की स्थानीय न्यूनता (local minimality) के लिए स्पष्ट सीमाएँ प्रदान करने हेतु फलन के प्रथम और द्वितीय परिवर्तनों (variations) की गणना करना आगामी कार्य का लक्ष्य है, जिसका उद्देश्य यूक्लिडियन साहित्य (जैसे चोडोश और रुओहोनिएमी द्वारा) में पाए जाने वाले मात्रात्मक परिणाम प्राप्त करना है।

संक्षेप में, यह शोध पत्र सफलतापूर्वक प्रदर्शित करता है कि हाइपरबोलिक स्पेस में स्थानीय परिधि और नॉनलोकल प्रतिकर्षण (repulsion) के बीच की प्रतिस्पर्धा, यूक्लिडियन मामले के समान एक चरण संक्रमण (phase transition) उत्पन्न करती है: छोटे आयतनों के लिए जियोडेसिक गोले स्थिर न्यूनीकरणकर्ता हैं, जबकि बड़े आयतनों के लिए सिस्टम अस्थिर हो जाता है, जिससे न्यूनीकरणकर्ताओं का अस्तित्व बाधित होता है।