大学数学基礎解説

絡分は乗法的積分というらしい

積分,乗法的積分,絡分

278

こんにちは！
最近、絡分と称して連続な総乗にあたる演算で遊んでいるのですが、
既存の概念としてそれと同値な乗法的積分というものがあることを知りました。

今回はその乗法的積分について簡単にまとめます。

定義

今回扱う乗法的積分(product integral)は、一般的に乗法的積分と呼ばれるものの中でも、幾何積分(geometric integral)というものを扱います。

幾何積分

関数 $f (x)$ の幾何積分とは、以下で定義される演算である。
ただし、 ${x_{i}}$ は区間 $[a, b]$ の分割。
$\underset{a}{\prod^{b}} f (x)^{d x} := lim_{Δ x \to 0} \underset{i = 0}{\prod^{n}} f (x_{i})^{Δ x}$

基本的な性質

$\begin{aligned} \underset{a}{\prod^{b}} (f g)^{d x} = \underset{a}{\prod^{b}} f^{d x} \underset{a}{\prod^{b}} g^{d x} \\ \underset{a}{\prod^{b}} c^{d x} = c^{b - a} \end{aligned}$

絡分が乗法的積分と同値であること

$\begin{array}{rcl} 定義から \\ \underset{a}{\prod^{b}} f (x)^{d x} & = & lim_{Δ x \to 0} \underset{i = 0}{\prod^{n}} f (x_{i})^{Δ x} \\ 両辺の対数を取ると \\ \ln \underset{a}{\prod^{b}} f (x)^{d x} & = & \ln (lim_{Δ x \to 0} \underset{i = 0}{\prod^{n}} f (x_{i})^{Δ x}) \\ = & lim_{Δ x \to 0} \underset{i = 0}{\sum^{n}} \ln f (x_{i}) Δ x \\ = & \int_{a}^{b} \ln f (x) d x \\ \underset{a}{\prod^{b}} f (x)^{d x} & = & \exp (\int_{a}^{b} \ln f (x) d x) \end{array}$
ということで、絡分の定義と一致します。