留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

Banach空间中集值隐函数的类Lipschitz性质及其应用

上一篇

下一篇

肖成英, 杨明歌. Banach空间中集值隐函数的类Lipschitz性质及其应用[J]. 西南师范大学学报(自然科学版), 2019, 44(7): 17-22. doi: 10.13718/j.cnki.xsxb.2019.07.003
引用本文: 肖成英, 杨明歌. Banach空间中集值隐函数的类Lipschitz性质及其应用[J]. 西南师范大学学报(自然科学版), 2019, 44(7): 17-22. doi: 10.13718/j.cnki.xsxb.2019.07.003
Cheng-ying XIAO, Ming-ge YANG. Lipschitz-Like Property of Implicit Multifunctions in Banach Spaces and Applications[J]. Journal of Southwest China Normal University(Natural Science Edition), 2019, 44(7): 17-22. doi: 10.13718/j.cnki.xsxb.2019.07.003
Citation: Cheng-ying XIAO, Ming-ge YANG. Lipschitz-Like Property of Implicit Multifunctions in Banach Spaces and Applications[J]. Journal of Southwest China Normal University(Natural Science Edition), 2019, 44(7): 17-22. doi: 10.13718/j.cnki.xsxb.2019.07.003

Banach空间中集值隐函数的类Lipschitz性质及其应用

  • 基金项目: 国家自然科学基金项目(11801352);四川省教育厅科研项目(17ZB0265)
详细信息
    作者简介:

    肖成英(1979-), 女, 讲师, 主要从事非线性泛函分析及应用的研究 .

    通讯作者: 杨明歌, 副教授
  • 中图分类号: O224

Lipschitz-Like Property of Implicit Multifunctions in Banach Spaces and Applications

  • 摘要: 利用变分分析和广义微分的相关工具,在Banach空间中研究集值隐函数的稳定性,给出集值隐函数在给定点具有类Lipschitz性质的Clarke上导数充分条件.作为应用,讨论参数向量优化问题有效解映射的稳定性,给出有效解映射在给定点具有类Lipschitz性质的Clarke上导数充分条件.所得结果改进了相关文献中的结果.
  • 加载中
  • [1] CHUONG T D.Lipschitz-like Property of an Implicit Multifunction and Its Applications[J].Nonlinear Anal, 2011, 74(17):6256-6264. doi: 10.1016/j.na.2011.06.005
    [2] DONTCHEV A L, ROCKAFELLAR R T.Implicit Functions and Solution Mappings[M].Berlin:Springer New York, 2009.
    [3] HUY N Q, KIM D S, NINH K V.Stability of Implicit Multifunctions in Banach Spaces[J].Journal of Optimization Theory and Applications, 2012, 155(2):558-571. doi: 10.1007/s10957-012-0058-x
    [4] NGHIA T T A.A Note on Implicit Multifunction Theorems[J].Optimization Letters, 2014, 8(1):329-341. doi: 10.1007/s11590-012-0580-7
    [5] doi: http://www.wanfangdata.com.cn/details/detail.do?_type=perio&id=77abb73a88ef0ab8f1d954f88702cb7f YANG M G, HUANG N J.Random Implicit Function Theorems in Asplund Spaces with Applications[J].JJournal of Nonlinear and Convex Analysis, 2013, 14(3):497-517.
    [6] doi: http://www.wanfangdata.com.cn/details/detail.do?_type=perio&id=Doaj000003328020 YANG M G, XU Y F.Implicit Multifunction Theorems in Banach Spaces[J].Journal of Applied Mathematics, 2014, 2014(5):1-7.
    [7] YANG M G, XIAO Y B, HUANG N J.Coderivative Conditions for Calmness of Implicit Multifunctions and Applications[J].J Nonlinear Convex Anal, 2018, 19(1):97-113.
    [8] CLARKE F H.Optimization and Nonsmooth Analysis[M].New York:Wiley, 1983.
    [9] MORDUKHOVICH B S.Variational Analysis and Generalized Differentiation, Vol.I:Basic Theory, Vol.Ⅱ:Applications[M].Berlin:Springer, 2006.
  • 加载中
计量
  • 文章访问数:  1001
  • HTML全文浏览数:  845
  • PDF下载数:  71
  • 施引文献:  0
出版历程
  • 收稿日期:  2018-07-31
  • 刊出日期:  2019-07-20

Banach空间中集值隐函数的类Lipschitz性质及其应用

    通讯作者: 杨明歌, 副教授
    作者简介: 肖成英(1979-), 女, 讲师, 主要从事非线性泛函分析及应用的研究
  • 1. 四川工商学院 云计算与智能信息处理重点实验室, 成都 611745
  • 2. 上海大学 管理学院, 上海 200444
基金项目:  国家自然科学基金项目(11801352);四川省教育厅科研项目(17ZB0265)

摘要: 利用变分分析和广义微分的相关工具,在Banach空间中研究集值隐函数的稳定性,给出集值隐函数在给定点具有类Lipschitz性质的Clarke上导数充分条件.作为应用,讨论参数向量优化问题有效解映射的稳定性,给出有效解映射在给定点具有类Lipschitz性质的Clarke上导数充分条件.所得结果改进了相关文献中的结果.

English Abstract

  • 集值隐函数的稳定性已被广泛研究[1-7].最近,文献[1]研究集值隐函数的类Lipschitz性质,利用Fréchet上导数和Mordukhovich上导数,在Asplund空间中给出集值隐函数在给定点具有类Lipschitz性质的充分条件,由此导出参数向量优化问题的有效解映射在给定点具有类Lipschitz性质的充分条件.虽然文献[1]定理3.1在适当的条件下证明了集值隐函数在给定点是类Lipschitz的,但是该定理的证明过程并不严谨.作者采用的是反证法,为了导出矛盾,需要证明:存在(x*y*)和(x3y3)满足0∉Fp(x3),但不满足条件(ⅲ).遗憾的是,0∉Fp(x3)的证明被遗漏了,且难以从文献[1]定理3.1的假设条件推出.为了解决这个问题,本文采用不同于文献[1]定理3.1的证明方法,给出集值隐函数在给定点是类Lipschitz的严格证明,证明过程避开了0∉Fp(x3).

    XY是Banach空间,P是度量空间,FP×XY是集值映射,定义集值隐函数GPX如下:

    下面讨论(1)式中的集值隐函数G的类Lipschitz性质,给出G在给定点类Lipschitz性质成立的上导数充分条件.使用记号Fp(·):=F(p,·).

    定理 1    设XY是Banach空间,P是度量空间,FP×XY是集值映射,GPX是由(1)式定义的集值隐函数,(px)∈P×X且0∈F(px).若存在常数r>0满足下列条件:

    (ⅰ)任意的pB(pr),集值映射Fp是闭的;

    (ⅱ)常数

    其中:任意δ>0,∏δ(0;Fp(x)):={yFp(x)| ||y||<d(0,Fp(x))+δ},Jδ(y):={y*SY*|d(y*J(y))<δ};

    (ⅲ)存在常数l>0使得

    G在(px)是类Lipschitz的且具有系数$\frac{l}{k_{r}}$.

        任给常数r>0和l>0,假设满足定理1的条件.首先证明:任意的μ∈(0,min{rkrr}),若$(x, p) \in B\left(\overline{x}, r-\frac{\mu}{k_{r}}\right) \times B(\overline{p}, r)$d(0,F(px))<μ,则

    采用反证法,假设(2)式不成立,则存在μ∈(0,min{rkrr}),$x_{0} \in B\left(\overline{x}, r-\frac{\mu}{k_{r}}\right)$$p_{0} \in B(\overline{p}, r)$,满足$d\left(0, F\left(p_{0}, x_{0}\right)\right)<\mu$,但

    从而x0G(p0),即0∉F(p0x0).由条件(ⅰ),d(0,F(p0x0))>0.令ε:=d(0,F(p0x0)),则ε∈(0,μ).进一步,根据实数的稠密性,选取$k \in\left(\frac{\varepsilon k_{r}}{\mu}, k_{r}\right)$满足

    λ:=εk-1,则由(3)式得

    由距离函数的定义,任意的α∈(0,r-μ),存在y0F(p0x0),使得

    定义函数φ$X \times Y \longrightarrow \overline{\mathbb{R}}$如下:

    由条件(ⅰ),φX×Y上是下半连续的.由(5)式得

    任意的$\eta \in\left(0, \frac{\lambda}{\varepsilon+\alpha}\right)$,在乘积空间X×Y中使用范数$\|(x, y)\|_{\eta} :=\|x\|+\eta\|y\|$.由文献[9]定理2.26中的Ekeland变分原理,存在$(\mathit{\hat x}, \mathit{\hat y})$X×Y满足

    从而

    由(4)式和(6)式,$\left\| {\hat x - {x_0}} \right\| \le \lambda < d\left( {{x_0}, G\left( {{p_0}} \right)} \right)$,从而$\stackrel{\wedge}{x} \notin G\left(p_{0}\right)$,即0$\notin F\left(p_{0}, \hat{x}\right)$,故$\hat{y} \neq 0$.进一步,由(6)式和k的取法可知

    定义函数ψ$X \times Y \longrightarrow \overline{\mathbb{R}}$如下:

    由(7)式易知,$(\mathit{\hat x}, \mathit{\hat y})$是函数$\psi + {\delta _{{\rm{gph}}{\mathit{F}_{{p_{_0}}}}}}$X×Y上的极小值点.注意到$\hat{y} \neq 0$,由文献[8]命题1.114得

    则存在$y_1^* \in J(\hat y)$和(x2*y2*)∈BX*×BY*使得

    显然,

    $\left( {{{\bar x}^*}, - {{\bar y}^*}} \right) \in {N_c}\left( {(\mathit{\hat x}, \hat y);{\mathop{\rm gph}\nolimits} {F_{{p_0}}}} \right)$,故${\tilde x^*} \in D_c^*{F_{{p_0}}}(\mathit{\hat x}, \mathit{\hat y})\left( {{{\tilde y}^*}} \right)$.任意的$y \in {F_{{p_{_0}}}}(\mathit{\hat x})$,由(7)式得

    从而

    进一步,

    由于

    从而

    对任意的δ>0,只要上述的αη选取得充分小,由(8),(9)和(10)式可得

    δ↓0,则$\left\|\tilde{x}^{*}\right\| \leqslant k<k_{r}$,这与条件(ⅱ)矛盾,故(2)式成立.

    其次,任取$\rho \in\left(0, r-\frac{\mu}{k_{r}}\right)$且2μ,下面证明

    事实上,任意的p′,pB(pρ),任意的xG(p′)∩B(xρ),显然0∈F(p′,x).由条件(ⅲ),0∈F(px)+ld(p′,p)BY,故

    由(2)和(12)式得

    即(11)式成立.因此,G在(px)是类Lipschitz的且具有系数$\frac{l}{k_{r}}$.

    注 1     定理1利用Clarke上导数,在Banach空间中给出集值隐函数在给定点具有类Lipschitz性质的充分条件,而文献[1]定理3.1利用Fréchet上导数,在Asplund空间中给出集值隐函数在给定点具有类Lipschitz性质的充分条件.定理1中的上导数条件(ⅱ)与文献[1]定理3.1中的上导数条件(ⅲ)不同,定理1的证明方法与文献[1]定理3.1的证明方法也不同.由于采用了不同的证明方法,避免了证明0∉Fp(x3),而在文献[1]定理3.1的证明中,0∉Fp(x3)是必要的,但却被遗漏了.进一步,由定理1可知,若文献[6]定理7中的Jδ(y)定义为Jδ(y):={y*SY*|d(y*J(y))<δ},则结论仍然成立.

    下面讨论集值隐函数的类Lipschitz性质在参数向量优化问题有效解映射的稳定性分析中的应用.设XY是Banach空间,P是度量空间,fP×X→Y是向量值函数,KY是顶点在原点的尖闭凸锥,AYyA,则称yA关于K的有效点(efficient point)当且仅当(y-K)∩A={y}.A的有效点的集合记为EffKA,规定EffKØ=Ø.

    考虑参数向量优化问题:

    其中:x是未知的决策变量,p是参数.任意的pP,令

    则称$\mathscr{F} : P \rightrightarrows Y$$\mathscr{S} : P \rightrightarrows X$分别为参数向量优化问题(13)的有效点映射(efficient point multifunction)和有效解映射(efficient solution map).

    由定理1可知,若F满足一定的条件,则集值隐函数G在给定点是类Lipschitz的.在此基础上,可以寻找有效解映射$\mathscr{S}$在给定点具有类Lipschitz性质的充分条件.注意到,有效解映射$\mathscr{S}$可以用集值隐函数来表达,即

    其中HP×XY定义为

    事实上,H是由目标函数f和有效点映射$\mathscr{F}$构成的集值映射.为清楚起见,记Hp(·):=H(p,·).

    定理 2     设XY是Banach空间,P是度量空间,HP×XY是由(15)式定义的集值映射,$\mathscr{S}$PX是由(14)式定义的有效解映射,(px)∈P×X且(px)∈gph$\mathscr{S}$.若存在常数r>0满足下列条件:

    (ⅰ)任意的pB(pr),集值映射Hp是闭的;

    (ⅱ)常数

    其中:任意δ>0, $\prod\limits_{} {{}_\delta \left( {0;{H_p}(x)} \right)} : = \left\{ {y \in {H_\rho }(x)|\left\| y \right\| < d\left( {0, {H_p}(x)} \right) + \delta } \right\}, {J_\delta }(y): = \left\{ {{y^*} \in {S_{{Y^ * }}}} \right.\left| {d\left( {{y^*}, J(y)} \right) < \delta \} } \right.$

    (ⅲ)存在常数l>0使得

    则有效解映射$\mathscr{S}$在(px)是类Lipschitz的且具有系数$\frac{l}{k_{r}}$.

        注意到$(\overline{p}, \overline{x}) \in \operatorname{gph} \mathscr{S} \Leftrightarrow 0 \in H(\overline{p}, \overline{x})$,分别用H$\mathscr{S}$代替定理1中的FG,可得定理2的结论.

    由定理2可知,当H满足一定的条件时,有效解映射$\mathscr{S}$在给定点是类Lipschitz的.而H是由f$\mathscr{F}$构成的,故可以将定理2中的条件(ⅲ)换成由f$\mathscr{F}$刻画的条件,见下面的定理3.

    定理 3     设XY是Banach空间,P是度量空间,HP×XY是由(15)式定义的集值映射,$\mathscr{S}$PX是由(14)式定义的有效解映射,(px)∈P×X且(px)∈gph$\mathscr{S}$.若f在(px)是严格可微的,且存在常数r>0满足下列条件:

    (ⅰ)任意的pB(pr),集值映射Hp是闭的;

    (ⅱ)常数

    其中:任意δ>0, $\prod\limits_{} {{}_\delta \left( {0;{H_p}(x)} \right)} : = \left\{ {y \in {H_\rho }(x)|\left\| y \right\| < d\left( {0, {H_p}(x)} \right) + \delta } \right\}, {J_\delta }(y): = \left\{ {{y^*} \in {S_{{Y^ * }}}} \right.\left| {d\left( {{y^*}, J(y)} \right) < \delta \} } \right.$

    (ⅲ)有效点映射$\mathscr{F}$p是局部Lipschitz的.

    则有效解映射$\mathscr{S}$在(px)是类Lipschitz的.

        因为f在(px)严格可微,所以f在(px)是Lipschitz连续的,故存在x的邻域Up的邻域W1和实数l1>0使得

    由条件(ⅲ),存在p的邻域W2和实数l2>0使得

    W:=W1W2,则

    事实上对任意的xU,任意的p′,pW,任意的yH(p′,x),显然y∈-f(p′,x)+$\mathscr{F}$(p′).结合(17)式得

    由(16)式得

    由(19)和(20)式可知

    注意到yH(p′,x)是任意的,故(18)式成立.综上,定理2的所有条件满足.由定理2可知定理3成立.

参考文献 (9)

目录

/

返回文章
返回