基于Hilbert空间有界线性算子方程等价性的研究

有界线性算子方程解的性质在计算中是十分必要的.在Hilbert空间上,研究有界线性算子解的等价性.将该系统变得更加简单更加便于求解.通过算子的分块技术,将算子分成等价形式,且利用Moore-Penrose逆来表示,最终给出了线性算子方程的一些简单等价形式.     

变系数非线性Dirichlet问题正解的局部存在性

考察了一类具有变系数非线性二阶Dirichlet问题的正解,利用常系数二阶Dirichlet问题的Green函数,把这一问题转化为一个等价的积分方程,通过考察相应非线性算子的不动点,给出了这个问题正解局部存在的某些充分条件.     

Coimbra变时间分数阶扩散-波动方程的新隐式差分法

将一阶的时间偏导数用Coimbra变时间分数阶导数算子进行替换,提出了一种新隐式差分解法.首先,对Coimbra型变时间分数阶导数算子和二阶空间导数进行离散化处理,将Coimbra变时间分数阶扩散-波动方程转化为代数方程组求解;然后,借助于数学归纳法给出了新隐式差分方法的收敛性分析,并证明了新隐式差分方法是无条件收敛的;最后,通过数值例子检验该方法,计算结果表明新隐式差分方法的理论分析是正确的,所构造的离散格式是可行的和有效的.     

共联系统的最优控制存在性及必要条件

主要讨论主算子为非线性单调算子的非线性发展方程及主算子为强连续半群的无穷小生成元的非线性发展方程所决定的共联系统，证明了共联系统的Langage问题的最优控制的存在性，并给出了最优控制的必要条件。最后用一个具体的非线性系统的例子说明我们的定理。     

论平移引力规范理论与广义相对论在拉格朗日表述下的等价性

从平移群的规范理论出发，分析了拉格朗日形式下广义相对论的平移等价表述，尤其是给出了爱因斯坦场方程．能量一动量张量密度以及等效原理相应的表述．着重指出该表述的主要特点，并进一步对比广义相对论，详细论述了平移引力中挠率相应的动力学作用。     

二阶非线性差分方程正解的存在性

本文主要讨论了一类二阶非线性差分方程最终正解的存在性.我们利用Banach压缩映射原理,对中立型项系统的四种分布情形给出了方程存在最终正解的存在性定理.     

二阶非线性差分方程的渐近性

研究了具有负中立型项的二阶自共轭非线性差分方程的渐近性．利用广义的离散Riccati变换和函数序列的构造，给出了3种情形下差分方程非振动解的渐近性．     

一类二阶差分方程非振动解的存在性

主要讨论一类二阶非线性混合型差分方程,即带正负项的方程非振动解的存在性.我们利用离散的Krasnoselskii不动点定理对中立型项系统的两种情形给出了方程存在最终正解存在性定理.     

基于时间分数阶扩散方程导数参数反演问题

研究时间分数阶扩散方程中分数导数阶的估计问题.首先,定义了一个带自然对数核的Caputo分数阶导数算子,推导出了时间分数阶扩散方程的分数阶导数所满足的方程,称之为时间分数阶扩散的伴随方程.其次,我们分别对两个方程进行时间离散构造有限差分格式和弱形式,再对弱形式中的半离散解进行Legendre多项式逼近得到全离散格式.然...     

具波动算子非线性Schr(o)dinger方程的一种守恒差分格式

研究了一类具波动算子的非线性Schr?dinger方程的数值计算问题.给出了该方程的两个守恒律,构造了求解该方程近似解的一种守恒差分格式,使该差分格式的精度在时间和空间上均达到二阶精度,并对该格式的收敛性及稳定性进行了证明.数值实验与理论结果相一致,很好地验证了本文提出的离散格式.     

带非线性多时滞Liénard方程的周期解

证明了一类在工程上比较典型的具有多个滞量的二阶非线性系统出现周期振动的充分务件.根据指标为零的Fredholm映射的重合度理论,构造合适的投影算子,证明该类二阶方程存在T周期解的充分条件,并给出系统避免出现周期振动的一个必要条件.     

相对论性等时方程的共轭方程

本文为解决等时方程的厄密性问题,找到了一个新的时间平移算子,即用Feynman传播子构造的时间平移算子,并导出了费密系统相对论性等时方程的共轭方程。     

具非光滑初始数据的发展方程Galerkin解法的敛速估计

本文考虑如下形式的发展方程:其中A(t)=L_1(t)+L_2(t),D_(L1)V,L_1(t)是对称、V-椭圆的(见文献),L_2(t)是由希氏空间V到H的有界线性算子。当u_0∈H时,本文给出了半离散Galerkin问题解及其关于时间的各阶导数误差的V-模及H-模估计。在我们的证明中只用到一般的能量技巧。当A是二阶微分算子时,本文的结论包含了文献、的结果,且改进了文献中关于时间导数的误差阶。     

一类四阶非线性抛物方程的紧致差分格式

针对一类四阶非线性抛物方程的初边值问题建立紧致差分格式,利用降阶的思想,通过引入中间变量将原四阶问题转化成二阶非线性方程组.对方程中的时间导数项和空间导数项分别采用Crank-Nicolson格式和四阶紧致差分格式进行离散,对非线性项采用外插的方法进行处理,从而得到原问题的三层线性紧致差分格式,其局部截断误差为■.数值算例表明该格式具有良好的计算效果.基于四阶非线性抛物方程在薄膜理论等问题中的重要作用,对此类方程构造高精度的紧致差分格式,可以使该方程在有关工程计算方面得到更好的应用,因此该研究成果具有重要的理论意义和广泛的应用前景.     

具有非线性中立型项的二阶非线性差分方程非振动解的存在性

主要讨论含非线性中立型项的二阶非线性差分方程非振动解的存在性.我们利用 Banach 压缩映射原理和离散的Krasnoselskii不动点定理,通过构造适当的映射给出了差分方程存在最终正解的存在性定理     

圆域上变系数二阶椭圆方程有效的谱方法及其在奇异非线性问题中的应用

提出了圆域上二阶变系数椭圆方程的一种有效的谱方法。首先,利用极坐标变换,将原问题转化为极坐标下的一种等价形式,根据极条件、边界条件以及θ方向的周期性,引入了适当的Sobolev空间,建立了极坐标系下二阶变系数椭圆方程的一种弱形式及其离散格式。然后,利用Lax-Milgram引理证明了弱解的存在唯一性。再由非一致带权Sobolev空间中投影算子的逼近性质和傅里叶基函数的逼近性质,证明了逼近解的误差估计。另外,将提出的算法延伸到奇异非线性二阶椭圆方程的计算,并给出了数值算例,数值结果表明该算法是收敛的和高精度的。     

一类解刚性微分方程的Adams型混杂法

构造了一类带参数的k步k 2阶的Adams型混杂法,讨论了该方法的稳定性质并证明了该方法与一类改进的二阶导数法等价.在实现Newton迭代计算时,该方法要优于改进的二阶导数法,因此对于求解Stiff问题,这类方法具有一定的优势.最后给出了数值实例.     

多点边值问题的Green函数

Green函数是研究非线性常微分方程边值问题的重要工具.借助Green函数将微分方程边值问题解的存在性转化成算子不动点的存在性,便于给出边值问题的有解性、多解性以及唯一性的条件.本文给出半齐次线性边值问题Green函数的一般定义,它适用于二阶及高阶方程的两点和多点边值问题,并给出计算方法和若干算例.     

二阶非线性差分方程正解的存在性

本文主要讨论了一类二阶非线性差分方程最终正解的存在性。我们利用Banach压缩映射原理,对中立型项系统的四种分布情形给出了方程存在最终正解的存在性定理。     

变分数阶扩散方程的新隐式差分法

针对变分数阶扩散方程,提出新隐式差分法.首先,对二阶空间导数和Riemann-Liouville型变时间分数阶导数算子进行离散化处理,将变分数阶扩散方程转化为代数方程组求解;然后,借助Fourier级数技术给出了新隐式差分法的收敛性分析;最后,通过数值算例检验该方法,计算结果表明了新隐式差分法的可行性和有效性.