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

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

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

जहाँ F:TM→'R' फिन्सलर मैनिफोल्ड है। रीमैनियन स्तिथि में F2(x,ξ) = gij(x)ξiξj का उपयोग होता है| रीमैनियन स्तिथि में यह ज्ञात होता है कि वास्तविक टेन्सर gij(x,ξ) मात्र रीमैनियन मीट्रिक gij(x) है।

$$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. $$

यांत्रिकी के संदर्भ में अंतिम समीकरण सिद्ध करता है कि प्रणाली में सभी ऊर्जा (M,L) गतिज रूप में है। इसके अतिरिक्त, समरूपता गुण प्राप्त करता है-
 * $$ 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), $$ यांत्रिक प्रणाली के लिए हैमिल्टनियन सदिश क्षेत्र H पूर्ण स्प्रे है। फिन्सलर मैनिफोल्ड की स्थिर गति जियोडेसिक्स को इस स्प्रे द्वारा निम्नलिखित कारणों से वर्णित किया गया है:
 * चूँकि फिन्सलर रिक्त स्थान के लिए gξ सकारात्मक निश्चित है, कार्यात्मक लंबाई के लिए पर्याप्त स्थिर वक्र लंबाई को कम करता है।
 * समाकलज क्रिया के लिए प्रत्येक स्थिर वक्र स्थिर गति $$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 को फिन्सलर मैनिफोल्ड (M,F) का जियोडेसिक स्प्रे कहा जाता है और संबंधित प्रवाह ΦHt(ξ) को जियोडेसिक प्रवाह कहा जाता है।

अरैखिक संबंध के साथ समानता
सेमीस्प्रे $$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 पर इस संबंध में सदैव टॉरशन टेंसर होता है, जिसे फ्रोलिचर-निजेनहुइस ब्रैकेट T=[J,v] के रूप में परिभाषित किया गया है

प्राथमिक शब्दों में टॉरशन को परिभाषित किया जा सकता है,
 * $$\displaystyle T(X,Y) = J[hX,hY] - v[JX,hY) - v[hX,JY]. $$

TM\0 पर कैनोनिकल सदिश क्षेत्र V और प्रेरित सम्बन्ध की संलग्न संरचना Θ सेमीस्प्रे के क्षैतिज भाग को hH=Θ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. $$ इस संबंध से ज्ञात होता है कि प्रेरित संबंध सजातीय है यदि H पूर्ण स्प्रे है।

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

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