[논문 리뷰] Complex Multiplicative Calculus

Agamirza E. Bashirov, Mustafa Riza|arXiv (Cornell University)|2011. 03. 08.

Mathematical and Theoretical Analysis참고 문헌 8인용 수 4

한 줄 요약

이 논문은 복소변수의 복소함수로 다항미적 미적분을 확장하여 복소다항미적 도함수와 적분을 도입한다. 일반적인 복소미적분학과 달리, 복소지수함수의 주기성 덕분에 음수 및 영값을 다룰 수 있는 실수의 경우의 제약을 해결하며, $ 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.

연구 동기 및 목표

• 실수의 경우의 제약을 극복하면서 복소변수의 복소함수로 다항미적분을 확장하는 것.
• 음함수에 대한 적용성과 영값의 역할과 같은 실수 다항미적분에서 해결되지 않은 문제를 해결하는 것.
• 복소다항미적분 도함수와 적분을 정의하고 기하학적 및 해석적 성질을 연구하는 것.
• 복소다항미적분 도함수와 적분을 연결하는 기본정리를 수립하는 것.
• 복소다항미적분이 일반적인 복소미적분학과 동치가 아니며, 특히 코시 적분 공식이 사라지는 것을 보여줌으로써 그 차이를 입증하는 것.

제안 방법

• 모든 곳에서 영이 아닌 해석함수에 대해 $ 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)})} $ 로 주어져 비자명한 경우 기본정리를 검증한다.