[논문 리뷰] Subellipticity of the $\bar\partial$-Neumann problem on a weakly $q$-pseudoconvex/concave domain

Tran Vu Khanh, Giuseppe Zampieri|ArXiv.org|2008. 04. 18.

Analytic and geometric function theory참고 문헌 6인용 수 4

한 줄 요약

이 논문은 $000024$\bar{\theta}$-Neumann 문제에서 약한 $q$-강구면 또는 $q$-강구면 도메인에서의 하위타원 추정에 대한 충분조건을 확립한다. 이는 편평한 강구면 도메인을 초월하여 Catlin의 방법을 확장한 것이다. 주요 결과는 레비 형식의 고유값들의 특정 합이 비음성 조건을 만족할 경우, 순서 $000024$\epsilon$의 하위타원성이 성립함을 보여주며, 이는 이전 결과들을 비강구면 설정으로 일반화한다.

ABSTRACT

For a domain $D$ of $\mathbb{C}^n$ which is weakly $q$-pseudoconvex or $q$-pseudoconcave we give a sufficient condition for subelliptic estimates for the $\bar{\partial}$-Neumann problem. The paper extends to domains which are not necessarily pseudoconvex, the results and the techniques of Catlin. MSC: 32D10, 32U05, 32V25

연구 동기 및 목표

• 강구면이 아닐 수도 있는 도메인, 특히 약한 $q$-강구면 또는 $q$-강구면 도메인에 대해 $\bar\partial$-Neumann 문제의 하위타원 추정을 확장하는 것.
• 강구면이 아닌 설정으로 하위타원성에 대한 Catlin의 유한 타입 조건을, 접선 벡터 장의 번들의 사용과 고유값 합을 통해 일반화하는 것.
• 레비 형식의 기하 조건과 $q_0$-차원 부분번들의 선택을 통해, 순서 $\epsilon > 0$의 하위타원 추정에 대한 충분 조건을 수립하는 것.
• 레비 형식의 $q$개의 가장 작은 고유값의 합과 제2 기본형 계수들이 하위타원성을 결정하는 데 어떻게 상호작용하는지 보여주는 것.

제안 방법

• 저자들은 복소 접선 벡터 장 $T^{1,0}\partial D$의 $q_0$-차원 부분번들 $\mathcal{V}^{q_0}$를 $L_1, \dots, L_{q_0}$에 의해 생성하여 경계에서 국소 기하 조건을 정의한다.
• 레비 형식의 고유값 $\lambda_j$와 제2 기본형 계수 $r_{jj}$에 대해 $\partial D$에서 $\sum_{j=1}^q \lambda_j - \sum_{j=1}^{q_0} r_{jj} \geq 0$을 요구함으로써 하위타원 추정에 대한 충분 조건을 도출한다.
• 스케일링 방법을 사용하여 기하에 적합한 테스트 형식 $u_t$의 가족을 구성하며, 이는 캄프 함수와 단항형 가중 함수 $|h_j(z_j)|^{2m_j}$를 통해 수립된다.
• 스케일링 매개수 $t \to 0^+$에서의 점근 분석을 사용하여 테스트 형식의 $H^\epsilon$-노름과 $L^2$-에너지 $Q(u_t, u_t)$를 추정한다.
• 핵심 단계는 레미마 6.1을 사용하여 $\int \frac{dx dy}{(t \sum |t^{-\epsilon_k} z_j|^{2m_j} + 1)^{2p-2}}$ 형태의 적분을 추정하고, $t$에 대한 거듭제곱 상한을 도출하는 것이다.
• 마지막으로 $|||u_t|||_{\epsilon}^2$와 $Q(u_t, u_t)$를 비교함으로써 $\epsilon \leq \epsilon_k$라는 부등식을 도출하여 순서 $\epsilon_k$의 하위타원성을 증명한다.

실험 결과

연구 질문

• RQ1 복소수 $\mathbb{C}^n$에서 도메인의 경계에 대해 어떤 기하 조건이 성립할 경우, 도메인이 반드시 강구면이 아닐 때도 $\bar\partial$-Neumann 문제에서 하위타원 추정이 성립하는가?
• RQ2 표준 존재 이론이 실패하는 $q$-강구면 도메인에 대해, Catlin의 하위타원성 방법을 확장할 수 있는가?
• RQ3 $q_0$-차원 접선 벡터 장의 부분번지가 도함수의 하위타원 손실을 제어하는 데 어떤 정확한 역할을 하는가?
• RQ4 레비 형식의 가장 작은 $q$개의 고유값의 합이 제2 기본형과 어떻게 상호작용하여 하위타원성을 결정하는가?
• RQ5 정의 함수의 성분 $h_j(z_j)$의 제로 순서 $m_j$에 따라 하위타원 추정의 최선의 순서 $\epsilon$는 어떻게 표현되는가?

주요 결과

• 경계점 $z_0$에서 순서 $\epsilon$의 하위타원 추정이 성립한다. 이는 $\partial D$에서 $\sum_{j=1}^q \lambda_j - \sum_{j=1}^{q_0} r_{jj} \geq 0$ 조건이 만족될 경우이며, 여기서 $\lambda_j$는 레비 형식의 고유값이고 $r_{jj}$는 제2 기본형 계수이다.
• 하위타원성의 순서 $\epsilon$는 정의 함수 성분 $h_j(z_j)$의 제로 순서 $m_j$에 따라 결정되는 $\epsilon_k$에 의해 상한이 정해지며, $\epsilon_k \leq \min_{j \geq k+1} \frac{1}{2m_j}$이다.
• $q$-형식에서 $q_0 + 1 \leq k \leq n-1$일 경우, $\epsilon \leq \epsilon_k$이면 하위타원 추정이 성립하며, 테스트 형식 구성에 의해 $\epsilon_k$가 최선임을 증명한다.
• 강한 $q$-강구면성 또는 $q$-강구면성의 경우(조건에서 엄격한 부등호가 성립할 경우), 결과는 각각 $q > n-1 - s^+$ 또는 $q < s^-$를 의미하며, 이는 기존의 유한 타입 조건과 연결된다.
• 이 방법은 비강구면 설정에서도 레비 형식과 제2 기본형의 상호작용을 통해 경계의 기하학적 성질이 하위타원성에 영향을 미친다는 것을 확인한다.
• 분석을 통해 스케일링 매개수 $t$에 대한 명시적 거듭제곱 상한을 도출하였으며, $|||u_t|||_{\epsilon}^2 \gtrsim t^{2p-2+2\epsilon_k - 2k\epsilon_k - \sum_{j=k+1}^{n-1} \frac{1}{m_j}}$ 및 $Q(u_t, u_t) \lesssim t^{2p-2+2\epsilon_k - 2(n-1)\epsilon_k - \sum_{j=1}^{k} \frac{1}{m_j}}$를 도출하여 $\epsilon \leq \epsilon_k$라는 결론을 이끌어낸다.