亚洲免费av电影一区二区三区,日韩爱爱视频,51精品视频一区二区三区,91视频爱爱,日韩欧美在线播放视频,中文字幕少妇AV,亚洲电影中文字幕,久久久久亚洲av成人网址,久久综合视频网站,国产在线不卡免费播放

        ?

        復(fù)合DC優(yōu)化問題的穩(wěn)定全對偶*

        2021-05-11 14:08:20謝菲菲方東輝
        關(guān)鍵詞:定義系統(tǒng)

        楊 婷,謝菲菲,方東輝

        (吉首大學(xué)數(shù)學(xué)與統(tǒng)計(jì)學(xué)院,湖南 吉首 416000)

        (1)

        的對偶問題進(jìn)行了深入研究,得到了一系列有意義的結(jié)論.值得注意的是,這些結(jié)論均是在目標(biāo)函數(shù)具有凸性或者某種連續(xù)性的假設(shè)下得到的,而這些假設(shè)極大地限制了無約束優(yōu)化問題在某些領(lǐng)域的應(yīng)用.為此,有學(xué)者[6-11]研究了DC規(guī)劃,該規(guī)劃是一類非凸非連續(xù)優(yōu)化問題,其目標(biāo)函數(shù)為2個凸函數(shù)的差.特別地,方東輝等[6]采用經(jīng)典的凸化技巧,定義了無約束復(fù)合DC優(yōu)化問題

        (2)

        筆者擬在函數(shù)不具有連續(xù)性的情況下,采用與文獻(xiàn)[6]不同的方法定義問題(2)的對偶問題,然后引入2個新的約束規(guī)范條件,給出問題(2)與其對偶問題之間的全對偶和穩(wěn)定全對偶成立的充分或必要條件.

        1 預(yù)備知識

        設(shè)X*和Y*分別是X和Y的共軛空間,分別賦予弱*拓?fù)洇?(Y*,Y)和ω*(X*,X).x*,x表示泛函x*∈X*在x∈X上的值,即x*,x=x*(x).設(shè)Z是X中的非空子集,記Z的閉包為clZ.若Z是X*的子集,則用clZ表示Z的弱*閉集.非空集合Z的對偶錐和示性函數(shù)分別定義為

        Z⊕∶={x*∈X*:x*,x≥0,?x∈Z},

        f的有效定義域、上圖和共軛函數(shù)分別定義為

        domf∶={x∈X:f(x)<+∞},

        epif∶={(x,r)∈X×R:f(x)≤r},

        f*(x*)∶=sup{x*,x-f(x):x∈X} ?x*∈X*.

        顯然,epif*是弱*閉凸集.設(shè)f的下半連續(xù)包為clf,則有epi(clf)=cl(epif).由文獻(xiàn)[12]中的定理2.3.1可知,f*=(clf)*.由文獻(xiàn)[12]中的定理2.3.4可知,若clf是真凸函數(shù),則有f**=clf.f在x∈X處的次微分定義為

        ?f(x)∶={x*∈X*:f(x)+x*,y-x≤f(y),?y∈X}.

        由文獻(xiàn)[12]中的定理2.3.1(ⅱ)和定理2.4.2(ⅲ)可知,Young-Fenchel不等式和Young等式成立,即

        f(x)+f*(x*)≥x,x*?(x,x*)∈X×X*,

        (3)

        x*∈?f(x)?f(x)+f*(x*)=x*,x.

        (4)

        g≤h?g*≥h*?epig*?epih*,

        epig*+epih*?epi (g+h)*.

        特別地,對于?p∈X*,a∈R,如下等式成立:

        (h+p+a)*(x*)=h*(x*-p)-a?x*∈X*,

        epi (h+p+a)*=epih*+(p,-a).

        2 全對偶和穩(wěn)定全對偶

        則g1°h,g2°h為真凸函數(shù).對于?μ∈Y*,定義

        于是,帶線性擾動的復(fù)合DC優(yōu)化問題

        (5)

        的對偶問題為

        (6)

        特別地,當(dāng)p=0時(shí),問題(5)就是問題(2),問題(6)則轉(zhuǎn)化為

        (7)

        令v(i)(i為問題對應(yīng)的序號)表示問題的最優(yōu)值,S(i)(i為問題對應(yīng)的序號)表示問題的最優(yōu)解集.由次微分的定義可知

        x0∈S(5)?p∈?(f1-f2+g1°h-g2°h)(x0).

        (8)

        設(shè)x∈X,記

        ?H(x)∶=?f2(x)×?g2(h(x)),

        Ω0∶=dom(?H)={x∈X:?H(x)≠?}.

        (9)

        定義1[7](ⅰ)若v(7)≤v(2),則稱問題(2)與(7)之間的弱對偶成立.

        (ⅱ)若v(2)=v(7)且問題(7)有最優(yōu)解,則稱問題(2)與(7)之間的強(qiáng)對偶成立.

        (ⅲ)若對于?p∈X*,問題(5)與(6)之間的弱對偶(或強(qiáng)對偶)成立,則稱問題(2)與(7)之間的穩(wěn)定弱對偶(或穩(wěn)定強(qiáng)對偶)成立.

        定義2[7]設(shè)X0是X的子集.

        (ⅰ)若S(2)∩X0≠?,問題(2)與(7)之間的強(qiáng)對偶成立,則稱問題(2)與(7)之間的X0-全對偶成立.

        (ⅱ)對于?p∈X*,若S(5)∩X0≠?,問題(5)與(6)之間的X0-全對偶成立,則稱問題(2)與(7)之間的穩(wěn)定X0-全對偶成立.

        (ⅲ)當(dāng)X0=X時(shí),問題(2)與(7)之間的X0-全對偶(或穩(wěn)定X0-全對偶)成立,則稱問題(2)與(7)之間的全對偶(或穩(wěn)定全對偶)成立.

        為了方便起見,記

        (10)

        顯然,

        Λ1(x)?Λ2(x) ?x∈X.

        (11)

        為了建立問題(2)與(7)之間的全對偶與穩(wěn)定全對偶,引進(jìn)以下約束規(guī)范條件:

        定義3[7]令x0∈X.

        (ⅰ)若

        ?(f1-f2+g1°h-g2°h)(x0)?Λ1(x0),

        (12)

        則稱系統(tǒng){f1,f2,g1,g2;h}在x0點(diǎn)滿足MRF(Moreau-Rockafellar Formula)條件.

        (ⅱ)若

        ?(f1-f2+g1°h-g2°h)(x0)?Λ2(x0),

        則稱系統(tǒng){f1,f2,g1,g2;h}在x0點(diǎn)滿足弱MRF條件.

        (ⅲ)若系統(tǒng){f1,f2,g1,g2;h}在X中的任意點(diǎn)均滿足MRF(或弱MRF)條件,則稱系統(tǒng) {f1,f2,g1,g2;h}滿足MRF(或弱MRF)條件.

        注1(ⅰ)由(11)式可知,若系統(tǒng){f1,f2,g1,g2;h}滿足MRF條件,則該系統(tǒng)滿足弱MRF條件.

        (ⅱ)當(dāng)f2=g2=0時(shí),弱MRF條件和MRF條件一致且均轉(zhuǎn)化為文獻(xiàn)[5]中的注3.1,即

        下面給出問題(2)與(7)之間的穩(wěn)定弱對偶成立的一個充分條件:

        定理1設(shè)p∈X*,若S(5)∩Ω0≠?,則問題(2)與(7)之間的穩(wěn)定弱對偶成立.

        證明設(shè)x0∈S(5)∩Ω0,則

        v(5)=f1(x0)-f2(x0)+g1(h(x0))-g2(h(x0))-p,x0.

        定義問題

        (13)

        的最優(yōu)解為v(13).由于x0∈Ω0,因此f2和g2分別在x0和h(x0)點(diǎn)下半連續(xù)(參看文獻(xiàn)[12]中的定理2.4.1),即

        f2(x0)=(clf2)(x0),g2(h(x0))=(clg2)(h(x0)).

        于是對于?x∈X,

        v(13)≤f1(x0)-(clf2)(x0)+g1(h(x0))-(clg2)(h(x0))-p,x0=

        f1(x0)-f2(x0)+g1(h(x0))-g2(h(x0))-p,x0=v(5).

        又由文獻(xiàn)[6]中的注3.2可知v(6)≤v(13),因此v(6)≤v(5),即問題(2)與(7)之間的穩(wěn)定弱對偶成立.證畢.

        推論1設(shè)p∈X*,x0∈S(5).若p∈Λ1(x0),則v(6)≥v(5),且存在y*∈Y*,使得對于?(u*,v*)∈H*,Fp(u*,v*,y*)≥v(5).

        (14)

        (15)

        另一方面,由Young-Fenchel不等式(3)可得

        (16)

        (17)

        綜合(14)~(17)式及x0∈S(5)可得

        又由v(6)的定義可知

        于是v(6)≥v(5).證畢.

        下面給出問題(2)與(7)之間的穩(wěn)定Ω0-全對偶成立的一個充分條件:

        定理2假設(shè)系統(tǒng){f1,f2,g1,g2;h}滿足MRF條件,則問題(2)與(7)之間的穩(wěn)定Ω0-全對偶成立.

        證明任取p∈X*使得S(5)∩Ω0≠?.由定理1可知v(6)≤v(5).要證明問題(2)與(7)之間的穩(wěn)定Ω0-全對偶成立,只需證明v(6)≥v(5)且問題(6)有最優(yōu)解即可.任取x0∈S(5)∩Ω0,則p∈?(f1-f2+g1°h-g2°h)(x0).因系統(tǒng){f1,f2,g1,g2;h}滿足MRF條件,故p∈Λ1(x0).從而由推論1可知v(6)≥v(5),且存在y*∈Y*,對于?(u*,v*)∈H*,Fp(u*,v*,y*)≥v(5).因此,問題(2)與(7)之間的穩(wěn)定Ω0-全對偶成立.證畢.

        接下來給出穩(wěn)定Ω0-全對偶成立的一個必要條件:

        定理3假設(shè)問題(2)與(7)之間的穩(wěn)定Ω0-全對偶成立,則系統(tǒng){f1,f2,g1,g2;h}滿足弱MRF條件.

        證明假設(shè)問題(2)與(7)之間的穩(wěn)定Ω0-全對偶成立.任取p∈X*滿足x0∈S(5)∩Ω0,即x0∈Ω0,p∈?(f1-f2+g1°h-g2°h)(x0).由(9)式可知?H(x0)≠?.由次微分的定義可知

        v(5)=f1(x0)-f2(x0)+g1(h(x0))-g2(h(x0))-p,x0.

        (18)

        令(u*,v*)∈?H(x0),則(18)式成立.于是,

        g2(h(x0))-v*,h(x0)).

        (19)

        由Young-Fenchel不等式(3)可得

        (20)

        (21)

        因?yàn)?u*,v*)∈?H(x0),所以由Young等式(4)可得

        (22)

        將(20)~(22)式代入(19)式,得到

        從而p∈Λ2(x0).證畢.

        接下來給出問題(2)與(7)之間的全對偶成立的一個充分條件:

        定理4假設(shè)問題(2)與(7)之間的弱對偶成立,若系統(tǒng){f1,f2,g1,g2;h}滿足MRF條件,則問題(2)與(7)之間的全對偶成立.

        證明假設(shè)系統(tǒng){f1,f2,g1,g2;h}滿足MRF條件,則(12)式成立.由于問題(2)與(7)之間的弱對偶成立,因此v(7)≤v(2).要證明問題(2)與(7)之間的全對偶成立,只需證明v(7)≥v(2)且問題(7)有最優(yōu)解即可.為此,任取x0∈S(2),由(8)式等價(jià)得到0∈?(f1-f2+g1°h-g2°h)(x0).結(jié)合(12)式可知0∈Λ1(x0).于是由推論1可知v(7)≥v(2),且存在y*∈Y*,對于?(u*,v*)∈H*,F(u*,v*,y*)≥v(2),從而問題(2)與(7)之間的全對偶成立.證畢.

        由定理4可得如下結(jié)論:

        定理5假設(shè)問題(2)與(7)之間的穩(wěn)定弱對偶成立,若系統(tǒng){f1,f2,g1,g2;h}滿足MRF條件,則問題(2)與(7)之間的穩(wěn)定全對偶成立.

        猜你喜歡
        定義系統(tǒng)
        Smartflower POP 一體式光伏系統(tǒng)
        WJ-700無人機(jī)系統(tǒng)
        永遠(yuǎn)不要用“起點(diǎn)”定義自己
        海峽姐妹(2020年9期)2021-01-04 01:35:44
        ZC系列無人機(jī)遙感系統(tǒng)
        北京測繪(2020年12期)2020-12-29 01:33:58
        定義“風(fēng)格”
        基于PowerPC+FPGA顯示系統(tǒng)
        半沸制皂系統(tǒng)(下)
        連通與提升系統(tǒng)的最后一塊拼圖 Audiolab 傲立 M-DAC mini
        成功的定義
        山東青年(2016年1期)2016-02-28 14:25:25
        修辭學(xué)的重大定義
        一级片久久| 在线视频一区二区国产| 亚洲a级视频在线播放| 中文字字幕在线中文乱码解| 亚洲中文字幕国产视频| 亚洲欧洲国产成人综合在线| 亚洲人成网址在线播放| 人与嘼交av免费| 伊人99re| 麻美由真中文字幕人妻| 美女被躁到高潮嗷嗷免费观看 | 国语对白精品在线观看| 偷拍一区二区三区四区| 亚洲色大成网站www永久| 老司机亚洲精品影院| 国产美女白浆| 亚洲日本一区二区在线观看 | 亚洲av手机在线观看| 国产av精品麻豆网址| 国产精品自在拍在线拍| 欧美国产小视频| 一区二区三区精品偷拍| 日韩av天堂一区二区三区在线| 99久久免费视频色老| 一区二区三区在线 | 欧| 豆国产95在线 | 亚洲| 手机在线中文字幕国产| 精品久久精品久久精品| 日韩欧美亚洲国产精品字幕久久久| 国内a∨免费播放| jjzz日本护士| 亚洲av乱码一区二区三区女同| 麻神在线观看免费观看| 国产高清av首播原创麻豆| 亚洲国产成人精品福利在线观看| 四虎在线中文字幕一区| 日本高清乱码中文字幕| 一区二区三区中文字幕| 国产日韩网站| 久久久2019精品视频中文字幕| 一区二区三区日韩蜜桃|