乗法的積分

数学における「**乗法的積分**」（じょうほうてきせきぶん、）は、古典微分積分学において通常の積分がある種の和の極限と見做されることに並行して、その乗法版となるものを指す示唆的な呼称である。原初の乗法的積分は、1887年にヴィト・ヴォルテラが線型微分方程式系を解くために用いた（後述）。そのほか、乗法的積分の例には**幾何積分** (geometric integral)、 など非ニュートン微分積分学におけるいくつかの積分を挙げることができる。

本項ではヴォルテラらに倣い、乗法的積分を表すのに積分記号 （や、それに積記号  や  を重ねた変形版）ではなく  を用いる。

## 定義
函数  の古典リーマン積分は
: \int_a^b f(x)\,dx := \lim_{\Delta x\to 0}\sum f(x_i)\,\Delta x

と定義される（ただし極限は、区間  の任意の分割を亙り、区間の最大長が  に近づく極限をとる）のであった。乗法的積分は、厳密さをさておけば、和の極限を積の極限とする以外はこれと同じである。それは「離散的な」乗積の「連続」版として理解される。乗法的積分の定式化には様々な流儀があるが、よく用いられる定義のいくつかを以下に挙げる。

### ヴォルテラの積分
; 定義 (Volterra)
: \prod_a^b (1+f(x)\,dx) := \lim_{\Delta x\to 0} \prod (1+f(x_i)\,\Delta x).

* この意味での乗法的積分に関して、実函数の可積分条件はリーマン可積分であることが必要十分である。同様の仕方で、乗法的ルベーグ積分（後述）、乗法的リーマン・スティルチェス積分、乗法的ヘンストック・クルツヴァイル積分など、より一般の乗法的積分などを考えることができる。

この定義はヴォルテラのオリジナルの定義に対応する。数値的な函数  に対し、
: \prod_a^b (1+f(x)\,dx) =\exp\left(\int_a^b f(x) \, dx\right),
が成り立つ。ゆえにこれはに言う意味での乗法的積分&mdash;線型汎函数として乗法的であるような作用素&ndash;では**ない**。

ヴォルテラの乗法的積分は、行列値函数あるいはより一般にバナッハ代数値函数に対して（上記の数値的な函数の場合のような関係式は成立しないが）極めて有効である。

また、数値的な函数に対して、ヴォルテラの微分積分の体系での微分は対数微分法であり、従ってヴォルテラの意味での微分積分学はの一種でもないし、 (non-Newtonian calculus) の一種でもない。

### 幾何積分
; 定義 (幾何積分)
: \prod_a^b f(x)^{dx} := \lim_{\Delta x\to 0}\prod{f(x_i)^{\Delta x}}
=\exp\left(\int_a^b \ln f(x) \, dx\right).
これは乗法的作用素 (multiplicative operator) になる。

この定義は離散的な乗積作用素  の連続版であるとともに、通常の（加法的）積分  の乗法版である。

この定義の有用な点は、 との交換性:
: \ln \prod_a^b p(x)^{dx} = \int_a^b \ln p(x) \, dx
である。

幾何積分はの一種である**幾何微分積分学** (*geometric calculus*) で中心的な役割を果たす。

### 第二幾何積分
; 定義 (bi-geometric積分)
:\prod_a^b f(x)^{d(\ln x)} = \exp\left(\int_{\ln a}^{\ln b} \ln f(e^x) \,dx\right).

この積分も乗法的線型汎函数になる。

## 性質
以下、幾何積分について述べる（他の乗法的積分では事情が異なる場合があることに注意）。
; 基本性質
:* \prod_a^b {c^{dx}} = c^{b-a},
:* \prod_a^b {(f(x)^k)^{dx}} = (\prod_a^b{f(x)^{dx}})^k,
:* \prod_a^b {(c^{f(x)})^{dx}} = c^{\int_a^b \! f(x)dx}.
; 幾何微分積分学の基本定理
:* \prod_a^b {f^*(x)^{dx}} = \prod_a^b \exp\left (\frac{f'(x)}{f(x)}\, dx\right ) = \frac{f(b)}{f(a)}.
: ただし、 はである。幾何微分は例えば以下の法則を満たす:
:; 積の法則
:;* (fg)^* = f^*g^*,
:; 商の法則
:;* (f/g)^* = f^*/g^*.
; 乗法的大数の法則
:* \sqrt[n] {X_1 X_2 \cdots X_n} \to \prod_x  X^{dF(x)} \text{ as }n \to \infty.
: ただし、 は確率分布  に従う確率変数。通常の（加法的な）大数の法則と比較せよ。

## ルベーグ式の積分
古典的な積分のルベーグ式の定式化と同様に、乗法的積分を単函数の乗法的積分近似によって定めることができる。

### ヴォルテラの乗法的積分の場合
単函数は階段函数を一般化するものであるから、以下では単函数としてそれが階段函数になっている特別の場合のみを考えるが、議論としてはそれで十分であることに注意する。これにより、リーマン式の定義と比べてルベーグ式の定義の方が平易なものとなる。

区間の分割  に対応する階段函数  および点付き分割 a = x_0  を考えると、この函数のヴォルテラ積分の「リーマン式」の近似は \prod_{k=0}^{n-1}[ \big(1 + f(t_k)\big) \cdot (x_{k+1} - x_k)] で与えられる。大まかに言って、ヴォルテラ積分はこのような積の極限として （「行列の無限小解析に対する新たな基礎」）で定義された

ヴォルテラ積分のこのリーマン式の定義は、ほかにも \prod_{k=0}^{n-1} \exp(f(t_k) \cdot (x_{k+1} - x_k)) と近似を定義できて、 が定数函数のとき先の近似とこの近似の極限は一致する。ここで、一般に、階段函数に対して後者の近似は（それがもとの階段函数を定義する分割の細分である限りにおいて）分割のとり方に依存しない（対して、前者はそのような細分だけを考えても分割のとり方に依存する）ことに注意する。

さらに「任意の」ヴォルテラ積分な函数  に対して、上記二つの近似の極限は一致することが示せる。階段函数に対して後者の近似が「十分細かい」分割に対してはその分割の細かさに依存しないのだから、階段函数に対する「ルベーグ式の」ヴォルテラ積分（ルベーグ乗法的積分）を \prod_a^b (1 + f(x)\,dx) \overset{\text{def}} \prod_{k=0}^{m-1} \exp(f(s_k) \cdot (y_{k+1} - y_k)) と定義することは意味を為す。ただし、y_0  は点付き分割で、a = y_0  は階段函数  の定義分割とする。（これと対照に前者の近似で考えると、対応する量を紛れ無く定義することは難しい。）

この定義を勝手な測度空間に一般化することは容易である。 は測度  を持つ測度空間とすると、任意のヴォルテラ可積分単函数 f(x) = \sum_{k=1}^n a_k I_{A_k}(x)（つまり、適当な互いに素な可測集合列 A_0, A_1, \dots, A_{m-1} \subseteq X の指示函数の凸結合)）に対して、ヴォルテラ積分を \prod_X (1 + f(x) \,d\mu(x)) \overset{\text{def}} \prod_{k=0}^{m-1} \exp(a_k \mu(A_k)) と定義する（ は  における  の値であることに注意）。 で  がルベーグ測度であり、ルベーグ可測集合列  が全て区間であるという特別の場合において、いま定義した積分が上で定義したものに一致することを証明できる。古典的なルベーグ積分論での議論と同じく、任意のヴォルテラ可積分函数に対するルベーグ乗法的積分は、適当なヴォルテラ可積分単函数のルベーグ乗法的積分からなる増大列の極限として与えられる。

さて、上記定義式の両辺の対数をとれば、任意のヴォルテラ可積分単函数  に対し \ln\Big(\prod_X (1 + f(x)\,d\mu(x))\Bigr) = \ln\!\Big(\prod_{k=0}^{m-1}\exp(a_k \mu(A_k))\Bigr) = \sum_{k=0}^{m-1} a_k\mu(A_k) を得るが、この一番右の辺は単函数の（通常の）ルベーグ積分 \int_X f(x)\,d\mu(x) の定義式にほかならないから、上式は  であることを意味している。さらに言えば、 のような連続函数は極限と交換可能であり、かつ任意のヴォルテラ可積分函数  は単函数の乗法的積分の極限であったから、上記の関係式  は「任意の」ヴォルテラ可積分函数  に対して一般に満足される。

この性質を用いれば、ヴォルテラの乗法的積分  () が（積分領域を引数とする）集合函数として乗法的（）であることが示せる \prod_X \big(1 + (f \cdot \operatorname{id}_B)(x) \,d\mu(x)\big) で定義する（ただし、 は  の指示函数）。このとき、任意の互いに素な可測集合  に対し \begin{align}
 {\cal V}_f(B_1 \sqcup B_2) &= \prod_{B_1 \sqcup B_2} \big(1 + f(x) \,d\mu(x)\big) \\
 &= \exp\left( \int_{B_1 \sqcup B_2} f(x) \,d\mu(x) \right) \\
 &= \exp\left( \int_{B_1} f(x) \,d\mu(x) + \int_{B_2} f(x) \,d\mu(x) \right) \\
 &= \exp\left( \int_{B_1} f(x) \,d\mu(x) \right) \exp\left( \int_{B_2} f(x) \,d\mu(x) \right) \\
 &= \prod_{B_1} (1 + f(x)d \mu(x)) \prod_{ B_2} (1 + f(x) \,d\mu(x)) \\
 &= {\cal V}_f(B_1 ) {\cal V}_f(B_2).
\end{align} である。}}（この性質は加法的集合函数としての測度の性質と対比するものと見ることができる）。一方、ヴォルテラの乗法的積分  は（可積分函数  を引数とする）汎函数としては乗法的でないことをふたたび注意しておく。

### 幾何積分の場合
前節と条件を同じく  を測度空間 とし、任意の幾何可積分単函数 f(x) = \sum_{k=1}^n a_k I_{A_k}(x) に対する幾何積分を \prod_X f(x)^{d\mu(x)} \stackrel{\text{def}} \prod_{k=0}^{m-1} a_k^{\mu(A_k)} で定義する（上で定義した幾何積分の一般化である）。両辺の対数をとって、\ln\!\Big(\prod_X f(x)^{d\mu(x)}\Bigr) = \sum_{k=0}^{m-1} \ln(a_k) \mu(A_k) =: \int_X \ln f(x) \,d\mu(x)（最後の等号は単函数に対する通常のルベーグ積分の定義である）、すなわち  を得るが、前節でみたのと同様に  および  の連続性と可積分函数  が単函数列の単調増大極限であることにより、 は「任意の」幾何可積分  に対して満足される。これにより上で見た幾何積分に関する性質は一般化される。

そのような意味において、「幾何積分に関するルベーグ積分論」は完全に通常のルベーグ積分に関する「古典的ルベーグ積分論」に帰着される。

## 関連項目
* 乗法的不定和分 (indefinite product)
* 
* 対数微分
* 
* 異種微分積分学における導函数と積分函数の一覧

## 注

### 注釈

### 出典

## 参考文献
* 
* 

## 関連文献
* A. E. Bashirov, E. M. Kurpınar, A. Özyapıcı. ''Multiplicative calculus and its applications'', Journal of Mathematical Analysis and Applications, 2008.
* W. P. Davis, J. A. Chatfield, *Concerning Product Integrals and Exponentials*, Proceedings of the American Mathematical Society, Vol. 25, No. 4 (Aug., 1970), pp.&nbsp;743&ndash;747, .
* J. D. Dollard, C. N. Friedman, *Product integrals and the Schrödinger Equation*, Journ. Math. Phys. 18 #8,1598&ndash;1607 (1977).

## 外部リンク
* Richard Gill, ''Product Integration''
* Richard Gill, ''Product Integral Symbol''
* David Manura, ''Product Calculus''
* Tyler Neylon, ''Easy bounds for n!''
* An Introduction to Multigral (Product) and Dx-less Calculus
* Notes On the Lax equation
* Antonín Slavík, ''An introduction to product integration''
* Antonín Slavík, ''Henstock&ndash;Kurzweil and McShane product integration''