View source for जेट (गणित)

गणित में, जेट एक संक्रिया है जो एक भिन्न फलन ''f'' लेता है और अपने कार्यक्षेत्र के प्रत्येक बिंदु पर एक [[बहुपद]], ''f'' का छोटा [[टेलर बहुपद]] उत्पन्न करता है। हालाँकि यह एक जेट की परिभाषा है, जेट का सिद्धांत इन बहुपदों को बहुपद फलनों के बजाय अमूर्त बहुपद मानता है।

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

==यूक्लिडीय समष्टियों के मध्य फलनों के जेट==

जेट की कठोर परिभाषा देने से पहले, कुछ विशेष स्थितियों की जांच करना उपयोगी है।

===एक-आयामी स्थिति===

मान लीजिए कि <math>f: {\mathbb R}\rightarrow{\mathbb R}</math> एक वास्तविक-मूल्यवान फलन है जिसमें बिंदु <math>x_0</math> के [[पड़ोस (गणित)|प्रतिवेश]] U में कम-से-कम k + 1 अवकलज है फिर टेलर के प्रमेय द्वारा,

:<math>f(x)=f(x_0)+f'(x_0)(x-x_0)+\cdots+\frac{f^{(k)}(x_0)}{k!}(x-x_0)^{k}+\frac{R_{k+1}(x)}{(k+1)!}(x-x_0)^{k+1}</math>
जहाँ
:<math>|R_{k+1}(x)|\le\sup_{x\in U} |f^{(k+1)}(x)|</math>
फिर बिंदु पर ''f'' का '''''k''-जेट''' <math>x_0</math> को बहुपद के रूप में परिभाषित किया गया है:
:<math>(J^k_{x_0}f)(z)
=\sum_{i=0}^k \frac{f^{(i)}(x_0)}{i!}z^i
=f(x_0)+f'(x_0)z+\cdots+\frac{f^{(k)}(x_0)}{k!}z^k</math>
जेट को सामान्यतः चर z में अमूर्त बहुपद के रूप में माना जाता है, न कि उस चर में वास्तविक बहुपद फलनों के रूप में माना जाता है। दूसरे शब्दों में, z एक [[अनिश्चित (चर)|अनिश्चित चर]] है जो जेट के मध्य विभिन्न [[अमूर्त बीजगणित|बीजीय]] करने की संचालन करने की अनुमति देता है। वास्तव में यह आधार-बिंदु <math>x_0</math>है, जिससे जेट अपनी कार्यात्मक निर्भरता प्राप्त करते हैं। इस प्रकार, आधार-बिंदु को अलग-अलग करके, एक जेट प्रत्येक बिंदु पर अधिकतम k क्रम का बहुपद उत्पन्न करता है। यह जेट और संक्षिप्त टेलर श्रृंखला के मध्य एक महत्वपूर्ण वैचारिक अंतर को दर्शाता है: सामान्यतः टेलर श्रृंखला को इसके आधार-बिंदु के बजाय इसके चर पर कार्यात्मक रूप से निर्भर माना जाता है। दूसरी ओर, जेट, टेलर श्रृंखला के बीजगणितीय गुणों को उनके कार्यात्मक गुणों से अलग करते हैं। हम लेख में बाद में इस विभाजन के कारणों और अनुप्रयोगों पर चर्चा करेंगे।

===एक यूक्लिडीय समष्टि से दूसरे तक मानचित्रण===
मान लीजिए कि <math>f:{\mathbb R}^n\rightarrow{\mathbb R}^m</math> एक यूक्लिडीय समष्टि से दूसरे यूक्लिडीय समष्टि में कम-से-कम (k + 1) अवकलज वाला एक फलन है। इस स्थिति में, टेलर का प्रमेय इस बात पर जोर देता है:

:<math>
\begin{align}
f(x)=f(x_0)+ (Df(x_0))\cdot(x-x_0)+ {} & \frac{1}{2}(D^2f(x_0))\cdot (x-x_0)^{\otimes 2} + \cdots \\[4pt]
& \cdots +\frac{D^kf(x_0)}{k!}\cdot(x-x_0)^{\otimes k}+\frac{R_{k+1}(x)}{(k+1)!}\cdot(x-x_0)^{\otimes (k+1)}
\end{align}
</math>
तब f के k-जेट को बहुपद के रूप में परिभाषित किया जाता है:

:<math>(J^k_{x_0}f)(z)=f(x_0)+(Df(x_0))\cdot z+\frac{1}{2}(D^2f(x_0))\cdot z^{\otimes 2} + \cdots + \frac{D^kf(x_0)}{k!}\cdot z^{\otimes k}</math>
<math>{\mathbb R}[z]</math>में, जहाँ <math>z=(z_1,\ldots,z_n)</math> है।

===जेट्स के बीजगणितीय गुणधर्म===

दो बुनियादी बीजगणितीय संरचनाएँ हैं जिन्हें जेट ले जा सकते हैं। पहला उत्पाद संरचना है, हालाँकि अंततः यह सबसे कम महत्वपूर्ण सिद्ध होता है। दूसरा जेटों के संयोजन की संरचना है।

यदि <math>f,g:{\mathbb R}^n\rightarrow {\mathbb R}</math> वास्तविक-मूल्यवान फलनों का एक युग्म है, तो हम उनके जेट के उत्पाद को इसके माध्यम से परिभाषित कर सकते हैं।

:<math>J^k_{x_0}f\cdot J^k_{x_0}g=J^k_{x_0}(f\cdot g)</math>
यहां हमने अनिश्चित z को निरूद्ध कर दिया है, क्योंकि यह समझा जाता है कि जेट औपचारिक बहुपद हैं। यह उत्पाद केवल z, मापांको में सामान्य बहुपदों  <math>z^{k+1}</math>का उत्पाद है। दूसरे शब्दों में, यह वलय <math>{\mathbb R}[z]/(z^{k+1})</math>में गुणन है, जहाँ <math>(z^{k+1})</math> क्रम ≥ k + 1 के सजातीय बहुपदों द्वारा उत्पन्न [[आदर्श (रिंग सिद्धांत)|आदर्श]] है।

अब हम जेटों की संरचना की ओर बढ़ते हैं। अनावश्यक प्राविधिकता से बचने के लिए, हम फलनों के जेट पर विचार करते हैं जो मूल को मूल से प्रतिचित्र करते हैं। यदि <math>f:{\mathbb R}^m\rightarrow{\mathbb R}^\ell</math> और <math>g:{\mathbb R}^n\rightarrow{\mathbb R}^m</math> के साथ, f(0)=0 और g(0)=0 है, तब <math>f\circ g:{\mathbb R}^n \rightarrow{\mathbb R}^\ell</math> है। जेट की संरचना <math>J^k_0 f\circ J^k_0 g=J^k_0 (f\circ g)</math> को परिभाषित किया गया है। [[श्रृंखला नियम]] का उपयोग करके इसे सरलता से सत्यापित किया जाता है कि यह मूल में जेट के समष्टि पर एक सहयोगी गैर-अनुवांशिक संचालन का गठन करता है।

वास्तव में, k-जेट्स की संरचना बहुपद मापांको की संरचना से अधिक कुछ नहीं है, क्रम <math>> k</math> के सजातीय बहुपदों का आदर्श है।

उदाहरण:
*एक आयाम में, मान लीजिए <math>f(x)=\log(1-x)</math> और <math>g(x)=\sin\,x</math> है। तब

:<math>(J^3_0f)(x)=-x-\frac{x^2}{2}-\frac{x^3}{3}</math>
:<math>(J^3_0g)(x)=x-\frac{x^3}{6}</math>
और

:<math>
\begin{align}
& (J^3_0f)\circ (J^3_0g)=-\left(x-\frac{x^3}{6}\right)-\frac{1}{2}\left(x-\frac{x^3}{6}\right)^2-\frac{1}{3} \left(x-\frac{x^3}{6}\right)^3 \pmod{x^4} \\[4pt]
= {} & -x-\frac{x^2}{2}-\frac{x^3}{6}
\end{align}
</math>


==यूक्लिडीय समष्टि में एक बिंदु पर जेट: कठोर परिभाषाएँ==

===विश्लेषणात्मक परिभाषा===
निम्नलिखित परिभाषा जेट और जेट समष्टि को परिभाषित करने के लिए [[गणितीय विश्लेषण]] के विचारों का उपयोग करती है। इसे [[बानाच स्थान|बानाच]] समष्टियों के मध्य [[सुचारू कार्य|सहज]] फलनों, वास्तविक या [[जटिल विश्लेषण|जटिल कार्यक्षेत्र]] के मध्य [[विश्लेषणात्मक कार्य|विश्लेषणात्मक]] फलनों, [[पी-एडिक विश्लेषण|p-एडिक विश्लेषण]] और विश्लेषण के अन्य क्षेत्रों के लिए सामान्यीकृत किया जा सकता है।

मान लीजिए कि <math>C^\infty({\mathbb R}^n,{\mathbb R}^m)</math> [[सुचारू कार्य|सहज]] फलनों <math>f:{\mathbb R}^n\rightarrow {\mathbb R}^m</math> की सदिश समष्टि है। k एक गैर-ऋणात्मक पूर्णांक है और p एक बिंदु <math>{\mathbb R}^n</math> है। हम एक तुल्यता संबंध <math>E_p^k</math> को परिभाषित करते हैं। इस समष्टि पर यह घोषणा करते हुए कि दो फलन f और g अनुक्रम के बराबर हैं यदि f और g का मान p पर समान है और उनके सभी आंशिक व्युत्पन्न p पर सहमत हैं (और इसमें सम्मिलित) उनके k-वें-अनुक्रम व्युत्पन्न हैं। संक्षेप में,<math>f \sim g \,\!</math> यदि <math> f-g = 0 </math> से k-वें क्रम तक है।

k-वें-अनुक्रम जेट समष्टि <math>C^\infty({\mathbb R}^n,{\mathbb R}^m)</math> को p पर समतुल्य वर्गों के समुच्चय <math>E^k_p</math> के रूप में परिभाषित किया गया है और <math>J^k_p({\mathbb R}^n,{\mathbb R}^m)</math> द्वारा दर्शाया गया है। 

एक सहज फलन के ''p'' पर ''k''-वें-अनुक्रम जेट <math>f\in C^\infty({\mathbb R}^n,{\mathbb R}^m)</math> को f के तुल्यता वर्ग <math>J^k_p({\mathbb R}^n,{\mathbb R}^m)</math> के रूप में परिभाषित किया गया है।

===बीजगणितीय-ज्यामितीय परिभाषा===
निम्नलिखित परिभाषा जेट और जेट समष्टि की धारणा स्थापित करने के लिए [[बीजगणितीय ज्यामिति]] और [[क्रमविनिमेय बीजगणित]] के विचारों का उपयोग करती है। हालाँकि यह परिभाषा बीजगणितीय ज्यामिति में उपयोग के लिए विशेष रूप से उपयुक्त नहीं है, क्योंकि इसे सहज श्रेणी में रखा गया है, इसे सरलता से ऐसे उपयोगों के अनुरूप बनाया जा सकता है।

मान लीजिए कि <math>C_p^\infty({\mathbb R}^n,{\mathbb R}^m)</math> सहज फलनों के एक बिंदु p पर <math>{\mathbb R}^n</math>में, [[रोगाणु (गणित)|मूलों]] की सदिश समष्टि <math>f:{\mathbb R}^n\rightarrow {\mathbb R}^m</math> है। <math>{\mathfrak m}_p</math> ऐसे फलनों के मूलों से युक्त आदर्श है जो p पर लुप्त हो जाते हैं। यह [[स्थानीय रिंग|स्थानीय वलय]]  <math>C_p^\infty({\mathbb R}^n,{\mathbb R}^m)</math> के लिए अधिकतम आदर्श है। फिर आदर्श <math>{\mathfrak m}_p^{k+1}</math> में सभी कार्यशील मूल सम्मिलित होते हैं जो p पर k क्रम में लुप्त हो जाते हैं। अब हम जेट समष्टि को p द्वारा परिभाषित कर सकते हैं।

:<math>J^k_p({\mathbb R}^n,{\mathbb R}^m)=C_p^\infty({\mathbb R}^n,{\mathbb R}^m)/{\mathfrak m}_p^{k+1}</math>
यदि <math>f:{\mathbb R}^n\rightarrow {\mathbb R}^m</math> एक सहज फलन है, हम p पर f के k-जेट को व्यवस्थित करके तत्व <math>J^k_p({\mathbb R}^n,{\mathbb R}^m)</math> के रूप में परिभाषित कर सकते हैं।

:<math>J^k_pf=f \pmod {{\mathfrak m}_p^{k+1}}</math>
यह अधिक सामान्य निर्माण है। एक <math>\mathbb{F}</math>-समष्टि <math>M</math> के लिए, मान लीजिए कि <math>\mathcal{F}_p</math> [[संरचना शीफ|संरचना पूली]] का आधार <math>p</math> और <math>{\mathfrak m}_p</math> स्थानीय वलय का अधिकतम आदर्श <math>\mathcal{F}_p</math> हैं। k-वें जेट समष्टि पर <math>p</math> को वलय <math>J^k_p(M)=\mathcal{F}_p/{\mathfrak m}_p^{k+1}</math>(<math>{\mathfrak m}_p^{k+1}</math> आदर्शों का गुणनफल है) के रूप में परिभाषित किया गया है।

===टेलर का प्रमेय===
परिभाषा के बावजूद, टेलर का प्रमेय सदिश समष्टियों के मध्य एक विहित समरूपता <math>J^k_p({\mathbb R}^n,{\mathbb R}^m)</math> और <math>{\mathbb R}^m[z_1, \dotsc, z_n]/(z_1, \dotsc, z_n)^{k+1}</math> स्थापित करता है, तो यूक्लिडीय संदर्भ में, जेट को सामान्यतः इस समरूपता के अंतर्गत उनके बहुपद प्रतिनिधियों के साथ पहचाना जाता है।

===एक बिंदु से एक बिंदु तक जेट समष्टि===
हमने समष्टि <math>J^k_p({\mathbb R}^n,{\mathbb R}^m)</math>, एक बिंदु पर जेट की <math>p\in {\mathbb R}^n</math>को परिभाषित किया है। इसका उपसमष्टि फलन f के जेटों से युक्त है जिससे कि f(p)=q द्वारा निरूपित किया जाता है:
:<math>J^k_p({\mathbb R}^n,{\mathbb R}^m)_q=\left\{J^kf\in J^k_p({\mathbb R}^n,{\mathbb R}^m) \mid f(p) = q \right\}</math>


== दो बहुविध के मध्य फलनों के जेट ==

यदि M और N दो सहज बहुविध हैं, तो हम किसी फलन <math>f:M\rightarrow N</math> के जेट को कैसे परिभाषित करते हैं ? हम सम्भवतः M और N पर स्थानीय निर्देशांक का उपयोग करके ऐसे जेट को परिभाषित करने का प्रयास कर सकते हैं। इसकी हानि यह है कि जेट को इस प्रकार अपरिवर्तनीय तरीके से परिभाषित नहीं किया जा सकता है। जेट [[टेंसर]] के रूप में परिवर्तित नहीं होते हैं। इसके बजाय, दो बहुविधों के मध्य फलनों के जेट एक [[जेट बंडल|जेट समूह]] से संबंधित होते हैं।

===वास्तविक रेखा से बहुविध तक फलनों के जेट===
मान लीजिए कि M एक सहज बहुविध है जिसमें एक बिंदु p है। हम p के माध्यम से [[वक्र|वक्रों]] के जेट को परिभाषित करेंगे, जिसके द्वारा अब हमारा तात्पर्य सहज फलनों <math>f:{\mathbb R}\rightarrow M</math> से ऐसा है कि f(0)=p है। इस प्रकार, तुल्यता संबंध <math>E_p^k</math> को परिभाषित करें। मान लीजिए कि f और g, p से होकर गुजरने वाले वक्रों का एक युग्म हैं। हम तब कहेंगे कि f और g, p पर अनुक्रम के के बराबर हैं यदि p का कुछ [[पड़ोस (गणित)|प्रतिवेश]] U है, जैसे कि, प्रत्येक सहज फलन <math>\varphi : U \rightarrow {\mathbb R}</math>, <math>J^k_0 (\varphi\circ f)=J^k_0 (\varphi\circ g)</math> के लिए है। ध्यान दें कि ये जेट समग्र फलनों <math>\varphi\circ f</math> और <math>\varphi\circ g</math>  के बाद से अच्छी तरह से परिभाषित हैं, वास्तविक रेखा से स्वयं की प्रतिचित्रिण हैं। इस तुल्यता संबंध को कभी-कभी p पर वक्रों के मध्य k-वें-क्रम संपर्क कहा जाता है।

अब हम p से p तक वक्र के k-जेट को f के समतुल्य वर्ग <math>E^k_p</math> के रूप में परिभाषित करते हैं, निरूपित <math>J^k\! f\,</math> या <math>J^k_0f</math> है। ''k''-वें-अनुक्रम जेट समष्टि <math>J^k_0({\mathbb R},M)_p</math> तो p पर k-जेट्स का समुच्चय है।
 
चूँकि p, M से भिन्न होता है, <math>J^k_0({\mathbb R},M)_p</math>, M के ऊपर एक [[फाइबर बंडल|फाइबर समूह]] बनाता है: k-वें-क्रम [[स्पर्शरेखा बंडल|स्पर्शरेखा समूह]], जिसे प्रायः साहित्य में ''T<sup>k</sup>M'' द्वारा दर्शाया जाता है (हालाँकि यह संकेतन कभी-कभी भ्रम उत्पन्न कर सकता है)। स्थिति में k=1, तो प्रथम-क्रम स्पर्शरेखा समूह सामान्य स्पर्शरेखा समूह T<sup>1</sup>M=TM है।

यह सिद्ध करने के लिए कि ''T<sup>k</sup>M'' वास्तव में एक फाइबर समूह है। स्थानीय निर्देशांक में, इसके गुणों <math>J^k_0({\mathbb R},M)_p</math> की जांच करना शिक्षाप्रद है। मान लीजिए (x<sup>i</sup>)= (x<sup>1</sup>,...,x<sup>n</sup>), p के प्रतिवेश U में M के लिए एक स्थानीय समन्वय प्रणाली है। संकेतन का थोड़ा दुरुपयोग करते हुए, हम (''x<sup>i</sup>'') को स्थानीय भिन्नता <math>(x^i):M\rightarrow\R^n</math> के रूप में मान सकते हैं। 

अनुरोध है कि p से होकर गुजरने वाले दो वक्र f और g समतुल्य मापांक <math>E_p^k</math> हैं, यदि और केवल यदि <math>J^k_0\left((x^i)\circ f\right)=J^k_0\left((x^i)\circ g\right)</math>है।

:वास्तव में, केवल तभी भाग स्पष्ट है, क्योंकि प्रत्येक n फलन ''x''<sup>1</sup>,...,''x<sup>n</sup>'',M से <math>{\mathbb R}</math> तक एक सहज फलन है, तो तुल्यता संबंध <math>E_p^k</math> की परिभाषा के अनुसार, दो समतुल्य वक्र <math>J^k_0(x^i\circ f)=J^k_0(x^i\circ g)</math> होने चाहिए।

:इसके विपरीत, मान लीजिए <math>\varphi</math>; p के प्रतिवेश में M पर एक सहज वास्तविक-मूल्यवान फलन है। चूँकि प्रत्येक सहज फलन की एक स्थानीय समन्वय अभिव्यक्ति होती है, हम निर्देशांक में एक फलन के रूप में, <math>\varphi</math> व्यक्त कर सकते हैं। विशेष रूप से, यदि q, p के निकट M का एक बिंदु है, तो

::<math>\varphi(q)=\psi(x^1(q),\dots,x^n(q))</math>
:n वास्तविक चरों के कुछ सहज वास्तविक-मूल्यवान फलन ψ के लिए है। इसलिए, p से होकर गुजरने वाले दो वक्रों f और g के लिए, हमारे पास है;

::<math>\varphi\circ f=\psi(x^1\circ f,\dots,x^n\circ f)</math>
::<math>\varphi\circ g=\psi(x^1\circ g,\dots,x^n\circ g)</math>
:श्रृंखला नियम अब अनुरोध के ''if'' भाग को स्थापित करता है। उदाहरण के लिए, यदि f और g वास्तविक चर t के फलन हैं, तो

::<math>\left. \frac{d}{dt} \left( \varphi\circ f \right) (t) \right|_{t=0}= \sum_{i=1}^n\left.\frac{d}{dt}(x^i\circ f)(t)\right|_{t=0}\ (D_i\psi)\circ f(0)</math>
:जो f के बजाय g के विरुद्ध मूल्यांकन करने पर समान अभिव्यक्ति के बराबर है, यह विचार करते हुए कि f(0)=g(0)=p और f और g समन्वय प्रणाली (''x<sup>i</sup>'') में k-वें-क्रम संपर्क में हैं।

इसलिए प्रत्यक्ष फाइबर समूह ''T<sup>k</sup>M'' प्रत्येक समन्वयित प्रतिवेश में स्थानीय तुच्छीकरण को स्वीकार करता है। इस बिंदु पर, यह सिद्ध करने के लिए कि यह प्रत्यक्ष फाइबर समूह वास्तव में एक फाइबर समूह है, यह स्थापित करना पर्याप्त है कि इसमें निर्देशांक के परिवर्तन के अंतर्गत गैर-अद्वितीय परिवर्ती फलन हैं। मान लीजिए कि <math>(y^i):M\rightarrow{\mathbb R}^n</math> एक भिन्न समन्वय प्रणाली हैं और <math>\rho=(x^i)\circ (y^i)^{-1}:{\mathbb R}^n\rightarrow {\mathbb R}^n</math> यूक्लिडीय समष्टि के निर्देशांक भिन्नता का संबद्ध परिवर्तन स्वयं हो। <math>{\mathbb R}^n</math> के एक [[एफ़िन परिवर्तन]] के माध्यम से, हम व्यापकता खोए बिना यह मान सकते हैं कि ρ(0)=0 है। इस धारणा के साथ, यह सिद्ध करने के लिए पर्याप्त है <math>J^k_0\rho:J^k_0({\mathbb R}^n,{\mathbb R}^n)\rightarrow J^k_0({\mathbb R}^n,{\mathbb R}^n)</math> जेट संरचना के अंतर्गत एक व्युत्क्रम परिवर्तन है। ([[जेट समूह]] भी देखें।) परन्तु चूँकि ρ एक भिन्नरूपता है, <math>\rho^{-1}</math> एक सहज मानचित्रण भी है। इस तरह,

:<math>I=J^k_0I=J^k_0(\rho\circ\rho^{-1})=J^k_0(\rho)\circ J^k_0(\rho^{-1})</math>
जो सिद्ध करता है कि <math>J^k_0\rho</math> गैर-अद्वितीय है। इसके अतिरिक्त, यह सहज है, हालाँकि हम यहाँ उस तथ्य को सिद्ध नहीं करते हैं।

सहज रूप से, इसका अर्थ यह है कि हम m पर स्थानीय निर्देशांक में टेलर श्रृंखला के संदर्भ में p के माध्यम से एक वक्र के जेट को व्यक्त कर सकते हैं।

स्थानीय निर्देशांक में उदाहरण:

* जैसा कि पहले संकेत दिया गया है, p के माध्यम से वक्र का 1-जेट एक स्पर्शरेखा सदिश है। p पर एक स्पर्शरेखा सदिश एक प्रथम-क्रम अंतर प्रचालक है जो p पर सहज वास्तविक-मान वाले फलनों पर कार्य करता है। स्थानीय निर्देशांक में, प्रत्येक स्पर्शरेखा सदिश का रूप होता है;

::<math>v=\sum_iv^i\frac{\partial}{\partial x^i}</math>
:ऐसे स्पर्शरेखा सदिश v को देखते हुए, मान लीजिए कि f,  ''x<sup>i</sup>'' निर्देशांक प्रणाली में दिया गया वक्र <math>x^i\circ f(t)=tv^i</math> है। यदि φ(p)=0 के साथ p के प्रतिवेश में एक सहज फलन है, तो

::<math>\varphi\circ f:{\mathbb R}\rightarrow {\mathbb R}</math>
:एक चर राशि का एक सहज वास्तविक-मूल्यवान फलन है जिसका 1-जेट द्वारा दिया गया है;

::<math>J^1_0(\varphi\circ f)(t)=\sum_itv^i \frac{\partial \varphi}{\partial x^i}(p)</math>
:जो यह सिद्ध करता है कि कोई व्यक्ति स्वाभाविक रूप से उस बिंदु से गुजरने वाले वक्रों के 1-जेट के साथ एक बिंदु पर स्पर्शरेखा सदिश की पहचान कर सकता है।

* एक बिंदु से होकर गुजरने वाले वक्रों के 2-जेटों की समष्टि है। एक बिंदु p पर केन्द्रित एक स्थानीय समन्वय प्रणाली ''x<sup>i</sup>'' में, हम वक्र f(t) से p तक के दूसरे क्रम के टेलर बहुपद को व्यक्त कर सकते हैं।
::<math>J_0^2(x^i(f))(t)=t\frac{dx^i(f)}{dt}(0)+\frac{t^2}{2}\frac{d^2x^i(f)}{dt^2}(0).</math>
:तो x समन्वय प्रणाली में, p के माध्यम से वक्र के 2-जेट को वास्तविक संख्याओं <math>(\dot{x}^i,\ddot{x}^i)</math> की सूची से पहचाना जाता है। एक बिंदु पर स्पर्शरेखा सदिशों (वक्रों के 1-जेट्स) की तरह, वक्रों के 2-जेट्स समन्वय परिवर्ती फलनों के अनुप्रयोग पर एक परिवर्तन नियम का पालन करते हैं।

:मान लीजिए (y<sup>i</sup>) एक अन्य समन्वय प्रणाली है। शृंखला नियम से,

::<math>
\begin{align}
\frac{d}{dt}y^i(f(t)) & = \sum_j\frac{\partial y^i}{\partial x^j}(f(t))\frac{d}{dt}x^j(f(t)) \\[5pt]
\frac{d^2}{dt^2}y^i(f(t)) & = \sum_{j,k}\frac{\partial^2 y^i}{\partial x^j \, \partial x^k}(f(t))\frac{d}{dt}x^j(f(t)) \frac{d}{dt}x^k(f(t))+\sum_j\frac{\partial y^i}{\partial x^j}(f(t))\frac{d^2}{dt^2}x^j(f(t))
\end{align}
</math>
:इसलिए, परिवर्तन नियम इन दो अभिव्यक्तियों का t = 0 पर मूल्यांकन करके दिया गया है।

::<math>
\begin{align}
& \dot{y}^i=\sum_j\frac{\partial y^i}{\partial x^j}(0)\dot{x}^j \\[5pt]
& \ddot{y}^i=\sum_{j,k}\frac{\partial^2 y^i}{\partial x^j \, \partial x^k}(0)\dot{x}^j\dot{x}^k+\sum_j\frac{\partial y^i}{\partial x^j}(0)\ddot{x}^j
\end{align}
</math>
:ध्यान दें कि 2-जेट के लिए परिवर्तन नियम समन्वय परिवर्ती फलनों में दूसरे क्रम का है।

===बहुविध से बहुविध तक फलनों के जेट===
अब हम किसी फलन के जेट को बहुविध से बहुविध तक परिभाषित करने के लिए तैयार हैं।

मान लीजिए कि M और N दो सहज बहुविध हैं। p, M का एक बिंदु है। समष्टि <math>C^\infty_p(M,N)</math> पर विचार करें, जिसमें सहज मानचित्र <math>f:M\rightarrow N</math> सम्मिलित हैं, p के कुछ प्रतिवेश परिभाषित किया गया है। इस प्रकार, हम एक तुल्यता संबंध <math>E^k_p</math> पर <math>C^\infty_p(M,N)</math> को परिभाषित करते हैं। दो मानचित्र f और g को समतुल्य कहा जाता है यदि, प्रत्येक वक्र γ से p के लिए (स्मरण रखें कि हमारे परिपाटियों के अनुसार यह एक मानचित्रण है) <math>\gamma:{\mathbb R}\rightarrow M</math> ऐसा है कि <math>\gamma(0)=p</math>), हमारे पास <math>J^k_0(f\circ \gamma)=J^k_0(g\circ \gamma)</math> 0 के कुछ प्रतिवेश पर हैं।

जेट समष्टि <math>J^k_p(M,N)</math> को तब समतुल्य वर्गों के समुच्चय <math>C^\infty_p(M,N)</math> तुल्यता संबंध मापांको <math>E^k_p</math> के रूप में परिभाषित किया गया है। ध्यान दें कि क्योंकि लक्ष्य समष्टि N में कोई बीजगणितीय संरचना  <math>J^k_p(M,N)</math> होनी आवश्यक नहीं है, ऐसी संरचना की आवश्यकता नहीं है। वास्तव में, यह यूक्लिडीय समष्टि की स्थिति से एकदम विपरीत है।

यदि <math>f:M\rightarrow N</math>, p के पास परिभाषित एक सहज फलन है, तो हम p पर f के k-जेट को परिभाषित करते हैं, <math>J^k_pf</math>, f मापांको का समतुल्य वर्ग <math>E^k_p</math> है।

===मल्टीजेट्स===
[[जॉन माथेर (गणितज्ञ)]] ने मल्टीजेट की धारणा प्रस्तुत की। संक्षेप में कहें तो, मल्टीजेट विभिन्न आधार-बिंदुओं पर जेटों की एक सीमित सूची है। माथेर ने मल्टीजेट [[ट्रांसवर्सेलिटी प्रमेय|अनुप्रस्थता प्रमेय]] को सिद्ध किया, जिसका उपयोग उन्होंने स्थिर प्रतिचित्रण के अपने अध्ययन में किया।

==खंडों के जेट==
मान लीजिए कि E प्रक्षेपण <math>\pi:E\rightarrow M</math> के साथ बहुविध m पर एक परिमित-आयामी सहज सदिश समूह है। फिर E के अनुभाग सहज फलन <math>s:M\rightarrow E</math>, ऐसा है कि <math>\pi\circ s</math>, M की पहचान [[ स्वचालितता |स्वसमाकृतिकता]] है। एक बिंदु p के प्रतिवेश पर एक खंड s का जेट, p पर M से E तक इस सहज फलन का जेट है।

p पर अनुभागों के जेट की समष्टियों <math>J^k_p(M,E)</math> को निरूपित किया जाता है। यद्यपि यह संकेतन दो बहुविधों के मध्य फलनों के अधिक सामान्य जेट समष्टियों के साथ भ्रम उत्पन्न कर सकता है, संदर्भ सामान्यतः ऐसी किसी भी अस्पष्टता को समाप्त कर देता है।

एक बहुविध से दूसरे बहुविध में फलनों के जेट के विपरीत, p पर अनुभागों के जेट का समष्टि स्वयं अनुभागों पर सदिश समष्टि संरचना से विरासत में मिली सदिश समष्टि की संरचना का वहन करता है। चूंकि p, M पर भिन्न होता है, जेट समष्टि <math>J^k_p(M,E)</math>, M के ऊपर एक सदिश समूह बनाता है, जो कि E का k-वें-अनुक्रम जेट समूह है, जिसे ''J<sup>k</sup>''(''E'') द्वारा दर्शाया जाता है।

* उदाहरण: स्पर्शरेखा समूह का प्रथम-क्रम जेट समूह है।
:हम एक बिंदु पर स्थानीय निर्देशांक में कार्य करते हैं और [[ आइंस्टीन संकेतन |आइंस्टीन संकेतन]] का उपयोग करते हैं। एक सदिश क्षेत्र पर विचार करें:

::<math>v=v^i(x)\partial/\partial x^i</math>
:m में p के प्रतिवेश में है। v का 1-जेट सदिश क्षेत्र के गुणांक के पहले क्रम के टेलर बहुपद को लेकर प्राप्त किया जाता है:

::<math>J_0^1v^i(x)=v^i(0)+x^j\frac{\partial v^i}{\partial x^j}(0)=v^i+v^i_jx^j</math>
:x निर्देशांक में, एक बिंदु पर 1-जेट को वास्तविक संख्याओं <math>(v^i,v^i_j)</math> की सूची से पहचाना जा सकता है। जिस प्रकार किसी बिंदु पर एक स्पर्शरेखा सदिश को सूची (''v<sup>i</sup>'') से पहचाना जा सकता है, समन्वय परिवर्तन के अंतर्गत एक निश्चित परिवर्तन नियम के अधीन, हमें यह जानना होगा कि सूची <math>(v^i,v^i_j)</math> कैसी है, एक परिवर्तन से प्रभावित होता है।

:तो किसी अन्य समन्वय प्रणाली ''y<sup>i</sup>'' प्रणाली को पारित करने में परिवर्तन नियम पर विचार करें। मान लीजिए कि y निर्देशांक में ''w<sup>k</sup>'' सदिश क्षेत्र v के गुणांक है। फिर y निर्देशांक में, v का 1-जेट वास्तविक संख्याओं की एक नई सूची <math>(w^i,w^i_j)</math> है। तब से

::<math>v=w^k(y)\partial/\partial y^k=v^i(x)\partial/\partial x^i</math>
:यह इस प्रकार है कि

::<math>w^k(y)=v^i(x)\frac{\partial y^k}{\partial x^i}(x)</math>
:इसलिए

::<math>w^k(0)+y^j\frac{\partial w^k}{\partial y^j}(0)=\left(v^i(0)+x^j\frac{\partial v^i}{\partial x^j}\right)\frac{\partial y^k}{\partial x^i}(x)</math>
:टेलर श्रृंखला द्वारा विस्तार, हमारे पास है:

::<math>w^k=\frac{\partial y^k}{\partial x^i}(0) v^i</math>
::<math>w^k_j=v^i\frac{\partial^2 y^k}{\partial x^i \, \partial x^j}+v_j^i\frac{\partial y^k}{\partial x^i} </math>
:ध्यान दें कि समन्वय परिवर्ती फलनों में परिवर्तन नियम दूसरे क्रम का है।

===सदिश समूहों के मध्य विभेदक प्रचालक===
{{further|विभेदक प्रचालक#समन्वय-स्वतंत्र विवरण}}
{{empty section|date=सितम्बर 2020}}

==यह भी देखें==
*जेट वर्ग
* जेट समूह
* [[लैग्रेंजियन प्रणाली]]

==संदर्भ==
* Krasil'shchik, I. S., Vinogradov, A. M., [et al.], ''Symmetries and conservation laws for differential equations of mathematical physics'', [[American Mathematical Society]], Providence, RI, 1999, {{ISBN|0-8218-0958-X}}.
* Kolář, I., Michor, P., Slovák, J., ''[http://www.emis.de/monographs/KSM/ Natural operations in differential geometry.]'' Springer-Verlag: Berlin Heidelberg, 1993. {{ISBN|3-540-56235-4}}, {{ISBN|0-387-56235-4}}.
* Saunders, D. J., ''The Geometry of Jet Bundles'', Cambridge University Press, 1989, {{ISBN|0-521-36948-7}}
* [[Peter J. Olver|Olver, P. J.]], ''Equivalence, Invariants and Symmetry'', Cambridge University Press, 1995, {{ISBN|0-521-47811-1}}
* [[Gennadi Sardanashvily|Sardanashvily, G.]], ''Advanced Differential Geometry for Theoreticians: Fiber bundles, jet manifolds and Lagrangian theory'', Lambert Academic Publishing, 2013, {{ISBN|978-3-659-37815-7}}; {{arXiv|0908.1886}}
[[Category: विभेदक ज्यामिति]] [[Category: सुचारू कार्य]] [[Category: विलक्षणता सिद्धांत]] 



[[Category: Machine Translated Page]]
[[Category:Created On 05/07/2023]]
[[Category:Vigyan Ready]]