अंकगणित व्युत्पन्न: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Function defined on integers in number theory}} संख्या सिद्धांत में, लैगरियास अंकगणित...")
 
No edit summary
Line 1: Line 1:
{{Short description|Function defined on integers in number theory}}
{{Short description|Function defined on integers in number theory}}
[[संख्या सिद्धांत]] में, लैगरियास अंकगणितीय व्युत्पन्न या संख्या व्युत्पन्न [[पूर्णांक]]ों के लिए परिभाषित एक [[फ़ंक्शन (गणित)]] है, जो [[गणितीय विश्लेषण]] में उपयोग किए जाने वाले व्युत्पन्न के लिए उत्पाद नियम के अनुरूप, अभाज्य गुणनखंड पर आधारित है।
[[संख्या सिद्धांत]] में, लैगरियास अंकगणितीय व्युत्पन्न या संख्या व्युत्पन्न [[पूर्णांक]]ों के लिए परिभाषित [[फ़ंक्शन (गणित)]] है, जो [[गणितीय विश्लेषण]] में उपयोग किए जाने वाले व्युत्पन्न के लिए उत्पाद नियम के अनुरूप, अभाज्य गुणनखंड पर आधारित है।


अंकगणितीय व्युत्पन्नों के कई संस्करण हैं, जिनमें इस लेख में चर्चा की गई (लैगरियस अंकगणितीय व्युत्पन्न) भी शामिल है, जैसे कि इहारा का अंकगणितीय व्युत्पन्न और बुइअम का अंकगणितीय व्युत्पन्न।
अंकगणितीय व्युत्पन्नों के कई संस्करण हैं, जिनमें इस लेख में चर्चा की गई (लैगरियस अंकगणितीय व्युत्पन्न) भी शामिल है, जैसे कि इहारा का अंकगणितीय व्युत्पन्न और बुइअम का अंकगणितीय व्युत्पन्न।
Line 9: Line 9:


==परिभाषा==
==परिभाषा==
[[प्राकृतिक संख्या]]ओं के लिए {{mvar|n}}, अंकगणितीय व्युत्पन्न {{math|''D''(''n'')}}<ref group=note name="notation">In this article we use [[Oliver Heaviside]]'s notation {{math|''D''(''n'')}} for the arithmetic derivative of {{mvar|n}}. There are various other notations possible, such as {{math|''n''′}}; a full discussion is available [[Differential operator#Notations|here]] for general [[differential operator]]s, of which the arithmetic derivative can be considered one. Heaviside's notation is used here because it highlights the fact that the arithmetic derivative is a [[Arithmetic function|function over the integers]] and yields itself better notation-wise to [[function iteration]] {{math|''D''<sup>&hairsp;''k''</sup>}} for second and higher-order arithmetic derivatives.</ref> को इस प्रकार परिभाषित किया गया है:
[[प्राकृतिक संख्या]]ओं के लिए {{mvar|n}}, अंकगणितीय व्युत्पन्न {{math|''D''(''n'')}}<ref group="note" name="notation">In this article we use [[Oliver Heaviside]]'s notation {{math|''D''(''n'')}} for the arithmetic derivative of {{mvar|n}}. There are various other notations possible, such as {{math|''n''′}}; a full discussion is available [[Differential operator#Notations|here]] for general [[differential operator]]s, of which the arithmetic derivative can be considered one. Heaviside's notation is used here because it highlights the fact that the arithmetic derivative is a [[Arithmetic function|function over the integers]] and yields itself better notation-wise to [[function iteration]] {{math|''D''<sup>&hairsp;''k''</sup>}} for second and higher-order arithmetic derivatives.</ref> को इस प्रकार परिभाषित किया गया है:


* {{math|1=''D''(0)  = ''D''(1)  =  0}}.
* {{math|1=''D''(0)  = ''D''(1)  =  0}}.
Line 17: Line 17:
==प्राकृतिक संख्याओं से परे विस्तार==
==प्राकृतिक संख्याओं से परे विस्तार==


एडवर्ड बारब्यू|एडवर्ड जे. बारब्यू ने विकल्प दिखाकर एक फ़ंक्शन के डोमेन को सभी पूर्णांकों तक विस्तारित किया {{math|1=''D''(−''n'') = −''D''(''n'')}}, जो विशिष्ट रूप से डोमेन को पूर्णांकों तक विस्तारित करता है, उत्पाद सूत्र के अनुरूप है। बारब्यू ने इसे [[तर्कसंगत संख्या]]ओं तक भी बढ़ाया, यह दिखाते हुए कि परिचित [[भागफल नियम]] एक अच्छी तरह से परिभाषित व्युत्पन्न देता है <math>\Q</math>:
एडवर्ड बारब्यू|एडवर्ड जे. बारब्यू ने विकल्प दिखाकर फ़ंक्शन के डोमेन को सभी पूर्णांकों तक विस्तारित किया {{math|1=''D''(−''n'') = −''D''(''n'')}}, जो विशिष्ट रूप से डोमेन को पूर्णांकों तक विस्तारित करता है, उत्पाद सूत्र के अनुरूप है। बारब्यू ने इसे [[तर्कसंगत संख्या]]ओं तक भी बढ़ाया, यह दिखाते हुए कि परिचित [[भागफल नियम]] अच्छी तरह से परिभाषित व्युत्पन्न देता है <math>\Q</math>:


:<math>D\!\left(\frac{m}{n}\right) = \frac{D(m)n-m D(n)}{n^2} .</math><ref>{{cite journal |last1=Barbeau |first1=Edward |title=अंकगणितीय व्युत्पत्ति पर टिप्पणियाँ|journal=[[Canadian Mathematical Bulletin]] |year=1961 |volume=4 |issue=2 |page=117-122 |doi=10.4153/CMB-1961-013-0|doi-access=free }}</ref><ref>{{cite journal |last1=Barbeau |first1=Edward |title=संकट|journal=Canad. Math. Congress Notes |date=April 1973 |volume=5 |issue=8 |page=6-7}}</ref>
:<math>D\!\left(\frac{m}{n}\right) = \frac{D(m)n-m D(n)}{n^2} .</math><ref>{{cite journal |last1=Barbeau |first1=Edward |title=अंकगणितीय व्युत्पत्ति पर टिप्पणियाँ|journal=[[Canadian Mathematical Bulletin]] |year=1961 |volume=4 |issue=2 |page=117-122 |doi=10.4153/CMB-1961-013-0|doi-access=free }}</ref><ref>{{cite journal |last1=Barbeau |first1=Edward |title=संकट|journal=Canad. Math. Congress Notes |date=April 1973 |volume=5 |issue=8 |page=6-7}}</ref>
[[विक्टर उफ्नारोव्स्की]] और बो ओहलैंडर ने इसे [[अपरिमेय संख्या]] तक विस्तारित किया जिसे मनमानी तर्कसंगत शक्तियों तक बढ़ाए गए अभाज्य संख्याओं के उत्पाद के रूप में लिखा जा सकता है, जिससे अभिव्यक्ति की अनुमति मिलती है <math>D(\sqrt{3}\,)</math> गणना की जानी है। <ref name="jis2003">{{cite journal |last1=Ufnarovski |first1=Victor |last2=Ahlander |first2=Bo |title=किसी संख्या में अंतर कैसे करें|journal=Journal of Integer Sequences |date=2003 |volume=6 |issue=3 |url=https://cs.uwaterloo.ca/journals/JIS/VOL6/Ufnarovski/ufnarovski.pdf}}</ref>
[[विक्टर उफ्नारोव्स्की]] और बो ओहलैंडर ने इसे [[अपरिमेय संख्या]] तक विस्तारित किया जिसे मनमानी तर्कसंगत शक्तियों तक बढ़ाए गए अभाज्य संख्याओं के उत्पाद के रूप में लिखा जा सकता है, जिससे अभिव्यक्ति की अनुमति मिलती है <math>D(\sqrt{3}\,)</math> गणना की जानी है। <ref name="jis2003">{{cite journal |last1=Ufnarovski |first1=Victor |last2=Ahlander |first2=Bo |title=किसी संख्या में अंतर कैसे करें|journal=Journal of Integer Sequences |date=2003 |volume=6 |issue=3 |url=https://cs.uwaterloo.ca/journals/JIS/VOL6/Ufnarovski/ufnarovski.pdf}}</ref>
अंकगणितीय व्युत्पन्न को किसी भी [[अद्वितीय गुणनखंडन डोमेन]] (यूएफडी) तक बढ़ाया जा सकता है,<ref name="jis2003"/>जैसे कि गॉसियन पूर्णांक और [[आइज़ेंस्टीन पूर्णांक]], और इससे संबंधित [[भिन्नों का क्षेत्र]]। यदि यूएफडी एक [[[[बहुपद]] वलय]] है, तो अंकगणितीय व्युत्पन्न उक्त बहुपद वलय पर [[व्युत्पत्ति (विभेदक बीजगणित)]] के समान है। उदाहरण के लिए, नियमित व्युत्पन्न [[अविभाज्य]] [[वास्तविक संख्या]] और [[जटिल संख्या]] बहुपद और [[तर्कसंगत कार्य]]ों के छल्ले के लिए अंकगणितीय व्युत्पन्न है, जिसे बीजगणित के मौलिक प्रमेय का उपयोग करके सिद्ध किया जा सकता है।
अंकगणितीय व्युत्पन्न को किसी भी [[अद्वितीय गुणनखंडन डोमेन]] (यूएफडी) तक बढ़ाया जा सकता है,<ref name="jis2003"/>जैसे कि गॉसियन पूर्णांक और [[आइज़ेंस्टीन पूर्णांक]], और इससे संबंधित [[भिन्नों का क्षेत्र]]। यदि यूएफडी [[[[बहुपद]] वलय]] है, तो अंकगणितीय व्युत्पन्न उक्त बहुपद वलय पर [[व्युत्पत्ति (विभेदक बीजगणित)]] के समान है। उदाहरण के लिए, नियमित व्युत्पन्न [[अविभाज्य]] [[वास्तविक संख्या]] और [[जटिल संख्या]] बहुपद और [[तर्कसंगत कार्य]]ों के छल्ले के लिए अंकगणितीय व्युत्पन्न है, जिसे बीजगणित के मौलिक प्रमेय का उपयोग करके सिद्ध किया जा सकता है।


अंकगणितीय व्युत्पन्न को पूर्णांक मॉड्यूलो एन की रिंग तक भी बढ़ाया गया है।<ref>{{cite journal |last1=Krebs |first1=Mike |last2=Emmons |first2=Caleb |last3=Shaheen |first3=Anthony |title=किसी पूर्णांक मॉड्यूलो में अंतर कैसे करें n|journal=The College Mathematics Journal |date=November 2009 |volume=40 |issue=5 |pages=345–353 |doi=10.4169/074683409X475661 |s2cid=122997343 |url=https://www.tandfonline.com/doi/abs/10.4169/074683409X475661}}</ref>
अंकगणितीय व्युत्पन्न को पूर्णांक मॉड्यूलो एन की रिंग तक भी बढ़ाया गया है।<ref>{{cite journal |last1=Krebs |first1=Mike |last2=Emmons |first2=Caleb |last3=Shaheen |first3=Anthony |title=किसी पूर्णांक मॉड्यूलो में अंतर कैसे करें n|journal=The College Mathematics Journal |date=November 2009 |volume=40 |issue=5 |pages=345–353 |doi=10.4169/074683409X475661 |s2cid=122997343 |url=https://www.tandfonline.com/doi/abs/10.4169/074683409X475661}}</ref>
Line 35: Line 35:


:<math>D(x) = \sum_{i=1}^{\omega(x)} \left[\nu_{p_i}(x) \left(\prod_{j=1}^{i-1} {p_j}^{\nu_{p_j}(x)}\right) p_i^{\nu_{p_i}-1} \left(\prod_{j=i+1}^{\omega(x)} {p_j}^{\nu_{p_j}(x)}\right)\right] = \sum_{i=1}^{\omega(x)} \frac {\nu_{p_i}(x)} {p_i}x = x \sum_{\stackrel{p \,\mid\, x}{p\text{ prime}}} \frac {\nu_p(x)} {p}</math>
:<math>D(x) = \sum_{i=1}^{\omega(x)} \left[\nu_{p_i}(x) \left(\prod_{j=1}^{i-1} {p_j}^{\nu_{p_j}(x)}\right) p_i^{\nu_{p_i}-1} \left(\prod_{j=i+1}^{\omega(x)} {p_j}^{\nu_{p_j}(x)}\right)\right] = \sum_{i=1}^{\omega(x)} \frac {\nu_{p_i}(x)} {p_i}x = x \sum_{\stackrel{p \,\mid\, x}{p\text{ prime}}} \frac {\nu_p(x)} {p}</math>
कहाँ {{math|''ω''(''x'')}}, एक अभाज्य ओमेगा फ़ंक्शन, अलग-अलग अभाज्य कारकों की संख्या है {{mvar|x}}, और {{math|''ν<sub>p</sub>''(''x'')}} पी-एडिक वैल्यूएशन|पी-एडिक वैल्यूएशन है {{mvar|x}}.
कहाँ {{math|''ω''(''x'')}}, अभाज्य ओमेगा फ़ंक्शन, अलग-अलग अभाज्य कारकों की संख्या है {{mvar|x}}, और {{math|''ν<sub>p</sub>''(''x'')}} पी-एडिक वैल्यूएशन|पी-एडिक वैल्यूएशन है {{mvar|x}}.


उदाहरण के लिए:
उदाहरण के लिए:
Line 48: Line 48:
==संबंधित कार्य==
==संबंधित कार्य==
लघुगणकीय व्युत्पन्न
लघुगणकीय व्युत्पन्न
  <math>\operatorname{ld}(x)=\frac{D(x)}{x} = \sum_{\stackrel{p \,\mid\, x}{p\text{ prime}}} \frac {\nu_p(x)} {p}</math> एक [[पूरी तरह से योगात्मक कार्य]] है: <math>\operatorname{ld}(x \cdot y) = \operatorname{ld}(x)+\operatorname{ld}(y).</math>
  <math>\operatorname{ld}(x)=\frac{D(x)}{x} = \sum_{\stackrel{p \,\mid\, x}{p\text{ prime}}} \frac {\nu_p(x)} {p}</math> [[पूरी तरह से योगात्मक कार्य]] है: <math>\operatorname{ld}(x \cdot y) = \operatorname{ld}(x)+\operatorname{ld}(y).</math>
का अंकगणितीय आंशिक व्युत्पन्न <math>x</math> इसके संबंध में <math>p</math> परिभाषित किया जाता है
का अंकगणितीय आंशिक व्युत्पन्न <math>x</math> इसके संबंध में <math>p</math> परिभाषित किया जाता है
  <math>x_p^{\prime}=\frac {\nu_p(x)} {p} x.</math>
  <math>x_p^{\prime}=\frac {\nu_p(x)} {p} x.</math>
Line 55: Line 55:
एक अंकगणितीय कार्य <math>f</math> यदि कोई पूर्णतः गुणक फलन है तो लाइबनिज़-योगात्मक है <math>h_f</math> ऐसा है कि
एक अंकगणितीय कार्य <math>f</math> यदि कोई पूर्णतः गुणक फलन है तो लाइबनिज़-योगात्मक है <math>h_f</math> ऐसा है कि
<math>f(mn) = f(m)h_f(n)+f(n)h_f(m)</math>
<math>f(mn) = f(m)h_f(n)+f(n)h_f(m)</math>
सभी सकारात्मक पूर्णांकों के लिए <math>m</math> और <math>n</math>. इस अवधारणा के लिए एक प्रेरणा यह तथ्य है कि लीबनिज़-एडिटिव फ़ंक्शंस अंकगणितीय व्युत्पन्न के सामान्यीकरण हैं <math>D</math>; अर्थात्, <math>D</math> लाइबनिज़-एडिटिव के साथ है <math>h_D(n)=n</math>.
सभी सकारात्मक पूर्णांकों के लिए <math>m</math> और <math>n</math>. इस अवधारणा के लिए प्रेरणा यह तथ्य है कि लीबनिज़-एडिटिव फ़ंक्शंस अंकगणितीय व्युत्पन्न के सामान्यीकरण हैं <math>D</math>; अर्थात्, <math>D</math> लाइबनिज़-एडिटिव के साथ है <math>h_D(n)=n</math>.


कार्यक्रम <math>\delta</math> सैंडोर और अटानासोव द्वारा पुस्तक की धारा 3.5 में दिया गया, वास्तव में, सामान्य अंकगणितीय व्युत्पन्न के समान ही है <math>D</math>.
कार्यक्रम <math>\delta</math> सैंडोर और अटानासोव द्वारा पुस्तक की धारा 3.5 में दिया गया, वास्तव में, सामान्य अंकगणितीय व्युत्पन्न के समान ही है <math>D</math>.
Line 64: Line 64:
और
और
:<math>D(n) \geq \Omega(n)\, n^{\frac{\Omega(n)-1}{\Omega(n)}}</math>
:<math>D(n) \geq \Omega(n)\, n^{\frac{\Omega(n)-1}{\Omega(n)}}</math>
कहाँ {{math|Ω(''n'')}}, एक अभाज्य ओमेगा फलन, अभाज्य कारकों की संख्या है {{mvar|n}}. उपरोक्त दोनों सीमाओं में, समानता हमेशा तब होती है जब {{mvar|n}} [[2 की शक्ति]] है.
कहाँ {{math|Ω(''n'')}}, अभाज्य ओमेगा फलन, अभाज्य कारकों की संख्या है {{mvar|n}}. उपरोक्त दोनों सीमाओं में, समानता हमेशा तब होती है जब {{mvar|n}} [[2 की शक्ति]] है.


डाहल, ओल्सन और लोइको ने पाया कि प्राकृतिक संख्याओं का अंकगणितीय व्युत्पन्न किसके द्वारा परिबद्ध है<ref>Dahl, N., Olsson, J., Loiko, A. (2011). Investigations on the properties of the arithmetic derivative. On page 4. URL: https://arxiv.org/pdf/1108.4762.pdf</ref>
डाहल, ओल्सन और लोइको ने पाया कि प्राकृतिक संख्याओं का अंकगणितीय व्युत्पन्न किसके द्वारा परिबद्ध है<ref>Dahl, N., Olsson, J., Loiko, A. (2011). Investigations on the properties of the arithmetic derivative. On page 4. URL: https://arxiv.org/pdf/1108.4762.pdf</ref>
: <math>D(n) \leq \frac{n \log_p n}{p}</math>
: <math>D(n) \leq \frac{n \log_p n}{p}</math>
कहाँ {{mvar|p}} सबसे कम अभाज्य है {{mvar|n}} और समानता कब कायम रहती है {{mvar|n}} की एक शक्ति है {{mvar|p}}.
कहाँ {{mvar|p}} सबसे कम अभाज्य है {{mvar|n}} और समानता कब कायम रहती है {{mvar|n}} की शक्ति है {{mvar|p}}.


[[अलेक्जेंडर लोइको]], [[जोनास अर्न्स्ट ओल्सन]] और [[निकलास डाहल]] ने पाया कि तर्कसंगत संख्याओं तक विस्तारित अंकगणितीय व्युत्पन्न के लिए समान सीमाएं ढूंढना असंभव है, यह साबित करके कि किन्हीं दो तर्कसंगत संख्याओं के बीच मनमाने ढंग से बड़े या छोटे व्युत्पन्न के साथ अन्य तर्कसंगत हैं (ध्यान दें कि इसका मतलब यह है कि) अंकगणितीय व्युत्पन्न एक [[सतत कार्य]] नहीं है <math>\mathbb{Q}</math> को <math>\mathbb{Q}</math>).
[[अलेक्जेंडर लोइको]], [[जोनास अर्न्स्ट ओल्सन]] और [[निकलास डाहल]] ने पाया कि तर्कसंगत संख्याओं तक विस्तारित अंकगणितीय व्युत्पन्न के लिए समान सीमाएं ढूंढना असंभव है, यह साबित करके कि किन्हीं दो तर्कसंगत संख्याओं के बीच मनमाने ढंग से बड़े या छोटे व्युत्पन्न के साथ अन्य तर्कसंगत हैं (ध्यान दें कि इसका मतलब यह है कि) अंकगणितीय व्युत्पन्न [[सतत कार्य]] नहीं है <math>\mathbb{Q}</math> को <math>\mathbb{Q}</math>).


==औसत का क्रम==
==औसत का क्रम==
Line 84: Line 84:
==संख्या सिद्धांत की प्रासंगिकता==
==संख्या सिद्धांत की प्रासंगिकता==


विक्टर उफनरोव्स्की और बो ओहलैंडर ने फ़ंक्शन के कनेक्शन को जुड़वां प्राइम [[अनुमान]], प्राइम ट्रिपल अनुमान और गोल्डबैक के अनुमान जैसे प्रसिद्ध संख्या-सैद्धांतिक अनुमानों के साथ विस्तृत किया है। उदाहरण के लिए, गोल्डबैक का अनुमान प्रत्येक के लिए अर्थपूर्ण होगा {{math|''k'' > 1}} एक का अस्तित्व {{mvar|n}} ताकि {{math|1=''D''(''n'') = 2''k''}}. जुड़वां अभाज्य अनुमान का अर्थ यह होगा कि अनंत अनेक हैं {{mvar|k}} जिसके लिए {{math|1=''D''<sup>2</sup>(''k'') = 1}}.<ref name="jis2003"/>
विक्टर उफनरोव्स्की और बो ओहलैंडर ने फ़ंक्शन के कनेक्शन को जुड़वां प्राइम [[अनुमान]], प्राइम ट्रिपल अनुमान और गोल्डबैक के अनुमान जैसे प्रसिद्ध संख्या-सैद्धांतिक अनुमानों के साथ विस्तृत किया है। उदाहरण के लिए, गोल्डबैक का अनुमान प्रत्येक के लिए अर्थपूर्ण होगा {{math|''k'' > 1}} का अस्तित्व {{mvar|n}} ताकि {{math|1=''D''(''n'') = 2''k''}}. जुड़वां अभाज्य अनुमान का अर्थ यह होगा कि अनंत अनेक हैं {{mvar|k}} जिसके लिए {{math|1=''D''<sup>2</sup>(''k'') = 1}}.<ref name="jis2003"/>





Revision as of 15:01, 26 July 2023

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

अंकगणितीय व्युत्पन्नों के कई संस्करण हैं, जिनमें इस लेख में चर्चा की गई (लैगरियस अंकगणितीय व्युत्पन्न) भी शामिल है, जैसे कि इहारा का अंकगणितीय व्युत्पन्न और बुइअम का अंकगणितीय व्युत्पन्न।

प्रारंभिक इतिहास

अंकगणितीय व्युत्पन्न की शुरुआत 1911 में स्पेनिश गणितज्ञ जोस मिंगोट शेली द्वारा की गई थी।[1][2] अंकगणितीय व्युत्पन्न 1950 विलियम लोवेल पटनम प्रतियोगिता में भी दिखाई दिया।[3]


परिभाषा

प्राकृतिक संख्याओं के लिए n, अंकगणितीय व्युत्पन्न D(n)[note 1] को इस प्रकार परिभाषित किया गया है:

  • D(0) = D(1) = 0.
  • D(p) = 1 किसी भी अभाज्य संख्या के लिए p.
  • D(mn) = D(m)n + mD(n) किसी के लिए (प्रॉडक्ट नियम)।

प्राकृतिक संख्याओं से परे विस्तार

एडवर्ड बारब्यू|एडवर्ड जे. बारब्यू ने विकल्प दिखाकर फ़ंक्शन के डोमेन को सभी पूर्णांकों तक विस्तारित किया D(−n) = −D(n), जो विशिष्ट रूप से डोमेन को पूर्णांकों तक विस्तारित करता है, उत्पाद सूत्र के अनुरूप है। बारब्यू ने इसे तर्कसंगत संख्याओं तक भी बढ़ाया, यह दिखाते हुए कि परिचित भागफल नियम अच्छी तरह से परिभाषित व्युत्पन्न देता है :

[4][5]

विक्टर उफ्नारोव्स्की और बो ओहलैंडर ने इसे अपरिमेय संख्या तक विस्तारित किया जिसे मनमानी तर्कसंगत शक्तियों तक बढ़ाए गए अभाज्य संख्याओं के उत्पाद के रूप में लिखा जा सकता है, जिससे अभिव्यक्ति की अनुमति मिलती है गणना की जानी है। [6] अंकगणितीय व्युत्पन्न को किसी भी अद्वितीय गुणनखंडन डोमेन (यूएफडी) तक बढ़ाया जा सकता है,[6]जैसे कि गॉसियन पूर्णांक और आइज़ेंस्टीन पूर्णांक, और इससे संबंधित भिन्नों का क्षेत्र। यदि यूएफडी [[बहुपद वलय]] है, तो अंकगणितीय व्युत्पन्न उक्त बहुपद वलय पर व्युत्पत्ति (विभेदक बीजगणित) के समान है। उदाहरण के लिए, नियमित व्युत्पन्न अविभाज्य वास्तविक संख्या और जटिल संख्या बहुपद और तर्कसंगत कार्यों के छल्ले के लिए अंकगणितीय व्युत्पन्न है, जिसे बीजगणित के मौलिक प्रमेय का उपयोग करके सिद्ध किया जा सकता है।

अंकगणितीय व्युत्पन्न को पूर्णांक मॉड्यूलो एन की रिंग तक भी बढ़ाया गया है।[7]


प्राथमिक गुण

लीबनिज़ नियम का तात्पर्य यह है D(0) = 0 (लेना m = n = 0) और D(1) = 0 (लेना m = n = 1).

घात नियम अंकगणितीय व्युत्पन्न के लिए भी मान्य है। किसी भी पूर्णांक के लिए k और n ≥ 0:

यह किसी पूर्णांक के अभाज्य गुणनखंड से व्युत्पन्न की गणना करने की अनुमति देता है, :

कहाँ ω(x), अभाज्य ओमेगा फ़ंक्शन, अलग-अलग अभाज्य कारकों की संख्या है x, और νp(x) पी-एडिक वैल्यूएशन|पी-एडिक वैल्यूएशन है x.

उदाहरण के लिए:

या

के लिए संख्या व्युत्पन्न का पूर्णांक अनुक्रम k = 0, 1, 2, … शुरू करना (sequence A003415 in the OEIS):


संबंधित कार्य

लघुगणकीय व्युत्पन्न

 पूरी तरह से योगात्मक कार्य है: 

का अंकगणितीय आंशिक व्युत्पन्न इसके संबंध में परिभाषित किया जाता है


तो, का अंकगणितीय व्युत्पन्न के रूप में दिया गया है


एक अंकगणितीय कार्य यदि कोई पूर्णतः गुणक फलन है तो लाइबनिज़-योगात्मक है ऐसा है कि सभी सकारात्मक पूर्णांकों के लिए और . इस अवधारणा के लिए प्रेरणा यह तथ्य है कि लीबनिज़-एडिटिव फ़ंक्शंस अंकगणितीय व्युत्पन्न के सामान्यीकरण हैं ; अर्थात्, लाइबनिज़-एडिटिव के साथ है .

कार्यक्रम सैंडोर और अटानासोव द्वारा पुस्तक की धारा 3.5 में दिया गया, वास्तव में, सामान्य अंकगणितीय व्युत्पन्न के समान ही है .

असमानताएं और सीमाएं

ई. जे. बारब्यू ने अंकगणितीय व्युत्पन्न पर सीमाओं की जांच की[8] और उसे पाया

और

कहाँ Ω(n), अभाज्य ओमेगा फलन, अभाज्य कारकों की संख्या है n. उपरोक्त दोनों सीमाओं में, समानता हमेशा तब होती है जब n 2 की शक्ति है.

डाहल, ओल्सन और लोइको ने पाया कि प्राकृतिक संख्याओं का अंकगणितीय व्युत्पन्न किसके द्वारा परिबद्ध है[9]

कहाँ p सबसे कम अभाज्य है n और समानता कब कायम रहती है n की शक्ति है p.

अलेक्जेंडर लोइको, जोनास अर्न्स्ट ओल्सन और निकलास डाहल ने पाया कि तर्कसंगत संख्याओं तक विस्तारित अंकगणितीय व्युत्पन्न के लिए समान सीमाएं ढूंढना असंभव है, यह साबित करके कि किन्हीं दो तर्कसंगत संख्याओं के बीच मनमाने ढंग से बड़े या छोटे व्युत्पन्न के साथ अन्य तर्कसंगत हैं (ध्यान दें कि इसका मतलब यह है कि) अंकगणितीय व्युत्पन्न सतत कार्य नहीं है को ).

औसत का क्रम

अपने पास

और

किसी भी δ > 0 के लिए, जहां


संख्या सिद्धांत की प्रासंगिकता

विक्टर उफनरोव्स्की और बो ओहलैंडर ने फ़ंक्शन के कनेक्शन को जुड़वां प्राइम अनुमान, प्राइम ट्रिपल अनुमान और गोल्डबैक के अनुमान जैसे प्रसिद्ध संख्या-सैद्धांतिक अनुमानों के साथ विस्तृत किया है। उदाहरण के लिए, गोल्डबैक का अनुमान प्रत्येक के लिए अर्थपूर्ण होगा k > 1 का अस्तित्व n ताकि D(n) = 2k. जुड़वां अभाज्य अनुमान का अर्थ यह होगा कि अनंत अनेक हैं k जिसके लिए D2(k) = 1.[6]


यह भी देखें

  • अंकगणितीय फलन
  • व्युत्पत्ति (विभेदक बीजगणित)
  • पी-व्युत्पत्ति|पी-व्युत्पत्ति

टिप्पणियाँ

  1. In this article we use Oliver Heaviside's notation D(n) for the arithmetic derivative of n. There are various other notations possible, such as n; a full discussion is available here for general differential operators, of which the arithmetic derivative can be considered one. Heaviside's notation is used here because it highlights the fact that the arithmetic derivative is a function over the integers and yields itself better notation-wise to function iteration Dk for second and higher-order arithmetic derivatives.


संदर्भ

  1. Shelly, D. J. M. (1911). "Una cuestión de la teoria de los numeros". Association Esp. Granada: 1–12. JFM 42.0209.02.
  2. Lava, Paolo Pietro; Balzarotti, Giorgio. La derivata aritmetica: Alla scoperta di un nuovo approccio alla teoria dei numeri.
  3. Scholes, John. "10th Putnam 1950".
  4. Barbeau, Edward (1961). "अंकगणितीय व्युत्पत्ति पर टिप्पणियाँ". Canadian Mathematical Bulletin. 4 (2): 117-122. doi:10.4153/CMB-1961-013-0.
  5. Barbeau, Edward (April 1973). "संकट". Canad. Math. Congress Notes. 5 (8): 6-7.
  6. 6.0 6.1 6.2 Ufnarovski, Victor; Ahlander, Bo (2003). "किसी संख्या में अंतर कैसे करें" (PDF). Journal of Integer Sequences. 6 (3).
  7. Krebs, Mike; Emmons, Caleb; Shaheen, Anthony (November 2009). "किसी पूर्णांक मॉड्यूलो में अंतर कैसे करें n". The College Mathematics Journal. 40 (5): 345–353. doi:10.4169/074683409X475661. S2CID 122997343.
  8. Barbeau, E.J. (1961). Remarks on an arithmetic derivative. URL: https://www.cambridge.org/core/services/aop-cambridge-core/content/view/1FD7F09AD3972692FC97BB23A21D0BD8/S0008439500050773a.pdf/remarks_on_an_arithmetic_derivative.pdf
  9. Dahl, N., Olsson, J., Loiko, A. (2011). Investigations on the properties of the arithmetic derivative. On page 4. URL: https://arxiv.org/pdf/1108.4762.pdf