गणना में, अंतर किसी फ़ंक्शन (गणित) में परिवर्तन के प्रमुख भाग#कैलकुलस का प्रतिनिधित्व करता है स्वतंत्र चर में परिवर्तन के संबंध में। अंतर द्वारा परिभाषित किया गया है
कहाँ का व्युत्पन्न है f इसके संबंध में , और एक अतिरिक्त वास्तविक चर (गणित) है (ताकि का एक कार्य है और ). अंकन ऐसा है कि समीकरण
धारण करता है, जहां व्युत्पन्न को लीबनिज संकेतन में दर्शाया गया है , और यह अवकलज को अंतरों के भागफल के रूप में मानने के अनुरूप है। एक लिखता भी है
चरों का सटीक अर्थ और आवेदन के संदर्भ और गणितीय कठोरता के आवश्यक स्तर पर निर्भर करता है। यदि अंतर को एक विशेष अंतर रूप के रूप में माना जाता है, या विश्लेषणात्मक महत्व यदि अंतर को किसी फ़ंक्शन की वृद्धि के रैखिक सन्निकटन के रूप में माना जाता है, तो इन चर का डोमेन एक विशेष ज्यामितीय महत्व ले सकता है। परंपरागत रूप से, चर और बहुत छोटे (असीमित) माने जाते हैं, और गैर-मानक विश्लेषण में इस व्याख्या को कठोर बना दिया जाता है।
अंतर को पहली बार आइजैक न्यूटन द्वारा एक सहज या अनुमानी परिभाषा के माध्यम से पेश किया गया था और लाइबनिट्स द्वारा आगे बढ़ाया गया था, जिन्होंने अंतर के बारे में सोचा थाdy मान में एक असीम रूप से छोटे (या बहुत छोटे) परिवर्तन के रूप मेंy फ़ंक्शन का, एक असीम रूप से छोटे परिवर्तन के अनुरूपdx फ़ंक्शन के तर्क मेंx. उस कारण से, परिवर्तन की तात्कालिक दर y इसके संबंध में x, जो फ़ंक्शन के व्युत्पन्न का मान है, अंश द्वारा दर्शाया गया है
जिसे डेरिवेटिव के लिए लीबनिज़ नोटेशन कहा जाता है। भागफल असीम रूप से छोटा नहीं है; बल्कि यह एक वास्तविक संख्या है.
इस रूप में इनफिनिटिमल्स के उपयोग की व्यापक रूप से आलोचना की गई, उदाहरण के लिए बिशप बर्कले के प्रसिद्ध पैम्फलेट विश्लेषक द्वारा। ऑगस्टिन-लुई कॉची (#CITEREFCauchi1823) ने लीबनिज के इनफिनिटिमल्स के परमाणुवाद की अपील किए बिना अंतर को परिभाषित किया।[1][2] इसके बजाय, कॉची ने, जीन ले रोंड डी'अलेम्बर्ट|डी'अलेम्बर्ट का अनुसरण करते हुए, लीबनिज और उसके उत्तराधिकारियों के तार्किक क्रम को उलट दिया: व्युत्पन्न स्वयं मौलिक वस्तु बन गया, जिसे अंतर भागफल की एक सीमा (गणित) के रूप में परिभाषित किया गया था, और फिर अंतरों को इसके संदर्भ में परिभाषित किया गया था। अर्थात्, कोई भी व्यक्ति अंतर को परिभाषित करने के लिए स्वतंत्र था एक अभिव्यक्ति द्वारा
जिसमें और ये केवल नए चर हैं जो परिमित वास्तविक मान लेते हैं,[3] लिबनिज़ के लिए तय किए गए इनफिनिटिमल्स को निश्चित नहीं किया गया था।[4]
के अनुसार Boyer (1959, p. 12), कॉची का दृष्टिकोण लीबनिज के अतिसूक्ष्म दृष्टिकोण की तुलना में एक महत्वपूर्ण तार्किक सुधार था, क्योंकि, अतिसूक्ष्म की आध्यात्मिक धारणा को लागू करने के बजाय, मात्राएँ और अब किसी भी अन्य वास्तविक मात्रा की तरह ही इसमें हेरफेर किया जा सकता है
सार्थक तरीके से. अंतरों के प्रति कॉची का समग्र वैचारिक दृष्टिकोण आधुनिक विश्लेषणात्मक उपचारों में मानक बना हुआ है,[5] हालाँकि कठोरता पर अंतिम शब्द, सीमा की पूरी तरह से आधुनिक धारणा, अंततः कार्ल वीयरस्ट्रैस के कारण थी।[6]
भौतिक उपचारों में, जैसे कि ऊष्मागतिकी के सिद्धांत पर लागू उपचारों में, अनंतसूक्ष्म दृष्टिकोण अभी भी प्रचलित है। Courant & John (1999, p. 184)अतिसूक्ष्म अंतरों के भौतिक उपयोग को उनकी गणितीय असंभवता के साथ निम्नानुसार सुलझाएं। अंतर परिमित गैर-शून्य मानों का प्रतिनिधित्व करते हैं जो उस विशेष उद्देश्य के लिए आवश्यक सटीकता की डिग्री से छोटे होते हैं जिसके लिए उनका इरादा होता है। इस प्रकार सटीक अर्थ प्राप्त करने के लिए भौतिक अतिसूक्ष्मणों को संगत गणितीय अतिसूक्ष्म से अपील करने की आवश्यकता नहीं है।
गणितीय विश्लेषण और विभेदक ज्यामिति में बीसवीं शताब्दी के विकास के बाद, यह स्पष्ट हो गया कि किसी फ़ंक्शन के अंतर की धारणा को विभिन्न तरीकों से बढ़ाया जा सकता है। वास्तविक विश्लेषण में, किसी फ़ंक्शन की वृद्धि के मुख्य भाग के रूप में अंतर से सीधे निपटना अधिक वांछनीय है। यह सीधे तौर पर इस धारणा की ओर ले जाता है कि एक बिंदु पर किसी फ़ंक्शन का अंतर एक वृद्धि का एक रैखिक कार्यात्मक है . यह दृष्टिकोण विभिन्न प्रकार के अधिक परिष्कृत स्थानों के लिए अंतर (एक रेखीय मानचित्र के रूप में) विकसित करने की अनुमति देता है, जो अंततः फ़्रेचेट व्युत्पन्न|फ़्रेचेट या गेटॉक्स व्युत्पन्न जैसी धारणाओं को जन्म देता है। इसी तरह, विभेदक ज्यामिति में, एक बिंदु पर एक फ़ंक्शन का अंतर एक स्पर्शरेखा वेक्टर (एक असीम रूप से छोटा विस्थापन) का एक रैखिक कार्य होता है, जो इसे एक प्रकार के एक-रूप के रूप में प्रदर्शित करता है: फ़ंक्शन का बाहरी व्युत्पन्न। गैर-मानक कैलकुलस में, अंतर को इनफिनिटिमल माना जाता है, जिसे स्वयं एक कठोर आधार पर रखा जा सकता है (डिफरेंशियल (इनफिनिटिमल) देखें)।
परिभाषा
किसी फ़ंक्शन का अंतर एक बिंदु पर .
डिफरेंशियल कैलकुलस के आधुनिक उपचारों में अंतर को इस प्रकार परिभाषित किया गया है।[7] किसी फ़ंक्शन का अंतर एकल वास्तविक चर का कार्य है दो स्वतंत्र वास्तविक चरों का और द्वारा दिए गए
एक या दोनों तर्कों को दबाया जा सकता है, यानी एक को देखा जा सकता है या केवल . अगर , अंतर को इस प्रकार भी लिखा जा सकता है . तब से , लिखना पारंपरिक है ताकि निम्नलिखित समानता बनी रहे:
अंतर की यह धारणा मोटे तौर पर तब लागू होती है जब किसी फ़ंक्शन के लिए एक रैखिक सन्निकटन की मांग की जाती है, जिसमें वृद्धि का मूल्य होता है काफी छोटा है. अधिक सटीक रूप से, यदि पर एक अवकलनीय कार्य है , फिर में अंतर -मूल्य
संतुष्ट
त्रुटि कहां है सन्निकटन में संतुष्ट करता है जैसा . दूसरे शब्दों में, किसी की अनुमानित पहचान होती है
जिसमें त्रुटि को उसके सापेक्ष इच्छानुसार छोटा किया जा सकता है विवश करके पर्याप्त रूप से छोटा होना; यानी,
जैसा . इस कारण से, किसी फ़ंक्शन के अंतर को मुख्य भाग के रूप में जाना जाता है | किसी फ़ंक्शन की वृद्धि में मुख्य (रैखिक) भाग: अंतर वेतन वृद्धि का एक रैखिक कार्य है , और यद्यपि त्रुटि अरेखीय हो सकता है, यह तेजी से शून्य हो जाता है शून्य हो जाता है.
अगले Goursat (1904, I, §15), एक से अधिक स्वतंत्र चर के कार्यों के लिए,
का आंशिक अंतर y किसी एक चर के संबंध मेंx1 में परिवर्तन का प्रमुख भाग है y परिवर्तन के परिणामस्वरूपdx1 उस एक चर में। इसलिए आंशिक अंतर है
का आंशिक व्युत्पन्न शामिल है y इसके संबंध मेंx1. सभी स्वतंत्र चरों के संबंध में आंशिक अंतरों का योग कुल अंतर है
जो परिवर्तन का मुख्य भाग है y स्वतंत्र चरों में परिवर्तन के परिणामस्वरूपxi.
अधिक सटीक रूप से, बहुपरिवर्तनीय कलन के संदर्भ में, निम्नलिखित Courant (1937b), अगर f एक अवकलनीय फलन है, फिर फ़्रेचेट व्युत्पन्न द्वारा, वृद्धि
जहां त्रुटि शर्तें εi वेतन वृद्धि के रूप में शून्य हो जाते हैं Δxi संयुक्त रूप से शून्य की ओर प्रवृत्त होते हैं। कुल अंतर को तब कठोरता से परिभाषित किया जाता है
चूँकि, इस परिभाषा के साथ,
किसी के पास
जैसा कि एक चर के मामले में, अनुमानित पहचान कायम रहती है
जिसमें कुल त्रुटि को उसके सापेक्ष इच्छानुसार छोटा किया जा सकता है ध्यान को पर्याप्त रूप से छोटी वृद्धियों तक सीमित रखकर।
त्रुटि अनुमान के लिए कुल अंतर का अनुप्रयोग
माप में, कुल अंतर का प्रयोग प्रायोगिक अनिश्चितता विश्लेषण में किया जाता है एक समारोह का त्रुटियों के आधार पर मापदंडों का . यह मानते हुए कि परिवर्तन लगभग रैखिक होने के लिए अंतराल काफी छोटा है:
और यह कि सभी चर स्वतंत्र हैं, तो सभी चर के लिए,
ऐसा इसलिए है क्योंकि व्युत्पन्न विशेष पैरामीटर के संबंध में फ़ंक्शन की संवेदनशीलता देता है में बदलाव के लिए , विशेष रूप से त्रुटि . चूंकि उन्हें स्वतंत्र माना जाता है, इसलिए विश्लेषण सबसे खराब स्थिति का वर्णन करता है। घटक त्रुटियों के निरपेक्ष मानों का उपयोग किया जाता है, क्योंकि सरल गणना के बाद, व्युत्पन्न में नकारात्मक चिह्न हो सकता है। इस सिद्धांत से योग, गुणन आदि के त्रुटि नियम प्राप्त होते हैं, जैसे:
Let . Then, the finite error can be approximated as
Evaluating the derivatives:
Dividing by f, which is a × b
कहने का तात्पर्य यह है कि, गुणन में, कुल सापेक्ष त्रुटि मापदंडों की सापेक्ष त्रुटियों का योग है।
यह स्पष्ट करने के लिए कि यह विचार किए गए फ़ंक्शन पर कैसे निर्भर करता है, उस मामले पर विचार करें जहां फ़ंक्शन है बजाय। फिर, यह गणना की जा सकती है कि त्रुटि अनुमान कितना है
एक अतिरिक्त के साथ'ln b' कारक एक साधारण उत्पाद के मामले में नहीं पाया गया। यह अतिरिक्त कारक त्रुटि को छोटा बनाता है, जैसे ln b नंगे जितना बड़ा नहीं हैb.
उच्च-क्रम अंतर
किसी फ़ंक्शन के उच्च-क्रम अंतर y = f(x) एकल चर का x को इसके माध्यम से परिभाषित किया जा सकता है:[8]
और, सामान्य तौर पर,
अनौपचारिक रूप से, यह उच्च-क्रम डेरिवेटिव के लिए लाइबनिज के अंकन को प्रेरित करता है
जब स्वतंत्र चर x को स्वयं अन्य चरों पर निर्भर रहने की अनुमति है, तो अभिव्यक्ति अधिक जटिल हो जाती है, क्योंकि इसमें उच्च क्रम के अंतर भी शामिल होने चाहिए x अपने आप। इस प्रकार, उदाहरण के लिए,
इत्यादि।
इसी तरह के विचार कई चर के कार्यों के उच्च क्रम के अंतर को परिभाषित करने पर लागू होते हैं। उदाहरण के लिए, यदि f दो वेरिएबल्स का एक फ़ंक्शन है x और y, तब
कहाँ एक द्विपद गुणांक है. अधिक चरों में, एक अनुरूप अभिव्यक्ति कायम रहती है, लेकिन द्विपद विस्तार के बजाय एक उपयुक्त बहुपद गुणांक विस्तार के साथ।[9]
कई चरों में उच्च क्रम के अंतर भी अधिक जटिल हो जाते हैं जब स्वतंत्र चर को स्वयं अन्य चर पर निर्भर रहने की अनुमति दी जाती है। उदाहरण के लिए, किसी फ़ंक्शन के लिए f का x और y जिन्हें सहायक चरों पर निर्भर रहने की अनुमति है, किसी के पास है
इस सांकेतिक अजीबता के कारण, उच्च क्रम के अंतरों के उपयोग की चौतरफा आलोचना की गई Hadamard (1935), किसने निष्कर्ष निकाला:
Enfin, que signifie ou que représente l'égalité
A mon avis, rien du tout.
वह यह है: अंततः, समानता का क्या मतलब है, या इसका प्रतिनिधित्व क्या है? मेरी राय में, कुछ भी नहीं। इस संदेह के बावजूद, उच्च क्रम के अंतर विश्लेषण में एक महत्वपूर्ण उपकरण के रूप में उभरे।[10]
इन संदर्भों में, n-फ़ंक्शन का वां क्रम अंतर f वेतनवृद्धि पर लागू Δx द्वारा परिभाषित किया गया है
यह परिभाषा तब भी समझ में आती है f कई चरों का एक फ़ंक्शन है (सरलता के लिए यहां एक वेक्टर तर्क के रूप में लिया गया है)। फिर n-इस तरह से परिभाषित अंतर डिग्री का एक सजातीय कार्य है n वेक्टर वृद्धि में Δx. इसके अलावा, टेलर श्रृंखलाf बिंदु पर x द्वारा दिया गया है
उच्च क्रम गेटॉक्स व्युत्पन्न इन विचारों को अनंत आयामी स्थानों पर सामान्यीकृत करता है।
गुण
अंतर के कई गुण व्युत्पन्न, आंशिक व्युत्पन्न और कुल व्युत्पन्न के संबंधित गुणों से सीधे तरीके से अनुसरण करते हैं। इसमे शामिल है:[11]
रैखिकता: स्थिरांक के लिए a और b और भिन्न कार्य f और g,
किसी फ़ंक्शन के लिए अंतर की एक सुसंगत धारणा विकसित की जा सकती है f : Rn → Rm दो यूक्लिडियन स्थानों के बीच। होने देना x,Δx ∈ Rn यूक्लिडियन सदिशों की एक जोड़ी बनें। समारोह में वृद्धि f है
जिसमें वेक्टर ε → 0 जैसा Δx → 0, तब f परिभाषा के अनुसार बिंदु पर अवकलनीय है x. गणित का सवाल A को कभी-कभी जैकोबियन मैट्रिक्स और रैखिक परिवर्तन के रूप में जाना जाता है जो वृद्धि से जुड़ा होता है Δx ∈ Rn वेक्टर AΔx ∈ Rm, इस सामान्य सेटिंग में, अंतर के रूप में जाना जाता है df(x) का f बिंदु पर x. यह बिल्कुल फ़्रेचेट व्युत्पन्न है, और किसी भी बानाच रिक्त स्थान के बीच एक फ़ंक्शन के लिए काम करने के लिए एक ही निर्माण किया जा सकता है।
एक अन्य उपयोगी दृष्टिकोण अंतर को सीधे एक प्रकार के दिशात्मक व्युत्पन्न के रूप में परिभाषित करना है:
जो उच्च क्रम के अंतरों को परिभाषित करने के लिए पहले से ही अपनाया गया दृष्टिकोण है (और कॉची द्वारा निर्धारित परिभाषा के लगभग यही है)। अगर t समय और x स्थिति का प्रतिनिधित्व करता है, फिर h विस्थापन के बजाय वेग का प्रतिनिधित्व करता है जैसा कि हमने पहले माना है। इससे अंतर की धारणा का एक और परिशोधन होता है: कि यह गतिज वेग का एक रैखिक कार्य होना चाहिए। अंतरिक्ष के किसी दिए गए बिंदु के माध्यम से सभी वेगों के सेट को स्पर्शरेखा स्थान के रूप में जाना जाता है, इत्यादि df स्पर्शरेखा स्थान पर एक रैखिक कार्य देता है: एक विभेदक रूप। इस व्याख्या के साथ, का अंतर f को बाहरी व्युत्पन्न के रूप में जाना जाता है, और विभेदक ज्यामिति में इसका व्यापक अनुप्रयोग होता है क्योंकि वेग और स्पर्शरेखा स्थान की धारणा किसी भी विभेदक मैनिफोल्ड पर समझ में आती है। यदि, इसके अतिरिक्त, का आउटपुट मान f एक स्थिति (यूक्लिडियन स्पेस में) का भी प्रतिनिधित्व करता है, फिर एक आयामी विश्लेषण पुष्टि करता है कि df का आउटपुट मान एक वेग होना चाहिए। यदि कोई इस तरीके से अंतर का इलाज करता है, तो इसे पुशफॉरवर्ड (डिफरेंशियल) के रूप में जाना जाता है क्योंकि यह स्रोत स्थान से वेगों को लक्ष्य स्थान में वेगों में धकेलता है।
यद्यपि एक अतिसूक्ष्म वेतन वृद्धि की धारणा dx आधुनिक गणितीय विश्लेषण में अच्छी तरह से परिभाषित नहीं है, अंतर (असीमित) को परिभाषित करने के लिए कई प्रकार की तकनीकें मौजूद हैं ताकि किसी फ़ंक्शन के अंतर को इस तरह से नियंत्रित किया जा सके कि लाइबनिज़ नोटेशन के साथ टकराव न हो। इसमे शामिल है:
अंतर को एक प्रकार के अंतर रूप के रूप में परिभाषित करना, विशेष रूप से किसी फ़ंक्शन का बाहरी व्युत्पन्न। फिर एक बिंदु पर स्पर्शरेखा स्थान में वैक्टर के साथ अनंत वृद्धि की पहचान की जाती है। यह दृष्टिकोण विभेदक ज्यामिति और संबंधित क्षेत्रों में लोकप्रिय है, क्योंकि यह विभेदक मैनिफोल्ड्स के बीच मैपिंग को आसानी से सामान्यीकृत करता है।
सेट सिद्धांत के सुचारू मॉडल में अंतर। इस दृष्टिकोण को सिंथेटिक विभेदक ज्यामिति या स्मूथ इनफिनिटिमल विश्लेषण के रूप में जाना जाता है और यह बीजगणितीय ज्यामितीय दृष्टिकोण से निकटता से संबंधित है, सिवाय इसके कि टोपोस सिद्धांत के विचारों का उपयोग उन तंत्रों को छिपाने के लिए किया जाता है जिनके द्वारा निलपोटेंट इनफिनिटिमल पेश किए जाते हैं।[14]
अतिवास्तविक संख्या प्रणालियों में अपरिमितिमल के रूप में विभेदक, जो वास्तविक संख्याओं के विस्तार हैं जिनमें व्युत्क्रमणीय अपरिमितिमल और अपरिमित रूप से बड़ी संख्याएँ होती हैं। यह अब्राहम रॉबिन्सन द्वारा प्रवर्तित गैरमानक विश्लेषण का दृष्टिकोण है।[15]
उदाहरण और अनुप्रयोग
किसी गणना में प्रयोगात्मक त्रुटियों के प्रसार का अध्ययन करने के लिए संख्यात्मक विश्लेषण में विभेदकों का प्रभावी ढंग से उपयोग किया जा सकता है, और इस प्रकार किसी समस्या की समग्र संख्यात्मक स्थिरता का अध्ययन किया जा सकता है। (Courant 1937a). मान लीजिए कि वेरिएबल x एक प्रयोग के परिणाम का प्रतिनिधित्व करता है और y x पर लागू संख्यात्मक गणना का परिणाम है। सवाल यह है कि माप में किस हद तक त्रुटियां होती हैं x y की गणना के परिणाम को प्रभावित करते हैं। यदि x को उसके वास्तविक मान के Δx के भीतर जाना जाता है, तो टेलर का प्रमेय y की गणना में त्रुटि Δy पर निम्नलिखित अनुमान देता है:
कहाँ ξ = x + θΔx कुछ के लिए 0 < θ < 1. अगर Δx छोटा है, तो दूसरे क्रम का पद नगण्य है, ताकि Δy, व्यावहारिक उद्देश्यों के लिए, अच्छी तरह से अनुमानित हो dy = f'(x) Δx.
अंतर अक्सर किसी अंतर समीकरण को फिर से लिखने के लिए उपयोगी होता है
प्रपत्र में
विशेष रूप से जब कोई चरों को अलग करना चाहता है।
टिप्पणियाँ
↑For a detailed historical account of the differential, see Boyer 1959, especially page 275 for Cauchy's contribution on the subject. An abbreviated account appears in Kline 1972, Chapter 40.
↑Cauchy explicitly denied the possibility of actual infinitesimal and infinite quantities (Boyer 1959, pp. 273–275), and took the radically different point of view that "a variable quantity becomes infinitely small when its numerical value decreases indefinitely in such a way as to converge to zero" (Cauchy 1823, p. 12; translation from Boyer 1959, p. 273).
↑Boyer 1959, p. 12: "The differentials as thus defined are only new variables, and not fixed infinitesimals..."
↑Courant 1937a, II, §9: "Here we remark merely in passing that it is possible to use this approximate representation of the increment by the linear expression to construct a logically satisfactory definition of a "differential", as was done by Cauchy in particular."