[논문 리뷰] Bicomplex algebra and function theory

Stefan Rönn|ArXiv.org|2001. 01. 24.

Algebraic and Geometric Analysis참고 문헌 7인용 수 25

한 줄 요약

이 논문은 복소수 쌍 표현을 사용하여 이복소수 위에서의 해석함수 이론을 종합적으로 개발하며, 복소해석학을 네 실수 차원으로 일반화한다. 이는 이복소수 코시-리만 방정식을 수립하고, 모든 차수의 도함수 존재성을 증명하며, 코시의 정리와 적분공식의 이복소수 형태를 유도함으로써 네 차원 라플라스 방정식의 인수분해와 연결하고, 푸에터의 정규 함수를 포함한 새로운 종류의 미분가능한 함수를 드러낸다.

ABSTRACT

This treatise investigates holomorphic functions defined on the space of bicomplex numbers introduced by Segre. The theory of these functions is associated with Fueter's theory of regular, quaternionic functions. The algebras of quaternions and bicomplex numbers are developed by making use of so-called complex pairs. Special attention is paid to singular bicomplex numbers that lack an inverse. The elementary bicomplex functions are defined and their properties studied. The derivative of a bicomplex function is defined as the limit of a fraction with nonsingular denominator. The existence of the derivative amounts to the validity of the complexified Cauchy-Riemann equations, which characterize the holomorphic bicomplex functions. It is proved that such a function has derivatives of all orders. The bicomplex integral is defined as a line integral. The condition for path independence and the bicomplex generalizations of Cauchy's theorem and integral formula are given. Finally, the relationship between the bicomplex functions and different forms of the Laplace equation is considered. In particular, the four-dimensional Laplace equation is factorized using quaternionic differential operators. The outcome is new classes of bicomplex functions including Fueter's regular functions. It is shown that each class contains differentiable functions.

연구 동기 및 목표

• 이복소수 대수 위에서의 해석함수 이론을 엄밀히 구축하여 복소해석학을 네 실수 차원으로 확장한다.
• 역행이 없는 비영인 원소를 가진 이복소수의 대수적 이상 현상(특이 이복소수)과 그 기능 이론에 대한 영향을 다룬다.
• 코시의 적분공식과 경로 독립성 등을 포함한 고전적 복소해석학 결과의 이복소수 해석판을 수립한다.
• 이복소수 해석함수와 네 차원 라플라스 방정식의 해 사이의 관계를 탐색한다.
• 푸에터의 정규 함수와 관련된 새로운 종류의 미분가능한 함수를 식별하고 특성화한다.

제안 방법

• 이복소수와 허수를 복소수 쌍 (a,b) 형태로 표현하여 대수적 연산과 분석을 단순화한다. 여기서 a와 b는 복소수이다.
• 이복소수 함수의 도함수를 특이하지 않은 분모를 가진 분수의 극한으로 정의함으로써, 복소화된 코시-리만 방정식을 도출한다.
• 이복소수 함수의 R⁴ 표현을 사용하여 미분 가능성과 고차 도함수를 분석한다.
• 이복소수 적분을 선적분으로 정의하고, 원시 함수가 존재할 경우 경로 독립성 조건을 수립한다.
• 사슬수 미분 연산자를 적용하여 네 차원 라플라스 방정식을 인수분해하고, 이복소수 해석함수로부터 해를 도출한다.
• 이복소수 해석함수의 구조와 적분 성질을 분석하기 위해 이중수(twining number)를 도입한다.

실험 결과

연구 질문

• RQ1 복소수 쌍 표현을 통해 어떻게 이복소수 해석함수를 정의하고 특성화할 수 있는가?
• RQ2 역행이 없는 특이 이복소수의 존재는 이복소수 함수 이론에 어떤 영향을 미치는가?
• RQ3 이복소수 도함수와 적분은 그 복소수 대응체를 어떻게 일반화하는가? 경로 독립성을 보장하는 조건은 무엇인가?
• RQ4 이복소수 해석함수는 네 차원 라플라스 방정식의 해와 어떤 방식으로 관련되어 있는가?
• RQ5 사슬수 연산자를 사용한 네 차원 라플라스 방정식의 인수분해가 어떻게 새로운 종류의 미분가능한 함수를 도출하는가?

주요 결과

• 이복소수 함수의 도함수가 존재하는 것은 오직 그 복소화된 코시-리만 방정식이 만족될 때에만 가능하며, 이는 해석함수의 특성으로서의 이복소수 해석함수를 특성화한다.
• 이복소수 해석함수는 모든 차수의 도함수를 가지며, 이는 복소수 함수의 해석성 성질을 확장한다.
• 이복소수 적분은 선적분으로 정의되며, 원시 함수가 존재할 경우 경로 독립성이 성립한다.
• 코시의 정리와 적분공식은 이복소수 공간으로 일반화되며, 이 적분공식에서 이중수(twining number)가 핵심 역할을 한다.
• 네 차원 라플라스 방정식은 사슬수 미분 연산자를 사용하여 인수분해되며, 이로 인해 이복소수 해석함수는 복소수 쌍 구성요소에서 두 차원의 복소화된 라플라스 방정식을 만족함을 드러낸다.
• 푸에터의 정규 함수를 포함한 새로운 종류의 미분가능한 함수가 식별되었으며, 이들이 더 넓은 범위의 이복소수 해석함수의 클래스에 포함됨을 보였다.