[논문 리뷰] AN ANDREOTTI-GRAUERT THEOREM WITH $L^r$ ESTIMATES.

Éric Amar|arXiv (Cornell University)|2012. 03. 04.

Geometric Analysis and Curvature Flows참고 문헌 10인용 수 5

한 줄 요약

이 논문은 스타인 다양체 위에서 앤드레오티-그로텐디크 정리의 $L^r$-추정 버전을 확립하며, 컴팩트 지지를 가진 $ar{\partial}$-폐쇄된 $(p,q)$-현재 $ \omega$와 $ \omega \in L^r$일 때, $ \bar{\partial}u = \omega$를 만족하는 $u \in L^r$ 및 컴팩트 지지를 가진 해 $u$의 존재를 증명한다. 증명은 세르 쌍대성과 가중치가 부여된 $L^r$ 추정을 사용하며, 이는 이전 결과에서 계수의 도함수에 대한 추가 $L^r$ 조건을 제거함으로써 일반화된다.

ABSTRACT

By a theorem of Andreotti and Grauert if $\\omega $ is a $(p,q)$ current, $q < n,$ in a Stein manifold $\\displaystyle \\Omega ,\\ \\bar \\partial $ closed and with compact support, then there is a solution $u$ to $\\bar \\partial u=\\omega $ still with compact support in $\\displaystyle \\Omega .$ The main result of this work is to show that if moreover $\\displaystyle \\omega \\in L^{r}(m),$ where $m$ is a suitable Lebesgue measure on the Stein manifold, then we have a solution $u$ with compact support {\\sl and} in $L^{s}(m),\\ \\frac{1}{s}=\\frac{1}{r}-\\frac{1}{2(n+1)}.$ We prove it by estimates in $L^{r}$ spaces with weights.

연구 동기 및 목표

• 스타인 다양체에서 컴팩트 지지 데이터를 가진 $\bar{\partial}$-방정식의 해에 대한 $L^r$-추정을 확립한다.
• 코로나 방법을 사용한 이전 연구에서 요구되었던 계수의 도함수에 대한 추가 $L^r$ 조건이 필요 없도록 한다.
• 유계 도메인에서의 $L^r$-정규성 결과를 일반 스타인 다양체로 일반화한다.
• 도메인에 대한 약한 $r'$-정규성 조건 하에서 컴팩트 지지를 가진 $L^r$ 해 $u$의 존재를 증명한다.
• 비구성적인 그러나 일반적인 $L^r$-추정을 달성하기 위해 $L^r$ 공간에서의 세르 쌍대성과 쌍대성 추론을 사용한다.

제안 방법

• 스타인 다양체 내 도메인에 대한 약한 $r'$-정규성의 개념을 도입하며, 이는 $L^r$ 유계성을 가진 3단계 해상도 체인으로 정의된다.
• 세르 쌍대성과 $L^r$ 및 $L^{r'}$ 공간 간의 쌍대성을 사용하여 $\bar{\partial}$-폐쇄 형식을 쌍대 공간 내 현재와 연결한다.
• 쌍대성 $\left(L_{p,q}^r(\Omega)\right)^* = L_{n-p,n-q}^{r'}(\Omega)$를 사용하여 $L^r$-형식 위의 연속 선형 함수를 특성화한다.
• 횔더 부등식과 쌍대 노름을 적용하여 해 $u$의 $L^r$ 노름을 데이터 $\omega$의 노름을 통해 유계화한다.
• 도메인의 약한 $r'$-정규성과 쌍대성 추론을 활용하여 $L^r$ 내에 컴팩트 지지를 가진 해 $u$의 존재를 보장한다.
• 해의 $L^r$-유계성은 쌍대 공간 위의 관련 선형 함수의 유계성과 동치임을 이용한다.

실험 결과

연구 질문

• RQ1 스타인 다양체에서 컴팩트 지지를 가진 $\bar{\partial}$-폐쇄된 $(p,q)$-현재 $\omega$가 $L^r$에 속해 있을 때, $\bar{\partial}u = \omega$의 해 $u$가 $L^r$에 속하고 컴팩트 지지를 가질 수 있는가?
• RQ2 해 $u$의 $L^r$-유계성이 $\omega$의 계수 도함수에 대한 추가 $L^r$ 조건 없이도 성립하는가?
• RQ3 쌍대성 기반 방법을 사용하여 $\mathbb{C}^n$ 내 도메인의 $L^r$-정규성을 일반 스타인 다양체로 확장할 수 있는가?
• RQ4 약한 $r'$-정규성이 컴팩트 지지를 가진 $\bar{\partial}$-해의 $L^r$-추정을 보장하는 데 충분한가?
• RQ5 명시적인 적분 커널이 없을 경우 세르 쌍대성을 사용하여 비구성적인 $L^r$-추정을 $\bar{\partial}$-해에 대해 확립할 수 있는가?

주요 결과

• 주요 결과는 스타인 다양체 내에서 약한 $r'$-정규성 도메인 $\Omega$에 대해, 임의의 컴팩트 지지를 가진 $\bar{\partial}$-폐쇄된 $\omega \in L^r_c(\Omega)$와 $1 < r \leq \infty$일 때, $\bar{\partial}u = \omega$를 만족하는 $u \in L^r_c(\Omega)$가 존재함을 보여준다.
• 약한 $r'$-정규성 조건 하에서, 어떤 상수 $C > 0$에 대해 $\|u\|_{L^r} \leq C \|\omega\|_{L^r}$를 만족하는 해 $u$가 존재한다.
• 증명은 코로나 방법을 피하고 쌍대성 및 가중치가 부여된 $L^r$ 추정을 사용하여 비구성적이지만 더 일반적인 결과를 도출한다.
• $\bar{\partial}$-폐쇄성 조건 하에서 $q < n$일 때와, 헬름홀로지카 $(n-p,0)$-형식과의 수직 조건이 추가로 필요한 $q = n$일 때도 결과가 성립한다.
• $L^r$ 및 $L^{r'}$ 공간 간의 쌍대성은 $L^r$-형식의 쌍대공간이 보완적 이중도형을 가진 $L^{r'}$-형식임을 특성화하는 데 사용된다.
• 논문은 $r$-정규성과 약한 $r'$-정규성이 스타인 다양체에서 컴팩트 지지를 가진 $\bar{\partial}$-해의 $L^r$-추정을 위해 충분한 조건임을 확인한다.