[논문 리뷰] Holomorphic extension from the unit sphere in $\mathbb C^n$ into complex lines passing through a finite set

Mark Agranovsky|arXiv (Cornell University)|2009. 10. 19.

Holomorphic and Operator Theory참고 문헌 14인용 수 3

한 줄 요약

이 논문은 복소수 $\mathbb{C}^n$의 단위구 위의 실해석함수 중, 닫힌 단위구 내의 두 서로 다른 점을 지나는 모든 복소선을 따라 해석적 확장을 갖는다면, 그 함수는 단위구역으로 해석적 확장을 갖는다. 핵심 결과는 두 점을 각각 통과하는 복소선의 집합이 전역 해석적 확장을 테스트하는 데 충분하다는 것을 보여주며, 단위구에 대한 하르트스의 별개 해석성 정리의 경계 해석판을 해결한다.

ABSTRACT

Let $B^n$ be the $n$-dimensional unit complex ball and let $a$ and $b$ be two distinct points in its closure. Let $f$ be a real-analytic function on the complex unit sphere $\partial B^n.$ Suppose that for any complex line $L,$ meeting the two points set $\{a,b\},$ the function $f$ admits one-dimensional holomorphic extension in the cross-section $L \cap B^n.$ Then $f$ is the boundary value of a function holomorphic in $B^n$. Two points can not be replaced by a single point. The proof essentially uses recent result of the author about characterization of polyanalytic functions in the complex plane.

연구 동기 및 목표

• $\mathbb{C}^n$의 단위구에서 실해석적 경계 함수의 전역 해석적 확장을 테스트하기 위해 필요한 최소한의 복소선 가족을 규명하는 것.
• 단일 점을 통과하는 한 가닥의 복소선 가족이 충분한가를 해결하며, 그것이 부족함을 보이고, 두 가닥의 가닥이 충분함을 보이는 것.
• 복소선을 통한 해석적 확장을 기반으로 하여, 단위구에 대한 하르트스의 별개 해석성 정리의 경계 형태를 확립하는 것.
• 고정된 두 점을 통과하는 일차원 해석적 확장을 통해 해석적 함수의 경계값을 특성화하는 것.

제안 방법

• 두 점이 $z_2 = 0$ 평면에 있을 것으로 가정하고, 모비우스 자동형사를 통해 $n=2$ 경우로 환원하는 것.
• $z_2$ 변수에 대한 푸리에 분해를 적용하여 문제를 $z_1$-원판 내의 원환대에서의 해석적 확장 문제로 환원하는 것.
• 최근에 얻어진 복소평면 내 원들의 사슬을 통한 매끄러운 확장을 이용해 2차원 경우의 해석성을 도출하는 것.
• 두 고정된 점 $a$와 $b$를 포함하는 모든 복소 2차원 평면에 대해 2차원 결과를 적용하여 고차원으로 확장하는 것.
• 교차하는 2차원 평면들 위의 국소 해석적 확장을 유일성 정리로 붙여 전체 해석적 함수를 만드는 것.
• 모비우스 변환으로 $a$와 $b$를 원점을 통과하는 좌표선으로 옮긴 후, 함수가 원점을 통과하는 모든 복소선에서 해석적임을 보이고, 포렐리의 정리를 적용하여 전역 해석성을 도출하는 것.

실험 결과

연구 질문

• RQ1 단위구 내의 해석적 함수의 경계값은 고정된 한 점을 통과하는 복소선을 따라 해석적 확장을 갖는 것으로 특성화될 수 있는가?
• RQ2 닫힌 볼 내의 두 서로 다른 점을 각각 통과하는 복소선의 두 가닥이, 구 위의 실해석 함수에 대해 전역 해석적 확장을 보장하는 데 충분한가?
• RQ3 경계 함수가 $2n-1$개의 실수 변수에 의존할 때, 전역 해석적 확장을 테스트하기 위해 필요한 최소한의 매개변수 수는 얼마인가?
• RQ4 두 점을 통과하는 직선을 따라 일차원 해석적 확장을 갖는다고 해서, 함수가 볼 내에서 해석적이지 않더라도 전역 해석성이 유도될 수 있는가?

주요 결과

• 닫힌 단위구 $\overline{B^n}$ 내의 두 서로 다른 점 $a$ 또는 $b$를 통과하는 모든 복소선을 따라 해석적 확장을 갖는 실해석 함수는 $B^n$ 내의 해석적 함수의 경계값이어야 한다.
• 단일 점을 통과하는 복소선의 가닥은 전역 해석적 확장을 테스트하는 데 부족하며, 반례 $f(z) = |z_1|^2$로 이를 보였다.
• 증명은 $a$와 $b$를 포함하는 복소 2차원 평면을 통해 $n$차원 문제를 2차원 문제로 환원하며, 원 기반 확장 정리를 통해 결과를 확립한다.
• 공통 직선 $L_{a,b}$에서의 유일성 정리를 통해 일致하는 국소 확장을 2차원 평면들 위에서 붙여 전체 해석적 함수를 구성한다.
• 모비우스 변환으로 $a$와 $b$를 원점을 통과하는 좌표선으로 옮긴 후, 함수가 원점을 통과하는 모든 복소선에서 해석적이므로 포렐리의 정리에 의해 전체 볼 내에서 해석적임을 도출할 수 있다.
• 이 결과는 $n+1$개의 애핀 독립 점이 그러한 테스트에 충분할 수 있다는 추측을 확인하며, 실해석 함수의 경우 두 점으로도 충분함을 보였다.