n元真值函数构成的双格半群

证明了n元真值函数集L关于运算V及其对偶运算^、序结构≤作为一个布尔代数是一个F格半群：f∨g(x)=f(x)∨g(x)，f∧g(x)=f(x)∧g(x)，f≤g当且仅当f(x)≤g(x)(任意f，g∈L，任意x∈|0，1|^n)，并且确定了其分子结构．指出含n个变元的合式公式集关于合式公式等值关系←→所构成的商结构L／←→与L同构，从而说明命题逻辑的基本框架实际上是一个特殊的双格半群，即F格半群．     

一个带位势半线性方程爆破解的渐近行为

主要研究半线性抛物方程ut=Δu+V(x)|u|p-1u爆破解的渐近行为.在本文中,假设N≥3并且1pN+2/N-2,初始值是有界的,V(x)∈C1(RN),且对任意x∈RN存在常数c和C使得c≤V(x)≤C成立.则当t→T时,对RN中的任意点a,(T-t)p1-1u(a+y(T-t)～(1/2),t)趋向于0或者±V(βa)β,(β=p-11).     

分布函数间几种散布序的关系

设 F是分布函数 ,对 α∈ (0 ,1 ) ,记 X+F (α) =sup{ x:F(x) <α} ,X-F (α) =inf{ x:F(x) >α} ,XF(α) =(X+F (α) +X-F (α) ) /2 .本文给出了分布函数 F和 G之间的一种散布序 ,记作 d≤ ,F d≤ G 0 <α<β<1 ,XF(β) - XF(α)≤ XG(β) - XG(α) .在一定的条件下 ,讨论了几种散布序 d≤ ,disp≤ ,d*≤ 的等价关系     

齐型空间上Lipschitz函数的一个新刻画

~~的核 Sk( x,y)附加了对称性的要求 .本研究在文 [3]的基础上 ,利用最近 Y.S.Han在文 [2 ]给出的恒等逼近的改进定义给出了 Lipschitz函数类 Lipα的一个新刻画 ,是文 [3]结果的推广 ,其主要结果如下 .定理　设算子列 {Sk}k∈ z[2 ]是齐型空间 ( X,ρ,μ)上的恒等逼近 ,Dk=Sk- Sk-1,f是在任有界集上可积的函数 ,0 <α 相似文献   

无K_(1,t)图的L(d,1)-T标号

给定一个连通图G=(V,E)及其一棵支撑树T,图G的一个L(d,1)-T标号即函数g:V(G)→{0,1,2,…},满足:(1)如果xy∈E(G),则|g(x)-g(y)|≥1;(2)如果dG(x,y)=2,则|g(x)-g(y)|≥1;(3)如果xy∈E(T),则|g(x)-g(y)|≥d.假设图G有一个L(d,1)-T标号函数g:g(V){0,1,2,…,k},则图G的所有L(d,1)-T标号函数中最小的整数k记为L(d,1)-T标号数λdT(G,T).本文证明了若G是无K1,t(3≤t≤n)的连通图,其最大度为Δ,|G|=n,T为G的任意支撑树,则λdT(G,T)≤tt--12Δ2+Δ+2d-2.     

积分方程组解的正则性与对称性

将讨论下列含贝塞尔核积分方程组正解的对称性,即:u(x)=∫RNGα(x-y)vq(y)/|x|β|y|τdy,v(x)=∫RN Gα(x-y)up(y)/|x|τ|y|βdy(1)其中x∈RN,Gα(x)是带α-指标的贝塞尔势能核,0≤β,τ,β+ταN,1p,qN-β/β,并且,1/p+1+1/q+1N-α+β+τ/N(2)设(u,v)∈Lp+1(RN)×Lq+1(RN)为式(1)的正解,则式(1)解是径向对称的。     

含有非局部项抛物型方程整体解的不存在性

本文研究一类含有非线性局部顶的抛物型m-Laplacian方程的柯西初值问题{ut=div(|▽u|m-2▽u) ∫RNK(x,y)up(y,t)dy x ∈RN,t》0/u(x,0)=u0(x),x∈RN,u(x,t)≥0(x,t)∈RN×R (0.1)的非负整体解的不存在性问题.从两个角度出发,研究参数p,β,m和初始条件u0(x)在无穷远处的渐近行为对问题(0.1)解的不存在性的影响.采用的方法是"试验函数法".该方法是由Mitidieri和Pohozaev在研究一类椭圆型不等式时首先提出.为了使该方法能够用于问题(0.1),需要作些修正.主要结果的证明是通过对解的先验估计,然后应用反证法提出.通过选择适当的试验函数以及变量伸缩,得到解的一个渐近估计和一个上界估计.这些估计依赖于参数T和ρ.最后让ρ→∞和对上界极小化,得出问题(0.1)的非负解的不存在性.作如下假设:(H1)存在 a0∈(0,1/2),使得当α∈(-α0,0),成立u0(x)≥0,u0 ∈L1 a loc(RN); (H2)存在K0》0,0《β《N使得K(x,y)=K(y,x)≥K0|x-y|β-N,x,y∈RN;(H3)存在K0》0,γ≥0 使得 K(x)≥K0(1 |x|2)-γ,x∈RN.主要结果是:定理1 假设2≤m《N,p》m-1和条件(H1),(H2)成立.进一步,如果下列条件之一满足:(H4)P《m-2 N m/N-β;(H5)存在依赖参数m,p,β的β0》0,使得lim inf|x|→∞(u0(x)|x|m β/p 1-m-α)≥β0;那么初值问题(0.1)不存在整体的非负解.当K(x,y)只是一个变量y的函数时,有定理2 假设2≤m《N,p》m-1和条件(H1),(H3)成立.进一步,如果下列条件之一满足:(H6)0≤γ《(N m)/2;(H7)存在依赖参数的m,p,γ的β2》0,使得lim inf|x|→∞(u0(x)|x|m N-2γ/P 1-m-a)≥β2;那么问题{ut=div(|▽u|m-2▽u) ∫RN K(y)up(y,t)dy x∈RN,t》0/u(x,0)=u0(x),x∈RN不存在整体有界的非负解.     

全空间中一类椭圆方程组解的存在性

讨论了下面问题:{-Δu+qu=2αα+β|u|α-2u|v|β,x∈RN,-Δv+qv=2βα+β|u|α|v|β-2v,x∈RN,u,v∈H1(RN)。应用变分法证明了以上椭圆方程组至少存在一个非平凡的非负解。     

有限保E-序部分变换半群的变种半群上的格林关系

设X是一个有限全序集,E是集合X上的等价关系.令PEOPx={α∈Px:(A)x,y∈domα,(x,y)∈E且x≤y(=>)(xα,yα)∈E且xα≤yα},取定θ∈PEOPx,在PEOPx上定义一个运算"o",其中α°β=αθβ,得到一个新的半群称为保E-序部分变换半群的变种半群,记为PEOPx(θ).本文主要刻划...     

包含临界指数的半线性椭圆型方程的正解

利用Sobolev-Hardy不等式和山路几何研究了如下包含临界指数的半线性椭圆型方程正解的存在性-div(|x|β(△)u)＝|x|αup-1+λ|x|σuq-1,x∈Ω;u＞0,x∈Ω;u=0,x∈(а)Ω.     

一类二阶非齐次欧拉方程的特解

对一类形如x2y″+pxy′+qy=f(x)的二阶欧拉非齐次线性常微分方程,利用变量变换化为常系数线性常微分方程。然后用复数法讨论了具有形如f(x)=Axαcos(βln|x|)和f(x)=Axαsin(βln|x|)非齐次项时求特解的方法,得到了用A/F(α+iβ)xα(cos(βln|x|)+isin(βln|x|))和A/F′(α+iβ)xαln|x|(cos(βln|x|)+isin(βln|x|))表示特解的一般公式。应用该方法简单便捷地得到了若干算例结果,表明了所得结论的正确性和算法的实用性。     

关于图的圈的一个充分条件

设G为n(≥3)阶2连通图,δ≤δ~*≤Δ,对任意x∈V(G),记D(x)={y|y∈V(G)\{x},d(x,y)≤2},D~*(x)={y|y∈(D(x)∪{x}),d(y)<δ~*},本文证明:如果|D~*(x)|相似文献   

哈密尔顿图的一类新的局部化充分条件

设L为图G的一个导出子图 ,若有 x ,y∈V(L) ,只要dL(x ,y) =2就有max{dG(x) ,dG(y) }≥ |G| / 2 ,则称L有局部Fan性质 .该文证明了以下结果 .G是一个 2_连通的 {K1.3 ,B1} -free图 .对任意一个整数s≥ 0 ,若G的任一个导出子图L∈ {Bi,0≤i≤s;Zs+2 }均有局部Fan性质 ,则G是Hamiltonian图 ,除非s=2且G H9.由此得到每个 2_连通的 {K1.3 ,Bi,0≤i≤s;Zs+2 }_free图除s =2且该图同构于H9外 ,均为Hamiltonian图 .     

Hilbert空间中非扩张半群的隐格式广义迭代程序

设H为实Hilbert空间,在H上考虑具有公共不动点的非扩张半群f={T(S):sE≥0),具有常数0<α<1的压缩映象f,和具有系数γ>0的强正线性有界算了A.设0<γ<γ/α,文章证明了由下列产生的序列{xn},强收敛于f={T(s):sE≥0}的某一公共不动点x3∈F(T),且x3是下列变分不等式的唯一解.〈(γf-A)x3,z-x3〉F0,对任意的z∈F(T)。     

压缩映射原理的扩充

本文推广了[2]中的结果,证得如下定理,并以[2]中的主要结论为其推论。定理:用F表示满足下列条件的函数族α(ρ):l)α(ρ)定义在[0, ∞]上,且当ρ>0时,0≤α(ρ)<1;2)对于任给的ρ_0∈(0, ∞)或ρ_0= ∞,有limα(ρ)≠1.又设A是将完备的度量空间X映入自身的压缩写像,且对任何x,y∈X,有 ρ(Ax,Ay)≤α(ρ(x,y)ρ(x,y),其中α(ρ(x,y)≡α(ρ)∈F,则A在X中存在唯一不动点。     

局部环 R 上一般线性群的生成元定理

本文主要是将域 F 上一般线性群 GL_n(F)的生成元定理,推广到局部环 R 上的一般线性群 GL_n(R).因为对 n 维 R——空间 V 及 GL_n(R)中元素σ,Q=(σ-1)V 及M={x∈V|σx=x}一般只是空间 V 的 R——子模,未必是 V 的 R——子空间,故 O.T.O'Meara 所定义的剩余空间的概念,不能直接引用。但不难指出,对空间 V 的任意子模,均存在依赖于该子模的不变量。据此,可对 GL_n(R)的元素,引进剩余数的概念,并在此基础上得到本文的结果。     

封闭可分解算子

在本文中,我们引入封闭可分解算子和封闭算子的谱容量的概念。并证明了如下的结果:(i)如果 T∈Q(X)(Q(X)表示复 Banach 空间 X 上有非空豫解集的封闭算子(不一定稠定)的全体)是2-可分解的,那末:(a)T 有 S(?)EP。(b)σ(T)=σ_(?)(T)。(c)对任意的开集 G((?)C),存在 Y∈SM(T)。使得(?)(d)(0) ∈SM(T)。(e)对于任意非零的 Y∈INV(T),σ(T|Y)≠(?)。(f)若 Y∈INV(T)且σ(T|Y)有界,那末 Y(?)D_T。(g)如果对于任意的 x∈D_T,σ(x,T)都是相界的,那末 T∈B(X)。(ii)如果 T∈Q(X),那末下列四条等价:(a)T 有2-谱容量;(b)T 有谱容量;(e)T2-可分解;(d)T 可分解并且,T 强可分解必须且只须 T 有强谱容量。(iii)如果 T∈Q(X)有2-谱容量 E,那末(a)suppE=σ(T)。(b)对任意的闭集 F(?)C,E(F)=X_T(F)∈SM(T)。     

一个变分双曲型组的解

本文研究带Dirichlet条件的边界值问题{□u+△G(u)=f(t,x),(t,x)∈Ω≡(0,π)×(0,π), (*)u(t,x)=0, (t,x)∈aΩ,的解的存在性,这里口是波算子a2/at2-a2/ax2,GRn→R是一连续函数.设σ(口)={k2-m2,k,m∈N}记波算子口的特征值的集合,(a2G(u)/auiaui)记u∈Rn.点处的Hessian阵.假定σ((a2G(u)/auiauj))∩σ(□)=φ.再设E={u|u(t,x)=∑k,mψkm(t,x)Ckm, Ckm ∈ Rn k,m ∈ N,∑k,m(k2+m2+1)|Ckm|2 ＜+∞},Y={y|y(t,x)=∑i,k,mμikmψkm(t,x)ei,k2 - m2 ＜γi(u),μikm ∈ R,k,m ∈N,∑k,m(k2+m2+ 1)|μikm|2＜+∞,i= 1,2,……,n} Z={z|z(t,x)=∑i,k,mμikmψkm(t,x)ei,k2 -m2＞γi(u),μikm ∈ R,k,m ∈ N ,∑k,m(k2 + m2+1)|μikm|2 ＜+ ∞,i = 1,2,……,n}.对Y中的k2-m2记ξ(‖u‖0) =min‖v‖0≤‖u‖0 mink,m∈N min1≤i≤n{γi(v)-(k2- m2) ＞ 0},对Z中的k2-m2,记η(‖u‖0)=min‖v‖0≤‖u‖0 mink,m∈N min1≤i≤n{k2-m2-γi(v)＞0},这里‖·‖0记(L2(Ω))n.假设∫+∞1ξ(s)ds=∞, ∫+∞1η(s)ds=∞.在上述条件下,我们使用R.F.Manasevich的最大值最小值定理证明问题(*)的弱解u0∈(H1(Ω))n的存在性和唯一性.     

关于有界度量空间四个映射的公共不动点

我们证明如下定理:定理1 令 S,T、I 和丁是有界完备度量空间(X,d)到自身的交换连续映射,对所有 x,y∈X,满足不等式。d(S~PT~Px,S~PT~Py)≤cmax{d(S~rT~r′I~ρJ~ρ′x,S~sT~s′I~σJ~σ′y),d(S~rT~r′I~ρJ~σ′x,S~sT~s′I~σJ~σ′x),     

半群OI_n(k,m)的秩

设OI_n是[n]上的保序严格部分一一变换半群.对任意1≤k≤n-1,且2≤m≤n,研究半群OI_n(k,m)={α∈OI_n:(x,y∈dom(α))x≤k■xα≤k,y≥m■yα≥m}的秩,证明半群OI_n(k,k+1)的秩为n,且半群OI_n(k,m)(m≠k+1)的秩为n+2.