在多目标优化问题中,将多目标问题转化为单目标问题被称为标量化。许多学者提出了不同形式的标量化函数,并进行了深入研究。然而,线性标量化需要凸性或广义凸性等较强的条件。因此,本文依据可变序结构下最优元的不同概念,利用一个非线性标量化函数得到了其推广函数φa,r(y)、Φa,r(y)及其性质。最后,利用这些函数将向量优化问题转化为数值优化问题,并给出了向量优化问题解的刻画。 In multi-objective optimization problems, it is called scalarization to transform multi-objective problems into single objective problems. Many scholars have proposed different types of scalarization function and studied them. However, linear scalarization needs strong conditions such as convexity or generalized convexity. Therefore, in this paper, according to the different concepts of the optimal element under the variable order structure, we obtain generalization function φa,r(y), Φa,r(y) and its properties by using a nonlinear scalarization function. Finally, the vector optimization problem is transformed into a numerical optimization problem by using these functions, and the characterizations of the solutions of the vector optimization problem are given.
在多目标优化问题中,将多目标问题转化为单目标问题被称为标量化。许多学者提出了不同形式的标量化函数,并进行了深入研究。然而,线性标量化需要凸性或广义凸性等较强的条件。因此,本文依据可变序结构下最优元的不同概念,利用一个非线性标量化函数得到了其推广函数 φ a , r ( y ) 、 ϕ a , r ( y ) 及其性质。最后,利用这些函数将向量优化问题转化为数值优化问题,并给出了向量优化问题解的刻画。
可变序结构,极大非控元,极大元,标量化
Shuang Yang
Chongqing University of Technology, Chongqing
Received: Oct. 16th, 2020; accepted: Nov. 5th, 2020; published: Nov. 12th, 2020
In multi-objective optimization problems, it is called scalarization to transform multi-objective problems into single objective problems. Many scholars have proposed different types of scalarization function and studied them. However, linear scalarization needs strong conditions such as convexity or generalized convexity. Therefore, in this paper, according to the different concepts of the optimal element under the variable order structure, we obtain generalization function φ a , r ( y ) , ϕ a , r ( y ) and its properties by using a nonlinear scalarization function. Finally, the vector optimization problem is transformed into a numerical optimization problem by using these functions, and the characterizations of the solutions of the vector optimization problem are given.
Keywords:Variable Ordering Structure, Maximum Nondominated Element, Maximum Element, Scalarization
Copyright © 2020 by author(s) and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).
http://creativecommons.org/licenses/by/4.0/
标量化是求解多目标优化问题的一种重要和有效的方法,多目标优化问题解的性质可以通过标量化问题来讨论 [
设Y是一个实线性空间, K ⊆ Y 是非平凡的点闭凸锥。设 x , y ∈ Y ,若 y − x ∈ K ,则称 x ≤ K y 。在变序结构的多目标优化问题中,用变动的凸锥来代替固定的凸锥,从而给出序关系的定义。
定义2.1 设Y是实线性空间,变序结构由一个集值映射 D : Y ⇉ Y 给出,其中 y ∈ Y ,D(y)是非平凡的点闭凸锥。定义下面两种序关系:
y ≥ 1 y ¯ ⇔ y ∈ y ¯ + D ( y ) ⇔ y ¯ ∈ y − D ( y )
和
y ≥ 2 y ¯ ⇔ y ∈ y ¯ + D ( y ¯ ) ⇔ y ¯ ∈ y − D ( y ¯ ) ,
其中, y ¯ ∈ Y 。
从现在开始,我们假设 ∅ ≠ A ⊆ Y 。下面,我们回顾一些可变序结构下最优元的定义。
定义2.2 [
y ¯ ∈ y − D ( y ) \ { 0 Y } .
定义2.3 [
y ¯ ∈ y − c o r ( D ( y ) ) .
定义2.4 [
( y ¯ + D ( y ¯ ) ) ∩ A = { y ¯ } .
定义2.5 [
( y ¯ + c o r ( D ( y ¯ ) ) ) ∩ A = ∅ .
注2.1 一般情况下,(弱、极大)非控元与(弱、极大)元并没有必然的联系,具体例子和基本性质见文献 [
若给予序映射D较强的假设条件,则极大非控元与极大元之间有一定的联系。
命题2.1 设 y ¯ ∈ A , D ( y ) ⊆ D ( y ¯ ) , ∀ y ∈ A 。如果 y ¯ 是A关于D的极大元,则 y ¯ 是A关于D的极大非控元。
证明假设 y ¯ 不是A关于D的极大非控元,由定义2.2,存在 y 1 ( ≠ y ¯ ) ∈ A ,使得 y ¯ ∈ y 1 − D ( y 1 ) ,即 y 1 − y ¯ ⊆ D ( y 1 ) ⊆ D ( y ¯ ) 。因此, y 1 ∈ y ¯ + D ( y ¯ ) ,这与定义2.4矛盾。于是, y ¯ 是A关于D的极大非控元。
命题2.2 设 y ¯ ∈ A , D ( y ¯ ) ⊆ D ( y ) , ∀ y ∈ A 。如果 y ¯ 是A关于D的极大非控元,则 y ¯ 是A关于D的极大元。
证明假设 y ¯ 不是A关于D的极大元,由定义2.4,存在 y 1 ( ≠ y ¯ ) ∈ A ,使得 y 1 ∈ y ¯ + D ( y ¯ ) ,即 y 1 − y ¯ ⊆ D ( y ¯ ) ⊆ D ( y 1 ) 。因此, y ¯ ∈ y 1 − D ( y 1 ) ,这与定义2.2矛盾。于是, y ¯ 是A关于D的极大元。
标量化是向量优化问题的一个重要手段,对于可变序结构下的向量优化问题,同样可以使用标量化的方法,将问题转化为数值优化的类型,从而可达到降低寻找最优元难度的目的。本部分对可变序结构下的向量优化问题进行标量化处理。
在固定偏序结构下,有效元的非线性标量化还可以利用距离函数或著名的G函数来完成。下面是通过另一种非线性函数对最优元进行刻画。
设Y是一个Hausdorff拓扑向量空间,K是Y中的一个真闭凸锥,R是实数域。
定义3.1 φ a , r ( y ) = sup { t ∈ R | y − a − t r ∈ K } , a , y , r ∈ Y 。
由定义3.1,我们容易获得下面的性质。
性质3.1 φ a , r ( y ) < λ ⇔ y − a − λ ∉ K , ϕ a , r ( y ) < λ ⇔ y − a − λ ∉ K 。
性质3.2 φ 0 , r ( λ y ) = λ φ 0 , r ( y ) , ∀ λ ≥ 0 , r ∈ K \ { 0 } , y ∈ Y 。
证明 当 λ = 0 时,显然成立。
当 λ > 0 时, φ 0 , r ( λ y ) = sup { t ∈ R | λ y − t r ∈ K } = sup { t ∈ R | λ ( y − t λ r ) ∈ K } = λ sup { t λ ∈ R | y − t λ r ∈ K } = λ sup { t 1 ∈ R | y − t 1 r ∈ K } ( 其 中 t 1 = t λ ) = λ φ 0 , r ( y )
性质3.3 设 y , z ∈ Y , y ≥ K z ,则 φ a , r ( y ) ≥ φ a , r ( z ) , ∀ a , r ∈ Y 。
证明 设t满足 z − a − t r ∈ K 。根据K为凸锥再结合已知条件有
y − a − t r = ( y − z ) + ( z − a − t r ) ∈ K .
所以, φ a , r ( y ) = sup { t ∈ R | y − a − t r ∈ K } ≥ sup { t ∈ R | z − a − t r ∈ K } = φ a , r ( z ) 。
性质3.4 φ a , r ( y + λ r ) = φ a , r ( y ) + λ , ∀ a , r , y ∈ Y , λ ∈ R 。
证明 φ a , r ( y + λ r ) = sup { t ∈ R | y + λ r − a − t r ∈ K } = sup { t ∈ R | y − a − ( t − λ ) r ∈ K } = sup { t 1 + λ ∈ R | y − a − t 1 r ∈ K } ( 其 中 t 1 = t − λ ) = sup { t 1 ∈ R | y − a − t 1 r ∈ K } + λ = φ a , r ( y ) + λ
对定义3.1考虑可变序结构,给出如下的定义:
定义3.2 ϕ a , r ( y ) = sup { t ∈ R | y − a − t r ∈ D ( y ) } , a , y , r ∈ Y 。
性质3.5 ϕ a , r ( y ) < λ ⇔ y − a − λ r ∉ D ( y ) , ϕ a , r ( y ) ≥ λ ⇔ y − a − λ r ∈ D ( y ) 。
证明 根据定义和上确界的定义可知。
以上讨论了新定义函数的主要性质,接下来是利用这些函数及性质对最优元进行刻画所得到的主要结果。
定理3.1 设 r ∈ ( ∩ y ∈ A D ( y ) ) \ { 0 } ,则 y ¯ ∈ A 是A关于D的极大非控元当且仅当
ϕ y ¯ , r ( y ) < ϕ y ¯ , r ( y ¯ ) = 0 , ∀ y ∈ A \ { y ¯ } (1)
证明 必要性假设 y ¯ 是A关于D的极大非控元。因为 D ( y ¯ ) 是点凸锥, r ∈ D ( y ¯ ) \ { 0 } ,这样可得 ϕ y ¯ , r ( y ¯ ) = 0 。若 y ¯ 不是 ϕ y ¯ , r ( y ) 唯一的最大值点,则存在 t ∈ R , t ≥ 0 , y ∈ A \ { y ¯ } 使得 y − y ¯ − t r ∈ D ( y ) 。由于 t r ∈ D ( y ) ,则 y − y ¯ ∈ t r + D ( y ) ⊆ D ( y ) + D ( y ) ⊆ D ( y ) ,整理得 y ¯ ∈ y − D ( y ) ,这与定义2.2矛盾。
充分性假设 y ¯ 是 ϕ y ¯ , r 在A上的唯一极大值点。若存在 y ∈ A \ { y ¯ } 使得 y ¯ ∈ y − D ( y ) ,则 y − y ¯ − 0 ⋅ r ∈ D ( y ) ,即 ϕ y ¯ , r ( y ) ≥ 0 ,与(1)矛盾。
定理3.2 设 r ∈ c o r ( ∩ y ∈ A D ( y ) ) ,则 y ¯ ∈ A 是A关于D的弱极大非控元当且仅当
ϕ y ¯ , r ( y ) ≤ ϕ y ¯ , r ( y ¯ ) = 0 , ∀ y ∈ A (2)
证明 必要性假设 y ¯ 是A关于D的弱极大非控元。若 y ¯ 不是 ϕ y ¯ , r ( y ) 的最大值点,则存在 t ∈ R , t > 0 , y ∈ A \ { y ¯ } 使得 y − y ¯ − t r ∈ D ( y ) 。由于 t r ∈ c o r ( D ( y ) ) ,则 y − y ¯ ∈ t r + D ( y ) ⊆ c o r ( D ( y ) ) + D ( y ) ⊆ c o r ( D ( y ) ) ,整理得 y ¯ ∈ y − c o r ( D ( y ) ) ,这与定义2.3矛盾。
充分性假设 y ¯ 是 ϕ y ¯ , r 在A上的极大值点。若存在 y ∈ A \ { y ¯ } 使得 y ¯ ∈ y − c o r ( D ( y ) ) ,则存在 t > 0 使得 y − y ¯ − t r ∈ D ( y ) ,因此 ϕ y ¯ , r ( y ) > 0 ,与(2)矛盾。
定理3.3 若 y ¯ ∈ A 是A关于D的极大元,则对任意点凸锥 K ⊆ D ( y ¯ ) , r ∈ K \ { 0 } ,有
φ y ¯ , r ( y ) ≤ φ y ¯ , r ( y ¯ ) = 0 , ∀ y ∈ A \ { y ¯ }
证明 φ y ¯ , r ( y ¯ ) = 0 是显然的。下面利用反证法证明 φ y ¯ , r ( y ) ≤ 0 , ∀ y ∈ A \ { y ¯ } 。若不然,存在 y 1 ∈ A \ { y ¯ } ,使得 φ y ¯ , r ( y 1 ) > 0 。根据定义3.1有 φ y ¯ , r ( y 1 ) = sup { t ∈ R | y 1 − y ¯ − t r ∈ K } > 0 。从而存在 t ≥ 0 , y 1 − y ¯ − t r ∈ K 。由于 r ∈ K ,则 y 1 − y ¯ ∈ t r + K ⊆ K + K ⊆ K ⊆ D ( y ¯ ) 。整理得 y 1 ∈ y ¯ + D ( y ¯ ) , y 1 ∈ A \ { y ¯ } 。这与定义2.4矛盾。
定理3.4 若 y ¯ ∈ A 是A关于D的弱极大元,则对任意点凸锥 K ⊆ D ( y ¯ ) , r ∈ c o r ( K ) ,有
φ y ¯ , r ( y ) ≤ φ y ¯ , r ( y ¯ ) = 0 , ∀ y ∈ A
证明 假设存在 y 1 ∈ A ,使得 φ y ¯ , r ( y 1 ) > 0 。根据定义3.1有 φ y ¯ , r ( y 1 ) = sup { t ∈ R | y 1 − y ¯ − t r ∈ K } > 0 。从而存在 t > 0 , y 1 − y ¯ − t r ∈ K 。由于 r ∈ c o r ( K ) ,则 y 1 − y ¯ ∈ t r + K ⊆ c o r ( K ) + K ⊆ c o r ( K ) ⊆ c o r ( D ( y ¯ ) ) 。整理得 y 1 ∈ y ¯ + c o r ( D ( y ¯ ) ) , y 1 ∈ A 。这与定义2.5矛盾。
定理3.5 若 ∀ a , r ∈ Y ,凸锥 D ( y ¯ ) ⊆ K ,有
φ a , r ( y ) ≤ φ a , r ( y ¯ ) = 0 , ∀ y ∈ A
则 y ¯ ∈ A 是A关于D的弱极大元。
证明 若 y ¯ ∈ A 不是A关于D的弱极大元。则存在 y 1 ∈ A ,使得 y 1 ∈ y ¯ + c o r ( D ( y ¯ ) ) 。取 a = y ¯ , r ∈ K 。则 φ a , r ( y ¯ ) = φ y ¯ , r ( y ¯ ) = 0 ,但 φ a , r ( y 1 ) = φ y ¯ , r ( y 1 ) = sup { t ∈ R | y 1 − y ¯ − t r ∈ K } ≥ 0 = φ y ¯ , r ( y ¯ ) = φ a , r ( y ¯ ) ,与已知条件矛盾。
定理3.6 若 ∀ a , r ∈ Y ,凸锥 D ( y ¯ ) ⊆ K ,有
φ a , r ( y ) < φ a , r ( y ¯ ) = 0 , ∀ y ∈ A \ { y ¯ }
则 y ¯ ∈ A 是A关于D的极大元。
证明 若 y ¯ ∈ A 不是A关于D的极大元。则存在 y 1 ∈ A ,使得 y 1 ∈ y ¯ + D ( y ¯ ) 。取 a = y ¯ , r ∈ K 。则 φ a , r ( y ¯ ) = φ y ¯ , r ( y ¯ ) = 0 ,但 φ a , r ( y 1 ) = φ y ¯ , r ( y 1 ) = sup { t ∈ R | y 1 − y ¯ − t r ∈ K } ≥ 0 = φ y ¯ , r ( y ¯ ) = φ a , r ( y ¯ ) ,与已知条件矛盾。
本文给出了实线性空间中两种序关系的定义形式,并在此基础上建立了极大非控元和极大元之间的联系。紧接着在Hausdorff拓扑向量空间中定义了两个非线性函数,并对其性质进行了详细分析。最后在合适的假设条件下,得出了最优元的一些主要结果。本文所建立的结果在诸如投资组合优化、选址问题、医学图像配准等领域中具备一定的应用前景。如何继续深挖所得非线性函数的性质以及将这些性质加以充分利用将是今后进一步研究的课题。
杨 爽. 可变序结构下最优元的标量化Scalarization of Optimal Element under Variable Ordering Structure[J]. 理论数学, 2020, 10(11): 1025-1030. https://doi.org/10.12677/PM.2020.1011121