关于轴对称Navier-Stokes方程正则性的一个注记

建立了一个关于轴对称不可压Navier-Stokes系统的正则性准则.证明了如果局部的轴对称光滑解u满足‖ωr‖_{Lα1((0,T);Lβ1)}+‖ωθ/r‖_{Lα2((0,T);Lβ2)}<∞,其中2/α₁+3/β₁≤1+3/β₁,2/α₂+3/β₂≤2和β₁≥3, β₂>3/2,那么此强解将保持光滑性直至时刻T.     

抽象空间中非线性算子方程变号解的存在性研究

利用Banach空间中的锥理论和不动点定理讨论了非线性算子方程变号解的存在性,给出了E_u_0空间下非线性算子方程变号解至少有一个变号解、一个正解和一个负解的条件,并讨论了仅通过一个上解条件得出非线性算子方程变号解的存在性定理.     

一类积分边值问题的再生核数值算法

研究了一类具有积分条件的边值问题.基于再生核理论,巧妙地构造了一个具有积分条件的再生核空间,并且给出了再生核函数表达式.应用泛函分析中的算子理论及逼近论思想,给出了方程的近似解,即再生核数值算法.通过实例验证了算法的可行性和有效性.     

三维热传导方程的高精度有限差分方法

提出了数值求解三维热传导方程的一个四阶精度的有限差分格式,首先对三个空间方向上的二阶导数项,采用四次样条函数来近似,从而得到半离散的常微分方程.然后利用常微分方程的解析解表达式,时间矩阵利用Padé近似,得到时间和空间均为四阶精度的差分格式.最后利用方法计算了两个数值算例,并与文献中结果进行了对比,从而验证了高精度格式的性能.     

一类偏差分方程的振动性

主要研究了偏差分方程pu_(m+2),n+u_(m,n+2)+qu_(m+1,n)-u_(m,n+1)+ru_(m,n)=0,解的振动性,其中参数p,q,r是实数,m,n为非负整数.     

Toader型平均的算术与调和平均界

给出了Toader型平均T[A(a,b),G(a,b)]关于调和平均H(a,b)与算术平均A(a,b)组合的精确界.作为应用,发现了几个关于第二类完全椭圆积分的精确不等式.     

EFK方程一个新的低阶非协调混合有限元方法的高精度分析

对Extended Fisher-Kolmogorov(EFK)方程,利用EQ_1~(rot)元和零阶RaviartThomas(R-T)元建立了一个新的非协调混合元逼近格式.首先,证明了半离散格式逼近解的一个先验估计并证明了逼近解的存在唯一性.在半离散格式下,利用上述两种元的高精度分析结果以及这个先验估计,在不需要有限元解u_h属于L~∞的条件下,得到了原始变量u和中间变量v=-?u的H~1-模以及流量p=u的(L~2)~2-模意义下O(h~2)阶的超逼近性质.同时,借助插值后处理技术,证明了上述变量的具有O(h~2)阶的整体超收敛结果.其次,建立了一个新的线性化向后Euler全离散格式并证明了其逼近解的存在唯一性.另一方面,通过对相容误差和非线性项采取与传统误差分析不同的新的分裂技巧,分别导出了以往文献中尚未涉及的关于u和v在H~1-模以及p在(L~2)~2-模意义下具有O(h~2+τ)阶的超逼近性质,进一步地,借助插值后处理技术,得到了上述变量的整体超收敛结果.这里h和τ分别表示空间剖分参数和时间步长.最后,给出了一个数值算例,计算结果验证了理论分析的正确性.     

积分运算中的对称性

总体讨论了在各类积分中,当积分区域具有某种对称性,且被积函数满足奇偶对称性或轮换对称性的一些结论,并简单举例.     

一类线性随机微分方程的解法

本文关注一类线性随机微分方程的解法,先求解伪齐次随机微分方程,变易对应解的常数,再带回原方程求解.这区别于以往求解随机微分方程所对应的齐次微分方程的常数变易法.多个例子证明本文的方法更简明.     

Black-Sholes方程的解析解及收敛性分析

将经典的Black-Sholes方程转化为一类特殊的线性偏微分方程,并通过对其采用Fourier变换方法求得解析解,最后利用优核的相关性质对所得Black-Sholes方程解析解进行收敛性分析,证明了该解析解的收敛性.