[논문 리뷰] Plurisubharmonic functions and subellipticity of the dbar-Neumann problem on nonsmooth domains

Emil J. Sträube|ArXiv.org|1997. 01. 10.

Holomorphic and Operator Theory인용 수 14

한 줄 요약

이 논문은 유계의 강한 준볼록 도메인에서 리프시츠 경계를 가진 유계 준볼록 도메인에 대해 $$\bar{\partial}$$-Neumann 문제의 하위타원적 추정을 수립한다. 경계 근처에서 헤시안이 대수적으로 증가하는 단일 유계 복소볼록 함수를 구성함으로써, 경계 데이터의 매끄러움 조건 없이도 $$\bar{\partial}$$-Neumann 연산자의 하위타원성과 컴팩턴스를 증명한다. 이는 하위도메인에서의 새로운 정규화 절차를 통해 고전 결과를 매끄럽지 않은 설정으로 확장한다.

ABSTRACT

We show subellipticity of the d-bar Neumann problem on domains with Lipschitz boundary in the presence of plurisubharmonic functions with Hessians of algebraic growth. In particular, a subelliptic estimate holds near a point where the boundary is piecewise smooth of finite type.

연구 동기 및 목표

• 매끄럽거나 조각별로 매끄러운 강력 준볼록 도메인에서의 결과를 경계가 리프시츠 조건만 만족하는 도메인으로 확장하여, 경계가 유계인 도메인에서 $$\bar{\partial}$$-Neumann 문제의 하위타원적 추정을 수립하는 것.
• 경계가 매끄럽지 않더라도, 경계 근처에서 헤시안이 $$\delta^{-\epsilon}$$처럼 대수적으로 증가하는 단일 유계 복소볼록 함수가 존재하면 하위타원성이 유도됨을 보이는 것.
• 정의된 도메인의 경계가 매끄럽지 않을 경우, 이에 대응하는 하위도메인에서 $$\bar{\partial}$$-Neumann 연산자를 사용한 정규화 기법을 개발하여 문제를 다루는 것.
• Catlin의 고전적 컴팩턴스 정리가 경계에 대한 매끄러움 조건 없이도 성립하도록 확장하기 위해, 구성된 복소볼록 함수를 활용하는 것.
• 기존의 복소볼록 함수의 가족 조건을 대체하여, 헤시안 성장 조건을 만족하는 단일 함수를 사용함으로써, 비매끄러운 경우의 하위타원성 및 컴팩턴스 결과를 통합하고 강화하는 것.

제안 방법

• 경계점 $$P$$ 근처에서 정의된 단일 유계 복소볼록 함수 $$\kappa$$ 를 사용하며, 이 함수에 대해 $$dd^c\kappa \geq \text{const} \cdot \delta^{-\epsilon} dd^c|z|^2$$ 를 전류로서 만족시키며, $$\epsilon > 0$$ 이고 $$\delta$$ 는 경계까지의 거리이다.
• 복소 라플라스 연산자의 대각선 작용을 통해 조화계수를 가진 형식으로 하위타원적 추정을 환원하며, 이러한 형식에서는 복소 라플라스 연산자가 실수 라플라스 연산자의 배수로 작용한다.
• 복소볼록 함수의 헤시안 상한을 이용하여 형식 $$u$$ 의 가중 $$L^2$$-노름 $$\|u\|_{L^2(\delta^{-\epsilon})}$$ 을 제어하며, 이는 $$\|\bar{\partial}u\|_0 + \|\bar{\partial}^*u\|_0$$ 에 의해 지배된다.
• 가중 $$L^2$$-노름이 조화함수의 경우 실수 스펙트럼 노름을 제어함을 응용하여, $$L^2$$-공간에서 컴팩턴스를 활용할 수 있도록 하는 것.
• 정규화 절차: 리프시츠 도메인에서 정의된 형식을 부드러운 하위도메인으로 제한하고, 하위도메인에서 $$\bar{\partial}$$-Neumann 연산자를 적용하여 $$\bar{\partial}^*$$ 의 정의도메인에 속하도록 수정한 후, 극한으로 이행하는 것.
• 조화함수의 $$L^2$$-공간에서 컴팩트 부분집합의 제약 조건을 이용하여, $$\|\bar{\partial}u_n\|_0 + \|\bar{\partial}^*u_n\|_0$$ 의 유계성은 수렴하는 부분수열을 유도함으로써, $$\bar{\partial}$$-Neumann 연산자의 컴팩턴스를 증명하는 것.

실험 결과

연구 질문

• RQ1 경계가 리프시츠 조건만 만족할 경우, 매끄러운 경계 데이터가 필요 없이 $$\bar{\partial}$$-Neumann 문제의 하위타원적 추정을 수립할 수 있는가?
• RQ2 경계가 매끄럽지 않더라도, 헤시안이 $$\delta^{-\epsilon}$$처럼 대수적으로 증가하는 단일 복소볼록 함수가 존재하면 하위타원성이 보장되는가?
• RQ3 Catlin의 $$\bar{\partial}$$-Neumann 연산자에 대한 고전적 컴팩턴스 정리가 경계에 대한 매끄러움 가정 없이도 확장 가능한가?
• RQ4 비매끄러운 도메인의 부드러운 하위도메인에서 형식이 $$\bar{\partial}^*$$ 의 정의도메인에 속하지 않을 경우, 이를 다룰 수 있는 정규화 기법은 무엇인가?
• RQ5 이전 연구에서 사용된 일관된 유계 함수의 가족 대신, 헤시안 성장 조건을 만족하는 단일 함수를 사용하여 하위타원성과 컴팩턴스를 유도할 수 있는가?

주요 결과

• 유계 준볼록 도메인에서 리프시츠 경계와 유한 유형 조건을 만족할 경우, 경계점 근처에서 $$\epsilon > 0$$ 의 하위타원적 추정이 성립하며, 이는 $$dd^c\kappa \geq \text{const} \cdot \delta^{-\epsilon} dd^c|z|^2$$ 를 전류로서 만족하는 유계 복소볼록 함수 $$\kappa$$ 가 존재할 경우에 한하여 성립한다.
• 모든 $$1 \leq q \leq n$$ 에 대해 $$\bar{\partial}$$-Neumann 연산자 $$N_q$$ 는 경계가 리프시츠 조건만 만족하더라도, 위의 복소볼록 함수 조건이 성립할 경우 컴팩트하다.
• 부드러운 하위도메인에서 $$\bar{\partial}$$-Neumann 연산자를 사용한 정규화 절차를 통해, 비매끄러운 도메인에서의 형식에 대해 가중 $$L^2$$-노름 추정을 극한을 취해 도출할 수 있다.
• 복소볼록 함수의 헤시안 성장 조건을 만족하는 단일 함수를 사용하면, 이전 연구에서 요구된 일관된 유계 함수의 가족이 필요 없어지며, 하위타원성 및 컴팩턴스 조건이 단순화된다.
• 이러한 복소볼록 함수의 존재가 컴팩턴스를 유도하므로, Catlin의 고전적 컴팩턴스 정리를 경계에 매끄러움 조건이 없어도 성립하도록 확장한다.
• 강력 준볼록인 경우 리프시츠 경계를 가질 때, 헤시안 성장 조건 $$\delta^{-\epsilon}$$ 은 $$(-\delta)^{-\epsilon}$$ 과의 복합함수를 통해 달성 가능하며, 이 경우 $$\epsilon < 1/2$$ 에서 하위타원성이 성립하고, 극한 측도를 통해 $$\epsilon = 1/2$$ 의 가능성도 존재한다.