W~lL_p(φ;Ω)空间的迹定理与强非线性变分问题

本文对空间W~lL_p(φ;Ω)建立了迹定理,并把它应用到强非线性变分问题上.1.W~lL_p(φ;E_n~+)的迹定理借助于文献[1]的方法,容易得出     

集值鞅、下鞅与上鞅

本文是在文献[1-8]的工作基础上进行的。 设(Ω,A,P)是一完备概率空间,X是可分Banach空间,X~*是其对偶空间。令     

一类双参数带跳非马氏型随机微分方程解的轨道唯一性

设(Ω,(?),Ρ)为一个概率空间,((?))_(Zz∈R_t~2)为满足通常条件的6-代数族(参见文献[1]).Yeh在文献[2]中考虑了双参数非马氏型随机微分方程(SDE):     

关于锥映象的几个不动点定理

本文利用拓扑度理论改进了文献[1]与[2]中有关锥映象的几个不动点定理。设E是实Banach空间,P是E中一个锥,Ω是E中有界开集。引理1 设A:P∩→P全连续,B:P∩Ω→P全连续。如果满足     

利用Markoff核表示Fuzzy概率

设Ω是一抽象空间,F(Ω)表Ω上的Fuzzy子集全体,是Ω上的Fuzzy代数,μ是上的Fuzzy概率,是[0,1]上的Borel σ代数。     

关于姜伯驹的三个引理

本文标题中的三个引理是文献[1]中的引理4.3、4.4和4.5,也就是文献[2]中的引理Ⅲ4.2、Ⅲ4.3(ⅰ)和Ⅲ4.4(ⅰ)。它们原来的证明都用了泛复迭空间理论。本文的目的是不用泛复迭空间理论,而是用“直接”法给出上述文献[2]中三个引理的一个简单的新证明,并且提出     

含非零基座本原环的拟临界环

Jacobson在文献[1]中证明了含非零基座本原环的结构定理:环R是含非零基座S的本原环当且仅当存在除环△上一对对偶空间(M,M′)使得,其中,Ω是M的全线性变换环},(?)(M,M′)是(?)(M,M′)中的所有关于M的秩是有限的线性变换的集合。此后人们又用不同方法证明了这个定理,如文献[2,3]。本文目的是在除环上的向量空间的全线性变换环中引进关于它的子环的拟元的概念,从而得到了含非零基座本原环的拟临界环,并改进了文献[1]中关于含非零基座本原环的结构定理。     

右方为Radon测度时—类抛物型方程的松弛解

其中μ∈M(Q)=[C_c(Q)]’(Radon测度集),γ≥0和γ~*≥0,p>1,Ω是R~N中的有界开集,0∈Ω,文献[3]得到:至少存在着问题(P)的一个弱解u,u∈L~q(O,T W_0 ~(1,q)(Ω,|x|~v~*))(带权的Sobolev空间),其中q的取值蕴含着对p有相应的限制,即它要求     

空间B(l~1(Γ),C(Ω))中的等距逼近问题

本文中使用的数域为K(=R或C),并假定Γ为一个无穷指标集和Ω为一个紧Hausdorff空间,关键词(除最后一个外)都采用文献[1]中的定义。 定义 Ω中的闭集族{A(i,λ):i∈I,λ∈A}称为具有α-互锁性是指     

半空间上半线性椭圆型方程组正解的对称性

1979年,Gidas等人用平移平面法结合极大值原理讨论了椭圆型方程正解的对称性和单调性.此后十几年中,这方面的研究工作开展得十分活跃,如Gidas等人证明了“如果u∈C~2(?)是方程面△u u~p=0,u(?)Ω=0在半空间Ω=│x=(x_1,x_2,…,x_N)│X_N>0│中的非负解,12是空间维数,则u只依赖于X_N”正如文献[2]中指出的那样,这个结果好就好在对解在无穷远处未加限制.1993年,Berestycki等人应用文献[4]中提出的滑动方法证明了“如果u∈C~2(?)是方程△u f(u)=0,u(?)Ω=0在半空间Ω=│x=(x_1,x_2,…,x_N)│x_N>0│中的正解,且supu=M< ∞,f是[0,M]上的Lipschitz连续函数,f(M)≤0,则u只依赖于X_N”上述这些结果,以及由此产生的各种方法,如平移平面法、滑动方法、窄区域上的极值原理等等,对我们研究非线性椭圆型方程的解的对称性、单调性及解的先验估计等提供了某些行之有效的办法.关于半线性椭圆型方程组的解的对称性和单调性研究,至今为止还未广泛开展.众所周     

一般概率度量空间的等距度量化

文献[1～3]对两类特殊的概率度量空间进行了等距度量化,得到了定理A PM空间(E,F)等距同构于一个伪度量族生成空间(E′,d_r,r∈(0,1)(?)≥min.PM空间(E,F)等距同构于一个度量空间(E′,d)(?)(1,b)>a,(?)a∈(0,1).本文将对一般的概率度量空间(?(a,a)=1)进行等距度量化.除特别声明外,本文符号和术语与文献[1,3]相同.     

无界报酬半马氏折扣模型的初等方法

半马氏决策规划折扣模型已由许多作者所研究(如文献[1—5])。从所用的方法来看,有的用不动点定理(如文献[4]),有的用马氏位势理论(如文献[5]),有的先给出一些条件,然后从最优方程获得通常的结果(如文献[2])。这些证明均较冗长。本文是文献[6]的继续,对文献[4]中无界报酬半马氏折扣模型{S, (A(i), (i), i∈S), q, r, t, V_α},我们用初等的证明方法,反而比前述方法更快地获得了结果。这里S为一可列集;A(i)为非空集,(A(i),     

关于Liénard方程存在极限环的条件

讨论Liénard方程 f(x) g(x)=0或其等价方程组■存在极限环的条件已经很多,其中以条件及条件(可参看文献[3])引用最广。普遍认为文献[1]的条件似乎是最少的。本文提出了一组新的条件,在外境界上推广了文献[2]的条件,而又与文献[1]的条件互相独立。在内境界上,提法上已较文献[1]     

一类Hopf曲面的模空间

在文献[1]中,Kodaira构造了S~1×(S~3/H)上复结构的模空间为平面上的空心单位圆盘D~*={z=∈C|0<|z|<1),这里H=<σ,τ>为σ,τ自由生成的群。ρ=exp(π/n (-1)~(1/2)),n≥2为固定整数。本文对一般型H构造了S~1×(S~3/H)上复结构的模空间仍为D~*。我们所用方法也不同于文献[1]中的方法。     

一个四阶变分不等式的有限元逼近

一、引言 考虑下述四阶变分不等式其中 (1.2)且α<0<β是常数。 文献[1]中研究了这个变分不等式问题,当Ω(?)R~l是有界光滑区域时,有下述结果: 定理1.1. 若f∈L~p(Ω),p≥2,则问题(1.1)之解u∈W~(3,p)(Ω),且△u∈W_0~(1,p)(Ω)。     

序列空间之间的无穷矩阵算子的拓扑代数

拓扑代数是泛函分析的一个分支,已经应用于多复变函数、微分几何、无界算子等领域,同时代数拓扑、K-理论等也已经被应用于拓扑代数。如所周知,Banach空间上的连续线性算子全体构成Banach代数,因之,研究具体拓扑线性空间上的连续线性算子全体的拓扑代数具有明显意义,它既可以为一般理论的研究提供思路和例证,又可以用来构造反例。注意到K(?)the的完全(perfect)序列空间是一类相当广泛而又十分具体的局部凸拓扑线性空间,文献[3]讨论了其上的无穷矩阵算子全体的拓扑代数,证明了这类拓扑代数或是非m-凸且不可度量化,或是Banach代数,这样一来,它所反映的拓扑代数类也就不够广泛了。文献[4]探讨了序列空间之间的无穷矩阵算子类中的一种特殊子代数,但所得结果仍欠完整。     

曲面广义Gauss映射像的体积

设R~n(c)是n维实空间形式.当c=0时,R~n(c)=E~n;当c=1时,R~n(c)=S~n;当c=-1时,R~n(c)=H~n.欧氏空间E~n中极小曲面的全曲率等于其Gauss映射像的体积的-1倍。在文献[1]分别对球空间S~n和伪球空间H~n中极小曲面建立了类似结果.在文献[2]把这些结果推广到R~n(c)中伪脐曲面.本文进一步把这些结果推广到R~n(c)中任意曲面。     

变时滞线性滞后系统的稳定性

本文研究变系数线性滞后系统,得到其稳定性的条件适用于变时滞,无界系数系统,且改进了文献[1,2]的相关结果。     

关于两参数马氏过程的一个反例

一、引言和定义 本文以一个简单的例子否定了文献[1]的定理1和命题3(c)(ii)等结论,证明了宽过去马氏性与*-马氏性是不同的,从而澄清了一些误解。 沿用文献[2]的记号。设为取值于可测空间(E,)的两参数(两指标)过程。将X延拓到平面R_2上,对z∈R~2\R_+~2,令x_z=c(常值)。设z=(s,t)∈R~2,     

Banach空间中星形映照的增长定理与1/4-定理

本文给出了一般Banach空间中单位球上正规化双全纯星形映照的增长定理和1/4-定理,补充并完善了文献[1—3]的结果。 设X是Banach空间,是X中单位球。如果存在一个有界线性映照Df(x):X→X使