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

विभेदक मैनिफोल्ड पर, बाहरी व्युत्पन्न किसी फ़ंक्शन के पुशफॉरवर्ड (डिफरेंशियल) की अवधारणा को उच्च डिग्री के विभेदक रूपों तक विस्तारित करता है। बाहरी व्युत्पन्न को प्रथम बार 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$-रूप; जैसा कि पिछले अनुभाग में उल्लेख किया गया है, पोंकारे लेम्मा में कहा गया है कि ये वेक्टर स्थान संकुचन योग्य क्षेत्र के लिए तुच्छ हैं, $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$.

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

क्रमशः
सुचारु कार्य $&thinsp;f : M → ℝ$ वास्तविक भिन्न-भिन्न मैनिफोल्ड पर $M$ है $0$-प्रपत्र। इसका बाह्य व्युत्पन्न $0$-रूप है $1$-प्रपत्र $df$.

जब आंतरिक उत्पाद $⟨·,·⟩$ परिभाषित है, ग्रेडियेंट  $∇f&thinsp;$ किसी फ़ंक्शन का $&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 − 1)$-रूप है $n$-प्रपत्र


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

कर्ल
सदिश क्षेत्र $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$ सदिश क्षेत्र है.

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

यह भी देखें

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

बाहरी संबंध

 * Archived at Ghostarchive and the Wayback Machine: