[論文レビュー] Complex Multiplicative Calculus

Agamirza E. Bashirov, Mustafa Riza|arXiv (Cornell University)|Mar 8, 2011

Mathematical and Theoretical Analysis参考文献 8被引用数 4

ひとこと要約

この論文は、複素変数の複素数値関数へ乗法的微積分を拡張し、複素乗法的微分と積分を導入する。通常の複素微積分とは異なり、複素指数関数の周期性を活用することで、負の値やゼロの取り扱いといった実数の場合の制限を克服し、Cauchy積分公式が $ e^{2\pi i} = e^0 = 1 $ のため消失することを示している。これは $ 2\pi i \neq 0 $ であるにもかかわらず、根本的に異なる微積分枠組みを示している。

ABSTRACT

In the present paper we extend the concepts of multiplicative de- rivative and integral to complex-valued functions of complex variable. Some drawbacks, arising with these concepts in the real case, are explained satis- factorily. Properties of complex multiplicative derivatives and integrals are studied. In particular, the fundamental theorem of complex multiplicative calculus, relating these concepts, is proved. It is shown that complex multi- plicative calculus is not just another realization of the ordinary calculus. In particular, the Cauchy formula of complex calculus disappears in multiplicative complex calculus.

研究の動機と目的

• 実数の場合の制限を克服するため、乗法的微積分を複素変数の複素数値関数へ拡張すること。
• 実数乗法的微積分における未解決問題、たとえば負の関数への適用可能性やゼロの役割を解消すること。
• 複素乗法的微分と積分を定義し、それらの幾何学的および解析的性質を検討すること。
• 複素乗法的微分と積分を結ぶ基本定理を確立すること。
• 複素乗法的微積分が通常の複素微積分と同等でないことを示し、特にCauchy積分公式が消えることによってそれを明らかにすること。

提案手法

• 正則関数でゼロにならない関数に対しては、$ f^*(z) = \lim_{h \to 0} \left( \frac{f(z+h)}{f(z)} \right)^{1/h} $ として複素乗法的微分を定義し、$ f^*(z) = e^{\mathrm{Log}(f)^\prime(z)} $ に簡略化できることを示す。
• 分割上の積として複素乗法的積分を定義する：$ \int_C f(z)^{dz} = \lim_{\mathcal{P}} \prod_{k=1}^m f(z_k)^{z_k - z_{k-1}} $。対数の分枝に起因する多価性が生じる。
• 複素対数の主値 $ \mathrm{Log}\,z = \ln|z| + i\mathrm{Arg}\,z $ を用いて、指数関数を介して乗法的微積分と通常の微積分を関連付ける。
• 複素乗法的微積分の基本定理を証明する：$ \int_C f^*(z)^{dz} = e^{2\pi i n (z(b) - z(a))} \frac{f(z(b))}{f(z(a))} $、ここで $ n \in \mathbb{Z} $。
• Cauchy積分 $ \oint_{|z|=1} \frac{dz}{z} = 2\pi i $ が乗法的微積分では自明になることを示す：$ \oint_{|z|=1} (e^{1/z})^{dz} = 1 $、これは $ e^{2\pi i} = 1 $ のためである。
• 例として $ f(z) = e^{cz} $ および $ f(z) = e^{c e^z} $ を用い、乗法的微分と積分の振る舞いを検証する。

実験結果

リサーチクエスチョン

• RQ1 負の値やゼロを含む複素数値関数に対し、乗法的微積分を一貫して拡張する方法は何か？
• RQ2 実数乗法的微積分における問題、たとえば負の関数の高階微分が正であるという問題が、複素設定ではなぜ消失するのか？
• RQ3 複素乗法的微分と積分の関係は何か？通常の微積分の基本定理とはどのように異なるか？
• RQ4 古典的Cauchy積分公式 $ \oint \frac{dz}{z} = 2\pi i $ が複素乗法的微積分で成立しないのはなぜか？
• RQ5 複素乗法的積分の多価性を、定義域の位相的性質と系統的に関連付けることができるか？

主な発見

• 複素乗法的微分は単価であり、$ f^*(z) = e^{\mathrm{Log}(f)^\prime(z)} $ として定義され、開かつ連結な集合上でゼロにならない正則関数に適用可能である。
• 複素乗法的積分は多価であり、$ \int_C f^*(z)^{dz} = e^{2\pi i n (z(b) - z(a))} \frac{f(z(b))}{f(z(a))} $ で与えられ、$ n \in \mathbb{Z} $ である。これは対数の分枝に起因するモノドロミーを反映している。
• 閉曲線 $ C $ に対して、乗法的積分は $ \oint_C f^*(z)^{dz} = 1 $ に簡略化され、経路に依存せず単価になる。これはループ上での乗法的積分が単価であることを示している。
• 古典的Cauchy公式 $ \oint \frac{dz}{z} = 2\pi i $ は乗法的微積分では存在しない。これは $ e^{2\pi i} = e^0 = 1 $ であるが、$ 2\pi i \neq 0 $ であるため、根本的な構造的差異を示している。
• 関数 $ f(z) = e^{cz} $ の乗法的微分は $ f^*(z) = e^c $ であり、曲線 $ C $ における乗法的積分は $ e^{(z(b)-z(a))(c + 2\pi n i)} $ となる。これは一般式を確認している。
• 例 $ f(z) = e^{c e^z} $ は $ f^*(z) = f(z) $ を満たし、その乗法的積分は $ e^{2\pi i n (z(b)-z(a))} e^{c(e^{z(b)} - e^{z(a)})} $ となる。これは非自明な場合に基本定理が成立することを検証している。