कैलकुलस में, किसी भी फलन (गणित) के रैखिक संयोजन का व्युत्पन्न फलन के यौगिक के समान रैखिक संयोजन के सामान्तर होता है;[1] इस गुण को अवकल रैखिकता के नियम के रूप में जाना जाता है,[2] या विभिन्निता के लिए सुपरपोजीशन नियम के नाम से जाना जाता है।[3] यह मूलभूत गुणसूत्र है जो अवकलकरण के तत्वों को ही नियम में सम्मिलित करता है, अवकल में योग नियम (दो फलन के योग का व्युत्पन्न व्युत्पन्नों का योग है) और अवकल में स्थिर कारक नियम किसी फलन के अचर गुणज का व्युत्पन्न, व्युत्पन्न का ही अचर गुणज होता है)।[4][5] इसलिए इसका कहना है कि अवकल रैखिक मानचित्र है, या विभेदक संचालिका रेखीय मानचित्र संचालिका है।[6]
माना कि f और g फलन है, साथ α और β स्थिरांक अब विचार करें
अवकल में योग नियम के अनुसार, यह है
और अवकल में स्थिर कारक नियम से, यह कम हो जाता है
इसलिए,
कोष्ठक को हटाकर, इसे अधिकांशतः इस प्रकार लिखा जाता है:
परिभाषा से विस्तृत प्रमाण/व्युत्पन्न
हम संपूर्ण रैखिकता सिद्धांत को एक ही बार में सिद्ध कर सकते हैं, या हम व्यक्तिगत चरणों (स्थिर कारक और जोड़ने के) को व्यक्तिगत रूप से सिद्ध कर सकते हैं। यहां, दोनों विधि दिखाए जाएंगे।
रैखिकता को सीधे सिद्ध करना स्थिर कोण नियम, योग नियम और अंतर नियम को विशेष स्थितियों के रूप में भी सिद्ध करता है। दोनों स्थिर गुणांकों को निर्धारित करके योग नियम के द्वारा प्राप्त किया जाता है अंतर नियम पहला स्थिरांक गुणांक निर्धारित करके प्राप्त किया जाता है, और दूसरा स्थिरांक गुणांक है। स्थिर कारक नियम या तो दूसरे स्थिर गुणांक या दूसरे फलन को समुच्चय करके प्राप्त किया जाता है (तकनीकी दृष्टिकोण से, दूसरे फलन के फलन के डोमेन पर भी विचार किया जाना चाहिए - समस्याओं से बचने का विधि दूसरे फलन को पहले फलन के सामान्तर और दूसरे निरंतर गुणांक को सामान्तर समुच्चय करना है , कोई दूसरे स्थिरांक गुणांक और दूसरे फलन दोनों को 0 के रूप में परिभाषित कर सकता है, जहां दूसरे फलन का डोमेन अन्य संभावनाओं के बीच पहले फलन का उपसमूह है।)
विपरीत रूप से, यदि हम पहले निरंतर कोण नियम और योग नियम को सिद्ध करते हैं, तो हम रैखिकता और अंतर नियम को सिद्ध कर सकते हैं। रैखिकता को सिद्ध करना पहले और दूसरे फलन को दो अन्य फलन के रूप में परिभाषित करके निरंतर गुणांक द्वारा गुणा किया जाता है। फिर, जैसा कि पिछले अनुभाग से व्युत्पत्ति में दिखाया गया है, हम अवकल करते समय पहले योग विधि का उपयोग कर सकते हैं, और फिर निरंतर कारक नियम का उपयोग कर सकते हैं, जो रैखिकता के लिए हमारे निष्कर्ष तक पहुंचेगा। अंतर नियम को सिद्ध करने के लिए, दूसरे फलन को स्थिर गुणांक द्वारा गुणा किए गए किसी अन्य फलन के रूप में फिर से परिभाषित किया जा सकता है , इससे, सरलीकरण करने पर हमें तत्वनिर्धारण के लिए अंतर नियम प्राप्त होता है।
निम्नलिखित सिद्धांतों या विवरणों में,[7][8] के प्रयोग किया है; यह ऊपर दिए गए के प्रतिनिधित्व करते हैं।
रैखिकता (सीधे)
माना कि । माना कि फलन हैं। फलन हैं।, जहां केवल वहीं परिभाषित किया गया है और दोनों परिभाषित हैं। (दूसरे शब्दों में, का डोमेन और के डोमेन का प्रतिच्छेदन है।) , के डोमेन में है। को के रूप में परिभाषित किया गया है।
हम सिद्ध करना चाहते हैं ।
परिभाषा के अनुसार, हम इसे देख सकते हैं
सीमाओं के योग के लिए सीमा विधि का उपयोग करने के लिए, हमें यह जानना आवश्यक है कि और दोनों व्यक्तिगत रूप से उपस्थित हैं। इन छोटी सीमाओं के लिए, हमें यह जानना आवश्यक है कि और सीमा के लिए गुणांक विधि का उपयोग करने के लिए दोनों व्यक्तिगत रूप से उपस्थित हैं। परिभाषा के अनुसार, और । इसलिए, यदि हम जानते हैं कि और दोनों उपस्थित हैं, तो हम जानेंगे कि और दोनों अलग-अलग उपस्थित होते हैं। यह हमें लिखने की सीमा के लिए गुणांक विधि का उपयोग करने की अनुमति देता है
और
इसके साथ, हम सीमाओं के योग के लिए सीमा विधि को लागू करने के लिए वापस जा सकते हैं, क्योंकि हम यह जानते हैं और दोनों व्यक्तिगत रूप से उपस्थित हैं। यहां से, हम सीधे उस व्युत्पन्न पर वापस जा सकते हैं जिस पर हम काम कर रहे थे।
अंततः, हमने वही दिखाया जो हमने प्रारंभ में प्रामाणित किया था: ।
योग
फलन है। फलन है, जहां केवल वहीं परिभाषित किया गया है और दोनों परिभाषित हैं। (दूसरे शब्दों में, का डोमेन और के डोमेन का प्रतिच्छेदन है।) , के डोमेन में है। को के रूप में परिभाषित किया गया है।
हम सिद्ध करना चाहते हैं ।
परिभाषा के अनुसार, हम इसे देख सकते हैं
यहां सीमाओं के योग के लिए विधि का उपयोग करने के लिए, हमें यह दिखाना होगा कि व्यक्तिगत सीमाएं, और दोनों उपस्थित हैं। परिभाषा के अनुसार, और , इसलिए अगर और उपस्थित हैं तो ये सीमाएं उपस्थित होंगी। इसलिए, हम ऊपर दिए गए प्रस्तावना को आगे बढ़ा सकते हैं:
इसलिए, हमने दिखाया कि जो हम दिखाना चाहते थे, वह है: ।
अंतर
फलन है। फलन है, जहां केवल वहीं परिभाषित किया गया है और दोनों परिभाषित हैं। (दूसरे शब्दों में, का डोमेन और के डोमेन का प्रतिच्छेदन है।) , के डोमेन में है। को के रूप में परिभाषित किया गया है।
हम सिद्ध करना चाहते हैं।
परिभाषा के अनुसार, हम यह देख सकते हैं:
यहां सीमाओं के अंतर के लिए विधि का उपयोग करने के लिए, हमें यह दिखाना होगा कि व्यक्तिगत सीमाएं, और दोनों उपस्थित हैं। परिभाषा के अनुसार, और , इसलिए ये सीमाएं उपस्थित होती हैं जबकि विभेदक और उपस्थित होते है। इसलिए, यदि हम मान लें कि विभेदक उपस्थित हैं, तो हम ऊपर दिए गए विवरण को जारी रख सकते हैं।
इसलिए, हमने दिखाया है कि जब होता है, तो होता है।।
स्थिर गुणांक
माना कि फलन हैं। ; जहाँ स्थिर गुणांक होगा। फलन हैं, जहां j को केवल वहीं परिभाषित किया गया है परिभाषित किया गया। (दूसरे शब्दों में, का डोमेन के डोमेन के सामान्तर है)। , के डोमेन में है, को के रूप में परिभाषित किया गया है।।
हम सिद्ध करना चाहते हैं।
परिभाषा के अनुसार, हम यह देख सकते हैं:
अब, स्थायी गुणकों के लिए सीमा नियम का उपयोग करने के लिए दिखाना होगा कि
हमें दिखाना होगा कि उपस्थित है।
चूँकि, , यह विभेदी की परिभाषा द्वारा है। इसलिए, यदि उपस्थित है,तो हम दिखा सकते हैं कि भी उपस्थित होता है।
इसलिए, यदि हम मान लें कि उपस्थित है, हम सीमा विधि का उपयोग कर सकते हैं और अपना प्रमाण जारी रख सकते हैं।
इसलिए, हमने सिद्ध किया है कि जब ,होता है, तो होता है।