文献あり

接冪について

444

はじめに

接冪とは、 Lagu 氏の「超微分で微分っぽいことをする」で出てきた、
超微分による関数のプライマリーな近似のことです。
この接冪をもっと近似するものについての記事です。
ただし、超微分による近似ではないのでそこはご了承を願います。(超微分との関連性については書きます。)

本題

まず接冪の参考元記事の定義について確認しておきます。

接冪

$f$ が $a > 0$ で超微分可能であるとき、以下の関数を $f$ の $a$ における接冪と呼ぶ。
$f (x) = f (a) {(\frac{x}{a})}^{f^{‘} (a)}$

これをもっと近似していきます。
まず、 $\ln (f (e^{x}))$ を $x = a$ でTaylor展開します。
$\ln (f (e^{x})) = \ln (f (e^{a})) + \sum_{n = 1}^{\infty} \frac{1}{n!} (x - a)^{n} {(\frac{d^{n}}{d x^{n}} \ln (f (e^{x})) |}_{x = a})$
$e$ の肩に乗せて
$f (e^{x}) = f (e^{a}) \prod_{n = 1}^{\infty} \exp [\frac{1}{n!} (x - a)^{n} {(\frac{d^{n}}{d x^{n}} \ln (f (e^{x})) |}_{x = a})]$
$e^{x} \to X$ 、 $e^{a} \to A$ 、 ${\frac{d^{n}}{d x^{n}} \ln (f (e^{x})) |}_{x = a} = f_{L}^{(n)} (e^{a})$ と置いて整理すると、
$f (X) = f (A) \prod_{n = 1}^{\infty} \exp [\frac{1}{n!} (\ln (X) - \ln (A))^{n} {(\frac{d^{n}}{d x^{n}} \ln (f (X)) |}_{X = A})]$
$= f (A) \prod_{n = 1}^{\infty} \exp [\frac{1}{n!} f_{L}^{(n)} (A) {(\ln (\frac{X}{A}))}^{n}]$

ものすごく分かりにくくなったので一旦纏めます。

指数的対数冪

(Ex-Log)

展開 (勝手に造った言葉です。)

$f$ が $a > 0$ で解析的かつ常に正であるとき、 $f$ は以下のような指数的対数冪展開を行うことが出来る
$f (x) = f (a) \prod_{n = 1}^{\infty} \exp [\frac{1}{n!} f_{L}^{(n)} (a) \ln^{n} (\frac{x}{a})]$

$f_{L}^{(n)} (e^{x}) := \frac{d^{n}}{d x^{n}} \ln (f (e^{x}))$

ここで、 $f_{L}^{(n)} (x)$ を $n$ が小さい順に例示すると
$f_{L}^{(1)} (x) = \frac{x f^{'} (x)}{f (x)}$
$f_{L}^{(2)} (x) = \frac{x^{2} f (x) f^{″} (x) + x f (x) f^{'} (x) - x^{2} f^{'} (x)^{2}}{f (x)^{2}}$
$f_{L}^{(3)} (x) = \frac{2 x^{3} f^{'} (x)^{3} - 3 x^{3} f (x) f^{'} (x) f^{″} (x) - 3 x^{2} f (x) f^{'} (x)^{2} + x f (x)^{2} f^{'} (x) + x^{3} f (x)^{2} f^{‴} (x) + 3 x^{2} f (x)^{2} f^{″} (x)}{f (x)^{3}}$
となります。
確かに $n = 1$ では超微分の定義に等しいことが分かります。
( $e^{c \log (t)} = t^{c}$ であることに留意すると、 $n = 1$ では接冪の定義に等しいことが確認できます。)
$n = 2$ 以降では $n$ 階超微分とは合致しません。

超微分と何が違うのか

$f^{‘ (n)} (e^{x})$ ( $f (e^{x})$ の $n$ 階超微分)
を $f_{L}^{(n)} (e^{x})$ の定義の式に似せて書くとこのようになります。
$f^{‘ (n)} (e^{x}) = \underset{n}{\underset{⏟}{\frac{d}{d x} \ln (\dots \frac{d}{d x} \ln (\frac{d}{d x} \ln (}} f (e^{x}) \underset{n}{\underset{⏟}{)) \dots)}}$
つまり、 $f (e^{x})$ に対して対数とって微分、を $n$ 回繰り返して得られるものということです。
なぜ $n = 1$ だけあって、 $n = 2$ 以降から挙動が異なるのかはこれで分かると思います。

小ネタ: $f_{L}^{(n)} (e^{x})$ を $f^{‘ (k)} (e^{x}) (k = 1, 2, \dots, n)$ を用いて表す

この公式を使います。

$x > 0$ で超微分可能な関数 $g (x)$ に対して
$g^{'} (e^{x}) = g^{‘} (e^{x}) g (e^{x})$

(対数微分法を使えば簡単に示せます。)
よって、 $f_{L}^{(n)} (e^{x})$ をこのように再帰的に定義できます。
$f_{L}^{(1)} (e^{x}) = f^{‘} (e^{x})$
$f_{L}^{(n)} (e^{x}) = {(f_{L}^{(n - 1)} (e^{x}))}^{‘} f_{L}^{(n - 1)} (e^{x})$
具体的に表すと
$f_{L}^{(2)} (e^{x}) = f^{‘ (1)} (e^{x}) f^{‘ (2)} (e^{x})$
$f_{L}^{(3)} (e^{x}) = f^{‘ (1)} (e^{x}) f^{‘ (2)} (e^{x}) (f^{‘ (2)} (e^{x}) + f^{‘ (3)} (e^{x}))$
$f_{L}^{(4)} (e^{x}) = f^{‘ (1)} (e^{x}) f^{‘ (2)} (e^{x}) (f^{‘ (2)} (e^{x})^{2} + f^{‘ (3)} (e^{x})^{2} + 3 f^{‘ (2)} (e^{x}) f^{‘ (3)} (e^{x}) + f^{‘ (3)} (e^{x}) f^{‘ (4)} (e^{x}))$
となり、確かに表せていることが分かります。

では超Taylorの定理とは？

先ほどの指数的対数冪展開は、単なるTaylor展開の延長線上に過ぎません。また、冪級数の一意性から、超Taylor展開は少なくともこのような総乗の展開ではないものと分かります。
ではどのような展開なのでしょうか。対数を取る回数に着目すると、次のことが予想されます。

超Taylorの定理について

もし超Taylor展開が存在するならば、それは総冪、またはそれに準ずる、テトレーションレベルの展開になるであろう。

総冪とは、ぬるのぬ氏が定義した概念であり、数列 ${a_{n}}$ に対して
$a_{1}^{a_{2}^{a_{3}^{\cdot^{\cdot^{\cdot^{a_{n}}}}}}}$
とする演算です。参照はこの記事です。(記事の内容、とても面白いので見てください)
総冪の形になるかは分かりませんが、このようなテトレーションレベルの展開になるのではと、勝手ながら予想させていただきます。

また、これらのことを考える上で、 $2$ 階超導関数以降にどのような意味があるのかが非常に気になります。

おわりに

あとこれはただの独り言なのですが、
$f (x) = f (a) {(\frac{x}{a})}^{f^{‘} (a) g (x)}$
を満たす $g (x)$ と、
$h (x) = {(\frac{x}{a})}^{\frac{1}{2} f^{‘ ‘} (a)}$
なる $h (x)$ を考えたときに、
$g (x)$ と $h (x)$ の $x = a$ における微分係数が云々...
(ちょっと厳密な議論が必要で面倒なので誰かやってくださると助かります。)