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

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

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

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

यदि $&thinsp;f&thinsp;$ सहज फलन ($0$-प्रपत्र) है, तो  $&thinsp;f&thinsp;$ का बाह्य अवकलज  $&thinsp;f&thinsp;$ का अंतर है। वह है, $df&thinsp;$ अद्वितीय 1-प्रपत्र है|$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: