一阶非线性时标动态方程的Hyers-Ulam-Rassias稳定性

利用Picard算子和动态不等式,探讨了一类形式更普遍的一阶非线性时标动态方程的Hyers-Ulam-Rassias稳定性,并且提供三个例子说明这些结论的应用.

常微分方程欧拉折线法的Picard迭代改进

考虑常微分方程数值解法,对欧拉折线法加以改进。主要方法是,对每个节点处局部线性近似解进行一次Picard迭代修正,用局部修正解估算下一节点处解值。证明了算法局部截断误差比欧拉折线法高一阶,分析了算法的收敛性与稳定性。通过方程实例数值计算进一步验证了本文算法所得近似解比欧拉折线法近似解更接近精确解。

SL(3,C)中一类子群的可解群的结构与Fuchs方程的可积性

给出了SL(3,C)的一类子群中具有两个生成元的可解群的结构,并应用于方程w'''-λρ(z)w'=0.对此方程,由Fuchs方程的单值群的可解性与其可积性的关系,得到了几个结果.

一类迭代微分方程的Picard型定理

给出一类迭代微分方程的Picard型的存在唯一性定理.

解析Fuchs型拟微分方程的局部正则解

本文证明了:在关于特征根满足某些条件下,下列Fuchs型拟微分方程在t=0附近有局部解析解。为此,本文较仔细地讨论了解算子在某些函数空间中的性质。

一类Fuchs型方程的椭圆正则性定理

本文研究了一类锥Sobolev空间上的Fuchs型方程的解的性态,利用Bony的仿微分算子理论的方法,运用仿积、仿复合、仿线性化等工具,并结合Mellin象征的性质,得到了此类方程的椭圆正则性定理.推广了在经典Sobolev空间中的椭圆正则性结果.

基于Picard迭代的PN×PN-2谱元法求解定常不可压缩Navier-Stokes方程

该文给出了一种求解二维定常不可压缩Navier-Stokes方程的基于Picard线性化迭代的PN×PN-2谱元法.通过Picard线性化将不可压缩Navier-Stokes方程的求解转化为一系列线性的Stokes-type方程,再利用非交错网格的P N×PN-2谱元法计算每个迭代步的Stokes-type方程.为了消除伪压力模,压力离散比速度离散低两阶,非交错网格的应用使得方程的离散方便且不会带来相应的插值误差,从而保证了谱精度.通过此方法数值计算了有精确解的Stokes流动、Kovasznay流动和方腔顶盖驱动流,结果表明,迭代收敛非常快,误差收敛达到了谱精度收敛,并且避免了压力震荡的出现,表明了该文方法准确可靠.

一类具算子系数的Fuchs型偏微分方程的H_■解

本文讨论了一类具算子系数的Fuchs型偏微分方程(0.1)在函数类(ψ(t;λ)为含复参数入变量t的在原点附近的解析函数)中解的存在性。结果表明:任何复数都可作为方程(0.1)的特征根,从而进一步揭露了具算子系数的Fuchs型偏微分方程的本质属性。

Picard逐次逼近法在微分方程中的应用

逐次逼近法在微分方程的求解过程中应用非常广范。证明了Picard逐次逼近法是求解常微分方程的一种有效方法，并给出了Picard逐次逼近法的应用实例。

关于某些Fuchs型方程平坦解的唯一性

本文研究某些类型的Fuchs型方程平坦解的唯一性。首先证明了一个一阶Fuchs型拟微分算子的Carleman估计,然后用经典的方法,证明了一类一阶,二阶Fuchs型方程解的唯一性,并且对t-对合的高阶方程得到了类似的唯一性结果。

基于常微分方程中迭代数值解法的剖析——以Picard方法为例

常微分方程是解决实际问题的重要工具,生活中有很多具体问题的本质依赖于微分方程。然而理论研究中存在太多常微分方程无法求出解析解,这时利用数值方法求出其高精度解就显得格外重要。Picard迭代序列便是常微分方程定性理论中一类非常重要的迭代序列,以下将利用这种序列,结合龙贝格数值积分法对一类常微分方程进行数值求解,并用MATLAB进行传统方法的求解精度比对,从而凸显这种求解方法的重要地位。

分数阶微分方程的二维三尺度第3类Chebyshev小波法

为了求解一类非线性分数阶微分方程,基于二维三尺度第3类Chebyshev小波,提出了的一个数值解法。首先,构造了标准正交的三尺度第3类Chebyshev小波,通过叉乘,得到了标准正交的二维三尺度第3类Chebyshev小波。其次,基于平移的第3类Chebyshev多项式,借助Laplace变换,推导出了三尺度第3类Chebyshev小波的Riemann-Liouville分数阶积分公式,并给出了二维三尺度第3类Chebyshev小波展开在L2范数意义下的一致收敛性分析和误差估计。最后,利用小波积分公式,结合Picard迭代和有效的配置法,将非线性分数阶微分方程离散为代数方程组问题求解。数值算例说明了该方法的有效性和高精度性。

求解大型广义绝对值方程的Picard-SS迭代法

将Shift分裂迭代法作为Picard迭代法的内迭代求解器,构造了求解大规模广义绝对值方程的Picard-SS迭代法,并且详细讨论了该方法的收敛性。数值算例表明,Picard-SS迭代法在内外迭代步数和CPU时间方面都比现存迭代法更加有效。

一类分数阶微分方程初值问题解的存在唯一性

分数阶微积分在数学和工程方面已经成为人们特别熟知的概念,其是整数阶微积分的推广。分数阶微积分有好多种形式,譬如,Riemann-Liouville、Caputo分数阶微积分,带有一个函数的分数阶微积分是Riemann-Liouville分数阶微积分的推广形式。在本文中,基于带有一个函数的分数阶微积分的基本性质和Picard迭代方法,我们将讨论一类以带有一个函数的分数阶导数表示的微分方程初值问题解的存在唯一性。同时通过本文的研究,我们不仅将Picard迭代法应用于一类以带有一个函数的分数阶导数表示的微分方程初值问题解的存在唯一性的论证中,还提供了求解此类分数阶微分方程初值问题近似解的一种思路。

离散非线性薛定谔方程的1∶1共振

为研究离散非线性薛定谔方程在不动点附近的1∶1共振问题,将离散非线性薛定谔方程化为差分系统,差分系统线性算子的特征值为两重根1;然后,利用Picard迭代及时间1映射,将差分系统转换为常微分系统,推导差分系统不动点的稳定性;最后,用数学软件模拟差分系统的局部相图.研究结果表明:不动点是局部渐近稳定的.

非线性分数阶微分方程数值解的三尺度第3类Chebyshev小波配点法

基于三尺度第3类Chebyshev小波,提出了一类非线性分数阶微分方程数值解的一个小波配点法。首先,构造了三尺度第3类Chebyshev小波函数,证明了该小波函数的标准正交性,并给出了小波函数展开的L2范数意义下的一致收敛性分析和误差估计。其次,基于平移第3类Chebyshev多项式,借助Laplace变换推导出了三尺度第3类Chebyshev小波函数在Riemann-Liouville分数阶意义下的积分公式。最后,结合Picard迭代,利用三尺度第3类Chebyshev小波配点法,将非线性分数阶微分方程的初值问题及边值问题离散为代数方程组求解。数值算例说明了该方法的有效性和高精度性。

关于“两类微分多项式的Picard例外值”一文的注记

补充完成了两类微分多项式的 Picard例外值中的一个定理的证明 ,并给出了一些定量估计 .

一类多时滞微分方程初值问题解的存在唯一性

研究了一类多时滞微分方程初值问题解的存在唯一性,用Picard方法证明了这类初值问题解的存在唯一性结论,它是常微分方程基本理论中著名的Picard存在唯一性定理的推广.

一类非时齐非Lipschitz条件下随机偏微分方程解的存在性和唯一性(英文)

在系数满足非时齐非Lipschitz条件下,利用Picard型逼近法研究了随机偏微分方程解的存在性和唯一性,把Denis和Stoica文章(2004)中相应结论推广到更一般情形,并给出两个具体的例子.

常微分方程解的存在唯一性定理教学研究

探讨了常微分方程初值问题解的存在唯一性定理教学策略.为便于教学和有利于学生理解并掌握其思想方法,对定理证明过程的表述作了命题化处理,给出了Picard逐步逼近法的应用实例,提出了教学讨论与知识拓展的一些有益内容.