在再生核空间中带有积分边值条件的分数阶偏微分方程的近似解

给出一种新方法求解分数阶微分方程,通过建立相应的映射得到一个快速收敛的高精度解．     

非线性方程组重根的可信验证方法

利用区间算法及边界矩阵理论, 研究非线性方程组重根的可信性验证方法. 提出一种可信验证算法, 该算法输出一个近似解及其相应的误差界, 使得在近似解的误差界范围内必存在一个精确解.     

一类具有变指数伪抛物型方程解的存在唯一性

考虑一类具有变指数伪抛物型方程的第一初边值问题. 对于一般光滑区域Ω, 先通过Galerkin方法构造问题的逼近解, 然后在参数满足一定条件下利用能量估计方法得到逼近解的一致性先验估计, 进而证明该类问题弱解的存在唯一性.     

半线性抛物系统的逼近能控性

考虑了半线性抛物系统的逼近能控性问题,其中控制是加在系统中的一个方程上．所用的技巧主要是建立在线性抛物系统的唯一连续性和不动点方法的基础上．     

修正后的N-S方程研究微流动的稳定性

研究了克努森数不是特别大的微流动的稳定性,这种流动处于N-S方程适用的临界处。考虑到壁面对流体的作用力,修正流体的黏性系数,然后用修正后的N-S方程研究微流动的稳定性。类比于势能的幂函数衰减形式,本文也定义了一个黏性系数的幂次衰减模型并讨论了模型参数对稳定性的影响。用切比雪夫配置点法解模型中的微分方程,用QR法分析流动的稳定性。在所研究的流动尺度内,受壁面的影响,失稳雷诺数减小。从速度分布图上看,出现了拐点,这种拐点越明显,流动越容易失稳。     

一类分数阶微分方程三点边值问题正解的存在性

利用锥不动点指数理论,研究一类非线性分数阶微分方程的三点边值问题,获得至少存在一个正解的充分条件。由此推广了整数阶微分方程的相应结果。     

基于非线性偏微分方程的图像着色

考虑到连通性原理和各向异性扩散,改进提出了新颖的非线性偏微分方程模型,改进的算法满足了视觉连通性原理,对图像中的细节也有较好的修复.     

两类非线性发展方程的新精确解

利用扩展的(G′/G)方法,得到广义的Ostrovsky方程、Levi方程组的一些新的精确解,包括双曲函数解,三角函数解,有理函数解等.     

二维泊松方程非均匀网格上的高精度紧致差分格式

提出了数值求解二维泊松方程基于非均匀网格的高阶紧致差分格式,通过选取合适的网格分布参数求解具有边界层的数值算例,空间可以达到四阶精度.并与均匀网格上的计算结果进行比较,充分验证了本文非均匀网格高精度紧致格式的精确性和优越性.     

二阶退化双曲型方程的第二类广义Darboux问题

A.V.Bitsadze在文[1]中提出和研究了二阶一致线性双曲型方程uxx-uyy+aux+by+cu+d=0(A)的第一类和第二类Darboux问题.本文的目的是讨论二阶退化双曲型方程第二类广义Darboux问题和斜微商问题解的表示式,并证明这些问题解的存在唯一性。本文使用不同于[1]中的方法,但类似于[1]中的方程(A),根据本文中的结果,我们可以解决广义Chaplygin方程在一般区域上的Frankl问题.