[论文解读] Many parameter Lipschitz perturbation of unbounded operators

Andreas Kriegl, Peter W. Michor+1 more|arXiv (Cornell University)|Nov 16, 2006

Spectral Theory in Mathematical Physics参考文献 8被引用 5

一句话总结

本文建立了依赖于参数 u 的无界自伴算子 A(u) 的特征值的正则性结果，其中 u 属于一个便利向量空间。当 A(u) 为 C¹,α 时，特征值在局部为 1-Hölder 连续；当 A(u) 仅为 C⁰,¹ 时，特征值在局部为 Hölder 连续，指数为 1/N，其中 N 为最大局部特征值重数——当 N=2 时，正则性可提升至 C⁰,¹。

ABSTRACT

Abstract. If u ↦ → A(u) is a C 1,α-mapping having as values unbounded selfadjoint operators with compact resolvents and common domain of definition, parametrized by u in an (even infinite dimensional) space then any continuous arrangement of the eigenvalues u ↦ → λi(u) is C 0,1 in u. If u ↦ → A(u) is C 0,1, then the eigenvalues may be chosen C 0,1/N (even C 0,1 if N = 2), locally in u, where N is locally the maximal multiplicity of the eigenvalues. Theorem. Let U ⊆ E be a c ∞-open subset in a convenient vector space E. Let u ↦ → A(u), for u ∈ U, be a mapping with values unbounded self-adjoint operators in a Hilbert space H with common domain of definition and with compact resolvent. (A) If u ↦ → A(u) is C 1,α, for some 0 < α ≤ 1, then any continuous arrangement of the eigenvalues of A(u) (e.g., ordered by size), is C 0,1. (B) If u ↦ → A(u) is C 0,1, then the increasingly ordered continuous eigenvalues of A(u) are C 0,1/N locally in u ∈ U, where N is locally the maximal multiplicity of the eigenvalues. If N = 2, the increasingly ordered eigenvalues are even locally C 0,1.

研究动机与目标

• 分析具有紧预解算子的无界自伴算子族中特征值排列的正则性。
• 确定算子族 A(u) 的光滑性如何影响其特征值的 Hölder 正则性。
• 在 A(u) 的正则性假设最小化的前提下，建立特征值分支的最优 Hölder 指数。
• 解决特征值正则性对局部重数的依赖性，特别是当特征值交叉时的情形。

提出的方法

• 使用便利向量空间以处理算子族分析中无穷维参数空间的问题。
• 对映射 u ↦→ A(u) 应用 C¹,α 和 C⁰,¹ 正则性条件，以推导特征值的正则性。
• 运用具有紧预解算子的无界自伴算子的谱理论，以保证特征值离散且孤立。
• 采用连续的特征值排列（例如按大小排序）来研究参数 u 下的 Hölder 连续性。
• 对特征值重数 N 进行局部分析，以确定特征值分支的最优 Hölder 指数 1/N。
• 利用已知的微扰理论和谱流结果，以界定特征值随参数 u 变化的范围。

实验结果

研究问题

• RQ1 当算子族 A(u) 仅在参数 u 上为 C⁰,¹ 时，特征值的最优 Hölder 正则性是什么？
• RQ2 特征值的最大局部重数 N 如何影响特征值分支的正则性？
• RQ3 当最大重数 N=2 时，特征值正则性能否从 C⁰,¹/N 提升至 C⁰,¹？
• RQ4 A(u) 的 C¹,α 正则性是否意味着任意连续特征值排列均为 C⁰,¹ 正则？
• RQ5 参数空间的无穷维性如何影响特征值映射的正则性？

主要发现

• 若 A(u) 为某个 α ∈ (0,1] 的 C¹,α，则任意连续的特征值排列在 u 上均为 C⁰,¹（1-Hölder 连续）。
• 当 A(u) 仅为 C⁰,¹ 时，按大小递增排序的特征值在局部为 u 的 C⁰,¹/N，其中 N 为局部最大特征值重数。
• 当 N=2 时，按大小递增排序的特征值在局部为 C⁰,¹，优于一般情形下的 1/N 界限。
• 结果适用于具有相同定义域和紧预解算子的无界自伴算子族。
• 即使参数空间 E 为无穷维，只要其为便利向量空间，正则性结果依然成立。
• 该分析适用于如按大小排序的连续特征值排列，确保 Hölder 估计的稳健性。