彭宗石;大卫·E·斯图尔特。 微分变分不等式。 （英语） Zbl 1139.58011号 数学。程序。 113，第2（A）号，345-424（2008）. 摘要：本文介绍并研究了有限维欧氏空间中的一类微分变分不等式。DVI为许多存在动力学、不等式和不连续性的应用问题提供了强大的建模范式；此类问题的示例包括具有单边约束的受约束时间相关物理系统、微分纳什博弈和具有可变结构的混合工程系统。DVI统一了几个数学问题类，包括具有光滑和不连续右侧的常微分方程（ODE）、微分代数方程（DAE）、动态互补系统和演化变分不等式。给出了DVI可以局部或全局转换为具有Lipschitz连续右手函数的等效ODE的条件。对于无法如此转换的DVI，我们通过Euler时间步长过程考虑其数值分辨率，该过程涉及有限维变分不等式序列的求解。借用具有上半连续、闭和凸值多函数的微分包含（DIs）的结果，我们建立了求解初值DVIs过程的收敛性。我们还提出了一类DIs理论不直接适用的DVI，但可以建立类似的收敛性。最后，我们将该方法推广到边值DVI，并为该方法的收敛性提供了条件。本文的结果只适用于“指数”不超过2且具有绝对连续解的系统。 引用于4评论引用于208文件 MSC公司： 第58页第35页 无穷维空间中的变分不等式（全局问题） 软件：梅沙赫;PATH解算器 PDF格式BibTeX公司 XML格式引用 \textit{J.-S.Pang}和\textit{D.E.Stewart}，数学。程序。113，第2号（A），345--424（2008；Zbl 1139.58011） 全文： DOI程序 哈尔 参考文献： [1] Acary，V.，Brogliato，B.，Goeleven，D.：高阶Moreau扫描过程：数学公式和数值模拟。INRIA第5236号报告，第2版（2005年5月）·Zbl 1148.93003号 [2] Adly S.和Goeleven D.（2004）。二阶非光滑动力系统的稳定性理论及其在摩擦问题中的应用。数学杂志。Pures应用程序。83: 17–51 ·Zbl 1103.34054号 ·doi:10.1016/S0021-7824（03）00071-0 [3] Anitescu M.和Hart G.D.（2004年）。具有接触和摩擦的多体动力学的约束稳定时间步长。国际期刊数字。方法工程60:2335–2371·Zbl 1075.70501号 ·doi:10.1002/nme.1047 [4] Anitescu M.和Potra F.（1997）。将具有摩擦的动态多刚体接触问题列为可解的线性互补问题。ASME非线性动态。4: 231–247 ·Zbl 0899.70005号 ·doi:10.1023/A:1008292328909 [5] Anitescu M.、Potra F.A.和Stewart D.（1999年）。三维刚体动力学的时间步长。计算。方法应用。机械。工程177:183–197·Zbl 0967.70003号 ·doi:10.1016/S0045-7825（98）00380-6 [6] Anitescu M.和Potra F.（2002年）。考虑摩擦和接触的刚性多体动力学的时间步长法。国际期刊数字。方法工程55:753–784·Zbl 1027.70001号 ·doi:10.1002/nme.512 [7] Ascher U.M.、Mattheij R.M.和Russell R.D.（1988年）。常微分方程常值问题的数值解法。普伦蒂斯大厅，恩格尔伍德悬崖·Zbl 0671.65063号 [8] Ascher U.M.、Mattheij R.M.和Russell R.D.（1995年）。常微分方程边值问题的数值解。SIAM出版物，费城·Zbl 0843.65054号 [9] Ascher U.M.和Petzold L.R.（1998年）。常微分方程和微分代数方程的计算机方法。SIAM出版物，费城·Zbl 0908.65055号 [10] Aubin J.P.和Cellina A.（1984年）。差异包含。纽约州施普林格·Zbl 0538.34007号 [11] Ban，X.J.：动态用户平衡的准变量不等式公式和求解方法。威斯康星大学土木与环境工程系博士论文（2005） [12] Bašar，T.，Olsder，G.J.：动态非合作博弈论。SIAM应用数学经典丛书（费城，1999年）【1995年学术出版社同名图书的修订、更新版】 [13] Begle E.G.（1950）。不动点定理。安。数学。51: 544–550 ·Zbl 0036.38901号 ·doi:10.307/1969367 [14] Billups S.和Ferris M.C.（1999年）。使用近端映射求解仿射广义方程。数学。操作。决议24:219–236·Zbl 0977.90055号 ·doi:10.1287/门.24.1.219 [15] Bounkhel M.（2003）。具有无界扰动的二阶非凸清扫过程的一般存在性结果。葡萄牙数学。新赛丽60:269–304·Zbl 1055.34116号 [16] Brézis，H.：Opérateurs maximaux monotones et semi groupes de constructions dans les espaces de Hilbert，《北欧数学研究》，第5期。Notas de Matemática（50）。荷兰出版公司，阿姆斯特丹（1973）·兹比尔0252.47055 [17] Brogliato B.（1999）。非光滑力学。模型、动力学和控制。斯普林格，伦敦·Zbl 0917.73002号 [18] Brogliato B.、ten Dam A.A.、Paoli L.和Abadie M.（2002年）。有限维多体非光滑机械系统的数值模拟。申请。机械。第55版：107–150·doi:10.115/1.1454112 [19] Brenan，K.E.，Campbell，S.L.，Petzold，L.R.：微分代数方程初值问题的数值解。第14卷，SIAM出版物应用数学经典，费城（1996）·Zbl 0844.65058号 [20] Castaing C.、DüC HáT.X.和Valadier M.（1993年）。由清扫过程控制的演化方程。设定值分析。1: 109–139 ·Zbl 0813.34018号 ·doi:10.1007/BF01027688 [21] 乔姆利贝尔，M.K.：分段线性动力系统分析中的互补方法。荷兰蒂尔堡大学经济研究中心博士论文（2001年5月） [22] 《联合诽谤M.K.》、《彭J.S.》和《沈J.L.》（2006）。线性互补系统的Lyapunov稳定性。SIAM J.Optimi公司。17: 1056–1101 ·Zbl 1124.93042号 ·doi:10.1137/050629185 [23] 《联合诽谤M.K.》、《彭J.S.》和《沈J.L.》（2006）。Conewise线性系统。SIAM J.控制优化。45: 1769–1800 ·Zbl 1126.93030号 ·doi:10.1137/050645166 [24] Chen C.H.和Mangasarian O.L.（1995年）。凸不等式和线性问题的平滑方法。数学。程序。71: 51–69 ·Zbl 0855.90124号 ·doi:10.1007/BF01592244 [25] Chen C.H.和Mangasarian O.L.（1996年）。非线性混合互补问题的一类光滑函数。计算。优化。申请。5: 97–138 ·Zbl 0859.90112号 [26] Coddington，E.A.，Levinson，N.：常微分方程理论。塔塔——新德里麦格劳希尔出版社（1972年）【最初由麦格劳希尔出版社于1955年出版】·Zbl 0064.33002号 [27] Cojocaru，M.G.：希尔伯特空间上的投影动力系统。加拿大安大略省金斯顿皇后大学数学与统计系博士论文（2002年8月） [28] Cojocaru M.G.、Daniele P.和Nagurney A.（2005年）。通过希尔伯特空间的投影动力学和演化变分不等式及其应用。J.擎天柱。理论应用。127: 549–563 ·Zbl 1093.49004号 ·doi:10.1007/s10957-005-7502-0 [29] Cojocaru M.G.和Jonker L.B.（2004年）。希尔伯特空间中投影微分方程解的存在性。程序。美国数学。Soc.132:183–193年·Zbl 1055.34118号 ·doi:10.1090/S0002-9939-03-07015-1 [30] Cottle R.W.、Pang J.S.和Stone R.E.（1992年）。线性互补问题。波士顿学术出版社·Zbl 0757.90078号 [31] Jong H.（2002）。遗传调控系统的建模和模拟：文献综述。J.计算。生物学9:69–105 [32] Deimling K.（1992）。多值微分方程。Walter de Gruyter，柏林·Zbl 0760.34002号 [33] Dirkse S.P.和Ferris M.C.（1995年）。路径求解器：混合互补问题的非单调稳定化方案。优化。方法软件5:123–156·doi:10.1080/10556789508805606 [34] Dockner E.、Jergensen S.、Long N.V.和Sorger G.（2000年）。经济学和管理科学中的差异博弈。剑桥大学出版社·Zbl 0996.91001号 [35] Dontchev A.和Lempio F.（1992年）。微分包裹体的差分方法：综述。SIAM版本34:263–294·Zbl 0757.34018号 ·数字对象标识代码：10.1137/1034050 [36] Dupuis P.和Nagurney A.（1993年）。动力系统和变分不等式。安·Oper。第44号决议：9–42·Zbl 0785.93044号 ·doi:10.1007/BF02073589 [37] 艾伦伯格S.和蒙哥马利D.（1946）。多值变换的不动点定理。美国数学杂志。68: 214–222 ·兹比尔0060.40203 ·doi:10.2307/2371832 [38] Facchini F.和Pang J.S.（2003年）。有限维变分不等式与互补问题。纽约州施普林格·Zbl 1062.90002号 [39] Faik L.A.和Syam A.（2001年）。由非凸扫掠过程控制的微分包裹体。J.非线性凸分析。2: 381–392 ·Zbl 1036.49013号 [40] Ferris M.C.和Munson T.S.（1999年）。PATH 3.0接口：设计、实现和使用。计算。优化。申请。12: 207–227 ·Zbl 1040.90549号 ·doi:10.1023/A:1008636318275 [41] Filippov，A.F.：右侧不连续的微分方程。Matematicheskiu Sbornik公司。Novaya Seriya 5，99–127（1960）另外：美国数学学会翻译42，199–231（1964）·Zbl 0138.32204号 [42] 菲利波夫·A.F.（1962）。关于最优控制理论中的某些问题。SIAM J.控制1:76–84·Zbl 0139.05102号 [43] Filippov A.F.（1988）。具有不连续右侧和右侧的微分方程。多德雷赫特Kluwer学术出版社·Zbl 0664.34001号 [44] Goeleven D.和Brogliato B.（2004年）。线性演化变分不等式的稳定性和不稳定性矩阵。IEEE传输。自动化。控制49:521–534·Zbl 1365.49011号 ·doi:10.1109/TAC.2004.825654 [45] Goeleven D.和Brogliato B.（2005年）。单边动力系统渐近稳定的必要条件。。非线性分析。61: 961–1004 ·Zbl 1068.49004号 ·doi:10.1016/j.na.2005.01.037 [46] Goeleven D.、Motrean M.和Motrean V.（2003年）。演化变分不等式平稳解的稳定性。高级非线性变量。不平等。6: 1–30 ·Zbl 1085.35090号 [47] Górniewicz，L.：多值映射不动点理论中的同调方法。数学论文。Rozprawy Matematyczne 129（1976）第71页 [48] Górniewicz L.（1999）。多值映射的拓扑不动点理论。多德雷赫特Kluwer学术出版社·Zbl 0937.55001号 [49] Heemels，W.P.H.：线性互补系统：混合动力学研究。埃因霍温理工大学电气工程系博士论文（1999年11月） [50] Heemels，W.P.M.H.，Joamlibel，M.K.，van der Schaft，A.J.，Schumacher，J.M.：混合系统的稳健性。In:Unbehauen，H.（编辑），《控制系统、机器人和自动化》，《生命支持系统百科全书》（由联合国教科文组织赞助开发）主题6.43，EOLSS出版社，牛津（2004） [51] Heemels，W.P.M.H.，Schumacher，J.M.，Weiland，S.：线性互补系统的良好性。摘自：第38届IEEE决策与控制会议，凤凰城，第3037–3042页（1999） [52] Heemels W.P.M.H.、Schumacher J.M.和Weiland S.（2000年）。线性互补系统。SIAM J.应用。数学。60: 1234–1269 ·Zbl 0954.34007号 ·doi:10.1137/S00361399997325199 [53] 亨利·C（1972）。用于规划程序的右手边不连续的微分方程。《经济学杂志》。理论4:545–551·doi:10.1016/0022-0531（72）90138-X [54] 亨利·C（1973）。一类多值右侧微分方程的存在性定理。J.马瑟。分析。申请。41: 179–186 ·Zbl 0262.49019号 ·doi:10.1016/0022-247X（73）90192-3 [55] Hipfel，D.：非线性微分互补问题。伦斯勒理工学院数学科学系博士论文（1993） [56] 霍夫曼A.J.（1952）。关于线性不等式组的近似解。J.研究。国家局标准49:263–265 [57] Jean M.（1999）。非光滑接触动力学方法。计算。方法应用。机械。工程177:235–277·Zbl 0959.74046号 ·doi:10.1016/S0045-7825（98）00383-1 [58] Kakutani S.（1941年）。布鲁沃不动点定理的推广。杜克大学数学。期刊8:457–458·Zbl 0061.40304号 ·doi:10.1215/S0012-7094-41-00838-4 [59] Kakhu A.I.和Pantelides C.C.（2003年）。酸性电解质系统的动态建模。计算。化学。工程27:869–882·doi:10.1016/S0098-1354（03）00002-4 [60] Keller H.B.（1968年）。两点边值问题的数值方法。Waltham Blaisdell出版公司·Zbl 0172.19503号 [61] Kunze M.和Monteiro Marques M.D.P.（1997年）。退化清扫过程解的存在性。J.凸分析。4: 165–176 ·Zbl 0884.34019号 [62] Kunze，M.，Monteiro Marques，M.D.P.：介绍莫罗的清扫过程。摘自：Brogliato，B.（编辑）《机械系统中的影响》。《物理学讲义》，第551卷。第1-60页施普林格，纽约，（2000）·Zbl 1047.34012号 [63] Lang S.（1993）。实际和功能分析。柏林施普林格·兹比尔08314.6001 [64] Liu，H.X.，Ban，X.，Ran，B.，Mirchandani，P.：具有概率出行时间和感知的分析动态交通分配模型。UCI-ITS-WP-01-14，加州大学欧文分校交通研究所（2001年12月） [65] 罗志清、曾鹏（1991）。一类方阵的分解性质。申请。数学。莱特。4: 67–69 ·Zbl 0733.15006号 ·doi:10.1016/0893-9659（91）90148-O [66] Monteiro Marques M.D.P.（1993年）。非光滑力学问题中的微分夹杂。冲击和干摩擦。巴塞尔Birkhäuser Verlag·Zbl 0802.73003号 [67] Moreau J.J.（1977年）。与希尔伯特空间中移动凸集相关的演化问题。J.微分方程26:347–374·兹比尔0356.34067 ·doi:10.1016/0022-0396（77）90085-7 [68] Moreau J.J.（1988）。时间上的有限变化。收录：Moreau，J.J.，Panagiotopoulos，P.D.和Strang，G.（编辑）非光滑力学专题。，第1-74页。马萨诸塞州弗拉格市Birkhäuser·Zbl 0657.28008号 [69] Moreau，J.J.：有限自由动力学中的单侧接触和干摩擦。收录人：Moreau，J.J.，Panagiotopoulos，P.D.（编辑）非光滑力学与应用（CISM课程与讲座第302号国际机械科学中心）。第1-82页施普林格，海德堡，（1988）·Zbl 0703.73070号 [70] Moreau J.J.（1999）。清扫过程的数值方面。接触和摩擦的计算建模。计算。方法应用。机械。工程177:329–349·Zbl 0968.70006号 ·doi:10.1016/S0045-7825（98）00387-9 [71] Ortega J.M.和Rheinboldt W.C.（1970年）。多元非线性方程的迭代解法。纽约学术出版社·Zbl 0241.65046号 [72] Pang，J.S.，Shen，J.：强正则变分系统，IEEE Trans。自动化。控制（即将发布）·Zbl 1366.93271号 [73] Pang J.S.、Song P.和Kumar V.（2005年）。初边值摩擦柔顺接触问题的时间步长法的收敛性。SIAM J.数字。分析。43: 2200–2226 ·Zbl 1145.74027号 ·doi:10.1137/040612269 [74] Pang，J.S.，Stewart，D.E.：微分变分不等式数学中初始条件的解依赖性。程序。序列号。B（即将推出）·Zbl 1194.49033号 [75] Pantelides C.C.、Morrison K.R.、Gritsis D.和Sargent R.W.H.（1988年）。使用微分=代数方程对瞬态系统进行数学建模。计算。化学。工程12:449–454·doi:10.1016/0098-1354（88）85062-2 [76] Petrov A.和Schatzman M.（2005）。与具有Signorini条件的一维粘弹性模型相关的伪微分线性互补问题。架构（architecture）。老鼠。机械。分析。334:983–988·Zbl 1043.35119号 [77] Petzold L.R.和Ascher U.M.（1998年）。常微分方程和微分代数方程的计算机方法。SIAM出版物，费城·Zbl 0908.65055号 [78] Ran B.和Boyce D.（1996年）。动态交通网络建模。海德堡施普林格·Zbl 0898.90004号 [79] Roberts S.M.和Shipman J.S.（1972年）。两点边界问题：拍摄方法。美国爱思唯尔出版公司，纽约·Zbl 0239.65061号 [80] 罗宾逊S.M.（1979）。广义方程及其解。。一、基本理论。数学。程序。螺柱10:128–141·Zbl 0404.90093号 [81] 罗宾逊S.M.（1980）。强正则广义方程。数学。操作。决议5:43–62·Zbl 0437.90094号 ·doi:10.1287/门5.1.43 [82] 罗宾逊S.M.（1981）。多面体多函数的一些连续性性质。数学。程序。螺柱14:206–214·Zbl 0449.90090号 [83] 罗宾逊S.M.（1982）。广义方程及其解。二、。非线性规划的应用。数学。程序。螺柱19:200–221·Zbl 0495.90077号 [84] 罗宾逊S.M.（1992）。线性变换产生的法线贴图。数学。操作。第17号决议：691–714·Zbl 0777.90063号 ·doi:10.1287/门17.3.691 [85] Rockafellar R.T.（1970）。凸分析。普林斯顿大学出版社·Zbl 0193.18401号 [86] Saveliev P.（2000）。凸空间上集值映射的不动点和选择。国际数学杂志。数学。科学。24: 595–612 ·兹比尔0968.47016 ·doi:10.1155/S0161171200004403 [87] 舒马赫J.M.（2004）。优化中的互补系统。数学。程序。序列号。B 101:263–295·Zbl 1076.90060号 [88] 沈J.L.和庞J.S.（2005）。线性互补系统：Zeno状态。SIAM J.控制优化。44: 1040–1066 ·邮编1092.90052 ·doi:10.1137/040612270 [89] 斯米尔诺夫，G.V.：微分包含理论简介。数学研究生课程，第41卷。美国数学学会，普罗维登斯（2002）·Zbl 0992.34001号 [90] Song P.、Krauss P.、Kumar V.和Dupont P.（2001年）。摩擦接触系统仿真的刚体动力学模型分析。J.应用。机械。68：118–128·Zbl 1110.74686号 ·数字对象标识代码：10.1115/1.1331060 [91] Song P.、Pang J.S.和Kumar V.（2004年）。摩擦柔顺接触问题的半隐式时间步长模型。国际期刊数字。方法工程60:2231–2261·Zbl 1072.74062号 ·doi:10.1002/nme.1049 [92] Spanier，E.H.：代数拓扑。纽约施普林格出版社（1966年）【1989年重印】·Zbl 0145.43303号 [93] Stewart D.E.（1990）。一种求解右侧不连续常微分方程的高精度方法。数字。数学。58: 299–328 ·Zbl 0693.65049号 ·doi:10.1007/BF01385627 [94] Stewart D.E.（1998）。刚体动力学时间步进格式的收敛性和Painlevé问题的解决。架构（architecture）。老鼠。机械。分析。145: 215–260 ·Zbl 0922.70004号 ·doi:10.1007/s002050050129 [95] Stewart D.E.（2000）。具有摩擦和冲击的刚体动力学。SIAM第42版：3–39·Zbl 0962.70010号 ·doi:10.1137/S0036144599360110 [96] Stewart D.E.（2001）。测度微分包含及其闭图性质的重整。J.微分方程175:108–129·Zbl 0990.34014号 ·doi:10.1006/jdeq.2000.3968 [97] Stewart D.E.（2006）。卷积互补问题及其对影响问题的应用。IMA J.应用。数学。71: 92–119 ·Zbl 1138.90485号 ·doi:10.1093/imamat/hxh087 [98] Stewart D.E.和Trinkle J.C.（1996年）。具有非弹性碰撞和库仑摩擦的刚体动力学的隐式时间步长方案。国际期刊数字。方法工程39:2673–2691·兹比尔0882.70003 ·doi:10.1002/（SICI）1097-0207（19960815）39:15<2673:：AID-NME972>3.0.CO；2-I型 [99] Stromberg，K.R.：经典实分析导论。Wadsworth公司（加利福尼亚州贝尔蒙特，1981年）·Zbl 0454.26001号 [100] Thibault L.（2003）。使用规则集和非规则集的清除过程。J.微分方程193:1–26·Zbl 1037.34007号 ·doi:10.1016/S0022-0396（03）00129-3 [101] Trinkle J.C.、Tzizouris J.A.和Pang J.S.（2001年）。具有并发分布式接触的动态多刚度系统。罗伊。Soc.Philos公司。事务处理。数学。物理学。工程科学。359: 2575–2593 ·Zbl 1014.70007号 ·doi:10.1098/rsta.2001.0911 [102] Tzizouris，J.A.：通过全隐式时间步长和非线性互补性对摩擦多刚体系统进行数值求解。约翰霍普金斯大学科学系博士论文（2001年9月） [103] Tzizouris J.和Pang J.S.（2002年）。无摩擦刚体系统的时间步长互补方法。SIAM J.Optimi公司。12: 834–860 ·兹比尔1009.70007 ·doi:10.1137/S1052623400370369 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。