變分不等式
變分不等式
變分不等式(variational inequality)，經典變分問題的推廣和發展，將經典變分問題的約束條件放鬆為某些單邊約束(即用不等式代替等式)的變分方法。變分不等式已被廣泛地應用於經濟領域的均衡問題。運籌學問題及城市交通網路建模等問題。
為如下的矩陣
定義如下集合
如果有向量，對所有的有 有
則此不等式就是一個變分不等式問題，並且 就是變分不等式的一個解。
設 為變分不等式 的一個解，如果存在球鄰域 使得對任意的，存在一個 使得
則稱 就是變分不等式問題 的孤立解，即唯一局部解。
對於變分不等式問題，我們有如下結論：
變分不等式問題 有解的必要條件：如果向量是變分不等式的一個解，並且存在梯度，使得梯度和 線性獨立，那麼，存在參數向量，使得
變分不等式有解的充分條件：如果是凹的，並且有滿足定理1中的三個式子，則就是變分不等式的一個解。
變分不等式問題有唯一局部解的充分條件：在滿足定理2的條件基礎上，如果F是可微的，並且滿足：，對於所有的，使得對所有
對所有
對所有的
則就是變分不等式的唯一局部解。
如果是強單調的，則定理3中三式成立，則變分不等式問題存在唯一解x。
此處介紹求解變分不等式問題的一個著名的迭代演演算法，一般稱為鬆弛演演算法(Relaxation Algorithm)。
求解變分不等式問題鬆弛演演算法的一般過程：
第一步：初始化。找一個初始可行點，令。
第二步：鬆弛化。求解如下最優化子問題
設解為。
第三步：收斂性檢查。如果滿足收斂性，則停止；否則令，轉第一步。
在鬆弛演演算法中，對於固定的y，由於函數Z(x，y)的Hessian陣是對角陣，故在交通中常常也稱鬆弛演演算法為對角化演演算法，對應的最優化子問題被稱為對角化子問題。
在研究城市交通均衡配流問題時，當路段之間存在相互影響、而且這種相互影響是非對稱時，我們就可以採用上述對角化演演算法來求解這種路段相互影響的用戶均衡配流問題。