[论文解读] Self-Adjointness of two dimensional Dirac operators on corner domains

Fabio Pizzichillo, Hanne Van Den Bosch|arXiv (Cornell University)|Feb 13, 2019

Spectral Theory in Mathematical Physics参考文献 18被引用 11

一句话总结

本文建立了在具有有限个角点的分段C²域上，具有量子点和Lorentz标量δ壳边界条件的二维狄拉克算符的自伴性。通过利用调和函数分析 adjoint域，并使用共形映射将问题约化为无限扇形区域，证明了在H¹/²中存在唯一的自伴实现，即自由狄拉克算符的形式域。

ABSTRACT

We investigate the self-adjointness of the two-dimensional Dirac operator $D$, with quantum-dot and Lorentz-scalar $\\delta$-shell boundary conditions, on piecewise $C^2$ domains with finitely many corners. For both models, we prove the existence of a unique self-adjoint realization whose domain is included in the Sobolev space $H^{1/2}$, the formal form domain of the free Dirac operator. The main part of our paper consists of a description of the domain of $D^*$ in terms of the domain of $D$ and the set of harmonic functions that verify some mixed boundary conditions. Then, we give a detailed study of the problem on an infinite sector, where explicit computations can be made: we find the self-adjoint extensions for this case. The result is then translated to general domains by a coordinate transformation.

研究动机与目标

• 在具有角点的域上，建立具有量子点和Lorentz标量δ壳边界条件的二维狄拉克算符的自伴性。
• 以狄拉克算符D的定义域与满足混合边界条件的调和函数空间的关系，表征其伴随算符D*的定义域。
• 通过共形映射技术对无限扇形区域上的模型问题进行显式计算，分析其性质。
• 通过坐标变换将扇形区域上的结果推广至一般角点域。
• 为在非光滑几何中具有奇异边界条件的狄拉克算符，提供一个严格的泛函分析框架。

提出的方法

• 通过将伴随算符D*的定义域分解为D的定义域与满足混合边界条件的调和函数空间之直和，分析其形式伴随算符。
• 利用共形映射将角点域变换为无限扇形区域，简化几何结构以实现显式分析。
• 在扇形模型中应用显式计算，对在两种边界条件下狄拉克算符的所有自伴扩张进行分类。
• 在坐标变换S下，推导出狄拉克算符的变换形式，其中包含由曲率和边界角偏差引起的修正项。
• 将变换后的算符U_S* H U_S展开至δ(x)的二阶项，识别出描述几何畸变的微扰项L₁、L₂与M。
• 依赖H¹/²中的椭圆正则性与迹定理，确保自伴实现位于自由狄拉克算符的自然形式域内。

实验结果

研究问题

• RQ1 在具有有限个角点的域上，二维狄拉克算符在何种条件下是自伴的？
• RQ2 当原始定义域在边界点处具有奇异性时，其伴随算符的定义域应如何表征？
• RQ3 在具有量子点或δ壳边界条件的无限扇形区域上，狄拉克算符的自伴扩张有哪些？
• RQ4 共形变换如何在几何扰动下保持或改变狄拉克算符的自伴性？
• RQ5 能否将具有δ壳或量子点条件的狄拉克算符的自伴实现，从模型扇形区域推广至一般角点域？

主要发现

• 在具有有限个角点的分段C²域上，量子点与Lorentz标量δ壳狄拉克算符具有唯一的自伴实现。
• 自伴扩张的定义域包含于H¹/²(Ω, ℂ²)，即自由狄拉克算符的形式域。
• 伴随算符D*的定义域被表征为D与满足特定混合边界条件的调和函数空间的直和。
• 在开口角ω ∈ (0, 2π)的无限扇形区域上，通过变换后算符的谱分析，显式分类了所有自伴扩张。
• 坐标变换S将角点域映射为扇形区域，且变换后狄拉克算符中的微扰项在顶点附近有界，阶为O(|x|)。
• 自伴性结果在共形变换下保持不变，确保该扩张在一般角点域上定义良好。