लेबेस्ग्यू स्थिरांक: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(3 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{More footnotes|date=May 2017}}
{{More footnotes|date=May 2017}}


गणित में, लेबेस्ग स्थिरांक (नोड्स के एक सेट और उसके आकार के आधार पर) यह अंदाजा देते हैं कि किसी [[फ़ंक्शन (गणित)]] (दिए गए नोड्स पर) का [[ प्रक्षेप ]] फ़ंक्शन के सर्वोत्तम [[बहुपद]] [[सन्निकटन]] (बहुपदों की डिग्री तय होती है) की तुलना में कितना अच्छा है। अधिक से अधिक घात वाले बहुपदों के लिए लेबेस्ग स्थिरांक {{mvar|n}} और के सेट के लिए {{math|''n'' + 1}} नोड्स {{mvar|T}} को सामान्यतः द्वारा दर्शाया जाता है {{math|Λ<sub>''n''</sub>(''T''&thinsp;)}}. इन स्थिरांकों का नाम [[हेनरी लेबेस्गुए]] के नाम पर रखा गया है।
गणित में, '''लेबेस्ग स्थिरांक''' (नोड्स के एक समुच्चय और उसके आकार के आधार पर) यह विचार देते हैं कि किसी [[फ़ंक्शन (गणित)|फलन (गणित)]] (दिए गए नोड्स पर) का [[ प्रक्षेप ]] फलन के सर्वोत्तम [[बहुपद]] [[सन्निकटन]] (बहुपदों की डिग्री तय होती है) की तुलना में कितना अच्छा है। अधिक से अधिक घात वाले बहुपदों के लिए लेबेस्ग स्थिरांक {{mvar|n}} और के समुच्चय के लिए {{math|''n'' + 1}} नोड्स {{mvar|T}} को सामान्यतः द्वारा दर्शाया जाता है {{math|Λ<sub>''n''</sub>(''T''&thinsp;)}}. इन स्थिरांकों का नाम [[हेनरी लेबेस्गुए]] के नाम पर रखा गया है।


==परिभाषा==
==परिभाषा==
हम इंटरपोलेशन नोड्स को ठीक करते हैं <math>x_0, ..., x_n</math>और एक [[अंतराल (गणित)]] <math>[a,\,b]</math> जिसमें सभी इंटरपोलेशन नोड्स शामिल हैं। इंटरपोलेशन की प्रक्रिया फ़ंक्शन को मैप करती है <math>f</math> एक बहुपद के लिए <math>p</math>. यह मैपिंग को परिभाषित करता है <math>X</math> <math>[a,\,b]</math> पर सभी निरंतर कार्यों के स्थान C <math>[a,\,b]</math> से स्वयं तक है। मानचित्र X रैखिक है और यह घात n या उससे कम के बहुपदों के उपसमष्टि Πn पर एक प्र'''क्षेपण''' है।
हम अंतर्वेशन नोड्स को ठीक करते हैं <math>x_0, ..., x_n</math>और एक [[अंतराल (गणित)]] <math>[a,\,b]</math> जिसमें सभी अंतर्वेशन नोड्स सम्मिलित हैं। अंतर्वेशन (इंटरपोलेशन) की प्रक्रिया फलन को मैप करती है <math>f</math> एक बहुपद के लिए <math>p</math>. यह मैपिंग को परिभाषित करता है <math>X</math> <math>[a,\,b]</math> पर सभी निरंतर कार्यों के स्थान C <math>[a,\,b]</math> से स्वयं तक है। मानचित्र X रैखिक है और यह घात n या उससे कम के बहुपदों के उपसमष्टि Πn पर एक प्रक्षेपण है।




लेब्सग्यू स्थिरांक <math>\Lambda_n(T)</math> इसे X के ऑपरेटर मानदंड के रूप में परिभाषित किया गया है। इस परिभाषा के लिए हमें C([a, b]) पर एक मानदंड निर्दिष्ट करने की आवश्यकता है। एक समान मानदंड आमतौर पर सबसे सुविधाजनक होता है।
 
लेब्सग्यू स्थिरांक <math>\Lambda_n(T)</math> इसे X के ऑपरेटर मानदंड के रूप में परिभाषित किया गया है। इस परिभाषा के लिए हमें C([a, b]) पर एक मानदंड निर्दिष्ट करने की आवश्यकता है। एक समान मानदंड सामान्यतया सबसे सुविधाजनक होता है।


==गुण==
==गुण==
लेबेस्ग्यू स्थिरांक प्रक्षेप त्रुटि को सीमित करता है: मान लीजिए कि {{math|''p''<sup>∗</sup>}} डिग्री {{mvar|n}} या उससे कम के बहुपदों के बीच f के सर्वोत्तम सन्निकटन को दर्शाता है। दूसरे शब्दों में, {{math|''p''<sup>∗</sup>}} न्यूनतम करता है {{math|{{!!}}&thinsp;''p'' − &thinsp;''f''&thinsp;{{!!}}}} Π में सभी पी के बीच<sub>''n''</sub>. तब
लेबेस्ग्यू स्थिरांक प्रक्षेप त्रुटि को सीमित करता है: मान लीजिए कि {{math|''p''<sup>∗</sup>}} डिग्री {{mvar|n}} या उससे कम के बहुपदों के बीच f के सर्वोत्तम सन्निकटन को दर्शाता है। दूसरे शब्दों में, {{math|''p''<sup>∗</sup>}} न्यूनतम करता है {{math|{{!!}}&thinsp;''p'' − &thinsp;''f''&thinsp;{{!!}}}} Π में सभी ''p'' के बीच Π<sub>''n''</sub>. तब


:<math> \|f-X(f)\| \le (\Lambda_n(T)+1) \left \|f-p^* \right \|. </math>
:<math> \|f-X(f)\| \le (\Lambda_n(T)+1) \left \|f-p^* \right \|. </math>
Line 16: Line 17:


:<math> \| f-X(f) \| \le \| f-p^* \| + \| p^* - X(f) \|</math>
:<math> \| f-X(f) \| \le \| f-p^* \| + \| p^* - X(f) \|</math>
त्रिभुज असमानता द्वारा. लेकिन X, Π पर एक प्रक्षेपण है<sub>''n''</sub>, इसलिए
त्रिभुज असमानता द्वारा. लेकिन X, Π<sub>''n''</sub> पर एक प्रक्षेपण है, इसलिए


:{{math|''p''<sup>∗</sup> − ''X''(&thinsp;''f''&thinsp;) {{=}} ''X''(''p''<sup>∗</sup>) − ''X''(&thinsp;''f''&thinsp;) {{=}} ''X''(''p''<sup>∗</sup> − ''f''&thinsp;)}}.
:{{math|''p''<sup>∗</sup> − ''X''(&thinsp;''f''&thinsp;) {{=}} ''X''(''p''<sup>∗</sup>) − ''X''(&thinsp;''f''&thinsp;) {{=}} ''X''(''p''<sup>∗</sup> − ''f''&thinsp;)}}.
Line 22: Line 23:
इससे प्रमाण समाप्त हो जाता है <math>\|X(p^*-f)\| \le \|X\| \|p^*-f\|=\|X\| \|f-p^*\|</math>. ध्यान दें कि यह संबंध लेब्सग्यूज़ लेम्मा के एक विशेष मामले के रूप में भी आता है।
इससे प्रमाण समाप्त हो जाता है <math>\|X(p^*-f)\| \le \|X\| \|p^*-f\|=\|X\| \|f-p^*\|</math>. ध्यान दें कि यह संबंध लेब्सग्यूज़ लेम्मा के एक विशेष मामले के रूप में भी आता है।


दूसरे शब्दों में, प्रक्षेप बहुपद अधिकतम एक कारक है {{math|Λ<sub>''n''</sub>(''T''&thinsp;) + 1}} सर्वोत्तम संभव अनुमान से भी बदतर। इससे पता चलता है कि हम एक छोटे लेबेसेग स्थिरांक के साथ इंटरपोलेशन नोड्स के एक सेट की तलाश कर रहे हैं।
दूसरे शब्दों में, प्रक्षेप बहुपद अधिक से अधिक एक कारक {{math|Λ<sub>''n''</sub>(''T''&thinsp;) + 1}} है जो सर्वोत्तम संभव सन्निकटन से भी खराब है। इससे पता चलता है कि हम एक लघु लेबेसेग स्थिरांक के साथ अंतर्वेशन नोड्स के एक समुच्चय की खोज कर रहे हैं।


लेबेस्ग स्थिरांक को [[लैग्रेंज बहुपद]] बहुपद के संदर्भ में व्यक्त किया जा सकता है:
लेबेस्ग स्थिरांक को [[लैग्रेंज बहुपद]] बहुपद के संदर्भ में व्यक्त किया जा सकता है:


:<math>\ell_j(x) := \prod_{\begin{smallmatrix}i=0\\ j\neq i\end{smallmatrix}}^{n} \frac{x-x_i}{x_j-x_i}. </math>
:<math>\ell_j(x) := \prod_{\begin{smallmatrix}i=0\\ j\neq i\end{smallmatrix}}^{n} \frac{x-x_i}{x_j-x_i}. </math>
वास्तव में, हमारे पास लेब्सग फ़ंक्शन है
वास्तव में, हमारे पास लेब्सग फलन है


:<math> \lambda_n(x) = \sum_{j=0}^n |\ell_j(x)|. </math>
:<math> \lambda_n(x) = \sum_{j=0}^n |\ell_j(x)|. </math>
Line 33: Line 34:


:<math>\Lambda_n(T)=\max_{x\in[a,b]} \lambda_n(x) </math>
:<math>\Lambda_n(T)=\max_{x\in[a,b]} \lambda_n(x) </math>
फिर भी, इसके लिए कोई स्पष्ट अभिव्यक्ति ढूँढना आसान नहीं है {{math|Λ<sub>''n''</sub>(''T''&thinsp;)}}.
फिर भी, इसके लिए कोई स्पष्ट व्यंजक (गणित) ढूँढना आसान नहीं है {{math|Λ<sub>''n''</sub>(''T''&thinsp;)}}.


==न्यूनतम लेबेस्ग स्थिरांक==
==न्यूनतम लेबेस्ग स्थिरांक==
Line 39: Line 40:


:<math> \Lambda_n(T) \sim \frac{2^{n+1}}{en \log n} \qquad \text{ as } n \to \infty. </math>
:<math> \Lambda_n(T) \sim \frac{2^{n+1}}{en \log n} \qquad \text{ as } n \to \infty. </math>
दूसरी ओर, यदि [[चेबीशेव नोड्स]] का उपयोग किया जाता है, तो लेबेस्ग स्थिरांक केवल लघुगणकीय रूप से बढ़ता है, क्योंकि हमारे पास है
दूसरी ओर, यदि चेबीशेव नोड्स का उपयोग किया जाता है, तो लेबेस्ग स्थिरांक केवल लघुगणकीय रूप से बढ़ता है, क्योंकि हमारे पास है


:<math> \tfrac{2}{\pi} \log(n+1)+a < \Lambda_n(T) < \tfrac{2}{\pi} \log(n+1) + 1, \qquad a = 0.9625\ldots</math>
:<math> \tfrac{2}{\pi} \log(n+1)+a < \Lambda_n(T) < \tfrac{2}{\pi} \log(n+1) + 1, \qquad a = 0.9625\ldots</math>
हम फिर से निष्कर्ष निकालते हैं कि चेबीशेव नोड्स बहुपद प्रक्षेप के लिए एक बहुत अच्छा विकल्प हैं। हालाँकि, चेबीशेव नोड्स का एक आसान (रैखिक) परिवर्तन है जो एक बेहतर लेबेसेग स्थिरांक देता है। होने देना {{math|''t<sub>i</sub>''}} निरूपित करें {{mvar|i}}-चेबीशेव नोड्स। फिर, परिभाषित करें
हम फिर से निष्कर्ष निकालते हैं कि चेबीशेव नोड्स बहुपद प्रक्षेप के लिए एक बहुत अच्छा विकल्प हैं। हालाँकि, चेबीशेव नोड्स का एक आसान (रैखिक) परिवर्तन है जो एक उच्च लेबेसेग स्थिरांक देता है। मान लीजिए {{math|''t<sub>i</sub>''}} निरूपित करें {{mvar|i}}-चेबीशेव नोड्स। फिर, परिभाषित करें
 
हम फिर से यह निष्कर्ष निकालते हैं कि बहुपद प्रक्षेप के लिए चेबीशेव नोड्स एक बहुत अच्छा विकल्प हैं। हालाँकि, चेबीशेव नोड्स का एक आसान (रैखिक) परिवर्तन है जो एक उच्च लेबेसेग स्थिरांक देता है। आइए मान लीजिए ''t<sub>i</sub>'', ''i''-th चेबीशेव नोड को निरूपित करें। फिर, परिभाषित करें
:<math> s_i = \frac{t_i}{\cos \left ( \frac{\pi}{2(n+1)} \right)}.</math>
:<math> s_i = \frac{t_i}{\cos \left ( \frac{\pi}{2(n+1)} \right)}.</math>
ऐसे नोड्स के लिए:
ऐसे नोड्स के लिए:


:<math>\Lambda_n(S)<\tfrac{2}{\pi} \log(n+1)+b, \qquad b = 0.7219\ldots</math>
:<math>\Lambda_n(S)<\tfrac{2}{\pi} \log(n+1)+b, \qquad b = 0.7219\ldots</math>
हालाँकि, वे नोड्स इष्टतम नहीं हैं (अर्थात वे लेबेस्ग स्थिरांक को कम नहीं करते हैं) और नोड्स के इष्टतम सेट की खोज (जो पहले से ही कुछ मान्यताओं के तहत अद्वितीय साबित हुई है) आज भी गणित में एक दिलचस्प विषय है। हालाँकि, नोड्स का यह सेट इंटरपोलेशन के लिए इष्टतम है <math> C_M^n[-1,1]</math> के समुच्चय {{mvar|n}} बार अवकलनीय फलन जिनका {{mvar|n}}-वें व्युत्पन्न एक स्थिरांक द्वारा निरपेक्ष मानों में बंधे होते हैं {{mvar|M}} जैसा कि एन.एस. होआंग द्वारा दिखाया गया है।
हालाँकि, वे नोड्स इष्टतम नहीं हैं (अर्थात वे लेबेस्ग स्थिरांक को कम नहीं करते हैं) और नोड्स के एक इष्टतम समुच्चय की खोज (जो पहले से ही कुछ मान्यताओं के तहत अद्वितीय साबित हुई है) आज भी गणित में एक रोचक विषय है। हालाँकि, नोड्स का यह समुच्चय <math> C_M^n[-1,1]</math> पर अंतर्वेशन के लिए इष्टतम है, जो {{mvar|n}} गुना भिन्न-भिन्न कार्यों का समुच्चय है, जिनके ''n''-th डेरिवेटिव एक स्थिर {{mvar|M}} द्वारा निरपेक्ष मानों में बंधे हैं जैसा कि N. S. द्वारा दिखाया गया है। होआंग कंप्यूटर का उपयोग करके, यहां विहित अंतराल {{math|[−1, 1]}} के लिए न्यूनतम लेबेस्ग स्थिरांक के मानों का अनुमान लगाया जा सकता है:
[[कंप्यूटर]] का उपयोग करके, कोई यहां विहित अंतराल के लिए न्यूनतम लेबेस्ग स्थिरांक के मानों का अनुमान लगा सकता है {{math|[−1, 1]}}:


:{| class="wikitable"
:{| class="wikitable"
Line 58: Line 60:
| 1.0000 || 1.2500 || 1.4229 || 1.5595 || 1.6722 || 1.7681  || 1.8516 || 1.9255 || 1.9917  
| 1.0000 || 1.2500 || 1.4229 || 1.5595 || 1.6722 || 1.7681  || 1.8516 || 1.9255 || 1.9917  
|}
|}
[−1,1] में नोड्स के अनगिनत अनंत सेट हैं जो निश्चित के लिए न्यूनतम करते हैं {{mvar|n}} > 1, लेबेस्ग स्थिरांक। हालाँकि अगर हम मानते हैं कि हम हमेशा प्रक्षेप के लिए -1 और 1 को नोड्स के रूप में लेते हैं (जिसे कैनोनिकल नोड कॉन्फ़िगरेशन कहा जाता है), तो ऐसा सेट अद्वितीय और शून्य-सममित है। इस संपत्ति को स्पष्ट करने के लिए, हम देखेंगे कि क्या होता है जब n = 2 (यानी हम 3 इंटरपोलेशन नोड्स पर विचार करते हैं जिस स्थिति में संपत्ति तुच्छ नहीं है)। कोई यह जांच सकता है कि (शून्य-सममित) प्रकार के नोड्स का प्रत्येक सेट {{math|(−''a'', 0, ''a'')}} इष्टतम है जब {{math|{{sfrac|{{radic|8}}|3}} ≤ ''a'' ≤ 1}} (हम केवल [−1, 1] में नोड्स पर विचार करते हैं)। यदि हम नोड्स के सेट को इस प्रकार के होने के लिए बाध्य करते हैं {{math|(−1, ''b'', 1)}}, तो b को 0 के बराबर होना चाहिए (Lebesgue फ़ंक्शन को देखें, जिसका अधिकतम Lebesgue स्थिरांक है)। [−1,1] में नोड्स के सभी मनमाने (यानी शून्य-सममित या शून्य-असममित) इष्टतम सेट, जब एन = 2 एफ शूरर द्वारा निर्धारित किए गए हैं, और वैकल्पिक तरीके से एच.-जे द्वारा निर्धारित किए गए हैं। रैक और आर. वाजदा (2014)
[−1,1] में नोड्स के अनगिनत अनगिनत समुच्चय हैं जो निश्चित {{mvar|n}} > 1 के लिए, लेबेस्ग स्थिरांक को न्यूनतम करते हैं। हालाँकि यदि हम मानते हैं कि हम सदैव अंतर्वेशन के लिए -1 और 1 को नोड्स के रूप में लेते हैं (जिसे कैनोनिकल नोड कॉन्फ़िगरेशन कहा जाता है), तो ऐसा समुच्चय अद्वितीय और शून्य-सममित होता है। इस संपत्ति को स्पष्ट करने के लिए, हम देखेंगे कि क्या होता है जब n = 2 (यानी हम 3 अंतर्वेशन नोड्स पर विचार करते हैं जिस स्थिति में संपत्ति तुच्छ नहीं है)। कोई यह जांच सकता है कि {{math|(−''a'', 0, ''a'')}} प्रकार के (शून्य-सममित) नोड्स का प्रत्येक समुच्चय इष्टतम है जब {{math|{{sfrac|{{radic|8}}|3}} ≤ ''a'' ≤ 1}} (हम केवल [−1, 1] में नोड्स पर विचार करते हैं)। यदि हम नोड्स के समुच्चय को {{math|(−1, ''b'', 1)}} प्रकार के होने के लिए बाध्य करते हैं, तो b को 0 के बराबर होना चाहिए (लेबेस्ग्यू फलन को देखें, जिसका अधिकतम लेबेस्गु स्थिरांक है)। [−1,1] जब n = 2 में नोड्स के सभी स्वेच्छा (यानी शून्य-सममित या शून्य-असममित) इष्टतम समुच्चय एफ शूरर द्वारा निर्धारित किए गए हैं, और वैकल्पिक तरीके से एच-जे रैक और आर वाज्दा (2014) द्वारा निर्धारित किए गए हैं
 
 
यदि हम मान लें कि हम प्रक्षेप के लिए -1 और 1 को नोड्स के रूप में लेते हैं, तो जैसा कि H.-J द्वारा दिखाया गया है। रैक (1984 और 2013), मामले n = 3 के लिए, इष्टतम (अद्वितीय और शून्य-सममित) 4 अंतर्वेशन नोड्स के स्पष्ट मान और न्यूनतम लेबेस्ग स्थिरांक के स्पष्ट मान ज्ञात हैं। [1,1] में 4 अंतर्वेशन नोड्स के सभी स्वेच्छा तरीके से इष्टतम समुच्चय, जब एन = 3 को एच.-जे रैक और आर. वाज्दा (2015) द्वारा दो अलग-अलग लेकिन समकक्ष फैशन में स्पष्ट रूप से निर्धारित किया गया है।


यदि हम मान लें कि हम प्रक्षेप के लिए -1 और 1 को नोड्स के रूप में लेते हैं, तो जैसा कि H.-J द्वारा दिखाया गया है। रैक (1984 और 2013), मामले n = 3 के लिए, इष्टतम (अद्वितीय और शून्य-सममित) 4 इंटरपोलेशन नोड्स के स्पष्ट मान और न्यूनतम लेबेस्ग स्थिरांक के स्पष्ट मान ज्ञात हैं। [1,1] में 4 इंटरपोलेशन नोड्स के सभी मनमाने ढंग से इष्टतम सेट, जब एन = 3 को एच.-जे द्वारा दो अलग-अलग लेकिन समकक्ष फैशन में स्पष्ट रूप से निर्धारित किया गया है। रैक और आर. वाजदा (2015)।


[[पडुआ अंक]] धीमी वृद्धि के साथ नोड्स का एक और सेट प्रदान करते हैं (हालांकि चेबीशेव नोड्स जितना धीमा नहीं) और एक [[अघुलनशील बिंदु सेट]] होने की अतिरिक्त संपत्ति के साथ।
पडुआ बिंदु धीमी वृद्धि (हालांकि चेबीशेव नोड्स जितना धीमा नहीं) के साथ और अघुलनशील बिंदु समुच्चय होने की अतिरिक्त संपत्ति के साथ नोड्स का एक और समुच्चय प्रदान करते हैं।


==बहुपद के मानों की संवेदनशीलता==
==बहुपद के मानों की संवेदनशीलता==
लेबेस्ग स्थिरांक एक अन्य समस्या में भी उत्पन्न होते हैं। मान लीजिए p(x) घात वाला एक बहुपद है {{mvar|n}} वेक्टर t में बिंदुओं से जुड़े लैग्रेंज बहुपद में व्यक्त किया गया है (अर्थात इसके गुणांकों का वेक्टर u वह वेक्टर है जिसमें मान शामिल हैं) <math>p(t_i)</math>). होने देना <math>\hat{p}(x)</math> मूल बहुपद p(x) के गुणांक u को थोड़ा बदलकर प्राप्त किया जाने वाला बहुपद हो <math>\hat{u}</math>. असमानता पर विचार करें:
लेबेस्ग स्थिरांक एक अन्य समस्या में भी उत्पन्न होते हैं। मान लीजिए p(x) घात वाला एक बहुपद है {{mvar|n}} सदिश t में बिंदुओं से जुड़े लैग्रेंज बहुपद में व्यक्त किया गया है (अर्थात इसके गुणांकों का सदिश u वह सदिश है जिसमें मान सम्मिलित हैं) <math>p(t_i)</math>). मान लीजिए <math>\hat{p}(x)</math> मूल बहुपद p(x) के गुणांक u को थोड़ा बदलकर प्राप्त किया जाने वाला बहुपद हो <math>\hat{u}</math>. असमानता पर विचार करें:


:<math> \frac{\|p-\hat{p}\|}{\|p\|}\leq \Lambda_n(T)\frac{\|u-\hat{u}\|}{\|u\|}</math>
:<math> \frac{\|p-\hat{p}\|}{\|p\|}\leq \Lambda_n(T)\frac{\|u-\hat{u}\|}{\|u\|}</math>
इसका मतलब है कि के मानों में (सापेक्ष) त्रुटि <math>\hat{p}(x)</math> गुणांकों में सापेक्ष त्रुटि के अनुरूप लेबेस्ग स्थिरांक से अधिक नहीं होगा। इस अर्थ में, लेबेस्ग स्थिरांक को लैग्रेंज रूप में गुणांक यू के साथ बहुपद के मानों के सेट पर प्रत्येक गुणांक वेक्टर यू को मैप करने वाले ऑपरेटर की सापेक्ष स्थिति संख्या के रूप में देखा जा सकता है। हम वास्तव में प्रत्येक बहुपद आधार के लिए ऐसे ऑपरेटर को परिभाषित कर सकते हैं लेकिन इसकी स्थिति संख्या सबसे सुविधाजनक आधारों के लिए इष्टतम लेबेस्ग स्थिरांक से अधिक है।
इसका मतलब यह है कि <math>\hat{p}(x)</math> के मानों में (सापेक्ष) त्रुटि गुणांक में सापेक्ष त्रुटि के उचित लेबेस्ग स्थिरांक से अधिक नहीं होगी। इस अर्थ में, लेबेस्ग स्थिरांक को लैग्रेंज रूप में गुणांक ''u'' के साथ बहुपद के मानों के समुच्चय पर प्रत्येक गुणांक सदिश ''u'' को मैप करने वाले ऑपरेटर की सापेक्ष स्थिति संख्या के रूप में देखा जा सकता है। हम वास्तव में प्रत्येक बहुपद आधार के लिए इस तरह के एक ऑपरेटर को परिभाषित कर सकते हैं लेकिन इसकी स्थिति संख्या सबसे सुविधाजनक आधारों के लिए इष्टतम लेबेस्ग स्थिरांक से अधिक है।


==संदर्भ==
==संदर्भ==
Line 194: Line 198:


* [http://mathworld.wolfram.com/LebesgueConstants.html Lebesgue constants] on [[MathWorld]].
* [http://mathworld.wolfram.com/LebesgueConstants.html Lebesgue constants] on [[MathWorld]].
[[Category: प्रक्षेप]] [[Category: बहुपदों]]


[[Category: Machine Translated Page]]
[[Category:Created On 25/07/2023]]
[[Category:Created On 25/07/2023]]
[[Category:Machine Translated Page]]
[[Category:Templates Vigyan Ready]]
[[Category:प्रक्षेप]]
[[Category:बहुपदों]]

Latest revision as of 10:28, 14 August 2023

गणित में, लेबेस्ग स्थिरांक (नोड्स के एक समुच्चय और उसके आकार के आधार पर) यह विचार देते हैं कि किसी फलन (गणित) (दिए गए नोड्स पर) का प्रक्षेप फलन के सर्वोत्तम बहुपद सन्निकटन (बहुपदों की डिग्री तय होती है) की तुलना में कितना अच्छा है। अधिक से अधिक घात वाले बहुपदों के लिए लेबेस्ग स्थिरांक n और के समुच्चय के लिए n + 1 नोड्स T को सामान्यतः द्वारा दर्शाया जाता है Λn(T ). इन स्थिरांकों का नाम हेनरी लेबेस्गुए के नाम पर रखा गया है।

परिभाषा

हम अंतर्वेशन नोड्स को ठीक करते हैं और एक अंतराल (गणित) जिसमें सभी अंतर्वेशन नोड्स सम्मिलित हैं। अंतर्वेशन (इंटरपोलेशन) की प्रक्रिया फलन को मैप करती है एक बहुपद के लिए . यह मैपिंग को परिभाषित करता है पर सभी निरंतर कार्यों के स्थान C से स्वयं तक है। मानचित्र X रैखिक है और यह घात n या उससे कम के बहुपदों के उपसमष्टि Πn पर एक प्रक्षेपण है।


लेब्सग्यू स्थिरांक इसे X के ऑपरेटर मानदंड के रूप में परिभाषित किया गया है। इस परिभाषा के लिए हमें C([a, b]) पर एक मानदंड निर्दिष्ट करने की आवश्यकता है। एक समान मानदंड सामान्यतया सबसे सुविधाजनक होता है।

गुण

लेबेस्ग्यू स्थिरांक प्रक्षेप त्रुटि को सीमित करता है: मान लीजिए कि p डिग्री n या उससे कम के बहुपदों के बीच f के सर्वोत्तम सन्निकटन को दर्शाता है। दूसरे शब्दों में, p न्यूनतम करता है || p −  f || Π में सभी p के बीच Πn. तब

हम यहां इस कथन को अधिकतम मानक के साथ सिद्ध करेंगे।

त्रिभुज असमानता द्वारा. लेकिन X, Πn पर एक प्रक्षेपण है, इसलिए

pX( f ) = X(p) − X( f ) = X(pf ).

इससे प्रमाण समाप्त हो जाता है . ध्यान दें कि यह संबंध लेब्सग्यूज़ लेम्मा के एक विशेष मामले के रूप में भी आता है।

दूसरे शब्दों में, प्रक्षेप बहुपद अधिक से अधिक एक कारक Λn(T ) + 1 है जो सर्वोत्तम संभव सन्निकटन से भी खराब है। इससे पता चलता है कि हम एक लघु लेबेसेग स्थिरांक के साथ अंतर्वेशन नोड्स के एक समुच्चय की खोज कर रहे हैं।

लेबेस्ग स्थिरांक को लैग्रेंज बहुपद बहुपद के संदर्भ में व्यक्त किया जा सकता है:

वास्तव में, हमारे पास लेब्सग फलन है

और ग्रिड के लिए लेबेस्गु स्थिरांक (या लेबेस्गु संख्या) इसका अधिकतम मूल्य है

फिर भी, इसके लिए कोई स्पष्ट व्यंजक (गणित) ढूँढना आसान नहीं है Λn(T ).

न्यूनतम लेबेस्ग स्थिरांक

समदूरस्थ नोड्स के मामले में, लेबेस्ग निरंतर घातीय वृद्धि करता है। अधिक सटीक रूप से, हमारे पास निम्नलिखित स्पर्शोन्मुख अनुमान है

दूसरी ओर, यदि चेबीशेव नोड्स का उपयोग किया जाता है, तो लेबेस्ग स्थिरांक केवल लघुगणकीय रूप से बढ़ता है, क्योंकि हमारे पास है

हम फिर से निष्कर्ष निकालते हैं कि चेबीशेव नोड्स बहुपद प्रक्षेप के लिए एक बहुत अच्छा विकल्प हैं। हालाँकि, चेबीशेव नोड्स का एक आसान (रैखिक) परिवर्तन है जो एक उच्च लेबेसेग स्थिरांक देता है। मान लीजिए ti निरूपित करें i-चेबीशेव नोड्स। फिर, परिभाषित करें

हम फिर से यह निष्कर्ष निकालते हैं कि बहुपद प्रक्षेप के लिए चेबीशेव नोड्स एक बहुत अच्छा विकल्प हैं। हालाँकि, चेबीशेव नोड्स का एक आसान (रैखिक) परिवर्तन है जो एक उच्च लेबेसेग स्थिरांक देता है। आइए मान लीजिए ti, i-th चेबीशेव नोड को निरूपित करें। फिर, परिभाषित करें

ऐसे नोड्स के लिए:

हालाँकि, वे नोड्स इष्टतम नहीं हैं (अर्थात वे लेबेस्ग स्थिरांक को कम नहीं करते हैं) और नोड्स के एक इष्टतम समुच्चय की खोज (जो पहले से ही कुछ मान्यताओं के तहत अद्वितीय साबित हुई है) आज भी गणित में एक रोचक विषय है। हालाँकि, नोड्स का यह समुच्चय पर अंतर्वेशन के लिए इष्टतम है, जो n गुना भिन्न-भिन्न कार्यों का समुच्चय है, जिनके n-th डेरिवेटिव एक स्थिर M द्वारा निरपेक्ष मानों में बंधे हैं जैसा कि N. S. द्वारा दिखाया गया है। होआंग कंप्यूटर का उपयोग करके, यहां विहित अंतराल [−1, 1] के लिए न्यूनतम लेबेस्ग स्थिरांक के मानों का अनुमान लगाया जा सकता है:

n 1 2 3 4 5 6 7 8 9
Λn(T) 1.0000 1.2500 1.4229 1.5595 1.6722 1.7681 1.8516 1.9255 1.9917

[−1,1] में नोड्स के अनगिनत अनगिनत समुच्चय हैं जो निश्चित n > 1 के लिए, लेबेस्ग स्थिरांक को न्यूनतम करते हैं। हालाँकि यदि हम मानते हैं कि हम सदैव अंतर्वेशन के लिए -1 और 1 को नोड्स के रूप में लेते हैं (जिसे कैनोनिकल नोड कॉन्फ़िगरेशन कहा जाता है), तो ऐसा समुच्चय अद्वितीय और शून्य-सममित होता है। इस संपत्ति को स्पष्ट करने के लिए, हम देखेंगे कि क्या होता है जब n = 2 (यानी हम 3 अंतर्वेशन नोड्स पर विचार करते हैं जिस स्थिति में संपत्ति तुच्छ नहीं है)। कोई यह जांच सकता है कि (−a, 0, a) प्रकार के (शून्य-सममित) नोड्स का प्रत्येक समुच्चय इष्टतम है जब 8/3a ≤ 1 (हम केवल [−1, 1] में नोड्स पर विचार करते हैं)। यदि हम नोड्स के समुच्चय को (−1, b, 1) प्रकार के होने के लिए बाध्य करते हैं, तो b को 0 के बराबर होना चाहिए (लेबेस्ग्यू फलन को देखें, जिसका अधिकतम लेबेस्गु स्थिरांक है)। [−1,1] जब n = 2 में नोड्स के सभी स्वेच्छा (यानी शून्य-सममित या शून्य-असममित) इष्टतम समुच्चय एफ शूरर द्वारा निर्धारित किए गए हैं, और वैकल्पिक तरीके से एच-जे रैक और आर वाज्दा (2014) द्वारा निर्धारित किए गए हैं


यदि हम मान लें कि हम प्रक्षेप के लिए -1 और 1 को नोड्स के रूप में लेते हैं, तो जैसा कि H.-J द्वारा दिखाया गया है। रैक (1984 और 2013), मामले n = 3 के लिए, इष्टतम (अद्वितीय और शून्य-सममित) 4 अंतर्वेशन नोड्स के स्पष्ट मान और न्यूनतम लेबेस्ग स्थिरांक के स्पष्ट मान ज्ञात हैं। [1,1] में 4 अंतर्वेशन नोड्स के सभी स्वेच्छा तरीके से इष्टतम समुच्चय, जब एन = 3 को एच.-जे रैक और आर. वाज्दा (2015) द्वारा दो अलग-अलग लेकिन समकक्ष फैशन में स्पष्ट रूप से निर्धारित किया गया है।


पडुआ बिंदु धीमी वृद्धि (हालांकि चेबीशेव नोड्स जितना धीमा नहीं) के साथ और अघुलनशील बिंदु समुच्चय होने की अतिरिक्त संपत्ति के साथ नोड्स का एक और समुच्चय प्रदान करते हैं।

बहुपद के मानों की संवेदनशीलता

लेबेस्ग स्थिरांक एक अन्य समस्या में भी उत्पन्न होते हैं। मान लीजिए p(x) घात वाला एक बहुपद है n सदिश t में बिंदुओं से जुड़े लैग्रेंज बहुपद में व्यक्त किया गया है (अर्थात इसके गुणांकों का सदिश u वह सदिश है जिसमें मान सम्मिलित हैं) ). मान लीजिए मूल बहुपद p(x) के गुणांक u को थोड़ा बदलकर प्राप्त किया जाने वाला बहुपद हो . असमानता पर विचार करें:

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

संदर्भ

  • Brutman, L. (1997), "Lebesgue functions for polynomial interpolation — a survey", Annals of Numerical Mathematics, 4: 111–127, ISSN 1021-2655
  • Smith, Simon J. (2006), "Lebesgue constants in polynomial interpolation" (PDF), Annales Mathematicae et Informaticae, 33: 109–123, ISSN 1787-5021
  • Ibrahimoglu, Bayram Ali (2016), "Lebesgue functions and Lebesgue constants in polynomial interpolation", Journal of Inequalities and Applications, 2016: 2016:93, doi:10.1186/s13660-016-1030-3, ISSN 1029-242X
  • Rack, H.-J. (1984), "An example of optimal nodes for interpolation", International Journal of Mathematical Education in Science and Technology, 15 (3): 355–357, doi:10.1080/0020739840150312, ISSN 1464-5211
  • Rack, H.-J. (2013), "An example of optimal nodes for interpolation revisited", Advances in Applied Mathematics and Approximation Theory, Springer Proceedings in Mathematics and Statistics, 41: 117–120, doi:10.1007/978-1-4614-6393-1_7, ISBN 978-1-4614-6392-4, ISSN 2194-1009
  • Rack, H.-J.; Vajda, R. (2014), "On optimal quadratic Lagrange interpolation: Extremal node systems with minimal Lebesgue constant via symbolic computation", Serdica Journal of Computing, 8: 71–96, doi:10.55630/sjc.2014.8.71-96, ISSN 1312-6555, S2CID 55568122
  • Rack, H.-J.; Vajda, R. (2015), "On optimal cubic Lagrange interpolation: Extremal node systems with minimal Lebesgue constant" (PDF), Studia Universitatis Babeş-Bolyai Mathematica, 60 (2): 151–171, ISSN 0252-1938
  • Schurer, F. (1974), "A remark on extremal sets in the theory of polynomial interpolation", Studia Scientiarum Mathematicarum Hungarica, 9: 77–79, ISSN 0081-6906
  • Hoang, N. S. (2013), On node distribution for interpolation and spectral methods., arXiv:1305.6104, Bibcode:2013arXiv1305.6104H