मोयल प्रोडक्ट

गणित में, मोयल प्रोडक्ट (जोस एनरिक मोयल के पश्चात; जिसे हरमन वेइल और हिलब्रांड जे. ग्रोएनवॉल्ड के पश्चात स्टार प्रोडक्ट या वेइल-ग्रोएनवॉल्ड प्रोडक्ट भी कहा जाता है) फ़ेज़ इंटेग्रल स्टार प्रोडक्ट का इंटेग्रल उदाहरण है। यह इंटेग्रल सहयोगी, नॉन-कम्यूटेटिव प्रोडक्ट है, ★, $ℝ^{2n}$ फलनों पर, इसके पॉइसन ब्रैकेट से सुसज्जित है (स्यम्प्लेटिक मैनिफोल्ड्स के सामान्यीकरण के साथ, नीचे वर्णित है)। यह सार्वभौमिक आवरण बीजगणित के "प्रतीकों के बीजगणित" ★-प्रोडक्ट का विशेष केस है।

ऐतिहासिक टिप्पणियाँ
मोयल प्रोडक्ट का नाम जोस एनरिक मोयल के नाम पर रखा गया है, किंतु कभी-कभी इसे हरमन वेइल-ग्रोएनवॉल्ड प्रोडक्ट भी कहा जाता है क्योंकि इसे एचजे ग्रोएनवॉल्ड ने अपने 1946 के डॉक्टरेट शोध प्रबंध में वेइल पत्राचार की तीव्र सराहना में प्रस्तुत किया था। ऐसा प्रतीत होता है कि मोयल को वास्तव में अपने प्रसिद्ध लेख में प्रोडक्ट के बारे में ज्ञात नहीं था और डिराक के साथ उनके प्रसिद्ध पत्राचार में इसका अत्यंत अभाव था। जैसा कि उनकी जीवनी में दर्शाया गया है। ऐसा प्रतीत होता है कि मोयल के नाम पर लोकप्रिय नामकरण उनके फ्लैट चरण-इंटेग्रल परिमाणीकरण चित्र के सम्मान में, 1970 के दशक में ही विकास हुआ था।

परिभाषा
$ℝ^{2n}$ पर सुचारू फलन $f$ और $g$ के लिए प्रोडक्ट रूप लेता है: $$f \star g = fg + \sum_{n=1}^\infty \hbar^n C_n(f,g),$$ जहां प्रत्येक $C_{n}$ निम्नलिखित गुणों द्वारा विशेषता क्रम $n$ का निश्चित द्विविभेदक ऑपरेटर है (स्पष्ट सूत्र के लिए नीचे देखें): ध्यान दें, यदि कोई वास्तविक संख्याओं में मान वाले फलन लेना चाहता है, तो इंटेग्रल वैकल्पिक वर्जन दूसरी स्थिति में $i$ को विस्थापित कर देता है और चौथी स्थिति को समाप्त कर देता है।
 * $$f \star g = fg + \mathcal O(\hbar),$$ बिंदुवार प्रोडक्ट का विरूपण उपरोक्त सूत्र में निहित है।
 * $$f \star g - g \star f = i\hbar\{f,g\} + \mathcal O(\hbar^3) \equiv i\hbar \{\{f,g\}\},$$ पॉइसन ब्रैकेट का विरूपण, जिसे मोयल ब्रैकेट कहा जाता है।
 * $$f \star 1 = 1 \star f = f,$$ अविकृत बीजगणित का 1 नये बीजगणित में पहचान है।
 * $$\overline{f \star g} = \overline{g} \star \overline{f},$$ जटिल संयुग्म इंटेग्रल एंटीलिनियर एंटीऑटोमोर्फिज्म है।

यदि कोई बहुपद कार्यों को प्रतिबंधित करता है, तो उपरोक्त बीजगणित वेइल बीजगणित $A_{n}$ के लिए आइसोमोर्फिक है, और दोनों $n$ चर (या आयाम $2n$ के सदिश स्थान के सममित बीजगणित) में बहुपद के स्थान के विग्नर-वेइल परिवर्तन की वैकल्पिक प्राप्ति को प्रस्तुत करते हैं।

स्पष्ट सूत्र प्रदान करने के लिए, $ℝ^{2n}$ पर इंटेग्रल स्थिर पॉइसन बायवेक्टर $Π$ पर विचार करें: $$\Pi = \sum_{i,j} \Pi^{ij} \partial_i \wedge \partial_j,$$ जहाँ $Π^{ij}$ प्रत्येक $i, j$ के लिए इंटेग्रल वास्तविक संख्या है। दो फलन $f$ और $g$ के स्टार प्रोडक्ट को उन दोनों पर कार्य करने वाले सूडो-विभेदक ऑपरेटर के रूप में परिभाषित किया जा सकता है, $$f \star g = fg + \frac{i\hbar}{2} \sum_{i,j} \Pi^{ij} (\partial_i f) (\partial_j g) - \frac{\hbar^2}{8} \sum_{i,j,k,m} \Pi^{ij} \Pi^{km} (\partial_i \partial_k f) (\partial_j \partial_m g) + \ldots,$$ जहाँ $ħ$ घटा हुआ प्लैंक स्थिरांक है, जिसे यहां औपचारिक पैरामीटर के रूप में माना जाता है।

यह प्रतीकों के बीजगणित पर बेरेज़िन सूत्र के रूप में जाना जाने वाला विशेष केस है और इसे विवृत रूप दिया जा सकता है (जो बेकर-कैंपबेल-हॉसडॉर्फ सूत्र से अनुसरण करता है)। घातांक का उपयोग करके विवृत फॉर्म प्राप्त किया जा सकता है: $$f \star g = m \circ e^{\frac{i\hbar}{2} \Pi}(f \otimes g),$$ जहाँ $m$ गुणन मानचित्र है, $m(a ⊗ b) = ab$, और घातांक को इंटेग्रल घात श्रृंखला के रूप में माना जाता है,$$e^A = \sum_{n=0}^\infty \frac{1}{n!} A^n.$$अर्थात् $C_{n}$ का सूत्र है:$$C_n = \frac{i^n}{2^n n!} m \circ \Pi^n.$$जैसा कि संकेत दिया गया है, प्रायः उपरोक्त $i$ की सभी घटनाओं को समाप्त कर दिया जाता है, और फिर सूत्र स्वाभाविक रूप से वास्तविक संख्याओं तक सीमित हो जाते हैं।

ध्यान दें कि यदि फलन $f$ और $g$ बहुपद हैं, उपरोक्त अनंत योग परिमित हो जाते हैं (सामान्य वेइल-बीजगणित स्तिथि को कम करते हुए)।

सार्वभौमिक आवरण "प्रतीकों के बीजगणित" की परिभाषा में उपयोग किए जाने वाले सामान्यीकृत ★-प्रोडक्ट के साथ मोयल प्रोडक्ट का संबंध इस तथ्य से ज्ञात होता है कि वेइल बीजगणित हेइज़ेनबर्ग बीजगणित का सार्वभौमिक आवरण बीजगणित है (मॉड्यूलो जो केंद्र में है) यह इकाई के समान है)।

मैनिफोल्ड्स
किसी भी सिंपलेक्टिक मैनिफोल्ड पर, कोई भी, कम से कम स्थानीय रूप से, निर्देशांक चयन कर सकता है जिससे डार्बौक्स के प्रमेय द्वारा सिंपलेक्टिक संरचना को स्थिर बनाया जा सके; और, संबंधित पॉइसन बायवेक्टर का उपयोग करके, कोई उपरोक्त सूत्र पर विचार कर सकता है। इसे विश्व स्तर पर कार्य करने के लिए, संपूर्ण मैनिफोल्ड (और सिर्फ इंटेग्रल स्थानीय सूत्र नहीं) पर इंटेग्रल फलन के रूप में, किसी को सिम्पलेक्टिक मैनिफोल्ड को टॉरशन-फ्री सिम्पलेक्टिक कनेक्शन (गणित) से लैस करना होगा। यह इसे फेडोसोव मैनिफोल्ड बनाता है।

स्वेछानुसार पॉइसन मैनिफोल्ड्स (जहां डार्बौक्स प्रमेय प्रारम्भ नहीं होता है) के लिए अधिक सामान्य परिणाम कोंटसेविच परिमाणीकरण सूत्र द्वारा दिए गए हैं।

उदाहरण
★-प्रोडक्ट के निर्माण और उपयोगिता का इंटेग्रल सरल स्पष्ट उदाहरण (द्वि-आयामी यूक्लिडियन चरण स्थान के सबसे सरल केस के लिए) विग्नर-वेइल परिवर्तन पर लेख में दिया गया है: दो गॉसियन इस ★-प्रोडक्ट के अनुसार रचना करते हैं अतिपरवलयिक स्पर्शरेखा नियम निम्न है: $$ \exp\left[-a\left(x^2 + p^2\right)\right] \star \exp\left[-b\left(x^2 + p^2\right)\right] = \frac{1}{1 + \hbar^2 ab} \exp\left[-\frac{a + b}{1 + \hbar^2 ab} \left(x^2 + p^2\right)\right]. $$(शास्त्रीय सीमा पर ध्यान दें, $ħ → 0$) चूँकि, चरण स्थान और हिल्बर्ट स्थान के मध्य प्रत्येक पत्राचार विधि अपने स्वयं के उचित ★-प्रोडक्ट को प्रेरित करता है।

इसी प्रकार के परिणाम सेगल-बार्गमैन स्पेस और हाइजेनबर्ग समूह के थीटा प्रतिनिधित्व में देखे जाते हैं, जहां निर्माण और अन्निहिलेशन ऑपरेटरों $a^{∗} = z$ और $a = ∂/∂z$ को जटिल तल (क्रमशः, ऊपरी पर कार्य करने के लिए हेइज़ेनबर्ग समूह के लिए अर्ध-तल को समझा जाता है), जिससे स्थिति और संवेग संचालक $x = (a + a^{∗})/2$ और $p = (a - a^{∗})/(2i)$ द्वारा दिए जाएं। यह स्थिति उस केस से स्पष्ट रूप से भिन्न है जहां पदों को वास्तविक-मूल्यवान माना जाता है, किंतु यह हाइजेनबर्ग बीजगणित और उसके आवरण, वेइल बीजगणित की समग्र बीजगणितीय संरचना में अंतर्दृष्टि प्रदान करता है।

फ़ेज़-स्पेस इंटीग्रल्स के अंदर
फ़ेज़ इंटेग्रल अभिन्न अंग के अंदर, मोयल प्रकार का स्टार प्रोडक्ट ड्राप किया जा सकता है, जिसके परिणामस्वरूप सरल गुणन होता है, जैसा कि भागों द्वारा एकीकरण से स्पष्ट होता है, $$\int dx\,dp\;f\star g= \int dx\,dp ~f ~g,$$ फ़ेज़ इंटेग्रल ट्रेस की चक्रीयता को प्रकट करना। यह उपरोक्त विशिष्ट मोयल प्रोडक्ट का इंटेग्रल अद्वितीय गुण है, और अन्य पत्राचार नियमों के स्टार प्रोडक्टों, जैसे हुसिमी, आदि के लिए प्रारम्भ नहीं होती है।