增广Lagrangian对偶分解方法求解变分不等式系统

本文考虑带约束的变分不等式系统.提出一个基于增广Lagrangian对偶的分解算法,本文给出了算法的收敛性分析.     

关于结构型单调变分不等式的平行分裂增广Lagrangian方法的O(1/t)阶收敛性(英文)

最近,何[3]证明了投影收缩算法的O(1/t)阶收敛性.受此启发,本文证明了结构型单调变分不等式的平行分裂增广Lagrangian方法的O(1/t)阶收敛性.     

求解不可微箱约束变分不等式的下降算法

1 引 论 设X(?)Rn是非空闭集,F:Rn→Rn连续映射,变分不等式问题VI(X,F)是指:求x∈X,使 F(x)T(y-x)≥0,　 (?)y∈X,(1)记指标集N=(1,2,…,n},当 X=[a,b]≡{x∈Rn|a≤xi≤bi,i∈N},(2)其中a={a1,a2,…,an}T,b={b1,b2,…,bn}T∈Rn时,VI(X,F)化为箱约束变分不等式VI(a,b,F).若ai=0,bi=+∞,i∈N,即X=R+n≡{x∈Rn|x≥0}时,VI(a,b,F)化为非线性     

一类退化拋物变分不等式问题解的存在性和唯一性

本文研究了一类基于非线性拋物变分不等式问题,{min{Lu,u-u_0}=0,(x,t)∈Ω_T,u(x,0)=u_0(x),x∈Ω,u(x,t)=0,(x,t)∈Ω×(0,T),其中L表示变指数退化抛物算子.通过新的惩罚函数和微分不等式级数,证明了该变分不等式解的存在性和唯一性.     

运用a~2 ab b~2的变式证明一类不等式

众所周知,在不等式的证明过程中,常常要将待证的式子进行适当的变形,以利于问题的解决.本文将式子a2 ab b2进行适当的变形后,对一类不等式的证明起到了较好的效果.变式1a2 ab b2=(a 2b)2 3b24.例1已知x,y,z∈R,求证:x2 xy y2 y2 yz z2 z2 zx x2≥23(x y z);证明x2 xy y2=(x 2y)2 43y2≥23|y|≥23y,同理y2 yz z2≥23z,z2 zx x2≥23x,三式相加即可,x=y=z=0时取等号.变式2a2 ab b2=a2 b2 (a b)22例2已知x,y,z∈R,求证:x2 xy y2 y2 yz z2 z2 zx x2≥2(x y z).证明x2 xy y2=x2 y2 (x y)22≥|x 2y|≥22(x y),同理y2 yz z2≥22(y z),z2 zx x2≥22(…     

一类具有尖点环的三次Hamilton向量场的Abel积分

文进一步完善了文 [6]的工作 ,证明了 Abel积分I(h) =∮Γh(α βx γx2 ) ydx的零点个数上界 B(3)满足不等式 4≤B(3)≤ 6,这里 Γh是代数曲线 H(x,y) =12 y2 13x3 14 x4=h的连通闭分支 ,h∈ (- 1 / 1 2 ,0 )∪ (0 , ∞ )     

基本不等式的常数匹配

对于基本不等式a~2+b~2≥2ab①及a+b≥ab~(1/2)②,a、b可以其一为常数,其一为变元,即可变为只含一个变元的不等式。反之,根据证题的需要,当问题的形式与基本不等式不合时,我们可给相应变元配置恰当常数(不妨称之为匹配常数),使之成为适用基本不等式的形式。本文拟就这一思考方法证一类条件不等式。例1 已知x、y、z∈R~+,x+y+z=3, 求证:     

关于乘子法的一种新算法

本文提出了关于增广乘子法的一种新算法.证明了该算法的合理性及其收敛速率为超线性的.对于非线性规划问题:(P)minf(x) x∈R~ns.t.h(x)=0,g(x)≤0.其中f:R~n→R~1;h:R~n→R~m;g:R~m→R~p均为二次连续可微.等式与不等式的有效约束的     

一类二元函数最值的求法

文[1]利用不等式:设x1,x2∈R,y1,y2∈R ,则x21y1 x22y2≥(x1 x2)2y1 y2(1)(当且仅当x1y1=x2y2时等号成立)给出了一类二元函数最值问题的一种解题策略.受此启发,本文给出另一类二元函数最值的求法.定理设x,y∈R,a,b∈R ,则(1)当a>b时,有x2a-y2b≤(x-y)2a-b(2)(2)当a相似文献   

矩阵不等式约束下矩阵方程最小二乘问题的增广Lagrangian方法北大核心CSCD

称X∈R^(m×n)为实(R,S)对称矩阵,若满足X=RXS,其中R∈R^(m×m)和S∈R^(n×n)为非平凡实对合矩阵,即R=R^(-1)≠±I_m,S=S^(-1)≠±I_n.该文将优化理论中求凸集上光滑函数最小值的增广Lagrangian方法应用于求解矩阵不等式约束下实(R,S)对称矩阵最小二乘问题,即给定正整数m,n,p,t,q和矩阵A_i∈R^(m×m),B_i∈R^(n×n)(i=1,2,…,q),C∈R^(m×m),E∈R^(p×m),F∈R^(n×t)和D∈R^(p×t),求实(R,S)对称矩阵X∈R^(m×m)且在满足相容矩阵不等式EXF≥D约束下极小化‖∑_(i=1)~qA_iXB_i-C‖,其中EXF≥D表示矩阵EXF-D非负,‖·‖为Frobenius范数.该文给出求解问题的矩阵形式增广Lagrangian方法的迭代格式,并用数值算例验证该方法是可行且高效的.     

具有正则*-断面的正则半群的结构

设S是一个正则半群,如果存在一个S的子半群S~*及上的一元运算*满足条件：(1)(?)x∈S,x~*∈S~*∩V(x)；(2)(?)x∈S~*,(x~*)~*=x；(3)(?)x,y∈S,(x~*y)~*=y~*x~(**),(xy~*)~*=y~(xx)x~*则称S~*是S的一个正则*_-断面．本文刻画了具有正则*_-断面的正则半群的结构。     

具有Q-正则*-断面的正则半群上的*-同余格

文中给出了一个具有正则*-断面正则半群的例子,该半群同时存在非平凡*-同余和非平凡的非*-同余;证明了正则*-断面上的每个*-同余都能扩张成整个半群上的*-同余;刻划了*-同余和*-同余格;定义了*-同余格上的两个完全同余T*FS和T*S*;研究了*-同余格上的完全同余T*S*, T*, T*l, Tr, U*和V*, 给出了这些同余的类中的极值同余(除U*, V*外).     

对称算子自共轭扩张的酉参数化描述(英文)

利用构造性的方法,给出了边值空间理论中几个结果新的证明,其中,边值空间理论是有关对称算子自共轭扩张的一种方法.同时,得到了几个新的结果.如发现了一般的边界三元组所具有的结构.进一步地,利用这个结果证明了辅助Hilbert空间H上的酉变换与亏空间K-和K+之间的等距同构映射间存在一个双解析的映射.发现并证明了一般边界条件:B(ψ):=MΓ1ψ+NΓ2ψ=0(其中M,N是阶数为亏指数的方阵)是自共轭的充要条件以及相应的酉变换和边界映射.     

定义在迭代函数系统吸引子上的动力系统的平衡态

在该文中, 令E表示一个迭代函数系统(X,T₁,…, T_m). 的吸引子. 定义连续自映射 f : E→E为f(x)=T^-1_j(x), x∈ T_j(E), j=1, …, m . 给定Given ψ ∈C_R(E), 令 K_ψ(δ, n = sup{∣∑^n-1_k=0[ψ(f ^kx)-ψ(f ^ky)]|:y ∈ B_x (δ, n)}, 这里B_x(δ, n) 表示Bowen球. 取一个扩张常数 ε, 记K_ψ=sup_n K_ψ(ε, n) , 定义ν(E)={ψ : K_ψ < ∞}. 对f : E → E, 作为Ruelle的一个定理^{[3, 定理2.1]}的一个应用, 我们证明每个ψ ∈ν(E)具有惟一的平衡态. 此结果推广了文献[12]中的主要结果.     

一类单中心二次可积系统的Abel积分零点个数

讨论了首次积分为H(x,y)=x~k(1/2y~2+Ax~2+Bx+C)的Abel积分的代数构造,并研究了k=2时具有一个中心的平面二次可积系统在n次扰动下的Abel积分零点个数上界问题,得到了较小的上界估计,     

一个变分不等式的奇异摄动

对变分不等式的奇异摄动问题进行了探索,证明了解的重合集Iε={x∈Ωuε（x)=φ}在Hausdorff距离意义下收敛到ε＝0时解的重合集。     

Vector subdivision schemes in (Lp(Rs))r(1 ≤ p ≤∞) spaces

The purpose of this paper is to investigate the refinement equations of the form ψ(x) = ∑α∈Zs a(α)ψ(Mx - α), x ∈ Rs,where the vector of functions ψ=(ψ1,…,ψr)T is in (Lp(Rs))r, 1≤p≤∞,a(α),α∈Zs,is a finitely supported sequence of r × r matrices called the refinement mask, and M is an s × s integer matrix suchthat lim n→∞ M-n = 0. In order to solve the refinement equation mentioned above, we start with a vectorof compactly supported functions ψ0 ∈ (Lp(Rs))r and use the iteration schemes fn := Qnaψ0,n = 1,2,…,where Qa is the linear operator defined on (Lp(Rs))r given by Qaψ:= ∑α∈Zs a(α)ψ(M·- α),ψ∈ (Lp(Rs))r. This iteration scheme is called a subdivision scheme or cascade algorithm. In this paper, we characterize the Lp-convergence of subdivision schemes in terms of the p-norm joint spectral radius of a finite collection of somelinear operators determined by the sequence a and the set B restricted to a certain invariant subspace, wherethe set B is a complete set of representatives of the distinct cosets of the quotient group Zs/MZs containing 0.     

具临界指数和临界非线性边界条件的拟线性椭圆型方程Neumann问题

本文给出ＲＮ（Ｎ３）中有界光滑区域Ω上的拟线性椭圆型方程：－∑Ｎｉ＝１ｘｉ·｜Ｄｕ｜ｐ－２ｕｘｉ＝λ｜ｕ｜ｐ－２ｕ＋ａ（ｘ）｜ｕ｜ｐ－２ｕ＋ｆ（ｘ，ｕ），ｘ∈Ω（λ＞０，ｐ＝Ｎｐ／（Ｎ－ｐ），２ｐ＜Ｎ）在边界条件：－｜Ｄｕ｜ｐ－２Ｄνｕ｜Ω＝ψ（ｘ）｜ｕ｜ｑ－２ｕ（ｑ＝（Ｎ－１）ｐ／（Ｎ－ｐ））下的多解性结果．     

有关Euler函数(n)的方程的正整数解

设(n)是Euler函数.主要研究了方程(xy)=3((x)+(y))的可解性问题,利用初等的方法给出了这一方程的所有的35组正整数解.对于任意素数k>3,(x,y)=(3k,4k),(4k,3k)是方程(xy)=k((x)+(y))的2个正整数解.证明了更为一般的结论:对于任意奇数k>3,当gcd(k,3)=1时,(x,y)=(3k,4k),(4k,3k)是方程(xy)=k((x)+(y))的2个正整数解.     

对非线性椭圆边值问题解的存在性的研究

利用非线性增生映射值域的扰动定理 ,研究了非线性椭圆边值问题 ( @)在 L2 (Ω )中解的存在性 .( @) -△pu +g( x,u) =f a.e.在Ω中-〈v,| u|p- 2 u〉∈βx( u( x) ) a.e.在Γ上其中 f∈ L2 (Ω )给定 ,Ω RN,N 1 ,△ pu=div( | u|p- 2 u)为 P拉普拉斯算子 ,1 2 NN +1 ,v为 Γ的外法向导数 ,g:Ω× R→ R满足 Caratheodory条件 ,对 x∈ Γ,βx是正常、凸、下半连续函数 φx=φ( x,· )的次微分 ,其中 φ:Γ×R→ R.