[论文解读] Low Frequency Asymptotics for Time-Harmonic Generalized Maxwell Equations in Nonsmooth Exterior Domains

Dirk Pauly|arXiv (Cornell University)|May 20, 2011

Numerical methods in inverse problems参考文献 36被引用 7

一句话总结

该论文研究了在具有变系数和各向异性、在无穷远处衰减的非光滑外部区域中，时间谐和平面广义麦克斯韦方程的低频渐近行为。通过极限吸收原理与弗雷德霍姆理论，证明了特征值在零处不会发生累积，并展示了当频率趋于零时，时间谐和平面解收敛于静电-静磁解，该结果推广至非齐次边界条件的情形。

ABSTRACT

We discuss the radiation problem of total reflection for a time-harmonic generalized Maxwell system in a non-smooth exterior domain with non-smooth inhomogeneous, anisotropic coefficients converging near infinity with a certain rate towards the identity. By means of the limiting absorption principle, a Fredholm alternative holds true and the eigensolutions decay polynomially resp. exponentially at infinity. We prove that the corresponding eigenvalues do not accumulate even at zero. Next, we show the convergence of the time-harmonic solutions to a solution of an electro-magneto static Maxwell system as the frequency tends to zero. Finally we are able to generalize these results easily to the corresponding Maxwell system with inhomogeneous boundary data. This paper is thought of as the first and introductory one in a series of three papers, which will completely discuss the low frequency behavior of the solutions of the time-harmonic Maxwell equations.

研究动机与目标

• 分析时间谐和平面广义麦克斯韦方程在非光滑外部区域中的低频行为。
• 建立时间谐和平面系统特征值在零处无谱累积的结论。
• 证明当频率趋于零时，时间谐和平面解收敛于静电-静磁解。
• 将渐近结果推广至具有非齐次边界条件的系统。
• 为一系列三篇论文中关于时间谐和平面麦克斯韦系统低频行为的研究奠定基础。

提出的方法

• 应用极限吸收原理，以确保时间谐和平面问题满足弗雷德霍姆交替条件。
• 利用加权索伯列夫空间与迹理论，处理非光滑边界和变系数问题。
• 采用霍奇分解与势论方法，将解分解为静态与辐射分量。
• 在加权索伯列夫空间中应用紧致性论证与收敛定理，分析频率 → 0 时的极限行为。
• 将静态问题公式化为极限情形，并在加权索伯列夫范数下显式证明收敛性。
• 通过迹算子将解分解为静态部分（由边界数据决定）与动态部分（由源项决定），将结果推广至非齐次边界条件。

实验结果

研究问题

• RQ1 在非光滑外部区域中，时间谐和平面广义麦克斯韦系统的特征值是否在零处发生累积？
• RQ2 在具有变系数和各向异性系数的区域中，当频率趋于零时，时间谐和平面解的行为如何？
• RQ3 时间谐和平面解的极限行为能否被表征为静电-静磁问题的解？
• RQ4 非齐次边界条件的存在如何影响低频渐近行为？
• RQ5 极限吸收原理在确保本问题中的适定性与收敛性方面起到何种作用？

主要发现

• 即使在非光滑边界和变系数存在的情况下，时间谐和平面广义麦克斯韦系统的特征值也不会在零处发生累积。
• 时间谐和平面问题的解在无穷远处呈多项式或指数衰减，具体取决于谱性质。
• 当频率 ω → 0 时，时间谐和平面解 (Eₘ, Hₘ) 在加权索伯列夫空间中收敛于对应静电-静磁问题的唯一解 (E, H)。
• 收敛性在 ⋂_{t̃<t} (R̃ₜ̃^q ∩ ε⁻¹D̃ₜ̃^q) × (μ⁻¹R̃ₜ̃^{q+1} ∩ D̃ₜ̃^{q+1}) 的拓扑结构下成立，对所有 t̃ < t 成立。
• 只要数据序列适当收敛，渐近极限与特定频率序列 ωₘ → 0 无关。
• 通过将解分解为静态部分（由边界数据决定）与动态部分（由源项决定），结果可推广至非齐次边界条件。