पॉइसन योग सूत्र: Difference between revisions

From Vigyanwiki
(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}}
{{Use American English|date=January 2019}}
गणित में, पॉइसन योग सूत्र एक समीकरण है जो किसी [[फ़ंक्शन (गणित)|फलन (गणित)]] के [[आवधिक योग]] के फूरियर श्रृंखला गुणांक को फलन के निरंतर फूरियर परिवर्तन के मूल्यों से जोड़ता है। परिणाम स्वरुप किसी फलन का आवधिक योग मूल फलन के फूरियर रूपांतरण के अलग-अलग नमूनों द्वारा पूरी तरह से परिभाषित होता है। और इसके विपरीत किसी फलन के फूरियर रूपांतरण का आवधिक योग पूरी तरह से मूल फलन के अलग-अलग नमूनों द्वारा परिभाषित किया गया है। पॉइसन योग सूत्र की खोज शिमोन डेनिस पॉइसन ने की थी और इसे कभी-कभी पॉइसन पुनर्मूल्यांकन भी कहा जाता है।
गणित में, पॉइसन योग सूत्र एक समीकरण है जो किसी [[फ़ंक्शन (गणित)]] के [[आवधिक योग]] के फूरियर श्रृंखला गुणांक को फ़ंक्शन के निरंतर फूरियर परिवर्तन के मूल्यों से जोड़ता है। नतीजतन, किसी फ़ंक्शन का आवधिक योग मूल फ़ंक्शन के फूरियर रूपांतरण के अलग-अलग नमूनों द्वारा पूरी तरह से परिभाषित होता है। और इसके विपरीत, किसी फ़ंक्शन के फूरियर रूपांतरण का आवधिक योग पूरी तरह से मूल फ़ंक्शन के अलग-अलग नमूनों द्वारा परिभाषित किया गया है। पॉइसन योग सूत्र की खोज शिमोन डेनिस पॉइसन ने की थी और इसे कभी-कभी पॉइसन पुनर्मूल्यांकन भी कहा जाता है।


==समीकरण के रूप==
==समीकरण के रूप==
एक आवधिक कार्य पर विचार करें <math>s(x)</math> [[फूरियर रूपांतरण]] के साथ <math display="inline">S(f) \triangleq \int_{-\infty}^{\infty} s(x)\ e^{-i2\pi fx}\, dx,</math> वैकल्पिक रूप से नामित <math>\hat s(f)</math> और <math>\mathcal{F}\{s\}(f).</math> मूल पॉइसन योग सूत्र है:
फूरियर रूपांतरण <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>x</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}} इस सामान्यीकरण का एक विशेष मामला (P=1, x=0) है:<ref name=Pinsky/><ref name=Zygmund/>
तब {{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> इसी प्रकार:
जो गुणांकों के साथ एक फूरियर श्रृंखला विस्तार है जो फलन <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/>
पोइसन योग सूत्र को छोटे स्पष्ट अनुक्रमों के साथ पोंट्रीगिन द्वैत की अनुकूलता का उपयोग करके अधिक वैचारिक रूप से सिद्ध किया जा सकता है जैसे कि<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/>
कुछ <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}} सख्ती से कमजोर धारणा के तहत एक [[बिंदुवार अभिसरण]] अर्थ में रखता है <math>s</math> सीमाबद्ध भिन्नता है और<ref name=Zygmund/>
{{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}} के दाईं ओर फूरियर श्रृंखला को सममित आंशिक योगों की (नियमित रूप से अभिसरण) सीमा के रूप में समझा जाता है।
 
जैसा कि उपर दिखाया गया है, {{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/>
 


जैसा कि ऊपर दिखाया गया है, {{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/> एक आयाम में, परिणामी समाधान को [[थीटा फ़ंक्शन]] कहा जाता है।
आंशिक अंतर समीकरणों में, पॉइसन योग सूत्र छवियों की विधि द्वारा आयताकार सीमा को अवशोषित करने के साथ गर्मी समीकरण के मौलिक समाधान के लिए एक कठोर औचित्य प्रदान करता है। यहां <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>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> आश्वासन देता है कि कोई भी जानकारी नष्ट नहीं हुई है: तब से <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> (वास्तविक स्थान में एक व्यापक कार्य फूरियर अंतरिक्ष में एक संकीर्ण कार्य बन जाता है और इसके विपरीत।) इवाल्ड योग के पीछे यह आवश्यक विचार है।
कम्प्यूटेशनल रूप से, पॉइसन योग सूत्र उपयोगी है क्योंकि वास्तविक स्थान में धीरे-धीरे परिवर्तित होने वाले योग को फूरियर स्थान में तेजी से परिवर्तित होने वाले समतुल्य योग में परिवर्तित होने की आश्वासन है।<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> s(x) </math> यदि तेजी से क्षय हो रहा है <math>1/\delta \gg 1 </math>.
पॉइसन योग सूत्र तब प्राप्त त्रुटियों को सीमित करने के लिए भी उपयोगी होता है जब एक अभिन्न अंग को (रीमैन) योग द्वारा अनुमानित किया जाता है। <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/>
बड़े यूक्लिडियन क्षेत्र में जाली बिंदुओं की संख्या के लिए लैंडौ के एसिम्प्टोटिक सूत्र को प्राप्त करने के लिए पॉइसन योग सूत्र का उपयोग किया जा सकता है। इसका उपयोग यह दिखाने के लिए भी किया जा सकता है कि यदि एक इंटीग्रेबल फलन  <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> रखें, और थीटा फलन  को परिभाषित करें:
संख्या सिद्धांत में, [[रीमैन ज़ेटा फ़ंक्शन]] के लिए कार्यात्मक समीकरण सहित विभिन्न प्रकार के कार्यात्मक समीकरण प्राप्त करने के लिए पॉइसन योग का भी उपयोग किया जा सकता है।<ref>[[Harold Edwards (mathematician)|H. M. Edwards]] (1974). ''Riemann's Zeta Function''. Academic Press, pp. 209–11. {{ISBN|0-486-41740-9}}.</ref>
पॉइसन योग का ऐसा एक महत्वपूर्ण उपयोग थीटा फ़ंक्शंस से संबंधित है: गॉसियन का आवधिक योग। रखना <math> q= e^{i\pi \tau } </math>, के लिए <math> \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> \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> और इसका उपयोग किसी पूर्णांक को आठ पूर्ण वर्गों के योग के रूप में व्यक्त करने के विभिन्न तरीकों के लिए जैकोबी के सूत्र को सिद्ध करने के लिए किया जा सकता है।
इससे यह पता चलता है कि <math>\theta^8</math> में <math>\tau \mapsto {-1/ \tau}</math> के अंतर्गत एक सरल परिवर्तन गुण है और इसका उपयोग किसी पूर्णांक को आठ पूर्ण वर्गों के योग के रूप में व्यक्त करने के विभिन्न विधि की संख्या के लिए जैकोबी के सूत्र को सिद्ध करने के लिए किया जा सकता है।


===क्षेत्र पैकिंग===
===क्षेत्र पैकिंग===
कोहन और एल्कीज़<ref name=Cohn/>पॉइसन योग सूत्र का उपयोग करके गोले की पैकिंग के घनत्व पर एक ऊपरी सीमा साबित हुई, जिसके बाद आयाम 8 और 24 में इष्टतम गोले की पैकिंग का प्रमाण मिला।
कोहन और एल्कीज़ ने पॉइसन योग सूत्र का उपयोग करके गोले की पैकिंग के घनत्व पर एक ऊपरी सीमा सिद्ध की जिसके बाद आयाम 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}}
* पॉइसन का सारांश सूत्र रामानुजन की नोटबुक में दिखाई देता है और इसका उपयोग उनके कुछ सूत्रों को सिद्ध करने के लिए किया जा सकता है विशेष रूप से इसका उपयोग रामानुजन के हार्डी को लिखे पहले पत्र में से एक सूत्र को सिद्ध करने के लिए किया जा सकता है।{{Clarify|reason=|date=May 2019}}
* इसका उपयोग द्विघात गॉस योग की गणना के लिए किया जा सकता है।
* इसका उपयोग द्विघात गॉस योग की गणना के लिए किया जा सकता है।


==सामान्यीकरण==
==सामान्यीकरण==
पॉइसन योग सूत्र [[यूक्लिडियन स्थान]] में मनमाना आयाम रखता है। होने देना <math>\Lambda</math> में [[जाली (समूह सिद्धांत)]] बनें <math>\mathbb{R}^d</math> पूर्णांक निर्देशांक वाले बिंदुओं से युक्त। एक समारोह के लिए <math>s</math> में <math>L^1(\mathbb{R}^d)</math>, के अनुवादों का योग करके दी गई श्रृंखला पर विचार करें <math>s</math> के तत्वों द्वारा <math>\Lambda</math>:
पॉइसन योग सूत्र यूक्लिडियन स्थान में इच्छानुसार आयाम रखता है। मान लीजिए <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>s</math> में <math>L^1(\mathbb{R}^d)</math>, उपरोक्त श्रृंखला लगभग हर जगह बिंदुवार अभिसरण करती है, और इस प्रकार एक आवधिक फ़ंक्शन को परिभाषित करती है <math>\mathbb{P}s</math> पर <math>\Lambda.</math>  <math>\mathbb{P}s</math> में निहित है <math>L^1</math> साथ <math>\| \mathbb{P}s \|_1 \le \| s \|_1.</math><br>
<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>).


कब <math>s</math> इसके अलावा निरंतर है, और दोनों <math>s</math> और <math>S</math> अनंत पर पर्याप्त तेजी से क्षय होता है, फिर कोई डोमेन को वापस उल्टा कर सकता है <math>\mathbb{R}^d</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, तो यह प्राप्त होता है {{EquationNote|Eq.1}} ऊपर।
जहां दोनों श्रृंखलाएं बिल्कुल और समान रूप से Λ पर अभिसरित होती हैं। जब d = 1 और x = 0, तो यह उपरोक्त समीकरण {{EquationNote|Eq.1}} देता है।


अधिक आम तौर पर, कथन का एक संस्करण यह मानता है कि Λ को अधिक सामान्य जाली द्वारा प्रतिस्थापित किया जाता है <math>\mathbb{R}^d</math>. [[दोहरी जाली]] Λ′ को दोहरे वेक्टर स्थान के उपसमुच्चय के रूप में या वैकल्पिक रूप से पोंट्रीगिन द्वैत द्वारा परिभाषित किया जा सकता है। तब कथन यह है कि Λ के प्रत्येक बिंदु पर और Λ′ के प्रत्येक बिंदु पर डेल्टा-फ़ंक्शंस का योग, फिर से फूरियर वितरण के रूप में रूपांतरित होता है, जो सही सामान्यीकरण के अधीन है।
अधिक आम तौर पर, कथन का एक संस्करण तब मान्य होता है जब Λ को <math>\mathbb{R}^d</math> में अधिक सामान्य जाली द्वारा प्रतिस्थापित किया जाता है। दोहरी जाली Λ′ को दोहरे वेक्टर स्थान के उपसमुच्चय के रूप में या वैकल्पिक रूप से पोंट्रीगिन द्वैत द्वारा परिभाषित किया जा सकता है। तब कथन यह है कि Λ के प्रत्येक बिंदु पर और Λ′ के प्रत्येक बिंदु पर डेल्टा-फलन का योग, फिर से फूरियर वितरण के रूप में रूपांतरित होता है, जो सही सामान्यीकरण के अधीन है।


इसे थीटा फ़ंक्शंस के सिद्धांत में लागू किया जाता है, और [[संख्याओं की ज्यामिति]] में यह एक संभावित विधि है। वास्तव में क्षेत्रों में जाली बिंदुओं की गिनती पर हाल के काम में इसका नियमित रूप से उपयोग किया जाता है - जाली बिंदुओं पर एक क्षेत्र डी के संकेतक फ़ंक्शन का योग वास्तव में प्रश्न है, ताकि योग सूत्र के एक समीकरण के पक्ष वही हों जो मांगे गए हैं और किसी समीकरण के पक्ष कुछ ऐसे हैं जिन पर [[गणितीय विश्लेषण]] द्वारा आक्रमण किया जा सकता है।
इसे थीटा फलन के सिद्धांत में प्रयुक्त किया जाता है, और [[संख्याओं की ज्यामिति]] में यह एक संभावित विधि है। वास्तव में क्षेत्रों में जाली बिंदुओं की गिनती पर वर्तमान  के काम में इसका नियमित रूप से उपयोग किया जाता है - जाली बिंदुओं पर एक क्षेत्र डी के संकेतक फलन का योग वास्तव में प्रश्न है, जिससे  योग सूत्र के एक समीकरण के पक्ष वही हों जो मांगे गए हैं और किसी समीकरण के पक्ष कुछ ऐसे हैं जिन पर [[गणितीय विश्लेषण]] द्वारा आक्रमण किया जा सकता है।


===सेलबर्ग ट्रेस फॉर्मूला===
===सेलबर्ग ट्रेस सूत्र ===
{{main article|Selberg trace formula}}
{{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>, और इसे ज्यामितीय पक्ष कहा जाता है।
संख्या सिद्धांत में हार्मोनिक विश्लेषण प्रयुक्त करने वाले गणितज्ञों की एक श्रृंखला, विशेष रूप से मार्टिन आइक्लर, एटल सेलबर्ग, रॉबर्ट लैंगलैंड्स और जेम्स आर्थर ने, एक असतत उपसमूह के साथ गैर-कम्यूटेटिव स्थानीय रूप से कॉम्पैक्ट रिडक्टिव बीजगणितीय समूह <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|Convolution theorem#Convolution theorem for tempered distributions}}
{{see also|कन्वोल्यूशन प्रमेय या टेम्पर्ड वितरण के लिए कन्वोल्यूशन प्रमेय}}
पॉइसन योग सूत्र वितरण (गणित)#टेम्पर्ड वितरण पर [[कनवल्शन प्रमेय]] का एक विशेष मामला है। यदि दो कारकों में से एक डायराक कंघी है, तो समीकरण के एक तरफ आवधिक योग और दूसरी तरफ [[नमूनाकरण (सिग्नल प्रोसेसिंग)]] प्राप्त होता है। [[डिराक डेल्टा फ़ंक्शन]] और इसके फूरियर ट्रांसफॉर्म पर लागू, फ़ंक्शन जो लगातार 1 है, यह Dirac_comb#Dirac-comb पहचान उत्पन्न करता है।
 
पॉइसन योग सूत्र वितरण (गणित) या टेम्पर्ड वितरण पर [[कनवल्शन प्रमेय]] का एक विशेष स्थिति है। यदि दो कारकों में से एक डायराक कोंब है, तो समीकरण के एक तरफ आवधिक योग और दूसरी तरफ [[नमूनाकरण (सिग्नल प्रोसेसिंग)]] प्राप्त होता है। [[डिराक डेल्टा फ़ंक्शन|डिराक डेल्टा]] फलन और इसके फूरियर ट्रांसफॉर्म पर प्रयुक्त फलन जो निरन्तर 1 है, यह डिराक कोंब पहचान उत्पन्न करता है।
 
'''पॉइसन योग सूत्र टेम्पर्ड वितरण पर कनवल्शन प्रमेय का एक विशेष मामला है। यदि दो कारकों में से एक डायराक कंघी है,तार 1 है, यह डिराक कंघी पहचान उत्पन्न करता है।'''


==यह भी देखें==
==यह भी देखें==
Line 173: Line 174:
*[[ बोरोन सूत्र ]]
*[[ बोरोन सूत्र ]]
* असतत-समय फूरियर रूपांतरण
* असतत-समय फूरियर रूपांतरण
* [[एल-फ़ंक्शन के लिए स्पष्ट सूत्र]]
* [[एल-फ़ंक्शन के लिए स्पष्ट सूत्र|एल-फलन के लिए स्पष्ट सूत्र]]


{{notelist-ua}}
{{notelist-ua}}

Revision as of 10:23, 12 July 2023

गणित में, पॉइसन योग सूत्र एक समीकरण है जो किसी फलन (गणित) के आवधिक योग के फूरियर श्रृंखला गुणांक को फलन के निरंतर फूरियर परिवर्तन के मूल्यों से जोड़ता है। परिणाम स्वरुप किसी फलन का आवधिक योग मूल फलन के फूरियर रूपांतरण के अलग-अलग नमूनों द्वारा पूरी तरह से परिभाषित होता है। और इसके विपरीत किसी फलन के फूरियर रूपांतरण का आवधिक योग पूरी तरह से मूल फलन के अलग-अलग नमूनों द्वारा परिभाषित किया गया है। पॉइसन योग सूत्र की खोज शिमोन डेनिस पॉइसन ने की थी और इसे कभी-कभी पॉइसन पुनर्मूल्यांकन भी कहा जाता है।

समीकरण के रूप

फूरियर रूपांतरण के साथ एक एपेरियोडिक फलन पर विचार करें जिसे वैकल्पिक रूप से और द्वारा निर्दिष्ट किया गया है

 

 

 

 

(Eq.1)


आवधिक कार्यों पर भी विचार करें, जहां पैरामीटर और के समान इकाइयों में हैं।

तब Eq.1 इस सामान्यीकरण का एक विशेष स्थिति (P=1, x=0) है:[1][2]

 

 

 

 

(Eq.2)

जो गुणांकों के साथ एक फूरियर श्रृंखला विस्तार है जो फलन के नमूने हैं इसी प्रकार:

 

 

 

 

(Eq.3)

इसे महत्वपूर्ण असतत-समय फूरियर रूपांतरण के रूप में भी जाना जाता है।

Derivations

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 होल्ड प्रदान किया गया एक सतत एलपी स्थान है जो संतुष्ट करता है

कुछ और प्रत्येक के लिए[7][8] ध्यान दें कि ऐसा समान रूप से निरंतर है, यह पर क्षय धारणा के साथ मिलकर दर्शाता है कि को परिभाषित करने वाली श्रृंखला समान रूप से एक निरंतर फलन में परिवर्तित होती है। समीकरण Eq.2 इस बात को शक्ति से मानता है कि दोनों पक्ष समान रूप से और बिल्कुल एक ही सीमा तक अभिसरित होते हैं।[8]

Eq.2 एक बिंदुवार अर्थ में पूरी तरह से अशक्त धारणा के तहत है कि में सीमित भिन्नता है और [2]

Eq.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 अतिरिक्त रूप से निरंतर होता है, और और दोनों अनंत पर पर्याप्त तेजी से क्षय करते हैं, तो कोई डोमेन को पर वापस "उलटा" कर सकता है और एक सशक्त कथन बना सकता है। अधिक स्पष्ट रूप से, यदि

कुछ C के लिए, δ > 0, तो[8]: VII §2 
जहां दोनों श्रृंखलाएं बिल्कुल और समान रूप से Λ पर अभिसरित होती हैं। जब d = 1 और x = 0, तो यह उपरोक्त समीकरण Eq.1 देता है।

अधिक आम तौर पर, कथन का एक संस्करण तब मान्य होता है जब Λ को में अधिक सामान्य जाली द्वारा प्रतिस्थापित किया जाता है। दोहरी जाली Λ′ को दोहरे वेक्टर स्थान के उपसमुच्चय के रूप में या वैकल्पिक रूप से पोंट्रीगिन द्वैत द्वारा परिभाषित किया जा सकता है। तब कथन यह है कि Λ के प्रत्येक बिंदु पर और Λ′ के प्रत्येक बिंदु पर डेल्टा-फलन का योग, फिर से फूरियर वितरण के रूप में रूपांतरित होता है, जो सही सामान्यीकरण के अधीन है।

इसे थीटा फलन के सिद्धांत में प्रयुक्त किया जाता है, और संख्याओं की ज्यामिति में यह एक संभावित विधि है। वास्तव में क्षेत्रों में जाली बिंदुओं की गिनती पर वर्तमान के काम में इसका नियमित रूप से उपयोग किया जाता है - जाली बिंदुओं पर एक क्षेत्र डी के संकेतक फलन का योग वास्तव में प्रश्न है, जिससे योग सूत्र के एक समीकरण के पक्ष वही हों जो मांगे गए हैं और किसी समीकरण के पक्ष कुछ ऐसे हैं जिन पर गणितीय विश्लेषण द्वारा आक्रमण किया जा सकता है।

सेलबर्ग ट्रेस सूत्र

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

संख्या सिद्धांत में हार्मोनिक विश्लेषण प्रयुक्त करने वाले गणितज्ञों की एक श्रृंखला, विशेष रूप से मार्टिन आइक्लर, एटल सेलबर्ग, रॉबर्ट लैंगलैंड्स और जेम्स आर्थर ने, एक असतत उपसमूह के साथ गैर-कम्यूटेटिव स्थानीय रूप से कॉम्पैक्ट रिडक्टिव बीजगणितीय समूह पर फूरियर रूपांतरण के लिए पोइसन योग सूत्र को सामान्यीकृत किया है। इस प्रकार कि का आयतन सीमित है। उदाहरण के लिए, का वास्तविक बिंदु हो सकता है और , का अभिन्न बिंदु हो सकता है। इस सेटिंग में, पॉइसन योग के मौलिक संस्करण में वास्तविक संख्या रेखा की भूमिका निभाता है, और योग में दिखाई देने वाले पूर्णांक की भूमिका निभाता है। पॉइसन सारांश के सामान्यीकृत संस्करण को सेलबर्ग ट्रेस सूत्र कहा जाता है, और इसने आर्टिन के अनुमान के कई स्थितियों और विल्स के फ़र्मेट के अंतिम प्रमेय के प्रमाण को सिद्ध करने में भूमिका निभाई है। Eq.1 का बायाँ भाग के अघुलनशील एकात्मक निरूपण का योग बन जाता है, और इसे "वर्णक्रमीय पक्ष" कहा जाता है, जबकि दाहिना भाग के संयुग्मी वर्गों का योग बन जाता है, और इसे "ज्यामितीय" कहा जाता है ।"

पॉइसन योग सूत्र हार्मोनिक विश्लेषण और संख्या सिद्धांत में व्यापक विकास का आदर्श है।

संकल्प प्रमेय

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

पॉइसन योग सूत्र टेम्पर्ड वितरण पर कनवल्शन प्रमेय का एक विशेष मामला है। यदि दो कारकों में से एक डायराक कंघी है,तार 1 है, यह डिराक कंघी पहचान उत्पन्न करता है।

यह भी देखें

संदर्भ

  1. 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. 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
  3. Córdoba, A., "La formule sommatoire de Poisson", Comptes Rendus de l'Académie des Sciences, Série I, 306: 373–376
  4. 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
  5. 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].
  6. 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. 7.0 7.1 Grafakos, Loukas (2004), Classical and Modern Fourier Analysis, Pearson Education, Inc., pp. 253–257, ISBN 0-13-035399-X
  8. 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
  9. Katznelson, Yitzhak (1976), An introduction to harmonic analysis (Second corrected ed.), New York: Dover Publications, Inc, ISBN 0-486-63331-4
  10. 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.
  11. Woodward, Philipp M. (1953). Probability and Information Theory, with Applications to Radar. Academic Press, p. 36.
  12. H. M. Edwards (1974). Riemann's Zeta Function. Academic Press, pp. 209–11. ISBN 0-486-41740-9.
  13. 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


अग्रिम पठन