पॉइसन योग सूत्र: Difference between revisions
(Created page with "{{Short description|Equation in Fourier analysis}} {{Use American English|date=January 2019}} गणित में, पॉइसन योग सूत्र एक सम...") |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Equation in Fourier analysis}} | {{Short description|Equation in Fourier analysis}} | ||
गणित में, पॉइसन योग सूत्र एक समीकरण है जो किसी [[फ़ंक्शन (गणित)|फलन (गणित)]] के [[आवधिक योग]] के फूरियर श्रृंखला गुणांक को फलन के निरंतर फूरियर परिवर्तन के मूल्यों से जोड़ता है। परिणाम स्वरुप किसी फलन का आवधिक योग मूल फलन के फूरियर रूपांतरण के अलग-अलग नमूनों द्वारा पूरी तरह से परिभाषित होता है। और इसके विपरीत किसी फलन के फूरियर रूपांतरण का आवधिक योग पूरी तरह से मूल फलन के अलग-अलग नमूनों द्वारा परिभाषित किया गया है। पॉइसन योग सूत्र की खोज शिमोन डेनिस पॉइसन ने की थी और इसे कभी-कभी पॉइसन पुनर्मूल्यांकन भी कहा जाता है। | |||
गणित में, पॉइसन योग सूत्र एक समीकरण है जो किसी [[फ़ंक्शन (गणित)]] के [[आवधिक योग]] के फूरियर श्रृंखला गुणांक को | |||
==समीकरण के रूप== | ==समीकरण के रूप== | ||
फूरियर रूपांतरण <math display="inline">S(f) \triangleq \int_{-\infty}^{\infty} s(x)\ e^{-i2\pi fx}\, dx,</math> के साथ एक एपेरियोडिक फलन <math>s(x)</math> पर विचार करें जिसे वैकल्पिक रूप से <math>\hat s(f)</math> और <math>\mathcal{F}\{s\}(f).</math> द्वारा निर्दिष्ट किया गया है | |||
{{NumBlk||<math display="block">\sum_{n=-\infty}^\infty s(n)=\sum_{k=-\infty}^\infty S(k).</math>|{{EquationRef|Eq.1}}}} | {{NumBlk||<math display="block">\sum_{n=-\infty}^\infty s(n)=\sum_{k=-\infty}^\infty S(k).</math>|{{EquationRef|Eq.1}}}} | ||
आवधिक कार्यों पर भी विचार करें, जहां पैरामीटर <math>T>0</math> और <math>P>0</math> | |||
आवधिक कार्यों पर भी विचार करें, जहां पैरामीटर <math>T>0</math> और <math>P>0</math> <math>x</math> के समान इकाइयों में हैं। | |||
<math display="block">s_{_P}(x) \triangleq \sum_{n=-\infty}^{\infty} s(x + nP) \quad \text{and} \quad S_{1/T}(f) \triangleq \sum_{k=-\infty}^{\infty} S(f + k/T). | <math display="block">s_{_P}(x) \triangleq \sum_{n=-\infty}^{\infty} s(x + nP) \quad \text{and} \quad S_{1/T}(f) \triangleq \sum_{k=-\infty}^{\infty} S(f + k/T). | ||
</math> | </math> | ||
तब {{EquationNote|Eq.1}} इस सामान्यीकरण का एक विशेष | तब {{EquationNote|Eq.1}} इस सामान्यीकरण का एक विशेष स्थिति (P=1, x=0) है:<ref name="Pinsky" /><ref name="Zygmund" /> | ||
{{NumBlk||<math display="block">s_{_P}(x) = \sum_{k=-\infty}^{\infty} \underbrace{\frac{1}{P}\cdot S\left(\frac{k}{P}\right)}_{S[k]}\ e^{i 2\pi \frac{k}{P} x },</math> |{{EquationRef|Eq.2}}}} | {{NumBlk||<math display="block">s_{_P}(x) = \sum_{k=-\infty}^{\infty} \underbrace{\frac{1}{P}\cdot S\left(\frac{k}{P}\right)}_{S[k]}\ e^{i 2\pi \frac{k}{P} x },</math> |{{EquationRef|Eq.2}}}} | ||
जो गुणांकों के साथ एक फूरियर श्रृंखला विस्तार है जो | जो गुणांकों के साथ एक फूरियर श्रृंखला विस्तार है जो फलन <math>S(f).</math> के नमूने हैं इसी प्रकार: | ||
{{NumBlk||<math display="block">S_{1/T}(f) = \sum_{n=-\infty}^{\infty} \underbrace{T\cdot s(nT)}_{s[n]}\ e^{-i 2\pi n Tf},</math>|{{EquationRef|Eq.3}}}} | {{NumBlk||<math display="block">S_{1/T}(f) = \sum_{n=-\infty}^{\infty} \underbrace{T\cdot s(nT)}_{s[n]}\ e^{-i 2\pi n Tf},</math>|{{EquationRef|Eq.3}}}} | ||
Line 80: | Line 80: | ||
}} | }} | ||
पोइसन योग सूत्र को छोटे | पोइसन योग सूत्र को छोटे स्पष्ट अनुक्रमों के साथ पोंट्रीगिन द्वैत की अनुकूलता का उपयोग करके अधिक वैचारिक रूप से सिद्ध किया जा सकता है जैसे कि<ref name=Deitmar/> | ||
<math display="block">0 \to \Z \to \R \to \R / \Z \to 0.</math> | <math display="block">0 \to \Z \to \R \to \R / \Z \to 0.</math> | ||
Line 88: | Line 88: | ||
{{EquationNote|Eq.2}} होल्ड प्रदान किया गया <math>s(x)</math> एक सतत एलपी स्थान है जो संतुष्ट करता है | {{EquationNote|Eq.2}} होल्ड प्रदान किया गया <math>s(x)</math> एक सतत एलपी स्थान है जो संतुष्ट करता है | ||
<math display="block">|s(x)| + |S(x)| \le C (1+|x|)^{-1-\delta}</math> | <math display="block">|s(x)| + |S(x)| \le C (1+|x|)^{-1-\delta}</math> | ||
कुछ | कुछ <math>C > 0,\delta > 0</math> और प्रत्येक <math>x.</math> के लिए<ref name="Grafakos" /><ref name="Stein" /> ध्यान दें कि ऐसा <math>s(x)</math> समान रूप से निरंतर है, यह <math>s</math> पर क्षय धारणा के साथ मिलकर दर्शाता है कि <math>s_{_P}</math> को परिभाषित करने वाली श्रृंखला समान रूप से एक निरंतर फलन में परिवर्तित होती है। समीकरण {{EquationNote|Eq.2}} इस बात को शक्ति से मानता है कि दोनों पक्ष समान रूप से और बिल्कुल एक ही सीमा तक अभिसरित होते हैं।<ref name="Stein" /> | ||
{{EquationNote|Eq.2}} | {{EquationNote|Eq.2}} एक बिंदुवार अर्थ में पूरी तरह से अशक्त धारणा के तहत है कि <math>s</math> में सीमित भिन्नता है और <ref name=Zygmund/> | ||
<math display="block">2 \cdot s(x)=\lim_{\varepsilon\to 0} s(x+\varepsilon) + \lim_{\varepsilon\to 0} s(x-\varepsilon).</math> | <math display="block">2 \cdot s(x)=\lim_{\varepsilon\to 0} s(x+\varepsilon) + \lim_{\varepsilon\to 0} s(x-\varepsilon).</math> | ||
{{EquationNote|Eq.2}} के दाईं ओर फूरियर श्रृंखला को सममित आंशिक योगों की (नियमित रूप से अभिसरण) सीमा के रूप में समझा जाता है। | |||
जैसा कि ऊपर दिखाया गया है, {{EquationNote|Eq.2}} बहुत कम प्रतिबंधात्मक धारणा के तहत है कि <math>s(x)</math><math>L^1(\mathbb{R})</math> में है, किंतु फिर इसकी व्याख्या इस अर्थ में करना आवश्यक है कि दाहिनी ओर (संभवतः भिन्न) <math>s_{_P}(x).</math> की फूरियर श्रृंखला है<ref name=Zygmund/> इस स्थिति में, कोई उस क्षेत्र का विस्तार कर सकता है जहां सिजेरो योग जैसे योगनीयता विधियों पर विचार करके समानता कायम है। इस प्रकार अभिसरण की व्याख्या करते समय {{EquationNote|Eq.2}}, स्थिति <math>x=0,</math> इसे कम प्रतिबंधात्मक शर्तों के तहत रखा जाता है <math>s(x)</math> पूर्णांकीय है और 0 <math>s_{_P}(x)</math> निरंतरता का एक बिंदु है चूँकि {{EquationNote|Eq.2}} तब भी टिकने में विफल हो सकता है जब <math>s</math> और <math>S</math> दोनों पूर्णांक और निरंतर हों, और योग पूरी तरह से परिवर्तित हो जाएँ।<ref name="Katznelson" /> | |||
==अनुप्रयोग== | ==अनुप्रयोग== | ||
===[[छवियों की विधि]]=== | ===[[छवियों की विधि]]=== | ||
आंशिक अंतर समीकरणों में, पॉइसन योग सूत्र छवियों की विधि द्वारा आयताकार सीमा को अवशोषित करने के साथ गर्मी समीकरण के मौलिक समाधान के लिए एक कठोर औचित्य प्रदान करता है। यहां <math>\mathbb{R}^2</math> पर हीट कर्नेल ज्ञात है, और एक आयत का ताप आवर्तीकरण लेकर निर्धारित किया जाता है। पॉइसन योग सूत्र इसी प्रकार यूक्लिडियन रिक्त स्थान पर फूरियर विश्लेषण और संबंधित आयामों के टोरी के बीच एक संबंध प्रदान करता है।<ref name="Grafakos" /> एक आयाम में, परिणामी समाधान को थीटा फलन कहा जाता है। | |||
[[ बिजली का गतिविज्ञान ]] में, विधि का उपयोग आवधिक ग्रीन के कार्यों की गणना में तेजी लाने के लिए भी किया जाता है।<ref name="Kinayman"/> | [[ बिजली का गतिविज्ञान ]] में, विधि का उपयोग आवधिक ग्रीन के कार्यों की गणना में तेजी लाने के लिए भी किया जाता है।<ref name="Kinayman"/> | ||
Line 106: | Line 104: | ||
===नमूना=== | ===नमूना=== | ||
समय-श्रृंखला के सांख्यिकीय अध्ययन में, यदि <math>s</math> समय का एक कार्य है, तो केवल समय के समान दूरी वाले बिंदुओं पर इसके मूल्यों को देखना नमूनाकरण कहलाता है। अनुप्रयोगों में, आमतौर पर | समय-श्रृंखला के सांख्यिकीय अध्ययन में, यदि <math>s</math> समय का एक कार्य है, तो केवल समय के समान दूरी वाले बिंदुओं पर इसके मूल्यों को देखना नमूनाकरण कहलाता है। अनुप्रयोगों में, आमतौर पर फलन <math>s</math> [[बैंडलिमिटिंग]] है|बैंड-लिमिटेड, जिसका अर्थ है कि कुछ कटऑफ आवृत्ति है <math>f_o</math> ऐसा है कि <math>S(f)</math> कटऑफ से अधिक आवृत्तियों के लिए शून्य है: <math>S(f)=0</math> के लिए <math>|f|>f_o.</math> बैंड-सीमित कार्यों के लिए, नमूना दर चुनना <math>\tfrac{1}{T} > 2 f_o</math> आश्वासन देता है कि कोई भी जानकारी नष्ट नहीं हुई है: तब से <math>S</math> इन नमूना मूल्यों से पुनर्निर्माण किया जा सकता है। फिर, फूरियर व्युत्क्रमण द्वारा, ऐसा हो सकता है <math>s.</math> यह नाइक्विस्ट-शैनन नमूनाकरण प्रमेय की ओर ले जाता है।<ref name=Pinsky/> | ||
समय-श्रृंखला के सांख्यिकीय अध्ययन में, यदि <math>s</math> समय का एक फलन है, तो समय के समान दूरी वाले बिंदुओं पर केवल इसके मानों को देखना "नमूनाकरण" कहलाता है। अनुप्रयोगों में, सामान्यतः फलन <math>s</math> बैंड-सीमित होता है, जिसका अर्थ है कि कुछ कटऑफ आवृत्ति <math>f_o</math> है, जैसे कि कटऑफ से अधिक आवृत्तियों के लिए <math>S(f)</math> शून्य है: <math>S(f)=0</math> के लिए <math>|f|>f_o.</math> बैंड-सीमित कार्यों के लिए, नमूना दर<math>\tfrac{1}{T} > 2 f_o</math> चुनने से यह आश्वासन मिलती है कि कोई भी जानकारी नष्ट नहीं हुई है: क्योंकि इन नमूना मूल्यों से एस का पुनर्निर्माण किया जा सकता है। फिर, फूरियर व्युत्क्रम द्वारा, एस भी हो सकता है। यह नाइक्विस्ट-शैनन नमूनाकरण प्रमेय की ओर ले जाता है।<ref name="Pinsky" /> | |||
===इवाल्ड योग=== | ===इवाल्ड योग=== | ||
कम्प्यूटेशनल रूप से, पॉइसन योग सूत्र उपयोगी है क्योंकि वास्तविक स्थान में धीरे-धीरे परिवर्तित होने वाले योग को फूरियर | कम्प्यूटेशनल रूप से, पॉइसन योग सूत्र उपयोगी है क्योंकि वास्तविक स्थान में धीरे-धीरे परिवर्तित होने वाले योग को फूरियर स्थान में तेजी से परिवर्तित होने वाले समतुल्य योग में परिवर्तित होने की आश्वासन है।<ref>[[Philip Woodward|Woodward, Philipp M.]] (1953). ''Probability and Information Theory, with Applications to Radar''. Academic Press, p. 36.</ref> (वास्तविक स्थान में एक व्यापक कार्य फूरियर अंतरिक्ष में एक संकीर्ण कार्य बन जाता है और इसके विपरीत।) इवाल्ड योग के पीछे यह आवश्यक विचार है। | ||
===अभिन्नों का अनुमान=== | ===अभिन्नों का अनुमान=== | ||
पॉइसन योग सूत्र तब प्राप्त त्रुटियों को सीमित करने के लिए भी उपयोगी होता है जब एक अभिन्न अंग को (रीमैन) योग द्वारा अनुमानित किया जाता है। | पॉइसन योग सूत्र तब प्राप्त त्रुटियों को सीमित करने के लिए भी उपयोगी होता है जब एक अभिन्न अंग को (रीमैन) योग द्वारा अनुमानित किया जाता है। <math display="inline">S(0)=\int_{-\infty}^\infty dx \, s(x)</math> के अनुमान को <math display="inline">\delta \sum_{n=-\infty}^\infty s(n \delta)</math> मानें, जहां <math> \delta \ll 1 </math> बिन का आकार है। फिर, समीकरण {{EquationNote|Eq.2}} के अनुसार यह सन्निकटन <math display="inline"> \sum_{k=-\infty}^\infty S(k/ \delta)</math> से मेल खाता है। सन्निकटन में त्रुटि को फिर <math display="inline">\left| \sum_{k \ne 0} S(k/ \delta) \right| \le \sum_{k \ne 0} | S(k/ \delta)|</math> के रूप में परिबद्ध किया जा सकता है। यह विशेष रूप से तब उपयोगी होता है जब <math>1/\delta \gg 1 </math> होने पर <math> s(x) </math> का फूरियर रूपांतरण तेजी से क्षय हो रहा हो। | ||
===गोले में जाली बिंदु=== | ===गोले में जाली बिंदु=== | ||
बड़े यूक्लिडियन क्षेत्र में जाली बिंदुओं की संख्या के लिए लैंडौ के एसिम्प्टोटिक सूत्र को प्राप्त करने के लिए पॉइसन योग सूत्र का उपयोग किया जा सकता है। इसका उपयोग यह दिखाने के लिए भी किया जा सकता है कि यदि एक | बड़े यूक्लिडियन क्षेत्र में जाली बिंदुओं की संख्या के लिए लैंडौ के एसिम्प्टोटिक सूत्र को प्राप्त करने के लिए पॉइसन योग सूत्र का उपयोग किया जा सकता है। इसका उपयोग यह दिखाने के लिए भी किया जा सकता है कि यदि एक इंटीग्रेबल फलन <math>s</math> और <math>S</math> दोनों के पास कॉम्पैक्ट समर्थन <math>s = 0.</math> है तो<ref name=Pinsky/> | ||
===[[संख्या सिद्धांत]]=== | |||
संख्या सिद्धांत में, [[रीमैन ज़ेटा फ़ंक्शन|रीमैन ज़ेटा]] फलन के लिए कार्यात्मक समीकरण सहित विभिन्न प्रकार के कार्यात्मक समीकरण प्राप्त करने के लिए पॉइसन योग का भी उपयोग किया जा सकता है।<ref>[[Harold Edwards (mathematician)|H. M. Edwards]] (1974). ''Riemann's Zeta Function''. Academic Press, pp. 209–11. {{ISBN|0-486-41740-9}}.</ref> | |||
पॉइसन योग का ऐसा एक महत्वपूर्ण उपयोग थीटा फलन से संबंधित है: गॉसियन का आवधिक योग। ऊपरी आधे तल में <math> \tau</math> के लिए एक सम्मिश्र संख्या <math> q= e^{i\pi \tau } </math> रखें, और थीटा फलन को परिभाषित करें: | |||
पॉइसन योग का ऐसा एक महत्वपूर्ण उपयोग थीटा | |||
<math display="block"> \theta ( \tau) = \sum_n q^{n^2}. </math> | <math display="block"> \theta ( \tau) = \sum_n q^{n^2}. </math> | ||
<math> \theta (-1/\tau)</math> और <math> \theta (\tau)</math> के बीच का संबंध संख्या सिद्धांत के लिए महत्वपूर्ण सिद्ध होता है, क्योंकि इस प्रकार का संबंध मॉड्यूलर रूप के परिभाषित गुणों में से एक है। <math>s(x)= e^{-\pi x^2}</math> को चुनकर और इस तथ्य का उपयोग करके कि <math>S(f) = e^{-\pi f ^2},</math> कोई निष्कर्ष निकाल सकता है: | |||
<math display="block">\theta \left({-1\over\tau}\right) = \sqrt{\tau \over i} \theta (\tau),</math> रख करके <math>{1/\lambda} = \sqrt{\tau/i}.</math> | <math display="block">\theta \left({-1\over\tau}\right) = \sqrt{\tau \over i} \theta (\tau),</math> रख करके <math>{1/\lambda} = \sqrt{\tau/i}.</math> | ||
इससे यह | इससे यह पता चलता है कि <math>\theta^8</math> में <math>\tau \mapsto {-1/ \tau}</math> के अंतर्गत एक सरल परिवर्तन गुण है और इसका उपयोग किसी पूर्णांक को आठ पूर्ण वर्गों के योग के रूप में व्यक्त करने के विभिन्न विधि की संख्या के लिए जैकोबी के सूत्र को सिद्ध करने के लिए किया जा सकता है। | ||
===क्षेत्र पैकिंग=== | ===क्षेत्र पैकिंग=== | ||
कोहन और एल्कीज़ | कोहन और एल्कीज़ ने पॉइसन योग सूत्र का उपयोग करके गोले की पैकिंग के घनत्व पर एक ऊपरी सीमा सिद्ध की जिसके बाद आयाम 8 और 24 में इष्टतम गोले की पैकिंग का प्रमाण मिला।<ref name=Cohn/> | ||
===अन्य=== | ===अन्य=== | ||
* होने देना <math>s(x) = e^{-ax}</math> के लिए <math>0 \leq x</math> और <math>s(x) = 0</math> के लिए <math>x < 0</math> पाने के <math display="block">\coth(x) = x\sum_{n \in \Z} \frac{1}{x^2+\pi^2n^2} = \frac{1}{x}+ 2x \sum_{n \in \Z_+} \frac{1}{x^2+\pi^2n^2}.</math> | * होने देना <math>s(x) = e^{-ax}</math> के लिए <math>0 \leq x</math> और <math>s(x) = 0</math> के लिए <math>x < 0</math> पाने के <math display="block">\coth(x) = x\sum_{n \in \Z} \frac{1}{x^2+\pi^2n^2} = \frac{1}{x}+ 2x \sum_{n \in \Z_+} \frac{1}{x^2+\pi^2n^2}.</math> | ||
* इसका उपयोग थीटा | * इसका उपयोग थीटा फलन के लिए कार्यात्मक समीकरण को सिद्ध करने के लिए किया जा सकता है। | ||
* पॉइसन का सारांश सूत्र रामानुजन की नोटबुक में दिखाई देता है और इसका उपयोग उनके कुछ सूत्रों को | * पॉइसन का सारांश सूत्र रामानुजन की नोटबुक में दिखाई देता है और इसका उपयोग उनके कुछ सूत्रों को सिद्ध करने के लिए किया जा सकता है विशेष रूप से इसका उपयोग रामानुजन के हार्डी को लिखे पहले पत्र में से एक सूत्र को सिद्ध करने के लिए किया जा सकता है।{{Clarify|reason=|date=May 2019}} | ||
* इसका उपयोग द्विघात गॉस योग की गणना के लिए किया जा सकता है। | * इसका उपयोग द्विघात गॉस योग की गणना के लिए किया जा सकता है। | ||
==सामान्यीकरण== | ==सामान्यीकरण== | ||
पॉइसन योग सूत्र | पॉइसन योग सूत्र यूक्लिडियन स्थान में इच्छानुसार आयाम रखता है। मान लीजिए <math>\Lambda</math> <math>\mathbb{R}^d</math> में जाली है जिसमें पूर्णांक निर्देशांक वाले बिंदु सम्मिलित हैं। <math>L^1(\mathbb{R}^d)</math> में एक फलन <math>s</math> के लिए, <math>\Lambda</math> के तत्वों द्वारा <math>s</math> के अनुवादों को जोड़कर दी गई श्रृंखला पर विचार करें। | ||
<math display="block">\sum_{\nu\in\Lambda} s(x+\nu).</math> | <math display="block">\sum_{\nu\in\Lambda} s(x+\nu).</math> | ||
<math>L^1(\mathbb{R}^d)</math> में <math>s</math> के लिए प्रमेय, उपरोक्त श्रृंखला लगभग हर जगह बिंदुवार अभिसरण करती है, और इस प्रकार <math>\Lambda.</math> पर एक आवधिक फलन <math>\mathbb{P}s</math> को परिभाषित करती है जो <math>L^1</math> में <math>\| \mathbb{P}s \|_1 \le \| s \|_1.</math> के साथ स्थित है | |||
इसके अतिरिक्त , <math>\nu</math> में सभी<math>\Lambda,</math> के लिए, <math>\mathbb{P}S(\nu)</math> (<math>\Lambda</math> पर फूरियर रूपांतरण) <math>S(\nu)</math> के समान है (<math>\mathbb{R}^d</math> पर फूरियर रूपांतरण)। | |||
जब s अतिरिक्त रूप से निरंतर होता है, और <math>s</math> और <math>S</math> दोनों अनंत पर पर्याप्त तेजी से क्षय करते हैं, तो कोई डोमेन को <math>\mathbb{R}^d</math> पर वापस "उलटा" कर सकता है और एक सशक्त कथन बना सकता है। अधिक स्पष्ट रूप से, यदि | |||
<math display="block">|s(x)| + |S(x)| \le C (1+|x|)^{-d-\delta}</math> | <math display="block">|s(x)| + |S(x)| \le C (1+|x|)^{-d-\delta}</math> | ||
कुछ C के लिए, δ > 0, तो<ref name=Stein/>{{rp|at=VII §2}} | कुछ C के लिए, δ > 0, तो<ref name=Stein/>{{rp|at=VII §2}} | ||
<math display="block">\sum_{\nu\in\Lambda} s(x+\nu) = \sum_{\nu\in\Lambda} S(\nu) e^{i 2\pi x\cdot\nu}, </math> | <math display="block">\sum_{\nu\in\Lambda} s(x+\nu) = \sum_{\nu\in\Lambda} S(\nu) e^{i 2\pi x\cdot\nu}, </math> | ||
जहां दोनों श्रृंखलाएं बिल्कुल और समान रूप से Λ पर अभिसरित होती हैं। जब d = 1 और x = 0, तो यह | जहां दोनों श्रृंखलाएं बिल्कुल और समान रूप से Λ पर अभिसरित होती हैं। जब d = 1 और x = 0, तो यह उपरोक्त समीकरण {{EquationNote|Eq.1}} देता है। | ||
अधिक आम तौर पर, कथन का एक संस्करण | अधिक आम तौर पर, कथन का एक संस्करण तब मान्य होता है जब Λ को <math>\mathbb{R}^d</math> में अधिक सामान्य जाली द्वारा प्रतिस्थापित किया जाता है। दोहरी जाली Λ′ को दोहरे वेक्टर स्थान के उपसमुच्चय के रूप में या वैकल्पिक रूप से पोंट्रीगिन द्वैत द्वारा परिभाषित किया जा सकता है। तब कथन यह है कि Λ के प्रत्येक बिंदु पर और Λ′ के प्रत्येक बिंदु पर डेल्टा-फलन का योग, फिर से फूरियर वितरण के रूप में रूपांतरित होता है, जो सही सामान्यीकरण के अधीन है। | ||
इसे थीटा | इसे थीटा फलन के सिद्धांत में प्रयुक्त किया जाता है, और [[संख्याओं की ज्यामिति]] में यह एक संभावित विधि है। वास्तव में क्षेत्रों में जाली बिंदुओं की गिनती पर वर्तमान के काम में इसका नियमित रूप से उपयोग किया जाता है - जाली बिंदुओं पर एक क्षेत्र डी के संकेतक फलन का योग वास्तव में प्रश्न है, जिससे योग सूत्र के एक समीकरण के पक्ष वही हों जो मांगे गए हैं और किसी समीकरण के पक्ष कुछ ऐसे हैं जिन पर [[गणितीय विश्लेषण]] द्वारा आक्रमण किया जा सकता है। | ||
===सेलबर्ग ट्रेस | ===सेलबर्ग ट्रेस सूत्र === | ||
{{main article| | {{main article|सेलबर्ग ट्रेस फॉर्मूला}} | ||
संख्या सिद्धांत में [[स्थानीय रूप से सघन एबेलियन समूह]] | संख्या सिद्धांत में [[स्थानीय रूप से सघन एबेलियन समूह]] का और अधिक सामान्यीकरण आवश्यक है। गैर-कम्यूटेटिव [[हार्मोनिक विश्लेषण]] में, विचार को सेलबर्ग ट्रेस सूत्र में और भी आगे ले जाया जाता है, किंतु यह बहुत गहरा चरित्र लेता है। | ||
संख्या सिद्धांत में हार्मोनिक विश्लेषण | संख्या सिद्धांत में हार्मोनिक विश्लेषण प्रयुक्त करने वाले गणितज्ञों की एक श्रृंखला, विशेष रूप से मार्टिन आइक्लर, एटल सेलबर्ग, रॉबर्ट लैंगलैंड्स और जेम्स आर्थर ने, एक असतत उपसमूह के साथ गैर-कम्यूटेटिव स्थानीय रूप से कॉम्पैक्ट रिडक्टिव बीजगणितीय समूह <math> G</math> पर फूरियर रूपांतरण के लिए पोइसन योग सूत्र को सामान्यीकृत किया है। <math> \Gamma</math> इस प्रकार कि <math> G/\Gamma</math> का आयतन सीमित है। उदाहरण के लिए, <math> G</math> <math> SL_n</math> का वास्तविक बिंदु हो सकता है और <math> \Gamma</math>, <math> SL_n</math> का अभिन्न बिंदु हो सकता है। इस सेटिंग में, <math> G</math> पॉइसन योग के मौलिक संस्करण में वास्तविक संख्या रेखा की भूमिका निभाता है, और <math> \Gamma</math> योग में दिखाई देने वाले पूर्णांक <math> n</math> की भूमिका निभाता है। पॉइसन सारांश के सामान्यीकृत संस्करण को सेलबर्ग ट्रेस सूत्र कहा जाता है, और इसने आर्टिन के अनुमान के कई स्थितियों और विल्स के फ़र्मेट के अंतिम प्रमेय के प्रमाण को सिद्ध करने में भूमिका निभाई है। {{EquationNote|Eq.1}} का बायाँ भाग <math> G</math> के अघुलनशील एकात्मक निरूपण का योग बन जाता है, और इसे "वर्णक्रमीय पक्ष" कहा जाता है, जबकि दाहिना भाग <math> \Gamma</math> के संयुग्मी वर्गों का योग बन जाता है, और इसे "ज्यामितीय" कहा जाता है ।" | ||
पॉइसन योग सूत्र हार्मोनिक विश्लेषण और संख्या सिद्धांत में व्यापक विकास का आदर्श है। | पॉइसन योग सूत्र हार्मोनिक विश्लेषण और संख्या सिद्धांत में व्यापक विकास का आदर्श है। | ||
===संकल्प प्रमेय=== | ===संकल्प प्रमेय=== | ||
{{see also| | {{see also|कन्वोल्यूशन प्रमेय या टेम्पर्ड वितरण के लिए कन्वोल्यूशन प्रमेय}} | ||
पॉइसन योग सूत्र वितरण (गणित) | |||
पॉइसन योग सूत्र वितरण (गणित) या टेम्पर्ड वितरण पर [[कनवल्शन प्रमेय]] का एक विशेष स्थिति है। यदि दो कारकों में से एक डायराक कोंब है, तो समीकरण के एक तरफ आवधिक योग और दूसरी तरफ [[नमूनाकरण (सिग्नल प्रोसेसिंग)]] प्राप्त होता है। [[डिराक डेल्टा फ़ंक्शन|डिराक डेल्टा]] फलन और इसके फूरियर ट्रांसफॉर्म पर प्रयुक्त फलन जो निरन्तर 1 है, यह डिराक कोंब पहचान उत्पन्न करता है। | |||
'''पॉइसन योग सूत्र टेम्पर्ड वितरण पर कनवल्शन प्रमेय का एक विशेष मामला है। यदि दो कारकों में से एक डायराक कंघी है,तार 1 है, यह डिराक कंघी पहचान उत्पन्न करता है।''' | |||
==यह भी देखें== | ==यह भी देखें== | ||
Line 173: | Line 174: | ||
*[[ बोरोन सूत्र ]] | *[[ बोरोन सूत्र ]] | ||
* असतत-समय फूरियर रूपांतरण | * असतत-समय फूरियर रूपांतरण | ||
* [[एल-फ़ंक्शन के लिए स्पष्ट सूत्र]] | * [[एल-फ़ंक्शन के लिए स्पष्ट सूत्र|एल-फलन के लिए स्पष्ट सूत्र]] | ||
{{notelist-ua}} | {{notelist-ua}} |
Revision as of 10:23, 12 July 2023
गणित में, पॉइसन योग सूत्र एक समीकरण है जो किसी फलन (गणित) के आवधिक योग के फूरियर श्रृंखला गुणांक को फलन के निरंतर फूरियर परिवर्तन के मूल्यों से जोड़ता है। परिणाम स्वरुप किसी फलन का आवधिक योग मूल फलन के फूरियर रूपांतरण के अलग-अलग नमूनों द्वारा पूरी तरह से परिभाषित होता है। और इसके विपरीत किसी फलन के फूरियर रूपांतरण का आवधिक योग पूरी तरह से मूल फलन के अलग-अलग नमूनों द्वारा परिभाषित किया गया है। पॉइसन योग सूत्र की खोज शिमोन डेनिस पॉइसन ने की थी और इसे कभी-कभी पॉइसन पुनर्मूल्यांकन भी कहा जाता है।
समीकरण के रूप
फूरियर रूपांतरण के साथ एक एपेरियोडिक फलन पर विचार करें जिसे वैकल्पिक रूप से और द्वारा निर्दिष्ट किया गया है
|
(Eq.1) |
आवधिक कार्यों पर भी विचार करें, जहां पैरामीटर और के समान इकाइयों में हैं।
|
(Eq.2) |
जो गुणांकों के साथ एक फूरियर श्रृंखला विस्तार है जो फलन के नमूने हैं इसी प्रकार:
|
(Eq.3) |
इसे महत्वपूर्ण असतत-समय फूरियर रूपांतरण के रूप में भी जाना जाता है।
A proof may be found in either Pinsky[1] or Zygmund.[2] Eq.2, for instance, holds in the sense that if , then the right-hand side is the (possibly divergent) Fourier series of the left-hand side. It follows from the dominated convergence theorem that exists and is finite for almost every . Furthermore it follows that is integrable on any interval of length So it is sufficient to show that the Fourier series coefficients of are Proceeding from the definition of the Fourier coefficients we have:
where the interchange of summation with integration is once again justified by dominated convergence. With a change of variables () this becomes:
Distributional formulation
These equations can be interpreted in the language of distributions[3][4]: §7.2 for a function whose derivatives are all rapidly decreasing (see Schwartz function). The Poisson summation formula arises as a particular case of the Convolution Theorem on tempered distributions, using the Dirac comb distribution and its Fourier series:
In other words, the periodization of a Dirac delta resulting in a Dirac comb, corresponds to the discretization of its spectrum which is constantly one. Hence, this again is a Dirac comb but with reciprocal increments.
For the case Eq.1 readily follows:
Similarly:
Or:[5]: 143
पोइसन योग सूत्र को छोटे स्पष्ट अनुक्रमों के साथ पोंट्रीगिन द्वैत की अनुकूलता का उपयोग करके अधिक वैचारिक रूप से सिद्ध किया जा सकता है जैसे कि[6]
प्रयोज्यता
Eq.2 होल्ड प्रदान किया गया एक सतत एलपी स्थान है जो संतुष्ट करता है
Eq.2 एक बिंदुवार अर्थ में पूरी तरह से अशक्त धारणा के तहत है कि में सीमित भिन्नता है और [2]
जैसा कि ऊपर दिखाया गया है, Eq.2 बहुत कम प्रतिबंधात्मक धारणा के तहत है कि में है, किंतु फिर इसकी व्याख्या इस अर्थ में करना आवश्यक है कि दाहिनी ओर (संभवतः भिन्न) की फूरियर श्रृंखला है[2] इस स्थिति में, कोई उस क्षेत्र का विस्तार कर सकता है जहां सिजेरो योग जैसे योगनीयता विधियों पर विचार करके समानता कायम है। इस प्रकार अभिसरण की व्याख्या करते समय Eq.2, स्थिति इसे कम प्रतिबंधात्मक शर्तों के तहत रखा जाता है पूर्णांकीय है और 0 निरंतरता का एक बिंदु है चूँकि Eq.2 तब भी टिकने में विफल हो सकता है जब और दोनों पूर्णांक और निरंतर हों, और योग पूरी तरह से परिवर्तित हो जाएँ।[9]
अनुप्रयोग
छवियों की विधि
आंशिक अंतर समीकरणों में, पॉइसन योग सूत्र छवियों की विधि द्वारा आयताकार सीमा को अवशोषित करने के साथ गर्मी समीकरण के मौलिक समाधान के लिए एक कठोर औचित्य प्रदान करता है। यहां पर हीट कर्नेल ज्ञात है, और एक आयत का ताप आवर्तीकरण लेकर निर्धारित किया जाता है। पॉइसन योग सूत्र इसी प्रकार यूक्लिडियन रिक्त स्थान पर फूरियर विश्लेषण और संबंधित आयामों के टोरी के बीच एक संबंध प्रदान करता है।[7] एक आयाम में, परिणामी समाधान को थीटा फलन कहा जाता है।
बिजली का गतिविज्ञान में, विधि का उपयोग आवधिक ग्रीन के कार्यों की गणना में तेजी लाने के लिए भी किया जाता है।[10]
नमूना
समय-श्रृंखला के सांख्यिकीय अध्ययन में, यदि समय का एक कार्य है, तो केवल समय के समान दूरी वाले बिंदुओं पर इसके मूल्यों को देखना नमूनाकरण कहलाता है। अनुप्रयोगों में, आमतौर पर फलन बैंडलिमिटिंग है|बैंड-लिमिटेड, जिसका अर्थ है कि कुछ कटऑफ आवृत्ति है ऐसा है कि कटऑफ से अधिक आवृत्तियों के लिए शून्य है: के लिए बैंड-सीमित कार्यों के लिए, नमूना दर चुनना आश्वासन देता है कि कोई भी जानकारी नष्ट नहीं हुई है: तब से इन नमूना मूल्यों से पुनर्निर्माण किया जा सकता है। फिर, फूरियर व्युत्क्रमण द्वारा, ऐसा हो सकता है यह नाइक्विस्ट-शैनन नमूनाकरण प्रमेय की ओर ले जाता है।[1]
समय-श्रृंखला के सांख्यिकीय अध्ययन में, यदि समय का एक फलन है, तो समय के समान दूरी वाले बिंदुओं पर केवल इसके मानों को देखना "नमूनाकरण" कहलाता है। अनुप्रयोगों में, सामान्यतः फलन बैंड-सीमित होता है, जिसका अर्थ है कि कुछ कटऑफ आवृत्ति है, जैसे कि कटऑफ से अधिक आवृत्तियों के लिए शून्य है: के लिए बैंड-सीमित कार्यों के लिए, नमूना दर चुनने से यह आश्वासन मिलती है कि कोई भी जानकारी नष्ट नहीं हुई है: क्योंकि इन नमूना मूल्यों से एस का पुनर्निर्माण किया जा सकता है। फिर, फूरियर व्युत्क्रम द्वारा, एस भी हो सकता है। यह नाइक्विस्ट-शैनन नमूनाकरण प्रमेय की ओर ले जाता है।[1]
इवाल्ड योग
कम्प्यूटेशनल रूप से, पॉइसन योग सूत्र उपयोगी है क्योंकि वास्तविक स्थान में धीरे-धीरे परिवर्तित होने वाले योग को फूरियर स्थान में तेजी से परिवर्तित होने वाले समतुल्य योग में परिवर्तित होने की आश्वासन है।[11] (वास्तविक स्थान में एक व्यापक कार्य फूरियर अंतरिक्ष में एक संकीर्ण कार्य बन जाता है और इसके विपरीत।) इवाल्ड योग के पीछे यह आवश्यक विचार है।
अभिन्नों का अनुमान
पॉइसन योग सूत्र तब प्राप्त त्रुटियों को सीमित करने के लिए भी उपयोगी होता है जब एक अभिन्न अंग को (रीमैन) योग द्वारा अनुमानित किया जाता है। के अनुमान को मानें, जहां बिन का आकार है। फिर, समीकरण Eq.2 के अनुसार यह सन्निकटन से मेल खाता है। सन्निकटन में त्रुटि को फिर के रूप में परिबद्ध किया जा सकता है। यह विशेष रूप से तब उपयोगी होता है जब होने पर का फूरियर रूपांतरण तेजी से क्षय हो रहा हो।
गोले में जाली बिंदु
बड़े यूक्लिडियन क्षेत्र में जाली बिंदुओं की संख्या के लिए लैंडौ के एसिम्प्टोटिक सूत्र को प्राप्त करने के लिए पॉइसन योग सूत्र का उपयोग किया जा सकता है। इसका उपयोग यह दिखाने के लिए भी किया जा सकता है कि यदि एक इंटीग्रेबल फलन और दोनों के पास कॉम्पैक्ट समर्थन है तो[1]
संख्या सिद्धांत
संख्या सिद्धांत में, रीमैन ज़ेटा फलन के लिए कार्यात्मक समीकरण सहित विभिन्न प्रकार के कार्यात्मक समीकरण प्राप्त करने के लिए पॉइसन योग का भी उपयोग किया जा सकता है।[12]
पॉइसन योग का ऐसा एक महत्वपूर्ण उपयोग थीटा फलन से संबंधित है: गॉसियन का आवधिक योग। ऊपरी आधे तल में के लिए एक सम्मिश्र संख्या रखें, और थीटा फलन को परिभाषित करें:
क्षेत्र पैकिंग
कोहन और एल्कीज़ ने पॉइसन योग सूत्र का उपयोग करके गोले की पैकिंग के घनत्व पर एक ऊपरी सीमा सिद्ध की जिसके बाद आयाम 8 और 24 में इष्टतम गोले की पैकिंग का प्रमाण मिला।[13]
अन्य
- होने देना के लिए और के लिए पाने के
- इसका उपयोग थीटा फलन के लिए कार्यात्मक समीकरण को सिद्ध करने के लिए किया जा सकता है।
- पॉइसन का सारांश सूत्र रामानुजन की नोटबुक में दिखाई देता है और इसका उपयोग उनके कुछ सूत्रों को सिद्ध करने के लिए किया जा सकता है विशेष रूप से इसका उपयोग रामानुजन के हार्डी को लिखे पहले पत्र में से एक सूत्र को सिद्ध करने के लिए किया जा सकता है।[clarification needed]
- इसका उपयोग द्विघात गॉस योग की गणना के लिए किया जा सकता है।
सामान्यीकरण
पॉइसन योग सूत्र यूक्लिडियन स्थान में इच्छानुसार आयाम रखता है। मान लीजिए में जाली है जिसमें पूर्णांक निर्देशांक वाले बिंदु सम्मिलित हैं। में एक फलन के लिए, के तत्वों द्वारा के अनुवादों को जोड़कर दी गई श्रृंखला पर विचार करें।
इसके अतिरिक्त , में सभी के लिए, ( पर फूरियर रूपांतरण) के समान है ( पर फूरियर रूपांतरण)।
जब s अतिरिक्त रूप से निरंतर होता है, और और दोनों अनंत पर पर्याप्त तेजी से क्षय करते हैं, तो कोई डोमेन को पर वापस "उलटा" कर सकता है और एक सशक्त कथन बना सकता है। अधिक स्पष्ट रूप से, यदि
अधिक आम तौर पर, कथन का एक संस्करण तब मान्य होता है जब Λ को में अधिक सामान्य जाली द्वारा प्रतिस्थापित किया जाता है। दोहरी जाली Λ′ को दोहरे वेक्टर स्थान के उपसमुच्चय के रूप में या वैकल्पिक रूप से पोंट्रीगिन द्वैत द्वारा परिभाषित किया जा सकता है। तब कथन यह है कि Λ के प्रत्येक बिंदु पर और Λ′ के प्रत्येक बिंदु पर डेल्टा-फलन का योग, फिर से फूरियर वितरण के रूप में रूपांतरित होता है, जो सही सामान्यीकरण के अधीन है।
इसे थीटा फलन के सिद्धांत में प्रयुक्त किया जाता है, और संख्याओं की ज्यामिति में यह एक संभावित विधि है। वास्तव में क्षेत्रों में जाली बिंदुओं की गिनती पर वर्तमान के काम में इसका नियमित रूप से उपयोग किया जाता है - जाली बिंदुओं पर एक क्षेत्र डी के संकेतक फलन का योग वास्तव में प्रश्न है, जिससे योग सूत्र के एक समीकरण के पक्ष वही हों जो मांगे गए हैं और किसी समीकरण के पक्ष कुछ ऐसे हैं जिन पर गणितीय विश्लेषण द्वारा आक्रमण किया जा सकता है।
सेलबर्ग ट्रेस सूत्र
संख्या सिद्धांत में स्थानीय रूप से सघन एबेलियन समूह का और अधिक सामान्यीकरण आवश्यक है। गैर-कम्यूटेटिव हार्मोनिक विश्लेषण में, विचार को सेलबर्ग ट्रेस सूत्र में और भी आगे ले जाया जाता है, किंतु यह बहुत गहरा चरित्र लेता है।
संख्या सिद्धांत में हार्मोनिक विश्लेषण प्रयुक्त करने वाले गणितज्ञों की एक श्रृंखला, विशेष रूप से मार्टिन आइक्लर, एटल सेलबर्ग, रॉबर्ट लैंगलैंड्स और जेम्स आर्थर ने, एक असतत उपसमूह के साथ गैर-कम्यूटेटिव स्थानीय रूप से कॉम्पैक्ट रिडक्टिव बीजगणितीय समूह पर फूरियर रूपांतरण के लिए पोइसन योग सूत्र को सामान्यीकृत किया है। इस प्रकार कि का आयतन सीमित है। उदाहरण के लिए, का वास्तविक बिंदु हो सकता है और , का अभिन्न बिंदु हो सकता है। इस सेटिंग में, पॉइसन योग के मौलिक संस्करण में वास्तविक संख्या रेखा की भूमिका निभाता है, और योग में दिखाई देने वाले पूर्णांक की भूमिका निभाता है। पॉइसन सारांश के सामान्यीकृत संस्करण को सेलबर्ग ट्रेस सूत्र कहा जाता है, और इसने आर्टिन के अनुमान के कई स्थितियों और विल्स के फ़र्मेट के अंतिम प्रमेय के प्रमाण को सिद्ध करने में भूमिका निभाई है। Eq.1 का बायाँ भाग के अघुलनशील एकात्मक निरूपण का योग बन जाता है, और इसे "वर्णक्रमीय पक्ष" कहा जाता है, जबकि दाहिना भाग के संयुग्मी वर्गों का योग बन जाता है, और इसे "ज्यामितीय" कहा जाता है ।"
पॉइसन योग सूत्र हार्मोनिक विश्लेषण और संख्या सिद्धांत में व्यापक विकास का आदर्श है।
संकल्प प्रमेय
पॉइसन योग सूत्र वितरण (गणित) या टेम्पर्ड वितरण पर कनवल्शन प्रमेय का एक विशेष स्थिति है। यदि दो कारकों में से एक डायराक कोंब है, तो समीकरण के एक तरफ आवधिक योग और दूसरी तरफ नमूनाकरण (सिग्नल प्रोसेसिंग) प्राप्त होता है। डिराक डेल्टा फलन और इसके फूरियर ट्रांसफॉर्म पर प्रयुक्त फलन जो निरन्तर 1 है, यह डिराक कोंब पहचान उत्पन्न करता है।
पॉइसन योग सूत्र टेम्पर्ड वितरण पर कनवल्शन प्रमेय का एक विशेष मामला है। यदि दो कारकों में से एक डायराक कंघी है,तार 1 है, यह डिराक कंघी पहचान उत्पन्न करता है।
यह भी देखें
- Fourier analysis § Summary
- पोस्ट का व्युत्क्रम सूत्र
- बोरोन सूत्र
- असतत-समय फूरियर रूपांतरण
- एल-फलन के लिए स्पष्ट सूत्र
संदर्भ
- ↑ 1.0 1.1 1.2 1.3 1.4 Pinsky, M. (2002), Introduction to Fourier Analysis and Wavelets., Brooks Cole, ISBN 978-0-534-37660-4
- ↑ 2.0 2.1 2.2 2.3 Zygmund, Antoni (1968), Trigonometric Series (2nd ed.), Cambridge University Press (published 1988), ISBN 978-0-521-35885-9
- ↑ Córdoba, A., "La formule sommatoire de Poisson", Comptes Rendus de l'Académie des Sciences, Série I, 306: 373–376
- ↑ Hörmander, L. (1983), The analysis of linear partial differential operators I, Grundl. Math. Wissenschaft., vol. 256, Springer, doi:10.1007/978-3-642-96750-4, ISBN 3-540-12104-8, MR 0717035
- ↑
Oppenheim, Alan V.; Schafer, Ronald W.; Buck, John R. (1999). Discrete-time signal processing (2nd ed.). Upper Saddle River, N.J.: Prentice Hall. ISBN 0-13-754920-2.
samples of the Fourier transform of an aperiodic sequence x[n] can be thought of as DFS coefficients of a periodic sequence obtained through summing periodic replicas of x[n].
- ↑ Deitmar, Anton; Echterhoff, Siegfried (2014), Principles of Harmonic Analysis, Universitext (2 ed.), doi:10.1007/978-3-319-05792-7, ISBN 978-3-319-05791-0
- ↑ 7.0 7.1 Grafakos, Loukas (2004), Classical and Modern Fourier Analysis, Pearson Education, Inc., pp. 253–257, ISBN 0-13-035399-X
- ↑ 8.0 8.1 8.2 Stein, Elias; Weiss, Guido (1971), Introduction to Fourier Analysis on Euclidean Spaces, Princeton, N.J.: Princeton University Press, ISBN 978-0-691-08078-9
- ↑ Katznelson, Yitzhak (1976), An introduction to harmonic analysis (Second corrected ed.), New York: Dover Publications, Inc, ISBN 0-486-63331-4
- ↑ Kinayman, Noyan; Aksun, M. I. (1995). "Comparative study of acceleration techniques for integrals and series in electromagnetic problems". Radio Science. 30 (6): 1713–1722. doi:10.1029/95RS02060. hdl:11693/48408.
- ↑ Woodward, Philipp M. (1953). Probability and Information Theory, with Applications to Radar. Academic Press, p. 36.
- ↑ H. M. Edwards (1974). Riemann's Zeta Function. Academic Press, pp. 209–11. ISBN 0-486-41740-9.
- ↑ Cohn, Henry; Elkies, Noam (2003), "New upper bounds on sphere packings I", Ann. of Math., 2, 157 (2): 689–714, arXiv:math/0110009, doi:10.4007/annals.2003.157.689, MR 1973059
अग्रिम पठन
- Benedetto, J.J.; Zimmermann, G. (1997), "Sampling multipliers and the Poisson summation formula", J. Fourier Ana. App., 3 (5), archived from the original on 2011-05-24, retrieved 2008-06-19
- Gasquet, Claude; Witomski, Patrick (1999), Fourier Analysis and Applications, Springer, pp. 344–352, ISBN 0-387-98485-2
- Higgins, J.R. (1985), "Five short stories about the cardinal series", Bull. Amer. Math. Soc., 12 (1): 45–89, doi:10.1090/S0273-0979-1985-15293-0