亚洲免费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é)的重大定義
        人人妻人人澡人人爽人人精品浪潮 | 亚洲AV永久无码精品一区二国| 成人在线视频亚洲国产| 日韩极品视频免费观看| 337p日本欧洲亚洲大胆精品| 中文字幕无码免费久久| 2022精品久久久久久中文字幕| 韩国三级黄色一区二区| 在线观看免费无码专区| 波多野结衣一区二区三区高清| 中文字幕有码一区二区三区| 一区二区亚洲熟女偷拍| 人人妻人人澡人人爽人人dvd| 无遮无挡爽爽免费视频| 精品亚洲少妇一区二区三区 | 久久香蕉国产线看观看精品yw | 成年男人裸j照无遮挡无码| 少妇精品偷拍高潮少妇在线观看| 麻豆md0077饥渴少妇| 亚洲最大av资源站无码av网址| 国产精品福利久久香蕉中文| 日韩一级精品视频免费在线看| 久久精品国产只有精品96| 五月天精品视频在线观看| 亚洲国产成人久久综合三区| 午夜男女靠比视频免费| 久久精品国产免费观看| 色综合一本| 久久最黄性生活又爽又黄特级片| 亚洲综合图色40p| 午夜不卡久久精品无码免费| 国产精品电影久久久久电影网| 亚洲日本一区二区三区四区| 69一区二三区好的精华| 综合无码一区二区三区四区五区| 色佬易精品视频免费在线观看| 精品日韩亚洲av无码| 成人性生交大片免费看r | 国产成人精品一区二区日出白浆| 又硬又粗进去好爽免费| 又色又爽又黄又硬的视频免费观看|