स्प्रे (गणित)

अवकल ज्यामिति में, स्प्रे स्पर्शरेखा बंडल TM पर सदिश क्षेत्र H होता है, जो बेस मैनिफोल्ड M पर सामान्य अवकल समीकरण की द्विरेखीय द्वितीय कोटि प्रणाली को एनकोड करता है। सामान्यतः स्प्रे को सजातीय होने की आवश्यकता होती है क्योंकि इसके अभिन्न वक्र t→ΦHt(ξ)∈TM सकारात्मक पुनर्मूल्यांकन में नियम ΦHt(λξ)=ΦHλt(ξ) का पालन करते है। यदि यह आवश्यकता समाप्त हो जाती है, तो H को सेमीस्प्रे कहा जाता है।

रिमेंनियन और फिन्सलर ज्यामिति में स्वाभाविक रूप से जियोडेसिक स्प्रे उत्पन्न होते हैं, जिनके अभिन्न वक्र स्थानीय लंबाई को कम करने वाले स्पर्शरेखा वक्र होते हैं।

सेमिस्प्रे स्वाभाविक रूप से लैग्रैंगियन यांत्रिकी में क्रिया के चरम वक्र के रूप में उत्पन्न होते हैं। इन सभी उदाहरणों को सामान्यीकृत करते हुए, M पर कोई भी (संभवतः अरेखीय) कनेक्शन सेमीस्प्रे H को प्रेरित करता है, और इसके विपरीत, सेमीस्प्रे H, M पर टॉरशन-फ्री अरेखीय कनेक्शन उत्पन्न करता है। यदि मूल कनेक्शन टॉरशन-फ्री है, तो यह H द्वारा प्रेरित कनेक्शन के समान है और सजातीय टॉरशन-फ्री कनेक्शन स्प्रे के अनुरूप हैं।

औपचारिक परिभाषाएँ
मान ले, M अवकलनीय मैनिफोल्ड है और (TM,πTM,M) टेंगेंट बंडल है। TM पर सदिश क्षेत्र H (अर्थात, डबल टेंगेंट बंडल TTM का खंड) M पर 'सेमिस्प्रे' है, यदि निम्नलिखित तीन समकक्ष स्थितियों में से कोई भी हो- M पर सेमीस्प्रे H '(पूर्ण) स्प्रे' है, यदि निम्न में से कोई भी समतुल्य स्थिति प्रस्तावित होती है-
 * (πTM)*Hξ = ξ
 * JH=V, जहाँ J TM पर टेंगेंट संरचना है और TM\0 पर विहित सदिश क्षेत्र है।
 * j∘H=H, जहाँ j:TTM→TTM कैनोनिकल फ्लिप है और H को मैपिंग TM→TTM के रूप में देखा जाता है।
 * Hλξ = λ*(λHξ), जहाँ λ*:TTM→TTM सकारात्मक स्केलर λ>0 द्वारा गुणन λ:TM→TM का पुश-फॉरवर्ड है।
 * विहित सदिश क्षेत्र V के साथ H का लाई-व्युत्पन्न [V,H]=H को संतुष्ट करता है।
 * H के अभिन्न वक्र t→ΦHt(ξ)∈TM\0 किसी भी λ>0 के लिए ΦHt(λξ)=λΦHλt(ξ) को संतुष्ट करता है।

मान ले $$(x^i,\xi^i)$$ स्थानीय निर्देशांक चालू करें $$TM$$ स्थानीय निर्देशांक से जुड़ा हुआ है $$(x^i$$) पर $$M$$ प्रत्येक स्पर्शरेखा स्थान पर समन्वय के आधार का उपयोग करना। तब $$H$$ सेमीस्प्रे चालू है $$M$$ अगर इसमें फॉर्म का स्थानीय प्रतिनिधित्व है
 * $$ H_\xi = \xi^i\frac{\partial}{\partial x^i}\Big|_{(x,\xi)} - 2G^i(x,\xi)\frac{\partial}{\partial \xi^i}\Big|_{(x,\xi)}.$$

टीएम पर प्रत्येक संबद्ध समन्वय प्रणाली पर। सेमीस्प्रे एच एक (पूर्ण) स्प्रे है, अगर और केवल अगर 'स्प्रे गुणांक' जी मैं संतुष्ट हूं
 * $$G^i(x,\lambda\xi) = \lambda^2G^i(x,\xi),\quad \lambda>0.\,$$

Lagrangian यांत्रिकी
में semisprays

लैग्रैन्जियन यांत्रिकी में एक भौतिक प्रणाली को कुछ विन्यास स्थान एम के स्पर्शरेखा बंडल पर एक लैग्रैजियन फ़ंक्शन एल: टीएम → 'आर' द्वारा तैयार किया गया है। गतिशील कानून हैमिल्टनियन सिद्धांत से प्राप्त किया जाता है, जो बताता है कि समय विकास γ: [ए, बी] → सिस्टम की स्थिति का एम एक्शन इंटीग्रल के लिए स्थिर है
 * $$\mathcal S(\gamma) := \int_a^b L(\gamma(t),\dot\gamma(t))dt$$.

टीएम पर संबंधित निर्देशांक में क्रिया अभिन्न की पहली भिन्नता को इस रूप में पढ़ा जाता है
 * $$\frac{d}{ds}\Big|_{s=0}\mathcal S(\gamma_s)

= \Big|_a^b \frac{\partial L}{\partial\xi^i}X^i - \int_a^b \Big(\frac{\partial^2 L}{\partial \xi^j\partial \xi^i} \ddot\gamma^j + \frac{\partial^2 L}{\partial x^j\partial\xi^i} \dot\gamma^j - \frac{\partial L}{\partial x^i} \Big) X^i dt, $$ जहाँ X:[a,b]→'R' γ के साथ जुड़े वेरिएशन वेक्टर फ़ील्ड हैs: [ए, बी] → एम लगभग γ (टी) = γ0(टी)। निम्नलिखित अवधारणाओं को प्रस्तुत करके इस प्रथम भिन्नता सूत्र को अधिक जानकारीपूर्ण रूप में पुनर्गठित किया जा सकता है:


 * कोवेक्टर $$\alpha_\xi = \alpha_i(x,\xi) dx^i|_x\in T_x^*M$$ साथ $$\alpha_i(x,\xi) = \tfrac{\partial L}{\partial \xi^i}(x,\xi)$$ का संयुग्मी संवेग है $$\xi \in T_xM $$.
 * इसी एक रूप $$\alpha\in\Omega^1(TM)$$ साथ $$\alpha_\xi = \alpha_i(x,\xi) dx^i|_{(x,\xi)}\in T^*_\xi TM$$ Lagrangian से जुड़ा हिल्बर्ट-फॉर्म है।
 * द्विरेखीय रूप $$g_\xi = g_{ij}(x,\xi)(dx^i\otimes dx^j)|_x$$ साथ $$g_{ij}(x,\xi) = \tfrac{\partial^2 L}{\partial \xi^i \partial \xi^j}(x,\xi)$$ Lagrangian का मौलिक टेंसर है $$\xi \in T_xM $$.
 * Lagrangian मौलिक टेंसर होने पर लेजेंड्रे स्थिति को संतुष्ट करता है $$\displaystyle g_\xi$$ हर पर गैर पतित है $$\xi \in T_xM $$. फिर का उलटा मैट्रिक्स $$\displaystyle g_{ij}(x,\xi)$$ द्वारा निरूपित किया जाता है $$\displaystyle g^{ij}(x,\xi)$$.
 * Lagrangian से जुड़ी ऊर्जा है $$\displaystyle E(\xi) = \alpha_\xi(\xi) - L(\xi)$$.

यदि लीजेंड्रे स्थिति संतुष्ट होती है, तो dα∈Ω2(TM) एक सहानुभूतिपूर्ण रूप है, और हैमिल्टनियन फ़ंक्शन E के अनुरूप TM पर एक अद्वितीय हैमिल्टनियन वेक्टर क्षेत्र H मौजूद है जैसे कि
 * $$\displaystyle dE = - \iota_H d\alpha$$.

मान लीजिए (एक्समैं, वाईi) TM पर संबद्ध निर्देशांकों में हेमिल्टनियन सदिश क्षेत्र H के घटक हों। तब
 * $$ \iota_H d\alpha = Y^i \frac{\partial^2 L}{\partial\xi^i\partial x^j} dx^j - X^i \frac{\partial^2 L}{\partial\xi^i\partial x^j} d\xi^j $$

और
 * $$ dE = \Big(\frac{\partial^2 L}{\partial x^i \partial \xi^j}\xi^j - \frac{\partial L}{\partial x^i}\Big)dx^i +

\xi^j \frac{\partial^2 L}{\partial\xi^i\partial x^j} d\xi^i $$ इसलिए हम देखते हैं कि हैमिल्टनियन वेक्टर फ़ील्ड H स्प्रे गुणांक वाले कॉन्फ़िगरेशन स्पेस M पर एक सेमीस्प्रे है
 * $$G^k(x,\xi) = \frac{g^{ki}}{2}\Big(\frac{\partial^2 L}{\partial\xi^i\partial x^j}\xi^j - \frac{\partial L}{\partial x^i}\Big). $$

अब पहले परिवर्तनशील सूत्र को फिर से लिखा जा सकता है
 * $$\frac{d}{ds}\Big|_{s=0}\mathcal S(\gamma_s)

= \Big|_a^b \alpha_i X^i - \int_a^b g_{ik}(\ddot\gamma^k+2G^k)X^i dt, $$ और हम देखते हैं γ[a,b]→M निश्चित अंत बिंदुओं के साथ अभिन्न क्रिया के लिए स्थिर है अगर और केवल अगर इसकी स्पर्शरेखा वक्र γ':[a,b]→TM हैमिल्टन वेक्टर क्षेत्र एच के लिए एक अभिन्न वक्र है। इसलिए यांत्रिक प्रणालियों की गतिशीलता का वर्णन एक्शन इंटीग्रल से उत्पन्न होने वाले सेमीस्प्रे द्वारा किया जाता है।

जियोडेसिक स्प्रे
रीमैनियन कई गुना और फिन्सलर कई गुना की स्थानीय लंबाई को कम करने वाले घटता को geodesics कहा जाता है। Lagrangian यांत्रिकी के ढांचे का उपयोग करके स्प्रे संरचनाओं के साथ इन वक्रों का वर्णन किया जा सकता है। टीएम पर लैग्रैन्जियन फ़ंक्शन को परिभाषित करें
 * $$L(x,\xi) = \tfrac{1}{2}F^2(x,\xi),$$

जहां F:TM→'R' फिन्सलर मैनिफोल्ड है। Riemannian मामले में कोई F का उपयोग करता है2(x,ξ) = जीij(एक्स) एक्स मैंx जम्मू । अब उपरोक्त अनुभाग से अवधारणाओं का परिचय दें। रिमेंनियन मामले में यह पता चला है कि मौलिक टेंसर जीij(x, ξ) केवल रीमैनियन मीट्रिक जी हैij(एक्स)। सामान्य मामले में एकरूपता की स्थिति
 * $$F(x,\lambda\xi) = \lambda F(x,\xi), \quad \lambda>0$$

फिन्सलर-फ़ंक्शन का तात्पर्य निम्न सूत्र से है:
 * $$ \alpha_i=g_{ij}\xi^i, \quad F^2=g_{ij}\xi^i\xi^j, \quad E = \alpha_i\xi^i - L = \tfrac{1}{2}F^2. $$

शास्त्रीय यांत्रिकी के संदर्भ में अंतिम समीकरण बताता है कि प्रणाली में सभी ऊर्जा (एम, एल) गतिज रूप में है। इसके अलावा, एक समरूपता गुण प्राप्त करता है
 * $$ g_{ij}(\lambda\xi) = g_{ij}(\xi), \quad \alpha_i(x,\lambda\xi) = \lambda \alpha_i(x,\xi), \quad

G^i(x,\lambda\xi) = \lambda^2 G^i(x,\xi), $$ जिनमें से आखिरी का कहना है कि इस यांत्रिक प्रणाली के लिए हैमिल्टनियन वेक्टर फ़ील्ड एच एक पूर्ण स्प्रे है। अंतर्निहित फिन्सलर (या रीमैनियन) मैनिफोल्ड की निरंतर गति जियोडेसिक्स को इस स्प्रे द्वारा निम्नलिखित कारणों से वर्णित किया गया है:
 * चूंकि जीξ फिन्सलर रिक्त स्थान के लिए सकारात्मक निश्चित है, कार्यात्मक लंबाई के लिए हर छोटा पर्याप्त स्थिर वक्र लंबाई कम करना है।
 * क्रिया समाकलन के लिए प्रत्येक स्थिर वक्र स्थिर गति का होता है $$F(\gamma(t),\dot\gamma(t))=\lambda$$, चूंकि ऊर्जा स्वचालित रूप से गति की एक स्थिरांक है।
 * किसी भी वक्र के लिए $$\gamma:[a,b]\to M$$ निरंतर गति की क्रिया अभिन्न और लंबाई कार्यात्मक से संबंधित हैं
 * $$ \mathcal S(\gamma) = \frac{(b-a)\lambda^2}{2} = \frac{\ell(\gamma)^2}{2(b-a)}. $$

इसलिए, एक वक्र $$\gamma:[a,b]\to M$$ क्रिया अभिन्न के लिए स्थिर है अगर और केवल अगर यह निरंतर गति का है और कार्यात्मक लंबाई के लिए स्थिर है। हैमिल्टनियन वेक्टर फील्ड एच को फिन्सलर मैनिफोल्ड (एम, एफ) और संबंधित प्रवाह Φ का जियोडेसिक स्प्रे कहा जाता है।Hटी(ξ) को जियोडेसिक प्रवाह कहा जाता है।

गैर-रैखिक कनेक्शन के साथ पत्राचार
एक सेमीस्प्रे $$H$$ एक चिकने मैनिफोल्ड पर $$M$$ एह्रेस्मान-कनेक्शन को परिभाषित करता है $$T(TM\setminus 0) = H(TM\setminus 0) \oplus V(TM\setminus 0)$$ अपने क्षैतिज और ऊर्ध्वाधर अनुमानों के माध्यम से स्लिट स्पर्शरेखा बंडल पर
 * $$ h:T(TM\setminus 0)\to T(TM\setminus 0) \quad ; \quad h = \tfrac{1}{2}\big( I - \mathcal L_H J \big),$$
 * $$ v:T(TM\setminus 0)\to T(TM\setminus 0) \quad ; \quad v = \tfrac{1}{2}\big( I + \mathcal L_H J \big).$$

TM\0 पर इस कनेक्शन में हमेशा गायब होने वाला मरोड़ वाला टेंसर होता है, जिसे फ्रोलिचर-निजेनहुइस ब्रैकेट के रूप में परिभाषित किया गया है टी = [जे, वी]। अधिक प्राथमिक शब्दों में मरोड़ को इस रूप में परिभाषित किया जा सकता है
 * $$\displaystyle T(X,Y) = J[hX,hY] - v[JX,hY) - v[hX,JY]. $$

टीएम \ 0 पर कैनोनिकल वेक्टर फ़ील्ड वी का परिचय और प्रेरित कनेक्शन के आसन्न संरचना Θ सेमीस्प्रे के क्षैतिज भाग को एचएच = ΘV के रूप में लिखा जा सकता है। सेमीस्प्रे के ऊर्ध्वाधर भाग ε=vH को 'प्रथम स्प्रे इनवेरिएंट' के रूप में जाना जाता है, और सेमीस्प्रे H स्वयं में विघटित हो जाता है
 * $$\displaystyle H = \Theta V + \epsilon. $$

पहला स्प्रे इनवेरिएंट तनाव से संबंधित है
 * $$ \tau = \mathcal L_Vv = \tfrac{1}{2}\mathcal L_{[V,H]-H} J$$

साधारण अंतर समीकरण के माध्यम से प्रेरित गैर-रैखिक कनेक्शन का
 * $$ \mathcal L_V\epsilon+\epsilon = \tau\Theta V. $$

इसलिए, पहला स्प्रे इनवेरिएंट ε (और इसलिए पूरे अर्ध-स्प्रे एच) को गैर-रैखिक कनेक्शन से पुनर्प्राप्त किया जा सकता है

\epsilon|_\xi = \int\limits_{-\infty}^0 e^{-s}(\Phi_V^{-s})_*(\tau\Theta V)|_{\Phi_V^s(\xi)} ds. $$ इस संबंध से कोई यह भी देखता है कि प्रेरित कनेक्शन सजातीय है अगर और केवल अगर एच एक पूर्ण स्प्रे है।

स्प्रे और सेमीस्प्रे के जैकोबी क्षेत्र
सेमीस्प्रे के जैकोबी क्षेत्रों के लिए एक अच्छा स्रोत धारा 4.4 है, सार्वजनिक रूप से उपलब्ध पुस्तक फिन्सलर-लग्रेंज ज्योमेट्री बाय बुकातारू और मिरॉन के सेमीस्प्रे के जैकोबी समीकरण। विशेष रूप से नोट 'गतिशील सहसंयोजक व्युत्पन्न' की उनकी अवधारणा है। एक अन्य पेपर में बुकातारू, कॉन्स्टेंटिनस्कु और डाहल इस अवधारणा को 'कौशांबी डेरिवेटिव ऑपरेटर' से संबंधित करते हैं।

दामोदर धर्मानंद कोसंबी के तरीकों के अच्छे परिचय के लिए, लेख देखें, 'कोसंबी-कार्टन-चेर्न सिद्धांत क्या है?'।