अर्ध-भिन्नता

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

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

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

यदि $a &isin; I$ का सीमा बिंदु है $I ∩$ $[a,∞)$ और एक तरफा सीमा है।


 * $$\partial_+f(a):=\lim_\frac{f(x)-f(a)}{x-a}$$

एक वास्तविक संख्या के रूप में मौजूद है, तो f को a पर सही अवकलनीय कहा जाता है और सीमा ∂ + f( a ) को a पर f का सही व्युत्पन्न कहा जाता है ।

यदि $a &isin; I$ का सीमा बिंदु है $I ∩$ $(–∞,a]$ और एक तरफा सीमा है।


 * $$\partial_-f(a):=\lim_\frac{f(x)-f(a)}{x-a}$$

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

यदि $a &isin; I$ का सीमा बिंदु है $I ∩$ $[a,∞)$ तथा $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 पर अलग-अलग होने योग्य है, लेकिन शून्य पर बंद है(ध्यान दें कि यह संकेतक फलन शून्य पर अलग-अलग नहीं छोड़ा गया है)।

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

$$

बाएँ या दाएँ कार्य करने वाले विभेदक संकारक
सामान्य उपयोग इंफिक्स नोटेशन में द्विआधारी संक्रिया के रूप में अभिक्रियित किए गए व्युत्पन्न का वर्णन करना है, जिसमें व्युत्पन्न को या तो बाएं या दाएं ओपेरंड पर लागू किया जाना है। यह उपयोगी है, उदाहरण के लिए, पॉइसन ब्रैकेट के सामान्यीकरण को परिभाषित करते समय कार्यों की एक जोड़ी f और g के लिए, बाएँ और दाएँ व्युत्पन्न क्रमशः परिभाषित किए गए हैं
 * $$f \stackrel{\leftarrow }{\partial }_x g = \frac{\partial f}{\partial x} \cdot g$$
 * $$f \stackrel{\rightarrow }{\partial }_x g = f \cdot \frac{\partial g}{\partial x}.$$

ब्रा-केट नोटेशन में, व्युत्पन्न संकारक सही संकार्य पर नियमित व्युत्पन्न के रूप में बाईं या नकारात्मक व्युत्पन्न के रूप में कार्य कर सकता है।

उच्च-आयामी कारक
इस उपरोक्त परिभाषा को दिशात्मक व्युत्पन्न के कमज़ोर संस्करण का उपयोग करके सबसेट 'Rn ' पर वास्तविक-मूल्य वाले कार्यों के लिए परिभाषित किया जा सकता है। मान लीजिए a, f के कार्यक्षेत्र का आंतरिक बिंदु है तब बिंदु a पर f को सेमी-डिफ़रेंशिएबल कहा जाता है यदि हर दिशा के लिए u ∈ 'R'n सीमा है


 * $$\partial_uf(a)=\lim_{h\to 0^+}\frac{f(a+h\, u)-f(a)}{h}$$

साथ $$ h \in $$ R एक वास्तविक संख्या के रूप में मौजूद है।

अर्ध-भिन्नता इस प्रकार व्युत्पन्न की तुलना में कमजोर है, जिसके लिए कोई भी h→ 0 से ऊपर की सीमा में 'h' को केवल सकारात्मक मूल्यों तक सीमित किए बिना लेता है।

उदाहरण के लिए, समारोह $$f(x, y) = \sqrt{x^2 + y^2}$$ पर अर्द्धविभेद्य है $$(0, 0)$$, लेकिन वहाँ गैटॉक्स अलग-अलग नहीं है। वास्तव में, $$ f(hx,hy)=|h|f(x,y) \text{ and for } h \geq 0, f(hx,hy)=h f(x,y), f(hx,hy)/h=f(x,y), $$ साथ $$ a= 0, u=(x,y), \partial_uf(0)=f(x,y) $$ (ध्यान दें कि यह सामान्यीकरण n = 1 की मूल परिभाषा के समतुल्य नहीं है क्योंकि एक तरफा सीमा बिंदुओं की अवधारणा को आंतरिक बिंदुओं की मजबूत अवधारणा से बदल दिया गया है।)

गुण

 * Rn के उत्तल खुले सेट पर कोई उत्तल कार्य अर्द्धविभेद्य है।
 * जबकि एक चर का प्रत्येक अर्ध-अवकलनीय फलन सतत होता है; यह अब कई चरों के लिए सत्य नहीं है।

सामान्यीकरण
वास्तविक-मूल्यवान कार्यों के बजाय, R n या एक बनच स्थान में मान लेने वाले कार्यों पर विचार किया जा सकता है

यह भी देखें

 * व्युत्पन्न
 * दिशात्मक व्युत्पन्न
 * आंशिक व्युत्पन्न
 * ढाल
 * गेटॉक्स व्युत्पन्न
 * फ्रेचेट व्युत्पन्न
 * व्युत्पन्न(सामान्यीकरण)
 * चरण स्थान सूत्रीकरण
 * दीनी व्युत्पन्न