系统￡*中极大相容理论结构刻画的归纳证明

在不使用系统￡*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D({ψ1,ψ2,…}),这里ψi∈是系统￡*中全体命题变元,进而给出了极大相容理论的若干刻画条件;证明了系统￡*的满足性定理和紧致性定理,其结果完善了系统￡*的理论体系.     

二阶m点边值问题的可解性

设f：[0,1]×R^2→R满足Caratheodory条件,（1-t）e（t）∈L^1[0,1],0〈ξ1〈ξ2〈…ξm-2〈1,本文运用Leray-Schauder不动点定理来考虑m点边值问题 x″（t）=f（t,x（t）,x（t））,＋e（t）,t∈（0,1）,α0x（0）＋α1x（0）=0,x（1）=∑i=1^m-2βix（ξi）,C[0,1]∩C^1[0,1）解的存在性。     

S_n的元素阶的集合的两种刻画

Sn是n次对称群,On是Sn的元素的阶的集合,完整地给出了On的两种刻画On={[n1,n2,…,ns]｜n1,n2,…,ns为正整数且sum ni≤n from i=1 to s},On={Π i=1 w piαi｜p1,p2,…,pw为互异素且Σi=1 w piαi≤n}.     

可测横截集及类Shannon抽样定理

L^2（R^2）中可测横截集被定义,它的性质被刻画,与之相联系一个标准正交基也被导出.从而,在L^2（R^2）中,具有更广泛形式的类Shannon抽样定理被发现.最后一些例子被给出.     

L^＊系统中的模糊演绎定理的改进形式

研究了模糊命题演算的形式演绎系统L^*，对其中的演绎定理进行了详细讨论，得到了在一定条件下的L^*系统中的演绎定理：设A，B∈F(S)，若|-(q→p∨p)∨q→A，Γ包含于F(S)，则|-A→B当且仅当rU{A}|-B，将L^*系统中的模糊演绎定理进行了改进，进一步说明了L^*系统所具有的良好性质．同时，在本文定理的证明中进一步体现了L^*系统中的公理L10在模糊命题演算形式演绎系统中的作用，为模糊命题演算的形式演绎系统的研究，特别是L10的应用研究提供了一种新的思路和方法。     

带p-Laplacian算子的分数阶微分方程的正解

研究一类带p-Laplacian算子的高阶多点Caputo分数阶微分方程:Dβ0+(φp(Dα0+u(t)))+f(t,u(t))=0,0≤t≤1,l-1β≤l,n-1α≤n,(φp(Dα0+u(0)))(i)=0,i=0,1,2,…,l-1,■m-2u(i)(0)=0,i=1,2,…,n-1,u(1)=∑aiu(ξi)。■i=1运用Schauder不动点定理,得到边值问题正解的存在性,最后给出了例子来验证所得结论。     

独立模糊随机变量的强大数律

设{xn,n≥1}是一模糊随机变量序列且{an,n≥1}是一列常数,且满足0〈an↑∞.设函数满足于φ（x）↑,φ（x）x↑,φx（2x）↓,如果有n∞=1Σni=1ΣE（φ（‖xi‖ρp））φ（an）〈∞,∞n=1Σ（ni=1ΣE（‖xi‖ρ2p）an2）s〈∞,则E‖xi‖ρ2p/an→0等价ni=1ΣXi/an→C 0-等价ni=1ΣXi/an→a.s.0-等价ni=1ΣXi/an→p 0-.     

关于有限幂零群共轭类数的一个注记

<正> 本注记的目的是纠正Sherman在文献[1]中的第二个定理,该定理说:“设G是阶为p1r1p2r2…psrs的n类幂零群,则其中诸pi是互异素数,且ti=max{1,ri-1}。该定理中的第二节不等式     

一类半线性Duffing方程解的有界性

借助一个非线性变换,在一定的假设下,利用Moser小扭转定理重新证明方程x^″＋n^2x＋φ（x）=p（t）所有解都是有界的,这一方法可极大地简化文献【1】中定理1的证明．     

关于Diophantine方程x~(d(n))+y~(φ(n))=z~(σ(n))

对于正整数n=2tpa11pa22…pakk,这里pi是奇素数,mi是正整数,i=1,2,…,k,2p1p2…pk,t是非负整数.设d(n),φ(n),σ(n)分别表示n的约数函数,Eu ler函数和约数和函数.给出了:n=2和3时,方程xd(n)+yφ(n)=zσ(n)正整数解的一般公式;并证明了ai(i=1,2,…,k)中至少有两个为奇数或存在i及奇素数p,使pi≡1(modp)且ai≡-1(modp)两种情形时,方程xd(n)+yφ(n)=zσ(n)没有正整数解.     

关于Nicol数的两个问题

对于正整数n,设φ(n)和σ(n)分别是n的Euler数和约数之和,当n︱φ(n)+σ(n)时,n称为Nicol数.运用初等方法讨论了Nicol数的存在性,设a=p1α1p2α2…prαr,其中r是大于1的正整数,pi(i=1,2,…,r)是不同的奇素数,αi(i=1,2,…,r)是正奇数,证明了如果n=a或2a,则n不是Nicol数.     

量子系综对的量子关联性

研究一对量子系综{ε,η}的量子关联性。在量子信息论中,通过量子测量只能知道量子系统的状态ρ以一定的概率pi处于某个状态ρi,从而得到一系列的量子态ρ1,ρ2,…,ρn以及它们出现的相应概率p1,p2,…,pn;进而得到一个"量子系综"ε={pi,ρi}ni=1。构造一个四体量子态ρε,η,利用量子相对熵,定义了反映"量子系综对"所含量子关联的度量函数,揭示了这个度量函数的一些性质。     

时滞时变系统的能稳性

研究具有多个时滞变量的系统.x(t)=A0x(t)+∑pi=1Aix(t-hi(t))+Bu+f(t,x(t),x(t-h1(t)),…,x(t-hp(t)))x(t)=φ(t),t∈[-H,0],0≤hi(t)≤H的能稳性,其中x∈Rn,Ai∈Rn×n,i=0,1,…,p,B∈Rn×m,u∈Rm,f为连续函数,且f(t,0,…,0)=0,φ(t)为给定的连续初始函数.通过李亚普诺夫泛函和一个改进的Razumikin型定理,得到了该系统能稳性的判别准则.     

哈密尔顿性和部分平方图的独立集

设G是一个图,G的部分平方图G^＊满足V（G^＊）=V（G）,E（G^＊）=E（G）∪{uv：uv∈E（G）,且J（u,v）≠φ},这里J（u,v）={w∈N（u）∩N（v）,N（w）（∈）N[u]∪N[v]}.本文利用插点方法,给出了关于k,或（k＋1）-连通（k≥2）图G是哈密尔顿的,1-哈密尔顿的或哈密尔顿连通的统一证明.其充分条件是在图G中关于^k∑i=1｜N（Yi）｜＋b｜N（y0）｜与n（Y）的不等式,这里Y是图G的部分平方图G^＊的任一独立集,对于i∈{1,2,…,k},Yi={yi,yi-1,…,yi-（b-1）}（∈ ）Y（yj的下标将取模k）;b是一个整数,且0＜b＜k＋1;n（Y）=｜{v∈V（G）,dist（v,Y）≤2}｜.     

φ混合序列自正则加权和的中心极限定理

设{Xn, n≥1}为一严平稳φ混合随机变量序列, EX=0, V 2n=∑ni=1X2i, {an,i, 1≤i≤n, n≥1}为一实数阵列, Sn=∑ni=1an,iXi. 利用随机变量阵列的弱收敛定理, 在较一般的条件下, 证明了自正则加权和{Sn/Vn, n≥1}的中心极限定理, 改进并推广了已有混合序列自正则化中心极限定理的相关结果.     

模糊命题系统G(o)del和L*中条件真度的比较

首先把条件真度由三值逻辑系统推广到连续值系统Gdel和L＊中,然后通过计算同时包含伴随对（,→）的4个公式（pq）→r,p（q→r）,（p→q）r和p→（qr）基于同一个信息Γ={p}下的条件真度并比较其大小,得到条件真度的大小服从三角模算子的大小顺序,即τL＊≤Gτd.     

一类带有p-Laplacian算子的分数阶微分方程反周期边值问题解的存在性

研究了一类带有p-Laplacian算子的分数阶微分方程反周期边值问题{(Cφp Dα0+u(t))=f(t,u(t)),t∈[0,T],u(0)=-u(T),u′(0)=-u′(T)解的存在性,其中1α≤2,T0,φp(s)=s p-1s,p1,(φp)-1=φq,p-1+q-1=1,CDα0+为Caputo分数阶微分,f:[0,T]×R→R为连续函数.利用分数阶微分方程和反周期边值条件的特性给出所研究边值问题的Green’s函数,然后借助于Banach压缩映像原理和Krasnosel’skiis不动点定理得到此反周期边值问题解的一些新的存在性理论.作为应用,给出了2个例子验证了所得结果.     

Banach空间奇异／n点边值问题的正解

通过构造一个特殊的闭凸集，利用Msnch不动点定理研究了下列Banach空间奇异m点边值问题的正解。{φ＂（x）＋f（x,φ（x））=0,（0〈x〈1） φ（0）=θ,φ（1）=∑i=1^n-1 aiφ（ξi）。     

带有阻尼项的二阶奇异耦合系统的周期解

考虑耦合阻尼系统{x″+p1(t)x'+q1(t)x=f1(t,y)+e1(t),y″+p2(t)y'+q2(t)y=f2(t,x)+e2(t).周解期的存在性问题.其中pi,qi,ei∈L1(R)是T-周期函数,fi∈Car(R×R+,R)(i=1,2)在原点具有奇异性.运用Schauder不动点定理和fi的奇异性,证明该系统存在周期解.     

M-估计的强相合性

本文在x1，x2，…，xn，…为非随机变量的情况下讨论了模型y1=f（xi，θ）＋εi i=1，2，…，n下的M-估计θn的强相合性，其中θn满足∑^ni=1p（yi-f（xi,θn））=minθ∈⊙ ∑^ni=1p（yi-f（xi,θ））给出了M-估计具有强相合性的一个充分条件。