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

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

का स्थानीय प्रतिनिधित्व है। सेमीस्प्रे H (पूर्ण) स्प्रे है, यदि 'स्प्रे गुणांक' Gi निम्नलिखित समीकरण को संतुष्ट करते हैं-
 * $$G^i(x,\lambda\xi) = \lambda^2G^i(x,\xi),\quad \lambda>0.\,$$

लैग्रैन्जियन यांत्रिकी में सेमीस्प्रे

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

TM पर संबंधित निर्देशांक में समाकलज क्रिया की प्रथम भिन्नता को इस रूप में अध्यन्न किया जाता है-
 * $$\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:[a,b]→M के निकट γ(t) = γ0(t) से सम्बंधित वेरिएशन सदिश क्षेत्र है| निम्नलिखित अवधारणाओं को प्रस्तुत करके प्रथम भिन्नता सूत्र को शैक्षिक रूप में पुनर्गठित किया जा सकता है:


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

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

मान लीजिए (Xi,Yi) 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 हैमिल्टन सदिश क्षेत्र H के लिए अभिन्न वक्र है। इसलिए यांत्रिक प्रणालियों की गतिशीलता का वर्णन समाकलज क्रिया से उत्पन्न होने वाले सेमीस्प्रे द्वारा किया जाता है।

जियोडेसिक स्प्रे
रीमैनियन कई गुना और फिन्सलर कई गुना की स्थानीय लंबाई को कम करने वाले घटता को 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 है, सार्वजनिक रूप से उपलब्ध पुस्तक फिन्सलर-लग्रेंज ज्योमेट्री बाय बुकातारू और मिरॉन के सेमीस्प्रे के जैकोबी समीकरण। विशेष रूप से नोट 'गतिशील सहसंयोजक व्युत्पन्न' की उनकी अवधारणा है। एक अन्य पेपर में बुकातारू, कॉन्स्टेंटिनस्कु और डाहल इस अवधारणा को 'कौशांबी डेरिवेटिव ऑपरेटर' से संबंधित करते हैं।

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