[논문 리뷰] Extension theorem and representation formula in non-axially symmetric domains for slice regular functions

Xinyuan Dou, Guangbin Ren외 1명|arXiv (Cornell University)|2020. 03. 23.

Algebraic and Geometric Analysis참고 문헌 19인용 수 8

한 줄 요약

이 논문은 허미션 수학에서 슬라이스 정칙 함수에 대한 자연스러운 위상으로 슬라이스 위상을 도입하며, 이 위상이 유클리드 위상보다 더 빠르고 허미션의 슬라이스 구조에 더 적합하다고 보여준다. 일반 슬라이스 도메인에서 확장 정리와 표현 공식을 수립하여, 축대칭 도메인에서의 고전적 결과가 항상 일반화되지 않음을 밝히고, 비축대칭 설정에서 핵심 성질을 복원하기 위해 경로-슬라이스 함수를 도입한다.

ABSTRACT

Slice analysis is a generalization of the theory of holomorphic functions of one complex variable to quaternions. Among the new phenomena which appear in this context, there is the fact that the convergence domain of $f(q)=Σ_{n\in\mathbb{N}}(q-p)^{*n} a_n$, given by a $σ$-ball $Σ(p,r)$, is not open in $\mathbb{H}$ unless $p\in\mathbb{R}$. This motivates us to investigate, in this article, what is a natural topology for slice regular functions. It turns out that the natural topology is the so-called slice topology, which is different from the Euclidean topology and nicely adapts to the slice structure of quaternions. We extend the function theory of slice regular functions to any domains in the slice topology. Many fundamental results in the classical slice analysis for axially symmetric domains fail in our general setting. We can even construct a counterexample to show that a slice regular function in a domain cannot be extended to an axially symmetric domain. In order to provide positive results we need to consider so-called path-slice functions instead of slice functions. Along this line, we can establish an extension theorem and a representation formula in a slice-domain.

연구 동기 및 목표

• 슬라이스 정칙 함수에 대한 자연스러운 위상, 특히 축대칭 도메인이 최대라는 가정에 도전하기 위해 허미션 해석학에서 슬라이스 정칙 함수의 자연스러운 위상을 규명하는 것.
• 비축대칭 도메인에서 고전적 슬라이스 분석 결과(예: 표현 공식)의 실패를 다루는 것.
• 슬라이스 위상을 사용하여 축대칭 도메인을 초월한 슬라이스 정칙 함수의 일반화된 함수 이론을 개발하는 것.
• 일반 도메인에서 핵심 해석적 성질을 복원하기 위해 표준 슬라이스 함수의 대체로 경로-슬라이스 함수를 도입하는 것.
• 슬라이스 정칙성 도메인을 특성화하고, 슬라이스 정칙 함수가 전역적으로 확장되거나 표현될 수 있는 조건을 설정하는 것.

제안 방법

• 슬라이스 위상을 ℍ에 정의하여 모든 슬라이스 투영이 연속이 되게 하는 가장 빠른 위상으로 정의하며, 이는 유클리드 위상보다 엄격히 더 빠르다.
• ℍ = ⋃_{I∈𝕊} ℂ_I 라는 슬라이스 북 구조를 사용하여 슬라이스 위상에서의 기본 도메인으로서 σ-구역 Σ(p,r)를 정의한다.
• 비축대칭 도메인에서의 확장 정리를 위해 슬라이스 함수의 일반화로 경로-슬라이스 함수를 도입한다.
• 각 복소 평면 ℂ_I에서 복소해석 기법을 적용하고, 해석적 연장 논증을 사용하여 전역 정칙성을 증명한다.
• 항등성 원리와 슬라이스 연결성을 사용하여 겹치는 도메인을 넘어서 슬라이스 정칙 함수의 유일성과 확장을 증명한다.
• 모순에 의한 방식으로 σ-구역 Σ(p,r)가 슬라이스 정칙성 도메인임을 증명하며, 경계점으로의 해석적 연장이 모순을 일으키므로 도메인이 슬라이스 정칙이 아닐 경우에만 가능함을 보인다.

실험 결과

연구 질문

• RQ1 슬라이스 정칙 함수에 대한 자연스러운 위상은 무엇이며, 유클리드 위상과 어떻게 다를까?
• RQ2 비축대칭 도메인으로 일반화된 슬라이스 정칙 함수의 고전적 표현 공식은 성립하는가?
• RQ3 왜 표준 슬라이스 함수 이론은 비축대칭 도메인에서 실패하며, 어떤 대체 프레임워크가 해석적 제어를 복원하는가?
• RQ4 비축대칭 도메인에서 정의된 슬라이스 정칙 함수가 더 큰 도메인으로 확장될 수 있는 조건은 무엇인가?
• RQ5 슬라이스 정칙성 도메인은 무엇으로 특성화되며, σ-구역과 경로-슬라이스 함수의 구조와 어떻게 관련되는가?

주요 결과

• 슬라이스 위상은 유클리드 위상보다 엄격히 더 빠르며, 슬라이스 정칙 함수에 대한 자연스러운 프레임워크를 제공한다.
• σ-구역 Σ(p,r)는 슬라이스 정칙성 도메인이다. 즉, Σ(p,r) ∩ ℂ_I에서 정의된 해석적 함수는 도메인이 슬라이스 정칙이 아닐 경우 경계를 초월해 확장될 수 없다.
• 일반적으로 비축대칭 도메인에서 표현 공식은 실패하며, 축대칭 도메인이 슬라이스 정칙 함수에 대해 최대가 아님을 보여준다.
• 비축대칭 도메인에서 정의된 슬라이스 정칙 함수가 항상 축대칭 도메인으로 확장되지 않는 반례를 구성하였다.
• 경로-슬라이스 함수는 일반 슬라이스 도메인에서 확장 및 표현 정리를 복원할 수 있으며, 표준 슬라이스 함수의 대체로 사용된다.
• 항등성 원리와 슬라이스 연결성을 통해 슬라이스 정칙 함수는 겹치는 슬라이스 성분에서의 값에 의해 유일하게 결정되며, 적절한 조건 하에서 전역 확장을 가능하게 한다.