An integral formula for the inhomogeneous Jordan--von Neumann equation

तकनीकी सारांश: असजातीय जोर्डन-वॉन न्यूमैन समीकरण के लिए एक समाकल सूत्र (Integral Formula)

समस्या विवरण
यह शोध पत्र शास्त्रीय जोर्डन-वॉन न्यूमैन द्विघात फलन समीकरण के असजातीय संस्करण की जांच करता है। सजातीय समीकरण, $f(x+y) + f(x-y) = 2f(x) + 2f(y)$, उन मानदंडों (norms) को निरूपित करता है जो आंतरिक गुणन (inner products) से उत्पन्न होते हैं और इसके समाधान $f(x) = B(x,x)$ के रूप में स्वीकार किए जाते हैं, जहाँ $B$ एक सममित द्विपद रूप (symmetric bilinear form) है। लेखक असजातीय समस्या पर विचार करते हैं जहाँ एक निर्धारित फलन $g: \mathbb{R}^2 \to \mathbb{R}$ दायाँ पक्ष (right-hand side) के रूप में कार्य करता है:
$$f(x+y) + f(x-y) - 2f(x) - 2f(y) = g(x,y).$$
मुख्य प्रश्न यह है कि दिए गए $g$ के लिए $f$ का समाधान कब अस्तित्व में होता है, और क्या ऐसे समाधान का स्पष्ट निर्माण किया जा सकता है? इस समस्या को कार्यात्मक समीकरण स्थिरता (functional equation stability - सजातीय समीकरण का विचलन) के संदर्भ में रखा गया है और यह रैखिक कॉची ऑपरेटर $L[f](x,y) = f(x+y) - f(x) - f(y)$ के शास्त्रीय व्युत्क्रम समस्या के समानांतर है।

कार्यप्रणाली और सैद्धांतिक ढांचा
लेखक एक रैखिक ऑपरेटर $Q$ को परिभाषित करते हैं ताकि $Q[f] = g$ हो। $Q$ का कर्नेल (kernel) सजातीय समीकरण के समाधान स्थान को दर्शाता है। कार्यप्रणाली निम्नलिखित पर आधारित है:

1. कोसाइकिल पहचान (Cocycle Identities): रैखिक मामले के साथ एक सादृश्य (analogy) खींचते हुए, जहाँ कॉची ऑपरेटर के प्रतिबिंब को 2-कोसाइकिल पहचान (जो साहचर्य/associativity से संबंधित है) द्वारा निरूपित किया जाता है, लेखक द्विघात ऑपरेटर $Q$ के लिए विशिष्ट एक तीन-चरणीय "कोसाइकिल पहचान" व्युत्पन्न करते हैं।
2. नियमितता धारणाएँ (Regularity Assumptions): विश्लेषण दो बार निरंतर अवकलनीय फलनों ($C^2$) के वर्ग के भीतर किया गया है।
3. अवकलन और समाकलन (Differentiation and Integration): मुख्य तकनीक व्युत्पन्न कोसाइकिल पहचान को शून्य पर एक चर के सापेक्ष अवकलित करने पर आधारित है ताकि कार्यात्मक समीकरण को एक अवकल संबंध (differential relation) में बदला जा सके, जिसके बाद समाधान $f$ को पुनः प्राप्त करने के लिए समाकलन किया जाता है।

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

• द्विघात कोसाइकिल पहचान का व्युत्पत्ति: शोध पत्र यह स्थापित करता है कि यदि $g$, $Q$ के प्रतिबिंब में है (अर्थात $g = Q[f]$), तो इसे सभी $x, y, z \in \mathbb{R}$ के लिए निम्नलिखित पहचान को संतुष्ट करना चाहिए:
  $$g(x+y,z) + g(x-y,z) + 2g(x,y) = g(x,y+z) + g(x,y-z) + 2g(y,z).$$
  यह पहचान यह दर्शाने के लिए आवश्यक शर्त है कि $g$, $Q$ के प्रतिबिंब में है।

• मुख्य प्रमेय (अस्तित्व और निर्माण): प्राथमिक परिणाम (प्रमेय 1.1) यह दावा करता है कि $g \in C^2(\mathbb{R}^2)$ के लिए, कोसाइकिल पहचान $f \in C^2(\mathbb{R})$ के अस्तित्व के लिए आवश्यक और पर्याप्त है।

  • आवश्यकता: पहचान के दोनों पक्षों का $Q[f]$ की परिभाषा का उपयोग करके विस्तार करके सिद्ध की गई है।
  • पर्याप्तता और समाकल सूत्र: यदि $g \in C^2(\mathbb{R}^2)$ पहचान को संतुष्ट करता है, तो एक समाधान स्पष्ट रूप से दिए गए बंद-रूप समाकल (closed-form integral) द्वारा दिया जाता है:
    $$f(x) = -\frac{1}{2}g(0,0) - \frac{1}{2}(\partial_2 g)(0,0)x + \frac{1}{2} \int_0^x (x-t)(\partial_2^2 g)(t,0) \, dt.$$
  • एकरूपता (Uniqueness): समाधान $\ker Q$ (अर्थात, एक सजातीय समाधान) के योग के अतिरिक्त अद्वितीय है।

• नियमितता संरक्षण (Regularity Preservation): निर्माण नियमितता को संरक्षित करता है। यदि $g$, $C^k(\mathbb{R}^2)$ ($k \ge 2$), $C^\infty(\mathbb{R}^2)$, या वास्तविक बहुपद (real polynomial) है, तो परिणामी $f$ संगत वर्ग ($C^k(\mathbb{R})$, $C^\infty(\mathbb{R})$, या बहुपद) से संबंधित होगा।

• ऑपरेटरिक व्याख्या: शोध पत्र एक एकीकृत ऑपरेटरिक दृष्टिकोण प्रदान करता है, जिसमें कोसाइकिल पहचान को निर्देशांक अक्षों के अनुदिश ऑपरेटर $T$ के पुनरावृत्त दोषों (iterated defects) की सममिति के रूप में व्याख्यायित किया गया है। यह रैखिक ऑपरेटर $L$ के लिए मानक 2-कोसाइकिल शर्त को द्विघात ऑपरेटर $Q$ के लिए सामान्यीकृत करता है।

महत्व और सीमाएँ
शोध पत्र दावा करता है कि यह $C^2$ नियमितता के तहत असजातीय जोर्डन-वॉन न्यूमैन समीकरण के लिए पहला स्पष्ट समाकल प्रतिनिधित्व प्रदान करता है, जो रैखिक कॉची समीकरण के लिए प्रुनेस्कु (Prunescu) के परिणामों के समान है। इसका महत्व कार्यात्मक समीकरण समस्या को आंशिक अवकलज और समाकलन से जुड़ी एक रचनात्मक कलन (calculus) समस्या में बदलने में निहित है।

लेखक स्पष्ट रूप से इन सीमाओं और खुले प्रश्नों को नोट करते हैं:

• नियमितता प्रतिबंध: वर्तमान समाकल सूत्र के लिए $g \in C^2$ होना आवश्यक है। $g \in C^1$ का मामला खुला है, क्योंकि व्युत्पत्ति दूसरे क्रम के अवकलन पर निर्भर करती है।
• बीजगणितीय बनाम नियमितता शर्तें: यह एक खुला प्रश्न है कि क्या कोसाइकिल पहचान (बिना किसी नियमितता परिकल्पना के) अकेले $g$ के $Q$ के प्रतिबिंब में होने के लिए पर्याप्त है। लेखक नोट करते हैं कि रैखिक मामले के लिए, सममिति को लागू करने हेतु नियमितता की आवश्यकता होती है; हमेल आधार (Hamel basis) से संबंधित एक समान बाधा द्विघात मामले में भी हो सकती है।
• सतत मामला (Continuous Case): क्या कोसाकिला पहचान केवल निरंतर $g$ के लिए सममिति (और इस प्रकार समाधान योग्यता) को इंगित करती है, यह रैखिक मामले पर एर्डोस (Erdős) के कार्य के समान एक आकर्षक खुला प्रश्न है।

शोध पत्र विशिष्ट उदाहरणों (बहुपद, घातांकीय और त्रिकोणमितीय $g$) के साथ प्रमेय को सत्यापित करके और भविष्य के अनुसंधान के लिए दिशाएँ रेखांकित करके समाप्त होता है।