Laplace方程的无穷维Hamilton算子特征函数系的完备性

把Laplace方程的一类边值问题应用矩阵多元多项式的带余除法化为Hamilton正则方程组,由Hamilton正则方程组导出无穷维Hamilton算子,并计算出此Hamilton算子的所有特征值及相应的特征函数系,结合辛正交系的性质,证明了该特征函数系在L2[0,1]×L2[0,1]中在Cauchy主值意义下是完备的,同时在Abel意义下也完备.     

椭圆型方程哈密顿本征解的完备性

椭圆型偏微分方程导向哈密顿对偶方程而分离变量,将导致哈密顿算子矩阵的本征值问题.以端部影响函数为核的积分方程的本征解为基底,采用有限维半解析法,再导出对偶微分方程,及其Riccati代数方程,给出半无限区段的最小总势能.采用哈密顿型的本征解展开法求解之.将有限维的结果取极限,从而证明偏微分方程本征向量函数的完备性定理.     

发展型哈密顿核积分方程

对于哈密顿体系的偏微分方程分离变量，导致哈密顿型微分程及本征值问题，再导向哈密顿核的积分方程。证明了其本征向量的共轭辛正交归一关系。采用层叠核与积分方程泛函取最大值的变分原理，给出了辛本征向量展开式，并证明其完备性定理。     

任意辛结构下刘维方程的协变描述

任意保守的力学系统,它的任何运动常数能够用来作为哈密顿量。最近的一些研究中,任意辛结构下的量子力学和约束哈密顿系统得到了描述。在这里把它推广到刘维方程,得到了同正则形式下一致的刘维定理。     

矩形中厚板屈曲问题Hamilton算子本征函数系的完备性

研究各向同性矩形中厚板的屈曲问题。首先将各向同性矩形中厚板的控制方程组转化为Hamilton系统,然后应用Hamilton体系的分离变量方法得到对边简支条件下对应的Hamilton算子的本征值及本征函数系,并通过符号运算证明了该本征函数系的辛正交性和Cauchy主值意义下的完备性,进而得到各向同性对边简支矩形中厚板屈曲问题的通解。最后通过具体算例,结合通解与另外两侧边的边界条件,得到了四边简支矩形中厚板屈曲问题的屈曲荷载因子。     

非线性Schr(o)dinger方程的辛算法

给出了非线性Schrodinger方程的二阶Euler中点格式、四阶Euler中点格式、二阶蛙跳格式和四阶蛙跳格式，并且作了数值实验验证这些格式的可行性并比较其误差．并且对同样截断误差阶的一种辛格式和一种非辛的差分格式进行比较．我们选取二阶蛙跳格式和二阶两层格式作了数值实验并对它们的运行结果作了比较．发现辛算法比同样截断误差的非辛算法误差小，时间越长优势越明显．     

非线性Schrdinger方程的辛算法

给出了非线性Schrdinger方程的二阶Euler中点格式、四阶Euler中点格式、二阶蛙跳格式和四阶蛙跳格式,并且作了数值实验验证这些格式的可行性并比较其误差.并且对同样截断误差阶的一种辛格式和一种非辛的差分格式进行比较.我们选取二阶蛙跳格式和二阶两层格式作了数值实验并对它们的运行结果作了比较.发现辛算法比同样截断误差的非辛算法误差小,时间越长优势越明显.     

C[0,1]上完备的三角形正交函数系

基于W alsh函数,建立一个新的函数系T n n∈N.它是一个分段线性函数序列,在0,1的子区间上其函数图像呈现三角形。并且证明了它是C[0,1]上一个完备的正交函数系。在此函数系上展成的Fourier级数有许多与三角Fourier级数相似的性质,三角形Fourier级数的部分和在作为函数的逼近工具时确实要比三角Fourier级数优越一些。     

随机正交辛阵的性质和构造方法

分析讨论了正交辛矩阵的性质；研究了现有两种构造随机正交辛矩阵算法的特点；给出了一种构造完全随机的正交辛矩阵的数值实现方法，该完全随机的正交辛矩阵在求解Hamilton矩阵的保结构算法的数值试验中有重要用途。     

弹性介质Hamilton正则方程与声波方程辛几何算法

建立弹性介质的Hamilton正则方程,把声波介质视为特殊的弹性介质,由弹性介质Hamilton方程导出声波介质地震波方程,对声波方程Hamilton化后给出其蛙跳格式的辛差分算法。将声波方程辛算法应用于二维情况下的地震波场正演数值模拟计算,并与常规的有限差分算法进行比较。结果表明,在地震波场正演数值模拟计算中辛几何算法比常规有限差分算法更具优越性。     

形式系统的语义完全性与语法完全性之间的一些关系

形式系统的完全性体现了形式系统的整体性能,它包括语义完全性和语法完全性两个方面,两者没有直接关系。通过强完全性概念研究两种完全性之间的关系,证明了以下结果:一个强完全的形式系统,若具有可靠性,则形式系统一定语义完全;若一个扩张系统是强完全的,则原系统一定强完全;若形式系统是古典完全的则必定强完全。     

波传播问题的半解析有限元辛型算法

波动方程的哈密顿形式是无穷维哈密顿系统，本文用有限无限元法进行离散化，能够适用于任意的边界条件；给出一个半解析有很元法，它是辛型算法。数值算例实它是有效的。     

关于特殊辛Householder变换和特殊辛Givens变换算法

对辛QR算法（SR算法）的不稳定性提出了一种改进措施,并对该措施使用的特殊辛Householder变换和特殊辛Givens变换矩阵的性质进行了研究,进而提出了这两种特殊辛相拟变换中相应的旋转角的选取策略和实现这些措施所对应的算法,使用这一改进措施,可以建立各种修正辛QR算法。     

Hamilton弹性动力学及其辛算法--一个新学科研究的进展

概述了作最近在Hamilton弹性动力学及其辛算法方面所取得的一些原创性的重要研究成果。     

四边任意支承条件下弹性矩形厚板辛几何法解析解

利用辛几何法推导出了四边任意支承条件下矩形厚板弯曲的解析解.在分析过程中首先把弹性厚板弯曲问题的简化方程表示为H am ilton正则方程,然后利用辛几何法对全状态相变量进行分离变量,求出其本征值后,再按本征函数展开的方法求出四边任意支承条件下矩形厚板弯曲的解析解.由于在求解过程中不需要事先人为选取挠度函数,而是从厚板弯曲的基本方程出发,直接利用数学的方法求出可以完全满足其边界条件的解析解,使得这类问题的求解更加合理.计算实例验证了所采用的方法以及所推导出公式的正确性.     

哈密尔顿阵本征向量辛正交的物理意义

The physical interpretation of the adjoint symplectic orthogonality between the eigenvectors of a Hamiltonian matrix is shown to correspond to the well-known Betti reciprocal theorem.