二维等谱问题研究的计算数学框架  

FRAMEWORK OF COMPUTATIONAL MATHEMATICS ON 2-D PDE ISO-SPECTRAL PROBLEMS

作　　者：孙家昶[1] 张娅[1] 

机构地区：[1]中国科学院软件研究所并行软件与计算科学实验室,北京100190

出　　处：《计算数学》2017年第3期229-286,共58页Mathematica Numerica Sinica

基　　金：国家重点研发计划高性能计算重点专项(2016YFB0200601);国家自然科学基金(91530323;91230109);国家自然科学基金青年基金(11301507)资助

摘　　要：等谱问题是数学、物理诸学科关注的一个热点问题,本文总结并诠释了二维等谱问题的内在计算数学性质与规律:利用镜像反演讨论等谱对的几何结构(不等距而谱相等);把一般文献中假定的特殊三角形扩展到一般的三角形或者矩形;研究特征函数的正交结构,把特定的Laplace等谱问题扩展到一般零边值的二阶线性椭圆算子等谱问题.指出合理的粗网格对于研究等谱问题及其计算的重要性:两个连续问题等谱成立的充分必要条件是存在自然粗网格使其离散问题谱相等.文中给出的数值例子与特征值近似逼近验证了相应的结论,所用的方法原则上可用于研究三维乃至高维的PDE等谱问题.problem is one of hot topics in mathematics and physics research. W＇e summarize and interpret the intrinsic computational mathematical properties of the 2-D iso-spectral problems： the geometric structure of iso-spectral pair is discussed by using mir- ror inversion （not iso-metric but iso-spectral）; the special triangles assumed in the general literature are extended to the general triangles or rectangles; the orthogonal structure of the eigenfunctions is studied, and the specific Laplace iso-spectral problem is extended to the 2-nd order linear elliptic operator. This paper points out the importance of rational coarse grids for the study of iso-spectral problems： the sufficient and necessary condition for the consecutive iso-spectral problems is that the spectrums of discrete problem with natu- ral coarse grids are equal. The numerical examples and the approximate approximation of eigenvalues verify the conclusion of this paper. The approach can be used to study 3-D even high dimension PDE iso-spectral problems.

关 键 词：PDE特征值问题 节点线 等谱问题 镜像反演 结构化网格 移植矩阵 

分 类 号：O241.8[理学—计算数学]