二重数の解析学考えてみた！！

2010

はじめに

今回は, 二重数について考えていきます。二重数というのは, いわば複素数の兄弟のような数で, 自動微分などの考え方がプログラミングに応用されています。今日は, そんな数で微分積分やゼータ関数を考えてみましょう！

今回はあくまで研究成果を書くだけなので, 厳密な証明を省く場合が多々あります。後々記事にはするつもりですので悪しからず。
また, 研究段階なので「あれ？これで終わり」となることが多々あります
(´；ω；`) <研究することが多すぎる…

二重数とは

二重数とは $\begin{array}{r} ε^{2} = 0 (ε \neq 0) \end{array}$ という数のことです。複素数と同じように計算できるのでちょっとやってみましょう。
$(a + ε b) + (c + ε d) = (a + c) + ε (b + d)$
$(a + ε b) - (c + ε d) = (a - c) + ε (b - d)$
$(a + ε b) (c + ε d) = a c + ε (b c + a d)$
$\frac{a + ε b}{c + ε d} = \frac{a}{c} + ε \frac{b c - a d}{c^{2}}$

上の式に $c = 0$ を代入したらわかりますが, 純二重数は逆元を持ちません。
そのため, 除法には細心の注意を払う必要があります。
また, 重要な性質として, 以下のように微分できることが挙げられます。

二重数による自動微分

多項式 $P (x)$ に対して
$P (a + ε b) = P (a) + ε b P^{'} (a)$

これは, 展開すればすぐにわかります。
$P (x) := c_{0} + a_{1} x + c_{2} x^{2} + c_{3} x^{3} + . . . + c_{n} x^{n}$
とすると,
$(a + ε b)^{k} = a^{k} + k a^{k - 1} ε b +_{k} C_{2} a^{k - 2} ε^{2} b^{2} +_{k} C_{3} a^{k - 3} ε^{3} b^{3} + . . .$

3項目以降には $ε^{2}$ が入っているので0になり
$(a + ε b)^{k} = a^{k} + ε k a^{k - 1} b$
$P (a + ε b) = c_{0} + c_{1} (a + ε b) + c_{2} (a + ε b)^{2} + . . . + c_{n} (a + ε b)^{n}$
$= c_{0} + c_{1} (a + ε b) + c_{2} (a^{2} + ε 2 a b) + . . . + c_{n} (a^{n} + ε n a^{n - 1} b)$
$= (c_{0} + c_{1} a + c_{2} a^{2} + . . . + c_{n} a^{n}) + ε b (c_{1} + c_{2} 2 a + . . . + c_{n} n a^{n - 1})$
$= P (a) + ε b P^{'} (a)$
となります。

無限次の場合に適応していいのかについては議論すべきかもしれませんが, とりあえず一般の関数にも適用させてみます。すると
$\sin (a + ε b) = \sin (a) + ε b \cos (a)$
$\cos (a + ε b) = \cos (a) - ε b \sin (a)$
$\tan (a + ε b) = \tan (a) - \frac{ε b}{\cos^{2} (a)}$

$\exp (a + ε b) = \exp (a) (1 + ε b)$
$\log (a + ε b) = \log (a) + \frac{ε b}{a}$
であることがわかります。
では, 微分について考えてみましょう！

二重数関数の微分

要訂正箇所です。無視してください
$x, y \in R, u (x, y), v (x, y)$ を実関数とする
$f (z) = f (x + ε y := u (x, y) + ε v (x, y)$ と表せるとき, $f (z)$ を二重数関数といい, 微分は
$\frac{d f (z)}{d z} := lim_{σ \to 0} lim_{τ \to 0} \frac{f (z + σ + ε τ) - f (z)}{σ + ε τ} = lim_{σ \to 0} lim_{τ \to 0} \frac{(f (z + σ + ε τ) - f (z)) (σ + ε τ)}{σ^{2}}$
となる。

(※二重数の性質上, 極限をとるのが難しかったので, 実数の極限でお茶を濁しています)
「まあ, そうだよね」としか言いようがない定義ですね。
複素関数のときと全く同じです。しかし！次の定理で「二重数すげぇ！」ってなるはずです。

正則関数の定式化

正則関数(微分可能な二重数関数)はすべてこのように表せる。
$f (x + ε y) = φ (x) + ε (y φ^{'} (x) + ψ (x))$
ただし, $φ, ψ$ は実一変数関数

(概略)

$lim_{h \to 0} \frac{f (z + h) - f (z)}{h}$
$lim_{h \to 0} \frac{f (z + h + ε h) - f (z)}{h + ε h}$
を比較することによって, コーシー・リーマンの方程式の類似
$\frac{\partial u}{\partial y} = 0, \frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}$
が得られます。そこから代入して色々すると元の式が得られます。

また, このことから $C^{1}$ 級関数 $f$ の, $R$ から $R [ε]$ への拡張は, $f (x + ε y) = f (x) + ε y f^{'} (x)$ ただ一つであるとわかります。
( $ψ (x) = 0$ でないと定義域が実数なのに値域が二重数になるから)
そして, そこから複素数と同様にコーシーの積分定理が得られます。

二重数での積分

コーシーの積分定理(二重数ver)

$f (z)$ を正則関数, $C$ をジョルダン曲線とする。
$\oint_{C} f (z) d z = 0$

$\oint_{C} f (z) d z = \int_{a}^{b} (φ + ε (y φ^{'} + ψ)) (x^{'} + ε y^{'}) d t$
$= \int_{a}^{b} (φ x^{'} + ε (y φ^{'} x^{'} + ψ x^{'} + φ y^{'})) d t$
$= \int_{a}^{b} (x^{'} (φ (x) + ε ψ (x)) d t + ε \int_{a}^{b} (y φ^{'} x^{'} + y^{'} φ) d t$
第一項は $C$ は閉曲線なので, $x (a) = x (b), y (a) = y (b)$ となり,
$\int_{a}^{b} (x^{'} (φ (x (t)) + ε ψ (x (t))) d t = \int_{x (a)}^{x (a)} (φ (x) + ε ψ (x)) d x = 0$
第二項は積の微分公式より,
$\frac{d}{d t} (y (t) φ (x (t))) = y^{'} (t) φ (x (t)) + y (t) \frac{d}{d t} φ (x (t))$
$= y^{'} (t) φ (x (t)) + y (t) x^{'} (t) φ^{'} (x (t))$
よって
$ε \int_{a}^{b} (y φ^{'} x^{'} + y^{'} φ) d t = ε {[y (t) φ (x (t))]}_{a}^{b}$
$= ε (y (b) φ (x (b)) - y (a) φ (x (a)))$
$= ε (y (a) φ (x (a)) - y (a) φ (x (a)))$
$= 0$
$∴ \oint_{C} f (z) d z = 0$

さて, これでコーシーの積分定理が示せたので, コーシーの積分公式(やグルサの定理)に...と言いたいところですが, ここで二重数の厄介な性質が浮き彫りになります。
それは有限個の点を除いて正則な関数が作れないという性質です。
例えば, $f (z) = \frac{1}{z}$ という関数を考えてみます。
するとこの関数は $z = 0$ だけでなく, $z = 913 ε$ や $z = π ε$ , $z = - \sqrt[334]{114514} ε$ などで発散してしまいます。これでは周回積分ができません。
~~ここでやめたらいいね貰えないので~~何か別の方法を考えましょう。

あ！複素数って便利じゃん！！

そう, 複素数なら積分がすごいやりやすいのです。
なのでここからは $R [ε]$ 上の線積分ではなく $C [ε]$ 上の面積分を考えます。
まず手始めに $Γ_{k} = {e^{i θ} + ε k | 0 \leq θ < 2 π}$ 上で $f (z) = \frac{1}{z}$ を線積分します。
すると $\oint_{Γ_{k}} \frac{d z}{z} = \int_{0}^{2 π} \frac{i e^{i θ}}{e^{i θ} + ε k} d θ = i \int_{0}^{2 π} (1 - ε k e^{- i θ}) d θ = 2 i π$
となり, 普通に複素積分したときと同じようになります。
つまり, 純二重数はある意味で0と同じように考えられそうだとわかります。
では, 今度は円柱の側面 $D = {e^{i θ} + ε t | 0 \leq θ < 2 π, a \leq t < b}$ で面積分してみます。
$\iint_{D} \frac{d z}{z} = \int_{a}^{b} \int_{0}^{2 π} \frac{i e^{i θ} ・ ε}{e^{i θ} + ε t} d θ d t = ε \int_{a}^{b} (\int_{0}^{2 π} \frac{i e^{i θ}}{e^{i θ} + ε t} d θ) d t = 2 i π ε (b - a)$
となります。また, ここから応用してグルサの定理も導けます

二重数のグルサの定理(円柱)

$\iint_{D} \frac{f (z)}{(z - α)^{n + 1}} d z = \frac{2 i π ε (b - a)}{n!} f^{(n)} (α)$
ただし $D = {e^{i θ} + ε t + α | 0 \leq θ < 2 π, a \leq t \leq b}$

が...これって面積分の定義から考えたら当たり前なんですよね。
積分する領域が円柱形だから複素積分の結果に $ε (b - a)$ をかけてあげればいいだけですので。
しかし, 残念ながらこれ以上書けるような一般論が見つかっていないので, 積分の話はここまでです。(トーラスでの積分も考えましたがめんどくさいのでまたの機会に)
次は, この二重数を拡張してみましょう！！！

多重数

ここまでは $2$ 乗して $0$ になる数を考えていましたが, $n$ 乗して $0$ になる数を考えてみましょう。

n重数

$ε_{n}^{n} = 0$
ただし, $ε_{n}, ε_{n}^{2}, . . ., ε_{n}^{n - 1}$ は0でなく, 線形独立であるとする。

性質

$R [ε_{n}] ≅ R [X] / (X^{n})$
$A \subset R [ε_{n}] ⟹ A ≅ R [ε_{d}] (d | n)$
$f (a + ε_{n} b) = \sum_{k = 0}^{n} \frac{f^{(k)} (a)}{k!} ε_{n}^{k} b^{k}$

$3$ 番目から伝わると思いますが, それなりにいい感じの性質を二重数から受け継いでいます。
$n$ 重数が与えられると, 今度は整数に二重数と三重数(みえじゃないよ)を添加した環など, $2$ 種類以上の $n$ 重数を添加したものを考えたくなりますよね。
しかし, ここで一つ問題が出てきます。
$ε_{n m}^{m} = k ε_{n}$ としてよいのかという問題です。確かに両辺の数は $n$ 乗して初めて $0$ になる数です。だからといって, 同一視しても良いものでしょうか...
じゃあもう同一視するものとしないもの, 二種類作っちゃいましょう！！

離散多重数

環 $R$ の離散多重数環 $ε_{N} (R)$ とは
$ε_{N} (R) := R [ε_{2}, ε_{3}, . . ., ε_{n}, . . .]$
である。ただし, 任意の $n$ に対して $ε_{n} \notin R [ε_{2}, ε_{3}, . . ., ε_{n - 1}, ε_{n + 1}, . . .]$
また,
$α = \prod_{i} ε_{i}$
とするとき, $α$ の次数を
$\deg (α) = \sum_{i} \frac{1}{i}$ と定義する。

連続多重数

$n \in N, 0 < x < 1, 0 < y < 1$ とする $ε (\frac{1}{n}) := ε_{n}, ε (x) ε (y) = ε (x + y)$
を添加した環
$ε_{Q} (R) := R [ε (q_{1}), ε (q_{2}), ε (q_{3}), . . .] (q_{k} \in Q, 0 < q_{k} < 1)$ を $R$ の連続多重数と定義する。

$ε (\frac{1}{n})$ のように逆数をとっているのは, $0$ の $\frac{1}{n}$ 乗感を出させて, 指数法則もどきを違和感なく採用できるようにするためです。また, $ε (\deg (α)) = α$ となっていろいろ都合がいいです。連続多重数の基底は有理数なため稠密性があり, それをどう使っていくかが今後の課題です。
では最後にゼータ関数の話をしましょう！！

ゼータ関数

デデキント・ゼータ関数

$K$ を環とする。 $K$ のイデアル $M$ のノルム $N (M) = | K / M |$ とするとき
$ζ_{K} (s) := \prod_{M \in Spec (O_{K})} \frac{1}{1 - {N (M)}^{- s}}$

$K = Q [ε]$ とすると
$O_{K} = Z + ε Q$
$Q$ が入っているから体だろ！と思われますが, 計算してみると除法に閉じていないことがわかります。
$Spec (O_{K}) = {(p) | p は素数}$
となるため $ζ_{Q [ε]} (s) = ζ (s)$ となります。
これでは少々味気ないですね。少々定義を改良してみましょう！

ここから下の話題は不十分です！！
うまく訂正でき次第投稿します

どろぉどの

ζ

関数

$ε_{x_{1}}, ε_{x_{2}}, . . ., ε_{x_{n}}$ を離散多重数とする。

$ζ (ε_{x_{1}}, ε_{x_{2}}, . . ., ε_{x_{n}}; s) := \prod_{p \in Spec (Z [ε_{x_{1}}, ε_{x_{2}}, . . ., ε_{x_{n}}])} \frac{1}{1 - N (p)^{- s}}$

$ζ (ε_{n}; s) = \prod_{k = 1}^{n} ζ (k s)$

(

n = 2

のみ)

$Z [ε]$ のイデアルを $I$ とし, $a + ε b \in I, x + ε y \in Z [ε]$ とすると
$(a + ε b) (x + ε y) = a x + ε (a y + b x) \in I$
$I = m n Z + ε n Z (m, n \in N)$
と表せる。よって
$ζ (ε_{2}; s) = \sum_{I} \frac{1}{N (I)^{s}} = \sum_{(m, n) \in N^{2}} \frac{1}{(m n^{2})^{s}} = \sum_{m = 1}^{\infty} \frac{1}{m^{s}} \sum_{n = 1}^{\infty} \frac{1}{n^{2 s}} = ζ (s) ζ (2 s)$

もしかしたら, このゼータ関数の性質が分かればリーマンゼータ関数もわかるかも...?
では, 添加する数を増やしたらどうなるのでしょうか。
$2$ 個の場合は...

$ζ (ε_{a}, ε_{b}; s) = \prod_{\begin{array}{r} 1 \leq n \leq a \\ 1 \leq m \leq b \end{array}} ζ (n m s)$

となります。複数個の場合でも同様のことが言えそうですね。

今後の研究内容

二重複素積分における留数
トーラスの表面上での二重複素積分
二重四元数
どろぉどの $ζ$ 関数の一般論(連続多重数の場合など)
多重数の行列表現
とくに, 二重四元数に関しては, 元々あった成果が実はミスだと判明した結果, 完全に手つかずなので何とかしたいです。

あとがき

色々と粗雑でしたが何とか終わりました(怪しい部分は指摘してください)。にしても勝手に自分の名を冠した関数を作ってもよかったのだろうか...
~~それにしても前半に比べて後半が手抜き過ぎるな~~
この記事を読んで少しでも二重数に興味をもったなら, この未開の地に踏み込んでみてください！！！

いいねお願いします！！！

投稿日：2023年12月24日

更新日：3月13日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

°ρ°(どろ゙ぉど)

2937

かくことはあれども筆は進まぬかコマンド打つのが割とめんどい

他の人のコメント

コメントはありません。

読み込み中

°ρ°(どろ゙ぉど)

二重数の解析学考えてみた！！

はじめに
二重数とは
二重数関数の微分
二重数での積分
多重数
ゼータ関数
今後の研究内容
あとがき

二重数の解析学考えてみた！！

はじめに

二重数とは

二重数関数の微分

二重数での積分

あ！複素数って便利じゃん！！

多重数

性質

ゼータ関数

ζ(εx1,εx2,...,εxn;s):=∏p∈Spec(Z[εx1,εx2,...,εxn])11−N(p)−s

今後の研究内容

あとがき

この記事を高評価した人

この記事に送られたバッジ

投稿者

コメント

他の人のコメント

$ζ (ε_{x_{1}}, ε_{x_{2}}, . . ., ε_{x_{n}}; s) := \prod_{p \in Spec (Z [ε_{x_{1}}, ε_{x_{2}}, . . ., ε_{x_{n}}])} \frac{1}{1 - N (p)^{- s}}$