[论文解读] Complex Multiplicative Calculus

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

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

一句话总结

本文将乘法微积分扩展至复变量的复值函数，引入了复乘法导数与积分。与普通复微积分不同，它利用复指数的周期性，克服了实数情形下的局限性（如处理负值和零值），并表明柯西积分公式因 $ e^{2/pi i} = e^0 = 1 $ 而消失，尽管 $ 2ar{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.

研究动机与目标

• 将乘法微积分扩展至复变量的复值函数，克服实数情形下的局限性。
• 解决实数乘法微积分数学中未解决的问题，如负函数的适用性及零的作用。
• 定义并研究复乘法导数与积分，建立其几何与解析性质。
• 建立复乘法导数与积分之间的基本定理。
• 证明复乘法微积分与普通复微积分不等价，特别是通过展示柯西积分公式消失。

提出的方法

• 将复乘法导数定义为 $ 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} $。
• 证明柯西积分 $ \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 为何经典柯西积分公式 $ \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 $，与路径无关，表明其在闭合路径上变为单值。
• 经典柯西公式 $ \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)})} $，在非平凡情形下验证了基本定理。