फूरियर श्रृंखला का अभिसरण: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(4 intermediate revisions by 3 users not shown)
Line 1: Line 1:
गणित में, इस सवाल पर कि क्या आवधिक फ़ंक्शन की फूरियर श्रृंखला किसी दिए गए [[फ़ंक्शन (गणित)]] के लिए [[अभिसरण श्रृंखला]] है, का शोध शास्त्रीय हार्मोनिक विश्लेषण, [[शुद्ध गणित]] की शाखा के रूप में जाना जाता है। सामान्य मामले में अभिसरण आवश्यक रूप से नहीं दिया जाता है, और अभिसरण होने के लिए कुछ मानदंडों को पूरा किया जाना चाहिए।
गणित में, क्या आवधिक फलन की '''फूरियर श्रृंखला''' किसी दिए गए [[फ़ंक्शन (गणित)|फलन (गणित)]] के लिए [[अभिसरण श्रृंखला]] का रूप है, जिसका शोध मौलिक हार्मोनिक विश्लेषण, [[शुद्ध गणित]] की शाखा के रूप में जाना जाता है। इस प्रकार सामान्य स्थिति में अभिसरण आवश्यक रूप से नहीं दिया जाता है, और इसके अभिसरण होने के लिए कुछ मानदंडों को पूरा किया जाना चाहिए।


अभिसरण के निर्धारण के लिए [[बिंदुवार अभिसरण]], [[एकसमान अभिसरण]], [[पूर्ण अभिसरण]], एलपी स्पेस की समझ की आवश्यकता होती है|''एल''<sup>पी</sup>रिक्त स्थान, योग्‍यता विधियां और सेसरो माध्य।
अभिसरण के निर्धारण के लिए [[बिंदुवार अभिसरण]], [[एकसमान अभिसरण]], [[पूर्ण अभिसरण]], एलपी क्षेत्र की समझ की आवश्यकता होती है। इस प्रकार ''L''<sup>p</sup> रिक्त स्थान, योग्‍यता विधियां और सेसरो माध्य के समान होती हैं।


==प्रारंभिक==
==प्रारंभिक==


अंतराल पर लेबेस्ग एकीकरण फ़ंक्शन पर विचार करें {{closed-closed|0, 2''π''}}. ऐसे f के लिए 'फूरियर गुणांक' <math>\widehat{f}(n)</math> सूत्र द्वारा परिभाषित किये गये हैं
अंतराल पर '''लेबेस्ग एकीकरण फलन''' {{closed-closed|0, 2''π''}} पर विचार करें, ऐसे f के लिए 'फूरियर गुणांक' <math>\widehat{f}(n)</math> सूत्र द्वारा परिभाषित किये गये हैं-


:<math>\widehat{f}(n)=\frac{1}{2\pi}\int_0^{2\pi}f(t)e^{-int}\,\mathrm{d}t, \quad n \in \Z.</math>
:<math>\widehat{f}(n)=\frac{1}{2\pi}\int_0^{2\pi}f(t)e^{-int}\,\mathrm{d}t, \quad n \in \Z.</math>
एफ और इसकी फूरियर श्रृंखला के बीच संबंध का वर्णन करना आम बात है
f और इसकी फूरियर श्रृंखला के बीच संबंध का वर्णन करना साधारण बात है।


:<math>f \sim \sum_n \widehat{f}(n) e^{int}.</math>
:<math>f \sim \sum_n \widehat{f}(n) e^{int}.</math>
यहाँ संकेतन ~ का अर्थ है कि योग कुछ अर्थों में फ़ंक्शन का प्रतिनिधित्व करता है। इसकी अधिक सावधानी से जांच करने के लिए, आंशिक रकम को परिभाषित किया जाना चाहिए:
यहाँ संकेतन ~ का अर्थ है कि योग कुछ अर्थों में फलन का प्रतिनिधित्व करता है। इसकी अधिक सावधानी से जांच करने के लिए, इस प्रकार आंशिक रकम को परिभाषित किया जाना चाहिए:


:<math>S_N(f;t) = \sum_{n=-N}^N \widehat{f}(n) e^{int}.</math>
:<math>S_N(f;t) = \sum_{n=-N}^N \widehat{f}(n) e^{int}.</math>
सवाल यह है कि क्या फूरियर श्रृंखला अभिसरण करती है: कार्य करें <math>S_N(f)</math> (वेरिएबल t के कौन से फ़ंक्शन हैं जिन्हें हमने नोटेशन में छोड़ दिया है) f में परिवर्तित होते हैं और किस अर्थ में? क्या इस या उस प्रकार के अभिसरण को सुनिश्चित करने के लिए कोई शर्तें हैं?
इस प्रकार यहाँ पर प्रश्न यह है कि क्या फूरियर श्रृंखला अभिसरण करती है: इस प्रकार <math>S_N(f)</math> फलन का उपयोग करते हैं। इस प्रकार वेरिएबल t के कौन से फलन होते हैं, जिन्हें इस प्रकार हमने नोटेशन में छोड़ दिया है, इसके आधार पर f में परिवर्तित होते हैं और किस अर्थ में होते हैं? क्या इस या उस प्रकार के अभिसरण को सुनिश्चित करने के लिए कोई शर्तें हैं?


जारी रखने से पहले, [[डिरिचलेट कर्नेल]] को पेश किया जाना चाहिए। के लिए सूत्र ले रहे हैं <math>\widehat{f}(n)</math>, इसे सूत्र में सम्मिलित कर रहा हूँ <math>S_N</math> और कुछ बीजगणित करने से वह मिलता है
इसे प्रस्तुत रखने से पहले, [[डिरिचलेट कर्नेल]] को प्रस्तुत किया जाना चाहिए। जिसके लिए <math>\widehat{f}(n)</math> सूत्र का उपयोग करते हैं, इसे सूत्र में सम्मिलित किया जाता हैं, इस प्रकार <math>S_N</math> और कुछ बीजगणित करने से वह मिलता है


:<math>S_N(f)=f * D_N</math>
:<math>S_N(f)=f * D_N</math>
जहां ∗ आवधिक [[कनवल्शन]] के लिए है और <math>D_N</math> डिरिचलेट कर्नेल है, जिसका स्पष्ट सूत्र है,
जहां ∗ आवधिक [[कनवल्शन]] के लिए है और <math>D_N</math> डिरिचलेट कर्नेल है, जिसका स्पष्ट सूत्र इस प्रकार है,


:<math>D_n(t)=\frac{\sin((n+\frac{1}{2})t)}{\sin(t/2)}.</math>
:<math>D_n(t)=\frac{\sin((n+\frac{1}{2})t)}{\sin(t/2)}.</math>
डिरिचलेट कर्नेल सकारात्मक कर्नेल नहीं है, और वास्तव में, इसका मानदंड भिन्न होता है
डिरिचलेट कर्नेल धनात्मक कर्नेल नहीं है, और वास्तव में, इसका मानदंड भिन्न होता है।


:<math>\int |D_n(t)|\,\mathrm{d}t \to \infty </math>
:<math>\int |D_n(t)|\,\mathrm{d}t \to \infty </math>
एक तथ्य जो चर्चा में महत्वपूर्ण भूमिका निभाता है। डी का मानदंड<sub>''n''</sub> एल में<sup>1</sup>(T) ''D'' के साथ कनवल्शन ऑपरेटर के मानदंड से मेल खाता है<sub>''n''</sub>,
इस प्रकार उक्त तथ्य के अनुसार जो चर्चा में महत्वपूर्ण भूमिका निभाता है। इस प्रकार D<sub>''n''</sub> का मानदंड L i<sup>1</sup>(T) ''D<sub>n</sub>'' के साथ कनवल्शन ऑपरेटर के मानदंड से मेल खाता है, आवधिक निरंतर कार्यों के स्थान C('T') पर कार्य करना, या रैखिक कार्यात्मक f → (S)<sub>''n''</sub>f)(0) C('T') के मानदंड के साथ कार्य करता हैं। इसलिए इस प्रकार C('T') पर जब n → ∞ रैखिक कार्यात्मकताओं का यह समूह असीमित है।
आवधिक निरंतर कार्यों के स्थान C('T') पर कार्य करना, या रैखिक कार्यात्मक f → (S) के मानदंड के साथ कार्य करना<sub>''n''</sub>f)(0) C('T') पर। इसलिए, C('T') पर रैखिक कार्यात्मकताओं का यह परिवार असीमित है, जब n → ∞।


==फूरियर गुणांक का परिमाण==
==फूरियर गुणांक का परिमाण==
अनुप्रयोगों में, फूरियर गुणांक का आकार जानना अक्सर उपयोगी होता है।
अनुप्रयोगों में, '''फूरियर गुणांक''' का आकार जानना अधिकांशतः उपयोगी होता है।


अगर <math>f</math> बिल्कुल सतत कार्य है,
यदि <math>f</math> बिल्कुल सतत कार्य है,
:<math>\left|\widehat f(n)\right|\le {K \over |n|}</math>
:<math>\left|\widehat f(n)\right|\le {K \over |n|}</math>
के लिए <math>K</math> स्थिरांक जो केवल निर्भर करता है <math>f</math>.
जिसके लिए <math>K</math> स्थिरांक जो केवल <math>f</math> पर निर्भर करता है।


अगर <math>f</math> [[परिबद्ध भिन्नता]] फलन है,
यदि <math>f</math> [[परिबद्ध भिन्नता]] फलन है,
:<math>\left|\widehat f(n)\right|\le {{\rm var}(f)\over 2\pi|n|}.</math>
:<math>\left|\widehat f(n)\right|\le {{\rm var}(f)\over 2\pi|n|}.</math>
अगर <math>f\in C^p</math>
यदि <math>f\in C^p</math>
:<math>\left|\widehat{f}(n)\right|\le {\| f^{(p)}\|_{L_1}\over |n|^p}.</math>
:<math>\left|\widehat{f}(n)\right|\le {\| f^{(p)}\|_{L_1}\over |n|^p}.</math>
अगर <math>f\in C^p</math> और <math>f^{(p)}</math> [[निरंतरता का मापांक]] है <math>\omega_p</math>,
यदि <math>f\in C^p</math> और <math>f^{(p)}</math> [[निरंतरता का मापांक]] <math>\omega_p</math> है,
:<math>\left|\widehat{f}(n)\right|\le {\omega(2\pi/n)\over |n|^p} </math>
:<math>\left|\widehat{f}(n)\right|\le {\omega(2\pi/n)\over |n|^p} </math>
और इसलिए, यदि <math>f</math> α-होल्डर वर्ग में है
और इसलिए, यदि <math>f</math> α-होल्डर वर्ग में है
:<math>\left|\widehat{f}(n)\right|\le {K\over |n|^\alpha}.</math>
:<math>\left|\widehat{f}(n)\right|\le {K\over |n|^\alpha}.</math>
==बिंदुवार अभिसरण==
==बिंदु अभिसरण==
[[File:Sawtooth Fourier Analysis.JPG|thumb|280px|सॉटूथ तरंग (ऊपर) बनाने के लिए साइनसॉइडल तरंग आधार कार्यों (नीचे) का सुपरपोजिशन; आधार कार्यों की तरंगदैर्घ्य λ/k (k=पूर्णांक) सॉटूथ की तरंगदैर्घ्य λ से कम होती है (k=1 को छोड़कर)। सभी आधार कार्यों में सॉटूथ के नोड्स पर नोड्स होते हैं, लेकिन मूलभूत को छोड़कर सभी में अतिरिक्त नोड्स होते हैं। सॉटूथ के बारे में दोलन को [[गिब्स घटना]] कहा जाता है]]किसी फ़ंक्शन की फूरियर श्रृंखला को किसी दिए गए बिंदु x पर अभिसरण करने के लिए कई ज्ञात पर्याप्त स्थितियाँ हैं, उदाहरण के लिए यदि फ़ंक्शन x पर अवकलनीय फ़ंक्शन है। यहां तक ​​कि जंप असंततता भी कोई समस्या पैदा नहीं करती है: यदि फ़ंक्शन में x पर बाएँ और दाएँ डेरिवेटिव हैं, तो फूरियर श्रृंखला बाएँ और दाएँ सीमा के औसत में परिवर्तित हो जाती है (लेकिन गिब्स घटना देखें)।
[[File:Sawtooth Fourier Analysis.JPG|thumb|280px|सॉटूथ तरंग (ऊपर) बनाने के लिए साइनसॉइडल तरंग आधार कार्यों (नीचे) का सुपरपोजिशन; आधार कार्यों की तरंगदैर्घ्य λ/k (k=पूर्णांक) सॉटूथ की तरंगदैर्घ्य λ से कम होती है (k=1 को छोड़कर)। सभी आधार कार्यों में सॉटूथ के नोड्स पर नोड्स होते हैं, अपितु मूलभूत को छोड़कर सभी में अतिरिक्त नोड्स होते हैं। सॉटूथ के बारे में दोलन को [[गिब्स घटना]] कहा जाता है]]किसी फलन की फूरियर श्रृंखला को किसी दिए गए बिंदु x पर अभिसरण करने के लिए कई ज्ञात पर्याप्त स्थितियाँ हैं, इस प्रकार उदाहरण के लिए यदि फलन x पर अवकलनीय फलन है। यहां तक ​​कि जंप असंततता भी कोई समस्या उत्पन्न नहीं करती है: यदि फलन में x पर बाएँ और दाएँ डेरिवेटिव हैं, तो इस प्रकार फूरियर श्रृंखला बाएँ और दाएँ सीमा के औसत में परिवर्तित हो जाती है, अपितु गिब्स घटना देखें।


'डिरिचलेट-डिनी मानदंड' बताता है कि: यदि ˒ 2 है{{pi}}-आवधिक, स्थानीय रूप से एकीकृत और संतुष्ट करता है
'डिरिचलेट-डिनी मानदंड' बताता है कि: यदि ˒ 2{{pi}}-आवधिक है, इस प्रकार स्थानीय रूप से एकीकृत और संतुष्ट करता है-


:<math>\int_0^{\pi} \left| \frac{f(x_0 + t) + f(x_0 - t)}2 - \ell \right| \frac{\mathrm{d}t }{t} < \infty,</math>
:<math>\int_0^{\pi} \left| \frac{f(x_0 + t) + f(x_0 - t)}2 - \ell \right| \frac{\mathrm{d}t }{t} < \infty,</math>
फिर (एस<sub>''n''</sub>)(x<sub>0</sub>) ℓ में परिवर्तित हो जाता है। इसका तात्पर्य यह है कि किसी भी होल्डर कंडीशन|होल्डर क्लास α> 0 के किसी भी फ़ंक्शन f के लिए, फूरियर श्रृंखला हर जगह f(x) में परिवर्तित हो जाती है।
फिर (S<sub>''n''</sub>H)(x<sub>0</sub>) ℓ में परिवर्तित हो जाता है। इसका तात्पर्य यह है कि किसी भी होल्डर स्थिति या होल्डर क्लास α> 0 के किसी भी फलन f के लिए, फूरियर श्रृंखला हर क्षेत्र f(x) में परिवर्तित हो जाती है।


यह भी ज्ञात है कि सीमित भिन्नता के किसी भी आवधिक कार्य के लिए, फूरियर श्रृंखला हर जगह अभिसरण करती है। दीनी परीक्षण भी देखें।
यह भी ज्ञात है कि सीमित भिन्नता के किसी भी आवधिक कार्य के लिए, फूरियर श्रृंखला के सभी स्थानों पर अभिसरण करती है। इसके लिए दीनी परीक्षण भी देखें।
सामान्य तौर पर, किसी आवधिक फलन f के बिंदुवार अभिसरण के लिए सबसे सामान्य मानदंड इस प्रकार हैं:
 
सामान्यतः किसी आवधिक फलन f के बिंदुवार अभिसरण के लिए सबसे सामान्य मानदंड इस प्रकार हैं:


* यदि एफ धारक की शर्त को पूरा करता है, तो इसकी फूरियर श्रृंखला समान रूप से अभिसरण करती है।
* यदि एफ धारक की शर्त को पूरा करता है, तो इसकी फूरियर श्रृंखला समान रूप से अभिसरण करती है।
* यदि f परिबद्ध भिन्नता का है, तो इसकी फूरियर श्रृंखला हर जगह अभिसरित होती है।
* यदि f परिबद्ध भिन्नता का है, तो इसकी फूरियर श्रृंखला हर स्थान पर अभिसरित होती है।
* यदि f सतत है और इसके फूरियर गुणांक बिल्कुल योग योग्य हैं, तो फूरियर श्रृंखला समान रूप से अभिसरण करती है।
* यदि f सतत है और इसके फूरियर गुणांक बिल्कुल योग योग्य हैं, तो फूरियर श्रृंखला समान रूप से अभिसरण करती है।


ऐसे निरंतर कार्य मौजूद हैं जिनकी फूरियर श्रृंखला बिंदुवार रूप से परिवर्तित होती है लेकिन समान रूप से नहीं; एंटोनी ज़िगमंड, त्रिकोणमिति श्रृंखला, खंड देखें। 1, अध्याय 8, प्रमेय 1.13, पृ. 300.
ऐसे निरंतर कार्य सम्मिलित होते हैं, इस प्रकार जिनकी फूरियर श्रृंखला बिंदुवार रूप से परिवर्तित होती है, अपितु समान रूप से नहीं होती हैं, इस प्रकार एंटोनी ज़िगमंड, त्रिकोणमिति श्रृंखला, खंड देखें। इस प्रकार जिसके लिए 1, अध्याय 8, प्रमेय 1.13, पृ. 300 को देख सकते हैं।


हालाँकि, सतत फलन की फूरियर श्रृंखला को बिंदुवार अभिसरित करने की आवश्यकता नहीं है। शायद सबसे आसान प्रमाण एल में डिरिक्लेट के कर्नेल की गैर-सीमा का उपयोग करता है<sup>1</sup>(टी) और बानाच-स्टाइनहॉस [[एकसमान सीमा सिद्धांत]]बेयर श्रेणी प्रमेय का आह्वान करने वाले अस्तित्व संबंधी तर्कों के लिए विशिष्ट, यह प्रमाण गैर-रचनात्मक है। यह दर्शाता है कि निरंतर कार्यों का परिवार जिसकी फूरियर श्रृंखला किसी दिए गए ''x'' पर अभिसरण करती है, सर्कल पर निरंतर कार्यों के बानाच स्थान में [[बाहर जगह]] का है।
चूंकि, सतत फलन की फूरियर श्रृंखला को बिंदुवार अभिसरित करने की आवश्यकता नहीं है। संभवतः सबसे सरल प्रमाण L<sup>1</sup>(T) में डिरिक्लेट के कर्नेल की गैर-सीमा का उपयोग करता है, और बानाच-स्टाइनहॉस [[एकसमान सीमा सिद्धांत]] पर आधारित हैं। इस प्रकार बेयर श्रेणी प्रमेय का आह्वान करने वाले अस्तित्व संबंधी तर्कों के लिए विशिष्ट, यह प्रमाण गैर-रचनात्मक है। यह दर्शाता है कि निरंतर कार्यों का समूह जिसकी फूरियर श्रृंखला किसी दिए गए ''x'' पर अभिसरण करती है, इस प्रकार इस सर्कल पर निरंतर कार्यों के बानाच स्थान में [[बाहर जगह|बाह्य स्थान]] का है।


तो कुछ अर्थों में बिंदुवार अभिसरण ''असामान्य'' है, और अधिकांश निरंतर कार्यों के लिए फूरियर श्रृंखला किसी दिए गए बिंदु पर अभिसरण नहीं करती है। हालाँकि कार्लसन के प्रमेय से पता चलता है कि किसी दिए गए निरंतर कार्य के लिए फूरियर श्रृंखला लगभग हर जगह एकत्रित होती है।
तो कुछ अर्थों में बिंदुवार अभिसरण ''असामान्य'' है, और अधिकांश निरंतर कार्यों के लिए फूरियर श्रृंखला किसी दिए गए बिंदु पर अभिसरण नहीं करती है। चूंकि इस प्रकार कार्लसन के प्रमेय से पता चलता है कि किसी दिए गए निरंतर कार्य के लिए फूरियर श्रृंखला लगभग हर स्थान पर एकत्रित होती है।


एक सतत फ़ंक्शन का स्पष्ट उदाहरण देना भी संभव है जिसकी फूरियर श्रृंखला 0 पर विचलन करती है: उदाहरण के लिए, सम और 2π-आवधिक फ़ंक्शन ''f'' को [0,π] में सभी ''x'' के लिए परिभाषित किया गया है।<ref>{{cite book |last=Gourdon |first= Xavier|title= Les maths en tête. Analyse (2ème édition)|language= french| date=2009 |publisher= Ellipses|page=264 |isbn=978-2729837594}}</ref>
एक सतत फलन का स्पष्ट उदाहरण देना भी संभव है, जिसकी फूरियर श्रृंखला 0 पर विचलन करती है: इस प्रकार इसके उदाहरण के लिए, सम और 2π-आवधिक फलन ''f'' को [0,π] में सभी ''x'' के लिए परिभाषित किया गया है।<ref>{{cite book |last=Gourdon |first= Xavier|title= Les maths en tête. Analyse (2ème édition)|language= french| date=2009 |publisher= Ellipses|page=264 |isbn=978-2729837594}}</ref>
:<math>f(x) = \sum_{n=1}^{\infty} \frac{1}{n^2} \sin\left[ \left( 2^{n^3} +1 \right) \frac{x}{2}\right].</math>
:<math>f(x) = \sum_{n=1}^{\infty} \frac{1}{n^2} \sin\left[ \left( 2^{n^3} +1 \right) \frac{x}{2}\right].</math>
==समान अभिसरण==
==समान अभिसरण==
कल्पना करना <math>f\in C^p</math>, और <math>f^{(p)}</math> निरंतरता का मापांक है <math>\omega</math>; तब फूरियर श्रृंखला के आंशिक योग गति के साथ फ़ंक्शन में परिवर्तित हो जाते हैं<ref>Jackson (1930), p21ff.</ref>
इसकी कल्पना करना <math>f\in C^p</math>, और <math>f^{(p)}</math> निरंतरता का मापांक <math>\omega</math> है, इस प्रकार इसके अनुसार तब फूरियर श्रृंखला के आंशिक योग गति के साथ फलन में परिवर्तित हो जाते हैं<ref>Jackson (1930), p21ff.</ref>
:<math>|f(x)-(S_Nf)(x)|\le K {\ln N \over N^p}\omega(2\pi/N)</math>
:<math>|f(x)-(S_Nf)(x)|\le K {\ln N \over N^p}\omega(2\pi/N)</math>
एक स्थिरांक के लिए <math>K</math> उस पर निर्भर नहीं है <math>f </math>, और <math>p</math>, और <math>N</math>.
एक स्थिरांक के लिए <math>K</math> उस पर निर्भर नहीं है, इसके आधार पर <math>f </math>, और N <math>p</math>, और <math>N</math> हैं।


यह प्रमेय, जिसे सबसे पहले डी जैक्सन ने सिद्ध किया था, उदाहरण के लिए, बताता है कि यदि <math>f</math> को संतुष्ट करता है <math>\alpha</math>-धारक की स्थिति, फिर
यह प्रमेय, जिसे सबसे पहले डी जैक्सन ने सिद्ध किया था, उदाहरण के लिए, बताता है कि यदि इस प्रकार यह<math>f</math> को संतुष्ट करता है <math>\alpha</math>-धारक की स्थिति, फिर


:<math>|f(x)-(S_Nf)(x)|\le K {\ln N\over N^\alpha}.</math>
:<math>|f(x)-(S_Nf)(x)|\le K {\ln N\over N^\alpha}.</math>
अगर <math>f</math> है <math>2\pi</math> आवधिक और बिल्कुल निरंतर <math>[0,2\pi]</math>, फिर फूरियर श्रृंखला <math>f</math> समान रूप से अभिसरण होता है, लेकिन जरूरी नहीं कि पूरी तरह से <math>f</math>.<ref>Stromberg (1981), Exercise 6 (d) on p.&nbsp;519 and Exercise 7 (c) on p.&nbsp;520.</ref>
यदि <math>f</math> <math>2\pi</math> आवधिक है और बिल्कुल निरंतर <math>[0,2\pi]</math>, फिर फूरियर श्रृंखला <math>f</math> समान रूप से अभिसरण होता है, अपितु इस प्रकार इसकी आवश्यक नहीं हैं कि पूर्ण रूप से <math>f</math> के समान हो।<ref>Stromberg (1981), Exercise 6 (d) on p.&nbsp;519 and Exercise 7 (c) on p.&nbsp;520.</ref>
==पूर्ण अभिसरण==
==पूर्ण अभिसरण==


एक फ़ंक्शन में निरपेक्ष अभिसरण फूरियर श्रृंखला होती है यदि
एक फलन में निरपेक्ष अभिसरण फूरियर श्रृंखला होती है यदि


:<math>\|f\|_A:=\sum_{n=-\infty}^\infty |\widehat{f}(n)|<\infty.</math>
:<math>\|f\|_A:=\sum_{n=-\infty}^\infty |\widehat{f}(n)|<\infty.</math>
जाहिर है, अगर यही स्थिति रही तो <math>(S_N f)(t)</math> प्रत्येक टी के लिए बिल्कुल अभिसरण होता है और दूसरी ओर, यह पर्याप्त है <math>(S_N f)(t)</math> यहां तक ​​कि टी के लिए भी पूरी तरह से अभिसरण होता है, तो यह
यह बात प्रमाणित है कि यदि यही स्थिति रही तो <math>(S_N f)(t)</math> प्रत्येक t के लिए बिल्कुल अभिसरण होता है और दूसरी ओर, यह पर्याप्त है <math>(S_N f)(t)</math> यहां तक ​​कि टी के लिए भी पूर्ण रूप से अभिसरण होता है, तो यह शर्त रखती है, जो दूसरे शब्दों में, पूर्ण अभिसरण के लिए कोई विवाद नहीं है कि योग कहाँ पूर्ण रूप से अभिसरण करता है- इस प्रकार यदि यह बिंदु पर पूर्ण रूप से अभिसरण करता है तो यह हर स्थान पर ऐसा करता है।
शर्त रखती है. दूसरे शब्दों में, पूर्ण अभिसरण के लिए कोई मुद्दा नहीं है कि योग कहाँ पूर्ण रूप से अभिसरण करता है - यदि यह बिंदु पर पूर्ण रूप से अभिसरण करता है तो यह हर जगह ऐसा करता है।


पूरी तरह से अभिसरण फूरियर श्रृंखला के साथ सभी कार्यों का परिवार [[बानाच बीजगणित]] है (बीजगणित में गुणन का संचालन कार्यों का सरल गुणन है)। [[नॉर्बर्ट वीनर]] के नाम पर इसे वीनर बीजगणित कहा जाता है, जिन्होंने साबित किया कि यदि फू पूरी तरह से फूरियर में परिवर्तित हो गया है
इस प्रकार पूर्ण रूप से अभिसरण फूरियर श्रृंखला के साथ सभी कार्यों का समूह [[बानाच बीजगणित]] के समान है, इस प्रकार बीजगणित में गुणन का संचालन कार्यों का सरल गुणन है। इस प्रकार इसके आधार पर [[नॉर्बर्ट वीनर]] के नाम पर इसे वीनर बीजगणित कहा जाता है, जिन्होंने प्रमाणित किया हैं कि यदि फू पूर्ण रूप से फूरियर में परिवर्तित हो गया है, इस प्रकार श्रृंखला और कभी भी शून्य नहीं होती है, तो इस प्रकार 1/˒ में पूर्णतया अभिसरण फूरियर श्रृंखला होती है। इस प्रकार वीनर के प्रमेय का मूल प्रमाण कठिन था; बानाच बीजगणित के सिद्धांत का उपयोग करके सरलीकरण [[इज़राइल गेलफैंड]] द्वारा दिया गया था। अंततः, 1975 में डोनाल्ड जे. न्यूमैन द्वारा संक्षिप्त प्रारंभिक प्रमाण दिया गया हैं।
श्रृंखला और कभी भी शून्य नहीं होती है, तो 1/˒ में पूर्णतया अभिसरण फूरियर श्रृंखला होती है। वीनर के प्रमेय का मूल प्रमाण कठिन था; बानाच बीजगणित के सिद्धांत का उपयोग करके सरलीकरण [[इज़राइल गेलफैंड]] द्वारा दिया गया था। अंततः, 1975 में डोनाल्ड जे. न्यूमैन द्वारा संक्षिप्त प्रारंभिक प्रमाण दिया गया।


अगर <math>f</math> α> 1/2 के लिए α-धारक वर्ग से संबंधित है
यदि <math>f</math> α> 1/2 के लिए α-धारक वर्ग से संबंधित है


:<math>\|f\|_A\le c_\alpha \|f\|_{{\rm Lip}_\alpha},\qquad
:<math>\|f\|_A\le c_\alpha \|f\|_{{\rm Lip}_\alpha},\qquad
\|f\|_K:=\sum_{n=-\infty}^{+\infty} |n| |\widehat{f}(n)|^2\le  c_\alpha \|f\|^2_{{\rm Lip}_\alpha}</math>
\|f\|_K:=\sum_{n=-\infty}^{+\infty} |n| |\widehat{f}(n)|^2\le  c_\alpha \|f\|^2_{{\rm Lip}_\alpha}</math>
के लिए <math>\|f\|_{{\rm Lip}_\alpha}</math> में स्थिरांक
जिसके लिए <math>\|f\|_{{\rm Lip}_\alpha}</math> में स्थिरांक को धारक की स्थिति, <math>c_\alpha</math> स्थिरांक केवल पर निर्भर है, यहाँ पर <math>\alpha</math>; <math>\|f\|_K</math> केरिन बीजगणित का आदर्श है। इस प्रकार यहाँ पर ध्यान दें कि यहां 1/2 आवश्यक है - 1/2-होल्डर फलन हैं, जो वीनर बीजगणित से संबंधित नहीं हैं। इसके अतिरिक्त यह प्रमेय α-होल्डर फलन के फूरियर गुणांक के आकार पर सबसे अच्छी ज्ञात सीमा में सुधार नहीं कर सकता है - जो कि इस प्रकार केवल <math>O(1/n^\alpha)</math> है और फिर सारांशित नहीं किया जा सकता हैं।
धारक की स्थिति, <math>c_\alpha</math> स्थिरांक केवल पर निर्भर है <math>\alpha</math>; <math>\|f\|_K</math> केरिन बीजगणित का आदर्श है। ध्यान दें कि यहां 1/2 आवश्यक है - 1/2-होल्डर फ़ंक्शन हैं, जो वीनर बीजगणित से संबंधित नहीं हैं। इसके अलावा, यह प्रमेय α-होल्डर फ़ंक्शन के फूरियर गुणांक के आकार पर सबसे अच्छी ज्ञात सीमा में सुधार नहीं कर सकता है - जो कि केवल है <math>O(1/n^\alpha)</math> और फिर सारांशित नहीं किया जा सकता।


यदि ƒ सीमित भिन्नता का है और कुछ α > 0 के लिए α-धारक वर्ग से संबंधित है, तो यह वीनर बीजगणित से संबंधित है।
यदि ƒ सीमित भिन्नता का है और इस प्रकार कुछ α > 0 के लिए α-धारक वर्ग से संबंधित है, तो यह वीनर बीजगणित से संबंधित है।


==मानक अभिसरण==
==मानक अभिसरण==


सबसे सरल मामला एलपी स्पेस|एल का है<sup>2</sup>, जो सामान्य हिल्बर्ट अंतरिक्ष परिणामों का प्रत्यक्ष प्रतिलेखन है। रिज़-फिशर प्रमेय के अनुसार, यदि ˒ [[वर्ग-अभिन्न]] है तो
सबसे साधारण स्थिति lp क्षेत्र या lp<sup>2</sup> का है, जो सामान्य हिल्बर्ट क्षेत्र परिणामों का प्रत्यक्ष प्रतिलेखन है। इस प्रकार रिज़-फिशर प्रमेय के अनुसार यदि [[वर्ग-अभिन्न]] है तो


:<math>\lim_{N\rightarrow\infty}\int_0^{2\pi}\left|f(x)-S_N(f) (x)
:<math>\lim_{N\rightarrow\infty}\int_0^{2\pi}\left|f(x)-S_N(f) (x)
\right|^2\,\mathrm{d}x=0</math>
\right|^2\,\mathrm{d}x=0</math>
अर्थात।, <math>S_N f</math> L के मानदण्ड में ƒ में परिवर्तित हो जाता है<sup>2</sup>. यह देखना आसान है कि इसका उलटा भी सत्य है: यदि उपरोक्त सीमा शून्य है, तो L में होना चाहिए<sup>2</sup>. तो यह यदि और केवल यदि शर्त है।
अर्थात <math>S_N f</math> L के मानदण्ड में ƒ<sup>2</sup> में परिवर्तित हो जाता है, यह देखना साधारण बात है कि इसका व्युत्क्रम भी सत्य है: यदि उपरोक्त सीमा शून्य है, तो L<sup>2</sup> में होना चाहिए, तो यह यदि और केवल यदि शर्त है।


यदि उपरोक्त घातांक में 2 को कुछ p से बदल दिया जाए, तो प्रश्न अधिक कठिन हो जाता है। इससे पता चलता है कि अभिसरण अभी भी कायम है यदि 1 <पी<∞। दूसरे शब्दों में, Lp space|L में ƒ के लिए<sup></sup>, <math>S_N(f)</math> L में ƒ में परिवर्तित हो जाता है<sup>पी</sup>मानदंड. मूल प्रमाण [[होलोमोर्फिक फ़ंक्शन]] और [[हार्डी स्पेस]] के गुणों का उपयोग करता है, और [[सॉलोमन बोचनर]] के कारण अन्य प्रमाण, रिज़्ज़-थोरिन प्रमेय | रिज़्ज़-थोरिन इंटरपोलेशन प्रमेय पर निर्भर करता है। p = 1 और अनंत के लिए, परिणाम सत्य नहीं है। एल में विचलन के उदाहरण का निर्माण<sup>1</sup>पहली बार [[एंड्री कोलमोगोरोव]] द्वारा किया गया था (नीचे देखें)। अनंत के लिए, परिणाम एकसमान सीमा सिद्धांत का परिणाम है।
यदि उपरोक्त घातांक में 2 को कुछ p से परिवर्तित कर दिया जाता हैं, तो प्रश्न अधिक कठिन हो जाता है। इस प्रकार इससे पता चलता है कि अभिसरण अभी भी कायम है यदि 1 <p<∞ के समान होता हैं। यहाँ पर दूसरे शब्दों में, Lp क्षेत्र या L में ƒ<sup>p</sup> के लिए, <math>S_N(f)</math> L में ƒ<sup>p</sup> में परिवर्तित हो जाता है, इस प्रकार मानदंड के अनुसार उक्त मूल के प्रमाण [[होलोमोर्फिक फ़ंक्शन|होलोमोर्फिक फलन]] और [[हार्डी स्पेस|हार्डी क्षेत्र]] के गुणों का उपयोग करता है, और [[सॉलोमन बोचनर]] के कारण अन्य प्रमाण, रिज़्ज़-थोरिन प्रमेय या रिज़्ज़-थोरिन इंटरपोलेशन प्रमेय पर निर्भर करता है। इस प्रकार p = 1 और अनंत के लिए, परिणाम सत्य नहीं है। L<sup>1</sup> में विचलन के उदाहरण का निर्माण पहली बार [[एंड्री कोलमोगोरोव]] द्वारा किया गया था। इसके अनंत मान के लिए, परिणाम एकसमान सीमा सिद्धांत का परिणाम है।


यदि आंशिक योग संचालिका एस<sub>N</sub>एक उपयुक्त योगनीयता कर्नेल द्वारा प्रतिस्थापित किया जाता है (उदाहरण के लिए फेजर कर्नेल के साथ कनवल्शन द्वारा प्राप्त फेजर योग), बुनियादी कार्यात्मक विश्लेषणात्मक तकनीकों को यह दिखाने के लिए लागू किया जा सकता है कि मानक अभिसरण 1 ≤ पी <∞ के लिए है।
यदि आंशिक योग संचालिका S<sub>N</sub> एक उपयुक्त योगनीयता कर्नेल द्वारा प्रतिस्थापित किया जाता है, उदाहरण के लिए फेजर कर्नेल के साथ कनवल्शन द्वारा प्राप्त फेजर योग, मौलिक रूप से कार्यात्मक विश्लेषणात्मक तकनीकों को यह दिखाने के लिए लागू किया जा सकता है कि मानक अभिसरण 1 ≤ P <∞ के लिए है।


==[[लगभग हर जगह]] अभिसरण==
==[[लगभग हर जगह|लगभग हर क्षेत्र]] पर अभिसरण==


यह समस्या कि क्या फूरियर श्रृंखला के किसी भी निरंतर कार्य का अभिसरण लगभग हर जगह होता है, 1920 के दशक में [[निकोलाई लुसिन]] द्वारा प्रस्तुत किया गया था।
यह समस्या कि क्या फूरियर श्रृंखला के किसी भी निरंतर कार्य का अभिसरण लगभग हर क्षेत्र में होता है, इस प्रकार 1920 के दशक में [[निकोलाई लुसिन]] द्वारा प्रस्तुत किया गया था।
इसे 1966 में [[लेनार्ट कार्लसन]] द्वारा सकारात्मक रूप से हल किया गया था। उनका परिणाम, जिसे अब कार्लसन के प्रमेय के रूप में जाना जाता है, एल में किसी भी फ़ंक्शन के फूरियर विस्तार को बताता है<sup>2</sup>लगभग हर जगह मिलती है। बाद में, [[रिचर्ड हंट (गणितज्ञ)]] ने इसे एल के रूप में सामान्यीकृत किया<sup>p</sup>किसी भी p> 1 के लिए।


इसके विपरीत, एंड्री कोलमोगोरोव ने, 19 वर्ष की आयु में छात्र के रूप में, अपने पहले वैज्ञानिक कार्य में, एल में फ़ंक्शन का उदाहरण बनाया<sup>1</sup> जिसकी फूरियर श्रृंखला लगभग हर जगह अलग हो जाती है (बाद में हर जगह अलग होने के लिए इसमें सुधार हुआ)।
इसे 1966 में [[लेनार्ट कार्लसन]] द्वारा धनात्मक रूप से हल किया गया था। उनका परिणाम, जिसे अब कार्लसन के प्रमेय के रूप में जाना जाता है, इस प्रकार L<sup>2</sup> में किसी भी फलन के फूरियर विस्तार को बताता है, लगभग हर क्षेत्र मिलती है। बाद में, [[रिचर्ड हंट (गणितज्ञ)]] ने इसे एल के रूप में सामान्यीकृत किया<sup>p</sup>किसी भी p> 1 के लिए।


[[जीन-पिअर कहने]] और [[यित्ज़ाक काट्ज़नेल्सन (गणितज्ञ)]] ने साबित किया कि [[माप (गणित)]] शून्य के किसी भी दिए गए सेट ई के लिए, सतत फ़ंक्शन मौजूद है जैसे कि फूरियर श्रृंखला किसी भी बिंदु पर अभिसरण करने में विफल रहती है
इसके विपरीत, एंड्री कोलमोगोरोव ने, 19 वर्ष की आयु में छात्र के रूप में, अपने पहले वैज्ञानिक कार्य में, इस प्रकार L<sup>1</sup> में फलन का उदाहरण बनाया जिसकी फूरियर श्रृंखला लगभग हर क्षेत्र अलग हो जाती है, जिसके पश्चात इसमें हर क्षेत्र के अलग होने के लिए इसमें सुधार हुआ हैं।
ई का.
 
[[जीन-पिअर कहने]] और [[यित्ज़ाक काट्ज़नेल्सन (गणितज्ञ)]] ने प्रमाणित किया हैं कि [[माप (गणित)]] शून्य के किसी भी दिए गए सेट ई के लिए, सतत फलन सम्मिलित होते है, जैसे कि फूरियर श्रृंखला किसी भी बिंदु e पर अभिसरण करने में विफल रहती है।


==सारांश==
==सारांश==


क्या अनुक्रम 0,1,0,1,0,1,... (ग्रांडी की श्रृंखला का आंशिक योग) ½ में परिवर्तित होता है? यह अभिसरण की धारणा का बहुत अनुचित सामान्यीकरण नहीं लगता है। इसलिए हम कहते हैं कि कोई भी क्रम <math>(a_n)_{n=1}^\infty</math> क्या सिजेरो का मतलब है| सिजेरो का योग कुछ a if से है
क्या अनुक्रम 0,1,0,1,0,1,... (ग्रांडी की श्रृंखला का आंशिक योग) ½ में परिवर्तित होता है? यह अभिसरण की धारणा का बहुत अनुचित सामान्यीकरण नहीं लगता है। इसलिए हम कहते हैं कि कोई भी क्रम <math>(a_n)_{n=1}^\infty</math> क्या सिजेरो का अर्थ है। इस प्रकार सिजेरो का योग a if से है।


:<math>\lim_{n\to\infty}\frac{1}{n}\sum_{k=1}^n s_k=a.</math>
:<math>\lim_{n\to\infty}\frac{1}{n}\sum_{k=1}^n s_k=a.</math>
कहाँ से <math>s_k</math> हम निरूपित करते हैं {{mvar|k}}वां [[आंशिक योग]]:
जहाँ <math>s_k</math> हम {{mvar|k}}वां [[आंशिक योग]] निरूपित करते हैं:


:<math>s_k = a_1 + \cdots + a_k= \sum_{n=1}^k a_n</math>
:<math>s_k = a_1 + \cdots + a_k= \sum_{n=1}^k a_n</math>
यह देखना कठिन नहीं है कि यदि कोई अनुक्रम किसी a में परिवर्तित हो जाता है तो यह भी Cesàro माध्य है|Cesàro भी इसका योग है।
यह देखना कठिन नहीं है कि यदि कोई अनुक्रम किसी a में परिवर्तित हो जाता है, तो यह भी सिजारो माध्य है। इस प्रकार सिजारो भी इसका योग है।


फूरियर श्रृंखला की संक्षेपणता पर चर्चा करने के लिए, हमें प्रतिस्थापित करना होगा <math>S_N</math> उचित विचार के साथ. इसलिए हम परिभाषित करते हैं
फूरियर श्रृंखला की संक्षेपणता पर चर्चा करने के लिए, हमें प्रतिस्थापित करना होगा <math>S_N</math> उचित विचार के साथ इसलिए हम परिभाषित करते हैं


:<math>K_N(f;t)=\frac{1}{N}\sum_{n=0}^{N-1} S_n(f;t), \quad N \ge 1,</math>
:<math>K_N(f;t)=\frac{1}{N}\sum_{n=0}^{N-1} S_n(f;t), \quad N \ge 1,</math>
और पूछें: करता है <math>K_N(f)</math> एफ में अभिसरण? <math>K_N </math> अब भी नहीं
और <math>K_N(f)</math> f में अभिसरण करते हैं? <math>K_N </math> अब भी नहीं डिरिचलेट के कर्नेल के साथ संयोजित हुआ है, अपितु इस प्रकार फेजर के कर्नेल के साथ संयोजित होता, अर्थात्
डिरिचलेट के कर्नेल के साथ जुड़ा हुआ है, लेकिन फेजर के कर्नेल के साथ, अर्थात्


:<math>K_N(f)=f*F_N\,</math>
:<math>K_N(f)=f*F_N\,</math>
कहाँ <math>F_N</math> फेजर की गिरी भी,
जहाँ <math>F_N</math> फेजर की गिरी भी,


:<math>F_N=\frac{1}{N}\sum_{n=0}^{N-1} D_n.</math>
:<math>F_N=\frac{1}{N}\sum_{n=0}^{N-1} D_n.</math>
मुख्य अंतर यह है कि फेजर का कर्नेल सकारात्मक कर्नेल है। फेजर के प्रमेय में कहा गया है कि आंशिक योगों का उपरोक्त क्रम समान रूप से ƒ में परिवर्तित होता है। इसका तात्पर्य बेहतर अभिसरण गुणों से है
मुख्य अंतर यह है कि फेजर का कर्नेल धनात्मक कर्नेल है। फेजर के प्रमेय में कहा गया है कि आंशिक योगों का उपरोक्त क्रम समान रूप से ƒ में परिवर्तित होता है। इसका तात्पर्य उत्तम अभिसरण गुणों से है।


* यदि ɪt पर निरंतर है तो ə की फूरियर श्रृंखला t से ə(t) पर योग योग्य है। यदि ƒ निरंतर है, तो इसकी फूरियर श्रृंखला समान रूप से योग योग्य है (अर्थात् <math>K_N(f)</math> समान रूप से ƒ) में परिवर्तित हो जाता है।
* यदि ɪt पर निरंतर है तो ə की फूरियर श्रृंखला t से ə(t) पर योग योग्य है। यदि ƒ निरंतर है, तो इसकी फूरियर श्रृंखला समान रूप से योग योग्य है (अर्थात् <math>K_N(f)</math> समान रूप से ƒ) में परिवर्तित हो जाता है।
* किसी भी पूर्णांक के लिए, <math>K_N(f)</math> में ˒ में परिवर्तित हो जाता है <math>L^1</math> आदर्श.
* किसी भी पूर्णांक के लिए, <math>K_N(f)</math> में <math>L^1</math>इस प्रकार आदर्श रूप से परिवर्तित हो जाता है।
* कोई गिब्स घटना नहीं है.
* यह कोई गिब्स घटना नहीं है।


सारांश के बारे में परिणाम नियमित अभिसरण के बारे में भी परिणाम दे सकते हैं। उदाहरण के लिए, हम सीखते हैं कि यदि ɪt पर निरंतर है, तो ə की फूरियर श्रृंखला ə(t) से भिन्न मान में परिवर्तित नहीं हो सकती है। यह या तो ƒ(t) में परिवर्तित हो सकता है या अलग हो सकता है। ऐसा इसलिए है क्योंकि, यदि <math>S_N(f;t)</math> कुछ मान x में अभिसरण होता है, यह भी इसके लिए योग योग्य है, इसलिए ऊपर दिए गए पहले योग गुण से, x = ƒ(t)
इस सारांश के बारे में परिणाम नियमित अभिसरण के बारे में भी परिणाम दे सकते हैं। इस प्रकार उदाहरण के लिए, हम सीखते हैं कि यदि ɪt पर निरंतर है, तो ə की फूरियर श्रृंखला ə(t) से भिन्न मान में परिवर्तित नहीं हो सकती है। यह या तो ƒ(t) में परिवर्तित हो सकता है या अलग हो सकता है। ऐसा इसलिए है क्योंकि इस प्रकार यदि <math>S_N(f;t)</math> कुछ मान x में अभिसरण होता है, यह भी इसके लिए योग योग्य है, इसलिए ऊपर दिए गए पहले योग गुण से, x = ƒ(t) हैं।


==वृद्धि का क्रम==
==वृद्धि का क्रम==


डिरिक्लेट के कर्नेल की वृद्धि का क्रम लघुगणकीय है, अर्थात।
डिरिक्लेट के कर्नेल की वृद्धि का क्रम लघुगणकीय है, अर्थात


:<math>\int |D_N(t)|\,\mathrm{d}t = \frac{4}{\pi^2}\log N+O(1).</math>
:<math>\int |D_N(t)|\,\mathrm{d}t = \frac{4}{\pi^2}\log N+O(1).</math>
नोटेशन O(1) के लिए [[बिग ओ अंकन]] देखें। वास्तविक मूल्य <math>4/\pi^2</math> गणना करना कठिन है (ज़िगमंड 8.3 देखें) और लगभग कोई उपयोग नहीं है। तथ्य यह है कि हमारे पास कुछ स्थिरांक c है
नोटेशन O(1) के लिए [[बिग ओ अंकन]] देखें। वास्तविक मूल्य <math>4/\pi^2</math> गणना करना कठिन है, (ज़िगमंड 8.3 देखें) और इस प्रकार इसका लगभग कोई उपयोग नहीं है। इसा तथ्य यह है कि हमारे पास कुछ स्थिरांक c है


:<math>\int |D_N(t)|\,\mathrm{d}t > c\log N+O(1)</math>
:<math>\int |D_N(t)|\,\mathrm{d}t > c\log N+O(1)</math>
जब कोई डिरिचलेट के कर्नेल के ग्राफ़ की जांच करता है तो यह बिल्कुल स्पष्ट है। एन-वें शिखर पर अभिन्न अंग सी/एन से बड़ा है और इसलिए [[हार्मोनिक श्रृंखला (गणित)]] के लिए अनुमान लघुगणक अनुमान देता है।
जब कोई डिरिचलेट के कर्नेल के ग्राफ़ की जांच करता है तो यह बिल्कुल स्पष्ट है। एन-वें उच्च मान पर अभिन्न अंग c/n से बड़ा है और इसलिए [[हार्मोनिक श्रृंखला (गणित)]] के लिए अनुमान लघुगणक अनुमान देता है।


इस अनुमान में पिछले कुछ परिणामों के मात्रात्मक संस्करण शामिल हैं। किसी भी सतत फलन f और किसी t के लिए
इस अनुमान में पिछले कुछ परिणामों के मात्रात्मक संस्करण सम्मिलित हैं। इस प्रकार किसी भी सतत फलन f और किसी t के लिए


:<math>\lim_{N\to\infty} \frac{S_N(f;t)}{\log N}=0.</math>
:<math>\lim_{N\to\infty} \frac{S_N(f;t)}{\log N}=0.</math>
हालाँकि, लॉग से छोटे विकास के किसी भी क्रम ω(n) के लिए, यह अब मान्य नहीं है और निरंतर फ़ंक्शन f ढूंढना संभव है जैसे कि कुछ t के लिए,
चूंकि, लॉग से छोटे विकास के किसी भी क्रम ω(n) के लिए, यह अब मान्य नहीं है और निरंतर फलन f ढूंढना संभव है, जैसे कि कुछ t के लिए,


:<math>\varlimsup_{N\to\infty} \frac{S_N(f;t)}{\omega(N)}=\infty.</math>
:<math>\varlimsup_{N\to\infty} \frac{S_N(f;t)}{\omega(N)}=\infty.</math>
सर्वत्र विचलन की समतुल्य समस्या खुली हुई है। सर्गेई कोन्यागिन एकीकृत फ़ंक्शन का निर्माण करने में कामयाब रहे जैसे कि हर किसी के पास होता है
इस प्रकार सर्वत्र विचलन की समतुल्य समस्या विवृत हुई है। सर्गेई कोन्यागिन एकीकृत फलन का निर्माण करने में सफल रहे जैसे कि हर किसी के पास होता है-


:<math>\varlimsup_{N\to\infty} \frac{S_N(f;t)}{\sqrt{\log N}}=\infty.</math>
:<math>\varlimsup_{N\to\infty} \frac{S_N(f;t)}{\sqrt{\log N}}=\infty.</math>
यह ज्ञात नहीं है कि यह उदाहरण सर्वोत्तम संभव है या नहीं। ज्ञात अन्य दिशा से एकमात्र बाउंड लॉग एन है।
यह ज्ञात नहीं है कि यह उदाहरण सर्वोत्तम संभव है या नहीं हैं। इसे ज्ञात करके अन्य दिशाओं से एकमात्र बाउंड लॉग एन है।


==एकाधिक आयाम==
==एकाधिक आयाम==
Line 171: Line 167:


:<math>S_N(f;t_1,t_2)=\sum_{|n_1|\leq N,|n_2|\leq N}\widehat{f}(n_1,n_2)e^{i(n_1 t_1+n_2 t_2)}</math>
:<math>S_N(f;t_1,t_2)=\sum_{|n_1|\leq N,|n_2|\leq N}\widehat{f}(n_1,n_2)e^{i(n_1 t_1+n_2 t_2)}</math>
जिन्हें वर्ग आंशिक योग के रूप में जाना जाता है। उपरोक्त योग को से प्रतिस्थापित करना
जिन्हें वर्ग आंशिक योग के रूप में जाना जाता है। उपरोक्त योग को से प्रतिस्थापित किया जाता हैं।


:<math>\sum_{n_1^2+n_2^2\leq N^2}</math>
:<math>\sum_{n_1^2+n_2^2\leq N^2}</math>
वृत्ताकार आंशिक योगों की ओर ले जाएँ। इन दोनों परिभाषाओं के बीच अंतर काफी उल्लेखनीय है। उदाहरण के लिए, वर्ग आंशिक योगों के लिए संगत डिरिचलेट कर्नेल का मान इस क्रम का है <math>\log^2 N</math> जबकि परिपत्र आंशिक रकम के लिए यह के क्रम का है <math>\sqrt{N}</math>.
वृत्ताकार आंशिक योगों की ओर ले जाएँ। इन दोनों परिभाषाओं के बीच अंतर अत्यधिक उल्लेखनीय है। इस प्रकार उदाहरण के लिए वर्ग आंशिक योगों के लिए संगत डिरिचलेट कर्नेल का मान इस क्रम का है, इस प्रकार <math>\log^2 N</math> जबकि परिपत्र आंशिक रकम के लिए यह <math>\sqrt{N}</math> के क्रम का है।


एक आयाम के लिए सही कई परिणाम कई आयामों में गलत या अज्ञात हैं। विशेष रूप से, कार्लसन के प्रमेय का समतुल्य वृत्ताकार आंशिक योगों के लिए अभी भी खुला है। लगभग हर जगह कई आयामों में वर्ग आंशिक योगों (साथ ही अधिक सामान्य बहुभुज आंशिक योगों) का अभिसरण 1970 के आसपास [[चार्ल्स फ़ेफ़रमैन]] द्वारा स्थापित किया गया था।
एक आयाम के लिए सही कई परिणाम कई आयामों में गलत या अज्ञात हैं। विशेष रूप से, कार्लसन के प्रमेय का समतुल्य वृत्ताकार आंशिक योगों के लिए अभी भी संवृत्त है। इस प्रकार यह लगभग सभी क्षेत्रों के कई आयामों में वर्ग आंशिक योगों को इसके साथ ही इस प्रकार अधिक सामान्य बहुभुज वाले आंशिक योगों का अभिसरण 1970 के आसपास [[चार्ल्स फ़ेफ़रमैन]] द्वारा स्थापित किया गया था।


==टिप्पणियाँ==
==टिप्पणियाँ==
Line 194: Line 190:
* [[एंड्री निकोलाइविच कोलमोगोरोव]], उने सेरी डे फूरियर-लेबेस्ग डाइवर्जेंट प्रीस्क पार्टआउट, [[गणित के मूल सिद्धांत]] 4 (1923), 324-328।
* [[एंड्री निकोलाइविच कोलमोगोरोव]], उने सेरी डे फूरियर-लेबेस्ग डाइवर्जेंट प्रीस्क पार्टआउट, [[गणित के मूल सिद्धांत]] 4 (1923), 324-328।
* एंड्री कोलमोगोरोव, उने सेरी डे फूरियर-लेबेस्ग डाइवर्जेंट पार्टआउट, सी. आर. एकेड। विज्ञान. पेरिस '183' (1926), 1327-1328
* एंड्री कोलमोगोरोव, उने सेरी डे फूरियर-लेबेस्ग डाइवर्जेंट पार्टआउट, सी. आर. एकेड। विज्ञान. पेरिस '183' (1926), 1327-1328
:पहला पूर्णांक फ़ंक्शन का निर्माण है जिसकी फूरियर श्रृंखला लगभग हर जगह भिन्न होती है। दूसरा हर जगह विचलन को मजबूत करना है। फ्रेंच में।
:पहला पूर्णांक फलन का निर्माण है जिसकी फूरियर श्रृंखला लगभग हर क्षेत्र भिन्न होती है। दूसरा हर क्षेत्र विचलन को मजबूत करना है। फ्रेंच में।
* लेनार्ट कार्लसन, फूरियर श्रृंखला के आंशिक योगों के अभिसरण और विकास पर, एक्टा मैथ। '116' (1966) 135-157.
* लेनार्ट कार्लसन, फूरियर श्रृंखला के आंशिक योगों के अभिसरण और विकास पर, एक्टा मैथ। '116' (1966) 135-157.
* रिचर्ड हंट (गणितज्ञ)|रिचर्ड ए. हंट, फूरियर श्रृंखला के अभिसरण पर, ऑर्थोगोनल विस्तार और उनके सतत एनालॉग्स (प्रो. कॉन्फ., एडवर्ड्सविले, इल., 1967), 235-255। दक्षिणी इलिनोइस विश्वविद्यालय। प्रेस, कार्बोंडेल, आईएल।
* रिचर्ड हंट (गणितज्ञ)|रिचर्ड ए. हंट, फूरियर श्रृंखला के अभिसरण पर, ऑर्थोगोनल विस्तार और उनके सतत एनालॉग्स (प्रो. कॉन्फ., एडवर्ड्सविले, इल., 1967), 235-255। दक्षिणी इलिनोइस विश्वविद्यालय। प्रेस, कार्बोंडेल, आईएल।
Line 200: Line 196:
* [[माइकल लेसी (गणितज्ञ)]] और [[क्रिस्टोफर थीले]], कार्लसन ऑपरेटर की बाध्यता का प्रमाण, गणित। रेस. लेट. '7:4' (2000), 361-370।
* [[माइकल लेसी (गणितज्ञ)]] और [[क्रिस्टोफर थीले]], कार्लसन ऑपरेटर की बाध्यता का प्रमाण, गणित। रेस. लेट. '7:4' (2000), 361-370।
* ओले जी. जोर्सबो और लीफ मेजल्ब्रो, फूरियर श्रृंखला पर कार्लसन-हंट प्रमेय। [[गणित में व्याख्यान नोट्स]] 911, स्प्रिंगर-वेरलाग, बर्लिन-न्यूयॉर्क, 1982। {{ISBN|3-540-11198-0}}
* ओले जी. जोर्सबो और लीफ मेजल्ब्रो, फूरियर श्रृंखला पर कार्लसन-हंट प्रमेय। [[गणित में व्याख्यान नोट्स]] 911, स्प्रिंगर-वेरलाग, बर्लिन-न्यूयॉर्क, 1982। {{ISBN|3-540-11198-0}}
:यह कार्लसन का मूल पेपर है, जहां वह साबित करता है कि किसी भी निरंतर फ़ंक्शन का फूरियर विस्तार लगभग हर जगह परिवर्तित होता है; हंट का पेपर जहां वह इसका सामान्यीकरण करता है <math>L^p</math> रिक्त स्थान; प्रमाण को सरल बनाने के दो प्रयास; और किताब जो इसका स्वयं निहित विवरण देती है।
:यह कार्लसन का मूल पेपर है, जहां वह साबित करता है कि किसी भी निरंतर फलन का फूरियर विस्तार लगभग हर क्षेत्र परिवर्तित होता है; हंट का पेपर जहां वह इसका सामान्यीकरण करता है <math>L^p</math> रिक्त स्थान; प्रमाण को सरल बनाने के दो प्रयास; और किताब जो इसका स्वयं निहित विवरण देती है।
* [[डनहम जैक्सन]], फूरियर सीरीज़ और ऑर्थोगोनल पॉलीनोमिअल्स, 1963
* [[डनहम जैक्सन]], फूरियर सीरीज़ और ऑर्थोगोनल पॉलीनोमिअल्स, 1963
* डी. जे. न्यूमैन, वीनर के 1/एफ प्रमेय का सरल प्रमाण, प्रोक। आमेर. गणित। समाज. '48' (1975), 264-265।
* डी. जे. न्यूमैन, वीनर के 1/एफ प्रमेय का सरल प्रमाण, प्रोक। आमेर. गणित। समाज. '48' (1975), 264-265।
* जीन-पियरे कहाने और [[यित्ज़ाक काट्ज़नेल्सन]], सुर लेस एन्सेम्बल्स डे डाइवर्जेंस डेस सीरीज़ ट्राइगोनोमेट्रिक्स, स्टूडियो मैथ। '26' (1966), 305-306
* जीन-पियरे कहाने और [[यित्ज़ाक काट्ज़नेल्सन]], सुर लेस एन्सेम्बल्स डे डाइवर्जेंस डेस सीरीज़ ट्राइगोनोमेट्रिक्स, स्टूडियो मैथ। '26' (1966), 305-306
:इस पेपर में लेखक बताते हैं कि शून्य माप के किसी भी सेट के लिए सर्कल पर निरंतर फ़ंक्शन मौजूद होता है जिसकी फूरियर श्रृंखला उस सेट पर भिन्न होती है। फ्रेंच में।
:इस पेपर में लेखक बताते हैं कि शून्य माप के किसी भी सेट के लिए सर्कल पर निरंतर फलन मौजूद होता है जिसकी फूरियर श्रृंखला उस सेट पर भिन्न होती है। फ्रेंच में।
* [[सर्गेई व्लादिमीरोविच कोन्यागिन]], हर जगह त्रिकोणमितीय फूरियर श्रृंखला के विचलन पर, सी. आर. एकेड। विज्ञान. पेरिस '329' (1999), 693-697।
* [[सर्गेई व्लादिमीरोविच कोन्यागिन]], हर क्षेत्र त्रिकोणमितीय फूरियर श्रृंखला के विचलन पर, सी. आर. एकेड। विज्ञान. पेरिस '329' (1999), 693-697।
* जीन-पियरे कहाने, कार्यों की कुछ यादृच्छिक श्रृंखला, दूसरा संस्करण। कैम्ब्रिज यूनिवर्सिटी प्रेस, 1993। {{ISBN|0-521-45602-9}}
* जीन-पियरे कहाने, कार्यों की कुछ यादृच्छिक श्रृंखला, दूसरा संस्करण। कैम्ब्रिज यूनिवर्सिटी प्रेस, 1993। {{ISBN|0-521-45602-9}}
:कोन्यागिन पेपर यह साबित करता है <math>\sqrt{\log n}</math> विचलन परिणाम ऊपर चर्चा की गई। सरल प्रमाण जो केवल लॉग लॉग एन देता है, काहेन की पुस्तक में पाया जा सकता है।
:कोन्यागिन पेपर यह साबित करता है <math>\sqrt{\log n}</math> विचलन परिणाम ऊपर चर्चा की गई। सरल प्रमाण जो केवल लॉग लॉग एन देता है, काहेन की पुस्तक में पाया जा सकता है।
Line 211: Line 207:
श्रेणी:फूरियर श्रृंखला
श्रेणी:फूरियर श्रृंखला


 
[[Category:CS1 maint]]
[[Category: Machine Translated Page]]
[[Category:Created On 09/07/2023]]
[[Category:Created On 09/07/2023]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]

Latest revision as of 12:24, 31 July 2023

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

अभिसरण के निर्धारण के लिए बिंदुवार अभिसरण, एकसमान अभिसरण, पूर्ण अभिसरण, एलपी क्षेत्र की समझ की आवश्यकता होती है। इस प्रकार Lp रिक्त स्थान, योग्‍यता विधियां और सेसरो माध्य के समान होती हैं।

प्रारंभिक

अंतराल पर लेबेस्ग एकीकरण फलन [0, 2π] पर विचार करें, ऐसे f के लिए 'फूरियर गुणांक' सूत्र द्वारा परिभाषित किये गये हैं-

f और इसकी फूरियर श्रृंखला के बीच संबंध का वर्णन करना साधारण बात है।

यहाँ संकेतन ~ का अर्थ है कि योग कुछ अर्थों में फलन का प्रतिनिधित्व करता है। इसकी अधिक सावधानी से जांच करने के लिए, इस प्रकार आंशिक रकम को परिभाषित किया जाना चाहिए:

इस प्रकार यहाँ पर प्रश्न यह है कि क्या फूरियर श्रृंखला अभिसरण करती है: इस प्रकार फलन का उपयोग करते हैं। इस प्रकार वेरिएबल t के कौन से फलन होते हैं, जिन्हें इस प्रकार हमने नोटेशन में छोड़ दिया है, इसके आधार पर f में परिवर्तित होते हैं और किस अर्थ में होते हैं? क्या इस या उस प्रकार के अभिसरण को सुनिश्चित करने के लिए कोई शर्तें हैं?

इसे प्रस्तुत रखने से पहले, डिरिचलेट कर्नेल को प्रस्तुत किया जाना चाहिए। जिसके लिए सूत्र का उपयोग करते हैं, इसे सूत्र में सम्मिलित किया जाता हैं, इस प्रकार और कुछ बीजगणित करने से वह मिलता है

जहां ∗ आवधिक कनवल्शन के लिए है और डिरिचलेट कर्नेल है, जिसका स्पष्ट सूत्र इस प्रकार है,

डिरिचलेट कर्नेल धनात्मक कर्नेल नहीं है, और वास्तव में, इसका मानदंड भिन्न होता है।

इस प्रकार उक्त तथ्य के अनुसार जो चर्चा में महत्वपूर्ण भूमिका निभाता है। इस प्रकार Dn का मानदंड L i1(T) Dn के साथ कनवल्शन ऑपरेटर के मानदंड से मेल खाता है, आवधिक निरंतर कार्यों के स्थान C('T') पर कार्य करना, या रैखिक कार्यात्मक f → (S)nf)(0) C('T') के मानदंड के साथ कार्य करता हैं। इसलिए इस प्रकार C('T') पर जब n → ∞ रैखिक कार्यात्मकताओं का यह समूह असीमित है।

फूरियर गुणांक का परिमाण

अनुप्रयोगों में, फूरियर गुणांक का आकार जानना अधिकांशतः उपयोगी होता है।

यदि बिल्कुल सतत कार्य है,

जिसके लिए स्थिरांक जो केवल पर निर्भर करता है।

यदि परिबद्ध भिन्नता फलन है,

यदि

यदि और निरंतरता का मापांक है,

और इसलिए, यदि α-होल्डर वर्ग में है

बिंदु अभिसरण

सॉटूथ तरंग (ऊपर) बनाने के लिए साइनसॉइडल तरंग आधार कार्यों (नीचे) का सुपरपोजिशन; आधार कार्यों की तरंगदैर्घ्य λ/k (k=पूर्णांक) सॉटूथ की तरंगदैर्घ्य λ से कम होती है (k=1 को छोड़कर)। सभी आधार कार्यों में सॉटूथ के नोड्स पर नोड्स होते हैं, अपितु मूलभूत को छोड़कर सभी में अतिरिक्त नोड्स होते हैं। सॉटूथ के बारे में दोलन को गिब्स घटना कहा जाता है

किसी फलन की फूरियर श्रृंखला को किसी दिए गए बिंदु x पर अभिसरण करने के लिए कई ज्ञात पर्याप्त स्थितियाँ हैं, इस प्रकार उदाहरण के लिए यदि फलन x पर अवकलनीय फलन है। यहां तक ​​कि जंप असंततता भी कोई समस्या उत्पन्न नहीं करती है: यदि फलन में x पर बाएँ और दाएँ डेरिवेटिव हैं, तो इस प्रकार फूरियर श्रृंखला बाएँ और दाएँ सीमा के औसत में परिवर्तित हो जाती है, अपितु गिब्स घटना देखें।

'डिरिचलेट-डिनी मानदंड' बताता है कि: यदि ˒ 2π-आवधिक है, इस प्रकार स्थानीय रूप से एकीकृत और संतुष्ट करता है-

फिर (SnH)(x0) ℓ में परिवर्तित हो जाता है। इसका तात्पर्य यह है कि किसी भी होल्डर स्थिति या होल्डर क्लास α> 0 के किसी भी फलन f के लिए, फूरियर श्रृंखला हर क्षेत्र f(x) में परिवर्तित हो जाती है।

यह भी ज्ञात है कि सीमित भिन्नता के किसी भी आवधिक कार्य के लिए, फूरियर श्रृंखला के सभी स्थानों पर अभिसरण करती है। इसके लिए दीनी परीक्षण भी देखें।

सामान्यतः किसी आवधिक फलन f के बिंदुवार अभिसरण के लिए सबसे सामान्य मानदंड इस प्रकार हैं:

  • यदि एफ धारक की शर्त को पूरा करता है, तो इसकी फूरियर श्रृंखला समान रूप से अभिसरण करती है।
  • यदि f परिबद्ध भिन्नता का है, तो इसकी फूरियर श्रृंखला हर स्थान पर अभिसरित होती है।
  • यदि f सतत है और इसके फूरियर गुणांक बिल्कुल योग योग्य हैं, तो फूरियर श्रृंखला समान रूप से अभिसरण करती है।

ऐसे निरंतर कार्य सम्मिलित होते हैं, इस प्रकार जिनकी फूरियर श्रृंखला बिंदुवार रूप से परिवर्तित होती है, अपितु समान रूप से नहीं होती हैं, इस प्रकार एंटोनी ज़िगमंड, त्रिकोणमिति श्रृंखला, खंड देखें। इस प्रकार जिसके लिए 1, अध्याय 8, प्रमेय 1.13, पृ. 300 को देख सकते हैं।

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

तो कुछ अर्थों में बिंदुवार अभिसरण असामान्य है, और अधिकांश निरंतर कार्यों के लिए फूरियर श्रृंखला किसी दिए गए बिंदु पर अभिसरण नहीं करती है। चूंकि इस प्रकार कार्लसन के प्रमेय से पता चलता है कि किसी दिए गए निरंतर कार्य के लिए फूरियर श्रृंखला लगभग हर स्थान पर एकत्रित होती है।

एक सतत फलन का स्पष्ट उदाहरण देना भी संभव है, जिसकी फूरियर श्रृंखला 0 पर विचलन करती है: इस प्रकार इसके उदाहरण के लिए, सम और 2π-आवधिक फलन f को [0,π] में सभी x के लिए परिभाषित किया गया है।[1]

समान अभिसरण

इसकी कल्पना करना , और निरंतरता का मापांक है, इस प्रकार इसके अनुसार तब फूरियर श्रृंखला के आंशिक योग गति के साथ फलन में परिवर्तित हो जाते हैं[2]

एक स्थिरांक के लिए उस पर निर्भर नहीं है, इसके आधार पर , और N , और हैं।

यह प्रमेय, जिसे सबसे पहले डी जैक्सन ने सिद्ध किया था, उदाहरण के लिए, बताता है कि यदि इस प्रकार यह को संतुष्ट करता है -धारक की स्थिति, फिर

यदि आवधिक है और बिल्कुल निरंतर , फिर फूरियर श्रृंखला समान रूप से अभिसरण होता है, अपितु इस प्रकार इसकी आवश्यक नहीं हैं कि पूर्ण रूप से के समान हो।[3]

पूर्ण अभिसरण

एक फलन में निरपेक्ष अभिसरण फूरियर श्रृंखला होती है यदि

यह बात प्रमाणित है कि यदि यही स्थिति रही तो प्रत्येक t के लिए बिल्कुल अभिसरण होता है और दूसरी ओर, यह पर्याप्त है यहां तक ​​कि टी के लिए भी पूर्ण रूप से अभिसरण होता है, तो यह शर्त रखती है, जो दूसरे शब्दों में, पूर्ण अभिसरण के लिए कोई विवाद नहीं है कि योग कहाँ पूर्ण रूप से अभिसरण करता है- इस प्रकार यदि यह बिंदु पर पूर्ण रूप से अभिसरण करता है तो यह हर स्थान पर ऐसा करता है।

इस प्रकार पूर्ण रूप से अभिसरण फूरियर श्रृंखला के साथ सभी कार्यों का समूह बानाच बीजगणित के समान है, इस प्रकार बीजगणित में गुणन का संचालन कार्यों का सरल गुणन है। इस प्रकार इसके आधार पर नॉर्बर्ट वीनर के नाम पर इसे वीनर बीजगणित कहा जाता है, जिन्होंने प्रमाणित किया हैं कि यदि फू पूर्ण रूप से फूरियर में परिवर्तित हो गया है, इस प्रकार श्रृंखला और कभी भी शून्य नहीं होती है, तो इस प्रकार 1/˒ में पूर्णतया अभिसरण फूरियर श्रृंखला होती है। इस प्रकार वीनर के प्रमेय का मूल प्रमाण कठिन था; बानाच बीजगणित के सिद्धांत का उपयोग करके सरलीकरण इज़राइल गेलफैंड द्वारा दिया गया था। अंततः, 1975 में डोनाल्ड जे. न्यूमैन द्वारा संक्षिप्त प्रारंभिक प्रमाण दिया गया हैं।

यदि α> 1/2 के लिए α-धारक वर्ग से संबंधित है

जिसके लिए में स्थिरांक को धारक की स्थिति, स्थिरांक केवल पर निर्भर है, यहाँ पर ; केरिन बीजगणित का आदर्श है। इस प्रकार यहाँ पर ध्यान दें कि यहां 1/2 आवश्यक है - 1/2-होल्डर फलन हैं, जो वीनर बीजगणित से संबंधित नहीं हैं। इसके अतिरिक्त यह प्रमेय α-होल्डर फलन के फूरियर गुणांक के आकार पर सबसे अच्छी ज्ञात सीमा में सुधार नहीं कर सकता है - जो कि इस प्रकार केवल है और फिर सारांशित नहीं किया जा सकता हैं।

यदि ƒ सीमित भिन्नता का है और इस प्रकार कुछ α > 0 के लिए α-धारक वर्ग से संबंधित है, तो यह वीनर बीजगणित से संबंधित है।

मानक अभिसरण

सबसे साधारण स्थिति lp क्षेत्र या lp2 का है, जो सामान्य हिल्बर्ट क्षेत्र परिणामों का प्रत्यक्ष प्रतिलेखन है। इस प्रकार रिज़-फिशर प्रमेय के अनुसार यदि वर्ग-अभिन्न है तो

अर्थात L के मानदण्ड में ƒ2 में परिवर्तित हो जाता है, यह देखना साधारण बात है कि इसका व्युत्क्रम भी सत्य है: यदि उपरोक्त सीमा शून्य है, तो L2 में होना चाहिए, तो यह यदि और केवल यदि शर्त है।

यदि उपरोक्त घातांक में 2 को कुछ p से परिवर्तित कर दिया जाता हैं, तो प्रश्न अधिक कठिन हो जाता है। इस प्रकार इससे पता चलता है कि अभिसरण अभी भी कायम है यदि 1 <p<∞ के समान होता हैं। यहाँ पर दूसरे शब्दों में, Lp क्षेत्र या L में ƒp के लिए, L में ƒp में परिवर्तित हो जाता है, इस प्रकार मानदंड के अनुसार उक्त मूल के प्रमाण होलोमोर्फिक फलन और हार्डी क्षेत्र के गुणों का उपयोग करता है, और सॉलोमन बोचनर के कारण अन्य प्रमाण, रिज़्ज़-थोरिन प्रमेय या रिज़्ज़-थोरिन इंटरपोलेशन प्रमेय पर निर्भर करता है। इस प्रकार p = 1 और अनंत के लिए, परिणाम सत्य नहीं है। L1 में विचलन के उदाहरण का निर्माण पहली बार एंड्री कोलमोगोरोव द्वारा किया गया था। इसके अनंत मान के लिए, परिणाम एकसमान सीमा सिद्धांत का परिणाम है।

यदि आंशिक योग संचालिका SN एक उपयुक्त योगनीयता कर्नेल द्वारा प्रतिस्थापित किया जाता है, उदाहरण के लिए फेजर कर्नेल के साथ कनवल्शन द्वारा प्राप्त फेजर योग, मौलिक रूप से कार्यात्मक विश्लेषणात्मक तकनीकों को यह दिखाने के लिए लागू किया जा सकता है कि मानक अभिसरण 1 ≤ P <∞ के लिए है।

लगभग हर क्षेत्र पर अभिसरण

यह समस्या कि क्या फूरियर श्रृंखला के किसी भी निरंतर कार्य का अभिसरण लगभग हर क्षेत्र में होता है, इस प्रकार 1920 के दशक में निकोलाई लुसिन द्वारा प्रस्तुत किया गया था।

इसे 1966 में लेनार्ट कार्लसन द्वारा धनात्मक रूप से हल किया गया था। उनका परिणाम, जिसे अब कार्लसन के प्रमेय के रूप में जाना जाता है, इस प्रकार L2 में किसी भी फलन के फूरियर विस्तार को बताता है, लगभग हर क्षेत्र मिलती है। बाद में, रिचर्ड हंट (गणितज्ञ) ने इसे एल के रूप में सामान्यीकृत कियाpकिसी भी p> 1 के लिए।

इसके विपरीत, एंड्री कोलमोगोरोव ने, 19 वर्ष की आयु में छात्र के रूप में, अपने पहले वैज्ञानिक कार्य में, इस प्रकार L1 में फलन का उदाहरण बनाया जिसकी फूरियर श्रृंखला लगभग हर क्षेत्र अलग हो जाती है, जिसके पश्चात इसमें हर क्षेत्र के अलग होने के लिए इसमें सुधार हुआ हैं।

जीन-पिअर कहने और यित्ज़ाक काट्ज़नेल्सन (गणितज्ञ) ने प्रमाणित किया हैं कि माप (गणित) शून्य के किसी भी दिए गए सेट ई के लिए, सतत फलन सम्मिलित होते है, जैसे कि फूरियर श्रृंखला किसी भी बिंदु e पर अभिसरण करने में विफल रहती है।

सारांश

क्या अनुक्रम 0,1,0,1,0,1,... (ग्रांडी की श्रृंखला का आंशिक योग) ½ में परिवर्तित होता है? यह अभिसरण की धारणा का बहुत अनुचित सामान्यीकरण नहीं लगता है। इसलिए हम कहते हैं कि कोई भी क्रम क्या सिजेरो का अर्थ है। इस प्रकार सिजेरो का योग a if से है।

जहाँ हम kवां आंशिक योग निरूपित करते हैं:

यह देखना कठिन नहीं है कि यदि कोई अनुक्रम किसी a में परिवर्तित हो जाता है, तो यह भी सिजारो माध्य है। इस प्रकार सिजारो भी इसका योग है।

फूरियर श्रृंखला की संक्षेपणता पर चर्चा करने के लिए, हमें प्रतिस्थापित करना होगा उचित विचार के साथ इसलिए हम परिभाषित करते हैं

और f में अभिसरण करते हैं? अब भी नहीं डिरिचलेट के कर्नेल के साथ संयोजित हुआ है, अपितु इस प्रकार फेजर के कर्नेल के साथ संयोजित होता, अर्थात्

जहाँ फेजर की गिरी भी,

मुख्य अंतर यह है कि फेजर का कर्नेल धनात्मक कर्नेल है। फेजर के प्रमेय में कहा गया है कि आंशिक योगों का उपरोक्त क्रम समान रूप से ƒ में परिवर्तित होता है। इसका तात्पर्य उत्तम अभिसरण गुणों से है।

  • यदि ɪt पर निरंतर है तो ə की फूरियर श्रृंखला t से ə(t) पर योग योग्य है। यदि ƒ निरंतर है, तो इसकी फूरियर श्रृंखला समान रूप से योग योग्य है (अर्थात् समान रूप से ƒ) में परिवर्तित हो जाता है।
  • किसी भी पूर्णांक के लिए, में इस प्रकार आदर्श रूप से परिवर्तित हो जाता है।
  • यह कोई गिब्स घटना नहीं है।

इस सारांश के बारे में परिणाम नियमित अभिसरण के बारे में भी परिणाम दे सकते हैं। इस प्रकार उदाहरण के लिए, हम सीखते हैं कि यदि ɪt पर निरंतर है, तो ə की फूरियर श्रृंखला ə(t) से भिन्न मान में परिवर्तित नहीं हो सकती है। यह या तो ƒ(t) में परिवर्तित हो सकता है या अलग हो सकता है। ऐसा इसलिए है क्योंकि इस प्रकार यदि कुछ मान x में अभिसरण होता है, यह भी इसके लिए योग योग्य है, इसलिए ऊपर दिए गए पहले योग गुण से, x = ƒ(t) हैं।

वृद्धि का क्रम

डिरिक्लेट के कर्नेल की वृद्धि का क्रम लघुगणकीय है, अर्थात

नोटेशन O(1) के लिए बिग ओ अंकन देखें। वास्तविक मूल्य गणना करना कठिन है, (ज़िगमंड 8.3 देखें) और इस प्रकार इसका लगभग कोई उपयोग नहीं है। इसा तथ्य यह है कि हमारे पास कुछ स्थिरांक c है

जब कोई डिरिचलेट के कर्नेल के ग्राफ़ की जांच करता है तो यह बिल्कुल स्पष्ट है। एन-वें उच्च मान पर अभिन्न अंग c/n से बड़ा है और इसलिए हार्मोनिक श्रृंखला (गणित) के लिए अनुमान लघुगणक अनुमान देता है।

इस अनुमान में पिछले कुछ परिणामों के मात्रात्मक संस्करण सम्मिलित हैं। इस प्रकार किसी भी सतत फलन f और किसी t के लिए

चूंकि, लॉग से छोटे विकास के किसी भी क्रम ω(n) के लिए, यह अब मान्य नहीं है और निरंतर फलन f ढूंढना संभव है, जैसे कि कुछ t के लिए,

इस प्रकार सर्वत्र विचलन की समतुल्य समस्या विवृत हुई है। सर्गेई कोन्यागिन एकीकृत फलन का निर्माण करने में सफल रहे जैसे कि हर किसी के पास होता है-

यह ज्ञात नहीं है कि यह उदाहरण सर्वोत्तम संभव है या नहीं हैं। इसे ज्ञात करके अन्य दिशाओं से एकमात्र बाउंड लॉग एन है।

एकाधिक आयाम

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

जिन्हें वर्ग आंशिक योग के रूप में जाना जाता है। उपरोक्त योग को से प्रतिस्थापित किया जाता हैं।

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

एक आयाम के लिए सही कई परिणाम कई आयामों में गलत या अज्ञात हैं। विशेष रूप से, कार्लसन के प्रमेय का समतुल्य वृत्ताकार आंशिक योगों के लिए अभी भी संवृत्त है। इस प्रकार यह लगभग सभी क्षेत्रों के कई आयामों में वर्ग आंशिक योगों को इसके साथ ही इस प्रकार अधिक सामान्य बहुभुज वाले आंशिक योगों का अभिसरण 1970 के आसपास चार्ल्स फ़ेफ़रमैन द्वारा स्थापित किया गया था।

टिप्पणियाँ

  1. Gourdon, Xavier (2009). Les maths en tête. Analyse (2ème édition) (in french). Ellipses. p. 264. ISBN 978-2729837594.{{cite book}}: CS1 maint: unrecognized language (link)
  2. Jackson (1930), p21ff.
  3. Stromberg (1981), Exercise 6 (d) on p. 519 and Exercise 7 (c) on p. 520.

संदर्भ

पाठ्यपुस्तकें

  • Dunham Jackson The theory of Approximation, AMS Colloquium Publication Volume XI, New York 1930.
  • Nina K. Bary, A treatise on trigonometric series, Vols. I, II. Authorized translation by Margaret F. Mullins. A Pergamon Press Book. The Macmillan Co., New York 1964.
  • Antoni Zygmund, Trigonometric series, Vol. I, II. Third edition. With a foreword by Robert A. Fefferman. Cambridge Mathematical Library. Cambridge University Press, Cambridge, 2002. ISBN 0-521-89053-5
  • Yitzhak Katznelson, An introduction to harmonic analysis, Third edition. Cambridge University Press, Cambridge, 2004. ISBN 0-521-54359-2
  • Karl R. Stromberg, Introduction to classical analysis, Wadsworth International Group, 1981. ISBN 0-534-98012-0
The Katznelson book is the one using the most modern terminology and style of the three. The original publishing dates are: Zygmund in 1935, Bari in 1961 and Katznelson in 1968. Zygmund's book was greatly expanded in its second publishing in 1959, however.

पाठ में संदर्भित लेख

यह पहला प्रमाण है कि किसी सतत फलन की फूरियर श्रृंखला भिन्न हो सकती है। जर्मन में
पहला पूर्णांक फलन का निर्माण है जिसकी फूरियर श्रृंखला लगभग हर क्षेत्र भिन्न होती है। दूसरा हर क्षेत्र विचलन को मजबूत करना है। फ्रेंच में।
  • लेनार्ट कार्लसन, फूरियर श्रृंखला के आंशिक योगों के अभिसरण और विकास पर, एक्टा मैथ। '116' (1966) 135-157.
  • रिचर्ड हंट (गणितज्ञ)|रिचर्ड ए. हंट, फूरियर श्रृंखला के अभिसरण पर, ऑर्थोगोनल विस्तार और उनके सतत एनालॉग्स (प्रो. कॉन्फ., एडवर्ड्सविले, इल., 1967), 235-255। दक्षिणी इलिनोइस विश्वविद्यालय। प्रेस, कार्बोंडेल, आईएल।
  • चार्ल्स लुई फ़ेफ़रमैन, फूरियर श्रृंखला का बिंदुवार अभिसरण, एन। गणित का. '98' (1973), 551-571।
  • माइकल लेसी (गणितज्ञ) और क्रिस्टोफर थीले, कार्लसन ऑपरेटर की बाध्यता का प्रमाण, गणित। रेस. लेट. '7:4' (2000), 361-370।
  • ओले जी. जोर्सबो और लीफ मेजल्ब्रो, फूरियर श्रृंखला पर कार्लसन-हंट प्रमेय। गणित में व्याख्यान नोट्स 911, स्प्रिंगर-वेरलाग, बर्लिन-न्यूयॉर्क, 1982। ISBN 3-540-11198-0
यह कार्लसन का मूल पेपर है, जहां वह साबित करता है कि किसी भी निरंतर फलन का फूरियर विस्तार लगभग हर क्षेत्र परिवर्तित होता है; हंट का पेपर जहां वह इसका सामान्यीकरण करता है रिक्त स्थान; प्रमाण को सरल बनाने के दो प्रयास; और किताब जो इसका स्वयं निहित विवरण देती है।
  • डनहम जैक्सन, फूरियर सीरीज़ और ऑर्थोगोनल पॉलीनोमिअल्स, 1963
  • डी. जे. न्यूमैन, वीनर के 1/एफ प्रमेय का सरल प्रमाण, प्रोक। आमेर. गणित। समाज. '48' (1975), 264-265।
  • जीन-पियरे कहाने और यित्ज़ाक काट्ज़नेल्सन, सुर लेस एन्सेम्बल्स डे डाइवर्जेंस डेस सीरीज़ ट्राइगोनोमेट्रिक्स, स्टूडियो मैथ। '26' (1966), 305-306
इस पेपर में लेखक बताते हैं कि शून्य माप के किसी भी सेट के लिए सर्कल पर निरंतर फलन मौजूद होता है जिसकी फूरियर श्रृंखला उस सेट पर भिन्न होती है। फ्रेंच में।
  • सर्गेई व्लादिमीरोविच कोन्यागिन, हर क्षेत्र त्रिकोणमितीय फूरियर श्रृंखला के विचलन पर, सी. आर. एकेड। विज्ञान. पेरिस '329' (1999), 693-697।
  • जीन-पियरे कहाने, कार्यों की कुछ यादृच्छिक श्रृंखला, दूसरा संस्करण। कैम्ब्रिज यूनिवर्सिटी प्रेस, 1993। ISBN 0-521-45602-9
कोन्यागिन पेपर यह साबित करता है विचलन परिणाम ऊपर चर्चा की गई। सरल प्रमाण जो केवल लॉग लॉग एन देता है, काहेन की पुस्तक में पाया जा सकता है।

श्रेणी:फूरियर श्रृंखला