正倒向随机微分方程与一类线性二次随机最优控制问题

讨论一类正倒向随机微分方程解的存在唯一性及其对应的一类线性二次随机最优控制 问题,利用单调性方法证明了一类特殊的正倒向随机微分方程解的存在唯一性定理,利用该结果 研究一类耦合了一个倒向随机微分方程的线性随机控制系统广义最优指标随机控制问题,得到 由正倒向随机微分方程的解所表示的唯一最优控制的显式表达式,并得到精确的线性反馈及其 对应的Riccati方程.     

n阶常微分方程三点边值问题解的存在性、唯一性

利用献[1]的献[2]中的“solution-matching”方法探讨了n阶常微分方程三点边值问题解的存在性和唯一性,推广了献[1]和献[2]中的结果。     

(2+1)维KD方程的解及分岔行为

通过行波变换,将非线性偏微分方程化为常微分方程,利用辅助常微分方程的解来构造偏微分方程的精确解,获得了(2+1)维Konopelchenko-Dubrovsky方程的孤波解和周期解.然后直接研究变换以后的常微分方程,揭示该方程控制的动力系统的鞍结分岔行为,画出了系统的分岔图.     

几个非线性偏微分方程的非古典对称及相似解

研究了一些非线性偏微分方程的非古典势对称和非古典对称,得到了某些方程的新的势对称和新的对称,同时也得到了其伴随系统的新的对称,并求出了一些相似解．这些解对进一步研究这些非线性偏微分方程所描述的物理现象具有广泛的应用价值．     

综合距离特性选择问题解的存在性与唯一性

本文主要讨论综合距离特征选择解的存在性与唯一性问题，其中主要包括两个基本定量，即存在性定理与唯一性定理，它们有助于我们对解的性质有一个完整的理解。由于在极大多数情况一，综合距离特征选择的解并不是唯一的，因此在计算时我们最好给出多种初值，对其相应的结果进行比较，来决定其中最满意的结果。     

广义非线性系统解的一致最终有界性研究*

首先利用隐函数定理及常规的非线性系统解地存在唯一性定理,给出了广义非线性系统解的存在唯一性条件,然后利用标量和Ｌｙａｐｕｎｏｖ函数方法,从系统本身出发,研究了广义非线性系统解的一致最终有界性。     

常微分方程初值问题异步并行向前数值积分方法

本文给出一类适合在MIMD并行计算机系统上运行的数值求解常微分方程初值问题的向前步方法。在计算过程中,该方法不需要进行异步迭代。文中给出方法的构造格式、精度和数值稳定性分析,并给出算法在串行计算机上的模拟方法及在VAX-11/780上的模拟算例。     

Burgers方程的精确解

引入一个变换,将二阶非线性偏微分方程—Burgers方程降阶为一阶的非线性方程,再直接求解该方程,得出了Burgers方程精确解的新形式,并与已有结果完全吻合.这种方法也适合于求解其他非线性偏微分方程.     

基于四阶偏微分方程的光滑曲面重构方法

常用的基于散点的曲面重构方法如克里金插值法、样条曲面拟合法等存在计算量大、重构曲面不光滑或无法插值已知散点等问题。为此,提出一种基于四阶偏微分方程的曲面重构方法。该方法首先选择一个四阶偏微分方程,并对其构建差分格式,进而分析该差分格式的稳定性和收敛性。在稳定性和收敛性条件下,采用演化的思想,通过有限差分法迭代求解偏微分方程的数值解,并将其稳态解作为原始曲面的逼近。以地质勘探中实际测井数据为例,采用偏微分方程曲面造型方法重构地质曲面,结果表明,该方法计算简便,构造的曲面具有自然光顺性且可以插值于已知散点。     

带有随机跳跃干扰的线性二次随机最优控制问题

给出一类布朗运动和泊松过程混合驱动的正倒向随机微分方程解的存在唯一性结果, 应用这一结果研究带有随机跳跃干扰的线性二次随机最优控制问题,并得到最优控制的显式形 式,可以证明最优控制是唯一的.然后,引入和研究一类推广的黎卡提方程系统,讨论该方程系统 的可解性并由该方程的解得到带有随机跳跃干扰的线性二次随机最优控制问题最优的线性反馈.     

周期黎卡提微分方程正定解的存在性

讨论了标准的周期黎卡提微分方程,给出了其存在埃尔米特周期正定（HPPD）解的一个完整的充分必要条件。准确地说,在经过一个适当的状态空间基底变换后该条件通过能稳性和能检测性概念表述。结果表明,当HP－PD解存在时,它或者是唯一的,或者有无限多个。这一结果可以看作是Richardson和Kwong的结果对周期时变情况的扩展。     

具有纹理保持能力的四阶偏微分方程去噪方法

虽然四阶偏微分方程图像去噪方法能得到较好的分段光滑的结果,但这类方法常破坏图像的纹理信息。提出了一种具有保持图像纹理信息能力的四阶偏微分方程去噪模型。利用垂直于梯度方向的图像二阶导数设计了一种新的代价函数。证明了该函数解的存在性与唯一性并给出了其对应的Euler-Lagrange方程。在实验方面,用大量真实的纹理图像验证了新方法。实验结果表明,新方法在去噪的同时图像的边缘与细节得到了较好的保持。     

基于ELM算法的Chebyshev神经网络在常微分方程数值解中的应用

提出了一种快速的、新颖的、高精度的用于求解常微分方程数值解的方法:考虑了极限学习机(ELM)算法对参数调整的简便性和适合单层网络的特点,结合Chebyshev多项式的正交特性带来的少参数而高逼近的作用。该联合算法只需要少量的神经元和单层的神经网络,再通过最小二乘法,解出矩阵广义逆进行参数调整便可获得具有较高精度且无穷可微的常微分方程数值解。     

年龄相关的种群空间扩散系统的广义解与收获控制

研究了由积分偏微分方程描述的年龄相关的种群空间扩散系统的收获控制问题.首先利用不动点方法证明了对于有界死亡率μ的系统广义解的存在性,但这是预备的结果.进一步,运用上述结果、先验估计和紧性定理,证明了对于在r=A附近无界的μ的系统解的存在惟一性.其次,利用类似方法得到系统最优收获控制的存在性.最后,利用G^ateax微分和Lions的变分不等式理论,推得了控制为最优的必要条件;从而得到了由积分偏微分方程和变分不等式构成的最优性组.最优性组能够确定最优控制.还建立了表征最优控制的Euler_Lagrange组.这些结果可为种群系统控制问题的实际研究作为理论参考.     

综合距离特征选择问题解的存在性与唯一性

本文主要讨论综合距离特征选择解的存在性与唯一性问题。其中主要包括两个基本定理,即存在性定理与唯一性定理。它们有助于我们对解的性质有一个完整的理解。由于在极大多数情况下,综合距离特征选择的解并不是唯一的,因此在计算时我们最好给出多种初值,对其相应的结果进行比较,来决定其中最满意的结果。     

求一类非线性偏微分方程精确解的简化试探函数法

利用试探函数法,将一个难于求解的非线性偏微分方程化为一个易于求解的代数方程,然后用待定系数法确定相应的常数,简洁地求得了一类非线性偏微分方程的精确解．将此方法应用到Burgers方程、KdV方程和KdV—Burgers方程,所得结果与已有结果完全吻合．本方法可望进一步推广用于求解其它非线性偏微分方程．     

有限元数值解法在MATLAB中的实现及可视化

偏微分方程的数值解法在数值分析中占有很重要的地位,很多科学技术问题的数值计算包括了偏微分方程的数值解问题。在学习初等函数时,总是先画出它们的图形,因为图形能帮助我们了解函数的性质。而对于偏微分方程,画出它们的图形并不容易,尤其是没有解析解的偏微分方程,画图就显得更加不容易了。为了从偏微分方程的数学表达式中看出其所表达的图形、函数值与自变量之间的关系,通过MATLAB编程,用有限元数值解法求解了偏微分方程,并将其结果可视化。     

用偏微分方程数值解构造光滑三边面

构造光滑三边面，在ＣＡＤ研究中一直十分活跃，用偏微分方程（ＰＤＥ）构造曲面，是新颖的曲面造型方法；本文用偏微分方程数值解构造光滑三边面，采用数值积分法推导ＧＣ０及ＧＣ１三边面ＰＤＥ差分格式并给出了算法，这种曲面造型方法可以构造满足复杂约束条件的复杂曲面及应用曲面补洞等．     

基于LS-SVM方法求高阶线性ODE近似解

对于线性常微分方程,解析解方便定性分析和实际应用,然而大多数微分方程没有解析解。回归的方法被应用获取近似解析解,其中最小二乘支持向量机（LS-SVM）是目前为止最好的方法。但是该方法不仅需要对核函数求高阶导数而且需要求解一个大的线性方程组。为此,把高阶线性常微分方程转化为一阶线性常微分方程组,构建含有一阶导数形式的LS-SVM回归模型。该模型利用最小化误差函数去获得合适的参数,最终通过求解三个小的线性方程组获得高精度的近似解（连续、可微）。实验结果验证了该方法的有效性。     

偏微分方程的MATLAB数值解法及可视化

偏微分方程的数值解法在数值分析中占有很重要的地位,很多科学技术问题的数值计算包括了偏微分方程的数值解问题。在学习初等函数时,总是先画出它们的图形,因为图形能帮助了解函数的性质。而对于偏微分方程,画出它们的图形并不容易,尤其是没有解析解的偏微分方程,画图就显得更加不容易了。为了从偏微分方程的数学表达式中看出其所表达的图形、函数值与自变量之间的关系,通过MATLAB编程,数值求解了泊松方程,并将其结果可视化,给出了解析解与数值解的误差。