Caputo型分数阶q-微分方程的初值问题

该文研究具有非光滑解的分数阶q-微分方程CDaqy(t)=f(t,y(t))的数值方法,其中α∈(0,1)U(1,2),CDaq是Caputo型q-微分算子.利用变步长的分数阶Adams方法,得到了求解对应q-Volterra积分方程的预估-校正格式,从而给出上述初值问题的数值解并估计了其误差.最后利用数值算例验证理论...     

延迟积分微分方程梯形方法的渐近稳定性

讨论了用梯形方法求解延迟积分微分方程y'(t)=ay(t) βy(t-τ1) y∫0-r2 y(t s)ds的数值方法的稳定性,证明了梯形方法能够保持原方程的渐近稳定性.数值试验进一步验证了理论分析的正确性.     

第一类非线性Abel积分方程的高精度组合方法

作者给出了求解第一类非线性积分方程的高精度组合方法.为避开求解不适定问题,作者把具有弱奇异核的第一类Abel积分方程转化为具有连续核和右端函数的第二类Volterra积分方程,但核和右端函数由弱奇异积分表示.利用修正的梯形求积公式和修正的中矩形求积公式,作者得到了核和右端函数的高精度逼近,并结合非线性方程的求解方法构造出求解第一类非线性Abel积分方程的两种机械求积方法,然后证明了误差具有精度O(hα+1)且得到了误差的渐近展开式.进一步,作者运用组合技巧加速收敛使近似解精度达到O(h2).最后的算例表明数值结果符合理论分析.     

非线性比例尺微分方程组的稳定性分析及数值处理

主要研究了多延时非线性比例尺方程理论解及数值解的稳定性质Y'(t)=f(t,y(t),y( λd t)t…,y(λd t)),其中f:R×CN×…×CN→CN,y:R→CN,0< λd<…< λ1<1.获得了比例尺微分方程稳定及渐近稳定的充分条件, 同时研究了隐式欧拉方法的稳定性质.     

一类非线性波方程局部解的存在性

文章研究下面的问题{ytt-yxx+yt=0,(x,t)∈(0,L)×(0,T)y(0,t)=0,yx(L,t)=|y|p-1y+by,t∈(0,T)y(x,0)=y0(x),yt(x,0)=y1(x),x∈(0,L)为了证明这一类非线性波方程局部解的存在性,我们运用了伽辽金方法和嵌入定理得到了想要的结果.证明过程分三步,首先找到问题的逼近解,然后对其进行先验估计,最后通过取极限得到局部解的存在性.     

一类浅水波模型的数值方法

考虑BBM型非线性水波方程的数值方法.本文构造了二种半隐的数值格式.以BBM方程为例,严格分析了二种格式的稳定性与误差估计,证明了二种格式都是无条件稳定的.误差估计显示,线性Euler时间离散加谱Galerkin空间离散的收敛阶是O(Δt+N1-m),线性Crank-Nicolson时间离散加谱Galerkin空间离散的收敛阶是O(Δt2+N1-m).最后我们用数值例子讨论这两类方程解的长时间衰减率,并讨论扩散项、色散项、非线性项对解的衰减率的影响.数值例子表明,这两类浅水波方程的衰减率是:L2范接近-1/4;L∞范接近-1/2;H1半范接近-3/4,这与已知的理论结果是吻合的.     

一类变系数非线性波方程的能量估计

用Holder不等式,Cauchy不等式和Gronwall不等式,证明变系数非线性波方程{y″-div(c(x)▽y)+a(x,t)y=b(x,t),(x,t)∈Ω×[0,T]y(0,t)=y(1,t)=0,t∈[0,T]y(0)=y0,y′(0)=y1,x∈Ω}在空间L2(Ω)×L2(Ω)上的能量估计.     

一类积分方程解的惟一性及其性质

本文对积分方程v(x,y)=max(t,s)∈D{U(t)+β∫+∞-∞v(s,w)f(w,y)dw}进行了讨论.它不同于一般情形下的方程v(y)=U(y)+∫+∞-∞v(w)f(w,y)dw,目前没有比较好的方法来处理.本文中的这类方程在经济和金融有它的应用,我们在讨论中得到了一些有意义的结果.     

无穷区间上模糊(H)积分的数值计算

基于计算模糊随机变量的期望的需要,文献[9,10]定义了无穷区间上的模糊Henstock积分,讨论了一维有界模糊数值函数(H)积分的求积规则,并给出了误差估计.考虑到n维模糊随机变量期望的计算,在文献[10]的基础上,本文讨论了无穷区间上n维模糊数值函数Henstock积分的求积公式及其误差估计.     

非线性对流扩散方程特征有限元法的误差估计

应用特征有限元Galerkin方法,研究一维非线性对流扩散方程的数值求解问题。给出非线性对流扩散方程第二边值问题的特征有限元Galerkin形式,研究了此方法的收敛性,并给出了L2(Ω)及H1(Ω)的最优阶误差估计。结果表明,该方法是求解非线性对流扩散方程的有效方法。     

简单方程法求解非线性发展方程

利用已知精确解的简单方程求解高阶非线性发展方程,以SK方程为例,利用简单方程和Painleve截断展开法,求出该方程的多组行波解,包括孤立波解和类孤立波解,以及若干周期函数解,这种方法还可以用来求解其他高阶非线性发展方程.     

几个非线性发展方程的新的紧孤立波解

以非线性发展方程的行波解为基础,探讨了几个非线性发展方程的求解。利用最新提出的扩展sine-cosine方法,研究了如下几个非线性发展方程：Klein Gordon型方程、RLW型方程、Boussinesq型方程以及KdV方程的一种变化型,得出了它们的紧孤立波解。所得出的解不仅涵盖了几个已经得出的解,而且还包括了几个新的精确解。     

mKdV和mBBM方程的新型孤子解

尖峰孤子解和紧孤子解是非线性方程的新型孤子解.利用相关文献提出的方法分别研究修正的KdV方程(mKdV)和修正的BBM方程(mBBM),得到3种形式的孤子解:尖峰孤子解、双峰孤子解和尖峰紧孤子解.通过数值模拟得到解的图像,其中之一为双峰形的孤立波.这些结果进一步丰富了这2个非线性波方程的精确解的形式和内容.该文提出的3个拟解之一还可以用于其他多个非线性波方程,如:Klein-Gordon方程、Ф4方程、Sine-Gordon方程和Landau-Ginzburg-Higgs方程.     

（2＋1）维非线性发展方程的非经典李点对称和精确解

应用相容性方法和非经典李群方法,得到了（2＋1）维非线性发展方程的非经典李点对称。通过求解非经典对称方程的相应的特征方程组得到了非线性发展方程的非经典相似约化。进而得到了非线性发展方程的新的精确解。     

Bcklund变换和微分差分方程

主要研究构造非线性演化方程的Backlund变换的新途径.首先从一个连续的谱问题出发,借助于Lax对的非线性化方法,推导出连续的非线性演化方程,然后应用谱问题的相容性,构造了两个非线性微分差分方程,这两个方程恰好是一个连续的非线性演化方程的Backlund变换.     

B(a)cklund变换和微分差分方程

主要研究构造非线性演化方程的B(a)cklund变换的新途径.首先从一个连续的谱问题出发,借助于Lax对的非线性化方法,推导出连续的非线性演化方程,然后应用谱问题的相容性,构造了两个非线性微分差分方程,这两个方程恰好是一个连续的非线性演化方程的B(a)cklund变换.     

模糊微分方程可约的条件

模糊微分方程是在模糊环境下研究动态系统的重要工具,所以对方程进行求解是一项必不可少的工作.为了能使更多的模糊微分方程更容易求解,通过对非线性模糊微分方程进行变量替换判断方程是否可约,并在此过程中试图找到非线性模糊微分方程转化成线性模糊微分方程的方法.最后给出了2种形式的模糊微分方程是否可约的充分条件,同时推导出非线性模糊微分方程转化为线性模糊微分方程的具体方法,使可约模糊微分方程更容易辨别和求解,并且给出算例验证了结果的有效性.     

具非线性边值条件的二维Helmholtz方程的边界元分析

本文将具有非线性边值条件的二维Ｈｅｌｍｈｏｌｔｚ方程化为等价的非线性拟微分算子方程除了说明该方程解的存在唯一性外，还利用Ｇａｌｅｒｋｉｎ方法得到了非线性离散方程组、根据不动点指数定理证明了非线性方程组的存在唯一性，根据ａ－正常理论给出了相关的正则性定理。文末采用线性化技巧，给出了拟最优化估计。     

基于Haar小波的非线性随机Ito-Volterra积分方程的数值解

提出一种非线性随机Ito-Volterra积分方程的数值解方法。首先了解Haar小波的构造，然后利用Haar小波的随机积分算子矩阵将目标方程转化为非线性代数方程，从而得到方程的数值解，最后讨论了目标方法的误差分析。     

一类辅助微分方程的亚纯解及其应用

介绍了寻求非线性偏微分方程精确解的方法——复方法,用该方法研究了一类辅助微分方程的亚纯解,并将所得结果运用于寻求相关的非线性偏微分方程的精确解,得到Vakhnenko-Parkes方程和Dodd-Bullough-Mikhailov方程的精确解。