तकनीकी सारांश: $q > n$ के लिए $q$-वें द्वैत क्वर्मसइंटीग्रल (Dual Quermassintegrals) हेतु ब्रुन-मिंकोव्स्की असमानता

1. समस्या विवरण और संदर्भ

यह शोध पत्र $q$-वें द्वैत क्वर्मसइंटीग्रल, जिसे $\widetilde{V}_q(K)$ द्वारा दर्शाया गया है, के लिए ब्रुन-मिंकोव्स्की असमानता की वैधता की जांच करता है जब सूचकांक $q$, विमा $n$ से अधिक होता है। मूल बिंदु (origin) को समाहित करने वाले एक स्टार बॉडी $K$ के लिए द्वैत क्वर्मसइंटीग्रल को इस प्रकार परिभाषित किया गया है:
$$\widetilde{V}_q(K) = \frac{1}{n} \int_{S^{n-1}} \rho_K(u)^q \, du = \frac{q}{n} \int_K |x|^{q-n} \, dx,$$
जहाँ $\rho_K$ रेडियल फलन (radial function) है। केंद्रीय प्रश्न, जो सादोव्स्की और झांग [23] द्वारा प्रस्तुत किया गया था, यह है कि क्या विभिन्न सममिति धारणाओं (स्वेच्छिक, मूल-सममित, या अनकंडीशनल) के तहत $q > n$ के लिए असमानता
$$\widetilde{V}_q(K+L)^{1/q} \geq \widetilde{V}_q(K)^{1/q} + \widetilde{V}_q(L)^{1/q}$$
सत्य होती है।

यद्यपि यह असमानता $0 < q \leq n$ के लिए सत्य है (जिसमें $q=n$ शास्त्रीय ब्रुन-मिंकोव्स्की असमानता है), $q > n$ के लिए व्यवहार खुला (open) रहा है। पूर्ववर्ती कार्य द्वारा ज़ू और यांग [28] ने मूल-सममित वर्ग में $q > 2n+1$ के लिए इसकी विफलता स्थापित की थी। इस शोध पत्र का लक्ष्य विफलता के सटीक थ्रेशोल्ड (thresholds) निर्धारित करना और विशिष्ट ज्यामितीय वर्गों में सकारात्मक परिणाम स्थापित करना है।

2. कार्यप्रणाली (Methodology)

लेखक प्रयोगात्मक विश्लेषण (variational analysis), विमा न्यूनीकरण (dimension reduction), और भारित ज्यामितीय असमानताओं (weighted geometric inequalities) के संयोजन का उपयोग करते हैं।

2.1. प्रयोगात्मक विश्लेषण और द्वितीय विचलन (Variational Analysis and Second Variation)

नकारात्मक परिणामों का मुख्य आधार मापन $\mu_q(K) = \int_K |x|^{q-n} dx$ के स्थानीय $1/q$-अवतलता (concavity) का विश्लेषण करना है। कोल्सनिकोव-मिलमैन [17] से व्युत्पन्न भारित द्वितीय विचलन सूत्र (लेम्मा 2.1) का उपयोग करते हुए, लेखक यूक्लिडियन बॉल $B^n_2$ की स्थिरता का परीक्षण करते हैं।

• स्वेच्छिक निकाय (Arbitrary Bodies): वे विषम विचलन (odd perturbations - प्रथम गोलाकार हार्मोनिक्स) का परीक्षण करते हैं। यदि $q > n$ है, तो द्वितीय विचलन धनात्मक होता है (जो स्थानीय उत्तलता और इस प्रकार असमानता की विफलता को दर्शाता है)।
• मूल-सममित निकाय (Origin-Symmetric Bodies): वे सम विचलन (even perturbations) का परीक्षण करते हैं। स्थानीय स्थिरता थ्रेशोल्ड $q \leq 2n+1$ पाया गया है, लेकिन यह वैश्विक वैधता के लिए अपर्याप्त सिद्ध हुआ है।

2.2. विमा न्यूनीकरण (Dimension Reduction)

मूल-सममित निकायों के लिए वैश्विक प्रति-उदाहरण (counterexamples) निर्मित करने के लिए, लेखक विमा न्यूनीकरण तर्क का उपयोग करते हैं। वे $K_\epsilon = A \times [-\epsilon, \epsilon]^{n-2}$ के रूप के निकायों पर विचार करते हैं, जहाँ $A$ एक समतलीय उत्तल निकाय (planar convex body) है। जैसे-जैसे $\epsilon \to 0$, $n$-विमीय पैरामीटर $q$ प्रभावी रूप से एक समतलीय पैरामीटर $Q = q - n + 2$ में बदल जाता है।

• समतलीय आयतों (planar rectangles) का विश्लेषण करके, वे दिखाते हैं कि यदि $Q > 4$ है, तो असमानता विफल हो जाती है, जो $q > n + 2$ के अनुरूप है।
• यह निर्माण स्थानीय स्थिरता थ्रेशोल्ड और वैश्विक विफलता थ्रेशोल्ड के बीच के अंतर को पाटता है।

2.3. विलक्षण भारित रेली सूत्र और हार्डी असमानताएँ (Singular Weighted Reilly Formula and Hardy Inequalities)

सकारात्मक परिणामों के लिए, विशेष रूप से अनकंडीशनल उत्तल निकायों के लिए, लेखक एक विलक्षण भारित रेली सूत्र (प्रपोजिशन 6.5) विकसित करते हैं।

• वे ऑपरेटर $L_\alpha = \Delta + \alpha \frac{x}{|x|^2} \cdot \nabla$ के साथ भार $|x|^\alpha$ (जहाँ $\alpha = q-n$) वाले एक विलक्षण न्यूमैन समस्या (singular Neumann problem) को हल करते हैं।
• वे विलक्षणता को संभालने के लिए मूल बिंदु के पास समाधान के लिए साहसिक विस्तार (asymptotic expansions) प्राप्त करते हैं (लेम्मा 6.3)।
• महत्वपूर्ण रूप से, वे $\alpha$ के चिह्न के अनुरूप अनुकूलित को-ऑर्डिनेट-स्लाइस हार्डी-प्रकार की असमानताएँ (लेम्मा 7.1 और 7.3) स्थापित करते हैं। ये असमानताएँ रेली सूत्र में प्रतिकूल पदों को नियंत्रित करती हैं, जिससे उन्हें एक विशिष्ट ऊर्जा फलन $I_\alpha(u)$ की गैर-ऋणात्मकता सिद्ध करने में मदद मिलती है, जो $-n < \alpha \leq 1$ (अर्थात $0 < q \leq n+1$) के लिए सत्य है।

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

3.1. स्वेच्छिक निकायों के लिए सीमा की सटीकता (Sharpness of the Range for Arbitrary Bodies)

प्रमेय 1.3: जब भी $q > n$ हो, तब स्वेच्छिक उत्तल निकायों के लिए यह असमानता विफल हो जाती है।

• विधि: लेखक प्रथम गोलाकार हार्मोनिक के साथ यूक्लिडियन बॉल को विक्षेपित (perturb) करके चिकने, सख्त उत्तल निकायों का निर्माण करते हैं। $\widetilde{V}_q(K)^{1/q}$ का द्वितीय विचलन धनात्मक हो जाता है, जो आवश्यक अवतलता का उल्लंघन करता है।

3.2. मूल-सममित निकायों के लिए प्रति-उदाहरण (Counterexamples for Origin-Symmetric Bodies)

प्रमेय 1.4: जब भी $q > n + 2$ हो, तब मूल-सममित उत्तल निकायों के लिए यह असमानता विफल हो जाती है।

• विधि: समतलीय आयतों के माध्यम से विमा न्यूनीकरण का उपयोग करते हुए, वे दिखाते हैं कि $Q = q - n + 2 > 4$ के लिए, फलन $t \mapsto \widetilde{V}_q(K_t)^{1/q}$ $t=0$ पर स्थानीय रूप से उत्तल (convex) है, जिससे ब्रुन-मिंकोव्स्की असमानता का स्पष्ट उल्लंघन होता है। यह पिछले $q > 2n+1$ के मान में सुधार करता है।

3.3. $q = n + 2$ के एंडपॉइंट के लिए सकारात्मक परिणाम (Positive Result for the Endpoint $q = n + 2$)

प्रमेय 1.5: मूल-सममित उत्तल निकायों के लिए, एंडपॉइंट $q = n + 2$ पर यह असमानता सत्य है।

• विधि: लेखक पहचान $I(K) = \frac{n}{n+2} \widetilde{V}_{n+2}(K)$ के माध्यम से $\widetilde{V}_{n+2}(K)$ को ध्रुवीय जड़त्व आघूर्ण (polar moment of inertia) $I(K)$ से जोड़ते हैं। वे फिर ध्रुवीय जड़त्व आघूर्ण के लिए हेडविगर की असमानता [10] का उपयोग करते हैं, जो कहता है कि $I(K+L)^{1/(n+2)} \geq I(K)^{1/(n+2)} + I(L)^{1/(n+2)}$।

3.4. अनकंडीशनल उत्तल निकायों के लिए पूर्ण सीमा (Full Range for Unconditional Convex Bodies)

प्रमेय 1.6: अनकंडीशनल उत्तल निकायों (को-ऑर्डिनेट रिफ्लेक्शन के तहत अपरिवर्तित) के लिए, यह असमानता पूर्ण सीमा $0 < q \leq n + 1$ के लिए सत्य है।

• विधि: यह इस शोध पत्र की प्राथमिक तकनीकी उपलब्धि है। विलक्षण भारित रेली सूत्र के साथ को-ऑर्डिनेट-स्लाइस हार्डी असमानताओं को जोड़कर, वे अनकंडीशनल निकायों के लिए $\widetilde{V}_q$ के स्थानीय $1/q$-अवतलता को सिद्ध करते हैं।
• समानता का मामला (Equality Case): यदि $K, L$ वर्ग $C^2_+$ के हैं, तो समानता तभी होती है जब $K$ और $L$ एक-दूसरे के विस्तार (dilates) हों।

3.5. द्वैत वक्रता मापों की विशिष्टता (Uniqueness of Dual Curvature Measures)

एक अनुप्रयोग के रूप में, लेखक $(1, q)$-वें द्वैत वक्रता माप $\widetilde{C}_{1,q}$ के लिए विशिष्टता परिणाम प्राप्त करते हैं।

• अनुप्रमेय (Corollary) 8.4: अनकंडीशनल $C^2_+$ निकायों के लिए, यदि $\widetilde{C}_{1,q}(K, \cdot) = \widetilde{C}_{1,q}(L, \cdot)$ है और $0 < q \leq n+1$ है, तो $K=L$ (जब तक कि $q=1$ न हो, जहाँ वे विस्तार हैं)।
• अनुप्रमेय (Corollary) 8.5: मूल-सममित $C^2_+$ निकायों के लिए, यदि $\widetilde{C}_{1,n+2}(K, \cdot) = \widetilde{C}_{1,n+2}(L, \cdot)$ है, तो $K=L$।

4. महत्व और दावे (Significance and Claims)

यह शोध पत्र सादोव्स्की और झांग [23] द्वारा प्रस्तुत समस्या 1.2 को हल करने का दावा करता है, जिसमें $q > n$ के क्षेत्र में द्वैत क्वर्मसइंटीग्रल के लिए ब्रुन-मिंकोव्स्की असमानता की सटीक सीमाओं को स्थापित किया गया है।

• वैश्विक वैधता का खंडन: यह प्रदर्शित करता है कि असमानता सामान्य निकायों के लिए $q > n$ के लिए, और मूल-सममित निकायों के लिए $q > n + 2$ के लिए विस्तारित नहीं होती है, जिससे मूल-सममित निकायों के लिए खुले अंतराल को $n < q \leq n+2$ तक सीमित कर दिया गया है।
• अनुमान (Conjecture): लेखक अनुमान 1 (Conjecture 1) प्रस्तावित करते हैं, जो सुझाव देता है कि असमानता शेष अंतराल $n < q < n+2$ में मूल-सममित निकायों के लिए सत्य हो सकती है।
• अनकंडीशनल मामला: यह शोध पत्र अनकंडीशनल निकायों के लिए पूर्ण सीमा $0 < q \leq n+1$ तक विस्तार करते हुए एक निश्चित सकारात्मक उत्तर प्रदान करता है। यह विलक्षण भारों के लिए रेली सूत्र के एक नवीन अनुकूलन के माध्यम से प्राप्त किया गया है, जो हु-इवाकी [12] से प्रेरित है लेकिन इसे पूर्ण सीमा $0 < q \leq n+1$ को कवर करने के लिए विस्तारित किया गया है।
• अनुप्रयोग: ये परिणाम निर्दिष्ट वर्गों में द्वैत वक्रता मापों के लिए तुरंत मिंकोव्स्की-प्रकार की असमानताओं और विशिष्टता प्रमेयों को प्राप्त करते हैं, जो समानता के मामले के संबंध में सादोव्स्की और झांग की समस्या 9 को संबोधित करते हैं।

यह कार्य $q$, निकायों की सममिति और ज्यामितीय संरचना (अनकंडीशनल बनाम सामान्य) के बीच नाजुक अंतर्संबंध को उजागर करता है, यह दिखाते हुए कि जबकि सममिति सहायता करती है, यह $q > n$ के लिए सभी मामलों में असमानता को बनाए रखने के लिए पर्याप्त नहीं है।