图的倍图与补倍图

计算机科学数据库的关系中遇到了可归为倍图或补倍图的参数和哈密顿圈的问题．对简单图C,如果V（D（G））：V（G）∪V（G′）E（D（G））=E（C）∪E（C″）U{vivj′｜vi∈V（G）,Vj′∈V（G′）且vivj∈E（G））那么,称D（C）是C的倍图,如果V（D（G））=V（C）∪V（G′）,E（D（C））：E（C）∪E（G′）∪{vivj′}vi∈V（G）,vj′∈V（G’）and vivj∈（G））,称D（C）是G的补倍图,这里G′是G的拷贝．本文研究了D（G）和D的色数,边色数,欧拉性,哈密顿性和提出了D（G） 的边色数是D（G）的最大度等公开问题．     

关于Thue方程的解数

设ｍ是正整数，ｆ（Ｘ，Ｙ）＝ａ０Ｘｎ＋ａ１Ｘ（ｎ－１）Ｙ＋．．．＋ａｎＹｎ∈Ｚ［Ｘ，Ｙ］是Ｑ上不可约化的叫ｎ（ｎ≥３）次齐次多项式。本文证明了：当ｇｃｄ（ｍ，ａ０）＝１，ｎ≥４００且ｍ≥１０（３５）时，方程｜ｆ（ｘ，ｙ）｜＝ｍ，ｘ，ｙ∈ｚ，ｇｃｄ（ｘ，ｙ）＝１，至多有６ｎｖ（ｍ）组解（ｘ，ｙ），其中ｖ（ｍ）是同余式Ｆ（ｚ）＝ｆ（ｚ，１）≡０（ｍｏｄｍ）的解数。特别是当ｇｃｄ（ｍ，ＤＦ）＝１时，该方程至多有６ｎ（ω（ｍ）＋１）组解（ｘ，ｙ），其中ＤＦ是多项式Ｆ的判别式，ω（ｍ）是ｍ的不同素因数的个数．     

一类压缩型映射的不动点定理

在完备的度量空间中,讨论了一类新型的非线性压缩映射ρ(Tx,Ty)≤a(ρ(x,y))ρ(x,Tx)+b(ρ(x,y))ρ(y,Ty)+c(ρ(x,y))ρ(x,y)通过构造迭代序列,指出该映射的不动点的存在性和唯一性,并给出相应的误差估计式,拓展和改进了有关文献的范围.     

具p-Laplacian算子型奇异方程组边值问题正解的存在性

本文讨论了一类具p-Laplacian算子型奇导方程组边值问题(φp(x'))'+α1(t),f(x(t),y(t))=0,(φp(y'))'+α2(t)g(x(t),y(t))=0,x(0)-β1x'(0)=0,x(1)+δ1x'(1)=0,y(0)-β2Y'(0)=0,y(1)+δ2y'(1)=0正解的存在性,其中φp(x)=|x|p-2x,p>1.通过使用不动点指数定理,在适当的条件下,建立了这类奇异方程组边值问题存在一个或者多个正解的充分条件.这些结果能用来研究椭圆型方程组边值问题径向对称解的存在性.     

基于模糊蕴涵的分配性方程

研究函数方程组I(x,T(y,z))=T(I(x,y),I(x,z)),I(x,y)=I(N(y),N(x))的解,其中T:[0,1]2→[0,1]是一个严格三角模,I:[0,1]2→[0,1]是一个模糊蕴涵算子和N:[0,1]→[0,1]是一个强否定.在I除了在点(0,0),(1,1)不连续的假设下,获得了满足这个函数方程组解的完全刻画.     

正多边形的最优分割问题

记平面边长为1的正m边形为S_m,将S_m剖分成n块:S_(m1),S_(m2),…,S_(mn),这样的剖分称S_m的n剖分,并以T(m,n)表示.以d_(mi)表示区域S_(mi)(i=1,2,…,n)的直径(即区域S_(mi)任意两点之间距离的最大者).记D(m,n)=max{d_(m1),d_(m2),…,d_(mn)}及Ψ(m,n)=■{D(m,n)}.本文将估计Ψ(m,n)的上下界.证明Ψ(6,3)=3/2,Ψ(6,4)=3-3~(1/2),Ψ(6.6)=1,Ψ(6,7)=3/2,估计Ψ(6,n)的渐进性.提出几个猜想.     

一类具有转向点问题的n阶近似解

用Langer变换和Olver变换求得一类具有转向点问题的n阶近似解:y(x)=v(x)ψ(x),其中ψ=λ12-14×(x2-1)14,2332=-λx∫11-τ2dτ,v(z)=A(z,λ)ξ(λ23z)+B(z,λ)'ζ(λ23z).并探讨了其特征值问题,得到λn=4n+1112,n=0,1,2….由此给出了该类问题的解的一般性结论.     

具有振动位势的二阶带强迫项、阻尼项的时滞微分方程的振动性

讨论了具有振动位势的二阶微分方程(k(t)x′(t))′+τ(t)x′(t)+p(t)x(τ(t))+q(t)x(σ(t))=e(t),利用其线性近似方程(k(t)x′(t))′+p(t)x(τ(t))+q(t)x(σ(t))=e(t)的振动性,给出了方程解振动的一个充分条件,所得结果推广了文献[Computer andMathematics with Applications,2006,51:1395-1404]的相关结果.     

关于图的L(3,2,1)-标号问题

图G的L( 2 ,1 )标号是一个从顶点集V(G)到非负整数集的函数f(x) .使得若d(x ,y) =1 .则｜f(x) -f(y) ｜≥ 2 ;若d(x ,y) =2 ,则｜f(x) -f(y)｜≥ 1 .图G的L( 2 ,1 )标号数λ(G)是使得G有max{f(v) ∶v∈V(G) }=k的L( 2 ,1 )标号中的最小数k .本文将L( 2 ,1 ) 标号问题推广到更一般的情形即L( 3,2 ,1 ) 标号问题 .我们首先定义了图G的顶点 3 着色及图的 3 色数 χ3 (G)等有关概念 ,并推导出 3 色数 χ3 (G)的上界 ;然后根据 χ3 (G)与λ3 (G)的关系 ,得出了对一般图G ,有λ3 (G) ≤ 3maxH Gδ(H) (Δ2 -Δ 1 )这一一般关系式 ;最后证明了对一般平面图G ,有λ3 (G)≤ 1 5(Δ2 -Δ 1 ) ,并得出了其它几类平面图的λ3 (G)的上界 .     

高维无穷时滞脉冲积分微分方程概周期解的存在唯一性

研究一类高维无穷时滞的非线性脉冲积分微分方程x′(t)=A(t)x(t)+∫-t∞C(t,s)g(s,x(s))ds+f(t,x(t-τ))+b(t),t≠tkΔx(t)=Bkx(t)+Ik(x(t))+γk,t=tk,k∈Z概周期解的存在性、唯一性问题.利用不动点原理和线性系统的指数二分性理论,建立了保证其概周期解存在性、唯一性的充分条件,得到了一些新的结果.     

关于满足I(x,n(x))=n(x)的D-蕴涵的刻画

研究I(x,n(x))=n(x),其中I为由连续三角模T、连续三角余模S和强否定n生成的D-蕴涵,即I(x,y)=S(T(n(x),n(y)),y),给出了满足I(x,n(x))=n(x)的充要条件。     

On Perturbed Discrete Boundary Value Problems

In this paper, we study nonlinear discrete boundary value problems of the form x ( t +1)= A ( t ) x ( t )+ h ( t )+ k f ( t , x ( t ), k ) subject to Bx (0)+ Dx ( J )= u + k g ( x (0), x ( J ), k ) where k is a "small" parameter. Our main concern is the case of resonance, that is, the situation where the associated linear homogeneous boundary value problem x ( t +1)= A ( t ) x ( t ), Bx (0)+ Dx ( J )=0 admits nontrivial solutions. We establish conditions for the solvability of the nonlinear boundary value problem when k is "small". We also establish qualitative properties of these solutions.     

一类新型时滞积分不等式及其应用

主要研究了一种新型时滞积分不等式u(t)≤a(t)+∫0α(t)f(t,s)w(u(s))ds+∫0α(t)g(t,s∫)0sh(s,τ)φ(u(τ))dτds up(t)≤a(t)+p/p-q∫0α(t)(f(t,s)uq(s)w(u(s))+g(t,s)uq(s))dsup(t)≤a(t)+p/p-q∫0α(t)f(t,s)uq(s)w(u(s))ds+p/p-q∫0tg(t,s)uq(s)w(u(s))ds这里p>q≥0是常数且t∈[0,∞).并且用此结果研究了时滞微分积分方程解的全局存在性和有界性.     

整函数及其差分分担有限集的唯一性

研究了整函数及其差分多项式分担有限复数集的唯一性,得到了如下结果:设S_m={1,ω,…,ω~(m-1)},其中ω=cos(2π/m)+i sin(2π/m),c为非零有限复数,n(>5),m(≥2)均为正整数.如果f(z),g(z)为有限级整函数,满足E(S_m,f(z)~n(f(z)-1)f(z+c))=E(S_m,g(z)~n(g(z)-1))g(z+c)),那么f(z)≡g(z).     

一类具分布时滞的微分方程的正周期解的存在性与多解性

讨论具分布时滞的微分方程x′(t)=-a(t,x)x(t)+∫-0τf(t,r,x(t+r))dr,x′(t)=a(t,x)x(t)-∫0-τf(t,r,x(t+r))drx′(t)=-g(t,x(t))+∫0-τf(t,r,x(t+r))dr,x′(t)=g(t,x(t))-∫0-τf(t,r,x(t+r))dr正周期解问题,利用锥不动点定理,获得了这类问题正解存在性和多重性的充分条件,推广了已有文献的相关结果.     

高阶泛函微分方程解的渐近分类与振动

本文借助于Lebesgue测度等工具研究了一类高阶非线性泛函微分方程解的渐近分类与振动性。     

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

讨论二阶四点微分方程组边值问题u″+p(t)f(t,u(t),v(t))=0,0 t 1,v″+q(t)g(t,u(t),v(t))=0,0 t 1,u(0)=a1x(ξ1),u(1)=b1x(η1)v(0)=a2x(ξ2),v(1)=b2x(η2)如果函数f,g:[0,1]×[0,∞)×[0,∞)→[0,∞)是连续的,并赋予f、g一定的增长条件,利用Leggett-Williama不动点定理,证明了上述边值问题至少存在三对正解.     

关于几类图的L(2,1)标号问题

图G的L( 2 ,1 )标号是一个从顶点集V(G)到非负整数集的函数f(x) ,使得若d(x ,y) =1 ,则｜f(x) -f(y) ｜≥ 2 ;若d(x ,y) =2 ,则｜f(x) -f(y) ｜≥ 1 .图G的L( 2 ,1 ) 标号数λ(G)是使得G有max{f(v) ∶v∈V(G) }=k的L( 2 ,1 )标号中的最小数k .Griggs和Yeh猜想对最大度为Δ的一般图G ,有λ(G) ≤Δ2 .本文给出了Kneser图 ,Mycieklski图 ,Descartes图 ,Halin图的λ值的上界 ,并证明了上述猜想对以上几类图成立     

局部凸空间上检验函数与广义函数空间的嵌入定理及其应用

设Y是局部凸向量空间,其上装配有GaussianRadon测度γ．A（Y）（或ε（Y）是Y上检验函数空间（或με（Y）是相应的分布函数空间·我们证明了：（或με（Y）,并由此得到μA（Y）（或με（Y））上的Fourier变换公式.其中“*”表示复共轭算子,“”表示连续稠线性嵌入.进一步还得到了A（Y）（或ε（Y））上无穷维伪微分算子A是L2（Y,γ）上连续的充要条件是其共轭算子A’满足A’（L2（Y,γ）L2（Y,γ）．     

K(o)the-Bochner空间的凸性

本文利用K(o)the函数空间的性质以及K(o)the函数空间与K(o)the-Bochner空间的关系,讨论了K(o)the-Bochner空间E(X)的凸性,主要结果如下:(a)给出E(X)的端点的充分条件,得到了E(X)严格凸的判据,相应地推广了Lp(μ,X)以及LΦ(X)的结果;(b)讨论了E(X)的弱局部一致凸和局部完全k-凸;(c)刻画了E(X)的强凸,给出了E(X)强凸的充要条件.