[논문 리뷰] Geometric Analysis on the Diederich-Forn\ae ss Index

Steven G. Krantz, Bingyuan Liu외 1명|arXiv (Cornell University)|2016. 06. 07.

Holomorphic and Operator Theory참고 문헌 14인용 수 5

한 줄 요약

이 논문은 ℂ² 내의 유계 강한 준볼록 영역에 대해 Diederich-Fornæss 지수가 1임을 보장하는 새로운 분석적이고 기하학적 조건을 수립한다. 미분기하학과 최적의 정의 함수 구성 방법을 사용하여, 레비-평탄 집합에서 정의 함수의 헤시안을 분석함으로써, Hessₚ(L,N) = 0 이면 지수가 1임을 증명한다. 이는 Fornæss–Herbig의 정리의 일반화이며, 이전 정리로는 탐지할 수 없는 새로운 영역에 대해 지수가 1임을 보여준다.

ABSTRACT

We derive a sufficient condition on a bounded pseudoconvex domain $\\Omega\\subset\\mathbb{C}^2$ with smooth boundary such that $-(-\ ho)^\\eta$ is plurisubharmonic on $\\Omega$ for $\\eta>0$ arbitrarily close to $1$ (the supremum of $\\eta$ is called Diederich-Forn{\\ae}ss index, see Definition (df)). This condition (see Theorem prop) extends a theorem of Forn{\\ae}ss and Herbig in 2007 and only requires restriction on Levi-flat sets of the boundary $\\partial\\Omega$. Since the condition is on Levi-flat sets, it contains more geometric information. As an application of this new condition, we discuss how the geometry of the Levi-flat sets affects the Diederich-Forn{\\ae}ss index. Among other results, we show that the Diederich-Forn{\\ae}ss index is $1$ if only the Levi-flat sets form a real curve transversal to the holomorphic tangent vector fields on $\\partial\\Omega$ (see Theorem [main]). We also give a specific example (see Theorem [example]) on the bounded pseudoconvex domains which verify the application but are neither of finite type nor admit a plurisubharmonic defining function on the boundary.

연구 동기 및 목표

• 정의 함수의 경계 위에서 복소하모닉성보다 더 넓은 조건을 찾아내어 Diederich-Fornæss 지수가 1임을 보장하는 Fornæss–Herbig의 정리를 확장하기.
• 분석 조건을 기하학적으로 해석하여, 지수가 경계의 위상수학적 및 기하학적 특성을 어떻게 반영하는지 밝히기.
• 이전에 알려진 정리로는 확인할 수 없는, Diederich-Fornæss 지수가 1인 ℂ² 내의 특정 유계 강한 준볼록 영역을 구성하기.
• 지수 계산을 위한 최적의 정의 함수를 찾기 위해 미분방정식과 기하학적 분석을 활용하는 방법 개발하기.

제안 방법

• 레비-평탄 집합 Σ에서 정규화된 복소접선 벡터장 L과 복소법선 벡터장 N을 따라 정의 함수 ρ의 헤시안을 사용하기.
• 공변미분과 곡률 항등식을 포함한 미분기하 기법을 적용하여, Σ에서 Hessₚ(L,N)의 행동 분석하기.
• 경계 근처에서의 점근적 분석을 가능하게 하기 위해, r = -δ 이고 ψ가 매끄러운 함수일 때 ρ = -r e^ψ 형태의 수정된 정의 함수 구성하기.
• 레비 형식의 전개와 이차항의 제어를 통해 -(-ρ)^η에 대한 복소하모닉성 조건 추정하기.
• Σ에서 Hessₚ(L,N)의 영함수 성질을 활용하여, -(-ρ)^η의 레비 형식에 대한 균일한 하한을 도출하기.
• ℂ²에서 곡률 및 교환자 항등식을 통해 유도된 항등식 L_r Hess_r(N_r, L_r) = N_r Hess_r(L_r, L_r)를 Σ에서 사용하기.

실험 결과

연구 질문

• RQ1 정의 함수의 경계 복소하모닉성보다 더 일반적인 조건이 Diederich-Fornæss 지수가 1임을 보장할 수 있는가?
• RQ2 레비-평탄 집합에서의 분석 조건 Hessₚ(L,N) = 0은 경계의 기하학적 구조에 대해 어떻게 기하학적으로 해석할 수 있는가?
• RQ3 Fornæss–Herbig나 Diederich–Fornæss의 정리와 같은 이전 정리로는 탐지할 수 없는, ℂ² 내에서 Diederich-Fornæss 지수가 1인 유계 강한 준볼록 영역이 존재하는가?
• RQ4 기하학적 분석과 미분방정식을 통해 Diederich-Fornæss 지수를 위한 최적의 정의 함수를 구성할 수 있는가?

주요 결과

• 유계 강한 준볼록 영역이 ℂ²에 있을 때, 정의 함수의 헤시안이 레비-평탄 집합 Σ에서 Hessₚ(L,N) = 0이면 Diederich-Fornæss 지수는 1이다.
• 이 조건은 정의 함수가 경계에서 복소하모닉이어야 한다는 Fornæss–Herbig의 결과를 일반화하며, 이 조건을 만족하지 못하는 영역에도 적용 가능하다.
• Hessₚ(L,N) = 0 조건은 레비-평탄 집합의 구조를 포함한 경계의 내재된 기하학적 및 위상수학적 성질을 반영한다.
• 특정 영역이 구성되었으며, 이 영역의 Diederich-Fornæss 지수는 1이지만, 이는 이전 정리로는 확인할 수 없다. Fornæss–Herbig 및 Diederich–Fornæss의 정리도 포함된다.
• 증명 과정에서 Hessₚ(L,N) = 0 조건이 성립할 경우, -(-ρ)^η 가 η = 1일 때 엄밀히 복소하모닉이 됨을 보여 지수가 정확히 1임을 의미한다.
• 분석 결과, 지수가 경계의 복소접선 방향을 따라 정의 함수의 이阶 미분 행동에 민감하게 반응함을 드러낸다.