원뿔 영역에서 디리클레 라플라시안의 H∞ 계산

초록

본 논문은 원뿔형(또는 각형) 영역에서 디리클레 경계조건을 갖는 라플라시안 연산자의 H∞-계산이 가중 L^p 공간에서 유계임을 증명한다. 가중치는 경계까지의 거리와 원뿔 꼭짓점까지의 거리를 동시에 반영하며, 이를 통해 최대 L^p 정규성 및 가중 Sobolev 공간에서의 포아송 방정식 해석을 얻는다.

상세 분석

논문은 먼저 원뿔 영역 D = { x∈ℝ^d \ {0} : x/|x|∈Ω } 를 정의하고, Ω가 C^2‑경계를 갖는 구면 부분집합임을 가정한다. 가중 함수 w_{γ,ν}(x)=ρ(x)^{ν−γ}·ρ_∘(x)^{γ} 를 도입하여 L^p(D,w_{γ,ν}) 공간을 구성한다. 여기서 ρ는 경계까지의 거리, ρ_∘는 원점까지의 거리이다. 주요 결과인 Theorem A는 γ∈(−1,2p−1){p−1} 및 ν가 λ_*1에 의해 결정되는 복합 구간을 벗어나지 않을 때, 디리클레 라플라시안 Δ_Dir가 −Δ_Dir 가 bounded H∞‑calculus (각도 0)를 갖는다는 것을 보인다.

증명의 핵심은 L^2(D)에서 스펙트럼 정리를 이용해 H∞‑calculus가 성립함을 확인한 뒤, 가중 L^p 공간으로 외삽(extrapolation)하는 과정이다. 이를 위해 저자들은