컨포멀 합성 연산자를 이용한 디리클레 고유값 추정

초록

본 논문은 단순 연결된 평면 영역에서 퇴화된 p‑라플라시안( p>2 )의 첫 번째 디리클레 고유값에 대한 새로운 상한과 하한을 제시한다. 핵심 아이디어는 영역을 컨포멀하게 변환한 뒤, 합성 연산자의 유계성을 이용해 Sobolev–Poincaré 부등식을 가중 형태로 확장하고, 이를 고유값 최소화 원리와 결합하는 것이다. 특히, 경계가 비직사각형이거나 프랙탈형인 경우에도 적용 가능한 ‘컨포멀 α‑정규 영역’ 개념을 도입해 일반적인 영역에 대한 명시적 추정식을 얻는다. 또한 K‑쿼시디스크에 대해서는 상수 Mₚ(K)만으로 표현되는 간단한 하한을 얻어, 기존의 면적·체적 기반 불평등을 보강한다.

상세 분석

논문은 먼저 퇴화된 p‑라플라시안 연산자 −div(|∇f|^{p‑2}∇f)=λ |f|^{p‑2}f 에 대한 약해 해 정의와, 첫 번째 고유값 λ₁^{(p)}(Ω)가 Sobolev–Poincaré 부등식의 최적 상수 A_{p,p}(Ω)와 정확히 연결됨을 상기한다. 기존 연구에서 알려진 Rayleigh‑Faber‑Krahn 부등식, Cheeger 상수, 내접반경 기반 하한 등은 영역의 기하적 복잡성을 충분히 반영하지 못한다는 점을 지적한다.

핵심 기법은 ‘컨포멀 α‑정규 영역’이라는 새로운 클래스 도입이다. Ω가 어떤 기준 영역 𝔈에 대해 컨포멀 사상 φ:𝔈→Ω의 Jacobian J(w,φ) 가 L^{α}(𝔈) 에 속하면 α>1 에 대해 정규라 정의한다. 이 조건은 경계가 리프시츠 연속이거나 스노우플레이크와 같은 프랙탈 차원(1,2) 사이의 경우에도 만족한다.

다음으로, Sobolev 공간 W^{1,p}(Ω)와 L^{q}(Ω) 사이의 합성 연산자 φ* (f)=f∘φ 의 유계성을 정량화한다. Theorem 2.1 은 일반 diffeomorphism 에 대해 K_{p,q}(𝔈)=\big(∬_{𝔈}|Dφ|^{p}|J|^{q-p} \big)^{(p-q)/(pq)} 가 유한하면 φ* : L^{p}(Ω)→L^{q}(𝔈) 가 유계임을 보인다. 특히 컨포멀 사상에 대해 p>2, q∈