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

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

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

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

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


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

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

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


 * $$\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$ एक हो $1$-रूप को ऊपर परिभाषित किया गया है $ℝ2$. उपरोक्त सूत्र को प्रत्येक पद पर लागू करके (विचार करें) $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$-सीमा के साथ आयामी कई गुना, और $ω$ एक $(n − 1)$-फॉर्म पर $M$, फिर सामान्यीकृत स्टोक्स प्रमेय|स्टोक्स प्रमेय का सामान्यीकृत रूप बताता है कि:


 * $$\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: