Interior Hessian estimates for the quadratic Hessian equation

तकनीकी सारांश: द्विघातीय हेसियन समीकरण के लिए आंतरिक हेसियन अनुमान (Interior Hessian Estimates)

समस्या विवरण
यह शोध पत्र द्विघातीय हेसियन समीकरण (quadratic Hessian equation) के विस्कोसिटी समाधानों (viscosity solutions) की आंतरिक नियमितता (interior regularity) को संबोधित करता है:
$$\sigma_2(D^2u) = \sum_{1 \le i < j \le n} \lambda_i \lambda_j = 1$$
आयाम $n \ge 2$ में, जहाँ $\lambda_1, \dots, \lambda_n$ हेसियन मैट्रिक्स $D^2u$ के आइजन मान (eigenvalues) हैं। यह अध्ययन "पॉजिटिव ब्रांच" (positive branch) पर स्थित समाधानों पर केंद्रित है, जिसे स्वीकार्यता स्थिति (admissibility condition) $\lambda(D^2u) \in \Gamma_2$ द्वारा परिभाषित किया गया है, जहाँ $\Gamma_2 = \{ \lambda \in \mathbb{R}^n : \sigma_1(\lambda) > 0, \sigma_2(\lambda) > 0 \}$ है।

ऐतिहासिक रूप से, इस समीकरण के लिए आंतरिक हेसियन अनुमान प्रतिबंधात्मक स्थितियों के तहत स्थापित किए गए हैं:

• $n=2$ के लिए, समीकरण मोन-एम्पियर (Monge–Ampère) समीकरण में बदल जाता है, जिसमें हेन्ज़ (Heinz) द्वारा शास्त्रीय अनुमान स्थापित किए गए थे।
• $n=3$ के लिए, वॉरेन और युआन (Warren and Yuan) ने विशेष लैग्रेंजियन संरचनाओं का उपयोग किया।
• अनिश्चित आयामों के लिए, पिछले परिणामों में उत्तलता (convexity - Guan–Qiu, McGonagle–Song–Yuan) या अर्ध-उत्तलता (semiconvexity - Shankar–Yuan) की आवश्यकता थी।
• हाल के कार्यों ने इन परिणामों को विशिष्ट आयामों (जैसे $n=4$) या गतिशील अर्ध-उत्तलता स्थितियों के तहत विस्तारित किया है।

इस कार्य का प्राथमिक उद्देश्य आयाम प्रतिबंध और अतिरिक्त उत्तलता धारणाओं दोनों को हटाना है, जो केवल पॉजिटिव ब्रांच पर स्वीकार्यता स्थिति पर निर्भर करते हुए, अनिश्चित $n \ge 2$ के लिए आंतरिक हेसियन अनुमान स्थापित करना है।

कार्यप्रणाली (Methodology)
लेखक एक नवीन दृष्टिकोण अपनाते हैं जो उन जैकोबी असमानताओं (Jacobi inequalities) या हेसियन के लिए 'डबलिंग आर्ग्युमेंट्स' (doubling arguments) पर निर्भर करने से बचता है, जो पिछले प्रमाणों के केंद्र में थे। इसके बजाय, प्रमाण रणनीति एक उपयुक्त सहायक फलन (auxiliary function) $w$ के निर्माण पर केंद्रित है जिस पर Chou–Wang Pogorelov अनुमान लागू होता है। विधि का मुख्य भाग समाधान $u$ और एक तुलना समाधान (comparison solution) $v$ के बीच एक "समान आंतरिक पृथक्करण" (uniform interior separation) स्थापित करना है।

तकनीकी निष्पादन चार मुख्य चरणों में आगे बढ़ता है:

1. तुलना और बीज पृथक्करण (Comparison and Seed Separation):
   लेखक एक तुलना समाधान $v$ पेश करते हैं जो एक बड़े बॉल $B_{3/2}$ में $\sigma_2(D^2v) = 1/4$ को संतुष्ट करता है जहाँ सीमा पर $v=u$ है। तुलना सिद्धांत (comparison principle) द्वारा, $u \le v$। औसत फलन $\omega = (u+v)/2$ के रैखिकीकृत ऑपरेटर (linearized operator) से जुड़े स्थानीयकृत एकीकरण-दर-भाग (integration by parts) तर्क का उपयोग करके, वे एक "बीज पृथक्sepation" (seed separation) स्थापित करते हैं: एक छोटा बॉल $B_r(x^*)$ मौजूद है जहाँ $v - u \ge \varepsilon_0 > 0$ है।

2. सहायक फलनों के माध्यम से पृथक्करण का प्रसार (Propagation of Separation via Auxiliary Functions):
   पृथक्करण के इस निचले स्तर को छोटे बॉल से पूरे आंतरिक डोमेन $B_{1/2}$ तक विस्तारित करने के लिए, लेखक सहायक फलनों का एक परिवार निर्मित करते हैं। किसी भी बिंदु $y \in B_{1/2}$ के लिए, वे एक चरण फलन (phase function) परिभाषित करते हैं:
   $$\phi_y(x) = 2((x-y) \cdot Dv(x) - v(x) + v(y)) + \frac{\alpha}{2}|x-y|^2 - 2\beta|Dv(x)|^2$$
   और एक एक्सपोनेंशियल बैरियर $w_y = e^{(c_y - \phi_y)/\gamma} - 1$।
   पद $-2\beta|Dv|^2$ महत्वपूर्ण है; यह एक सकारात्मक द्विघातीय पद उत्पन्न करता है जो आइजन मानों में क्षतिपूर्ति करता है, जिससे उन मामलों का मुकाबला किया जा सके जहाँ एक नकारात्मक आइजन मान रैखिकीकृत ऑपरेटर में विलोपन (cancellation) का कारण बन सकता है। $\alpha, \beta, \gamma$ मापदंडों को सावधानीपूर्वक चुनकर, वे सिद्ध करते हैं कि यदि $v - u \ge \delta$ $B_r(y)$ में है, तो $v - u \ge \theta \delta$ $B_{2r}(y)$ में होगा। प्रतिच्छेदी बॉल्स की एक श्रृंखला के साथ इसे दोहराने से $B_{1/2}$ में एक समान निचला स्तर $v - u \ge \varepsilon_1$ प्राप्त होता है।

3. सीमा क्षय और डोमेन चयन (Boundary Decay and Domain Selection):
   लेखक डोमेन के निकट सीमा के लिए एक मात्रात्मक क्षय अनुमान स्थापित करते हैं, जो यह दर्शाता है कि $(v-u)(x) \le C d_x(1 + |\log d_x|)$, जहाँ $d_x$ सीमा से दूरी है। यह क्षय, समान आंतरिक पृथक्करण के साथ मिलकर, एक नियमित मान $\delta_1$ और एक उप-डोमेन $\Omega$ के चयन की अनुमति देता है ताकि $w := v - \delta_1$ इस प्रकार हो कि $\Omega$ में $w > u$, $\partial \Omega$ पर $w = u$ और $L_u w > 0$ हो।

4. Pogorelov अनुमान का अनुप्रयोग (Application of Pogorelov Estimate):
   बनाए गए बैरियर फलन $w$ के साथ, लेखक Chou–Wang Pogorelov अनुमान लागू करते हैं:
   $$\sup_{\Omega} (w-u)^4 |D^2u| \le C(n, \|Du\|_{L^\infty}, \|Dw\|_{L^\infty})$$
   चूंकि आंतरिक भाग में $w-u$ शून्य से समान रूप से दूर रहता है, इसलिए यह वांछित आंतरिक हेसियन सीमा प्रदान करता है।

मुख्य परिणाम (Key Results)
यह शोध पत्र दो मुख्य प्रमेय स्थापित करता है:

• प्रमेय 1.1 (सुचारू समाधान): $n \ge 2$ के लिए, यदि $u \in C^\infty(B_2)$ $B_2$ में $\sigma_2(D^2u)=1$ को संतुष्ट करता है, तो हेसियन आंतरिक रूप से सीमित है:
  $$\|D^2u\|_{L^\infty(B_{1/2})} \le C(n, \|u\|_{L^\infty(B_2)}).$$
  यह परिणाम $\sigma_2(D^2u) = f(x, u, Du) > 0$ के सुचारू समाधानों तक विस्तारित होता है जहाँ $f \in C^{1,1}$ है।

• प्रमेय 1.2 (विस्कोसिटी समाधान): $n \ge 2$ के लिए, यदि $u \in C(B_2)$ (1.1) का एक विस्कोसिटी समाधान है जिसमें विस्कोसिटी के अर्थ में $\Delta u > 0$ है, तो $u \in C^\infty(B_2)$ है और वही आंतरिक हेसियन अनुमान को संतुष्ट करता है।

महत्व और दावे (Significance and Claims)
लेखक दावा करते हैं कि उनके परिणाम आयाम प्रतिबंध और उत्तलता या अर्ध-उत्तलता धारणाओं की आवश्यकता को हटा देते हैं जो पिछले साहित्य की विशेषता रहे हैं। उनका प्रमाण सहायक फलन के निर्माण के संबंध में स्व-निहित (self-contained) है, जो बिना समाधान के उत्तल होने की आवश्यकता के, सकारात्मक और नकारात्मक आइजन मानों के बीच की अंतःक्रिया को संभालता है।

शोध पत्र आगे यह उल्लेख करता है कि ये अनुमान दर्शाते हैं:

1. नियमितता (Regularity): पॉजिटिव ब्रांच पर विस्कोसिटी समाधान स्वतः ही सुचारू ($C^\infty$) होते हैं।
2. लिउविल-प्रकार का प्रमेय (Liouville-type Theorem): प्रत्येक संपूर्ण समाधान (entire solution) जो द्विघातीय वृद्धि (quadratic growth) के साथ (1.1) को संतुष्ट करता है, वह एक द्विघातीय बहुपद (quadratic polynomial) ही होगा।
3. हेसियन कोटिएंट समीकरण (Hessian Quotient Equations): परिणाम सीधे हेसियन कोटिएंट समीकरण $\sigma_2(D^2u)/\sigma_1(D^2u) = 1$ पर लागू होते हैं जब $\Delta u > 0$ की स्थिति हो।

कार्यप्रणाली को विशिष्ट बैरियर निर्माणों के माध्यम से पृथक्करण के प्रसार पर आधारित, अनिश्चित आयामों के लिए एक एकीकृत दृष्टिकोण के रूप में प्रस्तुत किया गया है, जो हाल के कार्यों में उपयोग किए गए 'डबलिंग आर्ग्युमेंट्स' का एक अलग विकल्प है।