Pure Mathematics
Vol. 13  No. 07 ( 2023 ), Article ID: 69679 , 5 pages
10.12677/PM.2023.137215

单调混合变分不等式解集性质

黎穷远

西南石油大学理学院,四川 成都

收稿日期:2023年6月16日;录用日期:2023年7月19日;发布日期:2023年7月26日

摘要

本文研究了单调混合变分不等式的解集性质。利用f投影算子我们知道一点是单调混合变分不等式的解当且仅当为f投影的不动点。结合这个结论我们得到了关于单调混合变分不等式解集的一些性质。

关键词

单调混合变分不等式,f投影算子

Properties of Solution Set for Monotonic Mixed Variational Inequalities

Qiongyuan Li

College of Science, Southwest Petroleum University, Chengdu Sichuan

Received: Jun. 16th, 2023; accepted: Jul. 19th, 2023; published: Jul. 26th, 2023

ABSTRACT

This article investigates the properties of the solution set for monotonic mixed variational inequalities. Using the f-projection operator, we know that a point is a solution for monotonic mixed variational inequalities if and only if it is a fixed point for the f-projection. Based on this conclusion, we obtain some properties about the solution set for monotonic mixed variational inequalities.

Keywords:Monotonic Mixed Variational Inequality, f-Projection Operator

Copyright © 2023 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/

1. 引言

变分不等式已成为当今非线性分析的重要组成部分,也是最优化理论领域内研究的热点之一。其中单调混合变分不等式是一类非常重要的变分不等式。其在管理学、交通运输等方面都有很多的应用,具体可以参考 [1] [2] [3] [4] 。Wu和Huang [5] [6] [7] 在巴拿赫空间中引入了广义f投影算子。这种投影算子可以作为研究混合变分不等式的一个有效的工具。Lescarret [8] 和Browder [9] 结合众多应用考虑带有非线性项的混合变分不等式,混合变分不等式是一般的变分不等式的一个有用且重要的推广。本文主要研究在算子单调情况下的单调混合变分不等式的解的存在唯一性及其解集的性质。

2. 预备知识

定义1.1 H为一实希尔伯特空间,K为H上的一非空闭凸集, f : K ( , + ] 为一真凸下半连续泛函, T : H H 连续,寻找 x K ,使得

T x , y x + f ( y ) f ( x ) 0 y K .

其中 T : H H 是单调,该变分不等式称为单调混合变分不等式。

定义1.2 映射 G : H × K ( , + ] 被定义为

G ( x , y ) = x 2 + y 2 2 x , y + 2 ρ f ( y )

这里的 ρ 为任意正实数, f : K ( , + ] 为一真凸下半连续泛函,集值映射 P K f : H 2 K 称为f投影算子,如果

P K f x = { u K : G ( x , u ) = inf y K G ( x , y ) } .

容易得到对于任意的 x H G ( x , y ) 关于y是凸下半连续的。对于任意的 y K G ( x , y ) 关于x是连续的。

根据Wu和Huang [5] [6] [7] 在巴拿赫空间中引入的广义f投影算子的一些性质我们容易得到在希尔伯特空间中的f投影算子有如下性质

定理1.3 1) 对于任意的 x H P K f x

2) 对于任意的 x H P K f x 为闭凸集。

3) 对于任意的 x H x * P K f x 当且仅当

x * x , y x * + ρ f ( y ) ρ f ( x * ) 0 y K

4) f投影算子 P K f 是单值的。

5) P K f : H K 是连续的并且 y 1 P K f x 1 y 2 P K f x 2 y 2 y 1 x 1 x 2

3. 主要内容

我们利用类似于研究单调变分不等式的方法得出了单调混合变分不等式的解集同样为凸集,在此之前我们先证明单调混合变分不等式问题等价于如下变分不等式问题。

定理2.1单调混合变分不等式问题等价于如下变分不等式问题寻找 x H 使得

T y , y x + f ( y ) f ( x ) 0 y K

证明:由定理1.3易知该变分不等式和单调混合变分不等式的解一定在K上。若 x K 为单调混合变分不等式的解,则有

T x , y x + f ( y ) f ( x ) 0 y K

由T单调,则有

T y , y x + f ( y ) f ( x ) T x , y x + f ( y ) f ( x ) 0

故而此时x为后面一个变分不等式的解。若 x K 为后面一个变分不等式的解,则对于任意的 z K

t z + ( 1 t ) x K

此时有

0 T ( t z + ( 1 t ) x ) , t ( z x ) + f ( t z + ( 1 t ) x ) f ( x ) t T ( t z + ( 1 t ) x ) , z x + t f ( z ) t f ( x )

两边同时除以t我们可以得到

0 T ( t z + ( 1 t ) x ) , z x + f ( z ) f ( x )

t 0 + ,由T的连续性我们有

0 T x , z x + f ( z ) f ( x )

故而此时x为单调混合变分不等式的解。

我们利用上面的结论证明单调混合变分不等式解集为凸集。

定理2.2 若单调混合变分不等式解存在,则解集为凸集。

证明:由定理2.1我们只用证明如下集合为凸集。

S = { x H : T y , y x + f ( y ) f ( x ) 0 }

若对于任意的 x 1 , x 2 S 及任意的 t [ 0 , 1 ]

T y , y ( t x 1 + ( 1 t ) x 2 ) + f ( y ) f ( t x 1 + ( 1 t ) x 2 ) = t T y , y x 1 + ( 1 t ) T y , y x 2 + f ( y ) f ( t x 1 + ( 1 t ) x 2 ) t T y , y x 1 + ( 1 t ) T y , y x 2 + f ( y ) t f ( x 1 ) ( 1 t ) f ( x 2 ) = t T y , y x 1 + t ( f ( y ) f ( x 1 ) ) + ( 1 t ) T y , y x 2 + ( 1 t ) ( f ( y ) f ( x 2 ) ) 0

故而S为凸集,故而单调混合变分不等式的解集为凸集。

同样,类似于单调变分不等式,我们可以得出单调混合变分不等式当算子为严格单调时,若解存在,则解一定唯一。

定理2.3 若单调混合变分不等式的解存在,且T为严格单调的,则解唯一。

证明:若不然存在不相同的 x 1 , x 2 都为单调混合变分不等式的解。则对于任意的 y K

T x 1 , y x 1 + f ( y ) f ( x 1 ) 0

T x 2 , y x 2 + f ( y ) f ( x 2 ) 0

第一个式子y取 x 2 ,第二个式子y取 x 1 我们可以得到

T x 1 , x 2 x 1 + f ( x 2 ) f ( x 1 ) 0

T x 2 , x 1 x 2 + f ( x 1 ) f ( x 2 ) 0

两式相加有

T x 1 T x 2 , x 2 x 1 0

由于T单调,故而有

T x 1 T x 2 , x 1 x 2 = 0

再由T严格单调可知 x 1 = x 2 ,矛盾,故而单调混合变分不等式解唯一。

利用Banach压缩映像原理,我们可以得到如下单调混合变分不等式解的唯一性条件。

定理2.4 若单调混合变分不等式中,映射 T : H H 是李普希兹的,李普希兹常数为L,且还为 α 强单调的,泛函 f : K ( , + ] 是真凸下半连续的。则当 k < 1 时,MMVI有解且解唯一。其中 k = 1 + ρ 2 L 2 2 α ρ

证明:由定理1.3单调混合变分不等式有解意味着 P K f ( I ρ T ) 存在不动点。

对于任意的 x 1 , x 2 H 。并且可知 P K f ( I ρ T ) 为非空的且为单值的。可得

P K f ( x 1 ρ T x 1 ) P K f ( x 2 ρ T x 2 ) 2 x 1 x 2 + ρ T x 2 ρ T x 1 2 = x 1 x 2 + ρ T x 2 ρ T x 1 , x 1 x 2 + ρ T x 2 ρ T x 1 = x 1 x 2 2 + ρ 2 T x 1 T x 2 2 2 ρ x 1 x 2 T x 1 T x 2 x 1 x 2 2 + ρ 2 L 2 x 1 x 2 2 2 α ρ x 1 x 2 2 = ( 1 + ρ 2 L 2 2 α ρ ) x 1 x 2 2

我们可以得到

P K f ( x 1 ρ T x 1 ) P K f ( x 2 ρ T x 2 ) k x 1 x 2

由巴拿赫压缩映像原理可知映射 P K f ( I ρ T ) 不动点存在且唯一,故而单调混合变分不等式有解且唯一。

巴拿赫压缩映像原理说明存在唯一性的好处在于,由此我们可以直接得到一种计算变分不等式解的算法。

算法2.1给定 x 0 H ,迭代序列由 x n + 1 = P K f ( x n ρ n T x n ) 产生。

文章引用

黎穷远. 单调混合变分不等式解集性质
Properties of Solution Set for Monotonic Mixed Variational Inequalities[J]. 理论数学, 2023, 13(07): 2093-2097. https://doi.org/10.12677/PM.2023.137215

参考文献

  1. 1. 周晶. 随机交通均衡配流模型及其等价的变分不等式问题[J]. 系统科学与数学, 2003, 23(1): 120-127.

  2. 2. 李润梅, 汤淑明, 王飞跃. 动态用户最优的变分不等式分配模型研究综述[J]. 交通运输系统工程与信息, 2006, 6(2): 8.

  3. 3. 丁方允, 张欣, 丁睿. 摩擦问题中的边界混合变分不等式[J]. 应用数学和力学, 1999, 20(2): 201-210.

  4. 4. 郇宁, 姚恩建, 杨扬, 等. 电动汽车混入条件下随机动态用户均衡分配模型[J]. 交通运输工程学报, 2019, 19(5): 150-161.

  5. 5. Wu, K.Q. and Huang, N.J. (2006) The Generalised f-Projection Operator with an Application. Bulletin of the Australian Mathematical Society, 73, 307-317. https://doi.org/10.1017/S0004972700038892

  6. 6. Wu, K.Q. and Huang, N.J. (2007) Properties of the Generalized-Projection Operator and Its Applications in Banach Spaces. Computers & Mathematics with Applications, 54, 399-406. https://doi.org/10.1016/j.camwa.2007.01.029

  7. 7. Wu, K.Q. and Huang, N.J. (2009) The Generalized F-Projection Operator and Set-Valued Variational Inequalities in Banach Spaces. Nonlinear Analysis, 71, 2481-2490. https://doi.org/10.1016/j.na.2009.01.082

  8. 8. Lescarret, C. (1965) Cas d’addition des applications monotones maximales dans un espace de Hilbert. Comptes rendus hebdomadaires des séances de l’Académie des sciences. 261, 1160-1163.

  9. 9. Browder, F.E. (1966) On the Unification of the Calculus of Variations and the Theory of Monotone Nonlinear Operators in Banach Spaces. Proceedings of the National Academy of Sciences of the United States of America, 56, 419-425. https://doi.org/10.1073/pnas.56.2.419

期刊菜单