共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
Berge曾给出一个边着色定理,下面为使用方便起见,我们不妨称它为B定理。著名的Vizing定理和另外一些边着色的结果都可以作为B定理的推论。我们叙述这个定理如下:B定理 设G是一个无环重图,[a,b]_0是G的一条边,令G′=G—[a,b]_0,若G′是可q-边着色的,且q≥d_G(a),q≥d_G(b);d_(G′)(x) m_(G′)(a,x)≤q,则G也可q-边着色。这里d_G(x)表示顶点x在图G中的次;m_(G′)(x,y)表示在图G′中以x和y为端点的边数;Γ_(G′)(x)表示顶点x在G′中的邻点集合。 相似文献
3.
本文考虑最简单的抛物型方程定义状态空间X=C[0,1],控制空间U=L~∞(0,∞)∩L~2(0,∞),则对每一给定的(?)∈U,方程(1)存在唯一解y(t,x;(?)):y(t,x;(?))=integral from n=σ to I(G(t-s;x,(?))(?)(s)ds),(2)其中G(t;x,ξ)=sum from l=0 to ∞e(?)e_l(x)e_l(ξ),(3)λ_0=0,e_σ(x)=1,λ_l=l~2π~2,e_l(x)=2~(1/2)coslπx,l=1,2… 相似文献
4.
Terras,于1984年得到了Poincar(?)上半平面M=SL(2,R)/SO(2)的中心极限定理.这是在非紧致Riemann对称空间上得到的第一个非Euclid中心极限定理.以球Fourier变换作基础,利用Lohoue和Rychner得到的热核表达式,我们在本文中建立起非紧致一秩Rie-mann对称空间上的非Euclid中心极限定理.设M=G/K为非紧致Riemann对称空间,9和(?)分别是G和K的Lie代数,(?)=(?) (?)为Cartan分解,a是(?)中的极大Abel子空间,a是a的对偶空间,a~ 是a中的正Weyl室,Ω~ 是Lie代数 (?)相对于a~ 的全体正根之集,ρ=1/2∑_(λ∈Ω)~ mλ·λ是(?)的半正根和,其中m_λ为根λ的重数,(?)=(?) a n为相应的Iwasawa分解,x∈G,H(x)∈a是x在a中的投影.G上的初等球函数定义成 相似文献
5.
在文献[1~3]中研究了同Siegel E,G函数有关的代数方程根的丢番图逼近.本文给出同F函数有关的一个丢番图逼近定理.令K是次数为d的代数数域,O_k为K上整数环.定义F函数:幂级数f(z)=sum from n-0 to ∞ (a_n n!)z~n满足条件:(1)对所有n,α_n∈K和(?)≤c_1~n(?)表示α和所有共轭的绝对值的最大值);(2)存在自然数序列{d_l},d_1=q_0~l(d_(0l))使得d_l α_n∈O_k,n=0,1…,l,l=1,2,…,并且d_(0l)只被满足p≤c_2l的素数p整除,还有ord_(p)d_0l≤c_3logl.称f(z)属于F(K,c_1,C_2,c_3,q_0)类.有很多函数属于F函数类,例如超几何函数现在假设f_1(z)…,f(m)(z)∈F(K,c_1,c_2,c_3,q_0)类并满足线性微分方程组y_1~'=sum from j=1 to m (A_(ij)(z)y_j,A_(ij)(z)∈C(z),i=1,…,n.) 相似文献
6.
设E是一个实Hilbert空间,λ∈R,F∈C~2(E×R,R).假定F的梯度D_xF(x,λ)为A(λ)x+N(x,λ),其中N(x,λ)=o(|x|)对有界的λ一致,当X→θ时.下面考虑方程A(λ)x+N(x,λ)=θ (1)_λ的解问题.设0是A(0)的孤立本征值,且0相似文献
7.
完美匹配树最小正特征值的界 总被引:3,自引:0,他引:3
设G为n阶简单图,称其邻接矩阵A(G)的特征值为G的特征值。因A(G)是实对称方阵,故G的特征值均为实数,可按大小顺序排列:λ_1(G)≥λ_2(G)≥…≥λ_n(G)。若G是 相似文献
8.
Cheryl E.Praeger 《科学通报》1994,39(2):187-187
设G为群,π_e(G)为G中元的阶之集.在文献中作者证明了G(?)A_n当且仅当(1)π_e(G)=π_e(A_n),(2)|G|=|A_n|.对某些交错群,如A_5,A_7,A_8可以仅用上述条件(1)加以刻划.在文献中作者证明了对所有的对称群S_n,n≥2,可用上述条件(1)和(2)加以刻划.然而,对群S_i,i=2,3,…,6均不能由条件(1)单独确定. 相似文献
9.
1973年,C.Berge猜想:每个4-正则简单图包含一个3-正则子图,1979年,v.Chvátal,H.Fleischner,J.Shechan和C.Thomassen猜想:设G是奇阶4-正则图。若λ_c(G)∈{6,8},则G存在一点x,使得G—x有3-正则生成子图。(λ_c(G)是图G的边圈连通度)。本文以更一般的形式证明这两个猜想为真。 一个图G是强4-边连通的,若G是4边连通的,且对任一个基数为4的边割集5,G—S有平凡 相似文献
10.
考虑系统 x′=A_0(t)x A_0(t+ω)≡A_0(t) t∈R,ω>0 (1)其中A_0(t)为[0,ω]上的n阶足够连续可微方阵。 相似文献
11.
用d_3(n)记将n表成三个因子乘积的表法个数,则有渐近公式sum form n≤x to d_3(n)=xP_3(logx)+△_3(x),此处P_3(log x)为log x的一个二次多项式.又用α_3表示使 相似文献
12.
设1∈G是群,1∈A是强G分次环。1在A_1=A_gA_(g-1)(g∈G)中有分解式 命题1 (Clifford定理) 若G有限,V为单左A模。则V是有限生成的半单A_1模。令W是V的单A_1子模,则V的单直因子A_1-同构于W的共轭{A_G(?)W|g∈C},且有A_1同构(e为某自然数) 相似文献
13.
关于含时滞的偏泛函微分方程解性态的研究,目前已有一些好的结果(见文献[1~5]).但相应的中立型系统由于研究上的困难,对其解的稳定性分析尚未见到有关资料.本文作了尝试性的探讨,通过构造若干辅助泛函并结合L_p估计,对一类含时滞的中立型抛物系统解的稳定性进行了分析,获得了若干相应结果.考虑含有时滞的中立型抛物系统其中(x,t)∈Ω×R~+,Q(x,t)∈R~n,P,D,A,B∈R~(n×n)为常数矩阵,且P,D是对角阵,时滞τ,σ为非负常数.Ω是R~m中的有界开集,有光滑的边界δΩ,Δ是Ω上的Laplace算子.对系统(1),考虑相应的边界条件其中n为δΩ上的外法向量.定理1 若d-p>0,l=a+||B||+2||PB||+||PA||+p<0则||Q(x,t)||(?),||(?)Q(x,t)||(?)有界且属于L_1(0,∞).其中D=diag(d_1,d_2,…,d_n),P=diag(P_1,P_2,…,P_n).而d=min{d_1,d_2,…,d_n},p=max{d_1p_1,d_2p_2…,d_np_n},a为矩阵A的特征值的最大实部.||Q||(?)={∫_ΩQ~TQdx}~(1/2),(?)为梯度算子.证 对系统(1)引进辅助泛函 相似文献
14.
关于迭代方程sum from i=1 to n(λ_if~i(x))=F(x)解存在性的讨论 总被引:7,自引:0,他引:7
一、引言本文讨论迭代方程λ_1f(x)+λ_2f~2(x)+…+λ_nf~n(x)=F(x),其中:f~o(x)=x,f~k(x)=fof~(k-1)(x),λ_i∈R~1。关于方程(1)的讨论直接源引于迭代根问题:求适当连续函数f:[a,b]→[a,b]。使 相似文献
16.
设F(t,x),G(t,x)满足下面的对称性条件:F(—t,—x)=F(t,x),G(—t,—x)=G(t,x)。(3) 由于F(t,x)和G(t,x)均为x的周期函数,系统(2)可以看作柱面上的非自治系统,当F(t,x)=0时,方程(2)为保守系统,当F(t,x)(?)0时,(2)式不再是保守系统。这不同于文献[1],从而Moser的扭转定理不再适用。 相似文献
17.
余顶点均已标定。给出G的任意n—1主子图,则E是相对一致完备的向量格,T是E上的格同态,σ_p(T)代表T的点谱。λ、μ∈σ_p(T)\{0},Tx=λx,Ty=μy,x、y(?)0。W.A.Wickstead证明了如|λ|(?)|μ|.λ不是σ_p(T)的极限点,则|x|∧|y|=0,亦即x、y不交。并由此给出了紧格同态的谱分解,当E是具有序连续范数的Banach格,且T’也是格同态时。这里把这些结果推到了Lamperti算 相似文献
18.
设图G为简单连通图,由Vizing定理可知△(G)≤x′(G)≤△(G)+1。其中,△(G)表示图G的最大顶点次,x′(G)是图G的边色数。若x′(x)=△(G),则称G为第一类图,并记为G∈C~1;若 x′(G)=△(G)+1,则称G为第二类图,记为G∈C~2。本文的目的在于讨论边色数的分类问题及其有关性 相似文献
19.
设G是临界2棱连通图,D是G中2度顶点集合,D_(≥2k-1)(G)={x:(x∈G)∧(d(x)≥2k-1)},D_(2k-1):2k(G)={x:(x∈G)∧(2k-1≤d(x)≤2k)},其中k是自然数。[a]表示不大于a的最大整数。我们得到如下结果: 相似文献
20.
的自然数n≤x的数目.对L(x;R,α)的估计,是Dirichlet除数问题的引伸.猜测应当有L(x;R,α)(?)Rx~ε(2)对0≤α<1一致成立,但现有的结果离这一理想结果还要差好多.王炜证明了:对任一指数对(κ,λ),当R≥x~(λ+κ/1+2λ)时,(2)式成立.另外,他还证明了 相似文献