[논문 리뷰] Holomorphic extension from a convex hypersurface

Luca Baracco|ArXiv.org|2009. 11. 08.

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

한 줄 요약

이 논문은 복소수 $\mathbb{C}^n$에서 강하게 볼록인 도메인의 경계에 정의된 실해석함수의 헬름홀로픽 연장에 대해, 정적 원판의 가중치를 사용하여 충분조건을 설정한다. 주요 결과는, 고정된 정적 원판의 업그레이드가 포함된, $(2n-2)$-매개변수 가중치의 유한한 합집합에 속하는 정적 원판을 따라 함수가 헬름홀로픽으로 연장된다면, 그 함수는 전체 도메인으로 헬름홀로픽으로 연장된다는 것이다.

ABSTRACT

We discuss a general result of holomorphic extension of a real analytic function $f$ defined on the boundary $\partial D$ of a real analytic strictly convex subset $D\subset\subset \C^n$. We show that this follows from the hypothesis of separate holomorphic extension along stationary/extremal discs.

연구 동기 및 목표

• 강하게 볼록한 도메인의 경계에서 정의된 실해석함수의 헬름홀로픽 연장에 대한 일반적인 기준을 설정하는 것.
• 헬름홀로픽 연장을 보장하는 최소 테스팅 가중치의 정적 원판을 규명하는 것.
• 연장 과정에서 CR 기하학과 유리형 업그레이드의 역할을 명확히 하는 것.
• 내부 또는 경계점들을 통과하는 원판 가중치를 사용하여 명시적인 충분조건을 제공하는 것.

제안 방법

• 이 방법은 Lempert의 정의에 따른 정적 원판 이론에 기반한다. 정적 원판은 프로젝티브 코탄젠트 벡터 복소수에 대한 유리형 업그레이드를 갖는 헬름홀로픽 원판이다.
• 각 내부 점은 유일한 정적 원판을 지나며, 업그레이드 사상은 프로젝티브 코탄젠트 벡터 복소수에서 업그레이드 공간으로의 실해석함수 미분동형사상임을 이용한다.
• 함수 $f$는 각 가중치에 속하는 원판의 업그레이드의 합집합 위에서 CR 함수 $F$로 업그레이드되며, 이는 업그레이드가 $\mathbb{P}T^*\mathbb{C}^n$에서 겹치지 않는다는 사실을 이용한다.
• Cauchy 적분 공식을 통해 업그레이드된 함수의 유계성과 해석성에 기반하여, 원판을 따라 헬름홀로픽 연장이 전파된다.
• 핵심 단계는 업그레이드된 함수 $F$가 고정된 정적 원판의 전체 업그레이드에 대해 이웃 영역으로 헬름홀로픽으로 연장된다는 것을 보이는 것이다. 그 후, 전체 $D$ 위의 프로젝티브 코탄젠트 벡터 복소수로의 연장이 이루어진다.
• 마지막 단계에서 $F$를 Cauchy 적분과 동일시함으로써, $D$ 위의 헬름홀로픽 함수를 얻게 되며, 이는 $f$를 연장하는 것이다.

실험 결과

연구 질문

• RQ1 강하게 볼록한 도메인의 경계에 정의된 실해석함수는 $\mathbb{C}^n$의 내부로 언제 헬름홀로픽으로 연장되는가?
• RQ2 모든 가능한 원판이 아닌, 오직 정적 원판의 가중치만을 사용하여 헬름홀로픽 연장을 테스트할 수 있는가?
• RQ3 헬름홀로픽 연장을 보장하는 데 필요한 최소한의 원판 가중치의 크기(매개변수 수)는 얼마인가?
• RQ4 정적 원판의 업그레이드에 존재하는 CR 구조는 연장 과정에서 어떤 기여를 하는가?
• RQ5 단일 경계점 또는 두 내부 점을 통과하는 원판 가중치만으로도 연장이 보장될 수 있는가?

주요 결과

• 실해석함수 $f$가 $\partial D$에 정의되어 있고, 유한한 $(2n-2)$-매개변수 가중치의 정적 원판 각각을 따라 헬름홀로픽으로 연장된다면, $f$는 $D$ 전체로 헬름홀로픽으로 연장된다.
• 이 원판들의 업그레이드가 고정된 정적 원판 $A_o^*$의 업그레이드를 덮고 있으며, 이 덮개 조건이 전체 도메인으로의 헬름홀로픽 연장을 전파할 수 있도록 보장한다.
• 함수가 $D$의 두 내부 점을 통과하는 모든 정적 원판을 따라 헬름홀로픽으로 연장된다면, $f$는 $D$ 전체로 헬름홀로픽으로 연장된다.
• 함수가 단일 경계점과 통과하는 모든 정적 원판을 따라 헬름홀로픽으로 연장된다면, $f$는 $D$ 전체로 헬름홀로픽으로 연장된다. 이는 가중치가 경계점에서 특이성을 가질 수 있음에도 불구하고 성립한다.
• 업그레이드된 함수 $F$는 가중치의 정규 부분에서 CR이지만, 고정된 원판의 업그레이드에 대해 전체 이웃 영역으로 헬름홀로픽으로 연장된다.
• 최종적으로 $D$ 위의 헬름홀로픽 함수는 업그레이드된 함수를 Cauchy 적분과 동일시함으로써 얻어지며, 이는 함수가 섬유 좌표에 대해 독립적이게 되고, 따라서 $z$에 대한 함수가 되도록 강제한다.