On singularity of $p$-energy measures on metric measure spaces

तकनीकी सारांश: मेट्रिक मेजरेंस स्पेस पर p-ऊर्जा मापों की विलक्षणता (Singularity) पर

समस्या विवरण
यह शोध पत्र मेट्रिक मेजरेंस स्पेस पर अंतर्निहित संदर्भ माप (reference measure) के सापेक्ष $p$-ऊर्जी मापों (p-energy measures) की विलक्षणता को संबोधित करता है। डिरिचलेट फॉर्म (Dirichlet forms) के संदर्भ में, एक विसरण प्रक्रिया (diffusion process) एक ऊर्जा माप से जुड़े स्थानीय नियमित डिरिचलेट फॉर्म के अनुरूप होती है। शास्त्रीय मामले $p=2$ के लिए, यह स्थापित है कि फ्रैक्टल्स (जैसे कि सिएरपिंस्की गैस्केट और कार्पेट) पर, ऊर्जा माप अंतर्निहित माप के सापेक्ष विलक्षण होता है यदि और केवल यदि वॉक डाइमेंशन (walk dimension) $\beta$ 2 से अधिक है। यह शोध पत्र इस परिणाम को गैर-रेखीय सेटिंग (non-linear setting) में सामान्य करने का प्रयास करता है जहाँ $p > 1$ है। विशेष रूप से, यह उस अनुमान की जांच करता है कि $p$-वॉक डाइमेंशन $\beta_p$ वाले $p$-ऊर्जा के लिए, संबद्ध $p$-ऊर्जा माप अंतर्निहित माप के सापेक्ष विलक्षण होता है जब भी $\beta_p > p$ हो।

कार्यप्रणाली (Methodology)
लेखक [27] में $p=2$ के मामले के लिए पाए गए प्रमाण के समान एक रणनीति का उपयोग करता है, जिसमें कार्यात्मक असमानताओं (functional inequalities) और स्थान के ज्यामितीय गुणों के बीच परस्पर क्रिया शामिल है। मुख्य कार्यप्रणाली में शामिल हैं:

1. कार्यात्मक असमानताएँ (Functional Inequalities): विश्लेषण एक विशिष्ट स्केलिंग फंक्शन $\Psi(r) = r^{\beta_p}$ के साथ निर्मित पोइनकेयर असमानता ($PI$) और कटऑफ सोबोलेव असमानता ($CS$) पर निर्भर करता है।
2. हारमोनिक फलनों द्वारा सन्निकटन (Approximation by Harmonic Functions): प्रमाण "खंडवार हारमोनिक फलनों" (piecewise harmonic functions) के एक अनुक्रम का निर्माण करता है जो $p$-ऊर्जा के डोमेन में किसी भी गैर-ऋणात्मक फलन का सन्निकटन करते हैं। इसमें बाउंडेड ओपन सेट्स पर वेरिएशनल सिद्धांतों के माध्यम से हारमोनिक फलनों को परिभाषित करना और बॉटम स्पेक्ट्रम पॉजिटिविटी कंडीशन ($BSP$) का उपयोग करना शामिल है।
3. रिवर्स पोइनकेयर असमानता (Reverse Poincaré Inequality): एक प्रमुख तकनीकी चरण कटऑफ सोबोलेव असमानता से रिवर्स पोइनकेयर असमानता का व्युत्पत्ति है। यह एक एनुलस (annulus) पर फलन के स्वयं के $L^p$ नॉर्म द्वारा हारमोनिक फलन के ऊर्जा माप को नियंत्रित करने की अनुमति देता है।
4. विरोधाभास तर्क (Contradiction Argument): विलक्षणता को सिद्ध करने के लिए, लेखक ऊर्जा माप के किसी गैर-तुच्छ पूर्णतः निरंतर भाग (absolutely continuous part) के अस्तित्व को मान लेता है। पोइनकेयर असमानता, कटऑफ सोबोलेव असमानता और पूर्णतः निरंतरता की धारणा को जोड़कर, स्केलिंग फंक्शन $\Psi$ के एसिम्प्टोटिक व्यवहार (विशेष रूप से सीमा स्थिति $\lim_{\lambda \to \infty} \lim_{r \downarrow 0} \lambda^p \Psi(r/\lambda)/\Psi(r) = 0$) के संबंध में एक विरोधाभास निकाला जाता है।
5. तुल्यता प्रमाण (Equivalence Proofs): शोध पत्र रेजिस्टेंस अनुमान ($R$), पोइनकेयर असमानता और एक क्षमता ऊपरी सीमा (capacity upper bound) के संयोजन, तथा पोइनकेयर असमानता और कटऑफ सोबोलेव असमानता के संयोजन के बीच तुल्यता स्थापित करता है। यह तुल्यता "स्लो वॉल्यूम रेगुलैरिटी" (slow volume regularity - $SVR$) की स्थिति के तहत सिद्ध की जाती है, जो$p=2$के लिए स्ट्रॉन्गली रिकरेंट स्थिति को$p>1$ तक सामान्य करती है।

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

• $p > 1$ के लिए सामान्यीकरण: यह शोध पत्र सिद्ध करता है कि यदि एक मेट्रिक मेजरेंस स्पेस वॉल्यूम डबलिंग कंडीशन, पोइनकेयर असमानता और एक $p$-वॉक डाइमेंशन $\beta_p > p$ के साथ कटऑफ सोबोलेव असमानता को संतुष्ट करता है, तो संबद्ध $p$-ऊर्जा माप अंतर्निहित माप के सापेक्ष विलक्षण होता है।
• कटऑफ सोबोलेव असमानता का प्रत्यक्ष व्युत्पत्ति: एक महत्वपूर्ण तकनीकी योगदान पोइनकेयर असमानता और क्षमता ऊपरी सीमा से कटऑफ सोबोलेव असमानता की एक सरल और प्रत्यक्ष व्युत्पत्ति है। यह $SVR$ की स्थिति के तहत किया गया है। यह हीट कर्नेल अनुमानों की आवश्यकता को समाप्त करता है, जिन्हें सीधे स्थापित करना अक्सर कठिन होता है।
• रेजिस्टेंस और कार्यात्मक असमानताओं की तुल्यता: शोध पत्र $SVR(\Phi, \Psi)$ की स्थिति के तहत, रेजिस्टेंस अनुमान $R(\Phi, \Psi)$ और $(PI(\Psi) \text{ तथा } cap(\Psi)_\le)$ के संयोजन, तथा $(PI(\Psi) \text{ तथा } CS(\Psi))$ के संयोजन के बीच तुल्यता सिद्ध करता है।
• फ्रैक्टल्स पर अनुप्रयोग: परिणामों को सिएरपिंस्की गैस्केट और सिएरपिंस्की कार्पेट सहित विशिष्ट फ्रैक्टल स्पेसों पर लागू किया गया है।

मुख्य परिणाम

• थ्योरम 2.1: वॉल्यूम डबलिंग ($VD$), पोइनकेयर असमानता ($PI(\Psi)$), और$\Psi$पर एक विशिष्ट सीमा स्थिति को संतुष्ट करने वाली कटऑफ सोबोलेव असमानता ($CS(\Psi)$) की मान्यताओं के तहत,$p$-ऊर्जा माप$\Gamma(f)$किसी भी$f$के डोमेन के लिए माप$m$के सापेक्ष विलक्षण है। विशेष रूप से, यदि$\beta_p > p$ है, तो विलक्षणता बनी रहती है।
• थ्योरम 2.3: स्लो वॉल्यूम रेगुलैरिटी कंडीशन ($SVR(\Phi, \Psi)$) के तहत, निम्नलिखित तुल्य हैं:
  1. रेजिस्टेंस अनुमान $R(\Phi, \Psi)$।
  2. पोइनकेयर असमानता $PI(\Psi)$ और क्षमता ऊपरी सीमा $cap(\Psi)_\le$।
  3. पोइनकेयर असमानता $PI(\Psi)$ और कटऑफ सोबोलेव असमानता $CS(\Psi)$।
• कोरोलरी 2.5: सिएरपिंस्की गैस्केट और सिएरपिंस्की कार्पेट के लिए, यदि $p$ अहलफोर्स रेगुलर कॉन्फॉर्मल डाइमेंशन ($\dim_{ARC}$) से अधिक है, तो $p$-ऊर्जा माप अंतर्निहित माप के सापेक्ष विलक्षण होता है। ऐसा इसलिए है क्योंकि इन स्थानों में, रेजिस्टेंस अनुमान बना रहता है, जो आवश्यक कार्यात्मक असमानताओं को दर्शाता है, और जब $p > \dim_{ARC}$ हो तो $\beta_p > p$ संतुष्ट होता है।

महत्व और दावे
शोध पत्र इस दावे की दिशा में प्रगति करने का दावा करता है कि $p$-ऊर्जा माप विलक्षण होते हैं जब भी $p$-वॉक डाइमेंशन $p$ से अधिक होता है। लेखक नोट करता है कि इस क्षेत्र में मुख्य कठिनाई ऐतिहासिक रूप से कटऑफ सोबोलेव असमानता को सीधे स्थापित करना रही है। कटऑफ सोबोलेव असमानता को पोइनकेयर असमानता और क्षमता सीमाओं से सीधे व्युत्पन्न करके, यह शोध पत्र स्पष्ट हीट कर्नेल अनुमानों पर निर्भर किए बिना फ्रैक्टल्स और मेट्रिक मेजरेंस स्पेस पर विलक्षणता को सिद्ध करने का एक अधिक सुलभ मार्ग प्रदान करता है।

परिणाम स्व-समान सेट्स (self-similar sets) (जहाँ $p=2$) पर पिछले निष्कर्षों को $p>1$ के व्यापक वर्ग के लिए विस्तारित करते हैं। शोध पत्र स्पष्ट रूप से कहता है कि फ्रैक्टल्स के एक बड़े परिवार के लिए, जिसमें सिएरपिंस्की गैस्केट और कार्पेट शामिल हैं, विलक्षणता तब तक बनी रहती है जब तक $p$ अहलफोर्स रेगुलर कॉन्फॉर्मल डाइमेंशन से अधिक हो। लेखक स्वीकार करता है कि $p=2$ के मामले में सिएरपिंस्की गैस्केट के लिए कटऑफ सोबोलेव असमानता का प्रमाण पहले [47] में दिया गया था, और यह शोध पत्र उस दृष्टिकोण को अपनाता है और $p>1$ सेटिंग के लिए इसे सामान्य करता है। यह कार्य उस अनुमान के एक आंशिक उत्तर के रूप में प्रस्तुत किया गया है, जो संबंधित विशिष्ट स्थान पर रेजिस्टेंस अनुमान या कार्यात्मक असमानताओं की वैधता पर निर्भर है।