[논문 리뷰] Self-Adjoint Extensions of the Laplacian and Krein-Type Resolvent Formulas in Nonsmooth Domains

Fritz Gesztesy, Marius Mitrea|arXiv (Cornell University)|2009. 07. 10.

Advanced Mathematical Modeling in Engineering인용 수 14

한 줄 요약

이 논문은 쿼어지-볼록 도메인—r ∈ (1/2, 1)에 대해 볼록 도메인과 C¹ʳ 도메인을 포함하는 도메인—에서 라플라스 연산자의 자기수반 확장을 분류하고, 이러한 확장에 대해 크라인 유형의 해석식을 수립한다. 이 논문은 전통적인 소볼레프 정규성 없이도 함수에 대한 일반화된 경계 추적 이론을 도입하여, 와일-티치마르슈 연산자와 에너지에 의존하는 딜리클레-노이만 맵의 분석을 가능하게 한다.

ABSTRACT

This paper has two main goals. First, we are concerned with the classification of self-adjoint extensions of the Laplacian − ∆ ˛ ˛ C ∞ 0 (Ω) in L2 (Ω; d n x). Here, the domain Ω belongs to a subclass of bounded Lipschitz domains (which we term quasi-convex domains), which contain all convex domains, as well as all domains of class C 1,r, for r ∈ (1/2, 1). Second, we establish Krein-type formulas for the resolvents of the various self-adjoint extensions of the Laplacian in quasi-convex domains and study the properties of the corresponding Weyl–Titchmarsh operators (or energy-dependent Dirichlet-to-Neumann maps). One significant technical innovation in this paper is an extension of the classical boundary trace theory for functions in spaces which lack Sobolev regularity in a traditional sense, but are suitably adapted to the

연구 동기 및 목표

• 유계 리프시츠 도메인의 일군에 대해 L²(Ω; dxⁿ)에서 C₀∞(Ω)에 제한된 라플라스 연산자 −∆의 모든 자기수반 확장을 분류하는 것.
• 표준 소볼레프 정규성 없이도 도메인의 기하학적 및 해석적 구조에 적합한 일반화된 경계 추적 이론을 도메인의 기하학적 특성에 맞게 확장하는 것.
• 이러한 도메인에서 라플라스 연산자의 자기수반 확장을 위한 크라인 유형의 해석식을 도출하는 것.
• 해당 와일-티치마르슈 연산자와 에너지에 의존하는 딜리클레-노이만 맵의 스펙트럼적 성질을 연구하는 것.

제안 방법

• 볼록 도메인과 r ∈ (1/2, 1)에 대해 C¹ʳ 도메인을 포함하는 쿼어지-볼록 도메인의 클래스를 도입하여 경계 분석에 필요한 충분한 정규성을 확보하는 것.
• 전통적인 소볼레프 정규성이 없는 L²(Ω)의 함수에 대해 도메인의 내재 기하학에 맞게 조정된 일반화된 경계 추적 이론을 개발하는 것.
• 대칭 연산자의 자기수반 확장 이론을 적용하여 경계 조건을 통해 이러한 라플라스 연산자의 모든 확장을 분류하는 것.
• 다른 자기수반 확장의 해석식 차이를 경계 자료와 스펙트럼 측도로 표현하는 크라인 유형의 해석식을 유도하는 것.
• 일반화된 추적 이론을 사용하여 와일-티치마르슈 연산자를 에너지에 의존하는 딜리클레-노이만 맵으로 특성화하는 것.
• 해석식의 해석적 및 스펙트럼적 성질과 경계 스펙트럼 데이터 간의 연결 고리를 확립하는 것.

실험 결과

연구 질문

• RQ1 부드럽지 않지만 여전히 충분한 기하학적 정규성을 지닌 도메인에서 라플라스 연산자의 자기수반 확장을 어떻게 분류할 수 있는가?
• RQ2 표준 소볼레프 공간에 속하지 않지만 도메인의 기하학에 적합한 함수에 대해 경계 추적 연산자의 적절한 일반화는 무엇인가?
• RQ3 비부드러운 도메인에서 라플라스 연산자의 자기수반 확장에 대해 크라인 유형의 해석식을 수립할 수 있는가?
• RQ4 쿼어지-볼록 도메인에서 와일-티치마르슈 연산자는 에너지에 의존하는 딜리클레-노이만 맵과 어떻게 관련이 있는가?
• RQ5 이 설정에서 일반화된 해석식으로부터 어떤 스펙트럼적 및 해석적 성질이 도출되는가?

주요 결과

• 쿼어지-볼록 도메인—r ∈ (1/2, 1)에 대해 볼록 도메인과 C¹ʳ 도메인을 포함하는 도메인—에서 라플라스 연산자의 자기수반 확장을 완전히 분류하였다.
• 전통적인 소볼레프 정규성이 없는 L²(Ω)의 함수에 적용 가능한 일반화된 경계 추적 이론을 개발하여, 비부드러운 설정에서의 경계 행동 분석을 가능하게 하였다.
• 모든 자기수반 확장을 위한 크라인 유형의 해석식을 도출하였으며, 해석식의 차이를 경계 스펙트럼 자료로 표현하였다.
• 와일-티치마르슈 연산자가 에너지에 의존하는 딜리클레-노이만 맵으로 식별되었으며, 그 성질은 일반화된 추적 이론과 연결되었다.
• 해석식과 관련된 연산자가 쿼어지-볼록 도메인의 범주에서 잘 정의되고 해석적으로 다룰 수 있음을 보였다.
• 이 틀은 부드러움이 제한된 도메인에서 슈뢰딩거 연산자와 경계값 문제를 연구하기 위한 스펙트럼이론적 기반을 제공한다.