अर्ध-विभेदीकरण

गणना में, गणित की शाखा, वास्तविक चर के वास्तविक संख्या-मूल्य वाले फलन (गणित) f की एकपक्षीय भिन्नता और अर्ध-भिन्नता की धारणाएं भिन्नता से कमजोर होती हैं। विशेष रूप से, फलन f को बिंदु a पर सही अवकलनीय कहा जाता है, यदि, मोटे तौर पर कहा जा सकता है, तब व्युत्पन्न (गणित) को परिभाषित किया जा सकता है, जिससे कि फलन के तर्क x दाईं ओर से a की ओर जाता है, और बाएं ओर a पर भिन्न किया जा सकता है यदि व्युत्पन्न को x के रूप में परिभाषित किया जा सकता है जो बाएं ओर से a की ओर बढ़ता है।

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

इस फलन का चिह्नित बिंदु पर कोई व्युत्पन्न नहीं है, जिससे कि फलन वहां निरंतर फलन नहीं है। हालाँकि, इसमें सभी बिंदुओं पर सही व्युत्पन्न है $\partial _{+}f(a)$ लगातार 0 के सामान्तर.

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

परिभाषाएँ

मान लीजिए f वास्तविक संख्याओं के उपसमुच्चय I पर परिभाषित वास्तविक-मूल्यवान फलन को दर्शाता है।

यदि a ∈ I , I ∩ [a,∞) का सीमा बिंदु होता है और एकपक्षीय सीमा होती है।

$\partial _{+}f(a):=\lim _{\scriptstyle x\to a^{+} \atop \scriptstyle x\in I}{\frac {f(x)-f(a)}{x-a}}$

वास्तविक संख्या के रूप में उपस्तिथ होती है, तब f को a पर 'सही अवकलनीय' कहा जाता है और सीमा ∂₊f(a) को a पर f का 'सही अवकलज' कहा जाता है।

यदि a ∈ I, I ∩ (–∞,a] की सीमा बिंदु होती है और एकपक्षीय सीमा होती है।

$\partial _{-}f(a):=\lim _{\scriptstyle x\to a^{-} \atop \scriptstyle x\in I}{\frac {f(x)-f(a)}{x-a}}$

वास्तविक संख्या के रूप में उपस्तिथ है, तब f को a पर 'बायां अवकलनीय' कहा जाता है और सीमा ∂_–f(a) को a पर f का 'बायां अवकलज' कहा जाता है।

यदि a ∈ I, I ∩ [a,∞) की सीमा बिंदु होती है और यदि f, a पर बाएँ और दाएँ अवकलनीय होता है, तब f को a पर 'अर्ध-विभेदनीय' कहा जाता है।

यदि बाएँ और दाएँ व्युत्पन्न समान होते हैं, तब उनका मान सामान्य (द्विदिशात्मक) व्युत्पन्न के समान होते है। इस प्रकार कोई सममित व्युत्पन्न को भी परिभाषित कर सकता है, जो बाएं और दाएं व्युत्पन्न (जब वह दोनों उपस्तिथ होते हैं) के अंकगणितीय माध्य के सामान्तर होता है, अतः सममित व्युत्पन्न तब उपस्तिथ हो सकता है जब सामान्य व्युत्पन्न उपस्तिथ नहीं होता है।

टिप्पणियाँ और उदाहरण

• फलन अपने कार्यक्षेत्र के आंतरिक बिंदु a पर भिन्न होता है और यदि यह a पर अर्ध-विभेदित होता है और बायां व्युत्पन्न दाएं व्युत्पन्न के सामान्तर होता है।
• अर्ध-विभेदनीय फलन का उदाहरण, जो अवकलनीय नहीं होता है, अतः $f(x)=|x|$, a = 0 पर निरपेक्ष मान फलन है। इस प्रकार हम सरलता से $\partial _{-}f(0)=-1,\partial _{+}f(0)=1.$ प्राप्त करते हैं।
• यदि कोई फलन किसी बिंदु a पर अर्ध-विभेदनीय होता है, तब इसका तात्पर्य यह होता है कि यह a पर निरंतर है।
• सूचक फलन 1_[0,∞) प्रत्येक वास्तविक a पर सही अवकलनीय होता है, किन्तु शून्य पर असंतत है (ध्यान दीजिए कि यह सूचक फलन शून्य पर अवकलनीय नहीं होता है)।

आवेदन

यदि वास्तविक रेखा के अंतराल I पर परिभाषित वास्तविक-मूल्यवान, अवकलनीय फलन f का प्रत्येक स्थान शून्य व्युत्पन्न होता है, तब यह स्थिर होता है, जैसा कि माध्य मान प्रमेय के अनुप्रयोग से पता चलता है। इस प्रकार भिन्नता की धारणा को f की निरंतरता और एकपक्षीय भिन्नता के कारण अशक्त किया जा सकता है। सामान्यतः दाएँ अवकलनीय कार्यों का संस्करण नीचे दिया गया है, अतः बाएँ अवकलनीय कार्यों का संस्करण अनुरूप होता है।

Theorem —  मान लीजिए f वास्तविक-मूल्यवान है, सतत कार्य, अनैतिक रूप से परिभाषित मध्यान्तर I की वास्तविक रेखा होती है। यदि f प्रत्येक बिंदु पर सही अवकलनीय होता है a ∈ I, जो अंतराल का सर्वोच्च नहीं होता है, और यदि यह सही व्युत्पन्न सदैव शून्य होता है, तब f स्थिर होता है।

Proof

For a proof by contradiction, assume there exist a < b in I such that f(a) ≠ f(b). Then

$\varepsilon :={\frac {|f(b)-f(a)|}{2(b-a)}}>0.$

Define c as the infimum of all those x in the interval (a,b] for which the difference quotient of f exceeds ε in absolute value, i.e.