View source for श्रृंखला नियम

{{गणना}}{{about|the calculus concept. For the probability theory concept, see Chain rule (probability). see Chain rule (disambiguation).}}
{{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'=(f\circ g)'=(f'\circ g)\cdot g'.</math>
श्रृंखला नियम को लाइबनिज के अंकन में भी व्यक्त किया जा सकता है। यदि चर {{Mvar|z}}, चर {{Mvar|y}} पर निर्भर करता है, जो स्वयं चर {{Mvar|x}} पर निर्भर करता है (अर्थात, y और z आश्रित चर हैं), तो {{Mvar|z}} मध्यवर्ती चर y के माध्यम से x पर भी निर्भर करता है. इस मामले में, श्रृंखला नियम के रूप में व्यक्त किया गया है
:<math>\frac{dz}{dx} = \frac{dz}{dy} \cdot \frac{dy}{dx},</math> तथा
:<math> \left.\frac{dz}{dx}\right|_{x} = \left.\frac{dz}{dy}\right|_{y(x)}
\cdot \left. \frac{dy}{dx}\right|_{x} ,</math>
यह इंगित करने के लिए कि किन बिंदुओं पर डेरिवेटिव का मूल्यांकन किया जाना है।

[[ अभिन्न |अभिन्न]] में, श्रृंखला नियम का समकक्ष [[ प्रतिस्थापन नियम |प्रतिस्थापन नियम]] है।

== सहज व्याख्या ==
सहज रूप से, श्रृंखला नियम कहता है कि ''y'' के सापेक्ष ''z'' के परिवर्तन की तात्कालिक दर और ''x'' के सापेक्ष ''y'' के परिवर्तन की तात्कालिक दर को जानने से व्यक्ति को परिवर्तन की दो दरों के उत्पाद के रूप में ''x'' के सापेक्ष ''z'' के परिवर्तन की तात्कालिक दर की गणना करने की अनुमति मिलती है।

जैसा कि जॉर्ज एफ. सीमन्स ने कहा है: "यदि कार साइकिल से दोगुनी गति से चलती है और साइकिल चलने वाले व्यक्ति की गति से चार गुना तेज है, तो कार व्यक्ति की गति से 2 × 4 = 8 गुना गति से चलती है" <ref>[[George F. Simmons]], ''Calculus with Analytic Geometry'' (1985), p. 93.</ref>                                                                                                                                                                                                                                               उदाहरण और श्रृंखला नियम के बीच का संबंध इस प्रकार है। {{mvar|z}}, {{mvar|y}} तथा {{mvar|x}} क्रमशः कार, साइकिल और चलने वाले आदमी की (चर) स्थितियाँ हैं। कार और साइकिल की आपेक्षिक स्थिति में परिवर्तन की दर है <math DISPLAY = inline>\frac {dz}{dy}=2.</math> इसी प्रकार, <math DISPLAY = inline>\frac {dy}{dx}=4.</math> तो, कार और चलने वाले आदमी की सापेक्ष स्थिति में परिवर्तन की दर है:
:<math>\frac{dz}{dx}=\frac{dz}{dy}\cdot\frac{dy}{dx}=2\cdot 4=8.</math>
स्थिति परिवर्तन की दर गति का अनुपात है, और गति समय के संबंध में स्थिति का व्युत्पन्न है;
:<math>\frac{dz}{dx}=\frac \frac{dz}{dt}\frac{dx}{dt},</math>
या, समकक्ष,
:<math>\frac{dz}{dt}=\frac{dz}{dx}\cdot \frac{dx}{dt},</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|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)' = (f'\circ g) \cdot g'.</math>
यदि {{math|1=''y'' = ''f''(''u'')}} तथा {{math|1=''u'' = ''g''(''x'')}}, तो यह संक्षिप्त रूप लाइबनिज़ संकेतन में इस प्रकार लिखा प्रवृत्तहै :

:<math>\frac{dy}{dx} = \frac{dy}{du} \cdot \frac{du}{dx}.</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'' कार्य <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>
== अनुप्रयोग ==

=== दो से अधिक फलनके सम्मिश्रण ===
शृंखला नियम दो से अधिक फलनके संयोजनों पर लागू किया जा सकता है। दो से अधिक फलनके सम्मिश्र का व्युत्पन्न लेने के लिए, ध्यान दें कि f, g, और ''h'' का सम्मिश्र (उसी क्रम में) ''g'' ∘ ''h'' के साथ f का सम्मिश्र है. श्रृंखला नियम बताता है कि: ''f'' ∘ ''g'' ∘ ''h के अवकलज की गणना करने के लिए, f''  के अवकलज और ''g'' ∘ ''h'' के अवकलज की गणना करना पर्याप्त है। ''f''  के व्युत्पन्न की गणना सीधे की जा सकती है, और ''जी'' ∘ ''एच के व्युत्पन्न की गणना'' श्रृंखला नियम को फिर से लागू करके की जा सकती है।

संक्षिप्तता के लिए, फलनपर विचार करें
:<math>y = e^{\sin (x^2)}.</math>
इसे तीन फलनके सम्मिश्र के रूप में विघटित किया जा सकता है:
:<math>\begin{align}
y &= f(u) = e^u, \\[6pt]
u &= g(v) = \sin v = \sin(x^2), \\[6pt]
v &= h(x) = x^2.
\end{align}</math>
उनके डेरिवेटिव हैं:
:<math>\begin{align}
\frac{dy}{du} &= f'(u) = e^u = e^{\sin(x^2)}, \\[6pt]
\frac{du}{dv} &= g'(v) = \cos v = \cos(x^2), \\[6pt]
\frac{dv}{dx} &= h'(x) = 2x.
\end{align}</math>
श्रृंखला नियम बताता है कि बिंदु ({{math|1=''x'' = ''a''}}) पर उनके संमिश्र का व्युत्पन्न है:

: <math>
\begin{align}
(f \circ g \circ h)'(a) & = f'((g \circ h)(a))\cdot (g \circ h)'(a) \\[10pt]
& = f'((g \circ h)(a)) \cdot g'(h(a)) \cdot h'(a) = (f' \circ g \circ h)(a) \cdot (g' \circ h)(a) \cdot h'(a).
\end{align}
</math>
लाइबनिज के संकेतन में, यह है:
:<math>\frac{dy}{dx} = \left.\frac{dy}{du}\right|_{u=g(h(a))}\cdot\left.\frac{du}{dv}\right|_{v=h(a)}\cdot\left.\frac{dv}{dx}\right|_{x=a},</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>
इस अवकलज की गणना करने का दूसरा तरीका संयुक्त कार्य ''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|1=(''f'' ∘ ''g'') ∘ ''h'' = ''f'' ∘ (''g'' ∘ ''h'')}}.

कभी-कभी, फॉर्म की मनमाने ढंग से लंबी संरचना को अलग करना आवश्यक होता है <math>f_1 \circ f_2 \circ \cdots \circ f_{n-1} \circ f_n\!</math>. इस मामले में, परिभाषित करें
:<math>f_{a\,.\,.\,b} = f_{a} \circ f_{a+1} \circ \cdots \circ f_{b-1} \circ f_{b}</math>
जहां पे <math>f_{a\,.\,.\,a} = f_a</math> तथा <math>f_{a\,.\,.\,b}(x) = x</math> जब <math>b < a</math>. तब श्रृंखला नियम रूप लेता है
:<math>Df_{1\,.\,.\,n} = (Df_1 \circ f_{2\,.\,.\,n}) (Df_2 \circ f_{3\,.\,.\,n}) \cdots (Df_{n-1} \circ f_{n\,.\,.\,n}) Df_n = \prod_{k=1}^n \left[Df_k \circ f_{(k+1)\,.\,.\,n}\right]</math>
या, लैग्रेंज संकेतन में,
:<math>f_{1\,.\,.\,n}'(x) = f_1' \left( f_{2\,.\,.\,n}(x) \right) \; f_2' \left( f_{3\,.\,.\,n}(x) \right) \cdots f_{n-1}' \left(f_{n\,.\,.\,n}(x)\right) \; f_n'(x) = \prod_{k=1}^{n} f_k' \left(f_{(k+1\,.\,.\,n)}(x) \right)</math>
=== भागफल नियम ===
{{See also|भागफल नियम}}

कुछ प्रसिद्ध विभेदन नियमों को प्राप्त करने के लिए श्रृंखला नियम का उपयोग किया जा सकता है। उदाहरण के लिए, भागफल नियम श्रृंखला नियम और उत्पाद नियम का परिणाम है। इसे देखने के लिए, कार्य ''f'' ( ''x'' )/ ''g'' ( ''x'' ) को गुणनफल ''f'' ( ''x'' ) · 1/ ''g'' ( ''x'' ) के रूप में लिखें. पहले उत्पाद नियम लागू करें:

:<math>\begin{align}
\frac{d}{dx}\left(\frac{f(x)}{g(x)}\right)
&= \frac{d}{dx}\left(f(x)\cdot\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>
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)
= \frac{f'(x) g(x) - f(x) g'(x)}{g(x)^2},</math>
जो भागफल नियम का सामान्य सूत्र है।

=== व्युत्क्रम कार्य के डेरिवेटिव्स ===
{{Main|व्युत्क्रम फलन और विभेदन}}

मान लीजिए कि {{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))</math> और {{Mvar|x}} समान हैं, उनके डेरिवेटिव समान होने चाहिए। {{Mvar|x}} का व्युत्पन्न मान 1 के साथ स्थिर कार्य है, और इसका व्युत्पन्न है <math>f(g(x))</math> श्रृंखला नियम द्वारा निर्धारित किया प्रवृत्तहै। इसलिए, हमारे पास है:

:<math>f'(g(x)) g'(x) = 1.</math>
f' को स्वतंत्र चर y के कार्य के रूप में व्यक्त करने के लिए, जहां भी {{Mvar|x}} दिखाई देता है हम प्रतिस्थापित करते हैं। तब हम f' के लिए हल कर सकते हैं

:<math>\begin{align}
f'(g(f(y))) g'(f(y)) &= 1 \\[5pt]
f'(y) g'(f(y)) &= 1 \\[5pt]
f'(y) = \frac{1}{g'(f(y))}.
\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>
यह सूत्र तब सत्य होता है जब 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}}  शून्य पर अवकलनीय नहीं है।

== उच्चतर डेरिवेटिव ==
फा डी ब्रूनो का सूत्र श्रृंखला नियम को उच्च डेरिवेटिव के लिए सामान्यीकृत करता है। यह मानते हुए कि {{math|''y'' {{=}} ''f''(''u'')}} तथा {{math|''u'' {{=}} ''g''(''x'')}}, तो पहले कुछ डेरिवेटिव हैं:

: <math>
\begin{align}
\frac{dy}{dx} & = \frac{dy}{du} \frac{du}{dx} \\[4pt]
\frac{d^2 y }{d x^2} & = \frac{d^2 y}{d u^2} \left(\frac{du}{dx}\right)^2
    + \frac{dy}{du} \frac{d^2 u}{dx^2} \\[4pt]
\frac{d^3 y }{d x^3} & = \frac{d^3 y}{d u^3} \left(\frac{du}{dx}\right)^3
    + 3 \, \frac{d^2 y}{d u^2} \frac{du}{dx} \frac{d^2 u}{d x^2}
    + \frac{dy}{du} \frac{d^3 u}{d x^3} \\[4pt]
\frac{d^4 y}{d x^4} & =\frac{d^4 y}{du^4} \left(\frac{du}{dx}\right)^4
    + 6 \, \frac{d^3 y}{d u^3} \left(\frac{du}{dx}\right)^2 \frac{d^2 u}{d x^2}
    + \frac{d^2 y}{d u^2} \left( 4 \, \frac{du}{dx} \frac{d^3 u}{dx^3}
    + 3 \, \left(\frac{d^2 u}{dx^2}\right)^2\right)
    + \frac{dy}{du} \frac{d^4 u}{dx^4}.
\end{align}
</math>
== प्रमाण ==

=== पहला प्रमाण ===
श्रृंखला नियम का प्रमाण समग्र कार्य  {{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>g(x)\!</math>, <math>g(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 द्वारा परिभाषित[[ निरंतर कार्य | निरंतर]] कार्य g के लिए ''a'' = 0 के निकट होता है। अन्यथा, जब भी ऐसा होता है, उपरोक्त व्यंजक अपरिभाषित होता है क्योंकि इसमें शून्य से विभाजन करना शामिल होता है।

:<math>Q(y) = \begin{cases}
\displaystyle\frac{f(y) - f(g(a))}{y - g(a)}, & y \neq g(a), \\
f'(g(a)), & y = g(a).
\end{cases}</math>
हम दिखाएंगे कि ''f'' ∘ ''g'' के लिए अंतर भागफल हमेशा बराबर होता है:
:<math>Q(g(x)) \cdot \frac{g(x) - g(a)}{x - a}.</math>
जब भी ''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'' ) हैं। उत्तरार्द्ध a पर g के लिए अंतर भागफल है, और क्योंकि g धारणा के आधार पर भिन्न होता है, इसकी सीमा x के रूप में मौजूद होती है और g'(a) के बराबर होती है.

''Q''( ''g'' ( ''x'' )) के लिए, ध्यान दें कि जहाँ भी ''f है, Q'' परिभाषित है। इसके अलावा, ''f'' अनुमान के अनुसार ''g''( ''a'' ) पर अवकलनीय है, इसलिए व्युत्पन्न की परिभाषा के अनुसार ''Q g'' ( ''a'' ) पर निरंतर है। फलन g a पर सतत है क्योंकि यह a पर अवकलनीय है, और इसलिए ''Q'' ∘ ''g'' a पर सतत है। ''तो x'' के रूप में इसकी सीमा ''a'' तक जाती है''और Q'' ( ''g'' ( ''a'' ))  ''f'' ′( ''g'' ( ''a'' )) के बराबर है।

इससे पता चलता है कि दोनों कारकों की सीमाएं मौजूद हैं और वे क्रमश:  {{math|''f''′(''g''(''a''))}} तथा {{math|''g''′(''a'')}} के बराबर है। इसलिए, ''a'' पर ''f'' ∘ ''g'' का अवकलज मौजूद है और ''f'' ′( ''g'' ( ''a'' )) ''g'' ′( ''a'' ) के बराबर है।

=== दूसरा प्रमाण ===
श्रृंखला नियम को सिद्ध करने का अन्य तरीका व्युत्पन्न द्वारा निर्धारित रैखिक सन्निकटन में त्रुटि को मापना है। इस प्रमाण का यह लाभ है कि यह कई चरों का सामान्यीकरण करता है। यह बिंदु पर अवकलनीयता की निम्नलिखित समतुल्य परिभाषा पर निर्भर करता है: फलन g पर अवकलनीय है यदि वास्तविक संख्या g′(a) और फलन ε(h) मौजूद होता है जो ''h'' के शून्य की ओर प्रवृत्त होता है, और इसके अलावा
:<math>g(a + h) - g(a) = g'(a) h + \varepsilon(h) h.</math>
''यहाँ बाएँ हाथ की ओर a'' और ''a'' + ''h'' पर ''g'' के मान के बीच सही अंतर का प्रतिनिधित्व करता है, जबकि दाएँ हाथ की ओर व्युत्पन्न और त्रुटि शब्द द्वारा निर्धारित सन्निकटन का प्रतिनिधित्व करता है।

श्रृंखला नियम की स्थिति में, ऐसा फलन ''ε'' अस्तित्व में है क्योंकि ''g को a'' पर अवकलनीय माना प्रवृत्तहै। धारणा के अनुसार, ''g'' ( ''a'' ) पर ''f के लिए समान कार्य भी मौजूद है।'' हमारे पास है
:<math>f(g(a) + k) - f(g(a)) = f'(g(a)) k + \eta(k) k.</math>
उपरोक्त परिभाषा ''η'' (0) पर कोई बाधा नहीं डालती है, भले ही यह माना जाता है कि ''η'' ( ''के'' ) शून्य हो जाता है क्योंकि ''के शून्य'' हो जाता है। अगर हम ''η'' (0) = 0 सेट करते हैं , तो ''η'' 0 पर निरंतर है।

प्रमेय को सिद्ध करने के लिए अंतर ''f'' ( ''g'' ( ''a'' + ''h'' )) - ''f'' ( ''g'' ( ''a'' )) का अध्ययन करने की आवश्यकता है क्योंकि ''h'' शून्य की ओर जाता है। ''a'' पर ''g'' की अवकलनीयता की परिभाषा का प्रयोग करते हुए पहला कदम ''g'' ( ''a'' + ''h'' ) को प्रतिस्थापित करना है :
:<math>f(g(a + h)) - f(g(a)) = f(g(a) + g'(a) h + \varepsilon(h) h) - f(g(a)).</math>
''अगला चरण g'' ( ''a'' ) पर ''f'' की अवकलनीयता की परिभाषा का उपयोग करना है। इसके लिए कुछ ''k के लिए f'' ( ''g'' ( ''a'' ) + ''k'' ) रूप के पद की आवश्यकता होती है। उपरोक्त समीकरण में, सही ''k h'' के साथ भिन्न होता है। ''k <sub>h</sub>'' = ''g'' ′( ''a'' ) ''h'' + ''ε'' ( ''h'' ) ''h'' सेट करें और दाहिने हाथ की ओर ''f'' ( ''g'' ( ''a'' ) + ''k <sub>h</sub>'' ) बन जाता है. व्युत्पन्न की परिभाषा को लागू करना:
:<math>f(g(a) + k_h) - f(g(a)) = f'(g(a)) k_h + \eta(k_h) k_h.</math>
इस व्यंजक के व्यवहार का अध्ययन करने के लिए जब h शून्य की ओर प्रवृत्त होता है. शर्तों को पुनर्समूहित करने के बाद, दाहिनी ओर प्रवृत्त होता है:
:<math>f'(g(a)) g'(a)h + [f'(g(a)) \varepsilon(h) + \eta(k_h) g'(a) + \eta(k_h) \varepsilon(h)] h.</math>
चूँकि ''ε''(''h'') और ''η''(''k<sub>h</sub>'') शून्य की ओर प्रवृत्त होते हैं जब ''h'' शून्य की ओर प्रवृत्त होता है, पहले दो कोष्ठक वाले शब्द शून्य की ओर प्रवृत्त होते हैं जब ''h'' शून्य की ओर प्रवृत्त होता है। सीमाओं के गुणनफल पर उसी प्रमेय को लागू करने पर जैसा कि पहले प्रमाण में है, तीसरे कोष्ठक वाले पद में भी शून्य की प्रवृत्ति होती है। क्योंकि उपरोक्त अभिव्यक्ति अंतर के बराबर है ''f'' ( ''g'' ( ''a'' + ''h'' )) - ''f'' ( ''g'' ( ''a'' )), डेरिवेटिव की परिभाषा के अनुसार ''f'' ∘ ''g एक'' पर अवकलनीय है और इसका डेरिवेटिव है h'(g(a)) g'(a)।                                                                                                                                                                               पहले प्रमाण में Q की भूमिका इस प्रमाण में ''η'' द्वारा निभाई जाती है। वे समीकरण से संबंधित हैं:
:<math>Q(y) = f'(g(a)) + \eta(y - g(a)). </math>
Q को g(a) पर परिभाषित करने की आवश्यकता शून्य पर ''η'' को परिभाषित करने की आवश्यकता के अनुरूप है ।

=== तीसरा प्रमाण ===
कॉन्स्टेंटिन कैराथोडोरी फलन की भिन्नता वैकल्पिक परिभाषा का उपयोग श्रृंखला नियम का  सुंदर प्रमाण देने के लिए किया जा सकता है।<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>g(x)-g(a)=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>
समान दृष्टिकोण कई चरों के निरंतर भिन्न (वेक्टर-) कार्यों के लिए काम करता है। फैक्टरिंग की यह विधि अवकलनीयता के मजबूत रूपों के लिए एकीकृत दृष्टिकोण की भी अनुमति देती है, जब व्युत्पन्न को लिप्सचिट्ज़ निरंतर , होल्डर निरंतर , आदि की आवश्यकता होती है। विभेदन को स्वयं [[ बहुपद शेष प्रमेय |बहुपद शेष प्रमेय]] (थोड़ा बेज़ाउट प्रमेय, या कारक प्रमेय)के रूप में देखा जा सकता है।{{citation needed|date=February 2016}}
=== अत्यल्प मात्राओं के माध्यम से प्रमाण ===
{{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>\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>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''))}},
किसी को इसके k तर्कों के संबंध में f के आंशिक डेरिवेटिव की आवश्यकता होती है। आंशिक डेरिवेटिव के लिए सामान्य अंकन में कार्य के तर्कों के लिए नाम शामिल होते हैं। चूंकि उपरोक्त सूत्र में इन तर्कों का नाम नहीं दिया गया है, इसलिए इसे निरूपित करना सरल और स्पष्ट है
:<math>D_i f</math> इसके i वें तर्क के संबंध में f का आंशिक व्युत्पन्न
: <math>D_i f(z)</math>
z पर इस अवकलन का मान ।

इस अंकन के साथ, श्रृंखला नियम है

:<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 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>\frac{d}{dx}(g(x)+h(x)) = \left( \frac{d}{dx}g(x) \right) D_1 f+\left( \frac{d}{dx}h(x)\right) D_2 f=\frac{d}{dx}g(x) +\frac{d}{dx}h(x).</math>
गुणन के लिए
:<math>f(u,v)=uv,</math>
आंशिक हैं <math>D_1 f = v</math> तथा <math>D_2 f = u</math>. इस प्रकार,
:<math>\frac{d}{dx}(g(x)h(x)) = h(x) \frac{d}{dx} g(x) + g(x) \frac{d}{dx} h(x).</math>
घातांक का मामला
:<math>f(u,v)=u^v</math>
थोड़ा और जटिल है, जैसे
:<math>D_1 f = vu^{v-1},</math>
और जैसे <math>u^v=e^{v\ln u},</math>
:<math>D_2 f = u^v\ln u.</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(f \circ g) = Df \circ Dg.</math>
ऊपर दिए गए दूसरे प्रमाण के समान तकनीक का उपयोग करके उच्च-आयामी श्रृंखला नियम को सिद्ध किया जा सकता है।<ref name="spivak_manifolds">{{cite book |first=Michael |last=Spivak |author-link=Michael Spivak |title=[[कैलकुलस ऑन मैनिफोल्ड्स (पुस्तक)|Calculus on Manifolds]] |location=Boston |publisher=Addison-Wesley |year=1965 |isbn=0-8053-9021-9 |pages=19–20 }}
</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|ट्रिपल उत्पाद नियम}}
== संदर्भ ==
{{Reflist}}


==बाहरी संबंध==
* {{springer|title=Leibniz rule|id=Leibniz_rule}}
* {{MathWorld | urlname=ChainRule | title=Chain Rule}}

{{Calculus topics}}
[[Category:साक्ष्य युक्त लेख]]
[[Category: विभेदीकरण नियम]]
[[Category: विश्लेषण में प्रमेय]]
[[Category: कलन में प्रमेय]]


[[Category: Machine Translated Page]]
[[Category:Created On 13/11/2022]]