• 
    

    
    

      99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

      分式優(yōu)化問題的局部和全局最優(yōu)性條件*

      2020-03-20 01:32:56田超松王仙云
      關(guān)鍵詞:最優(yōu)性分式命題

      田超松,王仙云

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

      許多實(shí)際問題,如資源分配問題、投資收益問題、生產(chǎn)計(jì)劃和調(diào)度問題等,大都可以轉(zhuǎn)化為分式優(yōu)化問題,因而分式優(yōu)化問題的研究受到學(xué)者們的廣泛關(guān)注[1-8].特別地,如下帶錐約束的分式優(yōu)化問題引起了學(xué)者的極大興趣:

      s.t.x∈C,h(x)∈-S.

      (1)

      對于分式優(yōu)化問題(1),通常借助Dinkelbach方法[1],將分式優(yōu)化問題轉(zhuǎn)化為如下約束優(yōu)化問題進(jìn)行研究[1-6]:

      inff(x)-μg(x)

      s.t.x∈C,h(x)∈-S,

      (2)

      其中μ∈R.顯然,約束優(yōu)化問題(2)與μ的取值有關(guān).當(dāng)μ>0時(shí),問題(2)的目標(biāo)函數(shù)f-μg為DC函數(shù)(即2個(gè)凸函數(shù)的差);當(dāng)μ≤0時(shí),f-μg為凸函數(shù),問題(2)即為經(jīng)典的錐規(guī)劃問題.筆者擬分μ>0和μ≤0 2種情況進(jìn)行討論.在函數(shù)不一定下半連續(xù)、集合不一定是閉集的假設(shè)下,利用函數(shù)的次微分性質(zhì),分別引入新的約束規(guī)范條件,建立分式優(yōu)化問題(1)的局部和全局最優(yōu)性條件.

      1 預(yù)備知識

      設(shè)X和Y是實(shí)局部凸Hausdorff拓?fù)湎蛄靠臻g,X*和Y*分別表示X和Y的共軛空間,分別賦予弱*拓?fù)洇?(X*,X)和ω*(Y*,Y).x*,x表示泛函x*∈X*在點(diǎn)x∈X的值,即x*,x=x*(x).對于X的子集Z,用clZ和coneZ分別表示Z的閉包和凸錐包.進(jìn)一步,若Z是X的子集,則用Z⊕表示Z的對偶錐,即Z⊕∶={x*∈X*:x*,z≥0,?z∈Z}.用NZ(z0)表示Z在z0點(diǎn)的法錐,定義為

      NZ(z0)∶={x*∈X*:x*,z-z0≤0, ?z∈Z}.

      令δZ表示Z的示性函數(shù),

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

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

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

      特別地,由定義有NZ(x)=?δZ(x),?x∈Z.

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

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

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

      ?f(a)+?h(a)??(f+h)(a) ?a∈domf∩domh.

      設(shè)φ:X→R∪{±∞}是一個(gè)實(shí)值函數(shù),x0∈domφ且滿足|φ(x0)|<+∞.定義函數(shù)φ在x0點(diǎn)的Frechet次微分為

      顯然,由定義可知

      (3)

      (4)

      x0為φ的整體最優(yōu)解?0∈?φ(x0).

      (5)

      (6)

      顯然,h是S-凸函數(shù)當(dāng)且僅當(dāng)對于?λ∈S⊕,λh是凸函數(shù).

      ?(f+h)(a)=?f(a)+?h(a) ?a∈domf∩domh.

      2 最優(yōu)性條件

      引理2[5]x0是問題(1)的最優(yōu)解當(dāng)且僅當(dāng)x0∈A是以下問題的最優(yōu)解:

      inff(x)-μ0g(x)

      s.t.x∈C,h(x)∈-S.

      (7)

      顯然,問題(7)的目標(biāo)函數(shù)f-μ0g的性質(zhì)與μ0的取值有關(guān).當(dāng)μ0>0時(shí),問題(7)的目標(biāo)函數(shù)是DC函數(shù);當(dāng)μ0≤0時(shí),問題(7)的目標(biāo)函數(shù)是凸函數(shù).因此,筆者對問題(7)分2種情形進(jìn)行討論.為了簡便起見,記

      (1)μ0>0的情形.

      為了刻畫問題(1)的局部和全局最優(yōu)性條件,引入如下約束規(guī)范條件:

      定義1(a)設(shè)x0∈dom(f-μ0g)∩A,若包含關(guān)系

      (8)

      成立,則稱系統(tǒng){f,g,δC;λh:λ∈S⊕}在x0處滿足(FBCQ)條件.若對于?x0∈dom(f-μ0g)∩A,(8)式成立,則稱該系統(tǒng)滿足(FBCQ)條件.

      (b)設(shè)x0∈dom(f-μ0g)∩A,若等式

      ?(f-μ0g+δA)(x0)=Ω(x0)

      (9)

      成立,則稱系統(tǒng){f,g,δC;λh:λ∈S⊕}在x0處滿足(GBCQ)條件.若對于?x0∈dom(f-μ0g)∩A,(9)式成立,則稱該系統(tǒng)滿足(GBCQ)條件.

      注1當(dāng)μ0=0時(shí),(FBCQ)條件與(GBCQ)條件一致并轉(zhuǎn)化為文獻(xiàn)[9]中的(BCQ)f條件,即

      (10)

      命題1假設(shè)(BCQ)f條件成立,則系統(tǒng){f,g,δC;λh:λ∈S⊕}滿足(FBCQ)條件,從而

      ?(f-μ0g+δA)(x0)?Ω(x0) ?x0∈dom(f-μ0g)∩A.

      (11)

      定理1假設(shè)系統(tǒng){f,g,δC;λh:λ∈S⊕}在x0處滿足(FBCQ)條件.若x0是問題(1)的局部最優(yōu)解,則對于?β∈?(μ0g)(x0),存在λ∈S⊕滿足(λh)(x0)=0,使得

      β∈?f(x0)+NC(x0)+?(λh)(x0).

      (12)

      證明假設(shè)系統(tǒng){f,g,δC;λh:λ∈S⊕}在x0處滿足(FBCQ)條件,即(8)式成立.設(shè)x0是問題(1)的局部最優(yōu)解,由引理2可知x0也是問題(7)的局部最優(yōu)解,故由(4)式可知

      (13)

      又由(FBCQ)條件成立,結(jié)合(13)式可得

      (14)

      (14)式意味著對于?β∈?(μ0g)(x0),存在λ∈S⊕滿足(λh)(x0)=0,使得(12)式成立.證畢.

      定理2假設(shè)系統(tǒng){f,g,δC;λh:λ∈S⊕}在x0處滿足(GBCQ)條件,則x0是問題(1)的全局最優(yōu)解當(dāng)且僅當(dāng)對于?β∈?(μ0g)(x0),存在λ∈S⊕滿足(λh)(x0)=0,使得(12)式成立.

      證明假設(shè)系統(tǒng){f,g,δC;λh:λ∈S⊕}在x0處滿足(GBCQ)條件,即(9)式成立.由引理2和(5)式可知,x0是問題(1)的全局最優(yōu)解當(dāng)且僅當(dāng)

      0∈?(f-μ0g+δA)(x0).

      (15)

      因?yàn)?GBCQ)條件成立,所以(15)式等價(jià)于0∈Ω(x0),即對于?β∈?(μ0g)(x0),存在λ∈S⊕滿足(λh)(x0)=0,使得(12)式成立.證畢.

      定理3設(shè)x0是問題(1)的全局最優(yōu)解,則下列命題等價(jià):

      (ⅰ)對于?β∈?(μ0g)(x0),存在λ∈S⊕滿足(λh)(x0)=0,使得(12)式成立.

      (ⅱ)(11)式成立.

      證明由定義可知,命題(ⅰ)成立等價(jià)于0∈Ω(x0).同時(shí)由(5)式可知,x0是問題(1)的全局最優(yōu)解等價(jià)于0∈?(f-μ0g+δA)(x0).證畢.

      由命題1和定理1直接可得以下結(jié)論:

      推論1假設(shè)(BCQ)f條件成立,若x0是問題(1)的局部最優(yōu)解,則對于?β∈?(μ0g)(x0),存在λ∈S⊕滿足(λh)(x0)=0,使得(12)式成立.

      注2在假設(shè)f,g,h是真凸下半連續(xù)函數(shù),C是X的非空閉凸子集的情形下,Sun等[5]利用閉性條件

      (16)

      建立了當(dāng)μ0>0時(shí)問題(1)的局部最優(yōu)性條件.事實(shí)上,在此假設(shè)下,由文獻(xiàn)[9]中的命題3.1和文獻(xiàn)[10]中的推論3.4可知,(16)式嚴(yán)格強(qiáng)于(BCQ)f條件.于是,當(dāng)(16)式成立時(shí),由命題1可知 (BCQ)f條件成立.因此筆者改進(jìn)了文獻(xiàn)[5]中的定理3.2.

      (2)μ0≤0的情形.

      當(dāng)μ0≤0時(shí),問題(7)的目標(biāo)函數(shù)f-μ0g是凸函數(shù).由于凸函數(shù)的局部最優(yōu)解即為整體最優(yōu)解,因此現(xiàn)只考慮問題(1)的全局最優(yōu)性條件.

      定義2設(shè)x0∈dom(f-μ0g)∩A,若

      (17)

      則稱系統(tǒng){f,g,δC;λh:λ∈S⊕}在x0點(diǎn)處滿足(CBCQ)條件.若對于?x0∈dom(f-μg)∩A,(17)式成立,則稱系統(tǒng){f,g,δC;λh:λ∈S⊕}滿足(CBCQ)條件.

      注3當(dāng)μ0=0時(shí), (CBCQ)即為文獻(xiàn)[9]中的(BCQ)f條件.

      命題2假設(shè)(BCQ)f條件成立,設(shè)g在domf∩domg∩A上有連續(xù)點(diǎn),則系統(tǒng){f,g,δC;λh:λ∈S⊕}滿足(CBCQ)條件.

      證明假設(shè)(BCQ)f條件成立,即(10)式成立.設(shè)g在domf∩domg∩A上有連續(xù)點(diǎn),因?yàn)閒+δA和g都是真凸函數(shù),所以由引理1可知

      ?(f-μ0g+δA)(x0)=?(f+δA)(x0)+?(-μ0g).

      于是,由(BCQ)f條件可知(17)式成立.

      定理4假設(shè)系統(tǒng){f,g,δC;λh:λ∈S⊕}在x0處滿足(CBCQ)條件,則x0是問題(1)的最優(yōu)解當(dāng)且僅當(dāng)存在λ∈S⊕滿足(λh)(x0)=0,使得

      0∈?f(x0)+?(-μ0g)(x0)+NC(x0)+?(λh)(x0).

      (18)

      證明假設(shè)系統(tǒng){f,g,δC;λh:λ∈S⊕}在x0處滿足(CBCQ)條件,即(17)式成立.由引理2和(5)式可知,x0是問題(1)的最優(yōu)解當(dāng)且僅當(dāng)(15)式成立.因?yàn)?CBCQ)條件成立,所以(15)式等價(jià)于

      即存在λ∈S⊕滿足(λh)(x0)=0,使得(18)式成立.證畢.

      由命題2和定理3可直接得到以下推論:

      推論2假設(shè)g在domf∩domg∩A上有連續(xù)點(diǎn).若(BCQ)f條件成立,則x0是問題(1)的最優(yōu)解當(dāng)且僅當(dāng)存在λ∈S⊕滿足(λh)(x0)=0,使得(18)式成立.

      注4在假設(shè)f,g,h是真凸下半連續(xù)函數(shù),C是X的非空閉凸子集的情形下,Sun等[5]利用閉性條件(CC1)建立了當(dāng)μ0≤0時(shí)問題(1)的局部最優(yōu)性條件.事實(shí)上,類似于文獻(xiàn)[9]中的命題3.1和文獻(xiàn)[10]中的推論3.4可知,閉性條件(CC1)嚴(yán)格強(qiáng)于(CBCQ)條件.于是,當(dāng)閉性條件(CC1)成立時(shí), (CBCQ)條件成立.因此筆者改進(jìn)了文獻(xiàn)[5]中定理3.1.

      猜你喜歡
      最優(yōu)性分式命題
      二維Mindlin-Timoshenko板系統(tǒng)的穩(wěn)定性與最優(yōu)性
      DC復(fù)合優(yōu)化問題的最優(yōu)性條件
      不確定凸優(yōu)化問題魯棒近似解的最優(yōu)性
      如何認(rèn)識分式
      1.3 分式
      拆分在分式題中的應(yīng)用
      例談分式應(yīng)用中的大小比較
      下一站命題
      大跨屋蓋結(jié)構(gòu)MTMD風(fēng)振控制最優(yōu)性能研究
      2012年“春季擂臺”命題
      對聯(lián)(2011年24期)2011-11-20 02:42:38
      柳江县| 璧山县| 水富县| 长沙县| 长岭县| 平安县| 海伦市| 育儿| 丹凤县| 平凉市| 思南县| 城口县| 唐海县| 旬邑县| 顺义区| 颍上县| 乐东| 仁怀市| 绥棱县| 漾濞| 上犹县| 克什克腾旗| 陇南市| 吴忠市| 桐柏县| 保定市| 阿巴嘎旗| 辽阳县| 商丘市| 比如县| 浮山县| 杭锦后旗| 渝北区| 酉阳| 康保县| 河北区| 黑龙江省| 伊通| 海伦市| 宜川县| 高安市|