अंकगणित व्युत्पन्न

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

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

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

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

परिभाषा

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

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

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

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

$D\!\left({\frac {m}{n}}\right)={\frac {D(m)n-mD(n)}{n^{2}}}.$

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

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

प्राथमिक गुण

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

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

$D(k^{n})=nk^{n-1}D(k).$

यह किसी पूर्णांक के अभाज्य गुणनखंड से व्युत्पन्न की गणना करने की अनुमति देता है, ${\textstyle x=\prod _{i=1}^{\omega (x)}{p_{i}}^{\nu _{p_{i}}(x)}}$:

$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}}$

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

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

$D(60)=D(2^{2}\cdot 3\cdot 5)=\left({\frac {2}{2}}+{\frac {1}{3}}+{\frac {1}{5}}\right)\cdot 60=92,$

या

$D(81)=D(3^{4})=4\cdot 3^{3}\cdot D(3)=4\cdot 27\cdot 1=108.$

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

$0,0,1,1,4,1,5,1,12,6,7,1,16,1,9,\ldots$

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

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

$\operatorname {ld} (x)={\frac {D(x)}{x}}=\sum _{\stackrel {p\,\mid \,x}{p{\text{ prime}}}}{\frac {\nu _{p}(x)}{p}}$ पूरी तरह से योगात्मक कार्य है: $\operatorname {ld} (x\cdot y)=\operatorname {ld} (x)+\operatorname {ld} (y).$

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

$x_{p}^{\prime }={\frac {\nu _{p}(x)}{p}}x.$

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

$D(x)=\sum _{\stackrel {p\,\mid \,x}{p{\text{ prime}}}}x_{p}^{\prime }.$

एक अंकगणितीय कार्य $f$ यदि कोई पूर्णतः गुणक फलन है तो लाइबनिज़-योगात्मक है $h_{f}$ ऐसा है कि $f(mn)=f(m)h_{f}(n)+f(n)h_{f}(m)$ सभी सकारात्मक पूर्णांकों के लिए $m$ और $n$. इस अवधारणा के लिए प्रेरणा यह तथ्य है कि लीबनिज़-एडिटिव फ़ंक्शंस अंकगणितीय व्युत्पन्न के सामान्यीकरण हैं $D$; अर्थात्, $D$ लाइबनिज़-एडिटिव के साथ है $h_{D}(n)=n$.

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

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

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

$D(n)\leq {\frac {n\log _{2}n}{2}}$

और

$D(n)\geq \Omega (n)\,n^{\frac {\Omega (n)-1}{\Omega (n)}}$

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

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

$D(n)\leq {\frac {n\log _{p}n}{p}}$

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

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

औसत का क्रम

अपने पास

$\sum _{n\leq x}{\frac {D(n)}{n}}=T_{0}x+O(\log x\log \log x)$

और

$\sum _{n\leq x}D(n)=\left({\frac {1}{2}}\right)T_{0}x^{2}+O(x^{1+\delta })$

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

$T_{0}=\sum _{p}{\frac {1}{p(p-1)}}.$

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

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

यह भी देखें

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

संदर्भ

• Barbeau, E. J. (1961). "Remarks on an arithmetic derivative". Canadian Mathematical Bulletin. 4 (2): 117–122. doi:10.4153/CMB-1961-013-0. Zbl 0101.03702.
• Ufnarovski, Victor; Åhlander, Bo (2003). "How to Differentiate a Number". Journal of Integer Sequences. 6. Article 03.3.4. ISSN 1530-7638. Zbl 1142.11305.
• Arithmetic Derivative, Planet Math, accessed 04:15, 9 April 2008 (UTC)
• L. Westrick (2003). Investigations of the Number Derivative.
• Peterson, I. Math Trek: Deriving the Structure of Numbers.
• Stay, Michael (2005). "Generalized Number Derivatives". Journal of Integer Sequences. 8. Article 05.1.4. arXiv:math/0508364. ISSN 1530-7638. Zbl 1065.05019.
• Dahl N., Olsson J., Loiko A., Investigation of the properties of the arithmetic derivative.
• Balzarotti, Giorgio; Lava, Paolo Pietro (2013). La derivata aritmetica. Alla scoperta di un nuovo approccio alla teoria dei numeri. Milan: Hoepli. ISBN 978-88-203-5864-8.
• Sandor, Jozsef; Atanassov, Krassimir (2021). Arithmetic Functions, Section 3.5. Nova Science Publishers.

• Koviˇc, Jurij (2012). "The Arithmetic Derivative and Antiderivative" (PDF). Journal of Integer Sequences. 15 (3.8).
• Haukkanen, Pentti; Merikoski, Jorma K.; Mattila, Mika; Tossavainen, Timo (2017). "The arithmetic Jacobian matrix and determinant" (PDF). Journal of Integer Sequences. 20. Article 17.9.2. ISSN 1530-7638.
• Haukkanen, Pentti; Merikoski, Jorma K.; Tossavainen, Timo (2016). "On Arithmetic Partial Differential Equations" (PDF). Journal of Integer Sequences. 19. ISSN 1530-7638.
• Haukkanen, Pentti; Merikoski, Jorma K.; Tossavainen, Timo (2018). "The arithmetic derivative and Leibniz-additive functions". Notes on Number Theory and Discrete Mathematics. 24 (3): 68–76. doi:10.7546/nntdm.2018.24.3.68-76. S2CID 119688466.
• Haukkanen, Pentti (2019). "Generalized arithmetic subderivative". Notes on Number Theory and Discrete Mathematics. 25 (2): 1–7. doi:10.7546/nntdm.2019.25.2.1-7. S2CID 198468574.
• Haukkanen, Pentti; Merikoski, Jorma K.; Tossavainen, Timo (2020). "Arithmetic Subderivatives: p-adic Discontinuity and Continuity". Journal of Integer Sequences. 23. Article 20.7.3. ISSN 1530-7638.
• Haukkanen, Pentti; Merikoski, Jorma K.; Tossavainen, Timo (2020). "Asymptotics of partial sums of the Dirichlet series of the arithmetic derivative". Mathematical Communications. 25.
• Merikoski, Jorma K.; Haukkanen, Pentti; Tossavainen, Timo (2019). "Arithmetic subderivatives and Leibniz-additive functions" (PDF). Annales Mathematicae et Informaticae. 50.
• Merikoski, Jorma K.; Haukkanen, Pentti; Tossavainen, Timo (2021). "Complete additivity, complete multiplicativity, and Leibniz-additivity on rationals" (PDF). Integers. 21.