[论文解读] Isospectral operators

Mu-Fa Chen, Xu Zhang|arXiv (Cornell University)|Nov 22, 2014

Spectral Theory in Mathematical Physics被引用 4

一句话总结

本文提出了一种系统方法，利用 h-变换对偶性，为一大类二阶微分与积分算子构造等谱算子。通过利用调和函数与测度变换，建立了显式的等谱关系，将谱知识从简单算子（例如 Ornstein-Uhlenbeck 算子）扩展至复杂算子，解决了关于出生-死亡过程主特征值正性的一个开放问题。

ABSTRACT

For a large class of integral operators or second order differential operators, their isospectral (or cospectral) operators are constructed explicitly in terms of $h$-transform (duality). This provides us a simple way to extend the known knowledge on the spectrum (or the estimation of the principal eigenvalue) from a smaller class of operators to a much larger one. In particular, an open problem about the positivity of the principal eigenvalue for birth--death processes is solved in the paper.

研究动机与目标

• 开发一个超越已知类别的等谱算子构造的一般框架。
• 解决关于出生-死亡过程主特征值正性的开放问题。
• 通过等谱性，将简单算子（例如 Ornstein-Uhlenbeck）的谱信息扩展至一大类更复杂的算子。
• 形式化通过 h-变换与测度变换实现的算子之间对偶性。
• 给出以原算子和一个调和函数表示的等谱算子的显式公式。

提出的方法

• 使用 h-变换对偶性：在加权测度 $ \tilde{\mu} = h^2 \mu $ 上定义新算子 $ \widetilde{L} $，其中 $ h $ 是 $ L $-调和函数。
• 通过等距变换 $ \tilde{f} = f/h $ 建立等谱性，确保 $ (Lf, f)_\mu = (\widetilde{L}\tilde{f}, \tilde{f})_{\tilde{\mu}} $。
• 推导 $ L $ 的系数关于 $ \widetilde{L} $、$ h $ 及其导数的显式公式：$ L = \widetilde{L} - \frac{2}{h}\langle \tilde{a}\nabla h, \nabla \rangle + \left[ \frac{2}{h^2}\langle \tilde{a}\nabla h, \nabla h \rangle - \frac{1}{h}\widetilde{L}h \right] $。
• 将该方法应用于构造与 Ornstein–Uhlenbeck 算子等谱的一类大算子，使用 $ h = \exp(\psi) $ 且 $ \psi' = b - x $。
• 在一维中使用 Riccati 方程方法：通过求解 $ \bar{a}\phi' + \bar{a}\phi^2 + \bar{b}\phi + \bar{c} = 0 $ 来恢复对偶算子。
• 将结果推广至高维，例如 $ L = \frac{1}{2}\sum_i(\partial_{ii}^2 + 1 - x_i^2) $ 的对偶为 $ \widetilde{L} = \frac{1}{2}\sum_i(\partial_{ii}^2 - 2x_i\partial_i) $，其中 $ h(x) = \exp(-|x|^2/2) $。

实验结果

研究问题

• RQ1 能否使用统一变换，系统地为一大类二阶微分算子构造等谱算子？
• RQ2 h-变换对偶性方法是否能保持谱性质，特别是不同算子类之间的主特征值？
• RQ3 该方法能否解决关于出生-死亡过程主特征值正性的开放问题？
• RQ4 如何通过等谱性将简单算子（例如 Ornstein–Uhlenbeck）的谱信息扩展至更复杂的算子？
• RQ5 给定 $ \widetilde{L} $ 和一个调和函数 $ h $，对偶算子 $ L $ 的显式形式是什么？

主要发现

• Ornstein–Uhlenbeck 算子 $ \widetilde{L} = \frac{1}{2}\frac{d^2}{dx^2} - x\frac{d}{dx} $ 的 $ L^2 $-特征值为 $ \lambda_n = -n $，对应的特征函数为 $ g_n(x) = (-1)^n e^{x^2} \frac{d^n}{dx^n}(e^{-x^2}) $。
• 一大类算子 $ L^b = \frac{1}{2}\frac{d^2}{dx^2} - b(x)\frac{d}{dx} + \frac{1}{2}[b(x)^2 - b'(x) - x^2 + 1] $ 与 Ornstein–Uhlenbeck 算子等谱，共享相同的特征值 $ \lambda_n = -n $。
• 对于任意 $ h \in C^2(\mathbb{R}) $，$ h \neq 0 $ a.e.，由含 $ \frac{h'}{h} $ 项定义的算子 $ L^h $ 的 $ L^2 $-特征值为 $ \lambda_n(L^h) = -n $，对应的特征函数为 $ g_n(x) = (-1)^n h(x) e^{x^2} \frac{d^n}{dx^n}(e^{-x^2}) $。
• 当 $ h $ 是 $ L $-调和函数时，$ \widetilde{L} $ 的对偶算子 $ L $ 显式给出为 $ L = \widetilde{L} - 2\langle \tilde{a}\nabla\log h, \nabla \rangle + \left[ 2\langle \tilde{a}\nabla\log h, \nabla\log h \rangle - h^{-1}\widetilde{L}h \right] $。
• 在高维中，$ L = \frac{1}{2}\sum_i(\partial_{ii}^2 + 1 - x_i^2) $ 的对偶为 $ \widetilde{L} = \frac{1}{2}\sum_i(\partial_{ii}^2 - 2x_i\partial_i) $，其中 $ h(x) = \exp(-|x|^2/2) $，且 $ L $ 的特征值 $ n $ 的重数为 $ \#\{(k_1,\dots,k_d) : \sum k_i = n\} $。
• 该方法解决了开放问题：通过与已知主特征值为正的算子的等谱性，证明了出生-死亡过程的主特征值为正。