[논문 리뷰] Compactness for the d-bar - Neumann problem - a functional analysis approach

Friedrich Haslinger|ArXiv.org|2009. 12. 22.

Advanced Mathematical Modeling in Engineering참고 문헌 4인용 수 4

한 줄 요약

이 논문은 복소수 공간 $\mathbb{C}^n$ 위의 가중 $L^2$-공간에서의 $\overline{\partial}$-Neumann 연산자의 컴팩턴스에 대해 기능해석적 접근을 제시하며, $L^2$-공간 내 상대적 컴팩턴스 기준을 사용한다. 성질 (P)이 매끄럽게 경계진 평형다양체에서 $\overline{\partial}$-Neumann 연산자의 컴팩턴스를 유도함을 증명하며, 임bedding 컴팩턴스와 Kohn-Morrey 공식을 통한 새로운 증명을 제공한다.

ABSTRACT

We discuss compactness of the d-bar-Neumann operator in the setting of weighted L^2-spaces on C^n.$ For this purpose we use a description of relatively compact subsets of L^2- spaces. We also point out how to use this method to show that property (P) implies compactness for the d-bar-Neumann operator on a smoothly bounded pseudoconvex domain and mention an abstract functional analysis characterization of compactness of the d-bar-Neumann operator.

연구 동기 및 목표

• 가중 $L^2$-공간에서의 $\overline{\partial}$-Neumann 연산자의 컴팩턴스에 대한 기능해석적 특성화를 제공하는 것.
• 성질 (P)이 매끄럽게 경계진 평형다양체에서 $\overline{\partial}$-Neumann 연산자의 컴팩턴스를 유도함을 보이는 새로운 증명을 확립하는 것.
• 단위 구가 $L^2_{(0,1)}(\Omega)$ 내의 그래프 노름에서 상대적으로 컴팩트함을 통해 $\overline{\partial}$-Neumann 연산자의 컴팩턴스를 특성화하는 것.

제안 방법

• 균일 연속성(이동 불변성)과 경계에서의 균일한 감쇠 조건에 기반한 $L^2$-공간 내 상대적 컴팩턴스 기준을 사용한다.
• 가중 측도 하에서 $(0,1)$-형식의 $L^2$-노름과 그들의 $\overline{\partial}$ 및 $\overline{\partial}^*$-노름 간의 관계를 설명하기 위해 Kohn-Morrey 공식을 적용한다.
• 성질 (P)에 의해 $\overline{\partial}^*_\varphi$-노름을 제어하기 위해 가중 복소 헤시안 $\sum_{j,k} \frac{\partial^2 \varphi}{\partial z_j \partial \overline{z}_k} u_j \overline{u}_k$를 활용한다.
• 그래프 노름을 갖춘 $\text{dom}(\overline{\partial}) \cap \text{dom}(\overline{\partial}^*_\varphi)$ 에서의 $\overline{\partial}$-Neumann 연산자의 컴팩턴스를 $j: \text{dom}(\overline{\partial}) \cap \text{dom}(\overline{\partial}^*_\varphi) \to L^2_{(0,1)}(\Omega)$ 의 임베딩 컴팩턴스로 환원한다.
• 이중성과 수반 연산자 이론을 활용하여 $N = j \circ j^*$ 의 등가성을 이용해 $N$ 의 컴팩턴스를 임베딩 $j$ 의 컴팩턴스와 연결한다.
• 성질 (P)이 성질 ($\widetilde{\text{P}}$)을 유도함을 이용해, 복소 헤시안을 통한 $\overline{\partial}^*_\varphi$-수반의 고차항 제어가 가능함을 이용한다.

실험 결과

연구 질문

• RQ1 성질 (P)은 $\mathbb{C}^n$ 내 매끄럽게 경계진 평형다양체에서 $\overline{\partial}$-Neumann 연산자의 컴팩턴스를 유도하는가?
• RQ2 단위 구가 $L^2_{(0,1)}(\Omega)$ 내 그래프 노름에서 상대적으로 컴팩트함을 통해 $\overline{\partial}$-Neumann 연산자의 컴팩턴스를 특성화할 수 있는가?
• RQ3 특히 복소 라플라스 방정식의 정의역의 임베딩 측면에서, 어떤 기능해석적 조건이 $\overline{\partial}$-Neumann 연산자가 컴팩트함을 보장하는가?

주요 결과

• 성질 (P)은 그래프 노름을 갖춘 $\text{dom}(\overline{\partial}) \cap \text{dom}(\overline{\partial}^*_\varphi)$ 내의 단위 구가 $L^2_{(0,1)}(\Omega)$ 내에서 상대적으로 컴팩트함을 보장하며, 이는 $\overline{\partial}$-Neumann 연산자의 컴팩턴스를 보장한다.
• $\overline{\partial}$-Neumann 연산자 $N_\varphi$ 는 단위 구가 $\Omega^c$ 의 컴팩트 부분집합에서 균일한 $L^2$-감쇠 조건을 만족할 때, 즉 어떤 $\omega \subset\subset \Omega$ 에 대해 모든 단위 구의 원소 $f$ 에 대해 $\|f\|_{L^2(\Omega \setminus \omega)} < \epsilon$ 이면 컴팩트하다.
• $\overline{\partial}$-Neumann 연산자 $N_\varphi$ 가 컴팩트함과 임베딩 $j: \text{dom}(\overline{\partial}) \cap \text{dom}(\overline{\partial}^*_\varphi) \to L^2_{(0,1)}(\Omega)$ 가 그래프 노름 위상에서 컴팩트함은 동치이다.
• Kohn-Morrey 공식은 복소 헤시안에 의해 $u$ 의 $L^2$-노름에 하한을 제공하며, 성질 (P) 하에서 균일한 강력성(coercivity)을 유도하고, 이로 인해 컴팩턴스를 보장한다.
• 이 방법은 성질 (P) 하에서 $\overline{\partial}^*_\varphi$-항이 복소 헤시안에 의해 제어될 수 있음을 보여주며, 이는 $L^2$ 내 표준 상대적 컴팩턴스 기준의 적용을 가능하게 한다.
• 논문은 Catlin 의 결과인 성질 (P)이 $\overline{\partial}$-Neumann 연산자의 컴팩턴스를 유도함을 보이는 새로운 기능해석적 증명을 제공하며, 이는 이동 불변성과 $L^2$-노름의 감쇠 조건을 활용한다.