ABP estimate and Harnack inequality for a class of degenerate fully nonlinear pseudo-$p$-Laplacian equations

तकनीकी सारांश: एक विशिष्ट डिजेनरेट फुली नॉनलीनित्स (fully nonlinear) स्यूडो-$p$-लैप्लासियन समीकरणों के लिए ABP अनुमान और हार्नाक असमानता (Harnack Inequality)

समस्या विवरण
यह शोध पत्र नॉन-डाइवर्जेंस रूप (nondivergence form) में एक विशिष्ट वर्ग के डिजेनरेट फुली नॉनलीनित्स स्यूडो-$p$-लैप्लासियन समीकरणों के लिए विस्कोसिटी समाधानों (viscosity solutions) की बुनियादी नियमितता सिद्धांत (regularity theory) की जांच करता है। अध्ययन का मुख्य विषय निम्नलिखित असमानता प्रणाली है:
$$\begin{cases} M^{-}_{\lambda,\Lambda}\left(\left[|D_i u|^{p/2}\right] D^2 u \left[|D_i u|^{p/2}\right]\right) - \Lambda|Du|^{p+1} \leq f(x), \\ M^{+}_{\lambda,\Lambda}\left(\left[|D_i u|^{p/2}\right] D^2 u \left[|D_i u|^{p/2}\right]\right) + \Lambda|Du|^{p+1} \geq f(x), \end{cases}$$
जो कि यूनिट बॉल $B_1$ में परिभाषित है, जहाँ $p \geq 0$, $0 < \lambda \leq \Lambda$, $f \in L^n(B_1)$, और $[\cdot]$ एक विकर्ण मैट्रिक्स (diagonal matrix) को दर्शाता है।

मुख्य चुनौती इन ऑपरेटरों में निहित कोऑर्डिनेटवाइज़ डिजनरेसी (coordinatewise degeneracy) है। मानक $p$-लैप्लासियन के विपरीत, जो केवल तब डिजेनरेट होता है जब पूर्ण ग्रेडिएंट $|Du|$शून्य हो जाता है, स्यूडो-$p$-लैप्लासियन तब भी अपनी इलाप्टिसिटी (ellipticity) खो देता है जब कोई भी एक आंशिक अवकलज (partial derivative) $D_j u$ शून्य हो जाता है। यह एक बहुत बड़े डिजनरेसी सेट का निर्माण करता है जो $\{|Du|=0\}$ से कहीं अधिक बड़ा है। इसके अतिरिक्त, उन बिंदुओं पर जहाँ $D_j u = 0$ होता है, द्वितीय अवकलज $D_{jj}u$ अनबाउंड (unbounded) हो सकता है, जबकि गैर-डिजेनरेट दिशाओं में अवकलज नियंत्रित रहते हैं। यह एनिसोट्रॉपी (anisotropy) मानक नियमितता परिणामों (जैसे इम्बर्ट-सिलवेस्टर या मूनी द्वारा) के सीधे अनुप्रयोग को रोकती है जो यूनिफॉर्म इलाप्टिसिटी या केवल वहां डिजनरेसी पर निर्भर करते हैं जहाँ ग्रेडिएंट बड़ा होता है।

कार्यप्रणाली (Methodology)
लेखक इस विशिष्ट एनिसोट्रोपिक डिजनरेसी के अनुकूल नियमितता सिद्धांत विकसित करते हैं, जो दो तकनीकी नवाचारों पर आधारित है:

1. अनुकूलित अलेक्जेंड्रोव-बाकमान-पुलि (ABP) अनुमान:
   ग्रेडिएंट $Du$के मानचित्रण के बजाय, यह प्रमाण$G(z) = (|z_i|^p z_i)$ पर एरिया फॉर्मूला (area formula) का उपयोग करता है। यह विकल्प ऑपरेटर की संरचना से प्रेरित है, जो प्रभावी रूप से $Du$के बजाय$(|D_i u|^p D_i u)$के इमेज का अनुमान लगाता है। यह लेखकों को स्यूडो-$p$-लैप्लासियन के विशिष्ट स्केलिंग गुणों को संभालने की अनुमति देता है।

2. एनिसोट्रोपिक फलनों के साथ स्लाइडिंग पैराबोलाइड (Sliding Paraboloid):
   हार्नाक असमानता स्थापित करने के लिए, लेखक स्लाइडिंग पैराबोलाइड विधि (मूल रूप से कैफेलरी और साविन द्वारा) को अनुकूलित करते हैं। मानक पैराबोलाइड्स ($|x|^2$) एनिसोट्रोपिक डिजनरेसी को संभालने में विफल रहते हैं। इसके बजाय, लेखक एक एनिसोट्रोपिक "पैराबोलाइड" फलन पेश करते हैं:
   $$\phi(x) = -1 + \frac{p}{2+p} \left( |x_1|^{1+\frac{1}{1+p}} + \cdots + |x_n|^{1+\frac{1}{1+p}} \right).$$
   यह फलन एक महत्वपूर्ण पहचान (identity) को संतुष्ट करता है: $-(1+p)[|D_i \phi|^{p/2}] D^2 \phi [|D_i \phi|^{p/2}] = I_n$.

एक महत्वपूर्ण तकनीकी बाधा यह है कि $\phi(x)$ हाइपरप्लेन $\{z_i = 0\}$ पर $C^2$ नहीं है, जहाँ डिजनरेसी होती है। इससे निपटने के लिए, लेखक एक डायमेंशनल रिडक्शन तर्क (dimensional reduction argument) का उपयोग करते हैं:

• वे स्पर्श बिंदुओं (touching points) के सेट को इस आधार पर विभाजित करते हैं कि कौन सी समन्वय दिशाएं (coordinate directions) डिजेनरेट ($D_i u = 0$) हैं और कौन सी गैर-डिजेनेटी हैं।
• उन बिंदुओं पर जहाँ विशिष्ट अवकलज शून्य होते हैं, वे विश्लेषण को निम्न-आयामी स्लाइसों (हाइपरप्लेन) तक सीमित करते हैं जहाँ शेष दिशाएं गैर-डिजेनेटी होती हैं।
• इन स्लाइसों पर, प्रतिबंधित पैराबोलाइड चिकना (smooth) होता है, जिससे एरिया फॉर्मूला और मानक माप अनुमानों का अनुप्रयोग संभव होता है।
• परिणामों को फ्युबिनि प्रमेय (Fubini's theorem) का उपयोग करके एकत्रित किया जाता है।

हार्नाक असमानता को सिद्ध करने के लिए एक बैरियर फंक्शन (barrier function) $\Phi(x) = |\phi(x)|^{-a}$ का निर्माण करने के लिए इसी तरह की रणनीति अपनाई जाती है, जो 'डबलिंग प्रॉपर्टी' को सिद्ध करती है।

प्रमुख योगदान और परिणाम
यह शोध पत्र डिजेनरेट समीकरणों के विस्कोसिटी समाधानों के लिए निम्नलिखित मौलिक परिणाम स्थापित करता है:

1. अलेक्जेंड्रोव-बाकमान-पुलि (ABP) अनुमान (प्रमेय 1.1):
   लेखक एक ABP अनुमान सिद्ध करते हैं जो समाधान $u$ के सुप्रीमम (supremum) को उसके बाउंड्री मानों और स्रोत टर्म $f$ के $L^n$ नॉर्म के संदर्भ में बांधता है। विशेष रूप रूप से:
   $$\sup_{\Omega} u \leq \sup_{\partial \Omega} u^+ + C \|f^-\|_{L^n(\Gamma^+(u))}^{\frac{1}{1+p}},$$
   जहाँ $\Gamma^+(u)$ अपर कॉन्टैक्ट सेट (upper contact set) है। यह अनुमान $G$ वाले संशोधित एरिया फॉर्मूला का उपयोग करके प्राप्त किया गया है।

2. हार्नाक असमानता (Harnack Inequality) (प्रमेय 1.2):
   गैर-ऋणात्मक समाधानों $u$ के लिए, जहाँ $f \in L^n$, यह शोध पत्र एक हार्नाक असमानता सिद्ध करता है:
   $$\sup_{B_{1/2}} u \leq C \left( \inf_{B_{1/2}} u + \|f\|_{L^n(B_1)}^{\frac{1}{1+p}} \right).$$
   यह परिणाम स्लाइडिंग एनिसोट्रोपिक पैराबोलाइड से प्राप्त माप अनुमान (लेम्मा 4.1) और एनिसोट्रोपिक बैरियर से प्राप्त डबलिंग प्रॉपर्टी (लेम्मा 5.1) को संयोजित करके प्राप्त किया गया है।

3. होल्डर नियमितता (Hölder Regularity) (अनुcorollary 1.1):
   हार्नाक असमानता के प्रत्यक्ष परिणाम के रूप में, लेखक समाधानों की स्थानीय होल्डर निरंतरता (local Hölder continuity) स्थापित करते हैं:
   $$\|u\|_{C^\alpha(B_{1/2})} \leq C \left( \|u\|_{L^\infty(B_1)} + \|f\|_{L^n(B_1)}^{\frac{1}{1+p}} \right).$$

महत्व और दायरा
यह शोध पत्र दावा करता है कि यह नॉन-डाइवर्जेंस फॉर्म में इस विशिष्ट वर्ग के डिजेनरेट फुली नॉनलीनित्स स्यूडो-$p$-लैप्लासियन समीकरणों के लिए पहली बुनियादी नियमितता सिद्धांत (ABP अनुमान और हार्नाक असमानताएं) प्रदान करता है। लेखक उल्लेख करते हैं कि जबकि डाइवर्जेंस फॉर्म के लिए नियमितता (मोसर इटरेशन के माध्यम से) अच्छी तरह से स्थापित है, नॉन-डाइवर्जेंस मामला ऑपरेटर और मानक $p$-लैप्लासियन के बीच समानता की कमी के कारण अद्वितीय चुनौतियां प्रस्तुत करता है।

इसका महत्व अनबाउंडेड कोऑर्डिनेटवाइज़ डिजनरेसी को संभालने में निहित है। लेखक स्पष्ट रूप से कहते हैं कि पिछले परिणाम, जो केवल वहां डिजेनरेट होते हैं जहाँ $|Du|$बड़ा होता है, यहाँ लागू नहीं होते क्योंकि डिजनरेसी सेट बहुत बड़ा है। शोध पत्र का योगदान एनिसोट्रोपिक फलनों वाले अनुकूलित स्लाइडिंग पैराबोलाइड विधि और$D_i u = 0$ पर सिंगुलैरिटी को प्रबंधित करने के लिए एक डायमेंशनल रिडक्शन तकनीक का विकास करना है।

यह कार्य एनिसोट्रोपिक डिफ्यूजन, ऑर्थोट्रोपिक मॉडल, और लेयर्ड मीडिया में परिवहन घटनाओं (transport phenomena) से उत्पन्न होने वाले आंशिक अंतर समीकरणों के विश्लेषण के लिए एक आधारभूत कदम के रूप में प्रस्तुत किया गया है, जहाँ प्रतिक्रिया व्यक्तिगत समन्वय दिशाओं पर निर्भर करती है। परिणाम स्थापित किए गए गणितीय ढांचे के भीतर उच्च-क्रम की नियमितता या विशिष्ट भौतिक अनुप्रयोगों तक विस्तार किए बिना, "बुनियादी नियमितता" स्थापित करने के रूप में प्रस्तुत किए गए हैं।