[논문 리뷰] Closed range of $\bar\partial$ in $L^2$-Sobolev spaces on unbounded domains in $\mathbb{C}^n$

Phillip S. Harrington, Andrew Raich|arXiv (Cornell University)|2017. 04. 25.

Advanced Harmonic Analysis Research참고 문헌 6인용 수 3

한 줄 요약

이 논문은 복소수 공간 $\mathbb{C}^n$ 내의 유계가 아닌 영역에서 $(0,q)$-형식에 대한 $\bar\partial$ 연산자의 가중치가 부여된 $L^2$-소볼레프 공간에서의 닫힌 범위를 확보하기 위한 충분조건으로 약한 $Z(q)$ 조건을 설정한다. 이는 고전적 결과를 비퍼세우드콘벡스 및 유계가 아닌 설정으로 일반화한 것이다. 주요 기여는 이러한 영역에서 가중 소볼레프 공간이 닫힌 범위를 확보하기 위해 필수적임을 입증하고, 약한 $Z(q)$ 조건이 $\bar\partial$-네우만 문제의 정규성과 해법 가능성을 보장함을 보여주는 것이다.

ABSTRACT

Let $Ω\subset\mathbb{C}^n$ be a domain and $1 \leq q \leq n-1$ fixed. Our purpose in this article is to establish a general sufficient condition for the closed range of the Cauchy-Riemann operator $\bar\partial$ in appropriately weighted $L^2$-Sobolev spaces on $(0,q)$-forms. The domains we consider may be neither bounded nor pseudoconvex, and our condition is a generalization of the classical $Z(q)$ condition that we call weak $Z(q)$. We provide examples that explain the necessity of working in weighted spaces both for closed range in $L^2$ and, even more critically, in $L^2$-Sobolev spaces.

연구 동기 및 목표

• 유계가 아닌 영역에서 복소수 공간 $\mathbb{C}^n$ 내의 $(0,q)$-형식에 대한 $\bar\partial$ 연산자의 가중치가 부여된 $L^2$-소볼레프 공간에서의 닫힌 범위를 위한 일반적인 충분조건을 설정하는 것.
• 고전적 $Z(q)$ 조건을 비퍼세우드콘벡스 및 유계가 아닌 영역에 적용 가능한 더 약한 곡률 조건인 약한 $Z(q)$ 조건으로 일반화하는 것.
• 유계가 아닌 영역에서 닫힌 범위 추정을 위해 가중치가 부여된 $L^2$-소볼레프 공간이 필수적임을 보여주며, 기하학적 및 해석적 장애로 인해 무게가 없는 공간에서는 실패함을 밝히는 것.
• 가중 소볼레프 추정을 구성하고 정규성 해석을 증명함으로써 $\bar\partial$-네우만 이론을 유계가 아닌 영역으로 확장하는 것.

제안 방법

• 고전적 $Z(q)$ 조건을 일반화하고 유계가 아닌 영역에 적용 가능한, 레비 형식에 대한 곡률 조건으로서의 약한 $Z(q)$ 조건을 도입하는 것.
• 유계가 아닌 영역에서 $\bar\partial$-네우만 문제를 안정화하기 위해 $e^{-t|z|^2}$를 가중치로 사용하는 가중치가 부여된 $L^2$-소볼레프 노름을 사용하는 것.
• 고차 미분계수를 제어하기 위해 부분적 적분과 커mutator 추정을 적용하여 $\bar\partial$ 및 그 수반 연산자 $\bar\partial_t^*$ 를 가중 소볼레프 노름에서 제어하는 것.
• 경계 근처에서 벡터장의 탄성 성질을 활용하여 커mutator를 제어하고, 작은 상수/큰 상수의 방법을 통해 저차항을 흠집 없이 흡수하는 것.
• 가중 소볼레프 공간에서 $\bar\partial$-네우만 연산자 $N_{q,t}$ 에 대한 가중 $H^k$ 추정을 증명하며, $\|u\|_{t,k,\Omega}^2 \leq C_k(\|\bar\partial u\|_{t,k,\Omega}^2 + \|\bar\partial_t^* u\|_{t,k,\Omega}^2) + C_{k,t}\|u\|_{t,k-1,\Omega}^2$ 를 얻는 것.
• 표준적 방법을 통해 캐논칼 해 연산자와 $\bar\partial$-네우만 연산자의 연속성을 이용하여 $C^\infty$에서의 해법 가능성과 경계에 근접한 정규성을 입증하는 것.

실험 결과

연구 질문

• RQ1 비퍼세우드콘벡스 또는 유계가 아닌 조건을 가정하지 않고도, 유계가 아닌 영역에서 $(0,q)$-형식에 대한 $\bar\partial$ 연산자의 $L^2$-소볼레프 공간 내에서의 닫힌 범위를 확보할 수 있는가?
• RQ2 유계가 아닌 영역에서 가중치가 부여된 $L^2$-소볼레프 공간 내에서 $\bar\partial$ 연산자의 닫힌 범위를 보장하는 데 필요한 레비 형식에 대한 가장 약한 곡률 조건은 무엇인가?
• RQ3 왜 유계가 아닌 영역에서는 닫힌 범위 추정을 위해 가중치가 부여된 $L^2$-소볼레프 공간이 필수적인가? 그리고 무게가 없는 추정이 실패하는 기하학적 장애는 무엇인가?
• RQ4 약한 $Z(q)$ 조건은 고전적 $Z(q)$ 조건과 관련된 문헌의 다른 조건들을 어떻게 일반화하는가? 그리고 $\bar\partial$-네우만 연산자의 정규성을 보장하는 데서 이 조건이 수행하는 역할은 무엇인가?
• RQ5 가중 소볼레프 추정을 사용하여 유계가 아닌 영역에서 $C^\infty$ 해를 얻을 수 있는가? 그리고 이에 필요한 가중치와 영역의 구조적 조건은 무엇인가?

주요 결과

• 약한 $Z(q)$ 조건은 복소수 공간 $\mathbb{C}^n$ 내의 유계가 아닌 영역에서 $(0,q)$-형식에 대한 $\bar\partial$ 연산자의 가중치가 부여된 $L^2$-소볼레프 공간 내에서의 닫힌 범위를 보장하는 충분한 곡률 조건이며, 이는 영역이 퍼세우드콘벡스가 아닐 경우에도 성립한다.
• 유계가 아닌 영역에서는 가중치가 부여된 $L^2$-소볼레프 공간이 닫힌 범위 추정을 위해 필수적이다. 무게가 없는 추정은 $u_R$를 사용한 스케일링 추론을 통해 임의로 큰 구를 포함하고 있음을 보여주며 실패한다.
• $\bar\partial$-네우만 연산자 $N_{q,t}$ 는 가중 $H^k$ 추정을 만족한다: $t$ 가 충분히 크면 $\|u\|_{t,k,\Omega}^2 \leq C_k(\|\bar\partial u\|_{t,k,\Omega}^2 + \|\bar\partial_t^* u\|_{t,k,\Omega}^2) + C_{k,t}\|u\|_{t,k-1,\Omega}^2$ 이다.
• 표준적 방법을 통해 이론은 $C^\infty$-스무스 해로 확장되며, 약한 $Z(q)$ 조건 하에서 유계가 아닌 영역에서 $\bar\partial$-네우만 문제의 해법 가능성이 입증된다.
• 증명에서 탄성 벡터장의 사용은 커mutator를 제어하고 저차항을 흡수할 수 있게 하여 핵심적인 $H^k$ 추정을 유도하는 데 기여한다.
• 무한히 많은 고정된 반지름의 서로 겹치지 않는 구를 포함하는 유계가 아닌 영역에서는 리플리히의 보조정리가 실패하므로, $H^1(\Omega)$ 가 $L^2(\Omega)$ 에서 컴팩트하지 않다. 이는 소볼레프 이론에서 가중 공간이 필요한 이유를 정당화한다.