恰含有一个偶圈的单圈图的着色游戏

令f是一个把任意图H映射到非负整数且满足f(H)≤V(H)的图函数.定义图函数f为f(K2)=2,f(P8)=3,f(C2n)=3,其余未定义的子图满足f(H)=0.证明了恰含有一个偶圈的单圈图的f-无圈游戏色数不超过9.     

三维非线性临界解析动态方程的局部渐近稳定性

考察了三维非线性临界动态方程Z.=f(Z),f(0)=0,Df(0)=A,σ(A)={±ω.i,0},ω>0的局部渐近稳定性.首先在非奇异线性坐标变换和时间尺度变换下,将其化成标准形式.之后,运用形式级数法的思想,在f(Z)是解析的假设下,研究了三维自由动态方程Z.=f(Z)的李雅普诺夫V函数的构造问题,给出了确定李雅普诺夫V函数的方法,并得到了判别三维解析动态方程局部渐近稳定的一组充分条件.     

一类抛物方程反问题的存在性与唯一性研究

已知抛物方程定解问题为U1=Uxx f(t),u(0,t)=V1(t),u(π,t)=V2(t),u(x,0)=g(x),0≤x≤π,文章中研究的问题为:什么样的附加条件可以唯一决定未知函数组{V1(t),V2(t),f(t)}与{V1(t),V2(t),f(t),g(x)}。文章给出了反问题的提法且论证了在L2(0,π)中此反问题的存在性与唯一性。     

有向图的Roman k-控制

设k是一个正整数,称f:V→{0,1,2}是有向图D=(V,A)的一个Roman k-控制函数,如果对于每个f(v)=0的顶点v,它至少有k个入邻点v_1,v_2,…,v_k满足f(v_1)=f(v_2)=…=f(v_k)=2.Roman k-控制函数f的权值ω(f)是指在f的作用下各个顶点的值的和,即ω(f)=∑_(v∈V)f(v).有向图D的权值最小的Roman k-控制函数的权值称作有向图D的Roman k-控制数,记作γ_({Rk})(D).注意到Roman 1-控制数γ_({R1})(D)就是Roman控制数γ_R(D).首先给出了Roman k-控制数的一些性质,然后给出了一些特殊有向图的Roman k-控制数的界.     

PI-代数的根扩张

研究PI-代数的根扩张所满足的多项式恒等式,找到了一类满足标准多项式恒等式的根扩张代数.得到下面定理:令A满足d次多项式恒等式f(x1,…,xd)=0,R是A的根扩张,且Nil(R) =0,则R满足标准多项式恒等式Sd(x1,…,xd)=0.     

对方程f(x)=0根的题型分析

对方程f(x)=0根的存在性证明、唯一性证明及方程根的个数讨论等三个方面提出浅见.     

双曲-椭圆耦合方程组初边值问题解的渐近性态

研究双曲椭圆耦合方程组u1+f(u)x+qx=0,-qxx +q+ux=0的初边值问题,其初始值满足u(x,0)=u0(x)→u+(x→∞),u+＞0且u0(0) =0,边界满足u(0,t)=0.在流函数f满足f(0)=f(0)=0,f(')＞0及初值为小扰动的条件下,用L2能量方法证明其解的整体存在性和渐近收敛于弱稀疏波.     

一类四阶边值问题正解的存在性

讨论了四阶常微分方程边值问题u(4)(t)=f(t,u,),0相似文献   

关于图的负对控制数的界

设D真包含V是图G=(V，E)的任意一个对控制集。如果一个函数f：V→{-1，0，1}满足条件：(1)对任意点u∈D，有f(v)=1，对任意点v-D，有f(v)≤0；(2)对任意点v∈V，均有f(N[v])≥1；则称函数f为图G的负对控制函数。负对控制函数f的重量f(V)是v中所有点的函数值之和，图G的负对控制数γp^-(G)=min{f(V)|f是图G的负对控制函数}.本文研究了图的负对控制数的界。     

利用差分方程判断递归序列的收敛性

引理1满足初始条件f(i)=日:,f(2)二队,…,厂(k)=日、的线性差分方程f(刀)=a;f(n一1)+a:f(,:一2)+…+a、f(:一k)+c(1)“一0且q;彼此不同,一一二二一一 十艺c刀:,c笋0且口:与1彼此互异, 奋二一11一艺口, i~l厂It!l!Iwe、 一一 f( 为 解 的其中c为常数,q萝是(1)的特征方程的特征根,“;、cZ、…、“、由初值决定. 引理2非线性差分方程f(:+i)=〔a厂(,:)+b〕/〔c厂(,:)+d〕的解为f(,)=(a一日A,”一’)/(1一A:。一‘),其中c笋0,。d一bc铸0,f(1)=”。,A=(”。一。)/(11。一日),犷二(a一ca)/(a一一邓),a与日是x~(ox一b)/(一d)的两个互异的根. 引理…     

一类带有次线性振动非线性项的两点边值问题无穷多个解的存在性

利用临界点理论中的极小极大方法获得了下列两点边值问题{ü+u+f(t,u)=0u(0)=u(π)=0两列不同的解,其中f是次线性的.     

一个方程求根公式及其推导

本文利用分式线性函数在x_0处近似f(x)而导出一种求方程f(x)=0的根的迭代公式,它的变形包括Hally方法,在一定的条件下证明了二阶收敛性。     

非零单叶函数的一个极值问题

1.设S_0={f|f在单位圆域△内单叶解析,无零点.f(0)=1},显然,若f(z)∈S_0,则,f~*(z)=f(z)∈S_0,f_(?)(z)=f(e~(?)z)∈S_0由[1]知S_0中的极值问题m(r)=min (?) Ref(r)在S_0中能够达到.1980年,Duren和Schober证明: 若0相似文献   

一类二阶微分系统结点解的存在性

运用分歧方法获得了二阶微分系统{u″(t)+fλ(u,v)=0,0t1,v″(t)+gλ(u,v)=0,0t1,u(0)=u(1)=v(0)=v(1)=0结点解的存在性,其中f,g是连续函数,λ0是参数.     

带一般边界和大初始扰动条件的广义BBM-Burgers方程解的渐近性态

研究广义BBM-Burgers方程ut+f(u)x=uxx+uxxtt的一般初边值问题,其边界满足u(0,t)=u_(t)→u_(t→∞),u_(t)-u_≤0;初始值满足u(x,0)=u0(x)→u+(x→∞),u_(0)=u0(0)且u_＜0＜u+.在流函数f满足f″(u) ＞0,f′(0)=f(0)=0以及初边值为大扰动的条件下,用L2-能量方法证明其解的整体存在性及渐近收敛于强稳定波和强稀疏波的叠加.     

Hille-Yosida算子的无界扰动与一类抽象边值问题的适定性

设A是Banach空间E上的Hille-Yosida算子,B是E上的无界算子,本文证明了B满足一定条件时A B仍是E上的Hille-Yosida算子,从而给出了当ψ是无界算子时抽象边值问题.f(t)=Amf(t),t≥0Lf(t)=ψf(t),t≥0f(0)=f0的适定性一种判别方法.     

高阶摄动波动方程解的Lp-Lp′估计（英文）

研究了高阶摄动波动方程ttu+(-Δ)mu+V(x)u=0,u(x,0)=0,tu(x,0)=f(x),x∈Rn,n>3m,解的Lp-Lp′估计.在摄动和始值f(x)为紧支且V(x)充分小的假定下,得到了该问题解的Lp-Lp′估计:‖u(*,t)‖p′≤Ct-d‖f‖p,t>0,其中 m>1,d=n/m(1/p-1/p′)-1,1/p+1/p′=1,m/(2n)<1/p-1/2相似文献   

几类特殊图的一般指标集

令G=(V(G),E(G))为一简单连通图,V(G)和E(G)分别是图G的顶点集和边集.一个顶点标号函数f:V(G)→Z2诱导出一个边标号函数f*:E(G)→Z2,其中?v1 v2∈E(G),有f*(v1v2)=f(v1)+f(v2).当标1和标0的顶点数相差m(m<|V(G)|)时,标号为1和0的边数差的集合称为图G...     

关于双线性函数的核的性质

设V是域F上的向量空间,f(ξ,η)是V上的双线性函数。在〔1〕中提到f(ξ,η)的左(右)核的概念和性质,本文将其推广,并得更本质的性质。 定义 设S是V的任一非空子集,f(ξ,η)关于S的左核指的是:对一切η∈S,使f(ξ,η)=O的所有向量ξ∈V的集合,记作 K_(er)f_L~S={ ξ∈V|f(ξ,η )=0,Vη∈S}。类似地定义f(ξ,η)关于S的右核,记作     

超线性条件下二阶三点边值问题正解的存在性

运用Green函数和锥上的不动点定理,讨论了二阶奇异三点边值问题-u″(t)=α(t)f(u),0相似文献