一个改进的既约梯度法收敛性质的推广

我们考虑具有线性约束的非线性规划问题(?) f(x) R={x|x≥0,Ax=b,x∈E~n),(P)其中A是m×n矩阵,它的秩是m,b∈E~m,E~n和E~m分别是n维和m维欧氏空间。我们假定(H1)f(x)∈c~1,(H2)R非退化。P.Wolfe在1963年提出的解问题(P)的既约     

关于变分方程零点问题一个分歧图定理

设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相似文献   

关于迭代方程sum from i=1 to n(λ_if~i(x))=F(x)解存在性的讨论

一、引言本文讨论迭代方程λ_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]。使     

紧李群上Fourier系数的Riemann-Lebesgue引理

设G为一紧李群,A_λ(x)是G的以λ为首权的单值不可约酉表示,d_λ是A_λ(x)的秩,则{Φ_λ(x)=d_λ~(1/2)A_λ(x),λ∈Λ(G)}的矩阵元素全体构成了L~2(G)的完备就范正交系。若G为环群时,熟知的Riem-     

调和Hardy空间和混合模空间之间的连续嵌入

设D={x∈R~n;λ(x)<0}是一具有光滑边界的有界区域,λ∈C~∞(R~n)是D的一个定义函数,(?)λ在(?)D={x∈R~n;λ(x)=0}的某个邻域内处处不为零.对r>0,我们以dσ_r和dσ分别记(?)D_r={x∈R~n; λ(x)=-r}和(?)D上的n-1维Hausdorff测度,而以dm记R~n中的Lebesgue测度D上复值调和函数的全体记h(D)对f∈h(D)及非负整数m,置grad_mf为f的m阶梯度,其模为此处α=(α_1,α_2,…α_n)为n重指标,|α|=α_1+α_2+…+α_n,grad(?)=f.对0相似文献   

齐次群上Hardy空间的刻划

考察齐次群其伸缩结构为δ_r(x,ζ)=(r~2x,rζ),x∈R~n,ζ∈C~m;而Φ:是Hermite映照。取定C~m的标准基{β_i)_1~m,定义矩阵。记     

非紧致一秩Riemann对称空间上的中心极限定理

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上的初等球函数定义成     

右方为Radon测度时双重退化抛物型方程弱解的存在性

近年来,一批学者如Boccardo,Gallouet和Rakotoson等人,对于二阶椭圆型方程(?)u=f,当右端非齐次项f∈L~1(Ω)(非自反),更一般地f∈M(Ω)的情形进行了研究,这里M(Ω)=[C_c(Ω)],即C_c(Ω)的拓扑对偶,也称为有界的Radon测度集.最典型的例子是f=δ(狄拉克函数)∈M(Ω).归纳而言,他们对于拟线性的具有散度主部的椭圆型问题:—div((?)(x,u,Du))=f∈M(Ω),u|(?)Ω=0,(Ω(?)R~N),当(?)是个Caratheadory函数且满足Leray-Lions性质时(包括增长性、单调性     

多重Fourier级数及其共轭Fourier积分的球形求和

设E_K为K维欧氏空间,E_K中的点x记为x=(x_1,x_2,…,x_k),Q_k{x∈E_k;-π≤x_i<π,1≤i≤K},B(x_0,r)={x∈E_k;|x-x_0|≤r},Q={x∈E_k;|x|=1},K(x)=P(x/|x|)|x|~(-k)为球调和核,此处P(t)为n次齐次调和多项式。     

一类半线性抛物系统正解的爆破速度

近来有关抛物方程爆破问题的研究有了较大进展,越来越多的工作是对抛物系统爆破条件、爆破速度、爆破点集及渐近形态的研究,本文考虑如下Dirichlet问题: u_t-△u=υ~q,υ_t-△υ=u~q,(x,t)∈B_R×（O,T） u(x,t)=υ(x,t)=0,(x,t)∈S_R×(O,T), (1) u(x,0)=u_0(x),υ(x,0)=υ_0(x),x∈B_R, 其中B_R={|x|1（不妨设p≤q）,u_0,υ_0∈C~2是径向对称非增非负函数满足u_0(x)=υ_0(x)=0,x∈S_R且△u_0 υ_0~P≥0,△υ_0 u_0~P≥0,x∈B_R.我们得到 定理 设（u,υ）是式（1）的非平凡解,在有限时刻T爆破,那么存在常数c和C使得 c（T-t）~（-α）≤ sup_x∈B_Ru（x,t）=u（0,t）≤C（T-t）~（-α）,t∈（0,T）, C（T-t）~（-β）≤sup_x∈B_Rυ（x,t）=υ（0,t）≤C（T-t）~(-β),t∈（0,T）,     

半线性热方程的blow-up问题的一点注记

R. O. Ayeni(SIAM. J. Math. Anal, 14(1983),1),考虑如下问题:u_t=△u=f(x,t,u),t>0、掌∈经R~n (1)u(x,0)=u_0(x),u_0(x)≥0,x∈R~n (2)u(x,t)=0,当|x|→∞时,(3)在有限时间内blow-up。他对函数f的假定为     

Menger空间上多值映象的不动点定理

本文中,R~+=[0,∞),Z~+是所有正整数的集合,(E,△)为Menger空间,Q为E中一切非空闭、概率有界集族。设A,B∈Q,x∈E,(?)_(A,B)表示A,B间由诱出的Menger-Hausdorff距离,F(x,A)为     

全局渐近稳定性的Jacobi猜想的证明

设f∈C~1(R~2,R~2),f(o)=0.考虑平面微分方程x=f(x) (1)很久以来人们猜测:如果(?)x∈R~2,f的Jacobi矩阵Df(x)的特征值都具有负实部,则微分方程(1)的零解全局渐近稳定.在文献中,此猜想被称为Jacobi猜想或平面Markus-Yamabe猜想.1963年,Olech证明此猜想等价于f的全局单射性.1988年,Meisters和Olech证明,当f是多项式映射时,Jacobi猜想成立.1991年Gassull,Llibre和Sotomayor证明,当f是Khovansky函数(一类解析函数)时,Jacobi猜想成立.本文对一般情况证明了Jacobi猜想成立.1 预备知识设S~k(R~2,R~2)={f∈C~k(R~2,R~2)|(?)_x∈R~2,Df(x)是稳定矩阵},k=1,2,…, ∞ .设f∈S~∞(R~2,R~2),则(?)_x∈R~2,Lyapunov矩阵方程Df(x)G(x)十G(x)(Df(x))~T=-I_2 (2)有唯一正定解G(x),其中I_2为2×2单位阵.显然G∈C~∞(R~2,R~(2×2)).定义微分方程(?)y=G(y)ν,ν∈R~2, (3)y(0)=x,     

与一类超过程相关的Dirichlet问题

设ξ=(∈_ι,Π_x)是R~d中的右过程,令 (?)(x,z)=a(x)z b(x)z~2 integral from n =1 to ∞(e~(-uz)-1 uz)n_x (du), x∈R~d,z∈R~ ,(1)考虑下面Dirichlet问题 Av(x)-(?)(x,u(x))=0,x ∈　 D,(2) (?) u(x)=f(a),a∈(?)D~r,(3)这里D是R~d中有界区域,(?)D~r表示(?)D中正规点全体,且A是ξ关于D的特征算子. 我们用M表示(?)(R~d)上的有限测度全体,用(?)表示M上由fB(μ)=μ(B),B∈(?)产生的σ-代数.本文中τ都表示开集D的首出时.根据Dynkin存在取值于(M,(?))的具有参数(ξ,(?))的超过程 X={X_t,X_τ,P_μ,μ∈ M}.Dynkin在文献[1]中证明了如果ξ是光滑一致椭圆算子,关于x局部Lipshitz连续,公式 v(x)=- log Pδexp(-(f, X_τ))(4)是方程(2)Dirichlet问题的唯一解.本文将上面结果推广到一些一般型条件(底过程不一定连续).     

关于对称PBD猜想

在设计论中我们知道:(1)如D=(V,I)是对称设计S_λ(2,k,v),x∈V,令     

正定积分算子的本征值

设Ω=(0,1)×(0,1),K∈L~2(Ω),T是由下式定义的积分算子 Tf(x)=integral from 0 to 1 (x,y)f(y)dy。我们称算子T及其核K(x,y)是正定的,指并且对所有f∈L~2(0,1)有算子丁的本征值λ_n是大家感兴趣的。H.weyl(参     

广义Kac-Moody代数虚根与权的注记

本文中符号均同文献[1],并记P_ ~0 ={λ∈P_ |〈λ,α_i~v〉≥O,(?)α_i∈∏~(im)}.可以证明,当GKM代数g(A)不必可对称化时,文献[2]中的结果亦成立,即有引理 设(?)∈P_ ~0,则(a)任一λ∈P(?)都关于(?)非退化;(b)对任意α_i∈∏~(im)及λ∈P(?),当〈λ,α_i~v〉=0时,过λ的α_i权链中只含λ一个元;当〈λ,α_i~v〉>0时,过λ的α_i权链形如 …,λ-α_i,λ,…,λ qα_i(q∈Z_ );(c)P(?)=W|λ∈P_ ~0|λ关于(?)非退化}.定理1 设(?)∈P_ ~0,则P(?)(?)((?) Q)∩C_0(W(?)).     

由Fuzzy关系诱导的M-F连续映射性

定义1 T:X×Y→[0,1]是普通集合X到Y的单值Fuzzy关系,设x_2∈X,Υ(x,y)>0,令f~T(x_λ)=y_λT(x,y),称f~T为X到Y的M-F映射,记作f~T:X→Y。     

关于{x/n}的分布(Ⅱ)

的自然数n≤x的数目.对L(x;R,α)的估计,是Dirichlet除数问题的引伸.猜测应当有L(x;R,α)(?)Rx~ε(2)对0≤α<1一致成立,但现有的结果离这一理想结果还要差好多.王炜证明了:对任一指数对(κ,λ),当R≥x~(λ+κ/1+2λ)时,(2)式成立.另外,他还证明了     

Fuzzy拓扑代数及局部乘法凸Fuzzy拓扑代数

定义 设X是数域K上的代数,(X,T)是如Lowen定义的Fuzzy拓扑空间,若对任何a,b∈X映射f:(x,y)→x y,g:(k,x)→kx,h_a:y→ay,h~b:xb(x,y∈X,k∈K)均是Fuzzy连续的(其中