मल्टी-इंडेक्स नोटेशन: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 2: Line 2:


'''मल्टी-[[ सूचकांक संकेतन | सूचकांक संकेतन]]''' गणितीय नोटेशन है जो सूचकांकों के क्रमबद्ध टुपल के लिए पूर्णांक सूचकांक नोटेशन की अवधारणा को सामान्यीकृत करके, बहुपरिवर्तनीय कैलकुलस, आंशिक अंतर समीकरणों और [[वितरण (गणित)]] के सिद्धांत में उपयोग किए जाने वाले सूत्रों को सरल बनाता है।
'''मल्टी-[[ सूचकांक संकेतन | सूचकांक संकेतन]]''' गणितीय नोटेशन है जो सूचकांकों के क्रमबद्ध टुपल के लिए पूर्णांक सूचकांक नोटेशन की अवधारणा को सामान्यीकृत करके, बहुपरिवर्तनीय कैलकुलस, आंशिक अंतर समीकरणों और [[वितरण (गणित)]] के सिद्धांत में उपयोग किए जाने वाले सूत्रों को सरल बनाता है।
==परिभाषा और मूलभूत गुण                                                                                                                                                                                                                                                   ==
==परिभाषा और मूलभूत गुण ==


एक एन-आयामी 'मल्टी-इंडेक्स' एन-ट्यूपल है
एक n-आयामी 'मल्टी-इंडेक्स' n-ट्यूपल है


:<math>\alpha = (\alpha_1, \alpha_2,\ldots,\alpha_n)</math>
:<math>\alpha = (\alpha_1, \alpha_2,\ldots,\alpha_n)</math>
[[गैर-नकारात्मक पूर्णांक]] का (अर्थात [[प्राकृतिक संख्या]]ओं के एन-[[आयाम]] [[सेट (गणित)]] का तत्व, जिसे <math>\mathbb{N}^n_0</math> द्वारा निरूपित किया गया है).
[[गैर-नकारात्मक पूर्णांक|गैर-ऋणात्मक  पूर्णांक]] का (अर्थात [[प्राकृतिक संख्या]]ओं के n-[[आयाम]] [[सेट (गणित)|समुच्चय  (गणित)]] का अवयव , जिसे <math>\mathbb{N}^n_0</math> द्वारा निरूपित किया गया है).
 


बहु-सूचकांकों <math>\alpha, \beta \in \mathbb{N}^n_0</math> के लिए और <math>x = (x_1, x_2, \ldots, x_n) \in \mathbb{R}^n</math> परिभाषित करता है:
बहु-सूचकांकों <math>\alpha, \beta \in \mathbb{N}^n_0</math> के लिए और <math>x = (x_1, x_2, \ldots, x_n) \in \mathbb{R}^n</math> परिभाषित करता है:


;घटकवार योग और अंतर
;घटकवार योग और अंतर        
:<math>\alpha \pm \beta= (\alpha_1 \pm \beta_1,\,\alpha_2 \pm \beta_2, \ldots, \,\alpha_n \pm \beta_n)</math>
:<math>\alpha \pm \beta= (\alpha_1 \pm \beta_1,\,\alpha_2 \pm \beta_2, \ldots, \,\alpha_n \pm \beta_n)</math>
;[[आंशिक आदेश]]
;[[आंशिक आदेश]]
Line 28: Line 27:
;उच्च-क्रम [[आंशिक व्युत्पन्न]]
;उच्च-क्रम [[आंशिक व्युत्पन्न]]
:<math display="block">\partial^\alpha = \partial_1^{\alpha_1} \partial_2^{\alpha_2} \ldots \partial_n^{\alpha_n}</math> जहाँ <math>\partial_i^{\alpha_i}:=\partial^{\alpha_i} / \partial x_i^{\alpha_i}</math> ([[4-ढाल|4-ग्रेडिएंट]] भी देखें)। कभी-कभी संकेतन <math>D^{\alpha} = \partial^{\alpha}</math> भी प्रयोग किया जाता है.<ref>{{cite book |first=M. |last=Reed |first2=B. |last2=Simon |title=Methods of Modern Mathematical Physics: Functional Analysis I |edition=Revised and enlarged |publisher=Academic Press |location=San Diego |year=1980 |isbn=0-12-585050-6| page=319 }}</ref>
:<math display="block">\partial^\alpha = \partial_1^{\alpha_1} \partial_2^{\alpha_2} \ldots \partial_n^{\alpha_n}</math> जहाँ <math>\partial_i^{\alpha_i}:=\partial^{\alpha_i} / \partial x_i^{\alpha_i}</math> ([[4-ढाल|4-ग्रेडिएंट]] भी देखें)। कभी-कभी संकेतन <math>D^{\alpha} = \partial^{\alpha}</math> भी प्रयोग किया जाता है.<ref>{{cite book |first=M. |last=Reed |first2=B. |last2=Simon |title=Methods of Modern Mathematical Physics: Functional Analysis I |edition=Revised and enlarged |publisher=Academic Press |location=San Diego |year=1980 |isbn=0-12-585050-6| page=319 }}</ref>
==कुछ अनुप्रयोग==
==कुछ अनुप्रयोग                                                                                     ==
मल्टी-इंडेक्स नोटेशन प्रारंभिक कैलकुलस से संबंधित मल्टी-वेरिएबल केस तक कई सूत्रों के विस्तार की अनुमति देता है। नीचे कुछ उदाहरण हैं. निम्नलिखित सभी में, <math>x,y,h\in\Complex^n</math> (या <math>\R^n</math>), <math>\alpha,\nu\in\N_0^n</math>, और <math>f,g,a_\alpha\colon\Complex^n\to\Complex</math> (या <math>\R^n\to\R</math>).
मल्टी-इंडेक्स नोटेशन प्रारंभिक कैलकुलस से संबंधित मल्टी-वेरिएबल केस तक अनेक सूत्रों के विस्तार की अनुमति देता है। नीचे कुछ उदाहरण हैं. निम्नलिखित सभी में, <math>x,y,h\in\Complex^n</math> (या <math>\R^n</math>), <math>\alpha,\nu\in\N_0^n</math>, और <math>f,g,a_\alpha\colon\Complex^n\to\Complex</math> (या <math>\R^n\to\R</math>).


;[[बहुपद प्रमेय]]
;[[बहुपद प्रमेय]]
:<math> \left( \sum_{i=1}^n x_i\right)^k = \sum_{|\alpha|=k} \binom{k}{\alpha} \, x^\alpha</math>
:<math> \left( \sum_{i=1}^n x_i\right)^k = \sum_{|\alpha|=k} \binom{k}{\alpha} \, x^\alpha                                                                                             </math>
;[[बहु-द्विपद प्रमेय]]
;[[बहु-द्विपद प्रमेय]]
:<math display="block"> (x+y)^\alpha = \sum_{\nu \le \alpha} \binom{\alpha}{\nu} \, x^\nu y^{\alpha - \nu}.</math> ध्यान दें, तब से {{math|''x'' + ''y''}} वेक्टर है और {{math|''α''}} बहु-सूचकांक है, बाईं ओर की अभिव्यक्ति इसका संक्षिप्त {{math|(''x''<sub>1</sub> + ''y''<sub>1</sub>)<sup>''α''<sub>1</sub></sup>⋯(''x''<sub>''n''</sub> + ''y''<sub>''n''</sub>)<sup>''α''<sub>''n''</sub></sup>}} रूप है .
:<math display="block"> (x+y)^\alpha = \sum_{\nu \le \alpha} \binom{\alpha}{\nu} \, x^\nu y^{\alpha - \nu}.</math> ध्यान दें, तब से {{math|''x'' + ''y''}} सदिश है और {{math|''α''}} बहु-सूचकांक है, बाईं ओर की अभिव्यक्ति इसका संक्षिप्त {{math|(''x''<sub>1</sub> + ''y''<sub>1</sub>)<sup>''α''<sub>1</sub></sup>⋯(''x''<sub>''n''</sub> + ''y''<sub>''n''</sub>)<sup>''α''<sub>''n''</sub></sup>}} रूप है .
;लीबनिज नियम (सामान्यीकृत उत्पाद नियम)
;लीबनिज नियम (सामान्यीकृत उत्पाद नियम)
:सुचारु कार्यों के लिए एफ और जी <math display="block">\partial^\alpha(fg) = \sum_{\nu \le \alpha} \binom{\alpha}{\nu} \, \partial^{\nu}f\,\partial^{\alpha-\nu}g.</math>
:सुचारु कार्यों के लिए f और g<math display="block">\partial^\alpha(fg) = \sum_{\nu \le \alpha} \binom{\alpha}{\nu} \, \partial^{\nu}f\,\partial^{\alpha-\nu}g.</math>
;[[टेलर श्रृंखला]]
;[[टेलर श्रृंखला]]
:एक विश्लेषणात्मक फलन के लिए f में n वेरिएबल्स हैं <math display="block">f(x+h) = \sum_{\alpha\in\mathbb{N}^n_0} {\frac{\partial^{\alpha}f(x)}{\alpha !}h^\alpha}.</math> वास्तव में, पर्याप्त सुचारू कार्य के लिए, हमारे पास समान टेलर विस्तार है <math display="block">f(x+h) = \sum_{|\alpha| \le n}{\frac{\partial^{\alpha}f(x)}{\alpha !}h^\alpha}+R_{n}(x,h),</math> जहां अंतिम पद (शेष) टेलर के सूत्र के स्पष्ट संस्करण पर निर्भर करता है। उदाहरण के लिए, कॉची सूत्र (अभिन्न शेषफल के साथ) के लिए, कोई प्राप्त करता है <math display="block">R_n(x,h)= (n+1) \sum_{|\alpha| =n+1}\frac{h^\alpha}{\alpha !} \int_0^1(1-t)^n\partial^\alpha f(x+th) \, dt.</math>
:एक विश्लेषणात्मक फलन के लिए f में n वेरिएबल्स हैं <math display="block">f(x+h) = \sum_{\alpha\in\mathbb{N}^n_0} {\frac{\partial^{\alpha}f(x)}{\alpha !}h^\alpha}.</math> वास्तव में, पर्याप्त सुचारू कार्य के लिए, हमारे पास समान टेलर विस्तार है <math display="block">f(x+h) = \sum_{|\alpha| \le n}{\frac{\partial^{\alpha}f(x)}{\alpha !}h^\alpha}+R_{n}(x,h),</math> जहां अंतिम पद (शेष) टेलर के सूत्र के स्पष्ट संस्करण पर निर्भर करता है। उदाहरण के लिए, कॉची सूत्र (अभिन्न शेषफल के साथ) के लिए, कोई प्राप्त करता है <math display="block">R_n(x,h)= (n+1) \sum_{|\alpha| =n+1}\frac{h^\alpha}{\alpha !} \int_0^1(1-t)^n\partial^\alpha f(x+th) \, dt.</math>
;सामान्य रैखिक [[आंशिक अंतर ऑपरेटर]]
;सामान्य रैखिक [[आंशिक अंतर ऑपरेटर]]
:एन चर में औपचारिक रैखिक एन-वें क्रम आंशिक अंतर ऑपरेटर के रूप में लिखा गया है <math display="block">P(\partial) = \sum_{|\alpha| \le N} {a_{\alpha}(x)\partial^{\alpha}}.</math>
:n वेरिएबल  में औपचारिक रैखिक n-वें क्रम आंशिक अंतर ऑपरेटर के रूप में लिखा गया है <math display="block">P(\partial) = \sum_{|\alpha| \le N} {a_{\alpha}(x)\partial^{\alpha}}.</math>
;[[भागों द्वारा एकीकरण]]
;[[भागों द्वारा एकीकरण]]
:एक सीमित डोमेन में [[कॉम्पैक्ट समर्थन]] के साथ सुचारू कार्यों <math>\Omega \subset \R^n</math> के लिए है<math display="block">\int_{\Omega} u(\partial^{\alpha}v) \, dx = (-1)^{|\alpha|} \int_{\Omega} {(\partial^{\alpha}u)v\,dx}.</math> इस सूत्र का उपयोग वितरण (गणित) और [[कमजोर व्युत्पन्न|अशक्त व्युत्पन्न]] की परिभाषा के लिए किया जाता है।
:एक सीमित डोमेन में [[कॉम्पैक्ट समर्थन]] के साथ सुचारू कार्यों <math>\Omega \subset \R^n</math> के लिए है<math display="block">\int_{\Omega} u(\partial^{\alpha}v) \, dx = (-1)^{|\alpha|} \int_{\Omega} {(\partial^{\alpha}u)v\,dx}.</math> इस सूत्र का उपयोग वितरण (गणित) और [[कमजोर व्युत्पन्न|अशक्त व्युत्पन्न]] की परिभाषा के लिए किया जाता है।
Line 60: Line 59:
<math display="block">\begin{align}\partial^\alpha x^\beta&= \frac{\partial^{\vert\alpha\vert}}{\partial x_1^{\alpha_1} \cdots \partial x_n^{\alpha_n}} x_1^{\beta_1} \cdots x_n^{\beta_n}\\
<math display="block">\begin{align}\partial^\alpha x^\beta&= \frac{\partial^{\vert\alpha\vert}}{\partial x_1^{\alpha_1} \cdots \partial x_n^{\alpha_n}} x_1^{\beta_1} \cdots x_n^{\beta_n}\\
&= \frac{\partial^{\alpha_1}}{\partial x_1^{\alpha_1}} x_1^{\beta_1} \cdots
&= \frac{\partial^{\alpha_1}}{\partial x_1^{\alpha_1}} x_1^{\beta_1} \cdots
\frac{\partial^{\alpha_n}}{\partial x_n^{\alpha_n}} x_n^{\beta_n}.\end{align}</math>{1, …, n} में प्रत्येक i के लिए फलन <math>x_i^{\beta_i}</math> केवल <math>x_i</math> पर निर्भर करता है। उपरोक्त में प्रत्येक आंशिक <math>d/dx_i</math> विभेदन इसलिए संबंधित सामान्य विभेदन <math>\partial/\partial x_i</math> तक कम हो जाता है। इसलिए, समीकरण ({{EquationNote|1}}) से, यह इस प्रकार है कि <math>\partial^\alpha x^\beta</math> में कम से कम i के लिए αi > βi होने पर आंशिक <math>\partial^\alpha x^\beta</math> विलुप्त हो जाता है। यदि यह स्थिति नहीं है अर्थात, यदि α ≤ β बहु-सूचकांक के रूप में है, तो
\frac{\partial^{\alpha_n}}{\partial x_n^{\alpha_n}} x_n^{\beta_n}.\end{align}</math>{1, …, n} में प्रत्येक i के लिए फलन <math>x_i^{\beta_i}</math> केवल <math>x_i</math> पर निर्भर करता है। उपरोक्त में प्रत्येक आंशिक <math>d/dx_i</math> विभेदन है  इसलिए संबंधित सामान्य विभेदन <math>\partial/\partial x_i</math> तक कम हो जाता है। तथा समीकरण ({{EquationNote|1}}) से, यह इस प्रकार है कि <math>\partial^\alpha x^\beta</math> में कम से कम i है तथा इसके लिए αi > βi होने पर आंशिक <math>\partial^\alpha x^\beta</math> विलुप्त हो जाता है। यदि यह स्थिति नहीं है अर्थात, यदि α ≤ β बहु-सूचकांक के रूप में है, तो


<math display="block"> \frac{d^{\alpha_i}}{dx_i^{\alpha_i}} x_i^{\beta_i} = \frac{\beta_i!}{(\beta_i-\alpha_i)!} x_i^{\beta_i-\alpha_i}</math>प्रत्येक <math>i</math> के लिए और प्रमेय क्यू.ई.डी का अनुसरण करता है।
<math display="block"> \frac{d^{\alpha_i}}{dx_i^{\alpha_i}} x_i^{\beta_i} = \frac{\beta_i!}{(\beta_i-\alpha_i)!} x_i^{\beta_i-\alpha_i}</math>प्रत्येक <math>i</math> के लिए और प्रमेय क्यू.ई.डी का अनुसरण करता है।

Revision as of 21:13, 30 July 2023

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

परिभाषा और मूलभूत गुण

एक n-आयामी 'मल्टी-इंडेक्स' n-ट्यूपल है

गैर-ऋणात्मक पूर्णांक का (अर्थात प्राकृतिक संख्याओं के n-आयाम समुच्चय (गणित) का अवयव , जिसे द्वारा निरूपित किया गया है).

बहु-सूचकांकों के लिए और परिभाषित करता है:

घटकवार योग और अंतर
आंशिक आदेश
घटकों का योग (पूर्ण मान)
कारख़ाने का
द्विपद गुणांक
बहुपद गुणांक
जहाँ .
शक्ति (गणित)
.
उच्च-क्रम आंशिक व्युत्पन्न
जहाँ (4-ग्रेडिएंट भी देखें)। कभी-कभी संकेतन भी प्रयोग किया जाता है.[1]

कुछ अनुप्रयोग

मल्टी-इंडेक्स नोटेशन प्रारंभिक कैलकुलस से संबंधित मल्टी-वेरिएबल केस तक अनेक सूत्रों के विस्तार की अनुमति देता है। नीचे कुछ उदाहरण हैं. निम्नलिखित सभी में, (या ), , और (या ).

बहुपद प्रमेय
बहु-द्विपद प्रमेय
ध्यान दें, तब से x + y सदिश है और α बहु-सूचकांक है, बाईं ओर की अभिव्यक्ति इसका संक्षिप्त (x1 + y1)α1⋯(xn + yn)αn रूप है .
लीबनिज नियम (सामान्यीकृत उत्पाद नियम)
सुचारु कार्यों के लिए f और g
टेलर श्रृंखला
एक विश्लेषणात्मक फलन के लिए f में n वेरिएबल्स हैं
वास्तव में, पर्याप्त सुचारू कार्य के लिए, हमारे पास समान टेलर विस्तार है
जहां अंतिम पद (शेष) टेलर के सूत्र के स्पष्ट संस्करण पर निर्भर करता है। उदाहरण के लिए, कॉची सूत्र (अभिन्न शेषफल के साथ) के लिए, कोई प्राप्त करता है
सामान्य रैखिक आंशिक अंतर ऑपरेटर
n वेरिएबल में औपचारिक रैखिक n-वें क्रम आंशिक अंतर ऑपरेटर के रूप में लिखा गया है
भागों द्वारा एकीकरण
एक सीमित डोमेन में कॉम्पैक्ट समर्थन के साथ सुचारू कार्यों के लिए है
इस सूत्र का उपयोग वितरण (गणित) और अशक्त व्युत्पन्न की परिभाषा के लिए किया जाता है।

उदाहरण प्रमेय

यदि बहु-सूचकांक हैं और , तब

प्रमाण

प्रमाण अंतर कलन के लिए शक्ति नियम से अनुसरण करता है; यदि α और β {0,1,2,…} में हैं, तो

 

 

 

 

(1)

मान लीजिए , , और . फिर हमारे पास वह है

{1, …, n} में प्रत्येक i के लिए फलन केवल पर निर्भर करता है। उपरोक्त में प्रत्येक आंशिक विभेदन है इसलिए संबंधित सामान्य विभेदन तक कम हो जाता है। तथा समीकरण (1) से, यह इस प्रकार है कि में कम से कम i है तथा इसके लिए αi > βi होने पर आंशिक विलुप्त हो जाता है। यदि यह स्थिति नहीं है अर्थात, यदि α ≤ β बहु-सूचकांक के रूप में है, तो

प्रत्येक के लिए और प्रमेय क्यू.ई.डी का अनुसरण करता है।

यह भी देखें

संदर्भ

  1. Reed, M.; Simon, B. (1980). Methods of Modern Mathematical Physics: Functional Analysis I (Revised and enlarged ed.). San Diego: Academic Press. p. 319. ISBN 0-12-585050-6.
  • Saint Raymond, Xavier (1991). Elementary Introduction to the Theory of Pseudodifferential Operators. Chap 1.1 . CRC Press. ISBN 0-8493-7158-9

This article incorporates material from multi-index derivative of a power on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.