Table of Contents
Fetching ...

Stark Hamiltonians with Hypersurface-Supported $δ$-Interactions: Self-Adjoint Realization and Boundary Resolvent Formula

Masahiro Kaminaga

Abstract

We study Stark Hamiltonians with a $δ$-interaction supported on a compact hypersurface in $\mathbb R^d$. Let $Σ$ be a compact Lipschitz hypersurface and let $α\in L^\infty(Σ;\mathbb R)$. We define the operator $H_{F,α}$ as a self--adjoint realization of the formal Hamiltonian $H_{F,0}+αδ_Σ$ by imposing transmission conditions across $Σ$. We then derive a boundary resolvent formula which expresses the resolvent of $H_{F,α}$ in terms of the free Stark resolvent and a boundary operator on $Σ$. This reduces the spectral problem to the boundary and shows that the interaction can be treated as a boundary perturbation at the resolvent level. As an application, we prove that for every nonzero electric field the resolvent difference between $H_{F,α}$ and $H_{F,0}$ is compact on $L^2(\mathbb R^d)$. It follows that the essential spectrum of $H_{F,α}$ coincides with $\mathbb R$. The argument is based on trace mapping properties for compact Lipschitz hypersurfaces and does not rely on translation invariance of the background operator.

Stark Hamiltonians with Hypersurface-Supported $δ$-Interactions: Self-Adjoint Realization and Boundary Resolvent Formula

Abstract

We study Stark Hamiltonians with a -interaction supported on a compact hypersurface in . Let be a compact Lipschitz hypersurface and let . We define the operator as a self--adjoint realization of the formal Hamiltonian by imposing transmission conditions across . We then derive a boundary resolvent formula which expresses the resolvent of in terms of the free Stark resolvent and a boundary operator on . This reduces the spectral problem to the boundary and shows that the interaction can be treated as a boundary perturbation at the resolvent level. As an application, we prove that for every nonzero electric field the resolvent difference between and is compact on . It follows that the essential spectrum of coincides with . The argument is based on trace mapping properties for compact Lipschitz hypersurfaces and does not rely on translation invariance of the background operator.

Paper Structure

This paper contains 6 sections, 11 theorems, 182 equations.

Key Result

Lemma 2.1

Let $\Sigma\subset\mathbb R^d$ be a compact Lipschitz hypersurface. Then the embeddings are continuous. Moreover, the embedding is compact. Consequently, is compact.

Theorems & Definitions (25)

  • Lemma 2.1
  • proof
  • Lemma 2.2
  • proof
  • Lemma 2.3
  • proof
  • Lemma 2.4
  • proof
  • Lemma 2.5
  • proof
  • ...and 15 more