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

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

भेद
दिए गए ज्यामितीय बीजगणित के साथ, मान लीजिए $$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$$ सामान्य तौर पर, हमें आगे बढ़ने के लिए एक नए अंकन की आवश्यकता होती है। एक समाधान ओवरडॉट नोटेशन को अपनाना है, जिसमें एक ओवरडॉट के साथ सदिश व्युत्पन्न का दायरा एक ही ओवरडॉट साझा करने वाला बहुसदिश-मूल्य फ़ंक्शन है। इस मामले में, अगर हम परिभाषित करते हैं


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

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

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



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


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

श्रेणी:गणना

श्रेणी:ज्यामितीय बीजगणित