[论文解读] Complete Solutions and Triality Theory to a Nonconvex Optimization Problem with Double-Well Potential in R^n

Daniel Morales-Silva, David Yang Gao|arXiv (Cornell University)|Oct 3, 2011

Advanced Optimization Algorithms Research参考文献 16被引用 8

一句话总结

本文解决了在 $ olimits^n$ 中具有双势阱势能的非凸优化问题中，经典对偶理论里双极小对偶性的开放问题。通过证明线性扰动经典对偶方法的收敛定理，本文建立了完整的解析解集，识别出全局极小值点和最大局部极大值点，并为一般全局优化问题中三枝定理的证明奠定了基础。

ABSTRACT

The main purpose of this research note is to show that the triality theory can always be used to identify both global minimizer and the biggest local maximizer in global optimization. An open problem left on the double-min duality is solved for a nonconvex optimization problem with double-well potential in $ eal^n$, which leads to a complete set of analytical solutions. Also a convergency theorem is proved for linear perturbation canonical dual method, which can be used for solving global optimization problems with multiple solutions. The methods and results presented in this note pave the way towards the proof of the triality theory in general cases.

研究动机与目标

• 解决非凸优化中具有双势阱势能的三枝定理中双极小对偶性的开放问题。
• 为 $ olimits^n$ 中四阶多项式势能的全局极小化问题提供完整的解析解集。
• 证明线性扰动经典对偶方法的收敛定理，以识别全局极小值点和局部极值点。
• 为一般全局优化问题中三枝定理的证明建立框架。

提出的方法

• 将原始问题表述为最小化 $\Pi(x) = W(x) - \langle x, f \rangle$，其中 $W(x) = \frac{\alpha}{2}\left(\frac{1}{2}|x|^2 - \lambda\right)^2$。
• 应用经典对偶理论，将非凸原始问题转化为一维经典对偶问题。
• 利用互补对偶原理，从对偶解重构原始问题的所有临界点。
• 采用线性扰动方法处理存在多个全局极小值点的情形，并证明其收敛至全局极小值点和局部极值点。
• 应用三枝定理，通过对偶解识别出全局极小值点和最大局部极大值点。
• 分析对偶序列的渐近行为，以确认其收敛至全局极小值点和局部极大值点。

实验结果

研究问题

• RQ1 三枝定理能否用于识别非凸优化中的全局极小值点和最大局部极大值点？
• RQ2 在双势阱势能问题中，三枝定理中的双极小对偶性陈述是否在无附加约束条件下依然成立？
• RQ3 线性扰动经典对偶方法能否在具有多个解的非凸问题中收敛至所有临界点，包括全局极小值点和局部极大值点？
• RQ4 当原始问题存在多个全局极小值点时，经典对偶方法中对偶序列的渐近行为如何？
• RQ5 经典对偶方法在原始空间中沿不同搜索方向识别局部极值点时表现如何？

主要发现

• 在 $ olimits^n$ 中的双势阱势能问题中，三枝定理中双极小对偶性的开放问题已得到解决。
• 线性扰动经典对偶方法收敛至全局极小值点和最大局部极大值点，其收敛性通过分析对偶序列的渐近行为得到证明。
• 当 $f = 0$ 时，全局极小值点位于球面 $|x|^2 = 6$ 上，原点为局部极大值点，该结论经由对偶函数分析确认。
• 当 $|f|^2 = 8\alpha^2\lambda^3/27$ 时，对偶函数在 $\varsigma_2 = \varsigma_3 = -2\lambda/3$ 处具有重根，表明存在退化情形，此时有两个相同的局部极大值点。
• 当 $|f|^2 > 8\alpha^2\lambda^3/27$ 时，仅存在一个实对偶解，对应唯一的全局极小值点，且该方法通过扰动收敛至该解。
• 渐近分析表明，$x_{1,k}$ 和 $x_{2,k}$ 收敛至全局极小值点 $\sqrt{2\lambda}\frac{f_o}{|f_o|}$，而 $x_{3,k}$ 收敛至原点处的局部极大值点。