[论文解读] Blaschke-type conditions in unbounded domains, generalized convexity and applications in perturbation theory

S. Favorov, Leonid Golinskiĭ|arXiv (Cornell University)|Apr 19, 2012

Spectral Theory in Mathematical Physics参考文献 17被引用 3

一句话总结

本文引入了复平面上紧致集的广义凸性概念——$r$-凸性，以建立在边界控制增长条件下的无界区域上次调和函数的Blaschke型条件。该理论被应用于Schatten–von Neumann扰动理论，证明了离散谱收敛估计的显式衰减速率，其依赖于谱集的几何结构与扰动强度。

ABSTRACT

We introduce a new geometric characteristic of compact sets on the plane called $r$-convexity, which fits nicely into the concept of generalized convexity and extends essentially the conventional convexity. For a class of subharmonic functions on unbounded domains with $r$-convex compact complement, with the growth governed by the distance to the boundary, we obtain the Blaschke--type condition for their Riesz measures. The result is applied to the study of the convergence of the discrete spectrum for the Schatten--von Neumann perturbations of bounded linear operators in the Hilbert space.

研究动机与目标

• 为具有紧致补集的无界区域发展一种几何框架，该框架推广了凸性概念，并支持对边界控制增长的次调和函数进行分析。
• 在具有$r$-凸紧致补集的无界区域上，建立次调和函数的Riesz测度的Blaschke型条件。
• 将所得估计应用于Schatten–von Neumann扰动理论，特别是针对有界线性算子在迹类或Schatten-$p$扰动下的离散谱。
• 提供关于远离本质谱的特征值的定量衰减速率估计，其依赖于谱的几何结构与扰动的Schatten范数。

提出的方法

• 将$r$-凸性定义为所有包含该集合的半径为$r$的闭外部区域的交集，从而推广标准凸性概念。
• 定义外邻域$\Omega_t = \{z : \text{dist}(z,E) > t\}$，并利用$\Omega_t$上的Green函数分析受$\psi(\text{dist}(z,E))$控制的次调和函数的生长行为。
• 应用Riesz分解定理，将次调和函数表示为调和函数与具有Riesz测度$\mu = \frac{1}{2\pi}\Delta v$的势能之和。
• 推导涉及Green函数与Riesz测度的关键积分估计，进而导出Blaschke型条件：$\sum \Phi(\text{dist}(\lambda,E)) \leq C \|B\|_{{\mathcal{S}}_q}^q$。
• 利用共形映射与畸变估计，将单位圆盘上的结果推广至无界区域，尤其适用于谱为实数或位于单位圆周的情况。
• 建立Riesz测度支集的上界，以算子范数$\|B\|$与函数$\Psi$表示，确保测度被控制在特定区域内。

实验结果

研究问题

• RQ1 能否在非凸但具有$r$-凸性的紧致补集的无界区域上建立Riesz测度的Blaschke型条件？
• RQ2 谱的几何结构——特别是$r$-凸性——如何影响Schatten–von Neumann扰动下离散特征值的衰减速率？
• RQ3 能否通过势论方法将标准共形映射方法推广至有限个区间或单一线段之外的情形？
• RQ4 特征值衰减速率对Schatten范数$\|B\|_{{\mathcal{S}}_q}$及谱集的Minkowski维数的精确依赖关系为何？
• RQ5 在谱集$\sigma(A_0)$满足何种几何条件下，可获得与谱变换无关的算子$A = A_0 + B$的离散谱的统一有界性？

主要发现

• 对于$r$-凸紧致集$E$，若次调和函数满足生长条件$|\log|f(z)|| \leq K_f / \text{dist}^q(z,E)$，则有Blaschke型条件：$\sum_{n}(1-|z_n|)\text{dist}^p(z_n,E) \leq C K_f$，其中$p = \max(q + \kappa(E) - 1 + \varepsilon, 0)$，$\kappa(E)$为$E$的上Minkowski维数。
• 在无界区域$\Omega = \overline{\mathbb{C}} \setminus E$上，若次调和函数$v$满足$v(\infty) = 0$且$v(z) \leq K_v \psi(\text{dist}(z,E))$，则其Riesz测度$\mu$满足加权可 summability 条件：$\sum \Phi(\text{dist}(\lambda,E)) \leq C \|B\|_{{\mathcal{S}}_q}^q$，其中$\Phi$为合适的权函数。
• 对于具有实谱或单位圆谱的有界算子$A_0$，以及Schatten–$q$扰动$B$，当$\psi(t) = t^{-p}$（$p > 0$）时，离散谱$\sigma_d(A)$满足$\sum_{\lambda \in \sigma_d(A)} d^{pq+1+\varepsilon}(\lambda) < \infty$，其中$q > 0$。
• 在Hilbert–Schmidt扰动（$q=2$）情形下，若正规算子$A_0$的谱$\gamma$为$C^2$-光滑或BC-弧，则有$\sum \Phi(d(\lambda)) \leq C \|K\|_{{\mathcal{S}}_2}^2$，其中$\Phi(x) = x^{3+\varepsilon}$（$x \leq 1$）且$\Phi(x) = x^{2-\varepsilon}$（$x > 1$）。
• Riesz测度的支集在$\|B\|$上具有统一有界性，确保离散谱位于依赖于扰动范数和函数$\Psi$的受控区域内。