[论文解读] Spectral problems for non elliptic symmetric systems with dissipative boundary conditions

Ferruccio Colombini, Vesselin Petkov+1 more|arXiv (Cornell University)|Mar 15, 2013

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

一句话总结

本文建立了外域中非椭圆对称双曲型系统在耗散边界条件下谱结构，证明在强制性假设下，生成元在开左半平面内的谱仅由有限重数的孤立特征值构成。该研究将散射与谱理论推广至缺乏椭圆性与自伴性的系统，包括具有严格耗散边界条件的麦克斯韦方程组。

ABSTRACT

This paper considers and extends spectral and scattering theory to dissipative symmetric systems that may have zero speeds and in particular to strictly dissipative boundary conditions for Maxwell's equations. Consider symmetric systems $\\partial_t - \\sum_{j=1}^n A_j \\partial_{x_j}$ in ${\\mathbb R}^n,\\: n \\geq 3$, $n$ odd, in a smooth connected exterior domain $\\Omega := {\\mathbb R}^n \\setminus \\bar{K}$. Assume that the rank of $A(\\xi) = \\sum_{j= 1}^n A_j \\xi_j$ is constant for $\\xi \ ot= 0.$ For maximally dissipative boundary conditions on $\\Omega :={\\mathbb R}^n \\setminus \\bar{K}$ with bounded open domain $K$ the solution of the boundary problem in ${\\mathbb R}^{+} \ imes \\Omega$ is described by a contraction semigroup $V(t) = e^{t G_b},\\:t \\geq 0.$ Assuming coercive conditions for $G_b$ and its adjoint $G_b^*$ on the complement of their kernels, we prove that the spectrum of $G_b$ in the open half plane $\\Re z < 0$ is formed only by isolated eigenvalues with finite multiplicities.

研究动机与目标

• 将谱理论与散射理论推广至非椭圆且不具自伴性的耗散对称双曲型系统。
• 分析外域中具有最大耗散边界条件的系统生成元 $ G_b $ 的谱性质。
• 在强制性条件下，证明 $ G_b $ 在 $ \operatorname{Re} z < 0 $ 内的谱仅由有限重数的孤立特征值构成。
• 证明离散谱在系统、边界条件及区域的小扰动下保持稳定。
• 将波动方程的结果推广至具有严格耗散边界条件的麦克斯韦方程组。

提出的方法

• 在外域 $ \Omega = \mathbb{R}^n \setminus \overline{K} $（$ n \geq 3 $，奇数）上建立对称系统 $ \partial_t - \sum A_j \partial_{x_j} $ 的初边值问题。
• 在 $ L^2(\Omega; \mathbb{C}^r) $ 上定义收缩半群 $ V(t) = e^{tG_b} $ 的生成元 $ G_b $，其边界条件为 $ u(t,x) \in \mathcal{N}(x) $，其中 $ \mathcal{N}(x) $ 为最大耗散子空间。
• 在 $ G_b $ 与 $ G_b^* $ 的核的正交补空间上施加强制性估计 $ (H) $ 与 $ (H)^* $，以控制空间导数。
• 通过截断函数与基本解的紧致性论证，证明近似特征函数列的预紧性。
• 应用预解式刻画 $ (G_b - z)^{-1} $，并证明在 $ \operatorname{Re} z < 0 $ 内的近似特征值必为实际特征值。
• 将论证推广至满足条件 $ (E) $ 的系统，以 $ Qu = 0 $ 替代 $ \operatorname{div} u = 0 $，并利用 $ z^2 - G^2 + Q^*Q $ 的基本解。

实验结果

研究问题

• RQ1 非椭圆对称双曲型系统在耗散边界条件下，其生成元 $ G_b $ 的谱结构为何？
• RQ2 在何种条件下，$ G_b $ 在开左半平面内的谱仅由有限重数的孤立特征值构成？
• RQ3 当系统、边界条件或区域发生小扰动时，离散谱如何变化？
• RQ4 能否将波动方程的谱结果推广至具有严格耗散边界条件的麦克斯韦方程组？
• RQ5 强制性条件 $ (H) $ 及其对偶 $ (H)^* $ 在确保谱的离散性与稳定性方面起何作用？

主要发现

• 在强制性估计 $ (H) $ 与 $ (H)^* $ 成立的条件下，$ G_b $ 在开左半平面 $ \operatorname{Re} z < 0 $ 内的谱仅由有限重数的孤立特征值构成。
• 当轮廓上不包含特征值时，谱投影算子 $ \frac{1}{2\pi i} \oint_{|z - \hat{z}| = r} (z - G_b)^{-1} \, dz $ 关于扰动连续依赖。
• 一个特征值在扰动后可能分裂为有限个点，其数量受谱投影算子有限秩的限制。
• 对于具有严格耗散边界条件的麦克斯韦方程组，其离散谱在小扰动下保持稳定。
• 证明依赖于通过截断技术获得的近似特征函数列的预紧性，以及利用基本解反演 $ z^2 - \Delta $。
• 该结果可推广至满足条件 $ (E) $ 的系统，其中 $ \operatorname{div} u = 0 $ 被 $ Qu = 0 $ 取代，且使用 $ z^2 - G^2 + Q^*Q $ 的基本解。