利用者:Flightbridge/sandbox/算術微分

（en:Arithmetic derivative oldid=751435216）

算術微分（英: Arithmetic derivative）とは、整数に対して定義される関数である。定義は素因数分解に基づいており、また関数の微分における積の微分法則のアナロジーを用いている。

「算術微分」と名のつくものには、Lagarias の算術微分、伊原の算術微分、Buium の算術微分など多数ある。本項では Lagarias の算術微分を扱う。

定義[編集]

自然数に対する算術微分を次のように定める。

任意の素数 $p$ に対して $p' = 1$
任意の $a, b \in N$ に対して $(a b)' = a' b + a b'$ （ライプニッツ則）

このとき、ライプニッツ則より $1' = 0' = 0$ となる。

いま、 $x$ が正の整数 $e 1, ..., e k$ と相異なる素数 $p 1, ..., p k$ によって

x={p_{1}}^{e_{1}}\cdots {p_{k}}^{e_{k}}

と表されているとすると、次のようになる。

x'=\sum _{i=1}^{k}e_{i}p_{1}^{e_{1}}\cdots p_{i-1}^{e_{i-1}}p_{i}^{e_{i}-1}p_{i+1}^{e_{i+1}}\cdots p_{k}^{e_{k}}=\sum _{i=1}^{k}e_{i}{\frac {x}{p_{i}}}=x\sum _{i=1}^{k}{\frac {e_{i}}{p_{i}}}

算術微分では（素数についてのみ）冪関数の微分法則も保たれる。 $p$ は素数で $a$ は正の整数である。

(p^{a})'=ap^{a-1}

$k = 0, 1, 2, ...$ に対する $k'$ の値は次のようになる。

0, 0, 1, 1, 4, 1, 5, 1, 12, 6, 7, 1, 16, 1, 9, ... オンライン整数列大辞典の数列 A003415

E. J. Barbeau はこの定義を形式化しようとした恐らく最初の人物である。彼は $(- x)' = - (x)'$ によって整数全体で微分を一意に定められることを示し、定義域を整数全体へと拡張した。Barbeau はさらに、よく見慣れた商の微分法則によって $Q$ 上の微分がうまく定義できることを示し、定義域を有理数へと拡張した。

\left({\frac {a}{b}}\right)'={\frac {a'b-b'a}{b^{2}}}

Victor Ufnarovski と Bo Åhlander は算術微分をある種の無理数へと拡張した。この拡張においては上記の式は引き続き適用されるが、指数の値 $e i$ が任意の有理数をとることを許している。

対数微分 $.mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num,.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0 0.1em}.mw-parser-output .sfrac .den{border-top:1px solid}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}x′/x$ は完全加法的関数となる。

Average order[編集]

任意の $δ > 0$ について

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

および

\sum _{n\leq x}n'=(1/2)T_{0}x^{2}+O(x^{1+\delta })

を得る。但し

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

である。

値の範囲[編集]

E. J. Barbeau は自然数の算術微分が次の範囲に収まることを明らかにした。

sn^{\frac {s-1}{s}}\leq n'\leq {\frac {n\log _{k}n}{k}}

ここで $k$ は $n$ の最小の素因数、 $s$ は $n$ の素因数の個数である。この不等式は、 $n$ が 2 の冪であるとき等号が成立する。

Alexander Loiko, Jonas Olsson, Niklas Dahl らは、任意の二つの有理数の間ではあらゆる大きさの算術微分の値がとられうることを示し、同様の範囲を有理数の算術微分では求めることが出来ないことを明らかにした。

数論との関係[編集]

Victor Ufnarovski と Bo Åhlander は有名な数論的予想（双子素数の予想、三つ子素数の予想、ゴールドバッハの予想など）とのこの関数の関係について詳細に述べた。例えばゴールドバッハの予想より「各々の $k > 1$ に対して $n' = 2 k$ を満たす $n$ の存在」が導かれ、双子素数の予想より「 $k'' = 1$ を満たす $k$ が無限に存在する」ことが導かれる。

参考文献[編集]

Barbeau, E. J. (1961). “Remarks on an arithmetic derivative”. Canadian Mathematical Bulletin 4: 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. ISSN 1530-7638. Zbl 1065.05019.
Dahl N., Olsson J., Loiko A., Investigation of the properties of the arithmetic derivative.

{@{デフォルトソート:さんしゆすひふん}} [@[Category:数論]] [@[Category:数学に関する記事]]