[논문 리뷰] On the weighted $\bar\partial$-Neumann problem on unbounded domains

Klaus Gansberger|ArXiv.org|2009. 12. 04.

Holomorphic and Operator Theory참고 문헌 12인용 수 7

한 줄 요약

이 논문은 복소수 $\mathbb{C}^n$에서의 비유계, 만능볼록 도메인에서 가중 $\bar\partial$-Neumann 연산자의 존재성과 컴팩턴스를 보장하는 필요 및 충분 조건을 제시한다. 이는 $\mathcal{C}^2$ 복소다음형 가중 함수의 복소 헤시안 행렬의 고유값을 이용하여 이루어지며, 핵심 결과는 헤시안의 최소 고유값이 무한대에서 양수 상한선으로 유계일 경우 연산자가 존재하고, 이 고유값이 무한대로 발산하며 경계가 국소적 Property (P)를 만족할 경우 연산자가 컴팩트하다는 것이다.

ABSTRACT

Let $Ω$ be an unbounded, pseudoconvex domain in $\Bbb C^n$ and let $φ$ be a $\mathcal C^2$-weight function plurisubharmonic on $Ω$. We show both necessary and sufficient conditions for existence and compactness of a weighted $\bar\partial$-Neumann operator $N_φ$ on the space $L^2_{(0,1)}(Ω,e^{-φ})$ in terms of the eigenvalues of the complex Hessian $(\partial ^2φ/\partial z_j\partial\bar z_k)_{j,k}$ of the weight. We also give some applications to the unweighted $\bar\partial$-Neumann problem on unbounded domains.

연구 동기 및 목표

• 비유계, 만능볼록 도메인에서의 가중 $\bar\partial$-Neumann 문제 이론을 $\mathbb{C}^n$으로 확장하기.
• 가중 함수의 복소 헤시안의 스펙트럼 성질을 통해 가중 $\bar\partial$-Neumann 연산자의 존재성과 컴팩턴스를 특성화하기.
• Catlin의 Property (P)를 비유계 도메인으로 일반화하고, 이 조건을 연산자의 컴팩턴스에 대한 충분 조건으로 사용하기.
• 비유계 도메인에서 $\bar\partial$-Neumann 연산자가 유계 또는 컴팩트로 유지되는 기하학적 및 해석적 조건을 명확히 하기.
• 콤팩턴스, 준유계성, 준실린드릭성 간의 관계를 규명하여 콤팩턴스가 준유계성을 함의함을 보여주기.

제안 방법

• 논문은 Kohn–Morrey 공식을 사용하여 $\bar\partial$-Neumann 문제를 가중 함수의 복소 헤시안 기하학과 연결한다.
• 비유계 도메인에 대해 Catlin의 Property (P)의 국소적 버전을 도입하며, 이는 경계 근처에서 균일하게 유계인 스무스 복소다음형 함수가 존재하고, 이들의 헤시안 고유값이 크다는 조건을 포함한다.
• 가중 함수의 헤시안의 최소 고유값의 하한이 무한대에서 $\varepsilon > 0$ 이상으로 유지될 경우, 유계 $\bar\partial$-Neumann 연산자가 존재함을 보였다.
• 헤시안의 최소 고유값이 무한대에서 발산하고 경계가 국소적 Property (P)를 만족할 경우, 연산자가 컴팩트하다는 것을 증명하였다.
• 가중치 간의 등가성을 이용하여 유중량 및 비가중 $L^2$-공간 간 결과를 이전하며, 유계성과 컴팩턴스를 유지한다.
• 기하 기준, 예를 들어 준유계성과 준실린드릭성을 적용하여 존재성과 컴팩턴스에 대한 필요 조건을 도출하였다.

실험 결과

연구 질문

• RQ1 가중 함수의 복소 헤시안에 대한 조건은 무엇인가? 비유계 만능볼록 도메인에서 가중 $\bar\partial$-Neumann 연산자가 존재할 조건은 무엇인가?
• RQ2 Catlin의 Property (P)는 비유계 도메인으로 일반화될 수 있는가? 만약 그렇다면, 이는 $\bar\partial$-Neumann 연산자의 컴팩턴스를 특성화하는 데 사용될 수 있는가?
• RQ3 기하학적 성질(예: 준유계성, 준실린드릭성)은 $\bar\partial$-Neumann 연산자의 존재성 또는 컴팩턴스에 대해 어떤 필요 조건을 갖는가?
• RQ4 복소다음형 가중 함수의 복소 헤시안 스펙트럼 성질은 $\bar\partial$-Neumann 연산자의 정규성과 유계성에 어떻게 영향을 미치는가?
• RQ5 $\bar\partial$-Neumann 연산자의 컴팩턴스는 다비홀로모르피즘에 대해 불변인가? 이는 도메인 기하학과 어떻게 관련되는가?

주요 결과

• 가중 함수의 복소 헤시안의 최소 고유값 $\lambda_\varphi(z)$가 $\liminf_{|z|\to\infty, z\in\Omega} \lambda_\varphi(z) \geq \varepsilon > 0$ 를 만족할 경우, 가중 $\bar\partial$-Neumann 연산자 $N_\varphi$ 는 $L^2_{(0,1)}(\Omega, e^{-\varphi})$ 에서 존재하며 유계이다.
• 만약 $\Omega$의 경계가 국소적 Property (P)를 만족하고 $\lambda_\varphi(z) \to \infty$ 라면 $|z| \to \infty$ 일 때, $N_\varphi$ 는 $L^2_{(0,1)}(\Omega, e^{-\varphi})$ 에서 컴팩트하다.
• 비유계 도메인에서 $\bar\partial$-Neumann 연산자가 컴팩트할 경우, 도메인은 준유계적이며, 즉 $\lim_{|z|\to\infty, z\in\Omega} \text{dist}(z, \partial\Omega) = 0$ 이다.
• 비유계 도메인에서 유계 $\bar\partial$-Neumann 연산자가 존재할 경우, 도메인은 준실린드릭적이며, 즉 어떤 $C > 0$ 에 대해 $\limsup_{|z|\to\infty, z\in\Omega} \text{dist}(z, \partial\Omega) \leq C$ 이다.
• 무한대에서 $\lambda_\varphi \geq \varepsilon > 0$ 인 유계 복소다음형 가중 함수 $\varphi$ 가 존재할 경우, 비가중 공간에서의 유계 $\bar\partial$-Neumann 연산자가 존재함을 보장한다.
• 만약 $\Omega$ 가 Property (P)를 만족하고 무한대에서 $\lambda_\varphi \to \infty$ 인 유계 복소다음형 함수 $\varphi$ 가 존재할 경우, 비가중 $\bar\partial$-Neumann 연산자는 컴팩트하다.