[논문 리뷰] The $\overline{\partial}$-equation on variable strictly pseudoconvex domains

Xianghong Gong, Kang‐Tae Kim|arXiv (Cornell University)|2015. 05. 26.

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

한 줄 요약

이 논문은 $\bar\partial$-방정식의 해에 대한 내부 및 경계 정규성을 $\mathbb{C}^n$ 내의 매개변수 $t \in [0,1]$에 따라 변화하는 가변 엄밀한 준볼록 도메인의 가중치에 대해 수립한다. 공간 변수와 매개변수 변수 양쪽에서 허더 및 소볼레프 유형의 정규성을 사용하여, 강한 준볼록 도메인의 경우 $C^{k+3/2,j}$, 복소볼록성 함수를 가진 도메인의 경우 $C^{k+1+\beta,j}$ 정규성을 갖는 해 $u^t$의 존재를 증명하며, 고전적인 $\bar\partial$-이론을 매개변수 의존적인 설정으로 확장한다.

ABSTRACT

We investigate regularity properties of the $\overline{\partial}$-equation on domains in a complex euclidean space that depend on a parameter. Both the interior regularity and the regularity in the parameter are obtained for a continuous family of pseudoconvex domains. The boundary regularity and the regularity in the parameter are also obtained for smoothly bounded strongly pseudoconvex domains.

연구 동기 및 목표

• 매개변수 $t \in [0,1]$에 따라 연속적으로 변화하는 도메인의 가중치에서 $\bar\partial$-방정식 해의 정규성을 수립하기.
• 고전적인 $\bar\partial$-정규성 이론을 가변 도메인으로 확장하여, 매개변수 의존 허더 공간 내에서 내부 및 경계 정규성을 포함한다.
• 도메인 가중치의 기하학적 및 해석적 조건 하에서, $x$와 $t$ 변수 양쪽에서 정규성을 갖는 해 $u^t$가 $\bar\partial u^t = f^t$를 만족하도록 존재함을 증명하기.
• 적절한 정규성 가정 하에 매개변수화된 도메인의 맥락에서 쿠젠 문제를 다루며, $C^{k+1/2,j}$ 및 $C^{k+\beta,j}$ 정규성의 해 존재를 증명하기.
• 복소볼록성 에그재이션 함수를 통한 비유계 및 경계가 둥그스름한 도메인으로 $\bar\partial$-해 이론을 일반화하기.

제안 방법

• 공간 변수와 매개변수 변수 양쪽에서 정규성을 포함하는 전체 공간 $\bar{\mathcal{D}} = \bigcup_{t\in[0,1]} D^t \times \{t\}$ 상에서 함수 및 형식의 허더 공간 $C^{\rho,j}(\bar{\mathcal{D}})$ 정의하기.
• 복소볼록성 균일 에그재이션 함수의 가중치 개념 도입하기.
• 분할 단위 $\{\phi_i\}$를 사용하여 국소적 표현을 구성하기.
• 매개변수 의존 설정에서 $\bar\partial$-뉴먼 이론과 $L^2$-기법을 적용하며, 도메인 $D^t$의 $C^{k+1,j}$ 경계 정규성을 활용하기.
• 국소적 표준형에서 $\bar\partial$-방정식을 풀고, 매개변수 의존 설정에서 쿠젠 문제 기법을 통해 해 $u^t$를 붙여 맞추기.

실험 결과

연구 질문

• RQ1 매개변수 $t \in [0,1]$에 따라 매끄럽게 변화하는 도메인 $D^t$에서 $\bar\partial$-방정식 해의 정규성이 유지될 수 있는가?
• RQ2 경계가 $C^{k+2,j}$인 강한 준볼록 도메인의 가중치에서, $\bar\partial u^t = f^t$의 해 $u^t$가 $x$와 $t$ 양변에서 어떤 정규성 클래스를 달성할 수 있는가?
• RQ3 복소볼록성 에그재이션 함수의 가중치가 존재할 경우, 해의 정규성에 어떤 영향을 미치는가?
• RQ4 매개변수 의존 설정에서 첫 번째 및 두 번째 쿠젠 문제는 $C^{k+1/2,j}$ 또는 $C^{k+\beta,j}$ 정규성의 해를 갖는가?
• RQ5 데이터 $f^t$와 도메인 가중치 $D^t$가 $C^{k+\beta,j}$ 공간에 있을 경우, 해 $u^t$에서 정규성 향상의 정확한 정도는 무엇인가?

주요 결과

• 경계가 $C^{k+2,j}$인 매끄러운 유계 강한 준볼록 도메인의 가중치에서, $\bar\partial u^t = f^t$의 해 $u^t$는 정규성 $C^{k+3/2,j}$를 갖는다.
• 도메인 $D^t$가 복소볼록성 에그재이션 함수의 가중치를 갖는다면, 해 $u^t$는 $C^{k+1+\beta,j}$ 정규성을 갖는다.
• 평면 도메인($n=1$)의 경우 경계 정규성이 향상된다: $f^t$가 $C^{k+\beta,j}$이면 해 $u^t$는 $C^{k+\beta,j}$에 속하며, 정규성 향상도 $k+3/2$에서 $k+\beta$로 향상된다.
• 경계 정규성이 $C^{k+1,j}$이고 전이 함수가 $C^{k+1/2,j}$이면, 매개변수화된 도메인에서 첫 번째 쿠젠 문제의 해는 $C^{k+1/2,j}(\bar{\mathcal{D}})$에 속한다.
• 경계 정규성이 $C^{k+1,j}$이고 데이터가 $C^{k+1/2,j}$이면, 매개변수화된 도메인에서 두 번째 쿠젠 문제의 해는 $C^{k+1/2,j}$에 속한다.
• 복소볼록성 에그재이션 함수를 통해 비유계 도메인으로도 결과가 확장되며, 경계가 둥그스러운 경우나 매끄럽지 않은 경우에도 적용 가능하다. 예를 들어 중심과 반지름이 $t$에 따라 변화하는 확장 구의 경우가 그 예이다.