[논문 리뷰] A general method of weights in the d-bar-Neumann problem

Tran Vu Khanh|arXiv (Cornell University)|2010. 01. 28.

Numerical methods in inverse problems참고 문헌 21인용 수 14

한 줄 요약

이 논문은 $q$-강볼록 또는 $q$-강볼록성의 도메인에서 $\bar{\partial}$-Neumann 문제의 핵심 추정치를 통합하고 확장하기 위한 일반적인 프레임워크인 $(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 성질을 제안한다. 함수 $f$와 연산자 $\mathcal{M}$를 포함하는 가중 추정을 정의함으로써, 이 방법은 하위타원성, 초로그, 컴팩턴스, 하위타원성 승수 추정치를 특수한 경우로 포함하며, 해의 정칙성과 전역적 행동에 대한 통합적 접근을 제공한다.

ABSTRACT

This thesis deals with Partial Differential Equations in Several Complex Variables and especially focuses on a general estimate for the $\bar\partial$-Neumann problem on a domain which is $q$-pseudoconvex or $q$-pseudoconcave at a boundary point $z_0$. Generalizing Property ($P$) by \cite{C84}, we define Property $(f\T-\M\T-P)^k$ at $z_0$. This property yields the estimate {(f\T-\M)^k} \qquad o{f(Λ)\mathcal M u}^2\le c( o{\bar\partial u}^2+ o{\bar\partial^*u}^2+ o{u}^2)+C_\M o{u}^2_{-1} for any $u\in C^\infty_c(U\cap \barΩ)^k\cap \T{Dom}(\dib^*)$ where $U$ is a neighborhood of $z_0$. We want to point out that under a suitable choice of $f$ and $\M$, $(f\T-\M)^k$ is the subelliptic, superlogarithmic, compactness and subelliptic multiplier estimate. The thesis also aims at exhibiting some relevant classes of domains which enjoy Property $(f\T-\M\T-P)^k$ and at discussing recent literature on the $\bar\partial$-Neumann problem in the framework of this property.

연구 동기 및 목표

• $\bar{\partial}$-Neumann 문제에서 알려진 $L^2$ 추정치를 통합하고 확장하는 일반적인 가중치 방법을 개발하기.
• $q$-강볼록 또는 $q$-강볼록성 도메인에서 경계점에서 $(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 성질을 정의하고 분석하기.
• 이 일반 추정치가 하위타원성, 초로그, 컴팩턴스, 하위타원성 승수 추정치를 포함하고 일반화함을 보여주기.
• $Z(k)$, 분리형, 또는 정규 좌표 도메인과 같은 도메인의 클래스 중 $(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 성질을 만족하는 것을 특정하기.
• 전역 정칙성 결과를 수립하며, 컴팩턴스가 성립하지 않을 때에도 전역 정칙성이 성립할 수 있음을 보여주는 반례를 제시하여 Krantz와 Straube의 이전 작업을 정밀화하기.

제안 방법

• 경계점 $z_0$에서 Catlin의 [C84]에서 유도된 Property (P)를 일반화하여 $(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 성질을 도입하기.
• $U$를 $z_0$의 근방으로 두고, $u \in C^{\infty}_{c}(U \cap \bar{\Omega})^{k} \cap \text{Dom}(\bar{\partial}^{*})$ 에 대해 $\|f(\Lambda)\mathcal{M}u\|^{2} \leq c(\|\bar{\partial}u\|^{2} + \|\bar{\partial}^{*}u\|^{2} + \|u\|^{2}) + C_{\mathcal{M}}\|u\|^{2}_{-1}$ 라는 가중 추정을 정의하기.
• 마이크로로컬 분석을 통해 $\bar{\partial}$-Neumann 체계와 그 탄젠셜 대응을 연결하고, Kohn의 [K86, K02] 기법을 기반으로 하기.
• Kohn의 방법과 Catlin의 방법을 결합하여 1파rameter 가중 함수의 가족을 포함하는 $H_s$ 추정을 유도함으로써 정칙성 향상을 제어할 수 있도록 하기.
• $H_s$ 추정을 적용하여 전역 정칙성 결과를 증명하며, 컴팩턴스가 실패하더라도 정칙성이 유지될 수 있음을 보여주기.
• Bergman 계량과 $f$의 경계 $\delta(z)$ 로부터의 거리에 따른 성장률을 분석하여 기하 조건과 해석적 추정치를 연결하기.

실험 결과

연구 질문

• RQ1 $\bar{\partial}$-Neumann 문제에서 하위타원성, 초로그, 컴팩턴스, 하위타원성 승수 추정치를 모두 수용할 수 있는 단일 통합 프레임워크를 개발할 수 있는가?
• RQ2 경계점에서 도메인의 기하적 및 해석적 조건이 $(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 성질을 만족시키는 데 어떤 영향을 미치는가?
• RQ3 $\bar{\partial}$-Neumann 연산자의 전역 정칙성이 컴팩턴스를 의미하는가, 아니면 컴팩턴스 없이도 정칙성이 유지될 수 있는가?
• RQ4 $(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 프레임워크에서 도출된 $H_s$ 추정치는 해의 정칙성과 어떻게 관련이 있는가?
• RQ5 분리형 또는 정규 좌표 도메인과 같은 도메인의 클래스 중 $(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 성질을 만족하는 것은 무엇인가?

주요 결과

• $(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 추정치는 하위타원성, 초로그, 컴팩턴스, 하위타원성 승수 추정치를 포함하는 기존의 $L^2$ 추정치를 일반화하고 통합한다.
• 적절한 $f$와 $\mathcal{M}$ 선택에 따라 $(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 추정치는 각각 고전적 추정치로 축소되며, 그 일반성과 유연성을 입증한다.
• $H_s$ 추정치는 1파라미터 가중 함수의 가족을 포함하며, $(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 추정치로부터 도출되며, 전역 정칙성 결과의 증명을 가능하게 한다.
• 컴팩턴스 추정치가 실패하더라도 전역 정칙성이 유지될 수 있음을 보여주는 반례를 구성하였으며, 이는 Krantz [Kr88]의 이전 결과를 정밀화한다.
• $Z(k)$ 성질을 만족하는 도메인, 분리형 도메인, 정규 좌표 도메인은 $(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 성질을 만족하며, 특히 후자에 대해서는 최적의 하위타원성 추정치가 확립된다.
• $(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 성질 하에서 Bergman 계량은 하한 $B(z,X) \geq |X| \frac{f}{\log}(\delta^{-1+\eta}(z))$ 를 만족하며, 이는 기하적 제어와 해석적 추정치를 연결한다.