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

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

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

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

औपचारिक परिभाषाएँ

एम को एक अलग-अलग कई गुना होने दें और (टीएम, π_TM, एम) इसकी स्पर्शरेखा बंडल। फिर टीएम पर एक सदिश क्षेत्र एच (अर्थात, डबल स्पर्शरेखा बंडल टीटीएम का एक खंड (फाइबर बंडल)) एम पर एक 'सेमिस्प्रे' है, यदि निम्नलिखित तीन समकक्ष स्थितियों में से कोई भी हो:

• (π_TM)_*H_ξ = ξ।
• जेएच = वी, जहां जे टीएम पर स्पर्शरेखा बंडल पर डबल स्पर्शरेखा बंडल # कैननिकल टेंसर फ़ील्ड है और वी टीएम \ 0 पर कैननिकल वेक्टर फ़ील्ड है।
• j∘H=H, जहां j:TTM→TTM डबल टेंगेंट बंडल # सेकेंडरी वेक्टर बंडल स्ट्रक्चर और कैनोनिकल फ्लिप है और H को मैपिंग TM→TTM के रूप में देखा जाता है।

एम पर एक सेमीस्प्रे एच एक '(पूर्ण) स्प्रे' है, यदि निम्न समतुल्य स्थितियों में से कोई भी हो:

• एच_λξ = λ_*(एलएच_ξ), जहां λ_*:TTM→TTM एक सकारात्मक स्केलर λ>0 द्वारा गुणन λ:TM→TM का पुश-फॉरवर्ड है।
• विहित सदिश क्षेत्र V के साथ H का लाई-व्युत्पन्न [V,H]=H को संतुष्ट करता है।
• इंटीग्रल कर्व्स t→Φ_H^t(ξ)∈TM\0 का H संतुष्ट Φ_H^टी(λξ)=λΦ_H^λt(ξ) किसी भी λ>0 के लिए।

होने देना $(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 ^{2}G^{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: [ए, बी] → एम लगभग γ (टी) = γ₀(टी)। निम्नलिखित अवधारणाओं को प्रस्तुत करके इस प्रथम भिन्नता सूत्र को अधिक जानकारीपूर्ण रूप में पुनर्गठित किया जा सकता है:

• कोवेक्टर $\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_{x}M$.
• इसी एक रूप $\mathrm{\alpha <!--\; \alpha \; -->}\in <!--\; \in \; -->{\mathrm{\Omega <!--\; \Omega \; -->}}^1$