बाह्य व्युत्पन्न

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

यदि अंतर $k$- प्रपत्र को मैनिफोल्ड के प्रत्येक बिंदु पर अतिसूक्ष्म के $k$- पैरेललेपिप्ड माध्यम से प्रवाह को मापने के प्रपत्र में माना जाता है, तो इसके बाह्य व्युत्पन्न को $(k + 1)$ की सीमा के माध्यम से शुद्ध प्रवाह को मापने के प्रपत्र में माना जा सकता है।

परिभाषा
डिग्री $k$ के विभेदक प्रपत्र का बाह्य व्युत्पन्न (विभेदक $k$-प्रपत्र, या यहां संक्षिप्तता के लिए केवल $k$- प्रपत्र) डिग्री $k + 1$ का विभेदक प्रपत्र है।

यदि $&thinsp;f&thinsp;$ सहज फलन ($0$-प्रपत्र) है, तो  $&thinsp;f&thinsp;$ का बाह्य अवकलज  $&thinsp;f&thinsp;$ का अंतर है।अर्थात्, df  अद्वितीय 1-रूप है, इस प्रकार कि प्रत्येक चौरस सदिश फ़ील्ड $X$ के लिए, $df&thinsp;(X) = d_{X}&thinsp;f&thinsp;$, जहां $d_{X}&thinsp;f&thinsp;$ $X$ की दिशा में $&thinsp;f&thinsp;$ का दिशात्मक व्युत्पन्न है।

विभेदक प्रपत्रों का बाह्य उत्पाद (समान प्रतीक $∧$ से प्रदर्शित किया गया है) को उनके बिंदुवार बाह्य उत्पाद के प्रपत्र में परिभाषित किया गया है।

किसी सामान्य $k$-प्रपत्र के बाह्य व्युत्पन्न की विभिन्न प्रकार की समतुल्य परिभाषाएँ हैं।

स्वसिद्धांतों के संदर्भ में
बाह्य व्युत्पन्न को $k$-प्रपत्र से $(k + 1)$-प्रपत्र तक अद्वितीय $ℝ$- रैखिक मानचित्रण के प्रपत्र में परिभाषित किया गया है जिनमें निम्नलिखित गुण हैं:


 * 1) $df&thinsp;$$0$-प्रपत्र $&thinsp;f&thinsp;$ के लिए  $&thinsp;f&thinsp;$ का अंतर है।
 * 2) $0$-प्रपत्र $&thinsp;f&thinsp;$ के लिए  $d(df&thinsp;) = 0$ है।
 * 3) $d(α ∧ β) = dα ∧ β + (−1)p (α ∧ dβ)$ जहाँ $α$ है $p$-प्रपत्र है। इसका तात्पर्य, $d$   विभेदक प्रपत्रों के बाह्य बीजगणित पर डिग्री $1$ की व्युत्पत्ति (बीजगणित) है (श्रेणीबद्ध उत्पाद नियम देखें)।

दूसरी परिभाषित संपत्ति अधिक व्यापकता रखती है:किसी $k$-प्रपत्र $α$ के लिए $d(dα) = 0$; अधिक संक्षेप में, $d = 0$ होता है।तीसरी परिभाषित संपत्ति का तात्पर्य विशेष विषय के प्रपत्र में है कि यदि $&thinsp;f&thinsp;$ फलन है एवं $α$, $k$-प्रपत्र है, तो $d(&thinsp;fα) = d(&thinsp;f ∧ α) = df&thinsp; ∧ α + &thinsp;f&thinsp; ∧ dα$ क्योंकि फलन $0$-प्रपत्र है, एवं अदिश गुणन एवं बाह्य उत्पाद समतुल्य होते हैं जब कोई तर्क अदिश होता है।

समिष्टीय निर्देशांक के संदर्भ में
वैकल्पिक प्रपत्र से, कोई पूर्ण प्रपत्र से समिष्टीय समन्वय प्रणाली $(x1, ..., x)$ में कार्य कर सकता है। समन्वय अंतर $dx1, ..., dx$ प्रपत्रों के समिष्ट का आधार बनाते हैं, जिनमें से प्रत्येक समन्वय से जुड़ा होता है। $1 ≤ ip ≤ n$ के लिए $1 ≤ p ≤ k$ के साथ बहु-सूचकांक $I = (i1, ..., ik)$ दिया गया है। (एवं $dx$ के साथ $dx ∧ ... ∧ dx$  निप्रपत्रित करते हुए ), (सरल) का बाह्य व्युत्पन्न $k$-प्रपत्र


 * $$\varphi = g\,dx^I = g\,dx^{i_1}\wedge dx^{i_2}\wedge\cdots\wedge dx^{i_k}$$

ऊपर $ℝn$ परिभाषित किया जाता है,


 * $$d{\varphi} = \frac{\partial g}{\partial x^i} \, dx^i \wedge dx^I$$

आइंस्टीन संकेतन का उपयोग करके, बाह्य व्युत्पन्न की परिभाषा को सामान्य $k$-प्रपत्र तक रैखिक प्रपत्र से विस्तारित किया जाता है,


 * $$\omega = f_I \, dx^I,$$

जहां मल्टी-इंडेक्स के प्रत्येक घटक $I$ में सभी मानों ${1, ..., n}$ का उपयोग किया जाता है। ध्यान दें कि जब भी $i$ मल्टी-इंडेक्स $I$ के घटकों में से एक के समान होता है, तब $dx ∧ dx = 0$ (बाह्य उत्पाद देखें) होता है।

समिष्टीय निर्देशांक में बाह्य व्युत्पन्न की परिभाषा पूर्ववर्ती स्वयंसिद्धों के संदर्भ में अनुसरण करती है। $k$-प्रपत्र के साथ $φ$ जैसा कि ऊपर परिभाषित किया गया है,


 * $$\begin{align}

d{\varphi} &= d\left (g\,dx^{i_1} \wedge \cdots \wedge dx^{i_k} \right ) \\ &= dg \wedge \left (dx^{i_1} \wedge \cdots \wedge dx^{i_k} \right ) + g\,d\left (dx^{i_1}\wedge \cdots \wedge dx^{i_k} \right ) \\ &= dg \wedge dx^{i_1} \wedge \cdots \wedge dx^{i_k} + g \sum_{p=1}^k (-1)^{p-1} \, dx^{i_1} \wedge \cdots \wedge dx^{i_{p-1}} \wedge d^2x^{i_p} \wedge dx^{i_{p+1}} \wedge \cdots \wedge dx^{i_k} \\ &= dg \wedge dx^{i_1} \wedge \cdots \wedge dx^{i_k} \\ &= \frac{\partial g}{\partial x^i} \, dx^i \wedge dx^{i_1} \wedge \cdots \wedge dx^{i_k} \\ \end{align}$$ यहां $g$ व्याख्या $0$-प्रपत्र प्रपत्र में की है, एवं फिर बाह्य व्युत्पन्न के गुणों को प्रस्तुत किया जाता है।

यह परिणाम सीधे सामान्य $k$-प्रपत्र $ω$ तक विस्तारित होता है


 * $$d\omega = \frac{\partial f_I}{\partial x^i} \, dx^i \wedge dx^I $$,

विशेष प्रपत्र से, $1$-प्रपत्र $ω$ के लिए, के घटक समिष्टीय समन्वय प्रणाली में $dω$ के घटक हैं,
 * $$(d\omega)_{ij} = \partial_i \omega_j - \partial_j \omega_i, $$

सावधानी: के अर्थ के संबंध में दो परंपराएँ $$dx^{i_1} \wedge \cdots \wedge dx^{i_k}$$ हैं, अधिकांश वर्तमान लेखक की यह परंपरा है कि


 * $$\left(dx^{i_1} \wedge \cdots \wedge dx^{i_k}\right) \left( \frac{\partial}{\partial x^{i_1}}, \ldots, \frac{\partial}{\partial x^{i_k}} \right) = 1 $$ होता है।

जबकि कोबायाशी एवं नोमिज़ु या हेल्गासन जैसे पुराने पाठ में


 * $$\left(dx^{i_1} \wedge \cdots \wedge dx^{i_k}\right) \left( \frac{\partial}{\partial x^{i_1}}, \ldots, \frac{\partial}{\partial x^{i_k}} \right) = \frac{1}{k!} $$ होता है।

अपरिवर्तनीय सूत्र के संदर्भ में
वैकल्पिक प्रपत्र से, $k$-प्रपत्र $ω$ के बाह्य व्युत्पन्न के लिए स्पष्ट सूत्र दिया जा सकता है, $k + 1$ से सदिश फ़ील्ड $V_{0}, V_{1}, ..., V_{k}$ साथ जोड़ा जाता है। $$d\omega(V_0, \ldots, V_k) = \sum_i(-1)^{i} d_{{}_{V_i}} ( \omega  (V_0, \ldots, \widehat V_i, \ldots,V_k )) + \sum_{i<j}(-1)^{i+j}\omega  ([V_i, V_j], V_0, \ldots, \widehat V_i, \ldots, \widehat V_j, \ldots, V_k )$$,

जहाँ $[V_{i}, V_{j}]$ सदिश फ़ील्ड के लाई ब्रैकेट को प्रदर्शित करता है एवं हैट उस तत्व की अकृत को प्रदर्शित करती है:


 * $$\omega (V_0, \ldots, \widehat V_i, \ldots, V_k ) = \omega(V_0, \ldots, V_{i-1}, V_{i+1}, \ldots, V_k ),$$

विशेषकर, जब $ω$ $1$-प्रपत्र है तो वह हमारे पास $dω(X, Y) = dX(ω(Y)) − dY(ω(X)) − ω([X, Y])$ है।

नोट: उदाहरण के लिए, कोबायाशी-नोमिज़ु एवं हेल्गासन की परंपराओं के साथ सूत्र कारक $1⁄k + 1$ से भिन्न होता है :
 * $$\begin{align}

d\omega(V_0, \ldots, V_k) ={} & {1 \over k+1} \sum_i(-1)^i \, d_{{}_{V_i}} ( \omega (V_0, \ldots, \widehat V_i, \ldots,V_k )) \\ & {}+ {1 \over k+1} \sum_{i<j}(-1)^{i+j}\omega([V_i, V_j], V_0, \ldots, \widehat V_i, \ldots, \widehat V_j, \ldots, V_k ). \end{align}$$

उदाहरण
उदाहरण 1.अदिश क्षेत्र $u$ $1$-प्रपत्र आधार के लिए $dx, ..., dx$ पर $σ = u&thinsp;dx ∧ dx$ पर विचार किया जाता है, बाह्य व्युत्पन्न है:


 * $$\begin{align}

d\sigma &= du \wedge dx^1 \wedge dx^2 \\ &= \left(\sum_{i=1}^n \frac{\partial u}{\partial x^i} \, dx^i\right) \wedge dx^1 \wedge dx^2 \\ &= \sum_{i=3}^n \left( \frac{\partial u}{\partial x^i} \, dx^i \wedge dx^1 \wedge dx^2 \right ) \end{align}$$ अंतिम सूत्र, जहां से योग $i = 3$ प्रारंभ होता है, बाह्य उत्पाद के गुणों से सरलता से अनुसरण करता है, अर्थात्, $dx ∧ dx = 0$ है।

उदाहरण 2. मान लीजिए $σ = u&thinsp;dx + v&thinsp;dy$ $ℝ2$ पर परिभाषित $1$-प्रपत्र है, उपरोक्त सूत्र को प्रत्येक पद पर प्रस्तावित करने पर ($x = x$ एवं $x = y$ पर विचार किया जाता है) हमें निम्नलिखित योग प्राप्त होता है,


 * $$\begin{align}

d\sigma &= \left( \sum_{i=1}^2 \frac{\partial u}{\partial x^i} dx^i \wedge dx \right) + \left( \sum_{i=1}^2 \frac{\partial v}{\partial x^i} \, dx^i \wedge dy \right) \\ &= \left(\frac{\partial{u}}{\partial{x}} \, dx \wedge dx + \frac{\partial{u}}{\partial{y}} \, dy \wedge dx\right) + \left(\frac{\partial{v}}{\partial{x}} \, dx \wedge dy + \frac{\partial{v}}{\partial{y}} \, dy \wedge dy\right) \\ &= 0 - \frac{\partial{u}}{\partial{y}} \, dx \wedge dy + \frac{\partial{v}}{\partial{x}} \, dx \wedge dy + 0 \\ &= \left(\frac{\partial{v}}{\partial{x}} - \frac{\partial{u}}{\partial{y}}\right) \, dx \wedge dy \end{align}$$

मैनिफोल्ड्स पर स्टोक्स प्रमेय
यदि $M$ कॉम्पैक्ट स्मूथ ओरिएंटेबल $n$- सीमा के साथ आयामी मैनिफोल्ड है एवं $ω$, $M$ पर $(n − 1)$- प्रपत्र है, तो सामान्यीकृत स्टोक्स प्रमेय का सामान्यीकृत प्रपत्र बताता है कि:


 * $$\int_M d\omega = \int_{\partial{M}} \omega$$ होता है।

सहज प्रपत्र से, यदि कोई सोचता है कि $M$ अतिसूक्ष्म क्षेत्रों में विभाजित होने के कारण, वह सभी क्षेत्रों की सीमाओं के माध्यम से प्रवाह जोड़ता है,सभी आंतरिक सीमाएं समाप्त हो जाती हैं, जिससे कुल प्रवाह $M$ की सीमा के माध्यम से निकल जाता है।

संवृत एवं त्रुटिहीन प्रपत्र
$k$-प्रपत्र $ω$ को संवृत कहा जाता है यदि $dω = 0$; संवृत प्रपत्र $d$ के कर्नेल (बीजगणित) हैं। $ω$ को त्रुटिहीन यदि कहा जाता है $ω = dα$ कुछ के लिए $(k − 1)$-प्रपत्र $α$; त्रुटिहीन प्रपत्र $d$ की छवि (गणित) हैं, क्योंकि $d = 0$, प्रत्येक त्रुटिहीन प्रपत्र संवृत है। पोंकारे लेम्मा में कहा गया है कि संकुचन योग्य क्षेत्र में, इसका विपरीत सत्य है।

डी राम कोहोमोलॉजी
क्योंकि बाह्य व्युत्पन्न $d$ में गुण है कि $d = 0$, इसका उपयोग कई गुना पर डी राम कोहोमोलॉजी को परिभाषित करने के लिए अंतर (कोबाउंड्री) के प्रपत्र में किया जाता है जा सकता है। के-वें डी राम राम कोहोमोलॉजी (समूह) संवृत $k$-मॉड्यूलो का $k$-प्रपत्र का सदिश समिष्ट है; जैसा कि पूर्व अनुभाग में उल्लेख किया गया है, पोंकारे लेम्मा में कहा गया है कि ये सदिश समिष्ट संकुचन योग्य क्षेत्र $k > 0$ के लिए तुच्छ हैं, सहज विविधताओं के लिए, प्रपत्रों का एकीकरण डी राम कोहोमोलॉजी से से $ℝ$ पर लेकर एकवचन कोहोमोलॉजी तक प्राकृतिक समप्रपत्रता प्रदान करता है। डी राम के प्रमेय से ज्ञात होता है कि यह मानचित्र वास्तव में समप्रपत्रता है, जो पोंकारे लेम्मा का दूरगामी सामान्यीकरण है। जैसा कि सामान्यीकृत स्टोक्स प्रमेय द्वारा सूचित किया गया है, बाह्य व्युत्पन्न एकवचन सरलताओं पर सीमा मानचित्र का "दोहरा" है।

प्राकृतिकता
बाह्य व्युत्पन्न तकनीकी अर्थ में स्वाभाविक है: यदि $&thinsp;f : M → N$ सहज मानचित्र है एवं $Ωk$ कंट्रावेरिएंट स्मूथ ऑपरेटर है जो प्रत्येक को कई गुना समिष्ट प्रदान करता है $k$-मैनिफोल्ड पर प्रपत्र, फिर निम्नलिखित परिवर्तित होता है,


 * [[Image:Exteriorderivnatural.png|none]]इसलिए $d(&thinsp;f'ω) = &thinsp;f'dω$, जहाँ $&thinsp;f$$&thinsp;f&thinsp;$ के पुलबैक (विभेदक ज्यामिति) को प्रदर्शित करता है। यह इस प्रकार है कि $&thinsp;fω(·)$, परिभाषा के अनुसार, $ω(&thinsp;f_{∗}(·))$ है, $&thinsp;f_{∗}$ $&thinsp;f&thinsp;$ का पुशफॉरवर्ड (अंतर) है। इस प्रकार $d$ $Ωk$से $Ωk+1$ तक प्राकृतिक परिवर्तन है।

सदिश कलन में बाह्य व्युत्पन्न
अधिकांश सदिश कैलकुलस ऑपरेटर बाह्य विभेदन की धारणा के विशेष विषय हैं।

क्रमशः
वास्तविक भिन्न-भिन्न मैनिफोल्ड $M$ पर सुचारू फलन $&thinsp;f : M → ℝ$ $0$-प्रपत्र है। इसका $0$-प्रपत्र बाह्य व्युत्पन्न का $1$-प्रपत्र $df$  है।                                    जब आंतरिक उत्पाद $⟨·,·⟩$ परिभाषित है, फलन $&thinsp;f&thinsp;$ के ग्रेडियेंट $∇f&thinsp;$ को $V$  में अद्वितीय सदिश के प्रपत्र में परिभाषित किया गया है  ऐसा कि इसका $V$ के किसी भी तत्व के साथ आंतरिक उत्पाद सदिश के साथ $&thinsp;f&thinsp;$ का दिशात्मक व्युत्पन्न है, वह


 * $$\langle \nabla f, \cdot \rangle = df = \sum_{i=1}^n \frac{\partial f}{\partial x^i}\, dx^i $$ है।

वह
 * $$\nabla f = (df)^\sharp = \sum_{i=1}^n \frac{\partial f}{\partial x^i}\, \left(dx^i\right)^\sharp $$ है,

जहाँ $♯$ संगीत समप्रपत्रता को प्रदर्शित करता है, $♯ : V∗ → V$ का उल्लेख किया गया है कि आंतरिक उत्पाद से प्रेरित है। वह $1$-प्रपत्र $df&thinsp;$ कोटैंजेंट बंडल का खंड है, प्रत्येक बिंदु पर कोटैंजेंट समिष्ट में $&thinsp;f&thinsp;$ जो समिष्टीय रैखिक सन्निकटन देता है।

विचलन
सदिश क्षेत्र $V = (v_{1}, v_{2}, ..., v_{n})$ पर $ℝn$ के पास संगत $(n − 1)$-प्रपत्र है,


 * $$\begin{align}

\omega_V &= v_1 \left (dx^2 \wedge \cdots \wedge dx^n \right) - v_2 \left (dx^1 \wedge dx^3 \wedge \cdots \wedge dx^n \right ) + \cdots + (-1)^{n-1}v_n \left (dx^1 \wedge \cdots \wedge dx^{n-1} \right) \\ &= \sum_{i=1}^n (-1)^{(i-1)}v_i \left (dx^1 \wedge \cdots \wedge dx^{i-1} \wedge \widehat{dx^{i}} \wedge dx^{i+1} \wedge \cdots \wedge dx^n \right ) \end{align}$$ जहाँ $$\widehat{dx^{i}}$$ उस तत्व के लोप को प्रदर्शित करता है।

(उदाहरण के लिए, जब $n = 3$, अर्थात् त्रि-आयामी अंतरिक्ष में, $2$-प्रपत्र $ω_{V}$ समिष्टीय प्रपत्र $V$ के साथ अदिश त्रिगुण उत्पाद है)  हाइपरसतह पर $ω_{V}$ का अभिन्न अंग उस हाइपरसतह पर $V$ का प्रवाह है।

इस $n$-प्रपत्र का बाह्य व्युत्पन्न $(n − 1)$-प्रपत्र


 * $$d\omega _V = \operatorname{div} V \left (dx^1 \wedge dx^2 \wedge \cdots \wedge dx^n \right )$$है।

कर्ल
$ℝn$ पर सदिश क्षेत्र $V$ का संगत ( n-1)- प्रपत्र


 * $$\eta_V = v_1 \, dx^1 + v_2 \, dx^2 + \cdots + v_n \, dx^n,$$

समिष्टीय स्तर पर, $η_{V}$ $V$ के साथ डॉट उत्पाद है, पथ के साथ $η_{V}$ का अभिन्न अंग उस पथ के साथ$−V$ के विरुद्ध किया जाता है गया कार्य है।

जब $n = 3$, त्रि-आयामी अंतरिक्ष में, $1$-प्रपत्र $η_{V}$ का बाह्य व्युत्पन्न $2$-प्रपत्र


 * $$d\eta_V = \omega_{\operatorname{curl} V}$$ है।

सदिश कैलकुलस में ऑपरेटरों के अपरिवर्तनीय प्रपत्रूलेशन
मानक सदिश कैलकुलस ऑपरेटरों को किसी भी छद्म-रीमैनियन मैनिफोल्ड के लिए सामान्यीकृत किया जाता है जा सकता है, एवं समन्वय-मुक्त नोटेशन में निम्नानुसार लिखा जा सकता है:


 * $$\begin{array}{rcccl}

\operatorname{grad} f &\equiv& \nabla f       &=& \left( d f \right)^\sharp \\ \operatorname{div} F &\equiv& \nabla \cdot F  &=& {\star d {\star} \mathord{\left( F^\flat \right)}} \\ \operatorname{curl} F &\equiv& \nabla \times F &=& \left( {\star} d \mathord{\left( F^\flat \right)} \right)^\sharp \\ \Delta f             &\equiv& \nabla^2 f      &=& {\star} d {\star} d f \\ &     & \nabla^2 F      &=& \left(d{\star}d{\star}\mathord{\left(F^{\flat}\right)} - {\star}d{\star}d\mathord{\left(F^{\flat}\right)}\right)^{\sharp}, \\ \end{array}$$ जहाँ $⋆$ हॉज स्टार ऑपरेटर है, $♭$ एवं $♯$ संगीतमय समरूपताएं हैं, $&thinsp;f&thinsp;$ अदिश क्षेत्र है एवं $F$ सदिश क्षेत्र है।

ध्यान दें कि कर्ल के लिए अभिव्यक्ति के लिए $♯$ को $⋆d(F♭)$ पर कार्य करने की आवश्यकता होती है, जो $n − 2$ डिग्री का प्रपत्र है, ♯ से $k$-  डिग्री के प्रपत्रों का एक प्राकृतिक सामान्यीकरण इस अभिव्यक्ति को किसी भी $n$ के लिए समझ बनाने की अनुमति देता है।

यह भी देखें

 * बाहरी सहसंयोजक व्युत्पन्न
 * राम परिसर का
 * परिमित तत्व बाह्य कलन
 * विभिन्न बाहरी कलन
 * ग्रीन का प्रमेय
 * झूठ व्युत्पन्न
 * स्टोक्स प्रमेय
 * फ्रैक्टल व्युत्पन्न

बाह्य संबंध

 * Archived at Ghostarchive and the Wayback Machine: