Pochodna arytmetyczna, pochodna liczbowa – w teorii liczb jest to funkcja zdefiniowana dla liczb całkowitych, która bazuje na ich rozkładzie na czynniki pierwsze poprzez analogię wobec reguły Leibniza, używanej w analizie matematycznej.

Istnieje wiele wersji pochodnej arytmetycznej. Oprócz tej, która jest opisana w tym artykule (pochodna arytmetyczna Lagariasa), istnieją również m.in. pochodne arytmetyczne Ihary i Buiuma.

Wczesna historia Pochodna arytmetyczna została wprowadzona przez hiszpańskiego matematyka imieniem Josè Mingot Shelly w 1911 roku Ten koncept pojawił się również w Putnam Competition w 1950 roku.

Definicja Dla liczb naturalnych pochodna arytmetyczna jest zdefiniowana w sposób następujący:

dla dowolnej liczby pierwszej dla dowolnych

Rozszerzenie poza liczby naturalne Edward J. Barbeau rozszerzył dziedzinę do wszystkich liczb całkowitych przez pokazanie, że równanie które jednoznacznie zwiększyłoby dziedzinę do liczb całkowitych, jest zgodne z równaniem funkcji pochodnej arytmetycznej. Barbeau również rozszerzył domenę do liczb wymiernych poprzez pokazanie, że metoda obliczania pochodnej funkcji wymiernej daje dobrze zdefiniowaną pochodną arytmetyczną na zbiorze .

Victor Ufnarovski i Bo Åhlander rozszerzyli dziedzinę do liczb niewymiernych, które mogą być zapisane jako iloczyn liczb pierwszych podniesiony do arbitralnej potęgi wymiernej, co pozwala na kalkulację takich wyrażeń jak .

Pochodna arytmetyczna może być również rozszerzona do każdego pierścienia z jednoznacznością rozkładu (UFD, pierścień Gaussa), takich jak liczby całkowite Gaussa lub liczby całkowite Eisensteina, oraz jego powiązanego ciała ułamków. Jeżeli pierścień Gaussa jest pierścieniem wielomianów, wtedy pochodna arytmetyczna jest tym samym, co pochodzenie na tym pierścieniu. Na przykład zwykła pochodna jest pochodną arytmetyczną dla pierścieni jednoelementowych rzeczywistych i zespolonych wielomianów i funkcji wymiernych, co może zostać udowodnione używając zasadniczego twierdzenia algebry.

Pochodna arytmetyczna została również rozszerzona do pierścienia klas reszt.

Podstawowe właściwości Reguła Leibniza implikuje, że (zakładając ) oraz (zakładając ).

Podobnie jak w przypadku zwyczajnej pochodnej, istnieje wzór powiązany z potęgą nad różniczkowanym elementem. Dla dowolnych liczb całkowitych i

Pozwala to na obliczenie wartości pochodnej z rozkładu liczby całkowitej na liczby pierwsze,

gdzie funkcja omega liczb pierwszych, jest liczbą różnych czynników pierwszych a jest p-adycznym szacunkiem

Przykłady:

Ciąg liczbowy poszczególnych wartości dla (Sekwencja A003415 w OEIS) zaczyna się następująco:

Powiązane funkcje Pochodna logarytmiczna jest w pełni addytywną funkcją:

Cząstkowa pochodna arytmetyczna po definiowana jest jako a więc pochodna arytmetyczna może zostać zapisana jako

Arytmetyczna funkcja jest addytywną Leibniza jeżeli istnieje taka kompletnie mnożna funkcja że dla wszystkich dodatnich liczb całkowitych oraz Argumentem za tym konceptem jest fakt, że funkcje addytywne Leibniza są generalizacją pochodnej arytmetycznej szczegółowiej, jest addytywną Leibniza dla

Nierówności i granice E.J. Barbeau zbadał granice pochodnej arytmetycznej i odkrył, że: oraz

gdzie funkcja omega liczb pierwszych, jest liczbą czynników pierwszych W obu powyższych przypadkach równość występuje, gdy jest potęgą dwójki.

Dahl, Olsson i Loiko odkryli, że pochodna arytmetyczna liczby naturalnej jest ograniczona przez

gdzie jest najmniejszym czynnikiem pierwszym Równość występuje, gdy jest potęgą liczby

Alexander Loiko, Jonas Olsson i Niklas Dahl odkryli również, że nie jest możliwe znalezienie podobnych granic dla pochodnej arytmetycznej poszerzonej o liczby wymierne. Dokonali tego przez udowodnienie, że pomiędzy dwoma dowolnymi liczbami wymiernymi istnieją inne liczby wymierne o arbitralnie wielkich lub małych pochodnych (oznacza to, że pochodna arytmetyczna nie jest funkcją ciągłą w ).

Rząd średniej Wiemy, że

oraz

dla dowolnego gdzie

Znaczenie dla teorii liczb Victor Ufnarovski i Bo Åhlander uszczegółowili powiązanie tej funkcji z przypuszczeniami w teorii liczb. Przykładowo, hipoteza liczb pierwszych bliźniaczych implikuje istnienie nieskończenie wielu dla których a hipoteza Goldbacha wiąże się z implikacją, że dla każdego istnieje takie że .

Zobacz też funkcja arytmetyczna pochodna

Przypisy

Kategoria:Teoria liczb