विभेदक अपरिवर्तनीय

गणित में, एक अंतर अपरिवर्तनीय एक स्थान पर एक झूठ समूह की समूह कार्रवाई (गणित) के लिए एक अपरिवर्तनीय सिद्धांत है जिसमें अंतरिक्ष में कार्यों के ग्राफ़ के यौगिक  सम्मिलित होते हैं। विभेदक अपरिवर्तक प्रक्षेप्य विभेदक ज्यामिति में मौलिक हैं, और वक्रता का अध्ययन अधिकांशतः इस दृष्टिकोण से किया जाता है। सत्र 1880 के दशक की शुरुआत में सोफस झूठ द्वारा विशेष स्थितियोंमें डिफरेंशियल इनवेरिएंट प्रस्तुत किए गए थे और उसी समय जॉर्जेस हेनरी हाल्फेन द्वारा अध्ययन किया गया था। डिफरेंशियल इनवेरिएंट पर पहला सामान्य कार्य था, और डिफरेंशियल इनवेरिएंट, इनवेरिएंट डिफरेंशियल समीकरण और  अपरिवर्तनीय अंतर ऑपरेटर ों के मध्य संबंध स्थापित किया।

विभेदक अपरिवर्तनीयों की तुलना ज्यामितीय अपरिवर्तनीयों से की जाती है। जबकि विभेदक अपरिवर्तकों में स्वतंत्र चर (या पैरामीटरकरण) का एक विशिष्ट विकल्प सम्मिलित हो सकता है, ज्यामितीय अपरिवर्तकों में ऐसा नहीं होता है। एली कार्टन की फ़्रेमों को हिलाने की विधि एक शोधन है, जो ले के विभेदक अपरिवर्तकों के तरीकों की तुलना में कम सामान्य है, फिर भी सदैव ज्यामितीय प्रकार के अपरिवर्तक उत्पन्न करती है।

परिभाषा
सबसे सरल मामला एक स्वतंत्र चर x और एक आश्रित चर y के लिए विभेदक अपरिवर्तनीयों का है। मान लीजिए G 'R' पर कार्य करने वाला एक झूठ समूह है2. फिर G, स्थानीय रूप से, y = ƒ(x) फॉर्म के सभी ग्राफ़ के स्थान पर भी कार्य करता है। मोटे तौर पर कहें तब, k-वें क्रम का अंतर अपरिवर्तनीय एक फलन है
 * $$I\left(x,y,\frac{dy}{dx},\dots,\frac{d^ky}{dx^k}\right)$$

x के संबंध में y और इसके पहले k डेरिवेटिव पर निर्भर करता है, जो कि समूह की कार्रवाई के अनुसार अपरिवर्तनीय है।

समूह उच्च-क्रम डेरिवेटिव पर गैर-तुच्छ तरीके से कार्य कर सकता है जिसके लिए समूह कार्रवाई की लम्बाई की गणना करने की आवश्यकता होती है। उदाहरण के लिए, पहले व्युत्पन्न पर G की क्रिया ऐसी है कि श्रृंखला नियम कायम रहता है: यदि
 * $$(\overline{x},\overline{y}) = g\cdot(x,y),$$

तब
 * $$g\cdot\left(x,y,\frac{dy}{dx}\right) \stackrel{\text{def}}{=} \left(\overline{x},\overline{y},\frac{d\overline{y}}{d\overline{x}}\right).$$

उच्च दीर्घावधियों की गणना के लिए भी इसी तरह के विचार प्रयुक्त होते हैं। चूँकि, दीर्घीकरण की गणना करने की यह विधि अव्यावहारिक है, और जी क्रिया के साथ लाई बीजगणित और लाई व्युत्पन्न के स्तर पर असीम रूप से काम करना बहुत आसान है।

अधिक सामान्यतः, कार्टेशियन उत्पाद X×Y पर अभिनय करने वाले लाई समूह के लिए किसी भी चिकनी अनेक गुना मानचित्रण(k) जिसमें k-वें क्रम के संपर्क के संबंध में प्रत्येक बिंदु मॉड्यूलो से गुजरने वाले ग्राफ़ सम्मिलित हैं। एक विभेदक अपरिवर्तनीय Y पर एक फलन है(के) जो समूह कार्रवाई के विस्तार के अनुसार  अपरिवर्तनीय है।

अनुप्रयोग

 * समतुल्यता समस्याओं का समाधान
 * आंशिक अंतर समीकरणों की प्रणालियों के अध्ययन के लिए विभेदक अपरिवर्तनीयों को प्रयुक्त किया जा सकता है: किसी विशेष समूह की कार्रवाई के अनुसार अपरिवर्तनीय समानता वाले समाधानों की तलाश करने से समस्या का आयाम कम हो सकता है (अर्थात एक कम प्रणाली उत्पन्न हो सकती है)।
 * नोएदर का प्रमेय विभिन्नताओं के कलन की प्रत्येक अवकलनीय समरूपता के अनुरूप विभेदक अपरिवर्तनीयों के अस्तित्व का तात्पर्य करता है।
 * कंप्यूटर दृष्टि का उपयोग करके द्रव गतिकी
 * ज्यामितीय समाकलक

यह भी देखें

 * कार्टन की तुल्यता विधि

संदर्भ

 * English translation:.
 * to be published by Cambridge 2010, ISBN 978-0-521-85701-7.
 * to be published by Cambridge 2010, ISBN 978-0-521-85701-7.
 * to be published by Cambridge 2010, ISBN 978-0-521-85701-7.
 * to be published by Cambridge 2010, ISBN 978-0-521-85701-7.

बाहरी संबंध

 * Invariant Variation Problems