अभिन्न वक्र

गणित में, एक अभिन्न वक्र एक पैरामीट्रिक वक्र है जो एक साधारण अंतर समीकरण या समीकरणों की प्रणाली के विशिष्ट समाधान का प्रतिनिधित्व करता है।

नाम

अंतर समीकरण या वेक्टर क्षेत्र की प्रकृति और व्याख्या के आधार पर इंटीग्रल कर्व्स को कई अन्य नामों से जाना जाता है। भौतिकी में, एक विद्युत क्षेत्र या चुंबकीय क्षेत्र के लिए अभिन्न वक्र को क्षेत्र रेखा के रूप में जाना जाता है, और द्रव के वेग क्षेत्र के लिए अभिन्न वक्र को स्ट्रीमलाइन, स्ट्रीकलाइन और पाथलाइन के रूप में जाना जाता है। [[गतिशील प्रणाली सिद्धांत]] में, एक गतिशील प्रणाली को नियंत्रित करने वाले अंतर समीकरण के अभिन्न वक्र को प्रक्षेपवक्र या कक्षा (गतिकी) के रूप में संदर्भित किया जाता है।

परिभाषा

मान लीजिए कि F एक स्थिर सदिश क्षेत्र है, जो कि कार्तीय समन्वय प्रणाली (F) के साथ एक सदिश-मूल्यवान फलन है।₁,एफ₂,...,एफ_n), और वह x(t) कार्तीय निर्देशांक (x के साथ एक पैरामीट्रिक वक्र है₁(टी), एक्स₂(टी), ..., एक्स_n(टी))। फिर 'x'(t) 'F' का 'इंटीग्रल कर्व' है, अगर यह साधारण डिफरेंशियल इक्वेशन के ऑटोनॉमस सिस्टम (गणित) का हल है,

${\begin{aligned}{\frac {dx_{1}}{dt}}&=F_{1}(x_{1},\ldots ,x_{n})\\&\vdots \\{\frac {dx_{n}}{dt}}&=F_{n}(x_{1},\ldots ,x_{n}).\end{aligned}}$

ऐसी प्रणाली को एकल सदिश समीकरण के रूप में लिखा जा सकता है,

$\mathbf {x} '(t)=\mathbf {F} (\mathbf {x} (t)).\!\,$

यह समीकरण कहता है कि वक्र के साथ किसी भी बिंदु x(t) पर वक्र की सदिश स्पर्शरेखा ठीक सदिश F(x(t)) है, और इसलिए वक्र x(t') ') सदिश क्षेत्र F के प्रत्येक बिंदु पर स्पर्शरेखा है।

यदि दिया गया सदिश क्षेत्र लिप्सचिट्ज़ निरंतर है, तो पिकार्ड-लिंडेलोफ़ प्रमेय का तात्पर्य है कि कम समय के लिए एक अनूठा प्रवाह मौजूद है।

उदाहरण

डिफरेंशियल इक्वेशन dy / dx = x के अनुरूप ढलान का मैदान के लिए तीन इंटीग्रल कर्व्स² − x − 2.

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

अलग-अलग मैनिफोल्ड्स के लिए सामान्यीकरण

परिभाषा

बता दें कि एम क्लास सी का एक बनच कई गुना है^r साथ में r ≥ 2. हमेशा की तरह, TM M के स्पर्शरेखा बंडल को उसके प्राकृतिक प्रक्षेपण (गणित) π के साथ दर्शाता है_M : टीएम → एम द्वारा दिया गया

$\pi _{M}:(x,v)\mapsto x.$

M पर एक वेक्टर फ़ील्ड एक फाइबर बंडल # सेक्शन | स्पर्शरेखा बंडल TM का क्रॉस-सेक्शन है, यानी उस बिंदु पर M के स्पर्शरेखा वेक्टर के कई गुना M के हर बिंदु के लिए एक असाइनमेंट। X को वर्ग C के M पर एक सदिश क्षेत्र होने दें^r−1 और मान लीजिए p ∈ M. समय t पर p से गुजरने वाले X के लिए एक 'अभिन्न वक्र'₀ वर्ग C का एक वक्र α : J → M है^r−1, t युक्त वास्तविक रेखा 'R' के एक अंतराल (गणित) J पर परिभाषित₀, ऐसा है कि

$\alpha (t_{0})=p;\,$

$\alpha '(t)=X(\alpha (t)){\mbox{ for all }}t\in J.$

साधारण अवकल समीकरणों से संबंध

सदिश क्षेत्र X के लिए समाकल वक्र α की उपरोक्त परिभाषा, समय t पर p से होकर गुजरती है₀, यह कहने के समान है कि α सामान्य अंतर समीकरण/प्रारंभिक मूल्य समस्या का स्थानीय समाधान है

$\alpha (t_{0})=p;\,$

$\alpha '(t)=X(\alpha (t)).\,$

यह इस अर्थ में स्थानीय है कि यह केवल जे में समय के लिए परिभाषित है, और जरूरी नहीं कि सभी टी ≥ टी के लिए₀ (अकेले टी ≤ टी₀). इस प्रकार, समाकल वक्रों के अस्तित्व और अद्वितीयता को सिद्ध करने की समस्या वही है जो सामान्य अवकल समीकरणों/प्रारंभिक मान समस्याओं के हल खोजने और यह दर्शाने की है कि वे अद्वितीय हैं।

=== समय व्युत्पन्न === पर टिप्पणी

उपरोक्त में, α'(t) समय टी पर α के व्युत्पन्न को दर्शाता है, दिशा α समय टी पर इंगित कर रहा है। अधिक सारगर्भित दृष्टिकोण से, यह फ्रेचेट व्युत्पन्न है:

$(\mathrm {d} _{t}\alpha )(+1)\in \mathrm {T} _{\alpha (t)}M.$

विशेष मामले में कि एम 'आर' का कुछ खुला उपसमुच्चय हैⁿ, यह परिचित अवकलज है

$\left({\frac {\mathrm {d} \alpha _{1}}{\mathrm {d} t}},\dots ,{\frac {\mathrm {d} \alpha _{n}}{\mathrm {d} t}}\right),$

जहां α₁, ..., ए_n सामान्य निर्देशांक दिशाओं के संबंध में α के निर्देशांक हैं।

प्रेरित होमोमोर्फिज्म के संदर्भ में एक ही बात को और भी सारगर्भित रूप से अभिव्यक्त किया जा सकता है। ध्यान दें कि J का स्पर्शरेखा बंडल TJ फाइबर बंडल#ट्रिवियल बंडल J × 'R' है और इस बंडल का एक विहित रूप क्रॉस-सेक्शन ι है जैसे कि ι(t) = 1 (या, अधिक सटीक रूप से, (t, 1) ∈ ι) सभी t ∈ J के लिए। वक्र α एक बंडल मानचित्र α को प्रेरित करता है_∗ : टीजे → टीएम ताकि निम्न आरेख कम्यूट हो:

फिर समय व्युत्पन्न α′ फ़ंक्शन रचना α′ = α है_∗ o ι, और α′(t) किसी बिंदु t ∈ J पर इसका मान है।

संदर्भ

• Lang, Serge (1972). Differential manifolds. Reading, Mass.–London–Don Mills, Ont.: Addison-Wesley Publishing Co., Inc.