图有分数因子的度条件

本文研究了图有分数因子的度条件,得到了下面的结果：令k(?)1是一个整数,G是一个连通的n阶图,n(?)4k-3且最小度δ(G)(?)k,若对于每一对不相邻的顶点u,v∈V(G)都有max{d_G(u),d_G(v)}(?)n/2,则G有分数k-因子．并指出该结果在一定意义上是最好可能的。     

关于补差集与Hadamard矩阵

本文着重讨论了H型补差集,主要结果是: (1) 证明了存在2~i·10~j 18~k·26~r·50~s·82~t阶H型2-补差集;其中i,j,k,r,s,t,为任意非负整数; (2) 给出了71阶和73的H型4-补差集; (3) 定义了v阶Abel群上的C划分, 给出了v=37和61时的C划分,指出了v∈S=S_2∪S_1∪S_3时存在C划分,其中 S_1={2k+1:O≤k≤16}∪{59} S_2={2~i·lO~j·26~k+1:i, j, k为任意非负整数}, S_3={37,61}: (4) 指出了当v′∈S,u∈W=W_1∪W_2∪W_3时,存在v′v阶H型4-补差集,其中 W_1={3~n:n≥1}, W_2={2k+1:0≤k≤14}∪{37,43}, W_3={n:2n-1≡1(mod4)是一素数的方幂}; (5) 利用C划分和[3]的一个结果证明了,当m∈S,n∈W_3时,存在2mn~r(n+1)阶H阵(r≥O); (6) 最后还证明,当在同一个u≡3(mod4)阶Abel群上存在{u;k;λz}差集和{u;1/2(u-1);1/4(u-3)}差集时,且存在v+l=u+1-4(k-λ)阶skew type H阵,则存在uv~r(v+1)阶H阵(r≥O).     

无热耗散d维热带气候模型的小初值整体解

本文研究小初值情况下无热耗散d(d≥2)维热带气候模型的整体适定性问题,文中考虑的模型在速度的正压模和第一斜压模方程上分别具有分数阶耗散Λ^2α u的Λ^2β v.当0≤α<1,■≤β≤1且α+β≥1时,在小初值的假设下,我们建立了整体解的存在性和唯一性.     

各向异性EQ1rot非协调元高精度分析的一般格式

本文在各向异性网格下讨论了一般二阶椭圆方程的EQ₁^rot非协调有限元逼近. 利用Taylor展开, 积分恒等式和平均值技巧导出了一些关于该元新的高精度估计. 再结合该元所具有的二个特殊性质: (a)当精确解属于H³时, 其相容误差为O(h²)阶比它的插值误差高一阶; (b)插值算子与Ritz投影算子等价,得到了在能量模意义下O(h²)阶的超逼近性质. 进而,借助于插值后处理技术给出了整体超收敛的一般估计式.     

强阻尼波动方程的H1-Galerkin混合有限元超收敛分析

研究了强阻尼波动方程的H¹-Galerkin混合有限元方法的超收敛性. 借助于协调线性三角形元已有的分析估计式, 直接利用插值算子代替原始变量 u 的 Ritz 投影和应力变量 p 的 Ritz-Volterra 投影,对半离散和全离散格式, 得到了u在 H¹(Ω) 模和 p 在 H(div;Ω) 模意义下比以往文献高一阶的超逼近和超收敛结果.     

任意阶Laplace算子的特征值估计

设D为n维Euclid空间Rn的一个有界区域,且0＜λ1≤λ2≤…≤λk≤…是l阶Laplace算子的Dirichlet问题{(-△)lu=λu, 在D中,u=(e)u/(e)n=…=(e)l-1u/(e)nl-1=0,在(e)D上的特征值.得到了该问题用其前k个特征值来估计第(k+1)个特征值λk+1的不等式k∑i=1(λk+1-λi)≤1/n(4l(n+2l-2)]1/2{k∑i=1(λk+1-λi)1/2λil-1/lk∑i=1(λk+1-λi)1/2λi1/l}1/2,此不等式不依赖于区域D.对l≥3,上述不等式比所有已知的结果都要好.陈庆民与杨洪苍考虑了l=2的情形.我们的结果是他们结果的自然推广.当l=1时,我们的不等式蕴含杨洪苍不等式的弱形式.文中还给出了陈和杨的一个断言的直接证明.     

不具有3AP整数集的一个新问题

一个反平均k集包含k个互不相同的整数,最小整数为零,且没有3项满足等差级数.反平均问题是对k≥3,确定反平均数λ*(k)=min{maxS | S是反平均k集}.反平均集的一些性质得到研究,给出反平均数λ*(k)的性质和界,以及可算法化的反平均集构造方法.     

非线性抛物方程混合有限元方法的高精度分析

采用双线性元及零阶Raviart-Thomas元（Q₁₁+Q₁₀×Q₀₁）对非线性抛物方程讨论了一种H¹-Galerkin混合有限元方法.提出一个线性化的二阶格式,利用数学归纳法有技巧的导出了原始变量u在H¹（Ω）模意义下及流量p=▽u在L²（Ω）模意义下的O（h²+τ²）阶超逼近性质.引入一个有关初始点的时间离散方程,并利用其得到了▽ ·在L²（Ω）模意义下的O（h²+τ²）阶的超逼近结果.同时利用插值后处理技巧得到整体超收敛.最后,数值算例结果验证了理论分析（其中,h是剖分参数,τ是时间步长）.     

Schrödinger方程的连续时空有限元方法

本文讨论Schr?dinger方程的连续时空有限元方法,通过引入相应的时空投影算子,利用实部虚部分离技巧,得到了变量u在时间节点处的L²范数,以及u和u_t的全局L²(H¹)和L²(L²)范数意义下的最优误差估计结果.该文的结论对进一步探索和设计Schr?dinger方程的数值算法是有益的.     

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和τ分别表示空间剖分参数和时间步长.最后,给出了一个数值算例,计算结果验证了理论分析的正确性.     

弱群逆的扰动及其应用

<正>1引言设C_n,n表示n×n阶全体复矩阵的集合.记A^*,R(A),N(A),rk (A),‖A‖,ρ(A)分别表示矩阵A的共轭转置,值域,核空间,秩,谱范数,谱半径.记A的指标为Ind(A)=k,其中k是满足rk(A^k+1)=rk (A^k)成立的最小非负整数.进一步,     

交叉积群代数有限维数问题的一点注记

设G是一个有限群,k是一个代数闭域且k的特征不整除G的阶.Λ是一个扭kG-模代数,Λ*G是一个交叉积代数.该文证明Λ*G和Λ具有相同的有限维数,且同时满足有限维数猜想定理.     

三维广义Navier-Stokes方程的最优上下界

本文主要考虑三维广义Navier-Stokes方程的衰减率,其分数阶耗散项为Λ^2αu.我们证明,如果三维广义Navier-Stokes方程的弱解u(x,t)属于下面正则集▽u∈L^p(0,∞;B_q,∞⁰(R³)),2α/p+3/q=2α,3/2α0∈L²(R³)满足:∫_s²|w₀(r_ω)|²dω=Cr^2αγ-3+o(r^2αγ-3)(r→0),10/α-8≤γ≤25/2α-10.则其扰动方程的每个弱解v(x、t)以最优的上下界依代数收敛到u(x,t),C₁(1+t)^-γ/2≤‖v(t)-u(t)‖_L²≤C₂...     

部分双曲集附近的拟跟踪性北大核心CSCD

引入部分双曲集的概念,证明了紧黎曼流形上的微分同胚在其部分双曲集的小邻域内具有如下形式的拟跟踪性:设f为紧黎曼流形M上的一个微分同胚,Λ为f的部分双曲集.则存在Λ的邻域O(Λ),使得对于任意ε>0,存在δ>0,使得f在O(Λ)中的任意δ-伪轨{x_k}k∈Z,存在点列{y_k}k∈Z,和中心向量列{u_k∈E_(xk)~c}k∈Z满足d(x_k,y_k)<ε,其中y_k=exp_(x_k)(exp_(x_k)^(-1)(f(y_(k-1)))+u_k).作为一个应用,给出任意微分同胚在C^0扰动下,如果在双曲集邻域内存在不变集,则其是拓扑拟稳定的.     

黎曼猜想下一个素数k次幂及四个素数3次幂的华林-哥德巴赫问题

令k≥1是一个整数.在黎曼猜想成立的条件下,本文给出了n=p₁^k+p₂³+p₃³+p₃⁴+p₅³平均表法个数的一个合适的渐近公式,其中p₁,p₂,p₃,p₄,p₅都是素数,推广了之前的结果.     

带有尖形式Fourier系数的指数和估计

设λ_f/(n)是全模群Γ上权为k的全纯Hecke特征形f的第n个Fourier系数,Λ(n)是Mangoldt函数.本文得到了如下估计∑_(Xn≤2X)Λ(n)λ_f(n)e(n~(1/2)α)■f,αX~(5/6)(logX)~(13/2),(α0),改进了Zhao的结果。     

抛物型积分微分方程新混合元格式的超逼近分析

基于双二次元及其梯度空间,建立了抛物型积分微分方程的一种新混合有限元逼近格式.在不需要Ritz-Volterra投影的前提下,直接利用双二次元插值的高精度结果及关于时间变量的导数转移技巧,在半离散格式下,得到了原始变量u和中间变量p=▽u+integral from n=0 to t▽u(s)ds分别关于H~1模和L~2模的O(h~4)阶超逼近结果,相比插值误差估计,提高了二阶精度.与此同时,对向后Euler格式,导出了u和p分别在H~1模与L~2模意义下的O(h~4+τ)阶超逼近;对Crank-Nicolson-Galerkin格式,在L~2模意义下证明了u和p分别具有O(h~4+τ~2)和O(h~3+τ~2)阶的超逼近性质.其中,h,τ分别表示空间剖分参数和时间步长,t代表时间变量.     

部分双曲集附近的拟跟踪性

引入部分双曲集的概念,证明了紧黎曼流形上的微分同胚在其部分双曲集的小邻域内具有如下形式的拟跟踪性:设f为紧黎曼流形M上的一个微分同胚,Λ为f的部分双曲集.则存在Λ的邻域O(Λ),使得对于任意ε0,存在δ0,使得f在O(Λ)中的任意δ-伪轨{x_k}k∈Z,存在点列{y_k}k∈Z,和中心向量列{u_k∈E_(xk)~c}k∈Z满足d(x_k,y_k)ε,其中y_k=exp_(x_k)(exp_(x_k)~(-1)(f(y_(k-1)))+u_k).作为一个应用,给出任意微分同胚在C~0扰动下,如果在双曲集邻域内存在不变集,则其是拓扑拟稳定的.     

半序约束下多维正态总体均值和协方差阵的最大似然估计

对给定K个P维正态总体,未知均值和协方差阵分别为θi和Λi,i=1,2,…,k,本文考虑均值和协方差阵之间都在一个简单半序约束θ1≤θ2≤…≤θk,Λ1≥Λ2≥…≥Λk>0条件下的估计问题.讨论θi和Λi的最大似然估计的性质,并给出一个求解的迭代方法.     

一类四阶常微分方程周期边值问题的正解

本文研究了四阶周期边值问题{u⁴(t)-βu″(t)+αu(t)=f(t,u(t),u′(t),u″(t),u′′′(t)),t∈[0,1],uⁱ(0)=uⁱ(1),i=0,1,2,3正解的存在性,其中f:[0,1]×[0,+∞)×R³→[0,+∞)连续.利用锥上的不动点指数理论,获得了该问题正解的存在性结果,推广了已有文献的相关结果.