[a,b]-因子包含给定圈的充分条件

设G是一个图且a,b是非负整数,a≤b.图G的一个[a,b]-因子是图G的一个支撑子图H且满足对所有的x∈V(G),a≤dH(x)≤b都成立.给出了图中[a,b]-因子包含给定圈的一个充分条件.     

边赋权图支撑树权的介值性

有关图的介值性,已有若干较好的结果,但这些结果都未涉及图的赋权。本文考虑边赋权图支撑树权的介值性。证明了定理A 设双射w:E(G)→{1,2,…|E(G)|}是连通图G=(V(G),E(G))的边赋权,如果存在G的圈基使w在它的每个圈上的象集为连续整数集,则w((G))={w(e)|T∈J(G)}是连续整数集。其中(G)是G的支撑树的集合。     

AN EFFECT ITERATION ALGORITHM FOR NUMERICAL SOLUTION OF DISCRETE HAMILTON-JACOBIBELLMAN EQUATIONS

§1Introduction ConsidertheHamilton-Jacobi-Bellmanequation max1≤v≤m[A(v)u(x)-f(v)(x)]=0,x∈Ω(1.1)withtheboundarycondition u(x)=0,x∈Ω(1.2)whereΩisabounded,smoothdomaininEuclideanspaceRd,d∈N;f(v)(x)aregiven functionsfromC2(Ω);A(v)aresecond-orderuniformlyellipticoperatorsoftheform A(v)=-d i,j=1a(v)ij2xixj+di=1b(v)ixi+c(v).(1.3)Intheaboveexpression(1.3)therearecoefficientsa(v)ij,b(v)i,c(v)∈C2(Ω)satisfying,forall1≤v≤m,a(v)ij(x)=a(v)ji(x),1≤i,j≤d,c(v)≥c0≥0,x∈Ω,a…     

独立数与最小度和[a，b]-因子

设G是一个图,a,b是整数且0≤a≤b,G的一个支撑子图F称为一个[a,b]-因子,若对任意的v∈V(G)有a≤dF(v)≤b.在本文中,我们给出了图存在[a,b]-因子涉及到独立数和最小度的一个充分条件,推广了前人的结果.     

图的[a,b]-因子存在性的两个结果

设G是一个图,a,b是整数且满足0≤a≤b.如果存在G的一个支撑子图F,使对任意的x∈V(G)有a≤dF(x)≤b,则称F是G的—个[a,b]-因子.本文给出图中具有特定性质的[a,b]-因子的两个充分条件.     

最小度和[a,b]-因子

设α≤b是非负整数，G=(V(G)，E(G))是一个图．G的一个支撑子图F称为G的一个[α,b]-因子，若对任意的v∈V(G)，有α≤dF(v)≤b．本文给出了一个图存在[α,b]-因子的关于最小度的充分条件及存在特殊[α,b]-因子的充分条件，推广了Y.Egawa等人的结果．     

[a,b]-因子存在性的范-型条件

设G是一个图,a,b是整数且满足0≤a≤b.如果存在G的一个支撑子图F,使对任意的x∈V(G)有a≤d_F(x)≤b,则称F是G的一个[a,b]-因子.本文给出图中具有特定性质的[a,b]-因子的范-型条件.进一步指出这个结果是最好的.     

关于图 G_Δ的圈秩较小时的边色数分类

设 G 是简单连通图,由 Vizing 定理知,△(G)≤x′(G)≤△(G)+1,其中△(G)表示图 G 的最大顶点次,x′(G)是 G 的边色数.若 x′(G)=△(G),则称 G 为第一类图,记为 G∈C~1;否则称 G 为第二类图,记为 G∈C~2.其它图论术语及记号均与[1]一致.令 F={u|d(u)=△(G),u∈y(G)},记 GΔ=G[F].一条边 e(或顶点 v)称     

不定方程x4-y4=n整数解求法探讨

求方程 x4- y4=n　 ( n∈ N)的整数解 ,至今还没见到一般方法 ,本文将给出这类不定方程一种解法 .文中字母 P表示质数集 ,符号 ( a,b)( a、b∈ Z)表示不定方程　　 x4- y4=n　 ( n∈ N) ( 1 )的整数解 .定理 1　若 n∈ P,则方程 ( 1 )没有整数解 .证明　假定方程 ( 1 )有整数解 ( a,b) ,定有　 a2 b2 =n,　 a2 - b2 =1 ,∵　 a、b∈ Z,| a| >| b| ,只有　　　 (± 1 ) 2 - 0 2 =1 ,∴　 a =± 1 ,　 b =0 ,　 a2 b2 =1 ,与 a2 b2 =n是质数相矛盾 ,故方程 ( 1 )没有整数解 .由费马定理知 ,有定理 2　当 n =m4( n∈ N)时 ,则方程 ( 1…     

边色数的分类及其有关性质

设图G为简单连通图,由Vizing定理知:Δ(G)≤x′(G)≤Δ(G) 1,其中Δ(G)表示图G的最大顶点次,x′(G)为图G的边色数。若x′(G)=Δ(G),则称G为第一类图,记为G∈C~1;若x′(G)=Δ(G) 1,则称G为第二类图,记为G∈C~2。其他图论术语见一般参考书。一边e(或者顶点v)称为临界的,如果成立x′(G)>x′(G\e)(或者x′(G)>x′(G\v))。图G称为是临界的,如果G∈C~2,且G的每一边是临界的。对于v∈V(G),令d~*(v)=|{u|(v,u)∈E(G)且d(u)=Δ(G)}|。设F={u|d(u)=Δ(G),u∈V(G)},记G_Δ=G[F]。令图G_Δ的圈秩数为b(G_Δ)。     

一类非线性双曲-抛物耦合问题的A.D.I.Galerkin方法

1　引　言考虑三维非线性双曲 -抛物耦合初边值问题 :utt- . (a1 (X,t,u) u) +b1 (X,t,u,v) . u　　　　 +α1 e. v =f(X,t,u,v) ,X∈Ω,t∈ J.vt-a2 Δv +b2 (X,t,u,v) . v　　　　 +α2 e. ut=g(X,t,u,v) ,X∈Ω,t∈ J.u(X,t) =v(X,t) =0 , X∈ Ω ,t∈ J.u(X,0 ) =u0 (X) ,ut(X,0 ) =ut0 (X) ,v(X,0 ) =v0 (X) ,X∈Ω.(1 .1 )其中 ,X=(x1 ,x2 ,x3) ,Ω=(c1 ,d1 )× (c2 ,d2 )× (c3,d3)为 R3中矩形区域 ,边界 Ω . J=[0 ,T] ,T>0为一正常数 .b1 ,b2 ,f,g均为已知光滑函数 (其中 b1 ,b2 为向量函数 ) ,且关于 u,v满足 L…     

有点作用的抛物型方程解的控制

本文讨论状态由右端有空间点作用的抛物型偏微分方程确定的控制问题。具体地说,给定Ω(Ω为R~n的开集)中的点b,以及(0,T)上的函数v=v(t),状态y=y_(v,b)(x,t)是下列方程的解: (y/t)+Ay=v(t)δ_b(t),x∈Ω,t∈(0,T),这里假设y的初值和边值都是零,δ_b是支点为b的Dirac函数,A是x的二阶椭圆型偏微分算子.被极小化的代价泛函为 其中z给定在Ω中,N>0。 这一问题是由Lions首先提出并研究的(也参看[10]-[12],[14],[15]).本文对此又作进一步系统讨论,特别是改正了原来的一些不准确的结果.例如,引入空间 U_b={v|v∈L~2(0,T),y_v,b(·,T)∈L~2(Ω)}.本文指出而不是以前所指出的本文也指出,Green公式一般也不成立,而应该是这里Q=Ω×(0,T),∑为Q的边界,A~*为A的共轭算子,v_A是关于A的外法线方向. 同时,本文还讨论了最优性的一阶必要条件,正则性结果;引入 (b)=inf J(v,b),v∈U_b.还讨论了对b的连续性、可导性、导数在边界上的性态以及对控制问题的应用等。     

Chartrand问题的若干拓广

记 Ω(G)和π(G)分别为图 G 的全体支撑树和全体悬挂点所成之集.对于子集 S(?)V(G),定义Ω~(S)(G)(?){T∈Ω(G)|π(T)(?)S}.若 G 是赋权图,记Ω_min~(S)(G)为 Ω~(s)(G)中全体最小支撑树所成之集.Chartrand 猜想:若有 T_1,T_2∈Ω(G),其相应的悬挂点数分别为m 和 n,且 m相似文献   

关于齿轮图的优美性

对于一个简单图 G=(V,E),若对每一个 v∈V,存在一个整数 l(v)(称为顶点 v 的标号)使满足:(a)(?)u,v∈V,若 u≠v,则 l(u)≠l(v);(b)max{l(v)|v∈V}=|E|;(c)(?)e′,e″∈E,若 e′≠e″,则 l′(e′)≠l′(e″),这儿 l′(e)定义为|l(u)-l(v)|,若e=uv,则称 G 为优美图 (graceful graph).在文献[1]中,C.Hoede 指出了所有的轮都是优美图.本文将证明在轮图的轮圈上每相邻两顶点之间加入一点后所得的图亦为优美图.     

含临界指数的拟线性椭圆系统正对称解的存在性（英文）

本文讨论一类拟线性椭圆型系统-Δpu=μ|u|p-2 u|x|p+2αQ(x)(α+β)|x|s|u|α-2 u|v|β+σ1|u|q1-2 u,x∈Ω,-Δpv=μ|v|p-2v|x|p+2βQ(x)(α+β)|x|s|u|α|v|β-2v+σ2|v|q2-2v,x∈Ω,u=v=0,x∈Ω,其中Δpu=div(|▽u|p-2▽u)是p-Laplacian,2≤pN,ΩRN是一个有界光滑区域,0∈Ω,且Ω关于O(N)的一个闭子群G对称,0≤μ,=((N-p)/p)p,σ1,σ2≥0,0≤sp,α,β1满足α+β=p*(s)=(N-s)p/(N-p),pq1,q2p*=Np/(N-p),Q(x)是Ω上的连续G对称函数.应用Palais对称临界原理和变分方法,我们建立了该系统几个全新的正G-对称解的存在性结果.     

环的交换性定理

本文证明了: 定理1 设R是有左单位元e的结合环的而N为其诣零元集合,如果R中恒有。(i) x~(n(x))-x∈N x∈R此处n(x)是大于1的依赖于x的整数;(ii) x≡y(mod N)就导致x~i=y~i x~j=y~j i=i(x,y) j=j(x,y) (i,j)=1是与x,y有关的大于2的整数或者x,y与N中每一元都可交换。则R为交换环. 定理2 若R是kothe半单环,a,b∈R,存在k≥m=m(a,b)≥1;l≥n=n(a,b)》1使得[(ab)~m(ba)~n]∈Z(R)且R之特征为p(素数),则R为交换环。     

有限不变测度与一维扩散过程

<正> 本文沿用[2]或[3]中的记号. 对于微分算符Ω: Ωu=(a(x)u′)′+b(x)u′+c(x)u(1) a(x)>0,c(x)≤0,a(x),b(x)连续可微,c(x)连续以及它的形式共轭算符Ω: Ωv=(a(x)v′)′-(b(x)v)′+c(x)v(2)我们将说明:在c(x)0时Ω导出的满足局部边值条件的马氏过程P(t,x,Γ)(确切含义见[2]或[3]中定义4.5.1,4.5.4及4.5.5)不存在有限不变测度;在c(x)≡0时Ω导出的满足局部边值条件的马氏过程P(t,x,Γ)如果存在有限不变测度,则必是绝对连续的且其密度满足共轭方程.     

一类椭圆型变分不等式的非平凡广义解的存在性

本文研究了下列障碍问题的非平凡解的存在性u∈K∶∫Ωu.(u-u)dx ∫Ωa(x)u.(v-u)dx∫Ωp(x,u)(v-u)dx,v∈K.其中K={v∈H01(Ω)∶vψa.e.onΩ}.利用关于不等式推广的山路引理,在a(x)和障碍p(x,ξ)满足适当的假设下,我们证明了上述不等式存在非平凡解.     

一类带临界指数增长的椭圆型方程组两个正解的存在性

该文主要讨论带临界指数的椭圆型方程组{-Δu + a(x)u =2α/α+βuα-1vβ + f(x),x ∈Ω,-Δv+b(x)v=2β/α+βuαvβ-1+ g(x),x ∈ Ω,(*)u ＞ 0,v ＞ 0,x ∈Ω,u=v=0,x ∈(a)Ω解的存在性,其中Ω是RN中一个光滑有界区域,N=3,4,a≥2,β≥2...     

环状硅酸盐图的友好指数集

Let G be a graph with vertex set V(G) and edge set E(G). A labeling f : V(G) →Z2 induces an edge labeling f*: E(G) → Z2 defined by f*(xy) = f(x) + f(y), for each edge xy ∈ E(G). For i ∈ Z2, let vf(i) = |{v ∈ V(G) : f(v) = i}| and ef(i) = |{e ∈ E(G) : f*(e) =i}|. A labeling f of a graph G is said to be friendly if |vf(0)- vf(1)| ≤ 1. The friendly index set of the graph G, denoted FI(G), is defined as {|ef(0)- ef(1)|: the vertex labeling f is friendly}. This is a generalization of graph cordiality. We investigate the friendly index sets of cyclic silicates CS(n, m).