लीजेंड्रे बहुपद: Difference between revisions
No edit summary |
No edit summary |
||
(4 intermediate revisions by 3 users not shown) | |||
Line 9: | Line 9: | ||
इस दृष्टिकोण में, बहुपदों को वजन फलन के संबंध में ऑर्थोगोनल प्रणाली के रूप में परिभाषित किया जाता है <math>w(x) = 1</math> अंतराल पर <math> [-1,1]</math>. वह है, <math>P_n(x)</math> घात <math>n</math> का बहुपद है, ऐसा है कि | इस दृष्टिकोण में, बहुपदों को वजन फलन के संबंध में ऑर्थोगोनल प्रणाली के रूप में परिभाषित किया जाता है <math>w(x) = 1</math> अंतराल पर <math> [-1,1]</math>. वह है, <math>P_n(x)</math> घात <math>n</math> का बहुपद है, ऐसा है कि | ||
<math display="block">\int_{-1}^1 P_m(x) P_n(x) \,dx = 0 \quad \text{if } n \ne m.</math>अतिरिक्त मानकीकरण शर्त <math>P_n(1) = 1</math> के साथ, सभी बहुपद विशिष्ट रूप से निर्धारित किए जा सकते हैं। फिर हम निर्माण प्रक्रिया | <math display="block">\int_{-1}^1 P_m(x) P_n(x) \,dx = 0 \quad \text{if } n \ne m.</math>अतिरिक्त मानकीकरण शर्त <math>P_n(1) = 1</math> के साथ, सभी बहुपद विशिष्ट रूप से निर्धारित किए जा सकते हैं। फिर हम निर्माण प्रक्रिया प्रारंभ करते हैं: <math>P_0(x) = 1</math> घात 0 का एकमात्र सही विधि से मानकीकृत बहुपद है। <math>P_1(x)</math> को <math>P_0</math> के लिए ऑर्थोगोनल होना चाहिए, <math>P_1(x) = x</math>, और <math>P_2(x)</math> के लिए अग्रणी <math>P_0</math> और <math>P_1</math> के लिए ऑर्थोगोनलिटी की मांग से निर्धारित होता है। <math>P_n</math> के साथ सभी <math>P_m</math> के लिए ऑर्थोगोनलिटी की मांग करके <math> m < n </math> तय किया गया हैं। यह देता है यह <math> n </math> स्थितियाँ देता है, जो मानकीकरण <math> P_n(1) = 1</math> के साथ है <math> P_n(x)</math>में सभी <math> n+1</math> में गुणांकों को ठीक करता है। काम के साथ, प्रत्येक बहुपद के सभी गुणांकों को व्यवस्थित रूप से निर्धारित किया जा सकता है, जिससे नीचे दिए गए <math>x</math> की शक्तियों में स्पष्ट प्रतिनिधित्व हो सके। | ||
<math>P_n</math>की यह परिभाषा सबसे सरल है। यह अंतर समीकरणों के सिद्धांत के लिए अनुरोध नहीं करता है। दूसरा, बहुपदों की पूर्णता घातों 1, <math> x, x^2, x^3, \ldots</math>. की पूर्णता से तुरंत अनुसरण करती है, अंत में, परिमित अंतराल पर सबसे स्पष्ट वजन फलन के संबंध में उन्हें ऑर्थोगोनलिटी के माध्यम से परिभाषित करके, यह तीन [[शास्त्रीय ऑर्थोगोनल बहुपद| | <math>P_n</math>की यह परिभाषा सबसे सरल है। यह अंतर समीकरणों के सिद्धांत के लिए अनुरोध नहीं करता है। दूसरा, बहुपदों की पूर्णता घातों 1, <math> x, x^2, x^3, \ldots</math>. की पूर्णता से तुरंत अनुसरण करती है, अंत में, परिमित अंतराल पर सबसे स्पष्ट वजन फलन के संबंध में उन्हें ऑर्थोगोनलिटी के माध्यम से परिभाषित करके, यह तीन [[शास्त्रीय ऑर्थोगोनल बहुपद|मौलिक ऑर्थोगोनल बहुपदों]] में से के रूप में लीजेंड्रे बहुपद स्थापित करता है। अन्य दो [[लैगुएरे बहुपद]] हैं, जो आधी रेखा <math>[0,\infty)</math> पर ओर्थोगोनल हैं, और [[हर्मिट बहुपद]], पूर्ण रेखा पर ओर्थोगोनल <math>(-\infty,\infty)</math>, भार फलनों के साथ जो सबसे प्राकृतिक विश्लेषणात्मक फलन हैं जो सभी अभिन्नताओं के अभिसरण को सुनिश्चित करते हैं। | ||
== फलन उत्पन्न करने के माध्यम से परिभाषा == | == फलन उत्पन्न करने के माध्यम से परिभाषा == | ||
Line 19: | Line 19: | ||
<math>t^n</math> का गुणांक <math> x </math> में घात <math>n</math> वाला एक बहुपद है जिसमें <math>|x| \leq 1</math> है। <math>t^1</math> तक विस्तार करने पर प्राप्त होता है | <math>t^n</math> का गुणांक <math> x </math> में घात <math>n</math> वाला एक बहुपद है जिसमें <math>|x| \leq 1</math> है। <math>t^1</math> तक विस्तार करने पर प्राप्त होता है | ||
<math display="block">P_0(x) = 1 \,,\quad P_1(x) = x.</math>उच्च क्रम में विस्तार तेजी से असुविधाजनक हो जाता है, किन्तु व्यवस्थित रूप से करना संभव है, और फिर से नीचे दिए गए स्पष्ट रूपों में से की ओर जाता है। | <math display="block">P_0(x) = 1 \,,\quad P_1(x) = x.</math>उच्च क्रम में विस्तार तेजी से असुविधाजनक हो जाता है, किन्तु व्यवस्थित रूप से करना संभव है, और फिर से नीचे दिए गए स्पष्ट रूपों में से की ओर जाता है। | ||
चूंकि, टेलर श्रृंखला के प्रत्यक्ष विस्तार का सहारा लिए बिना उच्च <math>P_n</math>प्राप्त करना संभव है। सम {{EquationNote|2}} को दोनों तरफ {{mvar|t}} के संबंध में विभेदित किया गया है और प्राप्त करने के लिए पुनर्व्यवस्थित किया गया है | |||
<math display="block">\frac{x-t}{\sqrt{1-2xt+t^2}} = \left(1-2xt+t^2\right) \sum_{n=1}^\infty n P_n(x) t^{n-1} \,.</math> | <math display="block">\frac{x-t}{\sqrt{1-2xt+t^2}} = \left(1-2xt+t^2\right) \sum_{n=1}^\infty n P_n(x) t^{n-1} \,.</math> | ||
Eq।{{EquationNote|2}} में इसकी परिभाषा के साथ वर्गमूल के भागफल को बदलना, और की शक्तियों के [[गुणांकों की बराबरी करना]] {{math|''t''}} परिणामी विस्तार में बोनट का पुनरावर्तन सूत्र देता है | Eq।{{EquationNote|2}} में इसकी परिभाषा के साथ वर्गमूल के भागफल को बदलना, और की शक्तियों के [[गुणांकों की बराबरी करना]] {{math|''t''}} परिणामी विस्तार में बोनट का पुनरावर्तन सूत्र देता है | ||
Line 33: | Line 33: | ||
इस [[अंतर समीकरण]] में {{math|1=''x'' = ±1}} पर [[नियमित एकवचन बिंदु]] होते हैं, इसलिए यदि मानक फ्रोबेनियस या पावर श्रृंखला पद्धति का उपयोग करके एक समाधान की मांग की जाती है, तो मूल के बारे में एक श्रृंखला केवल {{math|{{abs|''x''}} < 1}} सामान्य रूप में केवल अभिसरण करेगी। जब {{math|''n''}} पूर्णांक है, समाधान {{math|''P<sub>n</sub>''(''x'')}} जो {{math|1=''x'' = 1}} पर नियमित है {{math|1=''x'' = −1}} पर भी नियमित है, और इस समाधान के लिए श्रृंखला समाप्त हो जाती है (अर्थात यह बहुपद है)। इन समाधानों की रूढ़िवादिता और पूर्णता को स्टर्म-लिउविल सिद्धांत के दृष्टिकोण से सबसे अच्छा देखा जाता है। हम अवकल समीकरण को आइगेनवैल्यू समस्या के रूप में फिर से लिखते हैं, | इस [[अंतर समीकरण]] में {{math|1=''x'' = ±1}} पर [[नियमित एकवचन बिंदु]] होते हैं, इसलिए यदि मानक फ्रोबेनियस या पावर श्रृंखला पद्धति का उपयोग करके एक समाधान की मांग की जाती है, तो मूल के बारे में एक श्रृंखला केवल {{math|{{abs|''x''}} < 1}} सामान्य रूप में केवल अभिसरण करेगी। जब {{math|''n''}} पूर्णांक है, समाधान {{math|''P<sub>n</sub>''(''x'')}} जो {{math|1=''x'' = 1}} पर नियमित है {{math|1=''x'' = −1}} पर भी नियमित है, और इस समाधान के लिए श्रृंखला समाप्त हो जाती है (अर्थात यह बहुपद है)। इन समाधानों की रूढ़िवादिता और पूर्णता को स्टर्म-लिउविल सिद्धांत के दृष्टिकोण से सबसे अच्छा देखा जाता है। हम अवकल समीकरण को आइगेनवैल्यू समस्या के रूप में फिर से लिखते हैं, | ||
<math display="block">\frac{d}{dx} \left( \left(1-x^2\right) \frac{d}{dx} \right) P(x) = -\lambda P(x) \,,</math> | <math display="block">\frac{d}{dx} \left( \left(1-x^2\right) \frac{d}{dx} \right) P(x) = -\lambda P(x) \,,</math> | ||
जिसमे <math> n(n+1)</math> के स्थान पर आइगेनवैल्यू <math>\lambda</math> होता है। यदि हम मांग करते हैं यदि हम मांग करते हैं कि समाधान <math>x = \pm 1</math>, पर नियमित हो तो वह बाईं ओर अवकल संकारक [[हर्मिटियन]] है। आइगेनवैल्यू <math>n = 0, 1, 2, \ldots</math> के साथ {{math|''n''(''n'' + 1)}}, के रूप में पाए जाते हैं और | जिसमे <math> n(n+1)</math> के स्थान पर आइगेनवैल्यू <math>\lambda</math> होता है। यदि हम मांग करते हैं यदि हम मांग करते हैं कि समाधान <math>x = \pm 1</math>, पर नियमित हो तो वह बाईं ओर अवकल संकारक [[हर्मिटियन]] है। आइगेनवैल्यू <math>n = 0, 1, 2, \ldots</math> के साथ {{math|''n''(''n'' + 1)}}, के रूप में पाए जाते हैं और ईजेनफलन <math>P_n(x)</math> हैं। समाधानों के इस समुच्चय की रूढ़िवादिता और पूर्णता स्टर्म-लिउविल सिद्धांत के बड़े संरचना से तुरंत अनुसरण करती है। | ||
विभेदक समीकरण एक अन्य, गैर-बहुपद समाधान, दूसरी तरह के (Qn) <math>Q_n</math>के लीजेंड्रे कार्यों को स्वीकार करता हैं। | विभेदक समीकरण एक अन्य, गैर-बहुपद समाधान, दूसरी तरह के (Qn) <math>Q_n</math>के लीजेंड्रे कार्यों को स्वीकार करता हैं। | ||
Line 39: | Line 39: | ||
दो-पैरामीटर सामान्यीकरण (Eq।{{EquationNote|1}}) को लिजेन्ड्रे का सामान्य अवकल समीकरण कहा जाता है, जिसे एसोसिएटेड लैजेन्ड्रे बहुपदों द्वारा समाधान किया जाता है। [[लेजेंड्रे कार्य करता है|लेजेंड्रे फलन करता है]] गैर-पूर्णांक मापदंडों के साथ लीजेंड्रे [[आंशिक विभेदक समीकरण]] (सामान्यीकृत या नहीं) के समाधान हैं। | दो-पैरामीटर सामान्यीकरण (Eq।{{EquationNote|1}}) को लिजेन्ड्रे का सामान्य अवकल समीकरण कहा जाता है, जिसे एसोसिएटेड लैजेन्ड्रे बहुपदों द्वारा समाधान किया जाता है। [[लेजेंड्रे कार्य करता है|लेजेंड्रे फलन करता है]] गैर-पूर्णांक मापदंडों के साथ लीजेंड्रे [[आंशिक विभेदक समीकरण]] (सामान्यीकृत या नहीं) के समाधान हैं। | ||
भौतिक सेटिंग में, लीजेंड्रे का विभेदक समीकरण स्वाभाविक रूप से तब उत्पन्न होता है जब कोई लाप्लास के समीकरण (और संबंधित आंशिक अवकल समीकरण) को गोलीय निर्देशांकों में चरों के पृथक्करण द्वारा समाधान करता है। इस दृष्टिकोण से, लाप्लासियन ऑपरेटर के कोणीय भाग के | भौतिक सेटिंग में, लीजेंड्रे का विभेदक समीकरण स्वाभाविक रूप से तब उत्पन्न होता है जब कोई लाप्लास के समीकरण (और संबंधित आंशिक अवकल समीकरण) को गोलीय निर्देशांकों में चरों के पृथक्करण द्वारा समाधान करता है। इस दृष्टिकोण से, लाप्लासियन ऑपरेटर के कोणीय भाग के eigenफलन [[गोलाकार हार्मोनिक्स]] हैं, जिनमें से लीजेंड्रे बहुपद (गुणात्मक स्थिरांक तक) सबसेट हैं जो ध्रुवीय अक्ष के बारे में घुमावों द्वारा अपरिवर्तित छोड़ दिया जाता है। बहुपद के रूप में दिखाई देते हैं <math>P_n(\cos\theta)</math> जहाँ <math>\theta</math> ध्रुवीय कोण है। लीजेंड्रे बहुपदों के लिए यह दृष्टिकोण घूर्णी समरूपता के लिए गहरा संबंध प्रदान करता है। उनके कई गुण जो श्रमपूर्वक विश्लेषण के विधियों के माध्यम से पाए जाते हैं - उदाहरण के लिए जोड़ प्रमेय - समरूपता और समूह सिद्धांत के विधियों का उपयोग करके अधिक आसानी से पाए जाते हैं, और गहरा भौतिक और ज्यामितीय अर्थ प्राप्त करते हैं। | ||
== रूढ़िवादिता और पूर्णता == | == रूढ़िवादिता और पूर्णता == | ||
मानकीकरण <math>P_n(1) = 1</math> लीजेंड्रे बहुपदों के सामान्यीकरण को ठीक करता है (एल 2-मानदंड के संबंध में{{math|''L''<sup>2</sup>}} अंतराल पर मानदंड {{math|−1 ≤ ''x'' ≤ 1}}). चूंकि वे ही मानदंड, दो | मानकीकरण <math>P_n(1) = 1</math> लीजेंड्रे बहुपदों के सामान्यीकरण को ठीक करता है (एल 2-मानदंड के संबंध में{{math|''L''<sup>2</sup>}} अंतराल पर मानदंड {{math|−1 ≤ ''x'' ≤ 1}}). चूंकि वे ही मानदंड, दो कथनों के संबंध में [[ऑर्थोगोनल फ़ंक्शन|ऑर्थोगोनल फलन]] भी हैं{{clarify|reason=unclear what two statements are being referred to|date=April 2022}} को समीकरण में जोड़ा जा सकता है, | ||
<math display="block">\int_{-1}^1 P_m(x) P_n(x)\,dx = \frac{2}{2n + 1} \delta_{mn},</math> | <math display="block">\int_{-1}^1 P_m(x) P_n(x)\,dx = \frac{2}{2n + 1} \delta_{mn},</math> | ||
(जहाँ {{math|''δ<sub>mn</sub>''}} [[क्रोनकर डेल्टा]] को दर्शाता है, जो 1 | (जहाँ {{math|''δ<sub>mn</sub>''}} [[क्रोनकर डेल्टा]] को दर्शाता है, जो 1 यदि के बराबर है {{math|1=''m'' = ''n''}} और 0 अन्यथा)। | ||
यह सामान्यीकरण सबसे आसानी से नीचे दिए गए रोड्रिग्स के | यह सामान्यीकरण सबसे आसानी से नीचे दिए गए रोड्रिग्स के सूत्र को प्रायुक्त करके पाया जाता है। | ||
बहुपद पूर्ण होने का अर्थ निम्नलिखित है। किसी भी टुकड़े के निरंतर फलन को देखते हुए <math> f(x) </math> अंतराल में निश्चित रूप से कई विच्छिन्नता के साथ {{closed-closed|−1, 1}}, रकम का क्रम | बहुपद पूर्ण होने का अर्थ निम्नलिखित है। किसी भी टुकड़े के निरंतर फलन को देखते हुए <math> f(x) </math> अंतराल में निश्चित रूप से कई विच्छिन्नता के साथ {{closed-closed|−1, 1}}, रकम का क्रम | ||
Line 52: | Line 52: | ||
के मध्य में परिवर्तित हो जाता है <math> f(x) </math> जैसा <math> n \to \infty </math>, परन्तु हम लें | के मध्य में परिवर्तित हो जाता है <math> f(x) </math> जैसा <math> n \to \infty </math>, परन्तु हम लें | ||
<math display="block"> a_\ell = \frac{2\ell + 1}{2} \int_{-1}^1 f(x) P_\ell(x)\,dx.</math> | <math display="block"> a_\ell = \frac{2\ell + 1}{2} \int_{-1}^1 f(x) P_\ell(x)\,dx.</math> | ||
यह पूर्णता गुण इस लेख में चर्चा किए गए सभी विस्तारों को रेखांकित करती है, और | यह पूर्णता गुण इस लेख में चर्चा किए गए सभी विस्तारों को रेखांकित करती है, और अधिकांशतः इसे रूप में कहा जाता है | ||
<math display="block">\sum_{\ell=0}^\infty \frac{2\ell + 1}{2} P_\ell(x)P_\ell(y) = \delta(x-y), </math> | <math display="block">\sum_{\ell=0}^\infty \frac{2\ell + 1}{2} P_\ell(x)P_\ell(y) = \delta(x-y), </math> | ||
साथ {{math|−1 ≤ ''x'' ≤ 1}} और {{math|−1 ≤ ''y'' ≤ 1}}. | साथ {{math|−1 ≤ ''x'' ≤ 1}} और {{math|−1 ≤ ''y'' ≤ 1}}. | ||
Line 64: | Line 64: | ||
P_n(x)&=\frac1{2^n}\sum_{k=0}^{\left\lfloor\frac n2\right\rfloor}(-1)^k\binom nk\binom{2n-2k}n x^{n-2k},\\ | P_n(x)&=\frac1{2^n}\sum_{k=0}^{\left\lfloor\frac n2\right\rfloor}(-1)^k\binom nk\binom{2n-2k}n x^{n-2k},\\ | ||
P_n(x)&= 2^n \sum_{k=0}^n x^k \binom{n}{k} \binom{\frac{n+k-1}{2}}{n}. | P_n(x)&= 2^n \sum_{k=0}^n x^k \binom{n}{k} \binom{\frac{n+k-1}{2}}{n}. | ||
\end{align}</math> | \end{align}</math>तीसरे प्रतिनिधित्व में, ⌊n/2⌋ n/2 से कम या उसके बराबर सबसे [[फर्श समारोह|बड़ा पूर्णांक]] है। अंतिम प्रतिनिधित्व, जो पुनरावर्तन सूत्र से भी अविलम्ब है, लेजेंड्रे बहुपदों को सरल मोनोमियल्स द्वारा व्यक्त करता है और द्विपद गुणांक सामान्यीकरण और द्विपद श्रृंखला से संबंध सम्मिलित करता है। | ||
तीसरे प्रतिनिधित्व में, ⌊n/2⌋ n/2 से कम या उसके बराबर सबसे [[फर्श समारोह|बड़ा पूर्णांक]] है। अंतिम प्रतिनिधित्व, जो पुनरावर्तन सूत्र से भी अविलम्ब है, लेजेंड्रे बहुपदों को सरल मोनोमियल्स द्वारा व्यक्त करता है और द्विपद गुणांक सामान्यीकरण और द्विपद श्रृंखला से संबंध | |||
पहले कुछ लीजेंड्रे बहुपद हैं: | पहले कुछ लीजेंड्रे बहुपद हैं: | ||
{| class="wikitable" style="text-align: right;" | {| class="wikitable" style="text-align: right;" | ||
Line 143: | Line 139: | ||
=== [[आवर्तक तंत्रिका नेटवर्क]] में लेजेंड्रे बहुपद === | === [[आवर्तक तंत्रिका नेटवर्क]] में लेजेंड्रे बहुपद === | ||
आवर्ती तंत्रिका नेटवर्क जिसमें एक {{math|''d''}}-आयामी मेमोरी वेक्टर | आवर्ती तंत्रिका नेटवर्क जिसमें एक {{math|''d''}}-आयामी मेमोरी वेक्टर सम्मिलित होता है , <math>\mathbf{m} \in \R^d</math>, इस तरह से अनुकूलित किया जा सकता है कि इसकी तंत्रिका गतिविधियाँ निम्नलिखित राज्य-स्थान प्रतिनिधित्व द्वारा दी गई [[रैखिक समय-अपरिवर्तनीय प्रणाली]] का पालन करती हैं: | ||
<math display="block">\theta \dot{\mathbf{m}}(t) = A\mathbf{m}(t) + Bu(t),</math> | <math display="block">\theta \dot{\mathbf{m}}(t) = A\mathbf{m}(t) + Bu(t),</math> | ||
<math display="block">\begin{align} | <math display="block">\begin{align} | ||
Line 156: | Line 152: | ||
\end{align}</math> | \end{align}</math> | ||
इस स्थिति में, समय की पिछली <math>\theta</math> इकाइयों में <math>u</math> की स्लाइडिंग विंडो को पहले <math>d</math> स्थानांतरित लीजेंड्रे बहुपदों के एक रैखिक संयोजन द्वारा अनुमानित ([[सन्निकटन सिद्धांत]]) किया जाता है, जो समय <math>t</math> पर <math>\mathbf{m}</math> के तत्वों द्वारा एक साथ भारित होता है: | |||
इस | |||
<math display="block">u(t - \theta') \approx \sum_{\ell=0}^{d-1} \widetilde{P}_\ell \left(\frac{\theta'}{\theta} \right) \, m_{\ell}(t) , \quad 0 \le \theta' \le \theta .</math> | <math display="block">u(t - \theta') \approx \sum_{\ell=0}^{d-1} \widetilde{P}_\ell \left(\frac{\theta'}{\theta} \right) \, m_{\ell}(t) , \quad 0 \le \theta' \le \theta .</math> | ||
जब सघन शिक्षण विधियों के साथ जोड़ा जाता है, तो इन नेटवर्कों को कम कम्प्यूटेशनल संसाधनों का उपयोग करते हुए लंबी अवधि की स्मृति इकाइयों और संबंधित आर्किटेक्चर से उत्तम प्रदर्शन करने के लिए प्रशिक्षित किया जा सकता है।<ref>{{cite conference |last1=Voelker |first1=Aaron R. |last2=Kajić |first2=Ivana |last3=Eliasmith |first3=Chris |title=Legendre Memory Units: Continuous-Time Representation in Recurrent Neural Networks |url=http://compneuro.uwaterloo.ca/files/publications/voelker.2019.lmu.pdf |conference=Advances in Neural Information Processing Systems |conference-url=https://neurips.cc |year=2019 }}</ref> | जब सघन शिक्षण विधियों के साथ जोड़ा जाता है, तो इन नेटवर्कों को कम कम्प्यूटेशनल संसाधनों का उपयोग करते हुए लंबी अवधि की स्मृति इकाइयों और संबंधित आर्किटेक्चर से उत्तम प्रदर्शन करने के लिए प्रशिक्षित किया जा सकता है।<ref>{{cite conference |last1=Voelker |first1=Aaron R. |last2=Kajić |first2=Ivana |last3=Eliasmith |first3=Chris |title=Legendre Memory Units: Continuous-Time Representation in Recurrent Neural Networks |url=http://compneuro.uwaterloo.ca/files/publications/voelker.2019.lmu.pdf |conference=Advances in Neural Information Processing Systems |conference-url=https://neurips.cc |year=2019 }}</ref> | ||
Line 244: | Line 239: | ||
स्थानांतरित लीजेंड्रे बहुपदों को इस रूप में परिभाषित किया गया है | स्थानांतरित लीजेंड्रे बहुपदों को इस रूप में परिभाषित किया गया है | ||
<math display="block">\widetilde{P}_n(x) = P_n(2x-1) \,.</math>यहां स्थानांतरण | <math display="block">\widetilde{P}_n(x) = P_n(2x-1) \,.</math>यहां स्थानांतरण फलन {{math|''x'' ↦ 2''x'' − 1}} [[affine परिवर्तन|संबधित परिवर्तन]] है जो अंतराल {{closed-closed|0, 1}} को अंतराल {{closed-closed|−1, 1}} पर विशेष रूप से माप करता है , जिसका अर्थ है कि बहुपद {{math|''P̃<sub>n</sub>''(''x'')}} {{closed-closed|0, 1}} पर ओर्थोगोनल हैं: | ||
<math display="block">\int_0^1 \widetilde{P}_m(x) \widetilde{P}_n(x)\,dx = \frac{1}{2n + 1} \delta_{mn} \,.</math> | <math display="block">\int_0^1 \widetilde{P}_m(x) \widetilde{P}_n(x)\,dx = \frac{1}{2n + 1} \delta_{mn} \,.</math> | ||
स्थानांतरित किए गए लीजेंड्रे बहुपदों के लिए स्पष्ट व्यंजक द्वारा दिया गया है | स्थानांतरित किए गए लीजेंड्रे बहुपदों के लिए स्पष्ट व्यंजक द्वारा दिया गया है | ||
Line 272: | Line 266: | ||
=== पौराणिक तर्कसंगत फलन === | === पौराणिक तर्कसंगत फलन === | ||
{{main| | {{main|लीजेंड्रे तर्कसंगत फलन}} | ||
लीजेंड्रे परिमेय फलन [0, ∞) पर लांबिक फलनों का क्रम है। वे लीजेंड्रे बहुपदों के साथ [[केली रूपांतरण]] की रचना करके प्राप्त किए जाते हैं। | लीजेंड्रे परिमेय फलन [0, ∞) पर लांबिक फलनों का क्रम है। वे लीजेंड्रे बहुपदों के साथ [[केली रूपांतरण]] की रचना करके प्राप्त किए जाते हैं। | ||
घात | घात n के तर्कसंगत लीजेंड्रे फलन को इस प्रकार परिभाषित किया गया है: | ||
<math display="block">R_n(x) = \frac{\sqrt{2}}{x+1}\,P_n\left(\frac{x-1}{x+1}\right)\,.</math> | <math display="block">R_n(x) = \frac{\sqrt{2}}{x+1}\,P_n\left(\frac{x-1}{x+1}\right)\,.</math> | ||
वे विलक्षण स्टर्म-लिउविल समस्या के [[eigenfunction]] | वे विलक्षण स्टर्म-लिउविल समस्या के [[eigenfunction|आइगेनफलन]] हैं: | ||
<math display="block">(x+1)\partial_x(x\partial_x((x+1)v(x)))+\lambda v(x)=0</math> | <math display="block">(x+1)\partial_x(x\partial_x((x+1)v(x)))+\lambda v(x)=0</math> | ||
आइगेनवैल्यू के साथ <math display="block">\lambda_n=n(n+1)\,.</math> | आइगेनवैल्यू के साथ <math display="block">\lambda_n=n(n+1)\,.</math> | ||
Line 320: | Line 314: | ||
*[http://hyperphysics.phy-astr.gsu.edu/hbase/math/legend.html Legendre Polynomials from Hyperphysics] | *[http://hyperphysics.phy-astr.gsu.edu/hbase/math/legend.html Legendre Polynomials from Hyperphysics] | ||
{{DEFAULTSORT:Legendre Polynomials}} | {{DEFAULTSORT:Legendre Polynomials}} | ||
[[Category: | [[Category:Articles with hatnote templates targeting a nonexistent page|Legendre Polynomials]] | ||
[[Category:Created On 03/03/2023]] | [[Category:CS1 français-language sources (fr)]] | ||
[[Category:Commons category link is locally defined|Legendre Polynomials]] | |||
[[Category:Created On 03/03/2023|Legendre Polynomials]] | |||
[[Category:Lua-based templates|Legendre Polynomials]] | |||
[[Category:Machine Translated Page|Legendre Polynomials]] | |||
[[Category:Multi-column templates|Legendre Polynomials]] | |||
[[Category:Pages using div col with small parameter|Legendre Polynomials]] | |||
[[Category:Pages with script errors|Legendre Polynomials]] | |||
[[Category:Short description with empty Wikidata description|Legendre Polynomials]] | |||
[[Category:Templates Vigyan Ready|Legendre Polynomials]] | |||
[[Category:Templates that add a tracking category|Legendre Polynomials]] | |||
[[Category:Templates that generate short descriptions|Legendre Polynomials]] | |||
[[Category:Templates using TemplateData|Legendre Polynomials]] | |||
[[Category:Templates using under-protected Lua modules|Legendre Polynomials]] | |||
[[Category:Wikipedia articles needing clarification from April 2022|Legendre Polynomials]] | |||
[[Category:Wikipedia fully protected templates|Div col]] | |||
[[Category:ऑर्थोगोनल बहुपद|Legendre Polynomials]] | |||
[[Category:बहुपदों|Legendre Polynomials]] | |||
[[Category:विशेष हाइपरज्यामितीय कार्य|Legendre Polynomials]] |
Latest revision as of 09:56, 20 March 2023
गणित में, एड्रियन मैरी लीजेंड्रे (1782) के नाम पर लिजेंड्रे बहुपद, गणितीय गुणों की बड़ी संख्या और कई अनुप्रयोगों के साथ पूर्ण और ऑर्थोगोनल बहुपदों की एक प्रणाली है। उन्हें कई विधियों से परिभाषित किया जा सकता है, और विभिन्न परिभाषाएँ विभिन्न पहलुओं को प्रकाशित करती हैं और साथ ही विभिन्न गणितीय संरचनाओं और भौतिक और संख्यात्मक अनुप्रयोगों के लिए सामान्यीकरण और सम्बन्ध का सुझाव देती हैं।
लिजेन्ड्रे बहुपदों से निकटता से संबंधित लिजेन्ड्रे बहुपदों, लिजेन्ड्रे फलन, दूसरी तरह के लेजेंड्रे फलन, और संबंधित लेजेन्ड्रे फलन हैं।
ऑर्थोगोनल सिस्टम के रूप में निर्माण द्वारा परिभाषा
इस दृष्टिकोण में, बहुपदों को वजन फलन के संबंध में ऑर्थोगोनल प्रणाली के रूप में परिभाषित किया जाता है अंतराल पर . वह है, घात का बहुपद है, ऐसा है कि
की यह परिभाषा सबसे सरल है। यह अंतर समीकरणों के सिद्धांत के लिए अनुरोध नहीं करता है। दूसरा, बहुपदों की पूर्णता घातों 1, . की पूर्णता से तुरंत अनुसरण करती है, अंत में, परिमित अंतराल पर सबसे स्पष्ट वजन फलन के संबंध में उन्हें ऑर्थोगोनलिटी के माध्यम से परिभाषित करके, यह तीन मौलिक ऑर्थोगोनल बहुपदों में से के रूप में लीजेंड्रे बहुपद स्थापित करता है। अन्य दो लैगुएरे बहुपद हैं, जो आधी रेखा पर ओर्थोगोनल हैं, और हर्मिट बहुपद, पूर्ण रेखा पर ओर्थोगोनल , भार फलनों के साथ जो सबसे प्राकृतिक विश्लेषणात्मक फलन हैं जो सभी अभिन्नताओं के अभिसरण को सुनिश्चित करते हैं।
फलन उत्पन्न करने के माध्यम से परिभाषा
लीजेंड्रे बहुपदों को जनरेटिंग फलन के की घातों में एक औपचारिक विस्तार में गुणांकों के रूप में भी परिभाषित किया जा सकता है[1]
|
(2) |
का गुणांक में घात वाला एक बहुपद है जिसमें है। तक विस्तार करने पर प्राप्त होता है
जनरेटिंग फलन दृष्टिकोण सीधे इलेक्ट्रोस्टैटिक्स में मल्टीपोल विस्तार से जुड़ा हुआ है, जैसा कि नीचे बताया गया है, और यह है कि 1782 में लीजेंड्रे द्वारा बहुपदों को पहली बार कैसे परिभाषित किया गया था।
अंतर समीकरण के माध्यम से परिभाषा
लीजेंड्रे के अंतर समीकरण के समाधान के संदर्भ में तीसरी परिभाषा है:
|
(1) |
इस अंतर समीकरण में x = ±1 पर नियमित एकवचन बिंदु होते हैं, इसलिए यदि मानक फ्रोबेनियस या पावर श्रृंखला पद्धति का उपयोग करके एक समाधान की मांग की जाती है, तो मूल के बारे में एक श्रृंखला केवल |x| < 1 सामान्य रूप में केवल अभिसरण करेगी। जब n पूर्णांक है, समाधान Pn(x) जो x = 1 पर नियमित है x = −1 पर भी नियमित है, और इस समाधान के लिए श्रृंखला समाप्त हो जाती है (अर्थात यह बहुपद है)। इन समाधानों की रूढ़िवादिता और पूर्णता को स्टर्म-लिउविल सिद्धांत के दृष्टिकोण से सबसे अच्छा देखा जाता है। हम अवकल समीकरण को आइगेनवैल्यू समस्या के रूप में फिर से लिखते हैं,
विभेदक समीकरण एक अन्य, गैर-बहुपद समाधान, दूसरी तरह के (Qn) के लीजेंड्रे कार्यों को स्वीकार करता हैं।
दो-पैरामीटर सामान्यीकरण (Eq।1) को लिजेन्ड्रे का सामान्य अवकल समीकरण कहा जाता है, जिसे एसोसिएटेड लैजेन्ड्रे बहुपदों द्वारा समाधान किया जाता है। लेजेंड्रे फलन करता है गैर-पूर्णांक मापदंडों के साथ लीजेंड्रे आंशिक विभेदक समीकरण (सामान्यीकृत या नहीं) के समाधान हैं।
भौतिक सेटिंग में, लीजेंड्रे का विभेदक समीकरण स्वाभाविक रूप से तब उत्पन्न होता है जब कोई लाप्लास के समीकरण (और संबंधित आंशिक अवकल समीकरण) को गोलीय निर्देशांकों में चरों के पृथक्करण द्वारा समाधान करता है। इस दृष्टिकोण से, लाप्लासियन ऑपरेटर के कोणीय भाग के eigenफलन गोलाकार हार्मोनिक्स हैं, जिनमें से लीजेंड्रे बहुपद (गुणात्मक स्थिरांक तक) सबसेट हैं जो ध्रुवीय अक्ष के बारे में घुमावों द्वारा अपरिवर्तित छोड़ दिया जाता है। बहुपद के रूप में दिखाई देते हैं जहाँ ध्रुवीय कोण है। लीजेंड्रे बहुपदों के लिए यह दृष्टिकोण घूर्णी समरूपता के लिए गहरा संबंध प्रदान करता है। उनके कई गुण जो श्रमपूर्वक विश्लेषण के विधियों के माध्यम से पाए जाते हैं - उदाहरण के लिए जोड़ प्रमेय - समरूपता और समूह सिद्धांत के विधियों का उपयोग करके अधिक आसानी से पाए जाते हैं, और गहरा भौतिक और ज्यामितीय अर्थ प्राप्त करते हैं।
रूढ़िवादिता और पूर्णता
मानकीकरण लीजेंड्रे बहुपदों के सामान्यीकरण को ठीक करता है (एल 2-मानदंड के संबंध मेंL2 अंतराल पर मानदंड −1 ≤ x ≤ 1). चूंकि वे ही मानदंड, दो कथनों के संबंध में ऑर्थोगोनल फलन भी हैं[clarification needed] को समीकरण में जोड़ा जा सकता है,
बहुपद पूर्ण होने का अर्थ निम्नलिखित है। किसी भी टुकड़े के निरंतर फलन को देखते हुए अंतराल में निश्चित रूप से कई विच्छिन्नता के साथ [−1, 1], रकम का क्रम
रोड्रिग्स का सूत्र और अन्य स्पष्ट सूत्र
लीजेंड्रे बहुपदों के लिए विशेष रूप से संक्षिप्त व्यंजक रोड्रिग्स के सूत्र द्वारा दिया गया है:
0 | |
1 | |
2 | |
3 | |
4 | |
5 | |
6 | |
7 | |
8 | |
9 | |
10 |
इन बहुपदों के रेखांकन (तक n = 5) नीचे दिखाए गए हैं:
लीजेंड्रे बहुपदों के अनुप्रयोग
1/r क्षमता का विस्तार
लीजेंड्रे बहुपदों को पहली बार 1782 में एड्रियन-मैरी लीजेंड्रे[2] द्वारा न्यूटोनियन क्षमता के विस्तार में गुणांक के रूप में प्रस्तुत किया गया था।
लीजेंड्रे बहुपद लाप्लास के स्थिर विद्युत क्षमता के समीकरण के समाधान में होते हैं, ∇2 Φ(x) = 0, चरों के पृथक्करण की विधि का उपयोग करते हुए अंतरिक्ष के आवेश-मुक्त क्षेत्र में, जहां सीमा स्थितियों में अक्षीय समरूपता (दिगंश पर कोई निर्भरता नहीं) होती है। जहाँ ẑ समरूपता का अक्ष है और θ पर्यवेक्षक की स्थिति और ẑ अक्ष (आंचलिक कोण) के बीच का कोण है, विभव का समाधान होगा
Al और Bl प्रत्येक समस्या की सीमा स्थिति के अनुसार निर्धारित किया जाना है।[3]
केंद्रीय बल के लिए श्रोडिंगर समीकरण को तीन आयामों में समाधान करते समय भी वे दिखाई देते हैं।
बहुध्रुव विस्तार में लेजेंड्रे बहुपद
लिजेन्ड्रे बहुपद भी फॉर्म के विस्तार फलनों में उपयोगी होते हैं (यह पहले जैसा ही है, थोड़ा अलग विधि से लिखा गया है):
उदाहरण के रूप में, विद्युत क्षमता Φ(r,θ) (गोलीय निर्देशांक में) पर स्थित बिंदु आवेश के कारण z-अक्ष पर z = a (दाईं ओर आरेख देखें) भिन्न होता है
इसके विपरीत, यदि प्रेक्षण बिंदु P की त्रिज्या r, a की तुलना में छोटा है, तब भी लिजेन्ड्रे बहुपदों में क्षमता का विस्तार किया जा सकता है जैसा कि ऊपर a और r के आदान-प्रदान के साथ किया गया है। यह विस्तार आंतरिक मल्टीपोल विस्तार का आधार है।
त्रिकोणमिति में लीजेंड्रे बहुपद
त्रिकोणमितीय फलन cos nθ, जिसे चेबीशेव बहुपद Tn(cos θ) ≡ cos nθ के रूप में भी जाना जाता है, लीजेन्ड्रे बहुपदों Pn(cos θ) द्वारा बहुध्रुव का विस्तार भी किया जा सकता है। पहले कई आदेश इस प्रकार हैं: