微分方程奇异摄动边界层问题的数值逼近解

通过对抛物型偏微分方程和一阶双曲型偏微分方程奇异摄动问题的讨论,提出了在使边界层的特性不至于丧失的前提下的边界层格式.对一类在Ω1和Ω2上的抛物型奇异摄动的初、边值问题进行了进一步研究,利用渐近方法、差分方法和常微分方程的二点边值问题的方法,求得了偏微分方程边界层问题的数值解.得到了当步长可取中等大小,h→0,τ→0,ε→0时,且当自由项函数和初、边值条件函数均为给定的充分光滑的函数,含有小参数ε(0<ε(＜＜)1)的一类偏微分方程奇异摄动问题的一致数值逼近解.并将此结论应用于实际问题中.     

反周期微分包含受控系统的最优控制

本文首先证明了Hilbert空间中一类微分包含的反周期解的存在唯一性,进而得到了相应的Langrange最优控制存在的充分条件。最后将得到的理论结果应用于证明一类非线性偏微分方程反周期问题及相应的最优控制问题的存在性。     

算子cosine函数族与二阶发展方程的初值问题

讨论了定度域在ＲＨｎ（）上的广义微分算子生成的正则算子ｃｏｓｉｎｅ函数，并将其结果应用于讨论发展方程，给出了一类二阶发展偏微分方程Ｃａｕｃｈｙ问题的解     

一类HJB方程的上解和下解

HJB方程已被广泛应用于工程和经济中,对其数值解的理论研究是偏微分方程数值解领域中重要课题之一.本文给出了一类离散HJB方程的上解和下解的概念,研究了它们的性质.     

亚式期权在跳扩散模型中的定价

研究了一类跳扩散模型中亚式期权的定价问题,得到了关于算术平均亚式期权的一个简单而统一的算法,并 用偏微分方程的技巧将其定价问题归结为一个与路径依赖量无关的一维积分-微分方程的求解问题.     

求解一类偏微分方程的新算法

在再生核空间中讨论一类偏微分方程的求解问题.通过构造一组完全规范正交函数系,得到偏微分方程的精确解的级数表达式.截断级数得到偏微分方程的近似解.近似解一致收敛于精确解,且近似解的导数一致收敛于精确解的导数.数值结果表明该方法是有效的.     

偶数阶拟线性中立型偏微分方程系统的振动性

研究偶数阶拟线性中立偏微分方程系统的振动性问题,获得了一类偶数阶拟线性偏泛函微分方程系统振动的若干充分条件.     

构造一类场矢量并矢格林函数的方法

对一类广义矢量偏微分方程提出一种新的角法，将一类广义矢量偏微分方程分解成无旋和无散两部分，借助于Bohren分解法，应用矩量法导出了用通常的Hanson矢量波函数表示的一类广义矢量偏微分方程的并矢格林函数的普遍形式，应用这一方法可使一类广义场矢量问题的求解得以普遍解决。     

半群和线性时滞偏微分方程

证明了一类线性时滞偏微分方程的mild解与相应的抽象柯西问题的mild解一一对应,并且给出了此类线性时滞偏微分方程的mild解存在唯一的充要条件.     

一类微分算子生成的半群与发展方程初值问题的解

本文首先给出并讨论了一类广义微分算子A_(2k)=(-1)~(k-1)D~(2k);(A_(2k-1)=(-1)~(k-1)D~(2k-1))在定义域H~(2k)(H~(2k 1)))上生成的强连续半群.讨论了算子及其生成半群的自伴性,谱性,并将其应用于发展方程Cauchy问题,给出了一类线性偏微分方程的解.     

关于多项式综合除法的推广应用

多项式是现代数学最重要的概念和工具之一，所谓多项式长除法就是多项式与多项式做类似于数与数的除法，其在求多项式因式分解、求多项式切线、求积分、求导、求解微分方程及线性代数中的求逆等问题中有着广泛应用。长除法的计算虽然不需要任何技巧，但其计算过程非常冗长。为了简化多项式长除法的运算过程，使其在实际运用中更容易操作，本文在多项式综合除法的基础上，对多项式长除法进行探讨，并推出一种多项式除法，称为短除法。     

构造一类偏微分方程组通解的机械化方法及力学方程的自动推理

用微分代数的观点，把标准型算法和矩阵多元多项式的带余除法相结合，获得构造一类微分方程组的通解的新方法，并在标准型算法的基础上给出了力学方程的推理的机械化方法。     

一类高阶椭圆型方程特征值的多项式特解法

通过给出一种求解高阶椭圆型偏微分方程特征值的多项式特解法,使用多项式特解作为基函数对2阶、4阶、6阶和8阶椭圆型偏微分方程进行求解,同时采用多尺度技巧降低系数矩阵的条件数,得到了稳定的数值解.数值算例表明该算法在求解高阶偏微分方程特征值问题时具有精度高、效果好等方面的优越性,进一步证明了多项式特解法具有较高的精度和良好...     

多项式乘除法的矩阵实现

矩阵是线性代数中的一个很重要的概念,矩阵一切的深刻性质和重要应用都源自于矩阵的乘法.该文首先引进了一个多项式系数矩阵的概念,然后巧妙地将多项式的乘法转变为矩阵乘法的运算,得到了一个定理,步骤清晰,计算简单.与此同时,对多项式的除法在一定条件下也作了较为深入的分析,获得了类似的结论,同样在计算上带来了很大的方便.     

体上矩阵的减序及其性质

定义了体上矩阵减序,将减序推广到任意有单位元的环上矩阵,并对其性质作了一个简明的讨论.应用体上矩阵理论,证明了体上矩阵减序的5个充要条件.     

Legendre变换的机械化求法

把Lagrange方程和Hamilton方程组写成矩阵形式，其系数矩阵的元素是非线性的微分算子．参考矩阵多元多项式的带余除法的方法把微分算子的矩阵转化成以多项式为元素的矩阵，应用待定系数法通过Mathematica机械性计算得到了含有可变参数的一类变换，其中当参数取零时，它就是Legendre变换．经证明，这一类变换当参数不为零时，应用该变换，也可把n=1时的Lagrange方程导向Hamilton正则方程组，并初步讨论了n维的情况．这是数学机械化的方法在分析力学的非线性理论问题中的一次具体实现。     

升幂与降幂综合除法在线性控制系统中的应用

给出多项式的两种新的综合除法——升幂与降幂综合除法,以及在线性控制系统中的一些应用,并将这两种综合除法都推广到多项式矩阵中.     

二次多项式微分系统的反射函数与周期解

采用反射函数法研究了二次多项式微分系统的反射函数与周期解,并对此系统所化的常微分系统对应的常系数矩阵的几种特殊形式进行讨论,得出了该非线性系统周期解的个数的简单且易验算的判定定理.     

关于矩阵多项式环的理想

讨论了矩阵多项式环的单位、理想等方面的性质,并通过引入矩阵多项式的次数的概念,得到了相应的带余除法定理.     

用F展开法解Sine-Gordon方程

用未知函数的变换将Sine—Gordon方程变换成新未知函数及其偏导数为变元的多项式型的非线性偏微分方程。这个偏微分方程可用F展开法求解。因这里的F代表每一个Jacobi椭圆函数，所以F展开法可看作是Jacobi椭圆函数展开方法的概括惑浓缩，并不需要计算Jacobi椭圆函数，我们得到Sine-Gordon方程的10种借Jacobi椭圆函数和双曲函数表示的精确解。