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

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


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


==प्रारंभिक इतिहास==
==प्रारंभिक इतिहास==
अंकगणितीय व्युत्पन्न की शुरुआत 1911 में स्पेनिश गणितज्ञ जोस मिंगोट शेली द्वारा की गई थी।<ref>{{cite journal |last1=Shelly |first1=D. J. M. |title=Una cuestión de la teoria de los numeros |journal=Association Esp. Granada |date=1911 |pages=1–12 |jfm=42.0209.02 |url=https://zbmath.org/?q=an:42.0209.02}}</ref><ref>{{cite book |last1=Lava |first1=Paolo Pietro |last2=Balzarotti |first2=Giorgio |title=La derivata aritmetica: Alla scoperta di un nuovo approccio alla teoria dei numeri}}</ref> अंकगणितीय व्युत्पन्न 1950 [[विलियम लोवेल पटनम प्रतियोगिता]] में भी दिखाई दिया।<ref>{{cite web |last1=Scholes |first1=John |title=10th Putnam 1950 |url=https://prase.cz/kalva/putnam/putn50.html}}</ref>
अंकगणितीय व्युत्पन्न की प्रारंभ 1911 में स्पेनिश गणितज्ञ जोस मिंगोट शेली द्वारा की गई थी।<ref>{{cite journal |last1=Shelly |first1=D. J. M. |title=Una cuestión de la teoria de los numeros |journal=Association Esp. Granada |date=1911 |pages=1–12 |jfm=42.0209.02 |url=https://zbmath.org/?q=an:42.0209.02}}</ref><ref>{{cite book |last1=Lava |first1=Paolo Pietro |last2=Balzarotti |first2=Giorgio |title=La derivata aritmetica: Alla scoperta di un nuovo approccio alla teoria dei numeri}}</ref> इस प्रकार अंकगणितीय व्युत्पन्न 1950 [[विलियम लोवेल पटनम प्रतियोगिता]] में भी दिखाई दिया था।<ref>{{cite web |last1=Scholes |first1=John |title=10th Putnam 1950 |url=https://prase.cz/kalva/putnam/putn50.html}}</ref>
 
==परिभाषा                                                                                                                                                                                                                                                                                                                                                                                             ==
 
[[प्राकृतिक संख्या]]ओं {{mvar|n}} के लिए, अंकगणितीय व्युत्पन्न {{math|''D''(''n'')}} को इस प्रकार परिभाषित किया गया है:
==परिभाषा==
[[प्राकृतिक संख्या]]ओं के लिए {{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}}.
* {{math|1=''D''(''p'')  =  1}} किसी भी [[अभाज्य संख्या]] के लिए {{mvar|p}}.
* {{math|1=''D''(''p'')  =  1}} किसी भी [[अभाज्य संख्या]] के लिए {{mvar|p}}.
* {{math|1=''D''(''mn'')  =  ''D''(''m'')''n'' + ''mD''(''n'')}} किसी के लिए <math>m, n \in \N</math> (प्रॉडक्ट नियम)
*किसी भी <math>m, n \in \N</math> (लीबनिज़ नियम) के लिए {{math|1=''D''(''mn'')  =  ''D''(''m'')''n'' + ''mD''(''n'')}}।


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


एडवर्ड बारब्यू|एडवर्ड जे. बारब्यू ने विकल्प दिखाकर फ़ंक्शन के डोमेन को सभी पूर्णांकों तक विस्तारित किया {{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>{{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 name="jis2003" /> जैसे कि गॉसियन पूर्णांक और [[आइज़ेंस्टीन पूर्णांक]], और इससे संबंधित [[भिन्नों का क्षेत्र]] है यदि यूएफडी [[बहुपद]] वलय है, तो अंकगणितीय व्युत्पन्न उक्त बहुपद वलय पर [[व्युत्पत्ति (विभेदक बीजगणित)|व्युत्पन्न (विभेदक बीजगणित)]] के समान है। उदाहरण के लिए, नियमित व्युत्पन्न [[अविभाज्य]] [[वास्तविक संख्या]] और [[जटिल संख्या|सम्मिश्र संख्या]] बहुपद और [[तर्कसंगत कार्य]] के वलय के लिए अंकगणितीय व्युत्पन्न है, जिसे बीजगणित के मौलिक प्रमेय का उपयोग करके सिद्ध किया जा सकता है।


अंकगणितीय व्युत्पन्न को पूर्णांक मॉड्यूलो n की वलय तक भी बढ़ाया गया है।<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>
==प्राथमिक गुण==
==प्राथमिक गुण==
लीबनिज़ नियम का तात्पर्य यह है {{math|1=''D''(0) = 0}} (लेना {{math|1=''m'' = ''n'' = 0}}) और {{math|1=''D''(1) = 0}} (लेना {{math|1=''m'' = ''n'' = 1}}).
लीबनिज़ नियम का अर्थ यह है {{math|1=''D''(0) = 0}} (माना {{math|1=''m'' = ''n'' = 0}}) और {{math|1=''D''(1) = 0}} (माना {{math|1=''m'' = ''n'' = 1}}).


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


:<math>D(k^n) = nk^{n-1} D(k).</math>
:<math>D(k^n) = nk^{n-1} D(k).</math>
यह किसी पूर्णांक के अभाज्य गुणनखंड से व्युत्पन्न की गणना करने की अनुमति देता है, <math display="inline">x = \prod_{i=1}^{\omega(x)} {p_i}^{\nu_{p_i}(x)}</math>:
यह किसी पूर्णांक <math display="inline">x = \prod_{i=1}^{\omega(x)} {p_i}^{\nu_{p_i}(x)}</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>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}} का p-एडिक मूल्यांकन है।.


उदाहरण के लिए:
उदाहरण के लिए:
Line 41: Line 38:
या
या
:<math>D(81) = D(3^4) = 4\cdot 3^3\cdot D(3) = 4\cdot 27\cdot 1 = 108.</math>
:<math>D(81) = D(3^4) = 4\cdot 3^3\cdot D(3) = 4\cdot 27\cdot 1 = 108.</math>
के लिए संख्या व्युत्पन्न का पूर्णांक अनुक्रम {{math|1=''k'' = 0, 1, 2, …}} शुरू करना {{OEIS|id=A003415}}:
{{math|1=''k'' = 0, 1, 2, …}} के लिए संख्या व्युत्पन्न का क्रम प्रारंभ होता है ({{OEIS|id=A003415}}):


:<math>0, 0, 1, 1, 4, 1, 5, 1, 12, 6, 7, 1, 16, 1, 9, \ldots</math>
:<math>0, 0, 1, 1, 4, 1, 5, 1, 12, 6, 7, 1, 16, 1, 9, \ldots</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>\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_p^{\prime}=\frac {\nu_p(x)} {p} x.</math>
तो, का अंकगणितीय व्युत्पन्न <math>x</math> के रूप में दिया गया है
<math>D(x) = \sum_{\stackrel{p \,\mid\, x}{p\text{ prime}}} x_p^{\prime}.</math>
एक अंकगणितीय कार्य <math>f</math> यदि कोई पूर्णतः गुणक फलन है तो लाइबनिज़-योगात्मक है <math>h_f</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>\delta</math> सैंडोर और अटानासोव द्वारा पुस्तक की धारा 3.5 में दिया गया, वास्तव में, सामान्य अंकगणितीय व्युत्पन्न के समान ही है <math>D</math>.
<math>p</math> के संबंध में <math>x</math> के अंकगणितीय आंशिक व्युत्पन्न को <math>x_p^{\prime}=\frac {\nu_p(x)} {p} x.</math> के रूप में परिभाषित किया गया है, इसलिए, <math>x</math> के अंकगणितीय व्युत्पन्न को <math>D(x) = \sum_{\stackrel{p \,\mid\, x}{p\text{ prime}}} x_p^{\prime}.</math> के रूप में दिया गया है
 
एक अंकगणितीय फलन <math>f</math> लाइबनिज़-एडिटिव है यदि कोई पूरी तरह से गुणक फलन <math>h_f</math> है जैसे कि सभी धनात्मक पूर्णांक <math>m</math> और <math>n</math> के लिए <math>f(mn) = f(m)h_f(n)+f(n)h_f(m)</math>। इस अवधारणा के लिए एक प्रेरणा यह तथ्य है कि लाइबनिज़-एडिटिव फलन अंकगणितीय व्युत्पन्न <math>D</math> के सामान्यीकरण हैं; अर्थात्, <math>D</math> <math>h_D(n)=n</math> के साथ लीबनिज़-एडिटिव है
 
सैंडोर और अटानासोव द्वारा पुस्तक के खंड 3.5 में दिया गया फलन <math>\delta</math> वास्तव में सामान्य अंकगणितीय व्युत्पन्न <math>D</math> के समान ही है


==असमानताएं और सीमाएं==
==असमानताएं और सीमाएं==
ई. जे. बारब्यू ने अंकगणितीय व्युत्पन्न पर सीमाओं की जांच की<ref>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</ref> और उसे पाया
ई. जे. बारब्यू ने अंकगणितीय व्युत्पन्न पर सीमाओं की जांच की थी <ref>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</ref> और पाया कि
: <math>D(n) \leq \frac{n \log_2 n}{2}</math>
: <math>D(n) \leq \frac{n \log_2 n}{2}</math>
और
और
:<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 80: Line 75:


:<math>T_0 = \sum_p \frac{1}{p(p-1)}. </math>
:<math>T_0 = \sum_p \frac{1}{p(p-1)}. </math>
==संख्या सिद्धांत की प्रासंगिकता                    ==


विक्टर उफनरोव्स्की और बो ओहलैंडर ने फलन के कनेक्शन को प्रतरूप प्राइम [[अनुमान]], प्राइम ट्रिपल अनुमान और गोल्डबैक के अनुमान जैसे प्रसिद्ध संख्या-सैद्धांतिक अनुमानों के साथ विस्तृत किया है। उदाहरण के लिए, गोल्डबैक का अनुमान यह दर्शाता है कि प्रत्येक {{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"/>
 
 
==यह भी देखें==
*अंकगणितीय फलन
*अंकगणितीय फलन
*व्युत्पत्ति (विभेदक बीजगणित)
*व्युत्पन्न (विभेदक बीजगणित)
*पी-व्युत्पत्ति|पी-व्युत्पत्ति
*p-व्युत्पन्न या p-व्युत्पन्न


==टिप्पणियाँ==
==टिप्पणियाँ                                                                                                                                                                                                                                                     ==
{{reflist|group=note}}
{{reflist|group=note}}
 
==संदर्भ                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   ==
 
==संदर्भ==
{{reflist}}
{{reflist}}
* {{cite journal | first=E. J. | last=Barbeau | title=Remarks on an arithmetic derivative | journal=[[Canadian Mathematical Bulletin]] | volume=4 | year=1961 | issue=2 | pages=117–122 | doi=10.4153/CMB-1961-013-0 | zbl=0101.03702 | doi-access=free }}
* {{cite journal | first=E. J. | last=Barbeau | title=Remarks on an arithmetic derivative | journal=[[Canadian Mathematical Bulletin]] | volume=4 | year=1961 | issue=2 | pages=117–122 | doi=10.4153/CMB-1961-013-0 | zbl=0101.03702 | doi-access=free }}
Line 133: Line 123:
| journal=Integers | volume=21 | year=2021 }}
| journal=Integers | volume=21 | year=2021 }}


[[Category: योगात्मक कार्य]] [[Category: अंकगणितीय कार्य]] [[Category: संख्या सिद्धांत]] [[Category: व्युत्पन्न का सामान्यीकरण]]
[[Category: Machine Translated Page]]
[[Category:Created On 21/07/2023]]
[[Category:Created On 21/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:अंकगणितीय कार्य]]
[[Category:योगात्मक कार्य]]
[[Category:व्युत्पन्न का सामान्यीकरण]]
[[Category:संख्या सिद्धांत]]

Latest revision as of 16:44, 1 August 2023

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

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

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

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

परिभाषा

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

  • D(0) = D(1) = 0.
  • D(p) = 1 किसी भी अभाज्य संख्या के लिए p.
  • किसी भी (लीबनिज़ नियम) के लिए D(mn) = D(m)n + mD(n)

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

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

[4][5]

विक्टर उफ्नारोव्स्की और बो ओहलैंडर ने इसे अपरिमेय संख्या तक विस्तारित किया जिसे अनैतिक तर्कसंगत घातो तक बढ़ाए गए अभाज्य संख्याओं के उत्पाद के रूप में लिखा जा सकता है, जिससे जैसी अभिव्यक्तियों की गणना की जा सकती है। [6]

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

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

प्राथमिक गुण

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

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

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

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

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

या

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]

यह भी देखें

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

टिप्पणियाँ

संदर्भ

  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