对流方程的一族高精度恒稳格式

为求解对流方程u1=aux构造一族新的含3参数3层隐式差分格式（在特殊情况下是2层），其截断至少可达O[(Δt)2 (Δx)4]在条件α1＝α3，α2小于地2α1或α1大于等于0，α2≥0，α3≥α0，α1＞α3，α1＋α2＋α3＝1，α2≤1／2之下，绝对稳定，特别地，当参数α1＝α2，α3＝0时得到一个两层恒稳的差分格式，所有这些格式都可用追赶法求解，它包含对流方程的已有文献中的隐式高精度恒稳格式。     

Schrdinger方程一族高精度恒稳差分格式

Schrodinger方程 u t=i 2 u x2,可构造一族含双参数的三层高精度隐式差分格式 当参数α =1/ 2,β =0时得到一个双层格式 证明该格式对任意非负参数α≥ 0,β≥ 0都是绝对稳定的,并且其截断误差阶为O(Δt2 +Δx4) 数值例子表明,文中所建立的差分格式是有效的,理论分析与实际计算相吻合     

方程(e)u/(e)t=│x│pΔu的一类相似解

研究方程(e)u/(e)t=│x│pΔu,(x,t)∈Rn×(0,+∞)的具有形式(t+1)βw((t+1)αx)的相似解的存在惟一性,这里n≥2,0≤p<2,β>0,α=-1/2-p.     

一类演化方程的一族高精度恒稳差分格式

对一类演化方程 u t=a 2m + 1 x1m + 1(a为常数 ,m =1 ,2 ,… ) ,构造一族含双参数的三层高精度隐式差分格式 .当参数α =12 ,β =0时 ,得到一个双层格式 证明对一切正整数m ,该格式对任意非负参数α≥ 0 ,β≥ 0都是绝对稳定的 ,并且其截断误差阶为O((Δt) 2 +(Δx) 6) .数值例子表明 ,所建立的差分格式是有效的 ,理论分析与实际计算相吻合     

方程δu／δt=｜x｜^p△u的一类相似解

研究方程(e)u/(e)t=│x│pΔu,(x,t)∈Rn×(0,+∞)的具有形式(t+1)βw((t+1)αx)的相似解的存在惟一性,这里n≥2,0≤p<2,β>0,α=-1/2-p.     

Schrödinger方程一族高精度恒稳差分格式

Schrodinger方程((e)u)/((e)t)=I((e)2u)/((e)x2),可构造一族含双参数的三层高精度隐式差分格式.当参数α=1/2, β=0时得到一个双层格式.证明该格式对任意非负参数α≥0, β≥0都是绝对稳定的,并且其截断误差阶为O(Δt2+Δx4).数值例子表明,文中所建立的差分格式是有效的,理论分析与实际计算相吻合.     

Schr(o)dinger方程一族高精度恒稳差分格式

Schrodinger方程((e)u)/((e)t)=I((e)2u)/((e)x2),可构造一族含双参数的三层高精度隐式差分格式.当参数α=1/2, β=0时得到一个双层格式.证明该格式对任意非负参数α≥0, β≥0都是绝对稳定的,并且其截断误差阶为O(Δt2+Δx4).数值例子表明,文中所建立的差分格式是有效的,理论分析与实际计算相吻合.     

解高维热传导方程的一个新的高精度显格式

对4维热传导方程构造了一个高精度显式差分格式,格式的稳定性条件为r=Δt/Δx2≤5/176,截断误差阶达到O(Δt2+Δx4).     

方程(u)/(t)=│x│~pΔu的一类相似解

研究方程 u t=xpΔu,(x,t)∈Rn×(0, ∞)的具有形式(t 1)βw((t 1)αx)的相似解的存在惟一性,这里n≥2,0≤p<2,β>0,α=-12-p.     

伪抛物方程组解的全局存在

研究如下非线性伪抛物方程组柯西问题解的全局存在性,u_t-Δu_t=Δu+u~αv~p,v_t-Δv_t=Δv+u~qv~β,这里p,q≥0,α,β≥0.首先应用压缩映射原理得到解的局部存在性,之后运用上下解方法研究α,β≤1,pq≤(1-α)(1-β)时解的全局存在性.     

一类固定系数解析函数的极值点与支撑点

摘要 设Q={f(z):f(z)=z-an+1zn+1-(∞∑k=n+2)akzk},这里an+1=c(n+2)/(n+1)(n+3),ak≥0,∞∑k=n+2k(k+2)/k+1ak≤1-c,0≤c≤1,n∈N,并且f(z)在单位圆盘△={z:| z |＜1}内解析,得到函数族Q的极值点与支撑点.     

无向超环面网的距离参数(英文)

平均距离μ(G),距离控制数γl(G)和距离独立数αd(G)是度量网络性能的重要参数.n维无向超环面网是超立方体的推广.证明了μ(G)=1/d1d2…dn-1n∑i=1(ei2+ei+ei'2-ei'/2·d1d2…dn/di),γ(G)=2当且仅当[e1'+e2'…+en'/2]≤l≤d(G)-1(d1≥d2≥…dn≥4),以及αd(G)=2当[d1+d2+…+dn-2/3]≤d≤d(G)-1(d1≥d2≥…dn≥3).     

两类非连通图优美性的研究

给出了两类非连通图(K2〖TX-〗∨Cn)∪[DD(]3[]i=1[DD)]St(mi)和(K2〖TX-〗∨C2n+k)∪St(m)∪G(k)n-1(k=1,2), 并证明了如下结论:对自然数n, m, m1, m2, m3, 设s=〖JB(［〗〖SX(〗n〖〗2〖SX)〗〖JB)］〗, n≥9, m1≥s+2, 则图(K2〖TX-〗∨Cn)∪[DD(]3[]i=1[DD)]St(mi)是一个优美图; 对 k=1,2,设n, m≥3, G(k)n-1是一个具有n-1条边的k-优美图,则图(K2〖TX-〗∨C2n+k)∪St(m)∪G(k)n-1是一个优美图。 其中,K2是一个具有2个顶点的完全图,K2〖TX-〗是图K2的补图,K2〖TX-〗∨Cn是图K2和n圈Cn的联图, St(m)是一个具有m+1个顶点的星形树。     

上三角矩阵环的半交换子环

研究了约化环R上的n阶上三角矩阵子环An（R）（n=2k＋1≥3）,An（R）＋RE1,k（n=2k≥4）的半交换性,在此基础上，给出了一些上三角矩阵环的极大半交换子环．     

一道有奖征解题的推广

本文建立 Mitrinovic—Djokovic 型的不等式的一种推广,特别情形正是[1]中的命题。     

独立集中具有最小特定度和的点的上可嵌入图类(英)

结合边连通度，探讨了独立集中具有最小特定度和的点的上可嵌入图.得到了下列结果. (1)设G,是一个2-边连通简单图且满足条件:对任意一个G的3-独立集I, ∨x_i ,x_j ∈I (i,j = 1,2,3), d(x_i ,x_j)≧3 (1 ≦ i ≠ j ≦ 3) =>∑_{i = 1}³ d(x_i) ≧ v + 1(v = | V(G)|}), 则G是上可嵌入的;(2)设G是一个3-边连通简单图且满足条件:对任意一个G的6-独立集I, ∨x_i ,x_j ∈I (1≦i,j≦6), d(x_i,x_j) ≧3(1 ≦ i ≠ j ≦ 6) => ∑_{i = 1}⁶ d(x_i) ≧ v + 1(v = | V(G)|), 则G是上可嵌入的.     

变更图的边添加

证明了:对任何整数t≥6和d≥2,从一条长为d的简单路通过添加t条边后得到的图的最小直径上界为[d-2/t 1] 2,如果d∈J'(t,k)={2k(t 1) 1,2k(t 1) 2,2k(t 1)-t 1}∪{2k(t 1)-t h:h=6,7,…,t};其他情形为[d-2/t 1] 1.这个证明改进了已知结果,而且[d-2/t 1] 1是最好的上界.     

关于图C_m∪P_(n-1)~+的优美性

图Ｃｍ ∪Ｐ＋ｎ－ １ 是圈Ｃｍ 与Ｐ＋ｎ－ １ 的不交并。本文证明了当①ｍ ＝ ４ｋ,ｎ ≥ｋ ＋ ２;②ｍ ＝ ４ｋ ＋ １,４ｋ － １ ≤ｎ ≤１０ｋ－ ７;③ｍ ＝ ４ｋ＋ ２,ｎ ≥４ｋ ＋ １;④ｍ ＝ ４ｋ ＋ ３,４ｋ＋ ２≤ｎ ≤１０ｋ－ ２ 时,图Ｃｍ ∪Ｐ＋ｎ－ １ 是优美的。     

Cartesian积图的边泛圈性

网络中子图的可嵌入性是度量网络优劣的一个重要性能。圈作为网络拓扑中一类重要的子图,其可嵌入性可以通过泛圈性来度量。Cartesian积图是互联网络拓扑结构中一类非常重要的图类。设G是长为k1和k2的圈的Cartesian积图。利用Cartesian积图的顶点和边的传递性,证明了当k1≥3,k2≥3,G是边偶泛圈的;当k1,k2均为奇数时,G是（k1＋k22）-边泛圈的。     

Erd■s一个猜想的注记

当ｋ≥２，２ｋｎ＋１＝ｑｈ，ｑ≡－１（ｍｏｄ２ｋ），丢番图方程４／ｎ＝ｘ－１十ｙ－１＋ｚ－１有正整数解；当方程中ｎ换以素数Ｐ，则Ｐ存疑的条件是Ｌｅｇｅｎｄｒｅ符号有（Ｐ／３）＝（Ｐ／５）＝（Ｐ／７）＝（Ｐ／１１）＝（Ｐ／１３）＝（Ｐ／１７）＝１．