[논문 리뷰] Integral theorems for monogenic functions in commutative algebras

Vitalii Shpakivskyi|arXiv (Cornell University)|2015. 03. 24.

Advanced Topics in Algebra참고 문헌 5인용 수 6

한 줄 요약

이 논문은 복소수체 위의 n차원 가환 결합 대수에서 m개의 아이디포텐트를 가진 k차원 실부분공간에 정의된 연속적이고 게이터 경계 미분 가능 함수(모노제닉 함수)에 대해 코시 적분 정리, 모르라의 정리, 코시 적분 공식의 곡선형 유사 정리를 수립한다. 주요 기여는 이러한 적분 정리가 특정 대수적 조건을 만족할 경우 성립함을 증명한 것으로, 이는 니르포텐트 부분이 차원 ≤3이거나 특정 퇴화 구조 상수 관계를 만족할 경우를 포함하며, 이는 이전 결과를 임의의 k ∈ [2, 2n]로 일반화한다.

ABSTRACT

Let $\mathbb{A}_n^m$ be an arbitrary $n$-dimensional commutative associative algebra over the field of complex numbers with $m$ idempotents. Let $e_1=1,e_2,\ldots,e_k$ with $2\leq k\leq 2n$ be elements of $\mathbb{A}_n^m$ which are linearly independent over the field of real numbers. We consider monogenic (i.e. continuous and differentiable in the sense of Gateaux) functions of the variable $\sum_{j=1}^k x_j\,e_j$, where $x_1,x_2,\ldots,x_k$ are real, and we prove curvilinear analogues of the Cauchy integral theorem, the Morera theorem and the Cauchy integral formula in $k$-dimensional ($2\leq k\leq 2n$) real subset of the algebra $\mathbb{A}_n^m$. The present article is generalized of the author's paper [1], where mentioned results are obtained for $k=3$.

연구 동기 및 목표

• 클래식 복소해석학의 적분 정리—코시의 적분 정리, 모르라의 정리, 코시 적분 공식—을 복소수체 위의 n차원 가환 대수의 k차원 실부분공간에서 정의된 모노제닉 함수로 확장한다.
• 이전 결과가 로르히 미분 가능성에 의존하는 한계를 극복하기 위해 더 약한 게이터 경계 미분 가능성 조건을 사용한다.
• 이전에 3차원 부분공간(k=3)에서 확립된 결과를 임의의 k차원 실부분공간으로 일반화한다. 여기서 2 ≤ k ≤ 2n이다.
• 곡선형 적분 항등식이 성립하는 데 필요한 충분한 대수적 조건을 규명하며, 특히 니르포텐트 부분대수의 구조에 중점을 둔다.
• 가환 대수의 준단순 및 니르포텐트 성분을 포함하는 통합된 프레임워크를 제공한다.

제안 방법

• 𝔸ₙ^ᵐ를 m차원 준단순 부분대수 S(아이디포텐트에 의해 생성됨)와 (n−m)차원 니르포텐트 부분대수 N의 반직합으로 정의한다.
• 𝔸ₙ^ᵐ 내의 선형 독립인 실계수 조합 e₁=1, e₂, ..., eₖ로 생성되는 k차원 실부분공간 Eₖ를 구성한다.
• 모노제닉 함수를 실수 xⱼ에 대한 변수 ζ = ∑ⱼ₌₁ᵏ xⱼ eⱼ의 연속적이고 게이터 경계 미분 가능 함수로 표현한다.
• 미분형식 σᵣ를 유도하고, 니르포텐트 부분의 통합 조건을 분석하기 위해 구조상수 Υᵣ,ₖˢ를 사용한다.
• 주요 항등식 (19)를 수립하고, 니르포텐트 부분대수에 대한 특정 조건 하에서 적분 정리를 증명하기 위해 이를 적용한다.
• 함수형식 fᵤ를 사용하여 대수의 원소를 준단순 부분으로 사영함으로써 분해 및 미분 구조 분석을 가능하게 한다.

실험 결과

연구 질문

• RQ1 복소수체 위의 가환 대수의 k차원 실부분공간에서 모노제닉 함수에 대해 곡선형 코시 적분 정리 및 공식이 성립하는 조건은 무엇인가?
• RQ2 니르포텐트 부분대수의 구조는 게이터 경계 모노제닉 함수에 대한 적분 정리의 타당성에 어떻게 영향을 미치는가?
• RQ3 이전에 k=3에서 확립된 결과를 임의의 k ∈ [2, 2n]로 일반화할 수 있는가?
• RQ4 구조상수 Υᵣ,ₖˢ에 어떤 대수적 제약 조건이 있어야 미분형식 σᵣ가 0이 되며, 이는 적분 항등식에 필수적인가?
• RQ5 ζ가 준단순 부분대수 S 또는 니르포텐트 부분대수 N에 포함될 경우, 어떤 경우에 항등식 (19)의 적분 항등식이 성립하는가?

주요 결과

• 곡선형 코시 적분 정리, 모르라의 정리, 코시 적분 공식은 2 ≤ k ≤ 2n인 𝔸ₙ^ᵐ의 k차원 실부분공간에서 정의된 모노제닉 함수로 일반화된다.
• 항등식 (19)는 대수가 순수 준단순적일 경우(𝔸ₙ^ᵐ ≡ S, 즉 N = 0일 경우) 성립한다.
• 니르포텐트 부분대수 N의 복소수 차원이 ≤3일 경우, e₂, ..., eₖ의 선택과 무관하게 항등식 (19)가 성립한다.
• dimℂ N = 4일 경우, 모든 계수 aⱼ,ₘ₊₁ = 0 이고, j = 2, ..., k에 대해 aⱼ,ₘ₊₂ 또는 aⱼ,ₘ₊₃ 중 적어도 하나가 0이면 항등식 (19)가 성립한다.
• 특정 14개의 관계에서 발생하는 모든 구조상수 Υᵣ,ₖˢ가 0이면, r = m+1, ..., n에 대해 σᵣ = 0이 되어 항등식 (19)가 성립한다.
• 식 (26)의 퇴화 조건을 만족하는 대수의 예로는 I₂² = I₃, I₂I₄ = I₅ 또는 I₂² = I₃, I₄² = I₅이며, 나머지 곱은 0인 곱셈 규칙을 가진 대수가 있다.