श्रृंखला नियम: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{Calculus |Differential}}{{about|the calculus concept|the probability theory concept|Chain rule (probability)|other uses}} | {{Calculus |Differential}}{{about|the calculus concept|the probability theory concept|Chain rule (probability)|other uses}} | ||
{{Short description|Formula for derivatives of composed functions}}[[ गणना |गणना]] में, श्रृंखला नियम एक [[ सूत्र |सूत्र]] है जो f और g के डेरिवेटिव के संदर्भ में दो | {{Short description|Formula for derivatives of composed functions}}[[ गणना |गणना]] में, श्रृंखला नियम एक [[ सूत्र |सूत्र]] है जो f और g के डेरिवेटिव के संदर्भ में दो विभिन्न फलनf और g की संरचना के व्युत्पन्न को व्यक्त करता है. यदि <math>h=f\circ g</math> कार्यऐसा है कि <math>h(x)=f(g(x))</math> तो {{mvar|x}} के लिए, लैग्रेंज के अंकन में श्रृंखला नियम है: | ||
:<math>h'(x) = f'(g(x)) g'(x).</math> | :<math>h'(x) = f'(g(x)) g'(x).</math> | ||
या, समकक्ष: | या, समकक्ष: | ||
Line 25: | Line 25: | ||
== इतिहास == | == इतिहास == | ||
ऐसा प्रतीत होता है कि श्रृंखला नियम का प्रयोग सबसे पहले [[ गॉटफ्राइड विल्हेम लिबनिज़ो |गॉटफ्राइड विल्हेम लिबनिज़ो]] ने किया था। उन्होंने इसका उपयोग व्युत्पन्न की गणना <math>\sqrt{a + bz + cz^2}</math> वर्गमूल | ऐसा प्रतीत होता है कि श्रृंखला नियम का प्रयोग सबसे पहले [[ गॉटफ्राइड विल्हेम लिबनिज़ो |गॉटफ्राइड विल्हेम लिबनिज़ो]] ने किया था। उन्होंने इसका उपयोग व्युत्पन्न की गणना <math>\sqrt{a + bz + cz^2}</math> वर्गमूल कार्य और कार्य के संयोजन के रूप में <math>a + bz + cz^2\!</math> के लिए किया. उन्होंने पहली बार इसका उल्लेख 1676 के संस्मरण (गणना में एक सांकेतिक त्रुटि के साथ) में किया था। श्रृंखला नियम का सामान्य संकेतन लाइबनिज के कारण है।<ref>{{cite journal|url= https://scholarworks.umt.edu/tme/vol7/iss2/10/ |title=चेन रूल के डिडक्टिक्स पर एक लाक्षणिक प्रतिबिंब|journal=The Mathematics Enthusiast |year=2010 |volume=7 |pages=321–332 |issue=2 |first1=Omar Hernández |last1=Rodríguez |first2=Jorge M. |last2=López Fernández |doi=10.54870/1551-3440.1191 |s2cid=29739148 |access-date=2019-08-04}}</ref> गुइलौमे डे ल'हॉपिटल ने अपने [[Index.php?title=अतिसूक्ष्म जीवों के विश्लेषण|अतिसूक्ष्म जीवों के विश्लेषण]] में निहित रूप से श्रृंखला नियम का इस्तेमाल किया। [[ लियोनहार्ड यूलर |लियोनहार्ड यूलर]] की किसी भी विश्लेषण पुस्तक में श्रृंखला नियम प्रकट नहीं होता है, भले ही वे लीबनिज की खोज के सौ साल बाद लिखे गए हों।{{citation needed|date=September 2022}} | ||
== कथन == | == कथन == | ||
श्रृंखला नियम का सबसे सरल रूप एक [[ वास्तविक संख्या |वास्तविक संख्या]] चर के वास्तविक-मूल्यवान फलनके लिए है। इसमें कहा गया है कि यदि {{Mvar|g}} एक ऐसा | श्रृंखला नियम का सबसे सरल रूप एक [[ वास्तविक संख्या |वास्तविक संख्या]] चर के वास्तविक-मूल्यवान फलनके लिए है। इसमें कहा गया है कि यदि {{Mvar|g}} एक ऐसा कार्य है जो एक बिंदु {{Mvar|c}} पर अवकलनीय है (अर्थात् व्युत्पन्न {{math|''g''′(''c'')}} मौजूद है) और {{Mvar|f}} एक ऐसा कार्य है जो {{math|''g''(''c'')}} पर अवकलनीय है, तो संयुक्त कार्य ''c'' पर अवकलनीय है, और व्युत्पन्न है:<ref>{{cite book|title=गणितीय विश्लेषण|author-link=Tom Apostol|first=Tom|last=Apostol|year=1974|edition=2nd|publisher=Addison Wesley|page=Theorem 5.5|no-pp=true}}</ref> | ||
:<math> (f\circ g)'(c) = f'(g(c))\cdot g'(c). </math> | :<math> (f\circ g)'(c) = f'(g(c))\cdot g'(c). </math> | ||
नियम को कभी-कभी संक्षिप्त किया जाता है | नियम को कभी-कभी संक्षिप्त किया जाता है | ||
Line 39: | Line 39: | ||
:<math>\left.\frac{dy}{dx}\right|_{x=c} = \left.\frac{dy}{du}\right|_{u = g(c)} \cdot \left.\frac{du}{dx}\right|_{x=c}.</math> | :<math>\left.\frac{dy}{dx}\right|_{x=c} = \left.\frac{dy}{du}\right|_{u = g(c)} \cdot \left.\frac{du}{dx}\right|_{x=c}.</math> | ||
उसी तर्क को आगे बढ़ाते हुए, दिए गए ''n'' | उसी तर्क को आगे बढ़ाते हुए, दिए गए ''n'' कार्य <math>f_1, \ldots, f_n\!</math> समग्र कार्य के साथ <math>f_1 \circ ( f_2 \circ \cdots (f_{n-1} \circ f_n) )\!</math>, यदि प्रत्येक कार्य<math>f_i\!</math> इसके तत्काल इनपुट पर अवकलनीय है, तो मिश्रित फलनभी चेन नियम के बार-बार आवेदन से भिन्न होता है, जहां व्युत्पन्न है (लीबनिज़ के संकेतन में): | ||
:<math>\frac{df_1}{dx} = \frac{df_1}{df_2}\frac{df_2}{df_3}\cdots\frac{df_n}{dx}.</math> | :<math>\frac{df_1}{dx} = \frac{df_1}{df_2}\frac{df_2}{df_3}\cdots\frac{df_n}{dx}.</math> | ||
Line 73: | Line 73: | ||
या संक्षेप में, | या संक्षेप में, | ||
:<math>\frac{dy}{dx} = \frac{dy}{du}\cdot\frac{du}{dv}\cdot\frac{dv}{dx}.</math> | :<math>\frac{dy}{dx} = \frac{dy}{du}\cdot\frac{du}{dv}\cdot\frac{dv}{dx}.</math> | ||
व्युत्पन्न | व्युत्पन्न कार्य इसलिए है: | ||
:<math>\frac{dy}{dx} = e^{\sin(x^2)}\cdot\cos(x^2)\cdot 2x.</math> | :<math>\frac{dy}{dx} = e^{\sin(x^2)}\cdot\cos(x^2)\cdot 2x.</math> | ||
इस अवकलज की गणना करने का दूसरा तरीका संयुक्त | इस अवकलज की गणना करने का दूसरा तरीका संयुक्त कार्य ''f'' ∘ ''g'' ∘ ''h को f'' ∘ ''g'' और ''h'' के सम्मिश्र के रूप में देखना है। श्रृंखला नियम को इस तरीके से लागू करने से प्राप्त होगा: | ||
:<math>(f \circ g \circ h)'(a) = (f \circ g)'(h(a))\cdot h'(a) = f'(g(h(a)))\cdot g'(h(a))\cdot h'(a).</math> | :<math>(f \circ g \circ h)'(a) = (f \circ g)'(h(a))\cdot h'(a) = f'(g(h(a)))\cdot g'(h(a))\cdot h'(a).</math> | ||
यह वही है जो ऊपर गणना की गई थी। इसकी अपेक्षा की जानी चाहिए क्योंकि {{math|1=(''f'' ∘ ''g'') ∘ ''h'' = ''f'' ∘ (''g'' ∘ ''h'')}}. | यह वही है जो ऊपर गणना की गई थी। इसकी अपेक्षा की जानी चाहिए क्योंकि {{math|1=(''f'' ∘ ''g'') ∘ ''h'' = ''f'' ∘ (''g'' ∘ ''h'')}}. | ||
Line 88: | Line 88: | ||
{{See also|भागफल नियम}} | {{See also|भागफल नियम}} | ||
कुछ प्रसिद्ध विभेदन नियमों को प्राप्त करने के लिए श्रृंखला नियम का उपयोग किया जा सकता है। उदाहरण के लिए, भागफल नियम श्रृंखला नियम और उत्पाद नियम का परिणाम है। इसे देखने के लिए, | कुछ प्रसिद्ध विभेदन नियमों को प्राप्त करने के लिए श्रृंखला नियम का उपयोग किया जा सकता है। उदाहरण के लिए, भागफल नियम श्रृंखला नियम और उत्पाद नियम का परिणाम है। इसे देखने के लिए, कार्य ''f'' ( ''x'' )/ ''g'' ( ''x'' ) को गुणनफल ''f'' ( ''x'' ) · 1/ ''g'' ( ''x'' ) के रूप में लिखें. पहले उत्पाद नियम लागू करें: | ||
:<math>\begin{align} | :<math>\begin{align} | ||
Line 95: | Line 95: | ||
&= f'(x)\cdot\frac{1}{g(x)} + f(x)\cdot\frac{d}{dx}\left(\frac{1}{g(x)}\right). | &= f'(x)\cdot\frac{1}{g(x)} + f(x)\cdot\frac{d}{dx}\left(\frac{1}{g(x)}\right). | ||
\end{align}</math> | \end{align}</math> | ||
1/ ''g'' ( ''x'' ) के अवकलज की गणना करने के लिए, ध्यान दें कि यह व्युत्क्रम | 1/ ''g'' ( ''x'' ) के अवकलज की गणना करने के लिए, ध्यान दें कि यह व्युत्क्रम कार्य के साथ g का सम्मिश्र है, अर्थात, वह कार्य जो x को 1/ ''x'' पर भेजता है. पारस्परिक कार्य का व्युत्पन्न है <math>-1/x^2\!</math>. श्रृंखला नियम लागू करने पर, अंतिम व्यंजक बन जाता है: | ||
:<math>f'(x)\cdot\frac{1}{g(x)} + f(x)\cdot\left(-\frac{1}{g(x)^2}\cdot g'(x)\right) | :<math>f'(x)\cdot\frac{1}{g(x)} + f(x)\cdot\left(-\frac{1}{g(x)^2}\cdot g'(x)\right) | ||
Line 101: | Line 101: | ||
जो भागफल नियम का सामान्य सूत्र है। | जो भागफल नियम का सामान्य सूत्र है। | ||
=== व्युत्क्रम | === व्युत्क्रम कार्य के डेरिवेटिव्स === | ||
{{Main|व्युत्क्रम फलन और विभेदन}} | {{Main|व्युत्क्रम फलन और विभेदन}} | ||
मान लीजिए कि {{math|1=''y'' = ''g''(''x'')}} एक व्युत्क्रम | मान लीजिए कि {{math|1=''y'' = ''g''(''x'')}} एक व्युत्क्रम कार्य है। इसके व्युत्क्रम कार्य {{Mvar|f}} को कॉल करें ताकि हमारे पास हो {{math|1=''x'' = ''f''(''y'')}} हो. g के व्युत्पन्न के संदर्भ में f के व्युत्पन्न के लिए एक सूत्र है. इसे देखने के लिए ध्यान दें कि {{Mvar|f}} तथा {{Mvar|g}} सूत्र को संतुष्ट करते हैं | ||
:<math>f(g(x)) = x.</math> | :<math>f(g(x)) = x.</math> | ||
और क्योंकि | और क्योंकि कार्य <math>f(g(x))</math> और {{Mvar|x}} समान हैं, उनके डेरिवेटिव समान होने चाहिए। {{Mvar|x}} का व्युत्पन्न मान 1 के साथ स्थिर कार्य है, और इसका व्युत्पन्न है <math>f(g(x))</math> श्रृंखला नियम द्वारा निर्धारित किया जाता है। इसलिए, हमारे पास है: | ||
:<math>f'(g(x)) g'(x) = 1.</math> | :<math>f'(g(x)) g'(x) = 1.</math> | ||
f' को एक स्वतंत्र चर y के | f' को एक स्वतंत्र चर y के कार्य के रूप में व्यक्त करने के लिए, जहां भी {{Mvar|x}} दिखाई देता है हम प्रतिस्थापित करते हैं। तब हम f' के लिए हल कर सकते हैं | ||
:<math>\begin{align} | :<math>\begin{align} | ||
Line 117: | Line 117: | ||
f'(y) = \frac{1}{g'(f(y))}. | f'(y) = \frac{1}{g'(f(y))}. | ||
\end{align}</math> | \end{align}</math> | ||
उदाहरण के लिए, | उदाहरण के लिए, कार्य {{math|1=''g''(''x'') = ''e''<sup>''x''</sup>}} पर विचार करें. इसका व्युत्क्रम है {{math|1=''f''(''y'') = ln ''y''}} है. चूँकि ''g'' ′( ''x'' ) = ''e <sup>x</sup>'', उपरोक्त सूत्र कहता है: | ||
:<math>\frac{d}{dy}\ln y = \frac{1}{e^{\ln y}} = \frac{1}{y}.</math> | :<math>\frac{d}{dy}\ln y = \frac{1}{e^{\ln y}} = \frac{1}{y}.</math> | ||
यह सूत्र तब सत्य होता है जब g अवकलनीय होता है और इसका व्युत्क्रम f भी अवकलनीय होता है। यह सूत्र तब विफल हो सकता है जब इनमें से कोई एक स्थिति सत्य न हो। उदाहरण के लिए {{math|1=''g''(''x'') = ''x''<sup>3</sup>}} पर विचार करें. इसका व्युत्क्रम {{math|1=''f''(''y'') = ''y''<sup>1/3</sup>}} है, जो शून्य पर अवकलनीय नहीं है। यदि हम शून्य पर {{Mvar|f}} के व्युत्पन्न की गणना करने के लिए उपरोक्त सूत्र का उपयोग करने का प्रयास करते हैं, तो हमें {{math|1=1/''g''′(''f''(0))}} का मूल्यांकन करना चाहिए. चूँकि {{math|1=''f''(0) = 0}} तथा {{math|1=''g''′(0) = 0}}, हमें 1/0 का मूल्यांकन करना चाहिए, जो अपरिभाषित है। इसलिए, इस मामले में सूत्र विफल हो जाता। यह आश्चर्यजनक नहीं है क्योंकि {{Mvar|f}} शून्य पर अवकलनीय नहीं है। | यह सूत्र तब सत्य होता है जब g अवकलनीय होता है और इसका व्युत्क्रम f भी अवकलनीय होता है। यह सूत्र तब विफल हो सकता है जब इनमें से कोई एक स्थिति सत्य न हो। उदाहरण के लिए {{math|1=''g''(''x'') = ''x''<sup>3</sup>}} पर विचार करें. इसका व्युत्क्रम {{math|1=''f''(''y'') = ''y''<sup>1/3</sup>}} है, जो शून्य पर अवकलनीय नहीं है। यदि हम शून्य पर {{Mvar|f}} के व्युत्पन्न की गणना करने के लिए उपरोक्त सूत्र का उपयोग करने का प्रयास करते हैं, तो हमें {{math|1=1/''g''′(''f''(0))}} का मूल्यांकन करना चाहिए. चूँकि {{math|1=''f''(0) = 0}} तथा {{math|1=''g''′(0) = 0}}, हमें 1/0 का मूल्यांकन करना चाहिए, जो अपरिभाषित है। इसलिए, इस मामले में सूत्र विफल हो जाता। यह आश्चर्यजनक नहीं है क्योंकि {{Mvar|f}} शून्य पर अवकलनीय नहीं है। | ||
Line 142: | Line 142: | ||
=== पहला प्रमाण === | === पहला प्रमाण === | ||
श्रृंखला नियम का एक प्रमाण समग्र | श्रृंखला नियम का एक प्रमाण समग्र कार्य {{math|''f'' ∘ ''g''}} के व्युत्पन्न को परिभाषित करने से शुरू होता है, जहां हम {{math|''f'' ∘ ''g''}} के लिए [[ अंतर भागफल |अंतर भागफल]] की सीमा लेते हैं, जब x a की ओर अग्रसर होता है : | ||
:<math>(f \circ g)'(a) = \lim_{x \to a} \frac{f(g(x)) - f(g(a))}{x - a}.</math> | :<math>(f \circ g)'(a) = \lim_{x \to a} \frac{f(g(x)) - f(g(a))}{x - a}.</math> | ||
फिलहाल के लिए मान लीजिए <math>g(x)\!</math> बराबर नही हैं <math>g(a)</math> किसी के लिए {{Mvar|x}} पास {{Mvar|a}}. फिर पिछली अभिव्यक्ति दो कारकों के उत्पाद के बराबर है: | फिलहाल के लिए मान लीजिए <math>g(x)\!</math> बराबर नही हैं <math>g(a)</math> किसी के लिए {{Mvar|x}} पास {{Mvar|a}}. फिर पिछली अभिव्यक्ति दो कारकों के उत्पाद के बराबर है: | ||
:<math>\lim_{x \to a} \frac{f(g(x)) - f(g(a))}{g(x) - g(a)} \cdot \frac{g(x) - g(a)}{x - a}.</math> | :<math>\lim_{x \to a} \frac{f(g(x)) - f(g(a))}{g(x) - g(a)} \cdot \frac{g(x) - g(a)}{x - a}.</math> | ||
यदि <math>g</math> {{Mvar|a}} के निकट दोलन करता है, तो ऐसा हो सकता है कि कोई व्यक्ति a के कितने भी करीब क्यों न हो , हमेशा एक और x भी करीब होता है जैसे ''g'' ( ''x'' ) = ''g'' ( ''a'' ) . उदाहरण के लिए, यह ''x'' = 0 और ''g'' ( ''x'' ) = ''x'' <sup>2</sup> sin(1/ ''x'' ) के लिए ''g'' ( ''x'' ) = 0 द्वारा परिभाषित[[ निरंतर कार्य | निरंतर | यदि <math>g</math> {{Mvar|a}} के निकट दोलन करता है, तो ऐसा हो सकता है कि कोई व्यक्ति a के कितने भी करीब क्यों न हो , हमेशा एक और x भी करीब होता है जैसे ''g'' ( ''x'' ) = ''g'' ( ''a'' ) . उदाहरण के लिए, यह ''x'' = 0 और ''g'' ( ''x'' ) = ''x'' <sup>2</sup> sin(1/ ''x'' ) के लिए ''g'' ( ''x'' ) = 0 द्वारा परिभाषित[[ निरंतर कार्य | निरंतर]] कार्य g के लिए ''a'' = 0 के निकट होता है। अन्यथा, जब भी ऐसा होता है, उपरोक्त व्यंजक अपरिभाषित होता है क्योंकि इसमें शून्य से विभाजन करना शामिल होता है। | ||
:<math>Q(y) = \begin{cases} | :<math>Q(y) = \begin{cases} | ||
Line 164: | Line 164: | ||
=== दूसरा प्रमाण === | === दूसरा प्रमाण === | ||
श्रृंखला नियम को सिद्ध करने का एक अन्य तरीका व्युत्पन्न द्वारा निर्धारित रैखिक सन्निकटन में त्रुटि को मापना है। इस प्रमाण का यह लाभ है कि यह कई चरों का सामान्यीकरण करता है। यह एक बिंदु पर अवकलनीयता की निम्नलिखित समतुल्य परिभाषा पर निर्भर करता है: एक | श्रृंखला नियम को सिद्ध करने का एक अन्य तरीका व्युत्पन्न द्वारा निर्धारित रैखिक सन्निकटन में त्रुटि को मापना है। इस प्रमाण का यह लाभ है कि यह कई चरों का सामान्यीकरण करता है। यह एक बिंदु पर अवकलनीयता की निम्नलिखित समतुल्य परिभाषा पर निर्भर करता है: एक फलन g पर अवकलनीय है यदि वास्तविक संख्या g′(a) और एक फलन ε(h) मौजूद होता है जो ''h'' के शून्य की ओर प्रवृत्त होता है, और इसके अलावा | ||
:<math>g(a + h) - g(a) = g'(a) h + \varepsilon(h) h.</math> | :<math>g(a + h) - g(a) = g'(a) h + \varepsilon(h) h.</math> | ||
यहाँ | ''यहाँ बाएँ हाथ की ओर a'' और ''a'' + ''h'' पर ''g'' के मान के बीच सही अंतर का प्रतिनिधित्व करता है, जबकि दाएँ हाथ की ओर व्युत्पन्न और एक त्रुटि शब्द द्वारा निर्धारित सन्निकटन का प्रतिनिधित्व करता है। | ||
श्रृंखला नियम की स्थिति में, ऐसा फलन ε अस्तित्व में है क्योंकि g को a पर अवकलनीय माना जाता है। | श्रृंखला नियम की स्थिति में, ऐसा फलन ''ε'' अस्तित्व में है क्योंकि ''g को a'' पर अवकलनीय माना जाता है। धारणा के अनुसार, ''g'' ( ''a'' ) पर ''f के लिए एक समान कार्य भी मौजूद है।''हमारे पास है | ||
:<math>f(g(a) + k) - f(g(a)) = f'(g(a)) k + \eta(k) k.</math> | :<math>f(g(a) + k) - f(g(a)) = f'(g(a)) k + \eta(k) k.</math> | ||
उपरोक्त परिभाषा η (0) पर कोई बाधा नहीं डालती है, भले ही यह माना जाता है कि η (के) शून्य हो जाता है क्योंकि के शून्य हो जाता है। यदि हम सेट करते हैं {{math|1=''η''(0) = 0}}, तो η 0 पर सतत है। | उपरोक्त परिभाषा η (0) पर कोई बाधा नहीं डालती है, भले ही यह माना जाता है कि η (के) शून्य हो जाता है क्योंकि के शून्य हो जाता है। यदि हम सेट करते हैं {{math|1=''η''(0) = 0}}, तो η 0 पर सतत है। | ||
Line 184: | Line 184: | ||
=== तीसरा प्रमाण === | === तीसरा प्रमाण === | ||
कॉन्स्टेंटिन कैराथोडोरी की एक | कॉन्स्टेंटिन कैराथोडोरी की एक फलन की भिन्नता वैकल्पिक परिभाषा का उपयोग श्रृंखला नियम का सुंदर प्रमाण देने के लिए किया जा सकता है।<ref>{{cite journal|first=Stephen|last=Kuhn|title=कैराथियोडोरी का व्युत्पन्न|journal=[[The American Mathematical Monthly]]|year=1991|volume=98|issue=1|pages=40–44|doi=10.2307/2324035|jstor=2324035}}</ref> इस परिभाषा के अंतर्गत, एक कार्य {{mvar|f}} एक बिंदु {{mvar|a}} पर अवकलनीय है यदि कोई फलन {{mvar|q}} है,जो a पर सतत है और ऐसा है कि ''f'' ( ''x'' ) − ''f'' ( ''a'' ) = ''q'' ( ''x'' )( ''x'' − ''a'' ) । ऐसा अधिक से अधिक एक फलन होता है, और यदि f , a पर अवकलनीय है तो ''f'' '( ''a'' ) = ''q'' ( ''a'' ) | ||
इस परिभाषा के | |||
:<math>f(g(x))-f(g(a))=q(g(x))(g(x)-g(a))</math> | :<math>f(g(x))-f(g(a))=q(g(x))(g(x)-g(a))</math> | ||
तथा | तथा | ||
Line 192: | Line 190: | ||
इसलिए, | इसलिए, | ||
:<math>f(g(x))-f(g(a))=q(g(x))r(x)(x-a),</math> | :<math>f(g(x))-f(g(a))=q(g(x))r(x)(x-a),</math> | ||
लेकिन | लेकिन {{math|1=''h''(''x'') = ''q''(''g''(''x''))''r''(''x'')}} द्वारा दिया गया फलन a पर सतत है, और हमें इसके लिए a मिलता है | ||
:<math>(f(g(a)))'=q(g(a))r(a)=f'(g(a))g'(a).</math> | :<math>(f(g(a)))'=q(g(a))r(a)=f'(g(a))g'(a).</math> | ||
एक समान दृष्टिकोण कई चरों के निरंतर भिन्न (वेक्टर-) | एक समान दृष्टिकोण कई चरों के निरंतर भिन्न (वेक्टर-) कार्यों के लिए काम करता है। फैक्टरिंग की यह विधि अवकलनीयता के मजबूत रूपों के लिए एक एकीकृत दृष्टिकोण की भी अनुमति देती है, जब व्युत्पन्न को लिप्सचिट्ज़ निरंतर , होल्डर निरंतर , आदि की आवश्यकता होती है। विभेदन को स्वयं [[ बहुपद शेष प्रमेय |बहुपद शेष प्रमेय]] (थोड़ा बेज़ाउट प्रमेय, या कारक प्रमेय)के रूप में देखा जा सकता है।{{citation needed|date=February 2016}} | ||
=== अत्यल्प मात्राओं के माध्यम से प्रमाण === | === अत्यल्प मात्राओं के माध्यम से प्रमाण === | ||
{{See also| | {{See also| अमानक कलन}} | ||
यदि <math>y=f(x)</math> तथा <math>x=g(t)</math> फिर अनंत को चुनना <math>\Delta t\not=0</math> हम इसी की गणना करते हैं <math>\Delta x=g(t+\Delta t)-g(t)</math> और फिर संबंधित <math>\Delta y=f(x+\Delta x)-f(x)</math>, ताकि | यदि <math>y=f(x)</math> तथा <math>x=g(t)</math> फिर अनंत को चुनना <math>\Delta t\not=0</math> हम इसी की गणना करते हैं <math>\Delta x=g(t+\Delta t)-g(t)</math> और फिर संबंधित <math>\Delta y=f(x+\Delta x)-f(x)</math>, ताकि | ||
:<math>\frac{\Delta y}{\Delta t}=\frac{\Delta y}{\Delta x} \frac{\Delta x}{\Delta t}</math> | :<math>\frac{\Delta y}{\Delta t}=\frac{\Delta y}{\Delta x} \frac{\Delta x}{\Delta t}</math> | ||
और हमारे द्वारा प्राप्त [[ मानक भाग ]] को लागू करना | और हमारे द्वारा प्राप्त [[ मानक भाग |मानक भाग]] को लागू करना | ||
:<math>\frac{d y}{d t}=\frac{d y}{d x} \frac{dx}{dt}</math> | :<math>\frac{d y}{d t}=\frac{d y}{d x} \frac{dx}{dt}</math> | ||
जो | जो श्रृंखला नियम है। | ||
== बहुविकल्पीय | == बहुविकल्पीय स्थिति == | ||
बहु-चर | बहु-चर कार्य के लिए श्रृंखला नियम का सामान्यीकरण तकनीक है। हालांकि, फॉर्म के फलन के मामले में लिखना आसान है | ||
:<math>f(g_1(x), \dots, g_k(x)).</math> | :<math>f(g_1(x), \dots, g_k(x)).</math> | ||
चूंकि यह मामला अक्सर | चूंकि यह मामला अक्सर चर फलन के अध्ययन में होता है, इसलिए इसे अलग से वर्णन करना उचित है। | ||
=== | === {{math|''f''(''g''{{sub|1}}(''x''), ... , ''g''{{sub|''k''}}(''x''))}} की स्थिति=== | ||
फॉर्म के फंक्शन के लिए चेन रूल | फॉर्म के फंक्शन के लिए चेन रूल: | ||
:{{math|''f''(''g''{{sub|1}}(''x''), ... , ''g''{{sub|''k''}}(''x''))}}, | :{{math|''f''(''g''{{sub|1}}(''x''), ... , ''g''{{sub|''k''}}(''x''))}}, | ||
के आंशिक डेरिवेटिव की | किसी को इसके k तर्कों के संबंध में f के आंशिक डेरिवेटिव की आवश्यकता होती है। आंशिक डेरिवेटिव के लिए सामान्य अंकन में कार्य के तर्कों के लिए नाम शामिल होते हैं। चूंकि उपरोक्त सूत्र में इन तर्कों का नाम नहीं दिया गया है, इसलिए इसे निरूपित करना सरल और स्पष्ट है | ||
:<math>D_i f</math> | :<math>D_i f</math> इसके i वें तर्क के संबंध में f का आंशिक व्युत्पन्न | ||
: <math>D_i f(z)</math> | : <math>D_i f(z)</math> | ||
इस | z पर इस अवकलन का मान । | ||
इस अंकन के साथ, श्रृंखला नियम है | इस अंकन के साथ, श्रृंखला नियम है | ||
Line 221: | Line 219: | ||
:<math>\frac{d}{dx}f(g_1(x), \dots, g_k (x))=\sum_{i=1}^k \left(\frac{d}{dx}{g_i}(x)\right) D_i f(g_1(x), \dots, g_k (x)).</math> | :<math>\frac{d}{dx}f(g_1(x), \dots, g_k (x))=\sum_{i=1}^k \left(\frac{d}{dx}{g_i}(x)\right) D_i f(g_1(x), \dots, g_k (x)).</math> | ||
==== उदाहरण: अंकगणितीय संक्रियाएँ ==== | ==== उदाहरण: अंकगणितीय संक्रियाएँ ==== | ||
यदि | यदि कार्य{{mvar|f}} योग है, यदि | ||
:<math>f(u,v)=u+v,</math> | :<math>f(u,v)=u+v,</math> | ||
फिर <math display="inline">D_1 f = \frac{\partial f}{\partial u} = 1</math> तथा <math display="inline">D_2 f = \frac{\partial f}{\partial v} = 1</math>. इस प्रकार, श्रृंखला नियम देता है | फिर <math display="inline">D_1 f = \frac{\partial f}{\partial u} = 1</math> तथा <math display="inline">D_2 f = \frac{\partial f}{\partial v} = 1</math>. इस प्रकार, श्रृंखला नियम देता है | ||
Line 238: | Line 236: | ||
:<math>\frac{d}{dx}\left(g(x)^{h(x)}\right) = h(x)g(x)^{h(x)-1} \frac{d}{dx}g(x) + g(x)^{h(x)} \ln g(x) \frac{d}{dx}h(x).</math> | :<math>\frac{d}{dx}\left(g(x)^{h(x)}\right) = h(x)g(x)^{h(x)-1} \frac{d}{dx}g(x) + g(x)^{h(x)} \ln g(x) \frac{d}{dx}h(x).</math> | ||
=== सामान्य नियम === | === सामान्य नियम === | ||
सामान्य | सामान्य मामले में श्रृंखला नियम लिखने का सबसे आसान तरीका कुल व्युत्पन्न का उपयोग करना है, जो एक रैखिक परिवर्तन है जो सभी दिशात्मक डेरिवेटिव को एक सूत्र में प्रग्रहण करता है। विभिन्न कार्यपर विचार करें {{math|''f'' : '''R'''<sup>''m''</sup> → '''R'''<sup>''k''</sup>}} तथा {{math|''g'' : '''R'''<sup>''n''</sup> → '''R'''<sup>''m''</sup>}}, और एक बिंदु {{math|'''a'''}} में {{math|'''R'''<sup>''n''</sup>}}. होने देना {{math|''D''<sub>'''a'''</sub> ''g''}} के कुल व्युत्पन्न को निरूपित करें {{math|''g''}} पर {{math|'''a'''}} तथा {{math|''D''<sub>''g''('''a''')</sub> ''f''}} के कुल व्युत्पन्न को निरूपित करें {{math|''f''}} पर {{math|''g''('''a''')}}. ये दो व्युत्पन्न रैखिक परिवर्तन हैं {{math|'''R'''<sup>''n''</sup> → '''R'''<sup>''m''</sup>}} तथा {{math|'''R'''<sup>''m''</sup> → '''R'''<sup>''k''</sup>}}, क्रमशः, इसलिए उनकी रचना की जा सकती है। कुल डेरिवेटिव के लिए श्रृंखला नियम यह है कि उनका सम्मिश्र का कुल डेरिवेटिव है {{math|''f'' ∘ ''g''}} पर {{math|'''a'''}}: | ||
:<math>D_{\mathbf{a}}(f \circ g) = D_{g(\mathbf{a})}f \circ D_{\mathbf{a}}g,</math> | :<math>D_{\mathbf{a}}(f \circ g) = D_{g(\mathbf{a})}f \circ D_{\mathbf{a}}g,</math> | ||
या संक्षेप में, | या संक्षेप में, | ||
Line 293: | Line 291: | ||
बानाच रिक्त स्थान में फ्रेचेट डेरिवेटिव के लिए श्रृंखला नियम भी मान्य है। वही फार्मूला पहले जैसा है।<nowiki><ref></nowiki>{{cite book |first=Ward |last=Cheney |author-link=Elliott Ward Cheney Jr. |title=अनुप्रयुक्त गणित के लिए विश्लेषण|location=New York |publisher=Springer |year=2001 |chapter=The Chain Rule and Mean Value Theorems |pages=121–125 |isbn=0-387-95279-9 }}</ref> यह मामला और पिछला मामला बनच के कई गुना एक साथ सामान्यीकरण को स्वीकार करता है। | बानाच रिक्त स्थान में फ्रेचेट डेरिवेटिव के लिए श्रृंखला नियम भी मान्य है। वही फार्मूला पहले जैसा है।<nowiki><ref></nowiki>{{cite book |first=Ward |last=Cheney |author-link=Elliott Ward Cheney Jr. |title=अनुप्रयुक्त गणित के लिए विश्लेषण|location=New York |publisher=Springer |year=2001 |chapter=The Chain Rule and Mean Value Theorems |pages=121–125 |isbn=0-387-95279-9 }}</ref> यह मामला और पिछला मामला बनच के कई गुना एक साथ सामान्यीकरण को स्वीकार करता है। | ||
विभेदक बीजगणित में, व्युत्पन्न की व्याख्या काहलर अवकलन के मॉड्यूल के आकारिकी के रूप में की जाती है। विनिमेय वलयों का | विभेदक बीजगणित में, व्युत्पन्न की व्याख्या काहलर अवकलन के मॉड्यूल के आकारिकी के रूप में की जाती है। विनिमेय वलयों का वलय समरूपता {{math|''f'' : ''R'' → ''S''}} काहलर विभेदकों के आकारिकी को निर्धारित करता है {{math|''Df'' : Ω<sub>''R''</sub> → Ω<sub>''S''</sub>}} जो D(F(R)) को एक अंतर बाहरी तत्व F(R) भेजता है। इस संदर्भ में सूत्र {{math|1=''D''(''f'' ∘ ''g'') = ''Df'' ∘ ''Dg''}} भी रखता है। | ||
इन उदाहरणों की सामान्य विशेषता यह है कि वे इस विचार की अभिव्यक्ति हैं कि व्युत्पन्न एक | इन उदाहरणों की सामान्य विशेषता यह है कि वे इस विचार की अभिव्यक्ति हैं कि व्युत्पन्न एक ऑपरेटर का हिस्सा है। एक ऑपरेटर रिक्त स्थान पर एक ऑपरेशन है और उनके बीच कार्य करता है। यह प्रत्येक स्थान को एक नई जगह से जोड़ता है और प्रत्येक कार्य को दो रिक्त स्थान के बीच संबंधित नई जगहों के बीच एक नया कार्य जोड़ता है। उपरोक्त प्रत्येक मामले में, [[ ऑपरेटर |ऑपरेटर]] प्रत्येक स्थान को उसके [[ स्पर्शरेखा बंडल |स्पर्शरेखा बंडल]] में भेजता है और यह प्रत्येक कार्य को उसके डेरिवेटिव में भेजता है। उदाहरण के लिए, कई गुना मामले में, व्युत्पन्न एक ''C<sup>r</sup>''-मैनिफोल्ड (इसकी स्पर्शरेखा बंडल) और ''C<sup>r</sup>''<sup>−1</sup>''को C<sup>r</sup>''-मैनिफोल्ड भेजता है। इसके लिए एकऑपरेटर होने की आवश्यकता है, अर्थात् एक सम्मिश्र का व्युत्पन्न डेरिवेटिव का सम्मिश्र होना चाहिए। सूत्र है ''D'' ( ''f'' ∘ ''g'' ) = ''Df'' ∘ ''Dg'' । | ||
[[ स्टोकेस्टिक कलन |स्टोकेस्टिक कलन]] में | [[ स्टोकेस्टिक कलन |स्टोकेस्टिक कलन]] में श्रृंखला नियम भी हैं। इनमें से एक, इटो लेम्मा, इटो प्रक्रिया (या आम तौर पर एक [[ सेमीमार्टिंगलेस |सेमीमार्टिंगलेस]]) ''dX <sub>t</sub>'' के संयोजन को दो बार विभिन्न कार्य''f'' के साथ व्यक्त करता है। इटो लेम्मा में, समग्र कार्य का व्युत्पन्न न केवल ''dX <sub>t</sub>'' और f के व्युत्पन्न पर निर्भर करता है बल्कि ''f'' के दूसरे व्युत्पन्न पर भी निर्भर करता ''है'' । दूसरे व्युत्पन्न पर निर्भरता गैर-शून्य [[ द्विघात भिन्नता |द्विघात भिन्नता]] का परिणाम है, जिसका मोटे तौर पर मतलब है कि प्रक्रिया बहुत मोटे तरीके से ऊपर और नीचे जा सकती है। श्रृंखला नियम का यह प्रकार एक ऑपरेटर का उदाहरण नहीं है क्योंकि दो कार्यों की रचना विभिन्न प्रकार की होती है। | ||
== यह भी देखें == | == यह भी देखें == | ||
* {{annotated link| | * {{annotated link|स्वचालित विभेदन}} - एक कम्प्यूटेशनल विधि जो सटीक संख्यात्मक डेरिवेटिव की गणना करने के लिए श्रृंखला नियम का भारी उपयोग करती है। | ||
* {{annotated link| | * {{annotated link|अवकलन नियम }} | ||
* {{annotated link| | * {{annotated link|प्रतिस्थापन द्वारा एकीकरण }} | ||
* {{annotated link| | * {{annotated link|लीबनिज इंटीग्रल रूल }} | ||
* {{annotated link| | * {{annotated link|उत्पाद नियम }} | ||
* {{annotated link| | * {{annotated link|भागफल नियम }} | ||
* {{annotated link| | * {{annotated link|ट्रिपल उत्पाद नियम}} | ||
== संदर्भ == | == संदर्भ == | ||
{{Reflist}} | {{Reflist}} |
Revision as of 00:35, 21 November 2022
के बारे में लेखों की एक श्रृंखला का हिस्सा |
पथरी |
---|
गणना में, श्रृंखला नियम एक सूत्र है जो f और g के डेरिवेटिव के संदर्भ में दो विभिन्न फलनf और g की संरचना के व्युत्पन्न को व्यक्त करता है. यदि कार्यऐसा है कि तो x के लिए, लैग्रेंज के अंकन में श्रृंखला नियम है:
या, समकक्ष:
श्रृंखला नियम को लाइबनिज के अंकन में भी व्यक्त किया जा सकता है। यदि एक चर z, चर y पर निर्भर करता है, जो स्वयं चर x पर निर्भर करता है (अर्थात, y और z आश्रित चर हैं), तो z मध्यवर्ती चर y के माध्यम से x पर भी निर्भर करता है. इस मामले में, श्रृंखला नियम के रूप में व्यक्त किया गया है
- तथा
यह इंगित करने के लिए कि किन बिंदुओं पर डेरिवेटिव का मूल्यांकन किया जाना है।
अभिन्न में, श्रृंखला नियम का समकक्ष प्रतिस्थापन नियम है।
सहज व्याख्या
सहज रूप से, श्रृंखला नियम कहता है कि y के सापेक्ष z के परिवर्तन की तात्कालिक दर और x के सापेक्ष y के परिवर्तन की तात्कालिक दर को जानने से व्यक्ति को परिवर्तन की दो दरों के उत्पाद के रूप में x के सापेक्ष z के परिवर्तन की तात्कालिक दर की गणना करने की अनुमति मिलती है।
जैसा कि जॉर्ज एफ. सीमन्स ने कहा है: "यदि एक कार साइकिल से दोगुनी गति से चलती है और साइकिल चलने वाले व्यक्ति की गति से चार गुना तेज है, तो कार व्यक्ति की गति से 2 × 4 = 8 गुना गति से चलती है" [1] उदाहरण और श्रृंखला नियम के बीच का संबंध इस प्रकार है। z, y तथा x क्रमशः कार, साइकिल और चलने वाले आदमी की (चर) स्थितियाँ हैं। कार और साइकिल की आपेक्षिक स्थिति में परिवर्तन की दर है इसी प्रकार, तो, कार और चलने वाले आदमी की सापेक्ष स्थिति में परिवर्तन की दर है:
स्थिति परिवर्तन की दर गति का अनुपात है, और गति समय के संबंध में स्थिति का व्युत्पन्न है;
या, समकक्ष,
जो श्रृंखला नियम का भी एक अनुप्रयोग है।
इतिहास
ऐसा प्रतीत होता है कि श्रृंखला नियम का प्रयोग सबसे पहले गॉटफ्राइड विल्हेम लिबनिज़ो ने किया था। उन्होंने इसका उपयोग व्युत्पन्न की गणना वर्गमूल कार्य और कार्य के संयोजन के रूप में के लिए किया. उन्होंने पहली बार इसका उल्लेख 1676 के संस्मरण (गणना में एक सांकेतिक त्रुटि के साथ) में किया था। श्रृंखला नियम का सामान्य संकेतन लाइबनिज के कारण है।[2] गुइलौमे डे ल'हॉपिटल ने अपने अतिसूक्ष्म जीवों के विश्लेषण में निहित रूप से श्रृंखला नियम का इस्तेमाल किया। लियोनहार्ड यूलर की किसी भी विश्लेषण पुस्तक में श्रृंखला नियम प्रकट नहीं होता है, भले ही वे लीबनिज की खोज के सौ साल बाद लिखे गए हों।[citation needed]
कथन
श्रृंखला नियम का सबसे सरल रूप एक वास्तविक संख्या चर के वास्तविक-मूल्यवान फलनके लिए है। इसमें कहा गया है कि यदि g एक ऐसा कार्य है जो एक बिंदु c पर अवकलनीय है (अर्थात् व्युत्पन्न g′(c) मौजूद है) और f एक ऐसा कार्य है जो g(c) पर अवकलनीय है, तो संयुक्त कार्य c पर अवकलनीय है, और व्युत्पन्न है:[3]
नियम को कभी-कभी संक्षिप्त किया जाता है
यदि y = f(u) तथा u = g(x), तो यह संक्षिप्त रूप लाइबनिज़ संकेतन में इस प्रकार लिखा जाता है :
जिन बिंदुओं पर डेरिवेटिव का मूल्यांकन किया जाता है, उन्हें भी स्पष्ट रूप से बताया जा सकता है:
उसी तर्क को आगे बढ़ाते हुए, दिए गए n कार्य समग्र कार्य के साथ , यदि प्रत्येक कार्य इसके तत्काल इनपुट पर अवकलनीय है, तो मिश्रित फलनभी चेन नियम के बार-बार आवेदन से भिन्न होता है, जहां व्युत्पन्न है (लीबनिज़ के संकेतन में):
अनुप्रयोग
दो से अधिक फलनके सम्मिश्रण
शृंखला नियम दो से अधिक फलनके संयोजनों पर लागू किया जा सकता है। दो से अधिक फलनके सम्मिश्र का व्युत्पन्न लेने के लिए, ध्यान दें कि f, g, और h का सम्मिश्र (उसी क्रम में) g ∘ h के साथ f का सम्मिश्र है. श्रृंखला नियम बताता है कि: f ∘ g ∘ h के अवकलज की गणना करने के लिए, f के अवकलज और g ∘ h के अवकलज की गणना करना पर्याप्त है। f के व्युत्पन्न की गणना सीधे की जा सकती है, और जी ∘ एच के व्युत्पन्न की गणना श्रृंखला नियम को फिर से लागू करके की जा सकती है।
संक्षिप्तता के लिए, फलनपर विचार करें
इसे तीन फलनके सम्मिश्र के रूप में विघटित किया जा सकता है:
उनके डेरिवेटिव हैं:
श्रृंखला नियम बताता है कि बिंदु (x = a) पर उनके संमिश्र का व्युत्पन्न है:
लाइबनिज के संकेतन में, यह है:
या संक्षेप में,
व्युत्पन्न कार्य इसलिए है:
इस अवकलज की गणना करने का दूसरा तरीका संयुक्त कार्य f ∘ g ∘ h को f ∘ g और h के सम्मिश्र के रूप में देखना है। श्रृंखला नियम को इस तरीके से लागू करने से प्राप्त होगा:
यह वही है जो ऊपर गणना की गई थी। इसकी अपेक्षा की जानी चाहिए क्योंकि (f ∘ g) ∘ h = f ∘ (g ∘ h).
कभी-कभी, फॉर्म की मनमाने ढंग से लंबी संरचना को अलग करना आवश्यक होता है . इस मामले में, परिभाषित करें
जहां पे तथा जब . तब श्रृंखला नियम रूप लेता है
या, लैग्रेंज संकेतन में,
भागफल नियम
कुछ प्रसिद्ध विभेदन नियमों को प्राप्त करने के लिए श्रृंखला नियम का उपयोग किया जा सकता है। उदाहरण के लिए, भागफल नियम श्रृंखला नियम और उत्पाद नियम का परिणाम है। इसे देखने के लिए, कार्य f ( x )/ g ( x ) को गुणनफल f ( x ) · 1/ g ( x ) के रूप में लिखें. पहले उत्पाद नियम लागू करें:
1/ g ( x ) के अवकलज की गणना करने के लिए, ध्यान दें कि यह व्युत्क्रम कार्य के साथ g का सम्मिश्र है, अर्थात, वह कार्य जो x को 1/ x पर भेजता है. पारस्परिक कार्य का व्युत्पन्न है . श्रृंखला नियम लागू करने पर, अंतिम व्यंजक बन जाता है:
जो भागफल नियम का सामान्य सूत्र है।
व्युत्क्रम कार्य के डेरिवेटिव्स
मान लीजिए कि y = g(x) एक व्युत्क्रम कार्य है। इसके व्युत्क्रम कार्य f को कॉल करें ताकि हमारे पास हो x = f(y) हो. g के व्युत्पन्न के संदर्भ में f के व्युत्पन्न के लिए एक सूत्र है. इसे देखने के लिए ध्यान दें कि f तथा g सूत्र को संतुष्ट करते हैं
और क्योंकि कार्य और x समान हैं, उनके डेरिवेटिव समान होने चाहिए। x का व्युत्पन्न मान 1 के साथ स्थिर कार्य है, और इसका व्युत्पन्न है श्रृंखला नियम द्वारा निर्धारित किया जाता है। इसलिए, हमारे पास है:
f' को एक स्वतंत्र चर y के कार्य के रूप में व्यक्त करने के लिए, जहां भी x दिखाई देता है हम प्रतिस्थापित करते हैं। तब हम f' के लिए हल कर सकते हैं
उदाहरण के लिए, कार्य g(x) = ex पर विचार करें. इसका व्युत्क्रम है f(y) = ln y है. चूँकि g ′( x ) = e x, उपरोक्त सूत्र कहता है:
यह सूत्र तब सत्य होता है जब g अवकलनीय होता है और इसका व्युत्क्रम f भी अवकलनीय होता है। यह सूत्र तब विफल हो सकता है जब इनमें से कोई एक स्थिति सत्य न हो। उदाहरण के लिए g(x) = x3 पर विचार करें. इसका व्युत्क्रम f(y) = y1/3 है, जो शून्य पर अवकलनीय नहीं है। यदि हम शून्य पर f के व्युत्पन्न की गणना करने के लिए उपरोक्त सूत्र का उपयोग करने का प्रयास करते हैं, तो हमें 1/g′(f(0)) का मूल्यांकन करना चाहिए. चूँकि f(0) = 0 तथा g′(0) = 0, हमें 1/0 का मूल्यांकन करना चाहिए, जो अपरिभाषित है। इसलिए, इस मामले में सूत्र विफल हो जाता। यह आश्चर्यजनक नहीं है क्योंकि f शून्य पर अवकलनीय नहीं है।
उच्चतर डेरिवेटिव
फा डी ब्रूनो का सूत्र श्रृंखला नियम को उच्च डेरिवेटिव के लिए सामान्यीकृत करता है। यह मानते हुए कि y = f(u) तथा u = g(x), तो पहले कुछ डेरिवेटिव हैं:
प्रमाण
पहला प्रमाण
श्रृंखला नियम का एक प्रमाण समग्र कार्य f ∘ g के व्युत्पन्न को परिभाषित करने से शुरू होता है, जहां हम f ∘ g के लिए अंतर भागफल की सीमा लेते हैं, जब x a की ओर अग्रसर होता है :
फिलहाल के लिए मान लीजिए बराबर नही हैं किसी के लिए x पास a. फिर पिछली अभिव्यक्ति दो कारकों के उत्पाद के बराबर है:
यदि a के निकट दोलन करता है, तो ऐसा हो सकता है कि कोई व्यक्ति a के कितने भी करीब क्यों न हो , हमेशा एक और x भी करीब होता है जैसे g ( x ) = g ( a ) . उदाहरण के लिए, यह x = 0 और g ( x ) = x 2 sin(1/ x ) के लिए g ( x ) = 0 द्वारा परिभाषित निरंतर कार्य g के लिए a = 0 के निकट होता है। अन्यथा, जब भी ऐसा होता है, उपरोक्त व्यंजक अपरिभाषित होता है क्योंकि इसमें शून्य से विभाजन करना शामिल होता है।
हम दिखाएंगे कि f ∘ g के लिए अंतर भागफल हमेशा बराबर होता है:
जब भी g ( x ) g ( a ) के बराबर नहीं होता है , यह स्पष्ट होता है क्योंकि g ( x ) − g ( a ) के कारक रद्द हो जाते हैं। जब g ( x ) g ( a ) के बराबर होता है, तो f ∘ g के लिए अंतर भागफल शून्य होता है क्योंकि f ( g ( x )) f ( g ( a ) ) के बराबर होता है, और उपरोक्त गुणनफल शून्य है क्योंकि यह f ′( g ( a )) गुणा शून्य के बराबर है। इसलिए उपरोक्त उत्पाद हमेशा अंतर भागफल के बराबर होता है, और यह दिखाने के लिए कि a पर f ∘ g का व्युत्पन्न मौजूद है और इसके मूल्य को निर्धारित करने के लिए, हमें केवल यह दिखाने की आवश्यकता है कि x के रूप में उपरोक्त उत्पाद की सीमा मौजूद है और यह इसका मूल्य निर्धारित करती है।
ऐसा करने के लिए, याद रखें कि किसी उत्पाद की सीमा मौजूद है यदि उसके कारकों की सीमाएं मौजूद हैं। जब ऐसा होता है, तो इन दो कारकों के उत्पाद की सीमा कारकों की सीमाओं के उत्पाद के बराबर होगी। दो कारक हैं Q(g(x)) तथा (g(x) − g(a)) / (x − a). उत्तरार्द्ध के लिए अंतर भागफल है g पर a, और क्योंकि g पर भिन्न है a धारणा से, इसकी सीमा के रूप में x आदत है a मौजूद है और बराबर है g′(a).
से संबंधित Q(g(x)), नोटिस जो Q कहीं भी परिभाषित किया गया हैfहै। आगे,fपर भिन्न है g(a) धारणा से, इसलिए Q निरंतर है g(a), व्युत्पन्न की परिभाषा के द्वारा। कार्यक्रम g निरंतर है a क्योंकि यह पर अवकलनीय है a, और इसीलिए Q ∘ g निरंतर है a. तो इसकी सीमा के रूप मेंxजाता हैaमौजूद है और बराबर है Q(g(a)), जो है f′(g(a)).
इससे पता चलता है कि दोनों कारकों की सीमाएं मौजूद हैं और वे बराबर हैं f′(g(a)) तथा g′(a), क्रमश। इसलिए, का व्युत्पन्न f ∘ g a पर मौजूद है और बराबर है f′(g(a))g′(a).
दूसरा प्रमाण
श्रृंखला नियम को सिद्ध करने का एक अन्य तरीका व्युत्पन्न द्वारा निर्धारित रैखिक सन्निकटन में त्रुटि को मापना है। इस प्रमाण का यह लाभ है कि यह कई चरों का सामान्यीकरण करता है। यह एक बिंदु पर अवकलनीयता की निम्नलिखित समतुल्य परिभाषा पर निर्भर करता है: एक फलन g पर अवकलनीय है यदि वास्तविक संख्या g′(a) और एक फलन ε(h) मौजूद होता है जो h के शून्य की ओर प्रवृत्त होता है, और इसके अलावा
यहाँ बाएँ हाथ की ओर a और a + h पर g के मान के बीच सही अंतर का प्रतिनिधित्व करता है, जबकि दाएँ हाथ की ओर व्युत्पन्न और एक त्रुटि शब्द द्वारा निर्धारित सन्निकटन का प्रतिनिधित्व करता है।
श्रृंखला नियम की स्थिति में, ऐसा फलन ε अस्तित्व में है क्योंकि g को a पर अवकलनीय माना जाता है। धारणा के अनुसार, g ( a ) पर f के लिए एक समान कार्य भी मौजूद है।हमारे पास है
उपरोक्त परिभाषा η (0) पर कोई बाधा नहीं डालती है, भले ही यह माना जाता है कि η (के) शून्य हो जाता है क्योंकि के शून्य हो जाता है। यदि हम सेट करते हैं η(0) = 0, तो η 0 पर सतत है।
प्रमेय को साबित करने के लिए अंतर का अध्ययन करना आवश्यक है f(g(a + h)) − f(g(a)) जैसे h शून्य हो जाता है। स्थानापन्न करने के लिए पहला कदम है g(a + h) a पर g की अवकलनीयता की परिभाषा का उपयोग करते हुए:
अगला चरण g(a) पर f की अवकलनीयता की परिभाषा का उपयोग करना है। इसके लिए फॉर्म की अवधि की आवश्यकता है f(g(a) + k) कुछ कश्मीर के लिए उपरोक्त समीकरण में, सही k h के साथ बदलता रहता है। समूह kh = g′(a) h + ε(h) h और दाहिनी ओर बन जाता है f(g(a) + kh) − f(g(a)). व्युत्पन्न की परिभाषा को लागू करना:
इस व्यंजक के व्यवहार का अध्ययन करने के लिए जब h शून्य की ओर जाता है, k का विस्तार करेंh. शर्तों को पुनर्समूहित करने के बाद, दाहिनी ओर बन जाता है:
क्योंकि (h) और η(k .)h) शून्य की ओर जाता है क्योंकि h शून्य की ओर जाता है, पहले दो ब्रैकेटेड शब्द शून्य की ओर जाते हैं जैसे h शून्य की ओर जाता है। सीमाओं के गुणनफल पर उसी प्रमेय को लागू करने पर जैसा कि पहले प्रमाण में है, तीसरे कोष्ठक वाले पद में भी शून्य की प्रवृत्ति होती है। क्योंकि उपरोक्त अभिव्यक्ति अंतर के बराबर है f(g(a + h)) − f(g(a)), व्युत्पन्न की परिभाषा के द्वारा f ∘ g पर अवकलनीय है और इसका व्युत्पन्न है f′(g(a)) g′(a). पहले प्रमाण में Q की भूमिका इस प्रमाण में द्वारा निभाई जाती है। वे समीकरण से संबंधित हैं:
जी (ए) पर क्यू को परिभाषित करने की आवश्यकता शून्य पर η को परिभाषित करने की आवश्यकता के अनुरूप है।
तीसरा प्रमाण
कॉन्स्टेंटिन कैराथोडोरी की एक फलन की भिन्नता वैकल्पिक परिभाषा का उपयोग श्रृंखला नियम का सुंदर प्रमाण देने के लिए किया जा सकता है।[4] इस परिभाषा के अंतर्गत, एक कार्य f एक बिंदु a पर अवकलनीय है यदि कोई फलन q है,जो a पर सतत है और ऐसा है कि f ( x ) − f ( a ) = q ( x )( x − a ) । ऐसा अधिक से अधिक एक फलन होता है, और यदि f , a पर अवकलनीय है तो f '( a ) = q ( a )
तथा
इसलिए,
लेकिन h(x) = q(g(x))r(x) द्वारा दिया गया फलन a पर सतत है, और हमें इसके लिए a मिलता है
एक समान दृष्टिकोण कई चरों के निरंतर भिन्न (वेक्टर-) कार्यों के लिए काम करता है। फैक्टरिंग की यह विधि अवकलनीयता के मजबूत रूपों के लिए एक एकीकृत दृष्टिकोण की भी अनुमति देती है, जब व्युत्पन्न को लिप्सचिट्ज़ निरंतर , होल्डर निरंतर , आदि की आवश्यकता होती है। विभेदन को स्वयं बहुपद शेष प्रमेय (थोड़ा बेज़ाउट प्रमेय, या कारक प्रमेय)के रूप में देखा जा सकता है।[citation needed]
अत्यल्प मात्राओं के माध्यम से प्रमाण
यदि तथा फिर अनंत को चुनना हम इसी की गणना करते हैं और फिर संबंधित , ताकि
और हमारे द्वारा प्राप्त मानक भाग को लागू करना
जो श्रृंखला नियम है।
बहुविकल्पीय स्थिति
बहु-चर कार्य के लिए श्रृंखला नियम का सामान्यीकरण तकनीक है। हालांकि, फॉर्म के फलन के मामले में लिखना आसान है
चूंकि यह मामला अक्सर चर फलन के अध्ययन में होता है, इसलिए इसे अलग से वर्णन करना उचित है।
f(g1(x), ... , gk(x)) की स्थिति
फॉर्म के फंक्शन के लिए चेन रूल:
- f(g1(x), ... , gk(x)),
किसी को इसके k तर्कों के संबंध में f के आंशिक डेरिवेटिव की आवश्यकता होती है। आंशिक डेरिवेटिव के लिए सामान्य अंकन में कार्य के तर्कों के लिए नाम शामिल होते हैं। चूंकि उपरोक्त सूत्र में इन तर्कों का नाम नहीं दिया गया है, इसलिए इसे निरूपित करना सरल और स्पष्ट है
- इसके i वें तर्क के संबंध में f का आंशिक व्युत्पन्न
z पर इस अवकलन का मान ।
इस अंकन के साथ, श्रृंखला नियम है
उदाहरण: अंकगणितीय संक्रियाएँ
यदि कार्यf योग है, यदि
फिर तथा . इस प्रकार, श्रृंखला नियम देता है
गुणन के लिए
आंशिक हैं तथा . इस प्रकार,
घातांक का मामला
थोड़ा और जटिल है, जैसे
और जैसे
यह इस प्रकार है कि
सामान्य नियम
सामान्य मामले में श्रृंखला नियम लिखने का सबसे आसान तरीका कुल व्युत्पन्न का उपयोग करना है, जो एक रैखिक परिवर्तन है जो सभी दिशात्मक डेरिवेटिव को एक सूत्र में प्रग्रहण करता है। विभिन्न कार्यपर विचार करें f : Rm → Rk तथा g : Rn → Rm, और एक बिंदु a में Rn. होने देना Da g के कुल व्युत्पन्न को निरूपित करें g पर a तथा Dg(a) f के कुल व्युत्पन्न को निरूपित करें f पर g(a). ये दो व्युत्पन्न रैखिक परिवर्तन हैं Rn → Rm तथा Rm → Rk, क्रमशः, इसलिए उनकी रचना की जा सकती है। कुल डेरिवेटिव के लिए श्रृंखला नियम यह है कि उनका सम्मिश्र का कुल डेरिवेटिव है f ∘ g पर a:
या संक्षेप में,
ऊपर दिए गए दूसरे प्रमाण के समान तकनीक का उपयोग करके उच्च-आयामी श्रृंखला नियम को सिद्ध किया जा सकता है।[5] यह मामला और पिछला मामला बनच के कई गुना एक साथ सामान्यीकरण को स्वीकार करता है।
विभेदक बीजगणित में, व्युत्पन्न की व्याख्या काहलर अवकलन के मॉड्यूल के आकारिकी के रूप में की जाती है। विनिमेय वलयों का वलय समरूपता f : R → S काहलर विभेदकों के आकारिकी को निर्धारित करता है Df : ΩR → ΩS जो D(F(R)) को एक अंतर बाहरी तत्व F(R) भेजता है। इस संदर्भ में सूत्र D(f ∘ g) = Df ∘ Dg भी रखता है।
इन उदाहरणों की सामान्य विशेषता यह है कि वे इस विचार की अभिव्यक्ति हैं कि व्युत्पन्न एक ऑपरेटर का हिस्सा है। एक ऑपरेटर रिक्त स्थान पर एक ऑपरेशन है और उनके बीच कार्य करता है। यह प्रत्येक स्थान को एक नई जगह से जोड़ता है और प्रत्येक कार्य को दो रिक्त स्थान के बीच संबंधित नई जगहों के बीच एक नया कार्य जोड़ता है। उपरोक्त प्रत्येक मामले में, ऑपरेटर प्रत्येक स्थान को उसके स्पर्शरेखा बंडल में भेजता है और यह प्रत्येक कार्य को उसके डेरिवेटिव में भेजता है। उदाहरण के लिए, कई गुना मामले में, व्युत्पन्न एक Cr-मैनिफोल्ड (इसकी स्पर्शरेखा बंडल) और Cr−1को Cr-मैनिफोल्ड भेजता है। इसके लिए एकऑपरेटर होने की आवश्यकता है, अर्थात् एक सम्मिश्र का व्युत्पन्न डेरिवेटिव का सम्मिश्र होना चाहिए। सूत्र है D ( f ∘ g ) = Df ∘ Dg ।
स्टोकेस्टिक कलन में श्रृंखला नियम भी हैं। इनमें से एक, इटो लेम्मा, इटो प्रक्रिया (या आम तौर पर एक सेमीमार्टिंगलेस) dX t के संयोजन को दो बार विभिन्न कार्यf के साथ व्यक्त करता है। इटो लेम्मा में, समग्र कार्य का व्युत्पन्न न केवल dX t और f के व्युत्पन्न पर निर्भर करता है बल्कि f के दूसरे व्युत्पन्न पर भी निर्भर करता है । दूसरे व्युत्पन्न पर निर्भरता गैर-शून्य द्विघात भिन्नता का परिणाम है, जिसका मोटे तौर पर मतलब है कि प्रक्रिया बहुत मोटे तरीके से ऊपर और नीचे जा सकती है। श्रृंखला नियम का यह प्रकार एक ऑपरेटर का उदाहरण नहीं है क्योंकि दो कार्यों की रचना विभिन्न प्रकार की होती है।
यह भी देखें
- स्वचालित विभेदन - एक कम्प्यूटेशनल विधि जो सटीक संख्यात्मक डेरिवेटिव की गणना करने के लिए श्रृंखला नियम का भारी उपयोग करती है।
- अवकलन नियम
- प्रतिस्थापन द्वारा एकीकरण
- लीबनिज इंटीग्रल रूल
- उत्पाद नियम
- भागफल नियम – Formula for the derivative of a ratio of functions
- ट्रिपल उत्पाद नियम
संदर्भ
- ↑ George F. Simmons, Calculus with Analytic Geometry (1985), p. 93.
- ↑ Rodríguez, Omar Hernández; López Fernández, Jorge M. (2010). "चेन रूल के डिडक्टिक्स पर एक लाक्षणिक प्रतिबिंब". The Mathematics Enthusiast. 7 (2): 321–332. doi:10.54870/1551-3440.1191. S2CID 29739148. Retrieved 2019-08-04.
- ↑ Apostol, Tom (1974). गणितीय विश्लेषण (2nd ed.). Addison Wesley. Theorem 5.5.
- ↑ Kuhn, Stephen (1991). "कैराथियोडोरी का व्युत्पन्न". The American Mathematical Monthly. 98 (1): 40–44. doi:10.2307/2324035. JSTOR 2324035.
- ↑ Spivak, Michael (1965). Calculus on Manifolds. Boston: Addison-Wesley. pp. 19–20. ISBN 0-8053-9021-9.</रेफरी>
चूंकि कुल व्युत्पन्न एक रैखिक परिवर्तन है, सूत्र में प्रदर्शित होने वाले कार्यों को मैट्रिक्स के रूप में फिर से लिखा जा सकता है। कुल व्युत्पन्न के अनुरूप मैट्रिक्स को जैकबियन मैट्रिक्स कहा जाता है, और दो डेरिवेटिव का संयोजन उनके जैकोबियन मैट्रिक्स के उत्पाद से मेल खाता है। इस दृष्टिकोण से श्रृंखला नियम इसलिए कहता है:
उदाहरण
दिया गया u(x, y) = x2 + 2y कहाँ पे x(r, t) = r sin(t) तथा y(r,t) = sin2(t), का मान निर्धारित करें ∂u / ∂r तथा ∂u / ∂t श्रृंखला नियम का उपयोग करना।
तथा
बहुपरिवर्तनीय कार्यों के उच्च डेरिवेटिव
एकल-चर कार्यों के उच्च-क्रम डेरिवेटिव के लिए Faà di Bruno का सूत्र बहु-परिवर्तनीय मामले को सामान्यीकृत करता है। यदि y = f(u) का एक कार्य है u = g(x) ऊपर के रूप में, फिर का दूसरा व्युत्पन्न f ∘ g है:
आगे सामान्यीकरण
कलन के सभी विस्तारों में एक श्रृंखला नियम होता है। इनमें से अधिकांश में, सूत्र वही रहता है, हालाँकि उस सूत्र का अर्थ बहुत भिन्न हो सकता है।
एक सामान्यीकरण कई गुना है। इस स्थिति में, श्रृंखला नियम इस तथ्य का प्रतिनिधित्व करता है कि का व्युत्पन्न f ∘ g f के व्युत्पन्न और g के व्युत्पन्न का सम्मिश्र है। यह प्रमेय ऊपर दिए गए उच्च आयामी श्रृंखला नियम का एक तात्कालिक परिणाम है, और इसका बिल्कुल वही सूत्र है।
बानाच रिक्त स्थान में फ्रेचेट डेरिवेटिव के लिए श्रृंखला नियम भी मान्य है। वही फार्मूला पहले जैसा है।<ref>Cheney, Ward (2001). "The Chain Rule and Mean Value Theorems". अनुप्रयुक्त गणित के लिए विश्लेषण. New York: Springer. pp. 121–125. ISBN 0-387-95279-9.