Korovkin type theorems for operators acting on functions of polynomial and exponential growth on $[0,\infty)$

तकनीकी सारांश: बहुपदीय और घातांकीय वृद्धि वाले फलनों पर ऑपरेटरों के लिए कोरोवकिन प्रकार के प्रमेय

समस्या विवरण
यह शोध पत्र धनात्मक रैखिक ऑपरेटरों (positive linear operators) के अनुक्रमों, जिन्हें $L_n$ द्वारा दर्शाया गया है, के सन्निकटन गुणों (approximation properties) को संबोधित करता है, जो अर्ध-रेखा $[0, \infty)$ पर परिभाषित सतत फलनों पर कार्य करते हैं। जबकि शास्त्रीय कोरोवकिन-प्रकार के प्रमेय विशिष्ट उप-स्थानों (आमतौर पर बहुपदों या परिबद्ध सतत फलनों) में फलनों के लिए अभिसरण (convergence) स्थापित करते हैं, यह कार्य इन अभिसरण गारंटियों को अनबाउंडेड (unbounded) फलनों के व्यापक वर्गों तक विस्तारित करने पर केंद्रित है। विशेष रूप से, लेखक उन स्थितियों की जांच करते हैं जिनके तहत $L_n f$ का $f$ पर बिंदुवार अभिसरण (pointwise convergence) होता है, जब $f$ में बहुपदीय वृद्धि (polynomial growth) या घातांकीय वृद्धि (exponential growth) प्रदर्शित होती है। चुनौती उन पर्याप्त स्थितियों का निर्माण करना है जो "परीक्षण फलनों" (test functions) के एक सेट पर अभिसरण के आधार पर अनबाउंडेड फलनों के संपूर्ण लक्षित वर्ग के लिए अभिसरण सुनिश्चित करती हैं।

कार्यप्रणाली (Methodology)
लेखक एक रचनात्मक दृष्टिकोण अपनाते हैं जो शास्त्रीय कोरोवकिन ढांचे में निहित है, लेकिन इसे अनबाउंडेड डोमेन और वृद्धि की शर्तों के लिए अनुकूलित किया गया है। मुख्य कार्यप्रणाली में शामिल हैं:

1. परीक्षण फलन चयन (Test Function Selection):

   • बहुपदीय वृद्धि के लिए, परीक्षण सेट $\Pi$ है जो सभी बहुपदीय फलनों का स्थान है।
   • घातांकीय वृद्धि के लिए, परीक्षण सेट में सभी $\lambda \in \mathbb{R}$ के लिए $\exp_\lambda(x) = e^{\lambda x}$ के रूप के घातांकीय फलन शामिल हैं।

2. लेम्मा के माध्यम से रचनात्मक सन्निकटन (Constructive Approximation via Lemmas):
   प्रमाण दो महत्वपूर्ण लेम्मा (लेम्मा 2.2 और लेम्मा 3.2) पर निर्भर करते हैं जो एक मनमाने लक्ष्य फलन $f$ (जो विशिष्ट वृद्धि बाधाओं को पूरा करता है) को परीक्षण स्थान (बहुपद या घातांकों के रैखिक संयोजन) के भीतर फलनों द्वारा बाउंड (bound) करने की अनुमति देते हैं।

   • बहुपदीय मामला: लेखक एक बहुपद $P \in \Pi$ का निर्माण करते हैं जो $[0, \infty)$ पर वैश्विक रूप से एक सतत फलन $f$ (जहाँ $|f| \le p$ किसी $p \in \Pi$ के लिए) को डोमिनेट (dominate) करता है, जबकि एक विशिष्ट बिंदु $a$ पर नियंत्रित त्रुटि $\epsilon$ के साथ $f$ से मेल खाता है। यह $K(\frac{x-a}{\ell})^{2m}$ के उच्च-डिग्री वाले बहुपदों का उपयोग करके प्राप्त किया जाता है ताकि अनंत पर $f$ की वृद्धि को डोमिनेट किया जा सके और $a$ के पास स्थानीय नियंत्रण बनाए रखा जा सके।
   • घातांकीय मामला: इसी प्रकार, $A e^{\omega x}$ द्वारा बाधित फलनों के लिए, लेखक एक फलन $G$ का निर्माण करते हैं जो घातांकों के परिमित रैखिक संयोजनों से बना है (जो $\alpha(x) = \cosh(x) - 1$ से व्युत्पन्न है) जो वैश्विक रूप से $f$ को डोमिनेट करता है और एक बिंदु $a$ पर $\epsilon$ के भीतर $f$ का सन्निकटन करता है।

3. स्क्वीज़ थ्योरम (Squeeze Theorem) का अनुप्रयोग:
   ऑपरेटरों की धनात्मकता और रैखिकता का उपयोग करते हुए, लेखक ऑपरेटर द्वारा $f$ पर लागू किए गए फलन ($L_n f$) को निर्मित ऊपरी और निचले बाउंड्स के ऑपरेटरों के बीच सैंडविच करते हैं। चूंकि ऑपरेटर परीक्षण फलनों पर पहचान (identity) की ओर अभिसरित होते हैं (मान्यता के अनुसार), ऊपरी और निचले बाउंड्स के सीमा मान (limits) $f(a) \pm \epsilon$ की ओर अभिसरित होते हैं। $\epsilon \to 0$ ले जाने पर, बिंदुवार अभिसरण स्थापित हो जाता है।

प्रमुख योगदान और परिणाम
यह शोध पत्र दो प्राथमिक प्रमेय स्थापित करता है:

• प्रमेय 2.1 (बहुपदीय वृद्धि): मान लीजिए कि $L_n$ बहुपदों $\Pi$ वाले एक उप-स्थान $D \subset C[0, \infty)$ पर धनात्मक रैखिक ऑपरेटरों का एक अनुक्रम है। यदि $L_n p \to p$ सभी $p \in \Pi$ के लिए बिंदुवार अभिसरण करता है, तो $L_n f \to f$ बिंदुवार $f \in D$ के लिए भी होगा, जो इस शर्त को संतुष्ट करता है कि $|f(x)| \le p(x)$ किसी $p \in \Pi$ के लिए।
• प्रमेय 3.1 (घातांकीय वृद्धि): मान लीजिए कि $L_n$ एक उप-स्थान $D$ पर धनात्मक रैखिक ऑपरेटर हैं जिसमें सभी घातांक $\exp_\lambda$ शामिल हैं। यदि $L_n \exp_\lambda \to \exp_\lambda$ सभी $\lambda \in \mathbb{R}$ के लिए बिंदुवार अभिसरण करता है, तो $L_n f \to f$ बिंदुवार $f \in D$ के लिए भी होगा, जो इस शर्त को संतुष्ट करता है कि $|f(x)| \le A \exp(\omega x)$ स्थिरांक $A, \omega > 0$ के लिए।

प्रत्यक्ष अनुप्रयोग (Direct Applications)
लेखक इन सामान्य प्रमेयों को दो शास्त्रीय ऑपरेटर अनुक्रमों पर लागू करते हैं:

1. बास्काव ऑपरेटर (Baskakov Operators - $V_n$): बहुपदीय वृद्धि वाले फलनों के लिए बिंदुवार अभिसरण सिद्ध किया गया है।
2. साज़-मिराकजान ऑपरेटर (Szász–Mirakjan Operators - $S_n$): घातांकीय वृद्धि वाले फलनों के लिए बिंदुवार अभिसरण सिद्ध किया गया है।
   शोध पत्र नोट करता है कि इन ऑपरेटरों के लिए, संबंधित परीक्षण फलनों (बास्काव के लिए बहुपदों, साज़-मिराकजान के लिए घातांकों) पर अभिसरण एक ज्ञात परिणाम है, जिससे नए प्रमेय तुरंत व्यापक फलन वर्गों के लिए अभिसरण प्रदान करते हैं।

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