ज्यामितीय गणना

गणित में, ज्यामितीय कलन विभेदीकरण और एकीकरण को शामिल करने के लिए ज्यामितीय बीजगणित का विस्तार करता है। औपचारिकता प्रभावशाली है और अंतर ज्यामिति और अंतर रूपों सहित अन्य गणितीय सिद्धांतों को शामिल करने के लिए दिखाया जा सकता है।

भेद
दिए गए ज्यामितीय बीजगणित के साथ, मान लीजिए $$a$$ और $$b$$ वेक्टर (गणित और भौतिकी) बनें और दें $$F$$ सदिश का एक बहुवेक्टर-मूल्यवान फलन हो। की दिशात्मक व्युत्पत्ति $$F$$ साथ में $$b$$ पर $$a$$ परिभाषित किया जाता है


 * $$(\nabla_b F)(a) = \lim_{\epsilon \rightarrow 0}{\frac{F(a + \epsilon b) - F(a)}{\epsilon}},$$

बशर्ते कि सीमा सभी के लिए मौजूद हो $$b$$, जहां स्केलर के लिए सीमा ली जाती है $$\epsilon$$. यह एक दिशात्मक व्युत्पत्ति की सामान्य परिभाषा के समान है, लेकिन इसे उन कार्यों तक विस्तारित करता है जो आवश्यक रूप से अदिश-मूल्यवान नहीं हैं।

अगला, आधार वैक्टर का एक सेट चुनें $$\{e_i\}$$ और ऑपरेटरों पर विचार करें, निरूपित $$\partial_i$$, जो की दिशाओं में दिशात्मक डेरिवेटिव करता है $$e_i$$:
 * $$\partial_i : F \mapsto (x\mapsto (\nabla_{e_i} F)(x)).$$

फिर, आइंस्टीन योग अंकन का उपयोग करते हुए, संकारक पर विचार करें:
 * $$e^i\partial_i,$$

मतलब
 * $$F \mapsto e^i\partial_i F,$$

जहां दिशात्मक व्युत्पन्न के बाद ज्यामितीय उत्पाद लागू होता है। अधिक मौखिक रूप से:
 * $$F \mapsto (x\mapsto e^i(\nabla_{e_i} F)(x)).$$

यह ऑपरेटर फ्रेम की पसंद से स्वतंत्र है, और इस प्रकार यह परिभाषित करने के लिए इस्तेमाल किया जा सकता है कि ज्यामितीय कलन में वेक्टर व्युत्पन्न कहा जाता है:
 * $$\nabla = e^i\partial_i.$$

यह ढाल की सामान्य परिभाषा के समान है, लेकिन यह उन कार्यों तक भी फैली हुई है जो आवश्यक रूप से स्केलर-मूल्यवान नहीं हैं।

दिशात्मक व्युत्पन्न इसकी दिशा के संबंध में रैखिक है, अर्थात:
 * $$\nabla_{\alpha a + \beta b} = \alpha\nabla_a + \beta\nabla_b.$$

इससे यह पता चलता है कि दिशात्मक व्युत्पन्न वेक्टर व्युत्पन्न द्वारा इसकी दिशा का आंतरिक उत्पाद है। सभी को देखने की जरूरत है कि दिशा है $$a$$ लिखा जा सकता है $$a = (a\cdot e^i) e_i$$, ताकि:
 * $$\nabla_a = \nabla_{(a\cdot e^i)e_i} = (a\cdot e^i)\nabla_{e_i} = a\cdot(e^i\nabla_{e_i}) = a\cdot \nabla.$$

इस कारण से, $$\nabla_a F(x)$$ अक्सर नोट किया जाता है $$a\cdot \nabla F(x)$$.

वेक्टर डेरिवेटिव के संचालन का मानक क्रम यह है कि यह केवल अपने तत्काल दाईं ओर निकटतम कार्य पर कार्य करता है। दो कार्य दिए गए $$F$$ और $$G$$, तो उदाहरण के लिए हमारे पास है


 * $$\nabla FG = (\nabla F)G.$$

उत्पाद नियम
हालांकि आंशिक व्युत्पन्न एक उत्पाद नियम प्रदर्शित करता है, वेक्टर व्युत्पन्न केवल आंशिक रूप से इस संपत्ति को प्राप्त करता है। दो कार्यों पर विचार करें $$F$$ और $$G$$:


 * $$\begin{align}\nabla(FG) &= e^i\partial_i(FG) \\

&= e^i((\partial_iF)G+F(\partial_iG)) \\ &= e^i(\partial_iF)G+e^iF(\partial_iG). \end{align}$$ चूँकि ज्यामितीय गुणनफल क्रमविनिमेय नहीं है $$e^iF \ne Fe^i$$ सामान्य तौर पर, हमें आगे बढ़ने के लिए एक नए अंकन की आवश्यकता होती है। एक समाधान overdot  नोटेशन को अपनाना है, जिसमें एक ओवरडॉट के साथ वेक्टर डेरिवेटिव का दायरा एक ही ओवरडॉट साझा करने वाला मल्टीवेक्टर-वैल्यू फ़ंक्शन है। इस मामले में, अगर हम परिभाषित करते हैं


 * $$\dot{\nabla}F\dot{G}=e^iF(\partial_iG),$$

तो वेक्टर व्युत्पन्न के लिए उत्पाद नियम है


 * $$\nabla(FG) = \nabla FG+\dot{\nabla}F\dot{G}.$$

आंतरिक और बाहरी व्युत्पन्न
होने देना $$F$$ सेम $$r$$-ग्रेड मल्टीवेक्टर। तब हम ऑपरेटरों की एक अतिरिक्त जोड़ी, आंतरिक और बाहरी डेरिवेटिव को परिभाषित कर सकते हैं,


 * $$\nabla \cdot F = \langle \nabla F \rangle_{r-1} = e^i \cdot \partial_i F,$$
 * $$\nabla \wedge F = \langle \nabla F \rangle_{r+1} = e^i \wedge \partial_i F.$$

विशेष रूप से, अगर $$F$$ ग्रेड 1 (वेक्टर-वैल्यू फ़ंक्शन) है, तो हम लिख सकते हैं


 * $$\nabla F = \nabla \cdot F + \nabla \wedge F$$

और विचलन  और कर्ल (गणित) की पहचान करें


 * $$\nabla \cdot F = \operatorname{div} F,$$
 * $$\nabla \wedge F = I \, \operatorname{curl} F.$$

वेक्टर व्युत्पन्न के विपरीत, न तो आंतरिक व्युत्पन्न ऑपरेटर और न ही बाहरी व्युत्पन्न ऑपरेटर व्युत्क्रमणीय है।

बहुविकल्पी व्युत्पन्न
जैसा कि ऊपर चर्चा की गई है, सदिश के संबंध में व्युत्पन्न को एक सामान्य बहुवेक्टर के संबंध में व्युत्पन्न के लिए सामान्यीकृत किया जा सकता है, जिसे बहुवेक्टर व्युत्पन्न कहा जाता है।

होने देना $$F$$ एक मल्टीवेक्टर का मल्टीवेक्टर-वैल्यू फंक्शन हो। की दिशात्मक व्युत्पत्ति $$F$$ इसके संबंध में $$X$$ दिशा में $$A$$, कहाँ $$X$$ और $$A$$ मल्टीवैक्टर हैं, के रूप में परिभाषित किया गया है
 * $$A*\partial_X F(X)=\lim_{\epsilon\to 0}\frac{F(X+\epsilon A)-F(X)}{\epsilon}\ ,$$

कहाँ $$A* B=\langle A B\rangle$$ ज्यामितीय बीजगणित है # आंतरिक और बाहरी उत्पादों का विस्तार। साथ $$\{e_i\}$$ एक वेक्टर आधार और $$\{e^i\}$$ संबंधित ज्यामितीय बीजगणित # दोहरे आधार, मल्टीवेक्टर व्युत्पन्न को दिशात्मक व्युत्पन्न के रूप में परिभाषित किया गया है
 * $$\frac{\partial}{\partial X}=\partial_X=\sum_J e^J (e_J*\partial_X)\ ,$$

कहाँ $$J$$ बेस वेक्टर इंडेक्स के ऑर्डर किए गए सेट को इंगित कर रहा है, जैसा कि आर्टिकल सेक्शन जियोमेट्रिक अलजेब्रा#डुअल बेसिस में है। यह समीकरण सिर्फ व्यक्त कर रहा है $$\partial_X$$ ब्लेड के पारस्परिक आधार में घटकों के संदर्भ में, जैसा कि लेख अनुभाग में चर्चा की गई है।

मल्टीवेक्टर डेरिवेटिव की एक प्रमुख संपत्ति यह है
 * $$\partial_X\langle X A\rangle=P_X(A)\ ,$$

कहाँ $$P_X(A)$$ का प्रक्षेपण है $$A$$ में निहित ग्रेड पर $$X$$.

मल्टीवेक्टर डेरिवेटिव लैग्रैंगियन (क्षेत्र सिद्धांत) में अनुप्रयोग पाता है।

एकीकरण
होने देना $$\{e_1, \ldots, e_n\}$$ आधार सदिशों का एक समुच्चय हो जो a को विस्तृत करता हो $$n$$-आयामी वेक्टर अंतरिक्ष। ज्यामितीय बीजगणित से, हम छद्म अदिश  की व्याख्या करते हैं $$e_1 \wedge e_2 \wedge\cdots\wedge e_n$$ की हस्ताक्षरित मात्रा होना $$n$$-Parallelepiped#Parallelotope इन आधार वैक्टर द्वारा घटाया गया। यदि आधार वैक्टर ऑर्थोनॉर्मल हैं, तो यह यूनिट स्यूडोस्केलर है।

अधिक आम तौर पर, हम खुद को एक सबसेट तक सीमित कर सकते हैं $$k$$ आधार वैक्टर, जहां $$1 \le k \le n$$, लंबाई, क्षेत्र, या अन्य सामान्य का इलाज करने के लिए $$k$$कुल मिलाकर एक उप-स्थान का आयतन $$n$$-आयामी वेक्टर अंतरिक्ष। हम इन चयनित आधार सदिशों को निरूपित करते हैं $$\{e_{i_1}, \ldots, e_{i_k} \}$$. एक सामान्य $$k$$-की मात्रा $$k$$इन आधार सदिशों द्वारा अंतरित समांतर लोटोप ग्रेड है $$k$$ multivector $$e_{i_1} \wedge e_{i_2} \wedge\cdots\wedge e_{i_k}$$.

इससे भी अधिक आम तौर पर, हम वैक्टरों के एक नए सेट पर विचार कर सकते हैं $$\{x^{i_1}e_{i_1}, \ldots, x^{i_k}e_{i_k} \}$$ के आनुपातिक $$k$$ आधार वैक्टर, जहां प्रत्येक $$\{x^{i_j}\}$$ एक घटक है जो आधार सदिशों में से एक को मापता है। जब तक वे गैर-शून्य रहते हैं, तब तक हम घटकों को असीमित रूप से छोटे रूप में चुनने के लिए स्वतंत्र हैं। चूंकि इन शर्तों के बाहरी उत्पाद को एक के रूप में व्याख्या किया जा सकता है $$k$$-वॉल्यूम, एक माप (गणित) को परिभाषित करने का एक स्वाभाविक तरीका है


 * $$\begin{align}d^kX &= \left(dx^{i_1} e_{i_1}\right) \wedge \left(dx^{i_2}e_{i_2}\right) \wedge\cdots\wedge \left(dx^{i_k}e_{i_k}\right) \\

&= \left( e_{i_1}\wedge e_{i_2}\wedge\cdots\wedge e_{i_k} \right) dx^{i_1} dx^{i_2} \cdots dx^{i_k}.\end{align}$$ इसलिए माप हमेशा a की इकाई स्यूडोस्केलर के समानुपाती होता है $$k$$सदिश स्थान की आयामी उपसमष्टि। डिफरेंशियल फॉर्म के सिद्धांत में रिमेंनियन वॉल्यूम फॉर्म  की तुलना करें। इस उपाय के संबंध में अभिन्न लिया गया है:


 * $$\int_V F(x)\,d^kX = \int_V F(x) \left( e_{i_1}\wedge e_{i_2}\wedge\cdots\wedge e_{i_k} \right) dx^{i_1} dx^{i_2} \cdots dx^{i_k}.$$

अधिक औपचारिक रूप से, कुछ निर्देशित मात्रा पर विचार करें $$V$$ उप-स्थान का। हम इस मात्रा को सरलताओं के योग में विभाजित कर सकते हैं। होने देना $$\{x_i\}$$ शीर्षों के निर्देशांक हों। प्रत्येक शीर्ष पर हम एक माप प्रदान करते हैं $$\Delta U_i(x)$$ वर्टेक्स साझा करने वाले सरलताओं के औसत माप के रूप में। फिर का अभिन्न अंग $$F(x)$$ इसके संबंध में $$U(x)$$ इस आयतन से अधिक आयतन के महीन विभाजन की सीमा को छोटे सरलताओं में प्राप्त किया जाता है:


 * $$\int_V F\,dU = \lim_{n \rightarrow \infty} \sum_{i=1}^n F(x_i)\,\Delta U_i(x).$$

ज्यामितीय कलन का मौलिक प्रमेय
वेक्टर डेरिवेटिव और इंटीग्रल को उपरोक्त के रूप में परिभाषित करने का कारण यह है कि वे स्टोक्स के प्रमेय के एक मजबूत सामान्यीकरण की अनुमति देते हैं। होने देना $$\mathsf{L}(A;x)$$ का एक मल्टीवेक्टर-वैल्यू फंक्शन हो $$r$$-ग्रेड इनपुट $$A$$ और सामान्य स्थिति $$x$$, अपने पहले तर्क में रैखिक। फिर ज्यामितीय कलन का मौलिक प्रमेय वॉल्यूम पर व्युत्पन्न के अभिन्न अंग से संबंधित है $$V$$ इसकी सीमा पर अभिन्न अंग के लिए:

$$\int_V \dot{\mathsf{L}} \left(\dot{\nabla} dX;x \right) = \oint_{\partial V} \mathsf{L} (dS;x).$$ एक उदाहरण के रूप में, चलो $$\mathsf{L}(A;x)=\langle F(x) A I^{-1} \rangle$$ वेक्टर-मूल्यवान फ़ंक्शन के लिए $$F(x)$$ और एक ($$n-1$$)-ग्रेड मल्टीवेक्टर $$A$$. हम पाते हैं


 * $$\begin{align}\int_V \dot{\mathsf{L}} \left(\dot{\nabla} dX;x \right) &= \int_V \langle\dot{F}(x)\dot{\nabla}\,dX\,I^{-1} \rangle \\

&= \int_V \langle\dot{F}(x)\dot{\nabla}\,|dX| \rangle \\ &= \int_V \nabla \cdot F(x)\,|dX|. \end{align}$$ वैसे ही,


 * $$\begin{align}\oint_{\partial V} \mathsf{L} (dS;x) &= \oint_{\partial V} \langle F(x)\,dS\,I^{-1} \rangle \\

&= \oint_{\partial V} \langle F(x) \hat{n}\,|dS| \rangle \\ &= \oint_{\partial V} F(x) \cdot \hat{n}\,|dS|. \end{align}$$ इस प्रकार हम विचलन प्रमेय को पुनः प्राप्त करते हैं,


 * $$\int_V \nabla \cdot F(x)\,|dX| = \oint_{\partial V} F(x) \cdot \hat{n}\,|dS|.$$

सहसंयोजक व्युत्पन्न
पर्याप्त चिकना $$k$$-सतह में एक $$n$$-आयामी स्थान को कई गुना माना जाता है। कई गुना पर प्रत्येक बिंदु के लिए, हम एक संलग्न कर सकते हैं $$k$$-ब्लेड $$B$$ यह कई गुना स्पर्शरेखा है। स्थानीय रूप से, $$B$$ के स्यूडोस्केलर के रूप में कार्य करता है $$k$$-आयामी स्थान। यह ब्लेड एक ज्यामितीय बीजगणित#प्रोजेक्शन और वैक्टर की अस्वीकृति को कई गुना परिभाषित करता है:


 * $$\mathcal{P}_B (A) = (A \cdot B^{-1}) B.$$

वेक्टर व्युत्पन्न के रूप में $$\nabla$$ समग्र रूप से परिभाषित किया गया है $$n$$-आयामी स्थान, हम एक आंतरिक व्युत्पन्न को परिभाषित करना चाह सकते हैं $$\partial$$, स्थानीय रूप से कई गुना परिभाषित:


 * $$\partial F = \mathcal{P}_B (\nabla )F.$$

(ध्यान दें: उपरोक्त का दाहिना हाथ कई गुना स्पर्शरेखा स्थान में नहीं हो सकता है। इसलिए, यह समान नहीं है $$\mathcal{P}_B (\nabla F)$$, जो आवश्यक रूप से स्पर्शरेखा स्थान में स्थित है।)

अगर $$a$$ कई गुना के लिए एक सदिश स्पर्शरेखा है, तो वास्तव में सदिश व्युत्पन्न और आंतरिक व्युत्पन्न दोनों एक ही दिशात्मक व्युत्पन्न देते हैं:


 * $$a \cdot \partial F = a \cdot \nabla F.$$

हालांकि यह ऑपरेशन पूरी तरह से वैध है, यह हमेशा उपयोगी नहीं होता है क्योंकि $$\partial F$$ जरूरी नहीं कि खुद कई गुना हो। इसलिए, हम सहसंयोजक व्युत्पन्न को कई गुना पर आंतरिक व्युत्पन्न के मजबूर प्रक्षेपण के रूप में परिभाषित करते हैं:


 * $$a \cdot DF = \mathcal{P}_B (a \cdot \partial F) = \mathcal{P}_B (a \cdot \mathcal{P}_B (\nabla) F).$$

चूंकि इस मामले में किसी भी सामान्य मल्टीवेक्टर को प्रक्षेपण और अस्वीकृति के योग के रूप में व्यक्त किया जा सकता है


 * $$a \cdot \partial F = \mathcal{P}_B (a \cdot \partial F) + \mathcal{P}_B^{\perp} (a \cdot \partial F),$$

हम एक नया फंक्शन, आकार टेंसर पेश करते हैं $$\mathsf{S}(a)$$, जो संतुष्ट करता है


 * $$F \times \mathsf{S}(a) = \mathcal{P}_B^{\perp} (a \cdot \partial F),$$

कहाँ $$\times$$ कम्यूटेटर है। स्थानीय समन्वय के आधार पर $$\{e_i\}$$ स्पर्शरेखा सतह को फैलाते हुए, आकार टेंसर द्वारा दिया जाता है


 * $$\mathsf{S}(a) = e^i \wedge \mathcal{P}_B^{\perp} (a \cdot \partial e_i).$$

महत्वपूर्ण रूप से, एक सामान्य कई गुना पर, सहसंयोजक व्युत्पन्न कम्यूट नहीं करता है। विशेष रूप से, कम्यूटेटर आकृति टेंसर से संबंधित है


 * $$[a \cdot D, \, b \cdot D]F=-(\mathsf{S}(a) \times \mathsf{S}(b)) \times F.$$

स्पष्ट रूप से पद $$\mathsf{S}(a) \times \mathsf{S}(b)$$ रुचि का है। हालांकि, यह आंतरिक व्युत्पन्न की तरह, कई गुना जरूरी नहीं है। इसलिए, हम रीमैन टेंसर को कई गुना पर प्रक्षेपण के रूप में परिभाषित कर सकते हैं:


 * $$\mathsf{R}(a \wedge b)=-\mathcal{P}_B (\mathsf{S}(a) \times \mathsf{S}(b)).$$

अंत में, अगर $$F$$ कोटि का है $$r$$, तो हम आंतरिक और बाहरी सहसंयोजक डेरिवेटिव को परिभाषित कर सकते हैं


 * $$D \cdot F = \langle DF \rangle_{r-1},$$
 * $$D \wedge F = \langle D F \rangle_{r+1},$$

और इसी तरह आंतरिक व्युत्पन्न के लिए।

अंतर ज्यामिति से संबंध
कई गुना पर, स्थानीय रूप से हम आधार वैक्टर के एक सेट द्वारा फैले स्पर्शरेखा सतह को निर्दिष्ट कर सकते हैं $$\{e_i\}$$. हम एक मीट्रिक टेंसर, क्रिस्टोफ़ेल प्रतीकों और रीमैन वक्रता टेन्सर के घटकों को निम्नानुसार संबद्ध कर सकते हैं:


 * $$g_{ij}=e_i \cdot e_j,$$
 * $$\Gamma^k_{ij}=(e_i \cdot De_j) \cdot e^k,$$
 * $$R_{ijkl}=(\mathsf{R}(e_i \wedge e_j) \cdot e_k) \cdot e_l.$$

ये संबंध ज्यामितीय कलन के भीतर अंतर ज्यामिति के सिद्धांत को एम्बेड करते हैं।

अंतर रूपों से संबंध
एक स्थानीय समन्वय प्रणाली में ($$x^1, \ldots, x^n$$), समन्वय अंतर $$dx^1$$, ..., $$dx^n$$ समन्वय चार्ट के भीतर एक-रूपों का मूल सेट बनाएं। एक बहु-सूचकांक दिया $$I = (i_1, \ldots, i_k)$$ साथ $$1 \le i_p \le n$$ के लिए $$1 \le p \le k$$, हम एक परिभाषित कर सकते हैं $$k$$-प्रपत्र
 * $$\omega = f_I\,dx^I=f_{i_1 i_2\cdots i_k}\,dx^{i_1}\wedge dx^{i_2}\wedge\cdots\wedge dx^{i_k}.$$

हम वैकल्पिक रूप से ए पेश कर सकते हैं $$k$$-ग्रेड मल्टीवेक्टर $$A$$ जैसा


 * $$A = f_{i_1i_2\cdots i_k}e^{i_1}\wedge e^{i_2}\wedge\cdots\wedge e^{i_k}$$

और एक उपाय


 * $$\begin{align}d^kX &= \left(dx^{i_1} e_{i_1}\right) \wedge \left(dx^{i_2}e_{i_2}\right) \wedge\cdots\wedge \left(dx^{i_k}e_{i_k}\right) \\

&= \left( e_{i_1}\wedge e_{i_2}\wedge\cdots\wedge e_{i_k} \right) dx^{i_1} dx^{i_2} \cdots dx^{i_k}.\end{align}$$ वैक्टर के संबंध में बाहरी उत्पाद बनाम बाहरी उत्पाद के संबंध में बाहरी उत्पाद के अर्थ में सूक्ष्म अंतर के अलावा (पूर्व में वेतन वृद्धि कोवेक्टर हैं, जबकि बाद में वे स्केलर्स का प्रतिनिधित्व करते हैं), हम अंतर के पत्राचार को देखते हैं प्रपत्र


 * $$\omega \cong A^{\dagger} \cdot d^kX = A \cdot \left(d^kX \right)^{\dagger},$$

इसका व्युत्पन्न


 * $$d\omega \cong (D \wedge A)^{\dagger} \cdot d^{k+1}X = (D \wedge A) \cdot \left(d^{k+1}X \right)^{\dagger},$$

और इसका हॉज दोहरी


 * $$\star\omega \cong (I^{-1} A)^{\dagger} \cdot d^kX,$$

ज्यामितीय कलन के भीतर विभेदक रूपों के सिद्धांत को एम्बेड करें।

इतिहास
निम्नलिखित ज्यामितीय कलन के इतिहास का सारांश देने वाला आरेख है।



सन्दर्भ और आगे पढ़ना


श्रेणी:अनुप्रयुक्त गणित श्रेणी:गणना श्रेणी:ज्यामितीय बीजगणित