该文给出海森保群Hn上偏微分算子LMU 的显式基本解um,据此um,研究算子LU μ 的可解性和亚椭圆性
用单调迭代方法给出了狀阶常微分方程的两点边值问题解的存在唯一性.
考虑边界反馈时,一维热弹性系统的衰减速度.证明了闭环系统的谱确定增长条件成立, 且反馈增益常数可任意改变高本征频谱.最后谱方法给出了数值模拟结果.
明确给出了具有正则自同态幺半群的两个树的联
定义了一类齐型空间上的Herz空间及弱Herz空间,研究了定义在这些空间中的一类次 线性算子的性质
研究可压缩核废料污染问题,考虑包含分子扩散和弥散的一般情形.从问题的原始数学 模型出发,构造了特征线有限元全离散格式.对通常使用的构造误差方程的方法进行了改进,证 明了格式的最佳L∞ (J;H1(Ω))收敛性.
齐次平衡法是求非线性发展方程孤波解的一种有效方法.该文将以KdV 方程为例把齐次平衡法向 三个方面拓广应用:1)获得非线性发展方程新的具有更为丰富形式的精确解;2)寻找非线性发展方程的 B¨acklund变换、Lax表示;3)求非线性发展方程的对称性约化和相似解.
对于小波尺度函数变换的分解系数的积分运算建立了以尺度函数为权的广义高斯积分方 法的运算格式.借助于样条函数,证明了其广义高斯积分随小波分解水平(resolution level)指标的 上升而收敛.在此基础上给出了以小波尺度函数变换重构或逼近任一函数的显式解析式,并对具 有函数算子、微分或积分算子的运算给出了变换规则.这对于求解复杂非线性方程(组)是一种强 有力的工具.最后给出了用该文方法求解非线性二点边值问题的算例.
利用微分不等式理论研究了一类奇摄动高阶椭圆型微分方程非局部边值问题.得到了其 解一致有效的渐近展开式.
文中考虑一类最多可以指数地有理逼近的无理数,并指出它们自然地存在于偏微分方程 解析理论及动力系统中.
构造了仅由两个参量确定的方法类RKS(μ,δ),一切节点属于区间[0,1]且至少2s-1阶相 容的s级PK的方法,如Radau|A,Radau‖A,Gauss方法等,均是其特例.此类方法的代数稳定性 与A-稳定性均等价于参量的μ 的非负性,这一准则改进了Burrage的如下结论:一个满足简化条 件B(s)和C(s)的RK的方法代数稳定的必要条件是它至少2s-1阶相容.基于此类方法构造 了高阶指数拟合的RK公式,且公式是代数稳定的,因而适于求解非线性stiff问题.特别,当用k(k >1)步方法求解stiff问题时,用拟合得当的RK公式确定k-1个附加初值是行之有效的.
设J=J\-m(λ)是一个特征值为λ的m阶Jordan块矩阵,则J能开平方的充要条件是m=1,或者m≥2时,λ≠0.且当m≥2,λ≠0 ,J的平方根矩阵恰有两个:±A,这里a1 = c , a2 = 1/2c , a3 = -1/8c3 ,… ,
ak = -(a2ak-1+a3ak-2+…+ak-2a3+ak-1a2)/2a1 ,… (k=3,4,…,m), c2 = λ.
利用Banach空间中锥与半序理论研究了竞争性生态系统中两物种的共存问题,得出依赖 于某一共同生存环境的两物种在一定条件下必可达唯一共存状态.
给出(偏)微分方程(组)(PDEs)对称向量的吴微分特征列集(消元)算法理论.把古典和 非古典PDEs对称向量的计算问题统一在吴微分特征列理论框架之下处理.给出了产生PDEs 对称向量的无穷小方程和验证已知向量为PDEs对称向量的机械化原理,理论上彻底克服了传 统算法中的缺陷并为计算PDEs对称向量提供了一种新算法.用计算机代数系统mathematica 编制了相应的软件包,具体实现了该算法.作为应用给出了Burgers方程的非古典对称向量的 完整解答.
给出了在|z|<R中含有零点的解析函数的模的一个下界;其推论推广了[4]的Thm.1, 由此可较易地推出[5]中关于单位圆盘上解析函数的加权代数的可除性问题的结论.
证明了统计自相似集和测度是由一族独立同分布的随机压缩算子{fσ,σ∈D}所构成的随机 递归集和它的分布.此处fσ 是概率空间(Ω,P)到con(E)的随机元,而con(E)是完备可分距离 空间犈到犈的压缩算子全体.
对填充床催化反应器的数学模型———一类强非线性偏微分方程级初—边值问题,用逆算符 法求其近似解析解,提出了用“部分解的几何平均”替代“部分解的算术平均”的新方法.从而较园 满地给出了此类方程组初—边值问题的近似解析解.
研究了十分一般的随机幂级数,并证明了有限级的随机幂级数几乎必然没有亏函数.