关于一个改进的既约梯度法的收敛性质

设非线性规划问题(P):(?)f(x),R={x|Ax=b.x≥0}。其中x∈E~n是n维欧氏空间中的点,A是m×n阶矩阵(m≤n),其秩为m。b∈E~m。现在对问题(P)作如下的假设:     

反链方法及其在正则三值逻辑函数计数上的应用

为适应不确定推理之需要,Mukaidono提出并系统地研究了正则三值逻辑函数的理论.这类函数个数的计算十分复杂,至今仅对自变量个数小于7的情形提出了若干结果.本文将反链方法与该类计算联系起来,从而为解决该类问题提供了一种新的可能途径.定义1 　设E={0,1/2,1},在E上除通常序“≤”外,再定义偏序(?)为:0(?)1/2,1(?)1/2,i(?)i.这两种序在E~n上各诱导出相应的乘积序,仍记为“≤”或“(?)”.映射f:E~n→E称正则函数,若(?)a,b∈E~n,当a(?)b时f(a)(?)f(b).正则函数f:E~n→E称单调函数,(?)a,b∈E~n,当a≤b时f(a)≤f(b).以下用F(n,R)记全体n元正则函数之集,用F(n,M)记全体n元单调函数之集.定义2 设(P,≤)是非空偏序集,a,b∈P.若有c∈P使c≤a且c≤b,则称a与b有公根.设A与B是P中的反链,若(?)a∈A和(?)b∈B,a与b有(无)公根,则称序对(A,B)为全(无)公根反链对.以下用E(n)表示(E~n,(?))中全体无公根反链对之集.令N(n)={1,…,n}.W(n)={L:L(?)N(n),L≠φ},用N(n,C)表示(W(n),(?))中全体全公根反链之集.定义3 设a=(a_1,…,a_n)∈(E~n.(?)).     

任意初始点下的广义梯度投影方法

本文考虑问题(NP): 其中只={x∈E~n丨h_i(x)≤0,j=1,2,…,m}。 记I={1,2,…,m},g(x)=-▽f(x),φ_θ(x)=max{0,φ(x)},A(x)=(▽h_i(x),j∈I);H(x)为-n×n维对角矩阵,其主对角元为     

保持广义可合数值域的线性算子

设G是对称群S_m的子群.记CG是所有函数f:G→C的集合.称f是半正定的,如果存在c∈CG,使得对任意的r∈G有f(r)=sum from σ∈G (c(στ)c(σ)特别地,G的不可约特征标是半正定的.记C_n×m为n×m复矩阵集.对于f∈CG,广义矩阵函数d_f:C_m×m→C定义为d_f(A)=sum from σ∈G (f(σ))multipy fromu=l to a_iσ(i),其中A=(a_i,)∈C_m×m 设 1≤ m≤n,f∈CG,A∈C_n×n.如果f是非零的和半正定的,则定义A的f可合数值域为集合W_f(A)=|d_f(X~*AX)|X∈C_n×m,d_f(X~*X)=1|当m=1且f=1时,W_f(A)即是A的经典数值域外W(A)=|x~*Ax|x∈C_n×1,x~*x=1|.f-可合数值域相关于张量对称类的可合元素.设c∈CG对任意的,τ∈G满足(1)式记V为带有标准内积的向量空间C_n×1.则张量空间(?)V是酉空间,其诱导内积满足(x(?),     

非齐次特征值问题解存在性研究

给定n×n实矩阵,求λ∈R和x∈R~n,使得 Ax=λx+b,(1) x~Tx-s~2,(2)这类问题称为非齐次特征值问题. 非齐次特征值问题在数学和其他领域里有许多应用,如线性微分方程组解稳定性研究,     

不连续系统的实用稳定性

本文研究F-不连续系统(d_x)/(d_t)=f(t,x)的实用稳定性,这时f在n 1维区域G=E_4~1×H上可测,对任意有界闭域DG,存在L可积函数m(t)使得|f(t,x)|≤m(t),a.e.(t,x)∈D成立,称x(t)为(1)式的解,若x(t)在J的每个列紧子集I上绝对连续,使得对a.e.t∈J满足关系式     

关于具有限时滞Liénard方程周期解的存在性

关于具有限时滞的Liénard方程x(t) f(x(t))x(t) g(x(t-r))=0 (0.1)的周期解的存在性的研究已有很多,但多数对g(x)都假设x∈R\{0}时X·g(x)>0.该条件对某些实际背景很强的方程是不成立的.如向日葵方程a(t) (a/r)a(t) (b/r)sina(t-r)=0就不满足上述条件.关于方程(0.1)的周期解的研究可参阅文献[2～4]及其参考文献.本文的目的在于以滞量r为参数,在减弱条件x·g(x)>0的基础上,给出保证方程(0.1)存在非平凡周期解的充分条件1 零解的稳定性及Hopf分支对方程(0.l),假设r>0为常数f,g∈C~2且g(0)=0.记f(0)=m,g’(0)=n,且设m>0,n>0.令x=y,则方程(0.1)化成等价系统     

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

圆周自映射拓扑熵为零的充要条件

设S~1为单位圆周,对a、b∈S~1,a≠b,(a,b]、[a,b)分别是指S~1上按逆时针方向从a到b的半开弧。对于f∈C~0(S~1,S~1),记f的拓扑熵为ent(f),f的回复点集为R(f),     

实轴上C~1微分同胚的C~1共轭分类

本文将对一类R上的局部的和整体的C~1微分同胚给出其在C~1共轭下的完全分类. 对r=1,2,…,∞,ω,记D~r(0)={f:R→R是C~r的,f以0为唯一的不动点,又f′(x)>0,x∈R}.文献[1,2】系统地讨论了f∈D~r(0)的光滑嵌入流的存在性以及其它相关的问题,证明了以下分类问题仅有数值不变量:     

低于临界指标的Bochner-Riesz平均的逼近性质

记Q~n={(x_1,…,x_n):-π≤x_j<π,j=1,…,n}。Z~#表示R~n中的整格点集。对于f∈L(Q~n)的n重Fourier级数及其共轭级数的α阶Bochner-Riesz平均定义为其中a_m(f)为f的Fourier系数,K(x)=P(x)|x|~(-n-k)(k≥1),P为k次齐次调和多项     

双障碍问题的等价线性互补问题

R~n中双障碍问题是一类重要的变分不等式,可产生于数学物理问题的离散,也可直接来源于实际问题.其形式如下:求X~*∈K,使得(y-x~*)~T f(X~＊)≥0,(?)_y∈K(1)其中f(x)=Ax-q,K=multiply from i=1 to n(K_i),而A∈R~(n×n),q∈R~n,K_i为一维闭区间,也即取下列四种形式之一:(-∞,b_i],[a_i,b_i],[a_i, ∞),(-∞, ∞).为简单起见,上述问题我们用VIP(K,f)表示,且约定对下无界区间记a_i=-∞,上无界区间记b_i= ∞.显然,当K_i(i=1,2,…,n)为非负实半轴时,上述变分问题变为如下线性互补问题LCP(f):求X~*∈R_ ~n,使得     

与一类超过程相关的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问题的唯一解.本文将上面结果推广到一些一般型条件(底过程不一定连续).     

半鞅局部时的变量替换公式

令(X_t)为一半鞅。我们用(L_t~a(X))表示(X_t)在a处的局部时,如果f为R上两个凸函数之差,熟知f(X)为一半鞅。本文旨在给出半鞅局部时的变量替换公式,即用{L_t~a(X),a∈R}来表示f(X)的局部时的公式。 在本文中,f为R上两个凸函数之差.对任一a∈R,我们令A(a)={x:f(x)=a},并     

正定积分算子的本征值

设Ω=(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(参     

关于迭代方程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]。使     

一类具有n+1个参数的变测度算法

在优化技术中,变测度算法是近年来常用的一种方法.设x∈E~n,f(x)是要求最小点的目标函数,g(x)=▽f(x)是f(x)在点x上的梯度向量,r_0为一初始点,而H_0是一给定的方阵,则变测度算法的第k步迭代可以描述如下:假定x_k是f(x)的最小点x~*的k次近似,H_k为一方阵,x_k与H_k都由前一次迭代确定(当k=0时它们是给定的).今取—H_(kgk)~T为搜索方向,这里gk=g(x_k).用x_k 1表示f(x)     

半线性热方程的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的假定为     

m=n时的Sard定理之改进

本文将m=n时的Sard定理的条件“f∈ c~1”减弱成“f a.e可微,f′(x)有界,f为保零映射”。 定义 设Q是R~n中的开集,     

圆周自映射的回归点和非游荡点

设C~0(S~1,S~1)为圆周S~1到自身的全体连续映射集合,并设f∈C~0(S~1,S~1)。周期点集、回归点集、非游荡集以及x的ω极限点集分别记作P(f)、露(f)、Ω(f)和ω(x,f),f的拓扑熵记作ent(f)。