[논문 리뷰] Self-adjoint Extensions of Restrictions

Andrea Posilicano|ArXiv.org|2007. 03. 27.

Spectral Theory in Mathematical Physics참고 문헌 13인용 수 6

한 줄 요약

이 논문은 자기수반 연산자 A를 D(A)의 밀집이고 닫힌 부분공간 N ⊂ D(A)에 제한함으로써 얻어진 대칭 연산자 S의 모든 자기수반 확장을 새로운 방식으로 매개변수화한다. 이는 S* 또는 열결 공간에 대한 지식이 필요 없이, 투영 연산자 Π와 Π의 범위에 속하는 연산자 Θ로 매개변수화된 자기수반 연산자들의 번들에 기반한 해석적 공식을 제공한다. 주요 기여는 바나흐-바이어스트라우스 이론과 경계 삼중체 이론 모두와 호환되는 통합된 프레임워크를 제공하며, 경계 조건을 가진 미분 연산자에 적용 가능하다.

ABSTRACT

We provide a simple recipe for obtaining all self-adjoint extensions, together with their resolvent, of the symmetric operator $S$ obtained by restricting the self-adjoint operator $A:\D(A)\subseteq\H o\H$ to the dense, closed with respect to the graph norm, subspace $\N\subset \D(A)$. Neither the knowledge of $S^*$ nor of the deficiency spaces of $S$ is required. Typically $A$ is a differential operator and $\N$ is the kernel of some trace (restriction) operator along a null subset. We parametrise the extensions by the bundle $π:\E(\fh) o¶(\fh)$, where $¶(\fh)$ denotes the set of orthogonal projections in the Hilbert space $\fh\simeq \D(A)/\N$ and $π^{-1}(Π)$ is the set of self-adjoint operators in the range of $Π$. The set of self-adjoint operators in $\fh$, i.e. $π^{-1}(1)$, parametrises the relatively prime extensions. Any $(Π,Θ)\in \E(\fh)$ determines a boundary condition in the domain of the corresponding extension $A_{Π,Θ}$ and explicitly appears in the formula for the resolvent $(-A_{Π,Θ}+z)^{-1}$. The connection with both von Neumann's and Boundary Triples theories of self-adjoint extensions is explained. Some examples related to quantum graphs, to Schrödinger operators with point interactions and to elliptic boundary value problems are given.

연구 동기 및 목표

• 대칭 연산자 S = A|N의 모든 자기수반 확장을 완전하고 명시적으로 분류하는 것.
• S* 또는 S의 열결 공간에 대한 사전 지식이 필요 없이 이러한 확장에 대한 해석적 공식을 유도하는 것.
• P(h)가 하이버트 공간 h ≃ D(A)/N 내의 정사영의 집합인 번들 p: E(h) → P(h)를 통한 자기수반 확장의 통합적 매개변수화를 수립하는 것.
• 제안된 매개변수화가 바나흐-바이어스트라우스 이론과 경계 삼중체 이론 모두와 어떻게 연결되는지 밝히는 것.
• 이 방법이 구체적인 문제들, 즉 양자 그래프, 점 상호작용, 타원 경계값 문제 등에 적용 가능한지 보여주는 것.

제안 방법

• 해석적 공식은 하이버트 공간 h ≃ D(A)/N 내의 정사영 Π와 Π의 범위에서 정의된 자기수반 연산자 Θ로 매개변수화된 자기수반 확장 AΠ,Θ를 구성한다.
• 제한된 영역에 관련된 추적 및 해를 나타내는 연산자들을 통해 정의된 G(z) 및 Γ(z)를 포함한 크레이인 유형의 해석적 공식을 유도한다. 이는 (−AΠ,Θ + z)−1에 대해 성립한다.
• 각 확장의 정의역은 τ₀ψ|X = Lρψ 형태의 경계 조건으로 특징지어지며, 여기서 X ⊆ H⁻¹/²(∂Ω)이고 L은 L²(∂Ω) 쌍대성에 따라 X에서 그 쌍대공간으로 가는 자기수반 연산자이다.
• 매개변수화가 바나흐-바이어스트라우스의 유니터리 매개변수화와 등가임을 보이며, 유니터리 사상 U: K₊ → K₋와 쌍 (Π, Θ) 사이의 전단사 사상으로서, 구성의 완전성을 입증한다.
• 경계 삼중체 이론과의 연결은 h ⊕ h 내의 모든 자기수반 관계가 G(Θ) ⊕ h₀⊥ 형태임을 보여줌으로써 확립된다. 여기서 G(Θ)는 부분공간 h₀ 위에서 정의된 자기수반 연산자 Θ의 그래프이다.
• 이 방법은 유계 영역에서 라플라스 연산자에 적용되어 로빈 유형 경계 조건을 복원하며, 비유계 대칭 연산자가 자기수반으로 되기 위한 조건을 규명한다.

실험 결과

연구 질문

• RQ1 대칭 연산자 S = A|N의 모든 자기수반 확장을 S* 또는 열결 공간을 계산하지 않고 어떻게 매개변수화할 수 있는가?
• RQ2 제한 데이터와 매개변수 (Π, Θ)에 대해 각 자기수반 확장 AΠ,Θ의 해석적 공식의 명시적 형태는 무엇인가?
• RQ3 제안된 매개변수화는 바나흐-바이어스트라우스의 유니터리 매개변수화와 어떻게 관련되어 있는가?
• RQ4 이러한 구성은 타원 경계값 문제의 맥락에서 경계 삼중체 이론과 어떻게 일치하는가?
• RQ5 추적 조건을 통해 정의된 대칭 연산자가 언제 자기수반으로 되며, 이러한 확장을 어떻게 명시적으로 구성할 수 있는가?

주요 결과

• S의 모든 자기수반 확장은 번들 p: E(h) → P(h)에 의해 매개변수화되며, 여기서 E(h)는 h 내의 정사영 Π와 Π의 범위에서 정의된 자기수반 연산자 Θ로 구성된 쌍 (Π, Θ)의 집합이다.
• 각 확장 AΠ,Θ의 해석적 공식은 크레이인 유형의 공식으로 주어진다: (−AΠ,Θ + z)−1 = (−A + z)−1 + G(z)Π(Θ + ΠΓ(z)Π)−1ΠG(ẑ)∗. 여기서 G와 Γ는 추적과 관련된 연산자이다.
• AΠ,Θ의 정의역은 τ₀ψ|X = Lρψ 형태의 경계 조건으로 특징지어지며, 여기서 X는 H⁻¹/²(∂Ω)의 닫힌 부분공간이고 L은 X에서 그 쌍대공간으로 가는 자기수반 연산자이다.
• (Π, Θ)를 통한 매개변수화는 바나흐-바이어스트라우스의 유니터리 매개변수화와 등가이며, 이는 구성이 가능한 모든 자기수반 확장을 포함함을 입증한다.
• 유계 영역에서 라플라스 연산자에 대해, Π = 1이고 Θ = ΘB일 때 메서드를 통해 로빈 유형 경계 조건을 복원하며, ΘB가 자기수반임을 보여주기 위해 (−P + B)ϕ ∈ H¹/²(∂Ω)이면 ϕ ∈ H⁻¹/²(∂Ω)일 때 항상 (−P + B)ϕ ∈ H³/²(∂Ω)여야 한다는 조건을 규명한다.
• 이 구성은 기존 문헌의 결과들, 특히 [13], [22], [27]과도 호환되며, 미분 연산자 이론에서 자기수반 확장의 통합적 프레임워크를 제공한다.