🔢 mathematics

Fourier series for Henstock-Kurzweil integrable functions

यह शोध पत्र उन फलनों के लिए फूरियर श्रंखला (Fourier series) के अभिसरण (convergence) और स्थानीयकरण (localization) को स्थापित करता है जो मूल बिंदु पर विलक्षण व्यवहार (singular behavior) के कारण लेबेग (Lebesgue) समाकलनीय नहीं हैं, लेकिन हेनस्टॉक-कुरज़्विल (Henstock-Kurzweil) समाकलनीय हैं, बशर्ते वे विशिष्ट डिनी-प्रकार (Dini-type) या सीमित-परिवर्तन (bounded-variation) की शर्तों को पूरा करते हों।

मूल लेखक: Manuel Bello-Hernandez, Pablo Saenz-Lopez-Guerra

प्रकाशित 2026-08-06

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Manuel Bello-Hernandez, Pablo Saenz-Lopez-Guerra

मूल पेपर CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

द ग्रेट वेव हंट: अराजकता में संकेतों की खोज

कल्पना कीजिए कि आप रेडियो पर एक विशिष्ट गाना सुनने की कोशिश कर रहे हैं, लेकिन सिग्नल शोर (static) के तूफान के नीचे दब गया है। गणित की दुनिया में, यह "गाना" एक फलन (function) है—एक नियम जो बताता है कि चीजें कैसे बदलती हैं—और "शोर" वह अनियमितता है जो इसे समझना कठिन बना देती है। एक सदी से अधिक समय से, गणितज्ञों ने एक शक्तिशाली उपकरण का उपयोग किया है जिसे फूरियर सीरीज़ (Fourier series) कहा जाता है, ताकि इन जटिल फलनों को सरल, सुचारू तरंगों (जैसे साइन और कोसाइन तरंगों) में तोड़ा जा सके। इसे इस तरह सोचें जैसे किसी अराजक, ऊबड़-खाबड़ पर्वत श्रृंखला को पूरी तरह से चिकनी, लुढ़कती पहाड़ियों के ढेर के रूप में वर्णित करना। यदि आप इन चिकनी पहाड़ियों को पर्याप्त मात्रा में एक के ऊपर एक रख सकते हैं, तो आप उस पर्वत को बिल्कुल सटीक रूप से फिर से बना सकते हैं।

हालाँकि, इसमें एक पेंच है। लंबे समय तक, यह विधि केवल तभी काम करती थी जब पर्वत बहुत अधिक "जंगली" न हो। यदि फलन में एक "सिंगुलैरिटी" (singularity) थी—एक ऐसा बिंदु जहाँ यह अनंत ऊँचाई तक बढ़ जाता है या इतनी हिंसक रूप से हिलता है कि यह मानक गणित (जिसे लेबेग इंटीग्रेशन कहा जाता है) के नियमों को तोड़ देता है—तो फूर의 सीरीज़ अक्सर विफल हो जाती थी, हार मान लेती थी और निरर्थक परिणाम देती थी। यह चीखते हुए शोर की दीवार के माध्यम से गाना सुनने की कोशिश करने जैसा था; गणित कहता था, "मैं कुछ सुन नहीं पा रहा हूँ, इसलिए मैं बस रुक जाऊँगा।" लेकिन प्रकृति हमेशा मानक गणित के नियमों का पालन नहीं करती है। कुछ फलन जंगली होते हैं, एक बिंदु के पास अत्यधिक दोलन करते हैं, फिर भी उनमें एक छिपा हुआ क्रम होता है। प्रश्न यह है: क्या हम अपने रेडियो को ट्यून कर सकते हैं ताकि जब शोर चिल्ला रहा हो, तब भी हम गाना सुन सकें?

पेपर की खोज: जंगली लहरों को वश में करना

मैनुअल बेलों-हर्नांडेज़ और पाब्लो साएंज़-लोपेज़-गुएरा द्वारा लिखा गया यह शोध पत्र ठीक इसी समस्या का समाधान करता है। वे एक विशिष्ट प्रकार के "जंगली" फलन की जांच करते हैं जो हेनस्टॉक-कुरज़विल इंटीग्रेबल (Henstock-Kurzweil integrable) है। सरल शब्दों में, यह एक विशेष प्रकार का गणित है जो हमें उन फलनों को संभालने की अनुमति देता है जो मानक नियमों के लिए बहुत अधिक अस्त-व्यस्त हैं लेकिन फिर भी उनमें एक "कैंसिलेशन" (रद्दीकरण) प्रभाव होता है। कल्पना कीजिए कि लोग एक घेरे में दौड़ रहे हैं: यदि वे सभी एक ही गति से दौड़ते हैं, तो वे एक अराजक स्थिति पैदा करते हैं। लेकिन यदि वे एक ऐसे पैटर्न में दौड़ते हैं जहाँ आधे घड़ी की दिशा में और आधे घड़ी की विपरीत दिशा में बिल्कुल सही गति से दौड़ते हैं, तो अराजकता रद्द हो जाती है, और शुद्ध गति शून्य होती है। इन जंगली फलनों में उनके स्पाइक्स (spikes) के पास यही "कैंसिलेशन" गुण होता है, जो उन्हें इस उन्नत अर्थ में इंटीग्रेबल बनाता है, भले ही वे तकनीकी रूप से मानक नियमों द्वारा "टूटे हुए" हों।

लेखक इन जंगली फलनों के एक विशिष्ट मॉडल पर ध्यान केंद्रित करते हैं: एक वक्र (curve) जो शून्य के पास स्पाइक करता है (जैसे $x^{-a}$ ) जबकि अविश्वसनीय रूप से तेजी से कंपन करता है (जैसे $\cos(x^{-b})$ )। वे पूछते हैं: यदि हम इस जंगली वक्र को फूरियर सीरीज़ (चिकनी तरंगों को एक के ऊपर एक रखकर) का उपयोग करके फिर से बनाने की कोशिश करते हैं, तो क्या यह वास्तव में काम करता है?

मुख्य निष्कर्ष:
पेपर यह सिद्ध करता है कि हाँ, फूरियर सीरीज़ सही मान पर अभिसरित (converge) होती है, लेकिन केवल एक बहुत ही विशिष्ट सेट की शर्तों के तहत। मुख्य बात यह है कि स्पाइक कितनी ऊँची होती है (जो संख्या $a$ द्वारा नियंत्रित है) और कंपन कितनी तेज़ होता है (जो संख्या $b$ द्वारा नियंत्रित है) के बीच का संबंध। लेखक दिखाते हैं कि यदि कंपन स्पाइक को रद्द करने के लिए पर्याप्त तेज़ है, लेकिन बहुत अधिक तेज़ नहीं है, तो फूरियर सीरीज़ किसी भी बिंदु पर फलन को सफलतापूर्वक पुनर्गठित करेगी। विशेष रूप से, वे सिद्ध करते हैं कि यदि शर्त $a < 1 + b/2$ पूरी होती है, तो सीरीज़ फलन के बाएं और दाएं मानों के औसत पर अभिसरित होती है। यदि फलन वहां निरंतर (continuous) है, तो यह फलन के वास्तविक मान पर अभिसरित होती है।

वे क्या खारिज करते हैं:
महत्वपूर्ण रूप से, पेपर दिखाता है कि इस "जादू" की एक सख्त सीमा है। यदि कंपन के सापेक्ष स्पाइक बहुत अधिक ऊँचा हो जाता है—विशेष रूप से, यदि $a \ge 1 + b/2$ है—तो फूरियर सीरीज़ विफल हो जाती है। लेखक एक विशिष्ट उदाहरण प्रस्तुत करते हैं जहाँ $a = 1.5$ और $b = 1$ है (जो सीमा को ठीक से छूता है)। इस मामले में, फूरियर गुणांक (तरंगों के निर्माण खंड) छोटे होना बंद हो जाते हैं और बड़े बने रहते हैं। परिणामस्वरूप, सीरीज़ कुछ बिंदुओं पर अभिसरण करने में विफल रहती है, चाहे आप कितनी भी तरंगें क्यों न जोड़ लें। यह ब्लॉकों के टॉवर को संतुलित करने की कोशिश करने जैसा है जहाँ नीचे के ब्लॉक बहुत भारी हैं; आप ऊपर कितनी भी सावधानी से ब्लॉक रखें, पूरा ढांचा ढह जाएगा।

वे कितने निश्चित हैं?
लेखक केवल अनुमान या सिमुलेशन नहीं लगाते; वे कठोर गणितीय प्रमाण प्रदान करते हैं। वे उन्नत अनुमानों (जैसे वैन डेर कॉर्पस लेम्मा, जो यह मापने का एक तरीका है कि एक लहराती हुई तरंग खुद को कितना रद्द करती है) के टूलकिट का उपयोग यह दिखाने के लिए करते हैं कि सीरीज़ "सुरक्षित" क्षेत्र में क्यों काम करती है और क्यों वह "खतरे" वाले क्षेत्र में विफल हो जाती है। वे एक "लोकलाइजेशन सिद्धांत" (localization principle) भी सिद्ध करते हैं, जिसका अर्थ है कि जंगली स्पाइक से दूर क्या होता है, वह स्पाइक के पास अभिसरण में बाधा नहीं डालता, बशर्ते कि फलन पास में अच्छा व्यवहार करे। हालाँकि, वे यह भी दिखाते हैं कि यह लोकलाइजेशन सिद्धांत विफल हो सकता है यदि फलन बहुत अधिक जंगली (मानक $L^1$ वर्ग से बाहर) है, जिसका अर्थ है कि फलन के एक हिस्से में होने वाली समस्या पूरे पुनर्निर्माण को खराब कर सकती है।

संक्षेप में, यह पेपर इन अराजक, दोलनशील फलनों के लिए फूरियर सीरीज़ कहाँ काम करती है, इसका एक सटीक मानचित्र खींचता है। यह हमें बताता है कि जब तक "लहरें" (wiggles) "स्पाइक्स" को नियंत्रित करने के लिए पर्याप्त मजबूत हैं, लेकिन इतनी भी मजबूत नहीं हैं कि वे एक नया प्रकार का अराजक माहौल बना दें, तब तक हम शोर के बीच गाना सफलतापूर्वक सुन सकते हैं। लेकिन यदि आपने रेखा पार कर दी, तो संगीत बंद हो जाएगा।

तकनीकी सारांश: हेनस्टॉक-कुरज़्विल (Henstock–Kurzweil) समाकलनीय फलनों के लिए फूरियर श्रेणी

समस्या विवरण
ऐसे फलनों के लिए फूरियर श्रेणियों का अभिसरण (convergence), जो हेनस्टॉक-कुरज़्विल (HK) समाकलनीय हैं लेकिन लेबेग (Lebesgue) समाकलनीय नहीं हैं, हार्मोनिक विश्लेषण में एक महत्वपूर्ण चुनौती बना हुआ है। जबकि शास्त्रीय $L^1$ सिद्धांत $L^p$ ( $p>1$ ) फलनों के लिए लगभग-हर जगह (almost-everywhere) अभिसरण की गारंटी देता है (कार्सन-हंट प्रमेय), यह सामान्य $L^1$ फलनों के लिए विफल हो जाता है (कोल्मोगोरोव का प्रति-उदाहरण)। HK समाकल, लेबेग समाकल का विस्तार करता है ताकि अत्यधिक दोलनशील (oscillatory) अपूर्ण समाकल और उन अवकलजों को शामिल किया जा सके जो पूर्णतः समाकलनीय (absolutely integrable) नहीं हैं। हालांकि, इस परिवेश में फूरियर विश्लेषण जटिल है क्योंकि HK-समाकलनीय फलनों के फूरियर गुणांकों को केवल $o(n)$ होना चाहिए, न कि $o(1)$ , और मानक स्थानीयकरण सिद्धांत (localization principles) विफल हो सकते हैं। यह शोध पत्र फूरियर श्रेणियों के अभिसरण के लिए एक विशिष्ट वर्ग के फलनों के बिंदुवार (pointwise) और समान (uniform) अभिसरण की जांच करता है, जो मूल बिंदु (origin) पर विशिष्ट विलक्षण दोलन व्यवहार (singular oscillatory behavior) प्रदर्शित करते हैं, जिन्हें लेबेग $L^1$ ढांचे से परे डिज़ाइन किया गया है।

कार्यप्रणाली (Methodology)
लेखक $(0, 1)$ पर फलनों के रूप $f(x) = g(x) \cos(x^{-b} - \theta)$ का विश्लेषण करते हैं, जहाँ मूल बिंदु पर विलक्षणता (singularity) को पावर-लॉ क्षय (power-law decay) $x^{-a}$ और तीव्र दोलन $x^{-b}$ द्वारा अभिलक्षित किया गया है। मुख्य कार्यप्रणाली निम्नलिखित है:

आंशिक योगों का अपघटन (Decomposition of Partial Sums): सममित आंशिक योगों $S_n(f, x_0)$ को तीन क्षेत्रों में विभाजित किया जाता है: मूल के निकट एक विलक्षण पड़ोस (singular neighborhood), अभिसरण बिंदु $x_0$ के आसपास एक स्थानीय पड़ोस, और एक नियमित मध्यवर्ती क्षेत्र।
दोलनशील समाकल अनुमान (Oscillatory Integral Estimates): लेखक वैन डेर कॉर्पस लेम्मा (van der Corput lemma) के परिष्कृत संस्करणों और एबेल-स्टिल्जेशन (Abel–Stieltjes) समाकलन द्वारा खंडों (integration by parts) का उपयोग करते हैं। विशेष रूप से, वे विलक्षण योगदान को नियंत्रित करने के लिए सीमित परिवर्तन (bounded variation - BV) वाले आयामों के साथ द्वितीय-क्रम के वैन डेर कॉर्पस अनुमानों का उपयोग करते हैं।
स्थिर चरण विश्लेषण (Stationary Phase Analysis): एक महत्वपूर्ण घटक उन समाकलों का स्पर्शोन्मुख मूल्यांकन (asymptotic evaluation) है जहाँ चरण फलन (phase function) में एक स्थिर बिंदु (stationary point) होता है जो आवृत्ति के अनंत की ओर बढ़ने पर विलक्षण अंतबिंदु (singular endpoint) के करीब पहुँच जाता है। लेखक BV आयामों के लिए एक "मूविंग-स्केल" स्थिर चरण सूत्र (लेम्मा 9) व्युत्पन्न करते हैं ताकि फूरियर गुणांकों की क्षय दर निर्धारित की जा सके।
एकरूपता तर्क (Uniformity Arguments): एक कॉम्पैक्ट सेट $K$ के भीतर अभिसरण बिंदु $x_0$ के सापेक्ष स्थिरांकों को समान बनाए रखने के लिए, लेखक यह सिद्ध करते हैं कि वैन डेर कॉर्पस और एबेल-स्टिल्जेशन अनुमानों में स्थिरांक $x_0$ के सापेक्ष समान रहते हैं।

प्रमुख परिणाम

बिंदुवार अभिसरण (प्रमेय 1): उन फलनों $f(x) = g(x)\cos(x^{-b}-\theta)$ के लिए जो विशिष्ट शर्तों (मूल के पास $x^a g(x)$ का सीमित परिवर्तन, $x_0$ के पास स्थानीय BV, और पैरामीटर प्रतिबंध $a < 1 + b/2$ ) को पूरा करते हैं, फूरियर श्रेणी मध्य मान $\frac{f(x_0+) + f(x_0-)}{2}$ की ओर अभिसरित होती है। यदि $g$ , $x_0$ के पास सतत (continuous) है, तो अभिसरण कॉम्पैक्ट उपसमुच्चयों पर समान (uniform) होता है।
डिनी-प्रकार का अभिसरण (प्रमेय 18): एक समान परिणाम सिद्ध किया गया है जहाँ $x_0$ पर स्थानीय सीमित परिवर्तन (local bounded variation) की धारणा को एक डिनी-प्रकार की शर्त द्वारा प्रतिस्थापित किया गया है, बशर्ते कि अंतर भागफल (difference quotient) का समाकल अभिसरित हो।
स्थानीयकरण सिद्धांत (प्रमेय 19): यह शोध पत्र इस विशिष्ट वर्ग के HK-समाकलनीय फलनों के लिए एक सप्रतिबंध (conditional) स्थानीयकरण सिद्धांत स्थापित करता है: यदि दो ऐसे फलन (जो विशिष्ट दोलनी विलक्षणता परिकल्पनाओं और $a < 1 + b/2$ प्रतिबंध को पूरा करते हैं) एक खुले अंतराल पर समान हैं, तो उनके फूरियर आंशिक योग उस अंतराल के किसी भी कॉम्पैक्ट उपसमुच्चय पर एक-दूसरे के समान अभिसरित होंगे।
शर्तों की तीक्ष्णता और सामान्य स्थानीयकरण की विफलता (अनुभाग 5):
- यह सिद्ध किया गया है कि $a < 1 + b/2$ की स्थिति तीक्ष्ण (sharp) है। सीमांत बिंदु $a = 1 + b/2$ पर, स्थिर चरण योगदान फूरियर गुणांकों में क्षय नहीं होता है (यह $O(1)$ के क्रम में रहता है), जिससे कुछ बिंदुओं पर फूरियर श्रेणी का अपसरण (divergence) होता है।
- अति-क्रांतिक (supercritical) मामले $a > 1 + b/2$ के लिए, फूरियर गुणांक असीमित रूप से बढ़ते हैं, और श्रेणी लगभग-हर जगह अपसरित होती है।
- महत्वपूर्ण रूप से, यह शोध पत्र एक सामान्य HK-समाकलनीय फलन का स्पष्ट उदाहरण निर्मित करता है जहाँ स्थानीयकरण सिद्धांत विफल हो जाता है, जो यह दर्शाता है कि यह सिद्धांत संपूर्ण HK वर्ग के लिए मान्य नहीं है, भले ही फूरियर गुणांक सुपरिभाषित हों। प्रमेय 19 में दिया गया स्थानीयकरण परिणाम नियंत्रित दोलनी विलक्षणताओं वाले विशिष्ट मॉडल फलनों तक ही सीमित है।

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

प्राथमिक महत्व इस सटीक दहलीज ( $a < 1 + b/2$ ) की पहचान करने में है जहाँ मूल के पास का दोलन, पूर्ण समाकलनीयता के अभाव के बावजूद, फूरियर अभिसरण पर विलक्षणता के प्रभाव को रद्द करने के लिए पर्याप्त है। परिणाम गैर-पूर्ण समाकल (nonabsolute integration) के कक्षीय विस्तारों (orthogonal expansions) की संरचनात्मक सीमाओं को स्पष्ट करते हैं, यह दिखाते हुए कि जबकि HK समाकल अभिसारी श्रेणियों के लिए गुणांकों को पुनः प्राप्त करता है, श्रेणी के स्वयं के बिंदुवार अभिसरण के लिए केवल HK समाकलनीयता की तुलना में सख्त नियमितता शर्तों की आवश्यकता होती है। इसके अतिरिक्त, यह शोध पत्र रेखांकित करता है कि स्थानीयकरण सिद्धांत स्वतः ही पूर्ण HK स्पेस तक विस्तारित नहीं होते हैं, जिसके लिए विलक्षणताओं पर विशिष्ट संरचनात्मक बाधाओं की आवश्यकता होती है। शोध पत्र निष्कर्ष निकालता है कि ये अभिसरण प्रमेय ऐसे फलनों के लिए भी विस्तारित होते हैं जिनमें परिमित संख्या में ऐसी स्वीकार्य विलक्षणताएं होती हैं, बशर्ते कि स्थानीय परिकल्पनाएं संबंधित बिंदुओं पर लागू हों।

द ग्रेट वेव हंट: अराजकता में संकेतों की खोज

पेपर की खोज: जंगली लहरों को वश में करना

इसी तरह के और पेपर